Théorie de la Mesure Devoir de Synthèse (TD1 & TD2)
DEVOIR SURVEILLÉ : TRIBUS ET MESURABILITÉ
Durée : 2h00 - Documents non autorisés
Exercice 1 (Opérations ensemblistes et Tribus - 4 points)
Soit E un ensemble.
1. Soit (An )n∈N une suite d’éléments de P(E). On définit la suite (Bn )n∈N par :
n−1
!
[
B0 = A0 et ∀n ≥ 1, Bn = An \ Ak
k=0
Démontrer formellement que :
(a) Les ensembles Bn sont deux à deux disjoints (i.e., Bn ∩ Bm = ∅ si n ̸= m).
S S
(b) n∈N An = n∈N Bn .
2. Soit F = {A ⊂ E | A est fini ou Ac est fini}. Montrer que F est une tribu sur E.
Exercice 2 (Images directes et réciproques de tribus - 5 points)
Soient (E, A) et (F, B) deux espaces mesurables et f : E → F une application.
1. On note f −1 (B) = {f −1 (B) | B ∈ B}. Montrer que f −1 (B) est une tribu sur E.
2. On note f (A) = {f (A) | A ∈ A}.
(a) Si f (A) était toujours une tribu, quelle condition faudrait-il sur f pour que l’image
de E soit dans cette tribu ?
(b) Donner un contre-exemple explicite montrant que f (A) n’est pas nécessairement une
tribu. (Indice : On pourra prendre E = {1, 2}, F = {a, b}, A = P(E) et une fonction
f constante).
Exercice 3 (Structure fine de la mesurabilité - 6 points)
On considère l’espace X = Z (entiers relatifs). On munit X de la tribu T définie par la
propriété suivante :
A ∈ T ⇐⇒ ∀n ∈ Z, (2n ∈ A ⇐⇒ 2n + 1 ∈ A)
(Autrement dit, les nombres pairs 2n et impairs suivants 2n + 1 sont indissociables : soit ils sont
tous les deux dans A, soit aucun n’y est).
1. Vérifier que les singletons {0} et {1} n’appartiennent pas à T . L’ensemble {0, 1} appartient-
il à T ?
2. On considère l’application f : (Z, T ) → (R, B(R)) définie par f (k) = k 2 . L’application f
est-elle mesurable ? Justifier soigneusement en regardant l’image réciproque d’un singleton
bien choisi.
3. On considère l’application g : (Z, T ) → (R, B(R)) définie par g(k) = ⌊ k2 ⌋ (partie entière
de k/2). Montrer que g est mesurable.
1
Théorie de la Mesure Devoir de Synthèse (TD1 & TD2)
Exercice 4 (Vrai ou Faux et Convergence - 5 points)
Répondre par Vrai ou Faux. Si Vrai, citer le résultat du cours/TD. Si Faux, donner un
contre-exemple.
1. La fonction f (x) = 1Q (x) est une fonction borélienne sur R.
2. Si |f | est mesurable, alors f est mesurable.
3. Si une suite de fonctions mesurables (fn ) converge simplement vers f , alors f est mesu-
rable.
4. Soit f dérivable sur R. La fonction dérivée f ′ est borélienne.
5. Si f : R → R est continue par morceaux (avec un nombre fini de discontinuités), alors f
est borélienne.