curs3

9
D.Rusu, Teoriam˘asurii¸ si integrala Lebesgue 3 M ˘ ASURI EXTERIOARE Cursul 3 Definit ¸ia 3.9 Fie X ̸= ¸ si μ : P (X) [0, ] om˘asur˘aexterioar˘ape X. O mult ¸ime A ∈P (X) se nume¸ ste μ-m˘asurabil˘ adac˘a: T ∈P (X) avem μ(T )= μ(T A)+ μ(T cA). Observat ¸ia 3.10 Cum pentru orice A, T ∈P (X) avem T = T X = T (A cA)=(T A) (T cA) ¸ si cum μ estefinitsubaditiv˘a,rezult˘a μ(T ) μ(T A)+ μ(T cA). Prin urmare, pentru a ar˘ata c˘a A este o mult ¸ime μ-m˘asurabil˘a,estesuficients˘aar˘at˘aminegalitatea: μ(T ) μ(T A)+ μ(T cA), T ∈P (X). (14) Mai mult, cum inegalitatea (14) este ˆ ındeplinit˘adac˘a μ(T )= , va fi suficient s˘a o demonstr˘am doar pentru mult ¸imile T ∈P (X) cu μ(T ) < . ˆ In cele ce urmeaz˘a, dac˘a μ : P (X) [0, ] este o m˘asur˘ a exterioar˘a pe X, vom nota prin M μ clasa tuturor mult ¸imilor μ-m˘asurabile. Teorema 3.11 Fie X ̸= ¸ si μ : P (X) [0, ] om˘asur˘aexterioar˘ape X. Clasa mult ¸imilor μ-m˘asurabile, M μ , este o algebr˘a de mult ¸imi. Demonstrat ¸ie. Din Propozit ¸ia 1.8, este suficient s˘a ar˘at˘ amc˘a: 1) A, B ∈M μ ,A B ∈M μ , 2) A ∈M μ , cA ∈M μ , 3) ∈M μ . 1) Fie A, B ∈M μ . Atunci avem: T ∈P (X), μ(T )= μ(T A)+ μ(T cA) (15) T ∈P (X), μ(T )= μ(T B)+ μ(T cB) (16) Fie o mult ¸imearbitrar˘a T ∈P (X). Pentru T , din (15) obt ¸inem: μ(T )= μ(T A)+ μ(T cA). (17) Aplicˆand (16) pentru T := T cA obt ¸inem: μ(T cA)= μ(T cA B)+ μ(T cA cB)= μ(T cA B)+ μ(T c(A B)). ˆ Inlocuind ˆ ın (17) rezult˘a μ(T )= μ(T A)+ μ(T cA B)+ μ(T c(A B)). (18) ˆ In (15) lu˘am acum T := T (A Bsi obt ¸inem: μ(T (A B)) = μ(T (A B) A)+ μ(T (A B) cA)= μ(T A)+ μ(T cA B). ˆ Inlocuind ˆ ın (18) rezult˘a: μ(T )= μ(T (A B)) + μ(T c(A B)). 18

Upload: adrian-hagiu

Post on 28-Sep-2015

2 views

Category:

Documents


0 download

DESCRIPTION

tm

TRANSCRIPT

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Cursul 3

    Denitia 3.9 Fie X 6= ? si : P(X)! [0;1] o masura exterioara pe X. O multime A 2 P(X) se numeste-masurabila daca:

    8T 2 P(X) avem (T ) = (T \A) + (T \ cA):

    Observatia 3.10 Cum pentru orice A; T 2 P(X) avem

    T = T \X = T \ (A [ cA) = (T \A) [ (T \ cA)

    si cum este nit subaditiva, rezulta

    (T ) (T \A) + (T \ cA):

    Prin urmare, pentru a arata ca A este o multime -masurabila, este sucient sa aratam inegalitatea:

    (T ) (T \A) + (T \ cA); 8T 2 P(X): (14)

    Mai mult, cum inegalitatea (14) este ^ndeplinita daca (T ) = 1, va sucient sa o demonstram doar pentrumultimile T 2 P(X) cu (T )

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Cum multimea T 2 P(X) a fost luata arbitrar, rezulta A [B 2M.

    2) Daca A 2 M, atunci 8T 2 P(X); (T ) = (T \ A) + (T \ cA) = (T \ ccA) + (T \ cA). Prin urmarecA 2M.

    3) Fie T 2 P(X). Deoarece T\? = ?) (T\?) = 0, avem (T ) = (T\X) = (T\c?) = (T\c?)+(T\?).Deci ? 2M.

    I^n concluzie, M este o algebra.

    Lema 3.12 Fie X 6= ? si : P(X)![0;1] o masura exterioara. Atunci pentru orice (An)n2N M astfel^nca^t Am \An 6= ? pentru m 6= n; avem

    [n

    An 2M si 8T 2 P(X), T \

    [n2N

    An

    !!=

    1Xn=0

    (T \An): (19)

    Demonstratie. Pentru orice n 2 N consideram armatia:P (n) : 8(Ai)i20;n M astfel ^nca^t Ai \Aj 6= ? pentru i 6= j, avem:

    n[i=0

    Ai 2M si 8T 2 P(X), T \

    n[i=0

    Ai

    !!=

    nXi=0

    (T \Ai).

    Vom demonstra prin inductie ca P (n) este adevarata pentru orice n 2 N.Fie A0; A1, doua multimi masurabile, asa ^nca^t A0 \A1 = ?. Din Teorema (3.11) avem ca A0 [A1 2M.Cum A0 este masurabila rezulta

    8T 2 P(X), (T ) = (T \A0) + (T \ cA0): (20)

    Fie T 2 P(X) o multime arbitrara. Lua^nd ^n (20) T := T \ (A0 [A1) obtinem:(T\(A0[A1)) = (T\(A0[A1)\A0)+(T\(A0[A1)\cA0) = (T\A0)+(T\A1\cA0) = (T\A0)+(T\A1)

    (^n care am utilizat, A0 \A1 = ?) A1 cA0 ) A1 \ cA0 = A1).Prin urmare, 8A0; A1 2M cu A0\A1 = ?, avem A0[A1 2M si (T\(A0[A1)) = (T\A0)+(T\A1); 8T 2P(X), adica P (1) este adevarata.Presupunem acum ca P (n) este adevarata pentru un n arbitrar si e (Ai)i20;n+1 M astfel ^nca^t Ai \Aj 6= ?

    pentru i 6= j. Cum P (n) este adevarata, avem can[i=0

    Ai 2M si 8T 2 P(X); T \

    n[i=0

    Ai

    !!=

    nXi=0

    (T \Ai).

    Deoarece P (1) este adevarata, obtinem:n+1[i=0

    Ai =

    n[i=0

    Ai

    ![ An+1 2 M si 8T 2 P(X);

    T \

    n+1[i=0

    Ai

    !!=

    T \

    n[i=0

    Ai

    ![An+1

    !!=

    T \

    n[i=0

    Ai

    !!+(T\An+1) =

    nXi=0

    (T\Ai))+(T\An+1) =n+1Xi=0

    (T\Ai).Prin urmare P (n+ 1) este adevarata si atunci, P (n) este adevarata pentru orice n 2 N.Demonstram mai departe ca relatia (19) este adevarata.

    Fie (An)n2N M astfel ^nca^t Am \An = ?, pentru m 6= n, si e A =[n2N

    An si Bn =

    n[i=0

    An; 8n 2 N.

    Deoarece propozitia P (n) este adevarata, rezulta ca Bn 2M si

    8T 2 P(X), (T \Bn) =nXi=0

    (T \Ai): (21)

    Pe de alta parte, deoarece Bn 2M rezulta

    8T 2 P(X); (T ) = (T \Bn) + (T \ cBn): (22)

    Fie T 2 P(X) o multime arbitrara. Din (21) si (22) obtinem:

    (T ) = (T \Bn) + (T \ cBn) =nXi=0

    (T \Ai) + (T \ cBn): (23)

    19

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Dar Bn A) cA cBn ) T \ cA T \ cBn ) (T \ cA) (T \ cBn) si atunci, din (23) rezulta:

    (T ) nXi=0

    (T \Ai) + (T \ cA); 8n 2 N: (24)

    Treca^nd la limita ^n (24) cu n!1 obtinem:

    (T ) 1Xn=0

    (T \An) + (T \ cA): (25)

    Deoarece este numarabil subaditiva si T \A = T \ [n2N

    An

    !=[n2N

    (T \An), rezulta

    (T \A) 1Xn=0

    (T \An) (26)

    Atunci, din (25) si (26) obtinem(T ) (T \A) + (T \ cA);

    care este o conditie sucienta pentru ca A sa e o multime masurabila. Deci A 2M.I^n continuare, lua^nd ^n (25) T := T \A, obtinem

    (T \A) 1Xn=0

    (T \A \An| {z }An

    ) + (T \A \ cA| {z }?

    ) =1Xn=0

    (T \An): (27)

    Atunci, din (26) si (27) rezulta

    T \

    [n2N

    An

    !=

    1Xn=0

    (T \An):

    Teorema 3.13 Fie X 6= ? si : P(X)! [0;1] o masura exterioara pe X. Atunci M este o algebra, iarrestrictia jM este o masura pe clasa M.Demonstratie. Din Teorema 3.11 rezulta ca M este o algebra.Fie un sir (An)n2N M. Din Propozitia 1.17 rezulta ca

    9(Bn)n2N M astfel ^nca^t[n2N

    Bn =[n2N

    An si Bn \Bm = ? pentru n 6= m.

    Din Lema 3.12 rezulta atunci ca[n2N

    Bn 2M si deci[n2N

    An 2M. Prin urmare M este algebra.

    Aratam mai departe ca este o masura pe M. Fie un sir (An)n2N M astfel ^nca^t An \ Am = ?, pentrun 6= m. Din Lema 3.12 avem:

    8T 2 P(X); T \

    [n2N

    An

    !=

    1Xn=0

    (T \An):

    Lua^nd T := X obtinem

    [n2N

    An

    !=

    1Xn=0

    (An). Deci este numarabil aditiva.

    Deoarece (?) = 0

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Demonstratie. Din Teorema II de prelungire (Teorema 3.7), lui ^i asociem masura exterioara cu proprie-tatea ca jC = . Lui ^i asociem multimea M care este o algebra, iar jM este o masura (conformTeoremei 3.13). Fie e = jM .Vom arata ^n continuare ca C M . Pentru aceasta e A 2 C si e T 2 P(X) asa ^nca^t (T ) < 1. Atunci,din denitia lui , pentru un " > 0; 9(An) C astfel ^nca^t

    T [n2N

    An si1Xn=0

    (An) < (T ) + ": (28)

    Cum A;An 2 C si C este un inel, avem ca An \A 2 C si An \ cA = AnnA 2 C. Deoarece jC = , rezulta atuncica (An \A) = (An \A) si (An \ cA) = (An \ cA).Pe de alta parte

    (T ) = (T \X) = (T \ (A[ cA)) (T \A)+(T \ cA) [n2N

    (An \A)!+

    [n2N

    (An \ cA)!

    1Xn=0

    (An \A) +1Xn=0

    (An \ cA) =1Xn=0

    (An \A) +1Xn=0

    (An \ cA) =1Xn=0

    [(An \A) + (An \ cA)] =1Xn=0

    (An \ (A [ cA)) =1Xn=0

    (An)(28)< (T ) + ".

    Obtinem astfel(T ) (T \A) + (T \ cA) < (T ) + "

    si cum " > 0 a fost luat arbitrar, obtinem (T ) = (T \A) + (T \ cA). Prin urmare

    (T ) = (T \A) + (T \ cA); 8T 2 P(X) cu (T )

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Din Propozitia 1.17, pentru sirul (An) C, exista un sir (Bn) C asa ^nca^t[n2N

    Bn =[n2N

    An, Bn An; 8n 2 N

    si Bm \Bn = ?, pentru m 6= n. Fie B =[n2N

    Bn. Atunci B 2 A si

    e(B) = e [n2N

    Bn

    !=

    1Xn=0

    e(Bn) (55)= 1Xn=0

    (Bn)(55)=

    1Xn=0

    (Bn) =

    [n2N

    Bn

    != (B):

    Deci e(B) = (B) = 1Xn=0

    (Bn): (31)

    Cum Bn An; 8n 2 N, rezulta (Bn) (An); 8n 2 N si deci

    e(B) = 1Xn=0

    (Bn)1Xn=0

    (An)(30)< e(A) + ":

    Atunci e(B) < e(A) + ": (32)Din A

    [n2N

    An = B rezulta

    (A) (B) (31)= e(B) (32)< e(A) + ":Deci (A) < e(A) + " si cum " > 0 a fost luat arbitrar, obtinem

    (A) e(A): (33)Prin urmare, am demonstrat ca

    8E 2 A cu e(E)

  • D.Rusu, Teoria masurii si integrala Lebesgue 3 MASURI EXTERIOARE

    Observatia 3.18 Daca masura (pe inelul C) nu este -nita, pot exista mai multe prelungiri ale lui la A(C).De exemplu, sa consideram X o multime innita si C un inel de submultimi ale lui X asa ^nca^t orice multimenevida din C este innita (un exemplu de astfel de inel este cel din Exercitiul 1.3(3)). Fie functia de multime : C ! [0;1], denita prin

    (A) =

    0; pentru A = ?1; pentru A 6= ? ; 8A 2 C:

    Este evident ca este numarabil aditiva si deci este o masura. Observam de asemenea ca nu este -nita.Fie acum 1 : P(X)! [0;1], denita prin

    1(A) =

    0; pentru A = ?1; pentru A 6= ? ; 8A 2 P(X)

    si e 2 prima masura din Exercitiul 2.7. Atunci 1 si 2 sunt masuri care prelungesc pe la P(X) (deci si laA(C)), iar 1 6= 2.

    Observatia 3.19 Daca aplicam procedeul Caratheodory prelungirii Caratheodory a unei masuri, nu obtinem oprelungire "mai buna", la o clasa mai ampla de multimi, ci se obtine tot prelungirea Caratheodory.

    Teorema 3.20 Fie X 6= ?, C P(X) un inel astfel ^nca^t 9(En) C cu X =[n2N

    En si e : C ![0;1] o

    masura. Atunci (e) = si ee = e.Demonstratie. Vom demonstra mai ^nta^i ca (e) = . Pentru aceasta, e A 2 P(X) si e un sir (An)n2N M astfel ^nca^t A

    [n2N

    An. Deoarece este o masura exterioara, obtinem ca:

    (A) [n2N

    An

    !

    1Xn=0

    (An) =1Xn=0

    e(An)Cum sirul (An) a fost luat arbitrar ^n M cu A

    [n2N

    An, obtinem:

    (A) inf( 1Xn=0

    e(An) j (An)n2N M cu A [n2N

    An

    )= (e)(A): (39)

    Fie acum (An)n2N C astfel ^nca^t A [n2N

    An. Deoarece (e) este o masura exterioara si pentru orice E 2 Cavem (e)(E) = e(E) = (E), rezulta:

    (e)(A) (e) [n2N

    An

    !

    1Xn=0

    (e)(An) = 1Xn=0

    e(An) = 1Xn=0

    (An):

    Cum sirul (An) a fost luat arbitrar ^n C cu A [n2N

    An, obtinem:

    (e)(A) inf ( 1Xn=0

    (An)j (An)n2N C cu A [n2N

    An

    )= (A): (40)

    Din (39) si (40) rezulta ca (e)(A) = (A) si cum multimea A a fost luata arbitrar ^n P(X), obtinem (e) = .Prin urmare M(e) =M si atunci ee = (e)jM(e) = jM = e.Observatia 3.21 Prin procedeul Caratheodory, pleca^nd de la o masura pe inelul C, am obtinut ca A(C) M P(X). Se pune atunci resc ^ntrebarea daca incluziunile sunt stricte? De asemenea, daca A(C) esteinclusa strict ^n M , ce multimi mai contine M pe la^nga cele din A(C)? Pot reprezentate acestea folosindmultimile din A(C)? Vom raspunde la aceste ^ntrebari ^n paragrafele urmatoare.

    23

  • D.Rusu, Teoria masurii si integrala Lebesgue 4 MASURI COMPLETE

    4 Masuri complete

    Denitia 4.1 Fie X 6= ? si C P(X) un inel de multimi. O masura : C ![0;1] se numeste completa daca

    8A 2 C cu (A) = 0; P(A) C:

    Propozitia 4.2 Fie X 6= ? si : P(X)![0;1] o masura exterioara pe X. Atunci e = jM este o masuracompleta.

    Demonstratie. Fie A 2 M astfel ^nca^t e(A) = 0. Fie B A si e T 2 P(X) o multime arbitrara. Atunciavem:

    T \B B A) (T \B) (A) = 0;de unde rezulta ca (T \B) = 0. Prin urmare

    (T ) (T \ cB) = (T \ cB) + (T \B);

    fapt ce determina ca B este masurabila. Cum B a fost luata arbitrar ^n P(A), rezulta ca P(A) M si decie este o masura completa.Denitia 4.3 Fie X 6= ?, C P(X) un inel de multimi si : C ![0;1] o masura. O multime A 2 C senumeste neglijabila daca (A) = 0.

    Exercitiul 4.4 Fie X 6= ?;A P(X) un inel si : A ![0;1] o masura. Notam cu I familia multimilorneglijabile, adica I = fI 2 A j (I) = 0g. Fie A = fA Xj 9A 2 A, 9I 2 I astfel ^nca^t AA Ig. Au locurmatoarele:

    1. I este un inel.2. A = fABj A 2 A, B 2 P(X) astfel ^nca^t 9I 2 I cu B Ig:3. A A:4. Daca este o masura completa atunci A =A:5. A este un inel:6. Fie A 2 A si A1; A2 2 A, I1; I2 2 I astfel ^nca^t AA1 I1 si AA2 I2: Atunci A1A2 2 I si

    (A1) = (A2):

    Observatia 4.5 Punctul (6) din Exercitiul 4.4 ne asigura ca este bine denita functia : A ! [0;1],

    (A) = (A); 8A 2 A si A 2 A astfel ^nca^t 9I 2 I cu AA I:

    Teorema 4.6 (Teorema IV de prelungire) Fie X 6= ?;A P(X) un inel si : A ![0;1] o masura.Functia , denita mai sus, este o masura completa pe A asa ^nca^t jA = .Demonstratie. Din punctul (5) al Exercitiului 4.4, rezulta ca A este un inel. Aratam ^n continuare ca este numarabil aditiva. Fie un sir (An)n2N A astfel ^nca^t Am \An = ?, pentru m 6= n.Pentru ecare n 2 N, deoarece An 2 A, exista An 2 A si In 2 I astfel ^nca^t AnAn In. Deci (An) =(An);8n 2 N.Consideram sirul (Bn)n2N, denit prin:

    B0 = A0 si Bn = Annn1[k=0

    Ak; 8n 2 N:

    Din Propozitia 1.17 avem ca (Bn)n2N A, Bn An; 8n 2 N,[n2N

    Bn =[n2N

    An si Bm \Bn = ?; pentru m 6= n.Obtinem atunci:

    AnBn =

    Ann

    n1[k=0

    Ak

    !

    Ann

    n1[k=0

    Ak

    !

    n[k=0

    (AkAk) n[

    k=0

    Ik:

    24

  • D.Rusu, Teoria masurii si integrala Lebesgue 4 MASURI COMPLETE

    Din Exercitiul 4.4(1), I este un inel si cum I0; I1; ::::; In 2 I, obtinem can[

    k=0

    Ik 2 I. Atunci avem:

    AnBn n[

    k=0

    Ik 2 I

    AnAn In 2 I

    9>=>; Ex. 4.4(6)) (An) = (Bn)Prin urmare

    (An) = (Bn); 8n 2 N: (41)De asemenea, au loc urmatoarele: [

    n2NAn

    ![n2N

    An [n2N

    AnAn

    [n2N

    In

    I este inel(In)n2N I

    )[n2N

    In 2 I

    A este inel(An)n2N A

    )[n2N

    An 2 A

    9>>>>>>>>=>>>>>>>>;)[n2N

    An 2 A si [n2N

    An

    !=

    [n2N

    An

    !:

    Atunci rezulta:

    [n2N

    An

    !=

    [n2N

    An

    !=

    [n2N

    Bn

    !=

    1Xn=0

    (Bn)(41)=

    1Xn=0

    (An) =1Xn=0

    (An):

    Deci este numarabil aditiva.Pentru orice A 2 A avem AA = ? 2 I, de unde deducem ca A 2 A. Deci A A si 8A 2 A, (A) = (A).Prin urmare este o masura pe A si jA = .Aratam ^n continuare ca este completa. Fie A 2 A astfel ^nca^t (A) = 0. Atunci exista A 2 A si I 2 I cuAA I. Deoarece (A) = (A) = 0, rezulta ca A 2 I si deci A [ I 2 I.I^ntruca^t AA I, rezulta A = A(AA) A [ I. Atunci, 8B A, avem B? = B A [ I 2 I si deciB 2 A. I^n consecinta, este o masura completa.

    Observatia 4.7 I^n conditiile teoremei anterioare, A se numeste completatul lui A, iar se numeste completatalui . Daca este o masura completa, atunci A = A si = .

    Propozitia 4.8 Fie X 6= ? si A P(X) un inel. Daca : A ![0;1] este o masura nita, atunci esteo masura nita.Demonstratie. Fie A 2 A. Atunci 9A 2 A, 9I 2 I asa ^nca^t AA I. Deoarece este nita, pentruA 2 A, 9(An)n2N A astfel ^nca^t A =

    [n2N

    An si (An)

  • D.Rusu, Teoria masurii si integrala Lebesgue 4 MASURI COMPLETE

    Prin urmareAM (42)

    Aratam acum incluziunea inversa. Fie A 2M asa ^nca^t e(A)