一个矩阵的列向量组可以由另一列向量组表示