El procedimiento de adjuntar límites de sucesiones, redes de Cauchy o filtros de Cauchy más generales a un objeto métrico, uniforme o algebraico para obtener un objeto completo; instancias comunes incluyen la completación de Cauchy de espacios métricos y la completación I-ádica de anillos.

Principio

La completación es un proceso universal que produce un objeto completo junto con una inclusión densa (o inicial) desde el original; con frecuencia se caracteriza como adjunto por la izquierda o por la derecha (reflector o coreflector) según el contexto y el orden de las condiciones de completitud.

Demostración

Ejemplo: la completación de Cauchy de los racionales da los números reales al adjuntar los límites de sucesiones de Cauchy; en geometría algebraica la completación I-ádica de un anillo lo completa respecto de la topología definida por potencias de un ideal, afectando la convergencia de series formales.

Aplicación incorrecta

Asumir que la completación preserva secuencias exactas, finitud u otras propiedades sin comprobarlo (no tiene por qué ser exacta), o completar respecto a una topología inapropiada puede destruir estructura algebraica o categórica importante.

Consecuencia

La completación proporciona modelos completos canónicos en los que existen límites y el comportamiento de Cauchy converge; permite métodos analíticos, geometría formal y el paso a completaciones que reflejan fenómenos locales o límite.

Inversión

La idea inversa es la localización/inversión: en lugar de añadir límites se pueden cocientar o invertir elementos para simplificar estructura; conceptualmente la completación y la localización suelen desempeñar roles complementarios (límites frente a denominadores).

Límite

La completación depende de una noción elegida de 'Cauchyidad' o topología; no toda completación se comporta bien algebraicamente y las completaciones pueden no preservar propiedades como la noetherianidad o la presentación finita salvo que se impongan hipótesis adicionales.

Tensión semántica

Hay tensión entre ver la completación como cierre bajo límites (analítico/topológico) y como proceso formal algebraico (completación adica); confundirlas oculta diferencias en exactitud, continuidad y preservación de invariantes algebraicos.

Síntesis

La completación adjunta de forma universal los puntos límite faltantes necesarios para la convergencia de Cauchy, produciendo un objeto completo que contiene densamente al original; su comportamiento algebraico o analítico depende de la topología elegida y de hipótesis adicionales de finitud.