怎么根据矩阵判断极大无关组_高等代数| 3.1 向量组的线性相关与无关问题

当公式或文字展示不完全时，记得向左←滑动哦！

摘要：本节我们主要介绍线性方程组的线性相关与线性无关的问题，让大家了解如何使用最基础的定义去解决这一类问题.

定义1. 中向量组称为是线性相关的，如果有K中不全为0的数使得

定义2.   中向量组如果不是线性相关的，那么称为线性无关的,即如果从

可以推出所有系数 全为0，那么称向量组 是线性无关的.

例1.设是一个矩阵， 是列向量，是一个阶可逆矩阵，

其中.

若是的列向量的极大无关组，则是的列向量组的极大无关组.

证明：先证明向量组线性无关.设

即

已知是可逆矩阵，因此

而向量组线性无关，故

这就证明了向量组线性无关.

接下来我们证明是的列向量的极大无关组，等价于我们只需证明的任意一个列向量都是这些向量的线性组合即可.设是的任意一个列向量，则因为是的列向量的极大无关组，故可用线性表示，不妨设

则

即

例2. 设是n维线性空间的V上的线性变换，是V中的向量，已知整数满足.求证：

线性无关.

证明：设

则

即可