线性代数模块 4:向量
系统梳理线性表出、线性相关、极大无关组、向量空间、基与坐标。
Last updated on
本文按本站的资料结构阅读了数学真题 → 线性代数 → 模块四:向量,并交叉参考了李正元练习题第三章“向量组的线性关系与秩”以及张宇 1000 题线性代数第 3 章“向量组”。本站本身也明确建议按“真题确定重点 → 练习题补充变式”的顺序研究,这里就按这个原则来。(Any Docs)
模块 4 真题实际分为三大部分:
- 线性表出的判定与证明
- 线性相关、线性无关的判定与证明
- 向量空间、基、坐标、过渡矩阵、正交化(数一)
从本站收录的历年真题看,前两部分明显是主战场,而且经常与秩、线性方程组、矩阵、特征值交叉;“向量空间”部分题量少一些,但数一考生必须掌握。(Any Docs)
一、先建立整个模块的“总地图”
以后看到一道向量题,第一反应不要是“应该如何处理”,而是先把题目翻译成下面几种标准语言。
| 题目语言 | 数学本质 | 第一工具 |
|---|---|---|
| “ 能否由一组向量表示” | 非齐次方程有没有解 | 秩 |
| “唯一表示” | 方程唯一解 | 秩 = 未知数个数 |
| “表示不唯一” | 无穷多解 | 秩 < 未知数个数 |
| “向量组线性无关” | 齐次方程只有零解 | 秩 / 行列式 |
| “向量组线性相关” | 齐次方程有非零解 | 秩 / 行列式 |
| “两向量组等价” | 张成同一子空间 | 相互表出 / 拼接矩阵秩 |
| “极大线性无关组” | 找列空间的一组基 | 行变换看主元列 |
| “生成空间维数” | 向量组的秩 | 秩 |
| “新向量由旧向量组合而成” | 坐标变换 | 系数矩阵 |
| “既能由甲表示,又能由乙表示” | 两子空间交集 | 联立表示式 |
| “正交基、标准正交基” | Gram–Schmidt | 内积 |
| “两组基间过渡矩阵” | 基变换 | 把新基逐个用旧基表示 |
其中最核心的一条公式是:
设
那么
就是
因此:
模块 4 的大量题,本质都只是在这四句话上换皮。
二、第一大高频题型:给参数,判断“能否表示、唯一表示、不唯一表示”
考频:★★★★★
这是模块 4 最应该形成条件反射的题型。
典型真题包括:
- 1991 数学四/五:参数 ,讨论 唯一表示、不唯一表示、不能表示;
- 1991 数一/二:参数 ,讨论能否由四个向量表示;
- 1998 数二:同时含 ,讨论是否可表示以及唯一性;
- 2000 数三/四:完整考察三种状态;
- 2004 数三:再次完整讨论三种状态。(Any Docs)
真题 1:1991-45-7 分——最标准的模板题
题目给出
以及一个参数向量 ,问什么时候:
- 可以唯一表示;
- 可以表示但不唯一;
- 不能表示。
这是以后所有同类题的母题。网站给出的关键结果是
所以第一步根本不要直接解方程。
第一步:先找“分界点”
意味着
三个三维向量构成一组基,所以任何三维向量都能唯一表示。
于是:
直接属于唯一表示。
第二步:只讨论奇异点
真正需要分类讨论的只有
这就是参数题最重要的做题思想:
先用行列式找临界参数,只在奇异参数处算秩。
当 时,三个列向量相同,而 ,所以方程有无穷多解,属于能表示但不唯一。
当 时,
但 不在列空间中,因此
不能表示。网站收录的结论正是:
(Any Docs)
这一类的统一解法
遇到
立刻构造
若是方阵
先算
如果
不要再浪费时间:
只有
的参数值需要继续求秩。
真题 2:2000-34-8 分——“奇异以后,找列空间方程”
真题中
网站给出
所以:
当
时,
故任意 都唯一表示。
最有价值的是
此时
网站进一步发现这三个向量张成的二维平面满足
所以 可表示,当且仅当
即
于是:
(Any Docs)
一个非常值得掌握的升级技巧:列空间方程
如果奇异后
它的列空间就是一个超平面。
三维情形尤其常见:
那么判断 能否表示,不需要重新解整个方程组,只要检查
这在 2000 年真题、张宇 1000 题很多题里都非常好用。
三、第二大高频题型:线性相关、线性无关 + 参数
考频:★★★★★
核心:
反之
如果恰好有 个 维向量:
四、真题:1989 年——参数 + 相关性 + 线性表出
给出
问什么时候相关、无关;相关时再表示 。
构成矩阵后:
因此
再代入 ,求得
这题充分说明真题非常喜欢:
先问相关性,再要求求秩 / 极大无关组 / 表示关系。
(Any Docs)
五、重要陷阱:向量数少于维数时,不能只算一个子式为零
这是练习题里非常值得补充的一类。
张宇 1000 题第 3 章有一道:
三个四维向量 ,含参数 。
取一个三阶子式得到
另一个得到
假如三个向量线性相关,就必须满足:
也就是同时要求
不可能。
所以实际上:
(Any Docs)
为什么这题非常重要?
例如三个四维向量构成
矩阵。
要线性相关,需要
即全部三阶子式都为零。
所以:
证明无关
只需找到一个非零三阶子式:
证明相关
不能说:
“找到一个三阶子式等于 0,所以相关。”
这是错误的。
必须证明:
这是很典型的考研陷阱。
六、2024 真题:整体相关,但任意两个都无关
这是最近非常典型的一种升级考法。
2024 数一、数二都考到了同结构题:
整体线性相关,同时要求其中任意两个向量线性无关。
网站中最终得到
数二填空进一步问
(Any Docs)
这类题为什么比普通“相关”难?
因为需要同时满足两层条件。
条件一:三个向量相关
条件二:任意两个无关
于是实际上
所以以后只要看到:
“整体相关,但任意 个都线性无关”
立即翻译为:
这是很可能继续出现的命题形式。
七、第三大高频题型:抽象向量的线性相关性
考频:★★★★★
这一类往往没有具体坐标,所以不能暴力行变换。
核心只靠四件武器:
- 定义;
- 子组性质;
- 线性表出;
- 张成空间。
必须背熟的基本命题
定理 1
线性相关等价于:
注意是:
至少有一个
不是:
任意一个。
1989 真题就直接考过这个区别:四阶矩阵行列式为零,只能保证至少一列可由其余列表示,不能保证每一列都可以。(Any Docs)
定理 2
线性无关等价于:
1988 真题直接考过。(Any Docs)
定理 3
无关组的任意子组无关。
反过来:
某个子组相关
则整个向量组一定相关。
定理 4
在一个线性无关组后加入 :
仍然线性无关,当且仅当
这个结论极其高频。
八、真题:2002 年——“空间内 + 空间外”
已知
线性无关,
但
问对任意 ,哪组一定线性无关。
因为
如果
那么
矛盾。
所以
于是:
(Any Docs)
这类题的万能模型
记原空间
那么只需要判断新向量:
一旦
就有
这是比一直写线性组合更高一级的思维。
九、第四大高频题型:旧向量无关,新向量是否无关
考频:★★★★★
例如已知
线性无关,定义
等等。
此时不要把 当具体向量算。
把它们视为一组基。
核心方法:系数矩阵法
若
且原向量组线性无关,那么:
特别地,如果 是 阶方阵:
十、1997 真题:系数矩阵法的标准题
已知
线性无关,要求判断若干组新向量哪组无关。
网站直接把每组选项写成相对于
的系数矩阵,然后计算行列式。
四个选项行列式依次为
所以只有第三组线性无关。(Any Docs)
一个典型秒杀
若新向量为
根本不用算行列式,因为
于是直接得到
2007 真题就是这个思想。(Any Docs)
十一、张宇 1000 题的一个非常好的变式
已知
线性无关,判断
何时线性无关。
构造系数矩阵 ,网站算得
因此真正的充要条件是
所以题目若问:
“”是什么条件?
答案是:
这类题非常适合练充分条件、必要条件、充要条件。(Any Docs)
十二、循环型新向量——一个值得预测的考法
1988 真题给:
一直到
已知
线性无关,讨论新向量组相关性。
设
整理后:
原组无关,所以
最终得到:
(Any Docs)
预测变式
很容易改成
最后得到一个循环系数矩阵。
核心就会变成:
的参数讨论。
所以考场上只要看到:
“旧向量组无关 + 新向量是旧向量的组合”
优先想:
十三、第五大高频题型:向量组之间的线性表出、等价、秩
考频:★★★★☆
必须区分三个概念:
甲可由乙表示
若
均可由
表示,那么
所以
两向量组等价
含义是能够相互线性表示:
一个非常实用的判定:
重要陷阱
两个向量组秩相等,并不必然等价。
例如两个不同的二维平面都维数为 2,但显然可能不是同一个平面。
所以:
只能说明两个生成空间的维数相同,不能说明生成空间相同。
十四、2022 真题:参数型向量组等价
网站收录:
与
等价,求 。
分别组成两个三阶矩阵:
网站计算:
一般参数下两边都满秩,都张成
自然等价。
但是不能只看行列式的一般情形。
必须单独检验:
最后发现:
虽然两个行列式都为零,但四个向量实际上全部相同,所以仍然等价。
真正需要排除的只有:
所以答案:
(Any Docs)
参数型等价题的标准流程
不要写成:
然后就结束。
正确流程:
第 1 步
找出所有导致秩可能变化的特殊参数。
第 2 步
普通参数直接处理。
第 3 步
特殊参数逐个代回去。
这和特征值、二次型参数题完全是同一种考试思维。
十五、2005 真题:单向表出但不能反向表出
题意:
- 组能由 组表示;
- 组不能由 组表示。
令
第一句话:
第二句话:
合起来就是:
因此:
网站最终通过特殊参数比较秩,得到
(Any Docs)
这题的重要规律
如果
且
那么一定:
因此:
“能单向表示但不能反向表示”
必然意味着:
这个结论非常好用。
十六、第六类:两个生成空间的公共向量
考频:★★★☆,但近年非常值得关注
2023 真题:
给两个二维生成空间
若 同时可由两组向量线性表示,求所有 。
这其实就是:
设
移项:
于是解齐次方程:
真题最终得到:
也就是说:
(Any Docs)
这类题还可以用维数公式预测
例如在
中,两个不同二维平面都经过原点,则:
而
所以
因此至少存在一条公共直线。
张宇 1000 题中就有一道证明:
两组三维线性无关二元向量组所张成的两个二维子空间一定存在非零公共向量。
本质就是这个维数思想。(Any Docs)
十七、第七类:极大线性无关组
考频:★★★★
核心定义:
若
那么极大线性无关组:
- 含有 个向量;
- 自身无关;
- 原组其余向量都能由它表示。
1994 真题
网站中给了五个四维向量。
把它们作为列:
对 做初等行变换。
最后主元列对应原矩阵的
列,所以:
构成一个极大线性无关组。(Any Docs)
极其重要的操作细节
若向量按列排列:
找原向量组的极大无关组时:
可以对 做行变换,然后根据主元位置回到原矩阵的对应列。
不要把行最简后的列直接当作原向量。
十八、1999 大题:相关性 + 秩 + 极大无关组 + 表出
这是典型综合题。
网站题目给四个含参数 的四维向量。
算得
因此:
时满秩,四向量无关。
而
时:
可以取
为极大线性无关组,而且
(Any Docs)
这正是以后大题的标准模板:
十九、第八类:矩阵作用下的相关性
考频:★★★★
一个必须背的结论:
若
线性相关,则对任意合适矩阵 :
因为原来存在:
其中系数不全为零。
左乘 :
还是同一组非零系数。
2006 真题直接考过。(Any Docs)
但是反过来不成立
原向量无关:
因为 可能压缩维数。
极端地:
则所有向量都被变成零向量。
什么条件下能保持无关?
若 是可逆矩阵,则:
更一般地,只需 在这些向量张成的子空间上是单射。
这是可以用于预测新考法的结论。
二十、第九类:抽象证明线性无关
考频:★★★☆
这类大题很考线性代数“结构感”。
真题:1993 年——由
证明 的列向量线性无关
设
两边左乘 :
由于
所以:
因此齐次方程
只有零解:
也可以用秩:
于是
(Any Docs)
二十一、1996 真题:基础解系 + 非解向量
若
是
的基础解系,而
证明
线性无关。
最漂亮的方法不是算秩,而是:
假设
整理:
左乘 。
因为
只剩:
又因为
所以
再代回:
基础解系线性无关,因此
最终
于是原向量组线性无关。(Any Docs)
抽象证明题的通用原则
题目给了某个矩阵 :
优先尝试对假设的线性组合左乘 。
题目给了正交条件:
优先左右乘某个向量的转置。
题目给了
一类条件:
尝试继续左乘适当次方的 。
这是三类非常稳定的“消项手段”。
二十二、第十类:正交、Gram–Schmidt
考频:★★★☆,近年值得高度重视
2021 真题直接考过 Gram–Schmidt。
设已有
然后
要求
立即:
继续:
则
2021 真题最后得到:
(Any Docs)
二十三、2023 数一:正交向量组与投影系数
网站另一道很值得注意:
并给
而三条 两两正交,且
于是:
因此直接:
网站最终算得
所以
(Any Docs)
这一类真正要理解的是“正交展开”
若
两两正交,则
时:
如果还是标准正交组:
那么更简单:
二十四、数一专项:向量空间、基、坐标
考频:★★★☆
先牢牢记住:
若
则:
2010 真题给三个四维向量,要求其生成空间维数为 2。
因为前两个已经无关,所以必须:
网站求得:
再由第四分量得到:
(Any Docs)
二十五、基下坐标
如果
是一组基,
那么:
1987 真题:
求
在该基下坐标。
解:
因此:
(Any Docs)
二十六、过渡矩阵——这里特别容易方向写反
考频:★★★☆
设旧基:
新基:
按照本站采用的定义,若从基 到基 的过渡矩阵为 ,则:
也就是说:
的第 列,就是 在旧基 下的坐标。
所以:
1993 真题
逐个把
用
表示。
网站得到:
所以把系数按列放:
(Any Docs)
最容易丢分的两个错误
错误一:把坐标写成行
每个新基向量的坐标必须作为:
放进去。
错误二:方向反了
若
则:
反方向则是:
二十七、2015 数一:两组基下“坐标相同”
这是一道非常漂亮的综合题,也是值得注意的是非常值得预测类似变式的真题。
若
且同一个非零向量 在两组基下坐标相同:
由坐标变换:
所以:
因此:
要存在非零 ,必须:
网站 2015 真题最终得到:
以及
(Any Docs)
这题隐藏了一个重要思想
“两个坐标相同”其实在寻找 的特征值:
即:
所以模块 4 已经和模块 6 特征值、特征向量连接起来了。
很可能的预测变式
如果题目改成:
在两组基下坐标满足
那么直接变成:
也就是:
这是非常自然的模块 4 + 模块 6 综合题。
二十八、标准正交基
1997 数一真题:
是 矩阵,
因此齐次方程
解空间维数为:
题目给三个解向量,但其中
所以可以取
为解空间的一组基。
然后:
正交化
单位化
最终得到标准正交基。(Any Docs)
二十九、李正元练习题中值得做的变式
真题之后,建议重点做下面几类,而不是无差别刷。
1. 原向量无关,新向量相关
李正元第三章填空题:
已知
无关,但
相关。
直接构造系数矩阵:
令
网站得到:
这道练习非常贴近 1997、2007 真题。(Any Docs)
2. “不能表出”不是只令行列式为零
李正元一道填空:
不能由三个参数向量表示。
第一步由
推出系数矩阵必须奇异,所以先得到两个候选参数。
但是还必须分别比较:
和
网站最终排除一个候选,得到:
这道题非常重要,因为它专门纠正:
“ 就一定不能表示”
这个错误。
事实上:
只能说明:
至于某个具体 :
- 可能不能表示;
- 也可能有无穷多表示。
(Any Docs)
三十、张宇 1000 题中值得保留的提高题
题 1:替换向量
若
线性无关,而
且每个
那么用 替换任意一个 ,新向量组仍然线性无关。
因为从
可以反解:
于是新旧两组等价且都含 个向量,所以秩保持为 。(Any Docs)
这是一个很漂亮的抽象结论。
题 2:加入一个向量后,向量组不再等价
张宇一道参数题比较:
和
如果后者与前者不等价,那么本质就是:
所以:
网站相应练习最后得到参数
(Any Docs)
三十一、整个模块最容易混淆的 10 个结论
这些建议直接形成肌肉记忆。
1. 相关
而不是“任意”。
2. 无关
3. 相关组
只能保证:
不能保证每一个。
4. 无关组的子组
一定无关。
5. 相关组的扩充组
一定相关。
6. 少于 个 维向量
可能相关,也可能无关。
7. 多于 个 维向量
必然:
8. 两个向量组等价
必然同秩,但:
9. 可由另一组表示
若 可由 表示:
如果 又含 个线性无关向量,则:
2003、2010 真题反复考过这一思想。(Any Docs)
10. “能表示”和“唯一表示”不是一回事
只说明有解。
还需要:
才能说明系数唯一。
三十二、看到题目后的最快判型法
以后考试时可以按下面顺序反应。
出现:
能否表示、唯一表示、不唯一表示
立即:
然后比较:
出现:
相关、无关 + 数值向量
立即:
方阵优先:
出现:
原向量组无关,新向量由原向量组合
立即:
出现:
一组能由另一组表示
立即:
和
出现:
两向量组等价
立即:
出现:
既可由甲表示,又可由乙表示
立即:
出现:
极大线性无关组
立即:
出现:
两两正交
立即:
出现:
标准正交基
立即:
出现:
基、坐标、过渡矩阵
立即写:
三十三、值得注意的是 2027 考研值得防的几种变式
根据真题和本站练习题呈现的演化方式,更建议防“已有考法重新组合”,而不是追求怪题。
预测 1:2024 型相关性 + 极大无关组
例如:
给四个五维参数向量,已知
- 整组秩为 3;
- 任意两个无关;
求参数及一个极大线性无关组。
核心:
预测 2:2023 子空间交集 + 参数
设:
其中带参数 。
问:
何时等于 1 或 2。
核心:
而:
所以:
这个公式非常值得掌握。
预测 3:基坐标 + 特征值
前面 2015 已经考:
完全可能进一步变成:
于是:
所以要求非零向量存在:
向量模块直接接特征值模块。
预测 4:正交投影 + 子空间
已知一组两两正交向量
求 在其生成空间上的投影:
2021、2023 真题已经为这种题铺好了路。(Any Docs)
预测 5:线性映射前后的秩
可能给:
以及
询问两向量组相关性的关系。
这里需要用:
以及
综合得到:
三十四、一道自拟综合预测题
设三维向量
线性无关,并令
问:
- 为何值时 线性相关?
- 相关时求一个线性关系。
解
有
其中
因为原向量组无关:
计算:
在实数范围内:
得到
此时
显然:
这道题其实把:
- 1988 循环型真题;
- 1997 系数矩阵题;
- 2007 差分型真题;
- 参数判定;
四种思路揉成了一题。
三十五、模块 4 最终应该练成的“六大母方法”
如果若不想记几十种小技巧,其实把下面六件事练熟,就基本能覆盖这个模块绝大多数考研题。
母方法 A:表出问题统一化方程
随后只看秩。
母方法 B:相关性统一化秩
方阵进一步化为:
母方法 C:抽象新向量统一化系数矩阵
原组无关时,新组的相关性看 。
母方法 D:向量组关系统一化子空间
把:
- 可表出;
- 等价;
- 加入向量;
- 公共向量;
全部翻译成:
母方法 E:证明题寻找“消项算子”
看到:
就想左乘 。
看到正交,就想:
看到:
就想继续乘 的幂。
母方法 F:基与坐标统一化矩阵关系
以及:
这样以后坐标、过渡矩阵甚至和特征值综合,都可以一套处理。
三十六、模块 4 的复习优先级
如果按考研得分价值排序,建议这样掌握:
| 优先级 | 内容 | 掌握程度 |
|---|---|---|
| S | 表出的存在性、唯一性、参数讨论 | 必须闭眼会 |
| S | 线性相关/无关 + 参数 | 必须闭眼会 |
| S | 抽象相关性、子组、扩充组 | 选择题秒杀 |
| S | 新向量系数矩阵法 | 高频核心 |
| A+ | 向量组等价、秩关系 | 高频 |
| A+ | 极大线性无关组 | 大题常见 |
| A | 两子空间交集 | 近年重点 |
| A | Gram–Schmidt、正交投影 | 数一重点 |
| A | 基、坐标、过渡矩阵 | 数一重点 |
| A | 抽象证明 | 区分度较高 |
最后压成一句话
向量这一章表面上知识很多,实际上只有三个核心对象:
控制“有多少个独立方向”;
控制“一个向量在哪里”;
控制“换了一组向量以后独立性怎么变”。
所以模块 4 真正的总纲可以写成:
把这套框架真正掌握以后,**1991 的参数表出题、1999 的极大无关组、2002 的抽象空间题、2005 的单向表出、2007 的新向量组、2015 的坐标相同、2021 的正交化、2022 的向量组等价、2023 的子空间交集、2024 的“整体相关但任意两个无关”实际上都属于同一套体系的不同外壳。**这正是模块 4 最值得达到的“学一道,会一类”的程度。(Any Docs)