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).

Principio

La completitud o la local compacidad impiden que el espacio sea una unión numerable de conjuntos sin interior denso; la noción de grandeza por categoría fuerza a que los conjuntos genéricos (intersecciones numerables de abiertos densos) sigan siendo densos.

Demostración

En el espacio métrico completo R, la intersección de contablemente muchos abiertos densos (por ejemplo conjuntos que describen propiedades genéricas de funciones) es densa; en la práctica, prueba que funciones continuas 'típicas' cumplen ciertas propiedades mediante argumentos de Baire.

Aplicación incorrecta

Tratar las afirmaciones 'casi siempre' de la medida como equivalentes a las genéricas por categoría o asumir que todo espacio topológico es de Baire; aplicar el teorema a espacios métricos incompletos sin local compacidad es erróneo.

Consecuencia

Establece que muchas propiedades deseables son genéricas (valen en un G-delta denso) en espacios de funciones y contextos completos, fundamentando pruebas de existencia por categoría y argumentos sobre comportamiento típico en análisis y dinámica.

Inversión

La situación opuesta es la de un espacio magro (una unión numerable de conjuntos sin interior denso), que muestra el fracaso de la grandeza genérica; aparecen ejemplos en subespacios patológicos o construcciones por uniones numerables de cerrados sin interior.

Límite

Se aplica bajo completitud (espacios métricos completos) o localmente compacto + Hausdorff; puede fallar en espacios métricos o topológicos arbitrarios, y el comportamiento de productos o en dimensión infinita complica las aplicaciones directas.

Tensión semántica

Hay tensión entre categoría y medida como nociones de 'conjunto grande': la grandeza por categoría (comeager) puede diferir de la grandeza medida y conduce a distintas nociones de tipicidad en análisis.

Síntesis

El Teorema de Categoría de Baire afirma que en espacios métricos completos o localmente compactos de Hausdorff la noción de grandeza por categoría se preserva ante intersecciones numerables, haciendo robustas las propiedades genéricas y posibilitando potentes argumentos de existencia.