2 Suites
´
Equipotence et d´enombrabilit´e
Exercice 16 Soient Eet Fdeux ensembles. Montrer que l’existence d’une injection de Edans F
´equivaut `a l’existence d’une surjection de Fdans E. Remarque : la preuve d’une des implications
utilise l’axiome du choix.
Exercice 17 Soit Xest un ensemble quelconque, et P(X) l’ensemble de ses parties. Montrer
qu’il n’existe pas de bijection f:X→ P(X). (Indication : raisonner pas l’absurde, et consid´erer
le sous-ensemble E={x∈X:x /∈f(x)}.)
Exercice 18 Montrer que l’ensemble {0,1}Xdes applications de Xdans {0,1}est ´equipotent `a
P(X).
Exercice 19 *
1) Montrer que {0,1}N,Ret les intervalles [0,1] et ]0,1[ sont ´equipotents. On admettra le
th´eor`eme de Cantor - Bernstein.
2) Montrer que RNet Rsont ´equipotents. Indication : utiliser d’abord le fait que Rest
´equipotent `a {0,1}N.
3) Soit n≥1 un entier. En d´eduire que C([0,1]; R), Rnet Rsont ´equipotents. Indication :
toute fonction de C([0,1]; R) est d´etermin´ee par sa valeur aux points rationnels.
Exercice 20 Montrer que l’application f:N×N→Nd´efinie par f(n, m) = 2n(2m+ 1) −1 est
une bijection. En d´eduire que Qest d´enombrable.
Exercice 21 *Montrer que si An’est pas d´enombrable et B⊂Aest d´enombrable, alors Aet
A\Bsont ´equipotents. En d´eduire que les nombres r´eels et les irrationnels sont en bijection.
Exercice 22 Soit fune application croissante de Rdans R.
1) Montrer que pour tout r´eel x,fposs`ede une limite `a gauche et une limite `a droite en x,
et que ces limites v´erifient f(x−)≤f(x+). Que se passe-t-il si f(x−) = f(x+) ?
2) Montrer que l’ensemble des points o`u fest discontinue est (au plus) d´enombrable.
Indication : montrer que pour tous r´eels a<bet ε > 0, l’ensemble des x∈[a, b] tels que
f(x+) −f(x−)≥εest fini, de cardinal major´e par (f(b+) −f(a−))/ε.
Suites et valeurs d’adh´erence
Exercice 23 On consid`ere les suites (an)n≥1et (bn)n≥1de rationnels d´efinies par
an=
n
X
k=0
1
k!et bn=an+1
n·n!
1) Montrer que (an)n≥1et (bn)n≥1sont adjacentes et convergent vers e.
2) En utilisant l’encadrement an< e < bn, qui est v´erifi´e pour tout n, d´eduire que e /∈Q.
Exercice 24 Soit l∈Ret (un) une suite r´eelle ne tendant pas vers l. Montrer qu’il existe ε > 0
et une sous-suite (uϕ(n)) de la suite (un) tels que, pour tout n, on ait
uϕ(n)−l
> ε.
5