NC Cap30

Cap tulo 30 Elementos da Teoria da Integra c ao
Conte udo
30.1 30.2 Coment arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Integra c ao no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . 30.2.1 A Integral de Riemann Impr opria . . . . . . . . . . . . . . . . . . . . . . . . 30.2.2 Diferencia c ao e Integra c ao em Espa cos de Banach . . . . . . . . . . . . . . . A Integra c ao no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . 30.3.1 Fun c oes Mensur aveis e Fun c oes Simples . . . . . . . . . . . . . . . . . . . . . 30.3.2 A Integral de Lebesgue. Integra c ao em Espa cos Mensur aveis . . . . . . . . . 30.3.3 A Integral de Lebesgue e sua Rela c ao com a de Riemann . . . . . . . . . . . 30.3.4 Teoremas B asicos sobre Integra c ao e Converg encia . . . . . . . . . . . . . . . 30.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . Os Espa cos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30.4.1 As Desigualdades de H older e de Minkowski . . . . . . . . . . . . . . . . . . 30.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . 30.A.1 Equival encia das Deni c oes II e III da Integrabilidade de Riemann . . . . . Caracteriza c oes e Propriedades de Fun c oes Mensur aveis . . . . . . . . . . Prova do Lema 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Demonstra c ao de (30.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Equival encia das Deni c oes (30.27) e (30.28) . . . . . . . . . . . . . . . . Prova do Teorema da Converg encia Mon otona . . . . . . . . . . . . . . . . Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Prova do Teorema da Converg encia Dominada . . . . . . . . . . . . . . . . Prova dos Teoremas 30.2 e 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . Prova das Desigualdades de H older e Minkowski . . . . . . . . . . . . . . . Prova do Teorema de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1341 1343 . 1351 . 1353 1357 . 1357 . 1362 . 1369 . 1371 . 1374 1376 . 1378 . 1381 1382 1382 . 1383 1384 1389 1390 1390 1392 1393 1394 1395 1397 1399
30.3
30.4
30.A 30.B 30.C 30.D 30.E 30.F 30.G 30.H 30.I 30.J 30.K
presentaremos neste cap tulo ingredientes b asicos da chamada teoria da integra ca o, centrada na no ca o de integral de fun co es denidas em espa cos mensur aveis, a integral de Lebesgue sendo uma de suas inst ancias de particular import ancia. Iniciaremos com uma breve digress ao sobre o desenvolvimento hist orico e recordaremos a no ca o de integrabilidade no sentido de Riemann, passando a seguir ` a no ca o mais geral de integra ca o em espa cos de medida. Advertimos o leitor que os assuntos tratados neste cap tulo envolvem por vezes no co es e problemas matematicamente muito sutis, sendo dif cil apresent a-los de modo resumido ou simplicado. Por essa raz ao, optamos por apresentar certas demonstra co es mais t ecnicas n ao no texto principal, mas nos ap endices que se iniciam ` a p agina 1382. Nossa inten ca o e, antes de tudo, guiar o leitor, apontando-lhe os ingredientes de maior import ancia e de modo a eventualmente motivar seu interesse em um estudo mais aprofundado. Como refer encias gerais para a teoria da medida e da integra ca o, recomendamos [205] (fortemente), e tamb em [178], [138], [204], [73] ou ainda [159, 160]. Um texto cl assico e [91]. Para estas Notas tamb em coletamos material de [101, 102], [100] e de [19].
30.1
Coment arios Preliminares
parte essencial da forma E ca o de todo f sico ou matem atico aprender as no co es b asicas do C alculo, como os conceitos de limite, de derivada e de integral de fun co es. Nos passos iniciais dessa forma ca o e importante dar enfase a m etodos de 1341
JCABarata. Curso de F sica-Matem atica
Vers ao de 29 de janeiro de 2013.
Cap tulo 30
1342/2069
c alculo de derivadas e integrais de fun co es e, conseq uentemente, e natural que assim seja, pouco se discute sobre certas sutilezas ocultas por tr as de tais conceitos. A no ca o de integral de uma fun ca o e uma das id eias fundamentais de toda a Matem atica e originou-se no s eculo XVII com os trabalhos de Newton1 e Leibniz2 , ainda que tenha ra zes muito mais antigas, remontando pelo menos a Arquimedes3 . Intuitivamente, a integral de uma fun ca o real em um intervalo compacto [a, b] e entendida como a area descrita sob o gr aco dessa fun ca o nesse intervalo. Essa no ca o simples e suciente para motivar e sustentar os primeiros passos de qualquer aluno iniciante e, mesmo em um plano hist orico, satisfez as mentes matem aticas at e cerca de meados do s eculo XIX, pois as aplica co es almejadas pela F sica e pela Matem atica de ent ao pouco requeriam al em dessa no ca o intuitiva. Mesmo hoje, pode ser dif cil a um estudante, acostumado com o c alculo de integrais de fun co es elementares, entender que a no ca o de integral envolve quest oes sutis, principalmente pois essas sutilezas envolvem primordialmente a quest ao de caracterizar para quais fun co es o conceito de integral se aplica. Considere-se, por exemplo, as seguintes fun co es: 1, se x for irracional, sen (x), se x for transcendente, f (x) = ou f (x) = (30.1) 0, se x for racional, x2 , se x for alg ebrico. Ter ao essas fun co es uma integral em um dado intervalo compacto [a, b]? Como essas fun co es s ao descont nuas em todos os pontos, e f acil reconhecer que a no ca o de integral como area sob o gr aco de uma fun ca o e aqui muito problem atica (o leitor n ao convencido deve tentar desenhar os gr acos dessas fun co es e se perguntar qual a area sob os mesmos).
Na grande maioria das aplica co es com as quais nos acostumamos, fun co es como essas n ao ocorrem, mas sim fun co es cont nuas e sucientemente diferenci aveis, para as quais a no ca o intuitiva de integral dicilmente e problem atica. No entanto, uma s erie de desenvolvimentos te oricos na Matem atica conduziram ` a necessidade de estender a no ca o de integral a classes mais abrangentes de fun co es, como as do exemplo acima. Seria precipitado enumerar neste ponto quais foram precisamente esses desenvolvimentos que pressionaram por um aprofundamento da no ca o de integral, pois para tal uma s erie de coment arios e deni co es teria que ser antecipada. Discutiremos isso no devido momento. Mencionamos, por em, que esse avan co foi possibilitado pelo desenvolvimento concomitante da Teoria da Medida, que, como j a discutimos alhures, fundamentou e estendeu no co es como comprimento, area, volume etc., de conjuntos. A area da Matem atica que surgiu desse desenvolvimento e usualmente conhecida como Teoria da Integra c ao. Um outro avan co importante obtido atrav es da Teoria da Integra ca o foi o seguinte. As no co es de integra ca o que aprendemos nos cursos de C alculo aplicam-se a integrais de fun c oes denidas em conjuntos como R, Rn , C etc. Uma das conseq u encias mais importantes do desenvolvimento da teoria da integra ca o foi a possibilidade de denir a no ca o de integral mesmo para fun co es denidas em conjuntos mais ex oticos que os supra-citados, tais como conjuntos fractais, conjuntos de curvas, de fun co es, de distribui co es e outros. Esse desenvolvimento relevou-se de grande import ancia para a F sica tamb em. Na Mec anica Qu antica, por exemplo, ocorrem as chamadas integrais funcionais, que s ao integrais de fun co es denidas em conjuntos de curvas cont nuas. Dados dois pontos x e y no espa co, um m etodo importante desenvolvido por Feynman4 permite expressar certas fun co es de Green G(x, y ) de sistemas qu anticos em termos de integrais sobre o conjunto Cx, y de todas as curvas cont nuas no espa co que conectam x a y . Na Teoria Qu antica de Campos, o an alogo das integrais de Feynman e ainda mais abstrato e envolve integrais sobre conjuntos de distribui co es5 . Como se percebe, tais aplica co es requerem muito mais que denir a no ca o de integral como area ou volume sob um gr aco. Tentativas informais de caracterizar a no ca o de integral s ao t ao antigas quanto o C alculo. Leibniz tentou denir integrais e derivadas a partir da no ca o de innit esimos. A no ca o de innit esimos carece de respaldo matem atico mas, como outras id eias los oco-especulativas infelizes do passado, estende sua perversa inu encia at e o presente, causando em alguns, especialmente em cursos de f sica e engenharia, uma compreens ao falsa da no ca o de integral que impede o entendimento de outros desenvolvimentos. A no ca o de limite, que acabou por expurgar os innit esimos da linguagem
Newton (16431727). Wilhelm von Leibniz (16461716). 3 Arquimedes de Siracusa (ci. 287 A.C. ci. 212 A.C.). 4 Richard Phillips Feynman (19181988). A formula ca o da Mec anica Qu antica em termos das integrais funcionais de Feynman surgiu em cerca de 1942. 5 Para uma exposi ca o introdut oria sobre a integra ca o funcional de Feynman na Mec anica Qu antica, vide, por exemplo, [187], ou bons livros de Mec anica Qu antica. Para a integra ca o funcional de Feynman-Kac, denida no espa co-tempo Euclidiano, vide e.g. [81] ou [195, 196, 197, 198].
2 Gottfried 1 Isaac
Cap tulo 30
1343/2069
matem atica, era praticamente desconhecida dos fundadores do C alculo, tendo sido usada pela primeira vez em 1754 por dAlembert6 para denir a no ca o moderna de derivada. Um dos primeiros passos importantes no sentido de dotar a no ca o de integral denida de fundamentos mais s olidos foi dado por Riemann7 em 1854, em sua famosa tese de livre-doc encia8. A motiva ca o de Riemann foi o estudo das s eries de Fourier. Ao estudar condi co es que garantam um r apido decaimento dos coecientes de Fourier de fun co es peri odicas, Riemann deparou-se com a necessidade de caracterizar mais precisamente a no ca o de integrabilidade de fun co es ou, melhor dizendo, de caracterizar quais fun co es podem ser dotadas de uma integral. Um dos problemas com que Riemann se debateu foi demonstrar o que hoje em dia e conhecido como Lema de Riemann-Lebesgue: a arma ca o que o limite
b
lim
f (x) sen (x)dx vale zero se f for cont nua por partes. Esse fato e importante para a teoria das s eries de Fourier
a
e sua demonstra ca o (que pode ser acompanhada, por exemplo, em [69]), requer compreender a integral como limite de somas de Riemann (a serem denidas abaixo). A no ca o de integrabilidade de Riemann, que ser a recordada abaixo, e a primeira a ser ensinada em (bons) cursos de C alculo mas, como discutiremos mais adiante, tamb em n ao e plenamente satisfat oria. Para a grande maioria dos prop ositos modernos, a no ca o mais satisfat oria de integrabilidade e a de Lebesgue, que tamb em apresentaremos adiante. dessa no E ca o de integral que emergem os desenvolvimentos mais importantes, na teoria das s eries de Fourier, dos espa cos de Banach e de Hilbert etc. Adiantamos que no caso de fun co es limitadas reais denidas em conjuntos compactos da reta real, as integrais de Riemann e de Lebesgue coincidem. Nesse sentido, a integra ca o de Lebesgue estende a de Riemann. Trataremos disso de modo mais preciso nos Teoremas 30.2 e 30.3, da Se ca o 30.3.3, p agina 1369. Nesse momento e conveniente que encerremos esse palavreado preliminar e elevemos a discuss ao a um n vel mais s olido.
30.2
A Integra c ao no Sentido de Riemann
Na presente se ca o recapitularemos um pouco, mas em um n vel talvez mais avan cado, da teoria da integra ca o de Riemann no intuito de preparar a discuss ao, que lhe seguir a, concernente ` a no ca o de integral de Lebesgue. Apresentaremos apenas as deni co es e os resultados estruturais mais relevantes. Tendo em vista outras aplica co es (vide, por exemplo, o tratamento do Teorema da Fun ca o Impl cita em espa cos de Banach da Se ca o 25.5, p agina 1244), nosso intuito e tamb em o de apresentar a no ca o de integral de Riemann de modo a permitir sua extens ao para fun co es de uma vari avel real assumindo valores em um espa co de Banach. Essa preocupa ca o, ainda que sem maior import ancia para a abordagem da teoria de integra ca o de Lebesgue, sub-jaz boa parte dos tratamento da integra ca o de Riemann que se segue. Por simplicidade, restringiremos nossa discuss ao aqui a fun co es de uma vari avel real. A deni ca o de integral de Riemann e feita inicialmente em intervalos fechados [a, b] nitos, ou seja, com < a < b < . Integrais de Riemann em intervalos n ao-nitos s ao denidas posteriormente (Se ca o 30.2.1, p agina 1351), tomando-se limites de integrais em intervalos nitos, caso esses limites existam. Seguiremos parcialmente a exposi ca o de [101], mas com uma organiza ca o distinta de id eias e com a adi ca o de alguns detalhes nas demonstra co es. Aquela refer encia tamb em apresenta diversas extens oes da teoria aqui apresentada as quais omitiremos, por pertencerem mais propriamente a um texto sobre C alculo Diferencial e fora, portanto, das pretens oes gerais no presente cap tulo. Parti co es
Importante para a deni ca o da integral de Riemann e a no ca o de parti c ao de um intervalo compacto [a, b], com a < b. Trata-se de um conjunto nito de pontos {x1 , . . . , xn } satisfazendo a = x1 < x2 < < xn1 < xn = b, o n umero n podendo ser arbitr ario, com n 2.
O conjunto de todas as parti co es poss veis (com n umero de pontos arbitr ario) de um intervalo compacto [a, b] ser a denotado por P([a, b]), ou simplesmente P, se [a, b] estiver sub-entendido. Uma parti ca o particular ser a denotada por P P([a, b]). A cada parti ca o P = {x1 , . . . , xn } P([a, b]), com n pontos, est ao associados n 1 intervalos fechados I1 , . . . , In1 , sendo Ik = [xk , xk+1 ]. Denotaremos por |Ik | o comprimento do k - esimo intervalo: |Ik | := xk+1 xk .
6 Jean
Le Rond dAlembert (17171783). Friedrich Bernhard Riemann (18261866). 8 Uber die Darstellbarkeit einer Function durch eine trigonometrische Reihe. Publidada em 1867.
7 Georg
Cap tulo 30
1344/2069
Outra no ca o u til e a de neza de uma parti c ao P, denotada por |P|. Se P = {x1 , . . . , xn } P([a, b]) denimos |P| := max{|I1 |, . . . , |In1 |}. Assim, |P| e o m aximo comprimento dos intervalos denidos por P em [a, b].
Podemos fazer de P([a, b]) um conjunto dirigido9 , denindo a seguinte rela ca o de pr e-ordenamento: P P se |P | | P |. Note-se que se particularmente P P , ent ao |P| |P | e, portanto, P P . Mostre que isso dene uma rela c ao de pr e-ordenamento em P([a, b]) e que isso faz de P([a, b]) um
E. 30.1 Exerc cio. conjunto dirigido.
Assim, dizemos que uma parti ca o P e mais na que uma parti ca o P se o maior intervalo de P tiver comprimento menor que o maior intervalo de P. Se P e P s ao duas parti co es de [a, b] dizemos que P e um renamento de P (ou que P e mais na que P) se P P . Assim, P e mais na que P se o maior intervalo de P tiver comprimento menor que o maior intervalo de P. Se P1 e P2 s ao duas parti co es de [a, b], ent ao e evidente que P1 P2 e um renamento de P1 e de P2 . Dada uma parti ca o P = {x1 , . . . , xn } P([a, b]) com n pontos, podemos associar ` a mesma um conjunto de n 1 pontos = {1 , . . . , n1 }, com a 1 n1 b, escolhendo k Ik , k = 1, . . . , n 1, ou seja, escolhendo cada k no k - esimo intervalo fechado da parti ca o P. Se e associado a P da forma descrita acima, denotamos esse fato em s mbolos por P. Um par (P, ) com P e dito ser uma parti c ao indexada de [a, b], os ndices sendo os pontos k associados a cada intervalo Ik . Denotaremos por X([a, b]) cole ca o formada por todas as parti co es indexadas de [a, b]: X([a, b]) := (P, ) com P P([a, b]) e P . Tal como P([a, b]), o conjunto X([a, b]) e tamb em um conjunto dirigido se denirmos a rela ca o de pr e-ordenamento (P, ) (P , ) se P P , ou seja, se |P| |P | (independentemente de e !). E. 30.2 Exerc cio. conjunto dirigido. Mostre que isso dene uma rela c ao de pr e-ordenamento em X([a, b]) e que isso faz de X([a, b]) um Parti co es indexadas
Somas de Riemann. Integrabilidade de Riemann
Dada uma fun ca o real limitada f , denida em [a, b], e dado um par (P, ) X([a, b]), com P = {x1 , . . . , xn } e = {1 , . . . , n1 }, k Ik , k = 1, . . . , n 1, denimos a soma de Riemann de f associada ao par (P, ), denotada por S (P, ), f , como
n1
S (P, ), f Vide Figura 30.1.
:=
k=1
f (k )|Ik | .
Para f xa, a aplica ca o X([a, b]) (P, ) S (P, ), f R e uma rede10 segundo o pr e-ordenamento . Podemos, assim, perguntar-nos se essa rede possui pontos de acumula ca o e pontos limite. Notemos que, como R e do tipo Hausdor, se essa rede possuir um ponto limite, o mesmo eu nico (pela Proposi ca o 29.5, p agina 1329). Essa quest ao nos conduz ` a seguinte deni ca o: ca o limitada f : [a, b] R e dita ser uma fun c ao integr avel Deni c ao. Integrabilidade de Riemann Ia. Uma fun por Riemann no intervalo compacto [a, b] se a rede X([a, b]) (P, ) S (P, ), f R possuir um ponto limite S (f ) R.
Se f : [a, b] R for integr avel por Riemann no intervalo compacto [a, b] o limite S (f ) e denominado integral de Riemann de f em [a, b]. Como e bem conhecido, a integral de Riemann de f em [a, b] e mais freq uentemente denotada11
10 A
a deni ca o, vide p agina 47. deni ca o de rede encontra-se ` a p agina 1327. Note que X([a, b]) e um conjunto dirigido, pelo comentado acima. 11 O s mbolo foi introduzido por Leibniz, sendo uma estiliza ca o da letra S, de soma.
9 Para
Cap tulo 30
1345/2069
f(x) f( 6) f(5 )
f( 1)
a=x 1
x2
x3
x4
x5
x6
b=x
Figura 30.1: Representa ca o da soma de Riemann de uma fun ca o f no intervalo [a, b] com a parti ca o P = {a = x1 , x2 , x3 , x4 , x5 , x6 , x7 = b}, com os pontos intermedi arios = {1 , 2 , 3 , 4 , 5 , 6 }. O k - esimo ret angulo tem altura f (k ) e largura |Ik | = xk+1 xk . A soma das areas desses ret angulos fornece S (P, ), f .
b a
por
f (x) dx, ou seja,

b
S (f )
f (x) dx .
a
(30.2)
e-ordenamento, denido pela inclus ao, Nota. Uma possibilidade alternativa seria prover P([a, b]) (e, portanto, X([a, b])) de um outro pr denindo P o P se P P . Essa deni ca o pode ser tamb em utilizada e conduz a uma outra deni ca o equivalente ` a Ia acima (que denominamos deni ca o III), da qual tratamos ` a p agina 1349 e seguintes. Vide tamb em Ap endice 30.A.1, p agina 1383.
Para tornar a deni ca o Ia um pouco mais palp avel, vamos reformul a-la um pouco lembrando a deni ca o de ponto limite de uma rede da Se ca o 29.3, p agina 1327. Dizemos que S (f ) R e um ponto limite da rede X([a, b]) (P, ) S (P, ), f R, se para todo > 0 existir um par (P , ) X([a, b]) tal que S (P, ), f pertence ao intervalo aberto (S (f ) , S (f ) + ) para todo par (P, ) X([a, b]) tal que (P, ) (P , ). Chegamos ` a seguinte deni ca o equivalente alternativa para a no ca o de integrabilidade de Riemann: ca o limitada f : [a, b] R e dita ser integr avel por Riemann se Deni c ao. Integrabilidade de Riemann Ib. Uma fun
Integrabilidade de Riemann. Crit erios alternativos
existir S (f ) R com a seguinte propriedade: para todo > 0 existe (P , ) X([a, b]) tal que S (P, ), f S (f ) < para todo (P, ) com (P, ) (P , ).
Em palavras, uma fun ca o f e integr avel no sentido de Riemann se o processo de renamento de parti co es, fazendoas incluir mais e mais pontos com espa camentos cada vez menores, conduzir a um limite u nico das somas de Riemann. A integral de Riemann de f e ent ao esse limite das somas das areas dos ret angulos descritos na Figura 30.1, para quando as parti co es s ao feitas cada vez mais nas. A deni ca o Ib acima pode ainda ser refraseada de uma forma ligeiramente mais concreta: Deni c ao. Integrabilidade de Riemann Ic. Uma fun ca o limitada f : [a, b] R e dita ter uma integr avel por
Cap tulo 30
1346/2069
Riemann se existir S (f ) R com a seguinte propriedade: para todo > 0 existe > 0 tal que S (P, ), f S (f ) < para toda parti ca o P tal que |P| . Pela Proposi ca o 29.6, p agina 1330, a rede X([a, b]) (P, ) S (P, ), f R possui um ponto limite se e somente se for uma rede de Cauchy12 . Assim, o crit erio de Integrabilidade de Riemann Ia pode ser equivalentemente reformulado da seguinte forma:
Deni c ao. Integrabilidade de Riemann Id. Uma fun ca o limitada f : [a, b] R e dita ser uma fun c ao integr avel por Riemann no intervalo compacto [a, b] se a rede X([a, b]) (P, ) S (P, ), f R for uma rede de Cauchy, ou seja, se para todo > 0 existir (P , ) tal que S (P, ), f S (P , ), f P P . < para todos P, P com P P e
Como as condi co es P P e P P equivalem a |P| < |P | e |P | < |P |, podemos ainda apresentar a seguinte reformula ca o equivalente: ca o limitada f : [a, b] R e dita ser fun c ao integr avel por Deni c ao. Integrabilidade de Riemann Ie. Uma fun Riemann no intervalo compacto [a, b] se a rede X([a, b]) (P, ) S (P, ), f R for uma rede de Cauchy, ou seja, se para todo > 0 existir > 0 tal que S (P, ), f S (P , ), f < para todos P, P com |P| e |P | . Enfatizamos que todas as deni co es acima, de Ia a Ie, s ao equivalentes, sendo apenas refraseamentos umas das outras com respeito ` a no ca o de converg encia de redes. Fun co es cont nuas s ao integr aveis por Riemann
At e o momento n ao apresentamos exemplos de fun co es integr aveis por Riemann. Vamos agora fechar parcialmente essa lacuna, exibindo uma classe importante de fun co es que satisfazem o crit erio de integrabilidade de Riemann Id. Uma vis ao completa de quais fun co es s ao integr aveis por Riemann e fornecida pelo crit erio de Lebesgue, discutido brevemente a p ` agina 1350. Proposi c ao 30.1 Toda fun c ao real cont nua denida em um intervalo compacto [a, b] e integr avel por Riemann. Para a demonstra ca o13, necessitamos do seguinte lema: Lema 30.1 Seja f real cont nua denida em um intervalo compacto [a, b]. Seja P = {x1 , . . . , xn } P([a, b]) uma parti c ao de [a, b] com n pontos ` a qual est ao associados n 1 intervalos fechados I1 , . . . , In1 , com Ik = [xk , xk+1 ]. Se P P([a, b]) e uma segunda parti c ao tal que P P , ent ao S (P, ), f S (P , ), f para quaisquer e , onde W(f, P) :=
k=1, ..., n1
W(f, P) |b a|
(30.3)
max
x, y Ik
sup |f (x) f (y )|
(30.4)
` parti Prova. A ca o P = {x ao associados m 1 intervalos fechados 1 , . . . , xm } P([a, b]), com m pontos, est e a uni ao de, digamos, l intervalos de P : I1 , . . . , Im1 , sendo Ik = [xk , xk+1 ]. Como P P , o intervalo I1 l Il . Assim, |I1 | = I1 = I1 |Ia |e l l f ( a )|Ia | = a=1 f (1 ) f ( a ) |Ia | ,
a=1
f (1 )|I1 |
12 Isso 13 Seguiremos
a=1
e sempre verdade se f assume valores em um espa co m etrico completo. basicamente [101].
Cap tulo 30
1347/2069
o que evidentemente implica

l l f ( a )|Ia | a=1 f (1 ) f ( a ) |Ia | x, y I1 l
f (1 )|I1 |
a=1
sup |f (x) f (y )| =
a=1
|Ia |
x, y I1
sup |f (x) f (y )|
|I1 | W(f, P) |I1 | .
Na segunda desigualdade usamos simplesmente o fato que cada a pertence a I1 . Como o mesmo racioc nio aplica-se aos demais sub-intervalos de P, segue imediatamente a validade de (30.3). Prova da Proposi c ao 30.1. Por um resultado bem conhecido (Teorema 31.12, p agina 1439), toda fun ca o cont nua f denida em um intervalo compacto [a, b] e uniformemente cont nua, ou seja, para todo > 0 existe > 0 tal que |f (y ) f (x)| < sempre que x e y encontrem-se ambos em algum sub-intervalo de [a, b] que tenha largura menor que . Fixado um > 0, sejam P1 e P2 duas parti co es tais que |P1 | < e |P2 | < . Seja P = P1 P2 . Evidentemente valem P1 P e P2 P . Pelo Lema 30.1 teremos S (P1 , 1 ), f S (P , ), f S (P2 , 2 ), f S (P , ), f W(f, P1 ) |b a| < |b a| , W(f, P2 ) |b a| < |b a| .
Acima, usamos os fatos que W(f, P1 ) < e W(f, P2 ) < , pois cada intervalo de P1 e de P2 tem largura menor que . Logo, S (P1 , 1 ), f S (P2 , 2 ), f S (P1 , 1 ), f S (P , ), f + S (P2 , 2 ), f S (P , ), f < 2 |b a | .
Com isso vemos que o crit erio Id de integrabilidade de Riemann e satisfeito, que e o que quer amos demonstrar. O seguinte corol ario e imediato e sua prova e deixada como exerc cio. Corol ario 30.1 Toda fun c ao real cont nua por partes14 e limitada denida em um intervalo compacto [a, b] e integr avel por Riemann.
Esse fato e importante, pois a grande parte, se n ao a totalidade, das fun co es encontradas na pr atica das ci encias naturais e da engenharia e formada por fun co es cont nuas ou cont nuas por partes. No Exerc cio E. 30.6, p agina 1350, adiante, exibimos um exemplo de uma fun ca o que n ao e cont nua por partes mas e integr avel por Riemann. Fun co es com valores em espa cos de Banach. Integrabilidade de Riemann
At e o momento tratamos apenas de caracterizar a no ca o de integral de Riemann para fun co es denidas em conjuntos compactos [a, b] assumindo valores reais. O estudante e convidado a constatar, no entanto, que as constru co es acima (incluindo a Proposi ca o 30.1) permanecem inalteradas se as fun co es consideradas assumirem valores em espa cos de Banach. Se B e um espa co de Banach e f : [a, b] B e uma fun ca o assumindo valores em B, a soma de Riemann de f associada ao par (P, ) e analogamente denida por
n1
S (P, ), f Temos, assim:

14 Para
:=
k=1
f (k )|Ik | B.
(30.5)
a deni ca o geral de continuidade por partes, vide p agina 1336.
Cap tulo 30
1348/2069
cos de Banach. Seja B um espa co de Banach com norma Deni c ao. Integrabilidade de Riemann para espa B . Uma fun ca o limitada f : [a, b] B e dita ser uma fun c ao integr avel por Riemann no intervalo compacto [a, b] se a rede X([a, b]) (P, ) S (P, ), f B for uma rede de Cauchy, ou seja, se para todo > 0 existir P tal que S (P, ), f S (P , ), f
B
< para todo P com P P.
Tem-se, analogamente, a importante Proposi c ao 30.2 Toda fun c ao cont nua denida em um intervalo compacto [a, b] e assumindo valores em um espa co de Banach e integr avel por Riemann.
A demonstra ca o repete os mesmos passos da demonstra ca o da Proposi ca o 30.1 se substituirmos os m odulos das fun co es e das somas de Riemann por normas em espa cos de Banach. Alguns desenvolvimentos sobre a integra ca o e diferencia ca o de fun co es assumindo valores em espa cos de Banach ser ao apresentados na Se ca o 30.2.2, p agina 1353. Somas de Darboux
Os crit erios de integrabilidade que apresentamos acima s ao essencialmente aqueles apresentados por Riemann em 1854. Da maneira como os formulamos, podemos aplic a-los para denir a no ca o de integral (de Riemann) mesmo para fun co es denidas em intervalos compactos [a, b] R mas que assumam valores em espa cos de Banach. Uma desvantagem dos crit erios de integrabilidade acima e a de fazerem o uso da no c ao de rede e pontos limite de redes, que talvez n ao sejam intuitivas para todos. Felizmente, no caso de fun co es reais, h a uma outra caracteriza ca o da no ca o de integrabilidade de Riemann, devida a Darboux15 , que e mais transparente e prescinde dessas no co es. Trataremos disso agora. Dada uma fun ca o real limitada f , denida em [a, b] e dada uma parti ca o P P([a, b]), com P = {x1 , . . . , xn }, denimos as somas de Darboux (inferior e superior) de f no intervalo [a, b], associadas ` a P por
n1 n1 y Ik
Di [P, f ] :=
k=1
inf f (y )
|Ik |
Ds [P, f ] :=
k=1
sup f (y )
y Ik
|Ik | ,
(30.6)
respectivamente. Vide Figura 30.2.
f(x) sup f(y)

y
6
f(x)
inf f(y)
y 6
sup f(y) inf f(y)

y
1
y 1
a=x 1
x2
x3
x4
x5
x6
b=x
a=x 1
x2
x3
x4
x5
x6
b=x
Figura 30.2: Representa ca o das somas de Darboux da mesma fun ca o e da mesma parti ca o da Fig. 30.1. A soma das areas dos ret angulos ` a esquerda fornece Di [P, f ] e a soma das areas dos ret angulos ` a direita fornece Ds [P, f ].
evidente pela deni E ca o que Di [P, f ] Ds [P, f ] para qualquer parti ca o P. Fora isso, tem-se tamb em os fatos compreendidos nos seguintes exerc cios: co es P e P P([a, b]) com P P tem-se Di [P, f ] Di [P , f ] e Ds [P, f ] E. 30.3 Exerc cio. Mostre que para parti Ds [P , f ]. Sugere-se provar isso por indu c ao no n umero de pontos da parti c ao.
15 Jean
Gaston Darboux (18421917). O trabalho de Darboux sobre a integral de Riemann data de 1875.
Cap tulo 30
1349/2069
co es P e P P([a, b]) tem-se Di [P, f ] Ds [P , f ]. Sugest ao: use E. 30.4 Exerc cio. Mostre que para quaisquer parti as arma co es do Exerc cio E. 30.3 e os fatos que P P P e P P P . E. 30.5 Exerc cio. Mostre que para parti co es P e P P([a, b]) com P P tem-se Ds [P , f ] Di [P , f ] Ds [P, f ] Di [P, f ]. Sugest ao: isso segue facilmente dos Exerc cios E. 30.3 e E. 30.4. O exerc cio E. 30.3 sugere a seguinte deni ca o. Denimos as integrais de Darboux (inferior e superior) de f no intervalo [a, b] por
b b
f (x) dx :=
a
sup
PP([a, b])
D i [P , f ]
e
a
f (x) dx :=
PP([a, b])
inf
D s [P , f ] ,
respectivamente. O fato estabelecido no exerc cio E. 30.4 acima que Di [P, f ] Ds [P , f ] para quaisquer parti co es P e P P([a, b]) implica (por que?)
b b a
f (x) dx
f (x) dx .
a
(30.7)
Tudo isso sugere a seguinte deni ca o. Deni c ao. Integrabilidade de Riemann II. Uma fun ca o limitada f e dita ser uma fun c ao integr avel por Riemann no intervalo compacto [a, b] se
b f (x) dx a
b f (x) dx. a b
Nesse caso a integral de f no intervalo [a, b] e denida por

b
D(f ) :=
a
f (x) dx =
a
f (x) dx .
(30.8)
A integral denida em (30.8) e por vezes denominada integral de Darboux. Como veremos (Proposi ca o 30.4), essa integral b coincide com a integral S (f ) anteriormente denida. Por isso, D(f ) ser a tamb em denotada por a f (x) dx. A seguinte proposi ca o e relevante no contexto dessa deni c ao: Proposi c ao 30.3 Seja f uma fun c ao real limitada no intervalo compacto [a, b]. Ent ao, f e integr avel no sentido da deni c ao II se e somente se para todo > 0 existir uma parti c ao P P([a, b]) tal que Ds [P, f ] Di [P, f ] < . A demonstra ca o da Proposi ca o 30.3 e apresentada na Se c ao 30.A, p agina 1382. Na mesma se ca o demonstramos tamb em a seguinte proposi ca o importante, que estabelece a equival encia das deni co es I e da deni ca o II, acima: Proposi c ao 30.4 Uma fun c ao real limitada f , denida em um intervalo compacto [a, b], e integr avel no sentido das deni c oes I se e somente se o for no sentido da deni c ao II. Em ambos os casos as integrais denidas por (30.2) e por (30.8) coincidem.
Rede de Riemann-Darboux
Na deni co es IaIe da integrabilidade de Riemann provemos a cole ca o de parti co es P([a, b]) com um pr e-ordenamento, denindo P P se |P| |P |. Uma outra possibilidade e considerar em P([a, b]) o pr e-ordenamento denido pela inclus ao, denindo P o P se P P. Com rela ca o a esse pr e-ordenamento o as cole co es P([a, b]) e X([a, b]) s ao tamb em conjuntos dirigidos e a aplica ca o X([a, b]) (P, ) S (P, ), f R e tamb em uma rede, dita por alguns autores ser uma rede de Riemann-Darboux. Com a mesma podemos estabelecer mais um crit erio de integrabilidade.
A deni ca o acima equivale ` a deni ca o II (e, portanto, ` as deni co es I) da no ca o de integrabilidade de Riemann. Por ser bastante t ecnica e sem relev ancia especial para o que segue, apresentamos a demonstra ca o dessa arma ca o n ao aqui, mas no Ap endice 30.A.1, p agina 1383.
Deni c ao. Integrabilidade de Riemann III. Uma fun ca o limitada f : [a, b] R e dita ser uma fun c ao integr avel por Riemann no intervalo compacto [a, b] se a rede (em rela ca o ao pr e-ordemento o ) X([a, b]) (P, ) S (P, ), f R possuir um ponto limite S (f ) R.
Cap tulo 30
1350/2069
Crit erio de Lebesgue para integrabilidade de Riemann
H a uma caracteriza ca o da integrabilidade de Riemann, devida a Lebesgue, que permite precisar quais fun co es s ao integr aveis no sentido de Riemann:
Crit erio de Lebesgue para integrabilidade de Riemann. Uma fun ca o limitada f : [a, b] R e integr avel no sentido de Riemann se e somente se for cont nua quase em toda parte (em rela ca o ` a medida de Lebesgue), ou seja, se a cole ca o de pontos onde f e descont nua tiver medida de Lebesgue nula. N ao apresentaremos a demonstra ca o desse fato aqui (vide [101]). Uma conseq u encia desse crit erio (que tamb em pode ser obtida por meios mais diretos, como vimos acima) e que toda fun ca o limitada e cont nua por partes16 e integr avel no sentido de Riemann. curioso e relevante observar tamb E em que n ao s ao apenas as fun co es cont nuas por partes que s ao integr aveis no sentido de Riemann. O seguinte exerc cio ilustra isso. E. 30.6 Exerc cio-desao. Aqui vamos designar n umeros racionais r na forma r = p/q , supondo p e q primos entre si. Seja a seguinte fun c ao: p 1 1 + , se x = for racional q q f (x) = . 1, se x for irracional
Mostre que f e cont nua em x se x for irracional mas que f e descont nua em x se x for racional. Sugest ao: lembre que se x e irracional, ent ao para toda seq u encia pn /qn de racionais que aproxima x tem-se que qn para n . Como os racionais t em medida de Lebesgue zero, segue pelo crit erio de Lebesgue que f e integr avel de Riemann. Prove
b f (x) dx a
diretamente da deni c ao que
evidente, a diculdade est a em provar que
b f (x) dx = b a a b a f (x) dx = b a.
para todos a < b. Note que o fato que
b f (x) dx a
= ba e
As no co es de fun ca o integr avel no sentido de Riemann e de integral de Riemann que apresentamos acima s ao a base de todo o C alculo elementar e delas se extrai uma s erie de conseq u encias bem conhecidas e que n ao repetiremos aqui, tais como a linearidade da integral, o teorema fundamental do c alculo, m etodos de integra ca o (como a integra ca o por partes) etc. Para uma ampla exposi ca o, vide e.g. [159]-[160]. A integral de Riemann, por em, possui algumas deci encias que ilustraremos abaixo. Essas deci encias conduziram ` a procura de uma no ca o mais forte de integrabilidade, da qual falaremos posteriormente. Seja [a, b], a < b, um intervalo compacto e considere-se a seguinte fun ca o D : [a, b] R: 0, se x for racional, D(x) = 1, se x for irracional.
b b
Deci encias da integral de Riemann
(30.9)
Ser a essa fun ca o integr avel em [a, b] sentido de Riemann? A resposta e n ao, pois como facilmente se constata, D(x) dx = 0
a
mas
a
D(x) dx = b a,
j a que, para qualquer sub-intervalo Ik = [xk , xk+1 ] de qualquer parti ca o de [a, b] teremos
y Ik
inf D(y ) = 0
mas
sup D(y ) = 1 ,
y Ik
pois Ik sempre conter a n umeros racionais e irracionais. Assim, aprendemos que h a fun co es limitadas que n ao s ao integr aveis no sentido de Riemann. Esse exemplo, por em, ilustra um outro problema de conseq u encias piores.
16 Lembremos:
uma fun ca o e dita ser uma fun c ao cont nua por partes se for descont nua apenas em um n umero nito de pontos.
Cap tulo 30
1351/2069
f E acil ver que para todo x [a, b] tem-se D(x) = lim Dn (x), onde D est a denida em (30.9). Cada fun ca o Dn e n integr avel no sentido de Riemann, pois e cont nua por partes, sendo descont nua apenas nos pontos do conjunto nito muito f {r1 , . . . , rn }. E acil ver que
b b a b
Seja o conjunto Q = Q [a, b] de todos os racionais do intervalo [a, b]. Como esse conjunto e cont avel, podemos represent a-lo como Q = {r1 , r2 , r3 , r4 , . . .} = {rk , k N}, onde N k rk Q e uma contagem de Q. Seja denida agora a seguinte seq u encia de fun co es: 0, se x {r1 , . . . , rn } , Dn (x) = 1, de outra forma. Dn (x) dx = b a e assim, lim
Dn (x) dx = b a. Entretanto, trocar a

n
integral pelo limite de Riemann.

a
lim Dn (x) dx n ao faz sentido, pois a fun ca o D(x) = lim Dn (x) n ao e integr avel no sentido
A li ca o que se aprende disso e que a integra ca o de Riemann n ao pode ser sempre cambiada com o limite pontual de fun co es17 . Esse e um fato desagrad avel, que impede manipula co es onde gostar amos de poder trocar de ordem integrais e limites. O problema reside no fato de o crit erio de integra ca o de Riemann n ao ser sucientemente ex vel de modo a permitir integrar um conjunto sucientemente grande de fun co es ou, melhor dizendo, o conjunto das fun co es integr aveis no sentido de Riemann n ao e grande o suciente. Como vimos no crit erio de Lebesgue, s o s ao integr aveis no sentido de Riemann as fun co es que s ao cont nuas quase em toda parte. Esse conjunto, que exclui fun co es como D, acaba sendo pequeno demais para dar liberdade a certas manipula co es de interesse. E. 30.7 Exerc cio. Por que D n ao e cont nua quase em toda parte? Para responder isso, mostre que D n ao e cont nua em nenhum ponto. Sugest ao: recorde que todo x irracional pode ser aproximado por uma seq u encia de racionais e que todo x racional pode ser aproximado por uma seq u encia de irracionais. Mostre ent ao que para qualquer x existem seq u encias xn com lim xn = x, mas com lim D(xn ) = D(x).
n n
Um outro problema, de outra natureza, diz respeito ` a propriedade de completeza da cole ca o das fun co es integr aveis b por Riemann. Tais conjuntos n ao formam espa cos m etricos completos em rela ca o ` a m etricas como d1 (f, g ) = a |f (x) g (x)|dx. Como a propriedade de completeza e muito importante, faz-se necess ario aumentar o conjunto de fun co es integr aveis para obter essa propriedade. De fato, como veremos, o conjunto de fun co es integr aveis no sentido de Lebesgue e completo e esse fato e importante na teoria dos espa cos de Hilbert e de Banach.
30.2.1
A Integral de Riemann Impr opria
Vamos aqui tratar de denir a integral de Riemann impr opria
f (x) dx de uma fun ca o f denida em toda a reta real

b a
R. De maneira intuitiva, essa integral deve ser denida como o limite de integrais b indo a de diversas formas, sem afetar o resultado.
f (x) dx tomando a indo a e
Uma possibilidade provis oria seria a seguinte deni ca o. Se f : R R e uma fun ca o integr avel por Riemann em cada intervalo [a, b], poder amos denir a integral de Riemann impr opria de f por
A
f (x) dx :=
lim
f (x) dx ,
A A2
(30.10)
caso o limite exista. A deni ca o provis oria (30.10) apresenta, por em, um problema que requer alguns coment arios. Em
A
certos casos, pode ocorrer que o limite lim
f (x) dx exista, mas n ao, por exemplo, o limite lim

A A A2
f (x) dx, ou
A
outros. Tal e o caso da fun ca o f (x) = x. Tem-se aqui que lim

17 A
x dx = 0 mas lim
A
x dx diverge.
A
troca de ordem de integrais de Riemann e limites de seq u encias de fun co es e permitida, por em, se o limite for uniforme.
Cap tulo 30
1352/2069
prudente Por causa disso e insatisfat orio tomar (30.10) como deni ca o das integrais de Riemann impr oprias. E elaborar uma deni ca o mais conservadora e que leve em conta o que pode acontecer em todas as integrais em intervalos [a, b] quando a e b , independentemente. Isso e feito da seguinte forma. Denotemos por C a cole ca o de todos os intervalos nitos [a, b] R. Notando que os intervalos [a, b] podem ser ordenados por inclus ao, percebemos facilmente que C e um conjunto dirigido (vide deni ca o ` a p agina 47). avel por Riemann em cada intervalo [a, b]. A aplica ca o C R dada por Seja f : R R uma fun ca o xa, integr
b
F[a, b] :=
a
f (x) dx
(30.11)
forma uma rede. O conceito de limite em rela ca o a uma rede e bem denido (a no ca o de rede, limites de redes e suas propriedades foram estudadas na Se ca o 29.3, p agina 1327). Isso nos permite estabelecer a deni ca o precisa de integral de Riemann impr opria. Dizemos, que uma fun ca o f : R R, integr avel por Riemann em cada intervalo [a, b], possui uma integral de Riemann impr opria se a rede F[a, b] , [a, b] C possuir um ponto limite (o qual ser au nico, pois R e um espa co Hausdor na topologia usual. Vide Proposi ca o 29.5, p agina 1329). Assim, f possui uma integral de Riemann impr opria se
b [a, b]C
lim F[a, b] =
[a, b]C
lim
f (x) dx
a
existir, o limite acima sendo o da rede, com os intervalos ordenados por inclus ao. Se f tiver essa propriedade, denimos a integral de Riemann impr opria de f por
b
f (x) dx :=
[a, b]C
lim F[a, b] =
[a, b]C
lim
f (x) dx .
a
Para tornar essa deni ca o um pouco mais palp avel, vamos reformul a-la um pouco lembrando a deni ca o de ponto limite de uma rede da Se ca o 29.3, p agina 1327. Dizemos que F R e um ponto limite da rede F[a, b] , [a, b] C, se para todo > 0 existir um intervalo [A, B ] tal que F[a, b] (F , F + ) para todo [a, b] [A, B ]. Assim, f : R R, integr avel por Riemann em cada intervalo nito, e dita ter uma integral de Riemann impr opria F R se para todo > 0 existir um intervalo [A, B ] C tal que
b a
f (x) dx F
<

para todo [a, b] [A, B ], [a, b] C. O n umero F e denotado por

A a
f (x)dx.
a
De maneira an aloga denem-se as integrais de Riemann impr oprias

a
f (x) dx e
f (x) dx, para a R, nito,
como os limites lim
f (x) dx e lim
a
f (x) dx, respectivamente, caso existam.

A
f (x) = x2 sen ex
Notemos en passant, que na deni ca o da integral de Riemann em intervalos nitos [a, b], que apresentamos na Se ca o 30.2, p agina 1343, faz-se necess ario supor que a fun ca o f seja limitada. Para a deni ca o da integral de Riemann impr opria e a fun ca o f (x) dx isso n ao e necess ario, e f pode divergir em , desde que o limite da integral exista! Um exemplo
3
, que n ao e limitada para x +. Como facilmente se v e com a mudan ca de vari aveis u = ex ,

x2 sen ex
dx =
1 3
sen (u) du = . u 6
Au ltima igualdade pode ser obtida pelo m etodo dos res duos. Um outro exemplo do mesmo tipo e a fun ca o x cos(x4 ), 4 que n ao e limitada mas a x cos(x )dx < para qualquer a nito. *
Cap tulo 30
1353/2069
opria bem denida pois, No sentido da deni ca o acima, a fun ca o f (x) = x n ao possui uma integral de Riemann impr
A2
como observamos, limites como lim
x dx divergem. Para fun co es que possuem uma integral de Riemann impr opria
A
bem denida vale, obviamente, a express ao (30.10) e para elas vale tamb em
A A2
f (x) dx =
lim
f (x) dx =
A
lim
f (x) dx
A
etc.
ou seja, o limite de
b a
Para iniciarmos a discuss ao precisamos de deni co es adequadas das no co es de deriva ca o e integra ca o (de Riemann) de fun co es entre espa cos de Banach.
f (x) dx pode ser tomado com a indo a e b indo a de diversas formas, sem afetar o resultado.
30.2.2
Diferencia c ao e Integra c ao em Espa cos de Banach
Vamos na presente se ca o (cuja leitura e dispens avel para o desenvolvimento da teoria de integra ca o de Lebesgue que se lhe segue) aprofundar um pouco mais a teoria da integra ca o de fun co es com valores em espa cos de Banach no sentido de reproduzir, nesse contexto geral, alguns dos resultados b asicos do C alculo Diferencial e Integral18 . A no ca o de integral de Riemann para fun co es de uma vari avel real com valores em um espa co de Banach foi apresentada na Se ca o 30.2, em especial ` a p agina 1347. Nosso principal prop osito agora e demonstrar o Teorema do Valor M edio e obter outros resultados preparat orios para a demonstra ca o do Teorema da Fun ca o Impl cita, tratado na Se ca o 25.5, p agina 1244. O primeiro passo e apresentar a no ca o geral de diferencia ca o de fun co es entre espa cos de Banach. Aplica co es diferenci aveis em espa cos de Banach. A derivada de Fr echet
Sejam M e N dois espa cos de Banach. Seja M um aberto em M e g : M N uma aplica ca o (n ao-necessariamente linear). Dizemos que g e diferenci avel em um ponto x M se existir uma aplica ca o linear limitada Gx : M N tal que
y 0
lim
g (x + y ) g (x) Gx y = 0, y M
ou seja,
y 0
lim
g (x + y ) g (x) Gx y y M
= 0.
Se g e diferenci avel em x, ou seja, se um tal Gx existir, ent ao e unicamente denido. De fato, suponhamos que exista H : M N linear e limitado tal que
y 0
lim
g (x + y ) g (x) Hy y M
y 0
= 0.
Seja v M com v
= 1 e seja y M tal que lim

N
y = v . Ent ao, y M
N
(H Gx )v
y 0
lim
(H Gx )y y M
y 0
lim
[g (x + y ) g (x) Gx y [g (x + y ) g (x) Hy y [g (x + y ) g (x) Gx y y M

N M
y 0
lim
+ lim
y 0
[g (x + y ) g (x) Hy y M
= 0. Logo, H Gx anula-se em todo vetor norma 1 e, portanto, anula-se em todo M.
O estudante pode facilmente convencer-se que a deni ca o acima corresponde ` a no ca o bem-conhecida de diferenciabilidade de fun co es de Rn Rm . O operador linear limitado Gx pode ser interpretado como a melhor aproxima ca o linear ` a fun ca o g na vizinhan ca de x.
18 Seguiremos
proximamente a exposi ca o de [102].
Cap tulo 30
1354/2069
Se g e diferenci avel em todo ponto x do aberto M e se a aplica ca o M x Gx B(M, N) for cont nua em norma, dizemos que g e uma aplica c ao de classe C 1 . Para manter uma familiaridade notacional, denotaremos os operadores lineares limitados Gx denidos acima por (Dg )(x) ou mesmo por g (x). O operador linear limitado (Dg )(x) representa, assim, a derivada de g no ponto x, tamb em denominada derivada de Fr echet19 de g em x. E. 30.8 Exerc cio. Mostre que se g e diferenci avel no ponto x de acordo com a deni c ao acima ent ao e tamb em cont nua em x. Diferencia c ao e integra c ao de fun co es de uma vari avel real
De particular interesse e o caso em que M = R e M = (a, b) R, um intervalo aberto nito da reta real. Aqui, tem-se o seguinte: Proposi c ao 30.5 Seja N um espa co de Banach e seja g : [a, b] N uma fun c ao cont nua. Seja G : [a, b] N denida por
x
G(x) :=
a
g (t)dt ,
x [a, b] .
(30.12)
Ent ao G e diferenci avel em todo intervalo (a, b) e (DG)(x) G (x) = g (x). Prova. Pela deni ca o da integral de Riemann e evidente que
t2 t3 t3
g (t) dt +
t1 t2
g (t) dt =
t1
g (t) dt
(30.13)
tamb para todos t1 , t2 , t3 [a, b]. E em f acil ver que

b b
g (t) dt
a N
g (t)
a n1
dt
(30.14)
pois para as somas de Riemann (30.5) tem-se S (P, ), g os limites. De (30.14) obtem-se trivialmente a estimativa
b
g (k )
k=1
|Ik | , o que implica (30.14), tomando-se
g (t) dt
a N
|b a| max
t[a, b]
g (t)
(30.15)
x +y
que usaremos logo abaixo. Seja G denida em (30.12). Tem-se por (30.13) que G(x + y ) G(x) = x, y (a, b) com x + y (a, b). Logo,
x +y
g (t)dt para todo

x
G(x + y ) G(x) g (x)y = Assim, por (30.15), G(x + y ) G(x) g (x)y donde segue que lim G(x + y ) G(x) g (x)y |y |
N N
g (t) g (x) dt . max g (t) g (x) ,
|y |
t[x, x+y ]
y 0
y 0 t[x, x+y ]
lim
max
g (t) g (x)
continuidade
0.
Isso provou que G e diferenci avel em todo x (a, b) com (DG)(x) G (x) = g (x).
19 Maurice
Ren e Fr echet (18781973).
Cap tulo 30
1355/2069
Na demonstra ca o do Teorema do Valor M edio faremos uso do lema a seguir (cujo enunciado e demonstra ca o foram extra dos de [102]). O estudante deve cuidadosamente observar que, ao contr ario do que uma primeira impress ao pode sugerir, esse lema n ao e conseq u encia da Proposi ca o 30.5. Lema 30.2 Seja N um espa co de Banach e f : [a, b] N cont nua e diferenci avel em todo (a, b) mas de modo que f (x) = 0 para todo x (a, b). Ent ao, f e constante. Prova.20 Sejam s e t (a, b), arbitr arios, com s < t. Desejamos mostrar que f (s) = f (t). Como s e t s ao arbitr arios e f e cont nua, isso implica que f e constante em todo intervalo fechado [a, b]. Vamos denir uma seq u encia de intervalos (sn , tn ) (s, t), n N, satisfazendo (sn , tn ) (sn1 , tn1 ) e |t n s n | = 2 n |t s |
Em palavras, quebramos a cada passo o intervalo (sn1 , tn1 ) ao meio e escolhemos (sn , tn ) como sendo a metade na claro por essa escolha que qual a varia ca o de f em norma foi maior. E f (sn1 ) f (tn1 ) e, portanto, tem-se para todo n N, f (s) f (t) 2n f (sn ) f (tn ) . (30.16) f (sn1 ) f sn1 + tn1 2 + f sn1 + tn1 2 f (tn1 )
dados da seguinte forma: (s0 , t0 ) = (s, t) e para n 1, tn1 tn1 tn1 , caso f (sn1 ) f sn1 + f (tn1 ) f sn1 + sn1 , sn1 + 2 2 2 (sn , tn ) := sn1 +tn1 , tn1 , caso f sn1 +tn1 f (tn1 ) f (sn1 ) f sn1 +tn1 2 2 2
2 f (sn ) f (tn )
Pela constru ca o, sn e uma seq u encia n ao-decrescente e limitada superiormente por t, enquanto que tn e uma seq u encia n ao-crescente e limitada inferiormente por s. Assim, ambas convergem a pontos no intervalo [s, t]. Como, por em, |tn sn | = 2n |t s|, segue que ambas as seq u encias sn e tn convergem e a um mesmo ponto [s, t]. Fora isso, e tamb em claro que [sn , tn ] para todo n. Pela hip otese, vale f ( ) = 0. Pela deni ca o de f , isso signica que para todo > 0 existe > 0 tal que f (x) f ( ) /|x | < sempre que |x | . Como sn e tn convergem a , podemos escolher n grande o suciente de modo que |sn | e |tn | . Teremos, assim, para tais ns, f (sn ) f (tn ) f (sn ) f ( ) + f ( ) f (tn ) |s n | + | t n | .
Como [sn , tn ] para todo n, segue que |sn | + | tn | = |tn sn | = 2n |t s|. Logo, obtivemos f (sn ) f (tn ) 2 n |t s | .
Voltando a (30.16) isso implica f (s) f (t) 2n f (sn ) f (tn ) |t s|. Como > 0 e arbitr ario, segue disso que f (s) f (t) = 0, completando a prova. Com esse lema e com a Proposi ca o 30.5 a prova do Teorema do Valor M edio torna-se elementar. O Teorema do Valor M edio
20 De
O teorema seguinte generaliza um resultado bem conhecido de C alculo:

[102].
Cap tulo 30
1356/2069
Teorema 30.1 (Teorema do Valor M edio) Sejam M e N espa cos de Banach e M M um conjunto aberto e conexo de M. Seja g : M N cont nua e diferenci avel. Ent ao, para todos x, y M vale
1
g (x) g (y ) = assim como a estimativa onde Kx, y := max g tx + (1 t)y
g x + (1 )y d
N
(x y ) , ,
t[0, 1]
g (x) g (y )
Kx, y x y
Prova. Para x, y M xos, seja h : [0, 1] N denida por h(t) := g tx + (1 t)y . Pela regra da cadeia, h (t) = g tx + (1 t)y (x y ). Dena-se tamb em
t
H (t) :=
0
g x + (1 )y (x y ) d ,
t [0, 1] .
Pela Proposi ca o 30.5, H e diferenci avel e H (t) = g tx + (1 t)y ) x y ). Assim, H (t) = h (t), o que implica, pelo Lema 30.2, que a diferen ca H (t) h(t) e constante para todo t [0, 1]. Como H (0) = 0, segue que H (t) h(t) = h(0) = g (y ) para todo t [0, 1]. Para t = 1 essa igualdade ca H (1) h(1) = g (y ) e como h(1) = g (x) conclu mos que
1
g (x) g (y ) = Usando (30.15), segue disso que g (x) g (y )

N
g x + (1 )y (x y ) d .
max
t[0, 1]
g tx + (1 t)y (x y )
t[0, 1]
max
g tx + (1 t)y
xy
o que completa a demonstra ca o.
Derivadas parciais
Sejam X e Y dois espa cos normados com normas X e Y , respectivamente. Podemos fazer do produto Cartesiano X Y = {(x, y ), x X, y Y} um espa co vetorial normado declarando as opera co es de soma e produto por escalares por 1 (x1 , y1 ) + 2 (x2 , y2 ) := (1 x1 + 2 x2 , 1 y1 + 2 y2 ) e denindo a norma (x, y ) XY := x X + y Y. Mais que isso, se X e Y forem espa cos de Banach em rela ca o ` as suas respectivas normas, e f acil constatar que X Y tamb em o e em rela ca o a norma (x, y ) XY .
E. 30.9 Exerc cio. Prove que XY e de fato uma norma e que X Y e um espa co de Banach em rela c ao ` a mesma se X e Y o forem em rela c ao ` as suas respectivas normas. Para distinguirmos a estrutura de espa co vetorial de X Y denida acima, denotaremos os vetores (x, y ) X Y como vetores-coluna: x . y Denamos as proje co es X : X Y X e Y : X Y Y por X x y := x , Y x y := y ,
respectivamente, e denamos X : X X Y e Y : Y X Y por X x := x 0 , Y y := 0 y ,
um exerc respectivamente. E cio elementar (mas importante) mostrar que X , Y , X e Y s ao lineares e cont nuas se igualmente elementar dotarmos X, Y e X Y das topologias das normas X , Y e XY , respectivamente. E constatar que Y Y = Y e X X + Y Y = XY . (30.17) X X = X ,
Cap tulo 30
1357/2069
Seja Z um terceiro espa co de Banach com norma Z . Para A X e B B dois abertos convexos, seja F : A B Z uma fun ca o cont nua e diferenci avel, sendo F : A B Z sua derivada. Para cada (x, y ) A B a express ao F (x, y ) dene um operador linear e cont nuo X Y Z. Para y xo em B podemos considerar tamb em a fun ca o A x F (x, y ), assim como para x xo em A podemos considerar a fun ca o B y F (x, y ). Se essas fun co es forem diferenci aveis denotaremos suas derivadas por D1 F e D2 F , respectivamente. Note-se que D1 F e uma aplica ca o linear X Z e D2 F e uma aplica ca o linear Y Z.
Vamos mostrar que se F existe ent ao essas duas fun co es s ao tamb em diferenci aveis e vamos estabelecer rela co es entre D1 F , D2 F e F . De fato, da exist encia de F sabemos que F (x + a, y + b) F (x, y ) = F (x, y ) a + R(a, b) , b com lim R(a, b) Z = 0. (a, b) XY
(a, b)0
para todos (a, b) X Y. Em particular, para b = 0 teremos F (x + a, y ) F (x, y ) = F (x, y ) a + R(a, 0) , b

X Y
com = a
X,
a0
lim
R(a, 0) Z = 0, (a, 0) XY
ou seja, escrevendo R(a, 0) R(a) e lembrando que (a, 0)
tem-se lim R(a) Z = 0, a X
F (x + a, y ) F (x, y ) = F (x, y ) X a + R(a) , o que nos permite concluir que Analogamente, podemos concluir que D1 F (x, y ) = F (x, y )X . D2 F (x, y ) = F (x, y )Y .
com
a0
Dessas express oes extrai-se facilmente a continuidade de D1 F (x, y ) e D2 F (x, y ) como fun co es de (x, y ) A B . Da u ltima das rela co es em (30.17) obtemos F (x, y ) = D1 F (x, y ) X + D2 F (x, y ) Y . As u ltimas tr es express oes valem para todo (x, y ) A B . (30.18)
D1 F e D2 F denem as derivadas parciais de F em rela ca o a seu primeiro e segundo argumentos, respectivamente.
30.3
A Integra c ao no Sentido de Lebesgue
A presente se ca o e dedicada ` a teoria da integra ca o de fun co es denidas em espa cos mensur aveis. A no ca o de integra ca o da qual trataremos foi introduzida por Lebesgue entre 1901 e 190221 e redescoberta independentemente por Young22 dois anos mais tarde. A teoria de integra ca o introduzida por Lebesgue representa uma importante extens ao da teoria de integra ca o de Riemann e desde cedo encontrou aplica co es em diversas areas da Matem atica (como, para car em um u nico exemplo, na teoria das s eries de Fourier), com reexos tamb em na F sica. A teoria da integra ca o de Lebesgue faz amplo uso de no co es da teoria da medida e necessita, em particular, da no ca o de fun ca o mensur avel, que iremos discutir antes de passarmos ` a deni ca o geral da integral de Lebesgue propriamente dita.
30.3.1
Fun c oes Mensur aveis e Fun c oes Simples
Comecemos com uma deni ca o que ser a amplamente empregada no que segue, a de fun ca o caracter stica de um conjunto.
21 O trabalho de Lebesgue sobre a teoria da integra ca o, intitulado Int egrale, longueur, aire foi apresentado como disserta ca o ` a Universidade de Nancy em 1902. 22 William Henry Young (18631942).
Cap tulo 30
1358/2069
A fun c ao caracter stica de um conjunto
e denominada fun c ao caracter stica do conjunto A, ou fun c ao indicatriz do conjunto A. E. 30.10 Exerc cio. Seja M um conjunto n ao-vazio e A, B M . Mostre que A (x)B (x) = AB (x) , x M . (30.19)
Seja M um conjunto n ao-vazio e A M . A fun ca o A : M R denida por 1, se x A A (x) := 0, se x A
Uma fun ca o f : M N e dita ser uma fun c ao mensur avel em rela ca o ` as - algebras M e N, ou [M, N]-mensur avel, se f 1 (A) M para todo A N, ou seja, se a pr e-imagem de todo conjunto mensur avel segundo N for um conjunto mensur avel segundo M. O estudante deve comparar essa deni ca o com a deni ca o de fun ca o cont nua DC 1, p agina 1334. Devido ao seu seu papel preponderante na teoria da integra ca o (de Lebesgue), vamos primeiro estudar algumas das propriedades b asicas das fun co es mensur aveis, especialmente das fun co es num ericas, ou seja, aquelas cuja imagem est a em R ou em C.
Apresentemos uma importante deni ca o, a de fun ca o mensur avel. Sejam (M, M) e (N, N) dois espa cos mensur aveis, sendo M e N dois conjuntos n ao-vazios e M (M ) e N (N ) - algebras em M e N , respectivamente.
Fun co es mensur aveis. Deni c ao e coment arios
A primeira propriedade elementar e bastante geral: se (M1 , M1 ), (M2 , M2 ) e (M3 , M3 ) s ao tr es espa cos mensur aveis e se f : M1 M2 e g : M2 M3 s ao duas fun co es mensur aveis (f sendo [M1 , M2 ]-mensur avel e g sendo [M2 , M3 ]mensur avel) ent ao g f : M1 M3 e mensur avel em rela ca o a M1 e M3 (ou seja, [M1 , M3 ]-mensur avel). A prova e imediata pela deni ca o. Dado um espa co mensur avel (M, M) estaremos, como dissemos, primordialmente interessados em fun co es f : M R. Qual - algebra adotar em R? As duas possibilidades mais importantes s ao a - algebra de Lebesgue23 ML , dos conjuntos mensur aveis pela medida de Lebesgue L , e a - algebra de Borel24 M[R ] que, por deni ca o, e a menor - algebra que cont em a topologia usual da reta R . A - algebra de Borel foi estudada no Cap tulo 26 (vide especialmente a p agina 1259). Vimos na Se ca o 28.1.1, p agina 1302, que M[R ] ML . Para a grande maioria dos prop ositos da teoria da integra ca o e suciente considerar em R a - algebra de Borel M[R ]. Assim, dado um espa co mensur avel (M, M) estaremos interessados em fun co es f : M R, dotando R da - algebra de Borel M[R ].
Os conjuntos que comp oe M[R ] s ao denominados conjuntos Borelianos. Que conjuntos s ao estes? Recordando o que aprendemos nos cap tulos supra-citados, todos os conjuntos abertos ou fechados de R (na topologia usual R ) s ao Borelianos. S ao tamb em Borelianos intervalos semi-abertos como [a, b) ou (a, b], assim como uni oes cont aveis dos mesmos e seus complementos. H a em R, al em dos intervalos semi-abertos, outros conjuntos Borelianos que n ao s ao nem abertos nem fechados. O ao cont avel de conjuntos Borelianos {r} (que cont conjunto dos racionais, Q, e Boreliano, pois Q = rQ {r}, uma uni em apenas um ponto e s ao Borelianos por serem fechados). O conjunto dos irracionais e Boreliano por ser o complemento de Q, que e Boreliano. Analogamente o conjunto dos n umeros reais alg ebricos e Boreliano, assim como o conjunto dos n umeros reais transcendentes. Generalizando o racioc nio, todo conjunto nito ou cont avel de R e Boreliano e seu complemento tamb em. Se f : M R e mensur avel em rela ca o ` as - algebras M e M[R ], f dita ser uma fun c ao Boreliana. Se f : M R c ao mensur avel de Lebesgue. Como M[R ] ML , e mensur avel em rela ca o ` as - algebras M e ML , f dita ser uma fun dif toda fun ca o mensur avel de Lebesgue e Boreliana. Que fun co es s ao Borelianas? E cil dar uma descri ca o geral, mas no
23 Henri 24 F elix
L eon Lebesgue (18751941). Edouard Justin Emile Borel (18711956).
Cap tulo 30
1359/2069
caso importante de fun co es f : R R onde adotamos M[R ] como a - algebra tanto do dom nio quando da imagem, e relativamente f acil provar que toda fun ca o cont nua e Boreliana. A prova e apresentada no Ap endice 30.B, p agina 1384, quando tratarmos de fun co es mensur aveis entre espa cos topol ogicos. S ao tamb em Borelianas as fun co es cont nuas por partes, ou seja, aquelas que possuem um n umero nito de descontinuidades. H a ainda outras fun co es que s ao Borelianas mas que n ao s ao nem cont nuas nem cont nuas por parte. Exemplos s ao as fun co es de (30.1). E. 30.11 Exerc cio. Justique! Um exemplo de uma fun ca o n ao-mensur avel, mais especicamente, de uma fun ca o f : R R que n ao e Boreliana, e a fun ca o caracter stica de um conjunto n ao-mensur avel (ou n ao Boreliano), como a fun ca o caracter stica V (x) do conjunto de Vitali V que introduzimos no Cap tulo 27 (vide especialmente a p agina 1275). Fun co es n ao-mensur aveis s ao praticamente desconsideradas na teoria da integra ca o. No Ap endice 30.B, p agina 1384, estuda-se com mais profundidade a no ca o de fun ca o mensur avel. Para os nossos prop ositos, o principal resultado que l a obtemos e o seguinte: Proposi c ao 30.6 Se (M, M) e um espa co de medida, ent ao o conjunto de todas as fun c oes f : M R que sejam [M, M[R ]]-mensur aveis forma uma algebra real. Mais precisamente, se f : M R e g : M R s ao ambas [M, M[R ]]mensur aveis, ent ao 1. Para todos , R vale que f + g e [M, M[R ]]-mensur avel. 2. O produto f g e [M, M[R ]]-mensur avel. Fun co es mensur aveis complexas
Uma fun ca o f : M C e [M, M[C ]]-mensur avel se e somente se suas partes real e imagin aria forem [M, M[R ]]mensur aveis. Isso e demonstrado nas Proposi co es 30.15 e 30.16, das p aginas 1388 e seguintes. Usando a Proposi ca o 30.6 e f acil ver que o conjunto de todas as fun co es complexas mensur aveis e tamb em uma algebra complexa. Vide Proposi ca o 30.17, p agina 1389. Fun co es denidas por sups e inf s
n
e lim inf fn s ao denidas para cada x M por
Se {fn } e uma seq u encia de fun co es denidas em M assumindo valores em R, ent ao as fun co es sup fn , inf fn , lim sup fn
n n n
sup fn (x)
n
:=
sup (fn (x)) ,

n
inf fn (x)
n
:=
inf (fn (x)) ,

n
lim sup fn (x)

n
:= :=
lim sup (fn (x)) ,

n
lim inf fn (x)

n
lim inf (fn (x)) .

n
Se (M, M) for um espa co de medida e as fun co es fn forem todas [M, M[R ]]-mensur aveis, ent ao todas as fun co es denidas acima s ao tamb em [M, M[R ]]-mensur aveis. Por exemplo, para provar que a fun ca o f := sup fn e mensur avel, notamos que para qualquer a R
n
f 1 ((a, )) =
n=1
1 fn ((a, )) .
Cap tulo 30
1360/2069
ao: Se c ao 1.1.3, p agina 55. E. 30.12 Exerc cio. Certo? Sugest

1 Pela Proposi ca o 30.11, p agina 1386, cada conjunto fn ((a, )) pertence a M, portanto, a uni ao acima tamb em, pois 1 e uma uni ao cont avel. Logo, f ((a, )) M para todo a R e, novamente pela Proposi ca o 30.11, isso implica que f e [M, M[R ]]-mensur avel.
Analogamente, prova-se que f := inf fn e [M, M[R ]]-mensur avel, pois nesse caso
n
f 1 ((, a)) =
n=1
1 fn ((, a)) .
Para o caso de f = lim sup fn , notamos que lim sup fn = inf sup fn . Pelo argumentado acima, cada sup fn e
n n m1 nm nm
[M, M[R ]]-mensur avel e assim o e seu nmo para todo m. Finalmente, o caso da fun ca o lim inf fn e an alogo.
n
Partes positiva e negativa de uma fun c ao
claro que f + (x) 0 e que f (x) 0 f+ e denominada parte positiva de f e f e denominada parte negativa de f . E para todo x. E f acil ver que f + (x) = e, conseq uentemente, igualmente f E acil ver que sendo que F + = {x M | f (x) 0} e f (x) + |f (x)| 2 f = f+ f f + (x) = f (x)F + (x) e f (x) = f (x) + |f (x)| 2
Para f : M R, denimos f (x), se f (x) 0 , + f (x) := 0, se f (x) < 0 ,
f (x) :=
f (x), se f (x) 0 , 0,
se f (x) > 0 ,
e e
|f | = f + + f . f (x) = f (x)F (x) F = {x M | f (x) 0} . (30.20)
Se f e mensur avel, F + e F s ao conjuntos mensur aveis, por serem as pr e-imagens por f dos Borelianos [0, ) e (, 0], respectivamente. Assim, as fun co es caracter sticas F s ao mensur aveis. Como o produto de duas fun co es mensur aveis e mensur avel (Proposi ca o 30.6), conclu mos de (30.20) que f + e f s ao fun co es mensur aveis. Da , como |f | = f + + f , segue tamb em que |f | e mensur avel, pois e a soma de duas fun co es mensur aveis (novamente, Proposi ca o 30.6). A representa c ao normal Se M e um conjunto n ao-vazio, dizemos que uma fun ca o real ou complexa f : M R, ou f : M C possui uma representa ca o normal se para algum m N existirem n umeros 1 , . . . , m , n ao necessariamente distintos, e conjuntos B1 , . . . , Bm tais que Bi Bj = para i = j , que M = B1 Bm e que
m
f (x) =
k=1
k Bk (x)
(30.21)
A soma do lado direito de (30.21) e dita ser uma representa c ao normal de f . Note que nem toda fun ca o f possui uma representa ca o normal. Al em disso, se f possui uma representa ca o normal esta n ao e necessariamente u nica: podemos dividir alguns dos conjuntos Bk em subconjuntos disjuntos menores e obter uma nova representa ca o normal. Ou podemos tomar a uni ao de conjuntos Bk com valores iguais de k e obter uma nova representa ca o normal. importante notar que se f admite uma representa E ca o normal, ent ao f assume um n umero nito de valores (certo?). Veremos que essa e uma condi ca o necess aria e suciente para que uma fun ca o f possua uma representa ca o normal.
Cap tulo 30
1361/2069
Fun co es simples
Se M e um conjunto n ao-vazio, uma fun ca o s : M R, ou s : M C, e dita ser elementar ou simples se assumir apenas um n umero nito de valores, ou seja, se sua imagem for (s) = {s1 , . . . , sn }, para algum n N, com si = sj para i = j , sendo que cada sk e um elemento de R ou de C, conforme o caso. Se s e simples e (s) = {s1 , . . . , sn }, dena-se os conjuntos Ak M por Ak = s1 (sk ), ou seja, Ak e a pr e-imagem de sk por s: Ak = {x M | s(x) = sk }.
bastante evidente que Ai Aj = para i = j , que M = A1 An e que E

n
s(x) =
k=1
sk Ak (x) .
(30.22)
Vemos com isso que toda fun ca o simples possui pelo menos uma representa ca o normal. Uma representa ca o normal como a de (30.22), na qual as constantes sk s ao todas distintas, e dita ser uma representa c ao normal curta da fun ca o simples s. O leitor poder a facilmente convencer-se que a representa ca o normal curta de uma fun ca o simples eu nica. Um ponto importante e a seguinte observa ca o: uma fun ca o simples e mensur avel (em rela ca o a uma - algebra M denida em M ) se e somente se cada Ak acima for um conjunto mensur avel (ou seja Ak M). A prova e evidente e dispens avel. A algebra das fun co es simples
As fun co es simples formam uma algebra. As fun co es simples e mensur aveis tamb em formam uma algebra. A prova dessas arma co es e bem simples e deixada ao leitor. O pr oximo exerc cio e mais detalhado quanto ` as propriedades alg ebricas das fun co es simples. E. 30.13 Exerc cio (f acil). Se s e r s ao fun co es simples denidas em M com representa co es normais
n m
s(x) =
k=1
sk Ak (x)
r(x) =
l=1
rl Bl (x)
mostre que r(x)s(x) =
sk rl Ak Bl (x) .
k=1 l=1
Isso segue facilmente da identidade A B = AB . Para qualquer n umero tem-se, obviamente,

n
s(x) =
k=1
sk Ak (x) .
Por m, mostre que r(x) + s(x) =
(sk + rl ) Ak Bl (x) .
k=1 l=1
(30.23)
Para provar isso, voc e dever a usar os fatos que A1 An = M e que B1 Bm = M , sendo ambas uni oes de conjuntos disjuntos, para mostrar que
n m
1 =
k=1
Ak (x)
1 =
l=1
Bl (x) .
Disso, segue facilmente, usando a identidade A B = AB , que

m n
Ak (x) =
l=1
Ak Bl (x)
Bl (x) =
k=1
Bl Al (x) ,
e disso, segue facilmente (30.23).
Cap tulo 30
1362/2069
Toda fun ca o real n ao-negativa, mensur avel por Lebesgue ou Boreliana, pode ser aproximada por fun co es simples. Mais precisamente temos o seguinte lema (de [100]) que, embora um tanto t ecnico, revela uma rela ca o subjacente entre fun co es mensur aveis em geral e fun co es simples mensur aveis. Lema 30.3 Se M e um espa co de medida com uma - algebra M, toda fun c ao f : M R n ao-negativa e Boreliana (ou mensur avel por Lebesgue) e o limite de uma seq u encia mon otona n ao-decrescente de fun c oes simples mensur aveis e n ao-negativas. Se f for tamb em limitada, a converg encia e at e mesmo uniforme.
Fun co es mensur aveis e fun co es simples
A prova encontra-se no Ap endice 30.C, p agina 1389. O Lema 30.3 tem o seguinte Corol ario 30.2 Se M e um espa co de medida com uma - algebra M, toda fun c ao f : M R que seja Boreliana eo limite de uma seq u encia de fun c oes simples mensur aveis.
Prova. A diferen ca com rela ca o ao Lema 30.3 e que f n ao e necessariamente n ao-negativa. Pelo que observamos, por em, f = f + f , sendo ambas f n ao-negativas e Borelianas. A elas, portanto, aplica-se o Lema 30.3, o que encerra a prova.
30.3.2
A Integral de Lebesgue. Integra c ao em Espa cos Mensur aveis
Passamos agora ` a empreitada de denir o conceito de integral de Lebesgue em espa cos mensur aveis. O processo segue v arias etapas sucessivas, iniciando com a deni ca o de integral de fun co es simples mensur aveis, que ser ao usadas para denir a integral de fun co es positivas mensur aveis e assim por diante. Integra c ao de fun co es simples
Seja agora M um espa co mensur avel com uma - algebra M, na qual est a denida uma medida .
Se s e uma fun ca o simples e n ao-negativa (ou seja, se s(x) 0 para todo x), M-mensur avel e com representa ca o n normal curta s(x) = k=1 sk Ak (x), a integral de s em M com respeito ` a medida e denida por
n M
s d
s(x) d(x) :=
M
k=1 sk =0
sk (Ak ) .
(30.24)
Observa c oes.
1. Note-se que na soma ` a direita na express ao (30.24) exclui-se os valores de k para os quais sk = 0. Para tais valores de k pode eventualmente valer (Ak ) = . Se convencionarmos que 0 = 0, podemos reescrever a deni ca o acima de forma mais simplicada como
n
s d
M M
s(x) d(x) :=
k=1
sk (Ak ) .
Para simplicar a nota ca o, essa conven ca o 0 = 0 e adotada por muitos autores e nos juntaremos a eles nestas Notas. Observemos tamb em que a soma do lado esquerdo pode valer , caso (Ak ) = para algum k com sk > 0. 2. Na deni ca o (30.24) usamos a representa ca o normal curta da fun ca o s, mas isso n ao e necess ario pois qualquer representa ca o normal de s pode ser usada com id entico resultado. De fato, sejam
p q
s(x) =
k=1
k Bk (x)
s(x) =
l=1
l Cl (x)
(30.25)
duas representa co es normais de s, com Bi Bj = para i = j , com M = B1 Bp e igualmente Ci Cj = para i = j , com M = C1 Cq . Ent ao,
p q
k (Bk ) =
k=1 l=1
l (Cl ) .
(30.26)
A prova de (30.26) e apresentada no Ap endice 30.D, p agina 1390. A validade de (30.26) mostra que a deni ca o de integral de uma fun ca o simples dada acima e intr nseca e n ao depende da particular representa ca o normal adotada.
Cap tulo 30
1363/2069
Uma fun ca o simples (n ao necessariamente positiva) e M-mensur avel s, com uma representa ca o normal s(x) = e dita ser uma fun c ao -integr avel se (Ak ) < para todo k com sk = 0. Observe-se que para os valores de k para os quais sk = 0 n ao estamos impedidos de ter (Ak ) = . Para uma tal fun ca o denimos igualmente
n k=1 sk Ak (x), n n M
s d
s(x) d(x) :=
M
k=1 sk =0
sk (Ak ) =
k=1
sk (Ak ) . s d < .
Na u ltima igualdade usamos a conven ca o 0 = 0. Note que para s integr avel,
A deni ca o de integral de fun co es simples que empreendemos acima e o primeiro passo da deni ca o mais geral de integral de fun co es em espa cos mensur aveis. Antes de prosseguirmos, fa camos alguns coment arios de esclarecimento sobre as deni co es acima. Alguns esclarecimentos
O estudante deve reparar nos cuidados tomados nas deni co es acima: s o denimos a no ca o de integral para fun co es simples e mensur aveis que sejam ou n ao-negativas ou integr aveis. Ao denirmos a integral de fun co es simples n aonegativas permitimos ter (Ak ) = para algum k com sk > 0. Aqui, a condi ca o de s ser n ao-negativa e importante para evitar o aparecimento de somas to tipo , que n ao est ao denidas. Isso seria o caso de uma fun ca o simples como +2, se x (1, ) . s(x) = 1, se x (, 1] Essa fun ca o e mensur avel de Lebesgue. Por em, para a medida de Lebesgue L , a integral dessa fun ca o R s dL = +2L ((1, )) + (1)L ((, 1]) n ao est a denida, pois L ((1, )) = e L ((, 1]) = e n ao temos como denir a diferen ca +2L ((1, )) + (1)L ((, 1]). J a para a fun ca o simples e mensur avel +2, se x (1, ) , s(x) = 0, se x (, 1] ,
e mensur avel e integr avel e
co es simples integr aveis tais teremos R s dL = +2L ((1, )) + (0)L ((, 1]) = +2L ((1, )) = . Para as fun problemas n ao ocorrem j a que os termos sk (Ak ) s ao nitos (positivos ou negativos). De fato, para fun co es simples integr aveis s o se ter a (Ak ) = se sk = 0 e nesse caso convenciona-se sk (Ak ) = 0. O seguinte exemplo ilustra isso: com rela ca o ` a medida de Lebesgue a fun ca o simples +2, se x (1, 4) s(x) = 0, se x (1, 4)
M
s dL = +2L ((1, 4)) + (0)L (R \ (1, 4)) = 2 3 + 0 = 2 3 = 6.
Integrais indenidas de fun co es simples
Se s e simples mensur avel n ao-negativa ou s e simples mensur avel e integr avel e se E M com E M, denimos
n
s d :=
E n M
s E d =
k=1 (30.19)
sk (Ak E ) .
n
Au ltima igualdade segue de s(x)E (x) =

n k=1
sk Ak (x)E (x)
sk Ak E (x), de onde extrai-se que

k=1 M
sE d =
s.
k=1
sk (Ak E ) , como desejamos. As integrais
s d s ao por vezes denominadas integrais denidas da fun ca o simples

E
Cap tulo 30
1364/2069
Propriedades elementares da integra c ao de fun co es simples
As seguintes propriedades das integrais de fun co es simples s ao v alidas e podem ser facilmente vericadas: (s) d
E
=
E
s d ,
(sa + sb ) d
E
=
E
sa d +
E
sb d ,
s1 d
E
s2 d
E
se
s1 (x) s2 (x),
x E .
Acima, s, sa e sb s ao fun co es simples, integr aveis e complexas quaisquer e C, constante. s1 e s2 s ao fun co es simples, integr aveis e reais quaisquer. Medidas denidas pela integral de fun co es simples n ao-negativas
O seguinte resultado (de [205]), que tem interesse por si s o, ser a usado mais adiante, por exemplo quando demonstrarmos o Teorema da Converg encia Mon otona, Teorema 30.4, p agina 1371.
Lema 30.4 Seja M n ao-vazio, M uma - algebra de M na qual denimos uma medida . Seja s uma fun c ao simples, n ao-negativa e [M, M[R ]]-mensur avel e integr avel. Para E M dena-se s (E ) :=
E
s d =
M
s E d .
Ent ao s e uma medida em M. Prova. Em primeiro lugar, note-se que s () = 0, pois e identicamente nula. Como s e n ao-negativa, s (E ) 0 para todo E M.
n
Seja uma representa ca o normal de s = k=1 sk Ak (com Ak M para todo k , pois s e mensur avel). Teremos para cada E M, s (E ) = n s ( A E ). Se E = E e uma uni a o disjunta e cont a vel com Em M para todo k k=1 k m=1 m m, vale que Ak E = m=1 (Ak Em ), tamb em uma uni ao disjunta e cont avel de elementos de M. Logo, como e uma medida, vale que

(Ak E ) = Ak Assim,
n
Em
m=1
m=1
(Ak Em )
=
m=1
(Ak Em ) .
s
m=1
Em
=
k=1
sk Ak
Em
m=1
=
k=1 m=1
sk (Ak Em ) =
m=1 k=1
sk (Ak Em )
=
m=1
s (Em ) .
Isso provou que s e -aditiva e, portanto, e uma medida. E. 30.14 Exerc cio. O que justica a troca de ordem das somas feita na demonstra c ao acima? Integra c ao de fun co es mensur aveis. A integral de Lebesgue
Como acima, seja M n ao-vazio, M uma - algebra de M na qual denimos uma medida .
Cap tulo 30
1365/2069
Seja f : M R+ uma fun ca o n ao-negativa e mensur avel. Denotaremos por S (f ) a cole ca o de todas as fun co es simples, mensur aveis, n ao-negativas e menores ou iguais a f : S (f ) := {s : M R| s e simples, mensur avel e 0 s(x) f (x) para todo x M } . O Lema 30.3 nos ensinou que S (f ) e n ao-vazio e que h a at e mesmo seq u encias em S (f ) que convergem a f . Denimos ent ao para E M com E M, f d := sup s d .
E sS (f ) E
(30.27)
Essa express ao dene a integral de Lebesgue da fun c ao f sobre o conjunto E em respeito ` a medida . A deni ca o acima foi introduzida por Lebesgue como substituto ` a deni ca o de integral devida a Riemann. Discutiremos suas virtudes mais adiante. Note que a deni ca o acima e bastante geral, no sentido de n ao ser especicado o que e o conjunto M nem a medida . Por ora, a deni ca o acima limita-se a fun co es n ao-negativas f . Logo mostraremos como essa deni ca o pode ser estendida para fun co es que podem ser negativas ou complexas. Se fn e uma seq u encia mon otona n ao-decrescente de fun co es simples mensur aveis de S (f ) que converge a f (que tal existe, garante-nos o Lema 30.3) e poss vel mostrar que f d =
E
lim
fn d .
E
(30.28)
A express ao (30.28) pode ser tomada como deni ca o alternativa equivalente de E f d e, de fato, alguns autores assim o fazem. A equival encia das duas deni co es e demonstrada no Ap endice 30.E, p agina 1390. Seu estudo e dispens avel em uma primeira leitura. A integra c ao de Lebesgue e conjuntos de medida zero
Dentre as propriedades da integral denida acima, a seguinte observa ca o ter a um papel importante a desempenhar.
Proposi c ao 30.7 Seja (M, M) um espa co de medida e seja f : M R+ uma fun c ao [M, M[R ]]-mensur avel tal que f d = 0 para algum E M . Ent a o f = 0 -q.t.p. em E . E Prova. Seja En = {x M | f (x) > 1/n} E = {x E | f (x) > 1/n}. Pela Proposi ca o 30.11 da p agina 1386, tem-se 1 1 claro pela deni En M. E ca o de En que f n ca o simples n e um elemento de S (f ) e, pela En . Portanto, a fun E n deni ca o (30.27) da integral de Lebesgue, segue que 0 =
E
f d
1 1 En d = (En ) , n n
n=1
ou seja, (En ) = 0 para todo n N. Note-se agora que {x E | f (x) > 0} = n=1 (En ) = 0, provando que f = 0 -q.t.p em E . Fun co es integr aveis
En . Logo, ({x E | f (x) > 0})
Como acima, seja M n ao-vazio, M uma - algebra de M na qual denimos uma medida . Seja f : M R uma fun ca o mensur avel. f e dita ser integr avel em M se |f | d < .
M
Como |f | = f + + f , sendo ambas f n ao-negativas e mensur aveis, segue que isso, e como f = f + f , sendo ambas f n ao-negativas, e natural denir f d :=
M M
f + d < e
f d < . Com
f + d
f d .
M
As integrais do lado direito s ao nitas e, portanto, sua diferen ca est a bem denida.
Cap tulo 30
1366/2069
Propriedades elementares da integra c ao (f ) d

E
As seguintes propriedades das integrais de fun co es integr aveis s ao v alidas e podem ser facilmente vericadas: =
E
f d ,
(30.29)
(fa + fb ) d
E
=
E
fa d +
E
fb d ,
(30.30)
f1 d
E
f2 d
E
se
f1 (x) f2 (x),
x E .
(30.31)
Acima, f , fa , fb , f1 e f2 s ao fun co es integr aveis reais quaisquer e R, constante. E. 30.15 Exerc cio (recomendado a quem deseja testar se est a realmente acompanhando a exposi c ao). propriedades elementares acima. Uma outra propriedade relevante de demonstra ca o simples e a seguinte se f : M R for integr avel,
E
Demonstre as
f d
|f | d .
(30.32)
Isso segue das seguintes linhas: f d

E
=
E
f + d f + d +
f d f d =
f + d +
E E
f d
=
E
(f + + f ) d
E
=
E
|f | d .
Caso f seja uma fun ca o complexa, f : M C, procede-se de forma semelhante. Como antes, f e dita ser integr avel em M se |f | d < .
M
Fun co es complexas integr aveis
e mensur avel pela Denotemos por Re(f ) e Im(f ) as partes real e imagin aria de f . Como |f | = |Re(f )|2 + |Im(f )|2 Proposi ca o 30.15, p agina 1388, e claro que |Re(f )| |f |, |Im(f )| |f | e, de (30.31), segue que
M
|Re(f )| d
|f | d <
e
M
|Im(f )| d
|f | d < .
(30.33)
Com isso, tanto Re(f ) quanto Im(f ) s ao fun co es reais e integr aveis e podemos aplicar a deni ca o acima e escrever Re(f ) d
M
=
M
(Re(f ))+ d (Im(f ))+ d
(Re(f )) d ,
M
Im(f ) d
M
=
M
(Im(f )) d .
M
Com isso, e natural denir a integral de f por f d :=

M M
Re(f ) d + i
M
Im(f ) d
=
M
(Re(f ))+ d
(Re(f )) d + i
M M
(Im(f ))+ d
(Im(f )) d .
M
(30.34)
Cap tulo 30
1367/2069
Todos os quatro termos acima s ao nitos e a soma dos mesmos e, portanto, bem denida. Chegamos dessa forma ao prop osito de denir a no ca o de integral para fun co es mensur aveis e integr aveis, reais ou complexas. Recapitulando, nossos passos foram 1) denir a integral de fun co es simples n ao-negativas e integr aveis; 2) denir a integral de fun co es reais, mensur aveis e n ao-negativas a partir da integral de fun co es simples; 3) denir a integral de fun co es reais e integr aveis a partir da integral de fun co es reais, mensur aveis e n ao-negativas ; 4) denir a integral de fun co es complexas e integr aveis a partir da integral de suas partes real e imagin aria. Propriedades elementares da integra c ao de fun co es complexas
As seguintes propriedades das integrais de fun co es integr aveis s ao v alidas e podem ser facilmente vericadas: (f ) d =
E
f d ,
(30.35)
(fa + fb ) d =
E E
fa d +
E
fb d ,
(30.36)
Acima, f , fa e fb s ao fun co es integr aveis e complexas quaisquer e C, constante. E. 30.16 Exerc cio (recomendado a quem deseja testar se est a realmente acompanhando a exposi c ao). propriedades elementares acima. Sugest ao: use a deni c ao (30.28). Demonstre as
A desigualdade (30.32) se deixa generalizar para fun co es integr aveis complexas, mas a prova e mas engenhosa: se f : M C for integr avel, ent ao
E
f d
|f | d .
(30.37)
e [M, M[R ]]-mensur avel Para provar isso, notemos que, pela Proposi ca o 30.15, p agina 1388, |f | = (Re(f ))2 + (Im(f ))2 e se Re(f ) e Im(f ) o forem. Fora isso, j a vimos acima que Re(f ) e Im(f ) s ao integr aveis se f o for. A integral E f d um n umero complexo e, portanto, pode ser escrito na forma polar f d = ei
E E
f d .
A fun ca o g := ei f e mensur avel e integr avel, como facilmente se v e. Temos que Re(g ) d + i
E E
Im(g ) d =
E
g d =
E E
ei f d
(30.35)
ei
E
f d =
E
f d 0 .
Como
f d e um n umero real, segue que f d =

E E
Im(g ) d = 0 e que
(30.32)
Re(g ) d 0. Logo,
(30.33)
Re(g ) d =
E
Re(g ) d
|Re(g )| d
|g | d =
|f | d ,
completando a prova de (30.37). Os conjuntos Lp (M, d)
Antes de passarmos a exemplos, vamos rapidamente introduzir uma nota ca o importante.
Se (M, M) e um espa co mensur avel e e uma medida em M , denotaremos o conjunto das fun co es integr aveis em M em rela ca o ` a medida por L1 (M, d): L1 (M, d) := f :M C f e [M, M[C ]]-mensur avel e
M
|f | d <
Muito importantes s ao tamb em os espa cos Lp (M, d), denidos por Lp (M, d) := f :M C f e [M, M[C ]]-mensur avel e
M
|f |p d <
Cap tulo 30
1368/2069
onde p, em princ pio, e um n umero real positivo p > 0. Os espa cos Lp (M, d) com p 1 ser ao discutidos com mais detalhe adiante. Exemplos. Integra c ao com a medida delta de Dirac
Vamos a alguns exemplos ilustrativos. Considere M = R, M = (R) e = x0 para x0 R, a medida delta de Dirac denida no item 2 da p agina 1278.
n
Seja s(x) uma fun ca o simples denida em R com forma normal s(x) =
k=1
sk Ak (x). Vamos supor que x0 Ak0 . E
em pela deni ca o (27.3), p agina 1278, claro que s(x0 ) = sk0 . Teremos tamb
n
s dx0 =
R k=1
sk x0 (Ak ) = sk0 = s(x0 ) .
(30.38)
Se f : R R e mensur avel, e fn e uma seq u encia de fun co es simples que converge a f , teremos obviamente que fn (x0 ) f (x0 ) e, por (30.38), R fn dx0 = fn (x0 ). Assim, por (30.28), segue que f dx0 = f (x0 ) .
R
(30.39)
O estudante deve constatar que essa express ao corresponde precisamente ` a bem conhecida propriedade

f (x) (x x0 )dx = f (x0 )
que comummente se associa em textos de F sica ` a fun ca o delta de Dirac. Nota para os estudantes mais avan cados.
Al em da medida delta de Dirac existe tamb em a distribui c ao delta de Dirac (vide p agina 1742). Ainda que muito semelhantes, esses objetos s ao distintos matematicamente: o primeiro e uma medida, o segundo e uma distribui ca o, ou seja, um funcional linear cont nuo em um certo espa co de Fr echet de fun co es innitamente diferenci aveis (e que decaem r apido o suciente no innito). Com a medida delta de Dirac podemos integrar qualquer fun ca o, como em (30.39). Com a distribui ca o delta de Dirac podemos integrar fun co es innitamente diferenci aveis (e que decaem r apido o suciente no innito). Essa aparente limita ca o e compensada pelo fato de se poder falar em derivadas da distribui ca o delta de Dirac, mas n ao da medida delta de Dirac.
Seja M = {m1 , . . . , mn } um conjunto nito e seja M = (M ). Toda fun ca o f : M R e simples e mensur avel em rela ca o a M e M[R ] (por que?). Seja c a medida de contagem em M , que foi introduzida ` a p agina 1278. Tem-se que
n
Exemplos. Integra c ao com a medida de contagem. Rela c ao com os espa cos p
f dc =
M k=1
f (mk ) .
e uma fun ca o simples ent ao Seja M = N, M = (N) e seja c a medida de contagem em N. Se f : N R
f dc =
M k=1
f (k ) .
Uma fun ca o f : N C e c -integr avel se

M
|f | dc =
k=1
|f (k )| < ,
e sua integral e f dc =
M
f (k ) .
k=1 k=1
Observe que o fato de k=1 |f (k )| < implica que a s erie som avel. Vide os bons livros de C alculo).
f (k ) e convergente (por ser uma s erie absolutamente
Cap tulo 30
1369/2069
co es feitas acima. E. 30.17 Exerc cio. Demonstre todas as arma O estudante pode convencer-se com o apresentado acima que o conjunto L1 (N, dc ) das fun co es f : N C integr aveis em rela ca o ` a medida de contagem c coincide com o conjunto de seq u encias 1 que introduzimos na Se ca o 24.5.1, p agina 1190. Os conjuntos Lp (N, dc ) coincidem com os conjuntos de seq u encias p , tamb em l a introduzidos. Exemplos. A integral de Lebesgue em R
Essa fun ca o, apesar de divergir para x 0, e um elemento de L1 (R , L ), pois a singularidade 1/ |x| e integr avel em 0. E. 30.18 Exerc cio. Mostre isso!
Um outro importante exemplo e aquele no qual tomamos M = R, M = M[R ], a - algebra dos conjuntos Borelianos de R e = L , a medida de Lebesgue. O conjunto L1 (R , L ) de fun co es integr aveis inclui fun co es cont nuas que decaem 2 rapidamente no innito, tais como ex , (1 + x2 )1 etc. O conjunto L1 (R , L ) inclui fun co es que n ao s ao limitadas. Um exemplo a se ter em mente e o da fun ca o 1 , 0 < |x| 1 |x | f (x) = 0, x = 0 ou |x| > 1
ou seja,
Um tanto surpreendentemente, L1 (R , L ) tamb em cont em fun co es n ao-limitadas, mas que s ao limitadas em qualquer regi ao nita. Um exemplo interessante e o da fun ca o 1 n, para x em cada intervalo n, n + 3 , n 1 , n f (x) = 0, de outra forma ,
f (x) =
n=1
n [n, n+
1 n3
) (x) .
claro que f n E ao e limitada em todo R, mas e limitada em qualquer regi ao nita. Tem-se, por em, |f | dL = 1 < 2 n n=1
e, portanto, f L1 (R , L ). E. 30.19 Exerc cio. Mostre isso! alogos de elementos de Lp (R , L ), p 1, que n ao s ao fun co es limitadas. E. 30.20 Exerc cio. Construa exemplos an
30.3.3
A Integral de Lebesgue e sua Rela c ao com a de Riemann
Uma vez desenvolvidos os ingredientes b asicos da teoria de integra ca o de Lebesgue, voltemo-nos brevemente ` a quest ao de estabelecer sua rela ca o com a integra ca o de Riemann. As integrais de Riemann e Lebesgue em intervalos compactos
Tratemos primeiramente de fun co es denidas em conjuntos compactos da reta real. Vale a seguinte arma ca o:
Cap tulo 30
1370/2069
Teorema 30.2 Seja f : [a, b] R uma fun c ao Boreliana e limitada. Ent ao, se f for integr avel no sentido de Riemann, f e tamb em integr avel no sentido de Lebesgue (para a integral de Lebesgue em [a, b]) e as duas integrais s ao id enticas.
Esse teorema arma que em intervalos nitos como [a, b] a integral de Lebesgue coincide com a de Riemann, pelo menos para fun co es integr aveis por Riemann e limitadas. Esse resultado e satisfat orio pois diz-nos que a teoria da integra ca o de Lebesgue estende a de Riemann, pelo menos nesse sentido. A demonstra ca o do Teorema 30.2 e apresentada no Ap endice 30.I, p agina 1395, e faz uso do Lema de Fatou e do Teorema da Converg encia Dominada, que introduziremos na Se ca o 30.3.4, logo adiante. O Teorema 30.2 estabeleceu uma rela ca o entre as integrais de Riemann e de Lebesgue no caso de intervalos nitos da reta real. O que se pode dizer para intervalos n ao-nitos? Como a integral de Riemann foi denida na Se ca o 30.2, p agina 1343, apenas para fun co es limitadas em intervalos nitos, a primeira quest ao a resolver e den -la em intervalos n ao-nitos, como R. Isso foi discutido na Se ca o 30.2.1, p agina 1351, ao introduzirmos a no ca o de integral de Riemann impr opria. A integral de Riemann impr opria e sua rela c ao com a de Lebesgue em R
No caso de f ser tamb em positiva (o que n ao e necess ario para a deni ca o 30.10) tamb em podemos estabelecer uma rela ca o entre as integral de Riemann impr opria e de Lebesgue. Isso e expresso no seguinte Teorema 30.3 Seja f : R R+ uma fun c ao positiva e Boreliana e tal que f e integr avel no sentido de Riemann em todo intervalo nito [a, b]. Ent ao, f e integr avel no sentido de Lebesgue em R se e somente se a integral de Riemann
impr opria existir e, nesse caso,
f (x) dx coincide com a integral de Lebesgue

R
f dL .
A demonstra ca o desse teorema tamb em encontra-se no Ap endice 30.I, p agina 1395. As condi co es dos Teoremas 30.2 e 30.3 n ao s ao ainda as mais gerais poss veis para garantir a igualdade entre a integral de Riemann (normal ou impr opria) e a de Lebesgue, mas n ao trataremos de generaliza co es aqui e remetemos o leitor interessado aos bons livros. Nesse contexto, vale fazer o seguinte coment ario. O Teorema 30.3 estabeleceu a rela ca o entre a integral de Riemann impr opria e a integral de Lebesgue em R, mas somente para fun co es n ao-negativas. Valer a uma rela ca o assim para fun co es mais gerais? A resposta, infelizmente, pode ser negativa em alguns casos, como mostra o exemplo do qual trataremos a seguir. Limita co es da integral de Lebesgue
importante chamar a aten E ca o do leitor para uma limita ca o da integra ca o de Lebesgue em R, a qual pode ser ilustrada pelo exemplo a seguir (encontrado em v arios livros-textos). x e Boreliana (pois e cont nua) e limitada. Ser a f integr avel em R, ou seja, Seja a fun ca o f (x) = sen x . E claro que f e suciente estudar f para x 0. Em cada intervalo ser a R |f | dL < ? Como f satisfaz f (x) = f (x) para todo x, [(n 1), n ], com n = 1, 2, 3, . . ., vale | sen x| | sen x| . |x| n Assim, para todo N N e x R+ , 1 | sen x| [(n1), n] (x) n n=1 1 n n=1
N N
|f |(x) e
R+
|f | dL
1 n n=1
R+
| sen x| [(n1), n] (x) dL =
[(n1), n ]
| sen x| dL .
claro que a fun E ca o | sen x| e Boreliana (pois e cont nua) e limitada. Aplicando o Teorema 30.2, tem-se
n [(n1), n ]
| sen x| dL =
(n1)
| sen x| dx ,
Cap tulo 30
1371/2069
a integral ` a direita sendo a familiar integral de Riemann. Fazendo a mudan ca de vari aveis x x (n 1) , escrevemos
n (n1)
| sen x| dx =
|(1)n1 sen x| dx =
sen x dx = 2 ,
0
pois sen x e n ao-negativa em [0, ]. Assim, para todo N N, |f | dL 2

N n=1
R+
1 . n
R+
Agora, como e bem sabido, a soma do lado direito diverge quando N . Logo,
R
|f | dL = e, conseq uentemente, (30.40)
|f | dL = .
Note que nem mesmo
f + , dL ou
f dL s ao nitas (justique!).
R
A express ao (30.40) signica que f L1 (R, dL ) e, portanto, integral de Riemann impr opria (vide deni ca o (30.10)),

f dL n ao est a denida. Sucede, por em, que a
sen x dx := lim A x
A A
sen x dx x
existe, e vale . Esse exemplo ensina-nos que h a fun co es que possuem uma integral de Riemann impr opria, mas n ao uma integral de Lebesgue em R. Por que o limite
A sen x x A
dx existe mas
sen x x
dL n ao? A resposta reside na observa ca o que a fun ca o

A sen x x A
sen x x
troca de sinal innitas vezes e isso produz cancelamentos nas integrais dx que permitem a converg encia do x limite A . A fun ca o sen , por e m, e cega a essas trocas de sinal, devido a ` presen c a do m o dulo. x
Na integra ca o de Lebesgue, ao concentrarmo-nos na integrabilidade do m odulo de uma fun ca o f , como a de acima, perdemos informa ca o sobre oscila co es e trocas de sinal da mesma que podem ser relevantes para certos prop ositos25. Esse fato pode ser interpretado como uma deci encia da integra ca o de Lebesgue.
30.3.4
Teoremas B asicos sobre Integra c ao e Converg encia
Nesta se ca o apresentaremos alguns teoremas importantes sobre a integral de Lebesgue e que descrevem o comportamento da mesma relativamente a opera co es de tomada de limites. De um ponto de vista t ecnico esses teoremas t em uma import ancia central e pode-se mesmo dizer que sua validade e uma das principais raz oes do interesse na integral de Lebesgue, em compara ca o a outras integrais, como a de Riemann. Historicamente os teoremas de converg encia abaixo emergiram de trabalhos de Lebesgue, Levi26 e Fatou27 . O Teorema da Converg encia Mon otona Teorema 30.4 (Teorema da Converg encia Mon otona) Seja (M, M) um espa co mensur avel onde encontra-se denida uma medida . Seja {fn } uma seq u encia n ao-decrescente de fun c oes n ao-negativas fn : M R, ou seja, 0 f1 (x) f2 (x) f3 (x) , sendo todas [M, M[R ]]-mensur aveis. Suponhamos tamb em que f : M R seja tal que para cada x M a seq u encia fn (x) convirja a f (x).
25 Aos estudantes mais avan cados notamos que esse e um dos problemas que t em impedido a deni ca o matematicamente precisa da integra ca o funcional de Feynman da Mec anica Qu antica e da Teoria Qu antica de Campos (quando formuladas no espa co-tempo de Minkowski). J a a chamada integral funcional de Feynman-Kac, denida no espa co-tempo Euclidiano, pode ser bem denida, por n ao sofrer desses problemas (vide e.g. [81] ou [195, 196, 197, 198]). Para uma exposi ca o introdut oria sobre a integra ca o funcional de Feynman na Mec anica Qu antica, vide, por exemplo, [187], ou bons livros de Mec anica Qu antica. 26 Beppo Levi (18751961). 27 Pierre Joseph Louis Fatou (18781929).
Cap tulo 30
1372/2069
Ent ao, a fun c ao f e tamb em [M, M[R ]]-mensur avel e

n
lim
fn d =
M M
f d .
(30.41)
A demonstra ca o e apresentada no Ap endice 30.F, p agina 1392. Para apreciarmos a relev ancia do Teorema da Converg encia Mon otona, consideremos o seguinte exemplo. Seja Q = {r1 , r2 , r3 , r4 , . . .} = n=1 {rk }, onde N k rk Q e uma contagem de Q. Dena-se 2, se x {r1 , . . . , rn } fn (x) = . ex2 , de outra forma Agora, f (x) = lim fn (x) e dada por
n
f E acil ver que cada fun ca o fn e [M[R ], M[R ]]-mensur avel (fa ca-o!) e que fn fn+1 para todo n. Essas fun co es fn s ao 2 tamb integr aveis por Riemann (pois s ao cont nuas por partes). E em f acil ver que R fn dL = ex dx = .
f (x) =
2,
se x Q se x Q
e e tamb em mensur avel. Tem-se tamb em que
fn dL =
e x 2 ,
. Assim, f dL ,
R
lim
fn dL =
R
como se v e, e como garante o Teorema da Converg encia Mon otona. Essa igualdade, por em, n ao faria sentido para a integral de Riemann, pois f , ao contr ario das fun co es fn , n ao e integr avel por Riemann. Condi co es sucientes para se poder comutar uma integral de Riemann com um limite de uma seq u encia de fun co es s ao geralmente muito mais restringentes que o exigido no Teorema da Converg encia Mon otona e requerem, por exemplo, converg encia uniforme dessa seq u encia. O Lema de Fatou
O seguinte lema, denominado Lema de Fatou, possui v arias aplica co es, sendo tamb em importante na demonstra ca o do Teorema da Converg encia Dominada, do qual trataremos logo adiante, assim como na demonstra ca o do Teorema 30.2, da p agina 1370, acima, que tratou da rela ca o entre as integrais de Riemann e Lebesgue em intervalos nitos da reta real. O Teorema da Converg encia Mon otona, Teorema 30.4, tratava de seq u encias mon otonas n ao-decrescentes de fun co es positivas e mensur aveis da reta real e estabelecia a possibilidade de troca de limites com a integra ca o expressa em (30.41). Podemos nos perguntar, e se tivermos uma seq u encia de fun c oes positivas e mensur aveis mas que n ao seja mon otona n ao-decrescente? Valer a a invers ao de limites com a integral em (30.41)? A resposta, em geral, e n ao, mas ainda assim, vale o seguinte: Teorema 30.5 (Lema de Fatou) Seja (M, M) um espa co mensur avel onde encontra-se denida uma medida . Seja {fn } uma seq u encia de fun c oes n ao-negativas e [M, M[R ]]-mensur aveis fn : M R. Ent ao,
M
lim inf fn d lim inf

n n
fn d .
M
(30.42)
Cap tulo 30
1373/2069
A demonstra ca o encontra-se no Ap endice 30.G, p agina 1393. O Lema de Fatou ser a usado logo abaixo para demonstrar um outro resultado ainda mais relevante, o Teorema da Converg encia Dominada. Nem sempre vale a igualdade em (30.42). Isso e mostrado nos dois exerc cios seguintes. E. 30.21 Exerc cio. Seja a seguinte seq u encia de fun co es Borelianas da reta real 1 , se x [n, n], n fn (x) = 0, se x [n, n],
n
para n N. Mostre que lim inf fn = 0 e, portanto,
lim inf fn dL = 0 .
R n
Por outro lado,
fn = 2 para todo n e, portanto, lim inf

n R
fn dL = 2 .
Assim, lim inf fn d < lim inf

R n n R
fn d .
Em alguns casos pode-se ter uma igualdade em (30.42). E. 30.22 Exerc cio. Seja a seguinte seq u encia de fun co es Borelianas da reta real 12 , se x [n, n], n fn (x) = 0, se x [n, n],
n
para n N. Mostre que lim inf fn = 0 e, portanto,
lim inf fn dL = 0 .
R n
Por em,
fn = 2/n para todo n e, portanto, lim inf

n R
fn dL = 0 .
Assim, lim inf fn d = lim inf

R n n R
fn d .
O Teorema da Converg encia Dominada Teorema 30.6 (Teorema da Converg encia Dominada) Seja (M, M) um espa co mensur avel onde encontra-se denida uma medida . Seja {fn } uma seq u encia de fun c oes [M, M[C ]]-mensur aveis fn : M C, n N, tais que o limite f (x) = lim fn (x) existe para todo x M . Suponha ainda que exista uma fun c ao n ao-negativa F L1 (M, d)
n
tal que |fn (x)| F (x) para todo n N e todo x M . Ent ao:
Cap tulo 30
1374/2069
1. f L1 (M, d), 2.
n
lim
|f fn | d = 0 , lim fn d =
M
3.
n
lim
fn d =
M M
f d .
A demonstra ca o encontra-se na Ap endice 30.H, p agina 1394. Para estudar uma situa ca o na qual o do Teorema da Converg encia Dominada, Teorema 30.6, se aplica, fa ca o seguinte exerc cio. E. 30.23 Exerc cio. Seja a seguinte seq u encia de fun co es Borelianas da reta real 12 , se x [n, n], n fn (x) = 0, se x [n, n],
n R
onde n N. Mostre que h a uma fun c ao F L1 (R dL ) tal que |fn (x)| F (x) para todo n N e todo x R. Justique ent ao, com base nesse fato, se a invers ao da integral pelo limite lim explicitamente que a igualdade e verdadeira. fn dL =
R n
( lim fn ) dL e poss vel. Verique
Para constatar a relev ancia da condi ca o b asica do Teorema da Converg encia Dominada, Teorema 30.6, a saber, a exist encia de uma fun ca o n ao-negativa F L1 (M, d) tal que |fn (x)| F (x) para todo n N e todo x M , fa ca o seguinte exerc cio. u encia de fun co es Borelianas da reta real E. 30.24 Exerc cio. Seja a seguinte seq 1 , se x [n, n], n fn (x) = 0, se x [n, n],
R
para n N. Mostre que n ao h a nenhuma fun c ao F L1 (R, dL ) tal que |fn (x)| F (x) para todo n N e todo x R. Sugest ao: construa a menor fun c ao F que satisfaz |fn (x)| F (x) para todo n N e todo x R e mostre que |F | dL = . Verique explicitamente que a igualdade lim
n
fn dL =
R
R n
( lim fn ) dL n ao e verdadeira.
30.3.5
Alguns Resultados de Interesse
Os teoremas de converg encia que vimos acima t em v arias conseq u encias importantes. Trataremos de algumas aqui. A primeira, e muito interessante, e uma generaliza ca o (de [205]) do Lema 30.4, p agina 1364. Proposi c ao 30.8 Seja M n ao-vazio, M uma - algebra de M na qual denimos uma medida . Seja f uma fun c ao n ao-negativa e [M, M[R ]]-mensur avel. Para E M dena-se f (E ) :=
E
f d =
M
f E d .
Ent ao f e uma medida em M. Al em disso, para qualquer fun c ao n ao-negativa e [M, M[R ]]-mensur avel g tem-se g df =
M M
g f d .
(30.43)
Cap tulo 30
1375/2069
A rela ca o, (30.43) diz-nos algo como df = f d. Essa rela ca o tem apenas sentido simb olico, pois n ao atribu mos signicado aos s mbolos df e d. Ainda assim, podemos interpretar df = f d como estabelecendo uma rela ca o entre as medidas f e por uma esp ecie de mudan ca de vari aveis. claro que f () = 0, pois Prova da Proposi c ao 30.8. E e identicamente nula. Seja Ek , k N, uma cole ca o cont avel e disjunta de elementos de M e seja E := E . Como para todo x M k=1 k
n n
E (x) = lim
Ek (x)
k=1 n
(por que?), segue que
(f E )(x) = lim
k=1
fk (x), x M ,
ao n ao-negativas, [M, M[R ]]-mensur aveis e Fn Fn+1 para todo n N. co es Fn := k=1 fk s onde fk := f Ek . A fun Aplica-se, ent ao o Teorema da Converg encia Mon otona, Teorema 30.4, p agina 1371, e tem-se
n n
f
k=1
Ek
=
M
lim
fk
k=1
Teor. 30.4
lim
fk
M k=1
n
linearidade da integral
lim
fk d
k=1 n M
lim
f Ek d
k=1 n M
= provando que f e uma medida.
lim
f (Ek ) ,
k=1
Para provar (30.43), procedemos da seguinte forma. Para E M tem-se pela pr opria deni ca o de f . E df = f (E ) =
M M
E f d .
Assim, (30.43) vale pelo menos no caso espacial em que g = E . Logo, vale tamb em no caso em que g e uma fun ca o simples. Seja por m uma fun ca o g n ao-negativa e mensur avel geral. Se gn for uma seq u encia n ao-decrescente de fun co es simples e n ao-negativas de S (g ) que converge a g (que tal existe, garante-nos o Lema 30.3, p agina 1362), tem-se pela deni ca o (30.28) g df =
E n
lim
gn df =
E
lim
gn f d .
E
Agora, gn f e uma seq u encia n ao-decrescente (por que?) de fun co es positivas e mensur aveis e que converge a g f (por que?). Aplicando mais uma vez o Teorema da Converg encia Mon otona, Teorema 30.4, p agina 1371, ao lado direito da u ltima express ao, segue que g df =
E E n
lim gn f
d =
E
(g f ) d ,
completando a demonstra ca o. Para entendermos melhor o signicado de (30.43), tomemos o caso em que M = R, M = M[R ], a - algebra de Borel, = L , a medida de Lebesgue e f : R R, uma fun ca o Boreliana e limitada em todos os intervalos nitos. Para E = [a, b], um intervalo nito, teremos pelo Teorema 30.2, p agina 1370,
b
f ([a, b]) =
[a, b]
f dL =
a
f (x) dx .
Cap tulo 30
1376/2069
Se f for tal que existe uma F : R R com F (x) = f (x), o Teorema Fundamental do C alculo diz-nos que f ([a, b]) = F (b) F (a) . Note que F (x) = f (x) 0 e, portanto F e crescente. Isso fornece uma no ca o do que representa a medida f desses intervalos.
30.4
Os Espa cos Lp e Lp
Daqui por diante M ser a um conjunto n ao-vazio com uma - algebra M, para a qual encontra-se denida uma medida . Denimos ` a p agina 1367 os conjuntos Lp (M, d), p > 0, como sendo o conjunto de todas as fun co es complexas denidas em M tais que sua p- esima pot encia e integr avel. O estudo das propriedades desses conjuntos e de grande import ancia em v arias areas da Matem atica e da F sica. Na F sica Qu antica um papel muito especial e reservado aos conjuntos L2 (R, dL ) e L2 (Rn , dL ) (mais precisamente, aos seus parentes pr oximos, os conjuntos L2 (R, dL ) e L2 (Rn , dL ), que ser ao denidos abaixo), pois os mesmos descrevem os estados puros de sistemas qu anticos com um n umero nito de graus de liberdade. A raz ao de os conjuntos Lp (M, d) serem importantes reside no fato que, para p 1, todos eles s ao menos de uma tecnicalidade que discutiremos abaixo espa cos de Banach. Os espa cos L2 (M, d), em particular, s ao a menos dessa tecnicalidade espa cos de Hilbert28 . Nosso objetivo na presente se ca o e estudar esses fatos de forma precisa e geral. Por raz oes pedag ogicas come caremos estudando os espa cos L1 (M, d) e depois passaremos ao caso p > 1. L1 (M, d) e um espa co vetorial complexo
Se f : M C e g : M C s ao dois elementos quaisquer de L1 (M, d) e , s ao n umeros complexos quaisquer, e claro que |f + g | |||f | + | ||g |. Esse simples fato tem a seguinte conseq u encia:
M
|f + g | d ||
|f | d + | |
|g | d .
que a fun ca o obtida pela combina ca o linear f + g e Como, por hip otese, M |f | d < e M |g | d < , segue da tamb em um elemento de L1 (M, d). Como essa arma ca o e v alida para todos f, g L1 (M, d) e , C, conclu mos que L1 (M, d) e um espa co vetorial complexo. Por essa raz ao passaremos a nos referir aos conjuntos L1 (M, d), como espa cos L1 (M, d). O uso da palavra espa co, aqui, e uma refer encia ao fato de serem espa cos vetoriais. Logo abaixo, veremos que os mesmos s ao tamb em, a menos de uma tecnicalidade, espa cos m etricos. Os conjuntos Lp (M, d) com p 0 tamb em s ao espa cos vetoriais complexos e isso ser a mostrado na Proposi ca o 30.9, logo adiante. Uma pseudo-m etrica em L1 (M, d)
Para f : M C e g : M C, dois elementos quaisquer de L1 (M, d), consideremos a express ao d1 (f, g ) :=

M
|f g | d .
evidente que d1 (f, f ) = 0 e que d1 (f, g ) = d1 (g, f ). Como (f g ) L1 (M, d), e claro que 0 d1 (f, g ) < . E Como tamb em, para qualquer h L1 (M, d), vale que f g = (f h) + (h g ), tem-se |f g | |f h| + |h g | e, portanto, d1 (f, g ) d1 (f, h) + d1 (h, g ) ,
a chamada desigualdade triangular. Com isso, estabelecemos que d1 e uma pseudo-m etrica em L1 (M, d). Para a deni ca o geral de pseudo-m etrica, vide Se ca o 24.3, p agina 1183.
ao implica que Por que d1 n ao e uma m etrica? Pois no conjunto L1 (M, d), o fato de ter-se M |f g | d = 0 n f (x) = g (x) para todo x M , mas implica apenas que f = g -q.t.p. (Proposi ca o 30.7, p agina 1365). Esse fato em geral29
28 Espa cos 29 Exceto
de Banach e de Hilbert foram denidos na Se ca o 24.5, p agina 1188. nos casos especiais em que M e s ao tais que eou nico conjunto de medida nula.
Cap tulo 30
1377/2069
impede-nos de fazer de L1 (M, d) um espa co m etrico, mas h a uma maneira simples de remediar isso: identicando entre si as fun co es que diferem apenas em um conjunto de medida nula. Esse e o nosso pr oximo passo. Os espa cos L1 (M, d)
No conjunto das fun co es [M, M[C ]]-mensur aveis estabelecemos uma rela ca o de equival encia dizendo que fun co es f e g , s ao equivalentes, f g , se f = g -q.t.p., ou seja, se ({x M | f (x) = g (x)}) = 0. Constatemos que, de fato, isso dene uma rela ca o de equival encia. Que f f e evidente, assim como que f g equivale a g f . Para provar a transitividade, consideremos tr es fun co es f , g e h. Notemos que se x M e tal que f (x) = h(x), ent ao ou f (x) = g (x) ou g (x) = h(x) ou ambas. Logo, {x M | f (x) = h(x)} = {x M | f (x) = g (x)} {x M | g (x) = h(x)} , sendo que a uni ao acima n ao e necessariamente disjunta. Logo, {x M | f (x) = h(x)} {x M | f (x) = g (x)} + {x M | g (x) = h(x)} .
Assim, se f g e g h, o lado direito vale zero e, portanto, segue que f h, provando a transitividade. E. 30.25 Exerc cio. Mostre que {x M | f (x) = g (x)} M. Sugest ao: prove e use o fato que {x M | f (x) = g (x)} = {x M | f (x) > g (x)} {x M | f (x) < g (x)} e use a Proposi c ao 30.12, da p agina 1386. O conjunto L1 (M, d) quebra-se em classes de equival encia pela rela ca o de equival encia acima. Duas fun co es de uma mesma classe diferem apenas em um conjunto de medida igual a zero. Denimos o conjunto L1 (M, d) como sendo o conjunto dessas classes de equival encia: em s mbolos L1 (M, d) := L1 (M, d)/ . Uma outra forma mais concreta de encarar L1 (M, d) e consider a-lo como o conjunto obtido tomando um e apenas um representante arbitr ario de cada classe. Essa forma de ver L1 (M, d) tem a vantagem de permitir constatar de modo imediato que L1 (M, d) tamb em e um espa co vetorial complexo. Al em disso, nessa maneira de ver, L1 (M, d) e um subconjunto de L1 (M, d) e, portanto, d1 est a denido em L1 (M, d). Agora, por em, vale que se f, g L1 (M, d) e d1 (f, g ) = 0, ent ao f = g -q.t.p. Ora, isso s o e poss vel se f = g , pois L1 (M, d) foi constru do tomando-se encia de L1 (M, d). Constatamos, assim, que d1 e agora uma um e apenas um elemento de cada classe de equival m etrica em L1 (M, d), n ao apenas uma pseudo-m etrica. Resumindo L1 (M, d), e um espa co vetorial complexo e tamb em um espa co m etrico em rela ca o ` a m etrica d1 . O leitor que deseja permanecer em um n vel mais abstrato e continuar encarando L1 (M, d) como uma cole ca o de classes, poder a proceder da seguinte forma para constatar as arma co es do u ltimo par agrafo. Seja [f ] a classe a qual pertence um elemento f L1 (M, d). Dena-se para e C e para duas classes [f ] e [g ] a opera ca o linear [f ] + [g ] := [f + g ]. Com essa opera ca o de combina ca o linear, a cole ca o de classes L1 (M, d) adquire a estrutura de um espa co vetorial complexo, tendo como vetor nulo a classe [0], que cont em a fun ca o identicamente nula. Para introduzir uma m etrica na cole ca o de classes L1 (M, d), dena-se D1 ([f ], [g ]) := d1 (f, g ). c ao linear denida acima, assim como a m etrica D1 , est ao bem denidas, no E. 30.26 Exerc cio. Mostre que a combina sentido de serem independentes dos representantes f e g tomados em cada classe. Mostre que D1 e de fato uma m etrica, e n ao apenas uma pseudo-m etrica, ou seja, satisfaz todos os postulados da deni c ao de uma m etrica. Optaremos tacitamente daqui por diante pela vis ao mais concreta de L1 (M, d) como o conjunto obtido tomando um e apenas um representante arbitr ario de cada classe de equival encia de L1 (M, d). N ao h a grandes diferen cas t ecnicas entre as duas vis oes e raramente e necess ario recorrer ` a deni ca o precisa em termos de classes de equival encia. Uma exce ca o se dar a quando discutirmos o problema da completeza dos espa cos L1 (M, d). A vis ao concreta tem a vantagem de permitir prosseguir encarando os elementos de L1 (M, d) como fun co es integr aveis de M em C e n ao como classes abstratas de fun co es. Informalmente, a diferen ca entre L1 (M, d) e L1 (M, d) e que em L1 (M, d) identicamos fun co es que diferem apenas em um conjunto de medida nula como se fossem a mesma fun ca o. A estrutura linear dos espa cos Lp (M, d)
Cap tulo 30
1378/2069
Proposi c ao 30.9 Os conjuntos Lp (M, d), com p > 0, s ao espa cos vetoriais complexos. A prova e essencialmente id entica ` a da Proposi ca o 24.10, p agina 1192, sobre os conjuntos de seq u encias p e faz uso da Proposi ca o 5.12, p agina 251, da Se ca o 5.2.3, p agina 250. Caso 0 < p < 1. Sejam f, g Lp (M, d), arbitr arios. Como |f (x) + g (x)| |f (x)| + |g (x)|, a segunda desigualdade em (5.36), p agina 252, implica |f + g |p (|f | + |g |)p |f |p + |g |p . Assim,
M
Prova da Proposi c ao 30.9. H a dois casos a considerar em separado: 0 < p < 1 e p 1.
|f + g |p d ||p
|f |p d + | |p
|g |p d <
para quaisquer , C. Isso provou que f + g Lp (M, d) e, portanto, para 0 < p < 1 o conjunto Lp (M, d) e um espa co vetorial complexo. Caso p 1. Sejam f, g Lp (M, d), arbitr arios. Como |f (x) + g (x)| |f (x)| + |g (x)|, a segunda desigualdade em (5.37), p agina 252, implica |f + g |p (|f | + |g |)p 2p1 (|f |p + |g |p ) . Assim,
M
|f + g |p d 2p1 ||p
|f |p d + 2p1 | |p
|g |p d <
para quaisquer , C. Isso provou que f + g Lp (M, d) e, portanto, para p 1 o conjunto Lp (M, d) e um espa co vetorial complexo. Isso e o que quer amos provar. Mais adiante, mostraremos que em Lp (M, d), para p 1, a express ao
1/p
dp (f, g ) :=
M
|f g |p d
dene uma pseudo-m etrica. De forma an aloga ao que zemos acima, e usando a mesma rela ca o de equival encia denida acima, o conjunto de classes Lp (M, d), denido por Lp (M, d) := Lp (M, d)/ , e um espa co vetorial complexo e tamb em um espa co m etrico com a m etrica induzida por dp . Tamb em iremos encarar Lp (M, d) como o conjunto obtido tomando um e apenas um representante arbitr ario de cada classe de equival encia de Lp (M, d).
30.4.1
As Desigualdades de H older e de Minkowski
Vamos agora tratar de duas desigualdades de import ancia primordial no estudo dos espa cos Lp (M, d), as desigualdades de H older30 e de Minkowski31 . J a as encontramos no caso particular de espa cos de seq u encias e, naquele caso, delas tratamos no Teorema 24.4 da p agina 1194. Teorema 30.7 (As desigualdades de H older e de Minkowski) Seja M um conjunto n ao-vazio, M uma - algebra em M e seja uma medida em M. A desigualdade de H older e a arma c ao que se p e q s ao tais que p > 1, q > 1 e satisfazem 1/p + 1/q = 1, ent ao para quaisquer f Lp (M, d) e g Lq (M, d) o produto f g pertence a L1 (M, d) e vale
1/p M
30 Otto 31 Hermann
1/q M
|f | |g | d
|f |p d
|g |q d
(30.44)
Ludwig H older (18591937). Minkowski (18641909).
Cap tulo 30
1379/2069
A desigualdade de Minkowski e a arma c ao que se p 1, ent ao para quaisquer f, g Lp (M, d) tem-se

1/p M 1/p 1/p
|f g |p d
|f |p d
+
M
|g |p d
(30.45)
A demonstra ca o e apresentada no Ap endice 30.J, p agina 1397. Em [204] uma interessante demonstra ca o alternativa da desigualdade de Minkowski, usando a convexidade da fun ca o xp , e apresentada (vide Se ca o 5.2.3.1, p agina 253 destas Notas). Aquela demonstra ca o fornece tamb em a vers ao da desigualdade de Minkowski para o caso 0 < p < 1:
1/p M 1/p 1/p
|f + g |p d
|f |p d
+
M
|g |p d
(30.46)
Essa express ao, no entanto, s o vale para f e g n ao-negativas. A desigualdade de H older acima pode ser generalizada. Corol ario 30.3 Sejam f Lp (M, d) e g Lq (M, d) onde p e q s ao tais que p > 0 e q > 0. Dena-se r > 0 por 1 1 1 = + . Ent ao, o produto f g pertence a Lr (M, d) e vale r p q
1/r M 1/p 1/q M
|f |r |g |r d
|f |p d
|g |q d
(30.47)
A prova do Corol ario 30.3 tamb em encontra-se no Ap endice 30.J, p agina 1397. As desigualdades de H older e Minkowski t em uma s erie de conseq u encias, em particular sobre a estrutura dos espa cos Lp (M, d) e Lp (M, d). Vamos explorar algumas. Lp (M, d), p 1, s ao espa cos vetoriais complexos e normados J a observamos acima (Proposi ca o 30.9) que os conjuntos Lp (M, d) s ao espa cos vetoriais complexos. No caso p 1 os mesmos possuem uma pseudo-norma denida por
1/p
:=
M
|f |p d
.
p
(30.48) + | | g
p
A propriedade b asica de uma pseudo-norma, a saber f + g p || f segue da desigualdade de Minkowski, pois a mesma nos garante que
1/p M 1/p
para todos f, g Lp (M, d)

1/p
|f + g |p d
||
|f |p d
+ | |
|g |p d
A prop osito, as desigualdades de H older e Minkowski (30.44) e (30.45) assumem com a nota ca o de (30.48) a forma fg e f g respectivamente. f Por que p e uma pseudo-norma e n ao uma norma em Lp (M, d)? Pois, como discutimos no caso p = 1, a rela ca o ao implica f = 0, mas apenas f = 0 -q.t.p. Se, no entanto, considerarmos o espa co Lp (M, d), denido p = 0 n
p 1
f f
+ g
Cap tulo 30
1380/2069
acima, p ser a uma norma! Conclu mos disso que para p 1, os conjuntos Lp (M, d) s ao espa cos vetoriais complexos e normados. Por serem normados, s ao tamb em espa cos m etricos com as m etricas induzidas pelas normas p :
1/p
dp (f, g ) :=
f g
=
M
|f g |p d
Como veremos logo adiante, os espa cos Lp (M, d) com p 1 s ao espa cos de Banach, por serem completos em rela ca o ` a m etrica dp acima. A desigualdade de Cauchy-Schwarz. Um produto escalar em L2 (M, d)
1/2 1/2
A desigualdade de H older (30.44) tem um caso particular muito importante, a saber, quando p = q = 2: para f, g L2 (M, d) vale
M
|f | |g | d
|f |2 d
|g |2 d
< .
Como tamb em
f g d
|f | |g | d, segue que
1/2 M 1/2 M
f g d
|f |2 d
|g |2 d
< .
As duas desigualdades acima s ao denominadas desigualdades de Cauchy-Schwarz. A segunda est a nos dizendo que para f, g L2 (M, d) a express ao f, g := f g d
M
e um n umero complexo nito e, como facilmente se verica, dene um produto escalar em L2 (M, d). co es acima. E. 30.27 Exerc cio. Demonstre as arma tamb E em elementar constatar que a norma associada a esse produto escalar e a norma 2 . Como veremos logo abaixo, L2 (M, d) e completo em rela ca o ` a m etrica d2 que essa norma induz. Conseq uentemente, L2 (M, d) e um espa co de Hilbert. Rela co es de inclus ao entre os conjuntos Lp (M, d) quando (M ) < Se o conjunto M e a medida s ao tais que (M ) < , ent ao a fun ca o g (x) = 1 (identicamente igual a 1 para todo x M ) pertence a todo Lq (M, d), 0 < q < . Isso e evidente, pois M 1q d = (M ) < . Disso e da desigualdades de H older (30.47), extraem-se algumas conseq u encias sobre rela co es de inclus ao entre os v arios espa cos Lp (M, d). Para p > 0 e q > 0 arbitr arios, tomando-se f Lp (M, d) e g = 1, obtem-se de (30.47) que
1/r M 1/p
|f |r d
|f |p d
[(M )]
1/q
< ,
(30.49)
para 1/r = 1/p +1/q . Como q > 0, segue que r < p. Como q e arbitr ario, a desigualdade (30.49) diz que se f Lp (M, d) ent ao f Lr (M, d) para todo 0 < r p, ou seja, Lp (M, d) Lr (M, d) sempre que r p com r > 0 e p > 0. Assim, tem-se, por exemplo, (M, d) L 1 (M, d) . L4 (M, d) L3 (M, d) L2 (M, d) L1 (M, d) L 1 2 4 Essas rela co es de inclus ao n ao s ao geralmente v alidas caso (M ) = . Vide pr oximo exerc cio. E. 30.28 Exerc cio. Mostre que a fun c ao 1, x [1, 1] x [1, 1]
f (x) =
1 |x | ,
Cap tulo 30
1381/2069
pertence a L2 (R, dL ) mas n ao a L1 (R, dL ). Mostre que a fun c ao 1 , 0 < |x| 1 |x | f (x) = 0, x = 0 ou |x| > 1 pertence a L1 (R, dL ) mas n ao a L2 (R, dL ). Mostre que a fun c ao 1, x [1, 1] f (x) = 1 2 , x [1, 1] |x | pertence a L2 (R, dL ) L1 (R, dL ). Revisitando a desigualdade de H older
Se p e q s ao tais que 1 < p < , 1 < q < e satisfazem 1/p + 1/q = 1, ent ao para quaisquer f Lp (M, d) e g Lq (M, d) a desigualdade de H older (30.44) implica que
1/p M 1/q M
f g d
|f |p d
|g |q d
< .
(30.50)
Como facilmente se verica, a aplica ca o g f g d

M
e um funcional linear em Lq (M, d). Mais que isso, (30.50) diz-nos que se trata de um funcional linear cont nuo32 (na topologia de Lq (M, d)). Conclu mos disso que se 1 < p < , 1 < q < e satisfazem 1/p + 1/q = 1, ent ao Lp (M, d) e um subconjunto do dual topol ogico de Lq (M, d) e vice-versa. co es acima E. 30.29 Exerc cio. Justique as arma
30.4.2
O Teorema de Riesz-Fischer. Completeza
Vamos agora formular um importante teorema que e uma das principais justicativas do interesse na integral de Lebesgue e, em um certo sentido, coroa nossos esfor cos neste Cap tulo. Trata-se do Teorema de Riesz33 -Fischer34 , o qual data de 1907. Teorema 30.8 (Teorema de Riesz-Fischer) Para p 1 os espa cos Lp (M, d) s ao espa cos m etricos completos na m etrica dp denida acima. Do Teorema de Riesz-Fischer e das considera co es acima conclu mos que os espa cos Lp (M, d) com p 1 s ao espa cos de Banach e o espa co L2 (M, d) e um espa co de Hilbert. A prova do Teorema de Riesz-Fischer encontra-se no Ap endice 30.K, p agina 1399.
32 As
no co es de funcional linear e funcional linear cont nuo foram introduzidas na Se ca o 2.3.2, p agina 137. Riesz (18801956). 34 Ernst Sigismund Fischer (18751954).
33 Frigyes
Cap tulo 30
1382/2069
Ap endices
Nos v arios ap endices que seguem apresentamos as demonstra co es mais t ecnicas de alguns dos teoremas e proposi co es da nossa exposi ca o.
30.A
Mais sobre a Integral de Darboux
Nesta se ca o completaremos a discuss ao sobre a Integral de Darboux e sua rela ca o com a de Riemann. Come camos com a demonstra ca o da Proposi ca o 30.3, p agina 1349. Prova da Proposi c ao 30.3. Vamos primeiro supor que F satisfa ca a deni ca o II e denotemos sua integral de Darboux por D(f ), ou seja, D(f ) :=
b a f (x) dx
b a f (x) dx.
Pela deni ca o do que s ao
b f (x) dx a
b f (x) dx, a
existem para cada > 0 parti co es P1 , P2 P([a, b]) tais que e Ds [P2 , f ] D(f ) < . 2
D(f ) Di [P1 , f ] <
Seja P = P1 P2 . Pelas arma co es do Exerc cio E. 30.3, p agina 1348, temos Di [P1 , f ] Di [P, f ] e Ds [P2 , f ] Ds [P, f ]. Logo, Ds [P, f ] Ds [P2 , f ] < D(f ) + = D(f ) + < D i [P 1 , f ] + D i [P , f ] + , 2 2 estabelecendo que Ds [P, f ] Di [P, f ] < , como desej avamos.
Vamos agora assumir que para todo exista P P([a, b]) tal que Ds [P, f ] Di [P, f ] < e provar que f e integr avel no sentido da deni ca o II. Por deni ca o, temos
b b b b f (x) Di [P, f ] e a f (x) dx Ds [P, f ]. Logo, a f (x) dx a f (x) a b b b b e a f (x) dx a f (x) (por (30.7)), segue que a f (x) dx = a f (x).
D s [P , f ] D i [P , f ] < .
Como > 0 e arbitr ario
Passemos agora ` a prova da equival encia das deni co es I e II, expressa na Proposi ca o 30.4, p agina 1349: Prova da Proposi c ao 30.4. Vamos supor que f seja limitada e satisfa ca a deni ca o de integrabilidade Ib. Ent ao, para todo > 0 existe (P , ) X([a, b]) tal que S (f ) S (P, ), f S (f ) + (30.A.1) para todo (P, ) X([a, b]) com (P, ) (P , ), ou seja, tal que |P| |P |. Agora, em (30.A.1), e arbitr ario e S (f ) independem de . Logo, S (f ) inf S (P, ), f
P
sup S (P, ), f
P
S (f ) + .
Por em, Di [P, f ] = inf P S (P, ), f e Ds [P, f ] = supP S (P, ), f . Assim, S (f ) Di [P, f ] Ds [P, f ] S (f ) + . (30.A.2)
Vamos agora provar a rec proca e supor f integr avel segundo a deni ca o II. Notemos que podemos supor f n aoconstante, pois se f for constante as arma co es a serem demonstradas s ao evidentes. Denotemos sua integral de Darboux D(f ), ou seja, D(f ) :=
b f (x) dx a
Logo, Ds [P, f ] Di [P, f ] 2 e a Proposi ca o 30.3 garante-nos que f e integr avel segundo a deni ca o II. A rela ca o (30.A.2) nos mostra tamb em (tomando-se 0) que S (f ) = D(f ).
b f (x) dx. a
Seja > 0. Pela Proposi ca o 30.3, existe P1 P([a, b]) com P = {x1 , . . . , xp+1 }, tal que Ds [P1 , f ] Di [P1 , f ] . Seja p o n umero de intervalos em que P1 decomp oe [a, b], seja f := supy[a, b] f (y ) inf y[a, b] f (y ) e dena-se := pf
Cap tulo 30
1383/2069
(notar que f > 0 pois f foi suposta n ao-constante). Armamos que para toda parti ca o P P([a, b]) tal que |P| < vale D s [P , f ] D i [P , f ] < 3 . (30.A.3) Como Di [P, f ] S (P, ), f Ds [P, f ] e Di [P, f ] D(f ) Ds [P, f ], teremos provado que S (P, ), f D(f ) 3, ou seja, teremos provado que para todo > 0 existe tal que para todo P P([a, b]) tal que |P| < teremos S (P, ), f D(f ) 3. Isso prova que f satisfaz a deni ca o Ic de integrabilidade e que S (f ) = D(f ), completando a prova.
Tudo o que temos ainda a fazer, portanto, e provar (30.A.3). Seja P P([a, b]) tal que |P| < (que uma tal parti ca o sempre existe e claro, basta tomar uma cujo maior intervalo tenha largura menor ou igual a ). Tomemos P2 := P1 P e escrevamos D s [P , f ] D i [P , f ] = D s [P , f ] D s [P 2 , f ] + D s [P 2 , f ] D i [P 2 , f ] + D i [P 2 , f ] D i [P , f ] .
Pelo Exerc cio E. 30.3, p agina 1348, cada um dos tr es termos entre par enteses ao lado direito e positivo (para o segundo termo entre par enteses isso segue da deni ca o de Di e Ds ). Armamos que cada um dos tr es termos entre par enteses ao lado direito e majorado por . Segundo termo entre par enteses: Como P1 P2 , temos pelo Exerc cio E. 30.5, p agina 1349, que Ds [P2 , f ] Di [P2 , f ] D s [P 1 , f ] D i [P 1 , f ] .
aximo q p 1 intervalos Primeiro termo entre par enteses: Como P2 := P1 P e P1 possui p + 1 elementos, apenas no m de P ser ao sub-particionados para compor a parti ca o P2 . Denotemos esses intervalos por I1 , . . . , Iq e cada subparti ca o de Ik em P2 ser a denotada por Ikl , k = 1, . . . , jk , k = 1, . . . , q . E claro que |Ik | = |Ik1 | + + |Ikjk | sendo que tamb |Ik | |P| . E em claro que
q jk y Ik
D s [P , f ] D s [P 2 , f ] =
q
k=1 jk
sup f (y ) |Ik |
l=1
y Ikl
sup f (y ) |Ikl |
q jk q
=
k=1 l=1
y Ik
sup f (y )
sup f (y )
y Ikl
|Ikl |
k=1 l=1
|Ikl | = f
k=1
|Ik |
= f q |P| f p|P| < f p = . Terceiro termo entre parenteses: an alogo ao primeiro termo entre par enteses.
30.A.1
Equival encia das Deni c oes II e III da Integrabilidade de Riemann
Demonstraremos aqui equival encia das deni co es II e III da no ca o de integrabilidade de Riemann. Recordamos que as no co es de lim inf e lim sup de conjuntos dirigidos, as quais usaremos abaixo, s ao introduzidas na Se ca o 29.4, p agina 1330. Consideremos em P([a, b]) o pr e-ordenamento denido pela inclus ao, denindo P o P se P P. Com rela ca o a esse pr e-ordenamento o as cole co es P([a, b]) e X([a, b]) s ao tamb em conjuntos dirigidos e a aplica ca o X([a, b]) (P, ) S (P, ), f R e tamb em uma rede, dita por alguns autores ser uma rede de Riemann-Darboux. No que segue consideraremos essa rede em rela ca o a esse pr e-ordenamento. Pelo exerc cio E. 30.3 da p agina 1348, a rede P([a, b]) P Di [P, f ] R e crescente, enquanto que a rede P([a, b]) P Ds [P, f ] R e decrescente. Assim,
b PP([a, b])
lim inf Di [P, f ] =
sup
PP([a, b])
D i [P , f ] =
a b
f (x) dx
e lim sup Ds [P, f ] =

PP([a, b]) PP([a, b])
inf
D s [P , f ] =
a
f (x) dx .
Cap tulo 30
1384/2069
(Vide deni co es (29.1)-(29.2) e (29.3)-(29.4)). Temos obviamente que Di [P, f ] S (P, ), f D s [P , f ]
para todo P P([a, b]) e todo P. Por em, v e-se pelas deni co es de Di e Ds que Di [P, f ] = inf S (P, ), f
P
Ds [P, f ] = sup S (P, ), f

P
e, portanto,
PP([a, b])
(P, )X([a, b])
lim inf
S (P, ), f
lim sup Ds [P, f ] =

PP([a, b])
lim sup
(P, )X([a, b])
S (P, ), f .
Logo,
b
f (x) dx =
a
PP([a, b])
(P, )X([a, b])
lim inf
S (P, ), f
b
lim sup
(P, )X([a, b])
S (P, ), f
lim sup Ds [P, f ] =

PP([a, b]) a
f (x) dx ,
onde a u nica desigualdade que ocorre acima segue da propriedade (29.5), p agina 1331. Dessa express ao, v e-se que
b f (x) dx a
b f (x) dx a
se e somente se
(P, )X([a, b])
lim inf
S (P, ), f lim
lim sup
(P, )X([a, b])
S (P, ), f
e, portanto, por (29.6), se e somente se existe da no ca o de integrabilidade de Riemann.
(P, )X([a, b])
S (P, ), f . Isso prova a equival encia das deni co es II e III
30.B
Caracteriza co es e Propriedades de Fun co es Mensur aveis
Vamos aqui estudar com mais detalhe e profundidade caracteriza co es e propriedades elementares das fun co es mensur aveis. Advertimos que a presente se ca o e, infelizmente, mas inevitavelmente, um pouco t ecnica. Sugerimos a um estudante iniciante dispensar a leitura das demonstra co es e concentrar-se apenas nas deni co es e enunciados. Uma condi c ao para mensurabilidade de fun co es
O pr oximo teorema (de [100]) e de import ancia fundamental e ser a usado em v arios lugares mais abaixo. A no ca o de - algebra gerada por uma cole ca o de conjuntos foi introduzida no Cap tulo 26. Teorema 30.9 Sejam (M, M) e (N, N) dois espa cos mensur aveis e suponhamos que N seja a - algebra gerada por uma cole c ao A de subconjuntos de N : N = M[A]. Ent ao, uma fun c ao f : M N e [M, N]-mensur avel, ou seja, [M, M[A]]-mensur avel, se e somente se f 1 (A) M (30.B.4) para todo A A. Prova. Se A A segue que A M[A]. Logo, se f e mensur avel em rela ca o a M e N = M[A], ent ao, pela deni ca o de fun ca o mensur avel, f 1 (A) M.
Vamos provar a rec proca, ou seja, vamos supor que (30.B.4) valha para todo A A e mostrar que f mensur avel em rela ca o a M e N = M[A]. Seja A := {A N | f 1 (A ) M} .
Cap tulo 30
1385/2069
Por (30.B.4) e claro que A A . Mostremos agora que A e uma - algebra em N . Que e N pertencem a A e claro, 1 pois f (N ) = M (isso segue de f (M ) N ). Se A A , ent ao f 1 ((A )c ) = f 1 (N \ A ) = f 1 (N ) \ f 1 (A ) = M \ f 1 (A ) = (f 1 (A ))c . (Vide Proposi co es 1.21.4, p agina 36). Por hip otese, f 1 (A ) M. Logo, como M e uma 1 c - algebra, (f (A )) M. A k Resta-nos provar que uma uni ao cont avel de elementos de A e tamb em elemento de A . Para isso, sejam conjuntos A , k N. Sabemos que (vide Proposi co es 1.21.4, p agina 36) f 1
k N
A k
=
k N
f 1 (A k) .
Por hip otese, cada f pertence a M. Logo, f
(A k) 1
Como, por deni ca o, M[A] e a menor - algebra contendo A e A tamb em e uma - algebra contendo A, segue que M[A] A . Ora, pela deni ca o de A , isso diz que a pr e-imagem por f de qualquer elemento de N = M[A] e um elemento de M. Isso signica precisamente que f e mensur avel em rela ca o a M e N, completando a prova. Fun co es mensur aveis entre espa cos topol ogicos
pertence a M. Como M e uma - algebra, uma uni ao cont avel de seus elementos tamb em A A . A M . provando que k k k N k N
J a observamos acima a semelhan ca entre as deni co es de fun co es cont nuas e fun co es mensur aveis. As duas no co es combinam-se elegantemente nos resultados que seguem.
O Teorema 30.9 tem uma aplica ca o imediata para fun co es cont nuas denidas em espa cos topol ogicos. Sejam M e N dois conjuntos n ao-vazios dotados de topologias M e N , respectivamente, e sejam M[M ] e M[M ] as - algebras geradas por essas topologias. Armamos que se f : M N e cont nua com respeito ` as topologias M e N , ent ao f e mensur avel em rela ca o ` as - algebras M[M ] e M[N ], ou seja, e [M[M ], M[N ]]-mensur avel. De fato, pelo Teorema 30.9 basta provar que f 1 (A) M[M ] para todo A N . Agora, por f ser cont nua, vale que f 1 (A) M se A N . Como obviamente M M[M ], a arma ca o est a provada.
Note que se em M adotarmos uma - algebra M que cont em a - algebra M[M ], a mesma arma ca o e verdadeira: uma fun ca o f : M N cont nua com respeito ` as topologias M e N e mensur avel em rela ca o ` as - algebras M[M ] e M M[M ]. Disso segue que toda fun ca o f : R R cont nua em rela ca o ` a topologia R e [M[R ], M[R ]]-mensur avel e tamb em avel. [M[R ], ML ]-mensur A proposi ca o adiante e um mero corol ario das observa co es acima. Proposi c ao 30.10 Sejam X , Y e Z tr es conjuntos n ao-vazios, sendo o conjunto X dotado de uma - algebra MX e os conjuntos Y e Z dotados de topologias Y e Z , respectivamente. Sejam f : X Y e g : Y Z duas fun c oes tais que f e [MX , M[Y ]]-mensur avel e g e cont nua em rela c ao ` as topologias Y e Z . Ent ao, g f : X Z e [MX , M[Z ]]-mensur avel. Prova. Pelo que acabamos de comentar, g e [M[Y ], M[Z ]]-mensur avel. Assim, g f e uma fun ca o [MX , M[Z ]]mensur avel por ser a composi ca o de uma fun ca o [MX , M[Y ]]-mensur avel com uma fun ca o [M[Y ], M[Z ]]-mensur avel.
Notemos que o Teorema 30.9 e aplic avel ao caso de fun co es f : M R, onde M dotada de uma - algebra M e R da - algebra de Borel M[R ]. Nesse caso A = R . Em verdade, provamos no Cap tulo 26, mais especicamente na express ao (26.14), p agina 1273, que M[R ] = M[R], onde R e a cole ca o de todos os intervalos abertos (a, b), com a e b racionais. Podemos, portanto, tomar A = R, nesse caso. Conseq uentemente, para provar que uma fun ca o f : M R e mensur avel em rela ca o a M e M[R ], e suciente, pelo Teorema 30.9, provar que f 1 ((a, b)) M para todo intervalo aberto (a, b), com a e b racionais. Observemos agora, que (a, b) = (, b)
nN
Aplica c ao para fun co es num ericas
, a +
1 n
Cap tulo 30
1386/2069
ao: use (a, b) = (, b) \ (, a] e escreva (, a] = E. 30.30 Exerc cio. Prove isso! Sugest Isso signica que f 1 ((a, b)) = f 1 ((, b))
nN
nN
, a +
1 n
f 1 , a +
1 n
(Vide Proposi co es 1.21.4, p agina 36). Logo, pelos racioc nios usuais sobre uni oes cont aveis, intersec co es nitas e complementos de elementos de uma - algebras, segue que se f 1 ((, c)) M para todo c R, ent ao f 1 ((a, b)) M para todos com a e b racionais, provando que f e mensur avel em rela ca o a M e M[R ]. Um racioc nio id entico nos leva a concluir que se f 1 ((c, )) M para todo c R, ent ao f e mensur avel em rela ca o a M e M[R ]. Resumimos essas considera co es na seguinte proposi ca o, que usaremos logo abaixo: Proposi c ao 30.11 Consideremos uma fun c ao num erica f : M R, sendo M dotada de uma - algebra M e R da - algebra de Borel M[R ]. Uma condi c ao necess aria e suciente para que f seja [M, M[R ]]-mensur avel e que para todo a R valha {x M | f (x) < a} = f 1 ((, a)) M . (30.B.5) Equivalentemente, podemos substituir o conjunto de (30.B.5) por qualquer um dos seguintes tr es conjuntos: {x M | f (x) a} {x M | f (x) > a} {x M | f (x) a} = f 1 ((, a]) M , = f 1 ((a, )) M , = f 1 ([a, )) M . (30.B.6) (30.B.7) (30.B.8)
Prova. Que as condi co es s ao necess arias e evidente, pois os quatro conjuntos (30.B.5)-(30.B.8) s ao a pr e-imagem por f dos conjuntos Borelianos (, a), (, a], (a, ) e [a, ).
Acima, j a provamos a rec proca para os conjuntos (30.B.5) e (30.B.7). Os dois casos restantes s ao conseq u encia desses dois se lembrarmos que f 1 ((, a]) = (f 1 ((a, )))c e que f 1 ([a, )) = (f 1 ((, a)))c . Nosso pr oximo resultado e o seguinte:
Proposi c ao 30.12 Se f : M R e g : M R s ao ambas [M, M[R ]]-mensur aveis, ent ao {x M | f (x) < g (x)} {x M | f (x) g (x)} {x M | f (x) > g (x)} {x M | f (x) g (x)} M, M, M, M. (30.B.9) (30.B.10) (30.B.11) (30.B.12)
Prova. Para demonstrar a primeira linha, notemos que {x M | f (x) < g (x)} = {x M | f (x) < r} {x M | g (x) > r} .
r Q
Cap tulo 30
1387/2069
ao: lembre-se que f (x) < g (x) se e somente se existir pelo menos um racional r E. 30.31 Exerc cio. Mostre isso! Sugest tal que f (x) < r < g (x), ou seja, f (x) < r e r < g (x). Como observamos acima, tanto {x M | f (x) < r} quanto {x M | g (x) > r} s ao elementos de M. Pelas propriedades de - algebras, sua intersec ca o tamb em o e. Por m, a uni ao acima tamb em o e, por ser uma uni ao cont avel de elementos de M (essa e uma das propriedades denidoras de uma - algebras). A prova que {x M | f (x) > g (x)} M e an aloga: {x M | f (x) > g (x)} =
r Q
{x M | f (x) > r} {x M | g (x) < r}
e n ao requer mais coment arios. Por m, notemos que {x M | f (x) g (x)} = {x M | f (x) > g (x)}c e que {x M | f (x) g (x)} = {x M | f (x) < g (x)}c . Como uma - algebra e fechada pelo complemento, segue do que j a foi provado que {x M | f (x) g (x)} M e {x M | f (x) g (x)} M. A algebra das fun co es mensur aveis
Vamos aqui provar a seguinte armativa, a qual coroa os resultados obtidos at e aqui sobre fun co es num ericas mensur aveis: o conjunto das fun co es num ericas mensur aveis forma uma algebra. Mais precisamente, tem-se Proposi c ao 30.13 Se f : M R e g : M R s ao ambas [M, M[R ]]-mensur aveis, ent ao 1. Para todos , R vale que f + g e [M, M[R ]]-mensur avel. 2. O produto f g e [M, M[R ]]-mensur avel.
Prova. Para simplicar a linguagem, usaremos nesta prova a express ao fun c ao mensur avel no sentido de [M, M[R ]]mensur avel. Seja R. Armamos que f e igualmente mensur avel. Se = 0 a armativa e trivial. Se = 0, notemos que para todo a R {x M | f (x) < a} = {x M | f (x) < a/} M
por (30.B.5), j a que, por hip otese, f e mensur avel. Como isso vale para todo a R, segue pela mesma Proposi ca o 30.11 que f e igualmente mensur avel. O mesmo tipo de argumento tem outra conseq u encia semelhante. Se h : M R e mensur avel, ent ao que para todo b R vale {x M | b + h(x) < a} = {x M | h(x) < a b} .
Como h e mensur avel, {x M | h(x) < a b} M. Como isso vale para todo a R, conclu mos da igualdade acima que b + h e mensur avel. Observe-se agora que {x M | f (x) + g (x) < a} = {x M | f (x) < a g (x)} .
mas para a 0,
Conclu mos disso tudo que para todos , R a fun ca o f + g e mensur avel em rela ca o a M e M[R ]. Resta-nos ainda mostrar que o produto f g e mensur avel. Provemos primeiro que se f e mensur avel ent ao f 2 tamb em o e. De fato, para a < 0 {x M | f (x)2 < a} = M x M | f (x) < a x M | f (x) < a . Como f e mensur avel, segue que {x M | f (x) < a} M. Logo {x M | f (x)2 < a} M e como isso vale para todo a R, segue que f 2 e mensur avel. {x M | f (x)2 < a} = A prova que f g e mensur avel segue da rela ca o f g = 1 (f + g )2 (f g )2 4
Denindo-se h(x) = a g (x), constatamos pelas considera co es de acima que se trata de uma fun ca o mensur avel. Assim, pela Proposi ca o 30.12, segue que {x M | f (x) + g (x) < a} M para todo a, o que implica que f + g e mensur avel.
Cap tulo 30
1388/2069
e reunindo tudo o que vimos. A seguinte proposi ca o tamb em e relevante: Proposi c ao 30.14 Se f : M R e [M, M[R ]]-mensur avel e f (x) 0 para todo x M , ent ao [M, M[R ]]-mensur avel. Prova. Para f : M R, basta observar que para a < 0 vale {x M | f (x) < a} = M e para a 0, f e tamb em
{x M | f (x) < a} = {x M | f (x) < a2 } M , pois f e mensur avel. Isso provou que f e [M, M[R ]]-mensur avel.
O conjunto dos n umeros complexos C e um espa co topol ogico m etrico completo com a m etrica d(z, w) = |w z |, z, w C. Denotaremos por C a topologia que essa m etrica induz, a topologia usual de C. A essa topologia vem associada a - algebra Boreliana M[C ]. Vamos demonstrar a seguinte proposi ca o: Proposi c ao 30.15 Seja (M, M) um espa co mensur avel e f : M C uma fun c ao complexa [M, M[C ]]-mensur avel denida em M . Ent ao Re(f ), Im(f ) e |f | s ao fun c oes reais [M, M[R ]]-mensur aveis. e cont nua, assim como a fun ca o Prova. Comecemos por observar que a fun ca o Re : C R dada por Re(z ) = (z + z )/2 Im : C R dada por Im(z ) = (z z )/(2i). E. 30.32 Exerc cio simples. Prove isso! Com isso em mente, podemos entender a fun ca o Re(f ) : M R como a composi ca o Re f da fun ca o [M, M[C ]]mensur avel f com a fun ca o Re que e cont nua em rela ca o ` as topologias C e R . Assim, pela Proposi ca o 30.10, p agina 1385, segue que Re(f ) : M R e [M, M[R ]]-mensur avel. A prova para Im(f ) e id entica.
Fun co es complexas mensur aveis
A fun ca o m odulo | | : C R e tamb em uma fun ca o cont nua entre C e R. (Isso e totalmente obvio, pois a m etrica em C e denida por essa fun ca o!). Assim o mesmo argumento se aplica novamente. Outra maneira de provar que | | : C R e [M, M[R ]]-mensur avel e lembrar que (Re(f ))2 + (Im(f ))2 e [M, M[R ]]mensur avel pela Proposi ca o 30.13 e, portanto, pela Proposi ca o 30.14, |f | = (Re(f ))2 + (Im(f ))2 e [M, M[R ]]mensur avel. A Proposi ca o 30.15 tem parcialmente uma rec proca: Proposi c ao 30.16 Se u : M R e v : M R s ao [M, M[R ]]-mensur aveis ent ao f : u + iv : M C e [M, M[C ]]mensur avel. Prova. (De [205]). Seja I1 um intervalo aberto do eixo real e I2 um intervalo aberto do eixo imagin ario. Ent ao R = I1 I2 e um ret angulo aberto em C. Agora, e f acil ver que f 1 (R) = u1 (I1 ) v 1 (I2 ). Pelas hip oteses, u1 (I1 ) e v 1 (I2 ) pertencem ` a - algebra M. Logo, f 1 (R) tamb em. Lembremos que todo aberto A de C pode ser ser escrito como uni ao agina 36, cont avel de tais ret angulos: A = nN Rn . Agora, por (1.25), p f 1 (A) = f 1
nN
Rn
=
nN
f 1 (Rn ) .
Mas como vimos f 1 (Rn ) M para todo n e, como a uni ao acima e cont avel, segue que f 1 (A) M. Pela Proposi ca o 30.9, isso prova que f e [M, M[C ]]-mensur avel.
Cap tulo 30
1389/2069
Para as fun co es complexas mensur aveis vale a mesma arma c ao feita sobre as fun co es reais: elas formam uma algebra. Mais precisamente, tem-se Proposi c ao 30.17 Se f : M C e g : M C s ao ambas [M, M[C ]-mensur aveis, ent ao 1. Para todos , C vale que f + g e [M, M[C ]]-mensur avel. 2. O produto f g e [M, M[C ]]-mensur avel. Prova. A prova e elementar com o que acumulamos at e aqui, pois e f acil provar (usando as Proposi co es 30.13 e 30.15) que as partes reais e imagin arias de f + g e de f g s ao [M, M[R ]]-mensur aveis. Da , pela Proposi ca o 30.16, f + g e f g s ao [M, M[C ]]-mensur aveis.
30.C
Prova do Lema 30.3
A prova (extra da com modica co es de [100]) consiste em exibir uma seq u encia fn de fun co es simples mensur aveis e n ao-negativas e vericar as propriedades. A seq u encia e
n2n
fn (x) :=
k=1
k1 2n
Fn, k (x) + nGn (x) ,
onde Fn, k := f 1 e
k1 k , n 2n 2
xM
k1 k f (x) < n n 2 2
Queremos provar que fn e n ao-decrescente e que converge a f . Para isso, e preciso entender melhor como a seq u encia fn est a denida. Para cada n, divide-se o intervalo semi-aberto [0, n) em n2n sub-intervalos semi-abertos menores de k 1 tamanho 21 com k variando entre 1 e n2n . Os conjuntos Fn, k s ao as pr e-imagens por f ao os intervalos k2 n , que s n , 2n desses sub-intervalos semi-abertos. A divis ao de [0, n) em n2n sub-intervalos semi-abertos de tamanho 21 n signica que cada intervalo semi-aberto [l, l + 1), com l = 0, . . . , n 1, e dividido em 2n intervalos semi-abertos de igual tamanho, a saber, 21 n.
1 k 1 Se x e tal que f (x) cai em k2 ao fn (x) e denido como sendo k2 e tal que f (x) n, ent ao fn (x) n , 2n , ent n . Se x e denido como sendo n. Assim, para todo x, fn (x) e sempre menor o igual a f (x).
Como por hip otese f e Boreliana, e imediato que Fn, k e Gn s ao mensur aveis (ou seja, elementos de M), j a que os k 1 e [ n, ] s a o Borelianos. Assim, cada f e uma fun c a o simples e mensur a vel. , intervalos k2 n n 2n
Gn := f 1 ([n, ]) = {x M | n f (x) } .
Se passarmos de n para n+1, cada intervalo passa a ter tamanho 2n1 e a metade do anterior. Assim cada intervalo +1 , que 1 k 1 k k2 2k1 semi-aberto k2 passa a ser dividido em dois intervalos semi-abertos disjuntos: k2 = 2 n , 2n n , 2n 2n+1 , 2n+1 2k 2k1 oes est ao contidas nas anteriores, o valor de cada fn+1 (x) s o pode aumentar em 2n+1 , 2n+1 . Como as novas subdivis k 1 rela ca o ao de fn . Mais precisamente, para x Fn, k a fun ca o fn vale 2n . Ap os a primeira subdivis ao (ao passarmos de n a n + 1) o conjunto Fn, k passa a ser a uni ao dos dois conjuntos disjuntos Fn+1, 2k1 e Fn+1, 2k . No primeiro fn+1 (x) k 2 k 1 2k1 k 1 vale 2 2n+1 = 2n = fn (x) e no segundo fn+1 (x) = 2n+1 > 2n = fn (x), o que prova o que armamos. Para ver que fn converge a f , observe-se que se f (x) e nito, ent ao para todo n > f (x) tem-se obviamente que 1 k f (x) [0, n) e, portanto, vale que f (x) k2 para algum k entre 1 e n2n . Teremos ent ao, pela deni ca o, que n , 2n 1 e, portanto, |fn (x) f (x)| 21 ao e nito, fn (x) = k2 n n , o que prova que fn (x) f (x) quando n . Se f (x) n fn (x) = n para todo n, pela deni ca o e, portanto, fn (x) quando n .
Resta apenas provar que se f e nito a converg encia e uniforme. Se A > 0 e tal que 0 f (x) < A para todo x M , 1 k ent ao e certo que se n > A teremos que para cada x haver a um k entre 1 e n2n tal que f (x) k2 n , 2n . Nesse caso 1 k 1 ao depende de x, o que mostra que a mesma fn (x) = 2n e |fn (x) f (x)| 2n , Ora, o lado direito dessa desigualdade n e uniforme em todo M , completando a prova do Lema 30.3, p agina 1362.
Cap tulo 30
1390/2069
30.D
Demonstra c ao de (30.26)
Bk = Bk M = Bk (C1 Cq ) = (Bk C1 ) (Bk Cq )
Provemos a rela ca o (30.26). Temos que, para todo Bk vale
sendo que a uni ao do lado direito e disjunta, pois (Bk Ci ) (Bk Cj ) = (Ci Cj ) Bk = para i = j . Com isso, se e uma medida,
q
(Bk ) = ((Bk C1 ) (Bk Cq )) = Analogamente, para todo Cl vale
l=1
(Bk Cl ) .
(30.D.13)
Cl = Cl M = Cl (B1 Bp ) = (Cl B1 ) (Cl Bp ) tamb em uma uni ao disjunta e tamb em tem-se

p
(Cl ) = ((Cl B1 ) (Cl Bp )) = Assim,

p p q q p
k=1
(Cl Bk ) .
q
(30.D.14)
k (Bk )
k=1
(30.D.13)
k=1 l=1
k (Bk Cl ) =
l=1 k=1
l (Bk Cl )
(30.D.14)
l (Cl ) ,
l=1
o que prova (30.26). Na segunda igualdade, acima, trocamos k por l e a raz ao de podermos fazer isso e a seguinte. Se Bk Cl = ent ao (Bk Cl ) = 0, o que autoriza a substitui ca o. Se Bk Cl = , ent ao k = l , pois se x Bk Cl , vale pelas representa co es normais de (30.25) que s(x) = k e que s(x) = k .
30.E
A Equival encia das Deni co es (30.27) e (30.28)
Vamos aqui mostrar a equival encia das duas deni co es (30.27) e (30.28) da integral de Lebesgue. Nosso tratamento segue [100], com ligeiras adapta co es e melhorias. Vamos supor que s S (f ) e que fn e uma seq u encia mon otona crescente de fun co es simples mensur aveis de S (f ) que converge a f (que tal existe, garante-nos o Lema 30.3). Vamos primeiramente mostrar que
M
s d lim
n M
fn d .
M
H a dois casos a tratar, I quando
camos isso. Se s tem representa ca o I. No primeiro caso desejamos provar que M fn d diverge quando n . Fa n normal curta s(x) = k=1 sk Sk (x), ent ao o fato de M s d = implica que existe um k0 com sk0 > 0 e (Sk0 ) = . Fixemos um tal que 0 < < sk0 e denamos os conjuntos An := { x M | fn (x) + > s(x) } . f E acil ver que Am An para todos m n, pois fn e uma seq u encia crescente. Fora isso, An = M .
nN
s d = e II quando
s d < .
Isso se deve ao seguinte. Se x M ent ao, como fn (x) converge a f (x) s(x), segue que para algum n grande o suciente teremos fn (x) + > s(x). Assim, todo x M pertence a algum An . Temos, com isso, que Sk0 = Sk0 M = Sk0 An =
nN nN
(An Sk0 )
Cap tulo 30
1391/2069
agina 1280 e Como Am Sk0 An Sk0 para todos m n, podemos evocar a propriedade geral de medidas 3 da p escrever (Sk0 ) = limn (An Sk0 ), o que nos diz que limn (An Sk0 ) = . Agora, fn d >
M M
fn An Sk0 d > =
(s ) An Sk0 d (sk0 ) An Sk0 d An Sk0 d
= (sk0 )
= (sk0 )(An Sk0 ) . A segunda desigualdade (primeira linha) se deve a fato que em An tem-se fn (x) > s(x) . A primeira igualdade ca o s vale sk0 . (segunda linha) se deve ao fato que em Sk0 a fun Assim, lim
n M
amos mostrar. fn d > (sk0 ) lim (An Sk0 ) = , como quer

n n
ca o normal curta de s. Como II. Consideremos agora o caso M s d < . Seja s(x) = k=1 sk Sk (x) a representa n s d = s ( S ) < , segue que ( S ) < para todo k com s > 0. k k k k k=1 M f Seja T := {x M | s(x) > 0}. E acil ver que T =
k=1, ..., n s k >0
Sk .
Tem-se ent ao (T ) =
k s k >0
(Sk ) < . Vamos escolher um xo tal que 0 < < minsk >0 {sk }. Segue que fn d >
M
fn An T d
M
(s ) An T d s An T d An T d
M
=
M
=
M
s An T d (An T ) s An T d (T ) s An T T d (T ) s T d s d s (1 An T ) T d (T )
=
M
=
M
s (T An T ) d (T ) .
M
Acima, usamos em v arios lugares que An T = An T T . Na u ltima igualdade usamos que Agora, se denirmos sm = supxM s(x) = max{s1 , . . . , sn } 0, teremos
M
s T d =
s d.
s (T An T ) d sm
(T An T ) d = sm ((T ) (An T )) .
Cap tulo 30
1392/2069
Pelo mesmo argumento usado na parte I, vale limn (An T ) = (T ). Com isso, teremos que sm ((T ) (An T )) para todos os ns grandes o suciente. Assim, para todos os ns grandes o suciente, fn d >
M M
s d (T ) .
O lado direito n ao depende de n. Logo,

n
lim
fn d >
M M
s d (T ) . fn d s d, completando a prova para o caso

M
Como essa desigualdade vale para arbitr ario, segue que lim II. A desigualdade lim claro que lim
n n M
fn d
sS (f ) M
s d mostra que lim

M
fn d sup
sS (f )
s d. Agora, como fn S (f ), e
fn d sup
s d. Isso mostra que se fn e qualquer seq u encia mon otona crescente de fun co es
simples mensur aveis de S (f ) que converge a f vale

n
lim
fn d = sup
M sS (f ) M
s d ,
provando a equival encia das duas deni co es (30.27) e (30.28).
30.F
Prova do Teorema da Converg encia Mon otona
Apresentamos aqui a demonstra ca o do Teorema 30.4, o Teorema da Converg encia Mon otona. Prova do Teorema 30.4.35 Pelas hip oteses f = supnN fn , assim, pela discuss ao da p agina 1359 sobre fun co es denidas pelo supremo de seq u encias, f e mensur avel. umero nito n ao-negativo ou diverge. Assim, seja Pelas hip oteses, a seq u encia M fn d ou converge a algum n F := limn M fn d com F R+ {}. Como fn (x) < f (x) para todo x, segue que M fn d M f d. Logo, F f d .
M
(30.F.15)
Seja agora s S (f ), ou seja, s e simples, [M, M[R ]]-mensur avel e 0 s f . Tomando-se uma constante c xa no intervalo (0, 1), denamos para cada n N os conjuntos En := {x M | fn (x) cs(x)} . Pela Proposi ca o 30.12, p agina 1386, os conjuntos En s ao todos mensur aveis (ou seja, pertencem a M). Como {fn } e crescente, e tamb em imediato que En En+1 para todo n. Se x M e f (x) = 0, ent ao x E1 , pois nesse caso f1 (x) = s(x) = f (x) = 0. Se x M e f (x) > 0, ent ao cs(x) < f (x), pois c foi escolhido menor que 1. Como fn (x) f (x), haver a algum n para o qual fn (x) cs(x) e, agina 1364, e pela propriedade geral de medidas portanto, x En . Isso provou que nN En = M . Pelo Lema 30.4, p do item 3, p agina 1280, isso implica que
n
lim
s d =
En M
s d .
Como fn fn En , vale que

M
35 A
fn d
fn En d =
M En
fn d
c s d = c
En En
s d .
demonstra ca o abaixo e encontrada de forma quase id entica em v arios textos, por exemplo, em [205]
Cap tulo 30
1393/2069
para todo n. Tomando o limite n em ambos os lados, conclu mos que F c M s d. Como isso vale para todo c mos que ca o, M f d = supsS (f ) M s d, conclu entre 0 e 1, segue que F M s d. Agora, recordando que, pela deni ca o do Teorema F M f, d. Por (30.F.15), segue que M f d = F = limn M fn d. Isso completa a demonstra 30.4.
30.G
k n
Prova do Lema de Fatou
Prova do Lema de Fatou. Sejam as fun co es gn : M R denidas da seguinte forma: para cada x M tem-se claro que cada gn gn (x) = inf fk (x). E e n ao-negativa e, pelos coment arios da p agina 1359, [M, M[R ]]-mensur avel. E tamb em claro que gn (x) gn+1 (x) para todo n e para todo x M e que fn (x) gn (x), tamb em para todo n e para todo x M . Agora, para cada x M
n
lim gn (x) = sup gn (x) = sup inf fk (x) = lim inf fn (x) .
n1 n1 kn n
(30.G.16)
(A u ltima igualdade e a deni ca o de lim inf). Como fn (x) gn (x) tem-se

M
fn d
gn d
M
para todo n, e assim,

k n
inf
fk d inf
k n
gk d .
M
Como gn (x) gn+1 (x) para todo n, tem-se que

k n
inf
gk d =
M M
gn d
e, portanto,
k n
inf
fk d
gn d .
M
Conseq uentemente,
n1 kn
sup inf
fk d sup
n1
gn d .
M
Agora, pordeni ca o lim inf

n M
fn d = sup inf
n1 kn
fk d
M
e, al em disso, sup
n1 M
gn d = lim
gn d ,
M
pois
M
gn d e crescente. Portanto, provamos que lim inf

n M
fn d lim
gn d .
M
Como gn satisfaz os requisitos do Teorema da Converg encia Mon otona, Teorema 30.4, p agina 1371, vale que
n
lim
gn d =
M
M n
lim gn d
e, assim, lim inf

n M
fn d
M n
lim gn d .
(30.G.17)
Cap tulo 30
1394/2069
Por m, sabemos por (30.G.16) que lim gn = lim inf fn (x) e, assim, (30.G.17) estabeleceu que
n n
lim inf
n M
fn d
lim inf fn d ,
M n
que e o que quer amos provar.
30.H
Prova do Teorema da Converg encia Dominada

n
Seguiremos aqui [205]. claro que se f (x) = lim f (x) e |fn (x)| F (x) para todo n N e todo Prova do Teorema da Converg encia Dominada. E x M , ent ao |f (x)| F (x) para todo x M . Como f e tamb em [M, M[C ]]-mensur avel (por ser o limite de fun co es mensur aveis), ent ao M |f | d < M F d < e, portanto, f L1 (M, d). Isso provou o item 1 do Teorema 30.6.
Em segundo lugar, notemos que |f fn | |f | + |fn | 2F . Assim, as fun co es gn = 2F |f fn | s ao n ao-negativas e podemos aplicar o Lema de Fatou, Lema 30.5, que diz-nos que lim inf (2F |f fn |) d lim inf
n n
(2F |f fn |) d .
Por um lado, temos que lim inf (2F |f fn |) = 2F lim sup |f fn | = 2F ,

n n
pois lim inf |f fn | = lim sup |f fn | = 0. (Justique!) Por outro lado,

n n
lim inf
n M
(2F |f fn |) d =
2F d + lim inf
M n M
|f fn | d .
Por em, vale que lim inf

n M
|f fn | d = lim sup
n
|f fn | d .
(Justique!) Assim, provamos que 2

M
F d 2
F d lim sup
n
|f fn | d .
M
Como M F d (pois F L1 (M, d)), podemos subtrair o termo 2 e concluir que lim sup
n M
F d de ambos os lados da express ao acima
|f fn | d 0 .
Como
|f fn | d 0, segue que
n
lim
|f fn | d = 0 .
Isso provou o item 2 do Teorema 30.6. Como |f fn | 2F , segue que (f fn ) L1 (M, d) e podemos aplicar (30.37) e concluir que
n
lim
(f fn ) d = 0 , fn d .
M
ou seja, f d = lim
M n
Isso provou o item 3 do Teorema 30.6.
Cap tulo 30
1395/2069
30.I
Prova dos Teoremas 30.2 e 30.3
Aqui apresentamos a demonstra ca o dos Teoremas 30.2 e 30.3, os quais tratam da rela ca o entre as integrais de Riemann e Lebesgue. Seguiremos essencialmente [100], que por sua vez segue [19]. Para uma outra demonstra ca o ligeiramente diferente do Teorema 30.2 vide, por exemplo, [73]. Prova do Teorema 30.2. A prova que apresentamos requer o Lema de Fatou e o Teorema da Converg encia Dominada, tratados na Se ca o 30.3.4, p agina 1371. Dada uma fun ca o real limitada e integr avel por Riemann f , denida em [a, b], e dada uma parti ca o Pn = {x1 , . . . , xn } de [a, b] com a = x1 < . . . < xn = b, sejam as somas de Darboux
n1 n1 y Ik
Di [Pn , f ] :=
k=1
inf f (y )
|Ik |
Ds [Pn , f ] :=
k=1
sup f (y )
y Ik
|Ik | ,
onde Ik = [xk , xk+1 ) e |Ik | = xk+1 xk = L (Ik ). Denamos tamb em as fun co es simples
n1 n1 y Ik
n :=
k=1
inf f (y )
Ik
n :=
k=1
sup f (y )
y Ik
Ik .
(30.I.18)
bastante claro que n e n s E ao fun co es mensur aveis Borelianas, pois os intervalos Ik = [xk , xk+1 ) s ao Borelianos. E tamb em evidente que D i [P n , f ] =
[a, b]
n dL
D s [P n , f ] =
[a, b]
n dL .
Se f e integr avel por Riemann ent ao existe uma seq u encia de parti co es P1 , P2 , P3 , . . ., com Pn+1 mais na que Pn para todo n e tais que Di [Pn , f ] e Ds [Pn , f ] para algum R. Esse e, por deni ca o, a integral de Riemann
b
de f em [a, b], ou seja, =

a
f (x)dx. Assim, lim n dL = lim

[a, b]
n dL = ,
[a, b]
e
n
lim
[a, b]
(n n ) dL = 0 .
A seq u encia qn = n n e n ao-crescente, pois n e n ao-crescente e n e n ao-decrescente (certo?). Assim, a fun ca o q = inf qn = lim qn e Boreliana (vide discuss ao ` a p agina 1359). Pelo Lema de Fatou (Lema 30.5, p agina 1372),
n n
q dL =
[a, b]
[a, b] n
lim qn dL =
[a, b]
lim inf qn dL lim inf

n n
qn dL = lim
[a, b]
[a, b]
(n n ) dL = 0 .
Como qn = n n 0 (certo?), segue pela Proposi ca o 30.7, p agina 1365, que q = 0 L -q.t.p. em [a, b].
n
que |f | < M . Mas isso implica tamb em que |n | < M pois, por (30.I.18), vale
n1 n1 y Ik
Como n f n para todo n, segue que f = lim n L -q.t.p. em [a, b]. Como f e limitada, existe M > 0 tal
|n |
k=1
inf f (y ) Ik M
Ik = M .
k=1
A fun ca o constante igual a M e integr avel em [a, b] (pois [a, b] M dL = M (b a) < ). Logo, podemos aplicar o Teorema da Converg encia Dominada, Teorema 30.6, p agina 1373, e concluir do fato que f = limn n que f e integr avel e que,
b
f dL = lim
[a, b]
n dL = lim Di [Pn , f ] = =
[a, b] n a
f (x) dx .
Cap tulo 30
1396/2069
provando a igualdade da integral de Riemann e a de Lebesgue no caso tratado. Isso encerra a prova do Teorema 30.2. Passemos agora ` a prova do Teorema 30.3. Prova do Teorema 30.3. (De [100], com aperfei coamentos). A prova que apresentamos requer o Teorema da Converg encia Mon otona, tratado na Se ca o 30.3.4, p agina 1371.
n
Seja a integral de Riemann

n
f (x) dx, a qual existe para todo para n N, por hip otese. Pelo Teorema 30.2,
n
f (x) dx =
n [n, n]
f dL ,
a integral ` a direita sendo a de Lebesgue. Podemos escrever f dL =

[n, n] R
f [n, n] dL .
Agora, as fun co es fn = f [n, n] s ao Borelianas, s ao n ao-negativas e formam uma seq u encia n ao-decrescente, pois fn fn+1 para todo n N, j a que [n, n] [(n + 1), n + 1]. Assim, podemos aplicar o Teorema da Converg encia Mon otona, Teorema 30.4, p agina 1371, e obter
n n
lim
f (x) dx = lim
n
fn dL =
R R
lim fn dL =
R
f dL .
(30.I.19)
Assim, conclu mos da igualdade em (30.I.19) que se f possuir uma integral de Riemann impr opria f (x) dx n e igual a f (x) dx R e, com (denida na Se ca o 30.2.1, p agina 1351), ent ao o limite limn n f (x) dx, existe e e nita e, portanto, f e integr avel no sentido de Lebesgue (como f e n ao-negativa, e obvio isso conclu mos que R f dL que f = |f |).
Acima, o fato que limn fn (x) = f (x) para cada x R e conseq u encia de que [n, n] (, ) quanto n .
Por outro lado, se f for integr avel no sentido de Lebesgue, ent ao F := R f dL < e, pela igualdade em (30.I.19), n e igual a F . Portanto, para qualquer > 0 existe n0 n0 () N tal que o limite limn n f (x) dx existe e
n0 n0
f (x) dx F
< .
(30.I.20)
Para todo intervalo nito [a, b] com [a, b] [n0 , n0 ] vale f [n0 , n0 ] f [a, b] f pois f e n ao-negativa. Isso implica
[n0 , n0 ]
f d
[a, b]
f d
f d, ou seja,
R n0 n0 b
f (x) dx
f (x) dx F .
(30.I.21)
Conseq uentemente, por (30.I.20) e (30.I.21),

b a
f (x) dx F
< .
Esse fato diz-nos que a rede [, ] f (x) dx est a eventualmente em qualquer intervalo aberto (F , F + ). (Para a deni ca o de estar eventualmente, vide Se ca o 29.3, p agina 1327). Isso diz-nos que F e um ponto limite dessa rede, o qual, se existe, eu nico, pois R e um espa co Hausdor (vide Proposi ca o 29.5, p agina 1329). Assim, pela deni ca o da Se ca o 30.2.1, p agina 1351, f possui uma integral de Riemann impr opria e essa e igual a F := R f dL .
Cap tulo 30
1397/2069
30.J
Prova das Desigualdades de H older e Minkowski
Prova do Teorema 30.7. Provaremos primeiro a desigualdade de H older e dela extrairemos a de Minkowski. A prova da desigualdade de H older (30.44) segue os mesmos passos daquela do Teorema 24.4, p agina 24.4. Lembremos, em primeiro lugar a desigualdade de Young (5.35), p agina 251, que estabelece que a1/p b1/q a b + , p q (30.J.22) 1 1 + = 1. Em (30.J.22), a igualdade se d a se e p q
para a 0, b 0 e p e q ambos tais que 1 < p < e 1 < q < , e que apenas se a = b.
e automaticamente satisfeita, Notemos primeiramente que no caso de termos M |f |p d = 0, a desigualdade (30.44) pois valer a |f | = 0 -q.t.p. e, portanto, |f g | = 0 -q.t.p., o que implica que o lado esquerdo de (30.44) e nulo. O mesmo em trivial. Com isso, se d a caso M |g |q d = 0. No caso de termos M |f |p d = a desigualdade em (30.44) e tamb podemos supor que 0 <
M
|f |p d < |f (x)|p
M
0 <
M
|g |q d < . .
Para x M , tomemos a =
b =
|g (x)|q
M
|f |p d
|g |q d |g (x)|q
M
A rela ca o (30.J.22) diz-nos que |f (x)|

M 1/p M
|g (x)| |g | d
q
1/q
|f | d
1 p
|f (x)|p
M
|f |p d
1 q
|g |q d
Tomando a integral
( ) d da express ao acima, tem-se

M
|f ||g | d
1/p 1/q M
|f |p d
|g |q d
1 p
|f |p d |f |p d
1 + q
|g |q d |g |q d
1 1 + = 1, p q
o que demonstra a desigualdade de H older (30.44).

M
Provemos agora a desigualdade de Minkowski (30.45). O caso p = 1, e evidente, pois |f g | |f | + |g | implica ao tomar p > 1. |f g | d M |f | d + M |g | d. Podemos ent Comecemos observando que para p > 1 a fun ca o xp e cont nua e convexa para x > 0. Logo, |f | + |g | 2
p
1 (|f |p + |g |p ) . 2 1 ( | f |p + | g |p ) . 2
como |f g | |f | + |g |, segue que
|f g | 2
(30.J.23)
Disso conclu mos que se f e g pertencem a Lp (M, d), ent ao f g Lp (M, d) . (30.J.24)
ao M |f |p d + M |g |p d = e a desigualdade de Tamb em de (30.J.23), extra mos que se M |f g |p d = , ent p e satisfeita, pois a o lado esquerdo de (30.45) Minkowski (30.45) e satisfeita. Tamb em no caso M |f g | d = 0 (30.45) e nulo. Podemos ent ao supor 0 <
M
|f g |p d < .
(30.J.25)
Cap tulo 30
1398/2069
Escrevamos agora |f g |p = |f g | |f g |p1 (|f | + |g |) |f g |p1 = |f | |f g |p1 + |g | |f g |p1 . Isso diz-nos que
M
|f g |p d
|f | |f g |p1 d +
1/p
|g | |f g |p1 d .
1/q
(30.J.26)
A desigualdade de H older (30.44) diz-nos que |f | |f g |p1 d |f |p d |f g |(p1)q d .
onde q e tal que 1/q + 1/p = 1, ou seja, q = p/(p 1). Por isso, |f g |(p1)q = |f g |p e a express ao acima faz sentido por (30.J.24). Assim,
1/p M 1/q M 1/p M
|f | |f g |p1 d |g | |f g |p1 d
|f |p d |g |p d
|f g |p d
1/q
e, analogamente
M M
|f g |p d
Inserindo essas duas rela co es em (30.J.26), segue que

1/p M 1/p 1/q M
|f g |p d
|f |p d
+
M
|g |p d
|f g |p d
M
.
1/q
Como estamos sob a suposi ca o (30.J.25), podemos dividir ambos os lados acima por 1/p, obtemos a desigualdade de Minkowski (30.45).
|f g |p d
e, como 1 1/q =
Prova do Corol ario 30.3. Mostraremos que a desigualdade de H older generalizada (30.47) e conseq u encia do seu caso particular para r = 1, a desigualdade de H older (30.44), que suporemos v alida. Denindo-se p = p/r e q = q/r, tem-se 1 1 r r + = + = 1. p q p q Denindo-se F = |f |r , G = |g |r , valer a F p d =
M M
|f |p d <
e
M
Gq d =
M
|g |q d <
e, portanto, F Lp (M, d) e G Lq (M, d). Assim,

1/r M 1/r
|f |r |g |r d
=
M
F G d
1/p 1/q 1/r
(30.44)
F
M
d
M 1/p
G d
1/q 1/r M 1/p
=
M
|f | d
|g | d
1/q
=
M
|f |p d
|g |q d
que e a desigualdade de H older (30.47).
Cap tulo 30
1399/2069
30.K
Prova do Teorema de Riesz-Fischer
p,
Seja {fn }, n N uma seq u encia em Lp (M, d) e que seja de Cauchy na norma N () tal que fn fm p < para todos m e n maiores que N (). gl+1 gl < 1 . 2l
ou seja, para todo > 0 existe
Vamos primeiramente mostrar que {fn } possui uma sub-seq u encia {gn } com a propriedade que
p
(30.K.27)
para todos l N. Vamos denir uma seq u encia crescente de n umeros inteiros e positivos Nk , k = 1, 2, 3, . . . com Nk+1 > Nk , da seguinte forma: Nk e tal que fm fn p < 1/2k para todos m, n > Nk . Note que uma tal seq u encia Nk sempre pode ser encontrada pois, por hip otese, fm e uma seq u encia de Cauchy em p (basta tomar Nk := N (1/2k )). Vamos agora escolher uma seq u encia crescente de ndices n1 < n2 < < nk1 < nk < tais que nk > Nk para todo k . A essa seq u encia est a associada a sub-seq u encia {fnk }kN . Para simplicar a nota ca o, denotaremos gk fnk , k = 1, 2, 3, . . .. Disso e imediato que (30.K.27) vale, como quer amos mostrar, pois nl e nl+1 s ao maiores que Nl . Dena-se hk =
l=1 k
|gl+1 gl |
h =
l=1
|gl+1 gl | .
Pela desigualdade de Minkowski e por (30.K.27), vale para cada k que

k k k
hk Logo,
=
l=1
|gl+1 gl |
l=1
gl+1 gl
p
l=1
1 . 2l
k M
(hk ) d
l=1
1 2l
Pelo Lema de Fatou, segue que

k M
lim inf (hk ) d lim inf

k k
(hk ) d lim inf

k
l=1
1 2l
= 1.
Agora, como {hk , k N} e uma seq u encia n ao-decrescente, {(hk )p , k N} tamb em o e e converge a hp . Logo, p p lim inf (hk ) = h e conclu mos que
k M
hp d 1,
o que implica que h
1. Disso segue que h(x) < -q.t.p. Assim, provamos que a s erie
n
g1 (x) +
l=1
gl+1 (x) gl (x)
converge absolutamente para -quase todo x (ou seja, s o n ao converge absolutamente em um conjunto de medida nula). Note-se agora que
n1
g1 (x) +
l=1
gl+1 (x) gl (x)
= gn (x) .
Assim, conclu mos que lim gn (x) existe -q.t.p.

n
Vamos denotar por G o conjunto dos xs em M onde esse limite existe (como vimos (M \ G) = 0) e denamos uma fun ca o f : M C da seguinte forma: lim gn (x), para x G n f (x) := . 0, para x M \ G
Cap tulo 30
1400/2069
Queremos provar que f fn p 0 para n , ou seja, que a fun ca o f denida acima e o limite em Lp (M, d) da seq u encia {fn }. Fixando > 0, sabemos que se m e n forem maiores que N () valer a fn fm p < . Logo, o Lema de Fatou diz-nos que se m > N (), |f fm |p d lim inf |gl fm |p d lim inf
l l
|gl fm |p d = lim inf ( gl fm

l
p p)
p .
(30.K.28)
Isso provou que f fm Lp (M, d). Como f = fm + (f fm ), isso implica que f Lp (M, d), pois Lp (M, d) e um espa co vetorial. Sem perda de generalidade, podemos tomar f Lp (M, d) tamb em (certo?). Ao mesmo tempo, (30.K.28) arma que f fm 0 para m . Assim, mostramos que a seq u encia de Cauchy {fn } de Lp (M, d) possui um limite na norma p que e tamb em elemento de Lp (M, d). Isso provou que Lp (M, d) e um espa co m etrico completo na norma de Lp (M, d), completando a demonstra ca o.

NC Cap30

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

NC Cap30

Uploaded by

Copyright:

Available Formats

Cap tulo 30 Elementos da Teoria da Integra c ao

Coment arios Preliminares

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

A Integra c ao no Sentido de Riemann

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

E. 30.1 Exerc cio. conjunto dirigido.

Somas de Riemann. Integrabilidade de Riemann

S (P, ), f Vide Figura 30.1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

f (x) dx, ou seja,

Integrabilidade de Riemann. Crit erios alternativos

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

e sempre verdade se f assume valores em um espa co m etrico completo. basicamente [101].

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

o que evidentemente implica

|I1 | W(f, P) |I1 | .

S (P, ), f Temos, assim:

a deni ca o geral de continuidade por partes, vide p agina 1336.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

< para todo P com P P.

respectivamente. Vide Figura 30.2.

f(x) sup f(y)

sup f(y) inf f(y)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Nesse caso a integral de f no intervalo [a, b] e denida por

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Crit erio de Lebesgue para integrabilidade de Riemann

diretamente da deni c ao que

evidente, a diculdade est a em provar que

para todos a < b. Note que o fato que

Deci encias da integral de Riemann

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Dn (x) dx = b a. Entretanto, trocar a

integral pelo limite de Riemann.

A Integral de Riemann Impr opria

Vamos aqui tratar de denir a integral de Riemann impr opria

f (x) dx de uma fun ca o f denida em toda a reta real

f (x) dx tomando a indo a e

certos casos, pode ocorrer que o limite lim

f (x) dx exista, mas n ao, por exemplo, o limite lim

outros. Tal e o caso da fun ca o f (x) = x. Tem-se aqui que lim

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

para todo [a, b] [A, B ], [a, b] C. O n umero F e denotado por

De maneira an aloga denem-se as integrais de Riemann impr oprias

f (x) dx, para a R, nito,

como os limites lim

f (x) dx, respectivamente, caso existam.

, que n ao e limitada para x +. Como facilmente se v e com a mudan ca de vari aveis u = ex ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

como observamos, limites como lim