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

bewerken

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

Eigenschappen

bewerken

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.