In de topologie wordt de afsluiting van een deelverzameling van een topologische ruimte gevormd door de deelverzameling uit te breiden met haar ophopingspunten. De afsluiting is daarmee de kleinste uitbreiding die gesloten is.
Definitie
Zij een topologische ruimte. De afsluiting (ook wel: sluiting) van een deelverzameling van is de kleinste gesloten verzameling van die omvat. Vaak wordt de afsluiting van een verzameling genoteerd door een horizontale streep boven de uitdrukking van de verzameling:
De afsluiting bestaat altijd, en kan uitgedrukt worden als de doorsnede van alle gesloten delen van die omvatten:
Immers, er is altijd minstens een zo'n verzameling (met name zelf), en de doorsnede van een willekeurige familie gesloten verzamelingen is opnieuw gesloten.
Als de afsluiting van de gehele verzameling is, zegt men dat dicht ligt in .
Afsluitingspunt
De punten in de afsluiting worden afsluitingspunten van genoemd.
Gevolgen
De afsluiting is een gesloten verzameling.
Elke gesloten verzameling is haar eigen afsluiting.
Het complement van de afsluiting is het inwendige van het complement:
Voor een afsluitingspunt van geldt, dat elke open verzameling van die bevat, een punt met gemeen moet hebben:
In een metrische ruimte komt dit overeen met de limieten van rijen uit :
Voorbeelden
In de gewone topologie van de reële getallen zijn de gehele getallen hun eigen afsluiting. De afsluiting van de breuken (rationale getallen) is de verzameling der reële getallen zelf, want ieder reëel getal is een limiet van tiendelige breuken. De afsluiting van een open of halfopen interval is het overeenkomstige gesloten interval.
Zij de ruimte der equivalentieklassen van essentieel begrensde meetbare reële functies met de topologische structuur van de supremumnorm (zie Lp-ruimte). De afsluiting van een verzameling functies bestaat uit de limieten van uniform convergente rijen functies uit die verzameling. Zo zijn bijvoorbeeld de continue begrensde functies een gesloten deelruimte, want een uniforme limiet van continue functies is continu.
Abstracte afsluitingsoperator
Stel dat we op de verzameling nog geen topologische structuur gedefinieerd hebben, maar dat er een bewerking "afsluiting" bestaat die met iedere deelverzameling van een deelverzameling van associeert, die we noteren, en die voldoet aan de volgende eigenschappen:
- de afsluiting van de afsluiting is de afsluiting:
- de afsluiting omvat de verzameling:
- de afsluiting van een vereniging van twee verzamelingen is de vereniging van hun afsluitingen:
- de lege verzameling is haar eigen afsluiting:
Enerzijds voldoet de gewone topologische afsluiting aan bovenstaande vier eisen. Anderzijds is niet zo moeilijk aan te tonen dat een dergelijke "abstracte afsluiting" steeds de afsluiting is voor een of andere topologie op : noem namelijk een verzameling 'open' als haar complement zijn eigen afsluiting is, en verifieer dat aan de axioma's van een topologische ruimte voldaan wordt.