3A 线性映射所成的向量空间

本节概览

本节是第 3 章的起点,引入线性代数的核心研究对象——线性映射(linear map)。线性映射是保持向量空间结构的函数,它将一个向量空间中的线性关系”忠实”地传递到另一个向量空间。本节还证明了一个重要事实:所有线性映射的集合本身也构成向量空间

逻辑链条:线性映射定义(可加性+齐次性)→ 实例 → 线性映射引理(由基上的值唯一确定)→ 是向量空间 → 乘积运算(不可交换)

前置依赖1B 向量空间的定义(向量空间八条公理)、2B 基(定义 2.26、定理 2.28 唯一表示)

核心主线:线性映射是向量空间之间的”结构保持映射”——它保持加法和标量乘法


一、线性映射的定义与实例

定义 3.1 线性映射

线性映射是满足下列性质的函数

可加性:对于所有

齐次性:对于所有 和所有

记号 3.2

  • = 从 的全体线性映射构成的集合
  • = 从 到自身的全体线性映射

例 3.3 线性映射的实例

零映射(左侧是映射,右侧是零向量)

恒等算子

微分映射(微积分基本规则 的另一种表述)

积分映射

相乘

后向移位

多项式复合:取定

线性映射的本质

线性映射保持线性结构:它将线性组合映射为线性组合(Clemson MATH 8530 讲义、UW-Madison 讲义): 这意味着:线性映射完全由它对基的作用决定(定理 3.4)。


二、线性映射引理与代数运算

2.1 线性映射引理

定理 3.4 线性映射引理

假定 的基且 。那么存在唯一的线性映射 使得对每个 都有

证明思路

[存在性:用基定义映射]

定义 。因为 是基,每个 有唯一的表示,所以 是良定义的函数。

[验证可加性]:设

[验证齐次性]

[唯一性]:设 也满足 。由齐次性 ,由可加性: 所以

定理 3.4 的重要性

这是线性代数中最重要的定理之一:

  • 自由度:你可以任意指定基向量的像,然后线性映射被唯一确定
  • 计算基础:要定义一个线性映射,只需指定它在一组基上的作用
  • 矩阵表示的前奏:取 的标准基,指定基向量的像就是指定矩阵的列

2.2 是向量空间

定义 3.5 上的加法和标量乘法

定理 3.6 是向量空间

有了上面定义的加法和标量乘法, 就是向量空间。

加法恒等元是零映射 )。

2.3 线性映射的乘积

定义 3.7 线性映射的乘积

如果 ,那么乘积 定义为:

注意: 就是函数复合 ,但线性映射中通常用 而非

定理 3.8 线性映射乘积的代数性质

可结合性(当乘积有意义时)

恒等元 分别是定义域和到达域上的恒等算子)

分配律

例 3.9 不可交换的线性映射

是微分映射, 是”乘 “映射,都

  • (先微分再乘
  • (先乘 再微分,乘积法则)

所以 线性映射的乘法不满足交换律

2.4 线性映射将零映射为零

定理 3.10

假设 是由 的线性映射。那么

证明

。两边加上 的逆元,得

高中"线性函数"≠ 线性映射

只有当 时才是线性映射(由定理 3.10, 必须等于 )。高中代数中的”线性函数”实际上是”仿射函数”。


三、知识结构总览

graph TD
    A[3A 线性映射所成的向量空间] --> B[线性映射的定义与实例]
    A --> C[线性映射引理与代数运算]
    B --> B1[定义3.1 可加性+齐次性]
    B --> B2[记号3.2 L的VW]
    B --> B3[例3.3 九个实例]
    C --> C1[定理3.4 线性映射引理]
    C --> C2[定理3.6 L的VW是向量空间]
    C --> C3[定义3.7 乘积ST]
    C --> C4[定理3.8 代数性质]
    C --> C5[定理3.10 T0=0]
    B1 -.->|"保持线性组合"| C1
    C1 -.->|"唯一确定"| C2
    C3 -.->|"不满足交换律"| C4

四、核心思想与证明技巧

核心思想

  1. 线性映射 = 结构保持映射:它保持加法和标量乘法,从而保持所有线性关系。这是线性代数与其他数学分支的关键区别。
  2. 由基上的值唯一确定(定理 3.4):线性映射的”自由度”等于 ——你可以任意指定每个基向量的像。
  3. 本身是向量空间:线性映射不仅可以研究单个映射,还可以研究映射之间的线性关系——这是后续构造对偶空间(第 3 章)和算子理论的基础。
  4. 乘积不交换:线性映射的乘积(复合)满足结合律和分配律,但不满足交换律。这与矩阵乘法的性质完全对应。

证明技巧清单

  1. 验证线性映射:分别验证可加性和齐次性,缺一不可(习题 8/9 表明仅有其中一个不够)
  2. 利用定理 3.4 定义映射:指定基向量的像,自动得到线性映射
  3. 利用 :快速排除非线性函数(如
  4. 验证 是向量空间:逐一验证八条公理,每条都归结为 中的对应性质

五、补充理解与易混淆点

5.1 线性映射的直觉

线性映射是”保持直线和平面”的映射(UCL Ch4 讲义、Clemson MATH 8530 讲义):

  • 直线映射为直线(或退化为一个点)
  • 原点映射为原点(定理 3.10)
  • 等间距的点映射为等间距的点

直觉:线性映射是向量空间之间"最简单、最整齐"的映射——它不弯曲、不旋转、不平移,只做拉伸和剪切

来源:UCL Chapter 4 Linear Maps 讲义、Clemson MATH 8530 Slides。

5.2 为什么需要可加性和齐次性两个条件?

初学者常问:为什么不能只用一个条件?习题 8 和 9 给出了回答:

  • 仅有齐次性 不足以保证线性(习题 8)
  • 仅有可加性 也不足以保证线性(习题 9)
  • 两个条件缺一不可(UW-Madison Linear Transformations 讲义)

对于 上的映射,可加性可以推出有理数齐次性,但不能推出实数齐次性——需要额外的连续性假设才能从可加性推出完全的线性(这涉及更高深的数学工具)。

来源:UW-Madison Linear Transformations 讲义、MathOnline Linear Maps Examples。

5.3 常见误区

误区1:"高中线性函数就是线性映射"

❌ 错误认知: 是线性映射 ✅ 正确理解:只有 (即 )才是线性映射。仿射函数,不是线性映射。由定理 3.10, 必须等于

误区2:"线性映射保持所有性质"

❌ 错误认知:线性映射保持长度、角度、正交性等 ✅ 正确理解:线性映射只保证保持加法和标量乘法。长度、角度、正交性等几何性质的保持需要额外的条件(第 7 章的正交算子自伴算子等)

误区3:"cos 是线性映射"

❌ 错误认知: 成立(从而 是线性的) ✅ 正确理解: 既不满足可加性也不满足齐次性(),所以不是线性映射。教材中特别指出:线性映射在数学中并不如有些人想象的那般无处不在

来源:UCL Chapter 4 Linear Maps 讲义、Clemson MATH 8530 Slides、UW-Madison Linear Transformations 讲义、OSU Ximera Linear Mappings and Bases。


六、习题精选

本节习题

编号标题核心考点难度
1判断线性映射可加性+齐次性验证
4线性无关组的像线性无关的保持⭐⭐
7一维空间上的映射乘以标量
8仅有齐次性不够反例构造⭐⭐
11与所有映射可交换恒等算子的标量倍⭐⭐⭐
13子空间上映射的扩充定理 3.4 的应用⭐⭐

习题 1:判断线性映射

习题 1

,定义 。证明: 是线性的,当且仅当

习题 4:线性无关组的像

习题 4

中一组向量,使得 中线性无关组。证明 线性无关。

习题 7:一维空间上的映射

习题 7

证明:如果 ,那么存在 使得对所有

习题 8:仅有齐次性不够

习题 8

给出一例:函数 ,使得 对所有 和所有 成立,但 不是线性的。

习题 11:与所有映射可交换

习题 11

是有限维的,。证明: 是恒等算子的标量倍,当且仅当 对任意 都成立。

习题 13:子空间上映射的扩充

习题 13

是有限维的。证明: 的子空间上的任一线性映射都可以扩充为 上的线性映射。


七、视频学习指南

视频资源

视频主题对应笔记模块平台
线性映射的定义一、线性映射的定义与实例B站
线性映射引理二、线性映射引理与代数运算B站
L(V,W) 是向量空间二、L(V,W) 是向量空间B站

视频精要

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

  • 线性映射的两个条件(可加性+齐次性)缺一不可
  • 定理 3.4 是后续矩阵表示(3B)的理论基础
  • 是向量空间这一事实在后续章节中反复使用
  • 线性映射的乘积不交换——这与矩阵乘法一致

八、教材原文

线性映射的定义