Scheidingsaxioma: verschil tussen versies

Aan een [[topologische ruimte]] worden soms aanvullende voorwaarden opgelegd om sterkere eigenschappen te kunnen bewijzen. De '''scheidingsaxioma''''s zijn dergelijke voorwaarden, die alle te maken hebben met de mogelijkheid of onmogelijkheid, verschillende [[element (wiskunde)|element]]en van de [[verzameling (wiskunde)|verzameling]] <math>X</math> te onderscheiden door middel van [[open verzameling]]en.

 

Een topologische ruimte heet een ''Kolmogorov-ruimte'', ook <math>T_0</math>-ruimte of kortweg <math>T_0</math>, als er voor ieder puntenpaar een [[open verzameling]] bestaat die precies één van de twee punten bevat. Met andere woorden: alle punten kunnen van elkaar worden gescheiden door open verzamelingen.