文章目录

向量组线性相关性

• 线性相关性是向量组的一个重要属性

线性相关

• 给定向量组,若存在个的数,使得:则称向量组线性相关

• 

线性无关

• 如果向量组不是线性相关的,则是线性无关的
• 向量组线性无关还可以描述为:

• 使得成立的s个数全为0

多向量向量组线性相关

• 对于,时,线性相关等价于中至少有一个向量能由其余个向量线性表示
• 证明:

• 若线性相关,存在个的数,使得:,不妨设(若,可以通过调整顺序到,使得,这不改变线性相关性)
• 对两边同时除以,==;即
• 反之,若;,即至少存在这个不全为0的数使得,即线性相关

• 其逆否命题也是成立的:若中任意一个向量都不能被其他线性表示,则线性无关

单向量向量组的线性相关性

• 对于单个向量构成的向量组,若要满足A线性相关,即存在使得,只有当成立

• 可见单个非零向量构成的向量组线性无关

单位向量向量组线性相关性

• 设
• 由个维单位向量构成的向量组线性无关
• 证明:=的解只有

双向量向量组的线性相关性

• 设,则线性相关的充要条件是分量对应成比例,即
• 证法1:

• 充分性:即,所以存在不全为0的满足
• 必性:线性相关则存在不全为0的(不妨假设)使得,即,取

• 证法2:

• 说明中存在一个向量能被其余向量线性表示,所以线性相关

双向量线性相关的几何意义

• 两个向量线性相关的几何意义是两向量共线(对于高维向量仍沿用共线几何术语)

三向量线性相关的几何意义

• 三向量线性相关的几何意义是三向量共面(对于高维向量,是超平面共面,仍然沿用几何术语)

包含零向量的向量组线性相关

• 任意一个包含零向量的向量组总是线性相关的

• 假设向量组,中(如果不是,则将调整为非零向量),则令则:=所以线性相关

概念迁移:线性方程组和线性相关

• 向量组的线性相关和线性无关的概念可以迁移到线性方程组
• 当方程组中某个方程是其余方程的线性组合时,这个方程是多余的(可移除的,不影响方程组的解的)

• 这种情况下,方程组是线性相关的(指方程组内各个方程式线性相关的)

• 若方程组中没有多余方程(任何方程都无法被方程组内其余方程线性表示),就称方程组线性无关(线性独立)
• 可见,方程组线性相关的充要条件是矩阵的行向量组线性相关
• 设向量组构成的矩阵为,向量组线性相关等价于:,即齐次线性方程组有非零解(存在自由未知数)
• 由此,我们将向量组线性相关转换为矩阵问题(线性方程组的解的问题)

齐次线性方程组和向量组线性相关性

• 个维向量构成的向量组,则线性相关的充要条件是:线性方程组有非零解

• 其中构成的矩阵是,
• 若,方程组有唯一解零解,线性无关
• 若,方程有多解(非零解),线性相关

向量组线性相关判定定理👺

• 将上一节归纳为定理:

• 包含个向量的向量组线性相关的充要条件是;线性无关的充要条件是
• 简称:小相关,等无关

• 该定理相当重要,很多场景下可以比线性相关定义更加方便的推导和证明一些线性相关的命题和结论

概念补充

部分组

• 若向量组是向量组的一部分,则是的部分组,相对的可以称为全组
• 例如是向量组的部分组

推论

方阵的行列式判定线性相关性

• 特别的,若是一个阶方阵,则线性线相关的条件还可以作

行数和列数的关系判定线性相关性

• 当行数时,此时必定线性相关
• 这个结论指出,如果向量组行数少或列数多的情况下,无论各个向量内容如何,向量组一定是线性相关的.特别是向量组包含无穷多个向量时
• 同时说明了,对于维向量构成的向量组,只要向量数量够多,一定是线性相关

部分组线性相关的讨论

• 如果向量组线性相关,则向量组

• 反之(逆否命题,可以用反证法),若线性无关,则也线性无关
• 由于成比例的两个向量线性相关,从而若某个向量组包含一对成比例的向量(部分向量组线性相关),则这个向量组是线性相关的

• 证明:

• 由于线性相关,所以
• 由可知,,< ;
• 所以线性相关

• 推广:若是增加多个向量,则依然成立;即

• 部分组线性相关,则全组线性相关;
• 若全组线性无关,则部分组线性无关

线性无关向量组添加一个向量后变为线性相关

• 若向量组线性无关,而向量组线性相关,则可以由向量线性表示,且表示法唯一.

证明1:

• 记,,有
• 因为线性无关,所以;又因为线性相关,所以
• 所以,即,
• 对于方程组有,可见有唯一解,即可以被唯一的线性表示

证明2:

先证明可表出

• 由于线性相关,则存在不全为0的,使得
• case1:若则可以推出

• 而由线性无关知,只有时,有成立
• 从而,线性无关,和条件矛盾,从而

• case2:,

再证明的表示法唯一性

• 利用反证法
• 设可以被表示为
• 对两种表示方法做差:
• 而由线性无关知,只有时才有成立
• 从而
• 所以表示法唯一

向量组线性相关性的简单判定🎈

• 包含以下向量(一种或多种)的向量组线性相关

1. 零向量
2. 相等向量对
3. 成比例的向量对

例

• 维单位坐标向量组的线性相关性:

• 设构成的矩阵,=,所以线性无关

例

• 矩阵A的列向量组:

• 
• 
• 

• 求证线性相关,并求的列向量组的一个线性相关关系

• 
• 由于,所以线性相关,存在个自由变量,不妨令为自由变量
• 容易读出

• ;
• 

• 取,则得到一个特解
• 此时有成立

例

设某一个范德蒙行列式

• 
• ,若其中互不相等.则,从而向量组线性无关

综合例

• 设

• 
• 
• 

• 求证若线性无关,则线性无关

证法1

• 设向量使得,即=

• 即
• 由于线性无关,所以只有当

• 
• 
• 
• 由初等变换法(或cramer法则),该方程组有唯一解零解

• 即只有零解,向量组线性无关

证法2

• 把条件中的向量等式体现的是向量组可以由向量组线性表出
• 用一个矩阵等式表达:

• 将的矩阵分别用列分块矩阵表示=,=
• 表出系数矩阵设为,矩阵表达式为
• 再分别根据3个向量等式中的系数,填写的3个列
• 
• 设,将代入,再由乘法结合律,得,这就将得线性相关性转化到得线性相关性上,利用的线性相关性判断的线性相关性
• 而是线性无关的,所以只有零解,即,
• 因为,所以只有零解,即,从而线性无关

证法3

• 和证法3类似,但是这里采用向量组的秩判断向量组的线性相关性
• 因为可逆,则
• 由矩阵秩的性质,对于,有,而线性无关,所以(向量组包含的向量个数都是3)
• 所以所以向量组线性无关

小结

• 证法1是按线性相关的定义,通过向量的运算得到的以为系数矩阵的齐次方程,再把问题转化为它只有令解进行推理
• 证法2,3都是先将三个向量等式合并为矩阵等式,立即得到矩阵

• 证法2把证明向量组线性无关转化为证明齐次方程没有非零解,而去考察方程
• 证法3利用矩阵的秩的知识,以及向量组线性相关判定定理,避开了线性方程而直接证明