El teorema de categorías de Baire o simplemente teorema de Baire es una herramienta importante en topología general y en análisis funcional.
El teorema tiene dos formas, cada una de las cuales da condiciones suficientes para que un espacio topológico sea un espacio de Baire.
La versión para espacios métricos completos fue demostrada por René-Louis Baire en su tesis doctoral de 1899.
Un espacio de Baire es un espacio topológico con la propiedad siguiente: para cada colección numerable de conjuntos abiertos densos
Tenga en cuenta que ninguna de estas afirmaciones implica la otra, ya que hay espacios métricos completos que no son localmente compactos (los números irracionales con la métrica se define a continuación; también, cualquier espacio de Banach de dimensión infinita), y hay espacios de Hausdorff localmente compactos que no son metrizables (por ejemplo, cualquier producto no numerable de espacios de Hausdorff compactos no triviales, también, varios espacios de funciones utilizados en el análisis funcional, la incontable espacio Fort).
Ver Steen y Seebach en las referencias siguientes.
Esta formulación es equivalente a BCT1 y a veces es más útil en aplicaciones.
También: si un espacio métrico completo no vacío es la unión numerable de conjuntos cerrados, entonces uno de estos conjuntos cerrados tiene interior no vacío.
Las pruebas de BCT1 y BCT2 arbitrarias para espacios métricos completos requieren alguna forma de axioma de elección, y de hecho BCT1 es equivalente a más de ZF una forma débil del axioma de elección llamado el axioma de opciones dependientes.
[1] La forma restringida del teorema de Baire categoría en la que también está el espacio métrico completo supone que es separable es demostrable en ZF sin principios selección adicionales.
[2] Esta forma restringida se aplica en particular a la recta real, el espacio de Baire ω ω, y el espacio de Cantor 2 ω. BCT1 se utiliza en el análisis funcional de probar el teorema de la aplicación abierta , el teorema del grafo cerrado y el principio de acotación uniforme .
BCT1 también muestra que todo espacio métrico completo sin puntos aislados es no numerable .
(Si X es un espacio métrico completo numerable sin puntos aislados, a continuación, cada singleton {x} en la que X es denso en ninguna parte , y por lo tanto X es de primera categoría en sí mismo.)
En particular, esto demuestra que el conjunto de todos los números reales es no numerable.
BCT1 muestra que cada uno de los siguientes es un espacio de Baire: Por BCT2, cada Hausdorff de dimensión finita colector es un espacio de Baire, ya que es localmente compacto y Hausdorff.
Esto es así incluso para los colectores no paracompact (de ahí nonmetrizable) como la línea de tiempo .
La siguiente es una demostración estándar que un espacio pseudométrico completo
Queremos demostrar que la intersección
Un conjunto es denso si y solo si cualquier otro subconjunto abierto no vacío lo interseca.
De modo que para demostrar que una intersección de conjuntos es densa es suficiente con demostrar que cualquier abierto no vacío
abierto no vacío, se construyen dos sucesiones
es denso, tiene intersección no nula con
, y dado que los dos conjuntos son abiertos, su intersección también y por tanto existen
{\displaystyle \scriptstyle B(x,r)}
{\displaystyle \scriptstyle {\overline {B}}(x,r)}
denotan respectivamente la bola abierta y cerrada de centro
es un abierto no vacío y
es denso, podemos usar el mismo razonamiento para encontrar
Por este procedimiento se construyen las sucesiones
y que consideramos las bolas cerradas,