1. 前言
《高等代数》是数学类专业的专业基础课,也是该类专业研究生入学考试的必考科目。矩阵是《高等代数》课程中的重要内容,而矩阵的秩是矩阵最重要的数字特征之一。许多学者对矩阵的秩及秩的不等式在高等代数解题中的应用做了研究。文献 [1] 中,黄述亮阐述了关于矩阵秩的几个重要不等式,文献 [2] 中,徐小萍讨论了矩阵秩的不等式及其应用,文献 [3] 中,金启胜、包翠莲探讨了矩阵秩不等式性质,文献 [4] 中,蒋滟君研究了分块矩阵在求矩阵秩及其相关不等式证明中的应用。本文中,我们将首先给出高等代数研究生入学考试中常考的不等式。然后,我们将结合高等代数研究生入学考试试题详细讨论矩阵秩的不等式的应用。具体将从在矩阵秩的相关理论中、在分块矩阵中、在线性空间与线性变换中、以及向量组、方程组相关理论中,阐述矩阵秩的不等式在高等代数解题中的应用。
2. 矩阵的秩及常见矩阵秩的不等式
矩阵的秩 [5] 是指矩阵中行(或列)向量组的秩,与之等价的说法通常是指矩阵中不为零的子式的最高阶数。下面我们将列出一些常见矩阵秩的不等式:
1) 设A,B都是数域P上
矩阵,有
这里
表示矩阵A的秩 [5]。
2) 设A是数域P上
矩阵,B是数域P上
矩阵,有
这里
表示矩阵A的秩 [5]。
推论1 [5]:如果
,那么
3) 设A,B都是
矩阵,有
4) 设A,B都是
矩阵,有
5) Sylvester不等式:设A,B分别是
,
矩阵,则
。特别地,当
时,有
。
6) Frobenius不等式:设A、B、C分别为
,
,
矩阵,则有
3. 矩阵秩的不等式在高等代数考研试题中的应用
矩阵的秩是一个重要、基本的数学概念,是矩阵最重要的数字特征之一。在矩阵的秩的相关理论、分块矩阵、线性方程组解的判定和求解、线性变换等方面应用十分广泛。下面我们将从矩阵秩的相关理论中、在分块矩阵中的应用、在线性空间与线性变换中的应用、方程组相关理论中的应用,阐述矩阵秩的不等式在高等代数考研解题中的应用。
3.1. 在矩阵秩的理论中的应用
矩阵的秩是矩阵的重要特征,我们常常会利用矩阵秩的一些常见不等式,解决矩阵相关问题,其中Sylvester不等式应用极其广泛。
例1 (2020年中国科学院大学高等代数考研试题3)已知n阶方阵A满足
。
问:
为何值,并给出证明过程。
分析:已知n阶方阵A满足
,即
。利用Sylvester不等式,则有
。
证明:因为
所以,有
即
利用Sylvester不等式,得
例2 (2011年华中科技大学考研试题3)设A,B都是
矩阵,C是
矩阵,且
,
,证明:
分析:利用Sylvester不等式,可证
,再利用
,可证
,即可得
。
证明:因为
,A,B都是
矩阵,C是
矩阵
所以,
又因为,
所以,
而
所以,
例3 (2020年华东师范大学高等代数考研试题9)设n为奇数,
且
,证明:
不可逆。
分析:根据
,利用Sylvester不等式,有
(n为奇数),再利用
、
两个不等式,可求得
,即
不可逆。
证明:由于
,利用Sylvester不等式,可得
又因为,n为奇数,所以可得
即,可求
所以,
不可逆。
例4 (2012年河南师范大学高等代数考研试题)设矩阵
,
证明:
或者1。
分析:将矩阵A拆分两个矩阵之和形式,再利用秩的不等式性质
,可得
,由例题8的结论可证明
或者1。
证明:由于
,
故由
有
故当
时,
;当
时,
。
3.2. 在分块矩阵中的应用
矩阵分块的目的是为了将阶数大的矩阵,看成由一些小矩阵组成的低阶矩阵,并把这些小矩阵当做数一样来处理。我们常常可以利用矩阵秩的不等式来解决分块矩阵的有关题型,有时也可以应用分块矩阵证明有关矩阵的秩的某些性质。
例5 (2020年湖南师范大学高等代数考研试题证明题2)用
表示A的秩,A,B都是n阶方阵,证明:
分析:要证明上式,只需证明
,利用初等变换不影响矩阵的秩,将不等式左边
转换成
,再利用A,B都是n阶方阵,有
,即可证明
。为了方便,我们在运算过程中,用r表示矩阵的行,c表示矩阵的列。
表示将分块矩阵的第二行左乘矩阵B加到第一行。
表示将分块矩阵的第二列左乘矩阵A减到第一行。
表示将分块矩阵的第一行与第二行交换位置。
证明:由于
因为,A,B都是n阶方阵,则
而
所以,
例6 (2020年兰州大学高等代数考研试题4证明题)设A为
矩阵,B为
,C为
矩阵,试证:
分析:要证明上式,只需证明
,再利用方块矩阵做一系列的初等变换,可得到
证明:设
分别为
阶单位矩阵,
则由于
且
是可逆矩阵,故
所以
3.3. 在线性空间与线性变换理论中的应用
线性空间的维数其实质是向量组的秩的问题,线性变换的值域与核的维数问题,其实质也是向量组的秩的问题。
例7 (2020湖南师范大学高等代数考研试题证明题2)用
表示A的秩,A,B都是n阶方阵,证明:
分析:除了利用上述例4用分块矩阵求解外,也可以利用线性空间的维数来解,将
用
(U是B像,V是n维列向量空间)表示,定义一个线性变换
,那么
(
指
解集的维数)。所以,
证明:记V是n维列向量空间,令
,则U是V的子空间,且
,再定义V上的线性变换
则
故
而
因为
所以
3.4. 在线性方程组相关理论中的应用
根据线性方程组系数矩阵和增广矩阵的秩的关系,可以判断一个线性方程组是否有解,可以找出线性方程组中有效方程的个数,并怎样给出方程组的解。
例8 (2016年北京师范大学考研试题3)设A是n阶矩阵,
是A的伴随矩阵,证明:
分析:考虑
为n时,利用
,
,考虑
为
时,A至少存在一个
级子式不为0,即
,再利用Sylvester不等式,得到
,最终可得
。同样考虑
时,A的任意
行皆线性相关,故它的
级子式为0,所以
。
证明:当
时,因为
,即
,所以
;
当
时,
,则A至少存在一个
级子式不为0,即
。
利用Sylvester不等式,
则
。
所以,当
时,
;
当
时,则A的任意
行皆线性相关,故它的任意
级子式都为0,所以,
。
综上所述,
例9 (2020年北京师范大学高等代数考研试题2)若A是
矩阵,B是m维列向量。证明:
分析:要证
,只需证明
与
同解即可。
证明:显然,
则
。
反之,若
,则
,即
。
因为,A,X 都是实矩阵,所以
,即
的解是
的解。
所以,
与
同解,
。
4. 总结
秩的不等式常以证明题为主,欲熟练、快速解答该类题,需掌握一些必要的秩的不等式性质,如Sylvester不等式、Frobenius不等式等。除了能够熟练掌握秩的不等式性质以外,同时也需联系矩阵、线性空间与线性变换相关理论,通过归纳总结得出最优解题方式。
NOTES
*通讯作者。