习题 26, § 9

If $X$ is a discrete space, show that the spaces $X''$ and $\tilde{X}$ defined in Exercise 25 are identical, and that if $\mathfrak{T}$ is the topology of the space $X'$ defined in Exercise 24, then $X''$ can be identified with the space $X'$ carrying the semi-regular topology $\mathfrak{T}^*$ associated with $\mathfrak{T}$ (§ 8, Exercise 20). 此外，集合$X''$可以与$X$上的超滤器集合进行规范地识别。 紧凑型空间$X''$被称为$X$的*超滤空间*。