复旦大学数学学院22级高等代数I期中考试压轴大题的多种证法及其推广

七、 设矩阵 仅由 和 组成, 其主对角元全为 , 且对任意的 , 当且仅当 , 这样的矩阵称为锦标赛矩阵. 求证:

证法一 (代数方法) 一方面, 注意到 是实反对称阵, 故由高代白皮书第四版例 3.82 可知 . 另一方面, 注意到 是所有元素都等于 的矩阵, 故 . 最后由矩阵秩的基本公式可得

证法二 (几何方法) 设 的解空间为 , , 则 . 由定义可知

对任一 , 即 , 有

令

则 是 的 维子空间. 对任一 , 有

从而 , 即 , 于是 . 注意到 是 的子空间, 故

于是 .

上述第七大题的两种证法恰好对应于矩阵秩的等式和不等式的两大证明方法 (参考高代白皮书第四版第 3.7 节), 然而证法二 (几何证法) 并不是特别直观. 例如, 是怎样想到去构造子空间 来参与讨论的呢? 事实上, 这一几何证法有更深刻的几何背景, 它需要下列二次型的结论.

命题 设实二次型 的正负惯性指数为 , 集合 是 的子空间 中的任一向量 均满足 . 求证:

证明 容易验证条件和结论在合同变换下不改变, 故不妨从一开始就假设 是规范标准型:

不妨设 , 否则用 代替 进行讨论即可. 设 为标准单位列向量, 令 , 显然 . 令

容易验证 且 线性无关, 从而

下面只要证明: 对任一 , 均有 即可. 用反证法, 假设存在一个 , 使得 . 令 , 则 . 由交和空间维数公式可得

任取非零向量 , 则由 可知 , 再由 可知 , 矛盾!

上述命题是高代白皮书第四版例 10.26 的推广, 利用它可以给出第七大题的如下推广.

推广 设 是 阶实矩阵, 是其对称化, 是 的正负惯性指数. 证明:

证明 设 为相伴实二次型. 设 的解空间为 , 则 . 对任一 , 即 , 有

因此 , 从而由上述命题可得

于是 .

证法三 由 式可计算出锦标赛矩阵 的对称化 的正负惯性指数为 , , 于是由上述推广可得 .

参考文献

[1] 高代白皮书. 谢启鸿, 姚慕生. 高等代数 (第四版), 大学数学学习方法指导丛书. 复旦大学出版社, 2022.