DK - ENSEMBLES INFINIS

On suppose connus les dnitions et les thormes sur les ensembles nis.

I. Ensembles quipotents
Dfinition Deux ensembles E et F sont dits quipotents, sil existe une bijection de lun sur lautre, ce que lon notera dans ce qui suit EF.

Proposition 1 Dans un ensemble densembles, la relation dquipotence est une relation dquivalence.

En prenant = IdE , qui est une bijection de E sur E, on a E E. Si est une bijection de E sur F , alors 1 est une bijection de F sur E, donc (E F ) (F E) . Si est une bijection de E sur F et est une bijection de F sur G, alors est une bijection de E sur G, donc ((E F ) et (F G)) (E G) . Proposition 2 Si E est quipotent F , alors P(E) est quipotent P(F ).

Si est une bijection de E sur F , alors lapplication qui une partie A de E associe la partie (A) de F est une bijection de P(E) sur P(F ). Proposition 3 Si pour tout i dun ensemble I, les ensembles Ei et Fi sont quipotents, alors le produit cartsien E des Ei est quipotent au produit cartsien F des Fi . En particulier, si E est quipotent F , lensemble des suites coecients dans E est quipotent lensemble des suites coecients dans F .

DK 2

Pour tout i de I, soit i une bijection de Ei sur Fi . On dnit une bijection de E sur F en posant, si (xi )iI appartient E , ((xi )iI ) = (i (xi ))iI . Proposition 4 Si E1 est quipotent F1 et E2 F2 , alors lensemble des fonctions de E1 dans E2 est quipotent lensemble des fonctions de F1 dans F2 .

Pour tout i de {1, 2}, soit i une bijection de Ei sur Fi . On dnit une bijection de F (E1 , E2 ) dans F (F1 , F2 ) en posant, si f appartient F (E1 , E2 ), (f ) = 2 f 1 . 1

II. Caractrisation des ensembles innis

Dfinitions 1) Un ensemble E est dnombrable sil est quipotent N. 2) Un ensemble E est inni sil nest pas ni

Proposition 5 Les proprits suivantes sont quivalentes : i) lensemble E est inni ii) quel que soit a dans E, il existe une partie A de E dnombrable et contenant a ii) il existe une partie A de E dnombrable iii) quel que soit a dans E, lensemble E \ {a} est quipotent E iii) il existe a dans E tel que E \ {a} soit quipotent E iv) lensemble E est quipotent une de ses parties strictes.

i) ii) Soit a dans E. Nous construisons par rcurrence une suite (an )n0 dlments distincts de E. Posons a0 = a, et supposons que lon ait trouv n lments a0 , . . . , an1 distincts dans E. Comme E est inni, lensemble E nest pas gal {a0 , . . . , an1 }, et il existe donc un lment an appartenant E \ {a0 , . . . , an1 }. On construit donc ainsi une suite (an )n0 dlments distincts de E dont le premier terme est a. Alors {an | n N} est une partie de E dnombrable et contenant a. ii) ii) et iii) iii) sont vidents.

DK 3

On construit une application bijective de E sur E \ {a} de la manire suivante : pour tout entier n 0, on pose (an ) = an+1 , et si x appartient E \ {an | n N}, on pose (x) = x . iii) iv) et iii) iv) sont vidents.

ii) iii) et ii) iii) Soit a dans E et {un | n N} une partie de E dnombrable et contenant a. Si up = a, on pose si n = 0 a an = un1 si 1 n p . un si n p + 1

iv) i) est vident, puisque un ensemble ni E nest jamais quipotent une de ses parties strictes qui a moins dlments que E. Remarque : il rsulte de ce qui prcde que si lon retire un nombre ni dlments un ensemble inni E, on obtient un ensemble encore quipotent E.

III. Caractrisation des ensembles quipotents

Proposition 6 Soit A et B deux ensembles non vides. - Sil existe une application injective de A dans B, alors il existe une application surjective de B sur A. - Sil existe une application surjective de A sur B, alors il existe une application injective de B dans A.

Soit une application injective de A dans B, et soit a un lment de A. Pour tout y de (A), il existe un antcdent unique x de y par dans A : notons le (y). Par ailleurs si y nappartient pas (A), posons (y) = a. Alors est une application surjective de B sur A. Soit une application surjective de A sur B. Pour tout y de B soit (y) un antcdent de y. Alors lapplication est une application injective de B dans A. Thorme 1 Deux ensembles E et F sont quipotents si une des conditions suivantes est satisfaite i) il existe une application injective de E dans F et une application injective de F dans E. ii) il existe une application surjective de E sur F et une application surjective de F sur E. iii) il existe une application injective de E dans F et une application surjective de E sur F .

DK 4

La proprit i) implique les deux autres compte tenu de la proposition prcdente. Dmontrons donc cette proprit. Soit une application injective de E dans F et une application injective de F dans E. Si est surjective, le rsultat est vident. Supposons que ce ne soit pas le cas. Alors lensemble A0 = (F )C = E \ (F ) , est non vide, et, pour tout n 0, posons An = ( )n (A0 ) . Donc, si n 1, An = ( ( )n1 (A0 )) (F ) . Enn notons A=
n=0

An .

Les ensembles An et A sont inclus dans E et (A) est inclus dans A, . Comme est injective, elle dnit une application bijective de F sur (F ), et donc 1 est une application bijective de (F ) sur F . Puisque A0 est inclus dans A, le complmentaire de A est inclus dans le complmentaire de A0 cest-dire dans (F ). On peut donc dnir une application de E dans F en posant (x) = (x) 1 (x) si x A . si x AC

Etudions les proprits de . On a tout dabord (A) = (A) Donc ((A)) = (A) A , et ((AC )) = ( 1 (AC )) = AC . Il ne peut donc pas exister dlment se trouvant la fois dans (A) et dans (AC ) puisque son image par serait la fois dans A et AC . Il en rsulte que (A) (AC ) = . Alors, comme les restrictions de A et AC sont injectives, il en rsulte que est injective. Dterminons maintenant (AC ) = 1 (AC ) . et (AC ) = 1 (AC ) .

DK 5

En utilisant les formules concernant limage rciproque, on a donc (AC )C = 1 (AC )C = 1 ((F ) \ AC ) = 1 ((F ) A)

= =

((F ) An )
n=0

1 ((F ) An ) ,
n=0

avec 1 ((F ) A0 ) = 1 () = . Par ailleurs, si n 1, le sous-ensemble An est inclus dans (F ), donc 1 ((F ) An ) = 1 (An ) = 1 ( )n (A) = 1 ( )n1 (A) = (An1 ) . Donc (AC )C =
n=1

(An1 ) =
n=1

An1

= (A) = (A) .

Il en rsulte donc que est surjective. Notation Soit E et F deux ensembles. Sil existe une application injective de E dans F (ou ce qui est quivalent, une application surjective de F sur E), on notera EF. En particulier, si E F , on a E F , puisque linclusion canonique est injective. On peut traduire le thorme prcdent en disant que EF implique EF. et F E

DK 6
Thorme 2 Pour tout ensemble E, on a E P(E) mais lensemble P(E) nest pas quipotent E.

Lapplication de E dans P(E) qui x associe {x} est injective, donc E P(E) . Supposons quil existe une bijection de E sur P(E), et notons A = {x E | x (x)} . / Posons x0 = 1 (A) . Alors (x0 ) = A . Donc, si x0 nappartient pas A = (x0 ), alors x0 devrait appartenir A par dnition de A, et si x0 appartient A = (x0 ) alors il devrait ne pas appartenir A, do une contradiction. Proposition 7 Si E 2 est quipotent E, alors, pour tout n 1, lensemble E n est quipotent lensemble E.

Cela se dmontre par rcurrence. Si E n est quipotent E, alors E n+1 est quipotent E n E donc E E et nalement E. Proposition 8 Si E 2 est quipotent E, alors pour tout n 1, lensemble P(E)n est quipotent lensemble P(E).

Le rsultat est vident si E est vide, car P(E) est alors un singleton, donc P(E)n galement. Supposons donc E non vide. Si E 2 est quipotent E alors E est inni, car, pour un ensemble ni, les ensembles E et E 2 nont pas le mme nombre dlments. Lapplication qui (A, B) dans (P(E)\{})2 associe A B dans P(E 2 ) est injective. Mais puisque E 2 est quipotent E, alors P(E 2 ) est quipotent P(E). Dautre part, puisque P(E) est inni, lensemble P(E) \ {} est quipotent P(E) donc (P(E) \ {})2 P(E)2 P(E 2 ) P(E) . Par ailleurs, lapplication qui A associe (A, {}) est une application injective de P(E) dans P(E)2 , donc P(E) P(E)2 .

DK 7

On en dduit que P(E) P(E)2 . Alors, daprs la proposition 7 applique P(E), on obtient que P(E)n est quipotent P(E).

IV. Une relation dordre

Proposition 9 Soit H un ensemble densemble et H lensemble des classes dquivalences pour la relation dquipotence. On dnit une relation dordre not sur H , en posant (E F ) E F .

Montrons tout dabord que la dnition ne dpend pas des reprsentants choisis dans les classes. Supposons que E1 E2 . Pour tout i de {1, 2}, soit i une bijection de Ei sur Fi , et soit f une application injective de E1 dans E2 , on dnit une application injective de F1 dans F2 en posant g = 2 f 1 , 1 donc F1 F2 . On a alors, en prenant = IdE , qui est une application injective de E dans E, E E, donc Si lon a la fois E E . E F et F E ,

alors il existe une application injective de E dans F et une application injective de F dans E, et daprs le thorme 1, les ensembles E et F sont quipotents, donc E=F. Si lon a la fois E F et F G ,

soit une application injective de E dans F et une application injective de F dans G, alors est une application injective de E dans G, donc (E F ) et (F G)) (E G) . Remarque : en particulier si lon a la situation suivante : E AB C E,

DK 8

alors, en passant aux classes do lon dduit que cest--dire que E et B sont quipotents.

E B E , B =E,

Proposition 10 Un ensemble E est quipotent une partie de F si et seulement si il existe une application injective de E dans F , ou une application surjective de F sur E.

Si E est quipotent une partie A de F , il existe une bijection de E sur A. On peut la considrer comme une application injective de E dans F . Il existe alors une application surjective de F sur E. Rciproquement, sil existe une application injective de E dans F , alors on peut la considrer comme une application bijective de E sur (E) et E est quipotent (E) qui est une partie de F . Par ailleurs, sil existe une application surjective de F sur E, alors il existe une application injective de E sur F .

V. Les intervalles de R
Proposition 11 Tout intervalle I de R non vide, et non rduit un point est quipotent R.

Lensemble R contenant lensemble dnombrable N est inni. Pour les intervalles ouverts, les fonctions usuelles donnent des bijections continues : a) si I = ] a, b [ , lapplication dnie par (x) = est une bijection de R sur I. b) si I = ] a, + [ lapplication dnie par (x) = ex + a est une bijection de R sur I. c) si I = ] , b [ lapplication dnie par (x) = b ex a+b ba arctan x + 2

DK 9

est une bijection de R sur I. Les autres intervalles contiennent un intervalle ouvert et sont donc innis. Alors ils sont quipotents lintervalle ouvert de mmes bornes obtenu en lui retirant les bornes.

VI. Les ensembles dnombrables

Proposition 12 Si E est dnombrable, toute partie de E est dnombrable ou nie.

Soit A une partie innie de E. Elle contient une partie B dnombrable, alors N B A E N. do lon dduit que A N, cest--dire que A est dnombrable. Proposition 13 Un ensemble E non vide est dnombrable ou ni si et seulement si il existe une application injective de E dans N, ou une application surjective de N sur E.

Si E est dnombrable, il existe une application bijective de E sur N et si E est ni de cardinal n, il existe une bijection de E sur {1, 2 . . . n} qui dnit une application injective de E dans N. Rciproquement, sil existe une application injective de E dans N, alors E est quipotent (E) qui est une partie dnombrable ou nie de N daprs la proposition prcdente. Proposition 14 Un produit cartsien ni densembles dnombrables est dnombrable.

On montre que N2 est dnombrable, en vriant que lapplication de N2 dans N, dnie par 1 (i, j) = (i + j)(i + j + 1) + i , 2 est bijective. Pour cela considrons la suite (Un )n0 dnie par
n

Un =
k=0

k=

n(n + 1) . 2

Cest une suite strictement croissante de nombres entiers.

DK 10

Si p appartient n, il existe un unique nombre n tel que Un p < Un+1 . On a alors 0 p Un < Un+1 Un = n + 1 , donc 0 p Un n , et si lon pose i = p Un i et j sont des entiers positifs et on a alors p= 1 (i + j)(i + j + 1) + i = (i, j) , 2 et j = n i ,

et ce couple (i, j) est lunique couple possible, ce qui montre que lapplication est bijective. Remarque : cette bijection revient disposer N2 sous forme de matrice innie et dcrire ce tableau en parcourant les diagonales : (0, 0), (0, 1), (1, 0), (0, 2), (1, 1), (2, 0), etc. . . Lquipotence se conservant dans les produits cartsiens, on en dduit que le produit de deux ensembles dnombrables est dnombrable. On dmontre alors par rcurrence que le produit cartsien de n ensembles dnombrables est dnombrable. Cest vrai pour n = 1. Supposons la proprit vrai lordre n. Si E1 , . . . , En+1 sont dnombrables, alors E1 En est dnombrable par hypothse de rcurrence, et (E1 En ) En+1 est le produit de deux ensembles dnombrables, donc est dnombrable. Comme (E1 En ) En+1 et E1 En En+1 sont quipotents, cela donne la proprit lordre n + 1. Donc elle est vraie pour tout n 1. Proposition 15 Une runion dnombrable ou nie densembles dnombrables ou nis qui contient un ensemble dnombrable est dnombrable. Cest le cas en particulier 1) dune runion dnombrables densembles nis disjoints non vides, 2) si un des ensembles au moins est dnombrable.

On peut toujours, quitte rpter une innit de fois un des ensembles, considrer une suite dnombrable (Ei )iN densembles de runion E, et pour tout i N, soit i une surjection de N sur Ei . On dnit une application de N2 dans E en posant (i, j) = i (j) . Cette application est surjective, donc E N2 N .

DK 11

Mais E contient un ensemble dnombrable, donc NE. Il en rsulte que E N, donc que E est dnombrable. En particulier, pour une runion dnombrable disjointe densembles nis non vides Ei , on choisit pour tout i un lment ai de Ei . Ces lments sont distincts puisque la runion est disjointe. On obtient donc une application injective de N dans E en posant (i) = ai . Il en rsulte que E contient un ensemble dnombrable.

Exemples densembles dnombrables

1) lensemble Z On dnit une bijection de Z sur N en posant (n) = 2) Lensemble Q Lensemble Q contient N, donc N Q. On dnit une application injective de Q dans Z N en posant (0) = (0, 1) , et si p = n/d est le quotient de deux nombres entiers premiers entre eux, avec d > 0, (p) = (n, d) . Alors N Q Z N N2 N . 3) Les ensembles Z[X] et N[X] Lensemble Zn [X] est dnombrable, car il est quipotent Zn+1 , par lapplication qui un polynme a0 + + an X n associe le (n + 1)uplet (a0 , . . . , an ). 2n 2n 1 si n 0 . si n < 0

DK 12

Alors Z[X] est la runion dnombrable des ensembles Zn [X], et il contient Z0 [X] = Z qui est dnombrable, donc Z[X] est dnombrable. Mme dmonstration pour N[X]. 4) Lensemble des nombres algbriques Tout dabord, lensemble I des polynmes non constants coecients entiers est inclus dans Z[X] qui est dnombrable et contient {X a | a Z} qui est dnombrable. Donc I est dnombrable. Ensuite, tout polynme P de I, on associe lensemble AP de ses racines. Alors lensemble des nombres algbriques A est runion dnombrable densembles nis non vides A=
P I

AP ,

et il contient N donc il est dnombrable. 5) Lensemble Pf (N) des parties nies de N Lapplication de N dans Pf (N) qui n associe {n} est injective, donc N Pf (N) , et Pf (N) est inni. Alors Pf (N) Pf (N) \ {} . Lapplication qui une partie nie non vide A = {a0 , . . . , an } o a0 < a1 < an , associe le polynme (A) = a0 + + an X n , est une application injective de lensemble des parties nies non vides dans Z[X]. Donc Pf (N) \ {} N[X] N . 6) Lensemble Sc (Z) des suites convergentes (ou stationnaires) de nombres entiers Lensemble S00 (Z) des suites de nombres entiers, nulles partir dun certain rang est quipotent Z[X], donc dnombrable. Comme S00 (Z) Sc (Z) , on a N S00 (Z) Sc (Z) . Lapplication qui une suite u de Sc (Z) qui converge vers a associe le couple (u a, a) est une application injective valeurs dans S00 (Z) Z, qui est dnombrable comme produit densembles dnombrables, donc Sc (Z) S00 (Z) Z N .

DK 13

VII. Les ensembles quipotents R

Prrequis : soit N un entier suprieur ou gal 2. Pour tout nombre rel a il existe un entier p 0, une suite {ap , . . . , a0 , . . . , an , . . .) de nombres entiers, o les nombres an appartiennent {0, . . . , N 1}, ap nest pas nul si p 1, et les nombres an ne sont pas tous gaux N 1 partir dun certain rang, tels que

a=
n=p

an N n ,

et ceci de manire unique. Cette somme est appele, dcomposition de a en base N . Les nombres de lintervalle [ 0, 1 [ sont exactement ceux pour lesquels p = 0 et a0 = 0. Les nombres entiers sont les nombres tels que an = 0 si n > 0. Remarque : on a

(N 1)N n = N q+1 .
n=q

Proposition 16 Lensemble R nest pas dnombrable.

Supposons par labsurde que R soit dnombrable. Il existerait donc une suite de nombres rels telle que R = {an | n 1} . Si lon crit les nombres an en base 10, soit n la nime dcimale de an , et soit n un nombre entier compris entre 0 et 8, distinct de n . Alors, quel que soit n 1, le nombre rel

a=
n=1

n 10n ,

dire de an par sa nime dcimale et nappartient donc pas {an | n 1}, do une contradiction. Remarque : lensemble P(N) nest pas dnombrable, puisque P(E) et E ne sont pas quipotents. On verra plus loin quen fait P(N) et R sont quipotents. Nous allons donner une liste de rsultats qui nous permettrons de montrer cela. Proposition 17 Lensemble Rn est quipotent R.

DK 14

On dmontre cette proprit pour n = 2, le cas gnral sen dduit par rcurrence. Tout dabord lapplication de R dans R2 qui x associe (x, 0) est injective. Soit maintenant (x, y) dans R2 , si lon crit ces nombres en base 10

x=
n=p

an 10n

et y =
n=q

bn 10n ,

on associe (x, y) le nombre

(x, y) =
n=p

an 102n +
n=q

bn 102n1 ,

et lapplication est une application injective de R2 dans R. Ces deux ensembles sont donc quipotents.

Corollaire 1 Pour toute partie A non vide, dnombrable ou nie, lensemble RA est quipotent R.

Si a appartient A, lapplication dnie par (x) = (x, a) , est une application injective de R dans R A, donc R R A, Si est une application injective de A dans N, alors lapplication dnie par (x, a) = (x, (a)) , est une application injective de R A dans R2 , donc R A R2 R . Proposition 18 Une runion dnombrable densembles quipotents R est quipotente R.

Soit (Ei )i0 une suite densembles quipotents R, et E sa runion. Soit i une bijection de R sur Ei . On dnit une application de R N dans E, en posant (x, i) = i (x) .

DK 15

Cette application est surjective, donc E R N R. Mais comme E contient E1 , on a R E1 E .

Exemples densembles quipotents R

1) Lensemble S ({0, . . . , N 1})

Si a = dnie par
n=1

an N n est la dcomposition en base N dun nombre de lintervalle [ 0, 1 [ , lapplication (a) = (an )n1 ,

est une application injective de [ 0, 1 [ dans S ({0, . . . , N 1}). Si (an )n0 est un lment de S ({0, . . . , N 1}), lapplication dnie par

((an )n1 ) =
n=1

an (N + 1)n ,

est une application injective de S ({0, . . . , N 1}) dans [ 0, 1 [ . (On a augment la base pour autoriser les suites dont tous les termes valent N 1 partir dun certain rang). Il en rsulte que S ({0, . . . , N 1}) est quipotent [ 0, 1 [ donc R. 2) Lensemble S (N) Soit a = (an )n0 une suite de nombres entiers. Si lon crit
pn

an =
k=0

ank N k ,

on associe a la suite (a) de S ({0, . . . , N }) dnie par (a) = (a00 , . . . , a0p0 , N, a10 , . . . , a1p1 , N, . . .) . Cest une application injective de S (N) dans S ({0, . . . , N }). Donc S (N) S ({0, . . . , N }) R . Mais puisque S ({0, . . . , N }) est inclus dans S (N), on a galement R S ({0, . . . , N }) S (N) .

DK 16

3) Lensemble S (R) Comme R est quipotent [ 0, 1 [ , lensemble S (R) est quipotent S ( [ 0, 1 [ ). A tout lment a = (an )n0 de S ( [ 0, 1 [ ), on associe une application (a) de N2 dans {0, . . . , 9}, o (a)(i, j) est la jme dcimale du nombre ai . Lapplication est une application injective de S ( [ 0, 1 [ ) dans F (N2 , {0, . . . , 9}). Mais comme N2 est quipotent N, lensemble F (N2 , {0, . . . , 9}) est quipotent F (N, {0, . . . , 9}) = S ({0, . . . , 9}) donc R. Alors S (R) S ( [ 0, 1 [ ) F (N2 , {0, . . . , 9}) R . Par ailleurs, puisque S (N) est inclus dans S (R), on a R S (N) S (R) . Donc S (R) R . 4) Lensemble des suites croissantes coecients dans N Lapplication qui une suite coecients dans N associe la suite des sommes partielles est une application bijective. 5) Lensemble P(N) Lapplication qui une partie de N associe sa fonction caractristique est une application bijective de P(N) sur lensemble S ({0, 1}), donc P(N) est quipotent S ({0, 1}) donc R. 6) Les ensembles R[X] et C[X] Lapplication qui un polynme associe la suite de ses coecients est injective, donc R[X] S (R) R , et par ailleurs R[X] contient R0 [X] = R. Mme rsultat avec C puisque C R2 R. Proposition 19 Soit un produit cartsien dnombrable densembles non vides quipotents une partie de R. Si contient une partie quipotente R alors il est quipotent R. Cest le cas en particulier, si les ensembles ne sont pas tous rduits un point, ou si un des ensembles est quipotent R.

Si (Ei )iN est une suite densembles, et si i est une application injective de Ei dans R, on dnit une application injective du produit cartsien des Ei valeurs dans S (R) en posant ((ai )iN ) = (i (ai ))iN ,

DK 17

donc S (R) R . Si lon a R , on obtient donc R. Lorsque chaque ensemble Ei contient au moins deux lmentss distincts ai et bi on dnit une application injective de S ({0, 1}) dans en associant toute suite (un ) de S ({0, 1}), llment (vn ) de dni par an si un = 0 vn = bn si un = 1 Donc R S ({0, 1}) , et contient une partie quipotente R.

VIII. Les ensembles quipotents P(R)

Proposition 20 Quel que soit lensemble A, lensemble des suites de fonctions de R dans A est quipotent lensemble des fonctions de R dans A.

Les ensembles F (N, F (R, A)) et F (N R, A) sont canoniquement isomorphes. Par ailleurs, puisque N R est quipotent R, les ensembles F (N R, A) et F (R, A) sont quipotents.

Exemples densembles quipotents P(R)

1) Lensemble P(R)n Cest une consquence de la proposition 8, puisque R2 est quipotent R. 2) Lensemble des fonctions de R dans A, o A est un ensemble ni contenant au moins deux lments Posons Ep = {0, . . . , p 1}. Lapplication qui une partie de R associe sa fonction caractristique est une bijection de P(R) sur F (R, E2 ). Comme
n F (R, E2 ) = F (R, E2 )n P(R)n P(R) ,

le rsultat est vrai pour tout ensemble ni A dont le cardinal est une puissance de 2. Soit n et p tels que 2 p 2n , alors on a les injections suivantes F (R, E2 ) F (R, Ep ) F (R, E2n ) ,

DK 18

et donc tous ces ensembles sont quipotents P(R). La proposition en dcoule. 3) Lensemble des fonctions de R dans R Si f est une fonction de R dans [ 0, 1 [ , et si x est un rel, notons (fi (x))i0 la suite des dcimales de f (x). Soit lapplication de F (R, [ 0, 1 [ ) dans F (N, F (R, {0, . . . , 9})) qui f associe (fi )i0 . Cest une application injective et daprs la proposition 20, F (R, [ 0, 1 [ ) F (N, F (R, {0, . . . , 9})) F (R, {0, . . . , 9}) P(R) . Par ailleurs on a linjection F (R, {0, 1}) F (R, [ 0, 1 [ ) , donc P(R) F (R, {0, 1}) F (R, [ 0, 1 [ ) . Il en rsulte que F (R, [ 0, 1 [ ) et P(R) sont quipotents. Enn, puisque [ 0, 1 [ et R sont quipotents, il en est de mme de F (R, [ 0, 1 [ ) et de F (R, R). Finalement F (R, R) et P(R) sont quipotents. 4) Lensemble des fonctions de R dans A, o A est un sous-ensemble de R contenant au moins deux lments Si a et b sont deux lments distincts de A, on a les injections F (R, {a, b}) F (R, A) F (R, R) . et ces trois ensembles sont quipotents P(R). 5) Lensemble des suites de parties de R Comme R est quipotent lensemble S ({0, 1}) = {0, 1}N des suites de nombres entiers coecients dans {0, 1}, on a P(R) F (R, R) F (R, {0, 1}N ) F (R, {0, 1})N = P(R)N = S (P(R)) .