## [Teorema de Subbase de Alexander](/es/node/62212) Definición 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 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 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 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 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 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 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 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 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.