【线性代数】【二】2.5 零空间与非齐次线性方程组的解集

---

前言

上文讲到矩阵的零空间，即线性方程组$\mathbf{Ax}=0$的解集。那么容易联想到的一个问题是，$\mathbf{Ax}=\mathbf{b}$的解集有什么性质？也会构成类似的向量空间吗？与矩阵的零空间有什么联系呢？

---

一、齐次线性方程组的解集

$\mathbf{Ax}=0$被称为齐次线性方程组，即常数项为0的线性方程组。它的解集根据上篇笔记2.4中的结论，就是矩阵$\mathbf{A}$的零空间。我们也找到了构成出该零空间的一组基的方法，即先找到矩阵列向量的一个极大线性无关组，再依次令“多余”列向量的系数分别为1，求解出若干解向量，这些解向量即构成零空间的基。由这组基进行任意的线性组合得到的向量都是方程组$\mathbf{Ax}=0$的解。

二、非齐次线性方程组的解集。

$\mathbf{Ax}=\mathbf{b}$被称为非齐次线性方程组，其中$\mathbf{b}\ne 0$。它的解集会构成向量空间吗？显然不会，因为零向量不是该方程组的解。下面我们来分析一下这个解集的性质，并分析其与矩阵零空间的关系。

2.1 矩阵的列秩等于列数时

列秩等于列数，说明矩阵的列向量之间皆线性无关（此时，称矩阵为满秩矩阵）。因此，根据笔记2.3中的结论（用一组线性无关的向量表示一个与之线性相关的向量时，只存在唯一的一组线性表示系数。），若向量$\mathbf{b}$属于矩阵列空间，则基于矩阵$\mathbf{A}$的列向量，只存在唯一的一组线性表示系数使得方程组成立。即只存在唯一解。若向量$\mathbf{b}$不属于矩阵列空间则无解。

2.1 矩阵的列秩小于列数时

此时，则说明存在“多余向量”。不妨设矩阵$\mathbf{A}$的列数为$m$，列秩为$n$，$n<m$。由笔记2.4中的结论，矩阵$\mathbf{A}$的零空间维度为$m-n$。同样，若向量$\mathbf{b}$不属于矩阵列空间，方程组仍然无解。若向量$\mathbf{b}$属于矩阵列空间，则我们可以通过$n$个线性无关向量对$\mathbf{b}$做唯一的线性表示：

$\mathbf{b}=x_1{\mathbf{a}}_1+x_2{\mathbf{a}}_2+\dots +x_n{\mathbf{a}}_n$

因此，若我们令$x_{n+1}$到$x_m$均为0，构造向量${\mathbf{x}}^{\prime }=[x_1,x_2,\dots ,x_n,0,\dots ,0]$，则该向量必然是方程组的一个解：

${\mathbf{Ax}}^{\prime }=x_1{\mathbf{a}}_1+x_2{\mathbf{a}}_2+\dots +x_n{\mathbf{a}}_n+0+\dots +0=\mathbf{b}$

我们可以称${\mathbf{x}}^{\prime }$为非齐次线性方程组的一个特解。结合齐次方程组的解${\mathbf{x}}^{\ast }$，我们容易得到下列式子成立：

${\mathbf{Ax}}^{\prime }+{\mathbf{Ax}}^{\ast }=\mathbf{A}({\mathbf{x}}^{\prime }+{\mathbf{x}}^{\ast })=\mathbf{b}+0=\mathbf{b}$

可见，${\mathbf{x}}^{\prime }+{\mathbf{x}}^{\ast }$也是非齐次方程组的解（称之为通解）。也就是说，找到非齐次方程组的一个特解，对其加上任意属于矩阵$\mathbf{A}$的零空间的向量，结果仍为非齐次方程组的解。

紧接着的一个问题就是，上述我们寻找特解的方式是用线性无关组得到的，如果我们不限制这个条件，也能找到不一样的特解。甚至我们基于不同的极大线性无关组（极大线性无关组的向量数量是确定的，但是组成可以不同。），也能找到不同的特解。那么，是不是我们任意找到一个特解，加上零空间的向量构造出来的通解，都是等价的呢？换句话说：**所构造出来的通解一定包含所有的解吗？**下面我们来证明这件事情：

不妨令我们任意找到的一个特解为${\mathbf{x}}^{\prime }$，以及矩阵的零空间$N(\mathbf{A})$=Span$({\mathbf{x}}_{n+1},{\mathbf{x}}_{n+2},\dots ,{\mathbf{x}}_m)$，这里Span表示张成的空间。假设$\exists {\mathbf{x}}_0$，满足${\mathbf{Ax}}_0=\mathbf{b}$，且${\mathbf{x}}_0\ne {\mathbf{x}}^{\prime }+{\mathbf{x}}^{\ast }$，对$\forall {\mathbf{x}}^{\ast }\in N(\mathbf{A})$成立。
$⟺{\mathbf{x}}_0-{\mathbf{x}}^{\prime }\ne {\mathbf{x}}^{\ast }$
$⟺{\mathbf{Ax}}_0-{\mathbf{Ax}}^{\prime }=\mathbf{b}-\mathbf{b}\ne 0$
矛盾！因此原命题不成立。

于是我们得出结论：所有的非齐次方程组的解，均可表示为任意特解与零空间向量组合的形式，即${\mathbf{x}}^{\prime }+{\mathbf{x}}^{\ast }$。

---

总结

本文推导出了非齐次性方程组的解集的通解形式，并证明了该形式包含了任意解。从此，我们求解非齐次方程组便有了一般方法：1）先构造一组零空间的基向量；2）找到非齐次方程组的任意一个特解；3）将该特解加上零空间基向量的任意线性组合。