一组向量(v0,...,vk),每个向量也代表一个点,那么这组点的凸包(conv)是单纯形,前提是v1-v0,...,vk-v0是线性无关的。
一维单纯形就是线段;二维单纯形就是三角形;三维单纯形就是四面体。
人们希望能够把一个拓扑对象剖分成许多个小的单纯形,要求任何两个相邻的单纯形相交的公共部分仍是一个单纯形--这种剖分称为(曲)单纯剖分。在曲面情形,就是熟知的三角剖分。
多面体的代数定义
若单纯形表示成线性无关的向量形式:
秩为k的矩阵可以初等变换分块为大小为k的单位矩阵和0矩阵。
实际上,一个多边形可以表示为一个彷射包+凸包:
。