Un sous-ensemble d'un espace topologique qui est à la fois ouvert et fermé simultanément ; équivalemment, un ensemble dont le complémentaire est aussi ouvert (donc fermé) et qui coïncide avec son intérieur et sa clôture.

Principe

Les ensembles clopen séparent l'espace en morceaux topologiquement disjoints ; des clopens non triviaux témoignent d'une déconnexion ou de l'existence de composantes ouvertes-et-fermées, tandis que dans un espace connexe les seuls clopens sont l'ensemble vide et l'espace tout entier.

Démonstration

Dans la topologie discrète tout sous-ensemble est clopen ; sur la droite réelle avec la topologie usuelle les seuls clopens sont ∅ et R ; si un espace a deux composantes connexes A et B, chaque composante est un clopen non trivial.

Mauvaise application

Supposer l'existence d'un clopen non trivial dans un espace connexe, ou utiliser la clopenneté pour affirmer une décomposition algébrique sans vérifier la séparation topologique ; cet usage conduit à des décompositions fausses ou à des erreurs sur la continuité.

Conséquence

La présence de clopens non triviaux donne des décompositions en composantes ouvertes-fermées, permet des fonctions caractéristiques continues et simplifie la classification des faisceaux localement constants et des endomorphismes idempotents dans des contextes topologico-algébriques.

Inversion

La situation inverse est la connexité totale ou l'absence de clopens non triviaux ; alors les arguments topologiques doivent recourir à des invariants plus subtils comme la path-connexité ou la connexité locale plutôt qu'aux partitions clopen.

Limite

La clopenneté se définit relativement à une topologie ; elle n'implique pas de décomposition algébrique en somme directe sauf si une structure supplémentaire existe. Être clopen est une condition topologique forte mais souvent triviale dans les espaces connexes usuels.

Tension sémantique

Tension entre les clopens et les notions de connexité et de densité : un clopen est maximalement séparé (ouvert et fermé) tandis qu'un ensemble dense ne peut être clopen que s'il coïncide avec l'espace entier ; la tension met en lumière la constance locale contre l'indécomposabilité topologique.

Synthèse

Un ensemble clopen est un sous-ensemble ouvert-et-clos qui signale une véritable séparation topologique : son existence partitionne l'espace en composantes disjointes, autorisant des fonctions localement constantes et simplifiant les analyses structurelles lorsque la connexité est l'obstruction centrale.