Riemman versus Lebesgue

Teoria da Medida e Integrao (MAT505)

Introduo e motivao
Riemann versus Lebesgue

V. Arajo

Instituto de Matemtica, Universidade Federal da Bahia

Mestrado em Matemtica, UFBA, 2014

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

A integral de Riemann e a de Lebesgue

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Riemann

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

A integral de Riemann

Esta definio de integral conhecida dos cursos

bsicos de Anlise e foi desenvolvida por B. Riemann
na segunda metade do sculo XIX (artigo publicado em
Gttingen, 1868).

Foi a primeira definio rigorosa de integral de uma

funo real num intervalo da reta real. Esta definio
tem uma grande importncia histrica mas sofre de
diversas deficincias tcnicas.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Parties do intervalo, seu dimetro e

marcaes

Um partio do intervalo [a, b] uma sequncia finita

de nmeros tal que

a = x0 < x1 < < xn = b

e cada [xi , xi+1 ] um subintervalo da partio. O

dimetro da partio max{xi+1 xi : i = 0, . . . , n 1}.
Uma marcao da partio uma sequncia
ti [xi , xi+1 ] de pontos, um em cada subintervalo da
partio. Isto d uma partio marcada.

Vamos considerar famlias de parties com dimetro

que tende para zero.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Somas de Riemann

Dada uma partio marcada

P(x, t) = {x0 , x1 , . . . , xn ; t0 , . . . , tn1 } e uma funo
f : [a, b] R definidas no intervalo [a, b], a soma de
Riemann associada
n1
X
S(f ; P) = f (ti ) (xi+1 xi ).
i=0

Dizemos que a integral de Riemman de f no intervalo

[a, b] igual a s se, para cada > 0 existe uma partio
marcada P(x, t) de [a, b] tal que
 
S(f ; P) s < .

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Somas de Riemann (no necessariamente

regulares)

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Somas superiores e inferiores de Darboux

Uma outra forma equivalente de Riemann de definir
integral usar a integral de Darboux, na qual o valor
f (ti ) em cada marcao dentro de um subintervalo
substituda pelo supremo ou nfimo de f nesse
subintervalo.
Obtemos assim para cada partio P = {x0 , . . . , xn } de
[a, b] a soma superior
n1
X
S(f ; P) = sup f |[xi ,xi+1 ] (xi+1 xi )
i=0

e a soma inferior
n1
X
s(f ; P) = inf f |[xi ,xi+1 ] (xi+1 xi ).
i=0

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Integral de Darboux

Dizemos que f : [a, b] R integrvel Darboux

quando
Z
f (x) dx = sup{s(f ; P) : P partio de [a, b]}

coincide com
Z
f (x) dx = inf{S(f ; P) : P partio de [a, b]}.

bem conhecido que esta definio equivalente de

Riemann: as funes integrveis formam uma mesma
classe e seus integrais so os mesmos.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Extenso

A necessidade de integrar sries de funes, lidar

com espaos de funes ou de desenvolver uma
Teoria das Probabilidades, levaram ao trabalho
fundamental de H. Lebesgue em 1904, definindo uma
integral que admite teoremas de convergncia muito
gerais.

Isto permite desenvolver uma teoria mais geral

(abrangendo uma classe maior de funes que passam
a ser integrveis) e mais completa, tornando a integral
de Riemann obsoleta em todos os aspectos tcnicos.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Lebesgue

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Pr-imagem de partio do contradomnio

A grande diferena conceitual na integral de Lebesgue

algo que parece trivial primeira vista: dada uma
funo f : [a, b] R, comeamos por tomar uma
partio do contradomnio (em geral, infinita), ou seja,
particionamos o eixo y, em lugar de particionar o
intervalo [a, b].

Concretamente, tomemos a partio Pn de R em

intervalos didicos de tamanho 2n :

k k+1
Pn = , :kZ
2n 2n

e formemos a soma das reas dos retngulos cuja

base enviada em cada um dos subintervalos de Pn :

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Necessidade de medida de conjuntos mais

gerais

X k  k k+1 
1
Sn (f ; m) = m f , ,
kZ
2n 2n 2n

onde m uma funo de conjunto, a ser definida, que

deve generalizar a noo de comprimento de um
subintervalo para subconjuntos mais gerais.

Notemos que a famlia

 k k+1 
f 1
, , kZ
2n 2n

disjunta e sua unio cobre todo o intervalo [a, b].

V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Aproximao Riemann

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Aproximao Lebesgue

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

A integral de Lebesgue

Dada uma funo f : [a, b] R, uma funo de

conjunto m (uma medida) e uma sequncia de
parties como Pn de R, dizemos Rque f integrvel
com respeito a m e com integral [a,b] f dm se
Z
lim Sn (f ; m) = f dm.
n+
[a,b]

Observemos que a partio obtida pelo mtodo de

Lebesgue automaticamente adaptada funo f ,
ficando mais fina onde f oscila mais, e menos fina
onde f oscila menos.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Riemann (cima) versus Lebesgue (baixo)

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Somas inferiores e superiores de Lebesgue

A sequncia

X k  k k+1 
1
Sn (f ; m) = m f , ,
kZ
2n 2n 2n

pode ser substituda por

X k+1  k k+1 
1
S
e n (f ; m) = m f , ,
kZ
2n 2n 2n

sem mudar as concluses, correspondendo a aproximar

a integral por cima ou por baixo, como no caso da
integral de Darboux.

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Mtodo de Lebesgue muito flexvel

Notemos que se f : X R uma funo qualquer num
espao X, ento a famlia

 k k+1 
f 1 , , kZ
2n 2n

disjunta e sua unio cobre X ( uma partio de X no

sentido da Teoria dos Conjuntos: uma famlia de
subconjuntos de X dois a dois disjuntos cuja unio X).
Portanto faz sentido definir e usar

X k  k k+1 
1
Sn (f ; m) = n
m f n
, n
,
kZ
2 2 2

desde que m faa sentido no espao X, e assim

definir a integral de f com repeito a m.
V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Lebesgue tem vantagens tcnicas

A integral de Lebesgue mais flexvel: muito mais

funes so integrveis Lebesgue do que Riemann.
Por exemplo:

1 se x Q

f (x) =
0 se x R \ Q

no integrvel Riemann, mas veremos que

trivialmente integrvel Lebesgue!
Alm disso, se fn % f , ou seja, fn+1 fn e fn f em
m-quase todo
R R ponto, ento segue que
f dm [a,b] f dm (Convergncia Montona de
[a,b] n
Lebesgue). Enquanto no caso de integral de Riemann,
precisaramos de convergncia uniforme de fn para f ...

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Mais vantagens tcnicas...

Mais ainda: dada uma medida m, o conjunto das
funes m-integrveis L1 (m) um espao mtrico
completo para a mtrica
Z
d(f , g) = |f g| dm,

ou seja, sequncias de Cauchy nesta mtrica

convergem para funes integrveis. (Notemos que a
medida m no foi especificada: este resultado vlido
para qualquer uma!)
Mas o anlogo no verdadeiro para a integral de
Riemann: existe famlia de Rfunes integrveis
Riemann tal que d(fn , fm ) = |fn (x) fm (x)| dx tende a
zero quando n, m , mas o limite destas funes no
integrvel Riemann...
V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Mais vantagens tcnicas...

Mais ainda: dada uma medida m, o conjunto das
funes m-integrveis L1 (m) um espao mtrico
completo para a mtrica
Z
d(f , g) = |f g| dm,

ou seja, sequncias de Cauchy nesta mtrica

convergem para funes integrveis. (Notemos que a
medida m no foi especificada: este resultado vlido
para qualquer uma!)
Mas o anlogo no verdadeiro para a integral de
Riemann: existe famlia de Rfunes integrveis
Riemann tal que d(fn , fm ) = |fn (x) fm (x)| dx tende a
zero quando n, m , mas o limite destas funes no
integrvel Riemann...
V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Mau comportamento da integral de Riemann

Tomemos {qn : n 1} uma enumerao dos racionais
no intervalo [0, 1] e as funes caractersticas ou
indicadoras

1 se x = qn
gn (x) = qn (x) = , n 1,
0 caso contrrio
Pn
e a sequncia fn = k=1 gk . Ento, claro que
R
fn (x) dx = 0 para todo n 1, portanto
R
d(fn , fm ) = |fn (x) fm (x)| dx = 0, mas o limite

se x Q

1
lim fn (x) = f (x) =
n 0 se x R \ Q

no integrvel Riemann!
V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Mau comportamento da integral de Riemann

Tomemos {qn : n 1} uma enumerao dos racionais
no intervalo [0, 1] e as funes caractersticas ou
indicadoras

1 se x = qn
gn (x) = qn (x) = , n 1,
0 caso contrrio
Pn
e a sequncia fn = k=1 gk . Ento, claro que
R
fn (x) dx = 0 para todo n 1, portanto
R
d(fn , fm ) = |fn (x) fm (x)| dx = 0, mas o limite

1 se x Q

lim fn (x) = f (x) =
n 0 se x R \ Q

no integrvel Riemann!
V. Araujo Teoria da Medida e Integrao (MAT505)
 Riemman versus Lebesgue Riemann Lebesgue

Desvantagem na apresentao da teoria

A nica desvantagem que precisamos estudar

primeiro o que so medidas para depois construir a
integral.

O caminho mais longo do que normalmente se faz

para estudar a integral de Riemann.

Mas o prmio substancial: conhecer a integral de

Lebesgue abre as portas para a Teoria da Probabilidade,
para a Anlise Funcional e Teoria Espectral (e suas
inmeras aplicaes em Equaes s Derivadas
Parciais), para Processos Estocsticos ou Teoria
Ergdica (estudo de Sistemas Dinmicos com medidas
invariantes).

V. Araujo Teoria da Medida e Integrao (MAT505)

 Riemman versus Lebesgue Riemann Lebesgue

Generalizao a espaos mais gerais que Rn

A integral de Riemann est estreitamente relacionada

com a estrutura dos espaos euclidianos, enquanto a
noo de medida muito mais abstrata, como
veremos.

Isto permite definir medidas em espaos topolgicos, e

da em espaos de funes etc, e depois a integral
associada a essa medida.

Portanto, a teoria da integral de Lebesgue a mais

apropriada para a Matemtica, quer do ponto de vista
terico, quer do ponto de vista de aplicaes.

V. Araujo Teoria da Medida e Integrao (MAT505)