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.

Exercice au format PDF

Article au format PDF