ENS Paris-Saclay Licence de physique ENS Paris-Saclay

Méthodes mathématiques pour physiciens TD 2

A. Durmus alain.durmus@cmla.ens-cachan.fr

2 Théorie de la mesure et Intégration

2.1 Tribu, fonction mesurable et mesure
Exercice 2.1. Soit f : X → Y une application et A une tribu sur X. Montrer par un contre-exemple
que la classe des images directes {f (A) | A ∈ A} n’est en général pas une tribu sur Y. On cherchera
en particulier un contre-exemple où f est surjective.
Exercice 2.2. Une partie A ⊆ R est dite symétrique si A = −A, où

−A = {x ∈ R : il existe y ∈ A, x = −y} .

Soit A = {A ∈ P(R) : A = −A}, où P est l’ensemble des parties de R.

1. Montrer que A = {A ∪ (−A) : A ∈ P(R)} et que si A ∈ P(R),

A ⊂ −A si et seulement si − A ⊂ A si et seulement si A = −A.

2. Montrer que A est une tribu de R.

3. Caractériser les fonctions mesurables de (R, A) dans (R, A).
4. Caractériser les fonctions mesurables de (R, A) dans (R, P(R)).
� image réciproque �de la tribu grossière P(R) de R par la fonction
5. Montrer que A est la tribu
valeur absolue i.e. A = f −1 (B) : B ∈ P(R) où f : R → R est la fonction valeur absolue.
6. Montrer que σ ({{a, −a}, a ∈ R}) = {A ∈ A : A dénombrable ou Ac dénombrable}.

Exercice 2.3. Soit (X, A) un espace mesurable et A ⊂ X. On définit AA = {B ∩ A : B ∈ A}.

1. Montrer que A est une tribu. On l’appelle la tribu trace de A.
2. Dans le cas où X est un espace topologique et A est la tribu borélienne associée, montrer
que AA est la tribu borélienne associée à la topologie trace de A.
Exercice 2.4.
1. Soit f : X → Y et (X, A) un espace mesurable. On définit alors
� �
B = A ∈ P(Y) : f −1 (A) ∈ A .

Montrer que B est une tribu sur Y. Elle est appelée tribu image directe.
2. Soit f : X → Y et (Y, B) un espace mesurable. On définit alors pour tout C ⊂ P(Y)
� �
f −1 (C) = f −1 (A) : A ∈ C .

Montrer que f −1 (B) est une tribu sur X et que c’est la plus petite tribu sur X tel que f
est f −1 (B)/B-mesurable, i.e. si à est une tribu sur X tel que f est Ã/B-mesurable, alors
f −1 (B) ⊂ Ã. On appelle cette tribu, la tribu image réciproque de f ou tribu engendrée par
f.
3. Soit f : X → Y et C ⊂ P(Y). Montrer alors que

σ(f −1 (C)) = f −1 (σ(C)) .

En déduire que si A est une tribu sur X, f est A/σ(C)-mesurable si et seulement si pour
tout A ∈ C, f −1 (A) ∈ A.

12
 4. Soient (Yi , Bi )i∈I une famille d’espaces mesurables. Soit Y un ensemble et fi : Y → Yi des
fonctions. On note B la tribu engendrée par la famille des fonctions (fi )i∈I , c’est-à-dire la
plus petite tribu pour laquelle les fi sont mesurables. Soient (X, A) un espace mesurable et
f : X → Y. Montrer que f est A/B-mesurable si et seulement si pour tout i ∈ I, fi ◦ f est
A/Bi -mesurable.
Exercice 2.5. Soit X et Y deux espaces métriques munis de leur tribu borélienne et f : X → Y
une application dont l’ensemble des points de discontinuité est dénombrable. Montrer que f est
B (X) /B (Y)-mesurable.
Exercice 2.6. Soit (X, A, µ) un espace mesuré et soit (Y, C) un espace mesurable. Soit f : X → Y,
A/C-mesurable. Montrer que l’application µf : C → R+ définie pour tout A ∈ C par µf (A) =
µ(f −1 (A)) est une mesure sur (Y, C)
Exercice 2.7. Dans cet exercice on considère l’espace mesuré (R, B (R) , Leb) où Leb est la mesure
de Lebesgue. Un ouvert de R de mesure finie est-il nécessairement borné ?
Exercice 2.8.
1. Soient (X, A) un espace mesurable et (µj )j∈N une suite croissante de mesures positives sur
A (pour tout A ∈ A et pour tout j ∈ N, µj (A) ≤ µj+1 (A)). Pour tout A ∈ A, on pose
µ(A) = supj∈N µj (A). Montrer que µ est une mesure.
Sur l’espace mesurable (N, P(N)), on définit, pour tout j ∈ N et tout A ∈ P(N), νj (A) =
2. �
k∈A 11[j,+∞] (k). Montrer que pour tout j ∈ N, νj est une mesure sur P(N) et que pour
tout A ∈ A, νj (A) ≥ νj+1 (A).
3. Soit ν la fonction définie sur P(N) par ν(A) = inf j∈N νj (A) pour toute partie A de N.
Déterminer ν(N) et ν({k}) pour tout k ∈ N. Dire si ν est une mesure sur (N, P(N)).
Exercice 2.9 (Lemme de Borel-Cantelli). Soient (X, A, µ) un espace mesuré et (An )n∈N une suite
d’éléments de A telle que �
µ(An ) < +∞ .
n∈N

Montrer que µ (lim supn An ) = 0 avec lim supn An = ∩n∈N ∪k≥n Ak .

Exercice 2.10. Soient (X, A, µ) un espace mesuré et f : (X, A) → (R, B(R)) une fonction mesurable.
1. On pose, pour tout n ∈ N, An = {|f | ≤ n}. Montrer que, si µ(X) �= 0, il existe n ∈ N tel que
µ(An ) �= 0.
2. Montrer que si µ({f �= 0}) �= 0, alors il existe A ∈ A et � > 0 tels que µ(A) �= 0 et pour tout
x ∈ A, |f (x)| ≥ �.

13
2.2 Solutions
Solution de l’exercice 2.1 Soit a, b, c des éléments deux à deux distincts de n’importe quel
ensemble, X = {a, b, c} et A = {∅, {a}, {b, c}, {a, b, c}}. On vérifie que A est bien une tribu sur X.
Soit Y = {a, b} et f : X → Y telle que f (a) = f (c) = a et f (b) = b. Alors f (A) = {∅, {a}, {a, b}}
n’est pas une tribu sur Y car il manque {a}c = {b}.

Solution de l’exercice 2.3 1. On vérifie facilement que AA satisfait les axiomes d’une tribu.
2. Soit T la topologie sur X et TA la topologie trace sur A. Il faut montrer que AA = σ(TA ).
Tout d’abord par définition, TA = {B ∩ A : B ∈ T }, donc TA ⊂ AA et donc σ(TA ) ⊂ AA .
Ensuite, soit C une tribu contenant TA , il faut montrer que AA ⊂ C. Pour cela, on considère
D = {B ⊂ A : A ∩ B ∈ C}, alors T ⊂ D ⊂ A et D est une tribu donc D = A et alors
AA ⊂ C. Remarquons que la seule difficulté pour montrer que D est une tribu est le passage
au complémentaire. Soit B ∈ D alors A∩B ∈ C et alors A∩(A∩B)c ∈ C or A∩(A∩B)c = A∩Bc .

Solution de l’exercice 2.4 1. Il suffit d’utiliser les propriétés suivantes : pour tout A ∈ P(Y)
et toute famille (Ai )i∈I d’éléments de P(Y) on a
� �
� �
−1 −1 −1
c
f (A ) = f (A) et f c
Ai = f −1 (Ai ) . (3)
i∈I i∈I

2. On montre en utilisant (3) que f −1 (B) est une tribu.

Par définition de la mesurabilité, on a que si à est une tribu sur X tel que f est Ã/B-
mesurable, alors f −1 (B) ⊂ Ã.
3. On a par définition f −1 (C) ⊂ f −1 (σ(C)) car C ⊂ σ(C). Comme f −1 (σ(C)) est une tribu
σ(f −1 (C)) ⊂ f −1 (σ(C)). Par ailleurs, si A est une tribu sur X tel que f −1 (C) ⊂ A, alors
la tribu image directe de A contient C donc σ(C) et donc f −1 (σ(C)) ⊂ A par définition de
l’image directe. Ainsi toute tribu contenant f −1 (C) contient f −1 (σ(C)), c’est donc σ(f −1 (C)).
Pour l’équivalence le sens direct est immédiat. Pour le sens indirect, on utilise la première par-
tie de la question. On a f −1 (σ(C)) = σ( f −1 (C) ) ⊂ A donc f est A/σ(C)-mesurable.
� �� �
⊂A par hypothèse
4. Par définition
B = σ((fi )i∈I ) = σ((fi−1 (Bi ))i∈I ) ,
donc d’après les questions précédentes f est A/σ((fi−1 (Bi ))i∈I )-mesurable si et seulement si
� �
f −1 σ((fi−1 (Bi ))i∈I ) = σ((f −1 (fi−1 (Bi )))i∈I ) = σ(((fi ◦ f )−1 (Bi ))i∈I ) ⊂ A ,

donc si et seulement si (fi ◦ f )−1 (Bi ) ⊂ A pour tout i ∈ I si et seulement si fi ◦ f est

A/Bi -mesurable pour tout i ∈ I.

Solution de l’exercice 2.9 Déjà on a bien lim supn An ∈ A par union dénombrable puis inter-
section dénombrable
� d’éléments de A (donc on peut considérer sa mesure). Pour tout n ∈ N, on
pose Bn = k≥n Ak ∈ A (par union dénombrable). La suite d’ensembles (Bn )n∈N est décroissante
et � �
� �
µ(B0 ) = µ An ≤ µ(An ) < +∞.
n∈N n∈N
� �
� µ(lim supn An ) =�µ( n∈N Bn ) = limn µ(Bn ). Or pour tout n ∈ N, µ(Bn ) = µ( k≥n Ak ) ≤
donc
k≥n µ(Ak ). Comme k∈N µ(Ak ) < +∞ le reste de la série de terme général µ(Ak ) tend vers 0.
D’où limn µ(Bn ) = 0 et le résultat.

14
Solution de l’exercice 2.10
� 1. Comme pour tout x ∈ X il existe n ∈ N tel que |f (x)| ≤ n,
on peut écrire X = n∈N An . Puis, pour tout n ∈ N, An = |f |−1 ([0, n]) ∈ A car |f | est
mesurable et [n, +∞[∈ B(R). Comme ((An )n∈N est une suite croissante de d’ensemble, on a

0 < µ(X) = lim µ(An )

n→+∞

donc il existe n ∈ N tel que µ(An ) > 0.

2. Notons que {f �= 0} � = |f |−1 (]0, +∞[) ∈ A car |f | est mesurable � et ]0,−1 +∞[∈ B(R). On
peut
� écrire ]0, +∞[= n∈N ∗ ]1/n, +∞[ de sorte que {f �
= 0} = n∈N ∗ |f | (]1/n, +∞[) =
n∈N ∗ {|f | > 1/n}. Comme ((A n = {|f | > 1/n}) n∈N est une suite croissante de d’ensemble,
on a
0 < µ({f �= 0}) ≤ lim µ({|f | > 1/n}) .
n→+∞
� �
1 1
On en déduit qu’il existe n0 tel que µ |f | > n0 > 0. On a alors le résultat avec � = n0 et
1
A = {|f | > n0 }.

15