Concept history

Concept created

##### Intuition

Dans un espace normal, deux [[ensemble-ferme|fermés]] [[ensembles-disjoints|disjoints]] peuvent être séparés par des ouverts disjoints.

##### Définition formelle

Un espace topologique $(X,\tau)$ est dit normal si, pour tous fermés disjoints $F,G$ de $X$, il existe des ouverts disjoints $U,V$ de $X$ tels que $F\subseteq U$ et $G\subseteq V$.