道 (位相幾何学)

数学の特に位相幾何学における道（みち、; パス、経路）は、単位閉区間からの連続写像を言う。より明確に、位相空間内の道とは、連続写像を言い、をこの道の始点 (initial point)、を終点 (terminal point) と呼ぶ。始点および終点を持つ道はしばしば「からへ結ぶ道」などと呼ばれる。この場合の「道」はの曲線的な部分集合というばかりではなく、それを追跡するまで込めて言うことに注意する（例えば、上でとは実数直線内の相異なる道を表す）。

位相空間内の、点を基点 (base, base point) とする閉道（あるいはループ）とはからへ結ぶ道を言う。写像の言葉で書けば、閉道は（ただし、と書けるが、単位円からの写像と書くこともできる（位相幾何学においてはをを同一視して得られる商位相空間（等化空間）と見なすことができることに注意する）。位相空間内の閉道全体の成す集合を一つの位相空間と見ることができ、のと呼ぶ。

任意の二点を結ぶ道が存在する位相空間は弧状連結（あるいは道連結）であると言う。任意の位相空間は、弧状連結成分に分割することができる。空間の弧状連結成分全体の成す集合はしばしばと書かれる。

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

道のホモトピー

道および閉道はホモトピー論と呼ばれる代数的位相幾何学の一分科において中心的な研究主題である。道のホモトピーはその端点を固定した連続変形という概念を明確に定義したものである。

具体的には、内の道のホモトピーあるいは道ホモトピー (path-homotopy) とは、で添字付けられた内の道の族で条件およびはに依らず一定、写像は二変数写像として連続を満たすものを言う。ホモトピーで結ばれた二つの道はホモトピック（あるいは決まった空間の間の任意の連続写像の上で定義されるより一般の関係としてのホモトピーと区別する場合には特に道ホモトピック）であるという。同様に、閉道の間にも基点を動かさないホモトピーを定義することができる。

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

道の合成位相空間内のいくつかの道に対して、それらを順番に辿るというあからさまな方法で、それらの合成を行うことができる。すなわち、がからへ結ぶ道、がからへ結ぶ道であるとき、合成道はまずを辿ってからを辿る道としてで定義される。明らかなことではあるが、道の合成はの終点との始点が一致している場合にのみ定義されるものである。基点を持つ閉道全体の成す集合の中で考えるならば、道の合成は二項演算を与えるものである。

道の合成は、たとえそれが定義されても、結合的でない（媒介変数のとり方に違いがある）が、道ホモトピーの違いを除いて結合的である—すなわちが成り立つ. を基点とする内の閉道のホモトピー類全体の成す集合は、道の合成に関して群の構造を持つ。この群はを基点とするの基本群と呼ばれる。

「厳密な意味」("on the nose") で道の合成に結合性を要求したい場面では、内の道として、適当な実数に対する区間からの写像を定義として採用することを考えればよい。この意味での道に対して、その長さをと定義すれば、道の合成を（上で定義したものからやや変更して）と定めることにより（先の定義ではの長さが全て 1 となるように定めていた）、この定義のもとであり、この合成は厳密に結合的となる。前の定義で結合性が成り立たなかったのは、およびが同じ長さを持つにもかかわらず、の中点はとの間にある一方、の中点はとの間にあったからであった。修正した定義ではとは同じ長さを持ち、かつ中点をともにの位置に持つ（だけでなく、より一般に曲線全体に亙って同じ媒介変数で追跡することができる）。

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

道 (位相幾何学)

Źródło i licencja