Théorème de Baire
Un article de Wikipédia, l'encyclopédie libre.
Un espace topologique est dit de Baire (du nom du mathématicien René 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.
[modifier] Théorème de Baire (dit aussi Lemme de Baire)
- 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.
Dans ce qui suit, int(A) désigne l'intérieur d'une partie A de E.
- Soit une suite d'ouverts denses dans E localement compact. Soit V un ouvert quelconque (non vide); nous voulons montrer que :
rencontre cet ouvert. Comme E est localement compact, on peut sans perte de généralité supposer que cet ouvert est relativement compact (ie d'adhérence compacte).
Puisque A1 est dense, il rencontre V : soit . Ce dernier ensemble, intersection de deux ouverts, est ouvert. Il existe donc un voisinage compact de x1 (car il existe un système fondamental de voisinages compacts). Une fois U1 choisi, est un ouvert non vide. Il existe donc un compact .
En itérant cette construction, on obtient une suite de compacts avec .
Or, et l'intersection des Un est non vide. En effet, les Uj sont des parties compactes de ; si leur intersection était vide, il en serait de même pour une certaine suite finie extraite (propriété de Borel-Lebesgue). Or, les Un sont une suite décroissante d'ouverts non vides donc cela est impossible. Finalement, , ce qui prouve le résultat.
- Dans le cas où E est un espace métrique complet, le raisonnement est analogue. Soit V une boule fermée centrée en et de rayon strictement positif. Il existe une suite de boules fermées de centre xn et de rayon inférieur à telles que avec . 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 et , ce qui prouve le résultat.
[modifier] Quelques applications du lemme de Baire
- Analyse fonctionnelle
- Connexité du tipi de Cantor
- Théorème de superposition de Kolmogorov
- Caractérisation des polynômes réels : Si f est une fonction telle que , alors f est un polynôme (noter l'inversion de quantificateurs avec la caractérisation évidente ). Ici, f(n) désigne la dérivée n-ième de f.
- La boite à Baire (BwataBaire) est 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 (uniformisation...).
[modifier] Liens externes
- un texte de Gilles Godefroy, spécialiste du lemme de Baire.