用反证法,倘若有一个子向量组线形相关,可推出原向量组线形相关.
已知 原向量 V={v1,v2,……vn} 线性无关
于是有 r(V)=n (*)
假设 有一个向量组 Vi={v(i1),v(i2),...,v(im)} 线形相关,1