同调

同调通过计算非边界的循环来衡量空间在每个维度上的“孔洞”，从而生成一系列可计算且在连续形变下保持鲁棒性的阿贝尔群。

Definition

同调将一个空间映射到一系列阿贝尔群，这些群被定义为链复形中循环（边界为零的链）模边界（边界映射的像）的商群；其秩，即Betti数，计算每个维度中独立的“孔洞”。

Scope

本主题将发展链复形和同调的代数概念，即循环模边界，并通过单纯同调、奇异同调和胞腔同调具体实现，并证明它们在合理的空间上是一致的。它涵盖了使同调可计算的基础性质——同伦不变性、配对的长正合序列、切除定理和Mayer-Vietoris序列，以及度理论、Betti数和欧拉示性数。其中还包括各种构造的等价性以及球体、曲面和CW复形的计算。

Core questions

• 循环模边界如何形式化n维“孔洞”的直观概念？
• 为什么单纯同调、奇异同调和胞腔同调会一致，哪种最适合计算？
• 切除定理和Mayer-Vietoris序列如何将空间的同调简化为更简单部分的同调？
• Betti数和欧拉示性数捕捉了哪些拓扑信息？

Key concepts

• 链复形、循环和边界
• 单纯同调、奇异同调和胞腔同调及其一致性
• 配对的长正合序列和切除定理
• Mayer-Vietoris序列
• Betti数、欧拉示性数和映射的度

Clinical relevance

同调是拓扑学中重要的不变量：它推动了不动点和交点理论、流形分类、几何和组合学中的欧拉示性数，以及拓扑数据分析中持久同调等现代应用。

History

庞加莱的Betti数和挠系数在20世纪20年代Emmy Noether强调群结构后被重新解释为商群；20世纪40年代和50年代的奇异同调和公理化（Eilenberg-Steenrod）表述赋予了同调当今所使用的函子化、公理化形式。

Key figures

• Henri Poincaré
• Emmy Noether
• Leopold Vietoris

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

循环和边界有什么区别？

循环是边界为零的链（一个闭合的环或曲面）；边界本身是更高维链的边界。同调衡量的是非边界的循环——真正的“孔洞”。

为什么同调比同伦更容易计算？

同调满足切除定理并能纳入长正合序列，因此一个空间的同调可以由更简单的部分组装而成；同伦群不满足这样的切割原则，并且难以进行系统计算。