Un semi-groupe à gauche est un ensemble muni d'une loi de composition associative telle que tout élément soit simplifiable à gauche. Nous proposons ici un exercice qui invite à une étude structurelle des semi-groupes à gauche. L'exercice, divisé en deux parties, est en fait une compilation reformulée d'exercices du volume d'Algèbre des Éléments de Mathématiques … Lire la suite de Un exercice sur la structure des semi-groupes à gauche
Complémentaire
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 