3B 零空间和值域

本节概览

本节引入与每个线性映射都紧密相关的两个子空间——零空间(null space)和值域(range),并证明线性代数中最重要的定理之一:线性映射基本定理()。这个定理将”空间大小”与”映射行为”联系起来,是后续秩-零化度定理、特征值理论等的基石。

逻辑链条:零空间 → 单射性 ⟺ null T = {0} → 值域 → 满射性 → 基本定理 → 维数推论 → 线性方程组理论

前置依赖:3A 线性映射所成的向量空间(定义 3.1、定理 3.10)、1C 子空间(三条件 1.34)、2B 基(扩充法 2.32)

核心主线:零空间度量”信息丢失”,值域度量”覆盖范围”,基本定理将两者统一


一、零空间与单射性

定义 3.11 零空间(null space)

对于 , 的零空间记为 ,是 的子集,由被 映射到 的所有向量构成:

例 3.12 零空间的实例

零映射:(所有向量都映射为零)

线性泛函 :(超平面)

微分映射 : = 常值函数构成的集合

乘 映射 :(只有零多项式满足 )

后向移位 :

定理 3.13 零空间是子空间

假设 。那么 是 的子空间。

证明

由定理 3.10,,所以 。

加法封闭: ⟹ 。

标量乘法封闭:, ⟹ 。

定义 3.14 单射(injective)

对于函数 ,若 蕴涵 ,则称 是单射。

定理 3.15 单射 ⟺ 零空间等于

令 。那么 是单射当且仅当 。

证明思路

[ 单射 ⟹ null T = {0}]:设 ,则 。由单射得 。

[ null T = {0} ⟹ 单射]:设 ,则 ,所以 ,得 。

定理 3.15 的实用价值

要判断线性映射是否为单射,只需检查零空间——这比直接验证”不同输入映射到不同输出”要简单得多(Lafayette College 讲义、Dartmouth Linear Algebra Refresher)。


二、值域与满射性

定义 3.16 值域(range)

对于 , 的值域是 的子集,由所有等于 (其中 )的向量构成:

例 3.17 值域的实例

零映射:

:,

微分映射 :(每个多项式都是某个多项式的导数)

定理 3.18 值域是子空间

如果 ,那么 是 的子空间。

证明

,所以 。

加法封闭: ⟹ 存在 使 ⟹ 。

标量乘法封闭: ⟹ ⟹ 。

定义 3.19 满射(surjective)

如果函数 的值域等于 ,则称 为满射。

例 3.20 满射取决于目标空间的选取

微分映射 :,不满射。

微分映射 :,满射。

同一个映射,目标空间不同,满射性可能不同。

零空间 vs 值域的对称性

零空间 值域
定义
所属空间 的子空间 的子空间
度量”信息丢失”的程度”覆盖范围”的大小
对应性质 ⟺ 单射 ⟺ 满射

三、线性映射基本定理

定理 3.21 线性映射基本定理

假设 是有限维的且 。那么 是有限维的,且

证明思路

[扩充零空间基为 V 的基]:

设 是 的基()。由 定理 2.32,扩充为 的基: 于是 。

[证明 张成 range T]:

对任意 ,。施加 : (含 的项消失,因为 )

[证明 线性无关]:

设 ,则 。 所以 ,可用 表示。由 线性无关,得所有 。

定理 3.21 的重要性

这是线性代数中最重要的定理之一(Duke University ILA 讲义):

  • 它建立了定义域维数、零空间维数和值域维数之间的精确关系
  • “零化度”(nullity)和”秩”(rank)之和恒等于定义域维数
  • 它是后续所有维数计算的基础:特征空间维数、广义特征空间维数等

3.1 维数推论

定理 3.22 映到更低维空间不是单射

假设 和 是有限维向量空间且 。那么从 到 的线性映射一定不是单射。

证明

。所以 包含非零向量, 不是单射。

例 3.23 的线性映射不是单射

因为 ,由定理 3.22,任何从 到 的线性映射都不是单射——无需任何计算。

定理 3.24 映到更高维空间不是满射

假设 和 是有限维向量空间且 。那么从 到 的线性映射一定不是满射。

证明

。所以 。

3.2 线性方程组理论

定理 3.26 齐次线性方程组

未知数个数多于方程个数的齐次线性方程组具有非零解。

证明

将方程组表示为 。 个未知数, 个方程。若 ,则 ,由定理 3.22, 不是单射,即 。

定理 3.28 方程个数多于未知数个数的线性方程组

方程个数多于未知数个数的线性方程组当常数项取某些值时无解。

证明

同上, 个方程, 个未知数。若 ,则 ,由定理 3.24, 不是满射,即 。

基本定理的"翻译"功能

线性映射基本定理将抽象的线性映射语言”翻译”为具体的线性方程组语言:

  • “单射” ⟺ “齐次方程组只有零解”
  • “满射” ⟺ “非齐次方程组对所有常数项都有解”
  • “基本定理” ⟺ “未知数个数 = 自由变量个数 + 主变量个数”

四、知识结构总览

graph TD
    A[3B 零空间和值域] --> B[零空间与单射性]
    A --> C[值域与满射性]
    A --> D[线性映射基本定理]
    B --> B1[定义3.11 零空间]
    B --> B2[定理3.13 是子空间]
    B --> B3[定义3.14 单射]
    B --> B4[定理3.15 单射等价零空间为零]
    C --> C1[定义3.16 值域]
    C --> C2[定理3.18 是子空间]
    C --> C3[定义3.19 满射]
    C --> C4[例3.20 满射依赖目标空间]
    D --> D1[定理3.21 基本定理]
    D --> D2[定理3.22 低维不单射]
    D --> D3[定理3.24 高维不满射]
    D --> D4[定理3.26 齐次方程组]
    D --> D5[定理3.28 非齐次方程组]
    B4 -.-> D1
    C3 -.-> D1
    D1 -.-> D2
    D1 -.-> D3
    D1 -.-> D4
    D1 -.-> D5

五、核心思想与证明技巧

核心思想

  1. 零空间 = “信息丢失”: 度量了 将多少维度的信息”压缩”为零。零空间越大,丢失的信息越多。
  2. 值域 = “有效覆盖”: 度量了 实际覆盖了目标空间的多少维度。值域越小,覆盖越少。
  3. 基本定理 = 守恒律:——丢失的信息 + 保留的信息 = 原始信息。这是一个”守恒”关系。
  4. 单射 ⟺ 满射的维数条件: 是单射的必要条件, 是满射的必要条件。两者同时成立 ⟺ 。

证明技巧清单

  1. 证明子空间:用三条件(定理 3.13/3.18 的模式)——零向量、加法封闭、标量乘法封闭
  2. 基本定理的证明范式:取 null T 的基 → 扩充为 V 的基 → 证明像构成 range T 的基(MSU Math 20F 讲义、UPC Linear Maps 讲义)
  3. 利用基本定理做维数估计:(定理 3.22 的证明模式)
  4. 单射 ⟺ 线性无关的保持: 单射 ⟺ 将线性无关组映射为线性无关组(习题 9)

六、补充理解与易混淆点

6.1 基本定理的直觉

基本定理可以理解为”信息守恒”(Duke University ILA Rank Theorem、EECS 245 Notes):

  • 想象 有 个”信息通道”
  • 将其中 个通道”关闭”(映射为零)
  • 剩余 个通道正常传输
  • 关闭的 + 正常的 = 总通道数

直觉:你不能用更少的通道传输更多的信息。零空间和值域是"同一枚硬币的两面"。

来源:Duke University ILA Rank Theorem、EECS 245 Null Space and Rank-Nullity Theorem。

6.2 单射、满射与维数的关系

条件单射?满射?双射?
可能❌ 不可能❌
⟺ ⟺ ⟺ 两者同时
❌ 不可能可能❌

注意: 时,单射和满射等价——这是一个非常有用的推论。

来源:Lafayette College Unit 3 Section 3 讲义、Dartmouth Linear Algebra Refresher。

6.3 常见误区

误区1:"零空间大的映射不好"

❌ 错误认知: 大说明 是”差”的映射 ✅ 正确理解:零空间的大小取决于应用场景。在数据压缩中,我们希望零空间大(丢弃冗余信息);在编码中,我们希望零空间小(保留所有信息)。零空间的大小是映射的性质,不是优劣的评判

误区2:"值域等于目标空间就是满射"

❌ 错误认知: “看起来很大”就是满射 ✅ 正确理解:满射要求 ,即精确等于整个目标空间,而不是”差不多等于”。由基本定理,,所以如果 ,无论 怎么定义都不可能满射(StudyX Rank-Nullity 习题分析)

误区3:"秩-零化度定理中 n 是行数"

❌ 错误认知: 中的 是矩阵的行数 ✅ 正确理解: 是定义域的维数,对应矩阵的列数(StudyX 习题分析)。这是最常见的计算错误——混淆了行数和列数

误区4:"单射和满射互不相关"

❌ 错误认知:一个映射可以任意组合单射性和满射性 ✅ 正确理解:当 时,单射 ⟺ 满射(由基本定理直接推出)。维数条件将两个性质紧密联系在一起(MSU Math 20F 讲义)

来源:Duke University ILA Rank Theorem、EECS 245 Notes、StudyX Rank-Nullity Analysis、MSU Math 20F Lecture 15、Hanspub 线性代数注记。


七、习题精选

本节习题

编号标题核心考点难度
1构造零空间和值域基本定理⭐
2复合映射的零化range S ⊆ null T⭐⭐
3张成与线性无关null/range 对应⭐⭐
5range T = null T基本定理⭐⭐
9单射保持线性无关定理 3.15⭐⭐
12零空间维数 → 满射基本定理⭐⭐
16单射存在条件维数比较⭐⭐
19单射的左逆存在性证明⭐⭐⭐
27投影的直和分解null P ⊕ range P⭐⭐⭐

习题 1:构造零空间和值域

习题 1

给出一例:满足 且 的线性映射 。

习题 2:复合映射的零化

习题 2

设 使得 ,证明 。

习题 5:

习题 5

给出一例:使得 的 。

习题 9:单射保持线性无关

习题 9

设 是单射, 在 中线性无关。证明 在 中线性无关。

习题 12:零空间维数 → 满射

习题 12

设 是从 到 的线性映射,使得 。证明 是满射。

习题 16:单射存在条件

习题 16

设 和 都是有限维的。证明:存在从 到 的单的线性映射,当且仅当 。

习题 19:单射的左逆

习题 19

设 是有限维的,。证明: 是单射,当且仅当存在 使得 是 上的恒等算子。

习题 27:投影的直和分解

习题 27

设 且 。证明 。


八、视频学习指南

视频资源

视频主题对应笔记模块平台
零空间与单射一、零空间与单射性B站
值域与满射二、值域与满射性B站
线性映射基本定理三、线性映射基本定理B站
线性方程组理论三、线性方程组理论B站

视频精要

暂无对应视频的详细精要。建议在学习时关注以下要点:

  • 定理 3.15 将”单射”转化为”零空间为零”——极大简化了验证
  • 基本定理的证明是”扩充基”的标准范式
  • 定理 3.22/3.24 可以”不计算”就判断单射/满射性
  • 定理 3.26/3.28 将抽象理论应用于具体的线性方程组

九、教材原文

零空间与值域