##### 凸包 - 凸包 - **凸包**是包含点集 $S$ 的最小[[凸集]], 记作 $\text{conv}(S)$, 也可以等价定义为所有有限个点的[[凸组合]]构成的集合, 并且满足[[卡拉西奥多里凸包定理]]. 特别的, 紧凸集[[克列因-米尔曼定理|等于]]其极点集的凸包 - $\displaystyle \text{conv}(S) = \{ \sum_{i=1}^k \lambda_i x_i \mid x_i \in S, \lambda_i \ge 0, \sum_{i=1}^{k}\lambda_i=1, k \in \mathbb{N} \}$