Espace unicohérent

En mathématiques, et plus particulièrement en topologie, un espace unicohérent est un espace topologique qui est connexe et dans lequel la propriété suivante est vérifiée :

Pour tous fermés, connexes avec , l'intersection est connexe.

Par exemple, tout intervalle fermé réel est unicohérent, mais un cercle ne n'est pas.

Le théorème de Phragmén-Brouwer énonce que, dans les espaces localement connexe, l'unicohérence est équivalente à une propriété de séparation des ensembles fermés de l'espace.

Références modifier