凸性/凸多面體

定義： 凸多面體是有窮多個點的凸包。通常，至少會有三個非共線的點。

定理：當且僅當一個集合滿足以下條件時，集合就是一個凸多面體：

1. 集合不是空集
2. 集合是有界的
3. 集合是有限個閉半空間的交集。

n 維向量空間中的 單純形是不全部位於同一超平面上的 n+1 個點的凸包。如果 n=2，單形是一個三角形；如果 n=3，則是一個四面體。