Université Badji Mokhtar Annaba Département de Mathématiques

~
3A•me année licence Académique 2021=2022
Module : Mesure et intégration Enseignante : E. Zerouki

Série 2
Exercice 1. Soit (X; F; ) un espace mesuré, montrer que pour tout A; B 2 F on a
1. (A) = (A n B) + (A \ B):
2. Si A B alors (A) (B):
3. (A [ B) (A) + (B):
4. (A [ B) + (A \ B) = (A) + (B):
5. Pour toute suite fAn gn 0 F on a
!
[
+1 X
+1
An (An ):
n=0 n=0

Exercice 2. Montrer que la mesure de Lebesgue sur B(R) est invariante par translation.

Exercice 3. (a)(*) Soit (X; F; ) un espace mesuré. Soit F l’ensemble de toutes les parties
E de X telles qu’il existe A; B 2 F avec A E B et (B n A) = 0: Montrer que F
est une tribu sur X:
(b) On note N l’ensemble de toutes les parties négligeables. Montrer que

F = fA [ N = (A; N ) 2 F Ng:

Exercice 4(*). Dans (R; B(R); ), construire une suite fAn gn 0 emboitée (An+1 An ), tels
T+1
que n=0 An 6= lim (An ):
n!+1

Exercice 5. Soit (E; A) un espace mesurable, f i g1 ; n mesures sur (E; A) et fai g1 i n ; n

i n
Xn
réels positifs. On dé…nit l’application : A ! R+ , par (A) = ai i (A), pour tout A 2 A:
i=1
X
n
Montrer que est une mesure sur (E; A), notée = ai i :
i=1

Exercice 6. Soit une mesure …nie sur B(R): On lui associe la fonction f dé…nie sur R par
f (x) = (]x; +1[).
1) Montrer que la mesure est uniquement déterminée par la donnée de f:
2)(*) Montrer que f est décroissante et continue à droite sur R; et calculer les limites en 1
de f:

N.B. Les exercices comprenant le signe (*) sont supplémentaires.

1
 Résolution
Exercice 1. est une mesure sur (X; F),
1. Comme A = (A n B) [ (A \ B) et (A n B) \ (A \ B) = ; ) (A) = (A n B) + (A \ B):
2. Comme A B ) B = A [ (B n A) et A \ (B n A) = ;
) (B) = (A) + (B n A) ) (A) (B):
3. Comme A [ B = A [ (B n A) et A \ (B n A) = ; ) (A [ B) = (A) + (B n A). En
plus B n A B ) (B n A) (B) ) (A [ B) (A) + (B):
4. Comme A [ B = (A n B) [ (A \ B) [ (B n A) et les trois ensembles sont disjoints deux
à deux, alors : (A [ B) = (A n B) + (A \ B) + (B n A) = (A) + (B n A) (d’aprés
1.), d’autre part, on a d’aprés 1. (B n A) + (B \ A) = (B); alors

(A [ B) + (A \ B) = (A) + (B n A) + (A \ B) = (A) + (B):

8
>
> B0 = A0
>
>
< B1 = A1 n A0 = A1 nB0
5. Posons : :::
>
>
>
> Bn = An n Bn 1
:
:::
[
+1 [
+1
Ainsi An = Bn avec Bi \ Bj = ; pour i 6= j, donc
n=0 n=0
! !
[
+1 [
+1 X
+1
An = Bn = (Bn ):
n=0 n=0 n=0

Comme Bn An 8n 0; alors (d’aprés 1.) (Bn ) (An ) 8n 0: Par conséquent

! +1
[
+1 X
An (An ):
n=0 n=0

déf
Exercice 2. est invariante par translation ,

8x 2 R et 8B 2 B(R); on a (x + B) = (B): (1)

n o
Comme B(R) = [a; b]A^ ; a < b 2 R , il su¢ t de montrer que (1) pour B = [a; b]. On sait
que x+[a; b] = [a+x; b+x] ) (x+[a; b]) = ([a+x; b+x]) = (b+x) (a+x) = b a = ([a; b])
Exercice 3. (a) Montrons que F = fE X = 9(A; B) 2 F avec A E B et (B n A) = 0g.
Montrons que F est une tribu sur X.
1. X X X; X 2 F et (X n X) = 0 ) X 2 F .

2. Soit E 2 F , 9(A; B) 2 F 2 tel que : A E B et (B nA) = 0 =) B c Ec Ac

et on a (Ac n B c ) = (B n A) = 0 c’est-à-dire E c 2 F :

3. Soient E1 ; E2 2 F : Pour i = 1; 2 on a : 9(Ai ; Bi ) 2 F 2 tel que : Ai Ei Bi et

(Bi n Ai ) = 0:
Comme (B1 [ B2 ) n (A1 [ A2 ) = (B1 n A1 ) [ (B2 n A2 ), alors

0 ((B1 [ B2 ) n (A1 [ A2 )) = ((B1 n A1 ) [ (B2 n A2 )) (B1 n A1 )+ (B2 n A2 ) = 0

2
 Par conséquent E1 [ E2 2 F :

4. Soit fEn g F ) 8n 2 N; 9(An ; Bn ) 2 F 2 tels que : (Bn n An ) = 0 et An

[n Bn )
E [ [ [ [
An En Bn avec : An 2 F et Bn 2 F: De plus,
n 0 n 0 n 0 n 0 n 0

! !
[ [ [ X
0 Bn n An = (Bn n An ) (Bn n An ) = 0
n 0 n 0 n 0 n 0

[
D’où En 2 F :
n 0

(b) Rappel : Une partie N de X est dite négligeable par rapport à ; s’il existe A 2 F tel que :
N A et (A) = 0: On note N l’ensemble de toutes les parties négligeables. On pose
F = fA [ N = (A; N ) 2 F N g : On montre que F 0 = F :
0

(i) Montrons que F F 0:

Soit E 2 F , 9(A; B) 2 F 2 tel que : A E B et (B n A) = 0:
On a A E ) E = A [ (E n A) ici A 2 F, reste à avoir E n A 2 N :
On a E B ) (E n A) (B n A) 2 F et comme (B n A) = 0 ) E n A 2 N :
(ii) Montrons l’inclusion inverse.
Soit E 2 F 0 ) 9A 2 F et 9N 2 N tel que : E = A [ N ) A E.
Comme N 2 N , il existe B 2 F tel que : N B et (B) = 0: Donc A E = A[N
A [ B 2 F:
D’autre part, (A [ B) n A B) ((A [ B) n A) = 0 ainsi E 2 F :
D’aprés (i) et (ii) on obtient l’égalité voulue.

Exercice 4. Posons : A!
n = [n; +1[; 8n 2 N ) An+1 An ; 8n 0: Comme
\ \
An = ; ) An = 0: Mais (An ) = +1 8n 2 N: Donc
n 0 n 0
!
\
lim (An ) = +1 = 6 An = ( lim An ): On n’a pas la condition (A0 ) < +1 pour
n!+1 n!+1
n 0
avoir lim (An ) = ( lim An ):
n!+1 n!+1

Exercice 5. Soient f i gni=1 n mesures sur (E; A) et fai gni=1 R+ : On dé…nit : A ! R+

Xn
par (A) = ai i (A) 0 8A 2 A: Montrons que est une mesure
i=1

Comme i sont des mesures 8i 2 f1; 2; :::; ng : Alors 8i 2 f1; 2; :::; ng i (;) =0
X
n
) ai i (;) = 0 ainsi (;) = 0
i=1
Soient fAk gk2N A tel que : Ai \ Aj = ; pour i 6= j: On montre que :
!
[ X
Ak = (Ak ): (2)
k 0 k 0

3
 X
n
On a par dé…nition : (B) = ai i (B) 8B 2 A: Donc
i=1
! !! !!
[ X
n [ X
n X
Ak = ai i Ak = ai i (Ak )
k 0 i=1 k 0 i=1 k 0
! ! !
X X X
= a1 1 (Ak ) + a2 2 (Ak ) + ::: + an n (Ak )
k 0 k 0 k 0
!
X X
n X
= ai i (Ak ) = (Ak ):
k 0 i=1 k 0

Par conséquent on obtient (2).

Exercice 6. Soit une mesure …nie sur B(R). On lui associe la fonction f dé…nie sur R par
f (x) = (]x; +1[):

1 Montrons que la donnée de f nous su¢ t de déterminer une mesure et ceci de façon
unique : On sait que I0 = f]a; b] : (a; b) 2 R2 ; a < bg est un semi-anneau Booléen engendrant
B(R). Dé…nissant l’application :
: I0 ! R+ ; (]a; b]) = f (a) f (b);
et montrons que véri…e les conditions du théorème d’extension de Carathéodory :
(;) =
[ (]a; a]) = f (a) f (a) = 0
R ] n; n] et ] n; n] 2 I0 .
n2N
Soit fAn gn2J I0 , où J est un ensemble au plus dénombrable, et Ai \ Aj = ; pour i 6= j.
[
Si An =]a; b] 2 I0 il existe faj gj2J ]a; b] tel que : aj aj+1 avec min faj g = a et
j2J
n2J
max faj g = b. Ainsi
j2J
!
[ X
An = (]a; b]) = f (a) f (b) = (f (aj ) f (aj+1 )): (3)
n2J j2J

Alors d’aprés le théorème d’extension de Carathéodory, il existe une mesure ~ -…nie sur
B(R) tel que : ~ (]a; b]) = (]a; b]) = f (a) f (b). Comme ~ = sur I0 , alors ~ = sur B(R).
2 Montrons que f est décroissante, continue à droite, et calculons sa limite à 1 :
Soient a; b 2 R avec a < b, alors
]b; +1[ ]a; +1[) (]b; +1[) (]a; +1[) ) f (b) f (a);
donc f est décroissante.
Montrons que f est continue à droite :
1
lim+ f (x) = lim+ f (x0 + h) = f (x0 ); 8x0 2 R () lim f x0 + = f (x0 ); 8x0 2 R:
x!x0 h!0 n!+1 n
1
Posons An = x0 + ; +1 qui est une suite croissante. Alors
n n 1
[
lim An = An =]x0 ; +1[:
n!+1
n 1

4
Par conséquent

1 1
f (x0 ) = (]x0 ; +1[) = lim x0 + ; +1 = lim f x0 + : (4)
n!+1 n n!+1 n

Sachant que
lim f (x) = lim f (n) = lim (]n; +1[): (5)
x!+1 n!+1 n!+1

Comme f]n; +1[gn 0 # et (]0; +1[) < +1; alors on a

\
lim ]n; +1[= ]n; +1[: (6)
n!+1
n 0

Ainsi
lim f (n) = ( lim ]n; +1[) = 0 (7)
n!+1 n!+1

En e¤ectuant le même raisonnement précédent, on obtient

lim f (x) = lim f ( n) = lim (] n; +1[): (8)

x! 1 n!+1 n!+1

Comme f] n; +1[gn 0 ";on a

!
[
lim (] n; +1[) = ] n; +1[ = R:
n!+1
n 0

Alors
lim f ( n) = ( lim ] n; +1[) = (R) < +1: (9)
n!+1 n!+1