Espace complet


Espace complet

En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est-à-dire qu'elle converge dans M). La propriété de complétude dépend de la distance. Il est donc important de toujours préciser la distance que l'on prend quand on parle d'espace complet.

Intuitivement, un espace est complet s'il « n'a pas de trou », s'il « n'a aucun point manquant ». Par exemple, les nombres rationnels ne forment pas un espace complet, puisque \sqrt{2} n'y figure pas alors qu'il existe une suite de Cauchy de nombres rationnels ayant cette limite. Il est toujours possible de « remplir les trous » amenant ainsi à la complétion d'un espace donné.

La complétude peut être définie plus généralement pour les espaces uniformes, comme les groupes topologiques.

Sommaire

Exemples

  • Soit l'espace {}^\Q des nombres rationnels muni de la distance d(x,y) = |x - y|. Cet espace n'est pas complet. En effet, considérons la suite définie par :
x_0=2\qquad\text{et}\qquad x_{n+1} = {x_n \over 2} + {1 \over x_n}.
C'est une suite de Cauchy de nombres rationnels mais elle ne converge vers aucune limite appartenant à {}^\Q. En fait elle converge vers la racine carrée de 2, qui est un nombre irrationnel.
  • L'intervalle ouvert ]0,1[ muni de la distance d(x,y) = |x - y| n'est pas complet non plus. La suite \left({1\over 2}, {1\over 3}, {1\over 4}, {1\over 5} \ldots\right) est une suite de Cauchy mais elle n'a pas de limite dans l'intervalle.
  • L'ensemble ]0,1[ muni de la distance d(x,y)=\left|\tan \left(\pi x-\pi/2 \right)-\tan \left(\pi y-\pi/2 \right)\right| est complet.
  • L'intervalle réel fermé [0,1] muni de la distance usuelle est complet.
  • L'espace {}^{\Q_p} des nombres p-adiques muni de la distance p-adique est complet pour tout nombre premier p. Cet espace complète {}^\Q avec la métrique p-adique tout comme {}^\R complète {}^\Q avec la métrique euclidienne.
  • Si S est un ensemble donné, l'ensemble S^{\N} des suites de S devient un espace métrique complet si on définit la distance entre les suites (x_n)_{n\in\N} et (y_n)_{n\in\N} comme étant égale à 1\over NN est le plus petit indice pour lequel x_N \ne y_N, ou 0 si un tel indice n'existe pas.

Quelques théorèmes

  • Tout espace métrique compact est complet. En fait, un espace métrique est compact si et seulement s’il est complet et précompact.
  • Tout sous-espace fermé d'un espace complet est complet, et tout sous-espace complet d'un espace métrique (non nécessairement complet) est fermé.
  • Si X est un ensemble et M un espace métrique complet, alors l'ensemble B(X,M) des fonctions bornées de X dans M est un espace métrique complet. On définit la distance dans B(X,M) en termes de distance dans M :
d(f,g) := \sup\left\{\,d(f(x),g(x)) : x\in X \,\right\}.
  • Si X est un espace topologique et M un espace métrique complet, alors l'ensemble Cb(X,M) des fonctions continues bornées de X dans M est un sous-espace clos de B(X,M) et donc également complet.
  • Le théorème de Baire montre que tout espace métrique complet est un espace de Baire.
x_0\, quelconque
x_{n+1}=f(x_n)\,
  • Un espace vectoriel normé E est complet si et seulement si toute série normalement convergente d'éléments de E est convergente.

Complété d'un espace métrique

Pour tout espace métrique M, il est possible de construire un espace métrique complet M' (également noté \tilde M ou \hat M) qui contient M comme sous-espace dense. Il possède la propriété suivante : si N est un espace métrique complet quelconque et f est une fonction uniformément continue de M vers N, alors il existe une unique fonction uniformément continue f' de M' vers N qui prolonge f. M' est appelée complété de M.

Le complété de M peut être construit comme l'ensemble des classes d'équivalence des suites de Cauchy de M. Pour deux suites de Cauchy (u_n)_{n\in\N} et (v_n)_{n\in\N} de M, on définit alors la relation :

U\mathcal R V \Leftrightarrow \lim_{n \to \infty} d(u_n,v_n) = 0

d est la distance sur l'ensemble M. Cette relation est bien une relation d'équivalence. On note alors \tilde M son ensemble quotient.

Il s'agit alors de munir \tilde M d'une distance qui le rendra complet. Sur l'ensemble des suites de Cauchy, on définit l'application f qui, à deux suites de Cauchy U = (un) et V = (vn), associe le réel f(U,V) = \lim_{n \to \infty} d(u_n,v_n). Cette relation est bien une application car, les suites U et V étant de Cauchy, on peut prouver que la suite (d(un,vn)) est une suite de Cauchy de \R_+, donc une suite convergente (car \R_+, muni de la distance usuelle, est complet). Cette application vérifie toutes les propriétés d'une distance sauf une : f(U,V) = 0 n'implique pas forcément que U = V.

En revanche, de cette application, on peut induire une application sur l'ensemble quotient \tilde M, application qui, aux classes de U et V, notées \dot U et \dot V, associe d(\dot U,\dot V) = f(U,V). On démontre que cette définition est indépendante des représentants choisis et définit bien une distance sur \tilde M.

L'espace originel est plongé dans le nouvel espace par identification d'un élément x de M à la classe d'équivalence qui contient la suite constante de valeur x.

On démontre alors que l'espace \tilde M, muni de la distance d, est complet et que M est dense dans \tilde M.

La construction des nombres réels est un cas particulier; l'ensemble des nombres réels est le complété de l'ensemble des nombres rationnels, la valeur absolue usuelle étant utilisée comme distance. En utilisant d'autres notions de distance sur les nombres rationnels, on obtient d'autres ensembles, les nombres p-adiques.

Si cette procédure est appliquée à un espace vectoriel normé, on obtient un espace de Banach contenant l'espace original comme sous-espace dense. Appliquée à un espace préhilbertien, on obtient un espace de Hilbert.

Espace complètement métrisable

La complétude est une propriété métrique, mais pas topologique, ce qui signifie qu'un espace métrique complet peut être homéomorphe à un espace qui ne l'est pas. Par exemple, pour la distance usuelle, l'ensemble des nombres réels est complet, bien qu'homéomorphe à l'intervalle ]-1,1[ qui, lui, ne l'est pas.

Un espace topologique est dit complètement métrisable s'il existe une métrique complète induisant la topologie de cet espace. Un tel espace est un cas particulier d'espace de Baire.

Un espace séparable complètement métrisable est appelé espace polonais.

Exemple : c'est le cas de l'espace ]-1,1[ dont la topologie est induite par la distance usuelle, non complète, mais également par la distance d(x,y) = | tan(xπ / 2) − tan(yπ / 2) | , complète.

Autre acception du terme

Garrett Birkhoff a également introduit le sens suivant de l'épithète "complet" : un ensemble ordonné est dit complet si toute partie admet une borne supérieure (y compris l'ensemble vide, ce qui impose que E ait un minimum). Ceci est équivalent (voir ci-dessous) à ce que toute partie possède une borne inférieure (y compris l'ensemble vide, ce qui impose que E ait un maximum). Par exemple, tout segment est un ensemble ordonné complet. En revanche, {}^{\R} est complet pour la distance usuelle mais pas en tant qu'ensemble ordonné. Pour éviter toute confusion Bourbaki avait proposé le terme achevé, qui ne s'est pas imposé. Ainsi, {}^{\R} n'est pas achevé mais {}^{\overline{\R}=\R\cup \{-\infty, +\infty\}} l'est, d'où son nom de droite réelle achevée. Un autre exemple est l'ensemble E=P(X) des parties d'un ensemble X avec pour ordre l'inclusion : la borne supérieure est la réunion et la borne inférieure l'intersection.

Ainsi, les ensembles ordonnés complets au sens de Birkhoff sont exactement les treillis complets. On dispose donc du théorème de Knaster-Tarski : toute application croissante d'un ensemble ordonné complet dans lui-même possède un point fixe.

Bibliographie

  • Georges Skandalis, Topologie et analyse 3e année, Édition Dunod, Collection Sciences Sup, 2001
  • Garrett Birkhoff, Lattice Theory, A.M.S. Colloquium Publications, vol. 25, 3e éd. 1967 (1940)

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace complet de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Espace Complet — En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est à dire qu elle converge dans M). La propriété de complétude dépend de la distance. Il est donc important de toujours …   Wikipédia en Français

  • Espace Vectoriel Normé — Un espace vectoriel normé est une structure mathématique qui développe des propriétés géométriques de distance compatible avec les opérations de l algèbre linéaire. Développée notamment par David Hilbert et Stefan Banach, cette notion est très… …   Wikipédia en Français

  • Espace normé — Espace vectoriel normé Un espace vectoriel normé est une structure mathématique qui développe des propriétés géométriques de distance compatible avec les opérations de l algèbre linéaire. Développée notamment par David Hilbert et Stefan Banach,… …   Wikipédia en Français

  • Espace vectoriel norme — Espace vectoriel normé Un espace vectoriel normé est une structure mathématique qui développe des propriétés géométriques de distance compatible avec les opérations de l algèbre linéaire. Développée notamment par David Hilbert et Stefan Banach,… …   Wikipédia en Français

  • Espace Préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Le cas… …   Wikipédia en Français

  • Espace prehilbertien — Espace préhilbertien En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la… …   Wikipédia en Français

  • Espace Euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… …   Wikipédia en Français

  • Espace euclidien (algèbre linéaire) — Espace euclidien En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique …   Wikipédia en Français

  • Espace Polonais — Un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout… …   Wikipédia en Français

  • Espace De Banach — Un espace de Banach est un espace vectoriel normé complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de… …   Wikipédia en Français