matiques

Exercices de Mathe
nombrables
Ensembles de

Enonc
es

Enonc
es des exercices

Exercice 1 [ Indication ] [ Correction ]

Cet exercice permet de construire une bijection de IN IN sur IN.
On definit une application f , de IN IN vers IN, de la mani`ere suivante :
f (0, 0) = 0

f (0, y) = f (y 1, 0) + 1 si y 1

f (x, y) = f (x 1, y + 1) + 1 si x 1.
Pour tout k de IN, on pose Sk = {(x, y) IN2 , x + y = k}.
1. Calculer card(Sk ), et f (x, y) en fonction de x et de y.
k(k + 1) (k + 1)(k + 2)
2. Montrer que : n IN, !k IN tq : n< .
2 2
3. Montrer que f est bijective. Quel est lantecedent de 2000 ?

Exercice 2 [ Indication ] [ Correction ]

Soit (fn )n0 une suite dapplications de IN vers IN.
Soit f : IN IN definie par : n IN, f (n) = fn (n) + 1.
Montrer que, pour tout entier p, f 6= fp .
En deduire que lensemble des applications de IN dans IN nest pas denombrable.

Exercice 3 [ Indication ] [ Correction ]

Montrer que lensemble des parties finies de IN est denombrable.
Montrer en revanche que P(IN) nest pas denombrable.

Exercice 4 [ Indication ] [ Correction ]

Soit f une application de IN dans IR.
On definit une suite (un )n1 de la mani`ere suivante :
Pour tout n 1, un est la n-i`eme decimale de f (n).

vn = 1 si un = 0.
On definit de meme une suite (vn )n1 par
6 0.
vn = 0 si un =
Montrer que le reel r = 0, v1 v2 . . . vn . . . na pas dantecedent par f .
En deduire que IR nest pas denombrable.

Page 1 Jean-Michel Ferrard www.klubprepa.net EduKlub

c S.A.
Tous droits de lauteur des uvres reserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
 matiques
Exercices de Mathe
nombrables
Ensembles de
Indications, resultats

Indications ou r
esultats

Indication pour lexercice 1 [ Retour `a lenonce ]

Faire un schema pour voir comment est definie lapplication f .
1
1. On a card(Sk ) = k + 1. (x, y) IN2 , f (x, y) = (x + y)(x + y + 1) + x.
2
1
2. La suite uk = k(k + 1) (avec u0 = 0) est strictement croissante, et tend vers +.
2
3. Lunique antecedent de n est (n uk , k + uk n), o`
u k est lentier tel que uk n < uk+1 .

x + y = 62
Pour n = 2000, on a k = 62. Donc puis x = 47 et y = 15.
x = 2000 u62

Indication pour lexercice 2 [ Retour `a lenonce ]

Il suffit de constater que f (p) = fp (p) + 1 6= fp (p).

Indication pour lexercice 3 [ Retour `a lenonce ]

Considerer lensemble F des parties finies de IN, et Fn F forme des parties de maximum n.
Pour montrer que P(IN) nest pas denombrable, soit (An )nIN une famille de parties de IN.
Considerer A = {n IN, n
/ An }, et montrer que A 6= An pour tout n.

Indication pour lexercice 4 [ Retour `a lenonce ]

Pour tout entier n 1, les reels r et f (n) nont pas la meme n-i`eme decimale.

Page 2 Jean-Michel Ferrard www.klubprepa.net EduKlub

c S.A.
Tous droits de lauteur des uvres reserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
 matiques
Exercices de Mathe
nombrables
Ensembles de
Corriges

Corrig
es des exercices

de lexercice 1 [ Retour `a lenonce ]

Corrige
Le schema ci-dessous montre comment est definie lapplication f : on parcourt tous les points
de IN2 en suivant des parall`eles `a la seconde bissectrice du rep`ere.

1. On a card(Sk ) = k + 1 (les couples de Sk sont les (j, k j) avec 0 j k.)

Notons Tk = {(x, y) IN2 , x + y < k}.
Tk est lunion disjointe des Sj avec 0 j k 1.
k1
P 1
Le cardinal de lensemble Tk est donc (j + 1) = k(k + 1).
j=0 2
2
Soit (x, y) un couple de IN . Posons k = x + y.
Il est clair (voir schema ci-dessus) que f (x, y) = card(Tk ) + x.
1
Ainsi, pour tout (x, y) de IN2 : f (x, y) = (x + y)(x + y + 1) + x.
2
1
Par exemple, f (3, 1) = 4 5 + 3 = 13 (voir schema).
2
1
2. Cela vient de ce que la suite k 7 uk = k(k+1) (de premier terme u0 = 0) est strictement
2
croissante, et quelle est divergente vers +.
Pour tout entier n, lunique k tel que uk n < uk+1 est alors le plus grand element de
lensemble (fini et non vide) forme des entiers m tels que um n.
3. Les questions precedentes montrent que lunique antecedent dun entier naturel n est le
couple (x, y) defini par les deux conditions suivantes :
Soit k lunique entier k tel que uk n < uk+1 .
x est lentier defini par x = n uk .
y est lentier defini par x + y = k.

Page 3 Jean-Michel Ferrard www.klubprepa.net EduKlub

c S.A.
Tous droits de lauteur des uvres reserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
 matiques
Exercices de Mathe
nombrables
Ensembles de
Corriges

On observe que u62 = 1953 et u63 = 2016.

Ainsi lunique entier k tel que uk 2000 < uk+1 est k = 62.

x + y = 62
Si (x, y) est lantecedent de 2000 par k on a :
x = 2000 u62
On trouve donc x = 47 et y = 15.
1 1
On verifie que f (x, y) = (x + y)(x + y + 1) + x = 62 63 + 47 = 2000.
2 2

de lexercice 2 [ Retour `a lenonce ]

Corrige
Soit p un entier naturel. On a f (p) = fp (p) + 1 6= fp (p).
Les deux applications f et fp , qui diff`erent au point p, sont donc distinctes.
Si on note F(IN) lensemble de toutes les applications de IN dans IN, ce qui prec`ede montre
quil nexiste pas dapplication surjective de IN dans F(IN). Lensemble F(IN) nest donc pas
denombrable.

de lexercice 3 [ Retour `a lenonce ]

Corrige
Toute partie finie de IN poss`ede un plus grand element.
Si on note F lensemble des parties finies de IN, et[
Fn le sous-ensemble de F forme des parties
dont le plus grand element est n, on a donc F = Fn (cest une union disjointe.)
nIN
n
Or chaque Fn est fini (son cardinal est 2 : se donner une partie de IN de plus grand element
n, cest en effet se donner une partie quelconque de lensemble `a n elements {0, . . . , n 1}.)
Lensemble F est donc une union denombrable densembles finis : F est denombrable.
Pour montrer que P(IN) nest pas denombrable, on peut utiliser lexercice 1.3.2 qui prouve en
particulier quil ny a pas de surjection de IN sur P(IN).
On peut egalement utiliser une methode diagonale, comme dans lexercice precedent.
Pour cela, soit (An )nIN une famille de parties de IN.
Soit A la partie de IN definie par A = {n IN, n
/ An }.
Tout entier naturel n appartient donc soit `a An soit `a A.
Lensemble A est donc distinct de chacun des An .
Cela traduit que P(IN) nest pas denombrable (il ny a pas de suite de P(IN) qui permette de
representer chaque partie de IN).

de lexercice 4 [ Retour `a lenonce ]

Corrige
Pour tout entier n 1, les reels r et f (n) sont distincts car ils nont pas la meme n-i`eme
decimale (en effet, vn 6= un par construction.)
Le reel r nest donc limage daucun entier par f .
Ainsi aucune application de IN dans IR nest surjective : IR nest pas denombrable.

Page 4 Jean-Michel Ferrard www.klubprepa.net EduKlub

c S.A.
Tous droits de lauteur des uvres reserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.