Centre Des Classes Préparatoires Lydex -BENGUERIR-

Théorème de Bolzano-Weierstrass
Octobre 2020

Le but de ce devoir libre est de démontrer le théorème de Bolzano-Weierstrass, qui dit que de toute suite réelle
bornée on peut extraire une suite convergente.
• Un ensemble E est dit fini lorsqu’il est constitué d’un nombre fini d’éléments. Dans le cas contraire, on
dit qu’il est infini.
• Si E et E 0 sont deux ensembles finis, alors E ∪ E 0 est aussi un ensemble fini. Par contraposée, si E ∪ E 0
est infini, alors au moins l’un des deux ensembles E et E 0 est infini.
Soit (un ) une suite réelle bornée.

1 Partie I
Nous voulons construire par un procédé dichotomique deux suites adjacentes (an ) et (bn ) telles que, pour tout
entier naturel n, l’ensemble
An = {k ∈ N : an ≤ uk ≤ bn }
soit infini.
1. Justifier l’existence de a0 , b0 ∈ R tels que A0 soit infini.
2. Soient an et bn tels que l’ensemble
An = {k ∈ N : an ≤ uk ≤ bn }
est infini. On pose cn = an +bn
2 et on considère les ensembles suivants
A−
n = {k ∈ N : an ≤ uk ≤ cn } et A+
n = {k ∈ N : cn ≤ uk ≤ bn }

(a) Montrer que au moins l’un des deux ensembles A−n ou An est infini.
+

(b) On pose
an si A− n est infini n est infini
cn si A−
 
an+1 = et bn+1 = (?)
cn si An est infini
+
bn si A+
n est infini

Montrer que An+1 est infini.

(c) Vérifier que bn+1 − an+1 = bn −a
2
n
.
3. La relation de récurrence (?) et a0 , b0 donnés dans la question I.1 permettent de définir les suites (an ) et
(bn ) de sorte que, pour tout n ∈ N, l’ensemble
An = {k ∈ N : an ≤ uk ≤ bn }
est infini. Montrer que (an ) et (bn ) sont adjacentes. Notons l leur limite commune.

2 Partie II
Nous allons maintenant construire une application ϕ : N −→ N strictement croissante telle que la suite extraite
uϕ(n) converge vers l.

1. On suppose que ϕ(n) est déjà défini. Justifier que An+1 \{0, 1, . . . , ϕ(n)} admet un plus petit élément.
2. On considère l’application ϕ : N −→ N définie par
ϕ(0) ∈ A0 et ∀n ∈ N, ϕ(n + 1) = min (An+1 \{0, 1, . . . , ϕ(n)})
Montrer que ϕ est strictement croissante et que, pour tout n ∈ N, ϕ(n) ∈ An
3. Montrer que xϕ(n) converge vers l.