Définition [Suite de Cauchy]
Une suite dans un espace métrique est dite suite de Cauchy si pour tout
il existe un
tel que
on a
.
La notion de suite de Cauchy est une notion métrique et non une notion topologique. Même si deux distances sont équivalentes, on ne peut être sûr que les suites de Cauchy soient les mêmes pour les deux métriques. Par exemple avec
, la topologie sur
est la même que pour la topologie usuelle, mais la suite n'est pas de Cauchy pour la métrique usuelle, alors qu'elle est de Cauchy pour cette métrique.
Proposition Etant donnée une suite , notons
; alors la suite
est de Cauchy si et seulement si le diamètre de tend vers 0.
Dans un espace métrique toute suite convergente est de Cauchy.
L'image d'une suite de Cauchy par une application uniformément continue est une suite de Cauchy.
Définition [Espace complet]
Un espace métrique est complet, si toute suite de Cauchy de a une limite dans .
Quelques exemples d'espaces complets:
les exemples de Banach donnés un peu plus loin.
avec un ouvert de
, voir partie .
Une propriété fondamentale des espaces complets est le théorème du point fixe .
Définition [Espace de Banach]
Un espace de Banach est un espace vectoriel normé complet.
Un isomorphisme entre l'espace de Banach et l'espace de Banach est un isomorphisme des espaces vectoriels normés sous-jacents.
Quelques exemples d'espaces de Banach:
muni d'une des normes suivantes:
-
-
-
L'ensemble des applications continues bornées d'un espace topologique dans
ou
,
muni de la norme
Les espaces , comme on le verra en Si est un Banach et un espace vectoriel normé , alors
(ensemble des fonctions linéaires continues de dans ) est un Banach (pour la norme
).
On rappelle que deux normes sont dites équivalentes si elles définissent la même topologie.
Tout d'abord quelques propriétés des Banachs issues directement de la partie :
Un isomorphisme algébrique (i.e. un isomorphisme au sens des espaces vectoriels ) continu entre espaces de Banach est un isomorphisme d'espaces vectoriels normés .
Toutes les normes sont équivalentes sur des
-espaces vectoriels de dimension finie.
Deux normes sont équivalentes si et seulement si chacune d'elle est inférieure à une certaine constante multipliée par l'autre
Un espace vectoriel normé de dimension finie est complet, et donc est un Banach.
Les compacts d'un espace vectoriel normé de dimension finie sont les fermés bornés.
Proposition
Etant donnés des espaces métriques en nombre fini, le produit
peut être équipé d'une métrique définie par
de l'une des formes suivantes (entre autres):
Ce sont bien des distances et elles sont équivalentes entre elles. La topologie ainsi définie est la topologie produit, que l'on a définie plus tôt.
Proposition
Un espace métrique est complet si et seulement si l'intersection de toute suite décroissante de fermés non vides de diamètre tendant vers 0 est non vide et donc réduite à un point.
Démonstration:Si l'espace métrique est complet, alors on considère appartenant au -ième fermé; la suite est de Cauchy, et converge donc vers un point; quel que soit , ce point est limite d'une suite de points de ; donc il appartient à puisque est fermé. En outre, le diamètre tendant vers 0, le diamètre de l'intersection est 0; donc il s'agit d'un seul point.
Réciproquement, étant donnée une suite de Cauchy , on considère la suite des avec
; cette suite vérifie les hypothèses, donc l'intersection des est réduite à un point. On montre facilement que ce point est limite des .
Proposition
Un produit fini d'espaces métriques complets, muni d'une métrique
comme défini ci-dessus, est complet.
Réciproquement un produit fini d'espaces métriques, muni d'une
métrique comme défini ci-dessus, est complet
si et seulement si chacun des facteurs l'est.
Démonstration:La démonstration (pas très difficile) est laissée au lecteur.
Proposition
Si une suite de Cauchy a une valeur d'adhérence, elle est convergente.
Démonstration:On considère une suite extraite qui converge, et on montre facilement que la suite tend vers la même limite.
Corollaire
Un espace métrique compact est complet.
Démonstration:S'il est compact, toute suite a une valeur d'adhérence (par le théorème de Bolzano-Weierstrass ); il suffit alors d'appliquer la proposition précédente.
Théorème
Le corps
est complet pour sa métrique; de même
muni d'une norme est complet pour cette norme.
Plus généralement un espace normé de dimension finie est complet.
Démonstration:On considère une norme sur de dimension finie et une suite de Cauchy . On montre que pour un certain la suite est à valeurs dans la boule de centre et de rayon à partir du rang , directement par la définition d'une suite de Cauchy; on a donc une suite dans un compact, et donc la suite de Cauchy converge vers un élément de cette boule.
On trouvera par exemple une utilisation de ce théorème dans .
Proposition
Un sous-ensemble d'un métrique complet est complet si et seulement si il est fermé.
Démonstration:Soit un sous-ensemble fermé de complet. Si est une suite de Cauchy dans , c'est aussi une suite de Cauchy dans , donc elle converge. Si est fermé la limite est dans . Réciproquement, on suppose dans
, et on choisit une suite qui tend vers ; et on remarque que est de Cauchy et donc converge vers une limite dans puisque est complet.
Définition [Série absolument convergente]
Soit un espace vectoriel normé. dans est appelée une série absolument convergente si
.
Théorème Un espace vectoriel normé est complet si et seulement si toute série absolument convergente est convergente dans .
Démonstration:Supposons complet.
Soit une série absolument convergente. Pour on a
Donc la suite
est de Cauchy, et donc converge.
Réciproquement supposons maintenant que toute série absolument convergente converge. On se donne une suite de Cauchy. On en extrait une sous-suite, et
pour
; la série correspondante est absolument convergente; il est facile d'en déduire que la suite a une valeur d'adhérence, et donc qu'elle converge.
Théorème
Si est normé et si est de Banach, alors l'espace normé
est aussi de Banach.
Démonstration:Soit une suite de Cauchy dans
. Pour tout , on a
, donc la suite est de Cauchy dans ; elle converge vers un élément que l'on note . Il est clair que est linéaire. On fixe alors
. On choisit tel que
, pour , et on considère de norme . En faisant tendre vers l'infini on obtient que
; donc est bornée sur la boule unité, et donc est continue. On obtient avec la même formule la convergence de vers au sens de la norme. En résumé, la preuve s'obtient en montrant la convergence simple (facile), puis en montrant que la limite est linéaire (trivial), puis qu'elle est continue (y'a qu'à l'écrire et ça roule).
Corollaire
Le dual d'un espace normé est un espace de Banach.
Démonstration:Par application immédiate du théorème précédent.
Voir le corollaire .
Théorème Si est un espace compact et un espace complet, alors l'espace des applications continues de dans est métrique complet pour la distance
.
Démonstration:La compacité de permet de vérifier que la fonction est bien définie; elle est clairement effectivement une métrique. Etant donnée une suite de Cauchy dans l'espace considéré, on montre facilement que cette suite converge simplement vers une certaine fonction ; en utilisant la continuité de et la convergence uniforme on conclut facilement à la continuité de . La convergence uniforme des découle facilement du critère de Cauchy dans l'espace considéré. Voir par exemple le théorème . On peut citer aussi le fait que l'espace des applications continues d'un espace compact dans un espace de Banach est de Banach pour la norme
.
Exercice 15
Si
sont des espaces vectoriels normés, avec de Banach, montrer que l'espace normé
est aussi de Banach.