抽象的几何形状不容易研究,可以将其进行单纯剖分,通过研究与其同胚的单纯复形来探究其拓扑性质。
设单纯形表示个两两之间形成的向量线性无关的点集所包含的最小凸包。0单纯形为点,1单纯形为直线,2单纯形为三角形,3单纯性为四面体,4单纯形在四维空间中无法直观。
单纯复形指某个欧氏空间内的一组有限多个单纯形满足:某个单纯形属于这个组,它的每个面也属于这个组,并且组内两个单纯形或者不相交,如果相交则公共部分是一个公共面。
我们想要探究一个几何体的拓扑结构,比如一个二维环面。在上面作闭曲线可以得到三种,一种是绕孔洞一周的闭曲线A,一种是绕轴向的闭曲线B,还有一种是表面的封闭曲线C。
其中只有曲线C是一小块曲面的边界,我们想要了解环面的拓扑结构,应该想办法把那些作为曲面块边界的曲线予以忽略,只保留对认识环面结构有用的曲线(所谓忽略,在代数的意义下就是求商群)。
我们在计算之前先对单纯形加上定向,若,,,为3单纯性的四个顶点,表示按定点次序,,,定向的这个单纯形。定向的改变用负号表示。所以
单纯形的边缘定义为去掉单纯形中的一个点剩余的点组成的单纯形。,表示去掉第个点。
由于单纯形的边缘一定是闭的,所以边缘的边缘一定是0。
考虑单纯复形中的单纯性以整数为系数的线性组合:
这个线性组合没有什么几何意义,但是它可以定义一个群加法构成一个群
其幺元为0,为一阿贝尔群,叫作链群。
表示单纯复形上的链群,对其作边缘同态映射
通过此映射后得到幺元的同态核是维链群的子群叫作维闭链群,记作
中的所有边缘,即经过同态映射得到的同态像,是维链群的子群,也是维闭链群的子群(因为边缘都是闭的),叫作维边缘闭链群,简称维边缘群,记作。
定义单纯复形的维同调群为