Scribd
Importer
3 vues2 pages

Test3 Corr

Transféré par

fzcnqqckhq
Copyright
© © All Rights Reserved
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
Télécharger au format pdf ou txt
3 vues2 pages

Test3 Corr

Transféré par

fzcnqqckhq
Copyright
© © All Rights Reserved
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1/ 2

Théorie de la mesure et intégration Université de Genève

Printemps 2020 Section de Mathématiques


Test 3  Correction  45 minutes (le 13/05/2020)

L'énoncé de ce test est volontairement trop long pour la durée impartie. Le barème en tient compte.

Exercice 1. Soit X un ensemble et A ⊆ P(X) une algèbre d'ensemble. On note Aσ la collection des
unions au plus dénombrables d'ensemble de A et Aσδ la collection des intersections au plus dénombrables
d'ensembles de Aσ . Soit µ0 une prémesure sur A et µ? la mesure extérieure induite par µ0 .
(1) Montrer que pour tout E ⊂ X , et tout  > 0, on peut trouver A ∈ Aσ tel que E ⊆ A et
µ? (A) ≤ µ? (E) + .

Correction : On xe E ⊂ X et  > 0. Par dénition de la mesure extérieure induite,


( )
µ0 (Ai ) (Ai )i∈I ∈ A est un recouvrement au plus dénombrable de E
X
? I
µ (E) = inf
i∈I

On peut donc se donner (Ai )i∈I ∈ AI tel que Pi∈I µ0 (Ai ) ≤ µ (E) +  et E ⊆
?
i∈I Ai =: A.
P S
On a, par dénition de la mesure induite, µ (A) ≤ i∈I µ0 (Ai ) ≤ µ? (E) + . Et d'autre part, on
?

a bien A ∈ Aσ .
(2) Soit E ⊆ X tel que µ? (E) < ∞. Montrer que E est mesurable si et seulement si il existe B ∈ Aσδ
tel que E ⊆ B et µ? (B \ E) = 0.
Correction : On commence par supposer l'existence d'un tel B et on va montrer que E est
mesurable (via la caractérisation de Carathéodory). Notons tout d'abord que d'après le cours,
la tribu des mesurables contient A, donc Aσδ et donc ce B est mesurable. Soit C ⊆ X xé
quelconque, il nous sut de montrer que
µ? (C) = µ? (C ∩ E) + µ? (C \ E).
On va montrer que :
µ? (C ∩ E) = µ? (C ∩ B) et µ? (C \ E) = µ? (C \ B).
Comme (C ∩ E) ⊆ (C ∩ B), on a µ? (C ∩ E) ≤ µ? (C ∩ B) (par croissance des mesures
extérieures). Comme C ∩ B = (C ∩ E) ∪ (C ∩ B \ E). Par sigma sous-additivite, on obtient
µ? (C ∩ B) ≤ µ? (C ∩ E) + µ? (C ∩ B \ E) ≤ µ? (C ∩ E) + µ? (B \ E) = µ? (C ∩ E). Ainsi, on
µ? (C ∩ E) = µ? (C ∩ B)
Comme (C \ B) ⊆ (C \ E), on a µ? (C \ B) ≤ µ? (C \ E). D'autre part, comme C \ E = (C \ B) ∪
(C ∩ (B \ E)), on a µ? (C \ E) ≤ µ? (C \ B) + µ? (C ∩ (B \ E)) ≤ µ? (C \ B) + µ? (B \ E) = µ? (C \ B),
on a donc µ? (C \ B) = µ? (C \ E).
Comme B est mesurable, on a :
µ? (C) = µ? (C ∩ B) + µ? (C \ B)
= µ? (C ∩ E) + µ? (C \ E),
et donc E est mesurable.
Supposons maintenant E mesurable et de mesure nie. Pour tout entier n ≥ 1, donnons nous
(grace à la question précédente) un An ∈ Aσ tel que E ⊆ An et µ? (An ) ≤ µ? (E) + n1 .
Notons B = n≥1 An . On a bien E ⊆ B et B ∈ Aσδ . Reste à voir que µ? (B \ E) = 0.
T

Tout d'abord, on a pour tout n ≥ 1,


1
µ? (E) ≤ µ? (B) ≤ µ? (An )µ? (E) + ,
n
donc µ? (E) = µ? (B) Comme E est mesurable, on a :
µ? (B) = µ? (B ∩ E) + µ? (B \ E) = µ? (E) + µ? (B \ E).
Comme µ? (B) = µ? (E) est ni, on a µ? (B \ E) = 0
Exercice 2. Pour tout entier k ≥ 1, on dénit
fk : R>0 → R
x 7 → e−kx − 2e−2kx .
n
!
(1) Montrer que la suite converge ponctuellement sur R>0 , vers une fonction que l'on
X
fk
k=1 n∈ω≥1
appelera f et que l'on calculera.
Correction : Soient x ∈ R>0 et n ∈ ω≥1 xés quelconques. On calcule
n
X n
X n n
 X X
fk (x) = e−kx − 2e−2kx = e−kx − 2 e−2kx
k=1 k=1 k=1 k=1
−2x −2(n+1)x
e−x − e−(n+1)x + e−2x − e−(n+2)x − 2 e−2x − e−2(n+1)x
   
−x −(n+1)x −e
2 e
e −e
= − =
1 − e−x 1 − e−2x 1 − e−2x
e−x 2e−(n+1)x − 1 − e−x
= + e−n+1
1 + e−x 1 − e−2x
n
!
Cette quantité tend vers e−x
quand n tend vers +∞. La suite converge donc
X
1+e−x fk
k=1 n∈ω≥1
ponctuellement sur R>0 vers f : x 7→ e−x
1+e−x .

(2) Calculer
Z ∞ Z
et
X
f fk .
]0,∞[ k=1 ]0,∞[

Correction : Par théorème de convergence monotone pour la suite (f χ[ n1 ,n] )n∈ω≥1 , et compa-
raison Riemann/Lebesgue, on a
Z Z Z
x=n
− log(1 + e−x ) x= 1 = log 2.

f = lim f = lim r f = lim
]0,∞[ n→+∞ 1
[n ,n] n→+∞ [ 1 ,n] n→+∞ n
n

D'autre part, pour tout entier strictement positif k, on a, par théorème de convergence dominée
pour la suite (fk χ[ n1 ,n] )n∈ω≥1 (par |fk |), et comparaison Riemann/Lebesgue, on a
Z Z Z
 −x x=n
fk = lim f = lim r fk = lim −e + e−2x x= 1 = 1 − 1 = 0.
]0,∞[ n→+∞ 1
[n ,n] n→+∞ [ 1 ,n] n→+∞ n
n

(3) Commenter.
Correction : Les deux quantités sont diérentes, ce qui montre que le théorème de convergence
dominé ne s'applique pas dans ce cas : Il manque l'hypothèse de domination.

Vous aimerez peut-être aussi