齐次线性方程组的解空间的维数怎么