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
四、核心思想与证明技巧
核心思想
- 线性映射 = 结构保持映射:它保持加法和标量乘法,从而保持所有线性关系。这是线性代数与其他数学分支的关键区别。
- 由基上的值唯一确定(定理 3.4):线性映射的”自由度”等于 ——你可以任意指定每个基向量的像。
- 本身是向量空间:线性映射不仅可以研究单个映射,还可以研究映射之间的线性关系——这是后续构造对偶空间(第 3 章)和算子理论的基础。
- 乘积不交换:线性映射的乘积(复合)满足结合律和分配律,但不满足交换律。这与矩阵乘法的性质完全对应。
证明技巧清单
- 验证线性映射:分别验证可加性和齐次性,缺一不可(习题 8/9 表明仅有其中一个不够)
- 利用定理 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
设 ,定义 为 。证明: 是线性的,当且仅当 。
查看解答
(): 时,。两个分量都是线性函数,所以 是线性的。
():若 线性,则 (定理 3.10)。,所以 。
再验证齐次性:,但 。看起来没问题。但检查 ,。由可加性 ,得 ,所以 。
习题 4:线性无关组的像
习题 4
设 且 是 中一组向量,使得 是 中线性无关组。证明 线性无关。
查看解答
证明:设 。两边施加 :
因为 线性无关,所以 。
推论:线性映射保持线性无关性(但未必保持张成性——像可能”缩小”)。
习题 7:一维空间上的映射
习题 7
证明:如果 且 ,那么存在 使得对所有 有 。
查看解答
证明:设 是 的基(因为 )。令 使得 (这样的 存在且唯一,因为 是基, 必须是 的标量倍)。
对任意 ,(某个 ),则 。
习题 8:仅有齐次性不够
习题 8
给出一例:函数 ,使得 对所有 和所有 成立,但 不是线性的。
查看解答
定义 (当 ),。
齐次性:。✓
不满足可加性:,,。但 。✗
所以 满足齐次性但不满足可加性,不是线性映射。
习题 11:与所有映射可交换
习题 11
设 是有限维的,。证明: 是恒等算子的标量倍,当且仅当 对任意 都成立。
查看解答
():若 ,则 。✓
():设 对所有 成立。取 的基 。
对任意 ,定义 为 ,()。由定理 3.4,这样的 存在。
,。由 得 。
设 ,则 。所以 。
这说明 将每个基向量映射为自身的标量倍。令 ,。
再取 (将 映到 ):,。所以 。
类似地所有 相等,设为 。所以 。
习题 13:子空间上映射的扩充
习题 13
设 是有限维的。证明: 的子空间上的任一线性映射都可以扩充为 上的线性映射。
查看解答
七、视频学习指南
视频资源
视频主题 对应笔记模块 平台 线性映射的定义 一、线性映射的定义与实例 B站 线性映射引理 二、线性映射引理与代数运算 B站 L(V,W) 是向量空间 二、L(V,W) 是向量空间 B站
视频精要
暂无对应视频的详细精要。建议在学习时关注以下要点:
- 线性映射的两个条件(可加性+齐次性)缺一不可
- 定理 3.4 是后续矩阵表示(3B)的理论基础
- 是向量空间这一事实在后续章节中反复使用
- 线性映射的乘积不交换——这与矩阵乘法一致