En mathématiques, un espace normal est un espace topologique vérifiant un axiome de séparation plus fort que la condition usuelle d`être un espace séparé. Cette définition est à la base de résultats comme le lemme d`Urysohn ou le théorème de prolongement de Tietze. Tout espace métrisa...