Définition et unicité de la limite d'une suite
Soit (u_n) une suite de nombres réels et x un nombre réel.
On dit que la suite (u_n) converge vers x si :
(\ast) pour tout \varepsilon>0, il existe un entier N_\varepsilon>0 tel que pour tout n>N_\varepsilon, x-\varepsilon<u_n<x+\varepsilon .
On peut reformuler la condition (\ast) avec des quantificateurs :
(\ast)\ \ \forall \varepsilon>0,\exists N_\epsilon>0, \forall n>N_\varepsilon, x-\varepsilon<u_n<x+\varepsilon
Remarque. N_\varepsilon est un entier qui dépend de \varepsilon.
Que veut dire cette définition ? Elle veut dire que pour une précision donnée (\varepsilon), il existe un rang (N_\epsilon), à partir duquel tous les termes de la suite ne s'éloigneront plus de \varepsilon de x.
On dit aux élèves de lycée : "les termes sont aussi proches que l'on veut de x pourvu que leur rang soit assez grand".
Remarque 1.
Une suite (u_n) converge vers x si et seulement si la suite (v_n) définie pour tout entier naturel n par v_n=u_n-x , converge vers 0. En effet :
x-\varepsilon<u_n<x+\varepsilon \Longleftrightarrow -\varepsilon<u_n-x<\varepsilon
Remarque 2.
Dans la définition de la convergence, on peut remplacer l'encadrement x-\varepsilon<u_n<x+\varepsilon par
\left|u_n-x\right|<\varepsilon.
En effet \left|u_n-x\right|=\left\{\begin{array}{rcl} u_n-x & \textrm{si} & u_n\geq x \\ x-u_n & \textrm{si} & u_n\leq x \end{array} \right. donc
\left|u_n-x\right|<\varepsilon \Longleftrightarrow \left\{\begin{array}{rcl} u_n-x<\varepsilon & \textrm{si} & u_n\geq x \\ x-u_n<\varepsilon & \textrm{si} & u_n\leq x \end{array} \right.
D'où
\left|u_n-x\right|<\varepsilon \Longleftrightarrow \left\{\begin{array}{rcl} u_n<x+\varepsilon & \textrm{si} & u_n\geq x \\ x-\varepsilon<u_n & \textrm{si} & u_n\leq x \end{array} \right.
Or comme \varepsilon>0 , si u_n\geq x, on a automatiquement u_n\geq x > x-\varepsilon et si u_n\leq x, on a automatiquement u_n\leq x< x+\varepsilon. On en déduit que
\left|u_n-x\right|<\varepsilon \Longleftrightarrow \left\{\begin{array}{rcl} x-\varepsilon<u_n<x+\varepsilon & \textrm{si} & u_n\geq x \\ x-\varepsilon<u_n<x+\varepsilon & \textrm{si} & u_n\leq x \end{array} \right. \Longleftrightarrow x-\varepsilon<u_n<x+\varepsilon
Propriété.
Si (u_n) converge vers x et aussi vers y, alors x=y.
x est alors l'unique nombre vers lequel (u_n) converge et l'on dit que la limite de (u_n) est x.
On note
\lim_{n} u_n=x
Démonstration. Faisons une démonstration par l'absurde. On suppose que x\neq y .
Sans perte de généralité supposons que x<y et notons \alpha=\left|x-y\right| >0.
Nous allons faire en sorte de trouver un terme u_m qui soit à la fois suffisamment proche de x et à la fois suffisamment proche de y pour créer une contradiction. Pour cela, on va considérer la distance entre x et y et faire en sorte que u_m soit à moins du tier de cette distance à la fois de x et de y (c'est comme trouver un nombre plus petit que \frac 1 3 et plus grand que \frac 2 3 ).
Par définition de convergence vers x, il existe un entier N=N_{\alpha,x} dépendant de \alpha et de x tel que
(1)\ \ \ \ \forall n>N, \left| u_n-x\right| <\frac \alpha 3
Ici \varepsilon=\frac \alpha 3.
Par définition de convergence vers y, il existe un entier N'=N_{\alpha,y} dépendant de \alpha et de y tel que
(2)\ \ \ \ \forall n>N', \left| u_n-y\right| <\frac \alpha 3
On a donc pour m=N+N'+1 (m est plus grand que N et plus grand que N'), et d'après (1) et (2) :
x-\frac{\alpha}{3}<u_m<x+\frac{\alpha}{3} \ \textrm{et} \ y-\frac{\alpha}{3}<u_m<y+\frac{\alpha}{3}
On en déduit en particulier que
(3) \ \ y-\frac \alpha 3<u_m<x+\frac \alpha 3
Mais d'après la construction réalisée (voir dessin), la borne inférieure de l'intervalle autour de y est strictement supérieure et la borne supérieure de l'intervalle autour de x. Si on n'en est pas convaincu, il suffit de faire un calcul :
y-\frac \alpha 3 = y-\frac{y-x}{3} = \frac{2y+x}{3}
x+\frac \alpha 3 = x+\frac{y-x}{3}=\frac{2x+y}{3}
Or x<y donc 2x<y+x puis 2x+y<2y+x d'où l'on déduit que x+\frac \alpha 3 + y-\frac \alpha 3. Il s'en suit que y-\frac \alpha 3>x+\frac \alpha 3 contredisant l'inégalité (3).
Par conséquent x=y.
Propriété.
\lim_n \frac 1 n = 0
Démonstration. Soit \varepsilon>0. Nous voulons trouver un entier positif N=N_\varepsilon tel que n>N implique \left| \frac 1 n \right| < \varepsilon, c'est-à-dire \frac 1 n < \varepsilon.
Cette dernière inégalité équivaut à \frac 1 \varepsilon < n. Soit N=\lceil \frac 1 \varepsilon \rceil la partie entière supérieure de \frac 1 \varepsilon (le plus petit entier strictement supérieur à \frac 1 \varepsilon).
Nous avons bien n>N \Longrightarrow \frac 1 n < \varepsilon.
Ceci étant possible pour tout \varepsilon, on en déduit que \lim_n \frac 1 n = 0 .
A suivre
Dans un article futur, nous verrons quelques propriétés concernant les limites. Elles nous permettrons de déterminer d'autres exemples de limites de suites.
Avant ça, je publierai un article sur les suites qui ne convergent pas, les suites divergentes.
En attendant, si vous vous intéressez aux suites et à leur convergence, je vous invite à lire l'article Théorème du point fixe en terminale.
Aucun commentaire:
Enregistrer un commentaire