 ##  [Completación](/es/node/60226) 

 Definición

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

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

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

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

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

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

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

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

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.