展开 一个向量能否用其他向量组线性表示