第十节 四个基本子空间

四个子空间

本节我们将讨论矩阵的四个基本子空间，上一节我们知道向量空间由其维数及基确定，因此我们将从子空间的维数以及如何求得基来讨论，对于$m\times n$矩阵$A$，四个子空间是：

• 列空间$C(A)\in R^m$，$dimC(A)=r$，主列即为列空间的基
• 零空间$N(A)\in R^n$，$dimN(A)=n-r$，$Ax=0$特解即为零空间的基

以上两个是上一节介绍的内容，另外一个是行空间，故名思意，由矩阵的行向量所有线性组合得到，这里我们习惯用列向量，那么如何用列向量来表达呢？可以表示为$A^{\mathrm{T}}$的列向量，最后一个是转置矩阵的零空间，又称左零空间。即：

• 行空间$C(A^{\mathrm{T}})\in R^n$，$dimC(A^{\mathrm{T}})=r；$ ($rank(A^{\mathrm{T}})=rank(A)$)
• 左零空间$N(A^{\mathrm{T}})\in R^m$，$dimC(A^{\mathrm{T}})=m-r$

观察这些子空间可以发现，$n$维空间中存在两个维数，一个是$r$维的行空间，一个是$n-r$维的零空间，两个维数相加恰好等于$n$。对于$m$维空间有同样的性质：

接下来如何求解行空间和左零空间的特解呢？我们想到的可能是对矩阵$A^{\mathrm{T}}$进行消元、行化简，其主列就是行向量的基，这样当然可以求得，但是这样增加了$A^{\mathrm{T}}$的转换工作。我们还是以上一节的矩阵为例：
$$A=\left[\begin{array}{cccc}1& 2& 3& 1\\ 1& 1& 2& 1\\ 1& 2& 3& 1\end{array}\right]\Rightarrow \left[\begin{array}{cccc}1& 0& 1& 1\\ 0& 1& 1& 0\\ 0& 0& 0& 0\end{array}\right]=R$$
经过化简后，显然矩阵的列空间发生了变化，基$C(A)\ne C(R)$，但是其行空间未发生变换，因为消元、行化简等价于对行做线性组合，因此$C(A^{\mathrm{T}})=C(R^{\mathrm{T}})$，这里矩阵$R$行空间的基显然是前两行，因此我们得出结论是：矩阵$A$行空间的基是矩阵$R$的前$r$行。
对于左零空间，有$A^{T}y=0\to (A^{T}y{)}^T=0^T\to y^{T}A=0^T$ ，因此得名。
那么如何找到他的基呢。这里我们用Gauss-Jordan消元，将增广矩阵$\left[\begin{array}{cc}{A}_{m\times n}& I_{m\times m}\end{array}\right]$中$A$的部分划为简化行阶梯形式$\left[\begin{array}{cc}{R}_{m\times n}& E_{m\times m}\end{array}\right]$，此时矩阵$E$会将所有的行变换记录下来。则$EA=R$，而在前几讲中，有当$A^{\prime }$是$m$阶可逆方阵时，$R^{\prime }$ 即是$I$，所以$E^{\prime }$就是$A^{-1}$ 。当然本例中矩阵$A$不是方阵，应用该方法后可得到以下形式：
$$\left[\begin{array}{cc}A& I\end{array}\right]=\left[\begin{array}{ccccccc}1& 2& 3& 1& 1& 0& 0\\ 1& 1& 2& 1& 0& 1& 0\\ 1& 2& 3& 1& 0& 0& 1\end{array}\right]\Rightarrow \left[\begin{array}{ccccccc}1& 0& 1& 1& -1& 2& 0\\ 0& 1& 1& 0& 1& -1& 0\\ 0& 0& 0& 0& -1& 0& 1\end{array}\right]=\left[\begin{array}{cc}R& E\end{array}\right]$$
消元可以看成矩阵乘法的形式，即$E\left[\begin{array}{cc}A& I\end{array}\right]=\left[\begin{array}{cc}R& E\end{array}\right]$，所以$EA=R$，这里有：
$$EA=\left[\begin{array}{ccc}-1& 2& 0\\ 1& -1& 0\\ -1& 0& 1\end{array}\right]\left[\begin{array}{cccc}1& 2& 3& 1\\ 1& 1& 2& 1\\ 1& 2& 3& 1\end{array}\right]=R=\left[\begin{array}{cccc}1& 0& 1& 1\\ 0& 1& 1& 0\\ 0& 0& 0& 0\end{array}\right]$$
回到我们最初的问题，我们尝试找到一个产生零行向量的行组合，很明显，$R$中的最后$m-r$行为零行向量，式中$E$的最后一行对$A$的行做线性组合后，得到$R$的最后一行，即$0$向量，也就是$y^{T}A=0^T$。向量$\left[\begin{array}{c}-1\\ 0\\ 1\end{array}\right]$即为左零向量的基。