线性代数｜分块对角矩阵的定义和性质

前置知识：

• 阶梯形行列式的性质

---

定义　设 $\mathbf{A}$ 为 $n$ 阶方阵，若 $\mathbf{A}$ 的分块矩阵只有在对角线上有非零子块，其余子块都为零矩阵，且在对角线上的子块都是方阵，即
$$\mathbf{A}=\left(\begin{array}{cccc}{\mathbf{A}}_1& & & \mathbf{O}\\ & {\mathbf{A}}_2& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s\end{array}\right)$$
其中 ${\mathbf{A}}_i(i=1,2,\cdots ,s)$ 都是方阵，那么称 $\mathbf{A}$ 为分块对角矩阵。

根据阶梯状行列式的性质，分块对角矩阵的行列式具有如下性质：

性质 1　分块对角矩阵的行列式满足
$$|\mathbf{A}|=|{\mathbf{A}}_1||{\mathbf{A}}_2|\cdots |{\mathbf{A}}_s|$$

证明　由阶梯状行列式的性质可知，显然满足。

根据性质 1 可知，分块对角矩阵的逆矩阵具有如下性质

性质 2　若 $|{\mathbf{A}}_i|\ne 0(i=1,2,\cdots ,s)$，则 $|\mathbf{A}|\ne 0$，并有
$${\mathbf{A}}^{-1}=\left(\begin{array}{cccc}{\mathbf{A}}_1^{-1}& & & \mathbf{O}\\ & {\mathbf{A}}_2^{-1}& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s^{-1}\end{array}\right)$$

证明　不妨设 $\mathbf{B}=\left(\begin{array}{cccc}{\mathbf{A}}_1^{-1}& & & \mathbf{O}\\ & {\mathbf{A}}_2^{-1}& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s^{-1}\end{array}\right)$，根据分块对角矩阵的性质，有
$$\mathbf{A}\mathbf{B}=\left(\begin{array}{cccc}{\mathbf{A}}_1& & & \mathbf{O}\\ & {\mathbf{A}}_2& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s\end{array}\right)\left(\begin{array}{cccc}{\mathbf{A}}_1^{-1}& & & \mathbf{O}\\ & {\mathbf{A}}_2^{-1}& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s^{-1}\end{array}\right)=\left(\begin{array}{cccc}{\mathbf{A}}_1{\mathbf{A}}_1^{-1}& & & \mathbf{O}\\ & {\mathbf{A}}_2{\mathbf{A}}_2^{-1}& & \\ & & \ddots & \\ \mathbf{O}& & & {\mathbf{A}}_s{\mathbf{A}}_s^{-1}\end{array}\right)=\left(\begin{array}{cccc}\mathbf{E}& & & \mathbf{O}\\ & \mathbf{E}& & \\ & & \ddots & \\ \mathbf{O}& & & \mathbf{E}\end{array}\right)=\mathbf{E}$$
根据逆矩阵的定义可知，矩阵 $\mathbf{B}$ 为矩阵 $\mathbf{A}$ 的逆矩阵，即 $\mathbf{B}={\mathbf{A}}^{-1}$。