Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2008/a/1/c/solution

Since is a discrete subset in the subspace topology, for each choose an open set with . Closedness of makes open. The family
is therefore an open cover of . A countable subcover exists by the Lindelöf property. Each point can be covered only by its own among this family: the complement misses all of , and every other meets only at . Hence the countable subcover must include for every . This forces
Both closedness and discreteness matter: they provide the open complement and the single-point traces, respectively.

New to topics? Read the docs here!