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 nous mettons également à disposition ici.
Le cas de l’ensemble vide est traité de manière spécifique, compte tenu de sa nature un peu artificielle.
Publicités
Formalis Mathematica 
Your blog is a wonderful resource for anyone curious in learning about a variety of topics. Thanks for all that you do.
J’aimeJ’aime
Thank you for your feedback. That is very encouraging.
J’aimeJ’aime