- Théorème de Baire
-
Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire. Un espace topologique est dit de Baire si toute intersection dénombrable d'ouverts denses est dense. De façon équivalente, un espace topologique est de Baire si une union dénombrable de fermés d'intérieur vide est d'intérieur vide.
Sommaire
Énoncé
- Un espace topologique localement compact E est de Baire ;
- Un espace métrique complet (E,d) (notamment un espace de Banach) est de Baire ;
- Tout ouvert d'un espace de Baire est un espace de Baire.
DémonstrationDans 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 un système fondamental 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
étant non vide, il contient un compact K0 d'intérieur non vide. Une fois K0 choisi, 
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 
.L'intersection de ces compacts est donc incluse dans
, or cette intersection des Kn est non vide d'après la propriété de Borel-Lebesgue. En effet, les Kn sont des fermés du compact K0 et toute intersection d'un nombre fini d'entre eux est non vide (puisqu'ils forment une suite décroissante de parties non vides). Finalement, 
, 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 centres xn et de rayons rn, avec 0<rn<1/(n+1), telles que
et 
.La suite des Bn étant décroissante, on a
. La suite 
est donc une suite de Cauchy : elle converge donc vers un élément x qui appartient à toutes les Bn d'où 
, ce qui prouve le résultat.3. Soient O un ouvert d'un espace de Baire E et (Un) une suite d'ouverts de O denses dans O, autrement dit chaque Un est un ouvert de E, inclus dans O, et dont l'adhérence (dans E) contient O. Soit U l'intersection des Un, il s'agit de prouver que son adhérence contient O. Posons
et 
. Alors les Vn sont des ouverts denses de E, donc leur intersection est dense, autrement dit l'adhérence de U contient 
. Or ce dernier ensemble contient O, ce qui conclut.Quelques applications
- Analyse fonctionnelle :
- Théorèmes de l'application ouverte, du graphe fermé, de l'isomorphisme de Banach ;
- Théorème de Banach-Steinhaus ;
- Théorème de la limite simple de Baire ;
- Théorème de Baire-Brenef (voir le paragraphe Spectre et ensemble de valeurs propres) ;
- L'ensemble des fonctions nulle part dérivables contient un Gδ dense pour la norme de la convergence uniforme dans l'ensemble des fonctions continues sur un intervalle I.
- Connexité du tipi de Cantor (en) ;
- Théorème de superposition de Kolmogorov ;
- Caractérisation des polynômes réels[1],[2] : Si
est une fonction 
telle que 
, alors c'est un polynôme (on peut noter l'inversion de quantificateurs avec la caractérisation évidente 
). Ici, f(n) désigne la dérivée n-ième de f. - Un espace vectoriel normé réel n'est jamais complet s'il admet une base infinie dénombrable.
Notes et références
- Carominas et Sunyer Balaguer, Revista Mat. Hisp.-Amer., 4, n°14, (1954), p.26-43
- H. D. Brunk and R. P. Boas, Amer. Math. Monthly, 66, n°7 (Aug. - Sep., 1959), p. 599
Liens externes
- Gilles Godefroy, texte sur le théorème
- BwataBaire, un wiki qui se propose de recenser diverses applications du lemme de Baire, et de réfléchir aux relations qu'il entretient avec des phénomènes similaires.
Catégories :- Topologie générale
- Théorème de mathématiques
Wikimedia Foundation. 2010.
