4.2 零空间、列空间和线性变换
在线性代数的应用中, 的子空间通常由以下两种方式产生:(1)作为齐次线性方程组的解集;(2)作为某些确定向量的线性组合的集合。本节中,我们比较和构造这两类子空间,体验子空间的概念。事实上,正如你将要看到的,我们从1.3节以来一直与子空间打交道,这里的主要新特征是术语。本节包括对线性变换的值域与核的讨论。
矩阵的零空间
考虑下列齐次方程组:
用矩阵的形式,此方程组可写成 Ax = 0,其中
所有满足(1)的 的集合称为方程组(1)的解集,通常将这个解集直接与矩阵 和方程 Ax = 0 联系起来是方便的。我们称满足 Ax = 0 的所有 的集合为矩阵 的零空间。
定义 矩阵 的零空间写成 Nul A,是齐次方程 Ax = 0 的全体解的集合。用集合符号表示,即
Nul 的更进一步的描述为 中通过线性变换 映射到 中的零向量的全体向量 的集合,见图 4-11.
设 为(2)式中所示的矩阵,令 ,确定 是否属于 的零空间.
解
为验证 是否满足 ,简单计算
所以 .
空间这个词用在零空间上是合适的,因为一个矩阵的零空间是一个向量空间,在下列定理中会见到.
矩阵 的零空间是 的一个子空间. 等价地, 个方程、 个未知数的齐次线性方程组 Ax = 0 的全体解的集合是 的一个子空间.
证明
由于 有 个列,故 当然是 的一个子集,我们必须证明 满足子空间的3个性质。0当然在 中,其次令 和 表示 中任意两个向量,则
为证 在Nul 中,必须证 ,利用矩阵乘法的性质,有
从而 ,于是Nul 对向量加法是封闭的.最后,若 是任意一个数,则
从而 ,于是 是 的一个子空间.
令 是 中坐标 , , , 满足方程 且 c - a = b 的所有向量的集合,证明 是 的一个子空间.
解
通过重新调整描述 的元素的方程组,我们发现 即下列齐次线性方程组的解集:
由定理2, 是 的一个子空间.
定义集合 的线性方程组是齐次的这个条件是很重要的,否则,其解集不能确定一个子空间(因为零向量不是非齐次方程组的解),而且在某些情形下,解集可能是空集.
Nul A 的一个显式刻画
Nul A 中的向量与 中的元素之间没有明显的关系. 我们称 Nul A 被隐式地定义, 这是由于它被一个必须要检验的条件所定义. 没有明确地列出或描述 Nul A 中的元素. 然而, 当我们解出方程 Ax = 0, 就得到 Nul A 的显式刻画. 我们先复习一下 1.5 节中已有的解题步骤.
求矩阵 的零空间的生成集,其中
解
第一步是求 Ax=0 的关于自由变量的通解. 通过行化简增广矩阵 [A 0] 为简化阶梯形用自由变量写出基本变量:
通解为 是自由变量。其次,将通解给出的向量分解为向量的线性组合,用自由变量作权,即
, 和 的每一个线性组合都是 Nul A 中的一个元素,反之亦然。从而 是 Nul A 的一个生成集。
关于例3 的解应该得到以下两点事实,它们对所有此类问题均适合,我们将在后面用到。
-
由例3中的方法产生的生成集必然是线性无关的,这是因为自由变量是生成向量上的权。比如,观察(3)式中解向量的第2,4,5个元素,注意到只有当权 全为零时 为零。
-
Nul A 包含非零向量时,它的生成集中向量的个数等于方程 Ax = 0 中自由变量的个数。矩阵的列空间
与矩阵相关的另一个重要的子空间是它的列空间。与零空间不同,列空间可以由向量的线性组合显式定义。
定义 矩阵 的列空间(记为 Col A)是由 的列的所有线性组合组成的集合。若 ,则 。
由于 是一个子空间,由定理1 及 Col A 的定义和 的列在 中这一事实得到以下定理.
矩阵 的列空间是 的一个子空间.
意到 中一个典型向量可写成 的形式,其中 为某向量,这是因为记号 表示 的列向量的一个线性组合,即
代表 Col A 中向量的记号 Ax 也表明 Col A 是线性变换 的值域,我们将在本节的最后讨论这个问题.
求一个矩阵 ,使得 .
解
首先将 写成线性组合的集合:
其次,用生成集中的向量作为 的列. 令 ,则

为所求矩阵.
回顾1.4节中的定理4, 的列生成 当且仅当方程 对任一个 有解.我们可以按下列方式重述这一事实.
矩阵 的列空间等于 当且仅当方程 对 中每个 有一个解.
NuIA 与 ColA 之间的对比
一个矩阵的零空间和列空间之间的关系如何是一个很自然的问题。事实上,这两个空间是很不一样的,从例5~7中将看到这一点。然而,这两个空间之间的一个令人感到意外的关联将出现在4.6节中,这需要用到更多的理论。
令 .
. 若 的列空间是 的一个子空间, 是多少?
. 若 的零空间是 的一个子空间, 是多少?
解
. A 的每一列含有 3 个数,所以 Col A 是 的一个子空间,其中 k = 3.
. 使得 有定义的一个向量 必须有4个元素,所以Nul 是 的一个子空间,其中 :
当一个矩阵不是方阵时,比如例5中的矩阵,Nul 中的向量与Col 中的向量分别在完全不同的“域”中.例如,我们已讨论过 中向量的线性组合不能产生 中的一个向量.当 为方阵时,Nul 和Col 确实都具有零向量,并且在特殊情形下它们可能具有一些相同的非零向量.
对例5 中的 ,分别找出 Col A 和 Nul A 中的一个非零向量.
解
容易找到 中的一个向量. 的任一个列都可以,比如 .为了找到Nul 中的一个非零向量,将增广矩阵[A0]行化简,得
从而若 满足 Ax=0,则 是自由变量。 取一个非零值,比如 ,我们得到 Nul A 中一个向量,即 。
对例5 中的 ,令
. 判定 是否在Nul 中. 是否在Col 中?
. 判定 是否在Col 中, 是否在Nul 中?
解
. 这里不需要 Nul A 的一个显式刻画,简单地计算乘积 Au.
显然, 不是 的一个解,所以 不在 中。由于 是 的一个子空间, 具有4个元素,故 不可能在 中。
. 将 化简成阶梯形:
由此可见,方程 Ax = v 是相容的,所以 在 Col A 中。由于 Nul A 是 的子空间, 具有 3 个元素,故 不可能在 Nul A 中。
表4-1可以作为我们已经学过的关于Nul 与Col 的一个总结.其中的第8条是1.9节中定理11和定理12()的另一种形式.
表 4-1 对 矩阵 , Nul 与 Col 之间的对比
| Nul A | Col A |
| 1. Nul A 是 的一个子空间.2. Nul A 是隐式定义的,即仅给出了一个 Nul A 中向量必须满足的条件( ).3. 求 Nul A 中的向量需要时间,需要对 [A 0] 作行变换.4. Nul A 与 A 的元素之间没有明显的关系.5. Nul A 中的一个典型向量 v 具有 的性质.6. 给定一个特定的向量 v ,容易判断 v 是否在 Nul A 中.仅需计算 Av.7. Nul A = {0} 当且仅当方程 Ax = 0 仅有一个平凡解.8. Nul A = {0} 当且仅当线性变换 x ↦ Ax 是一对一的. | 1. Col A 是 的一个子空间.2. Col A 是显式定义的,即明确指出如何构建 Col A 中的向量.3. 容易求出 Col A 中的向量. A 的列就是 Col A 中的向量,其余的可由 A 的列表示出来.4. Col A 与 A 的元素之间有明显的关系,因为 A 的列就在 Col A 中.5. Col A 中一个典型向量 v 具有方程 Ax = v 是相容的性质.6. 给定一个特定的向量 v ,弄清 v 是否在 Col A 中需要时间,需要对 [A v] 作行变换.7. Col A = 当且仅当方程 Ax = b 对每一个 b ∈ 有一个解.8. Col A = 当且仅当线性变换 x ↦ Ax 将 映上到 . |
线性变换的核与值域
Section titled “线性变换的核与值域”我们经常需要用线性变换而不是矩阵来描述除 以外的向量空间的子空间。为了更准确,将1.8节中给出的定义进行推广。
定义 由向量空间 映射到向量空间 内的线性变换 是一个规则,它将 中每个向量 映射成 中唯一向量 ,且满足:
() ,对 中所有 , 均成立.
(ii) ,对 中所有 及所有数 均成立.
线性变换 的核(或零空间)是 中所有满足 的向量 的集合(0 为 中的零向量)。T 的值域是 中所有具有形式 (任意 )的向量的集合。如果 是由一个矩阵变换得到的,比如对某矩阵 , ,则 的核与值域恰好是前面定义的 的零空间和列空间。
不难证明 的核是 的一个子空间. 证明在本质上与定理2相同. 的一个子空间. 见图 4-12和习题30. 的一个子空间. 见图4-12和习题30.
在应用中,一个子空间往往由一个适当的线性变换的核或值域产生。比如,一个齐次线性微分方程的全部解的集合被判明是一个线性变换的核。典型地,这样一个线性变换用关于一个函数的一阶或高阶导数描述。解释这个结论将使我们远离主题,所以我们仅给出两个例子,第一个例子解释微分运算为什么是一个线性变换。
令 是定义在区间 上的所有连续可导的实函数 构成的向量空间,令 是 上所有连续函数构成的向量空间 C[,],且令 是将 中 变为其导数 的变换。由微积分中两个简单的微分法则有
于是, 是一个线性变换.可以证明 的核是 上的常函数的集合, 的值域是 上所有连续函数的集合 :
微分方程
其中 是常数,常常用来描述物理系统的一个变化过程,比如负重弹簧的振动、摆的运动以及电感-电容电路中的电压。(4)的解集恰好是将函数 映成函数 的线性变换
的核. 寻找这个向量空间的一个显式刻画是微分方程中的一个问题. 其解集是 4.1 节习题 19 中所说的空间.
-
令 ,用两种不同的方法证明 是 的一个子空间。(用两个定理。)
-
令 , , , 假设已知方程 和 都是相容的, 关于方程
,你能得出什么结论?
- 设 是一个 矩阵. 如果 Col A = Nul A. 证明 .
- 判定 是否在 Nul A 中,其中
它不是一个向量空间.
-
判定 是否在 Nul A 中,其中
在习题 3~6 中,通过求出张成零空间的向量,求出 Nul A 的一个显式表示.
在习题 7~14 中,或者利用一个适当的定理证明给出的集合 是一个向量空间,或者举例说明
在习题 15 和习题 16 中,求 使得给出的集合为 :
对习题 17~20 中的矩阵,() 求 使得 Nul A 是 的一个子空间,() 求 使得 Col A 是 的一个子空间.
-
-
-
-
-
对习题 17 中的 ,分别求出 Nul A 和 Col A 中的一个非零向量.
-
对习题 3 中的 ,分别求出 Nul A 和 Col A 中的一个非零向量.
-
令 ,判断 是否在 中, 是否在 中.
-
令 ,判定 是否在 Col 中, 是否在 Nul 中。在习题25和习题26中, 表示一个 矩阵。对每个命题判断真假,给出理由。
-
. A 的零空间是方程 Ax = 0 的解集. b. 矩阵的零空间包含在 中. c. A 的列空间是映射 的值域. d. 若方程 Ax = b 是相容的,则 Col A 就是 . e. 一个线性变换的核是一个向量空间. f. Col A 是对某 所有能写成 Ax 的向量的集合.
-
. 零空间是向量空间. b. 矩阵的列空间包含在 中. c. Col A 是 Ax = b 的所有解的集合. d. Nul A 是映射 的核. e. 一个线性变换的值域是一个向量空间. f. 一个齐次线性微分方程的所有解的集合是一个线性变换的核.
-
可以证明下列方程组的一组解为 。利用本节中的理论解释为什么 是另一组解(观察这两组解之间的关系,不要作另外的计算).
-
考察下列两个方程组: 可以证明第一个方程组有解,利用这个事实和本节中的理论解释为什么第二个方程组一定也有解。(不要作行变换。)
-
定理3 的证明如下:给定一个 矩阵 ,Col A 中任一元素均为形如 Ax, 的形式。令 Ax 和 Aw 分别为 Col A 中任意两个向量。
. 解释为什么零向量在 Col A 中. b. 证明向量 Ax + Aw 在 Col A 中. c. 给定一数 ,证明 在 Col A 中.
-
令 是一个从向量空间 到向量空间 中的线性变换,证明 的值域是 的一个子空间。(提示:值域中的典型元素具有形式 和 ,其中 属于 。)
-
定义 为 . 比如,若 , 则 .
. 证明 是一个线性变换.(提示:对 中的任意多项式 ,计算 和 。b. 求 中的一个多项式 使之生成 的核并刻画 的值域.
-
由 定义一个线性变换 . 求 中多项式 和 ,使之生成 的核并刻画 的值域.
-
令 是所有 矩阵组成的向量空间,定义 为 ,其中
. 证明 是一个线性变换.
. 设 是 中任一个满足 的矩阵,求 中的矩阵 使得 .
. 证明 的值域是 中满足性质 的 的集合.
. 给出 的核.
34.(需要微积分的知识)定义 如下:对 ,令 是 的满足 的原函数 。证明 是一个线性变换并刻画 的核。(见4.1节习题20的记号。)
-
令 和 为向量空间, 令 是一个线性变换. 给定 的一子空间 , 令 表示所有形如 的像的集合, 其中 在 中. 证明 是 的一个子空间.
-
已知 与习题35中相同,给定 的一子空间 ,令 是 中所有使得 在 中的 的集合。证明 是 的一个子空间。
-
[] 判定 是否在 的列空间中,是否在 的零空间中,或同时在两个空间中,其中
- [] 判定 是否在 的列空间中,是否在 的零空间中,或同时在两个空间中,其中
- [] 令 表示矩阵 的列,其中
. 解释为什么 和 在 的列空间中.
. 令 定义为 ,解释为什么 既不是一一的又不是到上的。
- [] 令 ,其中
则 和 是 的子空间. 事实上, 和 是 中通过原点的平面, 二者相交于一条过原点的直线. 求一个非零向量 , 使之生成这条直线. (提示: 可写成 , 也可写成 . 为求 , 对未知的 ( ), 解方程 .)
- 方法 1: 因为 是一个齐次线性方程组的全部解的集合, 故由定理2, 是 的一子空间 (其中方程组仅有一个方程). 等价地, 是 矩阵 的零空间.
方法2:以 为自由变量解方程 。任意解具有形式 ,其中 是任意常数,且
计算表明 ,从而由定理1知 是 的一个子空间。我们还可以以 或 为自由变量解方程 ,得到 作为两个向量的线性组合的集合的不同刻画。
- 和 都在 Col 中. 因 Col 是一个向量空间, 故 一定在 Col 中, 即方程 是相容的.
- 设任一向量 . , 这是因为它是 的列的线性组合. 因为 Col , 故向量 也是属于 . 因此 , 即 , .
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。