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.

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'après les hypothèses, f est également de classe de Borel 1, c'est-à-dire que pour tout ouvert V de Y, f⁻¹(V) est un F_σ.

Soit (V_n)_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 V_n contenant f(x), f⁻¹(V_n) est un voisinage de x, donc f est discontinue si et seulement si x appartient à l'un des f⁻¹(V_n) sans appartenir à son intérieur. Autrement dit : l'ensemble D des points de discontinuité de f est la réunion des f⁻¹(V_n)\int(f⁻¹(V_n)).

Or chaque f⁻¹(V_n) est un F_σ, donc chaque f⁻¹(V_n)\int(f⁻¹(V_n)) aussi : il est réunion d'une suite (F_n,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.

• Si une fonction ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ est une dérivée, c'est-à-dire qu'il existe ${\displaystyle g:\mathbb {R} \to \mathbb {R} }$ dérivable telle que ${\displaystyle g'=f}$, alors ${\displaystyle f}$ est la limite simple de la suite de fonctions ${\displaystyle (f_{n})}$ définie par${\displaystyle f_{n}(x)=n\left(g\left(x+{\frac {1}{n}}\right)-g(x)\right).}$On 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.

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.

• Gilles Godefroy, « Le lemme de Baire » (Université d'été Animath, Saint-Flour, 2004), Brochure de l'APMEP n^o 168, 2005, p. 188-203
• (en) Russel A. Gordon, The Integrals of Lebesgue, Denjoy, Perron and Henstock, AMS, 1994 (lire en ligne), p. 73-80

• Portail de l'analyse