向量组中，如果线性无关，则是向量组的一个极大无关组.;对给定的向量组设向量组是的一个极大无关组.如果向量组中的两个向量线性无关，则都是向量组中的向量.;向量组中，如果其中任意个向量都线性无关，则向量组也线性无关.