CHAPITRE 1. SÉRIES NUMÉRIQUES 12
constante égale à -1, donc converge vers -1, donc la suite ne peut être conver-
gente.
Suites extraites complémentaires :
Définition 1.2. psuites extraites uφ1(n)n∈N,uφ2(n)n∈N,...,uφp(n)n∈N
de la suite (un)n∈Nsont dites complémentaires si :
{φ1(n), n ∈N} ∪ {φ2(n), n ∈N}∪ ··· ∪ {φp(n), n ∈N}=N.
Théorème 1.1. Si psuites extraites complémentaires d’une suite (un)n∈Nconvergent
vers la même limite L(réelle, complexe ou infinie), alors la suite (un)n∈N
converge vers L.
Démonstration. Nous allons la faire pour une limite finie, réelle ou complexe, le
cas des limites infinies est laissé aux bons soins du lecteur.
Soit ǫun réel strictement positif, il existe des entiers N1,...,Nptels que :
n > Ni⇒uφi(n)−L< ǫ.
On pose alors N= max (φ1(N1), φ2(N2),...,φp(Np)) .
Soit nun entier supérieur à N.
Les suites extraites étant complémentaires, il existe deux entiers iet n′tels que
n=φi(n′). φi(n′) = n > N >φi(Ni),donc, φiétant strictement croissante,
n′> Ni,ce qui entraîne uφi(n′)−L< ǫ, donc n > N entraîne |un−L|< ǫ, ce
qui donne la convergence de la suite (un)n∈Nvers L.
Exercice 1.1. Ecrire le théorème dans la cas particulier des suites extraites
des termes de rang pair et de rang impair et faire la démonstration dans ce cas
particulier.
Théorème 1.2 (de Bolzano-Wierstrass).De toute suite bornée on peut extraire
une suite convergente.
Démonstration. Soit (xn)n∈Nune suite bornée de réels.
On pose An={xk, k >n}. Anest un sous-ensemble non vide et majoré de R,
donc admet une borne supérieure.
On pose an= sup An.
Si n>p, Anest contenu dans Ap,donc sup An6sup Ap,c’est-à-dire an6ap,
la suite (an)n∈Nest donc décroissante. Elle est d’autre part minorée (puisque
la suite (xn)n∈Nest bornée) donc elle est convergente, vers un réel L. On va
construire une suite extraite de la suite (xn)n∈N,convergente vers L.
On pose ǫ= 1.∃N∈Ntel que n>N⇒L6an6L+ 1.On fixe une telle
valeur de n. anétant la borne supérieure de An,il existe un élément xkde An
tel que : an−16xk6an(on exprime que anest le plus petit des majorants).
On en déduit : L−16xk6L+ 1,donc |xk−L|61.
On désigne par n1une telle valeur de k, xn1sera le premier terme de la suite
extraite.
On recommence avec ǫ=1
2:∃N∈N/ n >N⇒L6an6L+1
2.