 ##  [Teorema de Categoría de Baire](/index.php/es/node/60315) 

  ##  [Teorema de Categoría de Baire](https://mathlogic.quantumdictionary.io/es/node/60316) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definición

Teorema de la topología y el análisis funcional que afirma que en un espacio métrico completo (o más generalmente en un espacio de Baire) la intersección numerable de conjuntos abiertos densos es densa; equivalente, el espacio no puede expresarse como unión numerable de conjuntos de interior vacío.

 
 ##  [Teorema de Categoría de Baire](https://puremath.quantumdictionary.io/es/node/62213) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/index.php/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definición

El teorema afirma que los espacios métricos completos y los espacios localmente compactos de Hausdorff son espacios de Baire: la intersección numerable de abiertos densos es densa (equivalente a que los abiertos no vacíos no son de primera categoría/meagrosos).