Dans toute la suite, (E, ∥ ∥) est un espace vectoriel normé (e.v.n.).

Suites de Cauchy

La notion générale de suite de Cauchy à valeurs dans un espace métrique se particularise à un e.v.n., avec la définition suivante :

Définition : suite de Cauchy

Une suite ${\displaystyle (u_{n})}$ d'éléments de E est dite de Cauchy si :

${\displaystyle \forall \varepsilon >0\quad \exists n\in \mathbb {N} \quad \forall p,q\in \mathbb {N} \quad p,q\geq n\Rightarrow \|u_{q}-u_{p}\|<\varepsilon }$.

Voici deux propriétés vraies dans tout espace métrique :

Propriétés

• Toute suite de Cauchy est bornée.
• Toute suite convergente est de Cauchy.

Espace de Banach

Définition : espace de Banach

• E est dit complet si, dans E, toute suite de Cauchy est convergente.
• On appelle espace de Banach tout espace vectoriel normé complet.

Exemple d'espace de Banach

ℝⁿ est complet pour la norme ∥ ∥_p, pour tout p ∈ [1, +∞] (donc en fait pour toutes les normes sur cet espace car, comme nous le verrons au chapitre suivant, toutes sont équivalentes).

Exemples d'espaces non complets

• L'exemple classique d'espace métrique non complet est ℚ (muni de la distance usuelle).
• Pour trouver un exemple d'espace vectoriel normé (sur ℝ) non complet, il faut sortir des sentiers battus puisque d'après l'exemple ci-dessus, les e.v.n. réels de dimension finie sont complets. Mais en fait, tout e.v.n. réel de dimension dénombrable est non complet. Plus concrètement : ${\displaystyle \mathbb {R} [X]}$ vu comme sous-e.v.n. de ${\displaystyle C([0,1])}$ (l'espace des fonctions continues de ${\displaystyle [0,1]}$ dans ${\displaystyle \mathbb {R} }$, muni de la norme de la convergence uniforme), est (comme ℚ dans ℝ) dense (théorème de Stone-Weierstrass) donc non fermé donc non complet.

Pour toute série convergente à valeurs dans E, on a une majoration de la norme de la somme (par passage à la limite dans la majoration évidente des normes des sommes partielles) :

${\displaystyle \left\|\sum _{n=0}^{+\infty }x_{n}\right\|\leq \sum _{n=0}^{+\infty }\|x_{n}\|}$,

mais ce majorant peut être ${\displaystyle +\infty }$.

Une série à valeurs dans E est dite « absolument convergente » si elle vérifie : ${\displaystyle \sum \|x_{n}\|<+\infty }$.

Cette appellation est trompeuse car — contrairement au cas où E est de dimension finie — si E est un e.v.n. quelconque, une telle série ne converge pas nécessairement dans E ; l'implication qu'elle sous-entend est en fait une caractérisation des espaces de Banach :

Caractérisation

E est complet si et seulement si, dans E, toute série absolument convergente est convergente.

Théorèmes

Dans un espace de Banach, on dispose, comme dans tout espace métrique complet, du théorème des fermés emboîtés, du critère de Cauchy pour une fonction et du théorème du point fixe de Picard-Banach.