Trennungsaxiome
Saturday, October 04th, 2008 | Author: Konrad Voelkel
Die englische Wikipedia hat ein wunderbares Bild, mit dem man sich die Beziehungen zwischen den Trennungsaxiomen merken kann.
Die Grundidee ist, dass es von vielen Axiomen eine T0-Version und eine nicht-T0-Version gibt (dabei steht die T0-Version im BIld rechts vom Schrägstrich). Dabei ist dies als Hassediagramm eines Verbands zu lesen: Wenn Ein Raum z.B. Normal (N/) ist und ausserdem T1 (/T1), so ist er automatisch auch T4 (/T4). Ein vollständig normaler Raum (CN/), der auch T4 ist, ist sogar schon T5 usw.
Im Artikel stehen nochmal die Definitionen, die Wikipedia verwendet. Es sind andere als bei Bourbaki oder Counterexamples in Topology, aber ich glaube die gleichen wie bei Boto von Querenburg.