Un espace métrique dans lequel toute suite de Cauchy converge vers un point de l’espace (de façon équivalente, tout filet de Cauchy converge si l’on travaille avec des filets) ; les limites des suites de Cauchy appartiennent toujours à l’espace.

Principe

La complétude assure que les limites d’approximations de plus en plus précises existent à l’intérieur de l’espace, de sorte que les procédés itératifs ou de passage à la limite ne « s’échappent » pas de la structure métrique ambiante.

Démonstration

Les nombres réels R avec la métrique usuelle sont complets : toute suite de Cauchy de réels converge vers un réel. Les rationnels Q ne sont pas complets : il existe des suites de Cauchy (par exemple des approximations de √2) qui n’ont pas de limite dans Q. Un sous‑ensemble fermé d’un espace métrique complet est complet.

Mauvaise application

Confondre complétude et compacité, ou supposer que la complétude se conserve pour tout sous‑espace (seuls les sous‑espaces fermés héritent de la complétude). Supposer qu’une métrique est complète sans vérifier la convergence des suites de Cauchy ou la complétude de la uniformité associée.

Conséquence

La complétude permet d’appliquer des théorèmes du point fixe (principe du point fixe de Banach), garantit l’existence de limites pour des algorithmes itératifs et autorise la construction de complétions (immerger densément un espace dans un espace complet).

Inversion

Un espace métrique incomplet contient des suites de Cauchy qui ne convergent pas dans l’espace ; compléter l’espace exige d’adjoindre des points limites (sa complétion).

Limite

S’applique aux espaces métriques (et plus généralement aux espaces uniformes) ; la complétude dépend de la métrique ou de la structure uniforme choisie et n’est pas purement topologique. Les espaces euclidiens de dimension finie sont complets ; certains espaces normés de dimension infinie peuvent être incomplets.

Tension sémantique

La complétude peut être confondue avec la fermeture ou la compacité ; la fermeture est une notion topologique locale tandis que la complétude est globale et dépend de la métrique, et la compacité implique complétude plus totalité bornée dans les espaces métriques.

Synthèse

Espace Métrique Complet = un cadre métrique où toute suite d’approximations de plus en plus précises a sa limite à l’intérieur de l’espace, garantissant la stabilité des procédés limites et permettant l’usage d’outils analytiques reposant sur l’existence de limites.