矩阵代数(四)- 分块矩阵

小结

  1. 分块矩阵
  2. 分块矩阵运算
  3. 分块矩阵的逆

分块矩阵

矩阵,也可写成分块矩阵的形状,它的元素是分块(子矩阵)
\begin{aligned} &\boldsymbol{A_1\!_1} =\begin{bmatrix} 3 & 0 & -1 \\ -5 & 2 & 4\end{bmatrix} &&\boldsymbol{A_1\!_2} =\begin{bmatrix} 5 & 9 \\ 0 & -3\end{bmatrix} &&\boldsymbol{A_1\!_3} =\begin{bmatrix} -2 \\ 1 \end{bmatrix} \\ &\boldsymbol{A_1\!_2} =\begin{bmatrix} 5 & 9 \\ 0 & -3\end{bmatrix} &&\boldsymbol{A_2\!_2} =\begin{bmatrix}1 \\ 7 \end{bmatrix} &&\boldsymbol{A_2\!_3} =\begin{bmatrix} -4 \end{bmatrix}\end{aligned}

加法与标量乘法

若矩阵与有相同维数且以相同方式分块,则自然有矩阵的和也以同样方式分块。这时的每一个分块恰好是和对应分块的(矩阵)和。分块矩阵乘以一个标量也可以逐块计算。

分块矩阵的乘法

\boldsymbol{A} = \left[\begin{array}{ccc|cc} 2 & -3 & 1 & 0 & -4 \\ 1 & 5 & -2 & 3 & 1 \\ \hline 0 & -4 & -2 & 7 & -1 \end{array}\right]=\begin{bmatrix}\boldsymbol{A_1\!_1} & \boldsymbol{A_1\!_2} \\ \boldsymbol{A_2\!_1} & \boldsymbol{A_2\!_2}\end{bmatrix}
的5列被分成3列一组和2列一组。的5行按同样方法分块---被分成3行一组和2行一组。我们称和的分块是与分块乘法相一致的。的乘积可以被写成\boldsymbol{AB}=\begin{bmatrix}\boldsymbol{A_1\!_1} & \boldsymbol{A_1\!_2} \\ \boldsymbol{A_2\!_1} & \boldsymbol{A_2\!_2}\end{bmatrix}\begin{bmatrix}\boldsymbol{B_1} &\boldsymbol{B_2}\end{bmatrix}=\begin{bmatrix}\boldsymbol{A_1\!_1}\boldsymbol{B_1} + \boldsymbol{A_1\!_2}\boldsymbol{B_2} \\ \boldsymbol{A_2\!_1}\boldsymbol{B_1} + \boldsymbol{A_2\!_2}\boldsymbol{B_2}\end{bmatrix}


设和。验证。
\begin{aligned} &col_1(\boldsymbol{A})row_1(\boldsymbol{B})=\begin{bmatrix}-3 \\ 1\end{bmatrix}\begin{bmatrix}a & b\end{bmatrix}=\begin{bmatrix}-3a & -3b \\ a & b\end{bmatrix} \\ &col_2(\boldsymbol{A})row_2(\boldsymbol{B})=\begin{bmatrix}1 \\ -4\end{bmatrix}\begin{bmatrix}c & d\end{bmatrix}=\begin{bmatrix}c & d \\ -4c & -4d\end{bmatrix} \\ &col_3(\boldsymbol{A})row_3(\boldsymbol{B})=\begin{bmatrix}2 \\ 5\end{bmatrix}\begin{bmatrix}e & f\end{bmatrix}=\begin{bmatrix}2e & 2f \\ 5e & 5f\end{bmatrix} \end{aligned}
于是
这个矩阵恰好就是。

定理10(的列行展开)
若是矩阵,是矩阵,则\begin{aligned} \boldsymbol{AB}&=\begin{bmatrix}col_1(\boldsymbol{A}) & \cdots & col_n(\boldsymbol{A})\end{bmatrix} \begin{bmatrix}row_1(\boldsymbol{B}) \\ \vdots \\ row_n(\boldsymbol{B})\end{bmatrix} \\ &=col_1(\boldsymbol{A})row_1(\boldsymbol{B}) + \cdots + col_n(\boldsymbol{A})row_n(\boldsymbol{B})\end{aligned}

分块矩阵的逆

形如的矩阵称为分块上三角矩阵。设是矩阵,是矩阵。求的表达式。
解:用表示且把它分块,使得\begin{bmatrix}\boldsymbol{A_1\!_1} &\boldsymbol{A_1\!_2} \\ \boldsymbol{0} & \boldsymbol{A_2\!_2}\end{bmatrix}\begin{bmatrix} \boldsymbol{B_1\!_1} &\boldsymbol{B_1\!_2} \\ \boldsymbol{B_2\!_1} & \boldsymbol{B_2\!_2}\end{bmatrix}=\begin{bmatrix}\boldsymbol{I_p}& \boldsymbol{0} \\ \boldsymbol{0} & \boldsymbol{I_q}\end{bmatrix}
则有:\begin{aligned} \boldsymbol{A_1\!_1}\boldsymbol{B_1\!_1}+\boldsymbol{A_1\!_2}\boldsymbol{B_2\!_1} &= \boldsymbol{I_p}\\ \boldsymbol{A_1\!_1}\boldsymbol{B_1\!_2}+\boldsymbol{A_1\!_2}\boldsymbol{B_2\!_2} &= \boldsymbol{0}\\ \boldsymbol{A_2\!_2}\boldsymbol{B_2\!_1} &= \boldsymbol{0}\\ \boldsymbol{A_2\!_2}\boldsymbol{B_2\!_2} &= \boldsymbol{I_q} \end{aligned}
因可逆,且所在行其余列全为,可知必有q个主元位置,故。

于是。同理.
最后。

最终得:

分块对角矩阵是一个分块矩阵,除了主对角上各分块外,其余全是零分块。这样的一个矩阵是可逆的当且仅当主对角线上各分块都是可逆的。

你可能感兴趣的:(矩阵代数(四)- 分块矩阵)