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

数学において、ザイフェルト-ファン・カンペンの定理（）とは、代数トポロジーにおける定理であって、位相空間 formula_1 の基本群の構造を、formula_1 を被覆する弧状連結な開部分空間の基本群によって表現するものである。この名前はヘルベルト・ザイフェルトとエグバート・ファン・カンペンに因む。しばしば単にファン・カンペンの定理とも呼ばれる。これはしたがってより単純な空間から組み立てられた空間の基本群を計算する為に使用することができる。
基本群に関するファン・カンペンの定理.
formula_1 を位相空間であって、2つの弧状連結な開部分空間 formula_4 と formula_5 の和集合になっているものとする。formula_6 は弧状連結かつ非空と仮定し、formula_7 は formula_8 の点で、基本群の基点に用いられるものとする。formula_4 と formula_5 から formula_1 への包含写像は群準同型 formula_12 と formula_13 を誘導する。すると formula_1 は弧状連結であり、formula_15 と formula_16 は可換な図式を成す：
自然な射 formula_17 は同型である。つまり formula_1 の基本群は formula_19 と formula_20 の基本群の自由積を formula_21 で融合したものにほかならない。
通常、包含によって誘導される射は単射ではなく、この言明のより精密なバージョンは群のの言葉を用いて書かれる。
基本亜群に関するファン・カンペンの定理.
円は代数トポロジーに於ける最も重要かつ基本的な例であるが、残念ながら上で与えた定理は円の基本群を計算できない。その理由は、円は連結な共通部分を持つような2つの開集合の和集合としては実現し得ないということにある。この問題は、幾何学的な状況に応じて選択をした基点の成す集合 formula_22 上の基本亜群 formula_23 を用いることによって解決することができる。円の場合には、2つの基点を選べばよい。
この亜群は formula_24 の点を結ぶ formula_1 内の曲線達の両端に相対的（両端を固定する）ホモトピー類からなる。とくに、formula_1 が可縮空間で、formula_22 が formula_1 の相異なる2点からなるとき、formula_23 は formula_30 としばしば書かれる亜群に同型であることが容易に見て取れる。この亜群は2つの頂点と各頂点間にちょうどひとつの射からなる。この亜群は、群の理論に於ける整数の成す群が果たすのと同様の役割を、亜群の理論に於いて果たす。亜群 formula_30 はまた亜群のホモトピーの概念を考えることを可能にする：つまりこれは亜群の圏に於ける単位区間対象である。
亜群の圏は全ての余極限、とくに全てのプッシュアウトを持つ。
は亜群の圏のプッシュアウト図式となる。
この定理は、基本亜群 formula_23 の完全な決定に際し、トポロジーから代数への移行手段を与える。代数および組合せ論を、幾つかの基点における基本群の決定に用いる必要がある。
この定理のひとつの解釈は、これがホモトピー1-型を計算するというものである。
同値な定式化.
組み合わせ群論の言葉を用いるなら、formula_1 が位相空間、formula_44 と formula_45 が formula_1 の弧状連結な開部分空間、formula_47 が空でなく弧状連結、そしてformula_48 ならば、formula_49 は formula_50 と formula_51 の（必ずしも単射ではない）準同型 formula_52 と formula_53 による融合積である、と言うことができる。群の表示
が与えられたならば、その融合積は次のように表示できる。
圏論では、formula_56 は群の圏における次の図式のである：
例.
2-球.
ファン・カンペンの定理はより簡単な空間に分解できるような位相空間の基本群の計算に利用できる。例として球 formula_58 を考えよう。開集合 formula_59 と formula_60 を選ぶ。ここで "n" と "s" はそれぞれ北極と南極を表す。すると、"A", "B" および "A" ∩ "B" は弧状連結な開集合であることが分かる。よって、"A" ∩ "B" から "A" と "B" への包含と、"A" と "B" から formula_58 への包含からなる可換図式が存在すること、および、それに対応する各々の部分空間の基本群の間の準同型からなる図式が存在することが分かる。ファン・カンペンの定理を適用することによって
という結果を得る。しかし、"A" と "B" はどちらも formula_63（これは単連結）に同相であるから、"A" と "B" はともに自明な基本群を持つ。このことから明らかに、formula_58 の基本群は自明である。
空間の楔和.
2つの基点付き位相空間 formula_65 と formula_66 が与えられると、その楔和 formula_67 を formula_68 の2つの基点を同一視する商を取ることで構成できる。
点（がひとつだけからなる空間）の基本群は自明であるから、ファン・カンペンの定理は
が群の同型であることを示す。
向き付けられた種数 g の曲面.
より複雑な例としては種数 "n" の向き付け可能曲面 "S" の基本群（種数 "n" の曲面群としても知られる）の計算がある。"S" はそのを使って構成できる。まず１つ目の開集合 "A" を決める為に、この多角形の中に収まるような円盤を取る。そして "B" を "A" の中心点の "S" における補集合とする。すると "A" と "B" の共通部分は円環領域となる。これは円周とホモトピー同値であり同じ基本群を持つことが知られている。よって formula_70 （これは整数の成す加群）であり、formula_71 である。すると formula_72 から formula_73 への包含はどの生成元も自明な元に送る。しかし、formula_72 から formula_75 への包含は自明でない。このことを理解する為に、まず formula_75 を計算しなければならない。これは formula_75（"S" から一点を除いたもの）を基本多角形の辺へと変形レトラクトすることができるから容易である。この辺は
とラベル付けられているとしよう。この（変形レトラクトされた後の）空間は 2"n" 個の円周の楔和（円を束ねたブーケとも呼ばれる）であることが知られており、これはさらに 2"n" 個の生成元を持つ自由群と同型な基本群を持つことが知られている。この場合、それらの生成元は（上でラベル付けしたところの）辺たちによって表現できる：formula_79。いまやファン・カンペンの定理を適用するに十分な情報を得た。生成元はループ formula_79 であり（"A" は単連結であるから生成元を持たないことが帰結する）、そしてちょうどひとつの関係式
がある。この生成元と関係式とを用いて、この群は
と記述できる。
一般化.
後述の通り、この定理はロナルド・ブラウンによって、基点集合 formula_22 上の基本亜群 formula_84
を用いることで、不連結な場合へと一般化された。任意の被覆に対する（ただし formula_22 はその被覆に含まれる任意の3つの集合の共通部分と交わるという制限のもとでの）この定理はブラウンとアブドゥル・ラザク・サラーの論文で与えられている。