解空间的维数是什么