Sries de vecteurs et familles sommables e On pourrait se contenter dintroduire le langage des familles sommables, quon peut considrer mieux

adapt aux questions de sries orthogonales dans les espaces de Hilbert, e e e mais il ma sembl prfrable de commencer par revenir sur le langage le plus classique, e ee celui des sries de vecteurs. e Si E est un espace vectoriel norm, sur R ou sur C, et si (uk )k n0 est une famille de e vecteurs de E, indexe par les entiers k Z tels que k n0 , on dnit pour tout n n0 e e la somme partielle Un = un0 + un0 +1 + + un E. On dit que la srie de vecteurs e un converge dans E si la suite (Un )n pour la norme de E, vers un vecteur s E, cest-`-dire que a
n+ n0

converge,

lim

Un s

= 0.

Dans ce cas, on dit que s est la somme de la srie et on note e

+

uk = s.
k=n0

Il y a un certain nombre dvidences ` drouler : somme de sries convergentes, e a e e produit par un scalaire ; si n1 n0 , on a pour tout n > n1 que
n n1 n

uk =
k=n0 k=n0

uk +
k=n1 +1

uk ,

ce qui entra ne, quand n tend vers linni et si la srie converge, lvidence e e
+ n1 +

uk =
k=n0 k=n0

uk +
k=n1 +1

uk

quon utilisera plus loin. Quand lespace norm E est complet, on peut armer que toute srie de vecteurs e e de E telle que uk < + est convergente dans E (en fait, cette armation quivaut ` e a dire que E est complet : exercice), mais dans un espace de Hilbert on peut faire beaucoup mieux quand les vecteurs de la srie sont deux ` deux orthogonaux. e a Thor`me. On suppose donns des vecteurs (uk )k n0 dun espace de Hilbert H, deux e e e a ` deux orthogonaux. La srie de vecteurs e uk converge dans H si et seulement si uk
k n0 2

< +.

Dans ce cas, on a
+ 2

uk
k=n0

=
k n0

uk

Preuve. Posons pour tout n n0 Vn = un0 et comme dhabitude Un = un0 + un0 +1 + + un H. Pour n0 m < n, on aura Un Um = um+1 + um+2 + + un , donc par Pythagore Un Um
2 2

+ un0 +1

+ + un

= um+1

+ um+2

+ + un

= Vn Vm .

Il en rsulte immdiatement que la suite (Un ) est de Cauchy dans H si et seulement si e e la suite (croissante) numrique (Vn ) est de Cauchy, ou encore si cette suite numrique e e est borne, cest-`-dire que la srie de vecteurs orthogonaux e a e uk converge dans H si et seulement si uk 2 < +.
k n0

Quand la srie converge dans H, la somme de la srie est la limite dans H de la suite (Un ), e e donc la norme de la somme est la limite de la norme de Un ,
+ 2 n

uk
k=n0

= lim

n+

Un

= lim

n+

uk
k=n0

=
k n0

uk

Remarque. Il est clair que le crit`re numrique e e un 2 < + est indpendant de e lordre des termes de la srie, donc la srie de vecteurs correspondante converge encore e e dans H apr`s toute permutation de ses termes. La somme est toujours la mme : nous e e ne lavons pas encore montr, ce sera lun des gains de la notion de famille sommable. e Point de vue des familles sommables Dnition. Soit (ui )iI une famille de vecteurs dun espace norm E ; on dit que la e e famille est sommable dans E sil existe un vecteur S E (la somme de la famille) possdant la proprit suivante : pour tout > 0, il existe un sous-ensemble ni A0 I e ee tel que pour tout sous-ensemble ni A de I contenant A0 , on ait () S
iA

ui < .

Un tel vecteur S est unique : si S et S sont deux sommes pour la famille, on aura en prenant, pour > 0 donn, lensemble ni A0 qui garantit () pour S et A0 pour S , e puis en posant A = A0 A0 , S
iA

ui < ,

S
iA

ui < ,

donc S S

< 2 , pour tout > 0, donc S = S. 2

Il est clair sur la dnition que le vecteur S de E ne dpend daucune indexation e e particuli`re de lensemble I. Pour une famille sommable (ui )iI de somme S, on emploiera e la notation ui = S.
iI

Ici encore, il y a des vidences ` drouler : somme de deux familles, produit par un e a e scalaire ; si on runit deux familles sommables (ui )iI et (uj )jJ , I et J disjoints, la e famille indexe par I J est sommable. . . e Si E est complet, on peut formuler un crit`re de Cauchy, ncessaire et susant pour e e la sommabilit, et on peut alors montrer quune famille sommable peut tre partitionne : e e e si I est la runion disjointe des sous-ensembles (I )A , et si (ui )iI est sommable, il en e rsulte que les sous-familles (ui )iI sont sommables et e ui =
iI A iI

ui .

Familles sommables de rels positifs e Lemme 1. Une famille (xi )iI de nombres rels positifs est sommable si et seulement si e m := sup
jJ

xj : J I, J ni

< +,

et quand cette famille (xi )iI est sommable on a xi = m.

iI

Preuve. Supposons que la famille (xi )iI soit sommable, de somme S, et prenons un ensemble A0 qui garantisse () quand = 1. Pour tout sous-ensemble ni J I, on a en prenant A = A0 J que S
jA

xj 1, donc
jJ

xj
jA

xj S + 1,

par consquent m |S| + 1 < +. Inversement, quand m est ni, on associe ` > 0 un e a sous-ensemble ni A0 I tel que jA0 xj > m et on vrie facilement () : pour e tout A I ni contenant A0 , m <
jA0

xj
jA

xj m, donc

m
jA

xj < .

Familles sommables et sries e Lemme 2. Si I est un ensemble dnombrable (inni) et si la famille (ui )iI de vecteurs e de E est sommable, on a, pour toute numration I = {i0 , i1 , . . . , in , . . .} de lensemble I, e e la convergence de la srie e uin et lgalit e e
+

ui =
iI n=0

uin .

Preuve. Dsignons par S la somme de la famille sommable, soit > 0 donn et e e soit A0 un sous-ensemble ni de I vriant () ; il existe un entier N tel que e A0 {i0 , i1 , . . . , iN } ; pour tout entier n N, lensemble A = {i0 , . . . , in } contient A0 , donc
n

S
k=0

uik = S
jA

uj < .

Remarque. Si une famille (un )nN est sommable, on a donc que toutes les sries pere mutes convergent, vers la mme somme : on dit que la srie est commutativement e e e convergente, ou inconditionnellement convergente. Inversement, si une srie de vecteurs e converge pour toute permutation des entiers, alors la somme est toujours la mme, et la e famille de ces vecteurs est sommable (ncessairement de mme somme, par le lemme 2). e e Familles orthogonales dans un espace de Hilbert Proposition. Si I est un ensemble dnombrable (inni) et si les vecteurs (ui )iI sont e deux ` deux orthogonaux dans lespace de Hilbert H, la famille (ui )iI est sommable a dans H si et seulement si iI ui 2 < +. Quand la famille est sommable, la somme vrie e 2 ui = ui 2 .
iI iI

Pour toute numration I = {i0 , i1 , . . . , in , . . .} de lensemble I, on a donc par le lemme e e prcdent e e

+

uin =
n=0 iI

ui .

Preuve. Supposons dabord que iI ui 2 < +. Pour prouver lexistence de S, xons une numration I = {i0 , i1 , . . . , in , . . .} de lensemble dnombrable I. Pour des e e e nombres rels positifs, on sait que e
+

uin
n=0

= sup
jJ

uj

: J I ni

=
iI

ui

< +.

Sous cette hypoth`se, on peut dnir dapr`s le thor`me e e e e e

+ +

S=
n=0

uin H,

avec

S 4

=
n=0

uin

=
iI

ui 2 ,

et il sagit de montrer que S vrie la proprit () qui dnit les familles sommables. e ee e Pour chaque sous-ensemble ni A de I, posons S(A) =
iA

ui H.

Soit > 0 donn et choisissons lensemble ni A0 = {i0 , i1 , . . . , iN } avec un N assez e grand pour que ui
iA0 / 2

=
n>N

uin

< 2 /4.

On a alors
+ N + +

S=
n=0

uin =
n=0

uin +
n=N+1

uin = S(A0 ) +
n=N+1

uin ,

donc
+

S S(A0 )

=
n=N+1

uin

=
n>N

uin

< 2 /4,

et on a S S(A0 ) < /2. Soit A un sous-ensemble ni de I, plus grand que A0 ; cet ensemble A est obtenu en ajoutant ` A0 des lments in1 , . . . , inp , o` les indices nj sont a ee u donc > N, et o` on peut supposer que N < n1 < n2 < . . . < np ; on a u
p

S(A) S(A0 ) =
j=1

uinj ,

donc par Pythagore

p 2 2 2

S(A) S(A0 )

=
j=1

uinj

n>N

uin

< 2 /4,

donc S(A) S(A0 ) < /2. Par lingalit triangulaire, on obtient que S S(A) < e e pour tout sous-ensemble ni A I plus grand que A0 , ce quil fallait dmontrer. e Inversement, supposons la famille (ui )iI sommable, prenons lensemble ni A0 qui correspond ` = 1 dans la proprit (). Pour tout sous-ensemble ni J I, on a en a ee prenant A = A0 J que S S(A) 1, donc S(A) S + 1,
jJ 2

uj

jA

uj

= S(A)

( S + 1)2 .

On a bien

iI

ui

< + puisque les sommes nies sont bornes par ( S + 1)2 . e

Remarques. 1. La thorie L2 des sries de Fourier fera intervenir des familles indexes par Z. La e e e notion de famille sommable permettra de poser, quand les coecients (cn )nZ sont de carr sommable, e f= cn en ,
nZ

au sens des familles sommables dans L2 (0, 2), sans se poser de questions inutiles sur des faons dnumrer lensemble Z. c e e 2. Lhypoth`se que lensemble dindices I soit dnombrable ne sert qu` rester dans le e e a cadre dni par le programme (actuel : 2011) de lagrgation. De toute faon, lhypoth`se e e c e ui
iI 2

< +

entra quil y a une quantit au plus dnombrable dindices i I tel que ui = 0. ne e e Commentaire : convergence suivant un ensemble ordonn irtant (dapr`s Bourbaki) e e En dnissant la notion de famille sommable, on a remplac lensemble (totalement) e e ordonn des entiers par lensemble ordonn (mais pas totalement) I des parties nies J e e de lensemble inni I, ordonn par e J1 J2 J1 J2 . La proprit importante pour dvelopper une notion raisonnable de convergence est que ee e cet ensemble est ltrant croissant : tant donns deux lments J1 , J2 I, il existe J I e e ee qui les majore (tout simplement J = J1 J2 , si on veut). Si A est un ensemble ordonn ltrant, sans lment maximal, on dnira la cone ee e vergence dune suite gnralise (x )A dlments dun espace mtrique X par un e e e ee e changement millimtrique de la dnition usuelle : la suite converge vers x X si e e pour tout > 0, il existe 0 A tel que A, 0 d(x , x) < .

Lunicit de la limite dcoule du caract`re ltrant de A. e e e Dans le cas des familles sommables, on pose pour tout J I SJ =
jJ

uj ,

et la sommabilit de la famille (ui )iI quivaut ` dire que la suite gnralise (SJ )JI e e a e e e des sommes partielles converge suivant lordonn ltrant I. e