Limite d'une suite

Définition

Définition

Soit  ( u n ) (u_n) une suite numérique et  l l un réel. On dit que ( u n ) (u_n) converge vers  l l (ou a pour limite l l ) si tout intervalle ouvert contenant l l , contient tous les termes de la suite à partir d'un certain rang.

Autrement dit : ε > 0 , n 0 / n n 0 , | u n l | ε forall %varepsilon > 0, ` exists n_0 in setN `/` forall n >= n_0 , ` abs{u_n-l} <= %varepsilon ,

On note lim n + u n = l lim from {n toward +infinity} u_n = l ou encore u n l n + matrix {u_n toward l## size 10 {n toward +infinity}}

Si la suite  ( u n ) (u_n) ne converge pas, on dit qu'elle est divergente.

Remarque

| u n l | ε ε < u n l < ε u n ] l ε ; l + ε [ abs{u_n-l} <= %varepsilon `dlrarrow` - %varepsilon < u_n-l < %varepsilon `dlrarrow` u_n in left] l- %varepsilon nitalic ; l+ %varepsilon right [

Remarque

Si une suite est convergente, sa limite est unique.

Exemple

Exemple

Soit x n = 1 n x_n = 1 over n , on a lim n + x n = 0 lim from {n toward +infinity} x_n = 0

En effet ε > 0 , n 0 = 1 ε / n > n 0 , 0 < 1 n < ε forall %varepsilon > 0, ` exists n_0 = 1 over %varepsilon `/` forall n > n_0 , ` 0< 1 over n< %varepsilon

Et donc ε < 1 n < ε | x n 0 | ε - %varepsilon < 1 over n< %varepsilon `dlrarrow` abs{x_n -0} <= %varepsilon

Plus généralement

Les suites définies, pour n n in setN^{{}*{}} , par : 1 n α 1 over n^%alpha , ( α > 0 %alpha > 0 ) ont pour limite 0

Suite de limite infinie

Définition

Soit  ( u n ) (u_n) une suite numérique et  A A un réel positif choisi aussi grand qu'on le veut. On dit que ( u n ) (u_n) admet pour limite  + "+"infinity si tout intervalle de la forme  [ A ; + [ left [ A nitalic ; {}+{}infinity right [ contient tous les termes de la suite à partir d'un certain rang.

Autrement dit : A > 0 , n 0 / n n 0 u n > A forall A> 0, ` exists n_0 in setN `/` n >= n_0 `drarrow` u_n > A

On note _ lim n + u n = + lim from {n toward +infinity} u_n = + infinity ou encore u n + n + matrix {u_n toward + infinity## size 10 {n toward +infinity}}

De même :

( u n ) (u_n) admet pour limite A < 0 , n 0 / n n 0 u n < A - infinity `dlrarrow` forall A < 0, ` exists n_0 in setN `/` n >= n_0 `drarrow` u_n < A

On note  lim n + u n = lim from {n toward +infinity} u_n = - infinity ou encore u n n + matrix {u_n toward - infinity## size 10 {n toward +infinity}}

Lorsque la suite ( u n ) (u_n) admet pour limite  + "+"infinity [respectivement - "-"infinity ], on dit qu'elle diverge vers  + "+"infinity [respectivement - "-"infinity ]. Mais attention, une suite peut être divergente pour deux raisons :

  • soit sa limite est  + "+"infinity ou - "-"infinity

  • soit elle n'a pas de limite : par exemple la suite ( u n ) (u_n) définie par : u n = ( 1 ) n u_n=(-1)^n est une suite alternée, chaque terme est égal à 1 si n n est pair ou (-1) si n n est impair ; elle n'a pas de limite, on dit qu'elle diverge.

RemarqueImportant

Les suites définies, pour n n in setN , par :  u n = n α u_n = n^%alpha , ( α > 0 %alpha > 0 ) ont pour limite + "+"infinity