线性代数学习笔记（十四）——分块矩阵

本篇笔记首先介绍了分块矩阵的概念，并介绍了按行或按列进行分块的两种常见分块方式，还讨论了矩阵标准形的主要基本特征，然后重点讨论了分块矩阵的几种运算，包括分块矩阵的和、差、数乘和乘积，以及对角型分块矩阵、三角分块矩阵和下三角分块矩阵的和、差、数乘和乘积，最后还介绍了分块矩阵转置和求逆的运算。

1 基本概念

在计算或证明时为了方便，将矩阵进行分块。

定义：将一个矩阵用若干条横线和竖线分成许多个小矩阵，将每个小矩阵称为这个矩阵的子块，以子块为元素的形式上的矩阵称为分块矩阵。——百度百科

$\left[\begin{array}{cccccc}1& 1& 3& 4& |& 0\\ -& -& -& -& -& -\\ 2& 0& 1& 1& |& 0\\ 1& 1& 1& 1& |& 3\\ 4& 1& 1& 1& |& 0\end{array}\right]=\left[\begin{array}{cc}{A}_1& A_2\\ A_3& A_4\end{array}\right]$

根据实际做题的方便性和需要灵活分块。

以下是错误分法：
$\left[\begin{array}{ccccccc}1& |& 1& 3& |& 4& 0\\ & |& & & -& -& -\\ 2& |& 0& 1& & 1& 0\\ & -& -& -& -& -& \\ 1& 1& |& 1& 1& |& 3\\ & -& -& & -& -& -\\ 4& |& 1& 1& |& 1& 0\end{array}\right]$

要求：不管横线还是竖线，需要一气到头。

如果分块数量比较多，也可以使用以下方式表示：
$\left[\begin{array}{cc}{A}_{11}& A_{12}\\ A_{21}& A_{22}\end{array}\right]$

2 两种常见的分块

2.1 按行分块

将每行进行分块。

$\left[\begin{array}{ccc}1& 2& 3\\ -& -& -\\ 1& 1& 1\\ -& -& -\\ 1& 4& 4\end{array}\right]=\left[\begin{array}{c}{A}_1\\ A_2\\ A_3\end{array}\right]$

每一行构成一个列向量，向量将在后续章节介绍。
$\left(\begin{array}{c}{\alpha }_1\\ {\alpha }_2\\ {\alpha }_3\end{array}\right)$

2.2 按列分块

将第列进行分块。

$\left[\begin{array}{ccccc}1& |& 2& |& 3\\ 1& |& 1& |& 1\\ 1& |& 4& |& 4\end{array}\right]=\left[\begin{array}{ccc}{B}_1& B_2& B_3\end{array}\right]$

每一列构成一个行向量，向量将在后续章节介绍。
$\left(\begin{array}{ccc}{\beta }_1& {\beta }_2& {\beta }_3\end{array}\right)$

3 标准形

$D={\left[\begin{array}{cccccc}1& & & & & \\ & \ddots & & & & \\ & & 1& & & \\ & & & 0& & \\ & & & & \ddots & \\ & & & & & 0\end{array}\right]}_{m\times n}$

最主要特征：从左上角开始一串连续的$1$，其余地方均为$0$。标准形不一定是方的。

判断以下矩不是准形：
[ 1 1 0 ] 是 [ 1 0 0 0 0 1 0 0 0 0 1 0 ] 是 [ 1 1 1 1 ] \begin{bmatrix}1&&\\&1&\\&&0\end{bmatrix}是\qquad\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\end{bmatrix}是\qquad\begin{bmatrix}1&&&\\&1&&\\&&1&\\&&&1\end{bmatrix} ⎣⎡​1​1​0​⎦⎤​是