3.2 同调论体系

3.2 同调论体系：把洞清点成阿贝尔群

基本群审问的是“环绕”，同调论改审“填充”。设若证据是一张浸在水里的闭合渔网，我们关心它是否围住了气泡。一维的圈能否缩成点，问的是这个圈是否为某块二维面的边界；二维的闭曲面能否填成实心，问的是它是否为某块三维体的表皮。把这样的追问逐维做下去，就得到一串按维度编号的答案。同调群正是把这串答案装订成册的档案夹：它的每个条目都是一个阿贝尔群，记录“该维度上有多少种彼此无关的、围住空腔而填不满的方式”。

同调与同伦的分工值得先说清。基本群保留非交换信息，分辨率虽高却难算；同调群则牺牲了非交换性，换取一整套加性代数——群可以相加、分解、取系数，凡线性代数能用之处它都能插上手。计算同调的代价远比同伦低，这是它在全章被当作“主力计算工具”的原因。下面我们沿着从组合到内蕴、再到公理的路径，把这套档案系统完整搭建起来。

一、砖块的语法：链、边界与“边界无边界”

任何计数系统都需要计数单位。同调论的计数单位是一族标准砖块：n 维单形。0 维砖块是一个顶点，1 维砖块是一条线段，2 维砖块是一个实心三角形，3 维砖块是一个实心四面体，依此类推。空间若被剖分成砖块——一个单纯复形——则组合数据全部就位：n 维砖块的全体张成一个自由阿贝尔群 C_n，其中的元素叫 n 链，写作整数系数和 \sum_i a_i\sigma_i。砖块带定向，交换两个顶点相当于改一次符号，这是后续一切符号约定的根源。

砖块之间的粘结关系由边界算子记账。一个定向单形 \sigma=[v_0,v_1,\dots,v_n] 的边界，是其全部 (n-1) 维面的交错和

其中 \widehat v_i 表示删去第 i 个顶点。对链做线性延拓，得到 \partial_n\colon C_n\to C_{n-1}。这条公式初看只是符号安排，实则埋着整座理论的基石：边界的边界为零。沿一个三角形绕一圈的折线再取边界，每条线段贡献的两个端点两两相消；代数上这写成 \partial_{n-1}\circ\partial_n=0。一句话，闭合的轮廓再也没有自己的边界。

由此，n 链分成两类：一类是某个 (n+1) 维砖块的边界，称边缘链，记 \operatorname{im}\partial_{n+1}；一类自身边界为零，称闭链，记 \ker\partial_n。闭链围住的东西可能被更高维砖块填满——若它恰是边缘链，就算“虚惊一场”；真正记录空腔的是那些“闭而不边”的类。把边缘链商掉，得到

即第 n 个同调群。H_n 的每个非零元素，都是一类货真价实的 n 维空腔的证据。

砖块的选择决定了理论的面貌。若坚持要求空间先被三角剖分，得到的是单纯同调：C_n 有限生成，边界算子是整数矩阵，同调群可经史密斯标准型机械算出，环面 T^2 的 H_1\cong\mathbb{Z}\oplus\mathbb{Z} 正是这样算出来的。但剖分是外加的结构——同一空间的不同剖分会给出同构的同调群，这件事单纯同调自身无法担保，必须另寻内蕴的定义。

图注：单纯同调的流程依赖空间先被剖分，剖分这件事本身是外加结构；“同调群是否与剖分无关”的疑问，正是下文转向奇异同调的理由。

二、免剖分的探针：奇异同调

奇异同调取消了“先剖分”这一前置手续，直接让砖块从空间内部长出来。所谓 n 维奇异单形，只是任意连续映射 \sigma\colon\Delta^n\to X，其中 \Delta^n 是标准 n 维单形。映射不必是嵌入：它可以压扁、折叠，甚至把整个 \Delta^n 映成一点。名字里的“奇异”正提醒我们这类映射允许走形。全体奇异单形生成自由阿贝尔群 S_n(X)，边界算子照抄组合公式，只须先沿标准单形的面缩回去再复合 \sigma。链复形 S_\bullet(X) 与同调群 H_n^{\mathrm{sing}}(X) 就此对所有拓扑空间同时成立，不检查可剖分性、不挑豪斯多夫、不要求可度量。

这套定义的回报立竿见影。连续映射 f\colon X\to Y 给出链映射 f_\#(\sigma)=f\circ\sigma，它与边界算子可交换，于是降为同调群之间的同态 f_*\colon H_n(X)\to H_n(Y)。同调成为一个协变函子：空间世界里的连续箭头，被整整齐齐翻译成群世界里的同态。更关键的，同调天然是同伦不变量：若 f\simeq g，则 f_*=g_*。证明靠的是一个叫链同伦的工具——两个同伦的映射之间，相差的是一个“以边界为误差”的代数算符。链同伦的存在说明同伦等价的二空间有同构的同调群，剖分不变性的悬案因此了结：任何剖分的单纯同调都同构于同一个奇异同调，答案与剖分无关。

三、局部切开与拼回：相对同调、正合列与 Mayer–Vietoris

档案系统不能只处理整块空间。证人常常只有局部——一条边、一片补丁、一个子空间。为此引入相对同调：对子空间 A\subset X，把 S_n(A) 嵌进 S_n(X)，商链群 S_n(X)/S_n(A) 的链是那些“端点在 A 上也无妨”的构件。由它算出的 H_n(X,A) 记录“X 比 A 多出来的空腔”。相对与绝对并不孤立，它们被一条长正合列拴在一起：

这条序列里每个箭头的像恰是下一个箭头的核。H_n(X,A) 中的类之所以会落到 H_{n-1}(A)，是因为它的边界恰好躺在 A 里——连接同态 \partial 就是干这个的。它把“外部多出的洞”与“内部的旧伤”通过边界对账。

正合列给出追算机制，而真正让计算落地的是两条切割律。其一是切除：若 \overline U\subset\operatorname{int}A，则挖掉 U 不改变相对同调，

它宣告：同调只关心“内部深处的洞”，表皮上多余的赘物可以剪掉。其二是 Mayer–Vietoris：若 X 被两个子空间 A,B 覆盖（内部覆盖即可），则

拼回信息的机制与正合列同构。利用这两条律，球面的同调立等可取：把 S^n 分成两个略微重叠的半球帽，各自可缩、公共部分同伦于 S^{n-1}，代入 Mayer–Vietoris 即得 H_n(S^n)\cong\mathbb{Z}、其余（除 H_0）为零。环面 T^2 拆成两个开环带后得到 H_1(T^2)\cong\mathbb{Z}^2，H_2(T^2)\cong\mathbb{Z}。

四、逐层搭积木：CW 复形与胞腔同调

许多空间天然自带分层的骨架：先给一些点，再沿边界贴上线段，接着沿圆周贴上圆盘，逐维升高。这种由“把 n 维圆盘沿边界粘到 (n-1) 维骨架”搭起来的空间叫 CW 复形，球面、环面、射影空间、绝大多数流形都属此类。CW 结构给同调配了专门的廉价算法。把相对同调群取在第 n 层骨架上：

它是自由阿贝尔群，生成元一一对应第 n 层的胞腔——比奇异链少得多。胞腔边界算子的矩阵元是粘合映射的度数：n 维胞腔的边界沿 (n-1) 维骨架走，每经过一个 (n-1) 维胞腔，就记下绕行圈数（带符号）。逐层算出的胞腔同调群与奇异同调群同构，但规模小到可以手算。环面若写成“一个顶点、两条边、一个面”，胞腔链复形只有三项，H_1\cong\mathbb{Z}^2 一眼即得。

同调档案最终凝缩成两个便于携带的数字。其一是 Betti 数 b_n=\operatorname{rank}H_n(X)——第 n 维“独立空腔”的个数；其二是它们的交错和，Euler 示性数

实例：S^2 的 Betti 数为 (1,0,1)，\chi=2；T^2 为 (1,2,1)，\chi=0；亏格 g 的曲面为 (1,2g,1)，\chi=2-2g；\mathbb{RP}^2 的 H_1 含 \mathbb{Z}/2 挠元，自由秩为 0，\chi=1。对闭曲面而言，\chi 与可定向性合起来足以完成分类：2-2g 锁定亏格，定向性区分球面族与射影平面族。这也是同调作为“分类证词”最古老的一次成功。

五、公理化收网：Eilenberg–Steenrod 定理

算例积累多了，自然想问：凭什么这些算法都是“同一种同调”？1945 年，Eilenberg 与 Steenrod 把答案提炼成一组公理。一个合法的同调论 H_\ast（取定系数群 G）须满足五条：函子性——每个 H_n 是拓扑空间范畴到阿贝尔群范畴的协变函子；同伦公理——同伦的映射诱导同态相等；切除公理——上文那条切除同构必须成立；正合性——每个空间对 (X,A) 给出长正合列；维数公理——单点的同调只在 n=0 处为 G，其余为零。

图注：五条公理各自规定同调论必须如何响应空间的行为——形变、局部切除、空间与子空间的耦合，以及单点处的基准刻度。

这些公理的价值不止于给已有理论发执照。Eilenberg–Steenrod 还证明：在有限 CW 复形这类“良空间”上，满足全部公理且系数群相同的两个同调论必然自然同构。换言之，奇异同调（取系数 G）就是唯一的那一个——任何想发明新同调论的人，都只需核对这五条。上同调、紧支集同调乃至各种广义同调理论，全都在这份公理清单上登记注册。日后设计新不变量时，第一问不再是“链怎么定义”，而是“切除公理过不过、正合列有没有”。

六、档案的应用：从 de Rham 到数据

同调群既能算又能比，自然被推向前线。光滑流形上，闭微分形式模恰当微分形式给出 de Rham 上同调 H_{\mathrm{dR}}^k(M)；斯托克斯公式保证“闭形式在闭链上的积分”只依赖上同调类，于是积分配对

把分析世界与拓扑世界对接起来——这一层的细节留待 3.3 展开。在另一头，拓扑数据分析把点云按半径搭成嵌套复形，追踪每个维度的洞随半径的生灭，把“寿命”写成条形码。噪声产生的洞一闪即逝，真实结构留下的洞则活得长久。这套持久同调的做法，追根溯源仍是同调群，只是加上了尺度这一维参数。从流形上的积分到数据云的条形码，档案的格式始终如一：闭而不边的类，按维度装订，永不因小扰动而失效。

同调论至此完成自己的使命：它不追问“空间长得如何”，只清点“空间围住了什么”，并把答案写成最便于计算的阿贝尔群。下一节将把这串群再向前推一步——给它们装上乘法，让“洞与洞如何相交”也进入证词。