[PDF] Intégration et probabilités (cours + exercices corrigés) L3 MASS

View - Download Intégration et probabilités (cours + exercices corrigés) L3 MASS

Previous PDF

Next PDF

Int´egration et probabilit´es

(cours + exercices corrig´es)

L3 MASS, Universit´e de Nice-Sophia Antipolis

Sylvain Rubenthaler

Table des mati`eres

Introduction iii

1 D´enombrement (rappels) 1

1.1 Ensembles d´enombrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Th´eorie de la mesure 5

2.1 Tribus et mesures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.1.1 Tribus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.2 Mesures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.3 Int´egrales des fonctions ´etag´ees mesurables positives. . . . . . . . . . . . . . . 9

2.4 Fonctions mesurables et int´egrales . . . . . . . . . . . . . . . . . . . . . . . . 10

2.4.1 Int´egrales des fonctions mesurables positives . . . . . . . . . . . . . . . 10

2.4.2 Int´egrales des fonctions mesurables de signe quelconque. . . . . . . . . 11

2.5 Fonction de r´epartition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.6.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.6.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

3 Ensembles n´egligeables 17

4 Th´eor`emes limites 19

4.1 Stabilit´e de la mesurabilit´e par passage `a la limite. . . . . . . . . . . . . . . . 19

4.2 Th´eor`emes de convergence pour les int´egrales. . . . . . . . . . . . . . . . . . . 19

4.3 Int´egrales d´ependant d"un param`etre . . . . . . . . . . . . . . . . . . . . . . . 23

4.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

4.4.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

4.4.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

5 Mesure produit et th´eor`emes de Fubini 29

5.1 Th´eor`emes de Fubini et Fubini-Tonelli . . . . . . . . . . . . . . . . . . . . . . 29

5.2 Changement de variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

5.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

5.3.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

5.3.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

6 Fondements de la th´eorie des probabilit´es 37

6.1 D´efinitions g´en´erales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

6.2 Esp´erance d"une v.a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

6.3 In´egalit´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

6.4 Lois classiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

6.4.1 Lois discr`etes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

6.4.2 Lois continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

6.5 Fonctions caract´eristiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

6.6 Fonctions g´en´eratrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

i

6.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

6.7.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

6.7.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

7 Variables ind´ependantes 53

7.1 D´efinitions g´en´erales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

7.1.1´Ev´enements et variables ind´ependantes . . . . . . . . . . . . . . . . . 53

7.1.2 Densit´es de variables ind´ependantes . . . . . . . . . . . . . . . . . . . 54

7.2 Lemme de Borel-Cantelli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

7.3 Somme de deux variables ind´ependantes . . . . . . . . . . . . . . . . . . . . . 56

7.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

7.4.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

7.4.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

8 Convergence de variables al´eatoires 61

8.1 Les diff´erentes notions de convergence . . . . . . . . . . . . . . . . . . . . . . 61

8.2 Loi des grands nombres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

8.3 Th´eor`eme central-limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

8.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

8.4.1´Enonc´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

8.4.2 Corrig´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

9 Conditionnement 71

9.1 Conditionnement discret . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

9.2 Esp´erance conditionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

9.3 Exercice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

9.3.1´Enonc´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

9.3.2 Corrig´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

10 Variables gaussiennes 77

10.1 D´efinitions et propri´et´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

10.2 Gaussiennes et esp´erance conditionnelle . . . . . . . . . . . . . . . . . . . . . 78

A Table de la loi normale 81

Introduction

Le but de ce cours est d"introduire les notions de th´eorie de la mesure qui seront utiles

en calcul des probabilit´es et en analyse. Il est destin´e aux ´etudiants qui veulent poursuivre

leurs ´etudes dans un master `a composante math´ematique. Pour un cours plus complet, se reporter `a la bibliographie. Informations utiles (partiels, barˆemes, annales, corrig´es, ...) : http ://math.unice.fr/≂rubentha/cours.html.

PR´EREQUIS : Pour pouvoir suivre ce cours, l"´etudiant doit connaˆıtre, entre autres, les

d´eveloppements limit´es, les ´equivalents, les ´etudes de fonction, le d´enombrement, les nombre

complexes, la th´eorie des ensembles., les int´egrales et primitives usuelles, la trigonom´etrie

...etc ... iii

Chapitre 1

D´enombrement (rappels)

1.1 Ensembles d´enombrables

D´efinition 1.1.1.Injection.

SoitE,Fdes ensembles,f:E→Fest une injection si?x,y?E,f(x) =f(y)?x=y.

D´efinition 1.1.2.Surjection.

SoitE,Fdes ensembles,f:E→Fest une surjection si?z?F,?x?Etel quef(x) =z.

D´efinition 1.1.3.Bijection.

SoitE,Fdes ensembles,f:E→Fest une bijection sifest une injection et une surjection. Proposition 1.1.4.SoientE,F,Gdes ensembles. Soientf:E→F,g:F→G. Alors [f etginjectives]?[g◦finjective]. D´emonstration.Soientx,ytels queg◦f(x) =g◦f(y). L"applicationgest injective donc

f(x) =f(y). L"applicationfest injective doncx=y.D´efinition 1.1.5.On dit qu"un ensembleEest d´enombrable s"il existe une injection deE

dansN. Dans le cas o`uFest infini, on d´emontrer qu"il existe alors une bijection deEdans N. (Cela revient `a dire que l"on peut compter un `a un les ´el´ements deE.) Exemple 1.1.6.Tout ensemble fini est d´enombrable. Exemple 1.1.7.Zest d´enombrable car l"application f:Z→N k?→?

2nsin≥0

-2n-1sin <0 est bijective (donc injective).01 23-1-2-30 2 4

13Fig.1.1 -´Enum´eration des ´el´ements deZ.

1

2CHAPITRE 1. D´ENOMBREMENT (RAPPELS)

Exemple 1.1.8.N×Nest d´enombrable car l"application f:N×N→N (p,q)?→(p+q)(p+q+ 1)2 +q est bijective (donc injective).0 129 58
74

3 6Fig.1.2 -´Enum´eration des ´el´ements deN×N.

Exemple 1.1.9.L"ensembleQest d´enombrable. L"ensembleRn"est pas d´enombrable. Proposition 1.1.10.Si on aE0,E1, ...,En, ...des ensembles d´enombrables alorsE= E

0?E1?E2? ···=?n≥0Enest un ensemble d´enombrable.

(En d"autres termes, une r´eunion d´enombrable d"ensembles d´enombrables est d´enombrable.)

D´emonstration.S Pour touti≥0,Eiest d´enombrable donc?fi:Ei→Ninjective. Soit

F:?n≥0En→N×N

x?→(i,fi(x)) six?Ei Cette applicationFest injective. L"ensembleN×Nest d´enombrable donc il existeg:N×N→

Ninjective. Par la proposition 1.1.4,g◦Fest injective. Donc?n≥0Enest d´enombrable.1.2 Exercices

Tous les exercices de ce chapitre n"ont pas un lien direct avec le cours. Par contre, ils constituent des r´evisions n´ecessaires `a la suite du cours. 1.2.1

´Enonc´es

1) Rappel :Sif:E→FetA?F,f-1(A) ={x?E:f(x)?A}. SiC?E,f(C) =

{f(x),x?C}.

On consid`ere l"applicationf:R→R,x?→x2.

(a) D´eterminerf([-3,-1]),f([-3,1]),f(]-3,1]). (b) D´eterminerf-1(]- ∞,2]),f-1(]1,+∞[),f-1(]-1,0]?[1,2[).

2) Calculer les limites suivantes :

(a) lim x→0sin(x)log(1+x) (b) lim x→+∞?1 +2x x (c) lim x→01-cos(x)xsin(x)

1.2. EXERCICES3

(d) lim x→01-(1+x)α1-(1+x)βpourα,β >0.

3) Calculer les int´egrales suivantes :

(a)?+∞

0x2e-xdx

(b)?+∞ e

11(log(z))2zdz

(c) ?1

01(2-x)(1+x)dx

(d) ?π/4 0cos

2(x)+sin2(x)cos

2(x)dx.

4) Int´egrales de Wallis

Pour toutn?N, on pose :

I n=?

π/2

0 sinn(x)dx . (a) CalculerI0etI1. (b) Donner une relation de r´ecurrence entreInetIn+2. (c) En d´eduire que : ?p?N, I2p=(2p-1)(2p-3)...12p(2p-2)...2π2 etI2p+1=2p(2p-2)...2(2p+ 1)(2p-1)...1. 2pI

2p+1= 1.

(e) En d´eduire la formule de Wallis : lim p→+∞1p

2p(2p-2)...2(2p-1)(2p-3)...1?

2 (f) Montrer que?n?N,In≂n→+∞?π 2n.

1.2.2 Corrig´es

(1) (a)f([-3,-1]) = [1,9],f([-3,1]) = [0,9],f(]-3,1]) = [0,9[. (b)f-1(]- ∞,2]) = [-⎷2,⎷2],f-1(]1,+∞[) =]- ∞,-1[?]1,+∞[,f-1(]-1,0]? [1,2[) ={0}?]-⎷2,-1]?[1,⎷2[. (2) (a) sin(x)log(1+x)≂x→0+xx = 1→x→0+1 (b) ?1 +2x x=exlog(1+2x )etxlog?1 +2x ?≂x→+∞2xx →x→+∞2 donc par continuit´e de la fonction exp :?1 +2x x→x→+∞e2 (c)

1-cos(x)xsin(x)=(x2/2)+o(x2)x

2+o(x2)≂x→0x

22x2= 1/2

(d) (a) on int`egre par parties : 0 x2e-xdx= [-x2e-x]+∞0+? 0

2xe-xdx

= 0 + [-2xe-x]+∞0+? 0

2e-xdx

= [-2e-x]+∞0= 2 (b) changement de variable :t= log(z),z=et,dz=etdt e

11(log(z))2zdz=?

11t 2dt = [-1/t]+∞1= 1

4CHAPITRE 1. D´ENOMBREMENT (RAPPELS)

(c) on d´ecompose

1(2-x)(1+x)=1/32-x+1/31+x(toujours possible pour une fraction ratio-

nelle `a pˆoles simples) et donc : 1

01(2-x)(1 +x)dx=?

-13 log(2-x) +13 log(1 +x)? 1 0 =13 log(4) (d) changement de variable :t= tan(x),x= arctan(t),dx=11+t2dt

π/4

0cos

2(x) + sin2(x)cos

2(x)dx=?

π/4

0

1 + tan2(x)dx

= [tan(x)]π/4 0= 1 (3) (a)I0=?π/2

01dx=π2

,I1=?π/2

0sin(x)dx= [-cos(x)]π/2

0= 1. (b) On int`egre par parties pour toutn≥2 : I n+2=?

π/2

0 sinn+1(x)sin(x)dx = [-sinn+1(x)cos(x)]π/2

0+ (n+ 1)?

π/2

0 sinn(x)cos2(x)dx = (n+ 1)(In-In+2) d"o`uIn+2=n+1n+2In. (c) D´emonstration par r´ecurrence de la formule pourI2p(d´emonstration similaire pour I

2p+1) :

- c"est vrai enp= 0 - si c"est vrai jusqu"au rangpalorsI2p+2=2p+12p+2I2p=(2p+1)(2p-1)...1(2p+2)(2p)...2π2

2p+1=2p+12p, donc

lim p→+∞I 2pI

2p+1= 1

(e) on d´eduit de la question pr´ec´edente : lim p→+∞π2 (2p-1)(2p-3)...12p(2p-2)...2?

2(2p+ 1) = 1,

d"o`u la formule de Wallis (f) On fait la d´emonstration pournimpair . Soitn= 2p+ 1 : I

2p+1=2p(2p-2)...2(2p+ 1)...1

⎷p

2p+ 1?1

p

2p(2p+ 2)...2(2p-1)...1?

2 p→+∞1?2(2p+ 1)⎷π .

Chapitre 2

Th´eorie de la mesure

La th´eorie de la mesure est l"outil utilis´e pour mod´eliserle hasard.

2.1 Tribus et mesures

2.1.1 Tribus

Dans la suite, on utilisera un ensemble Ω que l"on appellera"univers». Il contient tous les al´eas possibles. D´efinition 2.1.1.Une familleAde parties deΩest une tribu (surΩ) si elle v´erifie

1.Ω? A

2.A? A ?Ac? A(stabilit´e par passage au compl´ementaire)

3.A0,A1,A2,··· ? A ? ?n≥0An? A(une r´eunion d´enombrable d"´el´ements deAest

dansA)

Remarque 2.1.2.On rappelle que :

-Ac:={x?Ω :x /?A} - Une tribu est un ensemble de parties. Ces parties sont appel´ees"´ev´enements». Proposition 2.1.3.Stabilit´e par intersection d´enombrable. SoientAune tribu etA0,A1,A2,··· ? A, alors∩n≥0An? A. D´emonstration.On note pour toutn,Bn=Acn. Donc, par d´efinition d"une tribu,Bn? A,?n et?n≥0Bn? A. n≥0An=∩n≥0Bcn n≥0Bn? c

( par d´efinition )? A.Exemple 2.1.4.Pour n"importe quel ensembleΩ,A={∅,Ω}est une tribu.

Exemple 2.1.5.Pour n"importe quel ensembleΩ, ,A=P(Ω)(les parties deΩ) est une tribu. Proposition 2.1.6.SoitA ? P(Ω), il existe une tribu not´eeσ(A)telle que siBest une tribu telle queA ? Balorsσ(A)? B. On dira queσ(A) est la plus petite tribu contenantA, ou encore queσ(A) est la tribu engendr´ee parA. 5

6CHAPITRE 2. TH´EORIE DE LA MESURE

D´efinition 2.1.7.Soit l"ensemble de parties deRsuivant :

A={]a,b[:a,b?R? {+∞,-∞}}

(c"est l"ensemble des intervalles ouverts). La tribuσ(A)s"appelle la tribu des bor´eliens et se

noteB(R). Exemple 2.1.8.Soit[a,b]intervalle ferm´e deR. Les intervalles]-∞,a[,]b,+∞[sont dans B(R). La familleB(R)est une tribu donc]- ∞,a[?]b,+∞[? B(R)(stabilit´e par r´eunion d´enombrable), et donc aussi(]- ∞,a[?]b,+∞[)c= [a,b]? B(R)(stabilit´e par passage au compl´ementaire). De mˆeme, on peut montrer que tous les intervalles deRsont dansB(R), ainsi que tous les singletons (les ensembles de la forme{x},x?R).

2.2 Mesures

Notation 2.2.1.Dans le calcul des mesures, on adopte les conventions de calcul suivantes (qui ne sont pas valables ailleurs) :?x?R,x+∞= +∞,0× ∞= 0. D´efinition 2.2.2.SoitΩun ensemble muni d"une tribuA. On dit queμest une mesure (positive) sur(Ω,A)si :

1.μ:A →[0,+∞](elle peut prendre la valeur∞)

2.μ(∅) = 0

3. siA0,A1,A2,··· ? Aet sont deux `a deux disjointsalorsμ(?n≥0An) =?

n≥0μ(An). Quandμest une mesure sur (Ω,A) est telle queμ(Ω) = 1, on dit queμest une mesure de probabilit´e(cette d´efinition sera rappel´ee plus tard dans le cours). La tribuA contient tous les ´ev´enements possibles et, pourA? A,μ(A) est la probabilit´e queAse produise. D´efinition 2.2.3.Quandμest telle queμ(Ω)<∞, on dit queμest une mesure finie. D´efinition 2.2.4.Quand on a un ensembleΩavec une tribuAsurΩ, on dit que(Ω,A) est un espace mesurable. Si on a de plus, une mesureμsur(Ω,A), on dit que(Ω,A,μ)est un espace mesur´e. Exemple 2.2.5.Le triplet(N,P(N),card)est un espace mesur´e. Nous avons vu (exemple

2.1.5) queP(N)est une tribu surN. De plus :

1. PourA? P(N), card(A)(=le nombre d"´el´ements deA) est bien dans[0,+∞].

2. La partie∅est de cardinal0.

3. SiA0,A1,··· ? P(N)sont deux `a deux disjoints, card(?n≥0An) =?

n≥0card(An). Proposition 2.2.6.Croissance et mesure d"une diff´erence Soit(Ω,A,μ)un espace mesur´e. SoitA,B? Atels queB?A. - Si, de plusμ(A)<+∞, alorsμ(A\B) =μ(A)-μ(B). (Rappel :A\B={x:x?A,x /?B}.)

μ(A). Siμ(A)<+∞, nous avons alorsμ(A\B) =μ(A)-μ(B).Proposition 2.2.7.Sous-additivit´e.

Soit(Ω,A,μ)un espace mesur´e. SiA0,A1,A2,··· ? A(pas forc´ement deux `a deux disjoints).

n≥0μ(An).

2.2. MESURES7

alors, par convention,B0=A0). Les ensemblesB0,B1,B2,...sont deux `a deux disjoints.

Nous avons

μ(?n≥0An) =μ(?n≥0Bn)

(carB0,B1,B2,...deux `a deux disjoints) =? n≥0μ(Bn) n≥0μ(An)Proposition 2.2.8.Mesure d"une r´eunion croissante. Soit(Ω,A,μ)un espace mesur´e. SoientA0,A1,··· ? Atels queA0?A1? ··· ?An? A n+1?.... Alorsμ(?k≥0Ak) = limn→∞μ(An) D´emonstration.Posons pour toutk≥1,Bk=Ak\Ak-1(={x:x?Ak,x /?A+k-1}) et B

0=A0.0AAB

1B

12Les ensemblesB0,B1,B2,...sont deux `a deux disjoints. Donc

μ(?k≥0Ak) =μ(?k≥0Bk)

k≥0μ(Bk) = lim n→+∞n k=0μ(Bk)

On a?n,?n

k=0μ(Bk) =μ(An). Doncμ(?k≥0Ak) = limn→+∞μ(An).Proposition 2.2.9.Mesure d"une intersection d´ecroissante.

Soit(Ω,A,μ)un espace mesur´e. SoientA0,A1,··· ? Atels queA0?A1? ··· ?An? A n+1?...et tels queμ(A0)<+∞. Alorsμ(∩k≥0Ak) = limn→+∞μ(An). D´emonstration.Posons pour toutk,Bk=Ak\Ak+1. Les ensemblesB0,B1,B2,...sont deux `a deux disjoints.

8CHAPITRE 2. TH´EORIE DE LA MESUREAB

B0 1 A A12

0Nous avons∩k≥0Ak=A0\ ?k≥0Bk, donc (par la proposition 2.2.6)

μ(∩k≥0Ak) =μ(A0)-μ(?k≥0Bk) (mesure d"une r´eunion disjointe) =μ(A0)-? k≥0μ(Bk) =μ(A0)-limn→+∞n k=0μ(Bk) = lim n→+∞(μ(A0)-μ(B0)- ··· -μ(Bn)) (mesure d"une r´eunion disjointe) = lim (cf. prop. 2.2.6) = lim n→+∞μ(An+1).Th´eor`eme 2.2.10.Mesure de Lebesgue.

Il existe une mesureλsur(R,B(R))v´erifiant

1. pour tout intervalle]a,b[,λ(]a,b[) =b-a

2.?A? B(R),?x?R,λ({y:y-x?A}) =λ(A).

Cette mesureλs"appelle la mesure de Lebesgue.

Exemple 2.2.11.Mesure de Lebesgue d"un intervalle quelconque.

λ([a,b]) =λ(]a-1,b+ 1[\(]a-1,a[?]b,b+ 1[))

(par Prop. 2.2.6)=λ(]a-1,b+ 1[)-λ(]a-1,a[?]b,b+ 1[) (r´eunion disjointe)=λ(]a-1,b+ 1[)-λ(]a-1,a[)-λ(]b,b+ 1[) = (b+ 1-(a-1))-(a-(a-1))-(b+ 1-b) =b-a .

De mˆeme,λ([a,b[) =λ(]a,b]) =b-a.

Exemple 2.2.12.Mesure de Lebesgue d"un singleton.

2/n. Doncλ({x}) = 0.

Exemple 2.2.13.Mesure de Lebesgue deQ.

On sait queQest d´enombrable. Donc on peut num´eroter ses ´el´ements :Q={u0,u1,u2,...}. Pour tout entiern≥1, on d´efinitAn=?i≥0?ui-1n2i,ui+1n2i?. On a pour toutn,Q?An i≥0λ??ui-1n2i,ui+1n2i??=2n . Et doncλ(Q) = 0.

2.3. INT

´EGRALES DES FONCTIONS´ETAG´EES MESURABLES POSITIVES.9

2.3 Int´egrales des fonctions ´etag´ees mesurables posi-

tives.

On se donne un espace mesur´e (Ω,A,μ).

D´efinition 2.3.1.Soitf: Ω→R+. On dit quefest ´etag´ee (positive) s"il existe une famille

finieA1,...,AndeAtelle que - lesAiforment une partition deΩ(ce qui veut dire queA1,...,Ansont deux `a deux -?i? {1,...n},?aitel quef(x) =ai,?x?Ai. Remarque 2.3.2.Sifest une fonction ´etag´ee d´efinie avec une partitionA1,...,An, il peut exister une autre partitionB1,...,Bm(diff´erente deA1,...,An) telle quefest constante sur chacun desBi. D´efinition 2.3.3.SoitA?Ω. La fonction indicatrice deAest la fonction 1

A: Ω→ {0,1}

x?→?

1six?A

0six /?A .

Il existe d"autres notations. Par exemple siA= [0,1]?R, on peut ´ecrire1A(x) =1x?[0,1]= 1 Lemme 2.3.4.SiA?Ω,B?Ωalors?x,1A(x)×1B(x) =1A∩B(x).

Exemple 2.3.5.La fonction

f:R→R x?→? ?0six <0 ?x?six?[0,2]

0sinon

est une fonction positive ´etag´ee (?x?signifie"partie enti`ere»). En effet, elle est constante

sur]- ∞,0[,[0,1[,[1,2[,{2},]2,+∞[.0 1 212Fig.2.1 - Dessin def. Avec des fonctions indicatrice, nous pouvons ´ecrirefde mani`ere plus compacte : f(x) =?x?1[0,2](x) =1[0,2[(x)× ?x?+ 2×1{2}(x) =... .

D´efinition 2.3.6.Soitfune fonction positive ´etag´ee associ´ee `a une partitionA1,...,An

(avecf(x) =aisix?Ai). On appelle int´egrale defpar rapport `aμle nombre suivant f(x)μ(dx) :=n? i=1a iμ(Ai). Ce nombre peut ˆetre+∞. Une fonction positive ´etag´eefest dite int´egrable si?

Ωf(x)μ(dx)<

10CHAPITRE 2. TH´EORIE DE LA MESURE

Remarque 2.3.7.La valeur de?

Ωf(x)μ(dx)est ind´ependante de la partition associ´ee `af.

2.4 Fonctions mesurables et int´egrales

2.4.1 Int´egrales des fonctions mesurables positives

D´efinition 2.4.1.Application mesurable.

Soient(Ω,A),(Ω?,A?)deux espaces mesurables. On dit qu"une applicationf: Ω→Ω?est mesurable (par rapport aux tribusA,A?) si?B? A?,f-1(B) :={x?Ω :f(x)?B} ? A.

Proposition 2.4.2.

- Toute fonction continuef: (R,B(R))→(R,B(R))est mesurable. - Sifetgsont des fonction mesurables(Ω,A)→(R,B(R))alorsf+g,f×g,fg sont mesurables. - Sif: (Ω,A)→(Ω?,A?)est mesurable etg: (Ω?,A?)→(Ω??,A??)est mesurable alors g◦f: (Ω,A)→(Ω??,A??)est mesurable. De mani`ere g´en´erale, toute fonction (R,B(R))→(R,B(R)) d´efinie par une formule est mesurable.

Proposition 2.4.3.Mesure image.

Soit(Ω,A,μ)un espace mesur´e. Soit(Ω?,B)un espace mesurable. Soitf: Ω→Ω?mesu-

rable. L"applicationν:B →[0,+∞]d´efinie parν(B) =μ(f-1(B))est une mesure appel´ee

mesure image deμparf. (Rappel :f-1(B) :={x?Ω :f(x)?B}.) D´emonstration.V´erifions d"abord queνest bien d´efinie :?B? B,f-1(B)? Acarfest mesurable, doncν(B) est bien d´efini. On a doncν:B →[0,+∞]. Puisν(∅) =μ(f-1(∅)) =μ(∅) = 0 carμest une mesure.

Enfin, siB0,B1,B2,··· ? Bsont deux `a deux disjoints,ν(?n≥0Bn) =μ(f-1(?n≥0Bn)) =

μ(?n≥0f-1(Bn)). En effetf-1(?n≥0Bn) ={x?Ω :f(x)? ?n≥0Bn}=?n≥0{x?Ω :f(x)?Bn}.

Soientm?=n, six?f-1(Bn),f(x)?Bn, doncf(x)/?Bm(carB0,B1,B2,...sont deux `a deux disjoints), doncx /?f-1(Bm), doncf-1(Bn)∩f-1(Bm) =∅. Donc, puisqueμest une mesure,

ν(?n≥0Bn) =μ(?n≥0f-1(Bn))

n≥0μ(f-1(Bn)) n≥0ν(Bn).

Doncνest une mesure.D´efinition 2.4.4.Soit(Ω,A,μ)un espace mesur´e. Sif: Ω→[0,+∞]est mesurable (par

rapport aux tribusAetB(R)) positive, l"int´egrale defsurΩpar rapport `a la mesureμest d´efinie par? f(x)μ(dx) := sup

φ?E(f)?

φ(x)μ(dx)

quotesdbs_dbs20.pdfusesText_26

[PDF] Théorie des Probabilités - Université d 'Orléans

[PDF] 1 LE MODÈLE DES RESSOURCES ET DES COMPÉTENCES: UN

[PDF] Retour sur la théorie des ressources - Hal

[PDF] Chapitre 1 Psychologie différentielle de la personnalité : introduction

[PDF] EL JOUHARI Exercices SMC5-M17-E2 - Faculté des Sciences de

[PDF] Les aspects théoriques du commerce international et de la protection

[PDF] Microéconomie - Faculté des Sciences Economiques et de Gestion

[PDF] Innovation et développement chez Schumpeter - (CEIM) | UQAM

[PDF] La théorie du producteur - Paris School of Economics

[PDF] APPRENTISSAGE ET TRAITEMENT DE L 'INFORMATION

[PDF] Théorie et Pratique de la traduction III La Traduction littéraire L

[PDF] APPORTS ET LIMITES DE LA THEORIE INSTITUTIONNELLE - Hal

[PDF] Théorie keynésienne - Comptabilité nationale

[PDF] Théorie de la littérature - Université Paris-Sorbonne

[PDF] Théorie positive de la comptabilité - Hal