单纯形是代数拓扑中最基本的概念。
考虑实数域的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维单纯形就是三角形；三维单纯形就是立体三角形。
人们希望能够把一个拓扑对象剖分成许多个小的单纯形，要求任何两个相邻的单纯形相交的公共部分仍是一个单纯形－－这种剖分称为（曲）单纯剖分。
在曲面情形，就是熟知的三角剖分。
单纯剖分是研究代数拓扑的基本手段，由此可以构造一系列拓扑不变量，如欧拉示性数。 它是研究同调论的基本工具。 |