概念

链复形

边缘算子满足 d∘d=0，循环（核）与边缘（像）的商定义为同调群，是拓扑与代数的共同语言。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

链复形同调代数

01定义

链复形是一列对象与映射

\cdots\to C_{n+1}\xrightarrow{d}C_n\xrightarrow{d}C_{n-1}\to\cdots

，满足「边缘的边缘为零」

d\circ d=0

。同调群

H_n=\ker d/\operatorname{im}d

度量「闭链中不是边缘」的部分——结构的「洞」由此被代数捕捉。

链复形：d∘d=0，同调 Hₙ = 闭链（ker）模掉边缘（im）

「边界的边界为空」：三角形的边界是三条边，三条边的边界是六个首尾相消的端点——几何直觉被编码为代数条件 $d^2=0$ 。

$\ker d$ 是「闭合」的元素（无泄漏）， $\operatorname{im}d$ 是「平凡」的元素（来自高维）；两者之差即非平凡的洞。

复形之间的态射逐层相容；若诱导全部 $H_n$ 同构则称拟同构——「同调意义上相等」，是导出范畴的等价关系。

d_n\circ d_{n+1}=0

H_n(C)=\ker d_n/\operatorname{im}d_{n+1}

庞加莱 1895 年用单纯复形计算「贝蒂数」；诺特 1925 年点明同调是群而非数、边界是群同态——同调从此代数化；链复形语言由艾伦伯格-麦克莱恩 1940 年代定型。

拓扑空间的洞计数、持续同调（数据形状分析）、纠错码的同调构造——「复形 + 同调」是跨学科的通用形状代数。

链复形：∂² = 0im ∂₂ ⊆ ker ∂₁：边界的边界为零

高亮位置1