Suite convergence et limite d’une suite (Cours)

La convergence et limite d'une suite est un chapitre central de l'analyse : au programme de Terminale, en CPGE et à l'université, c'est la notion qui permet de répondre à une question simple - vers quoi tend un u_n quand n n grandit indéfiniment ? Ce cours présente la définition rigoureuse, les théorèmes essentiels (gendarmes, convergence monotone) et les suites de référence.

Définitions : suite convergente, suite divergente et limite d’une suite

Avant de poser la définition rigoureuse, revenons sur l'intuition. Une suite (un) (u_n) est une liste ordonnée de nombres réels indexés par les entiers naturels. Étudier sa convergence, c'est se demander : que se passe-t-il lorsque n n devient arbitrairement grand ? Les termes de la suite s'approchent-ils indéfiniment d'une valeur fixe ?

Définition : Limite finie et suite convergente

Soit (un) (u_n) une suite de nombres réels et \ell un réel. On dit que (un) (u_n) converge vers \ell , ou que \ell est la limite de (un) (u_n) , si :

ε>0,NN,nN,un<ε.\forall \varepsilon > 0,\quad \exists N \in \mathbb{N},\quad \forall n \geq N,\quad |u_n - \ell| < \varepsilon.

On note alors :

limn+un=ouunn+.\lim_{n \to +\infty} u_n = \ell \qquad \text{ou} \qquad u_n \xrightarrow[n \to +\infty]{} \ell.

Une telle suite est dite convergente.

Décodons la définition : que signifie vraiment un<ε |u_n - \ell| < \varepsilon ?

L'expression un<ε |u_n - \ell| < \varepsilon signifie que un u_n se trouve dans l'intervalle ouvert ]ε  +ε[ \,]\ell - \varepsilon \, \, \ell + \varepsilon[\, . En d'autres termes, un u_n est à une distance strictement inférieure à ε \varepsilon de \ell . La définition dit donc : quelle que soit la précision ε \varepsilon qu'on exige (aussi petite soit-elle), à partir d'un certain rang N N , tous les termes suivants de la suite sont à distance inférieure à ε \varepsilon de \ell .

Le rang N N dépend de ε \varepsilon : plus ε \varepsilon est petit, plus il faut généralement attendre longtemps (rang N N élevé) pour que les termes soient aussi proches de \ell .

Définition : Suite divergente

Une suite est divergente si elle n'est pas convergente. Il existe deux grandes catégories de suites divergentes :

  • Divergence vers + +\infty : (un) (u_n) tend vers + +\infty si pour tout réel M M , il existe un rang N N tel que, pour tout nN n \geq N , on ait unM u_n \geq M .
    MR,NN,nN,unM.\forall M \in \mathbb{R},\quad \exists N \in \mathbb{N},\quad \forall n \geq N,\quad u_n \geq M.
  • Divergence sans limite : certaines suites oscillent indéfiniment sans se rapprocher d'aucune valeur. Par exemple, la suite un=(1)n u_n = (-1)^n oscille entre 1 -1 et 1 1 sans jamais converger.
⚠ Erreur fréquente : « Suite divergente » ne veut pas dire « suite qui tend vers l'infini ». Une suite peut diverger sans avoir de limite infinie ni finie ; c'est le cas de un=(1)n u_n = (-1)^n . Ne confondez pas les deux situations.

Propriétés fondamentales des suites convergentes

Propriété 1 : Unicité de la limite

Si une suite (un) (u_n) converge, sa limite est unique.

Idée de la démonstration : supposons que un1 u_n \to \ell_1 et un2 u_n \to \ell_2 avec 12 \ell_1 \neq \ell_2 . En prenant ε=122>0 \varepsilon = \frac{|\ell_1 - \ell_2|}{2} > 0 , les intervalles ]1ε  1+ε[ ]\ell_1 - \varepsilon\, \,\ell_1 + \varepsilon[ et ]2ε  2+ε[ ]\ell_2 - \varepsilon\, \,\ell_2 + \varepsilon[ sont disjoints. Or, à partir d'un certain rang, tous les termes de la suite doivent appartenir aux deux intervalles simultanément ; ce qui est impossible. Contradiction.

Propriété 2 : Toute suite convergente est bornée

Si (un) (u_n) converge vers \ell , alors (un) (u_n) est bornée : il existe un réel M>0 M > 0 tel que unM |u_n| \leq M pour tout n n .

Conséquence immédiate (contraposée) : si une suite n'est pas bornée, alors elle diverge.

⚠ Attention : la réciproque est fausse. Une suite bornée n'est pas nécessairement convergente. La suite un=(1)n u_n = (-1)^n est bornée (par 1 1 ) mais diverge.

Propriété 3 : Passage à la limite et inégalités

Soit (un) (u_n) une suite convergente de limite \ell . Si unM u_n \leq M pour tout n n (ou à partir d'un certain rang), alors M \ell \leq M .

⚠ Attention : les inégalités strictes ne se transmettent pas nécessairement à la limite. Si un<M u_n < M pour tout n n , on peut seulement conclure que M \ell \leq M (et non <M \ell < M ). Exemple : un=11n<1 u_n = 1 - \tfrac{1}{n} < 1 pour tout n1 n \geq 1 , mais limun=1 \lim u_n = 1 .

Interprétation graphique de la convergence d’une suite

Graphiquement, représenter une suite revient à placer les points de coordonnées (n,un) (n,\, u_n) dans le plan. La suite converge vers \ell si et seulement si, quel que soit le « couloir » horizontal ]ε  +ε[ ]\ell - \varepsilon\, \,\ell + \varepsilon[ tracé autour de la droite y= y = \ell , tous les points se trouvent à l'intérieur de ce couloir à partir d'un certain rang N N . Plus le couloir est étroit, plus le rang N N peut être grand ; mais il existe toujours.

Cette image du couloir est très utile pour comprendre pourquoi une suite oscillante comme (1)n (-1)^n ne converge pas : quelle que soit la valeur candidate \ell , on peut toujours choisir un couloir assez étroit pour que des termes en sortent indéfiniment.

Opérations sur les limites de suites et formes indéterminées

Si (un) (u_n) \to \ell et (vn)m (v_n) \to m (avec ,mR \ell, m \in \mathbb{R} ), alors :

OpérationLimiteCondition
un+vn u_n + v_n +m \ell + m Toujours valable
λun \lambda \cdot u_n (λR \lambda \in \mathbb{R} )λ \lambda \cdot \ell Toujours valable
unvn u_n \cdot v_n m \ell \cdot m Toujours valable
un/vn u_n / v_n /m \ell / m m0 m \neq 0
un |u_n| |\ell| Toujours valable

Formes indéterminées à lever

Certaines combinaisons ne permettent pas de conclure directement et nécessitent une étude plus approfondie. Ce sont les formes indéterminées :

  • "+" "+\infty - \infty"
  • "0×" "0 \times \infty"
  • "/" "\infty / \infty" et "0/0" "0 / 0"
  • "1" "1^\infty"

La technique habituelle consiste à factoriser par le terme dominant. Par exemple, pour un=3n2+n2n25 u_n = \frac{3n^2 + n}{2n^2 - 5} , on factorise numérateur et dénominateur par n2 n^2 :

un=3n2+n2n25=3+1n25n2n+32.u_n = \frac{3n^2 + n}{2n^2 - 5} = \frac{3 + \tfrac{1}{n}}{2 - \tfrac{5}{n^2}} \xrightarrow[n \to +\infty]{} \frac{3}{2}.

Théorème des gendarmes (théorème d’encadrement) : démonstration et exemples

Théorème des gendarmes

Soient (un) (u_n) , (vn) (v_n) et (wn) (w_n) trois suites réelles. Si, à partir d'un certain rang :

unvnwnu_n \leq v_n \leq w_n

et si (un) (u_n) et (wn) (w_n) convergent vers le même réel \ell , alors (vn) (v_n) est convergente et :

limn+vn=.\lim_{n \to +\infty} v_n = \ell.

Démonstration du théorème des gendarmes

Soit ε>0 \varepsilon > 0 . Puisque un u_n \to \ell , il existe N1 N_1 tel que nN1 \forall n \geq N_1 , un<ε |u_n - \ell| < \varepsilon , soit ε<un \ell - \varepsilon < u_n . Puisque wn w_n \to \ell , il existe N2 N_2 tel que nN2 \forall n \geq N_2 , wn<+ε w_n < \ell + \varepsilon . Soit N3 N_3 le rang à partir duquel l'encadrement unvnwn u_n \leq v_n \leq w_n est valide. En posant N=max(N1,N2,N3) N = \max(N_1, N_2, N_3) , pour tout nN n \geq N :

ε<unvnwn<+ε,\ell - \varepsilon < u_n \leq v_n \leq w_n < \ell + \varepsilon,

ce qui donne vn<ε |v_n - \ell| < \varepsilon . La suite (vn) (v_n) converge donc vers \ell . \square

Exemple classique

Montrons que vn=sinnn \displaystyle v_n = \frac{\sin n}{n} tend vers 0 0 .

On sait que 1sinn1 -1 \leq \sin n \leq 1 pour tout entier n n . En divisant par n>0 n > 0 :

1nsinnn1n.-\frac{1}{n} \leq \frac{\sin n}{n} \leq \frac{1}{n}.

Or limn+(1n)=0 \displaystyle\lim_{n \to +\infty} \left(-\frac{1}{n}\right) = 0 et limn+1n=0 \displaystyle\lim_{n \to +\infty} \frac{1}{n} = 0 . Par le théorème des gendarmes : limn+sinnn=0 \displaystyle\lim_{n \to +\infty} \frac{\sin n}{n} = 0 .

Théorème de convergence monotone pour les suites bornées

Théorème de la limite monotone

  • Toute suite croissante et majorée est convergente.
  • Toute suite décroissante et minorée est convergente.
  • Toute suite croissante non majorée tend vers + +\infty .
  • Toute suite décroissante non minorée tend vers -\infty .

Intuition géométrique

Imaginez une suite croissante comme un alpiniste qui grimpe toujours vers le haut. S'il y a une falaise (le majorant) au-dessus de lui, il ne peut pas la traverser ; il va donc se rapprocher indéfiniment d'une altitude maximale, c'est-à-dire converger. Sans falaise, il grimpe sans limite vers + +\infty .

⚠ Piège classique : si (un) (u_n) est croissante et majorée par 2 2 , la suite converge, mais sa limite n'est pas nécessairement 2 2 . Elle est inférieure ou égale à 2 2 . Le théorème garantit l'existence de la limite, pas sa valeur exacte.

Application aux suites définies par récurrence

Ce théorème est particulièrement utile pour les suites définies par récurrence un+1=f(un) u_{n+1} = f(u_n) . La méthode générale est la suivante :

  1. Montrer par récurrence que la suite est monotone (croissante ou décroissante).
  2. Montrer par récurrence qu'elle est bornée.
  3. Conclure par le théorème de convergence monotone qu'elle admet une limite \ell .
  4. Déterminer \ell en passant à la limite dans la relation un+1=f(un) u_{n+1} = f(u_n) , ce qui donne =f() \ell = f(\ell) (point fixe), sous réserve que f f soit continue en \ell .

Limites de suites usuelles à connaître absolument

Suite (un) (u_n) Limite quand n+ n \to +\infty Condition
1nk \dfrac{1}{n^k} 0 0 k>0 k > 0
qn q^n 0 0 q<1 |q| < 1
qn q^n + +\infty q>1 q > 1
qn q^n 1 1 q=1 q = 1
qn q^n Pas de limiteq1 q \leq -1
nk n^k (k>0 k > 0 )+ +\infty Non définie
n \sqrt{n} + +\infty Non définie
lnn \ln n + +\infty Non définie
lnnn \dfrac{\ln n}{n} 0 0 Non définie

Pour les suites géométriques de raison q q , la valeur de q |q| par rapport à 1 1 est donc le critère décisif : q<1 |q| < 1 implique la convergence vers 0 0 , q=1 q = 1 donne une suite constante, et q>1 q > 1 ou q1 q \leq -1 implique la divergence. Pour en savoir plus, consultez notre cours sur les suites géométriques.

Conclusion : maîtriser la convergence et la limite d’une suite

La convergence et la limite d'une suite reposent sur une idée intuitive simple (les termes de la suite se rapprochent indéfiniment d'une valeur) mais sa traduction formelle (la définition ε-N \varepsilon\text{-}N ) requiert un véritable apprentissage. Retenir les grandes lignes du cours :

  • Une suite converge si ses termes se stabilisent arbitrairement près d'un réel \ell à partir d'un certain rang.
  • La limite est unique ; toute suite convergente est bornée.
  • Le théorème des gendarmes est l'outil principal pour les suites difficiles à majorer directement.
  • Le théorème de convergence monotone est la clé pour les suites définies par récurrence.
  • La suite bornée n'est pas forcément convergente ; la divergence ne signifie pas nécessairement que la suite tend vers l'infini.

Pour approfondir, consultez la page Limite d'une suite sur Wikipédia (référence académique détaillée), ainsi que nos cours connexes sur les suites arithmétiques et les suites géométriques