La droite réelle est l'ensemble des nombres réels équipé de sa métrique naturelle. Dans cette note, nous révélons deux traits de cet espace métrique. Précisément, nous allons démontrer que, pour que la somme de deux parties de la droite réelle soit un ouvert, il suffit que l'une de ces parties le soit. Au demeurant, nous … Lire la suite de Deux traits de la droite réelle
Adhérence
Le problème d’adhérence-complémentaire de Kuratowski
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
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
Formalis Mathematica 