矩阵的行标准型

在一定的条件下，对矩阵施行初等变换，可以使其成为行标准型，从而可得到该四列向量组的一个最大无关组，同时可以把其余向量用该最大无关组线性表示。