Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • A Integral de Lebesgue e Suas Aplicações - Chaim S. Honig

    Enviado por

    anon_897845115
    7 visualizações310 páginas
    An introductory course to Lebesgue's integral.

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    An introductory course to Lebesgue's integral.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    7 visualizações310 páginas

    A Integral de Lebesgue e Suas Aplicações - Chaim S. Honig

    Enviado por

    anon_897845115
    An introductory course to Lebesgue's integral.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 310
    Chaim S. Honig A Integral de Lebesgue e suas Aplicacoes COPYRIGHT © by CHAIM S. HONIG (1977) Nenhuma parte deste livro pode ser reproduzida, por qualquer processo, sem a permissao do autor. INSTITUTO DE MATEMATICA PURA E APLICADA Rua Luiz de Camdes, 68 20.000 - Rio de Janeiro ~ RJ PREFACIO. . . . NOTAGOES . . . . INDICE CAPITULO I ~ MEDIDA E INTEGRAL DE LEBESCUE §1 - A Medida de Lebesgue... 1... 11 1.2 1.3 - A Nogdo de Medida. ss... 1.4 ~ Notagoes. . . . - A Medida Exterior de Lebesgue . ~ Amedida de Lebesgue no R" . §2 - Fungdes Mensuraveis. .. 1... gerd - Fungoes Numéricas Mensuraveis . 42.2 - 0 Teorema de Egoroff...... §3 - A Integral de Lebesgue... ... 3.1 ~ A Integral de Fungdes Simples Positivas 3.2 ~ A Integral de Fungoes Mensuraveis Positivas 3,3 ~ Fungdes Integraveis . see eee eee §4 - A Integral de Riemann e a Integral de Lebesgue 4,1 - A Integral de Riemann so ee eee ee ee 4,2 - As Integrais Superior e Inferior de Lebesgue... .. + 4.3 - A Integral de Riemann e a Integral de Lebesgue. . 4.4 - Caracterizagao das Fungdes Integraveis Segundo Riemann. $95 - Topologia e Integragdo......- wee eee CAPETULO Il - APLICACOES (I)... eee et ee et $1 - Relagdes entre a Integral de Lebesgue e a Integral de Rie- mann (propria ou imprépria).. 2... eee ee ee §2 - Primeiras Aplicagdes ©... ee ee ee ee ee §3 - Convergéncia de Integrais. . 6.6 eee eee ee eee §4 - Calculo de Integrais . . 1. 6 ee ee ee ee ee §5 ~ Integrais Dependentes de um Parametro. ..- 1. eee ee §6 - Derivagio sob o Sinal de Integragdo. ... +. eee eee $57 = outras Aplicagdes. 6 2. ee es 86 89 92 97 100 110 120 “i+ -ii- APENDICE A - Critérios de Convergéncia de Integrais de Riemann Improprias. s+. ee eee be eee APENDICE B - Integragao e Diferenciagao . ... ~~ wee APENDICE C - © Teorema de Fubini. ©. 2 1 ee ee te ee ee CAPITULO IIT ~ OS ESPACOS L_(E). - ee ee ee ee ee §1 - Os espagos © eL,®, USpse, ee eh ee §2 - As Desigualdades de Hélder e de Minkowsky. .-.- +++ - §3 ~ 0 Teorema de Fischer-Riesz » 2... ee ee ees APENDICE ~ Espacgos Normados .... . wee ee CAPTTULO IV - MEDIDA ABSTRATA E INTEGRAGAO.~..-- +--+ eee ee §I - Medida e Integragdo. . ee ee ee ee §2 - Medida Exterior, 6. eee ee ee ee §3 - 0 Teorema de Fubini. -... 2 eee ee ee ee wae #APENDICE A - Teoremas de Decomposigdo .....-- - wee SaPENDICE B - Tipos de Convergéncia. ...... 2. ~~ eee CAPITULO V - APLICAGOES (IL)... - ee ee eee ee wee §1 - 0 Produto de Convolugado. ... 2. eee eee see 1,1 - Convolugao de Fungdes Integraveis .... 2... -.-0-- 1.2 - Sequéncias de Dirac... ee ee ee §2 - A Transformagao de Fourier de Fungoes Integraveis. . . . . §3 - Aplicagées as Equagdes Diferenciais Parciais.......- £54 — A Transformagdo de Fourier de Fungdes de L,(R™) ... . - RAPENDICE - Teoria das Probabilidades. .. 2... eee rere REFERENCIAS... - -- +e eee . . eee oe Indice de Tépicos Especiais. .......2.4 wee ee ee Indice de Notagoes.. 2. +2222 Re ee eee Indice Alfabético. ©... . 2. eee eee eee 126 139 145 153 153 156 162 167 177 293 PREFACIO O presente livro & um texto introdutério 4 teoria da integral de Lebesgue, com énfase nas aplicagées ao Calcu lo e & Andlise Matemitica. Ele foi escrito para cobrira par te que trata da integral de Lebesgue nos programas das dis- ciplinas Anadlise Matematica II (do curso de Bacharelado) e Andlise Matematica (do curso de Pés-Graduagdo) do [NSTITUTO DE MATEMATICA E ESTATISTICA da UNIVERSIDADE DE SAO PAULO. Uma parte do texto sera exposta no Curso "A INTEGRAL DE LEBESGUE E SUAS APLICA- goes" a ser desenvolvido no 112 COLOGQUIO BRASILEIRO DE MATEMATICA. O livro contém muito mais material do que o exigi- do nos cursos acima referidos, principalmente no Curso de Ba charelado ¢ no Curso do Coléquio. Nestes sio cobertos, es- sencialmente, os trés primeiros capitulos (sendo omitidos os tépicos assinalados por %). Acreditamos que num primeiro estudo da integral de Lebesgue o curso deve ter como objetivo chegar rapidamente as aplicagdes da teoria e que a importancia e o manejo dos teoremas fundamentais devem ser aprendidos através destas a plicagdes. As aplicagdes dadas neste livro estao concentra das, principalmente,nos capitulos II e Ve o. indice da uma -iii- idéia da gama de aplicagdes que desenvolvemos. No Capitulo I escolhemos um método de apresenta- cao da integral de Lebesgue que permitisse chegar rapidamen te aos teoremas fundamentais e a suas aplicagdes elementa- res (Capitulo II). Ao mesmo tempo cuidamos para que o trata mento fosse geral, isto 6, servisse também paraateoria abs trata da medida e integragéo, de modo que quando chegasse- mos a esta parte (Capitulo IV) nado tivéssemes de repetir as demonstracdes feitas no Capitulo I. Neste modo de exposi¢ao seguimos de perto o Capitulo 11 da referéncia [R]. Enfatisemos que as aplicagdes da teoriada integral de Lebesgue, e mais geralmente da teoria da medidae integra go, no nivel elementar do Calculo e da Andlise Matematica (isto @, essencialmente, o Capftulo II) sao muito simples.A dificuldade real que o estudante encontra esta em “atraves- sar” toda a parte que se refere 4 construgao da medida e da integral de Lebesgue e as demonstragdes de suas proprieda- des, demonstragdes estas que na maioria das vezes se refe- ren a fatos “evidentes" (exemplo: [ee = [e+ fe) e que mes mo assim séo provados trés vezes (cada vez para uma classe mais ampla de fungoes). Por razdes de ordem didatica evitamos decompor a teoria num nimero muito grande de teoremas. Assim os resul- tados secunddrios, intermediarios ou preparatérios e fatos “evidentes" (quanto ao enunciado mas nem sempre quanto & de monstragao) sao apresentados como observacgées ou corolarios, Reservamos o termo Teorema apenas aos resultados centrais que devem ser retidos pelo estudante e a partir dos quais as observacgées, corolarios, etc. podem ser facilmente deduzi- dos. Nossa experiéncia mostra que nas aplicacées as di- ficuldades que os estudantes encontram quase nunca se refe- rem A teoria da integral de Lebesgue e sim as partes basi- cas de Andlise Matematica principalmente 4 parte ligadaa in tegral de Riemann imprépria que é necessaria em muitas apli cacgées do teorema da convergéncia dominada de Lebesgue. Por esta razdo desenvolvemos especialmente esta parte num Apén- dice ao Capitulo II. Mencionemos ainda que no curso de Ba- charelado (4 horas de aula por semana) fazemos cada semana” uma prova de verificagdo de meia hora bem como uma sessao (também de meia hora) em que os exercicios da prova prece- dente sao discutidos e resolvidos. Esta experiéncia tém ti- do bastante sucesso, com um indice de aprovagao dos estudan tes superior a 80%. Como prerequisito do curso é amplamente suficiente uma familiaridade com a Andlise Matematica tal como ela se -vi- encontra exposta, por exemplo, nas referéncias [D], [BE] ou [H-AI]. Para estudos mais avancgados da teoria da medidae in tegracdo recomendamos as referéncias [KJ], [MJ], (R] ¢ [2].Co mo texto com abundantes exercicios (muitos resolvidos) acon selhamos a referéncia [de BJ. Um texto com uma boa andlise da histéria da integral de Lebesgue & a referéncia [H]. 0 presente texto é autosuficiente; apenas nado de- senvolvemos a parte referente 4 mudanga de variaveis que u- samos em alguns exemplos muito simples. Alguns topicos especiais foram tratados em diferen tes capitulos, na parte teérica, nos exemplos e nos exerci- cios. No £im do livro damos um indice destes tépicos espe~ ciais (a funcao Tf, a transformagdo de Fourier, o produto da convolugdo, a equacdo do calor, a equacdo de Laplace). Queremos deixar assinalados aqui nossos agradeci- mentos aos colegas ANTONIO GILIOLI e IRACEMA BUND, e€ ao estudan- te JOAO CARLOS PRANDINI, que leram versées manuscritas da maior parte do presente texto fazendo valiosissimas sugestées : 1ém de apontarem imprecisdes e erros. Nossos agradecimentos se estendem aos colegas CARLOS ALBERTO BARBOSA DANTAS & FLAVIO WAGNER RODRIGUES cujas sugestdes seguimos no Apéndice "Teoria das Probabilidades". Naturalmente os erros e imprecisées que cer tamente subsistiram sio de nossa inteira responsabilidade e - vii - agradeceriamos aos leitores que os apontassem para futuras corregées. Nossos agradecimentos especiais ao Sr. JOAO BAPTISTA ESTEVES DE OLIVEIRA pelo excelente trabalho de datilografia que fez a partir de um manuscrito nem sempre muito legivel. So Paulo, 27 de maio de 1977 Chaim Samuel Honig NOTAGOES (01 - significa demonstrar coma exercicio 0 - indica o fim de uma demonstragao 3 - assinala sessdes ou §§ que podem ser omitidos numa primeira leitura. *,** -indicam o grau de dificuldade de um exercicio Gorolario III.2.3.1 se refere ao Coroldrio 2.3.1 do §2 do Capitulo III Usamos as notagGes habituais da teoria dos conjuntos; assim: P(E) - indica a classe de todos os subconjuntos de E UCx|R} - indica a reunido dos conjuntos que tem a propriedade R e analo- gamente para a intersec¢ao CA - indica o complementar em E do conjunto AcE Usamos como sindnimos.os termos funcdo e aplicacao fla ~ indica a restrigio da aplicacaof:E —+ F ao subconjunto AcE x, (, ~ indica a gungdo caractertstioa do conjunto A: X,G) =1 se x€A X69 =0 se xfA. Dado (x,y)6XxY escrevemos x=prOcy) e yepry (xy) N,Z,Q,R,€,JR, indicam respectivamente os conjuntos dos nimeros inteiros naturais, dos niimeros inteiros relativos, dos nimeros racionais, dos ni meros reais, dos nimeros complexos, dos nimeros reais > 0 Dado um niimero complexo 2=x+iy ent&o Z=x-iy indica 0 seu comple- xo conjugado -ix- fy _", £ - indica que a sequéncia de fungées £,:B —> R, n€N, conver~ ge uniformemente para a fungao FER. tyvt [ttt] - indica uma sequéncia de nimeros reais t, decrescente [eres cente] para o niimero real t. ff Ce tf] - onde £,:E —>R, n€N, indica que para todo x€E temos £,@ ¥E(x) (£60 4£0)1 Dado um subconjunto A de R ou mais geralmente de um espaco métrico, A indica o seu fecho (aderéncia). CAPITULO I MEDIDA E INTEGRAL DE LEBESGUE NO_R” No presente capitulo fazemos a construgdo da into- gral de Lebesgue e estabelecemos as suas principais proprie dades. No §1 definimos a medida de Lebesgue para subcon- juntos de IR”, Esta nogio generaliza as nogées habituais de comprimento de um intervalo de R, de area de um retangulo, ou mais geralmente, de figuras geométricas de R*, de volume de um paralelepipedo de R3, etc. A nogao de medida € defini da apenas para os subconjuntos “mensurdveis" de IR" mas na pratica todos os subconjuntos de R” que nds encontramos so mensurdveis, mais precisamente, a demonstracao da existén- cia de subconjuntos ndo mensuraveis de R requer o axioma da escolha, No §2 apresentamos as fungdes mensuraveis e damos as suas principais propriedades. Novamente na pratica: todas as fungdes definidas em Rou R” sdo mensuraveis e para demonstrar a e- xisténcia de funcdes nao mensurdveis precisamos do axioma da escolha. No §3 £inalmente construfmos a integral de Lebesgue para fungdes mensuraveis e mostramos no §4 queaintegral de -2- Lebesgue generaliza a integral de Riemann. §1 - A MEDIDA DE LEBESGUE Os resultados fundamentais deste § sio os teoremas 1.4 e 1.5 e seus corolarios. 0 teorema 1.4 diz essencialmen te que qualquer conjunto obtido constautivamente a partir de conjuntos mensurdveis é também um conjunto mensuravel. Aqui obtido construtivamente a partir de conjuntos mensuraveis significa obtido por reunido e intersecgao de sequéncias de conjuntos mensurdveis e por passagem ao complementar. 0 teorema 1.5 diz que os intervalos sao conjuntos mensuraveis ¢omesmo va le portanto para todos os conjuntos constnuldos a-partir de intervalos. Chamamos a atencao do leitor de que na pratica jamais encontraremos outros tipos de subconjuntos mensura- veis do R™. 1.1 - Notagdes - Indicamos por Ra reta real, isto €, 0 con junto dos nimeros reais. Indicamos por R ou [-#,#] a reta real estendida: R = Ru{-»,~},; consideramos que -» utAs J outa ken k k=1 k E imediato entdo que AcB implica p*Asu*B LOI. Dado um subconjunto AcIR” definimos m*A = mgA = int{ J 21] Ur oa} ¥ ea te | Ark OBSERVAGAO 1.1 - £ imediato que para um intervalo qualquer JeR" temos m*J s2(J) (0). TEOREMA - A funcio m:P(IR") —+ [o,] € uma medida exte- rior. DEMONSTRAGAO - A verificagio da propriedade (Mj) 6 imediata Quanto a (Ms), seja Ac U Ay © mostremos que mAs ) m*ARe KEN ke 1 Se 4 KEN tal que m*A, >© 0 resultado & imediato. Suponhamos pois que para todo kéN temos m*A, <#; dado ¢>0, pela defi- rot a k, nigéo de m*ay existe (yD men com meN -5- k © orrk € U TAK e tal que me tw < mth oR Entado os 1K. x men, formam uma familia enumeravel de inter- valos abertos cuja reuniado contém Y Aye portanto A,e te~ KEN mos k m*As 2(1*) = en mk 1 [iron] «5 leas] = Lint «. Sendo ¢>0 arbitrario, segue-se o resultado. 0 A medida m* & denominada de medida exterton de Lebesgue de dimensao n ou simplesmente de medida exterion de Lebesgue.As ve zes precisamos chamar a atencao sobre a dimensao n e escre-~ vemos mr. EXERCICIO 1 - a) b) COROLARIO 1.1.1- Se AcR 6 tal que m*A<« entio A & limita- do? Se AcIR & tal que m*A=0 entdo A & iimita- da? Se m*A<@, dade ¢>0 existe um subconjunto limitado A,cA tal que m*(AaCA,) 0 existe um conjunto aberto 0>A tal que m*0 0 temos ae U ark isksm onde Al|c,d] =|Ac,Ad|. Temos portanto q k Jk z(LAa,Ab]) <2 2(2ax* aye). =1 De (1) segue ent&o que para A4>0 suficientemente grande (is to 6, tal que Ab, -Aa;-1 20 para i=i,2,.--,n) temos 1 (abj-Aaj-1) <2(L9a,2b 9) lsisn + (Dok aykt) so (ayS-axg+1) isisn 7 e portanto I ov,n-ray-u« } I cyk-axfe1). lsisn k=1 lsisn * Dividinas esta desigualdade por 2d” vem h< } qT (b,-a,- >) < reten ive = e fazendo A tender para ~ obtemos x, n © L0) = 1 0b, Fad) = J ect « secs. lsisn k=1 k=1 Como © recobrimento (1%), de J por intervalos abertos & ar bitrdrio, segue que 2(J) sm*J. b) Se J=|a,b| no & fechado, dado ¢>0 seja 8>0 sufi- cientemente pequeno para que tenhamos K = T {a,+6,b,-8]2(J)-c. lsisn + + Portanto a(J)-e <2(K) = m*K s mtd isto 6, 2(J)-e0 € arbitrdrio segue o resul- tado. @ A demonstracao acima 6 de von Neumann; ver o livro "Diggenential Topology" de Guillemin e Pollack, pag. 203. * BXERCICIO 8 - Seja J= 1 |a,,b,| um intervalo infinito,i,é, e- a ~ asisn * * xiste ke{1,...,n} tal que b,-a, =%. Demonstrar que m*J =#(J). COROLARIO 1.2«1 - Se A & um subconjunto enumerével de IR en tao m*A =0. pe fato: seja A= (aDal),...,a09 |... ,deseja 0. - 10 - Para todo k seja I, um intervalo aberco de IR" de volume <~ 2 e que contém a(*), Entdo temos Ut pA e [ 21) se. xen * we ¥ como ¢>0 € arbitrdrio segue o resultado. COROLARIO 1.2.2 - Dados a,beR com a CAGA (A_) A,GA,KEN => ) ALGA ‘o) AK ken * OBSERVACAO 1.2 - Se A & uma o-dlgebra, de A, EA, KEN, segue + -ll- que Nl AGA pois ay = cfc Na] =f Uca,]- ken * k keN by Portanto $,EEA.{OJ. Lembremos que AcP(E), A#$, 6 uma @egebra (sobre E) se Asatisfaz (A) e se A,,A,€A implica que AjvA,6A. BE ime- diato entdo que A, ,A,€A implica que A,oA,€A e também que Awa eA. Dar uma medida sobre um conjunto E é dar uma o-al- gebra AcP(E) e uma fungdo ws: A+ [0,01 que satisfaz as propriedades (Mg) ue = 0 (M,) u & o-aditiva, isto 6, dados conjuntos A,€A, KEN, dois a dois disjuntos temos vt = he (onde escrevemos U A, para salientar que os conjuntos A xen k k sao dois a dois disjuntos). Indicamos a medida por (E,A,u) ou simplesmente por (A,y) ou ainda por nu. -12- OBSERVACAO 1.3 - Dada uma medida (E,A,uy) e A,BEA. com AcB te mos a) WA ing vay = Lim uA “A i) xen * k DEMONSTRAGAO - a) Definindo Ay Ay e Agel = Aged Ak temos ALGA para todo KEN, A, =AjU.-. UAL, os conjuntos Aj sendo sendo dois a dois disjuntos. 0 resultado segue entao de . (a's) _ (uc = Lim Z WAL = lim of U 4] mo k=1 mo \1 [Sugestdo: Ay = Ck,o£ 1. BXERCICIO 10 - Dado um conjunto EB demonstrar que a classe A dos subconjuntos A de E tais que A ou CA & enumeravel for- ma uma o-Slgebra. EXERCICIO 11 - Demonstrar que os subconjuntos AcR"™ tais que m*A=0 ou m*(CA) =0 formam uma o-algebra. ~14- EXERCICIO 12 - Seja (Au) uma medida snbre E; dados Ay AQGA demonstrar que se uA; nA) <0 tem-se ) u(AyuAy) = WA, + uA2 ~ H(AynAy)- EXERCICIO 13 - Seja Aa o-Algebra do Exercicic 10 com E nao enumeravel a) Dado A€A definimos u,A=0 se A & enumerdvel ¢ y,A=1 se CA & enumerdvel; demonstrar que u, & uma medida- b) Dado ACA definimos y,A-0 se A é enumerdvel e wA=e se CA é enumerdvel; demonstrar que u,, € uma medida. EXERCICIO 14 - Dado um conjunto E para todo AcE definimos vA =n se A tem n elementos e vA=@.se A & infinito, Demons- trar que v é uma medida. EXERCICIO 15 - Seja (A,u) uma medida sobre E; para todo XcE definimos p.*X,= inf {wA|AGA,ADX}. Demonstrar que p* € uma me- dida exterior, e que y*A=wA para todo AGA. 1.4 - A medida de Lebesgue no R® Dada a medida de Lebesgue exterior m*:P(R") » [0,°), dizemos que um subconjunto McIR” 6 mensuravee se para todo XeIR" temos m*X = m*(XeM) +m*(XaM). OBSERVAGKO 1.4 - Para demonstrar que um subconjunto Mer® € -15- mensurdvel basta demonstrar que para qualquer subconjunto XeR" temos m*X >m*(XoM) + m* (Xai) pois do axioma (M%) segue a desigualdade contrdria ji que vale Xe(XnM) u (XCM). EXERCICIO 16 - Demonstrar que McIR” @ mensuravel se e somen te se para todo AcM e BeCM temos m*(AuB) =m*A+m*B. Indicamos por MGR"), ou simplesmente por Ma clas- se de todos os subconjuntos mensuraveis de R™. TEQREMA 1.4 - Seja m* a medida exterior de Lebesgue no ® : temos: a) A classe MIR") de todos os subconjuntos mensuraveis de IR” é uma o-@lgebra; b) A restricdo m de m* 4 o-Slgebra MCR") é uma medida; c) Todo conjunto de medida exterior nula 6 mensuravel. DEMONSTRAGAO - c) Seja EcIR” com m*E =0. Dado XcR" iemos entdo m*(XnE) =0 e m*X2m*(XnCB) donde segue que m*X_2 m*(XaE) + m* (XnB) e pela observacéo 1.4 E é portanto mensuravel. a) E' imediato que M satisfaz a propriedade (A) pois a definicao de conjunto mensurdvel é invariante em relagado a - 16 - passagem ao complementar. Antes de demonstrar a propriedade (A,) vamos provar alguns resultados parciais. LEMA 1.4.1 -M, .M)EM = M, uM, eM. DEMONSTRAGAO - pado qualquer XcR" temos Xa (Mj uM)) = (XoM, ) v(XaM, oly) 5 portanto m*[Xn(M, uM») ] dada uma vizinhanga V=[I,S] de & existe ky tal que para k2kytemos x, €V ==> £=lim x,J]. v v Kk koe “kK EXERCICIO 19 - Dada uma sequéncia M, de subconjuntos de um conjunto E definimos o seu Limite inferior e seu Limite superior, respectivamente ,por Lim M, = {x€E|3K,€N tal que xeM, para k>k,} lim My, = {x€E| existem infinitos k€N tais que xEM, 35 e quando eles coincidem escrevemos lim Ms demonstrar que lim M, = U M e limM, = fl UM =k nen hak K neN ken © EXERCICIO 20 - Seja M, uma sequéncia de subconjuntos mensu- rayeis de R". a) Demonstrar que lim M, € mensurdvel e que: m(lin My) < lim mM, b) Demonstrar que lim M, é mensuravel e que se temos nf Ux ] m*(XnJa,oL) +m*(Xal-~,a]). Se m*X=« nada ha a demonstrar. Se m*X<@ dado e<0 existe uma sequéncia yO xen de intervalos abertos tais que Y iyex e Y £(Ly) sm*Xre. ken kel . - 22 - Seja I, =I,ala,ele J, =I,n]-,a]. Do Teorema 1.2 segue que temos £(1,) =2(1p) + 2(I,) =m*ly +m*J,. De co XnJa,efe [J If segue que m*(XnJa,~£) s J m*I} xen * kak e de Xn]-»,ale Y J, segue que m*(XnJ-@,a]) < J m¥J. xen * ker * e portanto (3) n*(Xala, »G)+m*(Xnl-,a]) < J Cm*If4m*s,] = J 2(1,) 0 6 arbitrdrio. 2. Quando n>1, & suficiente demonstrar, como acima,que intervalos da forma I = RP xja,efxIRTCR®™ (com p#1+q =n) so mensuradveis; a demonstragao é andloga 4 de 1. . : n Vamos agora examinar que outros subconjuntos de IR’ sao, mensurdveis além dos subconjuntos de medida exterior nu la e dos intervalos. Todo subconjunto aberto de R° @ mensuravel. De fato, indi quemos por Ko conjunto dos cubos abertos de R™ cujas fa- ces sao paralelas aos hiperplanos de coordenadas ¢ indique- mos por Ky 0 conjunto daqueles elementos de K cujas coorde~ nadas do centro sdo numeros racionais e cujo lado tem com- primento racional.0 conjunto & é evidentemente enumerdvel -~23- [Ml. Todo aberto nfo vazio UcIR” pode ser escrito como reu- nido de (uma sequéncia de) cubos de Ky. De fato.se x6U exis te um cubo de K com centro em x € lado 6 >0 que esta conti- do em U; se p é um inteiro tal que Be e X um ponto que tem todas as coordenadas racionais e com d(x,x) S608" raveis. De um modo mais geral, & imediato que a intersec- go de uma famflia qualquer de o-algebras de um conjunto E & uma o-dlgebra [1]; portanto dado XcP(E) existe uma menor o-algebra que contém x: & a intersecgao de todas as o-alge- btas de E que contém X. Quando E @ um espacgo topolégico e X &é a classe G dos subconjuntos abertos de E entdo os conjun- tos da menor o-dlgebra B de E que contém G saéo chamados de - 24 - confuntos boretianos 0s conjuntos borelianos de R® sao mensuraveis pois Mcm™) 28. Demonstramos pois o COROLARIO. 5.1 = Os subconjuntos de IR” que sao abertos, fe chados, G,, Foe ou mais geralmente, borelianos sao mensura- veis. OBSERVAGAO 1.5 - Lembremos mais uma vez que todos os subcon juntos de IR” que podem ser obtidos consitutivamente sao men suraveis (e mesmo borelianos). Para provar a existéncia de subconjuntos nao mensuraveis de R ou BR” precisa-se do Axio ma da Escolha; ver CR], Cap.III,§4. EXERCICIO 22 - Demonstrar que o conjunto {Oy ER? |xt1sy?} é mensuravel. EXERCICIO 23 - Demonstrar que o conjunto LCx,y zJER®|x0, m(Fnla,b]) a (onde 00} € mensuravel 2. Para todo a€IR o conjunto {x€B|£(x)2a} € mensuravel oO 3. Para todo o€IR o conjunto {x€E| f(x) 4, © 2. <3, seguem por passagem ao complementar; 1. => 2. segue de & (xeeleQdead = (x€8lAx)>0- KEN 2. => 1. segue de {x6E|£(x)>a} = Y (x6B/f)20+ £) KEN : OBSERVACAO 2.1 - Se £:B +R &é.uma fungao mensurdvel entao para todo a€R o conjunto ft (a) = {xeE|£(x)=0) & mensuravel. De fato: quando a€IR o resultado segue de ela) = eh et-0,01) nf} (Ce,to1). Para a=-# ou a= o resultado segue de glee) = Metet-=,-kKI) e £1 (e) = Qe tcken. KEN KEN - 28 - - Seja mB<=@ e f:E +R mensuravel tal que OBSERVACAO 2.2 m{x@E||£(x) |=} +0. Ent@o dado ¢>0 existem E.cE e@ M>0 tais que m(E~E,) se e |£(x)|] k}s kero portanto existe M>0 tal que m{x€E]|£(x)|>M} se e basta to- mar E, = C{x€B| |f(x) 1>M}. EXERCICIO 1 - Seja f:E +R uma fungao mensuravel. Demons- trar que o conjunto {x€E|£(x)€R} 6 mensurdvel. a EXERCICIO 2 - Demonstrar que Xanp 7 XH = 2-H © Xuw 7 Xa” XB” Xan EXERCICIO 3 - Seja Me", Demonstrar que M & mensuravel se e somente se % & mensuravel. EXERCICIO 4 - a) Sejam M mensuravel e¢ MycM mensuravel. De- monstrar que se £:M — R @ mensuravel entéo f)y, é mensura~ vel. b) Seja OL) pen uma sequéncia de conjuntos mensuraveis e M » Uke Demonstrar que £:M —+R é mensurdvel se e somente set € mensurdvel para todo KEN. [Mi EXERCICIO 5 - Demonstrar que toda funcZo monétona £:R —Ré mensuravel. - 29 - EXERCICIO 6 - Demonstrar que a funcio de Dirichiet 1 se xER~Q f(x) = 0 se x€Q é mensuravel. EXERCICIO 7 - Seja f:E —+ R mensuradvel, demonstrar que a) para todo conjunto aberto UcIR, £"(u) é mensuravel *b) para todo conjunto boreliano Belk, f-1(B) é mensura- vel. EXERCICIO. 8 - Seja £:E +R mensurdvel, definimos fll, = sup ess |£|= inf{c€L0,#}|m{xeB| |£ (x) |>c}=0}. Seja ||fl,,<@; demonstrar que m{x€E||£(x) |>|/f],,} =0- EXERCICIO 9 - Demonstrar que |f|,,=0 <> £=0 excets num cos junto de medida nula. EXERCICIO 10 -Sejam f e g mensuraveis e \€IR; demonstrar que létel stl + lel. © Wel, = lh: EXERCICIO 11-Demonstrar que ||f,||,, —- 0 => f, —4. 0 no com- plementar de um conjunto de medida aula. TEOREMA 2.1 - Seja EcIR” um conjunto mensuravel; toda fun- cao continua £:E + R é mensuravel. DEMONSTRACAO - Como f € continua, para todo a€IR o conjunto £4 (a,«0) € um subconjunto aberto de E e é portanto mensu- - 30 - ravel por ser a intersecgao de um subconjunto aberto (e por - n : - tanto mensuravel) de IR’ com o conjunto mensuravel E, 0 Dizemos que um conjunto A de fungdes f: E—R 6 u ma Ggebra se para £,g€A e X€IR temos f+g,r£,fgeA. Dizemos que um conjunto R de fungdes £:E —+ R é um o-Aeticutads se dados £,€R (KEN) temos-sup f,, in€ £,6R onde, . ken ken por definicao, (sup £) (x) = sup £,(x) e (inf £09 = inf £00 kEN ken kEN KEN Lembramos que um conjunto R de funcdes £:E — R é um neticulado se £,g€éR implica que.sup(f,g) e inf(f,g)€R. TEOREMA 2.2 - Seja E um conjunto mensuravel a) As fungdes mensurdveis £:E —- IR formam uma Algebra que contém as fungoes constantes. b) As fungdes mensuraveis £:E —-R formam um o-reticula do. DEMONSTRAGAO - a) segue das cinco seguintes assergoes que va mos demonstrar sucessivamente 1. Toda fungdo constante & mensuravel: demonstragao ime diata. 2. Se £ € uma funcdo mensuravel e c 6 constante entao a funcéo cf é mensuravel. De fato, se. ~ vara todo -31- a€IR temos {x6E|cf(x)>o} = {xe | £ (2) >2} e este Gltimo conjunto é mensurdvel pois £ @ por hi- potese mensuravel. Para c <0 a demonstragao & andlo- ga. Para c=0 temos 1. 3. Se f e g séo mensurdveis f+g & mensuravel. De fato:da dado o€R temos . {x€E|f(x)+g(x)>a} = {x€E| f(x) >a-g(x)} = = Uf {x€B|£(x)>r} n{xe€E| g(x) >a-r}. r€Q pois £(x)>a-g(x) se e somente se existe um nimero ra cional r tal que f(x)>r>a-g(x). 4. Se £ @ mensuravel, £* 6 mensuravel. De fato:para a20 temos {x€E[£2(x)>a} = {x€E]£(x)>Va}u{x€E| £(x)<-va}; para a <0 temos {x€E|f£*(x)>a} =5. 5. Se £ e g sdo mensuraveis, fg € mensuravel. De fato, temos fg = 41 (£+g)?-£2-g71 © o resultado segue pois de 3., 4. e 2.. b) Dada uma sequéncia de fungoes mensuraveis f,:E —+ R seja f=sup fy: Para a€IR temos ken - 32 - {xGE]£(x)>a} = Y {x6E] £, (x) >a} KEN donde segue que f 6 mensurdvel. Para g=inf £ a demonstra- kEN ¢ao € andloga. U COROLARIO 2.2.1 - Se f:E —+ IR @ uma funcao mensuravel en- t&o as funcgées |f], f, DEMONSTRAGAO - Temos, por definigao, e f_ sao mensuraveis. l£| = sup(£,-£), £, = sup(£,0), £, - sup(-£,0). 0 Lembremos (ver o Exercicio 18 do §1) que dada ‘uma sequéncia x, eR definimos lim sup x, = lim x, = inf sup x. moo Ken Komen kem * lim inf x, = lim x, = sup inf x,- Keo KN Kone kom * Temos sempre lim x, slim x, [0] e estes dois niimeros sao i- guais se e somente se existe lim x, que entao coincide com ko eles. [0] Dada uma sequéncia de funcgdes f,:E — R definimos (im £,) (x) = Tim (x) ¢ (Lim £,) (0) = lim £, (x) COROLARIO 2.2.2 - Dada uma sequéncia f,:E +R de fungées ~ 33 - mensurdveis entao as fungoes lim f, e lim f, sao mensuraveis. ken ‘KEN DEMONSIRACAO - Temos lim f,~inf sup f, @ analogamente para lim £,; mEN kom o resultado segue pois do Teorema 2.2,b). COROLARIO 2. - Dada uma sequéncia de fungdes mensuraveis £,:E —+ R tal que existe f = lim £, entao £ é mensuravel. ke EXERCICIO 12 - Seja £,:E —+ R uma sequéncia de fungdes men- surdveis. Demonstrar que o conjunto dos pontos em que a se~ quéncia converge & mensuravel. EXERCICIO 13 - Seja £: R™ —+R uma fungio mensuravel tal que em todo ponto existe Be demonstrar que esta funcao € men- suravel. EXERCICIO 14 - Seja XcE nao mensuravel e £ = Xy 7 XH demons - trar que £ ndo é mensuravel mas que |f| 0 &. EXERCICIO 15 - Demonstrar que o conjunto {tem} Tim(sen kt+cos kt)>0} € mensuravel (e boreliano). * EXERCICIO 16 - Demonstrar que o conjunto {com | lin sen|t|*=3} poo é mensuravel e boreliano. Seja E um conjunto mensuravel. Dizemos que uma pro- priedade P vale quase sempre em E (escrevemos q.S.) se os pontos de E para os quais P nao esta definida ou entao para osquais = 34 - P nao vale formam um conjunto de medida nula. EXEMPLOS 1 - Seja EgcE tal que n(Ey) =0 e seja f: Ey > R; dizemos que f esta definida ¢.s. OnE. 2 - Dadas duas fungdes £,g: E —> RR dizemos que e- las sio iguais q.4. e escrevemos £=g q.5- ou £ a g se o con junto {x€E|£(x)#g(x)} tem medida nula. Esta definigdo tem . sentido se £ e g estao apenas definidas q.s. em E- to] 3 = Dizemos que uma sequéncia de fungoes £,:E —R tende q.4. para una fungao £ e escrevemos f,— f q.s. ou £8 £. a8 ou f=lim f, q.s. ou £ = lim f, seo conjunto dos pontos kee kro x6E em que nao vale £00 —» £(x) tem medida nula. Esta de- finicaéo tem sentido se as fungoes fe £ estao apenas defi- nidas q.s. em E. 4 - Dada f: B —+R, dizemos que f é fénita q.s. se 0 conjunto {x€E||£(x)|=%} tem medida nula. Esta definigao tém sentido se f € apenas definida q.s- em E. § - Dado EeIR” e £:B +R dizemos que £ & continua q.s. se o Conjunto dos pontos x€B em que f nao @ continua tem medida nula. (Nao sao porém equivalentes as propriedades "£:E +R & continua q-s." e "£:E +R é tal que fig, € con tinua onde EgcE e m{E~Ey) = 0" (02). OBSERVACAO 2.3 - Se f: E —+R é uma funcdo mensuravel e se - 35 - as g == f-ent3o g mensuravel. De fato: por hipdtese o conjunto D = {x€E] g(x) #£(x)} tem medida nula. Dado a€R temos {x€B|g(x)>a} = {x€B] f(x) >a}nC{x€D| g(x) sa} v{xeD| g(x) >a} donde segue o resultado j4 que o conjunto {x€E|£(x)>a} émen suravel pois £ 6, por hipdtese, mensuravel e j& que os con- juntos {x€D|g(x)sa} e {x€D|g(x}>a} sao mensuraveis pois D tém medida nula. OBSERVAGAO 2.4 - Do corelario 2.2.3 e da observagao prece- dente segue facilmente que se £,:E —+ R é uma sequéncia de fungdes mensuraveis tal que f, 4:5, £ entao £ é mensurdvel.{1] OBSERVACAO 2,5 - Se £ e g estdo definidas q.s. em E esdo fi nitas q.s. entdo f+g est& definida q.s. em E: se f esta de- finida em EpcE e g em Ey entio f+g esta definida em EgnE,~E,, onde E,, 8 o conjunto dos pontos de Epnky onde £ e g tomamvalores in finitos de sinal contrario. 32.2 - 0 Teorema de Egoroff Seja E um conjunto mensuravel e f,:E — Ruma se quéncia de fungdes mensuraveis. Dizemos que a sequéncia £, - 36 - converge quase unifomemente para a funcdo f: E — R, escrevemos fy AY £ ow f, — f quu., se dado €>0 existe um subconjun- to Ez. de E, de medida 0 e mEN, existe k GN tal que mee} k,, isto é, #, —“+ £ em CE. 0 §3 - A_INTEGRAL DE LEBESGUE Neste § vamos construir a integral de Lebesgue no R e dar os teoremas fundamentais dela. 0 processo de cons trugdo que damos é tal que vai servir para construir uma in tegral a partir de uma medida qualquer. Numa primeira etapa consideramos fungées simples positivas, isto 6, fungoes que tomam apenas um numero finito de valores. Para estas fungoes, a definicdo da integral é imediata. A seguir definimos a in tegrail ff, para fungdes mensurdveis positivas, £:/£ € o sup das integrais de fungdes simples positivas ¢0. com a, OBSERVACAO 3.2 - Sejam a e 8 fungdo simples positivas. [os fe b) Se a,b>0 entdo [ caave) afa+ be. a) Se asB entao w a - 41 - De fato: observemos inicialmente que se i CiXee iXe, onde os Cy sao dois a dois disjuntos (mas os cy nao sao ne- cessariamente distintos nem supomos que U cy BE) entao isisq pois para todo a>0 seja I, = {i€{1,-.-,q}|¢;-a} (naturalmen te podemos ter 1,745 entdo i¢t- a Portanto c,mc, = J am Wc.) e vaso Lier, * = ota) e a iltima somatéria corresponde 4 defini¢gao de fe a partir de uma representacao canénica. Para demonstrar a) e b) consideremos representagoes canénicas de a e B - 42 - Os conjuntos — AyoB, para i=1,2,..+,p € j=1,2,-...4 So mensuraveis, dois a dois disjuntos, e temos [0] a= J ax e p= } b.x . inj Pape iy MAgOR; Entdo a) segue do fato de que a<8 se © somente se ajsb, em AjnB; para todo i-1,2,...,p © j=1,2,-+..4 ¢ com pela observa go inicial temos Jo = Taymtayen;) © [a = Epa ij i, segue que Jo s i Demonstragao de b): temos aatbs = J (aa,+bb.)x gop EI ayn _2agm(Aj Bs) fo = Jagma, = fai9(Ua; 035] = Jayme) =D, i 1 e analogamente [s = oP jPimCumsy) portanto = 43 - af +ofe = _) (aa,tbb;)m(A,nB,). i,j Por outro lado, como aatbB = J (aa,+bb,)X , apt j7 "Az nB, 2 (AgnB5) = &B, segue pela observagao inicial que J (aagtbb,)m(Az0B,), | (aatbg) = i,j € portanto {caaros) = afa+bs. a +B, subconjuntos mensuraveis de OBSERVAGAO 3,3 - Sejam 3), E, Cpreeercy, 70 e } j og = c.X, 3 entao [ o = c,mE,. i Es Ie 24, ii isl i= A demonstragio segue por recorréncia sobre k, apli cando a observacao 3.2,b). (01 - 44 - TEOREMA 3.1 - Sejam E um conjunto mensuravel e f:F —* [0.°] uma fungdo mensuravel. Existe uma sequéncia crescente de fun gdes simples positivas 6, <$)<+++ 5, S+++ Com sup =f. Ken DEMONSTRACAO ~ Para todo k€N definimos < E(x) <, red,2 5000 kok 2 k se £(x) 2k isto & : k2 rr oF x + kx ob OR 2 onde _ glrlir eel Dor tf (Oo RO) e Dy = £°(Ck,#f). BXERCICIO 1 - Sob a hipdtese do Teorema 3.1 demonstrar que se £ @ limitada entdo aH ate £. 3.2 - A Integral de Fungées Mensuraveis Positivas Sendo E um conjunto mensuravel, indicamos por S, (5), ou simplesmente por S,, 0 conjunto das fungdes simples posi tivas ¢:E + R,. - 45 - Da observagio 3.2,a) segue-se que dado 968,(E) te- jer sun{[ 9ives,@),vs6} o que justifica a seguinte definigdo: seja f£:E — (0,°] uma fungao mensurdvel, entao escrevemos [ie . [ f00ax = sup{| #1968, (E) .ost}eto.e3. OBSERVACAO 3.4 - Se A € um subconjunto mensuravel de E é i- mediato que vale a igualdade {feloes, ce) .ostxa} > {fol ves, (a) vee.) donde se segue que tx, = {£ [é f AT I lA = Jy onde identificamos f com fra OBSERVAGAO 3.5 - a) Sejam f,g:E —+ [0,~] fungées mensuraveis. Entdo f-gq.5. =[e-[e. ‘EB E b) Seja £: E — [0,°] mensuravel: = 46 - peogs. [reo E De fato - a) Seja D = {xCE|£(x)*g(x)}. Seja o€S, tal que 0<$0 tal que B,-£1((e,]) teria medi- da >0 (OJ. Entdo ¢=ecx_, 68, e & tal que 0sosfe E. + [ereme,> 0s portanto { £>0 contra a hipotese. 0 EB OBSERVAGAO 3.6 - Seja £:E — [0,#] tal que f f, -47 - entao para todo k€N consideremos a fungao simples Vy =kxp + Temos wy < f'e portanto para todo kEN, isto é, f f=, contra a hipdtese. E OBSERVACKO 3.7 - Seja £:E —+ [0,@] tal que [tc E e*seja ¢ uma fungao simples tal que 0<4 é nula fora de um conjunto de medida finita. (0) OBSERVACAO 3.8 - # imediato que se f,g —r [0,”] sao mensura fe J veis e f£ sg entao e que para c20 temos fet = fs. Porém sé vamos conseguir demonstrar que [ew - fe+[e depois de ter provado os dois teoremas que seguem. ~ 48 - TEOREMA 3.2 (Lema de Fatou) - Seja fb Co,°] uma sequen cia de fungées mensurdveis tal que f, ~2:5. £; entao [ss 1ia [ a <>. E KEN /E DEMONSTRAGAO - Pela observagdo 3.5,a) podemos alterar as fun goes num conjunto de medida nula de modo que a convergéncia tenha lugar em todos os pontos. Seja o€S, com ¢0 tais que mA== e $(x) >a para todo x€A. Para todo kéN, seja Ay = {x6B] £, (x)>a para todo nek}. A desigualdade slim f, =f § peo 7 implica que tet B claro que A,cAjc...cA,c.-. @ portan- to do teorema 1.3,a) segue que lim mA, = mA. Como temos +00 f, 2amA,, segue-se que lim Ls =m, I, k k Yoo Je * -b) 58 [ @<® soja Arco™1(0); ent&o mA0 definimos A, = {x€E|£, (x)>(1-e) o(x) para todo n2k}. Temos evidentemente A,cA,c...cA.c-.. e de ¢slim f, =f se- 12 TL nee 7 gue-se que || A, 2A. Portanto A~A, 2>A~A, >--- PAWALD... & KEN ef] (A~A,) = com m(A-A,) smA< ©, Do teorema 1.3;b) segue- ken k 1 se entao que lim m(A~A,) =0 e portanto existe ne tal que pa 400 ra k zn, temos m(A~Ay) se. Entaéo para K zn, temos i £2 he 2 aol o> ana “ht 2 i, wef onl efm(aw >[ o-c[{_e+tol] onde tof = supleoot. iE i x€E . Portanto ain [£2 [ ee[f elel] IE + IB para todo ¢>0, donde se segue que lim [ £. >| o 0 Wg Re * EXERCICIO 2 - Sejam f,2 0 fungdes mensuraveis;demonstrar que faim 5, «aim {5%- - 50 - * EXERCICIO 3 - Sejam f,:E — [0,~] fungdes mensurdveis tais que f tee [ey — [es . demonstrar que para todo conjunto mensurdvel AcE temos | fy —| f. A A (Sugestao: fy fslim f, £, onde B=Ae B=CAl. © teorema que segue, em geral éenunciado apenas pa ra sequéncias mondtonas crescentes, dai o seu nome. TEOREMA 3.3 (da convergéncia mondtona) - Seja £,:E —> [0,°] uma sequéncia de fungdes mensuraveis tais que f, 5, £ com f, s£ para todo k€N, entado £ > lim | f,<* kee | k DEMONSTRACAO - De fs f segue-se que [* s fs e portanto lim Jf < fe. Aplicando o Lema de Fatou segue-se que [es ain [sq Ti Jee fe e portanto -~51- OBSERVACGAO 3,9 - Agora estamos em condigdes de demonstrar que se f,g:E —+ [0,~] sao fungdes mensuraveis entdo [cere = fee[e. De fato: pelo teorema 3.1 existem sequéncias crescentes de fungSes simples positivas $,+f € ¥,tg; portento Opty tits e€ pelo teorema da convergéncia monétona (e pela observagao 3.2 b)) temos [eee = remap = Lint feyefoy) = Lim feetin fay = {e+fen EXERCICIO 4 - Seja f:E —+ [1,@f uma funcao mensuravel tal que néo tenhamos £=1 q.s. £ verdade que vin [eet kro COROLARIO 3.3.1 - Dada uma sequéncia de fungdes mensuraveis £, +B —+ [0,1] temos i dat . bh [te DEMONSTRACGAO - Temos ne 14 1 aka quando m —+ » e portanto, pelo teorema da convergéncia mond tona, temos n © lim yf = { yf. me fe kei * xe1 * Pela observagdo 3.9 temos 2 n | rete 7 dy I, * donde se segue o resultado. COROLARIC 3.3.2 ~ Seja £:E —* [0,] uma fungao mensuravel e sejam (Ey) yen subconjuntos mensurdveis de E, dois adois dis juntos tais que lJ E,=E. Entdo . keN fe ° dy Le DEMONSTRACAO - Basta lembrar que fe J fy eaue | ex [oe es EK Be hay EXERCICIO § - Para todo subconjunto mensurdvel EcR defini- mos u(B) = [ vtar. A fungdo EEM(R) — u(E)€l0,°] @ uma medida? - 53 - EXERCICIO 6 - Dar exemplo de uma sequéncia decrescente de fungdes mensuraveis f, 20 tais que lim [ae] lim tye [Sugestao: ver o exercicio 7]. EXERCICIQ 7 - Seja f, uma sequéncia decrescente de funcées mensuraveis positivas com face, demonstrar que lim [5 = i lim fy EXERCICIO 8 - Seja £:R"™—+ (0,~] mensuravel;demonstrar que a funcdo EGM(IR") —» me(B) = [ seco,e1 € uma medida, que mE=0 ==> mgE=0 € que me( RP) i £ fee,-eo+[eey-e = Jefe. E evidente que f20 implica fs 20. b) De £,+£_= £1 < igl segue-se que £, R que sao integrdveis ou o conjunto das fungées definidas q.s. em E e que sio integraveis evidentemente nao formam um espago veto rial [1] mas para elas ainda valem todos os outros resulta- dos precedentes considerando igualdades q.s. e desigualda- des q.s. Vamos porém considerar como equivatentes fungSes men- suraveis f,g:E —+ R definidas q.s. ¢ que satisfazem a re- lagdo £=g q.s. Indicando por f a classe de equivaléncia de £, a relacgdo definida por £ sf, se fy sf. q.s. € uma rela- cao de ordem [0]. Indicando por 1, (2), o conjunto das clas- ses de equivaléncia £ das fungdes f:B —+ R definidas q.s. que sio integrdveis & facil demonstrar que L, (E) é um espa- . q-8 go vetorial [0] e que L |£| =0 se e somente se f= 001. Destaquemos especialmente o COROLARIO 3.4.3 - Seja £:E —»+ R mensuravel: £ & integra- vel se e somente se |f| & integravel. Se f é integrdvel te- Ik¢ mos «| lel. 'E “= 87 - EXERCICIO 9- Seja f:R°—+ R tal que para todo EEMCR"); demonstrar que £=0 q.s. EXERCICIO 10 -Seja £, uma sequéncia crescente de fungdes in _tegraveis tais que Jeg em para todo KEN. Demonstrar que existe uma fungdo f tal que £, 5. £, que £ & integravel e que fe- lim fee so EXERCICIO 11 - Seja £4, (2) e a: E—+ R = mensuravel com Jlall, < ©: denonstrar que af6t, (E) e que [lofl <{lall, fet. OBSERVACAO 3.12 - Dados £,£,68,(B) tais, que lim flea) =0, kom ndo segue que fy —1-5.f como mostra o exercicio que segue. BXERCICIO 12 - Seja . f1°Xco,a7° F27%ro,dy fstab aa famXro,ba Ps ab sae Demonstrar que fig — + 0 quando k —+ » mas que para todo x€L0,1] temos fy (x) + 0. | EXERCICIO 13 - Dar exemplo de uma fungdo fes, (Ca,b3) tal que £78, (Ca,b]); demonstrar que f & necessariamente nao Li mitada. ~ 58 - TEORENA 3.5 (Teorema da convergéncia dominada de Lebesgue) - Seja f,:E —> HR uma sequéncia de fungées mensuraveis tal que fy AS. £ e tal que existe g€£,(E) com lf] ftg @ o-f, —> ef. Temos £6£,(E) pois f é mensurivel e |£| sg (Conforme o Teo- rema 3.4,b)). Aplicando o Lema de Fatou vem [rw szin| (£,+8) = aint {e,+[21 = 1in[#,+[e,isto a, [esian/t, e [ce

    Você também pode gostar