海理定理与同调群.docVIP

海理定理与同调群

一、同调群的基础概念

同调群是代数拓扑学中的核心概念，它通过将拓扑空间转化为代数结构，用代数方法研究拓扑空间的性质。其基本思想是通过“洞”的概念来刻画拓扑空间的本质特征，不同维度的同调群对应着不同维度的“洞”。

1.1单纯同调群

单纯同调群是同调群中较为基础和直观的一种，它基于单纯复形来定义。单纯复形是由点、线段、三角形、四面体等简单几何图形（称为单纯形）按照一定规则拼接而成的拓扑空间。

以二维单纯复形为例，它由顶点（0-单纯形）、边（1-单纯形）和三角形（2-单纯形）组成。我们可以通过定义边缘算子来描述单纯形之间的关系。边缘算子?将一个p-单纯形映射到它的所有(p-1)-维面的和，例如，对于一个三角形[v0,v1,v2]，其边缘?[v0,v1,v2]=[v1,v2]-[v0,v2]+[v0,v1]。

通过边缘算子，我们可以定义链群、闭链群和边缘链群。链群C_p(K)是由所有p-单纯形整系数线性组合构成的阿贝尔群；闭链群Z_p(K)是边缘算子?_p的核，即满足?p(c)=0的p-链c的集合，闭链可以看作是没有边界的链，对应着拓扑空间中的“洞”；边缘链群B_p(K)是边缘算子?{p+1}的像，即那些是某个(p+1)-链的边缘的p-链的集合。

单纯同调群H_p(K)则定义为闭链群Z_p(K)关于边缘链群B_p(K)的