Compacidad

La compacidad es la abstracción topológica de la finitud: un espacio es compacto cuando cada cubierta abierta tiene una subcubierta finita, una propiedad que convierte muchos problemas infinitos en finitos.

Definition

Un espacio topológico es compacto si cada colección de conjuntos abiertos cuya unión es todo el espacio (una cubierta abierta) admite una subcolección finita que aún cubre el espacio.

Scope

Este tema define la compacidad mediante cubiertas abiertas y desarrolla sus formas equivalentes y relacionadas —compacidad por punto límite, compacidad secuencial y compacidad numerable— y sus relaciones bajo supuestos de numerabilidad y metrizabilidad. Cubre las consecuencias de la compacidad (las imágenes continuas de espacios compactos son compactas, las funciones reales continuas alcanzan extremos, los subconjuntos compactos de espacios de Hausdorff son cerrados), la caracterización de Heine-Borel en el espacio euclidiano y el teorema de Tychonoff de que los productos de espacios compactos son compactos. Se incluyen la compacidad local y las compactificaciones.

Core questions

• ¿Por qué la definición de cubierta abierta es la abstracción correcta de la finitud en lugar de la acotación o los límites secuenciales?
• ¿Cuándo coinciden la compacidad secuencial, por punto límite y por cubierta abierta, y cuándo divergen?
• ¿Cómo se propaga la compacidad a través de mapas continuos, productos y subespacios?
• ¿Qué hace que el teorema de Tychonoff —y su dependencia del axioma de elección— sea central para la topología general?

Key concepts

• Cubiertas abiertas y subcubiertas finitas
• Compacidad secuencial, por punto límite y numerable
• Teorema de Heine-Borel en el espacio euclidiano
• Teorema de Tychonoff para productos arbitrarios
• Compacidad local y compactificación de un punto

Clinical relevance

La compacidad subyace a los resultados de existencia en todas las matemáticas: el logro de extremos (teorema del valor extremo), la existencia de subredes convergentes, los operadores compactos en el análisis funcional y el cierre de módulos y espacios de parámetros en geometría.

History

La noción surgió del teorema de Heine-Borel sobre intervalos cerrados y acotados; la definición moderna de cubierta abierta se abstrajo en la década de 1920, y el teorema de Tychonoff de 1930 sobre productos estableció la compacidad como una propiedad robustamente preservada bajo productos arbitrarios, equivalente en fuerza al axioma de elección.

Key figures

• Eduard Heine
• Émile Borel
• Andrey Tychonoff

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

¿Es compacto lo mismo que cerrado y acotado?

Solo en el espacio euclidiano de dimensión finita, donde el teorema de Heine-Borel los hace equivalentes. En espacios métricos y topológicos generales, los conjuntos cerrados y acotados no tienen por qué ser compactos.

¿Por qué el teorema de Tychonoff necesita el axioma de elección?

Demostrar que un producto arbitrario (posiblemente incontable) de espacios compactos es compacto es lógicamente equivalente al axioma de elección, por lo que el teorema no puede establecerse sin alguna forma de elección.