Scheidingsaxioma: verschil tussen versies

21 bytes toegevoegd ,  9 jaar geleden
[[Afbeelding:Regular space.svg|240px|right|thumb|Voor elke gesloten verzameling ''F'' en elk punt ''x'' buiten ''F'' bestaat er een disjunct stel omgevingen.]]
 
Een topologische ruimte heet ''[[Reguliere ruimte|regulier]]'', ook <math>T_3</math>-ruimte of kortweg <math>T_3</math>, als aan de volgende twee voorwaarden voldaan is:
# de ruimte is <math>T_1</math>
# voor elk punt <math>x</math> en elke gesloten verzameling <math>F</math> en die <math>x</math> niet bevat, bestaat er een paar disjuncte open verzamelingen <math>U</math> en <math>V</math> zodanig dat <math>x</math> tot <math>U</math> en <math>F</math> een deel is van <math>V</math>.
32.021

bewerkingen