Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-9/4/ii/solution

For , let . The presence or absence of is determined by a sufficiently long finite initial segment, so and its complement are open sets in the ordinary topology on infinite subsets. The Ellentuck topology is finer, hence each is star-clopen and in particular star-closed. Their union is
Every basic star-neighborhood of has for some , and its reservoir contains every integer greater than . Choosing gives . Thus is in the star-closure of the union, but not in the union itself. Therefore

New to topics? Read the docs here!