- Théorème de la limite simple de Banach
-
Théorème de la limite simple de Baire
En mathématiques, le théorème de la limite simple de Baire est un surprenant résultat d'analyse sur la continuité d'une limite simple d'une suite de fonctions continues. Il est nommé ainsi en l'honneur du mathématicien français René Baire. C'est une conséquence de la propriété de Baire.
Énoncé
Soit (fn) une suite de fonctions continues de dans . Si elle converge simplement vers une fonction f, alors f est continue sur un ensemble dense de réels.
DémonstrationPour tous entiers positifs n et k, on pose
- .
On note In,k l'intérieur de Fn,k. On note
- .
On va prouver que O est dense dans et que f est continue en tout point de O.
- 1) Fn,k est un fermé et .
Pour tous entiers m, p et k, les fonctions fm et fp sont continues donc l'ensemble
est un fermé et Fn,k est fermé comme intersection de fermés.
Pour tout réel x, la suite (fn(x)) converge simplement vers f(x). C'est donc une suite de Cauchy et il existe un entier n tel que
- .
Ceci assure qu'il existe un entier n tel que x appartient à Fn,k.
- 2) Pour tout entier k, Ok est un ouvert dense dans .
L'ensemble Ok est un ouvert car c'est une union d'ouverts. Pour montrer que Ok est dense dans , il suffit de prouver que pour tout réel x et pour tout réel positif h, l'intervalle [x − h;x + h] rencontre Ok.
On considère la suite dénombrable de fermés . Son union pour donne l'intervalle [x − h;x + h] dont l'intérieur est non vide. Par la contraposée du théorème de Baire, on en déduit qu'il existe un entier n tel que soit d'intérieur non vide (En effet, le propriété de Baire peut encore s'énoncer : une union dénombrable de fermés d'intérieurs vides est d'intérieur vide. Par contraposée, puisque l'union des fermés est d'intérieur non vide, il existe un fermé dont l'intérieur est non vide). Cela signifie que [x − h,x + h] rencontre In,k donc rencontre Ok.
- 3) est dense dans .
Par application immédiate du théorème de Baire, une intersection dénombrable d'ouverts denses dans est dense dans .
- 4) Pour tout réel x de O, f est continue en x.
Pour tout x de O, x appartient à Ok pour tout entier k. Donc pour tout entier k, il existe un entier n tel que x appartient à In,k.
Pour tout y de In,k et tout entier p supérieur ou égal à n, on a
- .
Par passage à la limite, on obtient
- .
En particulier
- .
La fonction fn étant continue en x, il existe un ouvert U contenant x tel que, pour tout réel y de U, on ait
- .
Donc, pour le réel x et pour tout réel y de l'ouvert , on a les trois inégalités
- .
Par sommation, on obtient
ce qui assure la continuité de f en x.
Exemple d'utilisation
Si une fonction est une dérivée, c'est-à-dire qu'il existe dérivable telle que g' = f, alors f est la limite simple de la suite de fonction (gn) définie par
On en déduit donc que toute fonction dérivée est continue sur un ensemble dense de réels.
Liens et sources
- [pdf] Lemme de Baire Par G. Godefroy.
- Portail des mathématiques
Catégories : Théorème de mathématiques | Analyse réelle
Wikimedia Foundation. 2010.