数学の特に位相幾何学における閉道(へいどう、: closed-path)またはループ (loop) は、始点と終点が等しいを言う[1]。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ[2]

トーラスにおける二つの閉道 a, b

陽に書けば、位相空間 X 内の閉道とは、単位区間 I[0, 1] から X への連続写像 ff(0) = f(1) を満たすものである。点付き単位円 S1I01 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる[3]X 内の閉道全体の成す集合は、コンパクト開位相を入れて Xループ空間 ΩX と呼ばれる一つの位相空間を成す[4]

やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|]X; f(0) = f(|f|)X 内のムーアループ (Moore loop) と呼ぶ[5]:44。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す[6]

複素解析では求長可能な閉道に興味がもたれる。X のとき、閉道 γ に対し、γ巻き数 (winding number) I(γ, z0) が各点 z0γ([0, 1]) で定義される。これは z0 の周りを γ が何周するかを表す整数であり、 で計算できる。

関連項目

編集

参考文献

編集
  1. ^ Adams 1978, p. 3.
  2. ^ Renze, John. "Basepoint". mathworld.wolfram.com (英語).
  3. ^ loop space - PlanetMath.(英語)
  4. ^ Adams 1978.
  5. ^ Stedman, Ched E. (2007), Algebra and Algebraic Topology, Nova Publishers, ISBN 9781600211874 
  6. ^ loop, 2. Concatenation in nLab

外部リンク

編集