[工学]线性代数10.pptVIP

充分性 已知向量组ε1, ε2, …, εn可由α1,α2, …,αn线性表出，由定理3.3.3, R{ε1, ε2, …, εn}≤R{α1,α2, …,αn} 。 而R{ε1, ε2, …, εn}=n，R{α1,α2, …,αn} ≤n 。于是R{α1,α2, …,αn} =n。故α1,α2, …,αn线性无关。 !!! 定理3.3.4 矩阵A的秩等于它的行向量组的秩，也等于它的列向量组的秩。 证 先证明矩阵A的秩等于它的行向量组的秩。 设 且 若r=m，则α1,α2, …,αn线性无关，由定理3.2.3的推论1，R(A)=m。 若rm，则向量组α1,α2, …,αn的任一极大线性无关组中只含有r个向量，不妨设为α1,α2, …,αr。那么矩阵A的前r行中必有一个r阶子式不等于零。由于向量组 α1,α2, …,αn中任意r+1个向量线性相关，则矩阵A中所以的r+1阶子式都等于零。因此R(A)=r。 注意到 即知矩阵A的秩等于它的列向量组的秩。证毕。 R(A)=R(AT)=矩阵AT的行秩=A的列秩, 根据向量组等价的性质，怎样求已知向量组的极大无关组？ 再请初等变换闪亮登场！ 例3.3.5 求向量组 的秩及它的一个极大线性无关组. 解 以向量α1,α2, α3,α4为列组成矩阵A对其进行初等行变换，则 = 所以R{α1,α2, α3,α4,}=R(A)=R(B)=3。由B容易看出， α1,α2, α4为向量组的一个极大线性无关组。 !!!例3.3.6 设A是m×k矩阵,B是k×s矩阵，则 证 设A的列向量组为A1,A2, …,Ak，矩阵B=(bij)k×s，矩阵C=AB的列向量组为 C1,C2,…,Cs ,则 即C的列向量组可由A的列向量组线性表出，由定理3.3.3及3.3.4知, 故 又 §3.3 向量组的秩 如上图，向量组 α1,α2,α3线性相关(共面)， 但其部分组α1线性无关，且部分组α1，α2 也线性无关（不共线）。这两个部分组都是线性无关，但是有区别： α1添上α3后得到的部分组α1,α3仍然线性无关；而部分组α1，α2添上α3后得到的部分组α1,α2,α3线性相关。由此启发我们给出如下的定义： 定义3.3.1 向量组α1,α2, …,αm的部分组 称为是一个极大线性无关组，如果这个部 分组本身是线性无关的，但是从这个向量 组的其余向量（如果还有的话）中任取一 个添进去，得到的新的部分组都线性相关。 容易看出此定义与下述定义等价： 定义3.3.1’ 如果向量组α1,α2, …,αm的 满足条件 部分组 线性无关; (1) 线性表出, (2) 的任一向量均可由 的一个极大线性无关组。 是向量组 则称 显然，一个线性无关的向量组的极大线性无关组就是向量组本身。 例3.3.1 求向量组 α1=(1,-1,0)，α2=(0,1,2)，α3=(2,-3,-2)的极大线性无关组。 解 由于α1,α2线性无关，α3= 2α1-α2, 所以α1,α2是该向量组的一个极大线性无关组。显然α1,α3与α2,α3也是这个向量组的极大线性无关组。 从这个例子可以看出，一个线性相关的非零向量组，它的极大线性无关组不是唯一的。那么，同一个向量组的不同的极大线性无关组所含向量的个数是否相同? 先来观察在二维平面上，如果向量组β1, β2, β3可以由向量组α1,α2线性表出，那么能得出什么结论？ 1.设α1,α2不共线，如果β1, β2, β3可以由α1,α2线性表出（即在α1,α2 所在的平面），则β1, β2, β3一定共面。其图如下： 2.设α1,α2共线，如果β1, β2, β3可以由α1,α2线性表出，则β1, β2, β3一定共线，当然也共面。其图如下： 由此可以看出，不论α1,α2是否共线，只要β1, β2, β3可以由α1,α2 线性表出，那么β1, β2, β3一定共面（线性相关）。推广上述例子可以得到如下的定理： 定理 3.3.1 如果向量组α1,α2, …,αm中的每一个向量均可由向量组 β1, β2, …, βr线性表出，并且mr，那么向量组α1,α2, …,αm线性相关。 证 设 由条件 以这两个向量组的向量为行向量(m+r) ×n矩阵C, 然后对矩阵C作做初等行变换，得到 于是R(C)=R(C1)。 设A是由α1,α2, …,αm 构成的矩阵，则R(A)≤R(C) =R(C1)≤rm，由定理3.2.3, 向量组α1,α2, …,αm线性相关。 证毕。 推论 如果向量组α1,α2, …,αm中的每一个向量均可由向量组 β1, β2, …, βr线性表出，并且α1,α2, …,αm线性无关，那么