Critère de CAUCHY et applications

Définition(Série de Cauchy)

Soit ( a n ) left ( sum a_n right ) une série à termes réels. On dit que ( a n ) left ( sum a_n right ) est de Cauchy lorsque :

ε > 0 , N ε , ( n , p ) 2 , n p N ε | k = p n a k | ε forall %varepsilon > 0 , ` exists N_%varepsilon in setN , ` forall (n,p) in setN^2 , ` n>= p >= N_%varepsilon ` drarrow ` abs{sum from k=p to n a_k} <= %varepsilon

FondamentalPropriété

( a n ) left ( sum a_n right ) converge si et seulement si ( a n ) left ( sum a_n right ) est de Cauchy. Cela tient au fait que setR est un espace complet. (Toute suite de Cauchy est convergente)

Conséquence fondamentale ( a n ) left ( sum a_n right ) converge implique : la suite ( a n ) (a_n) converge vers 0 0 .

Attention

Ce résultat n'est pas une équivalence. Il traduit juste une condition nécessaire de convergence d'une série.

Exemple

La série de terme général u n = 1 n u_n = 1 over n appelée série harmonique est divergente. Pourtant la suite ( u n ) (u_n) converge vers 0.