Théorème de fermeture/complémentaire de Kuratowski
En topologie générale, le théorème de fermeture/complémentaire de Kuratowski est un théorème, publié par Kuratowski en 1922[1] qui dit que dans un espace topologique, au plus 14 ensembles différents peuvent être produits à partir d'une partie donnée, en appliquant un nombre arbitraire de fois les opérations de fermeture et de complémentation[2].
Dans le monde anglophone, ce résultat a eu un large écho trois décennies plus tard en tant qu'exercice dans le manuel General Topology de John L. Kelley[3].
Démonstration
[modifier | modifier le code]Soit S un sous-ensemble arbitraire d'un espace topologique. On écrit kS pour la fermeture de S, et cS pour le complément de S. Les trois identités suivantes interviennent dans la démonstration :
- kkS = kS (la fermeture est idempotente) ;
- ccS = S (la complémentation est involutive) ;
- kckckckS = kckS (qui équivaut à kckckckcT = kckcT — l'opération kckc est idempotente).
Les deux premières identités sont évidentes. La troisième se déduit des quatre axiomes de fermeture de Kuratowski[1] et plus précisément : des deux premières identités ci-dessus et du fait que k est croissante (pour l'inclusion), c est décroissante, et S ⊂ kS[4]. Accessoirement, elle équivaut à l'identité kikiS = kiS (la fermeture de l'intérieur est idempotente), où iS est l'intérieur de S (soit iS = ckcS).
Ces trois relations permettent de voir que le monoïde des opérations engendré par k et c n'a que 14 éléments ; pour cela, il suffit de construire le graphe de Cayley du monoïde[2]. On peut aussi lister ses éléments ; ce sont :
- 1, k, ck,kck,ckck,kckck, ckckck et c, kc, ckc, kckc, ckckc, kckckc, ckckckc
Un sous-ensemble qui réalise le maximum de parties, à savoir 14, est appelé un « 14-ensemble » L'espace des nombres réels, pour la topologie usuelle, contient des 14-ensembles. Voici un exemple[2],[5] :
où et sont des intervalles ouverts et est un intervalle fermé.
Puisque i = ckc, on peut considérer le sous-monoïde engendré par k et i, et l'on vérifie qu'il n'a que 7 éléments (1, i, ki, iki, k, ik, kik). Ainsi, on peut former au plus sept ensembles en considérant les adhérences et intérieurs itérés de S.
Autres résultats
[modifier | modifier le code]Malgré son origine dans un contexte topologique, le théorème de fermeture/complémentaire de Kuratowski est en fait plus un résultat d'algèbre. Depuis 1960, un nombre important de problèmes proches ont été publiés, dont beaucoup n'ont que peu de lien avec la topologie générale[6].
Les opérations de fermeture et de complémentation engendrent un monoïde qui peut servir à classifier des espaces topologiques[7].
Notes et références
[modifier | modifier le code]- Casimir Kuratowski, « Sur l'opération Ā de l'Analysis Situs », Fundamenta Mathematicae, vol. 3, , p. 182-199 (DOI 10.4064/fm-3-1-182-199, lire en ligne).
- Le théorème de Kuratowski sur blogdemaths.
- (en) John Kelley, General Topology, New York/Berlin/Paris etc., Van Nostrand, , 298 p. (ISBN 0-387-90125-6, lire en ligne), p. 57.
- Voir « Théorème de Kuratowski : preuve de « FCFCFCF=FCF » », sur blogdemaths ou plus simplement : le début de l'exercice corrigé « Théorème « 14 » de Kuratowski » sur Wikiversité, accessible via le lien ci-contre.
- Exercice corrigé « Théorème « 14 » de Kuratowski » sur Wikiversité, accessible via le lien ci-contre.
- (en) P. C. Hammer, « Kuratowski's Closure Theorem », Nieuw Archief voor Wiskunde, vol. 8, , p. 74-80.
- (en) Ryan C. Schwiebert, « The radical-annihilator monoid of a ring », Communications in Algebra, vol. 45, no 4, , p. 1601-1617 (DOI 10.1080/00927872.2016.1222401, arXiv 1803.00516).
Liens externes
[modifier | modifier le code]- (en) B. J. Gardner et Marcel Jackson, « The Kuratowski Closure-Complement Theorem »
- (en) Mark Bowron « The Kuratowski Closure-Complement Problem »
- (en) « Kuratowski’s 14-Set Theorem » sur Theorem of the day