3.1 同伦论基础

3.1 同伦论基础：在形变中抓拍“不变”

第三章 代数拓扑学：不变量与代数结构｜3.1 同伦论基础

侦探所接到的头号委托，由一只咖啡杯和一只甜甜圈带来。委托人指指两样东西：它们算同一个吗？假若许可把它们当成橡皮泥，随意拉长、压扁、扭转，只禁止撕裂与粘连，答案是肯定的——拓扑学家把这句话压缩成术语：二者同胚。可是答案来得太轻易。真正的难点，是建立一套检验手续，让任何形状在接受形变考验之后，能交出一份不受考验干扰的证词。本案的全部工作，就围绕着“手续”二字展开。

先要认清哪些数据在形变中作废。长度会变，角度会变，曲率会变，两点间的距离更不值一提。能指望的只有一种性质：无论空间被怎样连续地揉捏，它都保持不动。但“连续揉捏”本身也需精确化——不能依赖动图式的模糊印象。数学家把揉捏过程抽象为一族按时间排列的映射，而这一步抽象，正是本节一切的起点。

橡皮筋测试：同伦与同伦等价

设 X 与 Y 是两个拓扑空间，f,g\colon X\to Y 连续。我们说 f 同伦于 g，记作 f\simeq g，若存在连续映射

这个 H 把单位区间 [0,1] 当作时间轴：t=0 那一帧是 f，t=1 那一帧是 g，中间的每一帧 H(\cdot,t) 都是合法的连续映射，且整体不许跳变。换句话说，f 的“画面”可以在 Y 里被连续拖动，最终精确落到 g 上。值得强调，连续性是整台机器性命攸关的要求：单看每帧连续还不够，帧与帧之间也不能出现画面破裂或凭空出现新的孔洞。

同伦给出等价关系。恒等过程说明 f\simeq f；把影片倒放得到对称性；两段影片首尾相接得到传递性。于是从 X 到 Y 的全部连续映射被分成若干等价类，记作 [X,Y]。这个集合洗掉了每个映射的具体长相，只保留它在形变意义上的身份。它也是我们第一种“证词容器”。

比单条映射更进一步的，是空间之间的比较。若存在 f\colon X\to Y 与 g\colon Y\to X，满足 g\circ f\simeq \mathrm{id}_X 且 f\circ g\simeq \mathrm{id}_Y，则称 X 与 Y 同伦等价，X\simeq Y。同伦等价比同胚松得多：同胚要求两个方向的映射连同逆都严格连续可逆，同伦等价则把要求放宽到“可逆到形变为止”。实心圆盘与一个点显然不同胚，却可以把盘沿半径逐层收到圆心——这正是一次标准的形变收缩。一般地说，若子空间 A\subset X 上存在收缩 r\colon X\to A（在 A 上 r=\mathrm{id}），且 r 在“A 全程不动”的意义下同伦于 \mathrm{id}_X，就称 A 是 X 的强形变收缩核，此时 X\simeq A。

收缩是鉴定工作的化简手段。整条直线可沿自身平移缩到原点，\mathbb{R}^n 里的凸区域都能缩成单点，这类与单点同伦等价的空间叫可缩空间，其同伦性质与一个点毫无区别。环带形的开区域能缩到正中央那条圆周；挖去原点的平面 \mathbb{R}^2\setminus\{0\} 同样缩到单位圆周。反过来，圆周缩不成点：假想收缩过程，圈上某处迟早要被拉断，而拉断正是形变明令禁止的动作。所以我们获得第一条可靠判词——圆周与任何可缩空间不同伦等价。

图注：这份流程图说明“同伦型一致”如何被认定——无论是经由收缩还是构造成对的同伦逆，X 与 Y 一旦落入同一等价类，任何同伦不变量在它们身上都读出相同的数字。

凡是对同伦等价保持数值不变的量，都叫同伦不变量：道路连通分量的个数是，基本群是，同调群也是。它们构成了鉴定证词的全部储备。本节随后逐一锻造其中最基础的一批。

绕圈笔录：基本群与单连通

空间中比“两个映射可互相形变”更精细的问题，是一条闭合道路能否被拽着端点缩成一点。取定基点 x_0，只考虑从 x_0 出发又回到 x_0 的连续道路，即环路。若两条环路 \gamma,\delta 之间存在同伦 H，它在形变全程把端点钉死在 x_0（即 H(0,t)=H(1,t)=x_0），则称二者相对基点同伦，视为同一证词。全体等价类记作 \pi_1(X,x_0)。

给这个集合配运算：先按双倍速度走完 \gamma，再按双倍速度走完 \delta，得到新环路

常值环路充当单位元，倒走一段路充当逆元。结合律不像表面那么平凡：要证明 (\alpha\cdot\beta)\cdot\gamma 与 \alpha\cdot(\beta\cdot\gamma) 同伦，需要在一张三角形区域上重新分配三段时间，让拼接括号平滑移动。这个证明第一次暴露基本群的代数结构并非外贴的标签，而是从空间允许的形变方式里生长出来的。\pi_1(X,x_0) 因此成群，唤作基本群。

基点改变会带来什么？若 X 道路连通，沿一条连接两基点的道路做共轭，就能把一个基点上的基本群搬到另一个基点上，二者同构。于是形如“\pi_1 是否平凡”的提问不依赖基点。连续映射 f\colon (X,x_0)\to(Y,y_0) 把环路送回 f\circ\gamma，诱导同态 f_*\colon\pi_1(X,x_0)\to\pi_1(Y,y_0)；相对基点同伦的两个映射诱导同一个同态，同伦等价则给出群同构。这种“空间箭头转成群箭头”的规则，中文里通常称作函子性，是全章反复出现的通用翻译机制。

真正有分辨力的问题来了：哪些空间的基本群非平凡？挖去一点的平面给出首例。\pi_1(\mathbb{R}^2\setminus\{0\})\cong\mathbb{Z}，生成元是绕原点一周的环路，整数 k 记录绕行圈数及方向。鉴定圈数靠的是圆到自身的映射：对 f(z)=z^k，k 称为该映射的度数，而 \pi_1(S^1)\cong\mathbb{Z} 这一结果可借覆盖空间（见下文）严格证明。若挖去两个点，情况升级：绕两点的环路不再能交换先后次序，基本群变成两个生成元的自由群 F_2。这一非交换性是一维同调看不见的细节——它把两个洞的“相对缠绕地位”也写进了证词，而同调只清点洞的个数。

反过来，若 \pi_1(X) 平凡——每条环路都能缩——则称 X 单连通。S^n\ (n\ge2) 全部单连通。但直觉提醒我们，球面明显不同于单点：它围住一个二维空腔。基本群的盲区正在此处，它只听得见一维缠绕的声音。

拼图法则：Seifert–van Kampen 定理

正面硬算基本群往往艰难，好在有一条拆解公式。设 X=U\cup V，U,V 为开集，公共部分 U\cap V 道路连通且含基点 x_0，则 X 的基本群由两块小群拼出：先作 U 与 V 两个基本群的自由乘积，再把公共部分 U\cap V 的基本群在两边像出来的关系强制等同。写作融合积

这就是 Seifert–van Kampen 定理，它把“全局的群”拆成“局部的群”的拼图。举一个直观例子：两个圆周仅在一点相接的空间（楔和 S^1\vee S^1），取两个相接的小开邻域作 U,V，公共部分是近乎单点的小块，基本群平凡、不添约束，于是拼出自由群 F_2，与我们的直观吻合。环面也可由此复核：先挖去一点，剩余部分收缩成 S^1\vee S^1，再补回一个小圆盘，公共部分是圆周、提供一条关系，最终得到 \pi_1(T^2)\cong\mathbb{Z}\oplus\mathbb{Z}——这与乘积公式 \pi_1(S^1\times S^1)\cong\pi_1(S^1)\times\pi_1(S^1) 殊途同归。

翻层账簿：覆盖空间与万有覆盖

计算基本群还有一套更精细的手段——把空间摊开成多层“楼层”。连续满射 p\colon\widetilde X\to X 称覆盖映射，若每点 x\in X 都有邻域 U，使 p^{-1}(U) 分裂成若干互不相交的开集，且 p 把每一片同胚地映到 U。最典型的覆盖是 p\colon\mathbb{R}\to S^1，t\mapsto e^{2\pi i t}：实数轴按整数周期卷绕，每个小弧段上方躺着可数无穷多段小区间。S^n\to\mathbb{RP}^n（n\ge2）则是两层覆盖。

覆盖映射的身价在于抬升性质：给定底空间的一条道路及其在楼层中选好的起点，整条道路能被唯一地抬上去；若两条道路相对端点同伦，抬升结果也相对同伦。由此，一条环路能否“闭合地”抬升，只取决于它在 \pi_1(X) 中的类。若 \widetilde X 本身单连通，它就叫万有覆盖——任何相当正规的道路连通空间（例如流形、CW 复形）都有万有覆盖，且覆盖理论与基本群的子群理论一一对应：每个子群 H\le\pi_1(X,x_0) 对应一个中间覆盖，其基本群恰为 H；保持纤维不动的覆盖自同胚构成覆叠变换群，对万有覆盖而言，它同构于 \pi_1(X,x_0)。

这一对应把群论问题译回几何。万有覆盖 \mathbb{R}\to S^1 的覆叠变换是整数平移 t\mapsto t+k，平移群 \mathbb{Z} 就告诉我们 \pi_1(S^1)\cong\mathbb{Z}。S^n\to\mathbb{RP}^n 的两层覆盖给出 \pi_1(\mathbb{RP}^n)\cong\mathbb{Z}/2\mathbb{Z}。环面 T^2=S^1\times S^1 的万有覆盖是 \mathbb{R}^2，覆叠变换为格点平移 \mathbb{Z}^2，于是 \pi_1(T^2)\cong\mathbb{Z}^2。此外还有一条常用的判据：映射 f\colon(Y,y_0)\to(X,x_0) 能抬升到覆盖 (\widetilde X,\tilde x_0)，当且仅当 f_*\pi_1(Y,y_0)\subset p_*\pi_1(\widetilde X,\tilde x_0)。

用球面投石问路：高阶同伦群与映射度

基本群是拿圆 S^1 去环绕空间，追问“绕圈能否解开”。把探头换成高维球面 S^n，就得到第 n 阶同伦群 \pi_n(X,x_0)：取所有把基点映到基点的连续映射 S^n\to X，按保持基点的同伦分类。n=1 时退回基本群。当 n\ge2，新现象出现——群运算是交换的。理由并不神秘：两个 S^n 上的“鼓包”可在球面上各自占据一小块不相交区域，而 n\ge2 时这两块区域能在球面上互换位置而不相撞，交换性由此而来。

这些高维探头读出的信息，正是空腔的维度谱系。\pi_n(S^n)\cong\mathbb{Z}，生成元是度数为 1 的恒等映射；一般映射的度数由“某一般点的原像按定向取符号后求和”给出，可理解为 S^n 把自身包裹了多少层。n\ge2 时 \pi_n(S^1)=0，因为万有覆盖 \mathbb{R} 的一切高阶同伦群消失，而覆盖映射在高阶诱导同构。最出人意料的读数来自 \pi_3(S^2)\cong\mathbb{Z}：它的生成元是霍普夫映射 S^3\to S^2。该映射把三维球面按圆纤维卷到二维球面上，其非平凡性说明 S^2 里藏着用低维眼睛看不见的缠绕。借助这种纤维化手法可进一步证明 n\ge3 时 \pi_n(S^2)\cong\pi_n(S^3)。

高阶同伦群的分辨率极高，代价是计算困难。除少数例外，球面的高阶同伦群多为有限群，且不存在统一的闭式答案——塞尔在二十世纪中叶证明的有限性只是冰山一角。好在还有一条退路：同伦群虽难算，却与同调群有着名的握手关系。Hurewicz 定理指出，道路连通空间满足 H_1(X)\cong\pi_1(X)^{\mathrm{ab}}，即一维同调群恰是基本群的交换化；若 X 的前 n-1 个同伦群全为平凡（n\ge2），则 \pi_n(X)\cong H_n(X)。这条定理在基本群能听清但同调听不清（非交换信息）、以及同调能听清而同伦听不清（高维可加信息）的两个方向之间，划出了精确的分界。

收卷：同伦证据在第三章中的位置

把本案的工具按分辨率排个队。同伦等价是最大尺度的标尺，任何合理的拓扑不变量都必须尊重它；基本群侧重一维缠绕，能分辨咖啡杯把手的“一环”结构、能捕捉双洞之间不可交换的相对位置；高阶同伦群给出逐维度的空腔证据，却贵得难以支付。鉴定一份未知形状，恰当的做法是从收缩试探入手：能化简就先化简，随后用基本群配合 Seifert–van Kampen 定理与覆盖空间判定单连通性与缠绕方式，若仍有疑点再请同调登场。下一节的同调群，正是为了弥补同伦群“难算”与“丢失非交换细节之外的加性结构”这两重不足而登场的——它清点每个维度的洞，并把答案写成一串可加的阿贝尔群。

这份卷宗到此归档。记住它的结论：形变可以改变一个空间的长相，却改不了它写在同伦不变量里的口供。此后登场的所有鉴定工具，都在为读出更多口供而努力。