Skip to content

4.2 零空间、列空间和线性变换

在线性代数的应用中, 的子空间通常由以下两种方式产生:(1)作为齐次线性方程组的解集;(2)作为某些确定向量的线性组合的集合。本节中,我们比较和构造这两类子空间,体验子空间的概念。事实上,正如你将要看到的,我们从1.3节以来一直与子空间打交道,这里的主要新特征是术语。本节包括对线性变换的值域与核的讨论。

矩阵的零空间

考虑下列齐次方程组:

用矩阵的形式,此方程组可写成 Ax = 0,其中

所有满足(1)的 的集合称为方程组(1)的解集,通常将这个解集直接与矩阵 和方程 Ax = 0 联系起来是方便的。我们称满足 Ax = 0 的所有 的集合为矩阵 的零空间。

定义 矩阵 的零空间写成 Nul A,是齐次方程 Ax = 0 的全体解的集合。用集合符号表示,即

Nul 的更进一步的描述为 中通过线性变换 映射到 中的零向量的全体向量 的集合,见图 4-11.

图4-11

例 1

为(2)式中所示的矩阵,令 ,确定 是否属于 的零空间.

为验证 是否满足 ,简单计算

所以 .

空间这个词用在零空间上是合适的,因为一个矩阵的零空间是一个向量空间,在下列定理中会见到.

定理 2

矩阵 的零空间是 的一个子空间. 等价地, 个方程、 个未知数的齐次线性方程组 Ax = 0 的全体解的集合是 的一个子空间.

证明

由于 个列,故 当然是 的一个子集,我们必须证明 满足子空间的3个性质。0当然在 中,其次令 表示 中任意两个向量,则

为证 在Nul 中,必须证 ,利用矩阵乘法的性质,有

从而 ,于是Nul 对向量加法是封闭的.最后,若 是任意一个数,则

从而 ,于是 的一个子空间.

例 2

中坐标 , , , 满足方程 且 c - a = b 的所有向量的集合,证明 的一个子空间.

通过重新调整描述 的元素的方程组,我们发现 即下列齐次线性方程组的解集:

定理2, 的一个子空间.

定义集合 的线性方程组是齐次的这个条件是很重要的,否则,其解集不能确定一个子空间(因为零向量不是非齐次方程组的解),而且在某些情形下,解集可能是空集.

Nul A 的一个显式刻画

Nul A 中的向量与 中的元素之间没有明显的关系. 我们称 Nul A 被隐式地定义, 这是由于它被一个必须要检验的条件所定义. 没有明确地列出或描述 Nul A 中的元素. 然而, 当我们解出方程 Ax = 0, 就得到 Nul A 的显式刻画. 我们先复习一下 1.5 节中已有的解题步骤.

例 3

求矩阵 的零空间的生成集,其中

第一步是求 Ax=0 的关于自由变量的通解. 通过行化简增广矩阵 [A 0] 为简化阶梯形用自由变量写出基本变量:

通解为 是自由变量。其次,将通解给出的向量分解为向量的线性组合,用自由变量作权,即

, 的每一个线性组合都是 Nul A 中的一个元素,反之亦然。从而 是 Nul A 的一个生成集。

关于例3 的解应该得到以下两点事实,它们对所有此类问题均适合,我们将在后面用到。

  1. 例3中的方法产生的生成集必然是线性无关的,这是因为自由变量是生成向量上的权。比如,观察(3)式中解向量的第2,4,5个元素,注意到只有当权 全为零时 为零。

  2. Nul A 包含非零向量时,它的生成集中向量的个数等于方程 Ax = 0 中自由变量的个数。矩阵的列空间

与矩阵相关的另一个重要的子空间是它的列空间。与零空间不同,列空间可以由向量的线性组合显式定义。

定义 矩阵 的列空间(记为 Col A)是由 的列的所有线性组合组成的集合。若 ,则

由于 是一个子空间,由定理1 及 Col A 的定义和 的列在 中这一事实得到以下定理.

定理 3

矩阵 的列空间是 的一个子空间.

意到 中一个典型向量可写成 的形式,其中 为某向量,这是因为记号 表示 的列向量的一个线性组合,即

代表 Col A 中向量的记号 Ax 也表明 Col A 是线性变换 的值域,我们将在本节的最后讨论这个问题.

例 4

求一个矩阵 ,使得 .

首先将 写成线性组合的集合:

其次,用生成集中的向量作为 的列. 令 ,则

为所求矩阵.

回顾1.4节中的定理4 的列生成 当且仅当方程 对任一个 有解.我们可以按下列方式重述这一事实.

矩阵 的列空间等于 当且仅当方程 中每个 有一个解.

NuIA 与 ColA 之间的对比

一个矩阵的零空间和列空间之间的关系如何是一个很自然的问题。事实上,这两个空间是很不一样的,从例5~7中将看到这一点。然而,这两个空间之间的一个令人感到意外的关联将出现在4.6节中,这需要用到更多的理论。

例 5

.

. 若 的列空间是 的一个子空间, 是多少?

. 若 的零空间是 的一个子空间, 是多少?

. A 的每一列含有 3 个数,所以 Col A 是 的一个子空间,其中 k = 3.

. 使得 有定义的一个向量 必须有4个元素,所以Nul 的一个子空间,其中

当一个矩阵不是方阵时,比如例5中的矩阵,Nul 中的向量与Col 中的向量分别在完全不同的“域”中.例如,我们已讨论过 中向量的线性组合不能产生 中的一个向量.当 为方阵时,Nul 和Col 确实都具有零向量,并且在特殊情形下它们可能具有一些相同的非零向量.

例 6

例5 中的 ,分别找出 Col A 和 Nul A 中的一个非零向量.

容易找到 中的一个向量. 的任一个列都可以,比如 .为了找到Nul 中的一个非零向量,将增广矩阵[A0]行化简,得

从而若 满足 Ax=0,则 是自由变量。 取一个非零值,比如 ,我们得到 Nul A 中一个向量,即

例 7

例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 ACol 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 将 映上到 .

我们经常需要用线性变换而不是矩阵来描述除 以外的向量空间的子空间。为了更准确,将1.8节中给出的定义进行推广。

定义 由向量空间 映射到向量空间 内的线性变换 是一个规则,它将 中每个向量 映射成 中唯一向量 ,且满足:

() ,对 中所有 , 均成立.

(ii) ,对 中所有 及所有数 均成立.

线性变换 的核(或零空间)是 中所有满足 的向量 的集合(0 为 中的零向量)。T 的值域是 中所有具有形式 (任意 )的向量的集合。如果 是由一个矩阵变换得到的,比如对某矩阵 , ,则 的核与值域恰好是前面定义的 的零空间和列空间。

不难证明 的核是 的一个子空间. 证明在本质上与定理2相同. 的一个子空间. 见图 4-12和习题30. 的一个子空间. 见图4-12和习题30.

图 4-12 与线性变换相关的子空间

在应用中,一个子空间往往由一个适当的线性变换的核或值域产生。比如,一个齐次线性微分方程的全部解的集合被判明是一个线性变换的核。典型地,这样一个线性变换用关于一个函数的一阶或高阶导数描述。解释这个结论将使我们远离主题,所以我们仅给出两个例子,第一个例子解释微分运算为什么是一个线性变换。

例 8 需要微积分的知识

是定义在区间 上的所有连续可导的实函数 构成的向量空间,令 上所有连续函数构成的向量空间 C[,],且令 是将 变为其导数 的变换。由微积分中两个简单的微分法则有

于是, 是一个线性变换.可以证明 的核是 上的常函数的集合, 的值域是 上所有连续函数的集合

例 9 需要微积分的知识

微分方程

其中 是常数,常常用来描述物理系统的一个变化过程,比如负重弹簧的振动、摆的运动以及电感-电容电路中的电压。(4)的解集恰好是将函数 映成函数 的线性变换

的核. 寻找这个向量空间的一个显式刻画是微分方程中的一个问题. 其解集是 4.1 节习题 19 中所说的空间.

练习题
  1. ,用两种不同的方法证明 的一个子空间。(用两个定理。)

  2. , , , 假设已知方程 都是相容的, 关于方程

,你能得出什么结论?

  1. 是一个 矩阵. 如果 Col A = Nul A. 证明 .
习题4.2
  1. 判定 是否在 Nul A 中,其中

它不是一个向量空间.

  1. 判定 是否在 Nul A 中,其中

在习题 3~6 中,通过求出张成零空间的向量,求出 Nul A 的一个显式表示.

在习题 7~14 中,或者利用一个适当的定理证明给出的集合 是一个向量空间,或者举例说明

在习题 15 和习题 16 中,求 使得给出的集合为

对习题 17~20 中的矩阵,() 求 使得 Nul A 是 的一个子空间,() 求 使得 Col A 是 的一个子空间.

  1. 对习题 17 中的 ,分别求出 Nul A 和 Col A 中的一个非零向量.

  2. 对习题 3 中的 ,分别求出 Nul A 和 Col A 中的一个非零向量.

  3. ,判断 是否在 中, 是否在 中.

  4. ,判定 是否在 Col 中, 是否在 Nul 中。在习题25和习题26中, 表示一个 矩阵。对每个命题判断真假,给出理由。

  5. . A 的零空间是方程 Ax = 0 的解集. b. 矩阵的零空间包含在 中. c. A 的列空间是映射 的值域. d. 若方程 Ax = b 是相容的,则 Col A 就是 . e. 一个线性变换的核是一个向量空间. f. Col A 是对某 所有能写成 Ax 的向量的集合.

  6. . 零空间是向量空间. b. 矩阵的列空间包含在 中. c. Col A 是 Ax = b 的所有解的集合. d. Nul A 是映射 的核. e. 一个线性变换的值域是一个向量空间. f. 一个齐次线性微分方程的所有解的集合是一个线性变换的核.

  7. 可以证明下列方程组的一组解为 。利用本节中的理论解释为什么 是另一组解(观察这两组解之间的关系,不要作另外的计算).

  8. 考察下列两个方程组: 可以证明第一个方程组有解,利用这个事实和本节中的理论解释为什么第二个方程组一定也有解。(不要作行变换。)

  9. 定理3 的证明如下:给定一个 矩阵 ,Col A 中任一元素均为形如 Ax, 的形式。令 Ax 和 Aw 分别为 Col A 中任意两个向量。

. 解释为什么零向量在 Col A 中. b. 证明向量 Ax + Aw 在 Col A 中. c. 给定一数 ,证明 在 Col A 中.

  1. 是一个从向量空间 到向量空间 中的线性变换,证明 的值域是 的一个子空间。(提示:值域中的典型元素具有形式 ,其中 属于 。)

  2. 定义 . 比如,若 , 则 .

. 证明 是一个线性变换.(提示:对 中的任意多项式 ,计算 。b. 求 中的一个多项式 使之生成 的核并刻画 的值域.

  1. 定义一个线性变换 . 求 中多项式 ,使之生成 的核并刻画 的值域.

  2. 是所有 矩阵组成的向量空间,定义 ,其中

. 证明 是一个线性变换.

. 设 中任一个满足 的矩阵,求 中的矩阵 使得 .

. 证明 的值域是 中满足性质 的集合.

. 给出 的核.

34.(需要微积分的知识)定义 如下:对 ,令 的满足 的原函数 。证明 是一个线性变换并刻画 的核。(见4.1节习题20的记号。)

  1. 为向量空间, 令 是一个线性变换. 给定 的一子空间 , 令 表示所有形如 的像的集合, 其中 中. 证明 的一个子空间.

  2. 已知 与习题35中相同,给定 的一子空间 ,令 中所有使得 中的 的集合。证明 的一个子空间。

  3. [] 判定 是否在 的列空间中,是否在 的零空间中,或同时在两个空间中,其中

  1. [] 判定 是否在 的列空间中,是否在 的零空间中,或同时在两个空间中,其中
  1. [] 令 表示矩阵 的列,其中

. 解释为什么 的列空间中.

. 令 定义为 ,解释为什么 既不是一一的又不是到上的。

  1. [] 令 ,其中

的子空间. 事实上, 中通过原点的平面, 二者相交于一条过原点的直线. 求一个非零向量 , 使之生成这条直线. (提示: 可写成 , 也可写成 . 为求 , 对未知的 ( ), 解方程 .)

练习题答案
  1. 方法 1: 因为 是一个齐次线性方程组的全部解的集合, 故由定理2, 的一子空间 (其中方程组仅有一个方程). 等价地, 矩阵 的零空间.

方法2:以 为自由变量解方程 。任意解具有形式 ,其中 是任意常数,且

计算表明 ,从而由定理1 的一个子空间。我们还可以以 为自由变量解方程 ,得到 作为两个向量的线性组合的集合的不同刻画。

  1. 都在 Col 中. 因 Col 是一个向量空间, 故 一定在 Col 中, 即方程 是相容的.
  2. 设任一向量 . , 这是因为它是 的列的线性组合. 因为 Col , 故向量 也是属于 . 因此 , 即 , .