半定规划中的舒尔补极限四则.docVIP

半定规划中的舒尔补极限四则

一、舒尔补的基础定义与核心性质

（一）矩阵分块与舒尔补的数学表达

在半定规划的研究框架中，舒尔补（SchurComplement）是基于矩阵分块操作衍生的关键工具。对于一个((n+m)\times(n+m))的对称矩阵(M)，通常将其分块表示为：[M=\begin{pmatrix}AB\B^TC\end{pmatrix}]其中(A\in\mathbb{S}^n)（(n)阶对称矩阵空间），(C\in\mathbb{S}^m)，(B\in\mathbb{R}^{n\timesm})。当子矩阵(A)可逆时，(M)关于(A)的舒尔补定义为：[M/A=C-B^TA^{-1}B]同理，若(C)可逆，则(M)关于(C)的舒尔补为：[M/C=A-BC^{-1}B^T]这种分块结构下的矩阵变换，本质上是通过消元法将原矩阵分解为更易分析的形式，其核心思想与线性代数中的高斯消元法一脉相承，但更侧重于对称矩阵的正定性保持。

（二）正定性等价关系

舒尔补的核心价值在于其与原矩阵正定性的等价性，这是半定规划中约束转换的理论基础。根据线性代数中的经典结论，以下三个命题等价：

矩阵(M)是正定矩阵（(M\succ0)）；

(