Théorème de Baire - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Introduction - Énoncé - Quelques applications

Introduction

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.

É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.

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 un système fondamental de voisinages compacts.

Soient $(U_n)_{n\in\N}$ une suite d'ouverts denses dans E et V un ouvert non vide quelconque ; nous voulons montrer que l'intersection des U_n rencontre V.

Puisque U₀ est dense, il rencontre V. L'ouvert $U_0\cap V$ étant non vide, il contient un compact K₀ d'intérieur non vide. Une fois K₀ choisi, est un ouvert non vide, donc contient un compact K₁ d'intérieur non vide.

En itérant cette construction, on obtient une suite décroissante de compacts non vides K_n tels que et .

L'intersection de ces compacts est donc incluse dans , or cette intersection des K_n est non vide d'après la propriété de Borel-Lebesgue. En effet, les $K n$ sont des fermés du compact K₀ 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 B_n, de centres x_n et de rayons r_n, avec 0<r_n<1/(n+1), telles que et .

La suite des $B n$ étant décroissante, on a . La suite $(x_n)_{n\in\mathbb N}$ est donc une suite de Cauchy : elle converge donc vers un élément $x$ qui appartient à toutes les $B n$ d'où , ce qui prouve le résultat.

3. Soient O un ouvert d'un espace de Baire E et (U_n) une suite d'ouverts de O denses dans O, autrement dit chaque U_n est un ouvert de E, inclus dans O, et dont l'adhérence (dans E) contient O. Soit U l'intersection des U_n, il s'agit de prouver que son adhérence contient O. Posons et . Alors les V_n 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.