Topologie générale/Propriété de Baire
On dit qu'un espace topologique est un espace de Baire si dans cet espace, toute intersection dénombrable d'ouverts denses est dense.
- Tout espace topologique complètement métrisable (c'est-à-dire sous-jacent à un espace métrique complet) est de Baire.
- Tout espace localement compact est de Baire.
- Tout ouvert d'un espace de Baire est de Baire (pour la topologie induite).