Espace normal

Intuition

Dans un espace normal, deux fermés 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$.