## [Compacidad](/es/node/59672) 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.