円の基本群は整数群と同型である
📂位相データ分析円の基本群は整数群と同型である
定理
単位円 S1の基本群 π1(S1,1) と 整数群 Z は 同型である。
π1(S1,1)≃Z
ここで、(1,0)∈R2 を簡単に 1 とも表す。
説明
応用
ホモトピーを学ぶ中で得られる最大かつ最重要な結果のひとつが、S1の基本群が整数群であることだ。その応用として次のようなものが知られている:
- 代数の基本定理の位相幾何学的証明
- ブラウアーの不動点定理
- ボルスク-ウラム定理
しかし、この定理が持つ意味は、その応用に関係なく、自体にも尊いものである。点ではなくループで空間を研究するという代数位相幾何学のアイデアからS1が何よりもまず考慮されるべき対象である。
直観的な意味
「円の基本群が整数と同型である」ということは、単にループが反時計回り(+)か時計回り(-)にいくつなされるか(n)だけのことだが、この代数的事実に基づいて位相幾何学のいくつかの難しい領域に挑戦できるようになる。
多次元スフィアの基本群は自明群である
π1(Sn)≃0,n≥2
n≥2 について、n-スフィア Sn の基本群は自明群である。

直観的にもn=2の時、S2 を想像すれば、上の図のようにすべてのループは表面を通って一点に収束するしかない。具体的な証明はHatcherを参照されたい。
証明
パート1. 関数 φ の定義

基本群の定義により、すべてのループ [f]∈π1(S1,1) は 1 から始まり1 で終わらなければならない。[f] が反時計回りに1周する回数を deg+(f) 、時計回りに回る回数を deg−(f) とした時、次のように φ:π1(S1,1)→Z を定義しよう。
φ([f]):=deg+(f)−deg−(f)
モノドロミー定理: 1-スフィア S1 上で 1:=(1,0) を起点とする経路 f0≃f1 が二つ与えられているとする。それぞれのリフトが f0,f1 が f0(0)=f1(0) を満たすならば、f0(1)=f1(1) である。
f(0)=0 とすると、モノドロミー定理により φ([f])=f(1) に対して唯一の f:I→R が存在し、φ は関数であると分かる。次に、φが同型であることを示す。