舒尔补(schur completement)

目的：研究一些公式的推导，schur 补公式在矩阵乘法中经常遇到，因此记下推导公式加深理解

舒尔补(schur completement)定义
在线性代数或者矩阵论中，Schur complement 写成矩阵块的形式，表示如下：
$$M=\left[\begin{array}{cc}A& B\\ C& D\end{array}\right]$$
其中$A,B,C,D$分别表示 $p\times p,p\times q,q\times p,q\times q$ 维度的矩阵，$p,q$为两个非负整数。因此可以看到$M$为$(p+q)\times (p+q)$的方正。
如果$D$是可逆(invertible)，则矩阵块的 Schur completement 被定义为:
$$M/D:=A-B{D}^{-1}C$$
如果$A$是可逆(invertible)，则矩阵块的 Schur completement 被定义为:
$$M/A:=D-C{A}^{-1}B$$
$ABCD$: 它都是顺时针方向。
作用
1）将 $M$ 矩阵分别变成上三角或者下三角形。
$$M=\left[\begin{array}{cc}A& B\\ C& D\end{array}\right]=\left[\begin{array}{cc}{I}_p& B{D}^{-1}\\ 0& I_q\end{array}\right]\left[\begin{array}{cc}A-B{D}^{-1}C& 0\\ 0& D\end{array}\right]\left[\begin{array}{cc}{I}_p& 0\\ D^{-1}C& I_q\end{array}\right]$$

证明一：
如果想获取对角矩阵，先用高斯消元法，消去$C$，使用公式得到（它是通过右乘，表示行消元，这样$BD$不变）

$$\left[\begin{array}{cc}A& B\\ C& D\end{array}\right]\left[\begin{array}{cc}{I}_p& 0\\ X& I_q\end{array}\right]=[\begin{array}{c}{A}^{\ast }\end{array}$$