04. 零空间

零空间定义

线性方程组$Ax = 0$的所有解x的集合称为矩阵A的零空间

零空间求解

设
$A = \begin{bmatrix}1 & 2 & 2 & 2\\\ 2 & 4 & 6 & 8 \\\ 3 & 6 & 8 & 10 \end{bmatrix}$

求
$x = \begin{bmatrix}x_1\\ x_2 \\ x_3 \\ x_4\end{bmatrix}$

消元

$\begin{bmatrix}1 & 2 & 2 & 2\\\ 2 & 4 & 6 & 8 \\\ 3 & 6 & 8 & 10 \end{bmatrix} \rightarrow \begin{bmatrix}1 & 2 & 2 & 2\\\ 0 & 0 & 2 & 4 \\\ 0 & 0 & 2 & 4 \end{bmatrix} \rightarrow \begin{bmatrix}1 & 2 & 2 & 2\\\ 0 & 0 & 2 & 4 \\\ 0 & 0 & 0 & 0 \end{bmatrix}$

最终的矩阵称为U，其中每行的第一个非0的数称为主元，主元的数量称为矩阵的秩，主元所在的列称为主列，其余列称为自由列

矩阵U的第二列与第四列为自由列，这意味着所求的解中$x_2, x_4$是任意的

列出此时所求的方程组

$$\left\{ \begin{aligned} x_1 + 2x_2 + 2x_3 + 2x_4 &= 0 \\ 2x_3 + 4x_4 &= 0 \end{aligned} \right.$$

指定$x_2 = 1, x_4 = 0$，可解得$x_1 = -2, x_3 = 0$

获得一个解$\begin{bmatrix}-2 \\\ 1 \\\ 0 \\\ 0 \end{bmatrix}$，显然这个解的任意倍数也是方程的解

于是我们在4维空间中找到了一条直线，这条直线同时属于矩阵的零空间

零空间并不仅仅只有这一条直线

指定$x_2 = 0, x_4 = 1$，可解得$x_1 = 2, x_3 = -2$

获得一个新解$\begin{bmatrix}2 \\\ 0 \\\ -2 \\\ 1 \end{bmatrix}$

上面通过对自由变量的指定得到了两个特解

$\begin{bmatrix}-2 \\\ 1 \\\ 0 \\\ 0 \end{bmatrix} \quad \begin{bmatrix}2 \\\ 0 \\\ -2 \\\ 1 \end{bmatrix}$

两个特解的所有线性组合就是整个零空间，需要的特解的数量等于自由变量的数量

上面的消元结果可进一步简化成简化行阶梯形式（主列除了主元全是0，且主元为1）

$\begin{bmatrix}1 & 2 & 2 & 2\\\ 0 & 0 & 2 & 4 \\\ 0 & 0 & 0 & 0 \end{bmatrix} \rightarrow \begin{bmatrix}1 & 2 & 0 & -2\\\ 0 & 0 & 1 & 2 \\\ 0 & 0 & 0 & 0 \end{bmatrix}$

将简化行阶梯形式的矩阵记作R，列出R的主列

$\begin{bmatrix}1 & 0 \\\ 0 & 1 \\\ 0 & 0\end{bmatrix}$

列出R的自由列

$\begin{bmatrix} 2 & -2\\\ 0 & 2 \\\ 0 & 0 \end{bmatrix}$

去掉自由列的0行

$\begin{bmatrix} 2 & -2\\\ 0 & 2 \end{bmatrix}$

乘-1后

$\begin{bmatrix} -2 & 2\\\ 0 & -2 \end{bmatrix}$

恰好第一列就是第一个特解的主变量，第二列就是第二个特解的主变量

证明

假设R是简化行阶梯形式，假设主列I在前，自由列F在后

$R = \begin{bmatrix} I & F\\\ 0 & 0 \end{bmatrix}$

定义零空间矩阵N，每一列都是Rx = 0的一个特解

有$N = \begin{bmatrix} -F \\\ I \end{bmatrix}$