可分空间的定义