Montrer que pour toute fonction réelle mesurable positive, f ∈ M+(Ω,Σ), il existe une suite 1ϕnln∈N de fonctions simples positives telle que : (a) 0 ⩽ ϕn(x)
Previous PDF | Next PDF |
[PDF] quatre-vingts exercices corrigés - webusersimj-prgfr
Corrigé cf proposition 1 2 10 des notes de cours Exercice 1 15 Soit (X,M) un espace mesurable et fn : X → C une suite de fonctions mesurables Montrer que l'
[PDF] Exercices et Corrigés En complément du cours dAmaury Lambert
Tribus et fonctions mesurables 1 Exercices 1 Ensembles dénombrables (I) a Soit n ≥ 1 entier Montrer que Nn est dénombrable b En déduire que le produit
[PDF] Examens corrigés 1 Examen 1 - Département de Mathématiques d
Exercice 2 En dimension d ⩾ 1, soit une fonction mesurable f : Rd −→ R+ à valeurs positives finies (a) Rappeler la définition initiale de la mesurabilité d'une
[PDF] Fonctions mesurables - Igor Kortchemski
{ x ∈ E,fn(x) − fm(x)
[PDF] Fonctions mesurables, intégrale de Lebesgue - Exo7 - Exercices de
Montrer que pour toute fonction réelle mesurable positive, f ∈ M+(Ω,Σ), il existe une suite 1ϕnln∈N de fonctions simples positives telle que : (a) 0 ⩽ ϕn(x)
[PDF] Intégration Exercices et Corrigés - Ceremade
E -mesurable si et seulement si elle est constante sur chaque partie A ∈ A c Soient E une tribu de E, (fn)n∈N une suite de fonctions mesurables réelles sur E
[PDF] Mesure et Intégration - Département de mathématiques et de
1 1 Exercices maine D On exprime ceci en disant que la fonction f est intégrable au sens ensembles mesurables et la fonction restreinte sera la mesure
[PDF] Intégration et probabilités (cours + exercices corrigés) L3 MASS
1 2 Exercices 2 4 1 Intégrales des fonctions mesurables positives 10 Informations utiles (partiels, barêmes, annales, corrigés, ) :
[PDF] Exercices corrigés
Exercices corrigés TD2 : fonctions mesurables, propriétés des mesures Exercice 1 Soit f : (E,T ) → (R,B(R)) une application mesurable et k > 0 On définit fk par
pdf le
Si fprend au moins deux aleursv aet bdans F alors f1(a) 6= ;et f1(a) 6= E donc fn'est pas mesurable En revanche si fest constante alors elle est mesurable En e et si fprend pour unique aleurv a2F alors pour tout AˆF on a soit f1(A) = E(si a2A) soit f1(A) = ;(si a=2A) donc fest mesurable
Fonctions mesurables intégrale de Lebesgue - e Math
Fonctions mesurables intégrale de Lebesgue Exercice 1 Montrer les égalités ensemblistes suivantes : [a;b]= ¥ n=1 ]a 1 n ;b+ 1 n [ et ]a;b[= [¥ n=1 [a+ 1 n ;b 1 n ] Correction H[005933] Exercice 2 Soit (W;S;m) un espace mesuré et f : W
1 Tribus fonctions mesurables - univ-toulousefr
On rappelle que ?(C) est la plus petite tribu sur R qui rend bor´eliennes toutes les fonctions de C 3 Pour a>0 b? R on d´e?nit ? ab: R ? R par ? ab(x) = e?ax 2+bx Soit C 0:= ? ab; (ab) ? Q? + ×Q · (a) Montrer que la fonction x7?ebx est ?(C 0)-mesurable pour tout b? Q (b) En d´eduire que x7?xest aussi ?(C 0
Série 6 Correction - CNRS
Si 0 2=A h 1(A) h (Rnf0g) = Net donc h 1 est lui-même négligeable donc mesurable Si au contraire 0 2A h 1(A)c= h 1(Ac) est mesurable d'après le cas précédent et donc h 1(A) est mesurable Ainsi dans tous les cas h 1(A) est mesurable et donc hest mesurable Supposons f mesurable Comme g= f h la fonction gest mesurable Réciproquement
Searches related to fonction mesurable exercice corrigé
Exercice3 Soient (XA )un espace mesure et´ f: (XA)
[PDF] fonction polynome second degré
[PDF] fonction polynomiale du second degré transformée
[PDF] fonction sinus et cosinus exercices corrigés pdf
[PDF] fonction surjective mais pas injective
[PDF] fonctionnement d'un ampli à lampe
[PDF] fonctionnement d'un ampli audio
[PDF] fonctionnement d'un amplificateur opérationnel
[PDF] fonctionnement d'un tube néon
[PDF] fonctions equivalentes exercices corrigés pdf
[PDF] fonctions exercices 2nde
[PDF] fonctions exercices corrigés pdf
[PDF] fonctions exercices seconde pdf
[PDF] fonctions homographique seconde exercices corrigés
[PDF] fonctions polynomes du second degré exercices corrigés pdf
Exercices : Barbara Tumpach
Relecture : François LescureExo7
Fonctions mesurables, intégrale de Lebesgue
Exercice 1
Montrer les égalités ensemblistes suivantes : [a;b] =¥\ n=1]a1n ;b+1n [et]a;b[=¥[ n=1[a+1n ;b1n Soit(W;S;m)un espace mesuré etf:W!Rune fonction (S-B(R))-mesurable. Montrer que la troncaturefA defdéfinie par : fA(x) =8
:Asif(x)Asif(x)>A est (S-B(R))-mesurable. SoitW=N,S=P(N)etmla mesure de comptage surNdéfinie par : m(E) =]E=å k2E1; oùE2S. Soitf:N!Rune fonction positive ou nulle. Montrer quefest (S-B(R))-mesurable et que : Z W fdm=¥å n=1f(n): Soit(W;S)un espace mesurable. On dit quej:W!Rest unefonction simpleouétagéesijest mesurable et ne prend qu"un nombre fini de valeurs, i.e. sijs"écrit : j=å j2Jc j1Ej;oùJest un ensemble fini, les ensemblesEjsont mesurables et où, pouri6=j,ci6=cjetEi\Ej=/0. Soitjune
fonction simple positive. On rappelle que l"intégrale dejpar rapport à une mesuremest définie par :
Z W jdm=Z0mSj(t)dt;
oùSj(t) =fx2W;j(x)>tg. 1.Montrer que
Z W jdm=å j2Jc jm(Ej): 12.Montrer que pour toute foncti onréelle mesurable positi ve,f2M+(W;S), il existe une suitefjngn2Nde
fonctions simples positives telle que : (a)0 6jn(x)6jn+1(x)pour toutx2Wet pour toutn2N;
(b) lim n!+¥jn(x) =f(x)pour toutx2W.Soit(W;S;m)un espace mesuré etf2M+(W;S)(i.efest une fonction réelle mesurable positive). Pour tout
E2S, on pose :
l(E) =Z E f dm=Z W1Af dm:
Monter queldéfinit une mesure sur(W;S).
Soitp>0. Soitf:Rn!R+la fonction définie par
f(x) =jxjp1fjxj<1g(x):Calculer l"intégrale defpar rapport à la mesure de Lebesgue deRnde deux manières différentes :
(i) En utilisant les coordonnées polaires et les méthodes standard de calcul d"intégrales ; (ii) En calculant la mesure des ensembles Sf(a) =fx2W;f(x)>aget la définition de l"intégrale deLebesgue.
Correction del"exer cice1 N1.Montrons que [a;b] =T¥n=1]a1n ;b+1nPour tout n2N, on a[a;b]]a1n
;b+1n [. Donc[a;b]T¥n=1]a1n ;b+1nSoit x2T¥n=1]a1n
;b+1n [. Alors pour toutn2N, on a : a1nPour tout n2N, on a[a+1n
;b1n ]]a;b[, doncS¥n=1[a+1n ;b1n ]]a;b[.Soit x2S¥n=1[a+1n
;b1n ]. Alors il existen2Ntel quex2[a+1n ;b1n ]. Ainsix2]a;b[etS¥n=1[a+1n ;b1n]]a;b[, d"où l"égalité de ces deux ensembles.Correction del"exer cice2 NSoit(W;S;m)un espace mesuré etf:W!Rune fonction (S-B(R))-mesurable. Montrons que la troncature
fAdefdéfinie par :
fA(x) =8
:Asif(x)Asif(x)>A est mesurable. NotonsE1:=fx2Wjf(x) E 2:=fx2Wj jf(x)j6Ag=f1([A;A]);
E 3:=fx2Wjf(x)>Ag=f1(]A;+¥[):
Comme]¥;A[,[A;A],]A;+¥[appartiennent à la tribu borélienne etfest (S-B(R))-mesurable, les
ensemblesE1,E2, etE3appartiennent àS. AlorsfA=f1E2A1E1+A1E3est mesurable comme somme de produits de fonctions mesurables.Correction del"exer cice3 NSoitW=N,S=P(N)etmla mesure de comptage surNdéfinie par :
m(E) =]E=å k2E1; oùE2S. Soitf:N!Rune fonction positive ou nulle. Pour tout borélienE,f1(E)appartient àP(N), doncfest (S-B(R))-mesurable. Par définition de l"intégrale, Z W fdm=Z 0m(Sf(t))dt;
oùSf(t) =fn2S;f(n)>tg. Pour touty2[0;+¥[, posonsAy:=fn2N;f(n) =yg. Alors S f(t) =[y>tAy où l"union est disjointe et oùAyest vide sauf pour un ensemble dénombrablefyigi2Nde valeurs dey. Par
s-additivité de la mesurem, m(Sf(t)) =m([yi>tAyi) =å y i>tm(Ayi) =å y i>tm(ff=yig): 3 Ainsi :
Z W fdm=Z 0å y i>tm(ff=yig)dt=¥å i=0Z 06t i=0y im(ff=yig) =¥å i=0y i]fn2N;f(n) =yig=¥å n=0f(n):Correction del"exer cice4 NSoitjune fonction simple positive : j=å j2Jc j1Ej; oùJest un ensemble fini, les ensemblesEjsont mesurables et où, pouri6=j,ci6=cjetEi\Ej=/0. 1. On a Z W jdm=Z 0mSj(t)dt;
oùSj(t) =fx2W;j(x)>tg=[cj>tEjet oùmSj(t)=åcj>tm(Ej). Ainsi Z W jdm=Z 0å c j>tm(Ej)dt=å j2JZ cj 0m(Ej)dt=å
j2Jc jm(Ej): 2. Pour tout n2N, posons
E E n;n:=fx2W;f(x)>ngpourk=n2n: Puisquefest mesurable, les ensemblesEk;nappartiennent àS. Pour toutn2Nfixé, les ensemblesEk;n, 06k6n2n1 sont deux à deux disjoints et[kEk;n=W. Posons
j n=n2n1å k=0k2n1Ek;n: Alorsjnest une fonction simple positive vérifiantjn6f. En outre 06jn(x)6jn+1(x)pour toutx2W et pour toutn2N. De plus, limn!+¥jn(x) =f(x)pour toutx2W.Correction del"exer cice5 NSoit(W;S;m)un espace mesuré etf2M+(W;S). Pour toutE2S, on pose :
l(E) =Z E f dm=Z W 1Af dm:
Montrons queldéfinit une mesure sur(W;S).
1 èreméthode :On montre d"abord que l"affirmation est vraie pour les fonctions simples. D"après l"exercice4 ,
toute fonctionf2M+(W;S)s"écritf=supn2Njn, où lesjnsont des fonctions simples. Puisque le supremum
d"une famille quelconque de mesure est une mesure, on conclut quelest une mesure. 4 2 deméthode :On a clairementl(/0) =0. Il suffit donc de vérifier las-additivité del. SoitfEigi2NSune
suite d"éléments deux à deux disjoints. On a l i=1E i! =Z S ¥i=1Eif dm=Z
W 1S¥i=1Eif dm
Z W i=11 Ei! f dm=Z W¥å
i=1(1Eif)dm i=1Z W (1Eif)dm=¥å i=1Z E if dm i=1l(Ei):Correction del"exer cice6 NSoitf:Rn!R+la fonction définie par f(x) =jxjp1fjxj<1g(x): (i) On a :
Z R nf(x)dx=Z R njxjp1fjxj<1g(x)dx=Z jxj<1jxjpdx=Z 1 r=0Z s2Sn1rnp1drds 2pn2 G n2 Z 1 0rnp1dr:
Pourn6p, il vientZ
R nf(x)dx= +¥: Pourp Z R nf(x)dx=2pn2 G n2 rnp(np) 1 0 =2pn2 (np)Gn2 (ii) Pour a2[0;+¥[,
S f(a) =fx2Rn;jxjp1jxj<1>ag=fx2Rn;jxjp>ag\B(0;1); oùB(0;1)est la boule de centre 0 et de rayon 1. Ainsi S f(a) =fx2Rn;a1p >jxjg\B(0;1): On en déduit queSf(a) =B(0;1)sia1p
>1, i.e. sia<1 et queSf(a)est égale à la bouleB(0;a1p de centre 0 et de rayona1p lorsquea>1. Il vient alors : Z R nf(x)dx=Z 0m(Sf(a))da=Z
1quotesdbs_dbs6.pdfusesText_12
2:=fx2Wj jf(x)j6Ag=f1([A;A]);
E3:=fx2Wjf(x)>Ag=f1(]A;+¥[):
Comme]¥;A[,[A;A],]A;+¥[appartiennent à la tribu borélienne etfest (S-B(R))-mesurable, les
ensemblesE1,E2, etE3appartiennent àS. AlorsfA=f1E2A1E1+A1E3est mesurable comme sommede produits de fonctions mesurables.Correction del"exer cice3 NSoitW=N,S=P(N)etmla mesure de comptage surNdéfinie par :
m(E) =]E=å k2E1; oùE2S. Soitf:N!Rune fonction positive ou nulle. Pour tout borélienE,f1(E)appartient àP(N), doncfest (S-B(R))-mesurable. Par définition de l"intégrale, Z W fdm=Z0m(Sf(t))dt;
oùSf(t) =fn2S;f(n)>tg. Pour touty2[0;+¥[, posonsAy:=fn2N;f(n) =yg. Alors S f(t) =[y>tAyoù l"union est disjointe et oùAyest vide sauf pour un ensemble dénombrablefyigi2Nde valeurs dey. Par
s-additivité de la mesurem, m(Sf(t)) =m([yi>tAyi) =å y i>tm(Ayi) =å y i>tm(ff=yig): 3Ainsi :
Z W fdm=Z 0å y i>tm(ff=yig)dt=¥å i=0Z06t i=0y im(ff=yig) =¥å i=0y i]fn2N;f(n) =yig=¥å n=0f(n):Correction del"exer cice4 NSoitjune fonction simple positive : j=å j2Jc j1Ej; oùJest un ensemble fini, les ensemblesEjsont mesurables et où, pouri6=j,ci6=cjetEi\Ej=/0. 1. On a Z W jdm=Z 0mSj(t)dt;
oùSj(t) =fx2W;j(x)>tg=[cj>tEjet oùmSj(t)=åcj>tm(Ej). Ainsi Z W jdm=Z 0å c j>tm(Ej)dt=å j2JZ cj 0m(Ej)dt=å
j2Jc jm(Ej): 2. Pour tout n2N, posons
E E n;n:=fx2W;f(x)>ngpourk=n2n: Puisquefest mesurable, les ensemblesEk;nappartiennent àS. Pour toutn2Nfixé, les ensemblesEk;n, 06k6n2n1 sont deux à deux disjoints et[kEk;n=W. Posons
j n=n2n1å k=0k2n1Ek;n: Alorsjnest une fonction simple positive vérifiantjn6f. En outre 06jn(x)6jn+1(x)pour toutx2W et pour toutn2N. De plus, limn!+¥jn(x) =f(x)pour toutx2W.Correction del"exer cice5 NSoit(W;S;m)un espace mesuré etf2M+(W;S). Pour toutE2S, on pose :
l(E) =Z E f dm=Z W 1Af dm:
Montrons queldéfinit une mesure sur(W;S).
1 èreméthode :On montre d"abord que l"affirmation est vraie pour les fonctions simples. D"après l"exercice4 ,
toute fonctionf2M+(W;S)s"écritf=supn2Njn, où lesjnsont des fonctions simples. Puisque le supremum
d"une famille quelconque de mesure est une mesure, on conclut quelest une mesure. 4 2 deméthode :On a clairementl(/0) =0. Il suffit donc de vérifier las-additivité del. SoitfEigi2NSune
suite d"éléments deux à deux disjoints. On a l i=1E i! =Z S ¥i=1Eif dm=Z
W 1S¥i=1Eif dm
Z W i=11 Ei! f dm=Z W¥å
i=1(1Eif)dm i=1Z W (1Eif)dm=¥å i=1Z E if dm i=1l(Ei):Correction del"exer cice6 NSoitf:Rn!R+la fonction définie par f(x) =jxjp1fjxj<1g(x): (i) On a :
Z R nf(x)dx=Z R njxjp1fjxj<1g(x)dx=Z jxj<1jxjpdx=Z 1 r=0Z s2Sn1rnp1drds 2pn2 G n2 Z 1 0rnp1dr:
Pourn6p, il vientZ
R nf(x)dx= +¥: Pourp Z R nf(x)dx=2pn2 G n2 rnp(np) 1 0 =2pn2 (np)Gn2 (ii) Pour a2[0;+¥[,
S f(a) =fx2Rn;jxjp1jxj<1>ag=fx2Rn;jxjp>ag\B(0;1); oùB(0;1)est la boule de centre 0 et de rayon 1. Ainsi S f(a) =fx2Rn;a1p >jxjg\B(0;1): On en déduit queSf(a) =B(0;1)sia1p
>1, i.e. sia<1 et queSf(a)est égale à la bouleB(0;a1p de centre 0 et de rayona1p lorsquea>1. Il vient alors : Z R nf(x)dx=Z 0m(Sf(a))da=Z
1quotesdbs_dbs6.pdfusesText_12
0mSj(t)dt;
oùSj(t) =fx2W;j(x)>tg=[cj>tEjet oùmSj(t)=åcj>tm(Ej). Ainsi Z W jdm=Z 0å c j>tm(Ej)dt=å j2JZ cj0m(Ej)dt=å
j2Jc jm(Ej): 2.Pour tout n2N, posons
E E n;n:=fx2W;f(x)>ngpourk=n2n: Puisquefest mesurable, les ensemblesEk;nappartiennent àS. Pour toutn2Nfixé, les ensemblesEk;n,06k6n2n1 sont deux à deux disjoints et[kEk;n=W. Posons
j n=n2n1å k=0k2n1Ek;n: Alorsjnest une fonction simple positive vérifiantjn6f. En outre 06jn(x)6jn+1(x)pour toutx2Wet pour toutn2N. De plus, limn!+¥jn(x) =f(x)pour toutx2W.Correction del"exer cice5 NSoit(W;S;m)un espace mesuré etf2M+(W;S). Pour toutE2S, on pose :
l(E) =Z E f dm=Z W1Af dm:
Montrons queldéfinit une mesure sur(W;S).
1èreméthode :On montre d"abord que l"affirmation est vraie pour les fonctions simples. D"après l"exercice4 ,
toute fonctionf2M+(W;S)s"écritf=supn2Njn, où lesjnsont des fonctions simples. Puisque le supremum
d"une famille quelconque de mesure est une mesure, on conclut quelest une mesure. 4 2deméthode :On a clairementl(/0) =0. Il suffit donc de vérifier las-additivité del. SoitfEigi2NSune
suite d"éléments deux à deux disjoints. On a l i=1E i! =Z S