La structure algébrique engendrée par l'itération des opérations topologiques de clôture et de complément sur les sous-ensembles d'un espace topologique ; elle enregistre tous les ensembles distincts obtenus à partir d'un sous-ensemble donné par des applications successives de la clôture et du complément.

Principe

Appliquer les deux opérations Cl (clôture) et C (complément) de façon répétée à un sous-ensemble A ⊆ X ; le théorème de Kuratowski fournit une borne supérieure (14) au nombre d'ensembles distincts produits dans un espace topologique T1, et l'algèbre encode ces relations combinatoires.

Démonstration

Pour un sous-ensemble adéquat A de la droite réelle munie de la topologie usuelle, on peut réaliser les 14 ensembles distincts obtenus en alternant clôture et complément ; chaque ensemble obtenu s'exprime par un mot fini en Cl et C appliqué à A.

Mauvaise application

Confondre clôture et intérieur ou utiliser l'algèbre de Kuratowski sans tenir compte de la topologie ambiante (la clôture dépend de la topologie), ou supposer que la borne de 14 vaut dans des topologies non-T1 sans vérifier les hypothèses.

Conséquence

L'algèbre clôture-complément fournit un invariant combinatoire de la topologie par rapport à un sous-ensemble, utile pour comprendre l'interaction entre clôture, intérieur et frontière et pour construire des exemples pathologiques.

Inversion

Remplacer la clôture par l'intérieur (en notant Int = C ◦ Cl ◦ C) donne une description équivalente via l'intérieur et le complément ; inverser l'ordre des opérations met en lumière des symétries et dualités dans l'algèbre.

Limite

Dépend fondamentalement de l'opérateur de clôture topologique ; dans une topologie discrète l'algèbre se réduit (moins d'ensembles distincts), tandis que dans certaines topologies non-T1 la borne de 14 de Kuratowski peut échouer ou demander une réinterprétation.

Tension sémantique

Proche de l'algèbre booléenne engendrée par ouverts ou fermés mais distinct dans l'emphase : l'algèbre de Kuratowski se concentre sur le monoïde engendré par deux opérations précises (clôture et complément) et sur la combinatoire de leurs itérés.

Synthèse

L'algèbre clôture-complément de Kuratowski est la structure combinatoire finie obtenue en itérant clôture et complément sur un sous-ensemble ; elle encode l'interaction entre clôture et complémentation dans la topologie considérée et donne des bornes concrètes (comme le théorème des 14 ensembles) et des contre-exemples.