将列向量构成的向量组矩阵化为行阶梯形(只用行初等变换),那么每行第一个非零元素所在的列对应的那几个向量就是这个向量组的一个最大线性无关组。简称最大无关组。