文章目录
- 0、背景
- 一、标准计算流程：以单纯同调为例
- 空间剖分，构建单纯复形
- 生成各维度链群
- 定义边界算子
- 定义闭链群与边缘链群
- 计算同调群并解读拓扑信息
- 推导最终拓扑结论
- 二、其他核心概念的典型计算逻辑
0、背景
之前为了做一个东西学习TDA，但是一直没有进行总结。正好看见有关注的公众号发布了代数拓扑运算的流程。就当是别人提我做了个笔记喽。原文来自公众号“拓扑漫游杠精”，链接在这里。喜欢的可以直接关注。
一、标准计算流程：以单纯同调为例
针对可三角剖分的拓扑空间，完整计算流程如下：
空间剖分，构建单纯复形
将目标拓扑空间切割为不同维度的单纯形（0维是点、1维是线段、2维是三角形、3维是四面体……n维单纯形由n+1个顶点构成凸包），再按共享边界的规则将单纯形粘合，得到单纯复形K，并记录所有不同维度的单纯形。
生成各维度链群
对任意维度n，以该维度下所有单纯形为基，生成自由交换群Cn(K)，称为n维链群，群中的元素称为n维链，本质是单纯形的整系数线性组合。
定义边界算子
对每个n维单纯形，定义边界映射∂n:Cn(K)→Cn−1(K)：将n维单纯形映射为其所有n−1维边界单纯形的交错和，符号由顶点的排列顺序决定方向。该算子天然满足核心性质∂n∘∂n+1=0，即“边界的边界为空”。
定义闭链群与边缘链群
闭链群：是边界算子的核Zn(K)=ker∂n={c∈Cn(K)∣∂n©=0}，即边界为0的n维链，每一个非平凡闭链对应一个真实存在的n维“洞”。
边缘链群：是边界算子的像Bn(K)=im∂n+1={∂n+1©∣c∈Cn+1(K)}，即它是更高一维链的边界，本质对应已经被填满的“洞”，不代表真实的拓扑洞。
由∂n∘∂n+1=0可推得Bn(K)⊆Zn(K)，因此可以构造商群得到同调群。
计算同调群并解读拓扑信息
n维同调群定义为商群：Hn(K)=Zn(K)/Bn(K)
同调群的秩就是n阶贝蒂数，对应n维独立“洞”的数量，挠部分对应带方向的特殊拓扑结构。
推导最终拓扑结论
基于同调群可以得到明确拓扑性质，例如：
欧拉特征数满足χ=∑i=0n(−1)idimHi=∑i=0n(−i)ivi（vi为i维单纯形个数），可以用来验证两个空间是否同胚；
闭流形的最高维同调群如果同构于整数群，则流形可定向，否则不可定向。
二、其他核心概念的典型计算逻辑
基本群计算：通过Van Kampen定理将拓扑空间分解为多个开子集，再通过各子集基本群的融合自由积得到整体基本群，最后可以用覆盖空间的提升性质验证结果。
上同调群计算：基于万有系数定理，通过已计算得到的同调群推导上同调群，上同调自带乘法结构，可以给出更多拓扑分类信息。
同伦群计算：一般通过塞尔谱序列结合纤维空间的性质逐步推导。
