定理3
定理3 若向量组能由向量组线性表示,则.
证明 设向量组的一个极大无关组为,向量组的一个极大无关组为,欲证.
向量组能由线性表示,能由线性表示,能由线性表示
向量组能由线性表示,即存在系数矩阵,使得
,
若,则方程组(简记为)有非零解(),从而方程组有非零解,这与向量组线性无关矛盾,故不能成立
. 证毕.
推论1 等价的向量组的秩相等(由等价的定义及定理推得).
推论2 设,则,.
证明 设矩阵和用其列向量表示为
,,而,
由,知矩阵的列向量组能由的列向量组线性表示,因此
,由上面结论得,即
. 证毕.
推论3 设向量组是向量组的部分组,若向量组线性无关,且向量组能由向量组线性表示,则向量组是向量组的一个极大无关组.
证明 设向量组含有个向量,则它的秩为,因向量组能由向量组线性表示,故,从而向量组中任意个向量线性相关,所以向量组是向量组的一个极大无关组.
知识点查询
版权所有©佛山市数苑科技信息有限公司
数苑网 粤ICP备09146901号