ザイフェルト–ファン・カンペンの定理
数学において、ザイフェルト-ファン・カンペンの定理(Seifert–van Kampen theorem)とは、代数トポロジーにおける定理であって、位相空間 X の基本群の構造を、X を被覆する弧状連結な開部分空間の基本群によって表現するものである。この名前はヘルベルト・ザイフェルトとエグバート・ファン・カンペンに因む。しばしば単にファン・カンペンの定理とも呼ばれる。これはしたがってより単純な空間から組み立てられた空間の基本群を計算する為に使用することができる。
X を位相空間であって、2つの弧状連結な開部分空間 U_{1} と U_{2} の和集合になっているものとする。U_{1} \cap U_{2} は弧状連結かつ非空と仮定し、x_{0} は U_{1}\cap U_{2} の点で、基本群の基点に用いられるものとする。U_{1} と U_{2} から X への包含写像は群準同型 j_1\colon \pi_1(U_1,x_0) \to \pi_1(X,x_0) と j_2\colon \pi_1(U_2,x_0)\to \pi_1(X,x_0) を誘導する。すると X は弧状連結であり、j_1 と j_2 は可換なプッシュアウト図式を成す:
自然な射 k は同型である。つまり X の基本群は U_1 と U_2 の基本群の自由積を \pi_1(U_1\cap U_2, x_0) で融合したものにほかならない。
通常、包含によって誘導される射は単射ではなく、この言明のより精密なバージョンは群のプッシュアウトの言葉を用いて書かれる。
円は代数トポロジーに於ける最も重要かつ基本的な例であるが、残念ながら上で与えた定理は円の基本群を計算できない。その理由は、円は連結な共通部分を持つような2つの開集合の和集合としては実現し得ないということにある。この問題は、幾何学的な状況に応じて選択をした基点の成す集合 A 上の基本亜群 \pi_1(X,A) を用いることによって解決することができる。円の場合には、2つの基点を選べばよい。
この亜群は A \cap X の点を結ぶ X 内の曲線達の両端に相対的(両端を固定する)ホモトピー類からなる。とくに、X が可縮空間で、A が X の相異なる2点からなるとき、\pi_1(X,A) は \mathcal I としばしば書かれる亜群に同型であることが容易に見て取れる。この亜群は2つの頂点と各頂点間にちょうどひとつの射からなる。この亜群は、群の理論に於ける整数の成す群が果たすのと同様の役割を、亜群の理論に於いて果たす。亜群 \mathcal I はまた亜群のホモトピーの概念を考えることを可能にする:つまりこれは亜群の圏に於ける単位区間対象である。
亜群の圏は全ての余極限、とくに全てのプッシュアウトを持つ。
定理. 位相空間 X が2つの部分空間 X_1 と X_2 の内部によって被覆され、基点集合 A は X_1 と X_2 と X_0=X_1 \cap X_2 の全ての弧状連結成分と交わりを持つとする。このとき A は X の全ての弧状連結成分と交わり、かつ包含によって誘導された射からなる図式 P
は亜群の圏のプッシュアウト図式となる。
この定理は、基本亜群 \pi_1(X,A) の完全な決定に際し、トポロジーから代数への移行手段を与える。代数および組合せ論を、幾つかの基点における基本群の決定に用いる必要がある。
この定理のひとつの解釈は、これがホモトピー1-型を計算するというものである。
\begin{align}
\pi_1(U,w) &= \langle u_1,\cdots,u_k \mid\alpha_1,\cdots,\alpha_l\rangle \\
\pi_1(V,w) &= \langle v_1,\cdots,v_m \mid \beta_1,\cdots,\beta_n\rangle \\
\pi_1(U\cap V,w) &= \langle w_1,\cdots,w_p \mid \gamma_1,\cdots,\gamma_q\rangle
\end{align}
が与えられたならば、その融合積は次のように表示できる。
\pi_1(X,w) = \langle u_1,\cdots,u_k, v_1,\cdots,v_m \mid \alpha_1,\cdots,\alpha_l, \beta_1,\cdots,\beta_n, I(w_1)J(w_1)^{-1},\cdots,I(w_p)J(w_p)^{-1} \rangle.
圏論では、\pi_1(X,w) は群の圏における次の図式のプッシュアウトである:
\pi_1(U,w)\gets\pi_1(U\cap V,w)\to\pi_1(V,w).
ファン・カンペンの定理はより簡単な空間に分解できるような位相空間の基本群の計算に利用できる。例として球 S^2 を考えよう。開集合 A=S^2 \setminus \{n\} と B=S^2\setminus \{s\} を選ぶ。ここで n と s はそれぞれ北極と南極を表す。すると、A, B および A ∩ B は弧状連結な開集合であることが分かる。よって、A ∩ B から A と B への包含と、A と B から S^2 への包含からなる可換図式が存在すること、および、それに対応する各々の部分空間の基本群の間の準同型からなる図式が存在することが分かる。ファン・カンペンの定理を適用することによって
\pi_1(S^2)=\pi_1(A)\cdot\pi_1(B)/\ker(\Phi)
という結果を得る。しかし、A と B はどちらも \mathbb{R}^2(これは単連結)に同相であるから、A と B はともに自明な基本群を持つ。このことから明らかに、S^2 の基本群は自明である。
2つの基点付き位相空間 (X,x) と (Y,y) が与えられると、その楔和 (X\vee Y,p) を X \amalg Y の2つの基点を同一視する商を取ることで構成できる。
点(がひとつだけからなる空間)の基本群は自明であるから、ファン・カンペンの定理は
\pi_1(X\vee Y,p) \cong \pi_1(X,x)*\pi_1(Y,y)
が群の同型であることを示す。
より複雑な例としては種数 n の向き付け可能曲面 S の基本群(種数 n の曲面群としても知られる)の計算がある。S はその基本多角形を使って構成できる。まず1つ目の開集合 A を決める為に、この多角形の中に収まるような円盤を取る。そして B を A の中心点の S における補集合とする。すると A と B の共通部分は円環領域となる。これは円周とホモトピー同値であり同じ基本群を持つことが知られている。よって \pi_1(A \cap B)=\pi_1(S^1) (これは整数の成す加群)であり、\pi_1(A)=\pi_1(D^2)={1} である。すると \pi_1(A \cap  B) から \pi_1(A) への包含はどの生成元も自明な元に送る。しかし、\pi_1(A \cap  B) から \pi_1(B) への包含は自明でない。このことを理解する為に、まず \pi_1(B) を計算しなければならない。これは \pi_1(B)(S から一点を除いたもの)を基本多角形の辺へと変形レトラクトすることができるから容易である。この辺は
A_1 B_1 A_1^{-1} B_1^{-1} A_2 B_2 A_2^{-1} B_2^{-1} \cdots A_n B_n A_n^{-1} B_n^{-1}
とラベル付けられているとしよう。この(変形レトラクトされた後の)空間は 2n 個の円周の楔和(円を束ねたブーケとも呼ばれる)であることが知られており、これはさらに 2n 個の生成元を持つ自由群と同型な基本群を持つことが知られている。この場合、それらの生成元は(上でラベル付けしたところの)辺たちによって表現できる:\{A_1,B_1,\cdots,A_n,B_n\}。いまやファン・カンペンの定理を適用するに十分な情報を得た。生成元はループ \{A_1,B_1,\cdots,A_n,B_n\} であり(A は単連結であるから生成元を持たないことが帰結する)、そしてちょうどひとつの関係式
A_1 B_1 A_1^{-1} B_1^{-1} A_2 B_2 A_2^{-1} B_2^{-1} \cdots A_n B_n A_n^{-1} B_n^{-1} = 1
がある。この生成元と関係式とを用いて、この群は
\langle A_1,B_1,\cdots,A_n,B_n \mid A_1B_1A_1^{-1}B_1^{-1}\cdots A_nB_nA_n^{-1}B_n^{-1} \rangle
と記述できる。
後述の通り、この定理はロナルド・ブラウンによって、基点集合 A 上の基本亜群 \pi_1 (X,A)
を用いることで、不連結な場合へと一般化された。任意の被覆に対する(ただし A はその被覆に含まれる任意の3つの集合の共通部分と交わるという制限のもとでの)この定理はブラウンとアブドゥル・ラザク・サラーの論文で与えられている。