Você está na página 1de 9

1

Que integral e

Integral de Riemann
Praciano-Pereira, T

Departamento de Matemtica a Universidade Estadual Vale do Acara u 11/07/2007 tarcisio@member.ams.org prprints do Curso de Matemtica de Sobral e a no. 2007-01 Editor Tarcisio Praciano-Pereira tarcisio@member.ams.org
Resumo Neste trabalho estou mostrando como podemos denir a integral no sentido de Riemann como uma classe de equivalncia de sucesses de Caue o chy. Para isto mostro um isomorsmo de ordem entre uma classe de parties de um intervalo [a, b] e a classe de todas as somas de Riemann co de uma funo real denida em [a, b], ca [a, b] : R As funes integrveis no sentido de Riemann produzem sucesses com co a o suas somas de Riemann que se encontram todas numa unica classe de equivalncia de sucesses de Cauchy, um unico nmero real que recebe a e o u b R designao f (x)dx ca
a f

Para que se tenha uma idia clara de que esta seo um resumo, a resposta do e ca e que integral se encontra em [3] no cap e tulo 1 ou ao longo de vrios cap a tulos de [2]. Seguindo as idias inovadoras do comeo do sculo 20 que desembocaram no e c e trabalho de Schwartz, artigo publicado por volta de 1945 ou a verso expandida, a [4], uma integral (no sentido de Daniel) uma forma linear. Quer dizer que se e f estiver denida no intervalo [a, b], para cada a [a, b] f f (a) R (1)

um tipo de integral da funo f porque satisfaz `s propriedades de linearidade. e ca a Se forem escolhidos n pontos a1 , . . . , ak [a, b] a expresso a
n

f
k=1

f (ak )

(2)

generaliza (1) sendo tambm uma integral. e Se o leitor estiver dando os seus primeiros passos em Anlise Matemtica a a ou terminando um curso de Clculo, pode car chocado com estes exemplos a e de alguma forma o meu objetivo. O que vou discutir aqui um mtodo e e e de integrao produzido por matemticos do sculo 18, atribuido a Riemann, ca a e Newton, Leibniz com a contribuio de in meros outros cujos nomes se associam ca u com menos intensidade ao mtodo que usualmente dito de Riemann. Uma das e e caracter sticas da integral de Riemann e
b b b

f (x) + g(x)dx =
a a

f (x)dx +
a

g(x)dx

(3)

a linearidade que tambm valem para o exemplos de integrais que dei acima. e No in cio do sculo 20 Lebesgue descobriu que o mtodo de Riemann era e e incompleto produzindo uma classe mais ampla de conjunto mesurveis aos quais a aplicava uma funo medida que generalizava a integral de Riemann construindo ca o que se chamou de integral de Lebesgue. Para deixar esta comparao mais ca completa, a integral de Riemann se baseia em intervalos, no caso univariado, ou no produto de intervalos, no caso multivariado. Embora haja autores que armem, sem rodeios, que a integral de Riemann e in til e que deveriamos diretamente usar no Clculo a integral de Lebesgue, do u a ponto de vista pedaggico esta forma de pensar nunca pegou e voc tem aqui o e um artigo discutindo, novamente, a integral de Riemann, mas com um mtodo e diferente do habitual, usando seqncias de Cauchy e classes de equivalncia de ue e seqncias de Cauchy para denir a integral. ue

Funes integrveis a Riemann co a

Nesta seo vou descrever o plano do trabalho que vai conduzir ao conceito e ca ao teste que determina se uma funo integrvel a Riemann ca e a Partio de um intervalo [a, b] como um mtodo de aproximao de uma ca e ca rea. a A estrutura de ordem do conjunto de todas as parties de um intervalo co relativamente ao renamento de parties e as cadeias relativas a este co renamento. c A sub-estrutura de ordem do subconjunto de todas as partioes do um intervalo [a, b] formada pelas parties cujas normas das parties tendem a co co 1 zero como n em que n o n mero de sub-intervalos da partio, que vou e u ca designar aqui como 0 ([a, b]), a classe das parties de [a, b] cuja norma co e menor ou igual a ba . n Associadas ` qualquer cadeia de parties existem duas classes de sucesses a co o chamadas Sn e Sn das somas superiores e inferiores de Riemann associadas a qualquer cadeia de 0 ([a, b]) em que n o n mero de sub-intervalos e u considerado. Um n mero nito de elementos de cada uma dessas sucesses u o tem que substituido por zero porque ao fazer um renamento h um inea vitvel salto entre inteiros. Neste caso re-enumeramos os elementos da a sucesso para que possamos ter convergncia, este um detalhe trabaa e e lhoso. Mostraremos que basta garantir a convergncia destas sucesses e o para denir a integral. ca ca a A denio de funo integrvel a Riemann relativamente ao intervalo [a, b] vai ser consequncia da ordem numa classe de parties e ser estabelecida e co a denindo um n mero real, isto uma classe de equivalncia de sucesses u e e o de Cauchy. a O clculo da integral: sabendo que integral existe, usamos um tipo particular de partio, as uniformes, para obter sucesses convergentes e encontrar ca o o limite.

f b
Figura 1: a funo ca
Area entre graf (f ) e o eixo OX

1 R ; f (0) = 0 x no determina com o eixo OX uma regio que possua rea e assim a a a [1, 1] x f (x) =
1

(5)

f (x)dx
1

(6)

no existe; a a funo ca 1 R x2 determina com o eixo OX uma regio que possui rea e assim a a [1, ) x f (x) =

(7)

f (x)dx
1

(8)

Parties e somas de Riemann associadas co


[a, b] x f (x) R (4)

existe. As palavras chave deste mtodo so aproximaao e limite, e o mtodo consiste e a c e em produzir sucesses renando a quantidade de retngulos de formas que, em o a 1 alguns casos , podemos descobrir uma expresso cujo limite poss calcular. a e vel Para conseguir isto posso aproximar inferiormente a rea determinada pelo a graf (f ) e o eixo OX colocando dentro desta guras geomtricas cujas rea eu e a
1 certo, talvez desconcertante, em alguns casos no poss a e vel calcular o limite mas apenas mostrar que ele existe, mas o que certo poderemos sempre calcular uma estimativa do seu e e valor

Dada uma funo ca intuitivamente desejo que o graf (f ) determine, como o eixo OX uma rea, como a est sugerido na gura (1) pgina 3, e neste momento no vou me interessar a a a em discutir quais so os tipos de funo que servem, isto ser consequncia da a ca a e denio nal, e o que vamos fazer aqui contruir o mtodo para calcular esta ca e e rea que, se existir, a integral no sentido de Riemann de f . a e Algumas vezes a intuio pode falhar, por exemplo ca

saiba calcular, como retngulos, sucientemente pequenos e em grande quantia dade para obter melhor e melhor aproximao como est ilustrado na gura (2) ca a pgina 4, a

f
a b
Figura 3:
A parte positiva de f

a
Figura 2:
Retngulos aproximando a area a

A gura (2) no um exemplo feliz, porque ela composta de reas positia e e a vas e negativas e quando a rea for negativa os retngulos inclu a a dos dentro da rea representam uma aproximao por excesso, portanto esta gura (2) no a ca a representa uma aproximao por falta. ca Para evitar esta diculdade separamos uma funo em suas partes positiva ca e negativa, observe, duas funes positivas, co f = f + f ; f + (x) 0 ; f (x) 0 (9)

A ferramenta para associar uma sucesso ` f consiste em subdivises sucesa a o sivas do intervalo [a, b] em um certo n mero de subintervalos que correspondem u `s bases de cada um dos retngulos que aparecem na gura (3). a a A soma das reas destes retngulos da forma a a e f (x0 )(x1 x0 ) + + f (xk )(xk+1 xk ) + + f (xn1 )(xn xn1 ) =(11)
n1 n1

=
k=0

f (xk )(xk+1 xk ) =
k=0

f (xk )xk

(12)

e assim podemos fazer uma teoria pensando apenas em funes positivas posteco riormente denindo
b b b

f=
a a

f+
a

(10)

que obedece a um axioma de reas da geometria, area da unio de guras disa a juntas a soma das areas das guras. Aqui o termo disjunto imprprio uma e e o vez que as guras tm uma parte da fronteira em comum, o que evidencia uma e diculdade na construo da teoria que pode ser resolvida com a observao: a ca ca retirada desta interseao no altera as areas das duas guras envolvidas porque c a 2 estamos retirando uma regio com area nula. a A partir de agora vamos considerar f uma funo positiva, como na gura ca (3) pgina 5, a
2 isto se encontra ligado aos problemas do dia-a-dia, ningum se preocupa na mediao de e c terrenos com a cerca que separa dois terrenos, e neste caso uma regio com area no nula.... e a a

na equao (12) estou usando a notao xk para representar (xk+1 xk ), ou ca ca ainda xk = (xk+1 xk ), a medida do subintervalo [xk , xk+1 ]. Este tipo de soma, (12), se chama soma de Riemann . A soma que aparece na equao (11) ou na posterior , (12), vai at o ultimo ca e subintervalo, mas a o ndice da soma termina com k = n 1 porque a soma comeou com c ndice k = 0. Seria equivalente se eu tivesse comeado com k = 1 e ento o c a ndice na soma iria at k = n. e a Em qualquer caso estou somando n retngulos que correspondem a n subintervalos. Olhe novmente o grco na gura (3) e veja que nela h retngulos a a a com altura zero, e consequentemente, eles no aparecem na gura, mas esto a a l, e suas reas zero aparecem nas equaes (11), (12). a a co Vou agora discutir o mtodo usado para produzir a soma em (12). e Podemos fazer uma comparao que se encontra presente nos modernos ca meios de comunicao que se mostram assim apenas uma reformulao de anca ca tigas idias o que justica que continuemos a estudar o que antigo como um e mtodo para entender o atual. e

Podemos dizer que escolhemos n pontos para fazer um levantamento dos valores de f a = x0 , . . . , xk , . . . , xn = b f (x0 ), . . . , f (xk ), . . . , f (xn1 ) f (x1 ), . . . , f (xk ), . . . , f (xn ) (13) (14) (15)

Uma diculdade para produzir uma notao adequada aparece aqui. O ca novo ponto acrescentado pode alterar a denominao de todos os anteriores ca com exceo de a = x0 . Por exemplo, o ultimo ponto agora ser xn+1 = b assim ca a como todos os outros que carem ` direita do novo ponto tero seus indices a a trocados. Uma alternativa para isto esquecer os pontos anteriores e pensar e apenas na partio, por exemplo se eu chamar P a partio ca ca P = {x0 , x1 , , xn } ento posso usar a notao para a soma de Riemann a ca S(P ) =
xk P

em que, naturalmente, escolhemos uma das alternativas, (14), ou (15), comeando c com o valor de f no primeiro ponto de cada sub-intervalo, que corresponde ` a alternativa (14) ou no ponto nal de cada sub-intervalo, que corresponde ` ala ternativa (15). Se voc estiver se perguntando se os resultados so iguais, a resposta cere a e e a ca tamente aquilo que voc est pensando: no. Mas voc ver na continuao que e a a isto um detalhe sem interesse, vamos obter duas sucesses de Cauchy equie o valentes. Ainda comparando, ao fazermos um levantamento, podemos perder alguns dados desde que a histria dos dados seja mantida. Voltaremos mais o adiante a esta questo. a Se voc tiver alguma experincia3 com linguagens de programao, pode exe e ca perimentar o programa riemann.c, ver [5]. Altere a funo dentro do programa ca para fazer outras experincias, o programa usa a biblioteca ambiente.h que se e encontra no mesmo local, voc deve baixar os dois arquivos quando for compilar, e e dentro do programa esto instrues para a compilao. a co ca A ferramenta para construir a soma de Riemann uma diviso do intervalo e a [a, b] em intervalos disjuntos (exceto pelo fato de que eles tm um extremo em e comun) cuja unio intervalo [a, b]. Chamamos isto de partiao do intervalo. a e c Poderiamos considerar intervalos semi-abertos: [x0 , x1 ) [x1 , x2 ) [xn1 , xn ] (16)

(19)

f (xk )xk

(20)

eliminando o incoveniente com os ndices. Vou sar esta notao mais a frente. ca Diremos que Sn uma soma de Riemann associada a uma partio [a, b] e ca com n subintervalos, e ao acrescentar um novo ponto fazendo um renamento, diremos que Sn+1 uma soma de Riemann associada a uma partio [a, b] com e ca n + 1 subintervalos. Entretanto existe uma quantidade no enumervel de novas parties poss a a co veis com n + 1 ns, nova complicao. o ca A sa simplesmente dizer que calculamos Sn com uma partio de [a, b] da e ca o que tem n ns. Ou seja, Sn pode ser obtida de muitas maneiras diferentes, por exemplo, poderiamos subdividir o intervalo em partes iguais: x0 = x1 = = xn1 = ba n (21)

e ai teriamos uma autntica partiao do intervalo [a, b], uma classe de subcone c juntos disjuntos cuja unio o universo [a, b]. a e A soma de Rieman ento ser denotada por a a
n1

e assim obteriamos uma soma de Riemann uniforme que o mtodo usado no e e programa riemann.c, [5]. Vamos na prxima seo encontrar uma lgica neste tumulto que acabamos o ca o de produzir e o mtodo vai se consistir de descobrir uma estrutura algbrica4 no e e conjunto de todas as parties do intervalo [a, b]. co

Sn =
k=0

f (xk )xk

(17)

A fam das parties do intervalo [a, b] lia co

e estamos indicando na equao (17) que a soma de Riemann foi obtida com ca uma partio que tem n subintervalos. ca Se acrescentarmos um novo n diferente dos anteriores o a = x0 , x1 , , xn = b (18)

e ento o novo n tem que ser maior do que a e menor do que b, para ser um a o novo ponto de coleta de dados dentro do intervalo [a, b], estaremos fazendo um renamento da partio anterior e calculando Sn+1 . ca
3 e se no tiver experincia com programaao, pode adquirir agora contornando os precona e c ceitos que eventualmente tenha contra experincias computacionais, comece com este exemplo e e algum esforo. c

Vou identicar uma soma de Riemann com a partio que lhe d origem, ao ca a construir uma estrutura de ordem para o conjunto das parties, estarei, com co este isomorsmo, construindo uma estrutura de ordem para o conjunto de todas as somas de Riemann. Vimos na seo anterior que apenas escolhendo um n mero natural n temos ca u uma quantidade no enumervel de somas de Riemann associados com este a a n mero, a quantidade de posies5 , que um novo ponto pode assumir entre u co os velhos pontos da antiga partio. ca Temos duas formas equivalentes de nos referirmos a uma partio: ca
4 admitindo 5 no a

a Lgica como um cap o tulo da Algebra... uma quantidade, nem siquer podemos contar e

a fam dos ns, um conjunto crescente de pontos do intervalo [a, b] em lia o e que o primeiro ponto a e o ultimo ponto b; e a fam dos sub-intervalos que estes pontos determinam. lia Vamos preferir a fam dos ns, quer dizer que quando nos referirmos a uma lia o partio de [a, b], estaremos pensando num conjunto de ns, uma sucesso nita, ca o a crescente, cujo primeiro termo a e ultimo termo b. Mas como dissemos, os e e mtodos dos ns ou dos subintervalos so equivalentes, e com freqncia estaree o a ue mos fazendo referncia aos subintervalos determinados pelos ns para justicar e o os conceitos de que vamos precisar.

{a,b} a<c<b {a,c,b} {a,d,b} a<e<b {a,e,b}

{a,c,d,b} a<c<d<b

{a,d,e,b} a<d<e<b

4.1

Uma ordem em ([a, b])


{a,c,d,e,b}

A fam de todas as parties do intervalo [a, b], ser designada por ([a, b]), lia co a tem uma relao de ordem que no total, no sentido de que h duas6 parties ca a e a co que no podem ser comparadas. a Vamos comear com {a, b}, a menor partio poss c ca vel porque ser coma parvel com qualquer outra7 partio. Depois vamos ver que no h nenhum a ca a a mximo. a Se acrescentarmos um ponto (e podemos faz-lo de muitas maneiras) estaree mos fazendo um renamento de {a, b}. Podemos escolher exatamente o ponto mdio e teremos (com {a, b}) outra partio uniforme: e ca {a, ba a+b , b} = {a, a + , b} 2 2 (22)

Figura 4: As parties co

Arvore de partioes c

{a, c, b}, {a, d, b}, {a, e, b} so tres renamentos de {a, b} incomparveis entre si, a a As parties co {a, b}, {a, c, b}, {a, c, d, b}, {a, c, d, e, b}

(23)

(24)

o Na segunda forma, na equao (22), aparece o x = ba , o salto entre os ns. ca 2 Qualquer outra partio que zermos com trs ns ser mais na ( o nome ca e o a e ba da ordem) que {a, b}, mas no ser comparvel com {a, a + 2 , b}. a a a Ao escolhermos um novo n renamos uma partio existente. Podemos o ca fazer isto de vrias maneiras criando distintos renamentos da partio de a ca onde partimos e ao mesmo tempo criando diversas parties incompat co veis entre si (incomparveis). a Ou podemos seguir criando uma cadeia de parties comparveis, a prxima co a o mais na que a anterior. Teremos, desta forma, uma innidade de cadeias de parties. co Esta idia est ilustrada na gura (4) pgina 9, ela contm uma arvore que e a a e um grafo para representar relaes de ordem. Quem estiver abaixo e ligado e co por uma linha menor do quem estiver acima e ligado por uma linha. e Quem no estiver ligado por poligonal ascendente (ou descente) no coma a e parvel. a
mas pelo menos duas de cada vez ou maior uma questo subjetiva, estamos construindo uma relao de ordem e e a ca fazemos uso de um destes adjetivos como abuso lingu stico
7 menor 6 in meras, u

formam uma cadeia em que uma rena a anterior, usando a linguagem de desigualdades: {a, b} {a, c, b} {a, c, d, b} {a, c, d, e, b} e voc pode ler como menos na do que. e Mas a cada momento, num certo n vel n, formado por todas as poss veis parties obtidas com n elementos, podemos fazer a unio dos ns de duas co a o dessas parties8 , produzindo assim um renamento das duas, uma partio co ca comparvel com as outras, um ponto comum de duas cadeias a que estas duas a parties pertencem. co Na gura (4) voc pode ver e {a, c, d, b} mais na que {a, c, b}; e {a, d, e, b} e mais na que {a, d, b}; e {a, c, b} e {a, d, b} so incomparveis; a a {a, c, d, e, b} mais na que todas que aparecem. e
8 ou

(25)

de um nmero nito delas u

Isto nos mostra que a qualquer momento podemos encontrar (construir) um ponto de encontro entre as cadias produzindo uma nova subcadeia cujos e termos so renamentos de todos os termos anteriores das duas outras cadeias, a simplesmente fazendo a reunio dos ns. a o {a, c, d, e, b} a mais na de todas as parties que aparecem na gura (4), e co mas observe que podemos continuar renando indenidamente: no h nenhuma a a partio que seja a mais na de todas, tem apenas a partio que a menos ca ca e na de todas: {a, b}. Assim ([a, b]) tem um menor elemento, ma no tem um a maior elemento: no h nenhum conjunto nito que contenha todos os conjuntos a a nitos que podemos tirar de [a, b]. O mtodo que escolhi para designar parties mostra que o conjunto de todas e co as parties o conjunto de todos os subconjuntos nitos de [a, b] contendo os co e elementos a e b. E a relao de ordem mais na co ca ncide com a relao de ca ordem contm entre os subconjuntos nitos de [a, b]: e Teorema 1 (Caracterizao das partioes) Caracterizaao das partioes ca c c c O conjunto de todas as partioes de [a, b] isomorfo, como estrutura de c e ordem, ao conjunto de todos os subconjuntos nitos de [a, b] que contenham os elementos a,b. As parties uniformes sendo as progresses aritmticas cujo primeiro termo co o e a e a, a razo x = ba . e n Como no existe um conjunto nito que contenha todos os conjuntos nitos a (no seria um conjunto nito) ento no um maior elemento no conjunto de a a a todas as parties. co Estamos discutindo ordem, assunto para um livro inteirinho, e um livro bem alentado, o autor de [1] menciona na introduo que precisaria de dois ou trs ca e volumes para descrever a teoria adequadamente. Mas no preciso de muita a coisa sobre ordem para entender o que acontece com as somas de Riemann, e vou apresentar tudo aqui. A caracterizao que acabei de fazer simplica muito ca a teoria. A estrutura que existe ento a formada pelas cadeias. Ao longo de uma a e cadeia, uma lista de parties que so sucessivamente uma mais na que as co a anteriores, temos somas de Riemann que representam aproximaes melhores co para a rea que desejamos calcular. O programa riemann.c, [5], lhe pede o a o ca n mero n de ns da partio e calcula o valor de u x = ba n

Comparando com o levantamento estat stico, precisamos que as parties co produzam uma amostra signicativa dos valores da funo, em [a, b] e vamos ca selecionar, dentro do conjunto de todas as partie uma fam que atende a co lia este objetivo.

4.2

Distribuio uniforme dos ns ca o

Para motivar a construo que vou fazer agora, posso escolher uma partio (um ca ca conjunto nito), considerar o ultimo subintervalo, e seguir apenas escolhendo novos pontos neste ultimo intervalo. Do ponto de vista estat stico seriam amostras viciadas, e isto que desejamos evitar. e Para tal vou denir um mtodo que elimina o v e cio: Denio 1 (Norma de partio) A norma de uma partiao Seja ca ca c P = {a = x0 , x1 , . . . , xn1 , xn = b} uma partiao de [a, b]. Vou chamar norma de P e designar por |P | ao mximo c a dos nmeros xk xk1 u M ax({x1 x0 , . . . , xn xn1 }) a medida do maior subintervalo desta partiao. e c Agora vou selecionar o subconjunto de todas as parties de [a, b] formado co de todas as cadeias em que a norma tende a zero. Denio 2 (0 ([a, b])) Classe das partioes com norma tendendo a zero ca c A classe 0 ([a, b]) a classe de todas as partioes em cujas cadeias as normas e c das partioes so sucesses que convergem para zero. c a o O nome, 0 ([a, b]), sugestivo porque lembra c0 o conjunto de todas as e sucesses de n meros racionais que convergem para zero que o centro na o u e construo dos n meros reais usando sucesses de Cauchy de n meros racionais. ca u o u Esta condio elimina as partioes viciadas que poderiam se concentrar numa ca c regio do intervalo [a, b], porque fazendo isto a norma das parties se manteria a co constante a partir de um certo ndice. So as sucesses de somas de Riemann associadas aos elementos de 0 ([a, b]) a o com que vou trabalhar. Posso agora denir funao integrvel a Riemann. c a Denio 3 (integrabilidade no sentido de Riemann) Funao integrvel ca c a a Riemann Uma funao [a, b] R integrvel a Riemann se todas as sucesses de c e a o somas de Riemann associadas as cadeias de 0 ([a, b]) se encontrarem numa ` unica classe de equivalncia de sucesses de Cauchy, denindo um unico nmero e o u real designado por
b

para construir uma soma de Riemann com partio uniforme. ca As parties uniformes so um mtodo viciado para calcular integrais. Uma co a e funo pode no ser integrvel e uma sucesso de somas de Riemann obtidas ca a a a com parties uniformes pode conduz a um falso limite, um exemplo simples co -lo disto pode ser visto calculando a integral da funo que eu deni na equao ca ca (5).

f (x)dx
a

Na prxima seo vou descrever um mtodo para testar se as somas de o ca e Riemann associadas `s cadeias de 0 ([a, b]) formam uma unica classe de equia valncia de sucesses de Cauchy e portanto se uma funo integrvel a Riee o ca e a mann.

5.1.1

Somas superiores de Riemann

Em vez de usar f (xk ), um dos valores de f calculado em um dos ns da partio, o ca o primeiro ou o segundo ponto de cada subintervalo, vou agora usar o supremo que f tem dentro do intervalo onde est xk e usar para isto a notao a ca f (xk ) = sup
xk1 xxk

Sucesses de somas de Riemann conduzindo a o um limite

f (x) ; k {1, . . . , n}

(27)

e o que chamamos de soma superior de Riemann ento e a


n1

Eu disse que iria apresentar um mtodo para vericar se as somas de Riemann e associadas a 0 ([a, b]) denam uma unica classe de equivalncia mas deveria ter e dito que vou apresentar o unico mtodo que conheo. e c Ao longo de cada uma das cadeias de ([a, b]) podemos denir somas de Riemann associadas com as parties da cadeia e duas coisas podem acontecer: co Todas as sucesses assim criadas tenha um mesmo limite. Este limite o comum a integral de f sobre o intervalo [a, b] e recebe a notao que e ca conhecemos
b

Sn =
k=0

f (xk )xk

(28) (29) (30) (31)

P = {a = x0 . . . xn = b} P = {[x0 , x1 ), . . . , [xn1 = xn1 ]} SP =


xk P

f (xk )xk

f (x)dx
a

(26)

Haja pelo menos duas sucesses que tenham limites diferentes, neste caso o a integral no existe. a Em princ isto tudo. O que faremos nesta parte nal do artigo montar pio e e o algoritmo para selecionar qual das duas situaes ocorrem e portanto provar co que uma determinada integral existe. Se provarmos que a integral existe, e nem sempre isto ser poss a vel, uma das forma de descobrir o limite usar as somas de Riemann uniformes, agora e que sabemos que elas conduzem a um limite. Este mtodo particularmente e e util para determinarmos uma frmula para a integral de funes polinomiais. o co O programa riemann.c no entretanto a forma mais adequada para fazer a e o clculo aproximado de integrais, para isto se usa aproximao polinomial, a ca splines ou quase-splines, ou elementos nitos.

e aqui inclui a notao P para me referir ao conjunto dos ns que determina ca o uma partio e tambm que a soma de Riemann (superior ou inferior) foi feita ca e usando a partio P . ca Mas o conjunto dos ns uma forma equivalente de se referir ao conjunto o e dos subintervalos que agora preciso para me refeir ao supremo de f em cada subintervalo. Estas somas, que so uma aproximao por excesso da rea procurada, tem a ca a duas propriedades cruciais: Teorema 2 (Propriedade das somas superiores) Propriedade das somas superiores de Riemann P << Q S P > S Q (32) quer dizer que ao renar uma partiao vou obter uma soma de Riemann c superior menor, ou ainda, o algoritmo para clculo de somas de Riemann a superior contra-variante: se P for menor do que Q, a soma de Riemann e S P ser maior do que a soma de Riemann S Q . a A soma de Riemann associada a partiao P menor do que S P . ` c e Ao longo de uma cadeia tenho agora duas sucesses, o a formada pelas somas superiores e a forma pela somas de Riemann e obtive uma desigualdade entre ambas. a A primeira propriedade do teorema (2) diz que a sucesso de somas de Riemann superiores associada a uma cadeia decrescente, tenho uma sucesso e a

5.1

Demonstrao de que f integrvel a Riemann ca e a

A estratgia que vou usar bem comum no estudo de sucesses, em vez de e e o estudar uma determinada sucesso cujo estudo se revela particulamente dif a cil, comparamos a sucesso complicada com outras conhecidas e substituimos o oba jetivo dif por outro mais simples: encerrar a sucesso entre limites superiores cil a e inferiores. Vou incluir um tipo de soma que no de Riemann, na rvore de somas de a e a Riemann que podemos fazer associadas a uma qualquer cadeia de parties de co 0 ([a, b]), que vai me fornecer elementos para vericar a convergncia. e

descrescente que maior do que a sucesso de somas de Riemann relativa a e a uma mesma cadeia. Temos assim sucesses decrescentes. Para mostrar que tais sucesses so o o a convergentes basta apresentarmos uma cota inferior, e o limite delas a maior e das cotas inferiores que tambm chamado de nmo . e e Logo veremos que fcil encontrar uma cota inferior para qualquer sucesso e a a de somas de Riemann superiores ao longo de uma cadeia. Vejamos logo o outro tipo de sucesses que vou agregar ao conjunto das o sucesses geradas por somas de Riemann. o 5.1.2 Somas inferiores de Riemann

5.1.3

Somas superiores e suas cotas inferiores

Considere uma cadeia de parties co P = (Pn )nN ; Pn 0 ([a, b]) f (xk )xk )nN s = (S n )nN = (
kPn

(34) (35) (36)

t = (S n )nN = (
kPn

f (xk )xk )nN

De forma semelhante posso denir as somas inferiores de Riemann, agora substituindo o supremo em cada sub-intervalo pelo nmo. As propriedades so a simtricas: as sucesses de somas de Riemann inferiores, ao longo de uma cae o deia crescem. Temos agora uma sucesso crescente, e para mostrar que convera e gente basta apresentarmos uma cota superior e o limite das sucesses de somas o de Riemann inferiores, ao longo de uma cadeia de parties o supremo da co e sucesso. a E posso enunciar o teorema simtrico ao teorema (2) para somas inferiores e de Riemann: Teorema 3 (Propriedade das somas superiores) Propriedade das somas superiores de Riemann P << Q S P < S Q (33) quer dizer que ao renar uma partiao vou obter uma soma de Riemann c superior menor, ou ainda, o algoritmo para clculo de somas de Riemann a superior variante: se P for menor do que Q, a soma de Riemann S P e ser menor do que a soma de Riemann S Q . a A soma de Riemann associada a partiao P menor do que S P . ` c e a A primeira propriedade do teorema (3) diz que a sucesso de somas de Riemann inferiores associada a uma cadeia crescente, tenho uma sucesso crese a cente que menor do que a sucesso de somas de Riemann relativa a uma mesma e a cadeia. Para fechar a questo vamos agora mostrar que para uma determinada cadeia a de parties, toda soma de Riemann inferior uma cota inferior da sucesso de co e a somas de Riemann superiores obtidas com a mesma cadeia, provando que as somas de Riemann superiores so convergentes. a

Na equao (34) estamos nos referindo a uma cadeia como uma sucesso, e veja ca a da construo que de fato assim uma vez que todas as parties se originam de ca e co {a, b} que sucessivamente renada pelo acrescimo de um ponto criando uma e nova partio ` qual indutivamente aplicamos o mesmo processo, o resultado ca a e uma sucesso de parties formando uma das cadeias de 0 ([a, b]). a co Nas equaes (35), (36) estou fazendo referncia, respectivamente, ` sucesso co e a a o das somas superiores, s, e inferiores t, calculadas em cada um dos ns9 da cadeia P. Como as sucesses s, t so montonas, se provarmos que todo termo de s, a o a o decrescente, maior do que qualquer termos de t estaremos provando que elas e tm limite (so convergentes). e a Vou me xar no que se passa em uma cadeia porque o que eu disser para uma delas o mesmo que ir acontecer com qualquer outra. e a Basta considerarmos o que acontece com um subintervalo que tenha sido subdividido. Considere um subintervalo Ik de um n Pn (uma partio) o ca Ik Pn Ik = Jk Jk+1 ; Jk , Jk+1 Pn+1 (37) (38) (39)

Estou usando a sucesso natural das letras do alfabeto, designando por Ik a um subintervalo de Pn e por Jk um subintervalo de Pn+1 que foi obtida pelo acrescimo de um n ao conjunto dos ns de Pn . o o A soma superior descrece de Pn para Pn+1 , a soma inferior cresce de Pn para Pn+1 , entretanto a soma superior, calculada com os supremos de f sobre Jk , Jk+1 maior do que a soma inferior, calculada com os e nmos de f sobre Jk , Jk+1 . Congelando agora a soma inferior e analisando o que acontece com a sucesso a das somas superiores, relativas a mesma cadeia (que considerei xa acima), relativamente a qualquer subintervalos dos sucessivos ns (parties) da cadeia, o co a soma dos os supremos sero maiores que os a nmos que agora cam todos congelados, o que nos leva ao teorema Uma soma inferior qualquer uma cota inferior para a sucesso das soe a mas Superiores, descrescentes, relativamente a uma cadeia o que prova elas so a convergentes. O racioc io simtrico leva ao teorema n e
9 aqui n faz referncia aos vrtices do subgrafo que cada uma das cadeias do grafo de o e e e todas as partioes de [a, b] c

Teorema 4 (Sucesso das somas inferiores) Qualquer soma inferior rea lativamente a uma cadeia menor do qua uma soma superior relativamente a e uma determinada partiao da cadeia. c O que prova que as somas inferiores, relativamente a qualquer cadeia cone vergente. Uma caracterizao do que uma funao integrvel a Riemann em termos ca e c a simples e de forma algor tmica desconhecida e possivelmente muito dif de e cil fcil mostrar que toda funo cont ser estabelecida. E a ca nua ter um unico limite a relativamente a fam de somas inferiores e superiores. Mas a continuidade lia no uma condio sequer necessria para que uma funo seja integrvel a a e ca a ca a Riemann.

Referncias e
[1] Grtzer, George General Lattice Theory Academic Press, 1978 a [2] Lang, S. Analysis II. - Addison-Wesley-Reading Ma - 1970 [3] Rudin, W. Real and Complex Variables McGraw-Hill Series in Higher Mathematics -1974 [4] Schwartz, L. Thrie des distributions Hermann & Cie, Paris, 1966 e [5] Praciano-Pereira, T. Programas para Clculo Numrico a e http://www.4shared.com/dir/2041165/e14cc331/programas.html