One-point compactification (source code)

= One-point compactification
{title2=$X^+$}
{wiki=Alexandroff_extension}

The one-point compactification of a locally compact noncompact Hausdorff space adjoins one point whose neighbourhoods are complements of compact subsets. The result is compact Hausdorff.