道 (位相幾何学)のソースを表示

[[Image:Path.svg|thumb|{{math|'''R'''²}} において {{mvar|A}} から {{mvar|B}} へ結んだ適当な道に沿って辿った点の全体。同じ点集合上を異なる仕方で追跡するとそれは別の道となることに注意。]]
[[数学]]の特に[[位相幾何学]]における'''道'''（みち、{{lang-en-short|''path''}}; パス、経路）は、[[単位閉区間]] {{math|''I'' {{coloneqq}} {{closed-closed|0, 1}}}} からの[[連続写像]]を言う。より明確に、[[位相空間]] {{mvar|X}} 内の道とは、連続写像 {{math|''f'': {{closed-closed|0, 1}} → ''X''}} を言い、{{math|''f''(0)}} をこの道の'''始点''' (initial point)、{{math|''f''(1)}} を'''終点''' (terminal point) と呼ぶ。始点 {{mvar|x}} および終点 {{mvar|y}} を持つ道はしばしば「{{mvar|x}} から {{mvar|y}} へ結ぶ道」などと呼ばれる。この場合の「道」は {{mvar|X}} の[[曲線]]的な部分集合というばかりではなく、それを追跡する{{ill2|媒介付け|en|Parametrization (geometry)|label=媒介変数のとり方}}まで込めて言うことに注意する（例えば、{{closed-closed|0, 1}} 上で {{math|''f''(''x'') {{coloneqq}} ''x''}} と {{math|''g''(''x'') {{coloneqq}} ''x''{{sup|2}}}} は[[実数直線]]内の相異なる道を表す）。

位相空間 {{mvar|X}} 内の、点 {{math|''x'' ∈ ''X''}} を'''基点''' (base, base point) とする'''[[閉道 (位相幾何学)|閉道（あるいはループ）]]'''とは {{mvar|x}} から {{mvar|x}} へ結ぶ道を言う。写像の言葉で書けば、閉道は {{math|''f'': ''I'' → ''X''}}（ただし、{{math|1=''f''(0) = ''f''(1)}} と書けるが、[[単位円]] {{math|''S''{{sup|1}}}} からの写像 {{math|''f'': ''S''{{sup|1}} &rarr; ''X''}} と書くこともできる（位相幾何学において {{math|''S''{{sup|1}}}} は {{mvar|I}} を {{math|0 ∼ 1}} を同一視して得られる[[商位相空間]]（等化空間）と見なすことができることに注意する）。位相空間 {{mvar|X}} 内の閉道全体の成す集合を一つの位相空間と見ることができ、{{mvar|X}} の{{ill2|ループ空間|en|loop space}} {{math|Ω''X''}} と呼ぶ。

任意の二点を結ぶ道が存在する位相空間は[[弧状連結空間|弧状連結]]（あるいは道連結）であると言う。任意の位相空間は、弧状連結成分に分割することができる。空間 {{mvar|X}} の弧状連結成分全体の成す集合はしばしば {{math|''π''{{sub|0}}(''X'')}} と書かれる。

道および閉道は[[点付き空間]]においても定義され、[[ホモトピー論]]において重要である。{{mvar|X}} が基点 {{math|''x''{{sub|0}}}} を持つ位相空間とすれば、{{mvar|X}} 内の道とは基点 {{math|''x''{{sub|0}}}} を始点とするものを言い、同様に {{mvar|X}} 内の閉道は空間の基点 {{math|''x''{{sub|0}}}} を基点とするものを言う。

== 道のホモトピー==
{{Main|ホモトピー}}
[[Image:Homotopy between two paths.svg|thumb|right|二つの道の間のホモトピー]]
道および閉道は[[ホモトピー論]]と呼ばれる[[代数的位相幾何学]]の一分科において中心的な研究主題である。道の[[ホモトピー]]はその端点を固定した連続変形という概念を明確に定義したものである。

具体的には、{{mvar|X}} 内の道のホモトピーあるいは'''道ホモトピー''' (''path-homotopy'') とは、{{mvar|I}} で添字付けられた {{mvar|X}} 内の道の族 {{math|''f{{sub|t}}'': ''I'' → ''X''}} で条件
* {{math|''f{{sub|t}}''(0) {{coloneqq}} ''x''{{sub|0}}}} および {{math|''f{{sub|t}}''(1) {{coloneqq}} ''x''{{sub|1}}}} は {{mvar|t}} に依らず一定、
* 写像 {{math|''F'': ''I'' &times; ''I'' → ''X''; ''F''(''s'', ''t'') {{coloneqq}} ''f{{sub|t}}''(''s'')}} は二変数写像として連続
を満たすものを言う。ホモトピーで結ばれた二つの道 {{math|''f''{{sub|0}}, ''f''{{sub|1}}}} は'''ホモトピック'''（あるいは決まった空間の間の任意の連続写像の上で定義されるより一般の関係としてのホモトピーと区別する場合には特に'''道ホモトピック'''）であるという。同様に、閉道の間にも基点を動かさないホモトピーを定義することができる。

位相空間内の道に対してホモトピックであるという関係は[[同値関係]]である。この同値関係に関する道 {{mvar|f}} の属する同値類を {{mvar|f}} の'''ホモトピー類'''と呼び、しばしば {{math|{{bracket|''f''}}}} で表す。

== 道の合成 ==
位相空間 {{mvar|X}} 内のいくつかの道に対して、それらを順番に辿るというあからさまな方法で、それらの合成を行うことができる。すなわち、{{mvar|f}} が {{mvar|x}} から {{mvar|y}} へ結ぶ道、{{mvar|g}} が {{mvar|y}} から {{mvar|z}} へ結ぶ道であるとき、合成道 {{mvar|fg}} はまず {{mvar|f}} を辿ってから {{mvar|g}} を辿る道として <math display="block">fg(s) := \begin{cases}f(2s) & 0\leq s \leq \frac{1}{2} \\ g(2s-1) & \frac{1}{2} \leq s \leq 1\end{cases}</math>
で定義される。明らかなことではあるが、道の合成は {{mvar|f}} の終点と {{mvar|g}} の始点が一致している場合にのみ定義されるものである。基点 {{math|''x''{{sub|0}}}} を持つ閉道全体の成す集合の中で考えるならば、道の合成は[[二項演算]]を与えるものである。

道の合成は、たとえそれが定義されても、[[結合法則|結合的]]でない（媒介変数のとり方に違いがある）が、道ホモトピーの[[違いを除いて]]結合的である&mdash;すなわち {{math|1={{bracket|(''fg'')''h''}} = {{bracket|''f''(''gh'')}}}} が成り立つ. {{math|''x''{{sub|0}}}} を基点とする {{mvar|X}} 内の閉道のホモトピー類全体の成す集合は、道の合成に関して[[群 (数学)|群]]の構造を持つ。この群は {{math|''x''{{sub|0}}}} を基点とする {{mvar|X}} の[[基本群]] {{math|''π''{{sub|1}}(''X'', ''x''{{sub|0}})}} と呼ばれる。

「厳密な意味」("on the nose") で道の合成に結合性を要求したい場面では、{{mvar|X}} 内の道として、適当な実数 {{math|''a'' > 0}} に対する区間 {{closed-closed|0, ''a''}} からの写像を定義として採用することを考えればよい。この意味での道 {{mvar|f}} に対して、その長さを {{math|{{abs|''f''}} {{coloneqq}} ''a''}} と定義すれば、道の合成を（上で定義したものからやや変更して）<math display="block">fg(s) := \begin{cases}f(s) & 0\leq s \leq |f| \\ g(s-|f|) & |f| \leq s \leq |f|+|g|\end{cases}</math>
と定めることにより（先の定義では {{mvar|f, g, fg}} の長さが全て 1 となるように定めていた）、この定義のもと {{math|1={{abs|''fg''}} = {{abs|''f''}} + {{abs|''g''}}}} であり、この合成は厳密に結合的となる。前の定義で結合性が成り立たなかったのは、{{math|(''fg'')''h''}} および {{math|''f''(''gh'')}} が同じ長さ {{math|1}} を持つにもかかわらず、{{math|(''fg'')''h''}} の中点は {{mvar|g}} と {{mvar|h}} の間にある一方、{{math|''f''(''gh'')}} の中点は {{mvar|f}} と {{mvar|g}} の間にあったからであった。修正した定義では {{math|(''fg'')''h''}} と {{math|''f''(''gh'')}} は同じ長さ {{math|{{abs|''f''}} + {{abs|''g''}} + {{abs|''h''}}}} を持ち、かつ中点をともに {{math|{{fraction|{{abs|''f''}}+{{abs|''g''}}+{{abs|''h''}}|2}}}} の位置に持つ（だけでなく、より一般に曲線全体に亙って同じ媒介変数で追跡することができる）。

== 基本亜群 ==
道を[[圏論]]的に取り扱うのもときには有効である。任意の位相空間 {{mvar|X}} に対して、{{mvar|X}} の各点を対象とし、道のホモトピー類を[[射 (圏論)|射]]とする[[圏 (数学)|圏]]を考えることができる。この圏における任意の射は[[同型射]]となるから、この圏は{{ill2|亜群|en|groupoid}}であり、{{mvar|X}} の{{ill2|基本亜群|en|fundamental groupoid}}と呼ばれる。この圏における閉道は[[自己射]]（したがって実際には[[自己同型射]]）に対応し、{{math|''x''{{sub|0}}}} を基点とする {{mvar|X}} 内の閉道全体の成す[[自己同型群]]は上で述べた {{math|''x''{{sub|0}}}} を基点とする基本群にほかならない。より一般に、{{mvar|X}} の任意の部分集合 {{mvar|A}} 上の基本亜群を、{{mvar|A}} 内の点を結ぶ道に関するホモトピー類を用いて定義することができる。そのように扱うことは[[ファン・カンペンの定理]]において便利である。

== 関連項目 ==
* {{ill2|道の空間 (曖昧さ回避)|en|Path space (disambiguation)}}<!--intentional link to DAB page-->

== 参考文献 ==
* [[Ronald Brown (mathematician)|Ronald Brown]], Topology and groupoids, Booksurge PLC, (2006).
* [[J. Peter May]], A concise course in algebraic topology, University of Chicago Press, (1999).
* [[James Munkres]], Topology  2ed, Prentice Hall, (2000).

== 外部リンク ==
* {{MathWorld|urlname=Path|title=Path|author=Barile, Margherita; Weisstein, Eric W}}
* {{nlab|urlname=path|title=path}}
* {{PlanetMath|urlname=Path|title=path}}
* {{ProofWiki|urlname=Definition:Path_(Topology)|title=Definition:Path (Topology)}}
* {{SpringerEOM|urlname=Path|title=Path|first=M.I.|last=Voitsekhovskii}}

{{DEFAULTSORT:みち}}
[[Category:位相幾何学]]
[[Category:ホモトピー論]]
[[Category:数学に関する記事]]