展开 向量空间的维数等于向量的维数