关于单纯复形孔洞数量的疑问：Botnan《Topological Data Analysis Spring 2020》示例2.10解析

Hey，我来帮你理清这个困惑点！你在看Botnan的Topological Data Analysis Spring 2020里的示例2.10时，觉得孔洞数应该是3，把c₁+c₂对应的圈也算作一个孔洞，但实际却不是——核心原因是拓扑数据分析里的“孔洞数”和你直觉里数的“圈的数量”不是一个概念，得从同调群的定义来拆解：

• 首先，我们说的1维孔洞数，对应的是1维贝蒂数β₁，也就是1维同调群H₁(K)的秩。它衡量的是*独立的、无法被复形中的2维结构填充的闭链（圈）*的数量。
• 闭链（Z₁(K)）是指首尾相接的圈，但其中有一部分是边缘链（B₁(K)）——也就是某个2维链（比如一个或多个三角形的组合）的边界。边缘链对应的圈是“可以被填充”的，在同调群里它们和“空圈”（等价于0）属于同一个类，不算真正的孔洞。
• 回到示例2.10里的c₁+c₂：这个线性组合对应的圈，其实属于边缘链（或者说它和某个边缘链同调），也就是说，你能在这个单纯复形里找到一组2维单形，它们的边界正好是c₁+c₂。这就意味着这个圈是可以被“填充”的，所以它在同调群里不代表一个独立的孔洞类，自然不能算进孔洞数里。
• 举个更具象的例子：假设c₁是三角形ABC的边界，c₂是三角形ABD的边界，那c₁+c₂展开后是BC+CA+BD+DA，这个圈对应四边形BCDA的边界。但因为这个单纯复形里已经包含了三角形ABC和ABD，c₁和c₂本身都是边缘链（各自对应一个三角形的边界），它们的和当然也是边缘链，在同调群里等价于0，根本不算一个孔洞。

简单来说，你直觉里数的是“所有闭链的数量”，但我们在拓扑数据分析里真正关心的是“闭链中不能被填充的独立类的数量”——这就是为什么c₁+c₂对应的圈不算一个孔洞的原因啦。

备注：内容来源于stack exchange，提问作者Rowing0914