展开 向量空间的向量都是n维向量,则向量空间的维度