定理4 若向量组线性相关,而向量组线性无关,则向量可由线性表示且表示法唯一.
证明 先证可由线性表示.
线性相关,故存在一组不全为零的数使
成立. 注意到线性无关,易知.
,
得证.
再证表示法的唯一性. 若
,由线性无关,易知. 故表示法是唯一的. 证毕.