展开 向量空间的维数和解空间的维数