4.9 行列均不满秩方程

4.9 行列均不满秩方程

行列均不满秩方程需综合列满秩方程和行满秩矩阵结果，进行高斯约当消元法，最终矩阵变为单位矩阵、自由矩阵和零矩阵。例如方程

$$\begin{gathered} 2x+4y+6z=12 \\ 4x+9y+13z=36 \\ 6x+13y+19z=48 \end{gathered}$$

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

方程有 $3$ 个未知数 $3$ 个方程。行列均不满秩方程，如果存在解，则有无穷多解；否则无解。

增广矩阵进行高斯消元法

$$\left[\begin{array}{cccc}2& 4& 6& 12\\ 4& 9& 13& 36\\ 6& 13& 19& 48\end{array}\right]\Rightarrow \left[\begin{array}{cccc}2& 4& 6& 12\\ 0& 1& 1& 12\\ 0& 1& 1& 12\end{array}\right]\Rightarrow \left[\begin{array}{cccc}2& 4& 6& 12\\ 0& 1& 1& 12\\ 0& 0& 0& 0\end{array}\right]$$

方程变为
$$\begin{gathered} 2x+4y+6z=12 \\ y+z=12 \\ 0=0 \end{gathered}$$
注意此时最后一个方程变为 $0x+0y+0z=0$ ，是永远成立的平凡方程！有效方程 $2$ 个，和上面行满秩方程一样，故结论和行满秩方程一样，有无穷多解。

如同列满秩方程，如果第三个方程改变为 $6x+13y+19z=49$ ，则高斯消元后变为 $0x+0y+0z=1$ ，无解。

行列均不满秩方程 $A_{mn}$，经过高斯消元法变换后最终为 $\left[\begin{array}{c}{U}_{rr},F_{r,n-r}\\ {\mathbf{O}}_{m-r,r},{\mathbf{O}}_{r,n-r}\end{array}\right]$ ，$U_{rr}$ 是 $r$ 阶上三角阵，其对角元素是矩阵 $A$ 的主元且均不为零，$F$ 是自由矩阵。为什么呢？假设没有列对调操作，一般要两阶段操作，要先变换为 $\left[\begin{array}{c}{U}_{rr},F_{r,n-r}\\ {\mathbf{O}}_{m-r,r},F_{r,n-r}^{\prime }\end{array}\right]$ 。

总结如下，行列均不满秩方程 $A_{mn}$，高斯消元法变换为 $\left[\begin{array}{c}{U}_{rr},F_{r,n-r}\\ {\mathbf{O}}_{m-r,r},{\mathbf{O}}_{r,n-r}\end{array}\right]$ ，$U_{rr}$ 是 $r$ 阶上三角阵，其对角元素是矩阵 $A$ 的主元且均不为零，$F$ 是自由矩阵。矩阵乘法表示，即对任意行列均不满秩矩阵 $A_{mn}$ ，存在可逆矩阵 $P,Q$ ，使 $PAQ=\left[\begin{array}{c}{U}_{rr},F_{r,n-r}\\ {\mathbf{O}}_{m-r,r},{\mathbf{O}}_{r,n-r}\end{array}\right]$ 成立，进一步对 $U_{rr}$ 进行高斯约当消元，则可表示为，存在可逆矩阵 $P,Q$ ，使 $PAQ=\left[\begin{array}{c}{E}_{rr},F_{r,n-r}\\ {\mathbf{O}}_{m-r,r},{\mathbf{O}}_{r,n-r}\end{array}\right]$ 成立。

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

前面章节介绍了，行列均不满秩矩阵的行向量组是相关组，列向量组也是相关组，利用高斯消元法可以找到对应的极大无关组，即变换后的矩阵 $U_{rr}$ 对应到矩阵 $A$ 的列向量即是列向量组的极大无关组，对应到矩阵 $A$ 的行向量即是行向量组的极大无关组。