El proceso de adjoinar los límites de sucesiones tipo Cauchy (o elementos determinados por límites inversos asociados a una filtración o topología) a un objeto algebraico de modo que el objeto resultante sea completo respecto de la topología o filtración dada.

Principio

Completar añadiendo formalmente los límites necesarios para que las sucesiones de Cauchy converjan; equivalentemente tomar un límite inverso apropiado o un cociente por la intersección de vecindarios de cero para imponer la completitud y la propiedad universal frente a aplicaciones continuas.

Demostración

Dado un anillo conmutativo A y un ideal I, la completación I-ádica à = lim← A/I^n se obtiene añadiendo sucesiones compatibles de representantes de clases; para A = Z con I = (p), la completación p-ádica produce los enteros p-ádicos Z_p.

Aplicación incorrecta

Aplicar la completación sin asegurar primero que la topología es separada (no Hausdorff) y luego identificar la completación con un subobjeto del original —esto puede confundir el objeto completado con el original y generar errores con nilpotentes.

Consecuencia

El objeto completado satisface la propiedad de completitud elegida y una propiedad universal para mapas continuos o filtrados; bajo hipótesis de finitud, las completaciones suelen preservar propiedades de exactitud y permiten técnicas analíticas (series formales).

Inversión

La inversa es pasar de un objeto completo a un subobjeto denso o al objeto no completo original olvidando los puntos límite; se pierde la universalidad y la convergencia de las sucesiones de Cauchy.

Límite

La completación requiere una topología o filtración especificada (métrica, I-ádica, graduada); sin ese dato no es intrínseca. Las completaciones pueden no preservar finitud, integralidad o reducido sin hipótesis adicionales (Noetheriano, separado).

Tensión semántica

La completación está próxima al cierre topológico pero difiere: el cierre añade puntos límite dentro de un mismo ambiente, mientras que la completación suele construir un nuevo objeto que contiene límites formales ausentes del original; la completación puede cambiar invariantes algebraicos que el cierre no altera necesariamente.

Síntesis

La completación es el procedimiento canónico de añadir los límites formales impuestos por una topología o filtración para obtener un objeto algebraico completo con una propiedad universal, controlando las condiciones de separación y finitud.