Théorème de la limite simple de Baire
En mathématiques, le théorème de la limite simple de Baire est un 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. Il est fortement lié au théorème de Baire.
Énoncé
Une forme simplifiée courante de l'énoncé est :
Si une suite de fonctions continues de ℝ dans ℝ converge simplement vers une fonction f, alors f est continue sur un ensemble dense de réels.
La version générale utilise le vocabulaire suivant :
- une limite simple d'une suite de fonctions continues est appelée une fonction de classe de Baire 1 ;
- une partie est dite maigre si elle est incluse dans une union dénombrable de fermés d'intérieurs vides. Son complémentaire est dit comaigre ;
- un Fσ est une union dénombrable de fermés.
L'ensemble des points de discontinuité d'une application de ℝ dans ℝ est toujours un Fσ.
« Théorème (Baire)[1] — Soient X et Y deux espaces métrisables, avec Y séparable, et f : X → Y une fonction de classe de Baire 1. Alors, le Fσ des points de discontinuité de f est maigre. »
La forme simplifiée est un corollaire de ce théorème car :
- dans un espace métrique complet, tout comaigre est dense (d'après le théorème de Baire) ;
- ℝ est complet et séparable.
Démonstration
D'après les hypothèses, f est également de classe de Borel 1, c'est-à-dire que pour tout ouvert V de Y, f−1(V) est un Fσ.
Soit (Vn)n une base dénombrable d'ouverts de Y. En un point x, la fonction f est continue si et seulement si, pour tout ouvert Vn contenant f(x), f−1(Vn) est un voisinage de x, donc f est discontinue si et seulement si x appartient à l'un des f−1(Vn) sans appartenir à son intérieur. Autrement dit : l'ensemble D des points de discontinuité de f est la réunion des f−1(Vn)\int(f−1(Vn)).
Or chaque f−1(Vn) est un Fσ, donc chaque f−1(Vn)\int(f−1(Vn)) aussi : il est réunion d'une suite (Fn,k)k de fermés. Puisqu'il est d'intérieur vide, ces fermés le sont également donc D, union dénombrable de fermés d'intérieurs vides, est maigre.
Exemples d'utilisation
- Si une fonction est une dérivée, c'est-à-dire qu'il existe dérivable telle que , alors est la limite simple de la suite de fonctions définie parOn en déduit donc que toute fonction dérivée est continue sur un ensemble dense de réels.
- La fonction de Dirichlet, étant discontinue en tout point, ne peut être la limite d'une suite de fonctions continues pour la convergence simple.
Contexte historique
En 1905, René Baire écrit un mémoire sur les fonctions discontinues[2]. Alors que la limite d'une suite de fonctions continues convergeant uniformément est elle-même continue, il n'en est pas de même[3] si la suite de fonctions continues converge simplement. Baire se donne pour but de caractériser les fonctions discontinues qui sont limites d'une suite de fonctions continues pour la convergence simple. Pour cela, il utilise les notions très avancées à l'époque d'ensemble dérivé, de nombre ordinal, de récurrence transfinie, d'ensemble parfait, d'ensemble nulle part dense et de première catégorie. Il parvient à montrer l'équivalence suivante :
Une fonction f est limite simple d'une suite de fonctions continues sur un intervalle [a, b] si et seulement si, pour tout ensemble parfait P inclus dans [a, b], la restriction de f à P admet un ensemble dense dans P de points de continuité.
L'énoncé du théorème de la limite simple de Baire est un cas particulier de la condition nécessaire, dans le cas où P est égal à l'intervalle entier.
Notes et références
- ↑ (en) Alexander S. Kechris, Classical Descriptive Set Theory, Springer, coll. « GTM » (no 156), (lire en ligne), p. 193, th. 24.14.
- ↑ René Baire, Leçons sur les fonctions discontinues, Gauthier-Villars (1905), rééd. Jacques Gabay (1995).
- ↑ Contrairement à ce qu'avait cru démontrer Augustin Louis Cauchy, Cours d'analyse de l'École royale polytechnique, (lire en ligne), 1re partie (Analyse algébrique), chap. VI, p. 131-132. Voir Nicolas Bourbaki, Éléments d'histoire des mathématiques [détail des éditions], p. 257, aperçu sur Google Livres.
Bibliographie
- Gilles Godefroy, « Le lemme de Baire » (Université d'été Animath, Saint-Flour, 2004), Brochure de l'APMEP no 168, 2005, p. 188-203
- (en) Russel A. Gordon, The Integrals of Lebesgue, Denjoy, Perron and Henstock, AMS, (lire en ligne), p. 73-80
Portail de l'analyse