Locally compact subspaces are open in Hausdorff compactifications

ID: locally-compact-subspaces-are-open-in-hausdorff-compactifications

If a locally compact Hausdorff space is densely embedded in a Hausdorff space, its image is open. Around a point choose an ambient open set whose trace lies in a compact neighborhood . Density puts that ambient open set inside the ambient closure of its trace, which lies in because compact subsets of a Hausdorff space are closed. Thus the ambient open set lies in the image.

New to topics? Read the docs here!