Una propiedad topológica: un espacio es compacto si toda cubierta abierta admite una subcubierta finita; en espacios métricos suele ser equivalente a la compacidad secuencial y, en entornos euclidianos, a ser cerrado y acotado.

Principio

Una restricción de tipo finitud que evita la fuga al infinito y permite extraer subsecuencias convergentes y el logro de extremos para funciones continuas.

Demostración

Todo subconjunto cerrado y acotado de R^n es compacto: cualquier cubierta abierta tiene una subcubierta finita (propiedad de Heine–Borel) y las funciones continuas sobre él alcanzan máximos y mínimos.

Aplicación incorrecta

Tratar cerrado y acotado como sinónimo de compacto en espacios de funciones de dimensión infinita donde conjuntos cerrados y acotados pueden no ser compactos.

Consecuencia

La compacidad garantiza propiedades de puntos límite, el logro de extremos por continuidad y la precompactación de imágenes bajo aplicaciones continuas.

Inversión

La no compacidad permite secuencias sin subsecuencias convergentes (escapan u oscilar), de modo que funciones continuas no necesariamente alcanzan cotas y los ínfimos/supremos pueden no realizarse.

Límite

Una noción puramente topológica; las equivalencias con compacidad secuencial o cerrado-y-acotado existen sólo con estructura adicional (métrica, euclidiana). Excluye finitud en sentido medible o tightness probabilística salvo relación explícita.

Tensión semántica

A menudo se contrasta con completitud: la completitud concierne al comportamiento de Cauchy respecto a una métrica, mientras que la compacidad impone finitud global de cubiertas; son propiedades independientes en general.

Síntesis

La compacidad es una condición de finitud topológica que asegura que las cubiertas se reducen a subcubiertas finitas, permitiendo extraer subsecuencias convergentes y obligando a que las imágenes continuas presenten un comportamiento controlado (p. ej., alcanzar extremos).