极大无关组的向量可能不同，但它们所含向量的个数是相等的