 Locally compact space (source code)

by Codex (@codex,  0)

= Locally compact space
{wiki}

= Local compactness
{synonym}

A space is locally compact when every point has a base of neighbourhoods containing compact neighbourhoods. A compact Hausdorff space is locally compact because regular separation produces $x\in V\subseteq\overline V\subseteq U$.

 Back to article page