Un espacio métrico en el que toda sucesión de Cauchy converge a un punto del espacio (equivalente: toda red de Cauchy converge en la formulación con redes); los límites de sucesiones de Cauchy siempre pertenecen al espacio.

Principio

La completitud garantiza que los límites de aproximaciones arbitrariamente precisas existen dentro del espacio, de modo que procesos iterativos o de paso al límite no «escapan» de la estructura métrica.

Demostración

Los números reales R con la métrica usual son completos: toda sucesión de Cauchy de reales converge a un real. Los racionales Q no son completos porque existen sucesiones de Cauchy (por ejemplo aproximaciones de √2) que no tienen límite en Q. Subconjuntos cerrados de espacios métricos completos son completos.

Aplicación incorrecta

Confundir completitud con compacidad, o suponer que la completitud se conserva en cualquier subespacio (solo los subespacios cerrados la heredan). Asumir que una métrica es completa sin comprobar la convergencia de sucesiones de Cauchy o la completitud de la uniformidad asociada.

Consecuencia

La completitud permite aplicar teoremas del punto fijo (principio de contracción de Banach), asegura la existencia de límites para algoritmos iterativos y facilita la construcción de completaciones (inyectar densamente el espacio en uno completo).

Inversión

Un espacio métrico incompleto contiene sucesiones de Cauchy que no convergen en el espacio; completar el espacio requiere añadir los puntos límite faltantes (su completación).

Límite

Se aplica a espacios métricos y, en general, uniformes; la completitud depende de la métrica o la uniformidad elegida y no es una propiedad puramente topológica. Los espacios euclidianos de dimensión finita son completos; algunos espacios normados de dimensión infinita pueden ser incompletos.

Tensión semántica

La completitud puede confundirse con cerradura o compacidad; la cerradura es topológica, la completitud depende de la métrica, y la compacidad implica completitud junto con acotamiento total en espacios métricos.

Síntesis

Espacio Métrico Completo = un marco métrico en el que toda sucesión de aproximaciones cada vez más precisas tiene su límite en el propio espacio, garantizando la estabilidad de procesos límite y posibilitando herramientas analíticas basadas en existencia de límites.