线性代数第三章第二节 向量组及其最大无关组（2014版）.ppt

极大线性无关组 等价向量组 极大线性无关组性质 向量空间的基与维数 3.2.1. 极大线性无关组 定义 对向量组A，如果在A中有r个向量 满足： （2）任意r＋1个向量都线性相关。（如果有的话） 线性无关。 （1） 那么称部分组 为向量组 的一个最大（极大）线性无关组。简称最大（极大）无关组。数r称为向量组A的秩，记为：R(A)=R( )或r(A). 注: （1）只含零向量的向量组没有极大无关组，其秩为零。 （2）一个线性无关向量组的极大无关组就是其本身。 （3）一个向量组的任一向量都能由它的极大无关组线性 表示. （4）向量组的极大线性无关组不一定惟一； 例如：在向量组 中， 首先 线性无关， 又 线性相关， 所以 组成的部分组是极大无关组。 还可以验证 也是一个极大无关组。 由极大线性无关组定义知，若 是 的一个极大线性无关组，A中任何一个向量都可由A0 线性表出，即A中任意r+1个向量必线性相关，另外，A0,是A的部分组，故A0中的任一向量都可由A线性表出。所以，A0与A可互为线性表出。一般来说有： 3.2.2 向量组的等价 都可以由向量组 定义：如果向量组 中的每一个向量 线性表示，那么就称向量组A可以 由向量组B线性表示。 若同时向量组B 也可以由向量组A线性 表示，就称向量组A与向量组B等价。 注意：等价是一种等价关系：即满足自反的，对称的和传递的关系） 由等价定义知： 即： 由 向量组 线性表示； 可以由向量组 证明：即证存在一组不全为零的数 使得： 故有： （1） 定理1 设 与 是两个向量组，若 (2) 则向量组 必线性相关。 (1) 向量组 线性表示； 可以由向量组 即： 又 由 故方程组 有t-s个自由未知量，所 以方程组（1）有非零解。 所以向量组 必线性相关。 推论1 设 与 是两个向量组，如果 (1) 向量组 线性表示； 可以由向量组 (2)且向量组 线性无关 故存在一组不全为零的数 反证法，若 则由定理1知 线性相关，矛盾。 推论3 证明: 设 与 是两个等价的向量组， 且都线性无关,由推论1 推论2 若 则 中任何r+1个 向量都是线性相关的。 证明：设 是 的一个极大线性无 关组 是 的部分组， 则 可由 线性表示， 又r+1r，由定理1知， 线性相关。 等价的线性无关向量组包含有相同个数的向量。 推论4 设 ， 若向 量组 可由向量组 线性表 出，则 证明：由 可由 线性表示，故 可由 线性表示，又 可由 线性表示，故 故 可由 线性表示，故 向量组的极大 无关组不唯一，但每一个极大无关组都与向量组等价，所以： 定理2向量组的任意一个极大线性无关组都与向量组本身等价。 证明: 设 与 可以相互表示。 故向量组的任意一个极大线性无关组都与向量组本身等价。 推论4 向量组的任意两个极大无