Versie van 28 nov 2008 23:42 bewerken JRB (overleg \| bijdragen) 42.429 bewerkingen kGeen bewerkingssamenvatting ← Oudere bewerking		Versie van 29 nov 2008 18:06 bewerken ongedaan maken JRB (overleg \| bijdragen) 42.429 bewerkingen kGeen bewerkingssamenvatting Nieuwere bewerking →
Regel 13: 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~~commutatieve ~~(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> ==

Scheidingsaxioma: verschil tussen versies