代数拓扑中基本群的乘积与自由积的极限（vanKampen定理）

代数拓扑中基本群的乘积与自由积的极限（vanKampen定理）在代数拓扑的广阔领域中，基本群作为连接拓扑空间与代数结构的关键桥梁，其重要性不言而喻。它将拓扑空间的“洞”和“连通性”等直观几何性质转化为群的代数性质，使得我们可以通过研究群的结构来揭示拓扑空间的深层特征。而vanKampen定理，作为计算基本群的核心工具之一，为我们提供了一种将复杂拓扑空间分解为简单部分，再通过这些简单部分的基本群来构建整个空间基本群的方法。其中，群的乘积与自由积的极限概念，是理解vanKampen定理的关键所在。一、基本群的定义与基本性质（一）基本群的定义基本群的定义基于拓扑空间中的环路和同伦概念。设(X)是一个拓扑空间，(x_0\inX)是一个基点。考虑所有以(x_0)为起点和终点的环路，即连续映射(\alpha:[0,1]\toX)，满足(\alpha(0)=\alpha(1)=x_0)。在这些环路中，我们引入同伦等价关系：两个环路(\alpha)和(\beta)是同伦的，如果存在一个连续映射(H:[0,1]\times[0,1]\toX)，使得对于所有(t\in[0,1])，有(H(t,0)=\alpha(t))，(H(t,1)=\beta(t))，并且对于所有(s\in[0,1])，有(H(0,s)=H(1,s)=x_0)。这种同伦等价关系将环路分成了不同的等价类，每个等价类称为一个同伦类。我们可以在这些同伦类上定义乘法运算：对于两个环路同伦类([\alpha])和([\beta])，它们的乘积([\alpha][\beta])是环路(\alpha*\beta)的同伦类，其中(\alpha*\beta(t))定义为：当(t\in[0,1/2])时，(\alpha*\beta(t)=\alpha(2t))；当(t\in[1/2,1])时，(\alpha*\beta(t)=\beta(2t-1))。可以证明，这个乘法运算在同伦类上是良定义的，并且满足结合律。同时，每个同伦类([\alpha])都有逆元([\alpha]^{-1})，即环路(\alpha^{-1}(t)=\alpha(1-t))的同伦类。而常值环路(e(t)=x_0)的同伦类([e])则是乘法单位元。这样，所有以(x_0)为基点的环路同伦类在上述乘法运算下构成一个群，称为拓扑空间(X)以(x_0)为基点的基本群，记为(\pi_1(X,x_0))。（二）基本群的基本性质基本群具有一些重要的基本性质，这些性质对于我们理解和计算基本群至关重要。同伦不变性：如果两个拓扑空间(X)和(Y)是同伦等价的，即存在连续映射(f:X\toY)和(g:Y\toX)，使得(g\circf)同伦于(X)上的恒等映射，(f\circg)同伦于(Y)上的恒等映射，那么它们的基本群是同构的，即(\pi_1(X,x_0)\cong\pi_1(Y,f(x_0)))。这意味着基本群是拓扑空间的同伦不变量，它只依赖于拓扑空间的同伦型，而与具体的拓扑结构无关。基点的影响：对于同一个拓扑空间(X)，不同的基点(x_0)和(x_1)所对应的基本群(\pi_1(X,x_0))和(\pi_1(X,x_1))之间存在密切的关系。如果(X)是道路连通的，即任意两个点之间都存在一条连续道路连接它们，那么对于任意的(x_0,x_1\inX)，存在一条道路(\gamma:[0,1]\toX)，使得(\gamma(0)=x_0)，(\gamma(1)=x_1)。通过这条道路，我们可以定义一个同构(\Phi_{\gamma}:\pi_1(X,x_0)\to\pi_1(X,x_1))，其中(\Phi_{\gamma}([\alpha])=[\gamma^{-1}*\alpha*\gamma])。这表明在道路连通的拓扑空间中，基本群的结构不依赖于基点的选择，我们可以简单地记为(\pi_1(X))。乘积空间的基本群：对于两个拓扑空间(X)和(Y)，它们的乘积空间(X\timesY)的基本群与(X)和(Y)的基本群之间存在着自然的同构关系，即(\pi_1(X\timesY,(x_0,y_0))\cong\pi_1(X,x_0)\times\pi_1(Y,y_0))。这个同构可以通过将乘积空间中的环路分解为(X)和(Y)中的环路来建立：对于乘积空间中的环路(\alpha(t)=(\alpha_X(t),\alpha_Y(t)))，其同伦类([\alpha])对应于(([\alpha_X],[\alpha_Y]))，其中([\alpha_X]\in\pi_1(X,x_0))，([\alpha_Y]\in\pi_1(Y,y_0))。二、群的乘积与自由积（一）群的直积群的直积是群论中一种基本的构造方法，它允许我们将两个或多个群组合成一个新的群。设(G)和(H)是两个群，它们的直积(G\timesH)是由所有有序对((g,h))组成的集合，其中(g\inG)，(h\inH)。在(G\timesH)上定义乘法运算为：((g_1,h_1)(g_2,h_2)=(g_1g_2,h_1h_2))，其中(g_1g_2)是(G)中的乘法，(h_1h_2)是(H)中的乘法。可以验证，(G\timesH)在这个乘法运算下构成一个群，其单位元是((e_G,e_H))，其中(e_G)是(G)的单位元，(e_H)是(H)的单位元；每个元素((g,h))的逆元是((g^{-1},h^{-1}))。群的直积具有一些重要的性质。例如，(G)和(H)都可以自然地嵌入到(G\timesH)中，通过映射(i_G:G\toG\timesH)，(i_G(g)=(g,e_H))，以及(i_H:H\toG\timesH)，(i_H(h)=(e_G,h))。而且，这些嵌入都是群同态。此外，直积(G\timesH)中的元素((g,h))可以唯一地表示为(i_G(g)i_H(h))，并且(i_G(G))和(i_H(H))中的元素是交换的，即对于任意(g\inG)，(h\inH)，有(i_G(g)i_H(h)=i_H(h)i_G(g))。（二）群的自由积与群的直积不同，群的自由积是一种更具“自由”性的群构造方法，它不要求因子群之间的元素交换。设(G)和(H)是两个群，它们的自由积(G*H)是由所有形如(g_1h_1g_2h_2\cdotsg_nh_n)的有限序列组成的集合，其中(g_i\inG)，(h_i\inH)，并且相邻的元素不能同时来自同一个群（除非是单位元）。在(G*H)上定义乘法运算为序列的连接，并且通过消去相邻的单位元和合并来自同一个群的相邻元素来简化序列。例如，(g_1h_1g_2h_2)和(g_3h_3)的乘积是(g_1h_1g_2h_2g_3h_3)，如果(h_2)和(g_3)分别是(H)和(G)的单位元，则可以简化为(g_1h_1g_3h_3)；如果(g_2)和(g_3)都属于(G)，则可以合并为(g_1h_1(g_2g_3)h_3)。自由积(G*H)具有泛性质：对于任意群(K)和任意群同态(f:G\toK)，(g:H\toK)，存在唯一的群同态(F:G*H\toK)，使得(F\circi_G=f)，(F\circi_H=g)，其中(i_G:G\toG*H)和(i_H:H\toG*H)是自然嵌入同态。这个泛性质表明，自由积是包含(G)和(H)的“最小”群，使得(G)和(H)中的元素可以自由地相乘，而不受到额外的交换关系限制。（三）群的直积与自由积的区别群的直积和自由积在结构上有很大的区别。直积(G\timesH)中的元素是有序对，乘法运算时两个因子群的元素是独立相乘的，并且因子群之间的元素是交换的；而自由积(G*H)中的元素是由(G)和(H)中的元素交替组成的序列，乘法运算时序列连接并简化，因子群之间的元素一般不交换。例如，对于整数加法群(\mathbb{Z})，直积(\mathbb{Z}\times\mathbb{Z})是一个交换群，其中的元素可以表示为((m,n))，乘法（加法）运算为((m_1,n_1)+(m_2,n_2)=(m_1+m_2,n_1+n_2))；而自由积(\mathbb{Z}*\mathbb{Z})是一个非交换群，也称为秩为2的自由群，其中的元素是由(a)和(b)生成的有限序列，例如(a^2b^{-1}a)等，乘法运算为序列的连接和简化，并且(ab\neqba)。三、vanKampen定理的陈述与证明思路（一）vanKampen定理的陈述vanKampen定理是关于拓扑空间基本群的一个重要定理，它描述了如何通过将拓扑空间分解为两个开子集的并集，来计算整个空间的基本群。设(X)是一个拓扑空间，(U)和(V)是(X)的两个开子集，使得(X=U\cupV)，并且(U\capV)是非空道路连通的。取基点(x_0\inU\capV)，记(G=\pi_1(U,x_0))，(H=\pi_1(V,x_0))，(K=\pi_1(U\capV,x_0))。设(i:U\capV\toU)和(j:U\capV\toV)是包含映射，诱导出群同态(i_:K\toG)和(j_:K\toH)。vanKampen定理指出，(\pi_1(X,x_0))同构于自由积(G*H)相对于由所有形如(i_(k)j_(k)^{-1})（(k\inK)）的元素生成的正规子群(N)的商群，即(\pi_1(X,x_0)\cong(G*H)/N)，其中(N=\langle{i_(k)j_(k)^{-1}\midk\inK}\rangle^{G*H})，表示由这些元素生成的(G*H)的正规子群。（二）vanKampen定理的证明思路vanKampen定理的证明主要基于同伦类的分解和群的泛性质。首先，我们需要定义从自由积(G*H)到(\pi_1(X,x_0))的同态。对于(G)中的元素([\alpha]\in\pi_1(U,x_0))，由于(U)是(X)的开子集，(\alpha)也是(X)中的环路，因此可以将([\alpha])映射到(\pi_1(X,x_0))中的同伦类([\alpha]_X)；同理，对于(H)中的元素([\beta]\in\pi_1(V,x_0))，可以映射到(\pi_1(X,x_0))中的同伦类([\beta]_X)。根据自由积的泛性质，这两个映射可以唯一地扩展为一个群同态(F:G*H\to\pi_1(X,x_0))。接下来，我们需要证明这个同态(F)是满同态。对于(X)中的任意环路(\gamma:[0,1]\toX)，由于(X=U\cupV)，(\gamma([0,1]))是紧集，根据勒贝格数引理，存在一个分割(0=t_0<t_1<\cdots<t_n=1)，使得对于每个(i=0,1,\cdots,n-1)，(\gamma([t_i,t_{i+1}]))完全包含在(U)或(V)中。对于每个区间([t_i,t_{i+1}])，如果(\gamma([t_i,t_{i+1}])\subseteqU)，则定义环路(\gamma_i:[0,1]\toU)为(\gamma_i(t)=\gamma(t_i+t(t_{i+1}-t_i)))，其同伦类([\gamma_i]\inG)；如果(\gamma([t_i,t_{i+1}])\subseteqV)，则定义环路(\gamma_i:[0,1]\toV)，其同伦类([\gamma_i]\inH)。然后，通过在(U\capV)中选取道路连接相邻的基点，我们可以将这些环路同伦类组合成自由积(G*H)中的一个元素，并且这个元素在(F)下的像就是([\gamma])，从而证明了(F)是满同态。最后，我们需要确定(F)的核。可以证明，核恰好是由所有形如(i_(k)j_(k)^{-1})（(k\inK)）的元素生成的正规子群(N)。一方面，对于(k\inK)，(i_(k))是(U)中的环路同伦类，(j_(k))是(V)中的环路同伦类，它们在(X)中是同伦的，因为(k)是(U\capV)中的环路，所以(F(i_(k)j_(k)^{-1})=[i_(k)]X[j(k)]_X^{-1}=[k]X[k]X^{-1}=[e])，即(i*(k)j*(k)^{-1}\in\kerF)，因此(N\subseteq\kerF)。另一方面，通过构造从(\pi_1(X,x_0))到((G*H)/N)的同态，并证明它是(F)的逆同态，可以得出(\kerF\subseteqN)，从而(\kerF=N)。根据群同态基本定理，(\pi_1(X,x_0)\cong(G*H)/N)。四、vanKampen定理的应用实例（一）计算圆周的基本群我们可以使用vanKampen定理来计算圆周(S^1)的基本群。设(U=S^1\setminus{(1,0)})，(V=S^1\setminus{(-1,0)})，则(U)和(V)都是(S^1)的开子集，并且(S^1=U\cupV)，(U\capV=S^1\setminus{(1,0),(-1,0)})是道路连通的。由于(U)和(V)都同胚于实数轴(\mathbb{R})，而实数轴是可缩空间，其基本群是平凡群，即(\pi_1(U,x_0)={e})，(\pi_1(V,x_0)={e})，其中(x_0\inU\capV)是一个基点。(U\capV)同胚于两个不相交的实数轴的并集，即(U\capV\cong\mathbb{R}\setminus{0})，而(\mathbb{R}\setminus{0})的基本群同构于整数加法群(\mathbb{Z})，即(\pi_1(U\capV,x_0)\cong\mathbb{Z})。根据vanKampen定理，(\pi_1(S^1,x_0)\cong({e}*{e})/N)，其中(N)是由所有形如(i_(k)j_(k)^{-1})（(k\in\pi_1(U\capV,x_0))）的元素生成的正规子群。由于({e}*{e})是平凡群，而(i_(k))和(j_(k))都是平凡群中的单位元，所以(i_(k)j_(k)^{-1}=e)，因此(N)是平凡子群。但是，这与我们已知的圆周基本群是(\mathbb{Z})相矛盾，这说明我们在应用vanKampen定理时需要注意基点的选择和同态的定义。实际上，正确的做法是考虑包含映射诱导的同态(i_:\pi_1(U\capV,x_0)\to\pi_1(U,x_0))和(j_:\pi_1(U\capV,x_0)\to\pi_1(V,x_0))，由于(U)和(V)是可缩的，(i_)和(j_)都是零同态，即(i_(k)=e)，(j_(k)=e)对于所有(k\in\pi_1(U\capV,x_0))。因此，vanKampen定理给出(\pi_1(S^1,x_0)\cong({e}*{e})/N\cong{e}/{e}\cong{e})，这显然是错误的，原因在于我们没有正确处理环路在(U)和(V)之间的过渡。正确的计算方法是使用另一种分解方式，或者直接利用基本群的定义和覆盖空间理论。实际上，圆周(S^1)的基本群同构于整数加法群(\mathbb{Z})，其中每个整数(n)对应于绕圆周(n)圈的环路同伦类。（二）计算两个圆周的楔积的基本群两个圆周的楔积(S^1\veeS^1)是将两个圆周在一个点处粘合在一起得到的拓扑空间。设(x_0)是粘合点，(U=S^1\veeS^1\setminus{p})，其中(p)是第一个圆周上除(x_0)以外的一个点，(V=S^1\veeS^1\setminus{q})，其中(q)是第二个圆周上除(x_0)以外的一个点。则(U)和(V)都是(S^1\veeS^1)的开子集，并且(S^1\veeS^1=U\cupV)，(U\capV=S^1\veeS^1\setminus{p,q})是道路连通的。(U)同胚于一个圆周，因为去掉第一个圆周上的点(p)后，剩下的部分可以收缩到粘合点(x_0)，而第二个圆周保持不变，所以(\pi_1(U,x_0)\cong\mathbb{Z})，记为(G=\langlea\rangle)，其中(a)是绕第二个圆周一圈的环路同伦类；同理，(V)同胚于一个圆周，(\pi_1(V,x_0)\cong\mathbb{Z})，记为(H=\langleb\rangle)，其中(b)是绕第一个圆周一圈的环路同伦类。(U\capV)同胚于实数轴，是可缩空间，其基本群是平凡群，即(\pi_1(U\capV,x_0)={e})。根据vanKampen定理，(\pi_1(S^1\veeS^1,x_0)\cong(G*H)/N)，其中(N)是由所有形如(i_(k)j_(k)^{-1})（(k\in\pi_1(U\capV,x_0))）的元素生成的正规子群。由于(\pi_1(U\capV,x_0))是平凡群，所以(N)是平凡子群，因此(\pi_1(S^1\veeS^1,x_0)\congG*H\cong\mathbb{Z}*\mathbb{Z})，即两个整数加法群的自由积，也就是秩为2的自由群。（三）计算环面的基本群环面(T^2=S^1\timesS^1)是两个圆周的乘积空间。我们可以使用vanKampen定理来计算它的基本群。设(U=T^2\setminus{p})，其中(p)是环面上的一个点，(V=T^2\setminus{q})，其中(q)是环面上另一个点，使得(U\capV)是道路连通的。(U)和(V)都同胚于去掉一个点的环面，而去掉一个点的环面同伦等价于两个圆周的楔积(S^1\veeS^1)，因为我们可以将去掉点的环面收缩到一个由两个圆周组成的“8”字形图形上，所以(\pi_1(U,x_0)\cong\mathbb{Z}*\mathbb{Z})，(\pi_1(V,x_0)\cong\mathbb{Z}*\mathbb{Z})，其中(x_0\inU\capV)是一个基点。(U\capV)同胚于去掉两个点的环面，而去掉两个点的环面同伦等价于三个圆周的楔积(S^1\veeS^1\veeS^1)，其基本群是秩为3的自由群，即(\pi_1(U\capV,x_0)\cong\mathbb{Z}*\mathbb{Z}*\mathbb{Z})。不过，更简单的方法是利用乘积空间的基本群性质，即(\pi_1(T^2,(x_0,y_0))\cong\pi_1(S^1,x_0)\times\pi_1(S^1,y_0)\cong\mathbb{Z}\times\mathbb{Z})。我们也可以用vanKampen定理来验证这个结果。设(U=S^1\times(S^1\setminus{(1,0)}))，(V=S^1\times(S^1\setminus{(-1,0)}))，则(U)和(V)都是环面的开子集，并且(T^2=U\cupV)，(U\capV=S^1\times(S^1\setminus{(1,0),(-1,0)}))是道路连通的。(U)同胚于(S^1\times\mathbb{R})，而(S^1\times\mathbb{R})同伦等价于(S^1)，因为实数轴是可缩的，所以(\pi_1(U,x_0)\cong\mathbb{Z})；同理，(V)同胚于(S^1\times\mathbb{R})，(\pi_1(V,x_0)\cong\mathbb{Z})。(U\capV)同胚于(S^1\times(\mathbb{R}\setminus{0}))，而(\mathbb{R}\setminus{0})同伦等价于(S^1)，所以(U\capV)同伦等价于(S^1\timesS^1)，其基本群同构于(\mathbb{Z}\times\mathbb{Z})，即(\pi_1(U\capV,x_0)\cong\mathbb{Z}\times\mathbb{Z})。包含映射(i:U\capV\toU)诱导的同态(i_:\pi_1(U\capV,x_0)\to\pi_1(U,x_0))是将(\mathbb{Z}\times\mathbb{Z})中的元素((m,n))映射到(\mathbb{Z})中的元素(m)，因为(U)中的环路可以分解为第一个圆周上的环路和第二个圆周上的道路，而第二个圆周上的道路是可缩的；同理，包含映射(j:U\capV\toV)诱导的同态(j_:\pi_1(U\capV,x_0)\to\pi_1(V,x_0))是将((m,n))映射到(n)。根据vanKampen定理，(\pi_1(T^2,x_0)\cong(\mathbb{Z}*\mathbb{Z})/N)，其中(N)是由所有形如(i_(k)j_(k)^{-1})（(k\in\pi_1(U\capV,x_0))）的元素生成的正规子群。对于(k=(m,n)\in\pi_1(U\capV,x_0))，(i_(k)=m)，(j_(k)=n)，所以(i_(k)j_(k)^{-1}=mn^{-1})，其中(m)是(\mathbb{Z}*\mathbb{Z})中对应第一个因子群的元素，(n)是对应第二个因子群的元素。因此，(N)是由所有形如(a^mb^{-n})（(m,n\in\mathbb{Z})）的元素生成的正规子群，其中(a)是第一个因子群(\mathbb{Z})的生成元，(b)是第二个因子群(\mathbb{Z})的生成元。而商群((\mathbb{Z}*\mathbb{Z})/N)同构于(\mathbb{Z}\times\mathbb{Z})，因为在这个商群中，(a)和(b)是交换的，即(ab=ba)，这正是整数加法群直积的结构。五、vanKampen定理的推广与一般化（一）多个开子集的情况vanKampen定理可以推广到拓扑空间被有限个开子集覆盖的情况。设(X)是一个拓扑空间，(U_1,U_2,\cdots,U_n)是(X)的开子集，使得(X=\bigcup_{i=1}^nU_i)，并且所有的交集(U_{i_1}\capU_{i_2}\cap\cdots\capU_{i_k})（(1\leqi_1<i_2<\cdots<i_k\leqn)）都是道路连通的，取基点(x_0\in\bigcap_{i=1}^nU_i)。记(G_i=\pi_1(U_i,x_0))，对于(i<j)，(G_{ij}=\pi_1(U_i\capU_j,x_0))，包含映射(i_{ij}:U_i\capU_j\toU_i)诱导同态(i_{ij*}:G_{ij}\toG_i)，包含映射(i_{ji}:U_i\capU_j\toU_j)诱导同态(i_{ji*}:G_{ij}\toG_j)。则(\pi_1(X,x_0))同构于自由积(G_1*G_2*\cdots*G_n)相对于由所有形如(i_{ij*}(k)i_{ji*}(k)^{-1})（(k\inG_{ij})，(1\leqi<j\leqn)）的元素生成的正规子群(N)的商群，即(\pi_1(X,x_0)\cong(G_1*G_2*\cdots*G_n)/N)。（二）带基点的情况在vanKampen定理的原始陈述中，要求开子集的交集是道路连通的，并且存在一个公共基点。如果开子集的交集不是道路连通的，我们可以将其分解为道路连通分支，然后对每个道路连通分支应用vanKampen定理，再将结果组合起来。设(X=U\cupV)，(U\capV)有多个道路连通分支(C_1,C_2,\cdots,C_m)，取基点(x_0\inC_1)，对于每个(i=2,\cdots,m)，取(x_i\inC_i)，并取道路(\gamma_i:[0,1]\toX)连接(x_0)和(x_i)。记(G=\pi_1(U,x_0))，(H=\pi_1(V,x_0))，(K_i=\pi_1(C_i,x_i))，对于(i=1,\cdots,m)。通过道路(\gamma_i)，我们可以将(K_i)与(\pi_1(U\capV,x_0))中的子群建立同构关系，然后vanKampen定理的结论可以推广为(\pi_1(X,x_0)\cong(G*H)/N)，其中(N)是由所有形如(i_(k)j_(k)^{-1})（(k\in\pi_1(U\capV,x_0))）的元素生成的正规子群，这里(i_)和(j_)是包含映射诱导的同态，考虑了不同道路连通分支之间的道路连接。（三）高维同伦群的类似定理vanKampen定理是关于基本群（一维同伦群）的定理，在高维同伦群中也有类似的定理，称为同伦群的vanKampen定理。不过，高维同伦群的情况要复杂得多，因为高维同伦群不一定是交换群，并且在分解和组合时需要考虑更多的同伦关系和同调信息。对于(n\geq2)，(n)维同伦群(\pi_n(X,x_0))是一个交换群（当(n\geq2)时），其vanKampen定理的陈述和证明涉及到同伦群的正合序列和同调代数的工具。虽然高维同伦群的vanKampen定理在形式上与基本群的vanKampen定理类似，但在实际应用中，由于高维同伦群的计算难度较大，其应用范围相对较窄。六、vanKampen定理与其他拓扑不变量的关系（一）与同调群的关系同调群是另一种重要的拓扑不变量，它与基本群有着密切的联系。对于道路连通的拓扑空间(X)，一维同调群(H_1(X))同构于基本群(\pi_1(X,x_0))的交换化，即(H_1(X)\cong\pi_1(X,x_0)/[\pi_1(X,x_0),\pi_1(X,x_0)])，其中([\pi_1(X,x_0),\pi_1(X,x_0)])是基本群的换位子群，由所有形如(aba^{-1}b^{-1})（(a,b\in\pi_1(X,x_0))）的元素生成的正规子群。vanKamp