Définition : Une série est absolument convergente
est convergente.
Une série convergente mais non absolument convergente est dite semi-convergente.
Théorème : Toute série absolument convergente est convergente.
Preuve. Comme et
, il suffit par linéarité de le montrer pour les séries à valeur réelle.
Pour celles-ci, on pose et
.
Les séries et
sont positives et
,
prouvent par comparaison que ces séries convergent.
Comme , on a bien
converge.
Attention, ceci n'est pas une équivalence, on verra qu'il existe des séries semi-convergentes.
L'exemple le plus classique est
Ceci n'est pas un théorème mais un procédé usuel qu'il faut justifier à chaque fois.
Si il existe tel que
, alors
, comme
converge, par comparaison,
converge absolument.