矩阵初等变换的“打洞技巧”与“分块矩阵的行列式公式”

矩阵打洞(初等变换矩阵)是线性代数的基本功。
打洞技巧是矩阵一行减另一行的若干倍,或一列减另 一列的若干倍这两类初等变换的推广

利用分块矩阵的乘法将矩阵的某个块变为零
$$\left(\begin{array}{ll}A& B\\ C& D\end{array}\right)=\left(\begin{array}{ll}I& 0\\ C{A}^{-1}& I\end{array}\right)\left(\begin{array}{ll}A& B\\ 0& D-C{A}^{-1}B\end{array}\right)$$

$$\left(\begin{array}{ll}A& B\\ C& D\end{array}\right)=\left(\begin{array}{ll}I& 0\\ C{A}^{-1}& I\end{array}\right)\left(\begin{array}{ll}A& B\\ 洞& D-C{A}^{-1}B\end{array}\right)$$

$$\left(\begin{array}{ll}I& 0\\ -C{A}^{-1}& I\end{array}\right)\left(\begin{array}{ll}A& B\\ C& D\end{array}\right)=\left(\begin{array}{ll}A& B\\ 洞& D-BC{A}^{-1}\end{array}\right)$$

$$\left(\begin{array}{ll}A& B\\ C& D\end{array}\right)\left(\begin{array}{ll}I& 0\\ -D^{-1}C& I\end{array}\right)=\left(\begin{array}{ll}A-B{D}^{-1}C& B\\ 洞& D\end{array}\right)$$

应用：

1.分块矩阵的行列式公式

1.1 矩阵M=【A B ；C D】 ，若A可逆
则M的行列式等于 A的行列式乘以D减去C乘以A的逆乘以B的行列式

$$\left|\begin{array}{ll}A& B\\ 0& D\end{array}\right|=|A|\ast |D|$$
$$\left|\begin{array}{ll}A& B\\ C& D\end{array}\right|=\left|\begin{array}{ll}I& 0\\ C{A}^{-1}& I\end{array}\right|\left|\begin{array}{ll}A& B\\ 0& D-C{A}^{-1}B\end{array}\right|$$

1.1得证

当AC=CA时：
A不可逆时，对其做一个扰动A+tE,E为单位阵，只要|t|足够小可保证A+tE可逆。用A+tE去打洞，利用行列式函数关于t的连续性，让t趋近于0即可
令 A(λ )=λ E +A. ----------矩阵计算中另一个技巧，所谓的 “摄动法”,
则 detA(λ )是λ的n 次 首一多项式,至多n 个根，得到的结果为|AD-CB|

参考

证明分块矩阵的行列式公式
Schur补与矩阵打洞，SMW求逆公式，分块矩阵与行列式(不)等式
https://zhidao.baidu.com/question/812527664260514092.html

三个行变换的基本初等矩阵：
初等矩阵相互作用还是初等矩阵

$$交换ij两行\left(\begin{array}{llccccccccc}1& & & & & & & & & & \\ & \ddots & & & & & & & & & \\ & & 1& & & & & & & & \\ & & & 0ii& \cdots & & \cdots & 1& & & \\ & & & ⋮& 1& & & ⋮& & & \\ & & & 0& 0& 0& 0& 0& & & \\ & & & ⋮& 0& 0& 1& ⋮& & & \\ & & & 1& \cdots & & \cdots & 0jj& & & \\ & & & & & & & & 1& & \\ & & & & & & & & & \ddots & \\ & & & & & & & & & & 1\end{array}\right)$$

$$一行乘k加到另一行\left(\begin{array}{llccccccccc}1& & & & & & & & & & \\ & \ddots & & & & & & & & & \\ & & 1& & & & & & & & \\ & & & 1& \cdots & & \cdots & k& & & \\ & & & & 1& & & ⋮& & & \\ & & & & & 1& & & & & \\ & & & & & & 1& ⋮& & & \\ & & & & & & & 1& & & \\ & & & & & & & & 1& & \\ & & & & & & & & & \ddots & \\ & & & & & & & & & & 1\end{array}\right)$$

$$一行乘k\left(\begin{array}{llccccccc}1& & & & & & & & \\ & \ddots & & & & & & & \\ & & 1& & & & & & \\ & & & 1& & & & & \\ & & & & k& & & & \\ & & & & & 1& & & \\ & & & & & & \ddots & & \\ & & & & & & & & 1\end{array}\right)$$