ザイフェルト–ファン・カンペンの定理

数学において、ザイフェルト-ファン・カンペンの定理とは、代数トポロジーにおける定理であって、位相空間 の基本群の構造を、 を被覆する弧状連結な開部分空間の基本群によって表現するものである。この名前はヘルベルト・ザイフェルトとエグバート・ファン・カンペンに因む。しばしば単にファン・カンペンの定理とも呼ばれる。これはしたがってより単純な空間から組み立てられた空間の基本群を計算する為に使用することができる。

1. 基本群に関するファン・カンペンの定理
---------------------

を位相空間であって、2つの弧状連結な開部分空間 と の和集合になっているものとする。 は弧状連結かつ非空と仮定し、 は の点で、基本群の基点に用いられるものとする。 と から への包含写像は群準同型 と を誘導する。すると は弧状連結であり、 と は可換なプッシュアウト図式を成す：

自然な射 は同型である。つまり の基本群は と の基本群の自由積を で融合したものにほかならない。

通常、包含によって誘導される射は単射ではなく、この言明のより精密なバージョンは群のプッシュアウトの言葉を用いて書かれる。

1.1. 基本亜群に関するファン・カンペンの定理
------------------------

円は代数トポロジーに於ける最も重要かつ基本的な例であるが、残念ながら上で与えた定理は円の基本群を計算できない。その理由は、円は連結な共通部分を持つような2つの開集合の和集合としては実現し得ないということにある。この問題は、幾何学的な状況に応じて選択をした基点の成す集合 上の基本亜群 を用いることによって解決することができる。円の場合には、2つの基点を選べばよい。

この亜群は の点を結ぶ 内の曲線達の両端に相対的ホモトピー類からなる。とくに、 が可縮空間で、 が の相異なる2点からなるとき、 は としばしば書かれる亜群に同型であることが容易に見て取れる。この亜群は2つの頂点と各頂点間にちょうどひとつの射からなる。この亜群は、群の理論に於ける整数の成す群が果たすのと同様の役割を、亜群の理論に於いて果たす。亜群 はまた亜群のホモトピーの概念を考えることを可能にする：つまりこれは亜群の圏に於ける単位区間対象である。

亜群の圏は全ての余極限、とくに全てのプッシュアウトを持つ。

定理. 位相空間 が2つの部分空間 と の内部によって被覆され、基点集合 は と と の全ての弧状連結成分と交わりを持つとする。このとき は の全ての弧状連結成分と交わり、かつ包含によって誘導された射からなる図式 は亜群の圏のプッシュアウト図式となる。

この定理は、基本亜群 の完全な決定に際し、トポロジーから代数への移行手段を与える。代数および組合せ論を、幾つかの基点における基本群の決定に用いる必要がある。

この定理のひとつの解釈は、これがホモトピー1-型を計算するというものである。

2. 同値な定式化
---------

組み合わせ群論の言葉を用いるなら、 が位相空間、 と が の弧状連結な開部分空間、 が空でなく弧状連結、そして ならば、 は と の準同型 と による融合積である、と言うことができる。群の表示

が与えられたならば、その融合積は次のように表示できる。

圏論では、 は群の圏における次の図式のプッシュアウトである：

3. 例
----

3.1. 2-球
--------

ファン・カンペンの定理はより簡単な空間に分解できるような位相空間の基本群の計算に利用できる。例として球 を考えよう。開集合 と を選ぶ。ここで //n// と //s// はそれぞれ北極と南極を表す。すると、//A//, //B// および //A// ∩ //B// は弧状連結な開集合であることが分かる。よって、//A// ∩ //B// から //A// と //B// への包含と、//A// と //B// から への包含からなる可換図式が存在すること、および、それに対応する各々の部分空間の基本群の間の準同型からなる図式が存在することが分かる。ファン・カンペンの定理を適用することによって

という結果を得る。しかし、//A// と //B// はどちらも に同相であるから、//A// と //B// はともに自明な基本群を持つ。このことから明らかに、 の基本群は自明である。

3.2. 空間の楔和
----------

2つの基点付き位相空間 と が与えられると、その楔和 を の2つの基点を同一視する商を取ることで構成できる。

点の基本群は自明であるから、ファン・カンペンの定理は

が群の同型であることを示す。

3.3. 向き付けられた種数 g の曲面
--------------------

より複雑な例としては種数 //n// の向き付け可能曲面 //S// の基本群の計算がある。//S// はその基本多角形を使って構成できる。まず１つ目の開集合 //A// を決める為に、この多角形の中に収まるような円盤を取る。そして //B// を //A// の中心点の //S// における補集合とする。すると //A// と //B// の共通部分は円環領域となる。これは円周とホモトピー同値であり同じ基本群を持つことが知られている。よって であり、 である。すると から への包含はどの生成元も自明な元に送る。しかし、 から への包含は自明でない。このことを理解する為に、まず を計算しなければならない。これは を基本多角形の辺へと変形レトラクトすることができるから容易である。この辺は

とラベル付けられているとしよう。この空間は 2//n// 個の円周の楔和であることが知られており、これはさらに 2//n// 個の生成元を持つ自由群と同型な基本群を持つことが知られている。この場合、それらの生成元は辺たちによって表現できる：。いまやファン・カンペンの定理を適用するに十分な情報を得た。生成元はループ であり、そしてちょうどひとつの関係式

がある。この生成元と関係式とを用いて、この群は

と記述できる。

4. 一般化
------

後述の通り、この定理はロナルド・ブラウンによって、基点集合 上の基本亜群 を用いることで、不連結な場合へと一般化された。任意の被覆に対するこの定理はブラウンとアブドゥル・ラザク・サラーの論文で与えられている。

5. 関連項目
-------

高次代数
高次圏論

6. 脚注
-----

7. 参考文献
-------

Allen Hatcher, [1]  Cambridge University Press, Cambridge, xii+544 pp.
Peter May, [2]  University of Chicago Press, 0-226-51183-9}} ////.
Higher-dimensional algebra
Ronald Brown, Groupoids and Van Kampen's theorem, //Proc. London Math. Soc//.  17  385-401.
[3]
Ronald Brown, //[4]//  Booksurge LLC
R. Brown and A. Razak, A van Kampen theorem for unions of non-connected spaces, Archiv. Math. 42  85-88. 
P.J. Higgins, //[5]//  Van Nostrand Reinhold
Ronald Brown, //[6]//  ////.
Seifert, H., //Konstruction drei dimensionaler geschlossener Raume//. Berichte Sachs. Akad. Leipzig, Math.-Phys. Kl.   26–66.
E. R. van Kampen. //On the connection between the fundamental groups of some related spaces.// American Journal of Mathematics, vol. 55 , pp.   261–267.
Brown, R., Higgins, P. J, //On the connection between the second relative homotopy groups of some related spaces//, Proc. London Math. Soc.  36  193–212.
Brown, R., Higgins, P. J. and Sivera, R.. 2011, EMS Tracts in Mathematics Vol.15  [7]; 
R. Brown, H. Kamps, T. Porter : A homotopy double groupoid of a Hausdorff space II: a van Kampen theorem', Theory and Applications of Categories, 14  200–220.
Dylan G.L. Allegretti, [8] //.//
R. Brown and J.-L. Loday, ``Van Kampen theorems for diagrams of spaces//, Topology 26  311–334.//