即 S 能由向量组 1 , 2 线性表示. 又因 1 , 2 的 四个分量显然不成比例,故 1 , 2 线性无关. 因 此根据最大无关组的等价定义,知1 , 2是 S 的 最大无关组,从而 RS = 2 .
四、定理的不同表现形式
设向量组 A : a1 , a2 , · , am 构成矩阵 · ·
例 9 设齐次线性方程组
x1 2 x2 x3 2 x4 0 , x4 0 , 2 x1 3 x2 x x 5x 7 x 0 2 3 4 1
的全体解向量构成的向量组为 S,求 S 的秩.
解
把系数矩阵A化为行最简形
1 A 2 1
矩阵 B = (a1 , a2 , · , am , b) 的秩. · ·
定理 1 向量 b 能由向量组 A 线性表示的
充要条件是
R (a1 , a2 , · , am) = R (a1 , a2 , · , am , b). · · · ·
注:记号R(a1 , a2 , · , am )既可理解为矩阵的秩,也 · · 可理解成向量组的秩.
B 的最大无关组依次为 A0:a1 , a2 , · , as 和 B0:b1 , b2 , · , bt . · · · · 由于 B0 组能由 B 组表示, B 组能由 A 组表示,
A 组能由 A0 组表示,因此 B0 组能由 A0 组表示,
根据定理3,
有 R(b1,b2, · ,bt) ≤ R(a1,a2, · ,as), · · · ·
1 0 2 (a 1 ,a 2 ,a 3 ) 1 2 4 , 由 R(a1,a2 , a3) =2 1 5 7
由R(a1 , a2) =2, R(a1 , a3) = 2,R(a2 , a3) = 2 可知 a1, a2 与a1, a3 及 a2 , a3 都是a1 , a2 , a3 的最大无关组.