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
Théorie des ensembles
Les centres de deux magmas connus
Un élément d’un magma est dit central s’il commute avec tout élément dudit magma. Par exemple, si un élément est neutre, alors il est forcément central. L’ensemble des éléments centraux d’un magma est appelé son centre. Fondamentalement, une relation binaire sur un ensemble E est une partie du produit cartésien de E par lui-même. Une … Lire la suite de Les centres de deux magmas connus
Formalis Mathematica 