TD Théorie de la mesure

Exercice 1: Soit X un ensemble. Soit T une partie de P(X) stable par union
dénombrable, stable par passage au complémentaire et telle que ϕ ϵ T. Montrer que
T est une tribu, c’est-à-dire qu’elle vérifie aussi X ϵ T et qu’elle est stable par
intersection dénombrable.

Exercice 2: Soit X un ensemble et A0, A1, … des parties de X.

1. On suppose dans cette question que A 0  A1  ...  A n  A n +1  ... Posons pour

tout n ≥ 1, Bn = An \ An-1. Montrer que les ensembles Bn sont deux à deux disjoints.

2. On note : A  X, A c = x  X tel que x  A. Montrer que

c c
A n = (  An ) .
n 0 n 0

c
3. Montrer que (  A n ) c =  A n .
n 0 n 0

Exercice 3: Soit (X, M) un espace mesurable, (μi)1≤ i ≤ n, n mesures sur (X, M) et

(ai)1 ≤ i ≤n, n réels positifs. Pour A dans M, on pose :

n
( A ) =  a i  i ( A )
i =1

n
Montrer que μ est une mesure sure (X, M) notée  =  a i  i
i =.1

Exercice 4 : Soient X et E deux ensembles et f : X → E une application.

1. Si B est une tribu de E, on note :

T = f-1(B) = { f-1(B) ; B ϵ B}
Montrer que T est une tribu sur X (appelée image réciproque de la tribu B).
2
2. Exemple : X = { -1, 0, 1, 2 }, E = { 0, 1, 4 }, B = P(E), f : x  x

Déterminer f-1(P(E)).

Exercice 5: Soient (E, T) et (F, S) deux espaces mesurables. Soit

f : E → F et  : F → IR (IR est muni, comme toujours, de la tribu Borélienne). On
suppose que f et φ sont mesurables. Montrer que   f est mesurable de E dans IR.

1|Page