Solution

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

Use the Stone-Čech extension property: a discrete topological space embeds densely into a compact Hausdorff space , and every continuous map from to a compact Hausdorff space extends continuously to . Apply it to the characteristic function of an arbitrary subset ; discreteness makes it continuous. Its extension has clopen fibers, and
Indeed that fiber is closed and contains , while its openness and density of show that every point in the fiber is approached by points of .
If and are disjoint, the extension of is one on and zero on , so these closures are disjoint. The inclusion therefore satisfies the criterion from part (b), and its ultrafilter-limit map is both surjective and injective. Thus
This is a bijection of underlying sets; identifying the compatible topology on the ultrafilter topological space would give the familiar stronger homeomorphism statement, but is not needed for the requested conclusion.

New to topics? Read the docs here!