提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本集目录
◎学习目标
- 理解合同标准形的概念：通过基变换使双线性函数的度量矩阵化为简单的分块对角形；
- 区分相似标准形（Jordan形，用于线性变换/相似矩阵）与合同标准形（用于双线性函数/合同矩阵）这两个完全不同层面的"标准形"；
- 掌握斜对称矩阵的合同标准形：分块对角，每个非零块为 \(\begin{pmatrix}0&1\\-1&0\end{pmatrix}\)；
- 明确：合同标准形（对角形或辛块形）比 Jordan 形"容易得多"，不要求特征多项式分解为一次因式的乘积。
1合同标准形的引出 ⏱ 00:02
由上一集（P124）的对角化定理，我们已经知道：
回顾（P124 定理）
设 \(K\) 是特征不为 2 的域，\(V\) 为 \(K\) 上线性空间，\(F\) 为 \(V\) 上的对称双线性函数。则 \(V\) 中存在一组基，使得 \(F\) 在该基下的度量矩阵为对角矩阵。
这意味着：对任意 \(n\) 阶对称矩阵 \(A\)（特征不为2的域上），存在可逆矩阵 \(P\)，使得
\[ P^T A P = \operatorname{diag}(d_1, d_2, \dots, d_n). \]
这个对角矩阵就称为 \(A\) 的合同标准形（contract normal form）。⏱ 08:30
术语说明
"合同标准形"是一个通用概念：对对称矩阵，标准形是对角矩阵；对斜对称矩阵，标准形是分块对角矩阵（见下文）。丘老师强调："把它叫做合同标准形"，以区别于前面学过的相似标准形（Jordan形）。⏱ 08:40
2相似标准形 vs 合同标准形 ⏱ 09:00
本集的重点在于厘清两个容易混淆的概念——相似标准形和合同标准形，它们分别处理完全不同的对象。
| 比较维度 | 相似标准形 | 合同标准形 |
|---|---|---|
| 处理对象 | 线性变换 / 矩阵（相似关系 \(P^{-1}AP\)） | 双线性函数 / 矩阵（合同关系 \(P^TAP\)） |
| 标准形形式 | Jordan 标准形（分块对角，每块是 Jordan 块） | 对角矩阵（对称）或辛块对角（斜对称） |
| 成立条件 | 要求特征多项式在域上可分解为一次因式乘积 | 只需特征不为 2，无需任何分解条件 |
| 难度 | 较难，需要最小多项式、循环子空间等理论 | 容易，用归纳法+正交化构造即可 |
| 唯一性 | Jordan 块的大小和个数唯一确定 | 对角元 \(d_i\) 一般不唯一（除非在实数域讨论符号差） |
| 对应章节 | P110~P117（Jordan 形） | P124~P125（合同标准形） |
核心区别
相似标准形（Jordan形）要求域上特征多项式能分解成一次因式，否则矩阵可能不可对角化甚至没有 Jordan 形。而合同标准形几乎不需要任何额外条件——只要特征不为 2，对称矩阵总可合同对角化，斜对称矩阵总可合同化为辛块对角形。丘老师评价："这个容易多了，好多了，漂亮多了！"⏱ 10:30
3斜对称矩阵的合同标准形 ⏱ 11:30
对于斜对称双线性函数，其度量矩阵不能化为对角矩阵（除非是零矩阵），但可以化为如下标准形：
定理 · 斜对称矩阵的合同标准形
设 \(K\) 是特征不为 2 的域，\(F\) 为 \(K\) 上线性空间 \(V\) 上的斜对称双线性函数。则 \(V\) 中存在一组基，使得 \(F\) 在该基下的度量矩阵为分块对角矩阵：
\[ \operatorname{diag}\Bigl(\underbrace{J,\, J,\, \dots,\, J}_{r\ \text{个}},\ \underbrace{0,\, \dots,\, 0}_{n-2r\ \text{个}}\Bigr), \qquad J = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}. \]
其中非零块 \(J\) 的个数 \(r\) 由 \(F\) 唯一决定，且 \(2r = \operatorname{rank}(F)\)。
推论
特征不为 2 的域 \(K\) 上，任一 \(n\) 阶斜对称矩阵 \(A\) 合同于上述分块对角矩阵。特别地，斜对称矩阵的秩必为偶数。
证明说明
此定理的证明比对称情形更复杂，丘老师建议看书上 proof，不需要死记。关键步骤是反复找一对向量 \(\alpha, \beta\) 使得 \(F(\alpha, \beta) \neq 0\)，然后做类似于正交化的操作，将空间分解为二维辛子空间的直和。⏱ 13:00
4两种标准形的对比总结 ⏱ 14:00
关键认知
丘老师在本节反复强调一个重要的方法论区别：
- 相似标准形（Jordan形）：需要将最小多项式分解成不同一次因式的乘积，这样才能对角化或得到 Jordan 块。若不可约因式次数 \(> 1\)，则处理非常困难。
- 合同标准形：不需要任何分解条件，只需要特征不为 2。对称矩阵总可合同对角化，斜对称矩阵总可合同化为辛块对角形。这是强得多的结论。
注意区分
"合同标准形"和"相似标准形"是两个完全独立的概念体系。学生常常混淆：
- 相似：\(P^{-1}AP = B\)，保持特征值不变；
- 合同：\(P^TAP = B\)，保持对称性，但不保持特征值。
★重点回顾
1
合同标准形：对称矩阵在特征不为2的域上总可合同化为对角矩阵；斜对称矩阵总可合同化为辛块对角形 \(\operatorname{diag}(J, \dots, J, 0, \dots, 0)\)。
2
相似标准形 ≠ 合同标准形：前者用于线性变换（\(P^{-1}AP\)），后者用于双线性函数（\(P^TAP\)）。两者处理对象、成立条件、方法完全不同。
3
合同对角化比 Jordan 化容易得多：不需要特征多项式分解，只需归纳法+正交化构造。
4
斜对称矩阵的秩必为偶数：这是合同标准形的直接推论，是常考结论。
5
辛块 \(J = \begin{pmatrix}0&1\\-1&0\end{pmatrix}\) 是斜对称矩阵合同标准形的基本单元，不可进一步简化。
⚠易错点提醒
常见错误
- 混淆"相似"与"合同"：相似变换用 \(P^{-1}\)，合同变换用 \(P^T\)。两者是完全不同的等价关系，不要混用。
- 误认为合同对角化需要特征值互异：合同对角化与特征值无关，只要求特征不为2。
- 误认为斜对称矩阵可以对角化：除非是零矩阵，否则斜对称矩阵不能合同化为对角矩阵。
- 忘记斜对称矩阵的秩必为偶数：这是从标准形直接得出的重要结论，考试常考。
- 将"合同标准形"与"相似标准形（Jordan形）"的结论张冠李戴：例如误用 Jordan 形的结论来讨论合同问题，反之亦然。
✎作业与练习
下课作业（丘老师布置）
教材习题：401–408（02、03、04、01、04、01、05）；433–435（01、02、05）；第九章：第7题、第9题、第10题；第3–6题；第7题；第十章第1节：第1题、第4题、第10题。
自测题
- 设 \(A = \begin{pmatrix}0&1&0\\-1&0&0\\0&0&0\end{pmatrix}\)，验证 \(A\) 是斜对称矩阵，并写出其合同标准形。
- 证明：在特征不为2的域上，斜对称矩阵的秩必为偶数。
- 举例说明：两个合同的对称矩阵，其特征值可以完全不同。（提示：考虑 \(A = \begin{pmatrix}1&0\\0&1\end{pmatrix}\) 和 \(P^TAP\)，其中 \(P = \begin{pmatrix}1&1\\0&1\end{pmatrix}\)。）
- （思考）合同标准形中的对角元 \(d_i\) 是否唯一？在什么条件下唯一？（提示：考虑实数域上的 Sylvester 惯性定理，下集讨论。）
下集预告
第 P126 集 · 具有度量的线性空间（一）：正定对称矩阵、内积、实内积空间——从对称双线性函数出发，引进度量概念，进入内积空间理论。