求证π₁(X×Y,(x₀,y₀))与π₁(X,x₀)×π₁(Y,y₀)同构及相关疑问

云上老周

2026-5-19

嘿，这个代数拓扑里的核心基础结论，确实容易在逆映射的良定义这儿卡壳，我来给你一步步掰明白～

问题拆解与证明细节解析

首先我们得把核心映射φ先拎清楚，这是理解整个同构的前提：

1. 先定义关键映射φ

给定乘积空间X×Y里的一条闭路α: I → X×Y（满足α(0)=α(1)=(x₀,y₀)），我们可以通过投影映射把它拆成X和Y各自的闭路：

那我们要的映射φ: π₁(X×Y,(x₀,y₀)) → π₁(X,x₀)×π₁(Y,y₀)就定义成：

φ([α]) = ([α₁], [α₂])

这里[α]表示闭路α所在的同伦类，pr₁、pr₂分别是乘积空间到X、Y的投影（它们都是连续的，所以拆出来的α₁、α₂肯定是连续闭路）。

先插一句：这一步的良定义是要先确认的——如果α和α'在X×Y中同伦，那它们的投影α₁和α₁'在X中也同伦，α₂和α₂'在Y中也同伦，因为投影会把同伦“传递”过去（把同伦映射也投影就行），这部分应该没问题对吧？

现在重点来了，你困惑的φ⁻¹到底是什么，还有它为啥是良定义的：
我们反过来，拿一对同伦类([β], [γ]) ∈ π₁(X,x₀)×π₁(Y,y₀)，构造乘积空间里的一条闭路β×γ: I → X×Y，定义为：

(β×γ)(t) = (β(t), γ(t))

根据乘积空间的拓扑定义，两个连续映射的乘积肯定是连续的，而且(β×γ)(0)=(β(0),γ(0))=(x₀,y₀)，(β×γ)(1)=(x₀,y₀)，所以这确实是X×Y里以(x₀,y₀)为基点的闭路。

那φ⁻¹就定义成：

φ⁻¹([β], [γ]) = [β×γ]

现在要证明它良定义——意思就是，不管你选同伦类里的哪个代表元，算出来的结果都一样。换句话说，如果β ≃ β'（X中相对于x₀同伦），γ ≃ γ'（Y中相对于y₀同伦），那必须有β×γ ≃ β'×γ'（X×Y中相对于(x₀,y₀)同伦）。

怎么证？很简单，把两个同伦拼起来就行：假设H是β到β'的同伦，K是γ到γ'的同伦，那构造一个乘积同伦H×K: I×I → X×Y，定义为：

(H×K)(t,s) = (H(t,s), K(t,s))

咱们逐条验证：

连续性：乘积空间的拓扑下，连续映射的乘积必然连续，没问题；
基点保持：H(0,s)=H(1,s)=x₀，K(0,s)=K(1,s)=y₀，所以(H×K)(0,s)=(x₀,y₀)，(H×K)(1,s)=(x₀,y₀)，符合相对同伦的要求；
端点映射：(H×K)(t,0)=(β(t),γ(t))=(β×γ)(t)，(H×K)(t,1)=(β'(t),γ'(t))=(β'×γ')(t)，完美衔接两个闭路。

这就说明β×γ和β'×γ'是同伦的，所以它们的同伦类相等，也就是说φ⁻¹的定义不依赖于代表元的选择，它是良定义的！

其实我们最终要证的是群同构，双射只是其中一步，但通过构造φ⁻¹并验证它和φ互逆，是证明双射最直接的方法，比分开证单射、满射效率高多了：

先验证φ∘φ⁻¹是恒等映射：
φ(φ⁻¹([β],[γ])) = φ([β×γ]) = ([pr₁∘(β×γ)], [pr₂∘(β×γ)]) = ([β], [γ])，因为投影直接把乘积闭路拆回原来的两个分量，显然成立；
再验证φ⁻¹∘φ是恒等映射：
φ⁻¹(φ([α])) = φ⁻¹([α₁],[α₂]) = [α₁×α₂]，而α(t)=(α₁(t),α₂(t))=(α₁×α₂)(t)，说白了就是同一个闭路，自然同伦，所以[α] = [α₁×α₂]，等式成立。

这样就直接证明了φ是双射，再补上φ是群同态的证明（其实很简单：闭路乘积的投影等于投影的闭路乘积，所以φ([α][α']) = φ([α])φ([α'])），就完整证明了φ是群同构。

当然你要是想分开证单射和满射也完全可以：

但构造逆映射的方法更直观，一步到位覆盖双射的两个条件，所以通常会优先用这个思路。

内容的提问来源于stack exchange，提问作者user425181