logo

円の基本群は整数群と同型である 📂位相データ分析

円の基本群は整数群と同型である

定理

単位円 S1S^{1}基本群 π1(S1,1)\pi_{1} \left( S^{1}, 1 \right)整数群 Z\mathbb{Z}同型である。 π1(S1,1)Z \pi_{1} \left( S^{1}, 1 \right) \simeq \mathbb{Z} ここで、(1,0)R2(1,0) \in \mathbb{R}^{2} を簡単に 11 とも表す。

説明

応用

ホモトピーを学ぶ中で得られる最大かつ最重要な結果のひとつが、S1S^{1}基本群が整数群であることだ。その応用として次のようなものが知られている:

  • 代数の基本定理の位相幾何学的証明
  • ブラウアーの不動点定理
  • ボルスク-ウラム定理

しかし、この定理が持つ意味は、その応用に関係なく、自体にも尊いものである。点ではなくループで空間を研究するという代数位相幾何学のアイデアからS1S^{1}が何よりもまず考慮されるべき対象である。

直観的な意味

「円の基本群が整数と同型である」ということは、単にループが反時計回り(+)か時計回り(-)にいくつなされるか(n)だけのことだが、この代数的事実に基づいて位相幾何学のいくつかの難しい領域に挑戦できるようになる。

多次元スフィアの基本群は自明群である

π1(Sn)0,n2 \pi_{1} \left( S^{n} \right) \simeq 0 \qquad , n \ge 2 n2n \ge 2 について、nn-スフィア SnS^{n}基本群は自明群である。

20220622_160218.png

直観的にもn=2n = 2の時、S2S^{2} を想像すれば、上の図のようにすべてのループは表面を通って一点に収束するしかない。具体的な証明はHatcherを参照されたい1

証明 2

パート1. 関数 φ\varphi の定義

20220422_170912.png

基本群の定義により、すべてのループ [f]π1(S1,1)[f] \in \pi_{1} \left( S^{1}, 1 \right)11 から始まり11 で終わらなければならない。[f][f] が反時計回りに1周する回数を deg+(f)\deg_{+} (f) 、時計回りに回る回数を deg(f)\deg_{-} (f) とした時、次のように φ:π1(S1,1)Z\varphi : \pi_{1} \left( S^{1}, 1 \right) \to \mathbb{Z} を定義しよう。 φ([f]):=deg+(f)deg(f) \varphi \left( \left[ f \right] \right) := \deg_{+} (f) - \deg_{-} (f)

モノドロミー定理: 11-スフィア S1S^{1} 上で 1:=(1,0)1 := (1,0) を起点とする経路 f0f1f_{0} \simeq f_{1} が二つ与えられているとする。それぞれのリフトf~0,f~1\widetilde{f}_{0}, \widetilde{f}_{1}f~0(0)=f~1(0)\widetilde{f}_{0} (0) = \widetilde{f}_{1} (0) を満たすならば、f~0(1)=f~1(1)\widetilde{f}_{0} (1) = \widetilde{f}_{1} (1) である。

f~(0)=0\widetilde{f} (0) = 0 とすると、モノドロミー定理により φ([f])=f~(1)\varphi \left( [f] \right) = \widetilde{f} (1) に対して唯一の f~:IR\widetilde{f} : I \to \mathbb{R} が存在し、φ\varphi関数であると分かる。次に、φ\varphi同型であることを示す。


  1. Hatcher. (2002). Algebraic Topology: p35. ↩︎

  2. Kosniowski. (1980). A First Course in Algebraic Topology: p139~140. ↩︎