第 3 章 向量组的线性关系与秩
掌握线性表示、线性相关、最大无关组、秩、正交化、向量空间及坐标变换。
Last updated on
本章建立“线性表示—线性相关—最大无关组—秩—基、维数与坐标”的完整联系,是后续方程组、特征值与二次型的理论基础。
在此基础上,讲义还进一步讲了内积、正交矩阵、施密特正交化、向量空间、过渡矩阵与坐标变换。所以这一章实际上是整个线性代数后续内容的理论基础:第 4 章线性方程组、第 5 章特征值与相似对角化、第 6 章二次型,都大量使用本章结论。
一、先理解本章究竟研究什么
假设有一组向量
围绕它,考研主要问三个层次的问题。
第一个层次是:它们能不能拼出另一个向量?
例如问
能不能写成
这就是线性表示。
第二个层次是:这些向量自己之间有没有冗余?
例如某一个向量是不是能由另外几个表示。如果有,就称线性相关;如果没有,就称线性无关。
第三个层次是:这组向量中究竟有多少个真正独立的方向?
这个数量就是秩。
因此可以把秩理解成:
一个向量组中“有效独立信息”的数量。
讲义中也正是用“线性表示 → 线性相关 → 最大无关组 → 秩”这条主线组织本章。
二、线性表示:本质就是解方程组
设
是同维列向量。
如果存在一组数
使得
则称向量 可以由向量组
线性表示。
把这些向量按列放进矩阵:
再令
那么上面的式子立刻变为
所以有本章第一条极其重要的翻译公式:
进一步,由线性方程组有解的秩条件:
也就是
意思很直观:把 加进去以后秩没有增加,说明 没有带来新的方向,因此它原本就在前面这些向量张成的空间里。
一个非常重要的区别:存在表示和唯一表示
很多选择题专门考这里。
“能表示”只说明方程
有解。
但如果问“能否唯一表示”,还必须保证这个解唯一。
因此:
其中 是向量
的个数。
为什么最后要等于 ?
因为
意味着 的所有列线性无关,于是齐次方程
只有零解,因此非齐次方程一旦有解,就不可能有多个解。
三、线性相关与线性无关
这是本章最核心的定义。
对于向量组
考虑方程
如果存在一组不全为零的系数使等式成立,则称这些向量线性相关。
即
反过来,如果只有
这一组解,则称其线性无关:
写成矩阵就是:
于是:
而
再翻译成秩:
这几组等价关系必须做到看到任何一边,都能立刻想到另外几边。
四、怎么快速判断线性相关性
正式计算之前,先看有没有“秒杀条件”。
例如向量组里有零向量,一定线性相关,因为可以给零向量一个非零系数,其他系数全取零。
如果两个向量成比例,例如
那么
所以线性相关。
如果有 个 维向量,而
也一定线性相关。
因为 维空间中最多只能有 个线性无关向量。
特别重要的是:如果恰好有 个 维向量,把它们按列构成方阵
则:
这实际上把第一章的行列式、第二章的矩阵可逆性和第三章的线性相关完全连起来了。
五、线性相关与“某向量能由其余向量表示”
这是概念题最喜欢考的地方。
如果
线性相关,那么一定存在不全为零的
满足
假设某个
那么可以解出
所以:
但是要注意:
“线性相关”不是说“每一个向量都一定能由其余向量表示”。
例如
会导致整体相关,但某些特殊情况下不一定每个向量都能从其他所有向量中解出来。
一个高频定理
若
本身线性无关,那么加入 后:
这个定理非常常用。
原因是原来的向量之间没有冗余;加入 后突然出现相关关系,那么“冗余”只能来自新加入的 。
六、部分组、延伸组的几个重要性质
如果一个向量组线性无关,那么它的任意部分组也线性无关。
反过来:
如果一个部分组已经线性相关,那么继续增加向量,得到的更大向量组仍然线性相关。
所以可以记成:
但另外两个反方向一般不成立:
整体相关,不能推出任意部分组相关;
某个部分组无关,也不能推出整体无关。
这是选择题非常典型的陷阱。
七、向量组的等价
假设有两组向量:
和
如果每个 都能由 组表示,那么称 组可以由 组线性表示。
如果两组能够互相线性表示,则称两个向量组等价。
从空间角度看,它们生成的是同一个空间。
讲义中给出的重要秩判据是:
当且仅当两组向量等价。
这里尤其注意:
单独一个条件不够。
两组向量可能具有相同的秩,却位于完全不同的方向。
例如在二维空间中,
两组秩都为 ,但是显然互相不能表示,因此并不等价。讲义特别强调“秩相等不等于向量组等价”。
八、最大线性无关组
假设有向量组
从里面挑出一部分:
如果这 个向量线性无关,而且再往里面加入原向量组的任何其他向量都会变成线性相关,那么这组向量称为原向量组的最大线性无关组。
可以理解成:
把所有“重复信息”去掉,只留下最少的一组独立生成元。
于是原向量组的任意一个向量,都能由最大无关组表示。
例如
若
线性无关,那么
就是整个向量组的一个最大无关组。
最大无关组可能不唯一,但它们包含的向量个数一定相同。
这个共同的数就是:
九、向量组的秩
向量组
的秩,定义为其最大线性无关组所含向量的个数。
记作
若
准确含义是:
存在 个向量线性无关,而且不可能从原组中找出 个线性无关向量。
千万不能理解成“任意 个向量都无关”。
例如四个向量的秩是 ,只能说明可以找到两个无关向量,并不意味着任意取两个都无关。这个概念陷阱在讲义中被专门列为常考点。
十、怎样求秩和最大无关组
这是本章最重要的计算题型。
设
也就是说,把要求的向量作为列向量排成矩阵。
然后只做初等行变换:
把矩阵化成阶梯形。
阶梯形矩阵中非零行的个数,就是矩阵的秩,也就是原列向量组的秩。
例如若最后得到
则
第 1、2 列是主元列,于是原向量组中的
构成一个最大无关组。
这里有一个必须牢记的技巧:
因为行变换不会改变各列之间原来的线性关系。
如果作列变换,虽然矩阵的秩仍然保持不变,但列本身已经混合了,就不能直接用新矩阵的列去对应原来的向量。讲义把这一点列为本章高频错误。
十一、含参数的秩
这种题考研特别常见。
例如
进行行变换:
得到
于是分情况。
若
三个主元均不为零:
若
则
所以
参数秩题最危险的操作是:
直接除以含参数的式子。
例如看到
时不能直接除以 ,否则会把
这个特殊情况丢掉。
讲义给出的核心原则也是:寻找会导致主元消失的参数值,再分类讨论。
十二、矩阵的秩
对于矩阵 ,矩阵的秩可以从三个角度理解。
第一种是列向量组的秩。
第二种是行向量组的秩。
第三种是矩阵中最高阶非零子式的阶数。
一个重要结论是:
因此通常不用真的找高阶子式,而是直接进行初等变换,把矩阵化成阶梯形。
如果阶梯形有 个非零行,那么:
十三、秩的高频公式
本章证明题和选择题经常围绕下面几条展开:
特别是:
时,如果中间维数为 ,有
这条以后做线性方程组、特征值、矩阵多项式问题都非常好用。
直观上,
说明 的所有列经过 作用后都变成零,因此 的值域必须落在 的零空间中,于是两个矩阵不可能同时拥有过多独立方向。讲义把这条作为秩题的核心工具之一。
一个很典型的秩推理
如果
讲义给出一个很漂亮的结论:
思路分两边夹。
由乘积为零:
另一方面,
因为
所以
结合秩的加法不等式:
于是只能取等号。
这是非常典型的证明模式:
十四、伴随矩阵的秩
这是第三章与第二章结合的高频考点。
对于 阶矩阵 ,讲义总结为:
为什么?
若
则 可逆,并且
显然也是满秩。
若
那么至少存在一个 阶非零子式,所以 ;同时
因此 的秩受到限制,最终为 。
若
所有 阶子式全为零,而 的元素恰好就是这些代数余子式,所以
因此秩为零。
十五、内积:给向量加入“长度和角度”
本章后半部分开始从纯代数结构进入几何结构。
设
定义内积:
于是向量长度为
两个非零向量的夹角满足:
背后的柯西—施瓦茨不等式为:
等号成立当且仅当两个向量线性相关。讲义同时利用内积定义正交关系和向量夹角。
十六、正交与线性无关的关系
如果
称两个向量正交。
如果一组非零向量两两正交,则这组向量一定线性无关。
证明非常经典。
假设
两边与 作内积。
因为两两正交,所有交叉项全部变成零,只剩:
又因为
所以
因此
对每个 都成立,所以这组向量线性无关。
即:
但是反过来不成立:
正交比线性无关更强。
十七、Gram 矩阵
设
则
的第 个元素就是:
所以
称为 Gram 矩阵。
如果各向量两两正交,那么非对角元素全为零,因此:
若进一步每个向量长度都为 ,则:
还有一个非常重要的秩公式:
这是考研中经常出现的抽象结论。
十八、正交矩阵
实方阵 满足
时称为正交矩阵。
等价地:
因此看到正交矩阵,第一反应应该是:
例如:
直接得到
正交矩阵的列向量构成一组规范正交基,其行向量也构成规范正交基。
它还保持内积:
因此保持长度:
也保持夹角和正交性。
几何上,正交变换可以看成旋转或反射,不改变长度和角度。
十九、施密特正交化
这是本章非常重要的计算题。
目的:
把线性无关向量组
变成与它生成同一空间的正交向量组:
第一步:
第二步:
第三步:
一般公式:
本质就是:
最后单位化:
于是得到规范正交组。
讲义特别推荐一个计算技巧:正交化过程中可以把 整体乘非零常数来消除分数,全部正交化完成之后再统一单位化。
施密特例题
设
先取
计算:
所以
为了避免分数,可以整体乘 :
检查:
再单位化:
这就是一个规范正交组。
二十、向量空间和子空间
全部 维实列向量组成
如果集合 对向量加法、数乘运算都封闭,则称为子空间。
最方便的判别方式是:
对于任意
以及任意实数 ,检查是否恒有:
此外有一个秒杀条件:
所以一个集合只要不包含零向量,就一定不是子空间。
例如
所定义的向量集合是子空间,因为它是齐次线性方程组的解空间。
而
所定义的集合通常不是子空间,因为零向量不满足条件。讲义特别区分了齐次方程解集和非齐次方程解集。
二十一、生成空间、基和维数
向量组
所有线性组合组成的集合记为:
这就是它们生成的子空间。
若
那么:
所以求一个生成空间的维数,本质上就是求生成向量组的秩。
什么叫基?
空间 中的一组向量
要成为基,必须同时满足两个条件:
所以可以把基理解成:
一个空间里“最精简的一组坐标轴”。
最大无关组和基的思想其实完全一致:
最大无关组强调“从某个给定向量组中挑”;
基强调“为整个向量空间找一组独立生成元”。
讲义因此给出:
二十二、坐标
设
是空间 的一组基。
由于基既生成整个空间,又线性无关,所以任意
都能且只能写成:
于是
就是 在这组基下的坐标。
令
则
如果是在整个
中,基矩阵 为 阶可逆矩阵,因此:
如果基还是规范正交基,则更简单:
所以:
具体地:
也就是说,在规范正交基下,坐标就是向量在各坐标轴方向上的内积。
二十三、过渡矩阵
这是后期很容易和相似变换、二次型换元混在一起的地方。
设旧基为
新基为
如果
则称 是从旧基 到新基 的过渡矩阵。
必须记住:
因此 的第 列就是新基向量 在旧基下的坐标。
若
则
所以:
二十四、坐标变换方向为什么是反的
这是这一章最容易写错的公式之一。
若
设同一向量 在旧基、新基下的坐标分别为
那么:
同时:
于是:
所以:
从而:
非常重要:
基从旧变新乘 ,坐标从旧变新却乘 。
也就是:
这是讲义专门强调的高频易错点。
二十五、本章八大考研题型
| 题目问法 | 第一反应 |
|---|---|
| 判断 能否由某组向量表示 | 写成 ,比较系数矩阵和增广矩阵的秩 |
| 判断表示是否唯一 | 在“有解”基础上再检查原列向量是否线性无关 |
| 判断线性相关性 | 看是否有零向量、比例关系、向量数大于维数;否则求秩 |
| 求秩和最大无关组 | 向量按列排,只作行变换,找主元列 |
| 参数决定秩 | 行变换时保留参数因子,对主元消失值分类 |
| 证明秩不等式 | 优先使用乘积、分块矩阵和基本秩不等式 |
| 正交、正交矩阵、施密特 | 内积为零;;减投影 |
| 基、维数、坐标、换基 | 维数=秩;坐标解 ;过渡矩阵 |
这与讲义中的第 3 章解题决策表基本一致。
二十六、最值得背熟的“核心等价链”
如果这一章想真正做熟,不建议零散背几十条定理,而是把下面几条链彻底记住。
1. 线性相关
2. 线性表示
3. 唯一表示
4. 方阵满秩
对 阶矩阵 :
5. 正交矩阵
讲义最终也是用这些等价关系压缩整章。
二十七、最后给出一个做题总原则
这一章看上去定义很多,但实际做题可以高度程序化:
看到**“能否表示”**,翻译成非齐次方程组。
看到**“线性相关”**,翻译成齐次方程组。
看到**“独立信息有多少”**,想到秩。
看到**“最大无关组”**,把向量按列排,只作行变换,找原矩阵主元列。
看到**“空间维数”**,还是求秩。
看到**“正交”**,计算内积。
看到**“正交矩阵”**,立即使用。
看到**“正交化”**,不断减去已有方向的投影。
看到**“换基”**,先写。
然后牢牢记住坐标方向相反:
如果把这套“翻译机制”掌握住,第 3 章就不会再是一堆互相独立的概念,而会变成同一个问题的不同表达方式。这也是后面做线性方程组、特征向量、相似对角化时最重要的基础。