
单纯形是代数拓扑中最基本的概念。
考虑实数域的n维向量空间 R^n, 设a_0,a_1,e_2,...,e_n是一组向量,
使得{a_1-a_0,a_2-a_0,...a_
}线性无关。
设E={p=s_0a_0+s_1a_1+s_2a_2+...+s_na_n| s_0+s_1+...s_n=1}
点集E就称为一个n维单纯形。
1维单纯形就是线段;2维单纯形就是三角形;三维单纯形就是立体三角形。
人们希望能够把一个拓扑对象剖分成许多个小的单纯形,要求任何两个相邻的单纯形相交的公共部分仍是一个单纯形--这种剖分称为(曲)单纯剖分。
在曲面情形,就是熟知的三角剖分。
单纯剖分是研究代数拓扑的基本手段,由此可以构造一系列拓扑不变量,如欧拉示性数。 它是研究同调论的基本工具。