4.7 列满秩方程

4.7 列满秩方程

对于可逆矩阵，高斯约当消元法可以求得方程的解和逆矩阵，同样也可以应用于列满秩矩阵。列满秩矩阵进行高斯约当消元法，最终矩阵变为单位矩阵和零矩阵。例如方程

$$\begin{gathered} 2x+4y=2 \\ 4x+9y=8 \\ 6x+13y=10 \end{gathered}$$

系数矩阵为
$$A=\left[\begin{array}{cc}2& 4\\ 4& 9\\ 6& 13\end{array}\right]$$
是列满秩矩阵。

方程有 $2$ 个未知数，但是有 $3$ 个方程，一般来说是矛盾方程，无解。但当 $\mathbf{b}$ 能被矩阵 $A$ 向量组表示时，有唯一解。

增广矩阵进行高斯消元法

$$\left[\begin{array}{ccc}2& 4& 2\\ 4& 9& 8\\ 6& 13& 10\end{array}\right]\Rightarrow \left[\begin{array}{ccc}2& 4& 2\\ 0& 1& 4\\ 0& 1& 4\end{array}\right]\Rightarrow \left[\begin{array}{ccc}2& 4& 2\\ 0& 1& 4\\ 0& 0& 0\end{array}\right]$$

注意此时最后一个方程变为 $0x+0y=0$ ，是永远成立的平凡方程！真正有效的方程数量是 $2$ 个。方程解为 $x=-7,y=4$ 。

如果第3个方程系数改变

$$\begin{gathered} 2x+4y=2 \\ 4x+9y=8 \\ 6x+13y=11 \end{gathered}$$

最后变换为

$$\left[\begin{array}{ccc}2& 4& 2\\ 0& 1& 4\\ 0& 0& 1\end{array}\right]$$

注意此时最后一个方程变为 $0x+0y=1$ ，无解！

总结如下，列满秩矩阵 $A_{mn}$，高斯消元法变换为 $\left[\begin{array}{c}{U}_{nn}\\ {\mathbf{O}}_{m-n,n}\end{array}\right]$ ，$U_{nn}$ 是 $n$ 阶上三角阵，其对角元素是矩阵 $A$ 的主元且均不为零，${\mathbf{O}}_{m-n,n}$ 是零矩阵。矩阵乘法表示为 $L_{mm}A=\left[\begin{array}{c}{U}_{nn}\\ {\mathbf{O}}_{m-n,n}\end{array}\right]$ ，$L_{mm}$ 是 $m$ 阶单位下三角阵。

对向量 $\mathbf{b}$ ，如果 $L_{mm}\mathbf{b}=\left[\begin{array}{c}{\mathbf{b}}^{\prime }\\ 0\end{array}\right]$ ，即后 $m-n$ 个分量都为 $0$ ，则方程 $A_{mn}\mathbf{x}=\mathbf{b}$ 有唯一解；只要后 $m-n$ 个分量有一个不为 $0$ ，则方程无解。

$U_{nn}$ 继续进行高斯约当消元，则变为单位矩阵 $E_{nn}$ ，用矩阵乘法表示为 $P_{mm}A=\left[\begin{array}{c}{E}_{nn}\\ {\mathbf{O}}_{m-n,n}\end{array}\right]$ ，$P_{mm}$ 是 $m$ 阶可逆矩阵。

上面的方法是没有进行行对调，如果需要则可以先进行行对调，再进行消元。

矩阵乘法表示，即对任意列满秩矩阵 $A$ ，存在可逆矩阵 $P,Q$ ，使 $PAQ=\left[\begin{array}{c}{U}_{nn}\\ {\mathbf{O}}_{m-n,n}\end{array}\right]$ 成立，进一步对 $U_{nn}$ 进行高斯约当消元，则可表示为，存在可逆矩阵 $P,Q$ ，使 $PAQ=\left[\begin{array}{c}{E}_{nn}\\ {\mathbf{O}}_{m-n,n}\end{array}\right]$ 成立。

前面章节介绍了，列满秩矩阵的行向量组是相关组，其极大无关组是 $n$ 维空间的基。利用高斯消元法可以找到列满秩矩阵的极大无关组，变换后的矩阵 $U_{nn}$ 对应到矩阵 $A$ 的行向量即是极大无关组。本例中
$\left[\begin{array}{cc}2& 4\\ 4& 9\end{array}\right]$ 这两个行向量就是矩阵 $A$ 行向量的极大无关组。