• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • 4
    CommentGo Back
 
Universit´e de Rennes 1, Licence de Math´ematiques, Int´egration 1Examen partiel, 14 novembre 1998, 10h30–12h30, Hall du second cycleAucun document n’est autoris´e.Exercice 1
(7 points)1.1. Donner la d´efinition d’une tribu sur un ensemble.1.2. Soit (
X,
M
,µ
) un espace mesur´e o`u
µ
est une mesure positive telle que
µ
(
X 
) = 1.On consid`ere
T  
=
{
A
∈M
, µ
(
A
) = 0 ou
µ
(
A
) = 1
}
.
Montrer que
T  
est une tribu sur
X 
.
Exercice 2
(6 points)Soit (
X,
M
) un espace mesurable et (
µ
j
)
j
∈
N
une suite de mesures positives d´efinies sur
M
. On suppose que pour tout
A
∈ M
et pour tout
j
∈
N
,
µ
j
(
A
)
≤
µ
j
+1
(
A
). Pour
A
∈M
,
on pose
µ
(
A
) = sup
j
∈
N
µ
j
(
A
)
.
2.1. Montrer que
µ
est une mesure positive d´efinie sur
M
.2.2. Soit
f 
:
X 
−→
R
+
une fonction mesurable. Montrer que
 
X
fdµ
= sup
j
∈
N
 
X
fdµ
j
(
On pourra commencer par examiner le cas o`u 
f 
est ´etag´ee).
2.3. On consid`ere l’espace mesurable (
N
,
P 
(
N
)) et pour
j
∈
N
, A
⊂
N
, on d´efinit
ν 
j
(
A
) =Card(
A
∩
[
 j,
+
∞
[)(Card
E 
d´esigne le nombre d’´el´ements de
E 
si
E 
est fini, +
∞
sinon).Montrer que
ν 
j
est une mesure positive d´efinie sur
P 
(
N
) telle que, pour tout
A
⊂
N
,
ν 
j
(
A
)
≥
ν 
j
+1
(
A
). On pose
ν 
(
A
) = inf 
j
∈
N
ν 
j
(
A
)
.
Montrer que
ν 
(
N
) = +
∞
et que pour tout
k
∈
N
,
ν 
(
{
k
}
) = 0. En d´eduire que
ν 
n’est pasune mesure sur
N
.
Exercice 3
(7 points)Soit (
X,
M
,µ
) un espace mesur´e o`u
µ
est une mesure positive. Soit
f 
:
X 
−→
R
+
uneapplication mesurable telle que
 
X
fdµ <
∞
.
3.1. Montrer que
N 
=
{
x
∈
X,f 
(
x
) = +
∞}
appartient `a
M
. Montrer que
µ
(
N 
) = 0.3.2. Soit
>
0. Montrer qu’il existe
α >
0 tel que, pour tout
E 
∈M
v´erifiant
µ
(
E 
)
≤
α
,on ait
 
E
fdµ < .
2
 
Universit´e de Rennes 1, Licence de Math´ematiques, Int´egration 1Corrig´e de l’examen partiel du 14 novembre 1998Exercice 1
.1.1. C’est la premi`ere d´efinition donn´ee en cours.1.2. Si
A
∈ T  
, alors
A
c
∈ M
,
µ
(
A
c
) +
µ
(
A
) =
µ
(
X 
) = 1, donc
µ
(
A
c
) = 1
−
µ
(
A
)
∈ {
0
,
1
}
. Si
A
n
∈ T  
,
n
∈
N
,
A
=
∪
n
∈
N
A
n
∈ M
et si pour tout
n
,
µ
(
A
n
) = 0, alors
µ
(
A
) = 0. S’il existe
n
0
tel que
µ
(
A
n
0
) = 1alors 1 =
µ
(
A
n
0
)
≤
µ
(
A
)
≤
µ
(
X 
) = 1, d’o`u
µ
(
A
) = 1. En outre
X 
∈ T  
.
Exercice 2
2.1. Si (
A
n
)
n
∈
N
est une suite d’ensembles deux `a deux disjoints de
M
, on consid`ere
µ
(
∪
n
∈
N
A
n
) = sup
j
∈
N
µ
j
(
∪
n
∈
N
A
n
) = sup
j
∈
N
n
∈
N
µ
j
(
A
n
)
.
On consid`ere l’espace mesur´e (
N
,
P 
(
N
)
,λ
), o`u
λ
est la mesure de comptage sur
N
(
λ
(
A
) = Card
A
) il vientavec
f 
j
(
n
) =
µ
j
(
A
n
) que 0
≤
f 
j
≤
f 
j
+1
(car
µ
j
(
A
)
≤
µ
j
+1
(
A
)) d’o`u du th´eor`eme de Beppo Levisup
j
∈
N
 
N
f 
j
dλ
=
 
N
(sup
j
∈
N
f 
j
)
dλ, i.e.
sup
j
∈
N
n
∈
N
µ
j
(
A
n
)
=
n
∈
N
sup
j
∈
N
{
µ
j
(
A
n
)
}
=
n
∈
N
µ
(
A
n
)
,
ce qui donne la
σ
-additivit´e de
µ
sur
M
. En outre
µ
(
∅
) = 0.2.2. Si
s
est ´etag´ee i.e.
s
=
1
≤
k
≤
m
α
k
1
A
k
avec
A
k
∈ M
et les
α
k
>
0, on a en utilisant que les suites(
µ
j
(
A
k
))
j
∈
N
sont croissantes,
 
X
s dµ
=
1
≤
k
≤
m
α
k
µ
(
A
k
) =
1
≤
k
≤
m
α
k
sup
j
∈
N
(
µ
j
(
A
k
)) =
1
≤
k
≤
m
α
k
lim
j
→∞
µ
j
(
A
k
)= lim
j
→∞
1
≤
k
≤
m
α
k
µ
j
(
A
k
)
= sup
j
∈
N
1
≤
k
≤
m
α
k
µ
j
(
A
k
)
= sup
j
∈
N
 
X
sdµ
j
.
Par ailleurs, si
f 
:
X 
−→
R
+
est une fonction mesurable, on peut trouver une suite croissante
s
k
defonctions ´etag´ees qui converge simplement vers
f 
. Le th´eor`eme de Beppo Levi et le r´esultat qui pr´ec`ededonnent(
∗
)
 
X
fdµ
= sup
k
∈
N
 
X
s
k
dµ
= sup
k
∈
N
sup
j
∈
N
 
X
s
k
dµ
j
.
En outre si (
a
jk
)
j,k
∈
N
est une suite double de
R
, pour tous
l,m
∈
N
, on a
α
= sup
j
∈
N
(sup
k
∈
N
a
jk
)
≥
sup
k
∈
N
a
lk
≥
a
lm
d’o`u sup
l
∈
N
a
lm
≤
α
et par suite sup
m
∈
N
(sup
l
∈
N
a
lm
)
≤
α,
ce qui donne finalement en ´echangeant le rˆole des indices dans la ligne pr´ec´edente(
∗∗
) sup
j
∈
N
(sup
k
∈
N
a
jk
) = sup
k
∈
N
(sup
j
∈
N
a
jk
)
.
On obtient par cons´equent de (
∗
) et (
∗∗
) que
 
X
fdµ
= sup
j
∈
N
sup
k
∈
N
 
X
s
k
dµ
j
= sup
j
∈
N
 
X
fdµ
j
,
la seconde ´egalit´e ´etant une cons´equence du th´eor`eme de Beppo Levi.
 
2
2.3. Si
λ
d´esigne la mesure de comptage sur
N
, alors
ν 
j
est la mesure de densit´e
1
[
j,
+
∞
[
par rapport `a
λ
;on note
ν 
j
=
1
[
j,
+
∞
[
λ
. Comme [
 j,
+
∞
[
⊃
[
 j
+ 1
,
+
∞
[
,
on a
1
[
j,
+
∞
[
≥
1
[
j
+1
,
+
∞
[
et donc
ν 
j
(
A
)
≥
ν 
j
+1
(
A
)pour tout
A
⊂
N
. Comme
ν 
(
A
) = inf 
j
∈
N
ν 
j
(
A
)
,
et
ν 
j
(
N
) = +
∞
, on obtient
ν 
(
N
) = +
∞
.
En outre pourtout
k
∈
N
,
ν 
(
{
k
}
) = inf 
j
∈
N
ν 
j
(
{
k
}
) = 0car
ν 
j
(
{
k
}
) =
λ
(
{
k
}∩
[
 j,
+
∞
[) = 0 si
j > k
. Donc
ν 
n’est pas une mesure sur
N
car+
∞
=
ν 
(
N
)
>
k
∈
N
ν 
(
{
k
}
) = 0
.
Exercice 3
Soit (
X,
M
,µ
) un espace mesur´e o`u
µ
est une mesure positive. Soit
f 
:
X 
−→
R
+
une application mesurabletelle que
 
X
fdµ <
∞
.
3.1. L’ensemble
N 
=
{
x
∈
X,f 
(
x
) = +
∞}
appartient `a
M
comme image r´eciproque du bor´elien (car ferm´e)
{
+
∞}
par l’application mesurable
f 
. Comme pour tout entier
k
,
k
1
N 
≤
f 
, il vient
kµ
(
N 
)
≤
 
X
fdµ <
+
∞
.Tous les produits
kµ
(
N 
) sont finis, donc
µ
(
N 
) = 0.3.2. On a pour
E 
∈ M
et
n
∈
N
, puisque
µ
(
N 
) = 0,(
)
 
E
fdµ
=
 
E
∩
N 
c
fdµ
≤
 
E
f 
1
{
f 
≤
n
}
dµ
+
 
X
f 
1
{
f>n
}
1
N 
c
dµ.
La suite
g
n
=
f 
1
{
f>n
}
1
N 
c
=
f 
1
{
n<f<
+
∞}
v´erifie
g
n
(
x
) = 0 si
n
≥
f 
(
x
), ce qui est v´erifi´e pour
x
∈
N 
c
pour
n
assez grand. Comme par ailleurs
g
n
(
x
) = 0 si
x
∈
N 
, on obtient(
)
∀
x
∈
X, g
n
(
x
)
→
0
.
De plus(
) 0
≤
g
n
≤
f 
1
N 
c
et
f 
1
N 
c
∈
L
1
(
µ
)
.
Le th´eor`eme de convergence domin´ee de Lebesgue permet de prouver en utilisant (
) et (
) que
g
n
tendvers 0 dans
L
1
(
µ
). De (
), il vient alors0
≤
 
E
fdµ
≤
nµ
(
E 
) +
θ
n
,
avec
θ
n
−→
n
→
+
∞
0
+
.
Soit
>
0: il existe
N 
tel que
θ
N 
< /
2. Posons
α
=
2
N 
+ 1(on remarque que
α >
0).Si
E 
∈ M
v´erifie
µ
(
E 
)
≤
α
, on obtient0
≤
 
E
fdµ
≤
N
2
N 
+ 1+
θ
N 
< /
2 +
/
2 =
,
QED.
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
deleted_fbuser_1319209095

It's possible to download it ?

reply01 / 02 / 2011
amineb15

Slt mon chère, merci pour votre travail est ce qu'il y a une possibilité pour telecharger ce document ?!!

reply10 / 31 / 2010
proposition dox

<a title="View mesure et intégration - licence - 10 examens corrigés on Scribd" href="mesure et intégration - licence - 10 examens corrigés" style="margin: 12px auto 6px auto; font-family: Helvetica,Arial,Sans-serif; font-style: normal; font-variant: normal; font-weight: normal; font-size: 14px; line-height: normal; font-size-adjust: none; font-stretch: normal; -x-s

reply12 / 14 / 2009
You must be to leave a comment.
Submit
Characters: ...