O INTEGRAL DE LEBESGUE

RUI LOJA FERNANDES Resumo. Esta notas contm uma introduao a teoria do integral introduzido e c ` por Lebesgue. Elas formam como que um cap tulo 3,5 do livro de M. Spivak Calculus on Manifolds. O seu objectivo servir como texto de apoio aos e alunos da Turma E de Anlise Matemtica III. Apesar de existirem excelentes a a textos (ver bibliograa) que podem ser utilizados como introduao a teoria do c ` integral de Lebesgue, no conheo nenhum que possua as caracter a c sticas do livro de Spivak, e essenciais para o funcionamento deste projecto: (i) elementar; (ii) sucinto e (iii) que exija uma boa dose de trabalho individual. So, pois, a estas as caracter sticas que pretendi dar a estas notas. E claro que as diculdades e virtudes mencionadas no prefcio desse livro sobre esta metodologia a aplicam-se aqui mutatis mutandis. Os pr-requisitos para esta notas so, portanto, os trs primeiros cap e a e tulos do livro de Spivak. Uma citaao do tipo [S, thm 3-10] refere-se ao teorema c 3-10 desse livro. Lisboa, Outubro de 2004 Departamento de Matemtica a Instituto Superior Tcnico e

RUI LOJA FERNANDES

Conteudo Introduao c -lgebras e funoes -aditivas a c Medida de Lebesgue Funoes Mensurveis c a O Integral de Lebesgue Teoremas de Convergncia e Relaao com o Integral de Riemann c Bibliograa 3 5 7 12 15 18 22 25

O INTEGRAL DE LEBESGUE

Introducao Neste cap tulo, vamos introduzir uma generalizaao do integral de Riemann e c que se chama integral de Lebesgue 1. Esta generalizaao vai permitir, por exemplo, c extender a classe das funoes integrveis. Um exemplo simples de uma funao c a c f : [0, 1] R integrvel a Lebesgue que no integrvel a Riemann dado pela a ` a e a ` e funao de Dirichelet: c se x [0, 1] Q; 1, f (x) = 0, caso contrrio. a

Esta extenso do conceito de integral tem inmeras vantagens prticas algumas das a u a quais veremos mais tarde. Uma forma simples de ilustrar a diferena entre o integral de Lebesgue e o de c Riemann a seguinte analogia. Suponhamos que t e nhamos uma saco cheio de moedas de euro e que pretend amos saber a quantia que temos no saco. Podemos contar as moedas de duas formas distintas:

(i) Retiramos as moedas uma a uma do saco e vamos adicionando os seus valores; (ii) Agrupamos todas as moedas do saco pelos seus valores, formando um grupo de moedas de 5 cntimos, outro grupo de 10 cntimos, etc. Contamos as e e moedas em cada grupo, multiplicamos pelos seus valores e somamos; A segunda forma de contagem (que corresponde ao integral de Lebesgue) muito e mais eciente do que a primeira forma de contagem (correspondente ao integral de Riemann), embora ambas forneam o mesmo valor. Note-se que para descrever (ii) c tivemos de usar uma linguagem um pouco mais elaborada do que para descrever (i). Como veremos adiante, a deniao do integral de Lebesgue tambm envolve, c e de facto, um pouco mais de conceptualizaao do que a deniao do integral de c c Riemann. No entanto, o integral de Lebesgue bastante mais eciente que o intee gral de Riemann, tal como o segundo processo de contagem. Por m, as funoes c integrveis a Riemann tambm so integrveis a Lebesgue e o valor do integral o a ` e a a ` e mesmo. A t tulo de exemplo, consideremos uma funao f : [a, b] R que assume um c nmero nito de valores, como ilustrado na gura seguinte: u

f (x)
y1 y2 y3 y4

PSfrag replacements

1O matemtico francs Henri Lebesgue (1875-1941) introduziu a nova noao de integral na sua a e c tese de doutoramento, entregue na Universidade de Nancy em 1902. Mais tarde, seria professor na Sorbonne, em Paris. Lebesgue foi um dos maiores analistas da primeira metade do Sculo XX. e

                     

          

RUI LOJA FERNANDES

Para calcularmos o integral pela deniao de Riemann, podemos dividir o inc tervalo [a, b] em sub-intervalos [xk , xk+1 ] onde a funao constante, multiplicar o c e valor que a funao toma em cada sub-intervalo pelo seu comprimento, e somar: c
b n

f dx =
a k=1

f (xk )(xk xk1 ).

Por outro lado, para calcularmos o integral pela deniao de Lebesgue, prec cisamos de introduzir primeiro a noao de medida ou volume de subconjuntos de c Rn : esta no mais que uma funao que a um subconjunto A Rn associa um a e c nmero no negativo (A). Depois, determinamos qual a pr-imagem E k de u a e e cada valor yk que a funao assume, multiplicamos a medida (ou volume) dessa c pr-imagem por esse valor, e somamos: e

f (x)
y1 y2 y3 y4

PSfrag replacements

f d =
a k=1

yk (Ek ).

Para uma funao como a da gura, estes dois mtodos do o mesmo valor para c e a o integral. Mas, para uma funao mais complexa, tal como a funao de Dirichelet, c c a diferena dramtica: a deniao de Riemann no faz sequer sentido! c e a c a Como vemos, uma parte essencial da deniao do integral de Lebesgue reside c na introduao da medida de um conjunto. Esta funao deve satisfazer certa proc c priedades naturais. Por exemplo, gostar amos certamente que: (i) Para um rectngulo A = [a1 , b1 ] [an , bn ] em Rn a sua medida dada a e por (A) = (b1 a1 ) (bn an ); (ii) Se A a unio de subconjuntos A1 , A2 , . . . de Rn , disjuntos dois a dois, e a + ento a sua medida (A) = k=1 (Ak ); a e (iii) Se A um conjunto com medida (A) ento a sua translaao x + A = e a c {x + y : y A} dever ter a mesma medida: (x + A) = (A). a Infelizmente no existe tal funao!!! a c A primeira parte do nosso estudo do integral de Lebesgue ser dedicado a resa ` oluao deste problema, e consiste em escolher uma colecao de subconjuntos de R n c c que contm os intervalos, e aonde poss denir uma tal funao de medida. Na e e vel c segunda parte introduzimos o integral de Lebesgue e estudamos algumas das suas propriedades bsicas. a

                    

               

O INTEGRAL DE LEBESGUE

-algebras e funcoes -aditivas Denio A.1. Uma famlia A de subconjuntos de X diz-se uma algebra de ca conjuntos se , X A e A, B A = A B, A B A. Uma algebra A diz-se uma -lgebra se a
+

A1 , A2 , A =
j=1

Aj A.

Note que se A uma algebra de conjuntos e A, B A ento e a A B = A (A B) A, logo A fechada para intersecoes. Da mesma forma, para qualquer A A: e c Ac = X A A, logo A fechada para a passagem ao complementar. Por outro lado, se A uma e e -lgebra um exerc simples mostrar que se A1 , A2 , A ento + Aj A. a e cio a j=1 Exemplos A.2. 1. Seja A a colecao de todos os subconjuntos de um conjunto X. E claro c que , X A e que A fechada para unies arbitrrias e diferenas de e o a c conjuntos, logo A uma -lgebra. e a 2. Seja A a colecao formada por todas as unies nitas I1 Im de c o rectngulos de Rn . Ento A uma algebra de conjuntos mas no uma a a e a e -lgebra (exerccio). a A noao de medida que queremos discutir baseia-se na seguinte deniao: c c Denio A.3. Seja A uma algebra. Uma funao : A [0, +] no-constante ca c a diz-se aditiva se, dados A, B A, A B = = (A B) = (A) + (B). A proposiao seguinte fornece algumas propriedades elementares das funoes c c aditivas. A sua demonstraao ca como exerc c cio. Proposio A.4. Seja A uma algebra e : A [0, +] uma funao aditiva. Se ca c A, B, A1 , A2 , . . . , Ak A ento: a (i) (ii) (iii) (iv) (v) () = 0; (B) (A) se B A; (A B) = (A) (B) se B A e (B) < +; (A1 A2 ) = (A1 ) + (A2 ) (A1 A2 ) se (A1 A2 ) < +; (A1 Ak ) = (A1 ) + + (Ak ) se Ai Aj = para i = j;

Note que, em princ pio, no podemos dizer nada sobre o comportamento das a funoes aditivas para conjuntos A que so unies (mesmo disjuntas) de conjuntos c a o A1 , A2 , . . . . Para isso precisamos de mais uma deniao: c Denio A.5. Seja A uma algebra. Uma funao : A [0, +] aditiva diz-se ca c + -aditiva se, para A1 , A2 , A com j=1 Aj A, temos
+ +

Ai Aj = (i = j) = (
j=1

Aj ) =
j=1

(Aj ).

Uma propriedade importante das funoes -aditivas a de podermos calcul-las c e a por aproximaao. Mais precisamente temos: c

RUI LOJA FERNANDES

Teorema A.6. Seja A uma algebra e : A [0, +] uma funao -aditiva. Se c + A1 A2 A3 . . . com Ai A e A = j=1 Aj A ento a
j+

lim (Aj ) = (A).

Demonstraao. Seja B1 = A1 e dena-se para j = 2, 3, . . . c Bj = Aj Aj1 . Claramente Bj A, Bi Bj = se i = j e Aj = B1 Bj . Logo

j

(Aj ) =
k=1

(Bk ).

Como -aditiva e A = e

+ j=1

Bj obtemos
+ +

j+

lim (Aj ) =
j=1

(Bj ) = (
j=1

Bj ) = (A).

Denio A.7. Um espao de medida um par (M, ) onde M uma -lgebra ca c e e a num conjunto X e : M [0, +] uma funao -aditiva. Os elementos de M e c dizem-se conjuntos mensurveis e a funao diz-se uma medida em X. a c Como um exemplo simples de um espao de medida (M, X) mencionamos a c medida discreta num conjunto X. A -lgebra M formada por todos os suba e conjuntos A X, e a medida de um subconjunto A X e se A nito; e cardinal de A, (A) = +, se A innito. e

Esta medida muito importante, por exemplo, na Teoria das Probabilidades. e Uma boa parte do nosso estudo incidir sobre uma certa medida em Rn , a a chamada medida de Lebesgue. Para esta medida, os rectngulos de Rn so cona a juntos mensurveis e a sua medida de Lebesgue coincide com os seu volume na dimensional [S, chp 3]. Estudamos esta medida na prxima secao. o c Problemas
A.1. Seja A uma -lgebra. Mostre que se A1 , A2 , A ento a a A.2. Demonstre a Proposiao A.4. c T+
j=1

Aj A.

A.3. Seja A uma algebra e : A [0, +] uma funao -aditiva. Se A1 A2 A3 c T A, (A1 ) < + e A = + Aj A mostre que j=1
j+

lim (Aj ) = (A).

A.4. Seja A a fam dos subconjuntos de Rn que so unio de um nmero nito de lia a a u S e rectngulos disjuntos. Se A = N Ij um elemento de A dena a j=1 (A) =
N X j=1

v(Ij ).

A.5. Seja A uma -lgebra com um nmero innito de elementos. Ser que A pode ser a u a numervel? a

(a) Mostre que A uma algebra de conjuntos; e (b) Mostre que : A R uma funao aditiva; e c

O INTEGRAL DE LEBESGUE

Medida de Lebesgue O nosso prximo objectivo construir uma -lgebra A em Rn , que contm todos o e a e os rectngulos, e uma medida : A [0, +] tal que (i) para todo o rectngulo a a I, (I) = v(I) o seu volume n-dimensional e (ii) invariante por translaao: e e c (x + A) = (A). Se A Rn consideramos coberturas de A por rectngulos abertos {I1 , I2 , . . . } e a denimos
+

(A) = inf
n=1

v(In ),

onde o inf tomado sobre todas as coberturas numerveis de A por rectngulos e a a abertos. A funao ca assim denida na -lgebra A formada por todos os c a subconjuntos de Rn e costuma designar-se por medida exterior de Lebesgue. Proposio A.8. A medida exterior de Lebesgue : A [0, +] satisfaz as ca seguintes propriedades: (i) () = 0; (ii) (B) (A) se B A; (iii) (I) = v(I) se I Rn um rectngulo; e a (iv) (x + A) = (A) se x Rn ; (v) (A) = 0 sse A um conjunto de medida nula; e + + (vi) Se A = j=1 Aj ento (A) j=1 (Aj ). a Demonstraao. As demonstraoes de (i)-(v) so deixadas como exerc c c a cio. Para demonstrar (vi) podemos assumir que (Aj ) < +, para todo o j. Dado > 0 existe uma cobertura Ij,k (k = 1, 2, . . . ) de Aj por rectngulos abertos, tal que a
+

v(Ij,k ) < (Aj ) +

k=1

. 2j

Os Ij,k (j, k = 1, 2, . . . ) formam um cobertura de A por rectngulos abertos, logo a

+ + +

(A)
j=1 k=1

v(Ij,k ) <
j=1

(Aj ) + .

Um funao que satisfaz a desigualdade (vi) diz-se uma funao sub-aditiva. Exisc c tem exemplos de subconjuntos Ai Rn , com Aj Ak = se j = k, para os quais esta desigualdade estrita, i.e., a medida exterior de Lebesgue no -aditiva. e a e Exemplo A.9. Denimos uma relaao de equivalncia no intervalo [0, 1] estipulando c e
que x y sse x y Q ( fcil vericar que esta relaao binria de facto transitiva, e a c a e simtrica e reexiva). e Seja E [0, 1] um conjunto formado por exactamente um elemento de cada classe de equivalncia de . A existncia de E garantida pelo axioma da escolha. Este conjunto e e e tem as seguintes propriedades: (a) (q + S (r + E) = se q, r Q e q = r; E) (b) R = qQ (q + E); (c) (E) > 0; De facto, se q + x = r + y onde x, y E, q, r Q, com x = y e q = r, ento temos a x y, o que no pode acontecer pois E contm um elemento de cada classe de equivalncia a e e de . Logo (a) verdadeira. Por outro lado, se x R ento existe um q Q, tal que e a x q [0, 1] e, portanto, existe e E tal que x q e. Conclu mos que x q + E para algum racional q , e (b) verdadeira. Como R no tem medida nula, (b) mostra que E e a tambm no tem medida nula. Pela Proposiao A.8 (v), conclu e a c mos que (E) > 0.

RUI LOJA FERNANDES

Dada uma enumeraao {q1 , q2 , q3 , . . . } dos racionais entre 0 e 1, denimos subconjuntos c Aj [0, 2] por Aj = qj + E, j = 1, 2, 3, . . . . S+ Seja A = j=1 Aj . Armamos que (A) <
+ X j=1

(Aj ).

claro que A [0, 2] logo, pela proposiao A.8 (ii), (A) 2. Por outro lado, pela e c proposiao A.8 (iv), os Aj tm todos a mesma medida exterior: (Aj ) = (E) > 0. c e P Assim, + (Aj ) = +. j=1 Este exemplo mostra que a funao no -aditiva na -lgebra formada por todos c a e a os subconjuntos de Rn .

Observao A.10. Na realidade, as unicas propriedades da funao que usmos ca c a no exemplo so as enumeradas na Proposiao A.8. Assim, o exemplo mostra que a c no existe uma funao -aditiva denida na -lgebra formada por todos os suba c a conjuntos de Rn , invariante por translaao, e que para os rectngulos coincide o c a seu volume n-dimensional. Vamos procurar uma -lgebra mais pequena, que ainda contenha os rectngulos a a I Rn , e na qual -aditiva. Para isso, introduzimos: e Denio A.11. Um conjunto A Rn diz-se mensurvel a Lebesgue se para ca a ` + todo o > 0 existem rectngulos {I1 , I2 , . . . } tais que a sua unio U = j=1 Ij a a satisfaz(2) (A U ) < .

Figura A.1. O conjunto A

U.

Observe-se que nesta deniao indiferente supor que os rectngulos so disc e a a juntos. Em termos geomtricos, podemos dizer que um conjunto mensurvel a e e a ` Lebesgue se puder ser bem aproximado, em termos de medida exterior, por uma unio numervel de rectngulos. De facto temos o seguinte resultado cuja demona a a straao deixamos como exerc c cio: Lema A.12. Sejam A, B Rn com (A) < + ou (B) < +. Ento: a | (A) (B)| (A B) Daqui em diante designamos por M a fam dos conjuntos mensurveis a lia a ` Lebesgue.
2Usamos o s mbolo A

B para designar a diferena simtrica dos conjuntos A e B: c e B = (A B) (B A) = (A B) (A B).

O INTEGRAL DE LEBESGUE

Teorema A.13. A famlia M dos subconjuntos de Rn mensurveis a Lebesgue a ` e uma -lgebra. A restriao de a M uma funao : M [0, +] -aditiva. a c e c Demonstraao. Designemos por conjuntos elementares os conjuntos formados por c unies nitas, disjuntas, de rectngulos. Como vimos num problema da secao o a c anterior, a fam A dos conjuntos elementares uma algebra e a restriao de a lia e c A aditiva. e Para efeitos da demonstraao vamos ainda designar por MF a fam dos subconc lia juntos A Rn que podem ser aproximados por um conjunto elementar: A MF se, dado > 0, existe E A tal que (A Precisamos do seguinte lema: Lema A.14. MF uma algebra e a restriao de a MF uma funao -aditiva. e c e c Temos, ainda, que: (a) Se A M e (A) < + ento A MF ; a (b) Se A M ento A = j=1 Aj , com Aj MF disjuntos dois a dois; a (c) Se Aj MF ento A = Aj M. a j=1 Assumindo que este lema verdadeiro, passemos a demonstraao do teorema. e ` c Primeiro vericamos que M uma -lgebra: se A1 , A2 , M so conjuntos e a a mensurveis, ento, pela propriedade (b) do lema, existem conjuntos Aik MF a a tais que:

E) < .

Ai =
k=1

Aik .

Logo, pelo propriedade (c) do lema,

A=
i=1

Ai =
i,k=1

Aik M.

Assim, M fechada para unies numerveis. Por outro lado, s e A, B M ento e o a a temos as decomposioes c
+ +

A=
j=1

Aj ,

B=
k=1

Bk ,

onde Aj , Bk MF . Como MF uma algebra, Aj Bk MF . Logo, e

+

AB =
j,k=1

(Aj Bk ) M.

Assim, M tambm fechada para intersecoes nitas. Finalmente, para ver que e e c MF fechada para diferenas, sejam A, B M. Observe que podemos escrever e c
+

A=
j=1

Aj ,

onde Aj MF e (Aj ) < +. Assim, vemos que:

+ +

AB =
j=1

(Aj B) =
j=1

(Aj (B Aj )).

Note que, pela propriedade (a) do Lema, B Aj MF , pois B Aj M (j vimos a que M fechada para intersecoes) e (B Aj ) (Aj ) < +. Como MF e c e uma algebra, segue-se que Aj (B Aj ) MF e, pela propriedade (c) do Lema, conclu mos que A B M.

10

RUI LOJA FERNANDES

Vejamos agora que restrita a M -aditiva: Se Aj M so disjuntos, e a A = + Aj M, e existe um Aj com (Aj ) = +, claro que e j=1
+

(A) =
j=1

(Aj ).

Por outro lado, se todos os Aj tm (Aj ) < +, ento Aj MF . Sendo e a sub-aditiva, temos, a priori,
+

(A)
j=1

(Aj ).

Como aditiva em MF e e
N

N j=1

Aj A, para todo o inteiro N , obtemos

N

(
j=1

Aj ) =
j=1

(Aj ) (A).

Passando ao limite, conclu mos que

+

(Aj ) (A).
j=1

Logo, tambm neste caso, temos e

+

(A) =
j=1

(Aj ).

Para terminar a demonstraao do teorema falta a: c Demonstrao do Lema A.14. Vejamos que MF uma algebra: MF ca e e fechada para os complementares pois se A MF ento Ac MF , j que vlida a a e a a relaao c Ac E c = A E. Por outro lado, MF fechada para unies nitas: Se A1 , A2 MF , dado > 0, e o existem conjuntos elementares E1 , E2 A tais que (A1 E1 ) < , (A2 E2 ) < . 2 2 Como (A1 A2 ) (E1 E2 ) (A1 E1 ) (A2 E2 ), segue-se que ((A1 A2 ) (E1 E2 )) (A1 E1 ) + (A2 E2 ) < . Logo A1 A2 MF . Sendo MF fechada para reunies e complementares, claro que se A, B MF o e ento A B = (Ac B)c MF . Como Rn , MF conclu a mos que MF uma e algebra. Para ver que a restriao de a MF aditiva, sejam A1 , A2 MF conjuntos c e disjuntos. J sabemos que a (A1 A2 ) (A1 ) + (A2 ). Basta pois mostrar a desigualdade oposta e para isso podemos assumir que (A1 ), (A2 ) < +. Dado > 0, escolha-se conjuntos elementares E1 , E2 A tais que: (A1 Como A1 A2 = , temos E1 E2 (A1 E1 ) (A2 E2 ), E1 ) < , (A2 E2 ) < .

O INTEGRAL DE LEBESGUE

11

e conclu mos que (E1 E2 ) < 2. Por outro lado, pelo lema A.12, tambm temos e | (A1 ) (E1 )| < , | (A2 ) (E2 )| < .

Tomemos A = A1 A2 e E = E1 E2 . Visto que para conjuntos elementares a medida exterior aditiva, obtemos e (E) = (E1 ) + (E2 ) (E1 E2 ) > (A1 ) + (A2 ) 4. Finalmente, observamos que A logo (A1 A2 ) (E) (A Como era arbitrrio, conclu a mos que (A1 A2 ) (A1 ) + (A2 ), o que mostra que a restriao de a MF aditiva. A vericaao das propriedades c e c (i)-(iii) deixada como exerc e cio. A funao : M [0, +] costuma designar-se por medida de Lebesgue. A c classe M dos conjuntos mensurveis a Lebesgue uma classe bastante ampla e a ` e inclui muitos dos conjuntos que nos so familiares. Por exemplo, como M uma a e -lgebra e contm os rectngulos I Rn , vemos que: a e a (i) M contm os conjuntos abertos O Rn , pois todo o aberto de Rn uma e e unio numervel de rectngulos; a a a (ii) M contm os conjuntos fechados F Rn , pois todo o conjunto fechado o e e complementar de um conjunto aberto. E claro que M contm muitos outros conjuntos. Por exemplo, M contm os cone e juntos que antes designamos por conjuntos de medida nula, pois estes so de facto a os conjuntos mensurveis a Lebesgue com medida de Lebesgue nula. a ` Problemas
A.6. Complete a demonstraao da Proposiao A.8. c c A.7. Se A, B Rn dena d(A, B) = (A (a) (b) (c) (d) B). Mostre que esta funao satisfaz: c d(A, B) 0 e d(A, A) = 0; d(A, B) = d(B, A); d(A, C) d(A, B) + d(B, C); | (A) (B)| d(A, B), se (A), (B) < +.

E (A1

E1 ) (A2

E2 ),

E) > (A1 ) + (A2 ) 6.

O que que pode dizer se d(A, B) = 0? e A.8. Mostre que:

A.9. Mostre que o conjunto E do exemplo A.9 no mensurvel a Lebesgue. a e a ` A.10. Mostre que um conjunto mensurvel a Jordan mensurvel a Lebesgue. Ser o a ` e a ` a inverso verdadeiro?

(a) Se A M e (A) < + ento A MF ; a S (b) Se A M ento A = Aj com Aj MF disjuntos dois a dois; a j=1 S (c) Se Aj MF ento A = Aj M. a j=1

12

RUI LOJA FERNANDES

A.11. Considere conjuntos A0 A1 A2 . . . onde cada Ai uma unio nita de e a intervalos obtidos indutivamente da seguinte forma: A0 = [0, 1] e Ai+1 obtido a partir e de Ai retirando o tero do meio de cada intervalo de Ai . Assim: c A0 = [0, 1]; 2 1 A1 = [0, ] [ , 1]; 3 3 1 2 3 6 7 8 A2 = [0, ] [ , ] [ , ] [ , 1]; 9 9 9 9 9 9 . . . Mostre que o conjunto de Cantor C = + Ai mensurvel e no numervel. Qual e a a a e i=0 a sua medida de Lebesgue?

Funcoes Mensuraveis Denio A.15. Seja f : A R uma funao denida num conjunto mensurvel ca c a A Rn . Dizemos que f uma funao mensurvel (` Lebesgue) se o conjunto e c a a f 1 (]c, +[) = {x A : f (x) > c} mensurvel para todo o c R. e a Na deniao de funao mensurvel pod c c a amos ter utilizado, em vez de f 1 (]c, +[), qualquer um dos conjuntos f 1 ([c, +[), f 1 (] , c[) ou f 1 (] , c]): Proposio A.16. Seja f : A R uma funao denida num conjunto mensurvel ca c a A Rn . As seguintes armaoes so todas equivalentes: c a (i) {x A : f (x) > c} mensurvel, para todo o c R; e a (ii) {x A : f (x) c} mensurvel, para todo o c R; e a (iii) {x A : f (x) < c} mensurvel, para todo o c R; e a (iv) {x A : f (x) c} mensurvel, para todo o c R. e a Demonstraao. As relaoes: c c
+

{x A : f (x) c} =
k=1

x A : f (x) > c

1 k

{x A : f (x) < c} = A {x A : f (x) c}

+

{x A : f (x) c} =
k=1

x A : f (x) < c +

1 k

{x A : f (x) > c} = A {x A : f (x) c} mostram que (i) (ii) (iii) (iv) (i). Exemplos A.17. 1. Se f : Rn R uma funao contnua ento f mensurvel: como o e c a e a conjunto ]c, +[ aberto e f contnua sabemos que f 1 (]c, +[) aberto, e e e logo mensurvel. e a 2. A funao de Dirichelet f : [0, 1] R dada por: c se x [0, 1] Q; 0, f (x) = 1, caso contrrio, a

mensurvel a Lebesgue (porqu?). e a ` e 3. Mais geralmente, a funao caracterstica A : Rn A de um conjunto c A Rn mensurvel sse A um conjunto mensurvel. Assim, existem e a e a funoes que no so mensurveis. c a a a

O INTEGRAL DE LEBESGUE

13

Os prximos resultados permitem obter mais exemplos de funoes mensurveis. o c a Proposio A.18. Se f, f1 , f2 , . . . so funoes mensurveis, ento ca a c a a (i) |f | mensurvel; e a (ii) sup fn , inf fn , lim supn fn e lim inf n fn so mensurveis; a a Demonstraao. A parte (i) segue-se da proposiao anterior e da relaao c c c {x A : |f (x)| > c} = {x A : f (x) > c} {x A : f (x) < c} . Por outro lado, se g(x) = sup fn (x), vemos que
+

{x A : g(x) > c} =
n=1

{x A : fn (x) > c} .

Assim sup fn mensurvel. De igual modo mostra-se que inf fn mensurvel. e a e a Como temos que lim sup fn = inf gm
n

onde gm (x) = sup {fn (x) : n m}, vemos ainda que lim supn fn mensurvel. e a De forma anloga mostra-se que lim inf n fn mensurvel. Portanto, (ii) tambm a e a e se verica. Corolrio A.19. Se f, g so funoes mensurveis, ento max(f, g) e min(f, g) a a c a a so funoes mensurveis. Em particular, f + = max(f, 0) e f = min(f, 0) so a c a a funoes mensurveis. c a Corolrio A.20. Se f1 , f2 , . . . so funoes mensurveis e f (x) = limn fn (x), a a c a ento f mensurvel. a e a Se A um conjunto mensurvel designamos por M (A) o conjunto das funoes e a c mensurveis em A. O prximo resultado mostra que este conjunto um espao a o e c linear para as operaoes usuais de adiao de funoes e multiplicaao de uma funao c c c c c por um nmero real. u Teorema A.21. Sejam f, g : A R funoes mensurveis. Se F : R2 R uma c a e funao contnua, ento a funao c a c h(x) = F (f (x), g(x)) mensurvel. Em particular, f + g, f g e f g tambm so mensurveis. e a e a a Demonstraao. O conjunto Oc = c cont nua, logo podemos escrever (x, y) R2 : F (x, y) > c
+

aberto, pois F e e

Oc =
k=1

Ik ,

onde cada Ik um rectngulo aberto de R2 : e a Ik = (x, y) R2 : ak < x < bk , ck < y < dk . Como os conjuntos {x A : ak < f (x) < bk } = {x A : f (x) < bk } {x A : f (x) > ak } {x A : ck < g(x) < dk } = {x A : g(x) < bk } {x A : g(x) > ak } so mensurveis, segue-se que o conjunto a a {x A : (f (x), g(x)) Ik } = {x A : ak < f (x) < bk } {x A : ck < g(x) < dk } mensurvel. Logo, tambm mensurvel o conjunto: e a e e a
+

{x A : F (f (x), g(x)) > c} =

k=1

{x A : (f (x), g(x)) Ik } .

14

RUI LOJA FERNANDES

Assim, as operaoes mais comuns da Anlise, incluindo as passagens ao limite, c a quando aplicadas a funoes mensurveis resultam em funoes mensurveis ( 3). c a c a A seguinte classe de funoes desempenha um papel importante na teoria. c Denio A.22. Um funao simples uma funao s : Rn R cuja imagem ca c e c e nita, i.e., s(x) assume um nmero nito de valores. u As funoes constantes so funoes simples. Se A Rn , ento a funao caractec a c a c r stica de A dada por se x A, 1 A (x) = 0 se x A, uma funao simples. Qualquer funao simples s : Rn R uma combinaao e c c e c linear de funoes caracter c sticas. De facto, se Im s = {c1 , . . . , cm }, basta tomar Ai = {x Rn : s(x) = ci } de forma que
m

s=
i=1

c i Ai .

Vemos, ainda, que a funao simples s mensurvel sse os conjuntos Ai so menc e a a surveis. a Qualquer funao pode ser aproximada por funoes simples. No caso de uma c c funao mensurvel, podemos escolher funoes simples mensurveis. c a c a Teorema A.23. Seja f : A R uma funao. Ento existe uma sucesso {s k }kN c a a de funoes simples tais que c
k

lim sk (x) = f (x),

x A.

Temos ainda que: (i) Se f mensurvel, os sk podem ser escolhidos mensurveis; e a a (ii) Se f 0, podemos escolher {sk }kN uma sucesso montona crescente: a o 0 s1 (x) s2 (x) sk (x) f (x), j j 1 f (x) < k k 2 2 Bk = {x A : f (x) k} . xA:
k2k

x A.

Demonstraao. Se f 0 denimos, para cada k = 1, 2, . . . , conjuntos c Akj = , j = 1, . . . , k2k ,

Basta ento tomar a sk =

j=1

j 1 Akj + kBk . 2k

No caso geral, escrevems f = f + f , com f + , f 0. e constru mos sucesses o de funoes simples s+ , s que convergem para f + e f . A sucesso de funoes c a c k k simples sk = s+ s converge para f . Se f mensurvel, os conjuntos Akj e Bk e a k k so mensurveis, logo os sk so mensurveis. a a a a Problemas
A.12. Seja f M (A). Mostre que se B A mensurvel ento f M (B). e a a
3No entanto, deve-se observar que a composiao de duas funoes mensurveis pode no ser c c a a

mensurvel. a

O INTEGRAL DE LEBESGUE

15

A.13. Seja f M (A). Mostre que o conjunto {x A : f (x) = c} mensurvel para todo o real c R. e a A.14. Sejam f, g M (A), e suponha que g = 0 em A. Mostre que a funao c survel em A. a
f g

mene

A.15. Seja f uma funao mensurvel. Mostre que se g(x) = f (x), excepto num conjunto c a de medida nula, ento g mensurvel. a e a A.17. Seja {fk }kN uma sucesso de funoes mensurveis. Mostre que o conjunto dos a c a pontos onde {fk (x)}kN converge mensurvel. e a A.16. Mostre que uma funao f : R R montona mensurvel. c o e a

A.18. Construa um exemplo de uma funao f para a qual no existe uma sucesso c a a montona crescente de funoes simples {sk }kN tal que limk sk = f . o c

A.19. Mostre que se f : A R limitada ento existe uma sucesso {s k }kN de funoes e a a c simples que converge uniformemente para f , i.e., tal que
k

lim sup {|sk (x) f (x)| : x A} = 0.

A.20. Mostre que se f, g : R R com f mensurvel e g cont a nua, ento gf mensurvel. a e a O que pode dizer de f g?

O Integral de Lebesgue Vamos agora denir o integral de Lebesgue de uma funao mensurvel sobre um c a conjunto mensurvel, em situaoes bastante gerais. a c Seja s : Rn R uma funao simples mensurvel, no negativa, c a a
m

s=
i=1

c i Ai ,

ci 0.

Se A M um conjunto mensurvel, denimos: e a

m

IA (s) =
i=1

ci (A Ai ).

Denio A.24. Seja f : A R uma funao mensurvel, no-negativa, denida ca c a a num conjunto mensurvel. O integral de Lebesgue de f em A : a e f d = sup {IA (s) : s uma funao simples, mensurvel, com 0 s f } . e c a
A

No caso de uma funao simples s : Rn R verica-se facilmente que c sd = IA (s).

A

Uma vez denido o integral para uma funao no-negativa podemos denir o intec a gral para uma funao mensurvel atravs da decomposiao f = f + f , onde as c a e c componentes f so as funoes mensurveis, no-negativas, denidas por: a c a a f + = max(f, 0), f = min(f, 0).

Denio A.25. Seja f : A R uma funao mensurvel, denida num conjunto ca c a mensurvel. O integral de Lebesgue de f em A a e f d =
A A A

f + d
A

f d,

desde que pelo menos um dos integrais

f d seja nito.

16

RUI LOJA FERNANDES

Note que o integral de Lebesgue de uma funao assume valores em [, +]. c Dizemos que f : A R uma funo integrvel em A, e escrevemos f L(A) e ca a se o integral de Lebesgue de f existe e nito. e Na proposiao seguinte fornecemos algumas propriedades elementares do integral c de Lebesgue. A sua demonstraao ca como exerc c cio. Proposio A.26. Seja A um conjunto mensurvel e f : A R uma funao ca a c mensurvel. a (i) Se f limitada e (A) < + ento f L(A); e a (ii) Se f, g L(A) e f (x) g(x) para x A ento a f d
A A

gd;

(iii) Se a f (x) b para x A e (A) < + ento f L(A) e a a(A)

A

f d b(A);

(iv) Se (A) = 0 ento a f d = 0;

A

(v) Se f L(A) e B A mensurvel ento f L(B). e a a Uma outra propriedade importante do integral de Lebesgue a -aditividade em e relaao ao dom c nio de integraao. c Teorema A.27. Seja f uma funao mensurvel no-negativa e A = j=1 Aj uma c a a unio numervel de conjuntos mensurveis, disjuntos dois a dois. Ento a a a a
+ +

f d =
A j=1 Aj

f d.

Demonstraao. Pretende-se mostrar que a funao : M R dada por c c (A) =

A

f d,

uma funao -aditiva. e c Se f = X uma funao caracter e c stica dum conjunto mensurvel X, ento a a a -aditividade de no mais que a -aditividade de . a e m Se f = s uma funao simples, mensurvel, no-negativa, ento s = k=1 ck Xk e c a a a com ck > 0 e verica-se tambm a -aditividade. e Seja ento f mensurvel, no-negativa. Se 0 s f uma funao simples, a a a e c mensurvel, ento a a
+ +

sd =
A j=1 Aj

sd
j=1 + Aj

f d,

logo sub-aditiva: e (A)

j=1

(Aj ).

Falta pois mostrar a desigualdade oposta. Como (A) (Aj ) o resultado e verdadeiro se algum (Aj ) = +. Podemos pois assumir que (Aj ) < +, para todo o j. Ento, para N N xo, dado > 0 podemos escolher uma funao simples a c 0 s f , mensurvel, tal que a sd
Aj Aj

f d

, N

j = 1, . . . , N.

O INTEGRAL DE LEBESGUE

17

Logo, vemos que

N N N

(
j=1

Aj )
SN
j=1

sd =
Aj j=1 Aj

sd
j=1

(Aj ) .

Sendo > 0 arbitrrio, esta desigualdade mostra que a

N N

(
j=1

Aj )
j=1

(Aj ).

Finalmente, observando que

N j=1

Aj A, obtemos
+

(A)
j=1

(Aj ).

Corolrio A.28. Seja A M e B A com (A B) = 0, ento a a f d =

A B

f d

Este resultado mostra que os conjuntos de medida nula no contribuem para o a valor do integral. Assim, na teoria da integraao, frequente estarmos interessados c e em armaoes P (x) que so verdadeiras excepto possivelmente para x N , onde c a N um conjunto de medida nula. Dizemos nesse caso, que P (x) verdadeira quase e e em toda a parte, o que abreviamos para P (x) verdadeira q.t.p. e Problemas
A.21. Mostre que se f L(A) e B A mensurvel ento f L(B). e a a (a) Se f, g L(A) e f (x) g(x) para x A ento a Z Z f d gd;
A A

A.22. Seja A um conjunto mensurvel e f : A R uma funao mensurvel. Mostre que: a c a

(b) Se a f (x) b para x A e (A) < + ento f L(A) e a Z a(A) f d b(A);

A

A.23. Seja A um conjunto mensurvel e f : A R uma funao mensurvel. Mostre que a c a R a se f 0 e A f d = 0 ento f (x) = 0 q.t.p. R A.24. Se f L(Rn ) uma funao tal que A f d = 0 para todo o A M, o que que e c e pode dizer sobre f ? A.25. Mostre que o teorema A.27 pode ser generalizado a funoes f L(A). c A.26. Mostre que se f L(A) e g(x) = f (x) q.t.p. em A, ento g L(A) e a Z Z f d. gd =
A A

A.27. Mostre que se f L(A) ento |f | L(A) e a Z Z f d |f | d.

A A

A.28. Mostre que se f mensurvel em A e |f | g com g L(A) ento f L(A). e a a

18

RUI LOJA FERNANDES

Teoremas de Convergncia e Uma das propriedades mais uteis do integral de Lebesgue a possibilidade de, e sob hipteses bastante fracas, podermos trocar o sinal de integral e de limite: o
k+

lim

fk d =
A

A k+

lim fk d.

Nesta secao vamos estudar alguns resultados deste tipo. c Teorema A.29. (Teorema da Convergncia Montona de Levi) Seja A M e o e {fn }nN uma sucesso de funoes mensurveis em A tais que a c a 0 f1 (x) f2 (x) . . . Se f : A R tal que e
k+

(x A).

lim fk (x) = f (x),

(x A),

ento a
k+

lim

fk d =
A A

f d.

Demonstraao. Como 0 f1 (x) f2 (x) f (x) para x A, vemos que c existe l [0, +] tal que
k+

lim

fk d = l
A

l
A

f d.

Falta pois mostrar que l A f d. Seja 0 < c < 1 e 0 s f uma funao simples mensurvel. Dena-se c a Ak = {x A : fk (x) cs(x)}
+

(k = 1, 2, . . . ).

Como 0 f1 (x) f2 (x) f (x) em A, vemos que A1 A2 . . . e A=

k=1

Ak ,

Conclu mos que, para todo o k, fk d

A Ak

fk d c
Ak

sd.

Tomando k +, podemos aplicar o teorema A.6 (pois o integral -aditivo), e para concluir que lc
A

sd.

Sendo 0 < c < 1 arbitrrio, isto mostra que a l

A

sd,
A

para toda a funao simples 0 s f . Logo l c

f d, como pretendido.

1. Para cada k = 1, 2, . . . , dena-se fk : [0, 1] R por 8 se x = {q1 , . . . , qk } , < 1 fk (x) = : 0 caso contrrio. a

O exemplo seguinte mostra que os resultados de convergncia obtidos no so e a a vlidos se substituirmos integral de Lebesgue por integral de Riemann. a Exemplo A.30. Seja {q1 , q2 , . . . } = Q [0, 1] uma enumeraao dos racionais entre 0 e c

O INTEGRAL DE LEBESGUE

19

Ento f (x) = limk+ fk a funao de Dirichelet. Conclu a e c mos do teorema da convergncia montona que e o Z Z f d = lim fk d = 0,
[0,1] k+ [0,1]

logo f integrvel a Lebesgue. E claro que este resultado podia ser obtido de forma mais e a ` rpida observando que a funao de Dirichelet uma funao simples. a c e c

Corolrio A.31. Seja A um conjunto mensurvel. Ento L(A) um espao veca a a e c torial e o integral : L(A) R uma transformaao linear. e c Demonstraao. preciso mostrar que se f, g L(A), c R, ento f + g, cf L(A) c e a e (f + g)d =
A A

f d +
A

gd,

cf d = c
A A

f d.

Limitamo-nos a demonstrar a primeira relaao, deixando a segunda como exerc c cio. Suponhamos primeiro que f, g 0. Se f, g so simples, ento a a (s1 + s2 )d = IA (s1 + s2 ) = IA (s1 ) + IA (s2 ) =
A A

s1 d +
A

s2 d.

Seno, pelo teorema A.23, podemos escolher sucesses montonas de funoes sima o o c ples {sn }nN e {sn }nN que convergem para f e g. Como (sn + sn )d =
A A

sn d +
A

sn d,

passando ao limite, conclu mos que (f + g)d =

A A

f d +
A

gd.

Para provar o caso geral consideram-se separadamente os conjuntos onde f e g tm e sinal constante. Para obter um resultado de convergncia para sucesses no-montonas de fune o a o coes precisamos do Lema A.32. (Lema de Fatou) Seja A M e {fn }nN uma sucesso de funoes a c no-negativas, mensurveis em A. Se f : A R tal que a a e
k+

lim inf fk (x) = f (x),

(x A),

ento a
k+

lim inf
A

fk d
A

f d.

Demonstraao. Para cada m = 1, 2, . . . , dena-se c gm (x) = inf {fk (x) : k m} , Ento gm mensurvel em A e temos a e a 0 g1 (x) g2 (x) . . . com
m+

(x A).

lim gm (x) = f (x).

Pelo teorema da convergncia montona, conclu e o mos que

m+

lim

gm d =
A A

f d.

20

RUI LOJA FERNANDES

Como fm (x) gm (x) para x A, obtemos

k+

lim inf
A

fk d

m+

lim

gm d =
A A

f d.

Como mostra um exerc no nal desta secao, a desigualdade do lema de Fatou cio c pode ser estrita. Teorema A.33. (Teorema da Convergncia Dominada de Lebesgue) Seja e A M e {fn }nN uma sucesso de funoes mensurveis em A. Se f : A R tal a c a e que lim fk (x) = f (x), (x A),
k+

e existe g L(A) tal que |fk (x)| g(x), ento a

k+

(x A), f d.
A

lim

fk d =
A

Demonstraao. Como fk e f so mensurveis e dominadas por uma funao inc a a c tegrvel, por um exerc da secao precedente, vemos que f k , f L(A). a cio c Como fk + g 0 o lema de Fatou mostra que (f + g) d lim inf
A k+ A

(fk + g) d,

ou seja f d lim inf

A k+ A

fk d.

Por outro lado, g fk 0 logo, tambm pelo lema de Fatou, e (g f ) d lim inf
A k+ A

(g fk ) d,

ou seja
A

f d lim inf
k+ A

fk d,

o que equivale a f d lim sup

A k+ A A

fk d. f d.

Assim, vemos que limk+

fk d existe e igual a e

Corolrio A.34. (Teorema da Convergncia Limitada) Se (A) < +, a e {fn }nN uma sucesso limitada de funoes mensurveis em A e f : A R tal e a c a e que lim fk (x) = f (x), (x A),
k+

ento a
k+

lim

fk d =
A A

f d.

Demonstraao. Por hiptese, existe M > 0 tal que |fk (x)| M para x A. Como c o (A) < +, uma funao constante em A integrvel, logo podemos aplicar o c e a teorema da convergncia dominada. e Observe que no dois resultados anteriores a funao limite uma funao integrvel. c e c a Por outro lado, no Teorema da Convergncia Montona a funao limite pode ter e o c integral +.

O INTEGRAL DE LEBESGUE

21

Exemplo A.35. As funoes c

fk (x) = cosk (x) , 1 + x2 (x [0, ]),

formam uma sucesso limitada de funoes mensurveis e a c a

k+

lim fk (x) = 0,

x = 0, .

Pelo teorema da convergncia limitada vemos que e Z Z cosk (x) cosk (x) lim d = d = 0. lim 2 2 k+ [0,] 1 + x [0,] k+ 1 + x

Problemas
A.29. Seja g(x) = 0 para 0 x funoes fk : [0, 1] R por c
1 2

e g(x) = 1 para f2k (x) = g(x),

1 2

< x 1. Dena uma sucesso de a

f2k+1 (x) = g(1 x). Mostre que para esta sucesso a desigualdade do lema de Fatou estrita. a e A.30. Seja A M e {fn }nN uma sucesso de funoes no-negativas, mensurveis em a c a a A. Mostre que: Z X + + XZ fk d. fk d =
k=0 A A k=0

A.31. Seja A M e {fn }nN uma sucesso de funoes mensurveis em A. Mostre que a c a P+ se existe g L(A) tal que k=0 |fk (x)| g(x), ento: a
+ XZ k=0

fk d =
A

Z X +
A k=0

fk d.

A.32. Se A mensurvel, dizemos que f L2 (A) se f : A R mensurvel e e a e a Z |f |2 d < +.

A

Se f, g L (A) ento dene-se a norma em L2 por: a f = e o produto interno em L2 por f, g = Mostre que: (a) Se f L2 (A) e c R ento cf = |c| f ; a (b) Se f, g L2 (A) ento f g L(A) e vlida a desigualdade de Schwarz: a e a | f, g | f
2 2

|f |2 d

f gd.

g ;

(c) Se f, g L (A) ento f + g L (A) e vlida a desigualdade triangular a e a f +g f + g . O que que pode dizer sobre f se f = 0? e

22

RUI LOJA FERNANDES

Relacao com o Integral de Riemann Vamos agora mostrar que o integral de Lebesgue uma extenso do integral de e a Riemann, i.e., que se f : A R uma funao integrvel a Riemann ento f e c a ` a e integrvel a Lebesgue e os dois integrais coincidem. Assim, a teoria de Lebesgue a ` , de facto, uma extenso da noao de integral a uma classe muito mais ampla de e a c funoes. c Teorema A.36. Seja f : A R uma funao integrvel a Riemann. Ento f c a ` a e integrvel a Lebesgue e a ` f d =
A A

f dx1 dx2 . . . dxn

Demonstraao. Podemos assumir que A Rn um rectngulo limitado. Para c e a k = 1, 2, . . . , existe uma partiao Pk de A tal que c (a) Pk+1 um renamento de Pk ; e (b) limk+ L(f, Pk ) = f e limk+ U (f, Pk ) =
A A

f;

Sejam Uk e Lk funoes simples tais que para todo o rectngulo S de Pk temos c a Lk (x) = mS (f ) Ento claro que a e L(f, Pk ) =
A

Uk (x) = MS (f )

(x intS).

Lk d,

U (f, Pk ) =
A

Uk d,

e por (a) vemos que L1 (x) L2 (x) f (x) U2 (x) U1 (x) Assim, existem funoes mensurveis c a L(x) = lim Lk (x),
k+

(q.t.p. em A).

U (x) = lim Uk (x),

k+

(q.t.p. em A),

tais que L(x) f (x) U (x), (q.t.p. em A). De (b) e pelo teorema da convergncia montona, conclu e o mos que Ld =
A A

f dx,
A

U d =
A

f dx.

Se f integrvel a Riemann, estes dois integrais so iguais. Logo, temos U L 0 e a ` a q.t.p. em A, e (U L)d = 0.
A

Por um exerc da secao anterior, conclu cio c mos que U = L q.t.p. em A. Assim, f (x) = U (x) = L(x) q.t.p. em A, portanto f integrvel a Lebesgue e e a ` f d =
A A

f dx1 dx2 . . . dxn .

A relaao entre o integral de Lebesgue e de Riemann, que acabmos de mostrar, c a tambm util no clculo de integrais de Lebesgue, pois muitas funoes integrveis e e a c a so limites de funoes cont a c nuas e para estas sabemos calcular o seu integral de Riemann. Ilustramos esta tcnica nos exemplos seguintes. e

O INTEGRAL DE LEBESGUE

23
1 xa

Exemplo A.37. Seja a > 0 e consideremos a funao f (x) = c

Para cada k = 1, 2, . . . , as funoes c fk (x) = 8 < :
1 xa 1 se x [ k , 1[, 1 se x ]0, k [,

no intervalo A =]0, 1[.

so limitadas e cont a nuas q.t.p., logo so integrveis a Riemann e a a ` 8 1 ` a1 Z 1 Z 1 (a = 1), < a1 k 1 fk dx = dx = a 1 x : ]0,1[ k log k (a = 1).

Assim, vemos que {fk } uma sucesso montona de funoes integrveis a Lebesgue, noe a o c a ` a negativas, tais que f (x) = lim fk (x).
k+

Por exemplo, vemos que

Pelo teorema da convergncia montona, conclu e o mos que 8 1 Z Z < 1a 1 d = lim fk dx = a k+ ]0,1[ : ]0,1[ x +
1 x

se a < 1, se a 1.

Exemplo A.38. Para cada y > 0 consideremos a funao f :]0, +[ R denida por c
f (x) = ex xy1 . Armamos que f L(]0, +[). De facto, para x ]0, 1[ temos que

L(]0, 1[) mas

1 x

L2 (]0, 1[).

e, pelo exemplo precedente, a funao xy1 integrvel se y > 0. Portanto, f L(]0, 1[). c e a Para x 1 a funao exp(x/2)xy1 cont c e nua e tende para zero quando x . Logo existe M > 0 tal que f (x) M ex/2 (x 1),

|f (x)| xy1

e basta vericar que exp(x/2) L([1, +[). Dena-se fk : [1, +[ R por 8 x/2 se x [1, k], < e fk (x) = : 0 se x ]k, +[, Ento fk integrvel a Riemann em [1, k] e a e a ` Z Z k fk d = ex/2 dx = 2 e1/2 e1/k .
[1,+[ 1

Pelo teorema da convergncia montona, conclu e o mos que exp(x/2) L([1, +[) com Z 2 ex/2 d = . e [1,+[ Conclu mos ainda que f L(]0, +[). A funao gama a funao :]0, +[ R denida por c e c Z (y) = ex xy1 dx .
]0,+[

Deixamos como exerc cio mostrar que (1) = 1 e que esta funao satisfaz a relaao de c c recorrncia e (y + 1) = y(y). Em particular, conclui-se que sobre os inteiros esta funao coincide com a funao factorial: c c (n + 1) = n! (n = 0, 1, 2, . . . ).

24

RUI LOJA FERNANDES

Exemplo A.39. Seja f : R2 R a funao c

2

f (x, y) = e(x

+y 2 )

Ento {fk }kN uma sucesso montona que converge pontualmente para f . Usando a a e a o frmula de mudana de variveis calculamos o c a Z Z Z 2 Z k 2 2 2 2 fk d = e(x +y ) dxdy = er rdr d = 1 ek .
R2 Bk (0) 0 0

Denimos funoes integrveis fk : R R por c a 8 2 2 < e(x +y ) fk (x, y) = : 0

se (x, y) Bk (0), se (x, y) Bk (0)

Pelo teorema da convergncia montona, conclu e o mos que f L(R 2 ) e Z Z fk d = . f d = lim

R2 k+ R2

Como

f d =

R2

Z Z

e
R

x2

dx

y 2

dy

obtemos

ex d =

Problemas
A.33. Calcule ou mostre que no existem os seguintes limites: a R + (a) 1 t sin( 1 ) 1 dt; t R + 1 t e k dt; (b) limk 0 R + t cos(x/n) (c) limn+ 0 dx; 1+x2 R + |x| (d) limn+ e cosn x dx; R 1 (e) B (x2 +y2 )2 dxdy onde B = {(x, y) R2 : x2 + y 2 > 1}. x2 +y2 +z 2 R (f) limn+ B ex2 +yn +z2 dxdydz onde B = {(x, y, z) R3 : 0 < x2 + y 2 + z 2 < 1}. 2

A.34. Seja A M com (A) < +. Mostre que L2 (A) L(A) (ver o ultimo exerc cio da secao anterior). O que que pode dizer se (A) = +? c e A.35. Mostre que a funao satisfaz: c (1) = 1, (y + 1) = y(y). Sugestao: Aplique integraao por partes ao integral c Z k ex xy dx.
1 k

A.36. Considere a funao g : R R denida por c Z t2 2 g(t) = etx dx.

0

(a) Mostre que g cont e nua; (b) Mostre que g diferencivel; e a (c) Calcule g (0).

O INTEGRAL DE LEBESGUE

25

Bibliograa
M. Spivak, Calculus on Manifolds, Addison-Wesley,1992 L. T. Magalhes, Integrais Mltiplos, 2 a Ediao, Texto Editora, 1995. a u c W. Rudin, Principles of Mathematical Analysis, McGraw Hill, 1976. W. Rudin, Real and Complex Analysis, McGraw Hill, 1986. A. Kolmogorov e S. Fomin, Elementos da Teoria das Funoes e de c Anlise Funcional, MIR, 1982. a [6] F. Riesz e B. Nagy, Functional Analysis, Dover, 1990. [1] [2] [3] [4] [5]