sect;4 向量组的秩.ppt

* * §4 向量组的秩 一、向量组秩的概念 定义6 设有向量组A，如果在A中存在 r 个向量 α1， α2，… ，αr ，满足 （1）向量组A0： α1，α2，… ，αr线性无关； （2）向量组A中任意r+1个向量（如果A中有r+1个向量 的话）都线性相关，那末向量组 A0是向量组 A的一个极大 线性无关组（简称极大无关组）；极大无关组所含向量的 个数 r 称为向量组A的秩。 1、零向量组的秩为0。 2、一个向量组的极大无关组通常不唯一。 定理6 矩阵的秩等于它的列向量组的秩，也等于它的行向量组的秩。 证 设A = (α1,α2,…,αm ), R(A) = r ,并设 r 阶子式 Dr≠ 0 。 根据定理4和Dr≠ 0知Dr所在的r列线性无关；又由A中所 有r+1阶子式均为零，知 A中任意 r+1个列向量都线性相关。 因此Dr所在的 r 列是 A的列向量组的一个极大无关组,所以 列向量组的秩等于r。 同理可证矩阵A的行向量组的秩也等于R(A) 。 由此可见：若Dr是矩阵A的一个最高阶非零子式，则 Dr所在的r列即是列向量组的一个极大无关组， Dr所在的r 行即是行向量组的一个极大无关组。 注：向量组α1,α2,…,αm 的秩也记作R(α1,α2,…,αm )。 二、向量组秩的定理 例如 设向量组 把向量组拼成矩阵，即 显然R(α1,α2) = 2, 知 α1, α2线性无关；由 R(α1,α2, α3) = 2 知 α1,α2, α3线性相关 。因此 α1, α2 是向量组 α1,α2, α3的一个极 大无关组。 此外， R(α1,α3) = 2 及 R(α2,α3) = 2 可知α1,α3和α2,α3都 是向量组 α1,α2, α3 的一个极大无关组。 性质1 向量组是线性无关的充分必要条件是向量组的秩数等于向量组中向量的个数。 性质2 向量组与其极大无关组等价。 证 设向量组A0： α1,α2,…,αr是 A的极大无关组，则A0 是A的部分组,故 A0 总能由 A 线性表示；由极大无关组的 定义知，对于A中任意向量 α ，r+1个向量α1,α2,…,αr, α 线 性相关，而α1,α2,…,αr线性无关，由定理2知α 能由α1,α2,…, αr线性表示，即向量组A能由A0线性表示。所以向量组A 与A0等价。 上节的定理4显示，在讨论向量组的线性相关性时，矩阵的秩起到了十分重要的作用，下面我们把秩的概念引进向量组。 根据矩阵秩的定义和本章的定理4立即可得定理6 由上例可知，一个向量组的极大无关组通常不唯一，但当这个向量组本身是线性无关的，此时该向量组的极大无关组就是它的本身，说明这个向量组的极大无关组是唯一的。由此我们得到向量组秩的性质。 * * * 上节的定理4显示，在讨论向量组的线性相关性时，矩阵的秩起到了十分重要的作用，下面我们把秩的概念引进向量组。 根据矩阵秩的定义和本章的定理4立即可得定理6 由上例可知，一个向量组的极大无关组通常不唯一，但当这个向量组本身是线性无关的，此时该向量组的极大无关组就是它的本身，说明这个向量组的极大无关组是唯一的。由此我们得到向量组秩的性质。