2.8 R^n 的子空间
本节讨论 中重要的向量子集,称为子空间。通常子空间与某个矩阵 有关,它们提供了关于方程 Ax = b 的有用信息。本节的概念和术语将在本书以下部分经常出现。 ①
定义 中的一个子空间是 中的集合 ,具有以下三个性质:
. 零向量属于 .
. 对 中任意的向量 和 ,向量 属于 .
. 对 中任意向量 和数 ,向量 cu 属于 .
换句话说,子空间对加法和标量乘法运算是封闭的。你将在以下例子中看到,第1章中所讨论的向量集合大部分是子空间。例如,通过原点的一个平面是一种很典型的子空间,可以看
作例1 中子空间的一种实例. 见图 2-24.
若 和 是 中的向量, ,则 是 的子空间。为证明这一点,注意零向量属于 (因 是 和 的线性组合),现取 中任意两个向量,比如说
那么
这证明了 是 和 的线性组合,因此属于 H.同样,对任意数 ,向量 cu 属于 ,因为 .
若 不等于零而 是 的倍数,则 和 仅生成通过原点的直线。所以通过原点的直线是子空间的另一个例子。见图 2-25。
不通过原点的一条直线 不是子空间,因它不包括原点,同样,图 2-26说明 在加法或标量乘法下不是封闭的.
设 属于 , 的所有线性组合是 的子空间,这一结论的证明与例1
中类似,我们称 为由 生成(或张成)的子空间.
是它本身的子空间,因为三个性质都满足。另一个特殊的子空间是仅含零向量的集合,它也满足子空间的条件,称为零子空间。
矩阵的列空间与零空间
应用中, 的子空间通常出现在以下两种情况中,它们都与矩阵有关.
定义 矩阵 的列空间是 的各列的线性组合的集合,记作 Col A.
若 ,它们各列属于 ,则 Col A 和 Span 相同,例4 说明 矩阵的列空间是 的子空间。注意,仅当 的列生成 时,Col A 等于 。否则,Col A 仅是 的一部分。
设 ,确定 是否属于 的列空间.
解
向量 是 的各列的线性组合,当且仅当 可写成 Ax 的形式,其中 属于 ,也就是说,当且仅当方程 Ax = b 有解。把增广矩阵 [A b] 进行行化简:
可知 Ax=b 相容,从而 属于 Col A.

例4 的解答说明,当线性方程组写成 Ax=b 的形式时, 的列空间是所有使方程组有解的向量 的集合.
定义 矩阵 的零空间是齐次方程 Ax = 0 的所有解的集合,记为 Nul A.
当 有 列时, 的解属于 , 的零空间是 的子集。事实上, 具有 的子空间的性质。
矩阵 的零空间是 的子空间. 等价地, 个未知数的 个齐次线性方程的方程组 Ax = 0 的所有解的集合是 的子空间.
证明
零向量属于Nul (因 ).为证明Nul 满足其他两个性质,取Nul 中两个向
量 和 ,即设 和 。那么由矩阵乘法的性质,
于是 满足 Ax=0,所以 属于 Nul A.同样,对任意数 , ,这就证明了 cu 也属于 Nul A.
为检验给定向量 是否属于 Nul A,只要计算 Av,看它是否为零向量。因 Nul A 是用其中每个向量必须满足的一个条件来描述的,所以说零空间是隐式定义的。相反,列空间是显式定义的,因 Col A 中的向量可由 的各列(利用线性组合)构造出来。为了建立 Nul A 的显式描述,解 Ax=0 这个方程,把解写成参数向量形式。(见下面的例6。) ①
因为子空间一般含有无穷多个向量,故子空间中的问题最好能够通过研究生成这个子空间的一个小的有限集合来解决,这个集合越小越好.可以证明,最小可能的生成集合必是线性无关的.
定义 中子空间 的一组基是 中一个线性无关集,它生成 .
可逆 矩阵的各列构成 的一组基,因为它们线性无关,而且生成 ,这由逆矩阵定理可知。一个这样的矩阵是 单位矩阵,它的各列用 表示:
称为 的标准基. 见图 2-27.
下例说明,求出方程 Ax=0 的解集的参数向量形式实际上就是确定 Nul A 的基,这一事实将在第 5 章应用.
求出下列矩阵的零空间的基.
解
首先把方程 Ax = 0 的解写成参数向量形式:
通解为 为自由变量.
方程(1)说明Nul 与 的所有线性组合的集合是一致的,即 生成Nul ,事实上, 的构造保证了它们线性无关,因为(1)式说明,
仅当权 等于零时成立。(观察向量 的第2,4,5个元素。)因此 是Nul 的一组基。
求矩阵的列空间的基比求零空间的基容易. 然而, 这个方法需要一些说明, 我们从一个简单情形开始.
求下列矩阵的列空间的基:
解
用 表示 的列,注意 . 和 是主元列的组合,这意味着 的任意组合实际上仅是 和 的组合. 事实上,若 是 Col B 的任意向量,比如说,
则把 和 代入,可把 写成
它是 和 的线性组合,所以 生成Col B.又 和 为线性无关,因为它们是单位矩阵的列,所以的主元列构成Col B的基.
例7 中的矩阵 是简化阶梯形. 为处理一个一般的矩阵 ,回顾 的各列之间的线性相关关系可表示为形式 Ax = 0(若某些列不含在特殊的线性相关关系中,则 中的对应元素为零). 当 行化简为阶梯形 时,它的列虽然改变,但方程 Ax = 0 和 Bx = 0 有相同的解集. 即 的列与 的列有相同的线性相关关系.
可以证明矩阵
行等价于例7 中的矩阵 . 求 Col A 的一组基.
解
由例7, 的主元列是第1,2,5列.同时有 和 ,因行变换不影响矩阵的列之间的线性相关关系,故有
经验证这是成立的!由例7的讨论,生成 的列空间不需要用 和 。同样, 必是线性无关的,因 之间的任意线性相关关系必然也使 有同样的关系。因 线性无关, 也线性无关,因此是Col 的一组基。
例8 的讨论可以用来证明下列定理.
矩阵 的主元列构成 的列空间的基.
小心,要用 的主元列本身作为 的基,阶梯形 的列通常并不在 的列空间内。(例如在例7和例8中, 的列的最后一行都是零,不可能生成 的列。)
-
设 , . 是否属于Nul ? 是否属于Col ? 给出理由.
-
设 ,求 中的一个向量和 中的一个向量.
-
设一个 矩阵 是可逆的,则 和 会如何?
习题 1~4 画的是 中的子集. 假设这些集合包含边界线,说明这些集 不是 的子空间的理由.(例如,找出 中两个向量,它们的和不属于 ,或求出 中一个向量,它的倍数不属于 . 画出图形.)




- ,确定 是否属于
的由 和 生成的子空间.
是否属于 中由 生成的子空间.
-
a. 中有多少个向量? b. Col A 中有多少个向量? c. p 是否属于 Col A? 为什么?
-
设 ,确定
是否属于 Col A,其中 .
-
和 如习题 7,判断 是否属于 Nul A.
-
, 如习题 8,确定 是否属于 Nul A.
习题 11~12 给出整数 和 使 Nul A 是 的子空间,Col A 是 的子空间.
-
如习题 11, 求 Nul A 和 Col A 中的一个非零向量.
-
如习题 12,求 和 中的一个非零向量.
习题 15~20 中,确定哪个集是 或 的基. 验证你的答案.
在习题 21 和习题 22 中, 标出每个命题的真假. 验证你的答案.
- . 的一个子空间是任一集 满足()零向量属于 ,(ii) 和 属于 ,(iii) 是数,cu属于 :
. 若 属于 ,则 Span 等价于矩阵 的列空间.
. 一个 行齐次线性方程组有 个未知量,其全体解组成的集合是 的一个子空间.
. 一个 可逆矩阵的列构成 的一组基.
e. 行变换不改变矩阵的列之间的线性相关关系.
- . 中的子集 是一个子空间, 若零向量属于 . b. 给定 中的向量 ,这些向量的所有线性组合所构成的集合是 的一个子空间.
. 一个 矩阵的零空间是 的子空间.
. 矩阵 的列空间是 Ax=b 的解的集合.
. 若 是矩阵 的阶梯形, 则 的主元列构成 Col A 的一组基.
习题 23~26 中,给出矩阵 和 的阶梯形,求出 Col A 和 Nul A 的基.
-
构造一个 矩阵 和一个非零向量 , 其中 属于 但与 的任一列都不同.
-
构造一个 矩阵 和一个非零向量 ,其中 不属于 Col .
-
构造一个 矩阵 和一个非零向量 ,其中 属于Nul .
-
设矩阵 的各列线性无关,说明为什么 是 Col A 的一组基.
习题 31~36 中, 尽可能全面地回答, 给出理由.
-
设 是 矩阵,其列空间不等于 ,则Nul 会如何?
-
若 是 矩阵,Nul R 不是零子空间,则 Col R 会如何?
-
若 是 矩阵, 属于 ,则对形如 的方程,其解会如何?
-
若 是 矩阵,Nul 是零子空间, 属于 ,则对形如 的方程,其解会如何?
-
若 是 矩阵,有线性无关的列,则Nul 会如何?
-
若 矩阵 的各列构成 的一组基,则该矩阵的形状会如何?
[]习题37和习题38中,求出给定矩阵 的列空间和零空间.验证你的答案.
- 为确定 是否属于Nul ,只需计算
结果显示 属于Nul .要确定 是否属于Col 需要做更多的工作.化简增广矩阵[A u]为阶梯形来判断方程 是否相容:
方程 Ax = u 无解,因此 不属于 Col A.
-
与练习题1相比,求Nul 的一个向量比判定一个给定的向量是否属于Nul 需要做更多的工作。但是,由于 已经是阶梯形,因此方程 给出如果 ,则 是自由变量。因此,Nul 的一个基是 。求Col 的一个向量是简单的,因为 中的每一列都属于Col 。此外,同一个向量 既属于Nul ,又属于Col 。对大部分 矩阵而言, 中只有零向量是既属于Nul ,又属于Col 。
-
如果 是可逆的,则根据可逆矩阵定理, 的各列生成 。由定义可知,任何矩阵的列总是可以生成该矩阵的列空间,因此这里 就是全部的 。用符号表示就是 。同时,因为 是可逆的,故方程 只有平凡解。这意味着 是零子空间,用符号表示就是 。
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。