Ceci implique donc nécessairement que pour tout n≥Net tout p≥0,
n+p
X
k=0
uk−
n
X
k=0
uk
V≤ε.
Ceci signifie donc que la suite des sommes partielles (Pn
k=1 uk)nest de Cauchy dans V, qui est un espace de
Banach, donc converge dans V. CQFD
2e sens: C’est le plus difficile. Soit Vun espace vectoriel normé tel que toute série normalement
convergente de Vest convergente dans V. Pour montrer que Vest un espace de Banach, nous allons
montrer que toute suite de Cauchy (un)nest convergente dans V. Nous allons faire la preuve en deux
étapes. Tout d’abord, nous allons montrer qu’il existe une sous-suite de (un)qui converge dans Vpuis que
nécessairement toute la suite converge vers la limite de cettre sous-suite.
Comme (un)nest une suite de Cauchy, pour tout q∈N∗, il existe nq∈Ntel que pour tout n≥nqet
tout p≥0,
kun+p−unkV≤1
q2.
On peut choisir nqde telle sorte que la suite (nq)qsoit strictement croissante (en effet, il suffit de choisir n2
tel que n2> n1,n3tel que n3> n2, etc.). On a alors en particilier, pour tout q∈N∗,
kunq+1 −unqkV≤1
q2.
Donc en particulier la série Pq≥1unq+1 −unqest normalement convergente, donc convergente par hypothèse.
Or, la suite des sommes partielles de cette série est exactement Pq
k=1 unk+1 −unk=unq+1 −un1. Ceci
implique nécessairement que la sous-suite (unq)qde (un)converge dans Vvers une limite notée u∈V.
Montrons que toute la suite (un)converge vers u. Soit ǫ > 0. Comme (un)est de Cauchy, il existe N∈N
tel que pour tout n≥Net tout p≥0,
kun+p−unkV≤ε.
Par ailleurs, comme la sous-suite (unq)qconverge vers u, il existe Q∈N∗(que l’on peut choisir tel que
nQ≥N), tel que
kunQ−ukV≤ε.
Donc, pour tout n≥nQ, on a
kun−unQkV≤ε,
ce qui implique que
kun−ukV≤ kun−unQkV+kunQ−ukV≤2ε,
et la suite (un)toute entière converge bien vers u∈V. CQFD
Remarque: Dans la preuve du théorème, nous avons en fait démontré le résultat suivant.
Proposition 3.5. Soit Vun espace vectoriel normé quelconque. Toute suite de Cauchy qui admet une
sous-suite convergente dans Vconverge toute entière vers la limite de cette sous-suite.
3.4 Théorème du point fixe de Picard
Définition 3.4. (Application contractante)
Soit Aune application de Vdans V. On dit que Aest contractante s’il existe un réel αstrictement
inférieur à 1 tel que
∀u, v ∈V, kA(u)−A(v)kV≤αku−vkV.
Attention! Ce n’est pas la même chose que:
∀u, v ∈V, u 6=v, kA(u)−A(v)kV<ku−vkV.
La définition d’une application contractante est plus forte.
Remarque: Une application contractante est continue.
5