Ein Hausdorffraum X {\displaystyle {}X} heißt lokal kompakt, wenn jeder Punkt eine kompakte Umgebung besitzt.
