Master en sciences mathématiques
THÉORIE DE LA MESURE
Répétition 3, octobre 2010
Nous pouvons définir la notion de mesurabilité pour des applications dont le domaine
et l’image sont des ensembles quelconques de la manière suivante.
Soient (X, A)et (Y, B)deux espaces mesurables et A∈ A. Une application f:A→Y
est une application mesurable par rapport à Aet Bsi f−1(B)∈ A pour tout B∈ B.
Exercice 1. Soient (X, A),(Y, B)et (Z, C)des espaces mesurables. Soient f: (Y, B)→
(Z, C)et g: (X, A)→(Y, B)des applications mesurables (au sens de la définition donnée
ci-dessus). Démontrer que la composition f◦g: (X, A)→(Z, C)est encore mesurable.
Exercice 2. Soient (X, A)et (Y, B)deux espaces mesurables et Cune collection de
sous-ensembles de Ytelle que σ(C) = B. Montrer qu’une application f:X→Yest
mesurable par rapport à Aet Bsi et seulement si f−1(B)∈ A pour tout B∈ C (il suffit
donc de vérifier la mesurabilité sur un générateur pour démontrer qu’une application est
mesurable).
Exercice 3. En conclure que la continuité entraîne la mesurabilité, c’est-à-dire si (X, B(X))
et (Y, B(Y)) sont deux espaces mesurables et f:X→Yune application continue, alors
fest mesurable par rapport à B(X)et B(Y).
Exercice 4. Soient (X, A)et (Y, B)des espaces mesurables et (fk)kune suite d’applica-
tions mesurables de (X, A)dans (Y, B). Si (Ak)kest une suite d’ensembles disjoints de A
tels que ∪kAk=X, démontrer que l’application définie au cas par cas par
f:X→Y x 7→ fk(x)si x∈Ak
est encore mesurable.
Exercice 5. Soient (Y, d)un espace métrique et (X, A)un espace mesurable. Si (fk)kest
une suite d’applications de Xdans Ymesurables par rapport à Aet B(Y)qui converge
ponctuellement vers une fonction f, démontrer que la limite fest encore mesurable.
Exercice 6. On définit une σ-algèbre particulière sur la droite étendue Rpar B={B∪C:
B∈B, C ⊆ {−∞,+∞}}. Démontrer que l’on a
B=σ({[−∞, x] : x∈R}).
Soient (X, A)un espace mesurable, A∈ A et fune application de Adans R. Montrer
que l’application fest A-mesurable (au sens vu au cours théorique) si et seulement si elle
est mesurable par rapport à Aet B(au sens défini ci-dessus).
Exercice 7. Soient (X, A)un espace mesurable et fune application de Xdans Rd. Si
(fk)d
k=1 désignent les composantes de f, c’est-à-dire f= (f1, ..., fd), démontrer que fest
mesurable par rapport à Aet Bdsi et seulement si les applications fksont A-mesurables.
Exercice 8. Soit ξ⊆P(X)un système quelconque. Démontrer que l’on a
σ(ξ) =
F⊆ξdénombrable
σ(F).