第 9 章：多线性代数与行列式

为什么从这个问题开始

把行列式放到最后后，它怎样从一个公式变成自然的交替多线性不变量？ 本页不把矩阵计算当作最终答案，而是先固定域、空间、维数和量词，再区分定义、见证、不变量与坐标表示。交替性把任何含重复基向量的项消掉，只剩基的置换；所有值因此由一个基上的值决定，最高次交替形式空间是一维。

官方第四版定位

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

正式目录逐项映射

• 9A Bilinear Forms and Quadratic Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Bilinear Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Symmetric Bilinear Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Quadratic Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 9B Alternating Multilinear Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Multilinear Forms：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Alternating Multilinear Forms and Permutations：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 9C Determinants：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Defining the Determinant：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Properties of Determinants：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• 9D Tensor Products：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Tensor Product of Two Vector Spaces：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Tensor Product of Inner Product Spaces：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Tensor Product of Multiple Vector Spaces：在“第 9 章：多线性代数与行列式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。

定义、对象与量词

• 双线性形式：对两个变量分别线性的标量值函数。 在本页推导中必须同时写出所属空间与适用前提。
• 交替多线性形式：交换输入变号且重复输入时为零的多线性形式。 在本页推导中必须同时写出所属空间与适用前提。
• 行列式：算子对最高次交替形式造成的缩放因子。 在本页推导中必须同时写出所属空间与适用前提。
• 张量积：把双线性映射线性化的通用向量空间。 在本页推导中必须同时写出所属空间与适用前提。
• 体积解释：行列式绝对值或奇异值乘积描述体积伸缩。 在本页推导中必须同时写出所属空间与适用前提。

必须先声明以下假设：

• V 有限维且 dim V=n
• Ω 对每个变量分别线性
• Ω 在交换两个输入时变号并在重复输入时为零
• 定义 det T 时选择的 Ω 非零

核心定理与证明入口

本页主张： 若 dim V=n，则 V 上交替 n-线性形式空间维数为 1；算子行列式由其对该一维空间的缩放唯一确定。

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

1. 声明对象：V 有限维且 dim V=n 依据是：先冻结“第 9 章：多线性代数与行列式”的域、空间与量词，避免证明中途换题。
2. 展开定义：双线性形式与交替多线性形式按定义进入推导 依据是：只使用“第 9 章：多线性代数与行列式”正文已声明的定义，不把待证结论当引理。
3. 构造见证：在 R^2 中令 Ω((a,b),(c,d))=ad-bc；交换两向量会变号，T=diag(3,2) 使 Ω 缩放 6。 依据是：非平凡对象让“若 dim V=n，则 V 上交替 n-线性形式空间维数为 1；算子行列式由其对该一维空间的缩放唯一确定。”中的结构可以逐步检查。
4. 保持不变量：行列式定义与所选非零最高次交替形式只差共同缩放，因此 det T 唯一。 依据是：每一步都核对“第 9 章：多线性代数与行列式”真正不随选择改变的量。
5. 封闭结论：若 dim V=n，则 V 上交替 n-线性形式空间维数为 1；算子行列式由其对该一维空间的缩放唯一确定。 依据是：结论只覆盖四条假设允许的范围，并与“使用普通双线性形式 ac+bd 定义“面积”；它不交替，两个相同向量输入时不为零，不能承担行列式。”区分。

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

在 R^2 中令 Ω((a,b),(c,d))=ad-bc；交换两向量会变号，T=diag(3,2) 使 Ω 缩放 6。 这个例子必须保存输入基、所属空间、关键中间对象和“行列式定义与所选非零最高次交替形式只差共同缩放，因此 det T 唯一。”的检查结果。对二维剪切、缩放和旋转分别计算 Ω(Tv1,Tv2)；比较 det 的符号/体积与 SVD 奇异值乘积，再用张量积表达双线性映射。

反例与适用边界

使用普通双线性形式 ac+bd 定义“面积”；它不交替，两个相同向量输入时不为零，不能承担行列式。 反例只删除一条假设，其余对象保持不变；这样才能定位结论首次失效的位置，而不是换一道完全不同的题。

最小可重放记录

page: 05-multilinear/lad4-multilinear-algebra-determinants
theorem: 若 dim V=n，则 V 上交替 n-线性形式空间维数为 1；算子行列式由其对该一维空间的缩放唯一确定。
normal_object: 在 R^2 中令 Ω((a,b),(c,d))=ad-bc；交换两向量会变号，T=diag(3,2) 使 Ω 缩放 6。
removed_hypothesis: V 有限维且 dim V=n
boundary_object: 使用普通双线性形式 ac+bd 定义“面积”；它不交替，两个相同向量输入时不为零，不能承担行列式。
invariant: 行列式定义与所选非零最高次交替形式只差共同缩放，因此 det T 唯一。
artifact: 多线性逐槽检查、交换符号、基上的唯一值、缩放因子与张量通用性质。

代码、数值或图形只能验证具体对象，不能替代全称证明。“第 9 章：多线性代数与行列式”的交付物至少包含 多线性逐槽检查、交换符号、基上的唯一值、缩放因子与张量通用性质。；若换基后结论变化，必须先区分是坐标变化还是结构真的变化。

练习与答案

本章回顾

若 dim V=n，则 V 上交替 n-线性形式空间维数为 1；算子行列式由其对该一维空间的缩放唯一确定。 本页掌握标准是：会声明假设、会构造正常见证、会逐步说明理由、会删除一条假设制造反例，并能解释“行列式定义与所选非零最高次交替形式只差共同缩放，因此 det T 唯一。”为什么不依赖偶然坐标。