THEOREME DE CANTOR-BERNSTEIN (une preuve simple constructive)

R emi SAINT-ROMAIN, Guy PHILIPPE 25 novembre 2004

Th eor` eme : X et Y etant 2 ensembles non vides. Sil existe une injection de X dans Y et une injection de Y dans X alors il existe une bijection de X dans Y . Cette propri et e avait et e conjectur ee par Cantor (1845-1918) et fut prouv ee par F elix Bernstein (1878-1956), ` a ne pas confondre avec Sergue Bernstein (1880-1968) qui, lui, est c el` ebre pour ses polyn omes. Elle fut aussi prouv ee par Schroeder (1841-1902) do` u le nom de Th eor` eme de SchroederBernstein que lon lui donne parfois. D emonstration La seule pr ecaution ` a prendre, dans cette d emonstration, quand on voudra restreindre une application f : E F ` a une partie H de E, sera de sassurer que la partie H nest pas vide ! Dans toute la suite la notation An d esignera An , sinon on pr ecisera
n 0

en ecrivant par exemple

n 1

An et la notation E c , si E est une partie de

X (respectivement de Y ), d esignera la partie compl ementaire de E dans X (respectivement dans Y ). Soit f une injection de X dans Y et g une injection de Y dans X . On d enit une suite (An )n0 de parties de X et une suite (Bn )n0 de parties de Y par les 2 conditions : 1) A0 = X g (Y ) et n 1 An = g (Bn1 ) 2) n 0 Bn = f (An ) Ces 2 conditions permettent de calculer successivement A0 , B0 = f (A0 ), A1 = g (B0 ), B1 = f (A1 ), etc. On obtient ainsi tous les An et Bn pour n 0. Premier cas : si A0 = X g (Y ) = alors g est surjective et g est donc la bijection cherch ee. Ce quil fallait d emontrer. Second cas Si A0 = alors il est clair que B0 = f (A0 ) = , A1 = g (B0 ) = , B1 = f (A1 ) = etc, les 2 suites (An ) et (Bn ) sont form ees de parties toutes non vides. on en d eduit que les ensembles An et Bn ne sont pas vides. Montrons que lon peut restreindre f au d epart ` a An ,qui nest pas vide, et 1

` a larriv ee ` a Bn . En eet a An = n a An = f (a) f (An ) = egitim ee. Notons f cette Bn = f (a) Bn . La restriction de f est ainsi l restriction alors f est une bijection car elle est injective en tant que restriction de linjection f et surjective car b Bn = n b Bn = f (An ) donc a An f (a) = b or f (a) = f (a) do` u f ( a) = b. Ainsi f etablit bien une bijection de An sur Bn . Toujours dans le second cas on a lalternative ( Bn )c = ou ( Bn )c = . Si ( Bn )c = i.e. Bn = Y alors ( An )c = . Sinon on aurait c ( An ) = , on pourrait donc choisir a X An et alors on aurait f (a) Y = Bn = n f (a) Bn = f (An ) = a An f (a) = f (a ) = a = a An do` u une contradiction. On a donc bien ( An )c = ec edente f : An = X Bn = Y coni.e. An = X et la bijection pr vient. Ce quil fallait d emontrer. Si ( Bn )c = alors montrons que lon peut restreindre g au d epart ` a ( Bn )c , qui nest pas vide, et ` a larriv ee ` a ( An )c . En eet b ( Bn )c = g (b) ( An )c . Sinon on aurait g (b) An = n g (b) An . Do` u 2 cas qui m` eneraient tous les 2 ` a une contradiction : ou n = 0 et alors on aurait g (b) A0 = X g (Y ) do` u une contradiction car b ( Bn )c Y = g (b) g (Y ) ou n 1 et alors on aurait g (b) An = g (Bn1 ) = b Bn1 g (b) = g (b ) or g est injective do` u on aurait b = b Bn1 et par suite b Bn do` u une contradiction. Par cons equent on a bien g (b) ( An )c ce qui, par c ailleurs, entra ne ( An ) = . La restriction de g est ainsi l egitim ee. Notons-la g , donc g : ( Bn )c c ( An ) . g est injective en tant que restriction dune injection et elle est c c surjective car a ( An )c = (A0 A1 A2 ....)c = Ac 0 A1 A2 ... = c c c g (Y )(A1 A2 ....) = a g (Y ) et a An . Par suite b Y g (b) = a et
n1

g ( b) = a
n 1

Ac n =
n 1

(g (Bn1 ))c =(d ecalage de lindice n)

(g (Bn ))c =

u g (b) = a (g ( Bn ))c = b ( Bn )c . ( g (Bn ))c = (g ( Bn ))c . Do` Sinon on aurait b Bn et donc g (b) = a g ( Bn ) ce qui contredirait g (b) = a (g ( Bn ))c . Ainsi on a bien b ( Bn )c do` u g (b) = g (b) = a et c c g etablit bien une bijection de ( Bn ) sur ( An ) . Il ne reste plus qu` a recoller les morceaux pour expliciter une bijection F de X sur Y d enie pour tout a X par F (a) = f (a) si a An et F (a) = (g )1 (a) si a ( An )c . En eet X est form e de 2 parties non vides disjointes An et ( An )c tout comme Y est form e des 2 parties non vides disjointes Bn et ( Bn )c et comme f est une bijection de An sur Bn tout comme (g )1 est une bijection de ( An )c sur ( Bn )c il est clair que F est une bijection de X sur Y . Ce quil fallait d emontrer. Finalement on a bien montr e dans tous les cas que X et Y sont

 equipotents i.e. quil existe une bijection de X sur Y . La relation binaire R d enie dans la collection des ensembles NON VIDES par XRY il existe une injection de X dans Y est trivialement r eexive, transitive et elle permet de d enir sans dicult e une relation r sur les classes d equipotence des ensembles NON VIDES encore appel ees cardinaux AUTRES QUE 0 en posant, si x = card(X ) = 0 et y = card(Y ) = 0, xry XRY . Le th eor` eme de Cantor-Bernstein montre que cette derni` ere relation r est ANTISYMETRIQUE et que nalement cest une relation dordre dans la classe des cardinaux AUTRES QUE 0, que lon peut prolonger par une relation ` a la classe de tous les cardinaux (y compris 0) en posant xy x = y = 0 ou bien x et y = 0 et xry . On v erie facilement que la relation , sur la classe des cardinaux, est bien une relation dordre. Gr ace ` a la th eorie des ordinaux on peut m eme montrer que cette relation est un ordre TOTAL dans la classe des cardinaux, mais, cette fois, en recourant ` a laxiome du choix.