Familles sommables

I - Ensembles dnombrables
1) Dfinition
Dfinition 1. Soit E un ensemble. E est dnombrable si et seulement si il existe une bijection de N sur E.
Commentaire 1. Les lments dun ensemble dnombrable peuvent tre grens les uns aprs les autres : le premier,
le deuxime, le troisime ... Dit autrement, un ensemble dnombrable E peut tre dcrit comme lensemble des valeurs
dune suite : E = {xn , n N}.
Commentaire 2. Si est une bijection de E sur N, alors 1 est une bijection de N sur E et si est une bijection de N
sur E, alors 1 est une bijection de E sur N. Donc, on a aussi : E est dnombrable si et seulement si il existe une bijection
de E sur N.
Exemple 1. Soit : N Z est une bijection.
n
si n est pair
n 7 2
+ 1 si n est impair
n
2

6 5 4 3 2 1 0b 1b 2b 3b 4b 5b 6b Z
b b b b b b

11 9 7 5 3 1 0 2 4 6 8 10 12 N

En effet, est bien une application.

Soit alors : Z  N . est une application de N dans Z.
2n si n > 0
n 7
(2n + 1) si n < 0

2(n) si (n) > 0
Soit n N. ((n)) = . De plus, (n) > 0 n est pair et donc
(2(n) + 1) si (n) < 0
n

2 si n est pair
 2
((n)) = = n.
 
n+1
2 + 1 si n est impair
2
De mme, pour n Z,

2n si n > 0

((n)) = 2 = n.
(2n + 1) + 1 si n < 0

2
Donc, = IdN et = IdZ . On sait alors que est une bijection et que = 1 . Puisquil existe une bijection
de N sur Z,

Z est dnombrable.

Exemple 2. Soit : N 2N . est une bijection de lensemble N des entiers naturels sur lensemble 2N des
n 7 2n
entiers pairs. Donc,

2N est dnombrable.

Thorme 1. Si E est un ensemble dnombrable et si F est un ensemble en bijection avec E, alors F est dnombrable.
Dmonstration. Soit f une bijection de E sur N et soit g une bijection de F sur E. Alors, g f est une bijection de F sur
N et donc F est dnombrable.

c Jean-Louis Rouget, 2015. Tous droits rservs.

1 http ://www.maths-france.fr
2) Divers types densembles dnombrables
On a vu prcdemment que 2N est dnombrable. Plus gnralement :
Thorme 2. Toute partie infinie de N est dnombrable.
Dmonstration. Soit A une partie infinie de N. Construisons une bijection strictement croissante de N sur A.
A est en particulier une partie non vide de N. Donc, A admet un plus petit lment que lon note (0). Puisque A est
infinie, A \ J0, (0)K est encore infinie et en particulier nest pas vide. Donc, A \ J0, (0)K admet donc un plus petit lment
que lon note (1). Par construction, (1) > (0). De plus, AK(0), (1)K = {(1)}.
Soit n > 1. Supposons avoir construit (0), . . . , (n) tels que (0) < . . . < (n) et pour k J1, nK,
AK(k 1), (k)K = {(k)}.
Puisque A est infinie, A\J0, (n)K est encore infinie et en particulier, A\J0, (n)K est une partie non vide de N. A\J0, (n)K
admet un plus petit lment que lon note (n+1). Par construction, (n+1) > (n) et AK(n), (n+1)K = {(n+1)}.
On vient de construire par rcurrence une application de N dans A, strictement croissante et donc injective.
Soit alors y A. Si y J0, (0)K, alors y J0, (0)K A = {(0)} et donc y = (0) (N).
Sinon, puisque la suite ((n))nN est une suite strictement croissante dentiers naturels, il existe k N tel que (k1) <
y 6 (k). On en dduit que y AK(k 1), (k)K = {(k)} et donc que y = (k) (N).
On a montr que (N) = A et donc que est surjective. Finalement, est une bijection de N sur A ou encore A est
dnombrable.

Une consquence du thorme 1 est :

Thorme 3. Un ensemble non vide est fini ou dnombrable si et seulement si il est en bijection avec une partie non
vide de N.
Dmonstration. Soit E un ensemble non vide fini ou dnombrable. Si E est fini, on sait quil existe n N tel que E soit
en bijection avec J1, nK (n est alors le cardinal de E). Si E est infini dnombrable, E est en bijection avec N. Dans tous les
cas, E est en bijection avec une partie non vide de N.
Rciproquement, soit E est un ensemble non vide tel quil existe une bijection f de E sur une certaine partie non vide A
de N.
Si A est finie, il existe n N et g bijection de A sur J1, nK (o n est le cardinal de A). Mais alors, g f est une bijection
de E sur J1, nK et donc E est fini (de cardinal n).
Si A est infinie, daprs le thorme 1, A est dnombrable et donc il existe une bijection g de A sur N. Dans ce cas, g f
est une bijection de E sur N et donc E est dnombrable.

Thorme 4. N2 est dnombrable.

Dmonstration. Soit : N2 N . est une application de N2 dans N .
m
(m, p) 7 2 (2p + 1)
Soit (m, p) N2 . (m, p) = 1 2m (2p + 1) = 1 2m = 2p + 1 = 1 m = p = 0 (m, p) = (0, 0). Donc, llment 1
de N a un et seul antcdent par savoir (0, 0).
Sinon, pour n > 2 donn, le thorme fondamental de larithmtique montre quil existe un et un seul couple (m, p)
dentiers naturels tel que n = 2m (2p + 1) (n est de manire unique le produit dune puissance de 2 et dun nombre impair)
et que ce couple (m, p) nest pas le couple (0, 0). En rsum,

n N , !(m, p) N2 / (m, p) = n.
est donc une bijection de N2 sur N . Puisque N est une partie infinie de N, N est dnombrable daprs le thorme 2
et finalement N2 est dnombrable daprs le thorme 1.

Commentaire. On peut citer une autre bijection de N2 sur N (voir exercices maths sup, planche no 3, exercice no 14) :

(x + y)(x + y + 1)
(x, y) N2 , f(x, y) = + y.
2

c Jean-Louis Rouget, 2015. Tous droits rservs.

2 http ://www.maths-france.fr
 0 1 2 3 4 5 ...
0 0(0,0) 1 (0,1) 3(0,2) 6(0,3) 10(0,4) (0,5) ...
0 2(1,0) 4 (1,1) 7(1,2) 11(1,3) (1,4) (1,5) ...
0 5(2,0) 8 (2,1) 12(2,2) (2,3) (2,4) (2,5) ...
0 9(3,0) 13(3,1) (3,2) (3,3) (3,4) (3,5) ...
0 (4,0) (4,1) (4,2) (4,3) (4,4) (4,5) ...
0 (5,0) (5,1) (5,2) (5,3) (5,4) (5,5) ...

Thorme 5. Un produit cartsien (fini) densembles dnombrables est dnombrable.
Dmonstration. Commenons par vrifier le rsultat pour un produit de deux ensembles dnombrables. Soient E1 et
E2 deux ensembles dnombrables.
Il existe une bijection f1 de E1 sur N et une bijection f2 de E2 sur N.
Soit : E1 E2 N2 . Pour tout (n, m) N2 , il existe un et un seul (a, b) E1 E2 tel que
(a, b) 7 (f1 (a), f2 (b))
(f1 (a), f2 (b)) = (n, m). Ceci montre que est une bijection de E1 E2 sur N2 . Puisque N2 est dnombrable daprs
le thorme 4, E1 E2 est dnombrable daprs le thorme 1.
Soit k > 2. Supposons quun produit cartsien de k!ensembles dnombrables soit dnombrable. Soient E1 , . . . , Ek+1 ,
k+1
Y Yk
k + 1 ensembles dnombrables. Alors Ei = Ei Ek+1 est dnombrable par hypothse de rcurrence et daprs
i=1 i=1
le cas k = 2.
On a montr par rcurrence quun produit cartsien densembles dnombrables est dnombrable.

Lexemple 2 du paragraphe 1) permet dnoncer

Thorme 6. Z est dnombrable.
et en cumulant les rsultats des thormes 4, 5 et 6, on peut noncer

Thorme 7. k N , Nk est dnombrable et k N , Zk est dnombrable.

Thorme 8. Une runion dnombrable densembles dnombrables est dnombrable.

Dmonstration. Soit I un ensemble dnombrable dindices. Soient (Ei )iI une famille densembles dnombrables indexe
[
par I puis E = Ei . Pour chaque i I, il existe une bijection fi de N sur Ei . Soit : I N E . est une
iI (i, n) 7 fi (n)
application surjective de I N sur E. Dautre part, I est dnombrable et donc I N est dnombrable daprs le thorme
5. Il existe donc une bijection de N sur I N. Lapplication g = est une surjection de N sur E.
Montrons alors qu partir de lapplication g, on peut construire une application bijective de E sur une partie infinie de N.
Soit y E. g1 (y) = {n N/ g(n) = y} est une partie non vide de N. Donc, g1 (y) admet un plus petit lment que
lon note ny . Considrons f : E N . f est une application de E dans N. Soient alors y et y deux lments de E.
y 7 ny
Si ny = ny , alors y = g (ny ) = g (ny ) = y . Donc, f est une application injective de E dans N ou encore f induit une
bijection de E sur A = f(E) qui est une partie de N. On en dduit que E est fini ou dnombrable. Comme E contient au
moins un ensemble dnombrable, E est infini et finalement E est dnombrable.

En adaptant un peu la dmonstration prcdente, on obtient le thorme suivant que nous admettrons :
Thorme 9. Une runion finie ou dnombrable densembles finis ou dnombrables est un ensemble fini ou dnom-
brable.
On en dduit en particulier que
Thorme 10. Q est dnombrable.

c Jean-Louis Rouget, 2015. Tous droits rservs.

3 http ://www.maths-france.fr

a  [
Dmonstration. Pour n N , posons En = , (a, b) Z N , |a| 6 n, b 6 n . On a Q = En et chaque En est
b
nN
fini (de cardinal infrieur ou gal n(2n + 1)). Donc, Q est fini ou dnombrable daprs le thorme prcdent puis Q est
dnombrable car Q est infini.

Plus gnralement,

Thorme 11. k N , Qk est dnombrable.

Citons enfin un premier exemple trs important densemble non dnombrable :
Thorme 12. R nest pas dnombrable.
Dmonstration. Contentons nous de montrer que lintervalle [0, 1[ nest pas dnombrable. Supposons le contraire par
labsurde. On peut donc trouver une bijection n 7 xn de N dans [0, 1[ et en particulier [0, 1[ est lensemble des valeurs
dune certaine suite (xn )nN :

[0, 1[= {xn , n N} .

On sait que chaque rel xn de [0, 1[ admet un dveloppement dcimal propre de la forme xn = 0, dn,1 dn,2 dn,3 . . . o les
dn,k , k N , sont les dcimales de xn et donc des lments de J0, 9K et les dn,k , k N , ne sont pas toutes gales 9
partir dun certain rang. On va maintenant construire un rel de [0, 1[ qui ne peut tre lun des xn selon le principe de la
diagonale de Cantor :

x0 = 0, d0,1 d0,2 d0,3 d0,4 d0,5 ...

x1 = 0, d1,1 d1,2 d1,3 d1,4 d1,5 ...
x2 = 0, d2,1 d2,2 d2,3 d2,4 d2,5 ...
x3 = 0, d3,1 d3,2 d3,3 d3,4 d3,5 ...
x4 = 0, d4,1 d4,2 d4,3 d4,4 d4,5 ...
..
.

On considre x = 0, c1 c2 c3 . . . o c1 , c2 , c3 sont des chiffres lments de J0, 8K tels que c1 6= d0,1 , c2 6= d1,2 , c3 6= d2,3 . . .
Puisque n N , cn 6= dn1,n , on en dduit que n N, x 6= xn par unicit dun dveloppement dcimal propre.
Lhypothse de dnombrabilit faite sur [0, 1[ est donc absurde et on a montr que [0, 1[ nest pas dnombrable et donc
que R nest pas dnombrable.

Commentaire. N, Z, Q et R sont des ensembles infinis. Il existe une bijection de N sur Z ou Q mais il nexiste pas de
bijection de N sur R (il existe nanmoins une injection de N sur R savoir n 7 n). Dit autrement, linfini de R est
strictement plus grand que linfini de N, Z ou Q . Les mathmaticiens ont dcid de noter 0 (aleph 0 o aleph est la
premire lettre de lalphabet hbreu) le cardinal de N, Z, Q et 1 le cardinal de R. On a donc

0 < 1 .
Cantor a mis en vidence le fait que chaque fois que lon se donne un ensemble E (fini ou pas), on peut en construire
un autre de cardinal strictement plus grand : si E est un ensemble alors card(E) < card (P(E)) (on a bien sr card(E) 6
card (P(E)) car on dispose dune injection de E dans P(E) savoir linjection x 7 {x}). La dmonstration du fait quil
nexiste pas de bijection de E sur P(E) ressemble un tour de magie o lon doit dcouvrir le truc et pourtant il ny a
aucun truc :
Soit f une application de E vers P(E). Soit A = {x E/ x / f(x)}. Montrons que A est un lment de P(E) qui na pas
dantcdent par f. Dans le cas contraire, il existe x0 E tel que f (x0 ) = A. Mais o est x0 ? Si x0 A = {x E/ x / f(x)},
alors x0
/ f (x0 ) = A ce qui est une contradiction et si x0 / A = {x E/ x / f(x)}, alors x0 f (x0 ) = A ce qui est une
contradiction. Donc, x0 nexiste pas ou encore A est un lment de P(E) qui na pas dantcdent dans E par f.
On a montr quune application de E vers P(E) nest jamais surjective. Notons que dans le cas o E est fini de cardinal
n, ce qui prcde montre (de manire assez sophistique) que n < 2n . Ainsi, par exemple, P(R) est un ensemble infini de
cardinal strictement plus grand que 1 le cardinal de R, cardinal que les mathmaticiens ont appel 2 et ainsi de suite.

0 < 1 < 2 < 3 . . .

c Jean-Louis Rouget, 2015. Tous droits rservs.

4 http ://www.maths-france.fr
II - Familles dnombrables sommables
A - Familles relles positives sommables
1) Dfinition
Dfinition 2. Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille de rels positifs indexe par I.
 
X
La famille (ui )iI est sommable si et seulement si Sup ui , J I, J fini < +.
iJ
La famille (ui )iI est dite non sommable dans le cas contraire.
Si la famille (ui )iI est sommable, la somme des lments de cette famille ou encore, en plus condens, la somme de
cette famille est
 
X X
S(u) = ui = Sup ui , J I, J fini .
iI iJ
X
Si la famille (ui )iI nest pas sommable, on pose ui = +.
iI

Dans le cas dune suite de rels positifs, on peut tout de suite faire le lien avec la convergence dune srie. Les notions de
suite sommable et de srie convergente concident :
Thorme 13. Soit (un )nN une suite de rels positifs.
La suite (un )nN est sommable si et seulement si la srie de terme gnral un converge et dans ce cas,

X +
X
un = un .
nN n=0

Dmonstration.
 
X
Supposons la suite (un )nN sommable. Posons S(u) = Sup uk , J N, J fini . Pour tout n N, posons In = J0, nK.
kJ
Pour tout n N, In est une partie finie de N et donc
n
X X
n N, uk = uk 6 S(u).
k=0 kIn
n
!
X
Ainsi, la suite des sommes partielles uk est majore. Puisque la suite (uk )kN est positive, on sait que la srie
k=0 nN
de terme gnral uk , k N, converge et que
+
X
uk 6 S(u).
k=0

Supposons la la srie de terme gnral un , n N, converge. Soit J une partie finie non vide de N. J admet donc un plus
grand lment n. Puisque J J0, nK et que la suite (uk )kN est positive, on a

X n
X +
X
uk 6 uk 6 uk .
kJ k=0 k=0
  +
 
X X X
Ainsi, uk , J N, J fini est une partie non vide et majore (par uk ) de R. On en dduit que uk , J N, J fini
kJ k=0 kJ
admet une borne suprieure S(u) dans R ou encore que la suite (uk )kN est sommable. De plus
+
X
S(u) 6 uk .
k=0
En rsum, la suite (uk )kN est sommable si et seulement si la srie de terme gnral un converge et de plus, en cas de
+
X +
X
convergence, S(u) 6 uk 6 S(u) ou encore S(u) = uk .
k=0 k=0

c Jean-Louis Rouget, 2015. Tous droits rservs.

5 http ://www.maths-france.fr
2) Proprits des familles sommables de rels positifs
Thorme 14. Soit I un ensemble dnombrable dindices. Soient (ui )iI et (vi )iI deux familles de rels positifs
indexe par I telles que pour tout i I, ui 6 vi .
X X
Si la famille (vi )iI est sommable, alors la famille (ui )iI est sommable et ui 6 vi .
iI iI
Si la famille (ui )iI nest pas sommable, alors la famille (vi )iI nest pas sommable.

Dmonstration. Supposons la famille (ui )iI sommable. Alors, pour toute partie finie J de I,
X X X
ui 6 vi 6 vi .
iJ iJ iI
   
X X X
Donc, ui , J fini, J I est une partie non vide de R majore par vi . On en dduit que Sup ui , J fini, J I
iJ iI iJ
X X X
existe dans R et que ce sup est infrieur ou gal vi ou encore la famille (ui )iI est sommable et ui 6 vi .
iI iI iI

Par contraposition, si la famille (ui )iI nest pas sommable, alors la famille (vi )iI nest pas sommable.

Thorme 15. Soit I un ensemble dnombrable dindices. Soient (ui )iI et (vi )iI deux familles de rels positifs
indexe par I.
Si les familles (ui )iI et (vi )iI sont sommables, alors pour tous rels positifs et , la famille (ui + vi )iI est
sommable et
X X X
(ui + vi ) = ui + vi .
iI iI iI

Dmonstration. Supposons les familles (ui )iI et (vi )iI sommables. Soit (, ) R+ .
X X X X X
Pour toute partie finie J de I, (ui + vi ) = ui + vi 6 ui + vi . Donc, la famille (ui + vi )iI
iJ iJ iJ iI iI
est sommable et S (u + v) 6 S(u) + S(v).
X X
Pour > 0, il existe une partie finie J1 de I et une partie finie J2 de I telles que ui > S(u) et vi >
2 + 1
iJ1 iJ2

S(v) . Soit J = J1 J2 . J est une partie finie de I et
2 + 1
X X X X X
S(u + v) > (ui + vi ) = ui + vi > ui + vi > S(u) + S(v)
2 + 1 2 + 1
iJ iJ iJ iJ1 iJ2
   
1 1
+ +
2 2
> S(u) + S(v) = S(u) + S(v) .
2 + 1 2 + 1
Ainsi, > 0, S(u) + S(v) 6 S(u + v) 6 S(u) + S(v) et donc S(u + v) = S(u) + S(v).

La dmonstration du thorme suivant est hors programme.

Thorme 16. (Thorme de sommation par paquets)
Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille sommable de rels positifs indexe par I.
Soient J une partie non vide de N puis (In )nJ une partition de I indexe par J. Alors,
pour chaque n J, la famille (ui )iIn est sommable ;
!
X
la famille ui est sommable et de plus
iIn nJ !
X X X
ui = ui .
nJ iIn iI

c Jean-Louis Rouget, 2015. Tous droits rservs.

6 http ://www.maths-france.fr
B - Familles complexes sommables
1) Dfinition
Dfinition 3. Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille de complexes indexe par I.
La famille (ui )iI est sommablesi et seulement si la  famille (|ui |)iI est sommable ou encore la famille (ui )iI est
X
sommable si et seulement si Sup |ui | , J I, J fini < +.
iJ

ein 1 X 1
Exemple. Pour n Z, posons un =2
o est un rel donn. Pour tout n de Z, |un | = 2
avec 2
=
n +1 n +1 n +1
nZ
+
X  in 
1 e
1+2 2
< +. Donc, la famille est sommable.
n +1 n2 + 1 nZ
n=1

On fait de nouveau le lien entre sommabilit et convergence dune srie dans le cas particulier o I = N. Le thorme 13
fournit immdiatement
Thorme 17. Soit (un )nN une suite de nombres complexes.
La suite (un )nN est sommable si et seulement si la srie de terme gnral un est absolument convergente.

2) Somme dune famille sommable de rels

Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille de rels indexe par I. Pour i I, on pose

|ui | + ui |ui | ui
u+
i = Max (ui , 0) = et u
i = Min (ui , 0) = Max (ui , 0) = .
2 2
Pour tout i I, u+
i et ui sont des rels positifs tels que

u+
i + ui = |ui | et u+
i ui = ui .

On a le rsultat suivant :
Thorme 18. Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille de rels indexe par I.
La famille (ui )iI est sommable si et seulement si les familles u+



i iI et ui iI sont sommables.

Dmonstration. Si les familles u+ +

i iI et ui iI sont sommables, alors la famille (|ui |)iI = ui + ui iI est som-
mable daprs le thorme 15. Par dfinition, la famille (ui )iI est sommable.
Inversement, si la famille (ui )iI est sommable, par dfinition la famille (|ui |)iI est sommable. Puisque pour tout i I,
+ +



0 6 ui 6 |ui | et 0 6 ui 6 |ui |, le thorme 14 permet daffirmer que les familles ui iI et ui iI sont sommables.

Dfinition 4. Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille sommable de rels indexe par I.
La somme de la famille (ui )iI est le rel
X X X
S(u) = ui = u+
i u
i .
iI iI iI

3) Somme dune famille sommable de complexes

Thorme 19. Soit I un ensemble dnombrable dindices. Soit (uk )kI une famille de complexes indexe par I.
La famille (uk )kI est sommable si et seulement si les familles (Re (uk ))kI et (Im (uk ))kI sont sommables.

Dmonstration.
Supposons que les familles (Re (uk ))kI et (Im (uk ))kI sont sommables, alors la famille (|Re (uk )| + |Im (uk )|)kI est
sommable daprs le thorme 15. Puisque pour tout k I, 0 6 |uk | 6 |Re (uk )| + |Im (uk )|, le thorme 14 permet
daffirmer que la famille (|uk |)kI est sommable. Il en est de mme de la famille (uk )kI .
Si la famille (uk )kI est sommable, alors la famille (|uk |)kI est sommable. Puisque pour tout k I, |Re (uk )| 6 |uk | et
|Im (uk )| 6 |uk |, le thorme 14 permet daffirmer que les familles (Re (uk ))kI et (Im (uk ))kI sont sommables.

c Jean-Louis Rouget, 2015. Tous droits rservs.

7 http ://www.maths-france.fr
On peut alors adopter la dfinition suivante :
Dfinition 5. Soit I un ensemble dnombrable dindices. Soit (uk )kI une famille sommable de complexes indexe
par I.
La somme de la famille (uk )kI est le rel

X X X X +
X
X +
X
S(u) = uk = Re (uk ) + i Im (uk ) = Re (uk ) Re (uk ) + i Im (uk ) i Im (uk ) .
kI kI kI kI kI kI kI

Dans le cas particulier des suites de complexes, on a immdiatement

Thorme 20. Soit (un )nN une suite de nombres complexes.
La suite (un )nN est sommable si et seulement si la srie de terme gnral un est absolument convergente et dans ce
cas,

X +
X
un = un .
nN n=0

4) Proprits des familles sommables de complexes

Thorme 21. (Linarit)
Soit I un ensemble dnombrable dindices. Soient (ui )iI et (vi )iI deux familles de complexes indexe par I.
Si les familles (ui )iI et (vi )iI sont sommables, alors pour tous complexes et , la famille (ui + vi )iI est
sommable et
X X X
(ui + vi ) = ui + vi .
iI iI iI

Dmonstration. Pour tout i I, |ui + vi | 6 || |ui | + || |vi | et donc la famille (ui + vi )iI est sommable. Pour toute
partie finie J de I,
   
 X  X 
|S(u + v) (S(u) + S(v))| 6 S(u + v) (ui + vi ) +  (ui + vi ) (S(u) + S(v))
   
   
iJ iJ
     
 X   X   X 
6 S(u + v) (ui + vi ) + || S(u) ui  + || S(v) vi 
   
     
iJ iJ iJ

Soit > 0. Il rsulte de la dfinition

 de la somme dune
 famille sommable
 que lon
 peut choisir J telle que
 X   X   X 
S(u + v) (ui + vi ) 6 , S(u) ui  6 et S(v) vi  6 . On a alors
     
  2   4|| + 1   4|| + 1
iJ iJ iJ
|| ||
|S(u + v) (S(u) + S(v))| 6 + + 6 + + = .
2 4|| + 1 4|| + 1 2 4 4
 
 X 
Ainsi, > 0, S(u + v) (ui + vi ) 6 et donc S(u + v) = S(u) + S(v).
 
 
iJ

La dmonstration du thorme suivant est hors programme.

Thorme 22. (Thorme de sommation par paquets)
Soit I un ensemble dnombrable dindices. Soit (ui )iI une famille sommable de complexes indexe par I.
Soient J une partie non vide de N puis (In )nJ une partition de I indexe par J. Alors,
pour chaque n J, la famille (ui )iIn est sommable ;
!
X
la famille ui est sommable et de plus
iIn nJ !
X X X
ui = ui .
nJ iIn iI

c Jean-Louis Rouget, 2015. Tous droits rservs.

8 http ://www.maths-france.fr
 X
Dans le cas particulier dune suite complexe sommable, le thorme 22 a pour consquence le fait que si un est une

srie absolument convergente, on peut permuter ou associer volont les termes de cette srie. Ceci nest pas du tout le
cas si on na plus lhypothse dabsolue convergence. Analysons deux exemples.
n
Exemple 1. On sait
que la srie de terme gnral (1) , n N, est divergente. Pourtant, la srie de terme gnral
2p 2p+1
(1) + (1) = 0 est une srie convergente, de somme 0. Dit autrement, 1 1 + 1 1 + . . . nexiste pas alors que
(1 1) + (1 1) + . . . existe et vaut 0. On ne peut donc pas enlever les parenthses ou encore, associer les termes dune
srie est un problme (et nen est plus un dans le cas dune srie absolument convergente).
(1)n1
Exemple 2. On sait que la srie de terme gnral , n N , est convergente sans tre absolument convergente et
n
+
X (1)n1 1 1 1
que = ln(2) ou encore 1 + + . . . = ln(2).
n 2 3 4
n=1

1 1 1 1 1
Intressons nous alors la somme 1 + + + + . . . ou encore tudions la convergence de la srie de terme
3 2 5 7 4
1 1 1
gnral un o p N , u3p = et p N, u3p+1 = et u3p+2 = .
2p 4p + 1 4p + 3
Xn Xn
1
Pour n N , posons Sn = uk et Hn = . Classiquement, Hn = ln(n) + + o(1) o est la constante
k n+
k=1 k=1
dEuler.
Pour p N ,

p 
X 2p
X p 4p 2p p
1X1 X 1 X 1 1X1

1 1 1 1 1 1
S3p = + = = = H4p H2p Hp .
4k 3 4k 1 2k 2k 1 2 k k 2k 2 k 2 2
k=1 k=1 k=1 k=1 k=1 k=1

Donc,

1 1
S3p = (ln(4p) + + o(1))
(ln(2p) + + o(1)) (ln(p) + + o(1))
p+ 2 2
1 3
= ln(4) ln(2) + o(1) = ln(2) + o(1).
p+ 2 p+ 2

1 3 1 3
Dautre part, S3p+1 = S3p + = ln(2) + o(1) et S3p+1 = S3p+1 + = ln(2) + o(1). Ainsi, les trois
4p + 1 p+ 2 4p + 3 p+ 2
suites (S3p )pN , (S3p+1 )pN et (S3p+2 )pN convergent et ont mme limite. On en dduit que la suite (Sn )nN converge
et par pour limite ln(2). Dit autrement,
1 1 1 1 1 3 1 1 1
1+ + + + . . . = ln(2) 6= ln(2) = 1 + + . . .
3 2 5 7 4 2 2 3 4

Dans le cas dune srie absolument convergente, on peut permuter les termes volont ou encore
Thorme 23. Soit (un )nN une suite complexe. On suppose que la srie de terme gnral un est absolument
convergente.
Alors, pour toute permutation de N, la srie de terme gnral u(n) est absolument convergente et de plus
X X
u(n) = un .
nN nN

5) Application de la sommabilit aux suites doubles

c Jean-Louis Rouget, 2015. Tous droits rservs.

9 http ://www.maths-france.fr
Thorme 24. Soit (um,n )(n,m)N2 une suite double entre de rels positifs.
La famille (um,n )(m,n)N2 est sommable si et seulement si pour chaque n N, la srie de terme gnral um,n , m N,
X+
converge et la srie de terme gnral vn = um,n , n N, converge. De plus, dans ce cas, pour chaque m N, la
m=0
+
X
srie de terme gnral um,n , n N, converge et la srie de terme gnral wm = um,n , m N, converge et
n=0!
+ + + +
!
X X X X X
um,n = um,n = um,n .
(m,n)N2 n=0 m=0 m=0 n=0

Dmonstration. Supposons la suite (um,n )(n,m)N2 sommable. (N {n})nN est une partition de N2 . Daprs le thorme
16, page 6, (thorme de sommation par paquets) pour chaque n N, la srie de terme gnral um,n , m N, converge et
+
X
la srie de terme gnral vn = um,n , n N, converge et de plus
m=0
+ + +
!
X X X X X
um,n = um,n = um,n .
(m,n)N2 n=0 (m,n)N{n} n=0 m=0

+
X
De mme, pour chaque m N, la srie de terme gnral um,n , n N, converge et la srie de terme gnral wm = um,n ,
n=0
n N, converge et de plus
!
X +
X X +
X +
X
um,n = um,n = um,n .
(m,n)N2 m=0 (m,n){m}N m=0 n=0

+ + +
!
X X X
Rciproquement, supposons que pour tout n N, um,n < + puis que um,n < +. Posons S =
! m=0 n=0 m=0
+
X +
X
um,n .
n=0 m=0
Soit J une partie finie de N2 . Il existe (m, n) N2 tel que J J0, mK J0, nK. On a alors

X X n Xn Xn +
X +
X +
X
up,q 6 up,q 6 up,q 6 up,q = S.
(p,q)J q=0 p=0 q=0 p=0 q=0 p=0

X
Ainsi, pour toute partie finie J de N2 , up,q 6 S. On en dduit que la suite (um,n )(n,m)N2 est sommable.
(p,q)J

Thorme 25. Soit (um,n )(n,m)N2 une suite double entre de complexes.
Si la famille (um,n )(m,n)N2 est sommable, alors pour chaque n N, la srie de terme gnral um,n , m N, converge
+
X
et la srie de terme gnral vn = um,n , n N, converge et de mme, pour chaque m N, la srie de terme
m=0
+
X
gnral um,n , n N, converge et la srie de terme gnral wm = um,n , m N, converge. De plus,
n=0
+ + + +
! !
X X X X X
um,n = um,n = um,n .
(m,n)N2 n=0 m=0 m=0 n=0

Dmonstration. Ce thorme est une consquence immdiate du thorme de sommation par paquets (thorme 22,
page 8).

c Jean-Louis Rouget, 2015. Tous droits rservs.

10 http ://www.maths-france.fr