多面集的表示定理 (Representation / Resolution / Caratheodory theorem of polyhedral Sets)

多面集的表示定理 (Representation / Resolution / Caratheodory theorem of polyhedral Sets)

设 $S = \{ X \in \mathbb R ^{n} : AX \le b, X \ge \vec 0 \}$ 为非空多面集，其中
$A = \begin{pmatrix} a_1\\ \vdots \\ a_m\end{pmatrix} \in \mathbb R ^{m \times n}, b = \begin{pmatrix} b_1\\ \vdots \\ b_m\end{pmatrix} \in \mathbb R ^{m}$
则：

1. $S$ 至少有一个极点且极点的数量有限，记为 $\{ X_1, \cdots, X_k \}, k \in \mathbb N, k \ge 1$ 。
2. $S$ 没有极方向当且仅当 $S$ 有界。
3. $S$ 的不同的极方向的数量有限，记为 $\{ \vec d_1, \cdots, \vec d_l \}, l \in \mathbb N, l \ge 0$ 。
4. $\forall X \in \mathbb R^n, X \in S$ 当且仅当 $X$ 可以被表示成 $X_1, \cdots, X_k$ 的凸组合加上 $\vec d_1, \cdots, \vec d_l$ 的非负线性组合，
   即存在集合 $\{ \lambda_i \in \mathbb R: \sum \limits_{i = 1} ^{k} \lambda_i = 1, \lambda_i \ge 0, i \in \mathbb N, 1 \le i \le k \}$ 与 $\{ \mu_i \in \mathbb R: \mu_i \ge 0, i \in \mathbb N, 1 \le i \le l \}$ ，
   使得： $X = \sum \limits_{i = 1} ^{k} \lambda_i X_i + \sum \limits_{i = 1} ^{l} \mu_i \vec d_i$

证明

令 $C = \begin{pmatrix} c_{1} \\ \vdots \\ c_{m + n} \\ \end{pmatrix} = \begin{pmatrix} A \\ -I_{n \times n} \\ \end{pmatrix}, b' = \begin{pmatrix} b_{1}' \\ \vdots \\ b_{m + n}' \\ \end{pmatrix} = \begin{pmatrix} b \\ \vec 0_{n \times 1} \\ \end{pmatrix}$ ，
则 $S = \{ X \in \mathbb R ^n : CX \le b' \}$
定义函数 $\phi : \mathbb R ^n \mapsto \mathbb R$ ，
$\forall X \in \mathbb R ^n , \phi (X) =$ 向量组 $\{c_i : c_i X = b_i', i \in \mathbb N, 1 \le i \le m + n \}$ 的秩。 则：

1.1 $S$ 至少有一个极点。

由多面集的极点的性质，点 $X$ 是 $S$ 的极点当且仅当 $\phi (X) = n$ 。因此只要证明存在 $X \in S,$ 使得 $\phi (X) = n$ 。
下面用归纳法证明： $\forall i \in \mathbb N,$ 若存在 $X \in S,$ 使得 $\phi (X) = n - i,$ 则存在 $X' \in S,$ 使得 $\phi (X') = n$ 。

1. $i = 0$ 时 $\phi (X) = n$ ，命题显然成立 。
2. 假设 $i \le m (m \in \mathbb N)$ 时成立，则