道 (位相幾何学)

数学の特に位相幾何学における道（みち、; パス、経路）は、単位閉区間 からの連続写像を言う。より明確に、位相空間 内の道とは、連続写像 を言い、 をこの道の始点 (initial point)、 を終点 (terminal point) と呼ぶ。始点 および終点 を持つ道はしばしば「 から へ結ぶ道」などと呼ばれる。この場合の「道」は の曲線的な部分集合というばかりではなく、それを追跡するまで込めて言うことに注意する（例えば、 上で と は実数直線内の相異なる道を表す）。
位相空間 内の、点 を基点 (base, base point) とする閉道（あるいはループ）とは から へ結ぶ道を言う。写像の言葉で書けば、閉道は （ただし、 と書けるが、単位円 からの写像 と書くこともできる（位相幾何学において は を を同一視して得られる商位相空間（等化空間）と見なすことができることに注意する）。位相空間 内の閉道全体の成す集合を一つの位相空間と見ることができ、 の と呼ぶ。
任意の二点を結ぶ道が存在する位相空間は弧状連結（あるいは道連結）であると言う。任意の位相空間は、弧状連結成分に分割することができる。空間 の弧状連結成分全体の成す集合はしばしば と書かれる。
道および閉道は点付き空間においても定義され、ホモトピー論において重要である。 が基点 を持つ位相空間とすれば、 内の道とは基点 を始点とするものを言い、同様に 内の閉道は空間の基点 を基点とするものを言う。
道のホモトピー.
道および閉道はホモトピー論と呼ばれる代数的位相幾何学の一分科において中心的な研究主題である。道のホモトピーはその端点を固定した連続変形という概念を明確に定義したものである。
具体的には、 内の道のホモトピーあるいは道ホモトピー ("path-homotopy") とは、 で添字付けられた 内の道の族 で条件
を満たすものを言う。ホモトピーで結ばれた二つの道 はホモトピック（あるいは決まった空間の間の任意の連続写像の上で定義されるより一般の関係としてのホモトピーと区別する場合には特に道ホモトピック）であるという。同様に、閉道の間にも基点を動かさないホモトピーを定義することができる。
位相空間内の道に対してホモトピックであるという関係は同値関係である。この同値関係に関する道 の属する同値類を のホモトピー類と呼び、しばしば で表す。
道の合成.
位相空間 内のいくつかの道に対して、それらを順番に辿るというあからさまな方法で、それらの合成を行うことができる。すなわち、 が から へ結ぶ道、 が から へ結ぶ道であるとき、合成道 はまず を辿ってから を辿る道として formula_1
で定義される。明らかなことではあるが、道の合成は の終点と の始点が一致している場合にのみ定義されるものである。基点 を持つ閉道全体の成す集合の中で考えるならば、道の合成は二項演算を与えるものである。
道の合成は、たとえそれが定義されても、結合的でない（媒介変数のとり方に違いがある）が、道ホモトピーの違いを除いて結合的である—すなわち が成り立つ. を基点とする 内の閉道のホモトピー類全体の成す集合は、道の合成に関して群の構造を持つ。この群は を基点とする の基本群 と呼ばれる。
「厳密な意味」("on the nose") で道の合成に結合性を要求したい場面では、 内の道として、適当な実数 に対する区間 からの写像を定義として採用することを考えればよい。この意味での道 に対して、その長さを と定義すれば、道の合成を（上で定義したものからやや変更して）formula_2
と定めることにより（先の定義では の長さが全て 1 となるように定めていた）、この定義のもと であり、この合成は厳密に結合的となる。前の定義で結合性が成り立たなかったのは、 および が同じ長さ を持つにもかかわらず、 の中点は と の間にある一方、 の中点は と の間にあったからであった。修正した定義では と は同じ長さ を持ち、かつ中点をともに の位置に持つ（だけでなく、より一般に曲線全体に亙って同じ媒介変数で追跡することができる）。
基本亜群.
道を圏論的に取り扱うのもときには有効である。任意の位相空間 に対して、 の各点を対象とし、道のホモトピー類を射とする圏を考えることができる。この圏における任意の射は同型射となるから、この圏はであり、 のと呼ばれる。この圏における閉道は自己射（したがって実際には自己同型射）に対応し、 を基点とする 内の閉道全体の成す自己同型群は上で述べた を基点とする基本群にほかならない。より一般に、 の任意の部分集合 上の基本亜群を、 内の点を結ぶ道に関するホモトピー類を用いて定義することができる。そのように扱うことはファン・カンペンの定理において便利である。