Licence de mathématiques 2004-2005
Calcul intégral: Mesures et intégrales.
Exercice 1
Soit (X, T, µ)un espace mesuré.
1. Soient A, B ∈T. Montrer que si A⊂Balors µ(A)≤µ(B).
2. Soient (An)n∈Nune suite de parties mesurables de X. Montrer que µ [
n∈N
An!≤X
n∈N
µ(An)
3. Soient (An)n∈Nune suite décroissantes de parties mesurables de X.
Montrer que, si µ(A1)<∞alors lim
n→∞ µ(An) = µ \
n∈N
An!
Donner un contrexemple quand (X, T, µ) = (N,P(N), µ)avec µla mesure de dénombrement.
Exercice 2
Montrer qu’il n’existe pas de mesure non nulle sur (Z, P (Z)) finie et invariante par translation.
Exercice 3
Pour chacun des cas suivants
1. prouver que µest une mesure sur (X, T),
2. déterminer la classe des parties µ−négligeables de X,
3. expliciter à quelle condition une propriété est vraie µ−presque-partout,
4. pour f∈M+(X, T),exprimer RXf dµ à l’aide de f.
1er cas Xest un ensemble quelconque, T=P(X),aest un élément de Xfixé et µest définie par µ(A) = 1A(a).
2ème cas X=N∗,T=P(N∗)et µest défnie par: µ(A) = X
n∈A
1
navec µ(∅) = 0.
Exercice 4
Soit (X, T, µ)un espace mesuré.
1. Soit (En)n∈Nune suite de parties mesurables telles que
+∞
X
n=0
µ(En)<+∞.
Montrer que l’ensemble des points qui appartiennent à une infinité de Enest négligeable (Lemme de Borel-Cantelli).
2. Soit (En)n∈Nune suite de parties mesurables telles que
µ(∪n∈NEn)<+∞et inf
n∈Nµ(En) = α > 0 (o`u α∈R).
Montrer que l’ensemble Ades points qui appartiennent à une infinité d’ensembles Enest mesurable et que µ(A)≥α.
Exercice 5
Dans cet exercice on se propose de démontrer le théorème d’Egoroff:
Théorème 1 Soit (Ω,T, µ), un espace mesuré de mesure finie (i.e. µ(Ω) est finie). Soit (fn)n∈N∗une suite de fonctions
mesurables sur (Ω,T)à valeurs dans R.On suppose que la suite (fn)n∈N∗admet une limite simple f: Ω →R.On a alors:
Pour tout > 0, il existe un ensemble mesurable A, tel que µ(A)6et que la suite (fn)n∈N∗tende uniformément vers fsur
X\A.
1. On suppose que µ(Ω) est finie. On se donne une suite (fn)n∈N∗comme dans les hypothèses du théorème.
(a) Pour tout n, k ∈N∗,on considère les ensembles
An,k ={x∈Ω ; |fn(x)−f(x)|>1
k}, Bn,k =[
i>n
Ai,k.
Démontrer que, pour tout k∈N∗,\
n>1
Bn,k =∅.