Ein Trennungsaxiom: Ein topologischer Raum X ist normal, wenn je zwei disjunkte abgeschlossene Teilmengen von X disjunkte offene Umgebungen besitzen.

Prinzip

Abgeschlossene Mengen lassen sich durch offene Umgebungen trennen; diese starke Trennung ermöglicht Erweiterungs- und Approximationstheoreme und Kontrolle über stetige Funktionen.

Demonstration

Jeder metrische Raum ist normal: für zwei disjunkte abgeschlossene Mengen in ℝ konstruiert man disjunkte offene Intervalle oder verwendet Abstandsfuntionen, um trennende offene Mengen und stetige Funktionen zu bauen.

Fehlanwendung

Zu glauben, Normalität sei vererbbar auf beliebige Teilräume oder unter beliebigen Produkten erhalten, ist ein Fehlgebrauch: Teilräume müssen nicht normal sein, und unendliche Produkte normaler Räume können nicht normal sein.

Konsequenz

Unter der üblichen Konvention, Normalität mit T1 zu koppeln (oft als T4 bezeichnet), liefert Normalität Urysohn-artige Trennung und den Tietze-Erweiterungssatz für stetige reellwertige Funktionen auf abgeschlossenen Mengen.

Umkehrung

Ein nicht-normaler Raum enthält zwei disjunkte abgeschlossene Mengen, die nicht durch disjunkte offene Mengen getrennt werden können; dieses Versagen verhindert die Erweiterung stetiger Funktionen und feine Trennungsargumente.

Abgrenzung

Normalität ist eine globale Trennungsbedingung für abgeschlossene Mengen in topologischen Räumen. Die Konventionen zur Aufnahme von T1 in die Definition variieren; sie unterscheidet sich von schwächeren Axiomen wie Regularität oder vollständiger Regularität.

Semantische Spannung

Normalität wird oft mit Regularität oder vollständiger Regularität verwechselt; die Spannung liegt darin, ob Trennung für Punkt und Abschluss (regular) oder für zwei Abschlüsse (normal) gefordert wird und ob T1/Hausdorff vorausgesetzt ist.

Synthese

Normalität besagt, dass disjunkte abgeschlossene Mengen disjunkte offene Umgebungen besitzen, und stellt damit ein globales Trennungsniveau bereit, das Erweiterungssätze und die Konstruktion stetiger Partitionen der Eins ermöglicht.