Algumas Deficincias da Integral de Riemann

Luis Fernando Mello Instituto de Cincias Universidade Federal de Itajub e-mail: lfmelo@unifei.edu.br

Resumo
Este artigo um tributo Henri Lebesgue, no ano em que comemoramos o centenrio da integral que leva o seu nome. Durante muito tempo foi desenvolvida uma teoria da integrao baseada nas idias de Riemann. Esta teoria, entretanto, contm certos inconvenientes que a tornam inadequada ao estudo de vrios problemas da Anlise Matemtica. Neste artigo apresentamos o cenrio anterior construo de Lebesgue, com especial destaque s deficincias da integral de Riemann.

1. Introduo
O clculo de reas e volumes de figuras geomtricas sempre foi um desafio para os matemticos gregos. Durante um longo perodo foram desenvolvidas tcnicas para a abordagem e soluo desses problemas. Podemos dizer que essas tcnicas conduziram idia de integral, a qual aparece de modo embrionria nas idias de Arquimedes (287-212 A.C.), ao utilizar o mtodo de exausto concebido por Eudoxo (408-355 A.C.). Muito tempo depois, j no sculo XVII, Leibnitz (1646-1716) e Newton (16421727), criadores do Clculo Diferencial, lanaram as bases do Clculo Integral. No entanto, somente com Cauchy (1789-1857) e Riemann (1826-1866) que o conceito de integral foi estabelecido de maneira rigorosa. Nesta poca o conceito de limite j havia amadurecido, possibilitando um tratamento mais rigoroso do Clculo. Durante um longo perodo foi desenvolvido um conceito de integrao baseado na proposta original de Riemann. Todavia, essa teoria contm algumas deficincias que a tornam inadequada ao estudo de vrios problemas da Anlise Matemtica. Aps detectadas algumas deficincias da integral de Riemann, uma reformulao do conceito de integral fazia-se necessria, de tal maneira que o novo conceito de integrao contivesse o anterior devido Riemann, mas que no apresentasse as deficincias daquele. Em outras palavras, dever-se-ia procurar uma teoria de integrao de maneira que a nova classe de funes integrveis necessariamente contivesse a classe das funes integrveis Riemann, mas que, por outro lado, no contivesse as deficincias que a integral de Riemann apresenta. Este era o cenrio, no que se refere integrao, no final do sculo XIX. Em 1902, Henri Lebesgue (1875-1941) publicou sua tese de doutoramento que tratava da apresentao de uma nova noo de integral [Le]. Sua proposta ia, num certo sentido, na contra-mo do pensamento cientfico existente naquela poca, tanto que em princpio elas foram duramente criticadas. Com o aparecimento e desenvolvimento de novas idias na Matemtica, a integral proposta por Lebesgue passou a ser melhor compreendida e mais tarde passou a ser

indispensvel o seu conhecimento. Hoje podemos afirmar que a teoria da integrao foi criada no sculo XX. O conceito de integral proposto por Lebesgue uma generalizao do conceito de integral apresentado por Riemann, no sentido que se uma funo integrvel segundo Riemann ento ela integrvel segundo Lebesgue e essas duas integrais coincidem. No entanto, algumas das deficincias da integral de Riemann passaram a no existir na integral de Lebesgue, bem como outras foram minimizadas. Neste trabalho no vamos tratar da construo da integral de Lebesgue. Iremos apresentar e explorar certas deficincias da integral de Riemann de modo a mostrar a necessidade da construo de uma nova teoria de integrao, por exemplo, a integral de Lebesgue. Este trabalho no contm material original do autor. So apresentadas compilaes de livros e artigos j consagrados. Muito do material aqui exposto foi retirado de [MM], cuja leitura recomendada. Sua organizao a seguinte: Na seo 2 apresentamos a definio de conjunto de medida nula da reta real. No vamos construir uma teoria da medida. Vamos sim apresentar e explorar a definio de conjunto de medida nula que bastante simples e utiliz-la na caracterizao das funes que so integrveis segundo Riemann. Na seo 3 fazemos uma reviso da integral de Riemann com destaque caracterizao das funes integrveis segundo Riemann em um intervalo (a, b ) . O principal assunto a ser tratado neste trabalho, isto , algumas deficincias da integral de Riemann, est apresentado na seo 4. Duas deficincias sero analisadas, a saber, a passagem ao limite sob o sinal de integral e o relacionamento das primitivas com as integrais indefinidas. Na seo 5 apresentamos as demonstraes dos resultados utilizados nas sees anteriores.

2. Conjuntos de medida nula

No necessitaremos neste trabalho de uma teoria de medida para os conjuntos, necessitamos, no entanto, do conceito de conjunto de medida nula.

Sendo I um intervalo limitado da reta real R, o comprimento de I, denotado por comp ( I ) , nada mais do que o valor absoluto da diferena entre os extremos do intervalo, no importando se o intervalo aberto, fechado ou nem aberto nem fechado. Portanto, se I for um intervalo limitado seu comprimento um nmero real no negativo. Se I for um intervalo ilimitado diremos que seu comprimento infinito. Um conjunto A denominado enumervel se for finito ou existir uma funo bijetora f : N A . Uma famlia de conjuntos enumervel quando o conjunto de ndices dessa famlia for um conjunto enumervel. Estamos em condies de apresentar a definio de conjunto de medida nula. A definio abaixo tenta e consegue captar a idia de pequenez de um conjunto. Dizemos que um conjunto I R tem medida nula quando para todo > 0 existir uma famlia enumervel de intervalos abertos {I n }nN tal que: i) I

U
n =1

In e

ii)

comp (I ) < .
n n =1

A condio i) diz que a famlia {I n }nN um recobrimento de I por intervalos abertos. Podemos extrair da definio acima que todo subconjunto de um conjunto de medida nula tem medida nula. Tambm decorre da definio acima que se um conjunto tem medida nula ento ele tem interior vazio. Tomemos I = {x1 , x2 , x3 ,..., xn ,...} R um conjunto enumervel. Para cada > 0 , consideremos os intervalos abertos

I n = xn n + 2 , xn + n + 2 , 2 2
para n = 1,2,... . Deste modo, I U I n , ou seja, a primeira condio da definio de
n =1

conjunto de medida nula satisfeita. Agora, a segunda condio da definio de conjunto de medida nula tambm satisfeita porque cada intervalo aberto I n tem comprimento dado por

e assim 2 n +1
4

 comp (I ) =
n n =1 n =1

= <. n +1 2 2

Logo, todo conjunto enumervel da reta real tem medida nula como, por exemplo, o conjunto dos nmeros racionais Q. Em particular, todo conjunto finito tem medida nula. Pode-se mostrar ainda que uma unio enumervel de conjuntos de medida nula tem medida nula. Por outro lado, se I = [a, b] , com a b , ento I no tem medida nula. Quando uma propriedade vlida em um conjunto I exceto em um subconjunto de I de medida nula, dizemos que a propriedade vale quase em toda parte de I. Deste modo, se f : I R contnua em I exceto em Q I , ento f contnua quase em toda parte de I. Por exemplo, a funo f : [0,1] R definida da seguinte maneira: f ( x) = 0 , se x um nmero irracional no domnio de f; f (x) = 1 , se x = p , com p e q primos entre si, 4 q 1+ q

mas com x 0 ; f (0) = 0 , contnua no intervalo [0,1] exceto em Q [0,1] , ou seja, contnua quase em toda parte de [0,1] .

3. A integral de Riemann
Discutiremos brevemente a construo da integral de Riemann. Na verdade no iremos construir a integral de Riemann segundo sua proposta original. Iremos utilizar uma construo devida a Darboux (1842-1917) que equivalente de Riemann. Trabalharemos com intervalos abertos, mas a adaptao da construo para intervalos fechados imediata e ser algumas vezes utilizada. Seja (a, b ) um intervalo aberto e limitado da reta real. Um conjunto finito de pontos da reta real {x0 , x1 ,..., xn } , onde a = x0 < x1 < ... < xn 1 < xn = b , determina n subintervalos abertos I1 = ( x0 , x1 ) , I 2 = ( x1 , x2 ) , ..., I n = ( xn 1 , xn ) , do intervalo

(a, b ) . Dizemos que a coleo

P = {I1 , I 2 ,..., I n } uma partio do intervalo (a, b ) pelos

pontos x0 , x1 ,..., xn . Tais pontos so chamados de pontos de diviso dessa partio.

Considere f : (a, b ) R uma funo limitada e seja P uma partio do intervalo

(a, b ) determinada pelos pontos

x0 , x1 ,..., xn . Para cada i = 1,2,..., n , denotemos por mi e M i ,

respectivamente, o nfimo e o supremo de f em I i = ( xi 1 , xi ) . Consideremos as somas s( f , P ) = e S ( f , P) =

m comp (I )
i i i =1

M comp (I ) ,
i i i =1

denominadas, respectivamente, soma inferior e soma superior de f, relativas partio P de

(a, b ) . Resulta que s( f , P ) S ( f , P ) , para qualquer partio P.

Pode-se demonstrar que s ( f , P ) S ( f , P2 ) , para quaisquer duas parties P e P2 do 1 1 intervalo (a, b ) . Com isto podemos observar que qualquer soma superior uma cota superior para o conjunto das somas inferiores, e ainda, qualquer soma inferior uma cota inferior para o conjunto das somas superiores. Portanto, o conjunto de todas as somas superiores, isto , tomando-se todas as parties P do intervalo (a, b ) , possui um nfimo, representado por

f ( x) dx
a

e denominado integral superior segundo Riemann de f em (a, b ) , bem como o conjunto de todas as somas inferiores possui um supremo, representado por

f ( x) dx
a

e denominado integral inferior segundo Riemann de f em (a, b ) . Desta construo segue que

b a

f ( x) dx

f ( x) dx .
a

Quando a igualdade acima for obtida dizemos que a funo f Riemann integrvel em (a, b ) sendo o valor comum das integrais inferior e superior denominado integral de Riemann de f em (a, b ) e representado por
6

 f ( x) dx .
a

Equivalentemente, uma funo f Riemann integrvel em (a, b ) se para cada > 0 existir uma partio P de (a, b ) tal que S ( f , P ) s ( f , P ) < . O conjunto das funes f : (a, b ) R Riemann integrveis em (a, b ) ser denotado por R (a, b ) . Tomemos f : (0,1) R , definida por f ( x) = 1 se x um nmero racional no intervalo

(0,1)

e f ( x) = 0 se x um irracional no intervalo

(0,1) .

Os intervalos

I i = ( xi 1 , xi ) , para i = 1,2,..., n , de qualquer partio P do intervalo

(0,1)

contero

necessariamente pontos racionais e irracionais. Deste modo, mi = 0 e M i = 1 , para todo i = 1,2,..., n , o que resulta em

f ( x) dx = 0
0

f ( x) dx = 1 .
0

Podemos concluir que a funo acima no Riemann integrvel em (0,1) . Iremos passar agora caracterizao das funes que so Riemann integrveis em um intervalo (a, b ) . A demonstrao do teorema abaixo ser apresentada na seo 5. Teorema 1. Seja f : (a, b ) R uma funo limitada. Essa funo Riemann integrvel em (a, b ) se, e somente se, ela for contnua quase em toda parte de (a, b ) . Decorre do teorema 1 que as funes f : (a, b ) R contnuas e limitadas so Riemann integrveis em (a, b ) .

4. Algumas deficincias da integral de Riemann

4.1. Passagem ao limite sob o sinal de integral

Um ponto delicado no estudo da Anlise Matemtica est na utilizao da integral de Riemann em conjunto com as seqncias de funes, conforme veremos nas linhas abaixo. Tomemos uma seqncia de funes

( f n )nN

que convirja para a funo

f : (a, b ) R , ou seja, f = lim f n , onde, para cada nmero natural n, f n : (a, b ) R uma funo Riemann integrvel em (a, b ) . Podemos colocar as seguintes questes: i) ii) A funo limite f Riemann integrvel em (a, b ) ? Sendo afirmativa a resposta da questo acima, teremos

b a

f ( x) dx =

b a

lim f n ( x) dx = lim

f ( x) dx ?
a n

O primeiro exemplo abaixo mostra que a questo i) pode ter uma resposta negativa, isto , uma seqncia de funes Riemann integrveis em (a, b ) pode convergir para uma funo que no seja sequer Riemann integrvel em (a, b ) . J o segundo exemplo mostra que, mesmo tendo a questo i) uma resposta afirmativa, podemos ter

b a

f ( x) dx =

b a

lim f n ( x) dx lim

f ( x) dx .
a n

Passemos construo de um exemplo que d uma resposta negativa para a primeira questo. Consideremos

{r1 , r2 ,..., rn ,...}

o conjunto dos nmeros racionais do

intervalo (0,1) e seja ( f n )nN a seguinte seqncia de funes f n : (0,1) R , definida por f n ( x) = 1 nos pontos r1 , r2 ,..., rn e f n ( x) = 0 nos demais pontos. Desta definio segue que, para todo n, f n R (0,1) , uma vez que tem apenas um nmero finito de descontinuidades, e vale

f ( x) dx = 0 .
0 n

Agora, a seqncia ( f n )nN converge (simplesmente) para a funo f : (0,1) R dada por f ( x) = 1 nos pontos racionais do intervalo (0,1) e f ( x) = 0 nos demais pontos. Como vimos anteriormente esta funo no Riemann integrvel em (0,1) , pois descontnua em todos os pontos de (0,1) .

Veremos agora um exemplo em que tanto as funes da seqncia ( f n )nN quanto a funo limite f so Riemann integrveis em [0,1] , mas no temos

lim f n ( x) dx = lim

f ( x) dx .
0 n

De fato, tomemos f n : [0,1] R , onde f n ( x) = (n + 1) x n se 0 x < 1 e f n (1) = 0 . Esta seqncia de funes converge (simplesmente) para a funo f identicamente nula em [0,1] . Para cada nmero natural n, a funo f n Riemann integrvel em [0,1] e

f ( x) dx = 1 .
0 n

Assim,

funes [Li].

lim f n ( x) dx =

f ( x) dx = 0 1 = lim

f ( x) dx .
0 n

Esta deficincia (passagem ao limite sob o sinal de integral) apresentada pela integral de Riemann no aparece se exigirmos a convergncia uniforme da seqncia de

4.2. Primitivas versus integrais indefinidas Uma bem conhecida propriedade das funes Riemann integrveis em (a, b ) a seguinte: se f Riemann integrvel em (a, b ) e se x (a, b ) ento f Riemann integrvel em (a, x ) . Esta propriedade permite-nos a construo, partindo de uma funo f Riemann integrvel em (a, b ) , de uma nova funo g : [a, b] R , dada por g ( x) =

f (t ) dt .
a

(4.2.1)

Dizemos que uma funo h : [a, b] R uma integral indefinida de f se h dada por h( x) = g ( x) + k , onde k R uma constante arbitrria e g dada por (4.2.1). Assim, as integrais indefinidas de uma funo f Riemann integrvel em (a, b ) so dadas por h( x ) =

f (t ) dt + k .
a

Do Clculo sabemos que toda integral indefinida h de uma funo f Riemann integrvel em

(a, b )

uma funo contnua em [a, b] , diferencivel nos pontos de

continuidade de f e em tais pontos temos h(x) = f (x) . Portanto, se f uma funo contnua em (a, b ) , toda integral indefinida h de f uma funo contnua, diferencivel em

(a, b ) e em todos esses pontos temos

h(x) = f (x) .

Motivados pelo caso acima, dizemos que uma funo h : [a, b] R uma primitiva de f : (a, b ) R se, para todo x (a, b ) , h( x) = f ( x) . Deste modo, no caso de f ser uma funo contnua em (4.2.2)

(a, b ) ,

toda integral

indefinida de f uma primitiva de f. Reciprocamente, se h uma primitiva de f e esta contnua, ento h uma integral indefinida de f dada pela frmula h( x ) =
x

f (t ) dt + h(a) .
a

Podemos resumir esta discusso da seguinte maneira: se

f : (a, b ) R for

contnua, ento uma funo h : [a, b] R uma primitiva de f se, e somente se, h for uma integral indefinida de f. Este o conhecido Teorema Fundamental do Clculo Integral. No conjunto das funes contnuas este teorema estabelece uma relao simples e harmoniosa entre a derivao e a integrao no sentido de Riemann. Consideremos agora a seguinte situao: uma funo f Riemann integrvel em

(a, b )

mas no necessariamente contnua. Pelo teorema 1 essa funo limitada e

contnua quase em toda parte de (a, b ) . Deste modo, as integrais indefinidas de f so derivveis quase em toda parte de (a, b ) . Mais precisamente, as integrais indefinidas h de f sero diferenciveis nos pontos de continuidade de f e em tais pontos valida a expresso h = f . Neste caso, as integrais indefinidas de f no so primitivas de f, quando se entende por primitiva de uma funo f todas as funes que satisfaam (4.2.2). Podemos concluir que a exigncia adotada em (4.2.2) muito restritiva. Adotaremos uma nova definio de primitiva, a saber: chamamos de primitiva de uma funo f : (a, b ) R a toda funo h : [a, b] R derivvel quase em toda parte de (a, b ) e tal que h( x) = f ( x) quase em toda parte de (a, b ) .

10

Com esta nova definio as integrais indefinidas de f passam a ser primitivas de f. No entanto, a recproca ainda no verdadeira, ou seja, existem primitivas de f que no so integrais indefinidas de f, conforme o seguinte exemplo. Consideremos a funo h : [0,1] R , dada por h( x) = 1 , se 0 x 1 e h( x) = 2 , 2 se 1 < x 1 . Segue que h contnua e derivvel quase em toda parte de [0,1] . Pela 2 definio anterior h uma primitiva da funo f : (0,1) R identicamente nula, mas no uma integral indefinida de f. De fato, as integrais indefinidas de f so as funes constantes em [0,1] . De toda esta nossa discusso podemos concluir que o conjunto das integrais indefinidas de uma funo f Riemann integrvel em (a, b ) est contido propriamente no conjunto de suas primitivas. Uma questo natural surge: dentre as primitivas de f como caracterizar as que so suas integrais indefinidas ? Esta mais uma deficincia da integral de Riemann.

5. Demonstrao do teorema 1
Nesta seo iremos demonstrar o teorema 1 exibido na seo 3. Para isto necessitamos de algumas definies. Seja f : (a, b ) R uma funo limitada e

(c, d ) (a, b ) . Definimos a oscilao de f em (c, d ) por

(c, d ) = sup{ f ( x) / c < x < d } inf { f ( x) / c < x < d }
e a oscilao de f em x0 (a, b) por

( x0 ) = lim (( x0 , x0 + ) (a, b )) .
0

No difcil mostrar que o limite acima existe, ou seja, a oscilao de f em x0 est bem definida. Intuitivamente, a oscilao de f em x0 mede o quanto a funo f varia no ponto x0 . Seria de esperar que, nesta interpretao, se uma funo contnua em x0 sua oscilao neste ponto fosse nula. De fato, pode-se mostrar que uma funo limitada contnua em um ponto se, e somente se, sua oscilao nesse ponto igual a zero.

11

Para > 0 , definamos o conjunto E = {x (a, b ) / ( x) }. Se denotamos por D ( f ) = {x (a, b ) / f descontnua em x}, ento D ( f ) =

UE
n =1

Lema 2. Seja f : (a, b ) R uma funo limitada. Se f Riemann integrvel em (a, b ) ento f contnua quase em toda parte de (a, b ) . Prova. Queremos mostrar que o conjunto dos pontos de descontinuidade de f tem medida nula. Mas, como D ( f ) =

UE
n =1

, basta mostrarmos que E 1n tem medida nula para cada n.

Suponha que isto no ocorra, ou seja, existe n N tal que E 1n no tenha medida nula. Da definio de conjuntos de medida nula segue que existe > 0 tal que, para qualquer recobrimento de E 1n por intervalos abertos, a soma de seus comprimentos ser maior que

. Deste modo, para qualquer partio P de (a, b ) , a soma dos comprimentos dos
intervalos da partio P que contm pontos de E 1n maior ou igual a . Resulta desta construo que S ( f , P ) s ( f , P ) Riemann integrvel em (a, b ) . Lema 3. Seja f : (a, b ) R uma funo limitada. Se f contnua quase em toda parte de g

> 0 , para qualquer partio P de (a, b ) , ou seja, f no n

(a, b ) ento f Riemann integrvel em (a, b ) .

Prova. Por hiptese, D ( f ) tem medida nula. Queremos mostrar que para qualquer > 0 existe uma partio P do intervalo (a, b ) tal que S ( f , P ) s ( f , P ) < . Denotemos por M (respectivamente m) o supremo (respectivamente nfimo) de f em (a, b ) . Fixemos > 0 e tomemos n0 o menor inteiro tal que n0 > 2(b a )

(5.1)

12

Como

E 1n D ( f )
0 0

segue que

E 1n

tem medida nula. Portanto, o conjunto

Fn0 = E 1n {a, b} tambm tem medida nula. Em outras palavras, existe um recobrimento enumervel {I n }nN , por intervalos abertos, de Fn0 tal que

n =1

comp ( I n ) <

. 2( M m)

(5.2)

Para todo x [a, b] Fn0 , seja I x um subintervalo de (a, b ) que contenha x e onde

(I x ) <
Deste modo,

1 . n0

(5.3)

UI
n =1

x[a , b ] Fn 0

UI

um recobrimento de [a, b] por intervalos abertos. Pelo

teorema de Heine-Borel, [a, b] admite uma subcobertura finita, denotada por I n1 ,..., I nr , I x1 ,...I x s . (5.4)

Tomemos a partio P do intervalo (a, b ) induzida por 5.4, ou seja, os pontos de diviso de P so os pontos a, b e os extremos dos intervalos que aparecem em 5.4 contidos em (a, b ) . Desta construo segue que cada intervalo da partio P est contido em algum intervalo de 5.4 e que se J1 , J 2 ,..., J k so subintervalos da partio P contidos em um intervalo I de 5.4 ento

(J ) comp ( J ) ( I ) comp (I ) .
n n n =1

Desta ltima desigualdade, de 5.1 e de 5.3 temos S ( f , P ) s( f , P )

(I ) comp (I ) + (I ) comp (I
ni ni xi i =1 r i =1

xi

(M m) comp (I ) + n
ni i =1 i =1

1
0

comp ( I xi ) < .

Resulta que f Riemann integrvel em (a, b ) , como queramos. g Prova do teorema 1. Segue dos lemas 2 e 3.

13

6. Referncias bibliogrficas
[Le] Lebesgue, H., Leons sur lintegration et la recherche des fonctions primitives, 3rd edition, Editora Chelsea (1973). [Li] Lima, E. L., Curso de anlise, volume 1, 6a edio, Coleo Projeto Euclides, Sociedade Brasileira de Matemtica (1989). [MM] Medeiros, L.A. e Mello, E.A., A integral de Lebesgue, 4a edio, Textos de Mtodos Matemticos 18, Universidade Federal do Rio de Janeiro (1989).

14