##  [Normalität](/de/node/62203) 

 Definition

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

 

 

 

 

 

 





## Prinzip

Prinzip

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

 

 

 

 

 





## Demonstration

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

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

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

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

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

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

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.