Complétion métrique

Complétion métrique

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 aussi être définie pour des espaces uniformes, comme les groupes topologiques.

Sommaire

Exemples

  • Soit l'espace \mathbb 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 :
x1 = 1 et 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 à \mathbb Q. En fait elle converge vers le nombre irrationnel \sqrt{2}.
  • 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.
  • Les espaces vectoriels normés peuvent être complets ou pas ; ceux qui le sont sont appelés espaces de Banach. Tous les espaces vectoriels normés de dimension finie sur un corps complet sont complets.
  • L'espace \mathbb Q_p des nombres p-adiques muni de la distance p-adique est complet pour tout nombre premier p. Cet espace complète \mathbb Q avec la métrique p-adique tout comme \R complète \mathbb Q avec la métrique euclidienne.
  • Si S est un ensemble donné, l'ensemble S^{\mathbb 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 N où N 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

  • Un espace métrique (E,d) est complet si et seulement si l'intersection de toute suite décroissante de fermés bornés non vides Fn dont la suite des diamètres tend vers 0 a une intersection non vide (théorème des complets emboîtés).
  • Un sous-espace d'un espace complet est complet si et seulement s’il 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)\,
  • Tout produit fini d'espaces métriques complets est complet pour la distance induite.
  • Soit (E,\Vert\cdot\Vert) un espace vectoriel normé. Les propriétés suivantes sont équivalentes:
i) E est complet
ii) 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

où 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 topologiquement complet

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. L'ensemble des nombres réels, par exemple, est complet et homéomorphe à l'intervalle ]0,1[ muni de la topologie induite par la topologie usuelle de \mathbb Rqui n'est pas complet.

En topologie, un espace est considéré comme topologiquement complet s'il existe une métrique complète induisant la topologie de cet espace. Un tel espace est également appelé espace polonais.

Un tel espace est un cas particulier d'espace de Baire.

Exemple : c'est le cas de l'ensemble ]0,1[ qui n'est pas complet avec la distance usuelle, mais qui le devient avec la distance d(x,y) = | tan(πx − π / 2) − tan(πy − π / 2) | .

Autre acception du terme

L'épithète "complet" est parfois utilisé dans le sens suivant: un ensemble ordonné est dit complet si toute partie admet une borne supérieure (avec la convention que tout élément majore l'ensemble vide et donc que \sup(\emptyset)=\min(E)). Ceci est équivalent (voir ci-dessous) à ce que toute partie possède une borne inférieure (avec la convention opposée pour l'ensemble vide: \inf(\emptyset)=\max(E)). Par exemple, tout segment est un ensemble ordonné complet. En revanche, \mathbb{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, \mathbb{R} n'est pas achevé mais \overline{\mathbb{R}}=\mathbb{R} \cup \{-\infty, +\infty\} l'est, d'où son nom de droite réelle achevée. Un autre exemple est l'ensemble P(E) des parties d'un ensemble E avec pour ordre l'inclusion: la borne supérieure est la réunion et la borne inférieure l'intersection.


Démonstration

Soit (E, \leq) un ensemble ordonné achevé: toute partie de E possède une borne supérieure (y compris l'ensemble vide, ce qui impose que E ait un minimum). Soit A une partie de E et M l'ensemble de ses minorants. Soit c la borne supérieure de M (qui existe car E est achevé). Alors c=inf(A). En effet:

  • si A est vide, M=E et c=\max(E)=\inf(\emptyset)=\inf(A)
  • sinon: supposons que c n'est pas un minorant de A. Alors il existe un élément a de A tel que a<c. Par définition de la borne supérieure, il existe un élément m de M tel que a<m<c, ce qui est impossible car les éléments de M sont les minorants de A. c est donc un minorant de A.
  • soit d un minorant de A. Alors d appartient à M donc d \leq c. c est donc le plus grand minorant de A, i.e. c=inf(A).

L'implication réciproque se démontre de manière analogue.


Par ailleurs, un tel ensemble est un cas particulier de treillis complet. On dispose donc du théorème de Knaster-Tarski : toute application croissante d'un ensemble ordonné achevé dans lui-même possède un point fixe.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Espace complet ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Complétion (mathématiques) — Pour les articles homonymes, voir Complétion. Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, le mot « complétion » a des sens variés d un contexte à l autre. En topologie… …   Wikipédia en Français

  • Complétion — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. La complétion est l’action de rendre complet, attesté en français depuis le milieu du XXe siècle, probablement d’après l’anglais completion[1]. Le terme d …   Wikipédia en Français

  • Nombre P-Adique — En théorie des nombres, si p est un nombre premier, un nombre p adique est un objet mathématique qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais toujours finie à droite de la… …   Wikipédia en Français

  • Nombre p-adique — En mathématiques, et plus particulièrement en théorie des nombres, si p est un nombre premier, un nombre p adique est un objet qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais… …   Wikipédia en Français

  • Nombres p-adiques — Nombre p adique En théorie des nombres, si p est un nombre premier, un nombre p adique est un objet mathématique qui peut se concevoir comme une suite de chiffres en base p, éventuellement infinie à gauche de la virgule (mais toujours finie à… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • MÉTRIQUES (ESPACES) — La notion d’espace métrique, introduite en 1906 par M. Fréchet et développée peu après par F. Hausdorff, est directement issue d’une analyse des principales propriétés de la distance usuelle. L’extension aux espaces métriques des propriétés de… …   Encyclopédie Universelle

  • RÉELS (NOMBRES) — Par les différents adjectifs généralement accolés au substantif commun qu’est le nombre, la langue mathématique familière surprend et inquiète, car elle risque de susciter des confusions: nombres rationnels (d’autres nombres seraient donc sans… …   Encyclopédie Universelle

  • Complété d'un espace — 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… …   Wikipédia en Français

  • 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

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”