Scheidingsaxioma
Dit artikel gaat over eigenschappen van topologische ruimten in de wiskunde. Zie axiomaschema van afscheiding voor het begrip uit de verzamelingenleer.
Aan een topologische ruimte worden soms aanvullende voorwaarden opgelegd om de ruimte sterkere eigenschappen te geven. De scheidingsaxioma's zijn dergelijke voorwaarden, die alle te maken hebben met de mogelijkheid of onmogelijkheid, verschillende elementen van de ruimte te onderscheiden door middel van open verzamelingen. De axioma's worden traditioneel aangeduid met de letter , van het Duitse woord voor scheiding: 'Trennung'. De axioma's zijn geïndiceerd met de getallen 0, 1, 2, etc.. waarbij een hogere index een sterkere voorwaarde betekent. Er zijn inmiddels ook halftallige indices, om aan te geven dat het axioma wat sterkte betreft ligt tussen de beide axioma's met naastliggende indices.
In de onderstaande opsomming staan de scheidingsaxioma's vermeld in de vorm van de eis of eisen die aan de bijbehorende ruimte gesteld wordt resp. worden.
T0: Kolmogorov-ruimte
Een topologische ruimte heet een Kolmogorov-ruimte, ook -ruimte of kortweg , als bij ieder paar punten een open verzameling bestaat die precies een van de twee punten bevat. Met andere woorden: alle punten kunnen van elkaar worden gescheiden door open verzamelingen.
De meeste praktische, elementaire voorbeelden van topologische ruimten zijn , dus het is interessanter een tegenvoorbeeld te geven. De indiscrete topologie op een verzameling heeft slechts twee open verzamelingen: de lege verzameling en zelf. Als minstens twee elementen bevat, dan is de indiscrete topologie niet .
Een pseudometrische ruimte die geen metrische ruimte is, geeft aanleiding tot een topologie die niet is. Twee verschillende punten met onderlinge afstand 0 kunnen immers niet gescheiden worden door open verzamelingen.
T1: Fréchet-ruimte
Een topologische ruimte heet Fréchet-ruimte, ook -ruimte of kortweg , als voor ieder paar punten en een open verzameling bestaat die bevat maar niet , en een open verzameling die bevat maar niet . Dit is gelijkwaardig met de eis dat alle singletons gesloten verzamelingen zijn.
Het is gemakkelijk te zien dat minstens even sterk is als : elke -ruimte is een -ruimte. Het omgekeerde is niet waar: er zijn -ruimten die niet zijn.
Een niet-triviaal voorbeeld van dit laatste vormt de Zariski-topologie op het spectrum van een commutatieve ring (zie de voorbeelden bij de definitie van een topologische ruimte). Deze is altijd , maar ze is pas als alle priemidealen van de ring maximaal zijn.
T2: Hausdorff-ruimte
Een topologische ruimte heet Hausdorff-ruimte, ook -ruimte of kortweg , als voor ieder paar punten en disjuncte open verzamelingen en bestaan zodat elk van beide open verzamelingen precies een van de twee punten bevat. Dit is gelijkwaardig met de eis dat de diagonaalverzameling een gesloten deel is in de producttopologie van het Cartesisch product .
Het is opnieuw gemakkelijk te zien dat minstens even sterk is als . En ook hier bestaan er tegenvoorbeelden voor de omgekeerde bewering. De cofiniete topologie (zie voorbeelden topologische ruimte) is altijd , maar ze is slechts op een eindige ruimte.
T3: reguliere ruimte
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/63/Regular_space.svg/240px-Regular_space.svg.png)
Een topologische ruimte heet regulier, ook -ruimte of kortweg , als aan de volgende twee voorwaarden voldaan is:
- de ruimte is
- voor elk punt en elke gesloten verzameling en die niet bevat, bestaat er een paar disjuncte open verzamelingen en zodanig dat tot en een deel is van .
Als een ruimte is, dan is ze ook . Immers, uit de eerste voorwaarde volgt dat alle singletons gesloten zijn. Maar door de tweede voorwaarde toe te passen op het bijzondere geval van de gesloten verzameling] volgt de voorwaarde .
Er bestaan voorbeelden van niet-reguliere Hausdorff-ruimten.
T4: normale ruimte
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/06/Normal_space.svg/240px-Normal_space.svg.png)
Een topologische ruimte heet normaal, ook -ruimte of kortweg , als aan de volgende twee voorwaarden voldaan is:
- de ruimte is
- voor elk paar disjuncte gesloten verzamelingen en bestaan er disjuncte open verzamelingen en zodanig dat een deel is van , en een deel is van .
Elke -ruimte is ook . Immers, de eerste voorwaarde is in beide gevallen identiek. En uit de eerste voorwaarde volgt dat alle singletons gesloten zijn. Maar door de tweede voorwaarde toe te passen op het bijzondere geval van de gesloten verzameling volgt de tweede -voorwaarde.
Er bestaan voorbeelden van niet-normale, reguliere ruimten.
T3½
Pavel Urysohn bewees dat in een normale ruimte steeds de volgende stelling geldt: voor ieder punt en voor iedere gesloten verzameling waar niet toe behoort, bestaat er een continue afbeelding van de hele ruimte naar het gesloten interval die afbeeldt op , en op .
Niet alle ruimten waarin bovenstaande stelling geldt, zijn normaal. We noemen dergelijke ruimten Tychonov-ruimten of volledige, reguliere ruimten. Niet alle auteurs hanteren dezelfde benamingen. Er zijn auteurs die voor een volledige, reguliere ruimte niet het Hausdorff-axioma () eisen, en onder een Tychonov-ruimte een volledige, reguliere Hausdorff-ruimte verstaan.
De benaming voor deze ruimten volgt uit het feit (niet moeilijk te bewijzen) dat elke Tychonov-ruimte regulier is, dus is minstens even sterk als .
Metrische ruimten zijn normaal, en voldoen dus meteen aan alle scheidingsaxioma's. Niet alle normale topologische ruimten kunnen verkregen worden uit een metriek; om metriseerbaarheid te garanderen moeten ook aftelbaarheidseigenschappen voldaan zijn (zie aftelbaarheidsaxioma's).