Dans ce qui suit, désigne le corps des réels ou celui des complexes.
Définition :
On dit qu’une série n>0un à termes dans est absolument convergente si n>0|un| converge. |
Théorème :
Soit un une série à termes dans . Si un converge absolument alors un converge et : |
Proposition :
Si un et vn sont absolument convergentes, alors pour tout , n>0un + vn est absolument convergente. |
Définition :
Une série convergente non absolument convergente est dite semi-convergente. |
Définition :
On dit qu’une série un à termes réels est alternée si la suite ((-1)nu n)n est de signe constant. |
Théorème :
Soit un une série à termes réels alternée. Si (|un|)n est décroissante et tend vers 0 quand n tend vers l’infini, alors un converge. |
Exemple :
Exemple :
Proposition :
Si la série réelle un est alternée, telle que (|un|)n décroît et tend vers 0, alors d’après le théorème sur les séries alternées, elle converge et son reste Rn d’ordre n vérifie : |
Définition :
Soit un une série. On appelle extractrice toute application : - strictement croissante. |
Définition :
Notons, pour tout n ,vn = k=(n)(n+1)-1u k où est une extractrice. On dit que la série vn a été obtenue par groupement de termes à partir de la série un. Les vn sont souvent appelés paquets, (n + 1) - (n) s’appelle la longueur du paquet vn. |
Proposition :
Si un converge, alors vn converge et n=0+v n = k=(0)+u k. |
Théorème de groupement de termes :
Soient n>0un une série à termes dans et : - une application strictement croissante ; on note, pour n ,vn = k=(n)(n+1)-1u k. Si (un)n tend vers 0 quand n tend vers l’infini et si ((n+1)-(n))n est bornée, alors les séries n>0un et n>0vn sont de même nature et, dans le cas de convergence, on a : n=0+v n = k=(0)+u k |