Scheidingsaxioma: verschil tussen versies

24 bytes toegevoegd ,  14 jaar geleden
Toevoeging van de link naar Spectrum (wiskunde)
(afbeelding T4)
(Toevoeging van de link naar Spectrum (wiskunde))
Het is gemakkelijk te zien dat <math>T_1</math> minstens even sterk is als <math>T_0</math>: elke <math>T_1</math>-ruimte is een <math>T_0</math>-ruimte. Het omgekeerde is niet waar: er zijn <math>T_0</math>-ruimten die niet <math>T_1</math> zijn.
 
Een niet-triviaal voorbeeld van dit laatste vormt de [[Zariskitopologie]] op het [[Spectrum (wiskunde)|spectrum]] van een commutatieve [[ring (wiskunde)|ring]] (zie de voorbeelden bij de definitie van een [[topologische ruimte]]). Deze is altijd <math>T_0</math>, maar ze is pas <math>T_1</math> als alle priemidealen van de ring maximaal zijn.
 
== <math>T_2</math> ==
9

bewerkingen