向量组、方程组与线性空间
覆盖定理
(华中科技大学,2021)设
为数域
上的
维线性空间,
为
的
个真子空间,证明: 存在
的一组基
,使得对任意的
,有
.
proof
首先设 为
的一组基,记
任取上述向量组中的 个向量
,其中
,有
其中
显然 是一个范德蒙行列式,进而
由此可知 线性无关,即向量组(1)中的任意
个向量均构成
的一组基.由于
均为
的真子空间,所以每个子空间
最多包含向量组(1)中的
个向量,进而
只包含向量组(1)中的有限个向量,于是向量组(1)中存在
个向量,记为
,它们构成
的一组基,使得对 任意的
,有
.
note
(武汉大学,2020)已知 为
维向量空间,
为一组基,证明: 对
,必存在
个向量 组成的向量组,其中任意
个向量线性无关.
(天津大学,2021; 湘潭大学,2021)设
是实数域上线性空间
的
个真子空 间,证明:
中至少有一个向量
不属于
中的任何一个.
proof
数学归纳法.当 时,结论显然成立.现在假设命题对
的
个真子空间成立,那么对 于
个空间
,利用假设知存在向量
,如果
,则结论已经成立.若
,由
为真子空间知存在
,现在考虑向量组
显然这些向量都不属于 ,原因是若
,结合
就可以得到
,矛盾.同时这
个向量中,不可能存在两个向量同属于一个
,原因是若
与
都属于
,则两个 向量的差
,即
,这与假设是矛盾的.所以向量组(2)至少有一个向量(记为
)不 属于
中的任何一个.
向量组的线性相关与无关
(大连理工大学,2022)已知向量组
线性无关,且可由向量组
线性表出,证明:存 在某个向量
,使得向量组
线性无关.
proof
反证法.若对任意的 ,向量组
线性相关,即存在不全为零的
,使得
若 ,则
由 线性无关可知
,矛盾.所以
,从而
这说明 均可由
线性表出,而
可由
线性表出,故
可由
线性表出,那么
线性相关,这与已知矛盾.所以存在某个向量
,使得向量 组
线性无关.
(东北师范大学,2022)设
是向量空间
的一个线性变换,
是
的属于特征值
的特征向量,向量组
满足
其中
是恒同变换,证明:
线性无关.
proof
首先注意到 ,
.若
满足
则反复作用 可得
由于 ,所以结合最后一个方程可得
,将其代入到倒数第二个方程可得
,以此递推,可得
这说明 线性无关.
(西北大学,2022)向量
线性无关,试证: 当
和
时,向量组的线性相关与无关
分别是线性无关和线性相关的.
proof
首先,若 满足
这等价于
根据 线性无关可知上式又等价于
此齐次线性方程组的系数矩阵为
将 按照第一行展开,可得
当 时,
,所以方程组只有零解,这说明向量组(1)线性无关; 当
时,
,此 时方程组存在非零解,所以向量组(1)线性相关.
(中南大学,2022)设向量组
线性无关,非零向量
满足
线 性相关,证明: 在向量组
中存在唯一一个向量
,使得
可由其前面的向量
线性表出.
proof
解答.由于 可以被
线性表出,且
,所以存在不全为零的
,使得
现在从 依次检查,设第一个非零的为
,即
,则
这说明 可由
线性表出.另外,若还存在
使得
可以由
线 性表出,这里不妨设
,且
根据 线性无关可知
,所以(3)式乘以
与(2)式乘以
相减,就有
上式下标最大的向量为 ,其系数
,这与
线性无关矛盾.所以满足条件的向量
存 在且唯一.