第 2 章：有限维向量空间

为什么从这个问题开始

为什么基同时要求“足够多以张成”和“足够少以保持线性无关”？ 本页不把矩阵计算当作最终答案，而是先固定域、空间、维数和量词，再区分定义、见证、不变量与坐标表示。有限维让“不断加入新方向”必然停止。交换引理控制无关列表长度不超过生成列表长度，由此才得到维数与基长无关。

官方第四版定位

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

正式目录逐项映射

• 2A Span and Linear Independence：在“第 2 章：有限维向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Linear Combinations and Span：在“第 2 章：有限维向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Linear Independence：在“第 2 章：有限维向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 2B Bases：在“第 2 章：有限维向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 2C Dimension：在“第 2 章：有限维向量空间”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。

定义、对象与量词

• 线性组合：用有限个标量加权向量再求和。 在本页推导中必须同时写出所属空间与适用前提。
• 张成：所有线性组合组成的集合。 在本页推导中必须同时写出所属空间与适用前提。
• 线性无关：零组合只能来自全零系数。 在本页推导中必须同时写出所属空间与适用前提。
• 基：既线性无关又张成整个空间的列表。 在本页推导中必须同时写出所属空间与适用前提。
• 维数：有限维空间任意基的共同长度。 在本页推导中必须同时写出所属空间与适用前提。

必须先声明以下假设：

• V 是有限维向量空间
• 扩充起点是 V 中的线性无关列表
• 删减起点确实张成 V
• 列表顺序可变但向量所属域固定

核心定理与证明入口

本页主张： 有限维 V 中，任意线性无关组都可扩充为基，任意生成组都可删减为基，因此任意两组基长度相同。

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

1. 声明对象：V 是有限维向量空间 依据是：先冻结“第 2 章：有限维向量空间”的域、空间与量词，避免证明中途换题。
2. 展开定义：线性组合与张成按定义进入推导 依据是：只使用“第 2 章：有限维向量空间”正文已声明的定义，不把待证结论当引理。
3. 构造见证：从 R^3 中的列表 ((1,0,0),(1,1,0)) 开始，加入 (0,0,1) 扩充为基，并记录每次加入后的 span。 依据是：非平凡对象让“有限维 V 中，任意线性无关组都可扩充为基，任意生成组都可删减为基，因此任意两组基长度相同。”中的结构可以逐步检查。
4. 保持不变量：每次扩充保持线性无关，每次删减保持张成，最终两项同时成立。 依据是：每一步都核对“第 2 章：有限维向量空间”真正不随选择改变的量。
5. 封闭结论：有限维 V 中，任意线性无关组都可扩充为基，任意生成组都可删减为基，因此任意两组基长度相同。 依据是：结论只覆盖四条假设允许的范围，并与“把 (2,2,0) 加到 ((1,0,0),(1,1,0)) 后声称扩充成功；新向量其实在原 span 中，线性无关立即失效。”区分。

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

从 R^3 中的列表 ((1,0,0),(1,1,0)) 开始，加入 (0,0,1) 扩充为基，并记录每次加入后的 span。 这个例子必须保存输入基、所属空间、关键中间对象和“每次扩充保持线性无关，每次删减保持张成，最终两项同时成立。”的检查结果。对三项多项式列表做高斯消元式的依赖检查：删掉可由前项线性表示的多项式，再补入缺失次数，得到 P_2(R) 的一组基。

反例与适用边界

把 (2,2,0) 加到 ((1,0,0),(1,1,0)) 后声称扩充成功；新向量其实在原 span 中，线性无关立即失效。 反例只删除一条假设，其余对象保持不变；这样才能定位结论首次失效的位置，而不是换一道完全不同的题。

最小可重放记录

page: 01-vector-spaces/lad4-finite-dimensional-vector-spaces
theorem: 有限维 V 中，任意线性无关组都可扩充为基，任意生成组都可删减为基，因此任意两组基长度相同。
normal_object: 从 R^3 中的列表 ((1,0,0),(1,1,0)) 开始，加入 (0,0,1) 扩充为基，并记录每次加入后的 span。
removed_hypothesis: V 是有限维向量空间
boundary_object: 把 (2,2,0) 加到 ((1,0,0),(1,1,0)) 后声称扩充成功；新向量其实在原 span 中，线性无关立即失效。
invariant: 每次扩充保持线性无关，每次删减保持张成，最终两项同时成立。
artifact: 系数方程、span 变化记录、扩充/删减序列与最终基长度。

代码、数值或图形只能验证具体对象，不能替代全称证明。“第 2 章：有限维向量空间”的交付物至少包含 系数方程、span 变化记录、扩充/删减序列与最终基长度。；若换基后结论变化，必须先区分是坐标变化还是结构真的变化。

练习与答案

本章回顾

有限维 V 中，任意线性无关组都可扩充为基，任意生成组都可删减为基，因此任意两组基长度相同。 本页掌握标准是：会声明假设、会构造正常见证、会逐步说明理由、会删除一条假设制造反例，并能解释“每次扩充保持线性无关，每次删减保持张成，最终两项同时成立。”为什么不依赖偶然坐标。