单纯复形

单纯复形是拓扑学中的概念,指由点、线段、三角形等单纯形“粘合”而得的拓扑对象。单纯复形不应当与范畴同伦论中的单纯集合混淆。
单纯复形是由一组单纯形构成的集合,并且须要满足下列条件:
需要注意的是,约定空集是任何单纯形的面,所以两个不相交的单纯复形也可以被看作是一个单纯复形。通常的定义中,单纯复形是有限个单纯形的集合。但有些上下文中,也会在附加某些局部有限性条件的前提下,定义无限个单纯形依照类似的定义构成的单纯复形。
如果某个单纯复形中包含的最大维度的单纯形是k维单纯形,则称
为k维单纯复形。例如2维单纯复形中必然含有三角形,且必然不含有四面体等更高维度的单纯形。