第 8 章：复向量空间上的算子

为什么从这个问题开始

特征向量不够组成一组基时，广义特征向量怎样补齐缺失方向？ 本页不把矩阵计算当作最终答案，而是先固定域、空间、维数和量词，再区分定义、见证、不变量与坐标表示。在每个广义特征空间内，T=λI+N，其中 N 幂零。问题因此从任意算子缩减为研究幂零链，Jordan 形只是这些链的坐标记录。

官方第四版定位

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

正式目录逐项映射

• 8A Generalized Eigenvectors and Nilpotent Operators：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Null Spaces of Powers of an Operator：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Generalized Eigenvectors：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Nilpotent Operators：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 8B Generalized Eigenspace Decomposition：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Generalized Eigenspaces：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Multiplicity of an Eigenvalue：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Block Diagonal Matrices：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 8C Consequences of Generalized Eigenspace Decomposition：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Square Roots of Operators：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Jordan Form：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 8D Trace: A Connection Between Matrices and Operators：在“第 8 章：复向量空间上的算子”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。

定义、对象与量词

• 广义特征向量：被 (T-λI) 的某个正整数次幂消去的非零向量。 在本页推导中必须同时写出所属空间与适用前提。
• 幂零算子：某个正整数次幂为零算子的算子。 在本页推导中必须同时写出所属空间与适用前提。
• 广义特征空间：所有广义 λ-特征向量连同零向量组成的子空间。 在本页推导中必须同时写出所属空间与适用前提。
• Jordan 形：用特征值对角线与超对角 1 记录链结构的矩阵。 在本页推导中必须同时写出所属空间与适用前提。
• 迹：算子任一矩阵表示的对角元之和。 在本页推导中必须同时写出所属空间与适用前提。

必须先声明以下假设：

• V 是有限维复向量空间
• T 是 V 上的线性算子
• 广义特征空间使用足够高次的 null(T-λI)^k
• Jordan 链按 $(T-λI)v_{j}=v_{j-1}$ 排列

核心定理与证明入口

本页主张： 有限维复向量空间可分解为各广义特征空间的直和，且每个算子都有由 Jordan 链组成的基。

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

1. 声明对象：V 是有限维复向量空间 依据是：先冻结“第 8 章：复向量空间上的算子”的域、空间与量词，避免证明中途换题。
2. 展开定义：广义特征向量与幂零算子按定义进入推导 依据是：只使用“第 8 章：复向量空间上的算子”正文已声明的定义，不把待证结论当引理。
3. 构造见证：对二阶 Jordan 块 J=[[2,1],[0,2]]，e1 是特征向量，e2 是二阶广义特征向量，二者组成完整 Jordan 链。 依据是：非平凡对象让“有限维复向量空间可分解为各广义特征空间的直和，且每个算子都有由 Jordan 链组成的基。”中的结构可以逐步检查。
4. 保持不变量：广义特征空间维数之和等于 dim V，各空间由 T 保持不变。 依据是：每一步都核对“第 8 章：复向量空间上的算子”真正不随选择改变的量。
5. 封闭结论：有限维复向量空间可分解为各广义特征空间的直和，且每个算子都有由 Jordan 链组成的基。 依据是：结论只覆盖四条假设允许的范围，并与“只收集普通特征向量时，二阶 Jordan 块只有一维特征空间，无法构成 C^2 的基。”区分。

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

对二阶 Jordan 块 J=[[2,1],[0,2]]，e1 是特征向量，e2 是二阶广义特征向量，二者组成完整 Jordan 链。 这个例子必须保存输入基、所属空间、关键中间对象和“广义特征空间维数之和等于 dim V，各空间由 T 保持不变。”的检查结果。对含两个 Jordan 块的 4×4 算子逐次计算 null(T-λI)^k，观察维数何时稳定，并由增长量恢复块大小。

反例与适用边界

只收集普通特征向量时，二阶 Jordan 块只有一维特征空间，无法构成 C^2 的基。 反例只删除一条假设，其余对象保持不变；这样才能定位结论首次失效的位置，而不是换一道完全不同的题。

最小可重放记录

page: 04-operators/lad4-operators-complex-vector-spaces
theorem: 有限维复向量空间可分解为各广义特征空间的直和，且每个算子都有由 Jordan 链组成的基。
normal_object: 对二阶 Jordan 块 J=[[2,1],[0,2]]，e1 是特征向量，e2 是二阶广义特征向量，二者组成完整 Jordan 链。
removed_hypothesis: V 是有限维复向量空间
boundary_object: 只收集普通特征向量时，二阶 Jordan 块只有一维特征空间，无法构成 C^2 的基。
invariant: 广义特征空间维数之和等于 dim V，各空间由 T 保持不变。
artifact: null(T-λI)^k 稳定链、直和维数、Jordan 链和换基后的分块矩阵。

代码、数值或图形只能验证具体对象，不能替代全称证明。“第 8 章：复向量空间上的算子”的交付物至少包含 null(T-λI)^k 稳定链、直和维数、Jordan 链和换基后的分块矩阵。；若换基后结论变化，必须先区分是坐标变化还是结构真的变化。

练习与答案

本章回顾

有限维复向量空间可分解为各广义特征空间的直和，且每个算子都有由 Jordan 链组成的基。 本页掌握标准是：会声明假设、会构造正常见证、会逐步说明理由、会删除一条假设制造反例，并能解释“广义特征空间维数之和等于 dim V，各空间由 T 保持不变。”为什么不依赖偶然坐标。