(三)向量组的秩
定义设有向量组 a ( a 可以含有限个向量,也可以含无限多个向量),如果在 a 中能选出
r 个向量 α1, α2,
… ,αr,满足
( i ) α1, α2, … ,αr线性无关;
( ii ) a 中任意 r 十 1 个向量都线性相关。
则向量组α1, α2,
… ,αr称为向量组 a 的最大线性无关向量组(简称最大无关组),数 r 称为向量组
a 的秩。只含零向量的向量组没有最大无关组,规定它的秩为 0。
按此定义可知:向量组
a 线性相关的充分必要条件是 a 的秩小于
a 所含向量的个数;线性无关的充分必要条件是 a 的秩等于
a 所含向量的个数。
定义设有两个向量组 a 与 b ,如果 a 中每个向量都能由向量组 b 线性表示,则称向量组 a 能由向量组 b 线性表示。如果向量组 a 与 b 能相互线性表示,则称向量组 a 与 b 等价。
显然,一个向量组与它自己的最大无关组等价。
定理 若向量组 a 能由向量组
b 线性表示,则向量组 a 的秩不大于向量组 b 的秩。若向量组 a 与 b 等价,则它们的秩相等。
注意向量组等价与矩阵等价是两个不同的概念,不要混淆。
定理 若矩阵 a 经行变换变为矩阵 b ,则 a 的行向量组与召的行向量组等价;若矩阵 a 经列变换变为 b ,则 a 与 b 的列向量组等价;矩阵 a 的行向量组的秩以及列向量组的秩都等于矩阵 a 的秩。
由上述两定理可推知
( i )设 n 个 n 维向量构成方阵 a ,则此n个向量线性相关的充分必要条件是| a | =0。
( ii )设 dr 是矩阵 a 的最高阶非零子式,则 dr 所对应的 r 个行向量即是 a 的行向量组的最大无关组, dr 所对应的r个列向量即是 a 的列向量组的最大无关组。
( iii )设 c =ab,则r( c )≤ r ( a ) , r ( c ) ≤( b )。当b可逆时, r ( c ) = r ( a ) ,当 a 可逆时, r ( c ) = r ( b )。