Teorema de categorías de Baire
Baire category theorem
- Fecha
- 1899 · fiabilidad alta
- Lugar
- París, Francia
- Autoría
- René-Louis Baire
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Resultado central de topología general y análisis funcional que da condiciones suficientes para que un espacio topológico sea de Baire, es decir, que la intersección de infinitas uniones abiertas densas siga siendo densa.
Osgood lo probó independientemente en 1897 para la recta real; Baire lo demostró en 1899 para el espacio euclídeo.
A qué dio paso
- Demostraciones de teoremas fundamentales del análisis funcional
- Generalización a espacios completamente metrizables por Hausdorff en 1914