必要性:
a1,a2,...an线性无关
=> |a1,a2,...an| ≠ 0
=> 对任一n维向量b, (a1,a2,...an)X = b 有解
=> 任一n维向量b都可被a1,a2,...an线性表示
充分性:
因为任一n维向量都可被a1,a2,...an线性表示
所以n维基本向量组ε1,ε2,...,εn可由a1,a2,...an线性表示
所以 n = r(ε1,ε2,...,εn) <= r(a1,a2,...an).
所以 a1,a2,...an 线性无关.
满意请采纳^_^
a1,a2,...an与n维基本向量组等价