设是元向量.如果向量组线性无关，则由必可推出;设是元向量.则线性相关.