Integral de Riemman: Uma condi c ao necess aria e suciente de integrabilidade

O c alculo diferencial e integral s ao hoje, para matem atica e para muitas a reas do conhecimento humano, indispens aveis para o tratamento de muitas situa co es e fen omenos existentes. Enquanto o conceito de derivada surge em torno do s eculo XVII, o de integral e muito mais antigo. Na antiguidade, a id eia de integral estava ligada a tratamentos geom etricos, como o c alculo de areas e volumes. Arquimedes (285 - 212 a. C.) j a trabalhava com esses conceitos, sem ter claro a no c ao e deni ca o de integral de hoje, em sua epoca. Foi s o no s eculo XIX, com a necessidade de rigor na fundamenta ca o da matem atica, que o conceito de integral acabou sendo denida em termos num ericos. O matem atico alem ao Bernhard Riemman teve grande inu encia nesse novo desenvolvimento do c alculo integral. Vamos ent ao denir a integral, no sentido num erico (acompanhada claro de sua vis ao geom etrica) e provar uma condi c ao necess aria e suciente para integrabilidade, segundo Riemman. Assim, seja uma fun c ao f denida sobre um intervalo fechado [a, b] (portanto limitada sobre tal intervalo). Dizemos que P e uma parti c ao do intervalo [a, b] se e um conjunto nito tal que P = {x0 , x1 , . . . , xn }, onde a = x0 < x1 < < xn = b. Temos ent ao que uma parti ca o P divide [a, b] em n subintervalos [xi1 , xi ], onde i = 1, . . . , n. Seja o comprimento (amplitude) do i- esimo subintervalo [xi1 , xi ] dado por xi = xi xi1 , ent ao o comprimento do maior deles (pois n ao s ao necess ariamente iguais) ea norma da parti ca o, denotado por ||P ||, onde ||P || = max{x1 , x2 , . . . , xn }. Como f e limitada sobre [a, b], ent ao f possui um nmo e um supremo, m e M , respectivamente. Assim, dada qualquer parti c ao P , os n conjuntos Si = {f (x) : xi1 x xi } possui limites inferiores mi e superiores Mi , com i = 1, . . . , n, tais que mi f (x) Mi ` diferen sobre [xi1 , xi ]. A ca i = M i mi , denominamos de oscila c ao de f sobre [xi1 , xi ]. 1

Denimos as somas superior e inferior de Riemman, relativas a parti ca o P , como n n sendo os n umeros S (f, P ) = i=1 Mi xi e s(f, P ) = i=1 mi xi , respectivamente.

Como m e M s ao o nmo e o supremo de f sobre [a, b], respectivamente, e m mi Mi M , ent ao m(b a) s(f, P ) S (f, P ) M (b a). Deni c ao 0.1. Uma parti c ao P e um renamento de uma parti c ao P , se P P . Se P e um renamento de P , ent ao s(f, P ) s(f, P ) e S (f, P ) S (f, P ), isto e, ao renarmos uma parti c ao P , a soma inferior tende a aumentar enquanto a soma superior diminui. E, dadas duas parti c oes P e P de um intervalo [a, b], temos que s(f, P ) S (f, P ), ou seja, toda soma inferior e menor ou igual a toda soma superior. O conjunto das somas inferiores e limitado superiormente por M (b a), assim possui supremo nito. Analogamente, o conjunto das somas superiores e limitado inferiormente por m(b a) e, portanto, tem nmo tamb em nito. Denominamos este supremo e nmo b b de integral superior e integral infeior e denotamos por a f e a f , respectivamente. Temos ainda que
b a

b a

f . Caso ocorra a igualdade desta rela ca o, ent ao dizemos que a

b a

fun ca o f e integr avel em [a, b], indicando pelo s mbolo

f ou

b a

f (x)dx.

Sendo f integr avel em [a, b], denimos a area da gura geom etrica representada pelo conjunto A = {(x, y )|0 y f (x), a x b}, como sendo a integral de f no intervalo [a, b].

UEPA

Prof. Osmar Borges

Provaremos agora uma condi c ao necess aria e suciente para integrabilidade (segundo Riemman). Teorema 0.1. Uma fun c ao limitada f e integr avel (segundo Riemman) sobre o intervalo [a, b] se, e somente se, para todo > 0 dado, existe uma parti c ao P de [a, b] tal que S (f, P ) s(f, P ) < . Demonstra c ao. () Suponhamos que para todo > 0, exista uma parti c ao P de [a, b], tal b que S (f, P ) s(f, P ) < (segue que S (f, P ) < s(f, P ) + ). Ent ao a f S (f, P ) < b b b s(f, P ) + a f + . Assim segue que a f a f + . Como 0 e muito pequeno, sem perda de generalidade, temos que
b a b a

b a

f . Sabemos que

b a

b a

f , segue que

f=

b a

f.
b a

() Reciprocamente, se 2 P e P , ent ao temos que que s(f, P ) >

b a

f=

b a

f e, dado > 0, podemos encontrar uma parti c ao P tal

b a

e outra P tal que S (f, P ) <

f + . Se P e um renamento de 2 + =

S (f, P ) s(f, P ) S (f, P ) s(f, P ) < pois S (f, P ) S (f, P ) e s(f, P ) s(f, P ), como quer amos.

Esta prova possui sua import ancia tanto te orica quanto pr atica no c alculo integral, mas existem outras condi co es necess arias e sucientes para garantir a integrabilidade de fun co es. O teorema de integrabilidade de Lebesgue usa os chamados conjuntos de medida zero para essa garantia, assim, dada uma fun ca o f , ela e integr avel em [a, b] se, e somente se, seus pontos de descontinuidades formarem um conjunto de medida zero.

UEPA

Prof. Osmar Borges