Challenge 34 : Une question d’équipotence
Challenge n° 34 de Math-OS - L'ensemble des applications de R dans R est équipotent à celui des suites réelles (c'est-à-dire en bijection avec lui).
Challenge n° 34 de Math-OS - L'ensemble des applications de R dans R est équipotent à celui des suites réelles (c'est-à-dire en bijection avec lui).
Le théorème de Cantor-Bernstein-Schröder affirme que l'existence d'une injection de A vers B et d'une injection de B vers A entraînent l'équipotence des ensembles A et B. On donne, dans cet article, une preuve classique et détaillée de ce résultat, ainsi que des exemples d'application.