Fonction mesurable

Si F est l'ensemble des réels et si ℱ est sa tribu borélienne, on dira simplement que f est une fonction mesurable sur (E, ℰ).

La tribu borélienne sur ℝ étant engendrée (par exemple) par l'ensemble des demi-droites de la forme ]a , +∞[, le lemme de transport assure que f est mesurable sur (E, ℰ) si et seulement si l'image réciproque par f de chacune de ces demi-droites est dans ℰ. Par exemple : toute fonction réelle d'une variable réelle qui est monotone est borélienne.

Pour les fonctions à valeurs dans la droite achevée ℝ = ℝ ∪ {–∞, +∞}, un résultat analogue se vérifie avec les intervalles ]a , +∞].

Soient E un espace mesurable et (f_n)_n une suite de fonctions mesurables de E dans ℝ (ou même dans ℝ). Alors la fonction f définie par f = sup_n f_n (à valeurs dans ℝ) est mesurable. En effet, l'image réciproque par f de ]a , +∞] peut s'écrire

${\displaystyle \bigcup _{n\in \mathbb {N} }\{x\in E\mid f_{n}(x)>a\}}$

et cet ensemble est une réunion dénombrable d'éléments de ℰ, donc un ensemble mesurable.

Par passage aux opposés, on en déduit que, si les fonctions f_n de E dans ℝ sont toutes mesurables, alors la fonction inf_n f_n l'est également.

On peut alors montrer que les fonctions limites inférieure et supérieure liminf_{n → ∞} f_n et limsup_{n → ∞} f_n sont, elles aussi, mesurables.

En particulier :

• les quatre dérivées de Dini d'une fonction mesurable de ℝ dans ℝ sont elles-mêmes mesurables ;
• toute limite simple de fonctions mesurables est mesurable (ce qui d'ailleurs se démontre directement et plus généralement pour des fonctions à valeurs dans un espace métrique – mais pas à valeurs dans un espace topologique quelconque^[1]) ;
• toute fonction dérivée est mesurable.

Si (E, ℰ) est un espace métrisable séparable muni de sa tribu borélienne, toute fonction mesurable sur E (à valeurs réelles) et bornée est limite monotone de fonctions bornées continues^[2].

Une fonction f : ℝ → ℝ est dite Lebesgue-mesurable si elle est (ℒ, ℬ)-mesurable, où ℒ et ℬ désignent respectivement la tribu de Lebesgue et la tribu borélienne sur ℝ. Si f est continue alors elle est borélienne (c.-à-d. (ℬ, ℬ)-mesurable) et a fortiori Lebesgue-mesurable mais (en supposant l'axiome du choix) elle n'est pas nécessairement (ℒ, ℒ)-mesurable. Pour construire un contre-exemple, on peut utiliser l'escalier de Cantor^[3],[4].

Si f est borélienne et bijective et si sa bijection réciproque a la propriété N de Luzin, alors f est (ℒ, ℒ)-mesurable.

Théorème de la limite simple de Baire

• Portail de l'analyse