Definición
Propiedad topológica de un conjunto que significa que toda sucesión en el conjunto tiene una subsecuencia convergente cuyo límite pertenece al conjunto; equivalente en espacios métricos a la compacidad secuencial.
Principio
Principio
La compacidad codifica comportamiento de dimensión finita en contextos posiblemente infinitos: evita la fuga de masa al infinito y suministra subsecuencias convergentes, permitiendo argumentos de extracción y resultados de continuidad.
Demostración
Demostración
Heine–Borel: en R^n un subconjunto es compacto si y solo si es cerrado y acotado. En espacios de Banach de dimensión infinita la bola unidad no es compacta, y la compacidad de los empotramientos (Rellich) proporciona convergencia fuerte a partir de acotamiento y regularidad.
Aplicación incorrecta
Aplicación incorrecta
Suponer que acotamiento implica compacidad en espacios de dimensión infinita, o intercambiar compacidad secuencial con otras nociones de compacidad sin comprobar la topología del espacio.
Consecuencia
Consecuencia
Los conjuntos compactos aseguran existencia de puntos de acumulación y máximos/mínimos de funciones continuas, permiten argumentos de extracción diagonal para sucesiones de funciones y hacen que operadores continuos alcancen extremos.
Inversión
Inversión
La no compacidad permite sucesiones que escapan sin subsecuencia convergente (fuga de masa al infinito u oscilación a escalas finas), requiriendo herramientas como tightness, compacidad débil o concentración-compacidad.
Límite
Límite
La compacidad depende de la topología considerada; en espacios métricos la compacidad secuencial equivale a la compacidad, pero en espacios topológicos generales las variaciones (compacidad numerable, por puntos de acumulación) difieren.
Tensión semántica
Tensión semántica
La compacidad suele ponerse en contraste con la completitud y la acotación; mientras que en dimensiones finitas coinciden (con clausura), en dimensiones infinitas estos conceptos divergen y deben distinguirse de operadores compactos frente a conjuntos compactos.
Síntesis
Síntesis
La compacidad es la propiedad que impone convergencia por subsecuencias y comportamiento de tipo finito en un conjunto topológico, sustentando argumentos de existencia, continuidad y estabilidad donde puede fallar la convergencia directa.