CP8.可解性与解的结构

前言

方程组$AX=b$，其中$$A=\left[\begin{array}{cccc}1& 2& 2& 2\\ 2& 4& 6& 8\\ 3& 6& 8& 10\end{array}\right]$$方程组为$$\left[\begin{array}{cccc}1& 2& 2& 2\\ 2& 4& 6& 8\\ 3& 6& 8& 10\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\\ x_4\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\\ b_3\end{array}\right]$$
观察方程组的系数矩阵，第一行和第二行相加得到第三行，因此A矩阵的各行是线性相关的；消元求解的过程中， $b_i$ 是增广矩阵的一部分，因此$b_1+b_2=b_3$才能够让方程组有解，下面进行消元处理。
$$\left[\begin{array}{ccccc}1& 2& 2& 2& b_1\\ 2& 4& 6& 8& b_2\\ 3& 6& 8& 10& b_3\end{array}\right]\to \left[\begin{array}{ccccc}1& 2& 2& 2& b_1\\ 0& 0& 2& 4& b_2-2b_1\\ 0& 0& 0& 0& b_3-b_2-b_1\end{array}\right]$$
如果$AX=b$有解，必须满足$b_3-b_2-b_1=0$即，$b_1+b_2=b_3$跟前面的推论一致。从增广矩阵的消元结果可以知道$x_2,x_4$是自由变量可以自由赋值。式子$AX=b$其实可以看作是矩阵A左乘了X，本质上是对A的列向量进行线性组合，因此b必须要在A的列空间内，否则方程无解。

特解

从字面意义上看，特解应当是一个特殊的解，其特殊性在于我们可以对自由变量任意赋值，本例中我们用最简单粗暴的赋值$x_2=x_4=0$，那么方程组可以表达为：$$\begin{gathered} x_1+2x_3=b_1 \\ 2x_3=b_2-b_1 \end{gathered}$$回顾前面说的，要让方程组有解，$b_i$务必满足$b_1+b_2=b_3$假设$b_1=1,b_2=5,b_3=6$，方程组可以表示为：$$\begin{gathered} x_1+2x_3=1 \\ 2x_3=4 \end{gathered}$$因此可以解除方程的解：$x_3=2,x_1=-3$，因此方程组的特解为：
$$x_p=\left[\begin{array}{c}-3\\ 0\\ 2\\ 0\end{array}\right]$$

通解

$AX=b$的通解是一个特解加上A的零空间。矩阵A的零空间是$AX=0$的两个解的线性组合，即$$c_1\left[\begin{array}{c}-2\\ 1\\ 0\\ 0\end{array}\right]+c_2\left[\begin{array}{c}2\\ 0\\ -2\\ 1\end{array}\right]$$。因此方程$AX=b$的通解是：$$x=\left[\begin{array}{c}-3\\ 0\\ 2\\ 0\end{array}\right]+c_1\left[\begin{array}{c}-2\\ 1\\ 0\\ 0\end{array}\right]+c_2\left[\begin{array}{c}2\\ 0\\ -2\\ 1\end{array}\right]$$其中$c_1,c_2$是任意实数。

秩

矩阵的秩就是矩阵的主元数，一般用$r$表示，一个$m\times n$的矩阵，必然满足$r\le m$和$r\le n$。

列满秩

列满秩$r=n$，实际上就是矩阵A中没有线性相关的列，方程的解中不存在自由变量，方程组有唯一解，或者无解。矩阵A的零空间只有零向量。

行满秩

行满秩$r=m<n$，实际上是方程组之间线性无关，主变量$r$个，自由变量$n-r$个。方程组必然存在解，但存在自由变量，因此有无限种可能

方阵满秩

方阵满秩$r=m=n$，矩阵可逆，A的零空间只有零向量，无论$b$取何值，$AX=b$都只有唯一解。

$r=m=n$	$r=n<m$	$r=m<n$	$r<n,r<m$
$R=I$	$R=\left[\begin{array}{c}I\\ 0\end{array}\right]$	$R=\left[\begin{array}{cc}I& F\end{array}\right]$	$R=\left[\begin{array}{cc}I& F\\ 0& 0\end{array}\right]$
唯一解	无解或唯一	无穷多解	无解或无穷多解