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.
De façon équivalente, un espace topologique est de Baire si
- toute union dénombrable de fermés d'intérieurs vides est d'intérieur vide,
ou encore, si
- le seul ouvert maigre est le vide
(« maigre » signifiant : contenu dans une réunion dénombrable de fermés qui sont tous d'intérieur vide).
- Tout espace localement compact est de Baire.
- Tout espace topologique complètement métrisable (c'est-à-dire sous-jacent à un espace métrique complet) est de Baire.
- Tout ouvert d'un espace de Baire est de Baire (pour la topologie induite).
Dans ce qui suit, int(A) désigne l'intérieur d'une partie A de E.
1. Soit E un espace localement compact. Nous utiliserons que dans E, tout ouvert non vide contient un compact d'intérieur non vide. En effet, tout ouvert contenant un point x contient un voisinage compact de x, puisque x possède une base de voisinages compacts.
Soient une suite d'ouverts denses dans E et V un ouvert non vide quelconque ; nous voulons montrer que l'intersection des Un rencontre V.
Puisque U0 est dense, il rencontre V. L'ouvert U0∩V étant non vide, il contient un compact K0 d'intérieur non vide. Une fois K0 choisi, U1∩int(K0) est un ouvert non vide, donc contient un compact K1 d'intérieur non vide.
En itérant cette construction, on obtient une suite décroissante de compacts non vides Kn tels que et .
Alors contient l'intersection des Kn qui (d'après le théorème des compacts emboités) est non vide, ce qui prouve le résultat.
2. Dans le cas où E est un espace métrique complet, le raisonnement est analogue en utilisant cette fois que dans un espace métrique, tout ouvert non vide contient une boule fermée de rayon strictement positif (donc d'intérieur non vide). On construit ainsi une suite décroissante de boules fermées Bn de rayon inférieur à 1/(n+1), telles que et .
Alors contient l'intersection des Bn, qui (d'après le théorème des fermés emboîtés) est non vide, ce qui prouve le résultat.
3. Soit O un ouvert d'un espace de Baire E. Tout ouvert maigre de O (pour la topologie induite) est aussi ouvert et maigre dans E, donc vide.