Espace normal
Un espace topologique $(X,T)$ est dit normal si deux fermés disjoints de $X$ peuvent être séparés par deux ouverts disjoints de $X$ : pour tous fermés $F_1,\ F_2$ de $X$ disjoints, il existe des ouverts $O_1,\ O_2$ de $X$ tels que $$O_1\cap O_2=\varnothing,\ F_1\subset O_1,\ F_2\subset O_2.$$
De nombreux espaces topologiques sont normaux. C'est le cas par exemple des espaces métriques ou des espaces compacts.
Consulter aussi
Recherche alphabétique
Recherche thématique