Définition
Une famille
de nombres complexes est sommable de somme si pour tout il existe
finie telle que, pour tout fini,
implique
.
Lemme
Si une famille de nombres réels est sommable, alors la famille de ses termes positifs est sommable, et la famille de ses termes qui sont négatifs est sommable.
Démonstration:Supposons que la famille des soit sommable, et supposons que la famille des
ne le soit pas. Alors la somme des
pour avec fini peut être arbitrairement grande. Or la somme des pour dans
est tout aussi grande, et peut donc être arbitrairement grande elle aussi. D'où le résultat pour la famille des réels positifs. Le raisonnement pour la famille négative est le même.
Proposition
Toute famille sommable de nombres réels est de support dénombrable (ie seule une quantité au plus dénombrable de ces réels est non nulle). Il en va de même des familles de nombres complexes.
Démonstration:
En vertu du lemme précédent, je me contente de démontrer ce résultat pour une famille de nombres réels positifs. Le résultat dans le cas général se démontre de manière similaire.
Il existe un nombre fini de réels plus grands que , pour tout . En notant la famille des réels , on voit que la réunion des est le support de la famille; une réunion dénombrable d'ensembles finis étant dénombrable, la famille est dénombrable.