## [Espacio Métrico Completo](/es/node/61617) Definición 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 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 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 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 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 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 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 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 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.