线性代数模块 3:秩
系统梳理矩阵秩、参数秩、乘积秩、分块秩及其与方程组和向量组的联系。
Last updated on
下面按本站中**线性代数真题「模块三:秩」**来系统讲。本站把该模块分成“秩的基本概念及基本运算”“秩的常用公式”两部分;李正元第三章和张宇第 3 章又把秩与向量组、线性表示、方程组放在一起训练。真题本身也说明:秩几乎从来不是孤立考点,而是连接矩阵、向量、方程组、伴随矩阵、特征值和二次型的核心枢纽。 (docs.any1.tech)
本模块最终可压缩成下面这张“题型地图”:
| 层级 | 题型 | 重要程度 |
|---|---|---|
| 1 | 秩的定义、子式、极大无关组 | ★★★ |
| 2 | 具体矩阵、参数矩阵求秩 | ★★★★★ |
| 3 | 可逆矩阵乘法、初等变换与秩 | ★★★★★ |
| 4 | 乘积矩阵的秩、Sylvester 不等式 | ★★★★★ |
| 5 | 条件 、 | ★★★★★ |
| 6 | 分块矩阵求秩 | ★★★★★ |
| 7 | 伴随矩阵的秩 | ★★★★★ |
| 8 | 秩与向量组、线性表示、方程组 | ★★★★★ |
| 9 | 等矩阵幂的秩 | ★★★★ |
| 10 | 外积矩阵、低秩矩阵 | ★★★ |
| 11 | 综合参数分类讨论 | ★★★★★ |
| 12 | 新趋势:秩不等式取等、复杂分块降阶 | ★★★★★ |
一、先建立整个“秩”的底层体系
1. 秩到底是什么?
矩阵 的秩有四个完全等价的理解。
定义 1:非零子式
矩阵中最高阶非零子式的阶数。
若
那么必有:
同时
这是参数矩阵求秩最重要的判定工具。
定义 2:行空间维数
定义 3:列空间维数
因此永远有
这条结论非常重要。
定义 4:初等变换后非零行数
把矩阵用初等行变换化成阶梯形:
非零行的数量就是秩。
因此,数值矩阵求秩,默认第一选择通常是:
而不是疯狂算子式。
二、必须背熟的秩公式总表
这部分可以说是整个模块的“武器库”。
1. 基本界
若 是 矩阵,
2. 转置不变
3. 可逆矩阵不改变秩
若 可逆:
进一步,
这实际上就是:
初等行、列变换均不改变秩。
4. 矩阵乘积
若 ,:
一定要形成条件反射:
乘一次矩阵,秩只能不变或下降,不可能上升。
5. Sylvester 秩不等式
若中间维数为 :
所以合起来:
这是近年越来越重要的公式。
6. 和矩阵
推广:
7. 横向拼接
因此
8. 分块对角矩阵
极其重要。
三、题型一:直接由定义、子式判断秩
考频:★★★
这是秩最基础的一类,但容易在概念题上丢分。
真题 1:1987 年——加边子式判断秩
站内题目:
已知矩阵中某个 阶子式 ,且所有“包含 ”的 阶加边子式均为零,判断是否可推出矩阵全部 阶子式均为零。
答案:可以。
站内用的是加边子式定理。(Any Docs)
为什么?
由
已经知道
而全部加边子式为零意味着不存在进一步把这一非零 阶子式扩展成非零 阶子式,从而
因此
那么当然所有 阶子式都是零。
这一题真正要学什么?
不是“记住答案”,而是学会:
判定秩恰等于 ,永远需要一上一下两个方向。
即
最典型的方法:
和
四、题型二:已知秩,判断行列向量性质
考频:★★★☆
真题 2:1987 年
是 阶矩阵,
问其 个行向量一定有什么性质?
正确结论是:
一定能够找到 个线性无关的行向量。
站内真题中特别强调:不能把“存在”偷换成“任意”。(Any Docs)
这类选择题最爱设置:
- “存在”
- “任意”
- “至少”
- “恰有”
之间的陷阱。
必须形成的逻辑
若
那么:
一定成立
存在 个向量线性无关。
也一定成立
任意 个向量线性相关。
不一定成立
任意 个向量线性无关。
例如:
整个向量组秩为 2。
但
明显相关。
五、题型三:具体向量组求秩——先看结构,不要直接消元
考频:★★★★
真题 3:1990 年
向量组:
求秩。
站内答案:
因为设
则
于是所有向量均属于
所以
而
不成比例,因此
故
(Any Docs)
通法总结
看到这种“等差结构”:
立即想到:
推广:
若
则
这比机械消元快很多。
六、题型四:低秩结构识别——外积矩阵
考频:★★★☆,但很重要
真题 4:1992 年
矩阵元素具有形式
于是整个矩阵可以写成
这是典型外积:
若 ,则
所以该真题答案:
(Any Docs)
这一结构必须背下来
对于列向量 :
每一列都只是 的倍数。
因此
若矩阵不为零:
七、题型五:若干个外积之和
这是上一题的升级版,也是很好的大题模型。
真题 5:2008 年大题
设 为三维列向量,
证明:
若 线性相关,再证明:
这是网站模块三唯一非常典型的秩证明大题之一。(Any Docs)
方法一:秩的不等式
因为
所以
方法二:列空间,推荐理解
任取向量 ,
因此
也就是说
所以
这是更本质的方法。
如果 线性相关
例如
那么
于是
故
强化结论
实际上对于实矩阵,如果
则
而
所以外积和的秩本质就是这些向量张成空间的维数。
这是未来非常容易继续变式的地方。
八、题型六:含参数矩阵,已知秩求参数
考频:★★★★★
这是模块三最基本、最重要的计算题。
真题 6:1997 年
三个四维向量的秩为 2,其中一个分量含参数 ,求 。
站内答案:
站内观察到其中前两个向量显然线性无关,因此秩已经至少为 2。
题设又说
所以第三个向量必能表示为前两个的线性组合:
比较分量即可解出参数。(Any Docs)
这类题的标准框架
题目说:
最好先找两个明显线性无关的向量。
假设
线性无关。
那么直接得到:
常常比算所有三阶子式快得多。
九、参数秩问题最通用的方法:上下界夹击
李正元第三章有一道非常典型的练习:
三个四维向量构成矩阵 ,要求
取一个三阶子式得到
于是
然后代回后,再找一个二阶子式:
因此
而所有三阶子式为零,所以
最终
(Any Docs)
参数秩的万能模板
如果要求
必须同时做:
第一步:让更高阶子式消失
一般利用一两个精心挑选的子式先筛参数。
第二步:保证至少有一个 阶子式非零
缺第二步是考研非常典型的失分点。
例如求
时,仅仅算出
只能证明
还可能出现
十、一个非常重要的特殊矩阵
1998、2001、2016 等真题反复出现同一结构:
对角线相同、非对角线相同。
例如:
可以写成
其中 是全 1 矩阵。
这一矩阵的秩直接背结论
它有两个特殊方向:
全 1 向量方向:
对应因子
而其余 个独立方向对应
所以:
若
且
则
若
而
则
若
则矩阵为全常数矩阵:
真题 7:1998 年
矩阵:
要求
代入
因此必须
所以
即
(Any Docs)
真题 8:2001 年
四阶矩阵对角为 ,其他元素为 1。
要
因此
所以
(Any Docs)
这两个本质上完全是同一道题。
十一、题型七:可逆矩阵乘法与秩
考频:★★★★★
真题 9:1994 年
若
且 可逆,问
和
关系。
直接:
证明非常值得掌握:
一方面
另一方面
因此
两边夹住:
(Any Docs)
真题 10:1996 年
右乘一个可逆的 矩阵 。
那么:
站内先算
确认 可逆,再直接套结论。(Any Docs)
十二、这个结论必须扩展到“等价矩阵”
两个同型矩阵 等价,意味着存在可逆矩阵 ,使
于是
反过来,对于同型矩阵:
这是考研非常重要的一条。
真题 11:2016 年
两个三阶矩阵等价,第二个矩阵秩为 2,求第一个矩阵中的参数 。
第二个矩阵可验证:
所以第一矩阵必须:
站内最终得到:
(Any Docs)
十三、题型八:乘积矩阵秩——第一原则就是“中间维数”
考频:★★★★★
真题 12:1999 年
设
那么
是 阶矩阵。
若
则
所以 不满秩:
(Any Docs)
极其重要的秒杀技巧
只要矩阵经过一个较低维空间:
其中
那么复合变换不可能满秩。
所以
不要去乘矩阵。
十四、题型九:
考频:★★★★☆
真题 13:2010 年
设
并且
那么:
而
所以
同理:
因此
(Any Docs)
结论升级
如果
那么:
- 满行秩;
- 满列秩;
- 必有 。
但注意:
如果 ,并不能说 都可逆,因为它们甚至不是方阵。
十五、题型十:——模块三的超级高频结构
考频:★★★★★
必须背:
如果
那么
所以
即
注意这里的 :
不是随便哪个阶数。
十六、为什么 会推出这个式子?
取任意 :
所以 一定属于 的零空间:
因此
根据秩—零度定理:
所以
即
这个证明要理解,后面很多题可以不用死记。
十七、真题 14:1993 年—— 加参数
题中
其中 。
矩阵 含参数 。
当
时,站内算得:
于是
得到
又因为
故
因此
(Any Docs)
这类题的核心套路
看到
马上写:
再与:
之类条件夹击。
十八、真题 15:1997 年—— 判断参数
有三阶非零矩阵 ,满足
因为
如果 可逆,那么
左乘
立即得到
矛盾。
因此:
即
计算得到:
所以
(Any Docs)
秒杀结论
若 都是 阶非零矩阵,且
则:
因为其中任何一个可逆都会迫使另一个为零。
1988、1994 真题都直接考过这一性质。(Any Docs)
十九、一个非常值得预测的升级结论
若
相当于令
于是
所以
严格说:
这是非常适合未来选择题的变式。
例如 是五阶矩阵,满足
则最多:
二十、题型十一:矩阵幂的秩
考频:★★★☆
真题 16:2007 年
给定移位型矩阵
计算
直接得到
所以
(Any Docs)
必须掌握的一般关系
因为
所以
因此:
Sylvester 再给下界
对于 阶矩阵:
于是
这条在 2024 真题里直接派上了用场。
二十一、题型十二:伴随矩阵的秩
考频:★★★★★
这是必背结论。
对 阶矩阵 ,伴随矩阵记作 。
必须完整背下来。
二十二、为什么会有三个情况?
情形一
则 可逆,
其中
所以
情形二
所有 阶子式为 0:
但至少存在某个 阶子式不为 0。
因此 。
又有
因此
即
所以
再结合
得到:
情形三
所有 阶子式都为 0。
而伴随矩阵元素全是 阶代数余子式。
因此
所以
二十三、真题 17:1993 年
四阶矩阵:
因为
属于
所以
于是
(Any Docs)
二十四、真题 18:2019 年
四阶矩阵 。
齐次方程
的基础解系中有 2 个向量。
基础解系向量数:
所以
于是
因此:
故:
所以:
(Any Docs)
二十五、这一题实际上串了三章知识
2019 真题的逻辑链一定要背熟:
这就是考研线代的特点:
一道小题表面只问伴随矩阵,实际连接“方程组 + 秩 + 伴随矩阵”。
二十六、真题 19:2003 年——反向利用伴随矩阵
三阶矩阵 满足:
立刻反推:
题中的矩阵:
属于前面讲过的特殊结构。
要秩为 2:
必须一个方向退化而另外两个保持独立。
最终条件:
即站内选择 C。(Any Docs)
二十七、题型十三:秩与向量组之间相互转化
考频:★★★★★
这一部分严格说本站把“向量”单独列成模块四,但在实际考试中不能分开。
一定要牢记:
若
则:
于是:
向量组线性无关
向量组线性相关
可由向量组表示
不可由向量组表示
这些几乎就是后面“线性方程组”的入口。
二十八、真题 20:2017 年——线性变换后的向量组秩
是三维线性无关向量。
令
则
可逆。
题目要求:
把这些向量拼成矩阵:
因为 可逆:
题中算得:
所以:
(Any Docs)
这个模型非常重要
若
是 维空间一组基,
则
可逆。
因此
这句话可以直接背。
二十九、练习题中的重要逆否关系
张宇强化题有一道很值得做:
给定向量组
以及
若原向量组相关:
左乘 :
所以:
取逆否:
但反过来不一定。
因为矩阵 可能把不同向量“压扁”。(Any Docs)
三十、题型十四:秩与线性表示——参数分类
这是非常值得强化的大题。
李正元高质量练习
给出四个含参数 的向量:
以及
要求讨论:
- 不能由这些向量表示;
- 可以表示且表示唯一;
- 可以表示但表示不唯一。
站内首先把四个向量组成方阵 ,得到:
(Any Docs)
这一题就是“线性表示分类总模板”
情形一
若
即
则
所以对任意 ,
都有唯一解。
因此:
情形二
参数使矩阵降秩。
例如:
时,
接下来必须比较:
若
则:
若
则:
站内最终得到:
时可表示且不唯一;
而
时不可表示。
另一个特殊值
同理分类。(Any Docs)
三十一、以后遇到所有“表示”问题都用这一张表
对于
其中 有 列:
| 条件 | 结论 |
|---|---|
| 无解 | |
| 唯一解 | |
| 无穷多解 |
换成向量语言:
| 条件 | 结论 |
|---|---|
| 不能线性表示 | |
| 二秩相等且等于 | 唯一表示 |
| 二秩相等且小于 | 不唯一表示 |
这其实就是模块三→模块四→模块五之间最重要的桥梁。
三十二、题型十五:由“任意向量都能表示”反推满秩
李正元练习:
若任意三维向量都能由
线性表出。
那么这三个向量张成整个:
因此:
由于恰有三个三维向量,所以等价于:
站内最终得到参数条件:
(Any Docs)
以后看到以下措辞要立即翻译
“任意 维向量均可由 表示”
等价于
也就是说:
三十三、题型十六:分块矩阵求秩
考频:★★★★★,近几年尤其重要
先掌握最基础:
三十四、带单位块的超级公式
若 可逆:
通过分块初等变换可以得到:
特别是
则:
这条公式近年价值极高。
三十五、为什么?
对
作分块行变换:
第一块行减去 倍第二块行:
再消去左下块:
所以:
即
这就是分块秩题真正的核心。
三十六、真题 21:2021 年
站内给出了多个 分块矩阵,判断哪个秩恒等式不成立。
其中可以利用分块初等行、列变换将若干选项化成:
因此秩为:
而错误选项站内通过反例否定。(Any Docs)
这类选择题怎么做最快?
不要试图“直接算分块矩阵的秩”。
第一反应:
能不能把某个块消掉?
最喜欢出现:
或者
目的永远是:
三十七、真题 22:2023 年——近年最值得研究的秩题之一
条件:
题目给出三个含 的分块矩阵,秩分别记作
站内利用“单位块消元”得到:
而:
所以:
正确答案为 B。(Any Docs)
这一题的命题价值非常高
它组合了三件事:
第一层
第二层
分块矩阵降阶。
第三层
这就是现在考研线代越来越典型的风格:
不再直接问“求一个矩阵秩”,而是把几个基本性质串起来。
三十八、题型十七:Sylvester 秩不等式
近年重要度:★★★★★+
对于
有:
尤其 都是 阶时:
三个矩阵
继续:
又:
所以:
三十九、真题 23:2025 年——Sylvester 取等问题
这是目前本站模块三里最值得重视的最新真题之一。
题设:
移项:
另一方面,连续使用 Sylvester:
以及
因此:
而题设恰好取得下界。
这意味着前面的两步都必须取等:
且
所以站内答案是:
即 A。(Any Docs)
四十、这一题必须提炼出的“取等原则”
假设:
而题目最后给出:
那么必然:
2025 真题本质上就是:
现在题目给出最左边等于最右边。
所以中间全部只能取等。
四十一、值得注意的是这个方向会继续考
很容易改成:
给定
则可以推出:
本质完全相同。
四十二、题型十八: 与秩不等式综合
真题 24:2024 年
四阶矩阵 ,伴随矩阵 ,满足:
且
求
站内答案:
这是非常高质量的一道综合题。(Any Docs)
分情况讨论
假设
则 可逆。
由
左乘 :
于是:
与题设矛盾。
所以:
假设
由于
所以
并且:
原式:
化成:
但是 Sylvester:
所以:
不可能
故:
只剩
此时:
所以:
原式再次成为:
而题设
所以
因此:
结合
得到:
四十三、这道题代表未来综合题趋势
它一共串了:
所以秩模块不能只背:
要建立完整公式网。
四十四、题型十九:由若干 推矩阵结构
真题 25:2024 年另一题
三阶矩阵 满足:
求:
站内答案:
(Any Docs)
第一步
所以:
也就是说:
至少有两个线性无关解。
所以特征值 至少对应两个独立方向。
第二步
所以:
即:
存在非零解。
于是三维空间中可以找到三个线性无关特征向量,对应:
因此:
第三步
对三阶矩阵:
于是:
四十五、这题虽然涉及特征值,但“入口”还是秩
非常值得记住这种语言转换:
那么:
即特征值 的几何重数至少能直接读出来。
这属于模块三和模块六的重要交叉。
四十六、题型二十:初等变换与“列空间”要分清
张宇强化部分有一个非常好的概念题:
一个矩阵 能通过初等列变换变成 ,问参数条件。
初等列变换等价于:
其中 可逆。
所以:
更强地说:
张宇题利用两个三阶矩阵的奇异参数分类,最终得到:
(Any Docs)
一个容易混淆的问题
初等行变换
保持:
但通常不保持列向量本身的线性组合空间作为原坐标中的子空间。
初等列变换
保持列空间:
因为 可逆。
这在“向量组等价”问题中很有用。
四十七、极大线性无关组与秩
虽然本站模块四会更详细讲,但这里必须提前掌握。
设:
那么任何含 个向量的极大无关组就是一个最大线性无关子组。
例如:
如果
且
无关,则:
一个极大无关组:
四十八、加入一个向量时,秩只能变化 0 或 1
这是非常实用的结论:
相对于
最多增加 1。
所以:
其中:
若
则
若
则
李正元练习
若:
那么:
没有扩大空间,而
扩大了一维。
因此:
(Any Docs)
四十九、特殊结构:范德蒙德向量组
李正元有一道很值得保留的证明题:
其中
互不相同。
求这些向量的秩。
最终:
原因就是取相应方阵子式,得到范德蒙德行列式:
(Any Docs)
这一题的价值
它体现出:
遇到结构化向量组,不要只会消元。
如果看到:
立刻想到:
从而找非零子式确定秩。
五十、模块三最容易犯的 10 个错误
错误 1
就直接说:
错。
只能得到:
可能:
都有可能。
错误 2
找到一个 阶子式非零,就说:
错。
只能得到:
错误 3
一般错。
正确:
错误 4
就认为:
或
错。
矩阵有零因子。
错误 5
一般错。
只有:
错误 6
就认为任意 个行向量都无关。
错。
只能保证存在 个。
错误 7
矩阵等价就要求元素相同。
错。
同型矩阵:
错误 8
完全错误。
伴随矩阵秩是三段式:
错误 9
说明
矩阵不成立。
实际上只推出:
错误 10
分块矩阵把每个块的秩直接相加。
只有分块对角结构才可直接:
一般:
绝不能直接相加。
五十一、总结成 7 个“看到什么就想到什么”
看到参数 + “秩等于 ”
想到:
看到
想到:
看到
想到:
看到
且 可逆:
看到
想到:
三种情况。
看到分块单位阵
例如:
想到:
看到多个矩阵乘积
想到:
以及:
上下夹击。
五十二、值得注意的是最值得精做的真题顺序
如果不是机械刷所有题,而是希望“一题学一类”,建议按这个顺序:
- 1997:参数向量组给定秩——学参数秩。
- 1998 / 2001:等对角结构——学特殊矩阵。
- 1994 / 1996:可逆矩阵不改变秩。
- 1999:矩阵尺寸 + 乘积秩。
- 2010:。
- 1993 / 1997:。
- 1993 / 2003 / 2019:伴随矩阵秩三段论。
- 2008 大题:外积与低秩矩阵。
- 2017: 的秩。
- 2021:复杂分块矩阵。
- 2023:单位块降阶 + 矩阵幂的秩。
- 2024-2:伴随矩阵 + + 秩不等式。
- 2024-3: 跨特征值综合。
- 2025:Sylvester 不等式取等。
从命题演变来看,后面 2021—2025 这几道尤其值得反复做。(Any Docs)
五十三、预测题 1: 的进一步考法
设 为 阶矩阵:
且
那么有什么特殊关系?
由:
而:
又:
一个三维子空间包含于另一个三维子空间,所以两者相等:
这个变式非常漂亮,而且完全在考研范围之内。
五十四、预测题 2: + 极限秩
设 均为 阶矩阵,
并且:
求 。
由:
得到:
所以:
又:
所以:
因此:
这是非常典型的“上下界夹死”。
五十五、预测题 3:分块 Schur 补
设 为 阶矩阵,求
因为左上角 可逆:
所以:
同样也可以用右下角得到:
因此还顺便得到:
这是一个很漂亮、也很容易命制选择题的结论。
五十六、预测题 4:Sylvester 连锁取等
若 均为 阶矩阵,并满足:
连续利用:
首尾相等,因此中间所有不等式均取等。
于是:
这几乎就是 2025 真题最自然的升级。
五十七、最终:模块三真正应该记住的“核心骨架”
如果考试前只剩 3 分钟,建议只看下面这些。
第一组:定义
第二组:可逆变换
第三组:乘积
第四组:和
第五组:零乘积
第六组:伴随
第七组:矩阵幂
第八组:分块
以及:
第九组:线性表示
当且仅当:
第十组:解的个数
五十八、把模块三真正理解成一句话
“秩”其实是在问:这个矩阵或向量组究竟能提供多少个独立方向。
所以:
是在问经过两次线性映射后还剩多少方向;
是在说 产生的所有方向都被 压到了零空间;
的秩是在利用 阶子式反映 离满秩究竟有多远;
是在判断右端 是否已经落在 的列空间中;
分块矩阵则是在利用初等变换,把复杂的“方向关系”拆成几个独立部分。
一旦把“秩 = 独立方向数”真正建立起来,这一章就不会再变成几十条毫无联系的公式。
就考研价值而言,模块三最需要吃透的是:参数秩、可逆乘法、、伴随矩阵、分块秩、Sylvester 不等式,以及秩和线性表示/方程组之间的转换。尤其 2023、2024、2025 三年的真题,已经很清楚地体现出命题正在从单公式记忆转向“多个秩性质连续推理”。 (Any Docs)