li线性代数3-4.pptVIP

* * 第四节 向量组的秩与矩阵的秩 一、极大无关组的概念与向量组的秩 定义8 (ii) 向量组 A 中每个向量都能由 向量组A0 线性表出， 那么称部分组 A0 是向量组 A的一个极大线性无 关向量组( 简称极大无关组). (ii) 从向量组 A 中向部分组 A0 中任意 添加一个向量 (如果存在的话 ), 所得的部分组都线性相关， 定义8’ 一个向量组的不能够再扩大了的线性无关的部分组就是这个向量组的极大无关组. 那么称部分组 A0 是向量组 A 的一个极大线性无关向量组( 简称极大无关组). 例7 在向量组 中， 为它的一个极大线性无关组。 解：由 与 的分量不成比例，故 线性无关。 再添入 以后，由 只含零向量的向量组没有极大无关组. ◆ 一个向量组中的极大无关组不是唯一的。 线性无关向量组本身就是它的极大无关组。 向量组的极大线性无关组具有的性质： 性质1 一向量组的极大线性无关组与向量组本身等价。 性质2 一向量组的任意两个极大线性无关组都等价。 性质3 一向量组的极大线性无关组都含有相同个数的向量. Th8 推论2 两个线性无关的等价的向量组必含有相同个数的向量. 向量组的极大线性无关组所含向量的个数与极大线性无关组的选择无关，它反映了向量组本身的特征。 定义9 向量组的极大线性无关组所含向量的个数称为这个向量组的秩。 性质3表明: 注: 只含零向量的向量组的秩为0。 线性无关向量组本身就是它的极大线性无关组，故 每个向量组都与它的极大线性无关组等价，由等价的传递性可知任意两个等价的向量组的极大线性无关组也等价，由 Th8 的推论2 推论2 等价的向量组必有相同的秩。 推论1 一向量组线性无关的充要条件是：它的秩等于它 所含向量的个数。 问题： 秩相同的向量组是否等价？ Th8 推论2 两个线性无关的等价的向量组必含有相同个数的向量. 如果向量组 能由向量组 线性表出，那么 的极大线性无关组可由 的极大线性无关组线性表出. 推论3 设向量组 的秩为r ，向量组 的秩为v，若向量组 能由向量组 线性表示，则r ≤ v。 Th8 推论1 如果向量组 , 可由向量组 线性表出，且 线性无关，那么 。 因此 的秩不超过 的秩。 定理9 向量组的任意线性无关的部分组都可扩充为一个极大线性无关组。 证 设 是向量组 中的一个线性无关的部分组，如果 中每个向量都可由这个部分组线性表出，那么这个部分组就是一个极大线性无关组，如果还有某向量 不能被这个部分组线性表出，那么由 再由原部分组线性无关,就可得 这样我们就得到了一个含k+1个向量的线性无关的部分组 。重复这个过程，最后必可得到 的一个线性无关的部分组使向量组中每个向量都可由这个部分组线性表出，这个部分组就是一个极大线性无关组。 例8 求向量组α1=(1,-1,0,3), α2=(0,1,-1,2), α3=(1,0,-1,5) α4=(0,0,0,2)的一个极大线性无关组及秩。 解： α1 是α1 ，α2， α3，α4的一个线性无关的部分组，显然α2不能由α1线性表示，所以α1可以扩充为一个线性无关的部分组α1 ，α2。容易得到 故α4不能由α1 ,α2线性表出, 所以α1 ,α2 又可扩充为一个线性无关的部分组α1 ,α2,α4 .从而α1 , α