« Approfondissement sur les suites numériques/Convergence » : différence entre les versions

Contenu supprimé Contenu ajouté
m màj lien
m Formatage, ajout de div style="text-align: center;"
Ligne 12 :
{{Définition
| contenu =
* Soit <math>\ell</math> un réel. La suite <math>(u_n)</math> a pour limite <math>\ell</math> si <math>(u_n)</math> est aussi proche de <math>\ell</math> que l’on veut à partir d’un certain rang, c'est-à-dire si quel que soit <math>\varepsilon>0</math>, tous les termes de la suite <math>(u_n)</math> appartiennent à un intervalle <math>\left]\ell-\varepsilon,\ell+\varepsilon\right[</math> sauf un nombre fini de termes, autrement dit :<div style="text-align: center;"><math>\forall\varepsilon>0\quad\exists N\in\N\quad\forall n\ge N\quad\left|u_n-\ell\right|<\varepsilon</math>.</centerdiv>On écrit alors : <math>\lim_{n \to +\infty}u_n=\ell</math> ou, par abus, <math>\lim u_n=\ell</math>, voire <math>u_n \rightarrow \ell</math>.
*Une suite est dite '''convergente''' si elle possède une limite finie, et '''divergente''' sinon.
Une suite divergente a parfois une limite infinie :
*<math>\lim_{n \to +\infty}u_n=+\infty</math> si <math>u_n</math> est aussi grand que l’on veut à partir d’un certain rang. C'est-à-dire :<div style="text-align: center;"><math> \forall A \in \R\quad\exists N\in \N\quad\forall n\ge N\quad u_n > A </math>.</centerdiv>
* <math>\lim_{n \to +\infty}u_n=-\infty</math> si <math>u_n</math> est aussi petit que l’on veut à partir d’un certain rang. C'est-à-dire :<div style="text-align: center;"><math> \forall A \in \R\quad\exists N\in \N\quad\forall n\ge N\quad u_n < A </math>.</centerdiv>
}}
 
Ligne 22 :
{{Théorème|contenu=
Si deux suites <math>(u_n)</math> et <math>(v_n)</math> admettent respectivement pour limites (finies ou infinies) <math>U</math> et <math>V</math> alors :
<div style="text-align: center;">si <math>U<V</math> alors <math>\exists N\in\N\quad\forall n\ge N\quad u_n<v_n</math>.</centerdiv>
}}
 
Ligne 30 :
{{Corollaire|contenu=
Sous les mêmes hypothèses,
<div style="text-align: center;">si <math>\exists N\in\N\quad\forall n\ge N\quad u_n\ge v_n</math> alors <math>U\ge V</math>.</centerdiv>}}
 
On utilise souvent ce théorème et son corollaire dans le cas où l'une des deux suites est constante. Par exemple, si une suite <math>(u_n)</math> a pour limite <math>U</math> alors, pour tout réel <math>V</math> :