- Soit (un)n0 une suite convergente (un)n0 est bornée.
- Soit (un)n0 une suite de nombre réels convergente. Alors il existe un et un seul nombre réel a tel que
(un)n0 converge vers a.
Ce nombre unique est appelé la limite de (un)n0 lorsque n tend vers a et on l’écrit :
Limn->¤¤ un = a.
Preuve
Supposons que (un)n0 converge vers a et a’ avec aa’.
On considère le nombre ’ = |a-a’|/2 :
o (un)n0 converge vers a donc N1 Є N tel que si n N1 alors |un-a|<
o (un)n0 converge vers a’ donc N1 Є N tel que si n N2 alors |un-a’|<
Donc, par exemple pour N=N1+N2 on a |un-a| < et |un-a’| < donc on a :
|a-a’|=|(un-a)+(a’-un)| (inégalité triangulaire) |un-a|+|un-a’| < ’ + ’ = |a-a’| (définition de ’).
On a donc |a-a’| < |a-a’|. Ce qui est absurde.
Donc a est unique.
Propositions sur les suites convergentes
Soient (un)n
0, (vn)n
0 deux suites convergentes avec limn->¤¤ un = a et limn->¤¤ vn = b.
la suite (wn)n0 = (un+vn)n0 est convergente vers a+b
la suite (rn)n0 = (un-vn)n0 est convergente vers a-b
la suite (tn)n0 = (un*vn)n0 est convergente vers a*b
Si a0 N1 / n N1 un0 et la suite (sn)n0 = 1/(un)n0 est convergente vers 1/a.
2.4 DEFINITION 4
Une suite (un)n
0 qui n’est pas convergente est dite divergente. Parmi les suites convergentes on en distingue une
catégorie particulière.
2.5 DEFINITION 5
Soit (un)n
0 une suite de nombres réels. On dit que :
- (un)n
0 tend vers +¤¤ lorsque n tend vers +¤¤
M >0
N Є N, n
N => un
M
- (un)n
0 tend vers -¤¤ lorsque n tend vers +¤¤
m <0
N Є N, n
N => un<m
Proposition
Soient (un)n
0 une suite croissante (respectivement décroissante). Alors (un)n
0 est convergente si et seulement elle
est majorée (respectivement minorée).
Une suite croissante non majorée tend vers +¤¤.
Une suite décroissante non minorée tend vers -¤¤.
Preuve
On fait le cas ou (un)n0 est croissante majorée.
E={x Є R / n Є N / x=un }
E est une partie non vide majorée, donc E admet une borne supérieure. On va montrer que (un)n0 converge vers l.
> 0 N Є N , n N |un –l|<.
Soit > 0 considérons le nombre l-.
Donc il existe N Є N / l-<uN <un
D’autre part un l par définition de la limite.
Donc n Є N l-<un <l+, c’est à dire |uN-l|<. CQFD
Si la suite des (un)n0 n’est pas majorée :
Donc M >0 M n’est pas un majorant de (un)n0 . Donc il existe N Є N tel que uN>M.
Mais la suite (un)n0 étant croissante, on a n Є N, unuN>M.
On a vu que n 0 N Є N / n N uN>M.
Ce qui est la définition de (un)n0 tend vers +¤¤.
Remarques :
Si (un)n0 est une suite divergente, elle peut ne pas tendre vers l’infini.
Une suite peut ne pas être bornée et ne pas tendre vers +¤¤