L'objectif ultime de cet article, divisé en deux sections, est de démontrer un théorème introduit en 1922 par le mathématicien polonais Kazimierz Kuratowski. Cet objectif sera réalisé dans la deuxième section de l'article, après que le sous-bassement algébrique de notre argumentation ait été exposé dans la première section. Le théorème d'adhérence-complémentaire de Kuratowski affirme que, partant … Lire la suite de Le problème d’adhérence-complémentaire de Kuratowski
Topologie générale
Un exercice inspiré du théorème d’adhérence-complémentaire de Kuratowski
En topologie générale, le problème d'adhérence-complémentaire se formule de la manière suivante : Partant d'une partie donnée A d'un espace topologique et comptant A lui-même, combien d'ensembles peuvent-ils être construits en appliquant successivement le complémentaire et l'adhérence ? Le mathématicien polonais Kazimierz Kuratowski a répondu à cette question dans un article publié en 1922. Il a … Lire la suite de Un exercice inspiré du théorème d’adhérence-complémentaire de Kuratowski
Une preuve topologique de l’infinité des nombres premiers
Dans le présent article, nous introduisons une topologie sur l'ensemble des entiers relatifs. Au demeurant, après y avoir révélé quelques propriétés marquantes de cette topologie, nous mettrons cette dernière à contribution pour démontrer que l'ensemble des nombres premiers est infini. Cette topologie originale et cette démonstration sophistiquée sont dues au mathématicien israélien Hillel Furstenberg. Article … Lire la suite de Une preuve topologique de l’infinité des nombres premiers
Toutes les topologies sur un ensemble de deux ou trois éléments
Une topologie sur un ensemble X est un ensemble O de parties de X vérifiant les deux conditions suivantes : Toute réunion d’éléments de O appartient à O. Toute intersection finie d’éléments de O appartient à O. Toute topologie sur X est donc une partie de l’ensemble des parties de X. Combien de topologies existe-t-il … Lire la suite de Toutes les topologies sur un ensemble de deux ou trois éléments
Formalis Mathematica 