解空间是指齐次线性方程组所有解的集合构成一个向量空间，也就是一个集合。