Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Ouvert-fermé
Résumé
En topologie, un ouvert-fermé est un sous-ensemble d'un espace topologique X qui est à la fois ouvert et fermé. Il peut sembler contre-intuitif que de tels ensembles existent, puisqu'au sens usuel, « ouvert » et « fermé » sont antonymes. Mais au sens mathématique, ces deux notions ne sont pas mutuellement exclusives : une partie de X est dite fermée si son complémentaire dans X est ouvert, donc un ouvert-fermé est simplement un ouvert dont le complémentaire est aussi ouvert.
Dans tout espace topologique X, l'ensemble vide et l'espace entier X sont tous deux des ouverts-fermés.
Un espace est discret si et seulement si toutes ses parties sont des ouverts-fermés.
Dans une partition d'un espace en ouverts, tous les éléments de la partition sont des ouverts-fermés, ainsi que toute réunion (éventuellement infinie) de tels éléments. Par exemple :
dans l'espace X = 0, 1 ∪ ]2, 3[ (muni de la topologie induite par la topologie usuelle de R), les deux ouverts ]0, 1[ et ]2, 3[ sont complémentaires l'un de l'autre donc sont aussi fermés ;
dans l'espace Q des rationnels (muni de la topologie induite par celle de R), les deux ensembles et sont des ouverts-fermés ;
dans un espace localement connexe X, toute réunion de composantes connexes de X est un ouvert-fermé ;
dans un groupe topologique, tout sous-groupe ouvert est aussi fermé.
Dans une partition en fermés (comme les composantes connexes), si la partition est finie alors les parties sont encore des ouverts-fermés. Par exemple : dans un groupe topologique, tout sous-groupe fermé d'indice fini est un ouvert-fermé.
Un espace X est dit connexe si ses seuls ouverts-fermés sont ∅ et X.
Un espace non vide est dit de dimension zéro si ses ouverts-fermés forment une base d'ouverts.
Une partie est un ouvert-fermé si et seulement si sa frontière est vide.
Tout ouvert-fermé de X est une réunion (éventuellement infinie) de composantes connexes de X.
Les ouverts-fermés de X forment une sous-algèbre de Boole de l'ensemble des parties de X.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.