# Fonction de Baire

En mathématiques, les fonctions de Baire sont des fonctions obtenues à partir des fonctions continues par répétition transfinie de l'opération consistant à effectuer des limites simples de suites de fonctions.
Elles furent introduites par René Baire. Un ensemble de Baire (en) est un ensemble dont la fonction indicatrice est une fonction de Baire (de classe quelconque).

## Classification des fonctions de Baire
### Définition standard

Les fonctions de Baire de classe $\alpha$, pour un ordinal $\alpha$ au plus dénombrable, forment un espace vectoriel de fonctions réelles définies sur un espace topologique, défini comme suit :
* les fonctions de classe de Baire 0 sont les fonctions continues ;
* les fonctions de classe de Baire $\alpha$ sont les limites simples de suites de fonctions de classes de Baire strictement inférieures à $\alpha$.
Les fonctions de Baire sont les fonctions qui sont de classe $\alpha$ pour un certain $\alpha$ (< ω₁).
Henri Lebesgue a démontré (pour des fonctions définies sur un segment) que toute classe de Baire pour un ordinal dénombrable contient des fonctions qui ne sont pas d'une classe inférieure, et qu'il existe des fonctions n'appartenant à aucune classe.
Toute limite uniforme d'une suite de fonctions réelles de classe $\alpha$ est de classe $\alpha$.

### Autres définitions

Certains auteurs donnent une définition plus contraignante, en excluant les fonctions de classe strictement inférieure à $n$ des fonctions de classe $n$ lorsque $n$ est fini ; on perd alors la structure d'espace vectoriel.
Andreï Kolmogorov, quant à lui, propose une définition légèrement modifiée pour les fonctions à paramètres dans $\mathbb {R} ^{N}$, en ne s’autorisant à partir que des fonctions polynomiales (en un nombre fini de variables). Ces deux définitions sont équivalentes :
* D’une part, toute fonction polynomiale est continue, donc de classe 0 au sens standard ;
* D’autre part si f est continue sur $\mathbb {R} ^{N}$, on peut appliquer le théorème de Stone-Weierstraß pour trouver une suite de fonctions $(f_{n})_{n\in \mathbb {N} }$, telle que $f_{n}$ soit à distance $2^{-n}$ au plus de $f$ sur le cube de Hilbert $[-n,n]^{\mathbb {N} }$, compact d’après le théorème de Tychonov ; $f$ en est alors limite simple.
Aussi, par une récurrence transfinie immédiate une fonction de classe $n$ au sens de Kolmogorov l’est aussi selon notre définition standard, tandis qu’une fonction de classe $n$ au sens standard est de classe $n+1$ au sens de Kolomogorov. Par conséquent, les fonctions de Baire au sens standard et au sens de Kolmogorov sont les mêmes.
De façon plus élémentaire (n’ayant pas recours à une généralisation si forte du théorème de Weierstraß ni au théorème de Tychonov), il est possible de montrer que les fonctions de Baire au sens usuel le sont au sens de Kolmogorov en deux temps : d’abord, en appliquant le même raisonnement aux $\mathbb {R} ^{N}$ pour montrer que toute fonction continue d’un nombre fini de variable réelle est de classe 1 au sens de Kolmogorov, puis $\mathbb {R} ^{N}$ étant métrisable par la distance $d(u,v):=\sup _{n\in \mathbb {N} }[\min(|u_{n}-v_{n}|,2^{-n})]$, approcher $f$ par les fonctions $f_{n}:u\mapsto f(u_{0},\cdots ,u_{n},0,\cdots ,0,\cdots )$ (identifiées à des fonctions d’un nombre fini de variables), montrant qu’elle est de classe 2.

## Classe de Baire 1

Les fonctions de classe de Baire 1 sont les limites simples de suites de fonctions continues.
Exemples :
* la dérivée de toute fonction dérivable est de classe 1. Un exemple de fonction dérivable à dérivée discontinue est la fonction valant $x^{2}\sin(1/x)$ en tout point $x\neq 0$, et $0$ en $0$. Une somme de série de fonctions de ce type peut même fournir une fonction dérivable dont la dérivée est discontinue sur une partie dense. Cependant, les points de continuité de cette dérivée forment un G$_δ$ dense ;
* la fonction indicatrice de l'ensemble des entiers ;
* la fonction de Thomae. Elle possède un ensemble dense de discontinuités, à savoir l'ensemble des rationnels ;
* la fonction indicatrice de tout fermé $F$ d'un espace métrique. Elle est approchable par les fonctions continues $g_{n}:x\mapsto \max(0,1-nd(x,F))$.
Le théorème de caractérisation de Baire énonce que pour une fonction $f$ définie sur un espace métrique complet $X$ et à valeurs dans un espace de Banach, les trois conditions suivantes sont équivalentes :
* $f$ est de classe de Baire 1 ;
* pour tout sous-ensemble compact non vide $K$ de $X$, la restriction de $f$ à $K$ possède un point de continuité ($K$ étant muni de la topologie induite) ;
* pour tout fermé non vide $F$ de $X$, la restriction de $f$ à $F$ possède un point de continuité.
Par un autre théorème de Baire, pour toute fonction de classe de Baire 1, les points de continuité forment un G$_δ$ comaigre.

## Classe de Baire 2

Un exemple d'une telle fonction qui n'est pas de classe 1 est donné par la fonction de Dirichlet (l'indicatrice de l'ensemble des rationnels), qui n'est continue nulle part.