Un axiome de séparation : un espace topologique X est normal si deux sous-ensembles fermés disjoints de X admettent des voisinages ouverts disjoints.

Principe

Les fermés peuvent être séparés par des ouverts ; cette séparation forte permet des théorèmes d'extension et d'approximation et donne un contrôle sur les fonctions continues.

Démonstration

Tout espace métrique est normal : pour deux fermés disjoints dans R on construit des intervalles ouverts disjoints ou on utilise des fonctions distance pour obtenir des ouverts séparants et des fonctions continues séparatrices.

Mauvaise application

Supposer que la normalité est héréditaire pour toutes les sous-variétés ou qu'elle est préservée par des produits arbitraires est une erreur : les sous-espaces ne sont pas nécessairement normaux et des produits infinis de normaux peuvent échouer à être normaux.

Conséquence

Dans la convention usuelle où la normalité s'accompagne de T1 (parfois notée T4), la normalité entraîne des lemmes de séparation de type Urysohn et le théorème d'extension de Tietze pour les fonctions continues réelles définies sur des fermés.

Inversion

Un espace non normal contient deux fermés disjoints qui ne peuvent pas être séparés par des ouverts disjoints ; cet échec empêche l'extension de fonctions continues et les arguments fins de séparation.

Limite

La normalité est une condition de séparation globale pour les fermés dans un espace topologique. Les conventions varient quant à l'inclusion de T1 dans la définition ; elle se distingue d'axiomes plus faibles comme la régularité ou la régularité complète.

Tension sémantique

La normalité est souvent confondue avec la régularité ou la régularité complète ; la tension porte sur l'exigence de séparation pour un point et un fermé (régularité) ou pour deux fermés (normalité) et sur la présence éventuelle des hypothèses T1/Hausdorff.

Synthèse

La normalité affirme que des fermés disjoints admettent des ouverts disjoints, fournissant un niveau global de séparabilité qui soutient les théorèmes d'extension et la construction de partitions de l'unité continues sous des hypothèses appropriées.