展开 一个向量组可以用另一个向量组线性表示