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
Application injective
Nombres entiers naturels puissants consécutifs
Un entier naturel $latex n$ est appelé nombre puissant lorsque, pour tout diviseur premier $latex p$ de $latex n$, le carré $latex p^{2}$ divise $latex n$. Par exemple, étant donné un nombre premier $latex p$ et un entier $latex m\geq 2$, l'entier $latex n=p^{m}$ est un nombre puissant. En effet, $latex p$ est l'unique diviseur … Lire la suite de Nombres entiers naturels puissants consécutifs
Formalis Mathematica 