向量空间的维数怎么求