Solution

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

First prove the suggested density fact. If is dense in , is open and , then every open neighborhood of has nonempty open. It meets , so meets . Hence
Identify with its dense embedded image in the hausdorff compactification. For , local compactness supplies an open neighborhood in and a compact set with . Choose an open set in with . The inclusion into is continuous, so is compact in and therefore closed, since is Hausdorff. The density fact now yields
Thus every point of the embedded has a -open neighborhood contained in . Consequently

New to topics? Read the docs here!