Lokaal compacte ruimte
In de topologie, een deelgebied van de wiskunde, zegt men dat een topologische ruimte lokaal compact is als ieder punt van de topologische ruimte een omgevingenbasis heeft die uit compacte verzamelingen bestaat.

Definitie
Een topologische ruimte  noemt men lokaal compact als voor iedere  en iedere  een compact deel  is zodanig dat  in het inwendige  ligt: .

Eigenschappen 
Elke lokaal compacte preregelmatige ruimte is in feite volledig regelmatig. Hieruit volgt dat elke lokale compacte hausdorff-ruimte een tychonov-ruimte is. Aangezien standaard regelmaat een meer vertrouwde conditie is dan ofwel preregelmatigheid (die meestal zwakker is) of volledige regelmatigheid (die meestal sterker is), wordt aan lokale compacte preregelmatige ruimten in de wiskundige literatuur normaal gerefereerd als lokaal compacte regelmatige ruimten. Op equivalente wijze wordt aan compacte tychonov-ruimten meestal gerefereerd als lokaal compacte hausdorff-ruimten.

Elke lokaal compacte hausdorff-ruimte is een baire-ruimte. Dat wil zeggen dat de conclusie van de categoriestelling van Baire van toepassing is: het inwendige van elke vereniging van aftelbaar vele nergens dichte deelverzamelingen is leeg.
 
Een deelruimte  van een lokaal compacte hausdorff-ruimte  is dan en slechts dan lokaal compact als  kan worden geschreven als het verzamelingtheoretische verschil van twee gesloten deelverzamelingen van . Als een corollarium daarvan is een dichte deelruimte  van een lokaal compacte hausdorff-ruimte  dan en slechts dan lokaal compact als  een open deelverzameling van  is. Als bovendien een deelruimte  van een hausdorff-ruimte  lokaal compact is, moet  nog steeds het verschil van twee gesloten deelverzamelingen van  zijn; het de omgekeerde hoeft in dit geval niet op te gaan. 

Quotiënt-ruimten van lokaal compacte hausdorff-ruimten noemt men compact gegenereerd. Omgekeerd geldt dat elke compact gegenereerde hausdorff-ruimte een quotiënt is van een lokaal compacte hausdorff-ruimte.
 
Voor lokaal compacte ruimten betekent lokaal uniforme convergentie hetzelfde als compacte convergentie betekent voor compacte ruimten. 
 

Topologie
Wiskundige ruimte