Proceso de adición de puntos límite, puntos ideales o estructura de frontera a un espacio topológico o geométrico para obtener un espacio compacto que codifique el comportamiento 'en el infinito' y permita argumentos basados en la compacidad.

Principio

Introducir añadidos mínimos o estructurados (puntos, extremos, estratos de frontera) y una topología que haga compacto el espacio extendido mientras refleja propiedades relevantes de convergencia o extensión de funciones, medidas o flujos en el espacio original.

Demostración

La compactificación por un punto de R^n añade un único punto en el infinito y hace que el espacio resultante sea homeomorfo a S^n; en geometría algebraica, la compactificación proyectiva embebe una variedad afín en el espacio proyectivo de modo que los límites de familias polinomiales corresponden a puntos en el divisor añadido en el infinito. Escenario ilustrativo: usar compactificación para extraer medidas límite de una sucesión de traslaciones reconociendo que toda sucesión ahora tiene un punto de acumulación en el espacio compactificado.

Aplicación incorrecta

Suponer que una compactificación elegida preserva estructura métrica, suave o algebraica sin verificación; por ejemplo, tratar la compactificación por un punto como si preservara la estructura diferenciable en variedades no compactas o esperar que una compactificación sea única o canónica para todos los propósitos.

Consecuencia

Una compactificación correcta proporciona un marco para aplicar teoremas de compacidad (Arzelà–Ascoli, Prokhorov, Rellich), estudiar invariantes asintóticos y traducir el 'escape al infinito' en fenómenos de frontera susceptibles de análisis y clasificación.

Inversión

La inversión es la descompactificación o eliminación de puntos ideales: centrarse en la variedad o espacio no compacto original y estudiar el comportamiento sin añadir puntos límite, afrontando así la no compacidad en estimaciones funcionales o pruebas de existencia.

Límite

Cubre compactificaciones topológicas, métricas, geométricas y algebraicas pero excluye completaciones puramente formales que no codifiquen la geometría asintótica; no todas las propiedades (p. ej. suavidad, metrizabilidad) sobreviven en toda compactificación y las elecciones deben ser explícitas.

Tensión semántica

Tensión entre diferentes compactificaciones (un punto vs Stone–Čech vs proyectiva vs boreliana) cuyos objetivos difieren: compacidad topológica mínima frente a preservación de estructura algebraica o analítica — hay que elegir según el problema.

Síntesis

La compactificación es la ampliación deliberada de un espacio añadiendo puntos límite/ideales y una topología para que secuencias o familias que escaparían al infinito adquieran límites, permitiendo técnicas basadas en la compacidad y reconociendo compensaciones sobre qué estructuras se conservan.