The answer is no. Let , regarded as one point of the space of infinite subsets of the natural numbers, and put
The displayed union makes an open set in the Ellentuck topology. On the other hand, every basic neighbourhood of contains a different infinite set: keep and remove one element from its infinite remaining tail. This other point belongs to . Therefore is in the closure of but not in , so
The fact that basic neighbourhoods are clopen sets does not make arbitrary unions of them closed.

Articles by others on the same topic (0)

There are currently no matching articles.