线性相关性的等价刻画

🏠 第12章概念导航

核心问题

“线性相关”有五六种等价说法,考试专门在它们之间设置量词陷阱。这一节把定义、判据、单向规律三层理清,让任意两种说法都能瞬间互译。

核心定义 / 定理 / 结论

定义(两种读法)

量词是命题真假的分水岭:“存在”不能写成”任意”,“至少一个”不能写成”每一个”。这两处错位制造了本章绝大多数错项。

四条判据（，向量为 维）

• 秩判据（通用）：线性相关 。
• 方程组判据（通用）：线性相关 有非零解。
• 行列式判据（仅当 ）：线性相关 。
• 个数判据（秒杀）：若 ，则向量组必线性相关。

单向规律(必背,反向都不成立)

• 部分相关 整体相关;整体无关 部分无关。
• 加长(每个向量增加分量)保持无关;截短保持相关。
• 含零向量的组必相关; 组无关而添 后相关 可由 组唯一表示。

组合的组合看过渡矩阵

无关且 为方阵时: 无关 。这把”某个组合是否无关”化成一个行列式。

闭环双项组合的统一判据

设 ，且 线性无关。令下标循环，即 ，并构造，将 用 表示，所得过渡矩阵 是循环双对角阵，并且

由于 线性无关， 组是否相关完全由 是否可逆决定。因此

系数均为 时的奇偶判法

设全部 个系数 中共有 个负号，则

也就是：负号个数 与 同奇偶时相关，异奇偶时无关。

• 全为加号：，所以 为偶数时相关， 为奇数时无关。
• 真正改动一个符号：只改变某一个 前面的正负号，会使 的奇偶性改变，因此相关性结论反转。
• 改动奇数个符号：相关性结论反转；改动偶数个符号：相关性结论不变。
• 循环差组：若 ，则 ，故对任何 都相关；其线性关系为 。

这里的“改一个符号”必须指只改一个系数的正负号。例如，将改为 ，才是改了一个符号。若把整个 乘以 ，变成 ，实际上同时改了两个系数的符号， 的奇偶性没有改变，向量组的相关性当然也不会改变。

相关时的秩与线性关系

若上述相关条件成立，并且每个 ，则划去 的第 行、第 列后，所得子式为三角形行列式，所以 ；又因为 ，故，因此相关时恰有一个独立的线性关系。特别地，对全加号闭环且 为偶数的情形，直接有，“相关时秩恰为 ”需要 等条件保证上述非零子式存在；若允许某些系数为 ，统一的行列式判据仍然成立，但相关时的秩可能低于 。

闭环与开链不能混淆

闭环组合包含最后一个首尾相接的向量 ，奇偶规律正是由这个闭环产生的。若断开首尾，只取

则表示矩阵有一个阶数为 、主对角线全为 的三角子式，所以其秩恒为 。因此这 个向量无论 为奇数还是偶数都线性无关。

使用判据前先检查前提

以上奇偶判据的前提是： 线性无关，并且闭环中共有 个 向量。若 组本身相关，则，从而 必然相关，此时不能再用系数符号的奇偶性判断。

证明无关的两条主线

1. 作用后相减:设 ,用 作用一次得新式,相减消掉最难处理的那个向量,把问题降到已知无关的子组。
2. 化归过渡矩阵:把待证组写成已知无关组乘一个方阵,证行列式非零。 型问题的过渡矩阵天然是范德蒙德。

不同特征值的特征向量必线性无关——这条在本章当工具用,第 14 章才证明。

典型题型

• 由一组的相关性推另一组(部分/整体)
• 判断 型组合的相关性
• 概念辨析选择题(量词陷阱)
• “对任意常数……”型的充分必要条件判断
• 证明含特征向量的组线性无关

图示 / 直觉

把 看成从原点出发的箭头。

• 无关 = 每个箭头都”贡献了一个新方向”,张成空间的维数恰好是 ;
• 相关 = 至少有一个箭头躺在其余箭头张成的空间里,是多余的。

由此单向规律全部变得显然:

• 部分相关 整体相关:多余的箭头添了别的箭头之后仍然多余;
• 加长保持无关:给每个箭头增加分量,只会让它们更”分得开”,不会突然重合;
• 必相关: 维空间里最多容纳 个独立方向。

“张成空间的维数”就是秩,所以 与相关是同一句话的两种说法。

常见误用

• 量词错位:把”存在不全为零”写成”对任意不全为零”,把”至少一个可表示”写成”每一个可表示”。
• 单向规律反用:由”整体相关”推”部分相关”,由”截短无关”推”加长无关”。都不成立。
• 过渡矩阵系数横排。 的坐标必须填 的第 列;写成行得到 ,行列式碰巧相同,但追问坐标时全错。
• 忘了 必须是方阵才能”满秩 可逆”。 组个数与 组不同时,这条推理断裂。
• 含参题只解一个方程。 时降秩要求多个表达式同时为零,得到的是方程组,常常无解(即恒无关)。
• 对列向量组做列变换。判断列的相关性只能做行变换。

与旧知识的连接

• 相关 有非零解,把第 11 章的秩、第 13 章的解的结构与本章串成一条主线,同一件事三种语言。
• 列相关,来自第 10 章 行列式的交错性:两列相关时体积被压扁为零。
• 过渡矩阵 与第 10 章 抽象行列式的列拆分 用的是同一个 。
• 范德蒙德行列式来自第 10 章 含参行列式。

题型训练

• 线性相关性的判定与证明
• 含参向量组的相关性与秩

链接

• 🏠 第12章:向量
• 几何直觉:线性组合、张成空间与基
• 易错清单:向量组的陷阱