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.

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.

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)

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
lim  .

0, , temos   = ln

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

portanto,

lim *+ =

 -

mas

lim *+


lim*+ =

 .

15

Figura 3: Grfico da funo Maior Inteiro

Exemplo 2.4: A funo definida por

3

descontnua em x = 0, pois

 = 2 4
2,

56  0
56  = 0

lim  4 = 0 = 2.

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
lim

:

 9 
.
 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  = lim

>9

0 +  9 

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

16
 ;   = lim

>9

+   



B + ? + 4 +  + 3] B
>9

= lim

= lim

>9

+ 2 + ? + 4 + 4 + 3

+ 4 + 3]

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

= lim

4 3

=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
= lim
= lim
>9
>9
>9

 ; 0 = lim

Temos que

lim-

>9

Logo no existe lim>9

|>|
>

lim.

>9

||

= lim- C D = 1
>9

||

= lim. C D = 1.
>9

e portanto, f no derivvel em x0 = 0.

Exemplo 2.8: Considere a funo

 = E

F ? ,
 + H,

56  < 5,
56  5.

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

5 +  5
.
>9

 ; 5 = lim

Temos que os limites laterais so

lim-

>9

5 + + H 5 + H
5 +  5

= lim= lim- = 1.
>9
>9

17
lim.

>9

5 +  5
F5 + ? 25F
10F + ? F
= lim.
= lim.
= 10F.
>9
>9

Precisamos que
lim-

>9

5 +  5
5 +  5
1
= lim.
J 1 = 10F J F =
.
>9

10

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

lim-  = lim. L 5 + H = 25F M H =

K

K

ento a funo ser definida por

Definio 2.9:

1 ?
 ,
10
 = O
5
 ,
2

5
;
2

56  < 5,

56  5.

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.

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.
T

ci

cn

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.
y

+
0

+
_

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

a b =

desde que o limite exista.

lim

d ^ 9

f _T . T ,
T]3

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

YU3 

YU3

++

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

a b = lim a b



desde que o limite exista (como um nmero).

pq 

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

c

a b = lim a b

Uq

desde que o limite exista (como um nmero).

pUq p

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

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

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

a b = lim- a b

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

a b = a b + a b



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

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,
xy =  = z
0,

56  `
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
 = E

1,
0,

56  B0,1]
_ 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
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

w , se, e somente se,

nfimo (inf) de um conjunto w ,

,  w e  > 0,  w i v 6  <

o nfimo a maior das cotas inferiores do conjunto.

+ . Ou seja,

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

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
Alm disso,

k, para todo

sup ` inf .

sup ` = inf L  > 0 existem

` e todo k , ento

` 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 `


<
2


sup ` = inf k < inf + .
2

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

inf ? <

k < inf + ?.

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

< .

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 `

onde segue sup `. Somando as desigualdades obtemos k

sup ` = , o que finaliza a prova.

de

inf

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
Y

,  = 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

c

a b = sup 5; ,


U
P

U
c

a b = inf ; ,


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:
c

U
c

a  = a b = a b.




U

29

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:
e

(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

lgebra. Mas q
Y]3 g, k + g = B , k], como mostramos a seguir:

[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

que

g , k + g . Para qualquer H9 > ,

Y]3

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

3

Y , k + Y k + ? {
3

Y:

Logo

3 {

Y:

,k +

Y:

 <

Y
3

3 {

g , k + g B , k], portanto

Y]3

g , k + g .

Y]3

H9 >  > Y  < Y

3

3

g , k + g .

 <

Y]3

g , k + g = B , k].

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)

(ii)

 = 0;

 ` 56 `;

33
(iii)
(iv)
(v)

`  = `  56 ` 6  < +;

`  = ` +  `  56 `  < +;

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

Demonstrao:
(i)

Temos, pela Teoria de Conjuntos que = ento,

Portanto,  = 0.
(ii)

Se ` ento ` = `  e `  = . Como aditiva, segue

que

pois 0.
(iii)

 =   =  +  = 2 = 0.

` = `  =  + `  

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

`  = ` .

` = `  `   `.

aditividade temos

Aplicando

`  = `  + `  +  `.

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

` = `  + ` 

34
e

logo, substituindo,

 =  ` +  `
`  = ` +  ` .

Considere ? = `? ` `Y . Ento `3 ? = `3 `? `Y .

(v)

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  + 

Portanto,

= `T T3 .

`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

`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

 = E

0,
+,

se E tem finitos elementos

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

ou

ou ainda

`  = +

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

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
 = E

~ HF6~ b6 6v6F6Hi~5 b6 ,
+
,

se E tem finitos elementos

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.
4.

+ = + e

= , para todo

 = , 56

 = , 56

>0 e

< 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)

(ii)
(iii)

F = 0;

F 0 ;

dada uma sucesso `Y Y de elementos de , disjuntos dois a dois, tem-se

q

F `Y  = f F `Y .

Exemplo 3.17: Sejam w = R, , W e

Y]3

= 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 ,

< kY i 5 6 w Y 6 fkY
Y

Proposio 3.19: Todo conjunto enumervel possui medida nula.

Y

< .

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
1
 1 Y 2
1 Y 2
2 = 2 < .
fkY Y  = 2 f C D =
fC D =

3 2
3
2
3 1 1
3
Y]3
Y]3
Y]3
2
q

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

 = E

0, 56 9 {
.
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

 , k, B , k],  , k] 6 B , k;

, k ,

intervalos dado por k . Ou seja,

E para

de

k.

em

particular,

os

intervalos

O comprimento de cada um desses

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

= k, v = 0.

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

exterior de um conjunto ` , dada por

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

onde {Y W uma famlia enumervel de intervalos.

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

(i)
(ii)
(iii)

 = 0;

` 0;

`  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

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

Y]9

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

Ento,

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

Y]9

Y]9

Portanto, `  56 ` .

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

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

, H ,  > 0. Claramente,  Y e
de intervalos da forma Y = ,  + 4g-

RW

f vY  = f
Y]9

Y]9

2Y3

< .

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]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

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

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

= ` Y3  + w B T ]

Y3  + f

T]3

w

Y3

T]3

T]3

T  = f w T .
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

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)
(ii)
(iii)
(iv)

R `;  > _W F6H56v _ ;

R `;  _W F6H56v _ ;
R `;  < _W F6H56v _ ;
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
e

logo, f mensurvel.

< s J R;  > W = ,

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

,
 U3,  = E
, ,

56
56

0,
> 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

< 0 6Hi~ R;  > W = ,

logo, R;  > W mensurvel se

Caso 2) 0

<1

6 0

< 0.

< 1 6Hi~ R;  > W = ,

logo, R;  > W mensurvel se 0

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

 = E

0,
1,

56  B0,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

5=f

em que

T]3

T xy^

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

acima nica se

3,

?, ,

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
forma 5 = f

`T  < .

T]3

T xy^

, onde cada `T um conjunto mensurvel de medida finita, isto ,

Definio 4.11: Seja s uma funo simples da forma

47
Y

5=f
T]3

T xy^

0.

Ento a Integral de Lebesgue de s definida por

Y

5 = f
T]3

`T .

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

Y

a 5b = a 5xy b = f
y

T]3

` `T .

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

mensurvel, ento
Y

 a 5b = f

 a

T]3

 `T , ;

5b = a 5b + a 5b ,
y

`, i 5 6 ` = ;

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

Y

a 5b + a 5b = f
y

T]3
Y

= f
T]3

T
T

` `T  + f
T]3

 `T 

`  `T = a

Exemplo 4.13:

5b .

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

definida por

5 = 2

+3,

0,

56  3, 8,

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
5 = 2

56  1, ,

+3,

56  , 1],

0,

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

Demonstrao: Sejam 5T  = f

d^

]3

` .

T, xy^, , em que T, B0, +], `T, ,

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

d4

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

]3
d

d4

V]3

d4

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

]3

d d4

V]3

V]3

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

]3 V]3

Logo,

]3

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

d4

d4

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

]3

V]3

]3

V]3

V]3

d4

]3

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

= a 53 b + a 5? b.
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

d
T]3_

T `T 

= _ d
T]3

T `T 

T xy^

= _ oy 5b.

J _ 5 = d
T]3_

T xy^

J 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

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

definidas por:

, onde as componentes  so as funes mensurveis, no negativas,

 = 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

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)

(ii)
(iii)

Se f limitada e ` < +, ento  `;

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

Se

 k   ` 6 ` < +, ento  ` 6

` a b k`;
y

(iv)
(v)

Se ` = 0 ento oy b = 0;

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
q

;  =

. Vamos mostrar quea

Y


Y


b existe, mas no existe a

b.

Y

: B1, 


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

p

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

p
p
56H
56H
1
_~5
a
b = lim a
b = lim cos + a
b
pq 3
pq 


?
3
3
3
p

p
p
1
_~5
= lim C cosD + lim a
b.
pq 
pq 3
?
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

Comparao3, o3

q 

4

b converge pois o3

q 3

4

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


4

 4 , assim, pelo Teorema da

3

b converge, ou seja, existe o3

q Y


b.

54
Por outro lado, sabemos que |56H| 1  e como |56H| 0,  ,
podemos multiplicar ambos os lados da primeira desigualdade por |56H|:
|56H? | = 56H?  1 |56H| J

Agora, basta observar que a

q

concluirmos que a
3

Y4 


b diverge para, devido a desigualdade acima

b tambm diverge, usando o Teorema da Comparao.

Y


56H?  |56H|

,  1.



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

cos2] de modo que b =
q

lim

6=


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



?

, obtemos que

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

Agora, a integral o3
pq

4

?


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

?
 4

converge e existe o limite da primeira parcela da soma pois

= 0, porm a integral o3

q3


diverge, ou seja, no existe lim o3  ento

pq

podemos concluir que a soma dos limites acima tambm no existe, portanto a
diverge.

p3

Y4 


b

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

V = 2 :

s 1
s
 >
,
H
H

s |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,

F V  = F = f FV .
V]UY

V]UY

As funes simples definidas por

satisfazem

f s 
Y  =
H
V]UY

Y  =
f s 1 ,
H
V]UY

Y   Y ,

logo, para todas as funes simples e ,

56
Y

portanto,

inf a b a Y b =

f s FV 
H


V]UY
Y

sup a b a Y b =

f s 1 FV ,
H


V]UY
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

J Suponha agora que

inf a b sup a b = 0.

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 contradomnio.

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

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

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

a b = a b.

Demonstrao: Como toda funo escada tambm uma funo simples, temos que
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:

 = E

1,
0,

56  B0,1]
_ 5~ _~Hi~.

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

Y

f _T . T = E
T]3

56 _T B0,1]
56 _T { B0,1] ,

1,
0,

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

lim

F 0

f _ . 
=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,
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

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

intervalos.

Yq

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.