2
(2) Soit f:R2→Rs´epar´ement continue. On note Ila famille de tous les
intervalles ferm´es I⊂R`a extr´emit´es rationnelles. Montrer que pour α∈R
fix´e et pour (x, y)∈R2, on a l’´equivalence suivante:
f(x, y)> α ⇐⇒ ∃k∈N∗∃I∈ I x∈Iet ∀u∈I:f(u, y)≥α+1
k.
(3) Montrer que toute fonction s´epar´ement continue est bor´elienne.
Exercice 7. Dans tout l’exercice, (Y, d) est un espace m´etrique.
(1) Soit (yn) une suite de points de Yconvergeant vers un point y∈Y. Montrer
que pour tout ouvert O⊂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 (fn) est une suite de fonctions
mesurables de Ω dans Y. On suppose que la suite (fn) converge simplement
vers une fonction f: Ω →Y. Montrer que fest mesurable.
Exercice 8. Montrer que si f:R→Rest d´erivable en tout point, alors f0est une
fonction bor´elienne.
Exercice 9. Soit (Ω,B) un espace mesurable, et soit (fn) une suite de fonctions
mesurables sur Ω, `a valeurs dans un espace m´etrique (Y, d). Soit ´egalement b∈Y.
Montrer que l’ensemble A={x∈Ω; limn→∞ fn(x) = b}est mesurable (i.e. A∈B).
Exercice 10. Soit (Ω,B) un espace mesurable, et soit (fn)n∈Nune suite de fonctions
mesurables sur Ω, `a valeurs r´eelles. On note Al’ensemble des points x∈Ω tels que
la suite (fn(x)) converge dans R. Montrer que l’ensemble Aest mesurable.
Exercice 11. (tribu engendr´ee par une application)
Soit Ω un ensemble, et soit φ: Ω →R. On pose Bφ={φ−1(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 si g:R→Rest bor´elienne, alors g◦φest Bφ-mesurable
(3) Montrer inversement que si f: Ω →Rest Bφ-mesurable, alors il existe une
fonction bor´elienne g:R→Rtelle que f=g◦φ. (On pourra commencer par
le cas o`u fest 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→Rest Bφ-mesurable si et seulement si elle est bor´elienne et paire.