Hurewicz 定理 | Codeboy's Blog

形式陈述

设 $X$ 道路连通且 $n\ge2$ 。若

\pi_i(X,x_0)=0\qquad(1\le i<n),

即 $X$ 是 $(n-1)$ -连通的，则

\widetilde H_i(X;\mathbb Z)=0\qquad(i<n),

并且Hurewicz 同态

h_n:\pi_n(X,x_0)\xrightarrow{\ \cong\ }H_n(X;\mathbb Z)

是同构。换言之，在全部较低同伦群消失以后，第一个可能非零的同伦群已经是阿贝尔的，并由同调完整看见。 $n=1$ 不是把同一陈述逐字代入所得的特例：对任意道路连通 $X$ ，有

H_1(X;\mathbb Z)\cong\pi_1(X,x_0)_{\mathrm{ab}},

即 $h_1$ 是基本群的阿贝尔化，而不要求 $\pi_1$ 本身交换。

常用证明先在CW 复形上以胞腔逼近、映射锥和同伦切除工作，再通过 CW 逼近推广。一个精确的相对版本是：若 $(X,A)$ 为 $(n-1)$ -连通的道路连通空间对， $n\ge2$ 、 $A\ne\varnothing$ 且 $A$ 单连通，则 $H_i(X,A)=0$ （ $i<n$ ），并且 $\pi_n(X,A)\to H_n(X,A)$ 是同构。若不假设 $A$ 单连通，一般定理识别的是 $\pi_n(X,A)$ 对 $\pi_1(A)$ 作用取商后的群 $\pi_n'(X,A)$ ；在 $n=2$ 时要除以这些差元生成的正规子群。因而不能仅把绝对群逐项换成相对群便宣称同构。

直觉

同调是同伦的线性影子，通常会遗失非交换和高阶复合。可是当较低维没有任何同伦结构可与一个 $n$ 维球面相互作用时，第一批球面类还来不及产生 Whitehead 积等非线性纠缠，线性化便没有损失。Hurewicz 定理精确刻画的正是这个“第一层无损窗口”。

连通性条件不是技术性装饰。若低维回路存在，它们会搬运高阶球面并产生群作用；多个 lift 可以在同调中合并，却在同伦群中仍然不同。定理要求先清空这些低层干扰，而不是假设同调计算看起来简单就反推同伦也简单。

例子与边界

球面 $S^n$ 在 $n\ge2$ 时是 $(n-1)$ -连通的，故定理给出

\pi_n(S^n)\xrightarrow{h_n}H_n(S^n;\mathbb Z)\cong\mathbb Z

为同构，恒等映射对应定向基本类。对 $S^3$ ，这说明 $\pi_3(S^3)=\mathbb Z$ ；但它不计算 $\pi_4(S^3)$ ，因为四维已经不是第一个可能非零的层次。事实上 $\pi_4(S^3)\cong\mathbb Z/2$ ，而 $H_4(S^3)=0$ ，直接显示定理不能沿所有高维继续。

删除单连通条件也会失败。令 $X=S^1\vee S^2$ 。其万有覆叠同伦等价于一条直线上每个整数点附着一只 $S^2$ ，所以

\pi_2(X)\cong H_2(\widetilde X) \cong\bigoplus_{k\in\mathbb Z}\mathbb Z,

而 $H_2(X)\cong\mathbb Z$ 。Hurewicz 映射把有限支撑序列 $(a_k)$ 送到总和 $\sum_k a_k$ ；例如在相邻两只提升球面上取系数 $1,-1$ 得到非零同伦类，却映为零同调类。缺失的假设恰由基本群沿覆叠平移这些球面所表现。

在 $n=1$ ，双圆楔和的自由群 $F_2$ 经 $h_1$ 变成 $\mathbb Z^2$ ，交换子全部消失。这是正确的一维结论，不是定理的反例；错误在于把“阿贝尔化同构”写成“原基本群同构”。

推论与应用

若一个 $(n-1)$ -连通空间的 $H_n$ 非零，定理立即保证 $\pi_n$ 非零；因此同调可检测可缩性和连通度的上界。反过来，已知低阶同伦消失时，也可用胞腔链或谱序列较容易地算出第一个同伦群，而无须直接分类所有球面映射。

Hurewicz 定理与 Whitehead 定理组合后形成常用比较原则：在单连通 CW 复形之间，先用同调信息和相对版本逐维控制同伦群，再把弱等价升级为同伦等价。这里每一步都有独立假设；同调同构本身对非单连通空间通常不够，弱等价对任意病态空间也通常不够。

参考资料

Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002, §4.2 “The Hurewicz Theorem,” Theorems 4.32 and 4.37 and Corollary 4.33.
George W. Whitehead, Elements of Homotopy Theory, Springer GTM 61, 1978, Chapter V “Homotopy Theory of CW-complexes,” pp. 209–254.
Edwin H. Spanier, Algebraic Topology, McGraw–Hill, 1966, Chapter 7, §5, the absolute and relative Hurewicz theorems.

形式陈述 ​

形式陈述