Familles sommables

par Bernard RAND

Ancien lve de lcole normale suprieure de Saint-Cloud
Docteur en mathmatiques
Agrg de mathmatiques
Professeur de mathmatiques spciales au lyce Louis-le-Grand

1. Ensembles dnombrables ...................................................................... AF 72 2

1.1 Dfinitions .................................................................................................... 2
1.2 Proprits ..................................................................................................... 2
1.3 Exemples ...................................................................................................... 3
2. Sommabilit .............................................................................................. 3
2.1 Somme dune famille positive.................................................................... 3
2.2 Proprits lmentaires de la sommation des familles positives .......... 4
2.3 Thormes sur la sommation des familles positives ............................... 4
2.4 Sommabilit des familles quelconques..................................................... 5
3. Proprits de la sommation.................................................................. 6
3.1 Proprits lmentaires .............................................................................. 6
3.2 Thormes sur la sommation..................................................................... 7
4. Mthodes dtude .................................................................................... 8
4.1 Mthodes gnrales .................................................................................... 8
4.2 Familles indexes par une demi-droite de N ........................................... 9
4.2.1 Familles de rfrence ......................................................................... 9
4.2.2 Critres pratiques ............................................................................... 10
4.3 Familles quelconques.................................................................................. 11
p
5. Espaces  ................................................................................................. 12
5.1 Prsentation ................................................................................................ 12
5.2 tude............................................................................................................. 12
p
5.3 Dualit et espaces  .................................................................................. 13

a loi daddition sur les scalaires ou les vecteurs vrifie certaines proprits,
L telles que lassociativit et la commutativit, qui permettent de dfinir
naturellement les sommes de familles finies, auxquelles les proprits de laddi-
tion, considre comme opration binaire, stendent aisment. Les difficults
surviennent lorsque lon envisage dtendre la sommation des familles infinies
discrtes, dont larchtype est la suite indexe par N . Si lon veut en effet que
cette sommation soit dun usage commode, on doit lui conserver les proprits
de la sommation finie : associativit, commutativit par exemple. Une telle con-
servation est possible au prix dune certaine limitation des familles tudies.
Pour ce faire, on tudie, dans un premier temps, les familles positives, pour
lesquelles il nexiste quun phnomne daccumulation, sans compensation, qui
permet dans tous les cas dattribuer la famille une somme, finie ou infinie. On
se limite ensuite ltude des familles, scalaires ou vectorielles, dont la famille
des modules (ou des normes) a une somme finie. Il nest alors pas difficile
dattribuer la famille initiale une somme scalaire (ou vectorielle) qui possde
toutes les vertus souhaitables : cest la thorie des familles sommables, qui fait
lobjet du prsent article.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 1
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

Lorsque la famille nest pas sommable, on devra dvelopper une thorie ad

hoc qui prenne en compte le problme dorigine. Trs frquemment, la faon
dont la famille est indexe founit une indication. Si des charges lectriques qui-
distantes sont disposes sur une demi-droite, rien nest plus naturel que de les
numroter, cest--dire de les indexer par N . Si lon considre le potentiel dve-
lopp en un point, par exemple lorigine de la demi-droite, on pourra considrer
dabord la somme des potentiels correspondant aux n premires charges, puis
examiner la limite de ces sommes lorsque n tend vers linfini. Cette faon de voir
conduit la thorie des sries, voque dans larticle Procds sommatoires
[AF 73].
Lorsque ce procd diverge (cest--dire ne permet pas dattribuer une
somme la suite), on peut tudier la suite des moyennes arithmtiques des
termes de la suite (procd de Cesaro), ou encore introduire la srie entire
gnratrice associe la suite, puis examiner la limite de cette srie entire
lorsque la variable tend vers 1. On obtient alors le procd de sommation dAbel.
Ces procds et dautres, analogues, prsentent une certaine cohrence, en
ceci quen cas de convergence de deux procds, les sommes attribues seront
gales, y compris lorsque la somme est + , dans le cas des familles posi-
tives. Il existe cependant dautres mthodes, qui permettent dattribuer des
sommes finies des familles positives dont la somme usuelle serait infinie.

1. Ensembles dnombrables
1.1 Dfinitions
Soit I un ensemble. Sil est fini, il est en bijection avec un inter-
valle du type [ 1, n ] . Lentier n est alors le cardinal de I . Si lensem-
ble est infini, il nest pas toujours en bijection avec une partie de N .
Cela conduit la dfinition 1.
Dfinition 1. On dit quun ensemble est dnombrable lorsquil
est en bijection avec une partie de N . Un ensemble dnombrable
infini est dit strictement dnombrable.
Ainsi, I est dnombrable lorsquil existe une injection de I dans N
(on dit que I sinjecte dans N ). Un ensemble qui sinjecte dans un
ensemble dnombrable est dnombrable. En particulier, si deux
ensembles sont en bijection, et si lun est dnombrable (respective-
ment strictement dnombrable), lautre lest aussi. De plus, un sous-
ensemble dun ensemble dnombrable est dnombrable.
Sil existe une surjection de I sur I , il existe une injection de I
dans I . Pour le voir, il suffit dassocier chaque lment de I lun
quelconque de ses antcdents par la surjection. Ainsi, limage dun
ensemble dnombrable est dnombrable.
Une famille indexe par un ensemble dnombrable est souvent
appele suite. Nous utiliserons librement cette terminologie.
Concrtement, un ensemble index par un ensemble dnombrable
est dnombrable. En effet, lensemble des indices se surjette sur cet
ensemble. Rciproquement, la proposition 1 assure quun ensemble
strictement dnombrable peut toujours tre index par un ensemble
strictement dnombrable donn, N par exemple.
Proposition 1.
Si I est sous-ensemble infini de N , il existe une bijection stricte-
ment croissante de N sur I .
Preuve
On construit une telle bijection f de N sur lensemble I par rcur-
rence. On pose f ( 0 ) = minI (car I nest pas vide). Puis, f tant dfi-
nie sur [0, n ] , on pose f ( n + 1 ) = min ( I f ( [0, n ] ) ) , ce qui a un
sens parce que I est infini et que f ( [0, n ] ) est fini. Lapplication
ainsi construite est strictement croissante, donc injective, et elle
arrive dans I . Dautre part, il nexiste aucun lment de I stricte-
ment plus petit que f ( 0 ) ou bien strictement compris entre f ( n ) et
f ( n + 1 ). Donc f est surjective.
Il rsulte de cette proposition quun ensemble strictement dnom-
brable est en bijection avec N , puisquil est en bijection avec une
partie infinie de N . Lexistence dune bijection entre un ensemble et
N caractrise donc la stricte dnombrabilit de cet ensemble.
Cependant, il peut tre malais de mettre en vidence une telle
bijection. Cest pourquoi nous allons donner dautres proprits
permettant de dcider de la dnombrabilit dun ensemble.
1.2 Proprits
Disons quune suite ( I n ) n N est exhaustive dans I lorsquelle est
croissante, et que I est la runion des I n . On note parfois cela
In 3 I . On peut interprter une suite exhaustive comme une suite
densembles tendant en croissant vers I . Pour donner corps
cette interprtation, nous pouvons dire aussi que, pour n assez
grand, les ensembles dune suite exhaustive sont plus grands (pour
linclusion) quun ensemble fini donn lavance. Cette affirmation
est formule prcisment dans la proposition 2.
Proposition 2.
Soit ( I n ) n N une suite exhaustive dans I . Soit J un sous-ensemble
fini de I . Il existe N tel que, pour tout n  N , J I n .
Preuve
Chaque lment j de J est dans un I nj . Si N est le plus grand des
n j , J est inclus dans I N , et donc dans I n pour n  N .
Nous utiliserons principalement des suites exhaustives formes
densembles finis. Remarquons que si ( I n ) est une suite exhaustive
dans I forme densembles finis, et si f est une application de
source I , la suite ( f ( I n ) ) est une suite exhaustive dans f ( I ) forme
densembles finis.
Lemme 1. Une runion dnombrable densembles finis dis-
joints est dnombrable.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 2 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________
Preuve
Une runion finie d'ensembles finis est finie. Il n'est donc pas res-
trictif de considrer la runion dune famille ( I n ) n N densembles
finis. Soit I la runion de la famille ( I n ) , avec I n = p n . Si
k Donnons enfin un exemple densemble indnombrable : linter-
sk = p n , et s 1 = 0 , on peut construire une bijection f n entre I n
n=0
et [s n 1, s n ] . On peut ensuite recoller ces bijections et crer
une bijection entre I et N , en la dfinissant par f n sur I n .
Proposition 3.
Un ensemble est dnombrable si, et seulement sil admet une
suite exhautive densembles finis.
Preuve
(1) Supposons I dnombrable. Sil est fini, il admet videmment
pour suite exhaustive la suite constamment gale I . Sil est infini,
il est en bijection avec N , qui admet pour suite exhaustive la suite
( [0, n ] ) n N .
(2) Supposons que I admette la suite exhaustive ( I n ) . Posons
J n = I n I n 1 , avec I 1 = , de sorte que I est la runion disjointe
des J n . Le lemme 1 assure que I est dnombrable.
Proposition 4.
(1) Un produit fini densembles dnombrables est dnombrable.
(2) Une runion dnombrable densembles dnombrables est
dnombrable.
Preuve
(1) Pour asseoir un raisonnement par rcurrence vident, il suffit
de montrer que le produit de deux ensembles dnombrables I et J
est dnombrable. Si ( I n ) est une suite exhaustive dans I forme
densemble finis, et ( J n ) est une suite exhaustive dans J forme
densembles finis, ( I n J n ) est une suite exhaustive dans I J for-
me densembles finis.
(2) Si ( I k ) k K est une famille densembles dnombrables
indexe par lensemble dnombrable K, considrons ( K n ) une suite
exhaustive dans K forme densembles finis, et pour chaque k,
( I k, n ) n N une suite exhaustive dans I k forme densembles finis.
Alors k UK I k, n
est une suite exhaustive dans U I
n n N kK k
densembles finis.
1.3 Exemples
Nous avons vu quun ensemble fini est dnombrable. Lensemble
N des entiers naturels est strictement dnombrable. Lensemble
2N des entiers pairs est dnombrable, comme sous-ensemble dun
ensemble dnombrable. Dailleurs, on dispose dune bijection expli-
cite entre N et 2N , savoir n 2 n . Lensemble N* des entiers
strictement positifs est aussi dnombrable. Lensemble N des
entiers relatifs ngatifs ou nuls, en bijection avec N par n n , est
dnombrable.
Lensemble Z des entiers relatifs, runion des deux ensembles
dnombrables N et N , est dnombrable. On dispose dune surjec-
tion de Z N* sur lensemble Q des rationnels, lapplication
( p, q ) p q . On voit ainsi que Q est dnombrable.
p p p mabilit est extrmement employ. Nous disposons dun autre cri-
Les ensembles N , Z , Q sont dnombrables, comme produits
densembles dnombrables.
Dans la thorie des familles sommables, nous ne rencontrerons
gure que de tels exemples densembles dnombrables. titre de
curiosit, examinons-en un dernier. Disons quun nombre com-
plexe est algbrique lorsquil est racine dun polynme non nul de
Q [ X ] . Remarquons que lespace Q n [ X ] des polynmes de Q [ X ] de
degr infrieur ou gal n est dnombrable, car en bijection avec
Qn + 1 .
Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales
FAMILLES SOMMABLES
Comme runion des Q n [ X ], Q [ X ] est donc dnombrable. Mais
tout polynme non nul de Q [ X ] admet un nombre fini de racines
complexes. Ainsi, lensemble des nombres algbriques apparat
comme une runion dnombrable densembles finis : il est par
consquent dnombrable.
valle [0,1[. Rappelons au pralable que tout lment de [0,1[ admet
un dveloppement normalis et un seul en base 10, cest--dire un
dveloppement dans lequel la suite des dcimales nest pas station-
nairement gale 9. Si, par labsurde, [0,1[ est dnombrable, on
peut lindexer par N* : [0,1[ = { a n } n N* . Soit a n, p la p-ime dci-
male de a n , et b n un entier diffrent de a n, n et de 9. Considrons le
rel dont la n-ime dcimale est b n . Cest un lment de [0,1[,
disons a p . Mais sa p-ime dcimale, b p , est diffrente de a p, p , ce
qui conduit une contradiction.
Il en rsulte que R lui-mme est indnombrable.
2. Sommabilit
Dans la suite, les ensembles dindices, nots I , J, K, seront syst-
matiquement supposs dnombrables. On utilisera librement les
proprits de la sommation finie. Dautre part, on notera  f ( I )
lensemble des parties finies de I . Enfin, on utilisera les proprits
+
de lensemble R { + }. On conviendra ici que 0 ( + ) = 0.
2.1 Somme dune famille positive
On dira quune famille u = ( u i ) i I est positive lorsque cest une
famille de rels positifs ou nuls, ce que lon notera aussi u  0 . En
ralit, il peut tre commode dlargir cette dfinition en autorisant
aux u i de prendre la valeur + , convention que lon saccordera
dans la suite.
Dfinition 2. Soit ( u i ) i I une famille positive. On pose :
ui = sup uj
J f(I) j J
iI
ui
forme +
Nous avons dfini ainsi comme un lment de R { + }.
iI
Dans le cas particulier o cet lment est un rel, on dit que la
famille ( u i ) i I est sommable. Ainsi, la famille ( u i ) i I est somma-
ble si, et seulement si :
ui < +
iI
Dans ce cas, le rel (positif ou nul) ui est appel somme de la
famille ( u i ) i I . iI
On remarque quvidemment, lorsque I est finie, la famille
( u i ) i I est sommable, et que la nouvelle dfinition de la somme
concide avec lancienne.
Bien entendu, par dfinition mme du supremum, une famille
positive est sommable si, et seulement sil existe un rel M tel que,
quelle que soit la partie finie J de I , u i  M . Ce critre de som-
iJ
tre de sommabilit, qui permet simultanment de calculer la
somme dune famille positive sommable.
Proposition 5.
Soit ( I n ) une suite exhaustive dans I forme densembles finis et
( u i ) i I une famille positive. Alors :
ui
& ui
i In n + i I
AF 72 3
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

Par consquent, la famille est sommable si, et seulement si, la suite Puisque K est un ensemble fini, le membre de gauche tend vers

u i

admet une limite relle, et cette limite est alors la ui , tandis que le membre de droite tend vers ui .
kK

i Ik iI
i In nN
somme de la famille. Commentaires.
Preuve Lassertion (1) de la proposition 6 permet de montrer la sommabi-
lit dune famille positive grce la majoration de son terme gn-
Soit m un rel strictement plus petit que ui . Par dfinition du ral par celui dune famille sommable connue.
iI

uj  m . Daprs la propo-
Lassertion (3) de la proposition 6 peut tre considre comme un
supremum, il existe J  f ( I ) telle que
jJ
thorme de sommation par paquets, ou encore dassociativit. Le
thorme 2 ci-aprs fournit une extension considrable de ce fait,
sition 2, il existe un indice partir duquel I n contient J et donc, les u i
en saffranchissant de lhypothse que K est fini.
tant positifs, uj  uj  m . Cela assure la premire partie du Lassertion (5) est une extension de la proposition 5 au cas dune
j In jJ suite exhaustive forme de parties quelconques.
rsultat, qui elle-mme entrane immdiatement la seconde.
Pratiquement, nous disposons de deux conditions ncessaires et
suffisantes pour la sommabilit dune famille positive. La premire 2.3 Thormes sur la sommation
consiste majorer les sommes sur les parties finies, la seconde des familles positives
tudier la limite des sommes sur les parties dune suite exhaustive
forme densembles finis.
Thorme 1 de rindexation. Soit ( u i ) i I une famille posi-
tive, et une bijection de J sur I . Alors :
2.2 Proprits lmentaires
de la sommation ui = u ( j )
iI jJ
des familles positives En particulier, la famille ( u i ) i I est sommable si, et seulement
si, la famille ( u ( j ) ) j J lest.
Proposition 6.
Soit ( u i ) i I et ( v i ) i I des familles positives. Preuve
Considrons une suite ( J n ) n N de parties finies exhaustive dans
(1) Si u  v , alors ui  vi . Par consquent, si ( v i ) i I est J. Alors ( ( J n ) ) n N est une suite de parties finies exhaustive dans
iI iI
I . Daprs la proprit de rindexation des sommes finies :
sommable, alors ( u i ) i I est sommable.
(2) Si et sont deux rels positifs ou nuls, alors : ui = u ( j )
i ( Jn ) j Jn

( ui + vi ) = ui + vi Il suffit ensuite de faire tendre n vers + .

iI iI iI
Le thorme 1 exprime que la faon dont on indexe une famille
(3) Si I est la runion disjointe de la famille ( I k ) k K , o K est fini, positive ninfluence ni la sommabilit, ni la somme de cette famille.
On peut interprter le rsultat diffremment. Puisque rindexer une
alors :
famille revient, si lon veut, permuter les termes de cette famille
(en ralit, les indices), le thorme 1 est souvent cit comme un
ui = ui thorme de convergence commutative des familles sommables
k K i Ik iI
positives.
(4) Si J I , alors :
Thorme 2 dassociativit gnralise. Soit ( u i ) i I une
ui + ui = ui famille positive. Si I est la runion disjointe de la famille
iJ iIJ iI
( I k ) k K , alors :
En particulier :
ui = ui
ui  ui k K i Ik iI
iJ iI
Preuve
(5) Soit ( I n ) n N une suite exhaustive dans I . Alors :
Considrons une suite ( K n ) n N de parties finies exhaustive dans
K. Daprs lassertion 3 de la proposition 6, on peut crire :
ui
& ui
i In n + i I ui = ui
k Kn i Ik i Jn
Preuve
lorsque J n dsigne la runion de la famille ( I k ) k K . Observons
n
Ce sont de simples vrifications. titre dexemple, montrons que la suite ( J n ) n N est exhaustive dans I . Le membre de gauche
lassertion (3). Considrons une suite ( J n ) n N de parties finies tend vers :
exhaustive dans I . Pour chaque k dans K, la suite ( J n I k ) n N est
exhaustive dans I k . Daprs la proprit dassociativit des sommes
finies, compte tenu du fait que J n est la runion disjointe de la
ui
kK iI
k
famille ( J n I k ) k K :
lorsque n tend vers + . Quant au membre de droite, il tend vers

kK
ui = ui
ui daprs lassertion (5) de la proposition 6.
i Jn Ik i Jn iI

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 4 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________ FAMILLES SOMMABLES

Le thorme 2 permet de dcouper de manire arbitraire lensemble En autorisant comme dhabitude des sommes infinies, on dispose
I des indices, de commencer par sommer sur chaque sous-ensemble du thorme suivant.
I k dindices, puis dtudier la sommabilit (et la somme) de la famille
constitue par les sommes sur chaque paquet. Il est souvent cit
comme un thorme de sommation par paquets. Lintrt est que les Thorme 4 de convolution. Les ensembles I et J sont des
p
paquets peuvent tre infinis. On peut spcifier la sommabilit. Si la parties de Z . Soit ( u i ) i I et ( v j ) j J deux suites positives, u * v
famille initiale est sommable, alors chaque paquet est sommable, la leur produit de convolution. Alors :
famille des sommes des paquets est sommable, et de somme gale
la somme de la famille initiale. ui, j = ( u * v )k
iI jJ kZ
p
Dans la pratique, cest cependant le point de vue rciproque qui
est le plus souvent utilis : si chaque paquet est sommable, et si la
famille des sommes des paquets est sommable, la famille initiale Preuve
est sommable.
Daprs le thorme 3 de Fubini, le premier membre est gal
Le thorme 2 admet deux corollaires trs utiles, qui correspon-

p
dent des dcoupages frquemment rencontrs. Ce sont le tho- u i v j . Dautre part, Z est la runion disjointe des ensem-
p 2
rme 3, de Fubini, et le thorme 4 sur le produit de convolution de ( i, j ) ( Z )
deux familles. p p
bles { ( i, j ) Z Z ; i + j = k }. Une application du thorme 2 per-
met de conclure.
Thorme 3 de Fubini. Soit ( u i, j ) ( i, j ) I J une famille posi-
tive. Alors :
2.4 Sommabilit des familles
ui, j = ui, j = u i, j
quelconques
iI jJ jJ iI ( i, j ) I J

Nous considrons dans cette partie un espace de Banach E sur K .

Preuve Bien entendu, E peut tre gal K lui-mme. La norme sur E est
Il suffit de remarquer que I J est la runion disjointe de la note . . On notera que, si lon remplace la norme sur E par une
famille ( { i } J ) i I et dappliquer le thorme 2 dassociativit norme quivalente, les rsultats obtenus sont inchangs. Les
gnralise. Bien entendu, les rles de I et J peuvent tre interver- familles dlments de E indexes par I constituent lensemble not
tis. EI.
Le thorme de Fubini permet de ramener ltude dune somme
double (indexe par un ensemble produit) ltude de deux sommes
Dfinition 3. Soit ( u i ) i I une famille dlments de E. On dit
simples embotes. Ce thorme est dusage fort courant. Il
quelle est sommable lorsque ( u i ) i I est sommable.
stend par une rcurrence immdiate des familles multiples :

i1 I1 i2 I2

ip Ip
ui
1, i 2, , i p
= ui
1, i 2 , , i p
Il est essentiel de remarquer que la sommabilit dune famille
( i 1, i 2, , i p ) I 1 I 2 I p arbitraire se ramne systmatiquement celle dune famille posi-
tive. Si lon note  1( I , E ) lensemble des familles sommables
Bien entendu, on peut fournir une version dtaille du thorme indexes par I , on dispose donc de lquivalence :
de Fubini : pour que la famille positive ( u i, j ) ( i, j ) I J soit sommable,
il faut et il suffit que pour chaque valeur de i la famille ( u i, j ) j J soit ( u i ) i I  1( I , E ) ( u i ) i I  1( I , R ) u i < +
iI

sommable, et que la famille ui, j soit sommable. On peut

Grce la proposition 6, on vrifie immdiatement que  1( I , E )
jJ iI
alors intervertir les sommations. est un espace vectoriel, et que lapplication qui la famille
Lorsque les ensembles I et J sont des parties de N et u, v deux u = ( u i ) i I associe le rel positif u 1 = u i dfinit une norme
iI
suites positives indexes par I et J respectivement, on peut dfinir
le produit de convolution de u et v par la formule : sur  1( I , E ) . Dautre part, on note que si J I , et si ( u i ) i I est som-
mable, ( u i ) i J est elle aussi sommable.
( u * v )k = ui vj
Lensemble des familles presque nulles, cest--dire des familles u
( i, j ) I J ; i + j = k
telles que u i soit gal 0 sauf pour un nombre fini de i, forme vi-
On remarque que la somme porte sur un ensemble fini. Si lon sup- demment un sous-espace vectoriel de  1( I , E ) . On le note usuelle-
pose que I = J = N , ( u * v ) k est nul pour k < 0 . On peut donc consi- ment E ( I ) . Si u est presque nulle, on appelle support de u
drer u * v comme une famille indexe par N , que lon appelle lensemble des i tels que u i ne soit pas nul. Cet ensemble est fini.
parfois aussi produit de Cauchy des suites u et v. On a aussi, dans Cest pourquoi une famille presque nulle est aussi appele famille
ce cas : support fini.
De plus, soit u un lment de  1( I , E ) , et ( I n ) une suite exhaustive
k
dans I forme densembles finis. Si lon note, pour chaque n N ,
( u * v )k = ui vk i u ( n ) la suite dont tous les termes sont nuls sauf ceux dindice i I n ,
i=0 pour lesquels u (i n ) = u i , on a :

On peut tendre assez largement cette notion de produit de convo-
u u( n ) 1 = ui = ui ui
lution lorsque, par exemple, I et J sont des parties de Z ou mme i I In iI i In
p
de Z . Dans ce cas, il est commode de supposer directement que
p
I = J = Z en prolongeant les suites u et v par 0 l o elles ne sont Le membre de droite tend vers 0 daprs la proposition 2 (appli-
pas dfinies. La dfinition initiale sapplique, sous rserve dadmet- que la famille sommable positive ( u i ) i I ). On a donc montr
tre la possibilit que ( u * v ) k = + . La somme de deux lments de que tout lment de  1( I , E ) est limite (pour la norme . 1 ) dune
suite dlments de E ( I ) , qui apparat ainsi comme un sous-espace
p
Z est videmment dfinie composante par composante.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 5
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

vectoriel dense dans  1( I , E ) . Sur ce sous-espace vectoriel, nous 3.1 Proprits lmentaires
disposons dune application linaire, lapplication somme :

S:u ui Proposition 8.
iI
Soit ( u i ) i I et ( v i ) i I des familles de  1( I , E ) .
En effet, la somme de la famille se rsume une somme finie. (1) Si et sont deux scalaires, la famille ( u i + v i ) i I est som-
Cette application S est continue, puisque S ( u )  u 1 . mable, et lon a :
Le thorme de prolongement des applications linaires conti-
nues permet dtendre, de faon unique, cette application S dfinie ( ui + vi ) = ui + vi
sur E ( I ) en une application linaire continue sur  1( I , E ) tout entier. iI iI iI

Pour u  1( I , E ) , on notera encore : (2) La famille ( u i ) i I est sommable et :

ui ui  ui
iI iI iI

le vecteur ainsi construit. On lappelle toujours somme de la famille (3) Si I est la runion disjointe de la famille ( I k ) k K , o K est fini,
sommable u. chaque famille ( u i ) i I est sommable, et lon a :
k
On notera ce stade la dmarche suivie. On a commenc par dfi-
nir la somme dune famille positive, et par en dgager les propri- ui = ui
ts. Cette thorie autonome est rendue possible par la structure k K i Ik iI
+
ordonne particulire de R { + }, qui autorise des manipulations
telles que laddition dun rel et de + , manipulations qui ne pour- (4) Si J I , les familles ( u i ) i J et ( u i ) i I J sont sommables.
+
raient stendre R { , + } (combien vaudrait ( + ) + ( ) ?), De plus :
et qui ne seraient pas mme envisageables dans C ou dans E.
On a ensuite pu dfinir la notion gnrale de famille sommable, ui = ui ui
iIJ iI iJ
en considrant la famille des normes, sans encore donner un sens
la somme elle-mme. Enfin, grce un argument de densit, on a (5) Si  est une application linaire continue de E vers F (F tant
pu passer de la somme dune famille finie la somme dune famille lui aussi un espace de Banach), la famille (  ( u i ) ) i I est sommable,
sommable arbitraire. et lon a :
Cet argument de densit, tel quil est nonc dans la proposition 7,
est une simple reformulation de la dfinition de la somme dune  u i =  ( ui )
famille sommable, et exprime la continuit de lapplication S. iI iI

Proposition 7. (6) Si u est une famille dlments de E 1 E p , u est sommable

Soit ( I n ) une suite exhaustive dans I forme de parties finies, et si, et seulement si, chacune des familles composantes est sommable.
( u i ) i I une famille de  1( I , E ) . Alors : Si ces conditions sont runies, la q-ime composante de la somme de
u est la somme de la famille des q-imes composantes.
ui & ui (7) Soit ( I n ) une suite exhaustive dans I . Alors :
i In n + i I
ui & ui
Il ne faudrait pas en dduire que, si ( I n ) est une suite exhaustive i In n + i I
dans I forme densembles finis, si u est un lment de E I , et si Preuve
lim u i existe, u est ncessairement sommable. Ce serait vrai
n +i I Ce sont de simples vrifications. titre dexemple, montrons
n lassertion (5). On dispose de lingalit :
si u tait suppose positive, ce nest pas vrai en gnral.
Exemple 1 : considrons la famille u indexe par Z dfinie par  ( ui )   ui
u n = 1 si n  1 , u n = 1 si n  1 , u 0 = 0. Si J n = [ n, n ] , il est ce qui entrane la sommabilit de la famille (  ( u i ) ) i I . Soit alors
( I n ) une famille exhaustive dans I forme de parties finies. On a :
clair que ui & 0 . Pourtant, cette famille nest pas sommable,
i Jn n +

puisque si K n = [0, n ] , on voit que  u i =  ( ui )

ui & + . i In

i In
i Kn n +

Pratiquement, on commence par montrer la sommabilit en

appliquant les rsultats sur les familles positives la famille
Le membre de droite tend vers  ( ui ) , tandis que, par conti-
iI
( u i ) i I , puis, le cas chant, on calcule la somme par le passage
la limite voqu ci-avant. nuit de  , celui de gauche tend vers  u i , ce qui fournit le

iI
rsultat.
Commentaires.
3. Proprits de la sommation Lassertion (1) exprime que la somme est linaire sur lespace vec-
toriel  1( I , E ) .
Dans ce paragraphe, nous nonons un certain nombre de pro- Lassertion (2) nest rien dautre quune extension aux sommes de
prits des familles sommables de vecteurs. Leurs dmonstrations familles sommables de lingalit triangulaire.
sappuient la fois sur ltude pralable des familles positives et sur Lassertion (3) est une version du regroupement de termes, qui
la dfinition de la somme dune famille quelconque comme limite trouvera une extension dans le thorme 5. Par exemple, pour mon-
de sommes finies. trer la sommabilit et calculer la somme dune famille indexe par

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 6 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________ FAMILLES SOMMABLES

Z , il suffit dtudier la sommabilit des deux sous-familles Le thorme 2, appliqu la famille positive ( u i ) i I , montre
indexes, lune par N , lautre par N (cela grce lassertion (3) de
que la famille ui est sommable. Dans ces conditions, le
la proposition 6), et dajouter les deux sommes ainsi obtenues.
i Ik kK
Lassertion (6) permet de ramener ltude de la somme (et de la membre de gauche tend vers :
p
sommabilit) dune famille de vecteurs de K celle de p suites
scalaires. De mme, ltude de la sommabilit dune suite de
complexes peut seffectuer via la famille des parties relles et celle ui
k K i Ik
des parties imaginaires.
Lassertion (7) gnralise la proposition 7 aux suites exhaustives
quelconques. lorsque n tend vers + . Quant au membre de droite, il tend vers
ui .
iI

3.2 Thormes sur la sommation Le thorme 6 permet de dcouper de manire arbitraire lensem-
ble des indices I , de commencer par sommer sur chaque sous-
ensemble I k dindices, puis dtudier la somme de la famille consti-
tue par les sommes sur chaque paquet. Il est souvent cit comme
Thorme 5 de rindexation. Soit ( u i ) i I une famille un thorme de sommations par paquets. Cependant, la diff-
sommable, et une bijection de J sur I . Alors, la famille rence du cas positif, il est indispensable de vrifier au pralable que
( u ( j ) ) j J est sommable. De plus : la famille u est sommable.
Le thorme 6 admet un corollaire trs utile.
ui = u ( j )
iI jJ

Thorme 7 de Fubini. Soit ( u i, j ) ( i, j ) I J une famille

sommable. Alors :
Preuve
Considrons une suite ( J n ) de parties finies exhaustive dans J.
Alors ( ( J n ) ) est une suite de parties finies exhaustive dans I . ui, j = u i, j = ui, j
iI jJ ( i, j ) I J jJ iI
Daprs la proprit de rindexation des familles positives :

ui = u ( j ) < +
Preuve
iI jJ
Il suffit de remarquer que I J est la runion disjointe de la
Par consquent, ( u ( j ) ) j J est sommable. En outre : famille ( { i } J ) i I et dappliquer le thorme 6 dassociativit
gnralis.
ui = u ( j ) Le thorme 7 de Fubini a deux fonctions : il permet dintervertir
i ( Jn ) j Jn deux symboles de sommation et de ramener ltude dune somme
double (indexe par un ensemble produit) ltude de deux som-
Il suffit alors de faire tendre n vers + . mes simples embotes. Ce thorme est dusage fort courant. Il
Le thorme 5 exprime que la faon dont on indexe une famille stend par une rcurrence immdiate des familles multiples :
positive ninfluence ni la sommabilit, ni la somme de cette famille.
De ce point de vue, il ny a pas de diffrence entre la situation des
familles positives et celle des familles sommables quelconques.
i1 I1 i2 I2

ip Ip
ui
1, i 2, , i p
= ui
1, i 2, , i p
( i 1, i 2, , i p ) I 1 I 2 I p
Comme dans le cas des familles positives, le thorme 5 est sou-
vent cit comme un thorme de convergence commutative des
Pratiquement, pour vrifier que la famille double (ou multiple) est
familles sommables.
sommable, on appliquera la famille des normes le thorme de
Fubini dans le cas positif (thorme 3).
Thorme 6 dassociativit gnralise. Soit ( u i ) i I une Il convient de remarquer que les hypothses du thorme de
famille sommable. Si I est la runion disjointe de la famille Fubini, qui permettent linterversion de deux symboles somma-
( I k ) k K , les quantits crites ci-dessous ont toutes un sens et toires, ne peuvent tre raisonnablement affaiblies. En particulier, il
lon a : peut se faire que les deux quantits u i, j et u i, j aient
iI jJ jJ iI
ui = ui toutes deux un sens, sans quelles soient gales. Bien sr, la famille
k K i Ik iI
double ( u i, j ) ( i, j ) I J ne pourra alors tre sommable.

Preuve
Exemple 2 : posons, pour n et m entiers naturels strictement posi-
Considrons une suite ( K n ) de parties finies exhaustive dans K. 1
Daprs lassertion (3) de la proposition 8, on peut crire : tifs, u n, m = -------------------
2
- si n et m sont distincts, u n, m = 0 sinon. Pour
2
n m
chaque m, la famille ( u n, m ) n  1 est sommable. Calculons sa somme.
ui = ui
k Kn i Ik i Jn On a :
lorsque J n dsigne la runion de la famille ( I k ) k K . Puisque I k I , 1 -------------
1
- ---------------
1
la famille ( u i ) i I est sommable. En outre :
n
u n, m = ---------
2m n m n + m
k n [ 1, p ], n m n[ 1, p ], n m

ui  ui
Pour p  2m + 1 , il vient :
i Ik i Ik

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 7
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

1 1 1 1 Preuve
u n, m = ---------
2m --- ---------
k 2m --- =
k Daprs le thorme 7, de Fubini, le premier membre est gal
n [ 1, p ], n m 1 m  k  p m, k 0 1 + m  k  p + m, k 2m

p
u i v j . Dautre part, Z est la runion disjointe des ensem-
--------- -------------- + -------------- + + -------------- --------------- + --------------- + + --------------- =
1 1 1 1 1 1 1 p
( i, j ) Z Z
p

2 m 1 m 2 m p m 1 + m 2 + m p + m
p 2
bles { ( i, j ) ( Z ) ; i + j = k }. Une application du thorme 6 permet
--------- -------------- + -------------- + + ----- -------------------------- + + ---------------
1 1 1 1 1 1
de conclure.
2m 1 m 2 m m pm+1 p + m

Lorsque p tend vers + , la quantit prcdente tend vers :

--------- -------------- + -------------- + + ----- = --------- ------------- ------------- + 1 + 1 + --- + + -----

1 1 1 1 1 1 1 1 1
2m 1 m 2 m m 2m m 1 m 2 2 m 4. Mthodes dtude
1
= -----------2
2m
Pour dterminer si une famille est sommable, il est bon de dispo-
Par consquent : ser de critres pratiques et dexemples suffisamment nombreux.
Quant au calcul de la somme de la famille, il est illustr dans larticle
1
un, m = -----------2 Procds sommatoires [AF 73].
m n m1
2m

Puisque u n, m = u m, n
4.1 Mthodes gnrales
1
un, m = ---------2
n m n1
2n
Puisque la sommabilit dune famille se ramne, par dfinition,
1
Puisque ---------2 0 , les deux sommes sont ingales. celle de la famille des normes, il est possible, tout au moins en tho-
rie, de supposer toutes les familles positives. Nous expliciterons
n1
2n
cette hypothse le cas chant.
Applications. En principe, plus le terme u i dune famille positive est petit,
Supposons que u et v soient deux familles sommables de scalaires, mieux elle ralise les conditions de sommabilit. Cela provient de la
ou plus gnralement dlments dune algbre norme. Grce au dfinition mme, qui impose un certain supremum dtre fini.
thorme 3, on vrifie que la famille ( u i v j ) ( i, j ) I J est sommable. Cette remarque peut tre illustre par la proposition suivante.
Grce au thorme 7, on aura : Proposition 9.
Soit u une famille sommable. Pour tout > 0 , il nexiste quun
ui vj = ui vj = ui vj nombre fini de i tels que u i  .
( i, j ) I J iI jJ iI jJ
Preuve
la dernire galit provenant de la linarit et de la continuit de
x u i x (proposition 8, assertion (5)). En appliquant le mme argu- Soit M un majorant des sommes u i lorsque J dcrit lensem-
ment, on peut mettre en facteur droite v j , et lon obtient fina- iJ
lement : jJ ble des parties finies de I . Si J > M , il existe au moins un i J tel
que u i < . Autrement dit, lensemble des i tels que u i  a un
u i v j = u i vj
M
( i, j ) I J iI jJ cardinal infrieur ou gal ----- .

p
Lorsque les ensembles I et J sont des parties de Z , on peut dfi-
Il est posssible de rinterprter cette condition en disant que le
nir le produit de convolution de u et v par la formule :
terme gnral de la famille tend vers 0 selon le filtre des compl-
mentaires de parties finies : pour tout , il existe L, complmentaire
( u * v )k = ui vj
dune partie finie de I , tel que si i L , u i  .
( i, j ) I J ; i + j = k
En particulier, une famille sommable est toujours borne.
Cette somme est bien dfinie. Dans le cas particulier o I et J sont
gaux N , ( u * v ) k est nul pour k < 0. On peut donc considrer u * v Dans le cas particulier o I = N , cela se traduit par le fait que,
comme une famille indexe par N , que lon appelle parfois aussi ncessairement, u i tend vers 0 lorsque i tend vers + . Si I = Z ,
produit de Cauchy des suites u et v. On a aussi, dans ce cas : cela se traduit par le fait que u i tend vers 0 lorsque i tend vers + .
p
Si I = N , cela se traduit par le fait que u i tend vers 0 lorsque i
k tend vers + .
( u * v )k = ui vk i Une famille finie est toujours sommable. Puisque modifier un
i=0 nombre fini de termes dune famille revient lui ajouter une famille
finie, on voit que lon ne modifie pas la nature (cest--dire le carac-
On dispose alors du thorme suivant.
tre sommable ou non) dune famille lorsque lon modifie un nombre
fini de termes de cette famille.
Thorme 8 de convolution. Les ensembles I et J sont des
p
Nous avons vu (proposition 6, assertion (1)) que si 0  u  v , et si
parties de Z . Soit ( u i ) i I et ( v j ) j J deux suites sommables v est sommable, u est sommable. Il est commode de reformuler ce
dune algbre norme, u * v leur produit de convolution. Alors : critre laide de la notation de Landau. Disons que u = O ( v ) , ou
encore que u i = O ( v i ) , lorsquil existe une constante A telle que,
sauf pour un nombre fini de i, u i  A v i . Avec ce langage, si
ui, j = p (u*v)(k) u = O ( v ) et si v est sommable, u est sommable. Par contraposition,
iI jJ kZ
si u nest pas sommable, v nest pas sommable.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 8 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________ FAMILLES SOMMABLES

Si u = O ( v ) et v = O ( u ), on dit que les familles u et v sont de 1

mme ordre. Ce qui prcde montre que deux familles de mme quantit qui tend vers ----------- lorsque n tend vers + . Ainsi, la famille
1r
ordre sont, du point de vue de la sommabilit, de mme nature.
Dans le cas o la famille est indexe par N , on remarquera que, si ( r k) est sommable si, et seulement si, r [ 0, 1[.
u = o ( v ) , alors u = O ( v ). Notons aussi que deux suites quivalentes
de scalaires (cest--dire telles que lune est le produit de lautre par 1
une suite tendant vers 1) sont, toujours du point de vue de la somma- Suites ------
n
bilit, de mme nature.
La technique la plus efficace pour tudier la sommabilit dune famille
Pour  0 , la famille ------
1
nest pas sommable, puisque son
est la comparaison avec une intgrale. Elle nous permettra dtudier des
familles sommables indexes par une demi-droite [n 0, + [ de N . n n1
Lorsque nous aurons affaire une telle famille, nous la noterons plutt terme gnral ne tend pas vers 0. Pour > 0 , nous pouvons utiliser la
( u n ) n  n . Le critre le plus lmentaire est le suivant. 1
0 proposition 10, puisque lapplication t ----- dcrot. On sait que cette
Proposition 10. t
Soit f une application dcroissante positive sur [n 0, +[, et application est intgrable sur [ 1, +[ si, et seulement si, > 1 . En
u n = f ( n ) . La sommabilit de ( u n ) n  n quivaut lintgrabilit de
rsum, la famille ------
f sur [n 0, +[. 0 1
est sommable si, et seulement si, > 1 .

Preuve n n1
Puisque f dcrot, on dispose, pour n  n 0 + 1, de lingalit :
1

n+1 n Suites ------------------------
-
f  un  f 
n ( ln n ) 
n n1
Par consquent :
Si < 1 , --- = O ------------------------ .
1 1

+ +
n0 + 1
f un 
n0
f n n ( ln n )
n  n0 + 1
= O ------ .
1 1
Si > 1 , introduisons ]1, [ . Alors ------------------------
On exprime souvent le rsultat prcdent en disant que lintgrale
et la famille sommable sont de mme nature. n ( ln n ) n
Reste tudier le cas o = 1. Nous nous appuyons nouveau
4.2 Familles indexes par sur la proposition 10 que nous appliquons f dfinie par :
une demi-droite de N
1
Dans la suite de ce paragraphe, lensemble des indices (nots n f ( t ) = ------------------
ou k plutt que i) est une demi-droite [n 0, + [ de N . Les familles t ( ln t )
indexes par une telle demi-droite seront plutt appeles suites, et
notes ( u n ) n  n . Parfois, lentier n 0 sera omis ou non prcis : cela Cette application dcrot sur [ 2,+[ . On peut calculer :
0
signifiera que la suite est dfinie partir dun certain indice.

Pour tudier la sommabilit dune famille positive, il est naturel x ln x
du
f = -------
dutiliser comme famille exhaustive la famille ( In ) = ( [n 0, n] ) . 2 ln 2 u
n
Nous savons que uk = u k tend vers u k . La famille est Ainsi, on voit que f est intgrable si, et seulement si, > 1.
k In k = n0 k  n0
n
Pour rsumer la situation, il est bon dintroduire sur R 2 lordre

donc sommable si, et seulement si, la suite u k admet une lexicographique dfini de la faon suivante : ( , )  ( , )
k = n lorsque > ou = et  . Avec ce langage, la famille
0

limite relle lorsque n tend vers + . 1

------------------------

est sommable si, et seulement si, ( , )  ( 1, 1 ) .
Lorsque la famille est quelconque, on peut seulement affirmer n ( ln n )
n
que, si elle est sommable, u k tend vers u k . En revanche, Gnralisation
k = n0 k  n0
n
Notons L k la fonction logarithme itr k fois : L 0 ( x ) = x ,
L 1 ( x ) = ln ( x ) , L 2 ( x ) = ln ( ln ( x ) ) , etc. La fonction L k est dfinie au
le seul fait que u k admette une limite dans E lorsque n tend voisinage de + . On peut considrer la suite u dfinie pour n assez
k = n0 grand par :
vers + ne permet pas dattester la sommabilit de la famille. 1
u n = -----------------------------------------------------------------
1 2 k
-
4.2.1 Familles de rfrence n ( ln ( n ) ) ( L k ( n ) )

Suites gomtriques Par un raisonnement analogue, on voit que la famille u est som-
Si r est un rel positif ou nul, on considre la suite gomtrique mable si, et seulement si :
n
( r ) . Si r  1 , le terme gnral ne tend pas vers 0, donc la famille
nest pas sommable. Si r < 1, on peut calculer : ( 1, , k )  ( 1, , 1 )
n n+1
1r
rk = ----------------------
1r
k
lordre sur R tant lordre lexicographique calqu sur celui prc-
k=0 demment dfini.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 9
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

un
( ln n ) 3 Ainsi, la suite ------ dcrot, donc est borne, ce qui entrane le rsul-
Exemple 3 : les familles -----2- , ----------
1
- , -------------------2- , ---------------
1 1 vn
- , tat.
4 3 n3 2
n n n ( ln n ) Donnons quelques consquences utiles de cette proposition.
----------------------------------
1
- sont sommables. Proposition 12.
3
n ln n ( ln ln n )
Soit u une suite strictement positive.
Exemple 4 : les familles --- , ----------
1 1
- , ----------------- , -----------------------5- ,
1 1
n 2 3 n ( ln n ) un + 1
n n ( ln n ) (1) Si ------------- tend vers  [ 0, 1[ , la famille u est sommable.
un
-------------------------
1
- ne sont pas sommables.
3 un + 1
n ( ln ln n ) (2) Si ------------- tend vers  ]1, +[ , la famille u nest pas sommable.
un

un + 1
= 1 --- + o --- , avec > 1 , la famille u est sommable.
4.2.2 Critres pratiques 1
(3) Si -------------
un n n

Estimation directe du terme gnral un + 1

= 1 --- + o --- , avec < 1 , la famille u nest pas som-
1
(4) Si -------------
Pour montrer que u est une famille sommable, il suffit de montrer un n n
que u n = O ( v n ) ou u n = o ( v n ), v tant une famille dont on sait dj mable.
quelle est sommable (famille de rfrence en gnral). Si lon soup- Preuve
1
onne que poser v n = ------ peut permettre de conclure, on estime le Montrons titre dexemples les assertions (1) et (3).
n
vn + 1 un + 1
u (1) Soit r ] , 1[ , et v n = r n . On a ------------
- = r  ------------- pour n assez
quotient -----n- = n u n . Si ce quotient tend vers 0 pour un > 1 , u est vn un
vn
grand. Il suffit dappliquer la proposition 11.
sommable. Si la norme de ce quotient tend vers une limite non
nulle, ou + , pour un  1 , la famille u nest pas sommable. 1
(2) Soit ]1, [ , et v n = ------ . On a :
Bien entendu, cette technique stend dautres suites de rf- n
rence.
vn + 1 1
------------- = 1 + --- = 1 --- + o ---
1
Exemple 5 : la famille -------------------2- est sommable, car son terme
sin n vn n n n

n ( ln n )
Donc :
gnral est un O -------------------2- .
1

n ( ln n ) vn + 1 un + 1
------------- ------------- = ------------- + o --- -------------
1
vn un n n n
2
n
Exemple 6 : la famille ( e ) est sommable, car son terme gnral
vn + 1 un + 1
n - ------------- > 0 pour n assez grand. Comme la
Puisque ------------- > 0 , ------------
est un O ( e ) . n vn un
famille v est sommable, la proposition 11 entrane que la famille u
ln n lest aussi.
Exemple 7 : pour tudier la famille ( e ) , tudions la limite de
ln n 1 un + 1 1
ne . Pour ce faire, on calcule : Exemple 8 : soit u n = ----- . Puisque ------------- = --- tend vers 0, u est
n! un n

ln ( ne
ln n
) = ln n ln n ln n + une famille sommable.
n
La limite cherche est + . Donc la famille ( e
ln n
) nest pas sommable. C 2n
Exemple 9 : soit u n = --------
- .
4n
Critres logarithmiques
un + 1 2 ( 2n + 1 )
- = ------------------------- = 1 ------- + O -----2- , la famille u est
Soit u et v deux suites strictement positives. De la comparaison 1
Puisque ------------
un 4(n + 1) 2n
un + 1 vn + 1 n
des quotients ------------- et ------------- , on peut dduire une comparaison
un vn sommable pour > 2 et ne lest pas pour < 2 . Le cas = 2 reste
entre les termes gnraux eux-mmes. douteux au vu de la proposition 12. On peut nanmoins conclure grce
une extension de cette proposition :
Proposition 11.
un + 1 1
Soit u, v deux familles strictement positives telles qu partir dun si ------------
- = 1 --- + v n , et si v est sommable, u nest pas sommable.
un n
un + 1 vn + 1
certain indice -------------  ------------- . Alors u n = O ( v n ) .
un vn Dans le cas qui nous occupe, on voit que u nest pas sommable pour
= 2 . On peut aussi traiter cette question laide de lquivalent de
Preuve Stirling de n!. En effet, on a :
On peut rcrire lingalit sous la forme : 1
u n ---------------
un + 1 un 2n
-------------  ------
vn + 1 vn ce qui montre que u nest pas sommable.

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 10 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________ FAMILLES SOMMABLES

4.3 Familles quelconques On se limite des valeurs strictement positives des i . Par le mme

cheminement, nous pouvons encadrer uk

1, , k p
par deux intgrales.
k1  1
2 Pour les valuer, on effectue cette fois le changement de variables
Exemple 10 : soit ( 1, 2 ) R . Posons pour ( n 1, n 2 ) N* 2 , 1
------
1 2 p 1
u n1, n2 = ---------------------- . Puisquil sagit dune famille positive, on peut appli- t1 = u ( k2 ++ kp ) . Nous sommes ainsi ramens tudier la som-
1 2
n1 + n2 mabilit de la famille dont le terme gnral est de mme ordre que :
quer le thorme 3 de Fubini. On a ncessairement 1 > 1, et de

1 +
du
----------------------------------------------------
- --------------------------
-
mme 2 > 1. On se limite dsormais des valeurs strictement positi- 1 m
p
m ------
1
0
(u 1 + 1)
1 ( k2 2 + + kp )
ves de 1 et 2 . Grce la dcroissance de t 1 --------------------

- , on dispose
t1 1 + k2 2 Il est bien sr ncessaire que, tout dabord, lintgrale ait un sens,
de lencadrement : soit m 1 > 1 . La sommabilit de la famille initiale quivaut alors celle
de la famille :

+ dt 1 + dt 1
-  u k1, k2 
-------------------- --------------------
-
1 1 -----------------------------------------------------
1
2 t 1 + k 2 2 k1  1 1 t1 + k2 2 1
m ------
2 1
( k2 + + kp p )
k 2  1, , k p  1

+ dt 1
Estimons I k2 ( a ) = - grce au changement de variable
--------------------
1
Pour p = 1, on obtient comme condition ncessaire et suffisante
a t1 + k2 2 1
------ < m . Si, par rcurrence, on suppose que la condition cherche pour
2
1
------ 1 1

t1 = uk 2 1 . Il vient : une famille indexe par N* p 1 est ------ + + ------ < m , on aboutit finale-
2 p
ment la condition (qui inclut m 1 > 1) :
1 1
------ + + ------ < m
2 + -----2- 1 p

1 +
du
I k2 ( a ) = k2 2
-----------------
1
-------
1 u +1 pq
ak 2
Exemple 12 : soit u p, q = x , o x est un rel positif. On tudie la
sommabilit de ( u p, q ) p  1, q  1 . On suppose x < 1, faute de quoi la
condition ncessaire fournie par la proposition 9 nest pas satisfaite.
On a :
Lintgrale converge bien puisque 1 > 1. Dautre part, puisque q
x

pq q
lintgrale tend vers la constante strictement positive x = ---------------q x
p1 1x

q
+
du Comme la famille ( x ) q  1 est sommable, le thorme 3 entrane
C = ----------------- lorsque k 2 tend vers + , on a :
que la famille ( u p, q ) p  1, q  1 est sommable.
0 u 1+1
aq
Exemple 13 : considrons la famille ( p ) p  2, q  2 , o a est un
p
2a
2 + -----2-

aq
1 rel strictement positif. On a p - , comme somme
= ----------------
I k2 ( a ) Ck 2 q2 1p
a

2a
p 2a
- p , la famille double est
dune suite gomtrique. Puisque ----------------
a
1p
La famille ( I k2 ( a ) ) k 1
est donc sommable si, et seulement si,
2 1
sommable si, et seulement si, a > --- .
2
2 + -----2- < 1, soit :
1 Considrons maintenant la famille des entiers qui sont de la forme
q
p , avec p  2 et q  2 . Cela signifie que lon considre chaque l-
ment de cet ensemble I dentiers une fois et une seule. Cette famille
1 1 q
nest pas identique ( p ) p  2, q  2 , car, par exemple, lentier 16 scrit
------ + ------ < 1
1 2 q 4 2
de deux faons diffrentes sous la forme p : 16 = 2 = 4 . tudions
la sommabilit de la famille -----a
1
. Puisque cette famille peut tre

n nI
Exemple 11 : on peut gnraliser lexemple 10. Soit : aq
considre comme une sous-famille de la famille ( p ) p  2, q  2 , elle
1
est sommable lorsque > --- . Dun autre ct, cest une famille qui con-
1 2
un - , avec ( n 1, , n p ) N* p
= ------------------------------------------- 1
1, , n p 1 p m 1
( n1 + + np ) tient la famille -------
- . Elle nest donc pas sommable lorsque  --- .
k 2a k1
2

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 11
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

p
5. Espaces  Lingalit de Minkowski, dans ce cadre plus gnral, se montre
de faon identique :

1 1 1
--- --- ---
u + vi  ui + vi
p p p p p p
i
Nous tudions dans ce paragraphe des espaces de suites caract-
rises par une proprit de sommabilit. Ces espaces fournissent,
iI iI iI
lmentairement, des archtypes discrets despaces que la thorie
de lintgration oblige de considrer dans un cadre plus gnral. On en dduit en particulier que la somme de deux lments de
p p
 ( I ) est encore un lment de  ( I ). Compte tenu de vrifications
p
5.1 Prsentation par ailleurs videntes, on en conclut que  ( I ) est un espace vecto-
riel. De mme que dans le cas dun ensemble fini dindices, linga-
p
p lit de Minkowski exprime quen posant, pour u  ( I ),
Soit p un rel suprieur ou gal 1. Lensemble  ( I , E ) est celui 1
des suites u indexes par I , valeurs dans E, telles que la famille ---
= u i , on dfinit une norme sur  ( I ), norme dont sera
p p p
( u i p ) soit sommable. Nous tendons cette dfinition au cas o u p

p = + , en notant  ( I , E ) lespace des suites bornes. Lexpli- iI
cation de cette notation sera fournie un peu plus tard.
tacitement muni lespace vectoriel  p ( I ).
Nous nous limiterons aux suites valeurs complexes, cest--dire
p Le cas p = 2 prsente un intrt tout particulier. On constate en
au cas o E = C . Nous noterons alors simplement  ( I ) lensemble
correspondant. effet que, si u et v sont dans  2( I ) , on peut poser :

Nous savons dj que  ( I ) , muni de la norme . , est un
espace vectoriel de Banach. u, v = ui vi
iI
1
Nous savons dautre part (proposition 8, assertion (1)) que  ( I ) ,
On dfinit de cette faon sur  2( I ) un produit scalaire, qui fait de
muni de la norme . 1 , est un espace vectoriel. tendons cette  2( I ) un espace prhilbertien. Bien entendu, la norme . 2 nest
p
proprit aux espaces  , avec p ]1, +[. Pour chaque p  1 , on autre que la norme prhilbertienne associe.
(I )
1 1 Nous avons vu que lespace C des suites support fini est
dsigne par q lunique lment de [ 1, +[ tel que --- + --- = 1 . Si dense dans  1( I ) . Cette proprit stend aisment tous les espa-
p q p
ces  ( I ) , en tout cas lorsque p [ 1, +[ . En revanche, elle est
p = 1 , q = + . Si p = 2 , q = 2 . inexacte lorsque p = + .
Rappelons que, si J est un ensemble fini, si p ]1, +[, si ( u i ) i J
et ( v i ) i J sont deux familles indexes par J, on dispose de linga- 5.2 tude
lit de Holder :

1 1
--- --- Lemme 2. Si ( u i ) i I est une famille positive, si
ui vi  ui vi
p p q q
+ > p  p  1 , alors :
iJ iJ iJ
1 1
--- -----
u  ui
p p p p
i
Cette ingalit a pour consquence lingalit de Minkowski :

iI iI
1 1 1
--- --- ---
p p

p p
+
p p
ui + vi
ui
vi

iJ iJ iJ Preuve
p r r
En dautres termes, lapplication dfinie sur C
J
par Posons r = -----  1 . Pour u  0 , on a 1 + u  ( 1 + u ) , comme on
p
1 le voit en drivant la diffrence des deux membres, qui se rvle
---
=
p p
u p ui

dfinit une norme. Pour p = 1 , ce fait nest autre tre une fonction croissante de u. Appliquant cette ingalit
p
iJ u = t , on obtient :
que lingalit triangulaire. 1 1
p ------ ---
prsent, si u et v sont deux familles de  ( I ), on peut tendre (1 + t )
p p
 (1 + t )
p p
les proprits qui prcdent. En effet, lingalit de Holder montre
que ( u i v i ) i I est sommable. De plus, grce la considration dune x
Si lon prend t = --- , il vient :
suite exhaustive dans I forme densembles finis, un passage la y
1 1
limite montre que lingalit de Holder reste vraie dans ce cadre : ------ ---
p p p p p p
(x +y )  (x + y )
1 1
--- ---
ui vi  ui vi
p p q q

Lingalit vise est donc avre lorsque I est un ensemble deux
lments. Par rcurrence, on passe aisment aux familles finies,
iI iI iI
puis par passage au supremum aux familles quelconques.
Il en rsulte en particulier lingalit : Proposition 13.
1 1 p
--- --- (1) Si + > p  p  1 , alors  ( I ) est un sous-espace vectoriel de
 ui
p p q q
ui vi i
v p
 ( I ) . De plus, si u est dans  ( I ) , u
p
 u .
iI iI iI p p

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 12 Techniques de lIngnieur, trait Sciences fondamentales
________________________________________________________________________________________________________________ FAMILLES SOMMABLES

p
(2) Si u est dans  ( I ) , lapplication p u p est continue sur En particulier, en affectant n une valeur particulire, par exemple
p
[ p, +[ et tend vers u lorsque p tend vers + . N ( 1 ) , on voit que u u n et u n sont dans  ( I ) , donc u aussi.
p
(3) Si +  p  1, alors  ( I ) est un espace de Banach. Dautre part, on peut rcrire (3) sous la forme :
Preuve > 0 N ( ) n  N ( ) u u n  (5)
p p
(1) Soit u  ( I ) (avec sans restriction p < + ). Pour chaque i,
u i  u p de faon vidente. Donc u est borne, et u  u p .
Lassertion (5) exprime exactement que la suite ( u n ) converge
Dans les autres cas, le rsultat dcoule directement du lemme 2. vers u pour la norme . p .
(2) Soit ( I n ) une suite exhaustive dans I forme de parties finies, En particulier, lespace  2( I ) , qui est un espace prhilbertien de
Banach, est donc un espace de Hilbert. Il joue un rle important en

p p
et f n ( p ) = ui . Posons aussi f ( p ) = ui . Chacune des analyse. Par exemple, une application priodique localement int-
i In iI
grable sur R admet une transforme de Fourier discrte, qui nest
applications f n est continue sur [ p, +[ . De plus, la suite ( f n ) autre que la famille (indexe par Z ) de ses coefficients de Fourier.
Cette famille est alors un lment de  2( Z ). Comme deux fonctions
converge simplement sur [ p, +[ vers f. Montrons que la conver-
ont mmes coefficients de Fourier si, et seulement si, elles sont ga-
gence est en ralit uniforme. On a : les presque partout, on constate que lon peut reprsenter les clas-
ses de telles fonctions dans  2( Z ). Le problme rciproque est celui
1 1 1 de la synthse de Fourier.
--- ----- ---
p p p p
= ui  ( ui )
p
0  ( f ( p ) f n ( p ) )

i I In i I In
p
5.3 Dualit et espaces 
Puisque la quantit majorante, indpendante de n, tend vers 0 lors-
que n tend vers + , la convergence uniforme est bien assure. La
continuit de f en rsulte. Le dual (topologique) dun espace vectoriel norm V est lespace
vectoriel des formes linaires continues sur V, muni de la norme
Montrons prsent que u tend vers u lorsque p tend vers
p subordonne. Si lon note V le dual de V, et si V , on aura donc :
+ . Soit > 0 . Il existe un sous-ensemble fini J de I tel que
= sup ( x )

p
u i  . On dispose alors de lencadrement : x = 1
iI J
1 1
1
-----
1
----- Soit p [ 1, +[ et q [ 1, +[ tels que --- + --- = 1. Considrons un
p q
u  u p 
p p
+
p p
ui
ui
q p
lment v de  ( I ). Pour chaque u dans  ( I ), la famille ( u i v i ) i I
iJ iI J

daprs lingalit de Minkowski. Donc, daprs le lemme 2 : est, daprs lingalit de Holder, sommable, ce qui nous permet de
poser :
1
-----
p
+
(v)(u) = ui vi
u  u p  J u iI

La quantit majorante tend vers u + lorsque p tend vers + , Toujours daprs lingalit de Holder, on a en outre :
donc est infrieure u + 2 pour p assez grand, ce qui conduit
au rsultat. (v)(u)  u p v q
(3) Puisque le rsultat est connu pour p = + , nous supposons q
ici que p [ 1, +[ . Pour la lisibilit, un lment u de C I sera not On a ainsi dfini, pour chaque v  ( I ) , une application ( v ) , de
p
fonctionnellement ( u ( i ) ) i I . Nous considrons une suite ( u n ) n N  ( I ) dans K . Cette application est manifestement linaire, et conti-
p
dlments de  ( I ) , qui soit de Cauchy. On peut donc crire : nue, daprs lingalit qui prcde. Celle-ci, jointe lexemple o
lgalit est ralise, prouve aussi que ( v ) = v .
> 0 N ( ) m  0 n  N ( ) u n + m u n  (1) q
p On dispose donc dune application de  ( I ) dans le dual topo-
p
logique de  ( I ). Cette application est videmment linaire. Nous
Fixons i I . Puisque, clairement, v ( i )  v p , lassertion (1) venons dautre part de constater quelle conserve la norme : cest
prouve que la suite ( u n ( i ) ) n N est une suite de Cauchy dans C . Elle une isomtrie.
admet donc une limite u ( i ) . Puisque cette proprit est vraie pour
tout i I , nous avons pu dfinir un lment u de C I . Soit prsent Montrons prsent que f est surjective. tant donn une forme
p
J un sous-ensemble fini de I . Toujours grce lassertion (1) : linaire continue f sur  ( I ), on considre pour chaque i I la suite
support fini i dont toutes les valeurs sont nulles, sauf pour

p p
m  0 n  N ( ) un + m ( i ) un ( i )  (2)
iJ lindice i, pour lequel elle vaut 1. Posons v i = f ( i ) . Cela dfinit un

Nous pouvons faire tendre p vers + dans (2), J et n tant fixs. Il lment v de C I . Soit J un sous-ensemble fini de I . Soit i = 0 si
vient : q
vi
v i = 0 , et i = ---------
- si v i 0 . Puisque la suite i i est support

p p vi
n  N ( ) u ( i ) un ( i )  (3) iJ
iJ p
fini, donc dans  ( I ), on peut crire :
Cela prouve deux choses. Tout dabord que, n tant fix, la famille
p
( u ( i ) u n ( i ) ) i I est dans  ( I ) , ensuite que : 1
---
f i i = = f
p p
n  N ( ) u u n  (4) i vi  f i i p i
p iJ iJ iJ iJ

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
Techniques de lIngnieur, trait Sciences fondamentales AF 72 13
FAMILLES SOMMABLES _________________________________________________________________________________________________________________

Remplaant i par sa valeur, on obtient finalement : En rsum, pour p et q finis et strictement suprieurs 1, le dual
p q
topologique de  ( I ) est isomtrique  ( I ) . Nous remarquons
que p et q jouent dans cette situation des rles parfaitement sym-
1
--- triques.
vi  f
p ( q 1 ) p

q
vi
Cette situation se produit en particulier lorsque p = q = 2 . Ainsi,
iJ iJ
lespace de Hilbert est isomtrique son propre dual, lisomtrie
construite tant lapplication qui, v dans  2( I ) , associe la forme
En utilisant la relation p + q = pq , on dduit alors : linaire u u, v . Ce rsultat est connu sous le nom de thorme
de reprsentation de Riesz.
1 1

---
q q tudions prsent le dual topologique de  ( I ) . On peut de la
vi

 f
mme faon attacher toute suite borne v une forme linaire ( v )
iJ

q
sur  1( I ) dfinie par ( v ) ( u ) = ui vi . On constate de faon ana-
Par passage au supremum, cela prouve que v est dans  ( I ) . iI
Dautre part, ( v ) ( i ) = f ( i ) par construction. Par linarit, cette logue ce qui prcde, mais plus simplement, que ralise une
galit stend lespace C I des suites support fini. Mais cet
p isomtrie de  ( I ) sur le dual de  1( I ) .
espace vectoriel est dense dans  ( I ), et chacune des applications
p
( v ) et est continue sur  ( I ). Par consquent, ( v ) = f , ce qui En revanche, la situation nest plus symtrique : le dual topologi-

prouve la surjectivit de . que de  ( I ) nest pas isomtrique  1( I ) .

Toute reproduction sans autorisation du Centre franais dexploitation du droit de copie est strictement interdite.
AF 72 14 Techniques de lIngnieur, trait Sciences fondamentales