## [Teorema de Categoría de Baire](/es/node/62213) 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). ## Principio 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 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 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 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 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 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 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 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.