Feuille d’exercices n

L3 Int´egration

Feuille d’exercices n

3

Exercice 1. (mesure image)

Soient (Ω,B, µ) un espace mesur´e et (Ω⁰,B⁰) un espace mesurable. Soit ´egalement φ : Ω → Ω⁰ une application mesurable. Montrer qu’on d´efinit une mesure µ_φ sur (Ω⁰,B⁰) en posant, pour tout A ∈ B⁰ : µ_φ(A) = µ(φ⁻¹(A)). On dit que µ_φ est la mesure image deµ par l’applicationφ.

Exercice 2. Soit (Ω,B) un espace mesurable, et soient Ω₁, . . . ,Ω_d des espaces m´etriques s´eparables. Montrer qu’une applicationf : Ω→Ω₁×· · ·×Ω_dest mesurable si et seulement si ses composantesf₁, . . . , f_d le sont.

Exercice 3. Soit f : R → R. On suppose qu’il existe un ensemble d´enombrable D⊂Rtel que la restriction def `aR\Dest continue. Montrer quef est bor´elienne.

Exercice 4. Montrer qu’il existe des fonctions f : R → R bor´eliennes qui ne sont continues en aucun point.

Exercice 5. Soit Ω un ensemble, et soit (A_i)_i∈I une partition d´enombrable de Ω.

On note B la tribu engendr´ee par la famille (A_i)i∈I.

(1) Montrer queB est exactement ´egale `a l’ensemble des A∈ P(Ω) qui peuvent s’´ecrire sous la formeA=S

i∈JA_i, o`uJ est un sous-ensemble deI(d´ependant deA).

(2) Montrer qu’une fonction f : Ω → R est B-mesurable si et seulement si elle est constante sur chaque ensembleA_i.

Exercice 6. Soit Ω un espace topologique, et soitf : Ω→Rune fonction arbitraire.

On note C_f l’ensemble des points de continuit´e de f.

(1) Montrer qu’un point x ∈ Ω appartient `a Cf si et seulement si la propri´et´e suivante est v´erifi´ee : pour tout ε > 0, il existe un voisinage ouvert O de x tel que ∀u, v ∈O : |f(u)−f(v)| ≤ε.

(2) Montrer queC_f est un ensemble bor´elien. Plus pr´ecis´ement, montrer que C_f est une intersection d´enombrable d’ouverts.

1

2

Exercice 7. On dit qu’une fonction f : R² →R ests´epar´ement continue si elle est continue par rapport `a chaque variable s´epar´ement; autrement dit : pour tout x∈R fix´e, la fonction y7→f(x, y) est continue, et pour touty ∈R fix´e, la fonction x7→f(x, y) est continue.

(1) Montrer qu’il existe des fonctions s´epar´ement continues qui ne sont pas con- tinues.

(2) Soit f : R² → R s´epar´ement continue. On note I la famille de tous les intervalles ferm´es I ⊂ R `a extr´emit´es rationnelles. Montrer que pour α ∈ R fix´e et pour (x, y)∈R², on a l’´equivalence suivante:

f(x, y)> α⇐⇒ ∃k ∈N^∗∃I ∈ I

x∈I et∀u∈I : f(u, y)≥α+ 1 k

. (3) Montrer que toute fonction s´epar´ement continue est bor´elienne.

Exercice 8. Dans tout l’exercice, (Y, d) est un espace m´etrique.

(1) Soit (y_n) une suite de points de Y convergeant vers un point y∈Y. Montrer que pour tout ouvertO ⊂Y, on a l’´equivalence suivante :

y∈O ⇐⇒ ∃ε >0∃N ∈N ∀p≥N : dist(yp, Y \O)≥ε .

(2) Soit (Ω,B) un espace mesurable, et soit (f_n) est une suite de fonctions mesurables de Ω dans Y. On suppose que la suite (f_n) converge simplement vers une fonction f : Ω→Y. Montrer quef est mesurable.

Exercice 9. Montrer que si f :R →R est d´erivable en tout point, alors f⁰ est une fonction bor´elienne.

Exercice 10. Soit (Ω,B) un espace mesurable, et soit (f_n) une suite de fonctions mesurables sur Ω, `a valeurs dans un espace m´etrique (Y, d). Soit ´egalement b ∈ Y. Montrer que l’ensembleA ={x∈Ω; limn→∞fn(x) = b} est mesurable (i.e.A∈B).

Exercice 11. Soit (Ω,B) un espace mesurable, et soit (f_n)_n∈Nune suite de fonctions mesurables sur Ω, `a valeurs r´eelles. On note A l’ensemble des points x∈Ω tels que la suite (f_n(x)) converge dans R. Montrer que l’ensemble A est mesurable.

Exercice 12. Soit (Ω,B, µ) un espace mesur´e, et soit (f_n) une suite de fonctions mesurables sur Ω, `a valeurs complexes. On suppose que pour tout ε > 0, la s´erie Pµ

|f_n| > ε}

est convergente. Montrer que (f_n) tend vers 0 presque partout.

(Utiliser le lemme de Borel-Cantelli).

3

Exercice 13. (tribu engendr´ee par une application)

Soit Ω un ensemble, et soit φ : Ω → R. On pose B_φ = {φ⁻¹(A); A ∈ B(R)}, o`u B(R) est la tribu bor´elienne de R.

(1) Montrer que Bφ est une tribu. Plus pr´ecis´ement, montrer que Bφ est la plus petite tribu sur Ω rendant φ mesurable. On dit que Bφ est la tribu engendr´ee par φ.

(2) Montrer que sig :R→R est bor´elienne, alorsg ◦φ estB_φ-mesurable (3) Montrer inversement que si f : Ω→ R est B_φ-mesurable, alors il existe une

fonction bor´elienneg :R→Rtelle quef =g◦φ. (On pourra commencer par le cas o`uf est une fonction ´etag´ee, puis traiter le cas d’une fonction positive, et enfin le cas g´en´eral).

(4) Dans cette question, on prend Ω =Retφ(x) = |x|. Montrer qu’une fonction f :R→R estB_φ-mesurable si et seulement si elle est bor´elienne et paire.

Exercice 14. (th´eor`eme de r´ecurrence de Poincar´e)

Soit (Ω,B, µ) un espace mesur´e, avec µ(Ω) < ∞. Soit ´egalement T : Ω → Ω une application mesurable. On suppose que T pr´eserve la mesure µ, ce qui signifie qu’on a µ(T⁻¹(A)) =µ(A) pour tout A∈B.

(1) Soit A∈B, et soitp∈N^∗. On pose

F ={x∈A; ∀n≥p : Tⁿ(x)6∈A}, o`u T<sup>n</sup>=T ◦ · · · ◦T est la n-i`eme it´er´ee de T.

(a) Montrer que les ensembles (T^kp)⁻¹(F),k ≥0, sont deux `a deux disjoints.

(Pour k < k⁰, on pourra ´ecrire T^k0p =T^(k0−k)p◦T^kp).

(b) Montrer qu’on a µ(F) = 0.

(2) Soit A ∈ B v´erifiant µ(A) >0. Montrer qu’il existe un point x ∈ A tel que Tⁿ(x)∈A pour une infinit´e d’entiersn.

Exercice 15. (th´eor`eme d’Egorov)

Soit (Ω,B, µ) un espace mesur´e, avec µ(Ω) = 1. Soit ´egalement (fn) une suite de fonctions mesurables sur Ω, `a valeurs r´eelles. On suppose que la suite (f_n) converge simplement vers une fonction f. Dans toute la suite, on fixe ε >0.

(1) Soit k∈N^∗. Pour n∈N, on pose

A_n =

x∈Ω; ∀p≥n : |f_p(x)−f(x)|< 1 k

.

Montrer qu’il existe un entiern_k tel que µ(A_nk)>1−2^−kε.

(2) Montrer qu’il existe un ensemble A ∈ B tel que µ(A) > 1−ε et tel que la suite (fn) converge uniform´ement sur A.

4

Exercice 16. (th´eor`eme de Lusin)

Soit Ω un espace m´etrique, et soitf : Ω→Rune fonction bor´elienne. Soit ´egalement µ une mesure bor´elienne sur Ω telle que µ(Ω) = 1. Le but de l’exercice est de d´emontrer le r´esultat suivant : pour tout ε > 0, il existe un ferm´e K_ε ⊂ Ω tel que µ(K_ε)>1−εet tel que la restriction def `aK<sub>ε</sub>est continue. On aura besoin d’utiliser le fait que la mesureµ estr´eguli`ere, au sens suivant : pour tout bor´elien A⊂Ω et pour tout η > 0, on peut trouver un ferm´e F tel que F ⊂ A et µ(F) > µ(A)−η.

Dans toute la suite, on fixe ε >0.

(1) Pour k ∈ N, on d´efinit une fonction ϕ_k : Ω → R de la fa¸con suivante : ϕ_k(x) =n_k(x) 2^−k, o`u n_k(x) est l’unique entier n∈Z tel quen2^−k ≤f(x)<

(n + 1) 2^−k. Montrer que les fonctions ϕ_k sont bor´eliennes, et que la suite (ϕ_k) converge uniform´ement versf.

(2) Soit k∈N fix´e. Pour n ∈Z, on poseA_k,n={x∈Ω; n_k(x) = n}.

(a) Combien vaut µ S

n∈ZA_k,n

?

(b) En utilisant la r´egularit´e de la mesure µ, montrer qu’il existe un entier N_k ∈ N et des ferm´es Fk,−N_k, . . . , F_k,Nk tels que F_k,n ⊂ A_k,n pour tout n ∈ {−N_k, . . . , N_k}et

µ

Nk

[

n=−N_k

F_k,n

!

>1− ε 2^k+2·

(3) Avec les notations de (2), on pose Ek = SNk

n=0Fk,n. Montrer que pour tout k∈N, la restriction de ϕ_k `a E_k est continue.

(4) D´emontrer le r´esultat souhait´e en consid´erant K_ε=T

k∈NE_k.