Dans cet article, nous proposons une démonstration du théorème de Cantor-Bernstein. Ce dernier affirme que, s’il existe une application injective d’un ensemble E dans F, ainsi qu’une application injective de F dans E, alors il existe une application bijective de E sur F. La démonstration proposée ici a pour trame de fond un exercice que … Lire la suite de Le théorème de Cantor-Bernstein
Loi de De Morgan
Une famille d’anneaux de Boole
Un anneau unitaire est dit de Boole lorsque chacun de ses éléments est idempotent pour la multiplication (la seconde loi), c’est-à-dire égal à son carré. Tel est le cas de l’ensemble des parties d’un ensemble, muni de la différence symétrique et de l’intersection. La famille des anneaux de Boole ainsi définis est l’objet du présent … Lire la suite de Une famille d’anneaux de Boole
Formalis Mathematica 