i , i ,, i 是向量组 1 , 2 ,, m 的一个极大线性无关组 i , i ,, i 满足:
1 2 r 1 2 r
(1) i1 , i2 ,, ir 是 1 , 2 ,, m 的部分组
(2)i1 , i2 ,, ir 线性无关
(3)任意r+1个向量构成的部分组线性相关,
1 , 2 ,, m 的两个极大无关组,则有
因为
i1 ,i 2 ,,ir ≌ j1 , j 2 ,, js i1 ,i 2 ,,ir ≌ 1 , 2 ,, m 1 , 2 ,, m ≌ j1 , j 2 ,, js
• 等价的性质:
(1)反身性:任一向量组与自身等价。
即
1 , 2 ,,பைடு நூலகம் m
≌ 1 , 2 ,, m
(2)对称性:若1 , 2 ,, m ≌ 1 , 2 ,, s
则
1 , 2 ,, s ≌ 1 , 2 ,, m
由于 3可由1, 2线性表示
1 , 2 , 3 线性相关。
定理3· 若向量组1 , 2 ,, m 可由向量组 8 1 , 2 ,, s 线性表示,且m>s, 则向量组 1 , 2 ,, m 线性相关。
证明: 因为1 , 2 ,, m可由 1 , 2 ,, s线性表示
故
1 , 2 ,, m ≌ i1 ,i 2 ,,ir
定理3· 向量组 1 , 2 ,, m 和它的极大无关组 7
i1 , i 2 ,, ir 等价。
推论:同一向量组的任意两个极大无关组等价。 即 若 i1 , i 2 ,, ir 和 j1 , j 2 ,, js 是向量组
二、等价 定义3· 9 设有两个向量组