高等代数(四)-矩阵05：矩阵的分块

85 矩阵的分块
在这一节,我们来介绍一个在处理阶数较高的矩阵时常用的方法,即矩阵的分块.有时候,
我们把一个大矩阵看成是由一些小矩阵组成的,
就如矩阵是由数组成的一样.特别在运算中,把这些小矩阵当作数一样来处理.
这就是所谓矩阵的分块.
为了说明这个方法,下面看一个例子.在矩阵
$$A=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ -1& 2& 1& 0\\ 1& 1& 0& 1\end{array}\right]=\left(\begin{array}{ll}{E}_2& 0\\ A_1& E_2\end{array}\right)$$
中, ${\mathbf{E}}_2$ 表示 2 阶单位矩阵,而
$${\mathbf{A}}_1=\left(\begin{array}{rr}-1& 2\\ 1& 1\end{array}\right),\mathbf{O}=\left(\begin{array}{ll}0& 0\\ 0& 0\end{array}\right).$$
在矩阵
$$\mathbf{B}=\left(\begin{array}{rrrr}1& 0& 3& 2\\ -1& 2& 0& 1\\ 1& 0& 4& 1\\ -1& -1& 2& 0\end{array}\right)=\left(\begin{array}{ll}{\mathbf{B}}_{11}& {\mathbf{B}}_{12}\\ {\mathbf{B}}_{21}& {\mathbf{B}}_{22}\end{array}\right)$$
中,
$${\mathbf{B}}_{11}=\left(\begin{array}{rr}1& 0\\ -1& 2\end{array}\right),{\mathbf{B}}_{12}=\left(\begin{array}{ll}3& 2\\ 0& 1\end{array}\right)，{\mathbf{B}}_{21}=\left(\begin{array}{rr}1& 0\\ -1& -1\end{array}\right)，{\mathbf{B}}_{22}=\left(\begin{array}{ll}4& 1\\ 2& 0\end{array}\right).$$
在计算 $\mathbf{A}\mathbf{B}$ 时,把
$\mathbf{A},\mathbf{B}$ 都看成是由这些小矩阵组成的,即按 2
阶矩阵来运算.于是
$$\mathbf{A}\mathbf{B}=\left(\begin{array}{ll}{\mathbf{E}}_2& \mathbf{O}\\ {\mathbf{A}}_1& {\mathbf{E}}_2\end{array}\right)\left(\begin{array}{ll}{\mathbf{B}}_{11}& {\mathbf{B}}_{12}\\ {\mathbf{B}}_{21}& {\mathbf{B}}_{22}\end{array}\right)=\left(\begin{array}{cc}{\mathbf{B}}_{11}& {\mathbf{B}}_{12}\\ {\mathbf{A}}_{11}{\mathbf{B}}_{11}+{\mathbf{B}}_{21}& {\mathbf{A}}_1{\mathbf{B}}_{12}+{\mathbf{B}}_{22}\end{array}\right),$$
其中
A 1 B 11 + B 21 = ( − 1 2 1 1 ) ( 1 0 − 1 2 ) + ( 1 0 − 1 − 1 ) = ( − 3 4 0 2 ) + ( 1 0 − 1 − 1 ) = ( − 2 4 − 1 1 ) , A 1 B 12 + B 22 = ( − 1 2 1 1 ) ( 3 2 0 1 ) + ( 4 1 2 0 ) = ( − 3