Thorme de Cantor-Bernstein-Schrder

(2me dmonstration beaucoup plus simple !)

Thorme
Soit A et B deux ensembles. Sil existe une injection de A dans B et une injection de B
dans A, alors A ~ B.

Preuve
"f : AB
Soit # deux injections.
$g : B A
On a f ( A) = A! et f (B) = B! bijectivement, et donc en particulier B ~ B!.
Posons A0 = A \ B!
A1 = ( g ! f )( A0 )
...
Ak = ( g ! f )k ( A0 ) (ou Ak = ( g ! f )( Ak1 )k 1)

Par aller retour on voit que ( g ! f )( An ) = ( g ! f )( An ) = An B#

n0 n0 n1
&( g ! f )(a ) si a A
n
( n0
Soit prsent h : A A avec h(a ) = '
( Id A (a ) si a ( An ) B%
C

) n0

Posons B! = An . On a h( An ) = B! bijectivement, et Id A (( An )C ) =( An )C = B! C B"

n1 n0 n0 n0
bijectivement aussi.
! B! C B! ), A ~ B! par h.
et comme B! = ( B;
1
g !f
Pour conclure, comme B ~ B! par g, on bien une bijection A $$ B .