Un espacio topológico es compacto si toda cubierta del espacio por miembros de una subbase admite una subcubierta finita: equivalentemente, si toda cubierta por abiertos subbásicos tiene una subcubierta finita entonces toda cubierta abierta tiene una subcubierta finita (compacidad).

Principio

La compacidad puede verificarse comprobando la propiedad de subcubierta finita solo para cubiertas formadas por una subbase generadora en lugar de todas las cubiertas abiertas; las cubiertas subbásicas codifican la información combinatoria suficiente de la topología para detectar la compacidad.

Demostración

En la demostración del teorema de Tychonoff se usa la subbase producto formada por conjuntos cilindro: mostrar que toda cubierta del producto por estos subbásicos tiene una subcubierta finita permite deducir la compacidad del producto si cada factor es compacto.

Aplicación incorrecta

Intentar aplicar el teorema con una familia que no sea subbase de la topología, o comprobar solo intersecciones finitas de subbásicos sin asegurarse de que generan la topología, lo que puede llevar a conclusiones erróneas sobre compacidad.

Consecuencia

Reduce muchas pruebas de compacidad a verificaciones combinatorias sobre una familia generadora manejable; permite demostraciones elegantes de compacidad en productos y simplifica la verificación en construcciones definidas por subbases.

Inversión

Si un espacio es compacto, trivialmente toda cubierta por elementos de cualquier subbase tendrá una subcubierta finita; el poder del teorema está en que la condición recíproca (comprobar cubiertas subbásicas) basta para establecer la compacidad.

Límite

Se aplica cuando se dispone de una subbase explícita que genera la topología; es una herramienta para verificar compacidad, no un reemplazo de otras hipótesis estructurales (p. ej. localmente compacto, Hausdorff) cuando estas son pertinentes.

Tensión semántica

Existe tensión con los argumentos basados en bases o en redes/filtros: la perspectiva de la subbase cambia el refinamiento local por una familia generadora global, que puede ser más eficiente o menos precisa según el contexto.

Síntesis

El Teorema de Subbase de Alexander reduce la condición de compacidad a comprobaciones sobre cubiertas por una subbase generadora: si toda cubierta subbásica admite una subcubierta finita, entonces el espacio es compacto, principio explotado en pruebas clave de compacidad.