One-point compactification

From Topospaces

Definition

Let be a locally compact Hausdorff space. The one-point compactification of is defined as the quotient of where <math>\infty