Un opérateur de clôture sur un ensemble X est une application cl : P(X) → P(X) qui assigne à chaque sous-ensemble A sa clôture cl(A) et satisfait trois axiomes : extensivité (A ⊆ cl(A)), monotonicité (A ⊆ B ⇒ cl(A) ⊆ cl(B)) et idempotence (cl(cl(A)) = cl(A)). En topologie cl(A) est le plus petit sur-ensemble fermé de A.

Principe

Les opérateurs de clôture formalisent le processus d'adjonction des points limites ou adhérents à un ensemble jusqu'à ce qu'aucun point nouveau n'apparaisse : l'extensivité garantit la préservation de l'ensemble, la monotonicité préserve les relations d'inclusion et l'idempotence traduit la stabilisation après une application.

Démonstration

Dans R muni de la topologie usuelle, cl((0,1)) = [0,1] ; la clôture ajoute les points limites 0 et 1. Les axiomes de Kuratowski précisent cette notion et montrent comment un opérateur de clôture détermine équivalemment une topologie via ses points fixes (les ensembles fermés).

Mauvaise application

Supposer que la clôture se distribue sur des unions ou intersections arbitraires, ou confondre la clôture topologique avec des clôtures algébriques ou de corps dont les axiomes et objectifs diffèrent. Un autre abus est de traiter cl comme préservant nécessairement l'ensemble vide ou les unions finies sans que ces axiomes soient explicitement posés.

Conséquence

Un opérateur de clôture détermine les fermés (les ensembles fixes cl(A)=A) et donc une topologie ; réciproquement, toute topologie fournit un opérateur de clôture. Connaître cl permet de calculer les intérieurs par complémentation et de raisonner sur la continuité et la convergence de façon purement opératoire sur les ensembles.

Inversion

L'opérateur dual est l'opérateur intérieur int(A) = X\cl(X\A), qui capture ce qui subsiste quand on enlève les points limites ; passer à la perspective duale simplifie souvent les énoncés concernant l'ouverture plutôt que la clôture.

Limite

Les opérateurs de clôture agissent sur la puissance entière et sont purement ensemblistes ; différents domaines utilisent « clôture » avec une structure supplémentaire (clôture algébrique, enveloppe convexe) qui ajoutent des axiomes (p. ex. préservation des unions finies) ou un contexte additionnel. Ce n'est pas parce qu'une application est extensive, monotone et idempotente qu'elle provient d'une clôture topologique à moins que les axiomes à la Kuratowski soient vérifiés.

Tension sémantique

« Clôture » entre en tension avec des clôtures apparentées dans d'autres champs (clôture algébrique, enveloppe convexe, span) — chacune satisfait des propriétés formelles similaires mais diffère par la nature des éléments adjoints ; la précision exige d'indiquer la catégorie sous-jacente (topologique, algébrique, convexe, etc.).

Synthèse

Un opérateur de clôture est le mécanisme canonique au niveau des ensembles qui adjoint tous les points limites/adhérents à un sous‑ensemble jusqu'à stabilisation, exprimée par extensivité, monotonicité et idempotence ; ses points fixes sont exactement les fermés et il offre une manière compacte de relier limites ponctuelles et structure topologique globale.