谢启鸿

V1

2022/08/13阅读:39主题:默认主题

复旦大学数学学院21级高等代数I期中考试压轴大题的多种证法

代数语言与几何语言的相互转换, 以及代数方法与几何方法的灵活运用, 这是高等代数学习中的难点. 本文通过复旦大学数学学院 21 级高等代数 I 期中考试两道压轴大题的多种证法, 来看一看在代数语言下如何灵活运用代数方法与几何方法来处理问题.

第六大题 均为 矩阵, 证明:

(1) 若 , 则存在 阶非异阵 , 使得 的后 列全为零.

(2) 若存在 阶方阵 , 使得 , 则存在非异阵 , 使得 .

证法 1 (代数方法) (1) 由相抵标准型理论可知, 存在 阶非异阵 , 阶非异阵 , 使得 . 设 , 的前 列构成的 矩阵, 则 , 即 的后 列全为零.

(2) 由 可知 , 由 可知 , 于是 . 注意到题目的条件和结论在变换 , ( 为非异阵) 下不改变, 故由 (1) 不妨从一开始就假设 , , 其中 都是列满秩的 矩阵. 设 , , 其中 都是 阶方阵, 则由 可得

于是 , , , 从而 . 由于 都是列满秩矩阵, 故它们存在左逆 (高代白皮书的例 3.86), 从而可得 , . 令 , 则 为非异阵且满足 .

证法 2 (几何方法) (1) 题目即要证明: 对 实施若干次初等列变换后,得到矩阵的后 列全为零. 设 为列分块, 其中 列向量组的极大无关组. 先对 进行若干次第一类初等列变换 (即列对换), 可将列向量组的极大无关组换至前 列. 因为任一列向量是极大无关组的线性组合, 故再进行若干次第三类初等列变换, 可利用前 列消去后 列, 得到的矩阵即为所求.

(2) 设 , 为两个矩阵的列分块, 则 说明任一 都是 的线性组合, 说明任一 都是 的线性组合, 因此这两个列向量组等价, 于是两个列向量组有相同的秩, 即有 . 对 的列向量进行对换, 相当于 右乘第一类初等矩阵, 这不影响题目的条件和结论, 因此不妨假设 列向量的极大无关组, 列向量的极大无关组, 从而它们是 的子空间 的两组基, 于是存在非异阵 , 使得

对任意的 , 设 矩阵, , 则 为非异阵且满足 即有 .

证法 3 (引用高代白皮书) (1) 的证明同证法 2, 下证明 (2). 由 可得 , 于是 的解是 的解; 再由 可得 , 于是 的解也是 的解; 从而齐次线性方程组 同解. 由高代白皮书的例 4.24 可知, 存在可逆矩阵 , 使得 , 转置后可得 .

第七大题 两个 矩阵 , 的 Hadamard 乘积定义为 . 证明:

在证明本题之前, 我们来列举 Hadamard 乘积的一些简单性质.

(1) 交换律 ;

(2) 结合律 ;

(3) H 乘积与加法的分配律 ;

(4) H 乘积与数乘的相容性 ;

(5) H 乘积单位元 , 其中 是元素全为 的矩阵;

(6) H 乘积与矩阵乘积的不相容性 .

证法 1 (代数方法) , 即 时, 结论显然成立. 再证明 的情形, 此时可设 , 其中 , . 再设 , 则 , 其中 , , 于是 . 当 时, 由高代白皮书的例 3.85 可知, , 其中 , 故由 Hadamard 乘积的性质以及秩的基本不等式可得

证法 2 (几何方法) , 为两个矩阵的列分块, 则 也是 的列分块. 设 , , 列向量的极大无关组, 列向量的极大无关组, 令 个列向量 张成的 的子空间, 显然 . 对 的任一列向量 , 可设 , , 则由 Hadamard 乘积的性质可得

因此

证法 3 (Kronecker 积) 注意到 Hadamard 乘积 是 Kroneceker 乘积 的第 行与第 列构成的 子矩阵, 故由习题课教学视频高代 2 第 11 讲的例 2 可知

参考文献

[1] 高代教材: 姚慕生, 吴泉水, 谢启鸿 编著, 高等代数学 (第三版), 复旦大学出版社, 2014.

[2] 高代白皮书: 姚慕生, 谢启鸿 编著, 学习方法指导书: 高等代数 (第三版), 复旦大学出版社, 2015.

[3] 谢启鸿, 复旦大学高等代数习题课教学视频, https://www.bilibili.com/video/av90771191/

分类:

数学

标签:

高等数学

作者介绍

谢启鸿
V1