向量组与其最大线性无关组,可互相线性表示。两向量组等价。 向量组 的任两个最大线性无关组 , ,也可互相线性表示。即 , 等价。 一个向量组的任两个最大无关组所含有的向量个数相等。即向量组的秩相等。