UNIVERSIDADE FEDERAL DE MINAS GERAIS

Instituto de Cincias Exatas ICEX

Departamento de Matemtica

Da Integral de Riemann para a

Integral de Lebesgue

Leidyanna Jhonaika Garcia Lima

Belo Horizonte
2012
 Leidyanna Jhonaika Garcia Lima

Da Integral de Riemann para a

Integral de Lebesgue

Monografia apresentada ao programa de ps

graduao em Matemtica para Professores
com nfase em Clculo da Universidade
Federal de Minas Gerais UFMG, como
requisito parcial obteno do ttulo de
Especialista em Educao Matemtica.

Orientadora: Prof. Dra. Jussara de Matos Moreira

Belo Horizonte
2012
Agradecimentos
Agradeo a Deus por todas as graas concedidas, pela fora e inspirao no decorrer deste
trabalho.
Agradeo a minha famlia, em especial a minha me e a meus irmos pelo apoio e
incentivo.
Agradeo aos amigos, colegas e a meu namorado pela solidariedade e compreenso.
Agradeo minha orientadora por seu apoio, dedicao e pacincia.
Sumrio

Introduo ............................................................................................................................... 6
1 - Preliminares ....................................................................................................................... 7
1.1 A evoluo do Clculo ............................................................................................... 7
1.2 Henri Lon Lebesgue................................................................................................ 12
2 A construo da Integral de Riemann............................................................................. 14
2.1 Conceitos Bsicos ................................................................................................... 14
2.2 Integral de Riemann.................................................................................................. 18
2.3 Uma melhor definio para a Integral de Riemann ................................................. 25
3 - Introduo Teoria da Medida ....................................................................................... 29
3.1 lgebra e -lgebra ................................................................................................ 29
3.2 Medidas .................................................................................................................... 37
3.3 Espao de Medida..................................................................................................... 38
3.4Medida de Lebesgue na Reta ..................................................................................... 39
4 A Integral de Lebesgue .................................................................................................. 43
4.1 Funo Mensurvel ................................................................................................. 43
4.2 A Integral de Lebesgue ........................................................................................... 46
4.3 Relao entre a integral de Lebesgue e a de Riemann ............................................ 53
Consideraes Finais ............................................................................................................ 60
Referncias Bibliogrficas .................................................................................................... 62
Resumo
Neste trabalho foi feito um estudo sobre o desenvolvimento do Clculo ao longo dos

sculos e foi abordada de maneira introdutria a Integral de Lebesgue, tendo como objetivo

ressaltar sua construo e fazer uma comparao com a Integral de Riemann.

Para cumprir esse objetivo foram estudados os conceitos necessrios para a

construo da Integral de Lebesgue dando assim uma breve abordagem aos fundamentos da

Teoria da Medida. No se pretende fazer um estudo sistemtico desta teoria, iremos

apresent-la fazendo uma exposio dos seus principais resultados que so necessrios para

o processo de construo da Integral de Lebesgue.

 6

Introduo
O Clculo Diferencial e Integral detm grande importncia para os estudantes de

Cincias Exatas. Ele est presente em diversos cursos e possui uma ampla rede de

aplicaes.

O principal objetivo deste trabalho desenvolver atravs de uma linguagem

acessvel a estudantes de graduao, uma comparao entre a tcnica de integrao de

Riemann e a tcnica de integrao de Lebesgue que se baseia na Teoria da Medida.

Seus captulos esto divididos em duas partes distintas: Na primeira, damos nfase

s contribuies dos principais matemticos ao longo dos sculos para o desenvolvimento

do Clculo Diferencial e Integral e dedicamos um captulo ao matemtico francs, Henri

Lon Lebesgue. Na segunda, revemos a construo da Integral de Riemann, depois

apresentamos uma breve introduo Teoria da Medida e Integral de Lebesgue e por fim

damos destaque comparao entre as integrais de Riemann e Lebesgue.

 7

1 - Preliminares
1.1 A evoluo do Clculo
Muitos matemticos contriburam de forma direta ou indireta, atravs dos sculos,

para que se chegassem formalizao do Clculo como conhecemos hoje. Cada

matemtico, ao seu tempo, desenvolveu novas idias e aperfeioou os mtodos para o

estudo e a aplicao do Clculo em diferentes reas do conhecimento. Acredita-se que as

primeiras idias do Clculo surgiram na Grcia Antiga h 2500 anos. Matemticos como

Eudoxo, Euclides e Arquimedes, deram contribuies fundamentais para o clculo da rea

de polgonos, crculos e outras figuras geomtricas.

Eudoxo (408-355 a.C.) criou o mtodo da exausto, que permitia aproximar

a rea da figura dada por meio de outras reas e volumes conhecidos, utilizando-se

de polgonos inscritos na figura e circunscritos a ela. Observe na figura abaixo um

exemplo de aplicao do mtodo da exausto para o clculo aproximado da rea de

um crculo.

Figura 1 Exemplo do mtodo da exausto

 8

Na figura, n representa o nmero de lados do polgono utilizado. A rea do crculo

seria um valor que figurava rigorosamente entre a rea do polgono circunscrito e a

rea do polgono inscrito. Quanto maior o nmero de lados do polgono utilizado,

maior exatido se teria para o valor da rea do crculo.

Euclides (360-295a.C.) tambm tinha seu mtodo da exausto, muito

utilizado em suas demonstraes para o desenvolvimento da geometria, conhecida

como Geometria Euclidiana.

Arquimedes (287-212 a.C.) desenvolveu e aperfeioou o mtodo da

exausto. considerado um dos maiores matemticos de todos os tempos. Ele fez

uma significativa contribuio ao Clculo ao achar a rea da regio limitada por

uma parbola e uma reta, fazendo a soma das reas de infinitos tringulos. Foi o

primeiro a calcular soma com infinitos termos.

No sculo XVI, com o incio da Revoluo Cientfica na Europa, a cincia foi

perdendo suas influncias mstico-religiosas tornando-se cada vez mais estruturada na

razo. Nessa poca havia grande dedicao ao estudo sobre o movimento dos planetas.

Johannes Kepler (1571-1630) desenvolveu clculos de volumes de vrios slidos

tridimensionais atravs de fatias muito finas chamadas de infinitsimos (ou

indivisveis) cuja soma se aproximaria do volume total do slido. Ele tambm

utilizou o mtodo de infinitsimos para encontrar a quadratura de segmentos de uma

elipse ao formular a sua segunda lei sobre o movimento dos planetas.

Galileu Galilei (1564-1642) tambm atravs do mtodo de infinitsimos mostrou

que a rea sob a curva velocidade versus tempo era a distncia percorrida, para a
 9

acelerao uniforme, chegando assim a tangenciar o Teorema Fundamental do

Clculo.

J no sculo seguinte, Bonaventura Cavalieri (1598-1647) publicou o livro

Geometria indivisibilibus continuorum nova quadam ratione promota que tratava da

mensurao de reas e volumes segundo as idias de Kepler e de seu professor Galileu.

Pierre de Fermat (1601-1665) tambm contribuiu significativamente ao desenvolvimento

do clculo. Ele desenvolveu uma tcnica similar Integral de Riemann para calcular a rea

sob as curvas que eram chamadas de parbolas superiores e ainda desenvolveu um

processo de diferenciao atravs do mtodo de encontrar mximos e mnimos.

Podemos citar ainda vrios matemticos que contriburam para o desenvolvimento

do clculo, como Evangelista Torricelli (1608-1647), James Gregory (1638-1675) e Isaac

Barrow (1630-1677). Aps a metade do sculo XVII j havia ento vrios mtodos bem

sucedidos para as questes que envolviam clculo de tangentes e quadraturas, mas nenhum

deles trazia uma sistematizao que facilitasse o seu uso de maneira geral. Ento,

finalmente dois grandes nomes entraram para a histria, Isaac Newton (1642-1727) e

Gottfried Wilhelm Leibniz (1646-1716), por inventarem o Clculo Infinitesimal ou Clculo

Diferencial e Integral.

Os clculos de Newton e Leibniz comeam por caminhos distintos. O primeiro, por

interpolao de curvas e coeficientes relacionados a tais curvas. O segundo, por perceber

que somar sequncias e tomar as sequncias de diferenas so operaes inversas. Foram

caminhos bem diferentes, mas que convergiam a um mesmo princpio em comum, a

descoberta do clculo. Dentro deste princpio em comum, as principais diferenas foram na

concepo das quantidades variveis e nas formas de notaes utilizadas por cada um ao

longo de seus estudos.

 10

O que permitiu a passagem do mtodo de exausto para o conceito de integral foi a

percepo que em certos casos, a rea da regio pode ser calculada sempre com o mesmo

tipo de aproximao por retngulos. Mas na prtica, a descoberta fundamental foi a

possibilidade de exprimir a integral de uma funo em termos de uma primitiva. Nascia

assim o Teorema Fundamental do Clculo. Principalmente como consequncia do

Teorema Fundamental do Clculo as integrais foram simplesmente vistas como

antiderivadas.

Posteriormente, Augustin Louis Cauchy (1789-1857) criou uma definio formal de

limite. Os estudos de Cauchy deram incio investigao sobre os fundamentos do Clculo

Integral, levando ao desenvolvimento da Anlise Matemtica e da teoria das funes.

Em 1854, o matemtico alemo Bernhard Riemann (1826-1866) realizou um estudo

bem mais aprofundado sobre a integral e formulou a definio atual, nos padres da Anlise

Moderna, tornando-a um instrumento poderoso na resoluo de inmeros problemas. Durante

muito tempo foi desenvolvida uma teoria de integrao baseada nas idias de Riemann. A

noo moderna da integral de Riemann foi finalizada por Gaston Darboux (1842-1917), que

demonstrou que uma funo integrvel, ou tem sua rea mensurvel, quando as somas

superior e inferior de Riemann convergem para o mesmo valor, medida que os subintervalos

tendem a zero, para qualquer partio usada. Esta teoria, entretanto, contm certos

inconvenientes que a tornam inadequada ao estudo de vrios problemas da Anlise

Matemtica.

Em 1902, Henri Lon Lebesgue (1875-1941) revolucionou a Anlise Moderna com

seus trabalhos que generalizam a Integral de Riemann, dando origem Teoria da Medida e

Integral de Lebesgue. Ele argumenta que:

 11

Os gemetras do sculo XVII consideraram a integral de f(x)

(embora a palavra integral no houvesse ainda sido inventada) como a

soma de uma infinidade de indivisveis, cada qual tendo a ordenada positiva

ou negativa de f(x). Muito bem!! Ns, simplesmente, agrupamos os

indivisveis de grandezas comparveis. Estamos, como se diz em lgebra,

colecionando termos similares. Diria que, de acordo com o procedimento de

Riemann, um modo para somar os indivisveis seria som-los, na ordem em

que eles so fornecidos pela variao em x; semelhante a um comerciante

no-sistemtico que conta moedas e cdulas ao acaso, na ordem em que elas

chegam mo, enquanto ns operamos como um comerciante metdico que

diz:

Eu tenho m(E1) pennies que valem 1m(E1)

Eu tenho m(E2) nickels que valem 5m(E2)

Eu tenho m(E3) dimes que valem 10m(E3)

Somando tudo, tenho S = 1m(E1) + 5m(E2) +10m(E3)+...

Os dois procedimentos certamente levaro o comerciante ao mesmo

resultado porque independente da quantidade de dinheiro que ele tenha, h

apenas um nmero finito de moedas e cdulas para contar. Mas, para

somarmos um nmero infinito de indivisveis, a diferena entre os dois

mtodos de suma importncia 1

(Lebesgue, 1961, p. 181, 182)

1
Traduo livre feita por Luzia Aparecida Palaro.
 12

1.2 Henri Lon Lebesgue

Henri Lon Lebesgue foi um grande matemtico, pesquisador e

professor. Nasceu em 1875 na cidade Beauvais, localizada ao

norte da Frana. Aos dezenove anos entrou na cole Normale

Suprieure em Paris e em 1897 formou-se em Ensino de

Matemtica. Nos dois anos seguintes ele trabalhou na biblioteca

da cole, dando incio publicao de uma srie de cinco artigos.

Figura 2 - Henri Lon Lebesgue

De 1899 a 1902, Lebesgue lecionou no Lyce Centrale em Nancy.

Baseando-se principalmente nos trabalhos de mile Borel e Camille Jordan,

Lebesgue formulou em 1901 a Teoria da Medida e deu a definio da Integral de Lebesgue.

No ano seguinte, ele apresentou sua tese de doutorado Faculdade de Cincias de Paris,

cujo ttulo original Intgrale, longueur, aire (que pode ser traduzida como "Integral,

comprimento, rea").

Em 03 de dezembro de 1903 casou-se com Louise-Marguerite Valletcom quem teve

dois filhos.

Respectivamente em 1904 e em 1906, Lebesgue publicou dois trabalhos:

Leonssurles intgrale et La recherches primitivas fonctions (que pode ser traduzida

como Lies sobre Integrao e Pesquisa de funes primitivas) e Leonssurles Sries

trigonomtriques (que pode ser traduzida como Lies sobre Sries Trigonomtricas),
 13

que surgiram a partir de cursos ministrados no College de France e serviram para tornar

suas idias mais importantes amplamente conhecidas.

Em 1906 ele foi nomeado professor de mecnica da Faculdade de Cincias de

Poitiers. Em 1910 foi nomeado professor assistente na Sorbonne, onde obteve a ctedra em

1918.

Durante a Primeira Guerra Mundial, trabalhou para a defesa da Frana e neste

momento ele se desentendeu com Borel que fazia um trabalho semelhante.

Em 1921 ele foi nomeado como professor de Matemtica no Collge de France,

cargo que ocupou at sua morte em 1941. Ele tambm ensinou na cole Suprieure de

Physiqueet de ChimieIndustrielles de La Ville de Paris entre 1927 e 1937 e na cole

Normale Suprieure, em Svres.

Lebesgue foi premiado por vrias academias e foi doutorado honoris causa por

vrias Universidades. Tambm recebeu uma srie de prmios, incluindo o Prmio

Houllevigue (1912), o Prmio Poncelet (1914), o Prmio Saintour (1917) e o Prmio

dOrmoy (1919).
 14

2 A construo da Integral de Riemann

Neste captulo iremos desenvolver a Integral de Riemann atravs de uma linguagem

mais acessvel que geralmente utilizada em cursos introdutrios de Clculo e depois

passaremos para uma definio mais completa que ser utilizada no captulo 4.

2.1 Conceitos Bsicos

Definio 2.1: Seja fx: I uma funo definida no intervalo I. Dizemos que f

contnua no ponto a I se, para todo > 0, dado arbitrariamente, existir um > 0 de forma

que para todo x I com |x a| <  |fx fa| < , ou seja, uma funo f contnua em

um ponto a se:

lim  =  


Dizemos que f contnua se for contnua em todos os pontos do seu domnio.

Exemplo 2.2: A funo  = ln  no contnua em  , 0] pois no est definida

neste intervalo porm contnua em (0,  pois 0, , temos   = ln =

lim  .

Exemplo 2.3: A funo Maior Inteiro dada por  = *+; *+ = o maior inteiro que menor

ou igual a x; descontnua em todos os inteiros, pois dado ,

lim *+ = mas lim*+ = 1

 -  .

portanto,

lim *+ .

 15

Figura 3: Grfico da funo Maior Inteiro

Exemplo 2.4: A funo definida por

, 56  0
3
 = 2 4
2, 56  = 0

descontnua em x = 0, pois

lim  4 = 0 = 2.
3
9

Definio 2.5: Seja : I uma funo definida no intervalo aberto I. Dizemos que

f derivvel no ponto x0 I se o seguinte limite existir

 9 
lim .
:  9

Neste caso, este limite denominado derivada de f no ponto x0 e denotado por  ; 0 .

Dizemos que f derivvel se ela for derivvel em todos os pontos do seu domnio.

Considere x = 9 + , ento h = x 9 e h tende a zero quando x tende a 9 , assim

podemos escrever a derivada de f(x) no ponto 9 como

0 +  9 
 ; 0  = lim
>9

Exemplo 2.6: A funo  =  ? + 4 + 3 uma funo derivvel, pois ,

 16

 +   
 ;   = lim
>9

B + ? + 4 +  + 3] B ?
+ 4 + 3]
= lim
>9
?
+ 2 + ? + 4 + 4 + 3 ?
4 3
= lim
>9

2 + ? + 4
= lim = lim 2 + + 4
>9 >9

=2 +4

Exemplo 2.7: Seja f(x) = |x|. f contnua em todo ; em particular em x0 = 0. Mas a

derivada de f em 0 no existe; de fato:

0 +  0 || 0 ||
 ; 0 = lim = lim = lim
>9 >9 >9

Temos que

||
lim- = lim- C D = 1
>9 >9

||
lim. = lim. C D = 1.
>9 >9

Logo no existe lim>9

|>|
>
e portanto, f no derivvel em x0 = 0.

Exemplo 2.8: Considere a funo

F ? , 56  < 5,
 = E
 + H, 56  5.

Vamos encontrar os valores das constantes m e n para que f(x) seja derivvel. Devemos

calcular

5 +  5
 ; 5 = lim .
>9

Temos que os limites laterais so

5 +  5 5 + + H 5 + H
lim- = lim- = lim- = 1.
>9 >9 >9
 17

5 +  5 F5 + ? 25F 10F + ? F

lim. = lim. = lim. = 10F.
>9 >9 >9

Precisamos que

5 +  5 5 +  5 1

lim- = lim. J 1 = 10F J F = .
>9 >9 10

E ainda, f deve ser contnua em  = 5, logo

5
lim-  = lim. L 5 + H = 25F M H = ;
K K 2

ento a funo ser definida por

1 ?
 , 56  < 5,
 = O 10
5
 , 56  5.
2

Definio 2.9:

Uma partio P de um intervalo [a;b] um conjunto finito de pontos P = {x0; x1; . . . ; xn}

tal que a = x0 < x1 < . . . < xn =b. Uma partio P de [a; b] divide [a; b] em n intervalos

[xi1, xi], i = 1; 2; 3; . . . ; n

Figura 4 Partio de um Intervalo

O tamanho (norma) de uma partio P, denotado por |P|, o comprimento do maior

subintervalo determinado por dois nmeros consecutivos da partio, isto , intervalos da

forma [xi1, xi ], ou seja:

|Q| = F R3 9 ; ? 3 ; ; T TU3 ; V VU3 W.

O comprimento do intervalo [TU3 , T ] ser indicado por T = T TU3 . Assim,

 18

3 = 3 9 ; ? = ? 3 , etc. Os nmeros 3 , ? , ... , Y no so necessariamente

iguais.

I
2.2 ntegral de Riemann

Vamos considerar inicialmente, a ttulo de simplicidade, uma funo f(x) contnua, no

negativa, definida em um intervalo [a,b].

Faamos uma partio no intervalo [a,b] de comprimento xi e em cada um dos intervalos

[xi 1, xi] tomemos um ponto ci .

Assim, construmos um retngulo de base xi e altura f(ci) para cada i = 1, 2, 3, . . ., n.

y T

ci cn x
a b

Figura 5 Representao dos retngulo de base xi e altura f(ci).

A soma das reas dos n retngulos sob a curva f (x) dada por

f(c1).x1 + f(c2).x2 + f(c3).x3+ . . . + f(cn).xn = Y

T]3 fci . xi

e denominada Soma de Riemann.

medida que n cresce muito, cada xi, i = 1, 2, ..., n, torna-se muito pequeno e assim a

soma das reas retangulares aproxima-se da rea sob a curva de f(x). Quanto menor for xi,
 19

melhor a aproximao.

Assim:

lim^ 9 YT]3 _T . T = rea sob a curva f(x) = A .

Se f(x) assume valores negativos e positivos, podemos continuar a aproximar o clculo da

rea sob a curva de f(x) atravs da Soma de Riemann, considerando a soma das reas dos

retngulos que esto acima do eixo x e o negativo das reas dos retngulos que esto

abaixo do eixo x. Tomando o limite das somas de Riemann encontramos a rea lquida pela

diferena de reas:`3 `? , onde `3 representa a rea da regio acima do eixo x e abaixo

do grfico de f(x) e `? a rea da regio abaixo do eixo x e acima do grfico de f(x). A

figura abaixo ilustra esta situao.

+ +
0 x
a _ b

Figura 6: Representao da rea lquida.

Definio 2.10: Seja f(x) uma funo contnua definida no intervalo [a,b] e seja P uma

partio qualquer de [a,b], ento a Integral definida de f(x) no sentido de Riemann de a at

b dada por

c g

a b = lim f _T . T ,

d ^ 9
 T]3

desde que o limite exista.

 20

Observao: As demonstraes completas dos trs teoremas seguintes podem ser

encontradas nas referncias [9] e [11].

Teorema 2.11: Se f uma funo contnua e limitada no intervalo fechado [a,b], ento f

Riemann-integrvel em [a,b].

Teorema Fundamental do Clculo, Parte 1: Se f uma funo contnua em [a,b], ento a

funo g definida por


h = a ibi k


contnua em [a,b] e diferencivel em (a,b) e h;  = .

Teorema Fundamental do Clculo, Parte 2: Se f uma funo contnua em [a,b], ento

c
a b = lk l ,


em que F uma antiderivada de f, isto , uma funo tal que l ;  = .

Vejamos alguns exemplos:

Exemplo 2.12: Considere a funo  = 56H. Temos que em qualquer intervalo

B , k] , f contnua e limitada, logo integrvel segundo Riemann.

Exemplo 2.13: Seja  = Y

Y
+ YU3 
YU3
++ 9
9
, H . Como f(x) uma

funo polinomial, ela contnua e limitada em qualquer intervalo B , k] , logo

integrvel segundo Riemann.

 21

A definio apresentada anteriormente de integral definida a que em geral tratada

inicialmente em livros de Clculo 1, em que o objetivo principal que o aluno se

familiarize com o conceito de integral de uma forma introdutria e tenha uma primeira

intuio da relao entre a integral definida e a rea sob o grfico da funo. Entretanto, a

noo de integral pode ser estendida, tanto para funes descontnuas, quanto para

intervalos ilimitados, o que apresentaremos a seguir.

Integrais Imprprias

Nas situaes onde o intervalo de integrao da funo a ser integrvel infinito ou a

funo possui uma descontinuidade infinita utilizamos a integrao imprpria.

Definio 2.14 Integral Imprpria do Tipo I (Integral de f sobre um intervalo

infinito)

a) Se o b existe para cada nmero i , ento

p

q p
a b = lim a b
 pq 

desde que o limite exista (como um nmero).

b) Se op b existe para cada nmero i k, ento

c

c c
a b = lim a b
Uq pUq p

desde que o limite exista (como um nmero).

As integrais imprprias definidas em (a) e (b) so ditas convergentes se os limites

correspondentes existem e divergentes se os limites no existem.

c) Seo b e oUq b so convergentes, ento definimos

q 
 22

q  q
a b = a b + a b
Uq Uq 

Definio 2.15 - Integral Imprpria do Tipo II (Integrandos Descontnuos)

a) Se f contnua em B , k e descontnua em b, ento

c p
a b = lim. a b
 pc 

desde que o limite exista (como um nmero).

b) Se f contnua em ( , k] e descontnua em a, ento

c c
a b = lim- a b
 p p

desde que o limite exista (como um nmero).

A integral imprpria o b chamada convergente se o limite correspondente existir,

c

e divergente se o limite no existir.

c) Se f tiver uma descontinuidade em c, onde < _ < k e as integrais

o b 6 or b forem convergentes, ento definimos:

r c

c r c
a b = a b + a b
  r

Exemplo 2.16: Vamos determinar um nmero s que represente a rea da regio R do

plano limitada pela curva t = , o eixo oy, o eixo ox e a reta  = 1.

3
 23

Figura 7: Grfico da regio R.

Sabemos que a funo  =  contnua em [-1,0) e no est definida em x = 0. Para que
3

exista o nmero k preciso que a integral imprpria oU3  b seja convergente. Mas
9 3

9 c
1 1
a b = lim. a b = lim. BvH||]cU3 = lim. vH|k| + vH|1| = +.
 u9  u9 u9
U3 U3

Logo, a integral no converge e ento no existe o nmero k.

Para o prximo exemplo precisamos introduzir a seguinte definio, que ser utilizada

tambm no ltimo captulo desta monografia para definir a integral de Lebesgue.

Definio 2.17: Dado ` w, a funo caracterstica xy : w uma funo da forma

1, 56  `
xy =  = z
0, 56  { `.

Exemplo 2.18: Vamos analisar a funo caracterstica dos nmeros racionais no intervalo

[0,1], conhecida como funo de Dirichlet. Ser possvel integr-la atravs da integral de

Riemann?

Seja : B0,1] dada por

 24

1, 56  B0,1]
 = E
0, _ 5~ _~Hi~,

Esta funo limitada e assume o valor unitrio para os nmeros do conjunto dos racionais,

e zero, para os nmeros do conjunto dos irracionais. Para saber se a funo integrvel a

Riemann temos que usar a idia de particionar o intervalo [0,1] e olhar para os retngulos

como na Figura 5. Note que a aproximao da rea pelo limite da soma das reas dos

retngulos no pode depender do valor escolhido de f(ci) para cada i. De fato, poderamos

tomar retngulos com altura sempre igual ao mximo da funo no intervalo ou retngulos

com altura sempre igual ao mnimo de f, por exemplo. Ou seja, podemos fazer tanto uma

aproximao por excesso quanto por falta que no limite deveramos obter o mesmo valor.

Entretanto, no caso da funo de Dirichlet, em cada intervalo da partio existiro tanto

racionais quanto irracionais e, portanto, o mximo de f em cada subintervalo da partio

sempre ser 1 e o mnimo 0. Com isso, a soma no caso da aproximao por falta ser

sempre zero e no caso da aproximao por excesso ser:

1.(x1 x0) + 1. (x2 x1) + 1. (x3 x2) + . . . + 1. (xn xn-1) = xn - x0 = 1,

j que xn=1 e x0=0 (os extremos do intervalo [0,1]). Logo, as somas por falta ou excesso

sero sempre constantes, independentemente do nmero de subintervalos e com valores

diferentes (0 e 1), de modo que, no limite, obteremos valores diferentes e,

consequentemente a funo no ser integrvel segundo Riemann.

 25

2.3 U
ma melhor definio para a Integral de
Riemann

A abordagem de integral que utilizamos at o momento a que em geral apresentada em

cursos introdutrios sobre integrao, como o Clculo Diferencial e Integral I.

Apresentaremos agora uma abordagem mais completa matematicamente, que apresentada

j em cursos de Anlise Matemtica. Para isso, precisaremos introduzir alguns conceitos,

como os conceitos de supremo e nfimo de um conjunto, que sero necessrios para

tratarmos a Integral de Riemann com certo rigor matemtico.

Definio 2.19: Dizemos que um elemento nfimo (inf) de um conjunto w ,

w , se, e somente se, ,  w e  > 0,  w i v 6  < + . Ou seja,

o nfimo a maior das cotas inferiores do conjunto.

Definio 2.20: Dizemos que um elemento k supremo (sup) de um conjunto

w , w , se, e somente se,  k,  w e  > 0,  w i v 6 k  < .

Ou seja, o supremo a menor das cotas superiores do conjunto.

Exemplo 2.21: Sejam A e B subconjuntos no vazios de . Vamos mostrar que se ` ,

ento,

inf ` inf e sup ` sup .

Demonstrao: Toda cota inferior de B cota inferior de A, logo o inf cota inferior de

A, ento vale inf ` inf pois inf ` a maior das cotas inferiores de A. Analogamente,
 26

toda cota superior de B cota superior de A, logo o sup cota superior de A e como

sup ` a menor das cotas superiores de A segue que sup ` sup .

Proposio 2.22: Sejam `, . Se k, para todo ` e todo k , ento

sup ` inf .

Alm disso,

sup ` = inf L  > 0 existem ` 6 k tais que b a < .

Demonstrao: Todo elemento de B cota superior de A, logo sup ` k para cada b,

pois sup ` a menor das cotas superiores. Essa relao implica que sup ` uma cota

inferior de B, mas inf a maior cota inferior de B, logo sup ` inf .

Vamos provar a segunda parte. Para isso vamos assumir inicialmente sup ` = inf . Ento,

para qualquer  > 0, sup ` 4 no cota superior de A pois menor que sup ` (que a

menor cota superior) e, da mesma forma, inf + ? no cota inferior de B. Assim,

existem ` 6 k tais que

 
sup ` < sup ` = inf k < inf + .
2 2

Novamente usando que sup ` = inf , obtemos a desigualdade:

inf ? < k < inf + ?.

Logo, inf ? < , ou seja, < inf + ? e k < inf + ?. Somando ambas temos

k < .

Para provar a recproca usaremos a contrapositiva, isto , vamos supor que sup A

diferente de inf B. Sabemos pela primeira parte da demonstrao que no podemos ter

sup ` > inf . Ento forosamente temos que sup ` < inf . Tomando  = inf
 27

sup ` > 0 temos que k  para todo ` 6 k , pois k inf e sup ` de

onde segue sup `. Somando as desigualdades obtemos k inf

sup ` = , o que finaliza a prova.

Definio 2.23: Seja : B , k] uma funo limitada e = R9 , , Y W uma partio de

B , k]. Para cada R1, , HW, definimos

T = BTU3 , T ], T = T TU3 ,

FT = inf R; TU3  T W e M = supR; TU3  T W.

Considerando cada intervalo T = BTU3 , T ] como a base de um retngulo e o nfimo ou o

supremo de f em cada i-simo intervalo como a altura desse retngulo, obtemos uma

aproximao para a rea sob o grfico de f somando as reas de cada retngulo assim

construdo.

Definio 2.24: As somas inferior e superior de f relativas partio P, chamadas de

Somas de Darboux-Riemann, so dadas respectivamente por,

Y

5,  = f FT T TU3 ,

T]3

,  = f T T TU3 .

T]3
 28

Figura 8: Soma inferior e soma superior.

No caso em que fx 0 x Ba, b], os nmeros sf, P e Sf, P so valores

aproximados, respectivamente por falta e por excesso, da rea da regio limitada pelo

grfico de f, pelo intervalo [a, b] do eixo das abscissas e pelas verticais levantadas nos

pontos a e b desse eixo. Quando fx 0 x Ba, b], essas somas so valores

aproximados de tal rea, com sinal trocado.

Definio 2.25: Seja : B , k] uma funo limitada. A integral inferior e a integral

superior da funo f so definidas respectivamente, por

U
c c
a b = sup 5; , a b = inf ; ,

U P  P

onde o sup e o inf so tomados relativamente a todas as parties P intervalo B , k].

Definio 2.26: Uma funo limitada : B , k] integrvel (a Riemann) se suas

integrais inferior e superior forem iguais. Neste caso, denotamos a integral de f por:
U
c c c
a  = a b = a b.
  
U
 29

I
3 ntroduo Teoria da Medida

3.1 lgebra e -lgebra

Definio 3.1: Dado um conjunto X, dizemos que uma famlia de subconjuntos de X

uma lgebra se w 6 56 ` 6 tivermos:

` (i)

` . (ii)

Teorema 3.2: Se uma lgebra, ento;

1 - .

2 -  `,  J ` .

3 - ` J ` .

Demonstrao:1-Podemos deduzir facilmente de (ii) que basta tomarmos ` ,

= ` J ` ` = .

2 Pela propriedade de conjuntos temos que ` `  = ` , ento, dado A ,

seja C = A B; C . Como uma lgebra, temos que ` ,mas,

` = ` `  = ` .

3 Como uma lgebra, w , logo, ` temos w ` = ` .

Na verdade, o Teorema 3.2 e a Definio 3.1 so equivalentes. Observe que ao invs de

utilizarmos a definio 3.1 para demonstrarmos o Teorema 3.2, poderamos ter feito o

inverso. De fato, considere com as propriedades enunciadas no Teorema 3.2. Temos que
 30

 `,  J ` J `  . Ento ` = `  `  .

Alm disso,  `,  J e ` = ` .

Definio 3.3: Uma lgebra diz-se uma -lgebra se, para cada sucesso `Y Y de

elementos de , a unio Y `Y .

Exemplo 3.4: Seja w = R, , W. Ento = R, RW, RW, RW, R, W, R, W, R, W, wW uma

-lgebra.

Exemplo 3.5: Considere um conjunto X finito. A famlia de todos os subconjuntos

finitos de X uma lgebra, em particular uma -lgebra, pois ` 6 , ` um

conjunto finito, logo pertence a e ` tambm um conjunto finito, logo ` .

Portanto uma lgebra. Alm disso, uma unio qualquer de subconjuntos de um

subconjunto finito de , de fato, pois consideramos X finito, assim, teremos um nmero

finito de subconjuntos de X, (mais precisamente, se X possuir n elementos ter 2n

subconjuntos) cada um deles com nmero finito de elementos, assim a unio enumervel de

subconjuntos de tambm ter um nmero finito de elementos, logo podemos concluir que

uma vh6k .

Exemplo 3.6: Seja w . Ento, a famlia de todos os subconjuntos de X, = w,

uma -lgebra. De fato, qualquer interseo de subconjuntos de X um subconjunto de X,

logo est em S; o complementar de um subconjunto qualquer de X um subconjunto de X,

logo tambm est em S; w, w J ; e ainda toda unio de subconjuntos de X

um subconjunto de X, logo est em S tambm.

 31

Exemplo 3.7: Considere agora um conjunto X infinito e enumervel. Suponha X = . Seja

K a famlia de subconjuntos finitos de X. Tome Y = R1,2, , HW; H B1, . Temos que

os conjuntos Y x, pois so finitos. Porm, a unio

q

= Y { x
Y]3

por conter infinitos pontos e assim podemos concluir que K uma lgebra mas no uma

-lgebra.

Exemplo 3.8: Seja w . Ento = R, wW uma -lgebra.

Exemplo 3.9: Seja Auma famlia de subconjuntos no vazios de w. Como vimos no

Exemplo 3.6, a famlia de todos os subconjuntos de X uma -lgebra e obviamente

contm A. Agora, se considerarmos a interseo de todas as -lgebras que contm A esta

interseo tambm uma -lgebra que contm A. Seja lT T uma famlia de -lgebras

de X que contm A. Para que l = T lT seja uma -lgebra devemos verificar:

a) l, o que se verifica pois , lT pois cada lT uma -lgebra de X.

b) Dado l, l j que se l ento , lT , logo, lT pois cada

lT uma -lgebra de X.

c) Dado lY Y l, temos que , lY Y lT , ento , YlY  lT ,

pois cada lT uma -lgebra de X, portanto, F uma -lgebra.

Essa menor -lgebra que contm A chamada -lgebra gerada por A.

Exemplo 3.10: Seja w = , a -lgebra gerada por todos os intervalos abertos  , k de

chamada -lgebra de Borel. Seus elementos so os conjuntos de Borel ou Borelianos.

Observe que a -lgebra de Borel tambm gerada por todos os intervalos fechados

B , k] b6 .
 32

De fato, considere o conjunto g , k + g , H . Temos que q

Y]3 g, k + g

Y]3 g, k + g = B , k], como mostramos a seguir:

lgebra. Mas q

q
[a,b] g , k + g H , logo, B , k] g , k + g . Para mostrar a
Y]3

recproca, considere dois nmeros positivos 3 , ? e defina  = minR3 , ? W. Mostraremos

q
3 6 k + ? no pertencem g , k + g . Para qualquer H9 > ,
3

que
Y]3

H9 >  > Y k +  > k + Y k + ? k +  > k + Y k + ? {

3 3 3 3
: : :

q
Y , k + Y k + ? { g , k + g .
3 3
: : Y]3

H9 >  > Y  < Y  < Y 3  <

3 3 3 3
: : :

q
3 { ,k + 3 { g , k + g .
3 3 3
Y: Y: Y: Y]3

q q
Logo g , k + g B , k], portanto g , k + g = B , k].
Y]3 Y]3

Definio 3.11: Seja uma lgebra. Uma funo : B0; +], no-constante ser

aditiva se, dados `, ,

` = J `  = ` + 

A proposio seguinte fornece algumas propriedades elementares das funes aditivas.

Proposio 3.12: Seja uma lgebra e : B0; +] uma funo aditiva.

Se A, B, A1, A2, ... ,Ak ento:

(i)  = 0;

(ii)  ` 56 `;
 33

(iii) `  = `  56 ` 6  < +;

(iv) `  = ` +  `  56 `  < +;

(v) `3 . . . `V  = `3  + + `V  56 `T ` = ;

Demonstrao:

(i) Temos, pela Teoria de Conjuntos que = ento,

 =   =  +  = 2 = 0.

Portanto,  = 0.

(ii) Se ` ento ` = `  e `  = . Como aditiva, segue

que

` = `  =  + `  

pois 0.

(iii) Como `,

` = ` 

aplicando e a aditividade temos

` =  + ` 

Observe que devemos ter  < + para que esteja bem definido ` , pois

` no exclui a possibilidade de B = A, o que aconteceria se tambm ` . Logo,

`  = ` .

(iv) Temos que ` = `  `   `. Aplicando e a

aditividade temos

`  = `  + `  +  `.

Mas, ` = `  `  e analogamente, =  `  `, portanto,

` = `  + ` 
 34

 =  ` +  `

logo, substituindo,

`  = ` +  ` .

(v) Considere ? = `? ` `Y . Ento `3 ? = `3 `? `Y .

Pelo item (iv) segue que

`3 ?  = `3  + ?  `3 ?  = `3  + ? ,

pois, por hiptese, `T ` = , e pelo item (i)  = 0. Definindo = `

` `Y , temos que ? = `? . Logo, da mesma forma que anteriormente

obtemos:

?  = `?  = `?  +   `?  = `?  +  .

Logo,

`3 `? . . . `Y  = `3  + `?  +  .

Agora, seja T = `T `T3 `Y para algum ; 2 H. Suponhamos por induo

`3 `? . . . `Y  = `3  + `?  + + `TU3  + T .

Mas

`3 `? `Y  = `3  + + `TU3  + `T T3 ,

pois pela definio, T3 = `T3 `T? `Y , logo `T T3 = T e pelo item (iv)

`T  + T3  = `T T3  + `T T3 

= `T T3  + 

= `T T3 .

Portanto,

`3 `? . . . `Y  = `3  + `?  + + `TU3  + `T  + T3 ,

 35

o que finaliza a induo. Logo,

`3 . . . `V  = `3  + + `V  56 `T ` = ,

conforme queramos demonstrar.

Definio 3.13: Seja uma lgebra. Uma funo : B0; ] aditiva ser

bi se, para `3 , `? , _~F q

]3 ` , temos

q q

`T ` =   ` = f  ` .
]3 ]3

Exemplo 3.14: Dado um conjunto infinito X, seja P(X) a famlia de todos os seus

subconjuntos. Vimos no exemplo 3.6 que P(X) uma -lgebra. Tome um subconjunto

qualquer E de X tal que

0, se E tem finitos elementos

 = E
+, se E tem infinitos elementos.

Esta funo uma funo aditiva. De fato, sejam A, B w tal que ` = . Temos dois

casos a considerar:

1 caso - Suponha A e B com elementos finitos, ento ` possui finitos elementos,

assim

`  = 0 = ` +  = 0 + 0 = 0.

2 caso - Suponha A ou B com infinitos elementos, ento ` possui infinitos elementos,

assim

`  = +

` +  = + + 0 = +

ou

` +  = 0 + = +

ou ainda
 36

` +  = + + = +.

Observe que no sigma-aditiva, pois se tomarmos uma famlia `3 , `? , de

subconjuntos finitos de X, a unio possuir infinitos elementos ento q

]3 ` = +,

porm `3  = `?  = = 0, logo, q

]3  `  = 0.

Exemplo 3.15: Dado um conjunto no-vazio X, seja P(X) a famlia de todos os seus

subconjuntos. Sabemos que P(x) uma -lgebra, em particular, uma lgebra. Tome um

subconjunto qualquer E de X tal que

~ HF6~ b6 6v6F6Hi~5 b6 , se E tem finitos elementos

 = E
+ , se E tem infinitos elementos.

Esta a funo medida de contagem. Ela uma funo aditiva, como facilmente pode-se

verificar:

1 caso - Suponha A e B com finitos elementos, tais que ` = . Sejam n e m,

respectivamente o nmero de seus elementos. Temos que ` possui finitos elementos,

sendo n + m o seu total, ento:

`  = H + F = ` + .

2 caso Suponha que ou A ou B possui infinitos elementos. Considere A com infinitos

elementos. Ento ` possui infinitos elementos, logo

`  = + = ` +  = + + F = +.
 37

3.2 Medidas
que formado pelo
Nesta seo conveniente definirmos os nmeros reais estendidos

conjunto R+W RW, para que possamos considerar as seguintes operaes

algbricas:

1. + = e  = .

2.  + =  e   = .

3. + = + e = , para todo .

4.  = , 56 >0 e  = , 56 < 0, para todo .

As expresses e + so deixadas como indefinidas. E assumiremos:

5. 0 = 0.

tambm ordenado, sendo o seu menor elemento e + o seu

Temos ainda que

maior elemento, ou seja, < < , .

uma medida se:

Definio: 3.16: Dada uma -lgebra , a funo F:

(i) F = 0;

(ii) F 0 ;

(iii) dada uma sucesso `Y Y de elementos de , disjuntos dois a dois, tem-se
q

F `Y  = f F `Y .
Y Y]3

Exemplo 3.17: Sejam w = R, , W e = R, RW, R, W, wW uma -lgebra de X. A

funo F: ; F = 0, FRW = 2, FR, W = 1 6 FR, , W = 3 uma

medida em S.

Definio 3.18: Dizemos que um conjunto w tem medida nula se para todo
 38

 > 0, Y Y , Y =  Y , kY , Y < kY i 5 6 w Y 6 fkY Y < .

Y Y

Proposio 3.19: Todo conjunto enumervel possui medida nula.

Demonstrao: Considere w = R3 , ? , , Y , W. Fixado qualquer  > 0 para os intervalos

Y = Y 32Y  , Y + 32Y  temos que w Y Y e por outro lado,

q q
 1 Y 2
q
1 Y 2 1
fkY Y  = 2 f C D = fC D = 2 = 2 < .
3 2 3 2 3 1 1 3
Y]3 Y]3 Y]3 2

3.3 Espao de Medida

Definio 3.20: Um espao de medida uma tripla (X, , , sendo X um conjunto,

uma -lgebra de subconjuntos de X e B0, +] uma medida em X.

Os elementos de so conjuntos mensurveis e a funo uma funo bi .

Exemplo 3.21: No exemplo 3.15 temos o espao de medida (X, w, , onde X um

conjunto no vazio qualquer, P(X) uma -lgebra de X (a famlia de todos os

subconjuntos de X) e uma medida em X.

Exemplo 3.22: A medida delta de Dirac. Sejam o espao de medida , ,  e 9

tal que para todo E ,tem-se

0, 56 9 {
 = E .
1, 56 9

Esta a definio da medida delta de Dirac em 9 , denotada por : .

 39

3.4 Medida de Lebesgue na Reta

Consideremos os subconjuntos de , em particular, os intervalos

 , k, B , k],  , k] 6 B , k; , k , k. O comprimento de cada um desses

intervalos dado por k . Ou seja,

v = v , k = vB , k] = v , k] = vB , k = k .

E para = k, v = 0.

Definio 3.23: Medida exterior de Lebesgue. A medida exterior de Lebesgue, ou medida

exterior de um conjunto ` , dada por

q

` = H f vY ; ` Y ,
Y]9 Y

onde {Y W uma famlia enumervel de intervalos.

Proposio 3.24: A medida exterior de Lebesgue satisfaz as seguintes propriedades:

(i)  = 0;

(ii) ` 0;

(iii) `  56 ` ;

Demonstrao: (i) De fato, o conjunto vazio no possui nenhum elemento, assim a soma

dos comprimentos de intervalos que o recobrem nula. Tomando, por exemplo, intervalos

do tipo  ,  temos que v ,  = v = = 0.

(ii) Para cada intervalo I, seu comprimento ser sempre positivo ou nulo, logo a soma de

todos os intervalos que recobrem A ser positiva ou nula.

(iii) Sejam RY W 6 RY; W famlias enumerveis de intervalos tais que ` Y Y e B

Y Y . Agora vamos construir os seguintes conjuntos

 40

q q

= f vY ; ` Y 6 = f vY ; Y .
Y]9 Y Y]9 Y

Como ` , toda cobertura de B tambm uma cobertura de A. Assim .

Ento,
q q

H f vY ; Y = H inf = H f vY ; ` Y . 2

Y]9 Y Y]9 Y

Portanto, `  56 ` .

Exemplo 3.25: Se  , 6Hi~ RW = 0.

Vamos mostrar que a medida exterior de um conjunto unitrio nula. Considere a famlia

de intervalos da forma Y = ,  + 4g-

, H ,  > 0. Claramente,  Y e

q q
RW

f vY  = f < .
2Y3
Y]9 Y]9

Mas podemos tomar um  to pequeno quanto quisermos, assim, RW <  J

RW = 0.

Definio 3.26: Seja uma lgebra. Uma funo : B0; +], no-constante ser

subaditiva se, dados `, ,

` = J `  ` + .

Proposio 3.27: A medida exterior de Lebesgue subaditiva. Ou seja, dada uma sucesso

`Y Y de partes de , temos que

`Y f `Y .

Y Y]3

Veja a demonstrao desta proposio na referncia [7].

2
A demonstrao est descrita no exemplo 2.21.
 41

Definio 3.28: Conjunto Mensurvel Lebesgue. Um conjunto dito

mensurvel Lebesgue se para qualquer conjunto ` , tivermos

` = `  + ` .

Como subaditiva, para mostrar que E mensurvel, suficiente mostrar que `

`  + ` .

Exemplo 3.29: Vamos mostrar que todo conjunto de medida nula mensurvel. Ou seja,

queremos mostrar que se  = 0 ento E um conjunto mensurvel.

Demonstrao: Temos que ` , ` , ento, pelo item (iii) da Proposio 3.24

segue que `   = 0, portanto, `  = 0. Analogamente, `

` J `  `, logo, ` `  + ` .

Teorema 3.30: Se X um subconjunto qualquer de e RT WTB9,q uma famlia de

conjuntos mensurveis, disjuntos dois a dois, ou seja, T = , , ento

Y Y

w  T  = f w T .

T]3 T]3

Demonstrao: Vamos demonstrar por induo em n.

Claramente, a equao verdadeira para H = 1. Suponhamos que para algum n a equao

verdadeira. Sejam 3 , ? , , Y , Y3 conjuntos mensurveis e disjuntos. Se w , ento

Y3

w  T  Y3 = w Y3
T]3

Y3 Y

w  T  Y3

= w T .
T]3 T]3
 42

Como Y3 mensurvel, temos que

Y3 Y3 Y3

w  T  = w  T  Y3 + w  T  Y3

T]3 T]3 T]3

= ` Y3  + w B T ]
T]3

Y3
Y
`
= Y3  + f w
T  = f w T .
T]3
T]3

De uma forma geral, podemos interpretar a maior dificuldade na definio de uma medida

pelo fato de que ela deve assumir um valor no negativo ou infinito em todos os

subconjuntos do seu domnio, devendo ainda ser aditiva e nula no conjunto vazio.

O matemtico alemo Constantin Carathodory (1873-1950) desenvolveu um mtodo para

construir medidas no triviais tais como a Medida de Lebesgue. Esse mtodo consiste em

construir uma funo (que chamamos de medida exterior ou pr-medida) que seja

subaditiva (e no mais aditiva), assim conseguimos restringir essa funo a certo

subconjunto que ser uma vh6k , transformando-a em uma medida.

No prximo captulo veremos a Medida de Lebesgue nesse contexto, ou seja, ela ser a

medida exterior restrita a uma classe especfica de conjuntos.

 43

4 A Integral de Lebesgue
4.1 Funo Mensurvel
Definio 4.1: Seja : ` uma funo definida em um conjunto mensurvel ` .

Dizemos que f uma funo mensurvel ( Lebesgue) se o conjunto

R `:  > _W =  U3 _, +

mensurvel para todo c .

Proposio 4.2: Se : ` uma funo definida em um conjunto mensurvel `

ento as seguintes afirmaes so todas equivalentes:

(i) R `;  > _W F6H56v _ ;

(ii) R `;  _W F6H56v _ ;

(iii) R `;  < _W F6H56v _ ;

(iv) R `;  _W F6H56v _ .

Observao: Para um melhor estudo, o leitor pode encontrar as demonstraes da

proposio acima nas referncias [7], [8] e [10].

constante mensurvel. De fato,  = s, 

Exemplo 4.3: Qualquer funo :

. Seja a famlia dos conjuntos mensurveis de . Temos trs casos a considerar:

Caso 1) s

Se s ento

s J R;  > W =

 44

< s J R;  > W = ,

logo, f mensurvel.

Caso 2) s = +. Para todo a real temos

R;  > W = ,

logo, f mensurvel.

Caso3) s = . Para todo a real temos

R;  > W = ,

portanto, f mensurvel.

Exemplo 4.4: Considere o conjunto w = . Seja f a funo definida por  =  ? , ento f

mensurvel, pois para qualquer , teremos

, 56 0,
 U3,  = E
, , 56 > 0.

Exemplo 4.5: Dado um conjunto mensurvel , toda funo caractersticade E

mensurvel. De fato, seja f a funo caracterstica de E. Considere os seguintes casos:

Caso 1) <0

6 < 0 6Hi~ R;  > W = ,

logo, R;  > W mensurvel se < 0.

Caso 2) 0 <1

6 0 < 1 6Hi~ R;  > W = ,

logo, R;  > W mensurvel se 0 < 1.

Caso 3) 1
 45

6 1 6Hi~ R;  > W = ,

logo, R;  > W mensurvel se 1.

Exemplo 4.6: A funo de Dirichlet: : B0,1] dada por

0, 56  B0,1]
 = E
1, _ 5~ _~Hi~,

mensurvel, de fato, esta funo um caso particular do exemplo 4.5.

Vamos agora destacar alguns resultados que sero utilizados na prxima seo deste

captulo. As demonstraes desses resultados so encontradas, por exemplo, nas referncias

[7] e [18].

Teorema 4.7: Se Y  uma famlia de funes mensurveis de X em , ento as funes

supY Y , infY Y , limY e limY so mensurveis.

Se uma propriedade P vlida para todo  ` e se o conjunto A possui medida nula,

normalmente usa-se a expresso P vale em quase todo ponto de E, e de forma abreviada, P

vale qtp.

Proposio 4.8: Se f uma funo mensurvel e  = h qtp, ento h uma funo

mensurvel.
 46

4.2 A Integral de Lebesgue

Em sua tese de doutorado de 1902, Lebesgue desenvolveu uma nova teoria de integrao

onde diferenciao e integrao podiam ser consideradas operaes inversas para uma

classe mais geral de funes que a classe das funes Riemann-integrveis.

Nesta seo vamos definir a integral de Lebesgue de uma funo em relao a uma medida.

Comearemos definindo o conceito de integral para o caso de funes mensurveis simples

e depois o usaremos para definir a integral de uma funo mensurvel arbitrria.

Definio 4.9: Uma funo simples uma funo 5: w cuja imagem finita, ou seja,

s(x) assume um nmero finito de valores. Uma funo s simples mensurvel pode ser

representada por
Y

5=f T xy^ ,
T]3

em que T , e xy^ a funo caracterstica do conjunto `T . Observe que a representao

acima nica se 3, ?, , Y forem todos distintos e os `T subconjuntos dois a dois

disjuntos, tais que w = T]3 `T . Essa representao nica chamada de forma cannica.
Y

Definio 4.10: Uma funo simples s uma funo escada se s possui representao da
Y
forma 5 = f T xy^ , onde cada `T um conjunto mensurvel de medida finita, isto ,
T]3

`T  < .

Definio 4.11: Seja s uma funo simples da forma

 47

5=f T xy^ , T 0.
T]3

Ento a Integral de Lebesgue de s definida por

Y

5 = f T `T .
T]3

Usaremos o 5b para denotar a integral de s. Para todo ` w,

a 5b = a 5xy b = f T ` `T .
y T]3

Teorema 4.12: Considere o espao de medida (, , . Se s uma funo simples e

mensurvel, ento
Y

 a 5b = f T  `T , ;
T]3

 a 5b = a 5b + a 5b , `, i 5 6 ` = ;
y y

Demonstrao: (i) imediata da definio 4.9. Para (ii) temos que

Y Y

a 5b + a 5b = f T ` `T  + f T  `T 
y T]3 T]3

= f T `  `T = a 5b .
T]3 y

Exemplo 4.13:

a) Considere o espao de medida (w, , . Seja s uma funo simples e no negativa

definida por

+3, 56  3, 8,

5 = 2
0, 56  { 3, 8,
 48

ento o 5b = +3 3, 8 + 0 \3, 8 = 3 5 + 0 = 15.

b) Seja suma funo simples e mensurvel definida por

+3, 56  1, ,
5 = 2
0, 56  , 1],

ento o 5b = +3 1,  + 0 , 1] = 3 + 0 = .

Proposio 4.14: Considere um espao de medida (w, , , e sejam 53 , 5? : w B0, +]

funes simples e mensurveis. Ento

a 53 + 5? b = a 53 b + a 5? b, ` .
y y y

d^
Demonstrao: Sejam 5T  = f T, xy^, , em que T, B0, +], `T, ,
]3

]3 `T, = w, e `T, `T,V = s, = 1,2. Ento temos que

d ^

d d4

53 + 5?  = f 3, xy,  + f ?,V xy4, 

]3 V]3

d d4 d4 d

= f 3, f xy,y4,  + f ?,V f xy,y4, 

]3 V]3 V]3 ]3

d d4

= f f3, + ?,V xy,y4,  .

]3 V]3

Logo,
 49

d d4

a 53 + 5? b = f f3, + ?,V ` `3, `?,V

y ]3 V]3

d d4 d d4

= f f 3, ` `3, `?,V + f f ?,V ` `3, `?,V

]3 V]3 ]3 V]3

d d4 d4 d

= f 3, ` `3, `?,V + f ?,V ` `?,V `3,

]3 V]3 V]3 ]3

d d4

= f 3, ` `3, + f ?,V ` `?,V

]3 V]3

= a 53 b + a 5? b.
y y

Proposio 4.15. Se _ e 5 uma funo simples, mensurvel ento _ 5

tambm , alm disso, oy _5b = _ oy 5b.

Demonstrao: De fato, temos que 5 = d

T]3 T xy^ J _ 5 = d
T]3_ T xy^ J oy _5b =

d
T]3_ T `T  = _ d
T]3 T `T  = _ oy 5b.

Observao: Pelas proposies 4.14 e 4.15 fica provado que a Integral de Lebesgue um

operador linear.

Definio 4.16: Seja : ` uma funo mensurvel, no negativa, definida em um

conjunto mensurvel. A integral de Lebesgue de f em A dada por:

a b = sup 2a 5b : 5 uma funo simples, mensurvel, com 0 5 .

y y

Verifica-se pela definio acima que para uma funo simples s: , no negativa,
 50

a 5b = y 5.
y

Podemos definir a integral para uma funo mensurvel atravs da seguinte decomposio:

f = f +
f
, onde as componentes  so as funes mensurveis, no negativas,

definidas por:

 = max, 0,  U = min, 0.

Observe os grficos a seguir que ilustram uma funo f e suas componentes  :

Grfico de f
 51

Grfico de  = F , 0

Grfico de  U = FH, 0.

Definio 4.17: Seja : ` uma funo mensurvel, definida num conjunto

mensurvel. A integral de Lebesgue de f em A dada por:

a b = a  b a  U b ,
y y y

desde que pelo menos uma das integrais oy  b seja finita.

Observe que a integral de Lebesgue assume valores em B, +].

 52

Dizemos que : ` uma funo integrvel em A e escrevemos  ` se a integral

de Lebesgue de f existe e finita.

Vejamos algumas propriedades elementares da integral de Lebesgue.

Proposio 4.18: Seja A um conjunto mensurvel e : ` uma funo mensurvel.

(i) Se f limitada e ` < +, ento  `;

(ii) Se f, g ` e  h para  `, ento oA b oy hb;

(iii) Se  k   ` 6 ` < +, ento  ` 6

` a b k`;
y

(iv) Se ` = 0 ento oy b = 0;

(v) Se f ` e ` mensurvel ento  .

O leitor pode encontrar a prova da proposio acima nas referncias [2], [8] e [10].

Exemplo 4.19: Se f uma funo integrvel, ento |o b| o||b.

De fato isso segue da propriedade (ii) acima e pela desigualdade ||  ||.
 53

4.3 Relao entre a integral de Lebesgue e a de Riemann

possvel mostrar que uma funo mensurvel f integrvel a Lebesgue se e somente se

|| integrvel (veja por exemplo [17]); no entanto, no vlido para integrais imprprias

no sentido de Riemann, isto , existem funes cuja integral imprpria de Riemann

o b existe, mas o ||b no existe. Por exemplo, considere : B1, 

q q

q q
;  = . Vamos mostrar quea b existe, mas no existe a b.
Y Y Y
  
3 3

q
Pela definio de integral Imprpria de Riemann, b = limpq o3 b, caso o
p
3

limite exista como um nmero.

Usando a integrao por partes, com =  6 b = 56Hb de modo que b =

3

 4 6 = cos, obtemos que

3

56H 56H 1 _~5

q p p p
a b = lim a b = lim cos + a b
3  pq 3  pq  3 ? 3

1 p p
_~5
= lim C cosD + lim a b.
pq  3 pq 3 ?

Na primeira parcela da soma, o limite vale cos1 = 0,54. Na segunda parcela, observe

que o limite tambm existe pois, cos 1 J  4 , assim, pelo Teorema da

 3
4

Comparao3, o3 b converge pois o3 b converge, ou seja, existe o3 b.

q  q 3 q Y
4 4 

3
Ver Teorema da Comparao na referncia [9], p. 530.
 54

Por outro lado, sabemos que |56H| 1  e como |56H| 0,  ,

podemos multiplicar ambos os lados da primeira desigualdade por |56H|:

56H?  |56H|

|56H? | = 56H?  1 |56H| J ,  1.
 
q
Agora, basta observar que a b diverge para, devido a desigualdade acima
Y4 

3

q
concluirmos que a b tambm diverge, usando o Teorema da Comparao.
Y

3

Novamente, usando integrao por partes, com =  6 b = 56H? b = ? B1

3 3

cos2] de modo que b = 6= , obtemos que

3  ?
4 ?

q
56H?  p
56H? 
b = lim a b
 pq 3 
3

1 sen2 p p
1 sen2
= lim C + D + lim a C D b
pq 2 4 3 pq 3 2 4 ?

1 sen2 p 1 p
b
sen2
= lim C + D + lim a lim a .
pq 2 4 3 2 pq 3  pq 3 4 ?

Agora, a integral o3
?
 4
converge e existe o limite da primeira parcela da soma pois

lim = 0, porm a integral o3 diverge, ou seja, no existe lim o3  ento

? q3 p3
pq   pq

q
podemos concluir que a soma dos limites acima tambm no existe, portanto a b
Y4 

3

diverge.

Proposio 4.20: Seja f uma funo limitada definida em um conjunto E de medida finita.

Temos que
 55

inf a b = sup a b,

 

para todas as funes simples e , se e somente se, f for mensurvel.

Demonstrao:

Seja f uma funo limitada por M e suponha que f seja mensurvel. Considere os

conjuntos da forma

s s 1
V = 2 :  > , s |H|.
H H

Observe que os conjuntos definidos acima particionam o domnio da funo de acordo com

os valores que ela assume. Eles so mensurveis, pois f mensurvel por hiptese; so

disjuntos e sua unio o conjunto E.

Assim,
Y Y

F V  = F = f FV .
V]UY V]UY

As funes simples definidas por

Y

Y  = f s 
H
V]UY

e
Y

Y  = f s 1 ,
H
V]UY

satisfazem

Y   Y ,

logo, para todas as funes simples e ,

 56

Y

inf a b a Y b = f s FV 
H
 V]UY

e
Y

sup a b a Y b = f s 1 FV ,
H
 V]UY

portanto,
Y

0 inf a b sup a b f FV  = F.
H H
V]UY

Como n arbitrrio, podemos tom-lo suficientemente grande, de modo que

inf a b sup a b = 0.

J Suponha agora que

inf a b = sup a b.

 

Ento, dado n, existem funes simples Y e Y tais que Y   Y , e

1
a Y  a Y  < .
H

Logo, as funes = inf Y e = sup Y so mensurveis pelo Teorema 4.7 e ainda,

  .

Observe que o conjunto = R:  < W formado pela unio dos conjuntos

1
= E:  <  .

Mas cada est contido no conjunto : Y  < Y  1 que possui medida menor

que H. Como n arbitrrio, temos que F  = 0, logo, F = 0. Assim, =

 57

exceto em um conjunto de medida nula e =  exceto em um conjunto de medida

nula, portanto, pela Proposio 4.8,  uma funo mensurvel.

O prximo teorema mostra que toda funo que integrvel no sentido de Riemann

tambm integrvel no sentido de Lebesgue e essas integrais coincidem. Mas a recproca

no verdadeira. Existem inmeras funes que no so integrveis no sentido de

Riemann, mas so no sentido de Lebesgue. Um exemplo desse tipo de funo a funo de

Dirichlet que analisaremos em seguida.

Podemos ento afirmar que a integral de Lebesgue uma generalizao da integral de

Riemann. De maneira geral, elas diferem entre si no fato de que enquanto Riemann

considerou subintervalos do domnio, Lebesgue considerou subintervalos do contra-

domnio.

Dada uma funo f, denotaremos a partir de agora sua integral no intervalo B , k] no

sentido de Riemann por o b e no sentido de Lebesgue por o b.

c c

Teorema 4.21: Seja = B , k] 6 : . Sef uma funo integrvel Riemann

em B , k] e limitada, ento f tambm integrvel Lebesgue e

c c

a b = a b.
 

Demonstrao: Como toda funo escada tambm uma funo simples, temos que

c c c c
a b sup a b inf a b a b.
     
 58

Como f integrvel Riemann, as inequaes so todas igualdades e f mensurvel pela

Proposio 4.20.

Exemplo 4.22: Vamos agora mostrar que a funo de Dirichlet no pode ser integrvel

segundo Riemann, mas o pode segundo Lebesgue. Essa funo assume o valor unitrio para

valores do conjunto dos racionais, e zero, para pontos no conjunto dos irracionais. Ambos,

subconjuntos do conjunto dos nmeros reais, assim, possui um nmero infinito de

descontinuidades.

Considere a funo : B0,1] dada por:

1, 56  B0,1]
 = E
0, _ 5~ _~Hi~.

De fato, para qualquer partio Pn de [0,1] teremos

Y
1, 56 _T B0,1]
f _T . T = E
0, 56 _T { B0,1] ,
T]3

onde T = T TU3 e 9 , 3 , , Y so os pontos da partio Pn. Portanto, no existe o

H

lim f _ . 
F 0
=1

pois para qualquer partio sempre teremos nmeros racionais e irracionais e assim o limite

acima nunca existir, portanto, f no integrvel no sentido de Riemann em [0,1].

Vamos agora utilizar a notao de funo caracterstica para mostrar que a funo de Dirichlet

integrvel no sentido de Lebesgue. Considere

?

x  = f _T x^ ,
T]3

em que _3 = 1, _? = 0, 3 = , ? = . Calculando a integral de Lebesgue temos

 59

3
a x bF = 0,
9

uma vez que

o9 x bF = 0 = B9,3] x = 1 FB0,1]  + 0 F B0,1]  = 0 (usando a Proposio

3

3.19).
 60

Consideraes Finais
O desenvolvimento deste trabalho proporcionou-me grande aprendizagem tanto no que se

refere a uma nova e moderna tcnica de integrao quanto s noes bsicas que esto

diretamente ou indiretamente relacionadas a ela e que aqui foram utilizadas. Contudo, ainda

h muito a aprender. Fica aqui registrado o desejo em trabalhar tambm os diversos tpicos

que no foram tratados tais como o Teorema da Convergncia Montona, o Lema de Fatou,

o Teorema da Convergncia Dominada de Lebesgue, o Teorema da Convergncia

Limitada, o Teorema de Radon-Nikodm, Teorema de Fubini, etc. Para os leitores que

desejarem fazer um estudo mais aprofundado sobre a Integral de Lebesgue, indico as

referncias [1], [2], [4], [7], [8], [10],[17] e [18].

Claramente podemos concluir que a Integral de Lebesgue amplamente melhor estruturada

que a de Riemann.

Apresento as principais dificuldades que ocorrem com a integral de Riemann:

Dificilmente se tem condio de demonstrar a validade da troca do processo de

limite com a integrao, ou seja, difcil mostrar que

lim a Y b = a lim Y  b ;

Yq Yq

apropriada a intervalos limitados. No est definida para conjuntos que no so

intervalos.

No trabalhada em espaos diferentes do Y .

 61

Referncias Bibliogrficas
[1] MEDEIROS, Luis Adauto da Justa e MELLO, Eliel Amancio. A Integral de Lebesgue.

Rio de Janeiro: UFRJ, 2008.

[2] HNIG, Chaim Samuel. A Integral de Lebesgue e suas Aplicaes. Rio de Janeiro:

IMPA, 1977.

[3] LIMA, Elon Lages. Curso de Anlise, Volume 1, 12 edio. IMPA (2006).

[4] CABRAL, Marco A. P. Introduo Teoria da Medida e Integral de Lebesgue. Rio de

Janeiro: UFRJ, 2009.

[5] PALARO, Luzia. A. O teorema fundamental do clculo e a obra de Henri Lebesgue.

1998. 182 f. Dissertao (mestrado) Programa de Ps-Graduao em Educao,

Universidade Federal de Mato Grosso, Cuiab, 1998.

[6] BOYER, Carl B. Histria da Matemtica. So Paulo, 1996.

[7] SANTOS, Jos Carlos de S. O. Introduo Anlise Funcional. Porto: Universidade do

Porto, 2010.

[8] FERNANDES, Rui Loja. O integral de Lebesgue. Instituto Superior Tcnico, Lisboa,

2004.

[9] STEWART, James. Clculo, volume I. So Paulo, 2001.

[10] MONTEIRO, Hemerson. Integral de Lebesgue no Y . Florianpolis, 2009. 130 f.

Monografia (licenciatura) Curso de Licenciatura em Matemtica, Centro de Cincias

Fsicas e Matemticas da Universidade Federal de Santa Catarina. Florianpolis, 2009.

[11] NERI, Cssio. Curso de Anlise Real. Rio de Janeiro, 2006.

 62

[12] FELIPPE, Alana Cavalcante. Sobre a Teoria da Integrao: Riemann, Darboux e

Lebesgue. Ouro Preto, 2010. 80 f. Monografia Curso de Licenciatura em Matemtica,

Universidade Federal de Ouro Preto.

[13] LUIS, Antnio Gregrio. Elementos de Anlise Real. Volume 2. Lisboa, 2002.

[14] http://cepa.if.usp.br. Acessado em janeiro/2012.

[15] http://en.wikipedia.org/wiki/Measure (mathematics). Acessado em janeiro/2012 e

fevereiro/2012.

[16] http://futura-sciences.com/fr. Acessado em dezembro/2011.

[17] BARTLE, Robert G. The Elements of Integration and Lebesgue Measure. New York,

1995.

[18] ROYDEN, H. L. Real analysis. New Jersey, 1988.