Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

86 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Suites de Cauchy. Espace complet

suivant: Complété d'un espace métrique monter: Complétude précédent: Complétude Index

Suites de Cauchy. Espace complet

Définition [Suite de Cauchy] Une suite

dans un espace métrique

est dite suite de Cauchy si pour tout $\epsilon >0$ il existe un $N \in \mathbb{N}$ tel que $\forall n,m > N$ on a $d(x_n,x_m)<\epsilon$ .

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 $d(x,y)=\vert arctan(x)-arctan(y)\vert$ , la topologie sur $\mathbb{R}$ 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 $\bullet$ Etant donnée une suite , notons $X_n=\{x_k / k \geq n \}$ ; alors la suite est de Cauchy si et seulement si le diamètre de tend vers 0.
$\bullet$ Dans un espace métrique toute suite convergente est de Cauchy. $\bullet$ 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:

$\bullet$ les exemples de Banach donnés un peu plus loin.
$\bullet$ $C^k(\Omega)$ avec $\Omega$ un ouvert de $\mathbb{R}^n$ , 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:
$\bullet$ $\mathbb{R}$
$\bullet$ $\mathbb{R}^n$ muni d'une des normes suivantes:
- $(x_1,...,x_n) \mapsto \sum_{i=1}^n \vert x_i\vert$
- $(x_1,...,x_n) \mapsto \sqrt{\sum_{i=1}^n x_i^2}$
- $(x_1,...,x_n) \mapsto max_{i=1}^n \vert x_i\vert$
$\bullet$ L'ensemble des applications continues bornées d'un espace topologique dans $\mathbb{R}$ ou $\mathbb{C}$ , muni de la norme $f \mapsto sup_{x\in X} \vert f(x)\vert$
$\bullet$ Les espaces , comme on le verra en
$\bullet$ Si est un Banach et un espace vectoriel normé , alors ${\cal L}(E,F)$ (ensemble des fonctions linéaires continues de dans ) est un Banach (pour la norme $f \mapsto sup_{{\parallel}x {\parallel}=1} {\parallel}f(x) {\parallel}$ ).

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 :
$\bullet$ 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 .
$\bullet$ Toutes les normes sont équivalentes sur des $\mathbb{R}$ -espaces vectoriels de dimension finie.
$\bullet$ Deux normes sont équivalentes si et seulement si chacune d'elle est inférieure à une certaine constante multipliée par l'autre
$\bullet$ Un espace vectoriel normé de dimension finie est complet, et donc est un Banach.
$\bullet$ 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 $E_0 \times ... \times E_n$ peut être équipé d'une métrique définie par de l'une des formes suivantes (entre autres):
$\bullet$ $\sum_i d(x_i,y_i)$
$\bullet$ $\sqrt{\sum_i d(x_i,y_i)^2}$
$\bullet$ $\sqrt[p]{\sum_i d(x_i,y_i)^p}$
$\bullet$
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 $X_n={\overline \{x_k/k \geq n\}}$ ; 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 . $\sqcap$ $\sqcup$

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. $\sqcap$ $\sqcup$

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. $\sqcap$ $\sqcup$

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. $\sqcap$ $\sqcup$

Théorème Le corps $\mathbb{R}$ est complet pour sa métrique; de même $\mathbb{R}^n$ 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. $\sqcap$ $\sqcup$

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 $\overline A$ , 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. $\sqcap$ $\sqcup$

Définition [Série absolument convergente] Soit un espace vectoriel normé. dans est appelée une série absolument convergente si $\sum_{n\geq 0} \parallel x_n \parallel < + \infty$ .

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

$\displaystyle d(\sum_{i=0}^n x_i,\sum_{i=0}^m x_i)=\parallel \sum_{i=n+1}^m x_i \parallel$

$\displaystyle \leq \sum_{i=n+1}^m \parallel x_i \parallel$

$\displaystyle \leq \sum_{i=n+1}^{+\infty} \parallel x_i\parallel$

$\displaystyle \rightarrow 0$

Donc la suite $y_n = \sum_{i=0}^n x_i$ 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 $\parallel x_{m} - x_{n_k} \parallel \leq \frac1{2^k}$ pour $m \geq n_k$ ; 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. $\sqcap$ $\sqcup$

Théorème Si est normé et si est de Banach, alors l'espace normé ${\cal L}(E,F)$ est aussi de Banach.

Démonstration: Soit une suite de Cauchy dans ${\cal L}(E,F)$ . Pour tout $x\in E$ , on a $\parallel f_n(x) - f_m(x) \parallel \leq \parallel f_n - f_m \parallel.\parallel x \parallel$ , 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 $\epsilon >0$ . On choisit tel que $\parallel f_n-f_m\parallel \leq \epsilon$ , pour , et on considère de norme . En faisant tendre vers l'infini on obtient que $\forall n > N$ $\parallel f_n(x)-f(x)\parallel\leq \epsilon$ ; 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). $\sqcap$ $\sqcup$

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. $\sqcap$ $\sqcup$

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é. $\sqcap$ $\sqcup$
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 ${\parallel}f {\parallel}_\infty=sup_x {\parallel}f(x) {\parallel}_E$ .