Montrer que la tribu engendrée par la partition {A1, . . . , An}est ([
i∈J
Ai, J ⊂ {1, . . . , n}).
Exercice 6. Pour n≥1et 0≤k≤2n−1, on note
Ik,n = [k/2n,(k+ 1)/2n[.
Soit Anla tribu engendrée par les Ik,n,0≤k≤2n−1.
1. Montrer que pour tout n≥1,An⊆ An+1. A-t-on égalité ?
2. Soit Bla tribu des Boréliens. Montrer que pour tout n≥1,An⊆ B. On pose
A∞=σ(∪n≥1An).
Montrer que pour tout 0≤a<b≤1,[a, b]∈ A∞. En déduire que A∞=B.
Fonctions mesurables
Exercice 7. Trouver toutes les fonctions mesurables (E, A)→(R,B(R)) dans les cas
suivants :
1. Eest quelconque et A=σ{∅, E}
2. Eest quelconque et A=P(E)
3. E={a, b, c, d}et A=σ({{a},{b, c}})
Exercice 8. Soit fla fonction défine sur [0,3] par
f(x) = (0si x∈[0,1],
1si x∈]1,3],
et gla fonction définie par
g(x)=2si x∈[0,1],
−1si x∈]1,2],
4si x∈]2,3].
Montrer que fest mesurable par rapport à la tribu engendrée par gmais que la réciproque
est fausse. (On pourra expliciter les tribus engendrées par chacune de ces fonctions).
Exercice 9. On considère une fonction monotone f:R−→ R.
1. Montrer que l’ensemble des points de discontinuité de fest dénombrable.
2. Montrer que la fonction fest borélienne.
Exercice 10. Soit (fn)n∈Nune suite de fonctions mesurables d’un ensemble (E, A)dans
(R,B(R)). Montrer que l’ensemble des points xpour lesquels (fn(x))nconverge est mesu-
rable.
Indication : on rappelle qu’une suite (un)n∈Nà valeurs réelles ou complexes est de Cauchy
si ∀ε > 0,∃N, ∀p, q ≥N, |up−uq|< ε. Le résultat fondamental est qu’une suite est de
Cauchy si et seulement si elle converge.
Exercice 11. Soit f:E−→ (R,B(R)) une fonction. On note f−1(B)la tribu image
réciproque de B:f−1(B) = {f−1(B); B∈ B}.
1. On considère une fonction g: (E, f −1(B))) −→ (R,B(R)) mesurable. Montrer que
si gest une fonction étagée, alors il existe h: (R,B(R)) −→ (R,B(R)) une fonction
borélienne telle que g=h◦f.