第 1 章：向量空间

为什么从这个问题开始

为什么“能做加法和数乘”还不够，直和又为什么必须检查表示唯一？ 本页不把矩阵计算当作最终答案，而是先固定域、空间、维数和量词，再区分定义、见证、不变量与坐标表示。本章把矩阵之外的多项式、函数和序列也纳入同一语言。证明子空间时必须核对零、加法和数乘，而不是只观察若干样本。

官方第四版定位

本页依据 Sheldon Axler 官方开放获取 PDF 独立编排中文教学结构。当前核对版本在版权页标注 fourth edition, 13 July 2026, © 2024 Sheldon Axler；作者官网 与 Springer 第四版页面 共同确认 9 章、开放获取与第四版范围。旧版页码、目录和练习编号不能替代本页列出的第四版正式节点。

正式目录逐项映射

• 1A R^n and C^n：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Complex Numbers：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Lists：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• F^n：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Digression on Fields：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 1B Definition of Vector Space：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 1C Subspaces：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Sums of Subspaces：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Direct Sums：在“第 1 章：向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。

定义、对象与量词

• 向量空间：集合连同加法和标量乘法满足向量空间公理。 在本页推导中必须同时写出所属空间与适用前提。
• 子空间：继承同一运算后仍为向量空间的子集。 在本页推导中必须同时写出所属空间与适用前提。
• 子空间之和：从各子空间取向量相加得到的最小包含空间。 在本页推导中必须同时写出所属空间与适用前提。
• 直和：每个和中向量拥有唯一的分量表示。 在本页推导中必须同时写出所属空间与适用前提。
• 标量域：本书主要取 R 或 C，并用 F 统一记号。 在本页推导中必须同时写出所属空间与适用前提。

必须先声明以下假设：

• 所有 U_j 都是同一标量域 F 上 V 的子空间
• 候选子空间含 0 且对加法封闭
• 候选子空间对任意 F 中标量乘法封闭
• 直和结论中的分解向量分别属于指定 U_j

核心定理与证明入口

本页主张： U_1+...+U_m 是直和，当且仅当零向量只有全零分解；这等价于和中的每个向量都有唯一表示。

这条主张的验收不是背公式。复核者要能从同一对象重建下列证明骨架，并在每一步指出使用了哪条定义或已有定理：

1. 声明对象：所有 U_j 都是同一标量域 F 上 V 的子空间 依据是：先冻结“第 1 章：向量空间”的域、空间与量词，避免证明中途换题。
2. 展开定义：向量空间与子空间按定义进入推导 依据是：只使用“第 1 章：向量空间”正文已声明的定义，不把待证结论当引理。
3. 构造见证：在 R^3 中令 U=span((1,0,0),(0,1,0))，W=span((0,0,1))；每个向量按 xy 分量与 z 分量唯一分解。 依据是：非平凡对象让“U_1+...+U_m 是直和，当且仅当零向量只有全零分解；这等价于和中的每个向量都有唯一表示。”中的结构可以逐步检查。
4. 保持不变量：运算、标量域和所属空间始终一致，唯一性通过零向量分解检查。 依据是：每一步都核对“第 1 章：向量空间”真正不随选择改变的量。
5. 封闭结论：U_1+...+U_m 是直和，当且仅当零向量只有全零分解；这等价于和中的每个向量都有唯一表示。 依据是：结论只覆盖四条假设允许的范围，并与“在 R^2 中令 U=span((1,0))，W=span((2,0))；U+W 虽是子空间，但 (1,0) 有多种分解，因此不是直和。”区分。

正常例：把抽象结构落到一个对象

在 R^3 中令 U=span((1,0,0),(0,1,0))，W=span((0,0,1))；每个向量按 xy 分量与 z 分量唯一分解。 这个例子必须保存输入基、所属空间、关键中间对象和“运算、标量域和所属空间始终一致，唯一性通过零向量分解检查。”的检查结果。把 R^3 分成 xy 平面与 z 轴，先构造分解，再用交集只有零向量证明唯一；随后把 z 轴换成 x 轴，观察唯一性在哪一步失效。

反例与适用边界

在 R^2 中令 U=span((1,0))，W=span((2,0))；U+W 虽是子空间，但 (1,0) 有多种分解，因此不是直和。 反例只删除一条假设，其余对象保持不变；这样才能定位结论首次失效的位置，而不是换一道完全不同的题。

最小可重放记录

page: 01-vector-spaces/lad4-vector-spaces
theorem: U_1+...+U_m 是直和，当且仅当零向量只有全零分解；这等价于和中的每个向量都有唯一表示。
normal_object: 在 R^3 中令 U=span((1,0,0),(0,1,0))，W=span((0,0,1))；每个向量按 xy 分量与 z 分量唯一分解。
removed_hypothesis: 所有 U_j 都是同一标量域 F 上 V 的子空间
boundary_object: 在 R^2 中令 U=span((1,0))，W=span((2,0))；U+W 虽是子空间，但 (1,0) 有多种分解，因此不是直和。
invariant: 运算、标量域和所属空间始终一致，唯一性通过零向量分解检查。
artifact: 封闭性逐项表、零分解推导和一组非直和反例。

代码、数值或图形只能验证具体对象，不能替代全称证明。“第 1 章：向量空间”的交付物至少包含 封闭性逐项表、零分解推导和一组非直和反例。；若换基后结论变化，必须先区分是坐标变化还是结构真的变化。

练习与答案

本章回顾

U_1+...+U_m 是直和，当且仅当零向量只有全零分解；这等价于和中的每个向量都有唯一表示。 本页掌握标准是：会声明假设、会构造正常见证、会逐步说明理由、会删除一条假设制造反例，并能解释“运算、标量域和所属空间始终一致，唯一性通过零向量分解检查。”为什么不依赖偶然坐标。