多面集的点的性质

定义

设多面集 $S = \{ X \in \mathbb R ^n: AX \le b \},$
其中 $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},$

定义函数 $\phi : \mathbb R ^n \mapsto \mathbb R$ ，
$\forall X \in \mathbb R ^n , \phi (X) =$ 向量组 $\{a_i : a_i X = b_i, i \in \mathbb N, 1 \le i \le m \}$ 的秩。

引理

若存在 $X \in S,$ 使得 $\phi (X) \lt n,$
不妨设：
$\begin{cases} a_i X = b_i, i \in \mathbb N, 1 \le i \le k \\ a_i X \lt b_i, i \in \mathbb N, k + 1 \le i \le m \end{cases} \tag {1}$
其中 $k \in \mathbb N, 0 \le k \le m$
令 $A_1 = \begin{pmatrix} a_1 \\ \vdots \\ a_k \end{pmatrix},$ $A_2 = \begin{pmatrix} a_{k + 1} \\ \vdots \\ a_{m} \end{pmatrix}, \beta_1 = \begin{pmatrix} b_1 \\ \vdots \\ b_k \end{pmatrix}, \beta_2 = \begin{pmatrix} b_{k + 1} \\ \vdots \\ b_{m} \end{pmatrix},$
则(1) 可化为： $\begin{cases} A_1 X = \beta_1 \\ A_2 X < \beta_2 \end{cases}$
于是 r(A1)=ϕ(X)<n, r ( A 1 ) = ϕ ( X ) < n ,