展开 一个向量空间的维数一定不小于其子空间的维数