L3 – Intégration 1 2012-2013
TD 2 : mesures
Exercice 1.— Structure de l’ensemble des mesures
(a) Soit I un ensemble quelconque et (ai )i∈I ∈ [0, ∞]I . On définit la somme de la famille
X X
ai = sup aj ∈ [0, ∞]
J⊂I
i∈I J fini i∈J
avec la convention qu’une somme finie d’éléments de [0, ∞] vaut ∞ dès que l’un d’eux
vaut ∞. Montrer que si (ai,j )(i,j)∈I×J est une famille d’éléments de [0, ∞],
X XX
ai,j = ai,j .
(i,j)∈I×J i∈I j∈J
(b) En déduire la propriété de Fubini :
XX XX
ai,j = ai,j .
i∈I j∈J j∈J i∈I
(c) Soit (µi )i∈I une famille de mesures sur un espace mesurable (X, A ). Montrer que
µ: A → X[0, ∞]
A 7→ µi (A)
i∈I
X
est une mesure sur [0, ∞], que l’on peut noter µi .
i∈I
(d) Soit µ une mesure sur un ensemble mesurable (X, A ) et r ∈ [0, ∞]. Montrer que
µ : A → [0, ∞]
A 7→ r · µ(A),
avec la convention 0 · ∞ = ∞ · 0 = 0, définit une mesure sur (X, A ), que l’on peut
noter rµ.
(e) En général, le maximum de deux mesures définit-il une mesure ?
Exercice 2.— Il existe toujours des mesures
Soit X un ensemble non vide. Montrer qu’il existe une mesure non nulle sur (X, P(X)).
Exercice 3.— Mesures sur Q
Décrire toutes les mesures sur (Q, B(Q)) = (Q, P(Q)).
Exercice 4.— Mesures sur une tribu finie
Soit X un ensemble et A une tribu finie sur X. Décrire toutes les mesures sur (X, A ).
Exercice 5.— Lemme de Borel–Cantelli, première partie
Soit (X, A , µ) un espace mesuré et (An )n∈N une suite d’éléments de A telle que
X
+∞
µ(An ) < ∞.
n=0
Montrer que l’ensemble lim supn An est de mesure nulle.
Exercice 6.— Sommes de mesures de Dirac
Soit (xn )n∈N une suite de réels.
P
(a) Montrer que µ = n∈N δxn définit une mesure sur (R, B(R)).
(b) Montrer que µ est finie sur tous les intervalles bornés si et seulement si |xn | −−−→ +∞.
n→∞
(c) Pour quelles suites la mesure µ est-elle σ-finie ?
