所有的多面体都是凸集

凸优化中多面体的定义

$$\begin{align} \mathcal{P}=\left\{{\boldsymbol{x}|\boldsymbol{a}_i^T\boldsymbol{x}\leq b_i, i=1,2,\cdots, m, \boldsymbol{c}_j^T\boldsymbol{x}=d_j, j=1,2,\cdots,p}\right\} \end{align}$$
以下分为三个步骤进行证明：
(a) 证明：若 $\left\{{\Omega_{\alpha}}\right\} (\alpha \in I)$ 是