主要内容

本节引入了${\mathbb{R}}^n$中子空间的概念，子空间并不是${\mathbb{R}}^n$的任意一组向量的切割，而是需要满足向量加法和乘法的封闭性（${\mathbb{R}}^n$中通过原点的线、平面），接着引入了两个典型的子空间：矩阵的列空间和矩阵的零空间。最后，引入了基的概念，并以列空间和零空间为例，讲述了如何求解列空间和零空间的基。

${\mathbb{R}}^n$子空间的定义

定义：

${\mathbb{R}}^n$中的一个子空间是${\mathbb{R}}^n$中的集合$H$，具有以下三个性质：
a. 零向量属于$H$
b. 对$H$中任意的向量$\mathbf{u}$和$\mathbf{v}$，向量$\mathbf{u}+\mathbf{v}$属于$H$
c. 对$H$中任意向量$\mathbf{u}$和数$c$，向量$c\mathbf{u}$属于$H$

思考：子空间首先是${\mathbb{R}}^n$的一个子集，其次，其中的向量要满足向量加法和标量乘法性质，也就是说，子空间对加法和标量乘法运算是封闭的。这种限制条件其实定义了一个很简化的向量集合（排除掉了类似曲面、不通过原点的平面等等）。

例：

若${\mathbf{v}}_1$和${\mathbf{v}}_2$是${\mathbb{R}}^n$中的向量， H = S p a n { v 1 , v 2 } H=Span\{\boldsymbol v_1, \boldsymbol v_2\} H=Span{v1​,v2​}，则$H$是${\mathbb{R}}^n$的子空间。

证明：

取$H$中任意两个向量$\mathbf{u}$和$\mathbf{v}$，那么由于 H = S p a n { v 1 , v 2 } H = Span\{\boldsymbol v_1, \boldsymbol v_2\} H=Span{v1​,v2​}，所以有：
$$\mathbf{u}=s_1{\mathbf{v}}_1+s_2{\mathbf{v}}_2$$
$$\mathbf{v}=t_1{\mathbf{v}}_1+t_2{\mathbf{v}}_2$$
因此：
$$\mathbf{u}+\mathbf{v}=(s_1+t_1){\mathbf{v}}_1+(s_2+t_2){\mathbf{v}}_2$$
因此，$\mathbf{u}+\mathbf{v}$是${\mathbf{v}}_1$和${\mathbf{v}}_2$的线性组合，因此其属于$H$。同理可证明$c\mathbf{u}$也属于$H$，从而得证。

其实，当$n>3$时，通过原点的一个平面，通过原点的一条直线，都是${\mathbb{R}}^n$的子空间。而不通过原点的一条直线不是子空间，因为它不包括原点，而且对向量加法或标量乘法是不封闭的。

注意：${\mathbb{R}}^n$是它本身的子空间（思考：${\mathbb{R}}^n$中充满了所有维度为$n$的向量，他们之间任意的组合都不会跳出这个空间，因此${\mathbb{R}}^n$本身必然满足子空间的限制条件，而对于${\mathbb{R}}^n$中的任意某一个部分，就不一定满足子空间的条件了，这时要对该空间做考察才行）。

矩阵的列空间与零空间

定义：

矩阵$A$的列空间是$A$的各列的线性组合的集合，记作$ColA$

若$m\times n$矩阵A = $\left[\begin{array}{ccc}{\mathbf{a}}_1& {\mathbf{a}}_2& {\mathbf{a}}_3\end{array}\right]$，它们各列属于${\mathbb{R}}^m$，则$ColA$和 S p a n { a 1 , . . . a n } Span\{\boldsymbol a_1,...\boldsymbol a_n\} Span{a1​,...an​}相同。$ColA$是${\mathbb{R}}^m$的子空间。注意，仅当$A$的列生成${\mathbb{R}}^m$时，$ColA$等于${\mathbb{R}}^m$，否则，$ColA$仅是${\mathbb{R}}^m$的一部分。
例：

设$A=\left[\begin{array}{ccc}1& -3& 4\\ -4& 6& -2\\ -3& 7& 6\end{array}\right]$，$\mathbf{b}=\left[\begin{array}{c}3\\ 3\\ -4\end{array}\right]$，确定$\mathbf{b}$是否属于$A$的列空间。

解：

根据定义，当且仅当方程$A\mathbf{x}=\mathbf{b}$有解时，$\mathbf{b}$属于$A$的列空间。
因此，对增广矩阵进行行化简得：
$$\left[\begin{array}{cccc}1& -3& -4& 3\\ 0& -6& -18& 15\\ 0& 0& 0& 0\end{array}\right]$$
可知$A\mathbf{x}=\mathbf{b}$相容，从而$\mathbf{b}$属于$ColA$。

从这个例子，可以总结以下：$A$的列空间是所有使方程组$A\mathbf{x}=\mathbf{b}$有解的向量$\mathbf{b}$的集合。

定义：

矩阵$A$的零空间是齐次方程$A\mathbf{x}=0$的所有解的集合，记为$NulA$

当$A$有$n$列时，$A\mathbf{x}=0$的解属于${\mathbb{R}}^n$,$A$的零空间是${\mathbb{R}}^n$的子集。
定理：

$m\times n$矩阵$A$的零空间是${\mathbb{R}}^n$的子空间。等价地，$n$个未知数的$m$个齐次线性的方程组$A\mathbf{x}=0$的所有解的集合是${\mathbb{R}}^n$的子空间。

证：

取$NulA$中任意两个向量$\mathbf{u}$和$\mathbf{v}$，那么有：$A\mathbf{u}=0$，$A\mathbf{v}=0$。由矩阵乘法的性质：
$$A(\mathbf{u}+\mathbf{v})=A\mathbf{u}+A=0+0=0$$
因此，$\mathbf{u}+\mathbf{v}$也属于$NulA$。
另外，对任意数$c$，有：
$$A(c\mathbf{u})=c(A\mathbf{u})=c(0)=0$$
因此，$c\mathbf{u}$也属于$NulA$。
由此，得证。

子空间的基

子空间内一般有无数多个向量，故子空间中的问题最好能够通过研究生成这个子空间的一个小的有限集合来解决，这个集合越小越好。最小可能的生成集合必是线性无关的（假设这个集合是线性相关的，那么其中至少有一个向量可以被表示为该集合中其他向量的线性组合，因此这种情况下该向量肯定不是必要的，该集合肯定不是最小集合）。
定义:

${\mathbb{R}}^n$中子空间$H$的一组基是$H$中一个线性无关集，它生成$H$。

例：

可逆$n\times n$矩阵的各列构成${\mathbb{R}}^n$的一组基，因为它们线性无关，而且生成${\mathbb{R}}^n$，这由逆矩阵定理可知。一个这样的矩阵是$n\times n$单位矩阵，它的各列用${\mathbf{e}}_1,\cdots ,{\mathbf{e}}_n$表示，称为${\mathbb{R}}^n$的标准基。
$${\mathbf{e}}_1=\left[\begin{array}{c}1\\ 0\\ ...\\ 0\end{array}\right],{\mathbf{e}}_2=\left[\begin{array}{c}0\\ 1\\ ...\\ 0\end{array}\right],{\mathbf{e}}_n=\left[\begin{array}{c}0\\ ...\\ 0\\ 1\end{array}\right]$$

零空间的基

例：

求下列矩阵的零空间的基：
$$A=\left[\begin{array}{ccccc}-3& 6& -1& 1& -7\\ 1& -2& 2& 3& -1\\ 2& -4& 5& 8& -4\end{array}\right]$$

解：

要求$A$的零空间的基，首先要求出$A\mathbf{x}=0$的解集，再从解集中找出一组基。
通过行化简，可知$A\mathbf{x}=0$的通解为：
$$x_1=2x_2+x_4-3x_5,x_3=-2x_4+2x_5$$
其中，$x_2$，$x_4$，$x_5$为自由变量。
通过之前的知识，解向量的通解可用下列形式表示：
$$\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\\ x_4\\ x_5\end{array}\right]=\left[\begin{array}{c}2x_2+x_4-3x_5\\ x_2\\ -2x_4+2x_5\\ x_4\\ x_5\end{array}\right]=x_2\left[\begin{array}{c}2\\ 1\\ 0\\ 0\\ 0\end{array}\right]+x_4\left[\begin{array}{c}1\\ 0\\ -2\\ 1\\ 0\end{array}\right]+x_5\left[\begin{array}{c}-3\\ 0\\ 2\\ 0\\ 1\end{array}\right]=x_2\mathbf{u}+x_4\mathbf{v}+x_5\mathbf{w}$$
该方程说明，$NulA$与$\mathbf{u}$，$\mathbf{v}$，$\mathbf{w}$的所有线性组合的集合是一致的，而$\mathbf{u}$，$\mathbf{v}$，$\mathbf{w}$又是线性无关的，因此， { u , v , w } \{\boldsymbol u, \boldsymbol v, \boldsymbol w\} {u,v,w}构成了$NulA$的一组基。

列空间的基

例：

求下列矩阵的列空间的基：
$$\left[\begin{array}{ccccc}1& 0& -3& 5& 0\\ 0& 1& 2& -1& 0\\ 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0\end{array}\right]$$

解：

用${\mathbf{b}}_1,\cdots ,{\mathbf{b}}_5$表示$B$的列，通过观察知道：${\mathbf{b}}_3=-3{\mathbf{b}}_1+2{\mathbf{b}}_2,{\mathbf{b}}_4=5{\mathbf{b}}_1-{\mathbf{b}}_2$。也就是说，${\mathbf{b}}_3$和${\mathbf{b}}_4$是主元列的组合。若$\mathbf{v}$是$ColB$的任意向量，比如：
$$\mathbf{v}=c_1{\mathbf{b}}_1+c_2{\mathbf{b}}_2+c_3{\mathbf{b}}_3+c_4{\mathbf{b}}_4+c_5{\mathbf{b}}_5$$
把${\mathbf{b}}_3$和${\mathbf{b}}_4$代入，可把$\mathbf{v}$写成：
$$\mathbf{v}=c_1{\mathbf{b}}_1+c_2{\mathbf{b}}_2+c_3(-3{\mathbf{b}}_1+2{\mathbf{b}}_2)+c_4(5{\mathbf{b}}_1-{\mathbf{b}}_2)+c_5{\mathbf{b}}_5$$
可见，$B$的主元列构成$ColB$的基。

上例中的矩阵$B$已经是一个简化阶梯形了，假设有一个普通矩阵$A$，其可以行化简为$B$，那么$ColA$的基如何求解呢？可以从这个角度考虑：$A$的各列之间的线性相关关系可表示为形式：$A\mathbf{x}=0$，当$A$行化简为阶梯形$B$时，它的列虽然改变，但方程$A\mathbf{x}=0$和$B\mathbf{x}=0$有相同的解集，即$A$的列与$B$的列有相同的线性相关关系。因此， { a 1 , a 2 , a 5 } \{\boldsymbol a_1, \boldsymbol a_2, \boldsymbol a_5\} {a1​,a2​,a5​}必是线性无关的，其是$ColA$的一组基。

定理：

矩阵$A$的主元列构成$A$的列空间的基

注意：一定要用$A$的主元列本身作为$ColA$的基，阶梯形$B$的列通常并不在$A$的列空间内，例如，在上例中，一个矩阵$A=\left[\begin{array}{ccccc}1& 3& 3& 2& -9\\ -2& -2& 2& -8& 2\\ 2& 3& 0& 7& 1\\ 3& 4& -1& 11& -8\end{array}\right]$可以行等价为阶梯形矩阵$B$，但$B$的最后一行都是零，明显不可能生成$A$的列。