Caracterización de los subconjuntos compactos del espacio euclidiano: un subconjunto de R^n es compacto si y solo si es cerrado y acotado.

Principio

En geometría euclidiana de dimensión finita, la compacidad topológica se reduce a las condiciones métricas de cerrado y acotamiento, de modo que la propiedad de subrecubrimiento finito se verifica por comprobaciones geométricas sencillas.

Demostración

El intervalo cerrado [0,1] en R es cerrado y acotado, por tanto compacto: toda cubierta abierta de [0,1] tiene una subcubierta finita. En cambio el intervalo abierto (0,1) es acotado pero no cerrado y no es compacto; por ejemplo la cubierta por intervalos (1/n,1) no admite subcubierta finita.

Aplicación incorrecta

Aplicar el criterio en espacios normados de dimensión infinita o en espacios métricos arbitrarios conduce al error: en muchos espacios de Banach de dimensión infinita una distancia cerrada y acotada no garantiza compacidad.

Consecuencia

Facilita la verificación de compacidad en R^n, justifica la existencia de subrecubrimientos finitos, la compacidad secuencial, la obtención de extremos por funciones continuas y numerosos resultados que dependen de la compacidad en dimensión finita.

Inversión

Los subconjuntos compactos de R^n son necesariamente cerrados y acotados, pero la implicación inversa (cerrado y acotado implica compacto) es específica de los espacios euclidianos de dimensión finita y no se cumple en espacios vectoriales topológicos generales.

Límite

Válido para los espacios euclidianos R^n y, en general, para espacios vectoriales normados de dimensión finita con la topología usual. No se aplica a espacios de Banach de dimensión infinita, topologías no métricas ni situaciones sin completitud o dimensión finita.

Tensión semántica

Existe tensión con nociones como la total acotación más completitud o la compacidad secuencial: en espacios métricos estos conceptos son equivalentes a la compacidad, mientras que Heine-Borel lo enuncia como cerrado+acotado en R^n.

Síntesis

En el vocabulario del análisis: el teorema de Heine-Borel identifica la compacidad en R^n con las condiciones geométricas elementales cerrado y acotado, proporcionando un atajo práctico para verificar compacidad en dimensión finita.