向量空间模型,线性组合,线性相关性,增广矩阵,主元