ザイフェルト-ファン・カンペンの定理
ザイフェルト-ファン・カンペンの定理(Seifert–van Kampen theorem)は、
位相空間の
基本群の計算において重要な役割を果たす代数トポロジーの定理です。これは、ある
位相空間が複数の弧状連結な開部分空間の和集合として表現されるとき、全体の空間の
基本群を各部分空間の
基本群を用いて求める方法を提供します。この定理の命名は、
数学者のヘルベルト・ザイフェルトとエグバート・ファン・カンペンに由来しています。
まず、特定の
位相空間 $X$ の場合、これは2つの弧状連結な開部分空間 $U_1$ と $U_2$ によってカバーされているとします。この時、$U_1 ∩ U_2$ が弧状連結かつ非空であることが仮定されます。
このとき、$X$ の任意の基点 $x_0$ に対して、$U_1$ および $U_2$ から $X$ への含射が群準同型を誘導します。それにより、定理は次のように要約できます。
- - $X$ の基本群は、$U_1$ および $U_2$ の基本群の自由積と、共通部分 $U_1 ∩ U_2$ の基本群による上で融合された形として表現できる。
これにより、$X$ の
基本群を求める際に、より簡単な空間からの計算を可能にします。
具体的な例として、円の
基本群を計算する際にこの定理の適用が難しいことがあります。円は基点を持つ2つの
開集合の和集合に分割できないため、その
基本群はこの定理だけでは求められません。このような場合、円のような場合は、基準となる基点の集合を考える基準の上に基本亜群を導入することで解決策が見出されます。
基本亜群の定理
さらに、
位相空間が複数の部分空間によって被覆されている場合、基点集合がすべての弧状連結な成分と交差する場合、基本亜群の完全な決定への手助けを行います。これにより、トポロジーから代数への移行が直観的に理解できるようになります。
組合せ群論の視点
組合せ群論の観点から考えても、$X$ が
位相空間で、$U$ と $V$ が $X$ の弧状連結な開部分空間であるとき、共通部分 $U ∩ V$ から $U$ および $V$ への準同型が定義され、これにより得られる
基本群が計算可能であるといえます。ここでは、融合積の概念が非常に重要であり、隣接する部分空間の
基本群の関係性を強調しています。
球体 $S^2$ の場合、北極および南極を除いた2つの
開集合 $A$ と $B$ を考えることができます。これらの
開集合は、共通部分が弧状連結な空間を形成しています。このとき、ファン・カンペンの定理を適用すると、球体の
基本群は自明な群として特定できます。
まとめ
ザイフェルト-ファン・カンペンの定理は、
位相空間の
基本群を異なるアプローチで計算するための強力なツールです。複雑な空間をよりシンプルな開部分空間の組合せとして扱うことで、高度なトポロジーの問題も解決する鍵となります。この定理の重要性は、連結性や基準の選び方に深く関わっており、代数トポロジーの発展に寄与しています。