Uma condio necessria e suciente para integrabilidade de uma funo real

Jonas Renan Moreira Gomes1 e Fernanda S. P. Cardona (orientadora)2

1 Instituto de Matemtica e Estatstica da Universidade de
So Paulo (IME USP), Bolsista do programa USP-Santander

2.1 Notao
Optamos por manter a notao padro quando ela existe, vamos mostrar aqui algumas excees:
R+ ir denotar o conjunto dos reais estritamente

jgomes@ime.usp.br; jrenan@gmail.com
So Paulo (IME USP)

2 Instituto de Matemtica e Estatstica da Universidade de

cardona@ime.usp.br;

positivos.

1. Introduo
No estudo das funes Riemann integrveis (R[a, b]) surge o fato de que todas as funes contnuas num intervalo fechado so Riemann integrveis nesse mesmo intervalo (C[a, b] R[a, b]) e claro que nem todas as funes Riemann integrveis so contnuas. No entanto a relao entre integrabilidade e continuidade mais sutil. O critrio de Lebesgue para a existncia da integral de Riemann arma que uma funo limitada Riemann integrvel se, e somente se, o conjunto dos pontos de descontinuidade do seu domnio tem medida zero. Seguimos a argumentao proposta por [2] para mostrar que possvel renar a hiptese do critrio: basta que o conjunto dos pontos de um tipo especco de descontinuidade (que chamaremos no texto de descontinuidade essencial de primeira ordem) tenha medida zero para que a correspondente funo limitada seja Riemann integrvel. Os conceitos topolgicos bsicos estaro denidos na seo 2, com esses conceitos provaremos algumas propriedades sobre Conjuntos de Medida Zero, na seo 3. Comearemos ento um estudo mais aprofundado sobre Descontinuidades na seo 4, sendo capazes de identicar o conjunto dos pontos de descontinuidade essencial de primeira ordem. Dessa forma, provaremos na seo 5 um renamento do critrio de Lebesgue. No texto utilizaremos o fato de que todo intervalo fechado um conjunto fechado, sem enunciar explicitamente essa passagem.

Um intervalo ser representado por I . dimetro, por D(I).

Seu

O conjunto de todas as parties do intervalo fechado [a, b] ser representado por P [a, b]. A soma superior (respectivamente: soma inferior) de uma funo f com respeito a uma partio P de seu domnio ser denotada por S(P, f ) (respectivamente: I(P, f )).

2.2 Denies
Algumas denies que sero utilizadas ao longo do texto:
Um conjunto E ser dito enumervel se existir uma bijeo entre E e N. Um conjunto A R ser aberto se x A, R tal que [x , x + ] A (todo ponto de A

um ponto interior ).

Um conjunto A R ser fechado se seu complementar em R (i.e. R \ A) for aberto. Uma funo, f : I R ser contnua em x0 I se R+ , R+ tal que (|x x0 | < |f (x) f (x0 )| < ). Uma funo limitada f : I R (I ne-

cessariamente um intervalo fechado) ser Riemann Integrvel se R+ , P P [a, b] tal que S(P, f ) I(P, f ) < .

2. Pre-Liminares
Assumiremos que os conjuntos R, N, Q esto construdos como em [3]. Todas as provas que no so dadas (nesse caso utilizaremos o rodap) podem ser encontradas em [4]. Introduziremos a notao que iremos utilizar pelo resto do artigo e aps damos algumas denies.

Se A e B contidos em R so abertos, ento a sua unio (A B ) tambm o .

Teorema 1.

Demonstrao. Basta notar que, x A B implica que x A ou x B . Sem perda de generalidade, vamos considerar x A. Assim, R, [x , x + ] A [x , x + ] A B . Assim A B aberto.
Corolrio 1.

Se A e B contidos em R so fechados, ento a sua interseco (A B ) tambm o .

Demonstrao. R \ (A B) = (R \ A) (R \ B), pelas leis de De Morgan. Assim, pelo teorema anterior, R\(AB) aberto (porque a unio de dois abertos) e, por denio, A B fechado.
Teorema 2.

Demonstrao. Se M enumervel ento M = n {xn }. Mas, pelo teorema 3, cada {xn } tem medida zero. Pelo teorema 5, M tem medida zero.
Corolrio 3. Se X [a, b] um conjunto fechado e de medida zero, ento R+ , P P [a, b] tal que a soma do comprimento dos intervalos de P da forma [xj , xj+1 ] X = menor que .

Para todo A R equivalente:

1. A fechado e limitado. 2. Toda cobertura de A por intervalos abertos admite uma subcobertura nita.
Preferimos omitir a demonstrao desse teorema para no recorrer ao conceito de compacidade (ou de pontos de acumulao). Uma demonstrao pode ser encontrada em [1].

3. Conjuntos de medida zero

Dizemos que um subconjunto Z de R tem medida zero (ou medida de Lebesgue zero) se, R+ existe uma seqncia {In } de intervalos abertos tais que:
Z
n n In .

Demonstrao. Dado R+ , sejam {In } os intervalos abertos que satisfazem as duas condies de medida zero para X . Como X limitado e fechado, ento existe uma subcobertura nita de {In } que ainda cobre X, e m D(In ) < . Podemos formar i=1 as seqncias {aj } e {am } de nmeros reais tais que Ii = [aj , am ] (os extremos inferiores e superiores dos intervalos) e ento criar a seqncia de pontos{Pn }, dispondo em ordem crescente {aj } e {am }. Tome m P = {Pn } {a, b}. O conjunto P de fato uma partio de [a,b] e, como m D(Pi ) < m D(Ii ), i=1 i=1 ento a soma dos comprimentos dos intervalos que contm algum ponto de x menor que .

D(In ) < .

Teorema 3.

zero.

Todo conjunto unitrio tem medida

+

4. Descontinuidades
Nessa seo iremos descrever vrios tipos de descontinuidades possveis para uma funo. Como esse conceito ser central, vamos explicitar a negao da denio de continuidade de uma funo em um ponto x0 pertencente ao seu domnio:
f descontnua em x0 pertencente ao seu domnio R+ , + R , (x0 Dom ( f ) tal que |x x0 | < e |f (x) f (x0 )| > )

seqncia de intervalos cuja soma de seus dimetros seja menor que .

Demonstrao. Se F = {x0 }, ento R , F ]x0 4 , x0 + 4 [ e claro que podemos formar uma

Se Z tem medida zero e Y Z , ento Y tambm tem medida zero.

Teorema 4.

Demonstrao. Dado , seja {In } a seqncia de intervalos que satisfazem os dois critrios para Z. Logo, Y Z Y n In . E assim, Y tem medida zero. A unio enumervel de conjuntos de medida zero um conjunto de medida zero.
Teorema 5.

4.1 Tipos de descontinuidades

No que se segue, vamos supor sempre que x0 pertence ao domnio da funo em questo. Diremos que f tem uma descontinuidade removvel 2 em x0 se
lim f (x)
xx0

Demonstrao. Se E = n Zn , ento, dado > 0, para cada n podemos escolher para cada Zn uma sen qncia ({Im })de intervalos de dimetro menor que 1 2n e formar, a partir dessas seqncias {Is } . Como s D(Is ) < 2n = , ento as duas condies esto satisfeitas. dida zero.
1 Aqui
Corolrio 2.

mas
xx0

lim f (x) = f (x0 ) .

Todo conjunto enumervel tem me2 Chamamos

estamos assumindo que N N enumervel.

de descontinuidade removvel porque, se alterarmos a denio de f de forma que limxx0 f (x) = f (x0 ), ento f seria contnua em x0 .

Diremos que f tem uma descontinuidade de salto em x0 se

xx0

Oscilao de uma funo

lim f (x) = lim+ f (x) .

xx0

A oscilao de uma funo f em um subconjunto (I ) de seu domnio ser denida por

f (I) = sup {|f (s) f (t)|, {s, t} I} .

Diremos que f tem uma descontinuidade essencial de primeira ordem em x0 se

limxx f (x) e limxx+ f (x) no existem.
0 0

De forma anloga, deniremos a oscilao de f em um ponto x0 de seu domnio como:

f (x0 ) = inf{f ([x0 , x0 + ]), R+ } .
Teorema 6.

Diremos que f tem uma descontinuidade essencial de segunda ordem em x0 se Ou limxx f (x) ou limxx+ f (x) no existe. 0 0 Representaremos o conjunto das descontinuidades removveis, de salto, essenciais de primeira ordem e essenciais de segunda ordem, de uma funo f, respectivamente por Rf , Sf , E1f , E2f . Obtemos ento outra denio para descontinuidade de uma funo em um ponto de seu domnio:
f descontnua em x0 pertencente ao seu domnio x0 Rf Sf E1f E2f .
Exemplos

Seja x0 um ponto do domnio de f . A funo f contnua em x0 se, e somente se, f (x0 ) = 0. Demonstrao. Se f contnua em x0 , R+ , existe R+ tal que, se {s, t} [x0 , x0 + ], ento |f (s) f (x0 )| < 2 e |f (t) f (x0 )| < 2 , mas

|f (s) f (t)| = |f (s) f (x0 ) (f (t) f (x0 ))| |f (s) f (x0 )| + |f (t) f (x0 )| = . Ento f (x0 ) = inf{ , R+ } f (x0 ) = 0 Suponha agora que f (x0 ) = 0, mas ento inf{f ([x0 , x0 + ]), R+ } = 0, isto 4 , R+ , R+ tal que 0 < f ([x0 , x0 +]) < , ou ainda: R+ , R+ tal que {s, t} [x0 , x0 + ] ento sup {|f (s) f (t)|} = , logo, |f (s)f (t)| < . Como R+ , x0 [x0 , x0 +], f contnua em x0 .

Se f : [1, 1] R, f (x) =

sen(x)

ento 0 Rf .

x , se x = 0 , 0, se x = 0

Se R+ ento, xada uma funo f (com domnio D), o conjunto {x D|f (x) < } aberto em R
Teorema 7.

Se 3 f : R R, x [x], ento Z = Sf . Se f : [0, 1] R, f (x) = [0, 1] = E1f . Se f : [1, 1] R, f (x) = 0 E2f . 1, se x Q ento 0, se x Q / x, se x 0 , ento 1 x , se x > 0

Demonstrao. Fixado R+ , se p {x D|f (x) < }, ento, R+ tal que f ([p , p + ]) < . Se x [p, p+], ento wf (x) < . Como x arbitrrio, [p , p + ] {x D|f (x) < }. Assim p um ponto interior. Como p arbitrrio, {x D|f (x) < } aberto.
Corolrio 4.

Seja f : [a, b] R, xado ( R+ ) ento S = {x [a, b]|f (x) } fechado e limitado. Demonstrao. Pelo teorema anterior, {x [a, b]|f (x) < } aberto em R, assim, seu complementar em relao a R({x R|f (x) }) fechado, por denio. Ento {x [a, b]|f (x) } = {x R|f (x) } [a, b] a interseco de dois conjuntos fechados e, pelo corolrio 1, fechado. Como {x D|f (x) } [a, b], ento {x [a, b]|f (x) } tambm limitado.
aqui a denio de nmo de um subconjunto de R: b = infA se b cota inferior de A e R+ , a A tal que b < a < b + .
4 Usamos

4.2 Outra caracterizao da descontinuidade

Estaremos interessados agora em encontrar outra caracterizao para a descontinuidade, que ser importante para decidir se o conjunto de descontinuidade de uma funo enumervel ou no.
3 [x]

representa o menor inteiro mais prximo de x .

Teorema 8. Seja f : [a, b] R. O conjunto S = Rf Sf E2f enumervel.

5.1 Critrio de Lebesgue

Teorema 9.

Demonstrao. Seja A1 = {x0 E2f |existe limxx f (x)} e A2 = {x0 E2f |existe 0 limxx+ f (x)}. claro que S = (Rf Sf A1 ) 0 (Rf Sf A1 ). Denotaremos (Rf Sf A1 ) por S1 e (Rf Sf A2 ) por S2 . Sabemos (pela caracterizao 4.1 da descontinuidade) que x0 S f descontnua em x0 . Para cada n N, consideremos o conjunto On = 1 {x0 S1 |f (x0 ) > n }. Como x0 S1 , pelo teorema 1 6, f (x0 ) > 0 e assim, n N|f (x0 ) > n . Logo, x0 On , para algum n, isto , S1 n On . Assim, se cada On for enumervel, S1 tambm ser 5 . Provaremos que cada On enumervel. Se x0 On , ento existe limxx f (x). Fixado R+ 0 + R tal que (x ]x0 , x0 [ |f (x) f (x0 )| < ). Mas, se x1 ]x0 , x0 [, ento, 2 R+ tal que (|x x1 | < 2 |f (x) f (x1 )| |f (x) f (x0 )| + |f (x1 ) f (x0 )| < ) (basta tomar 2 tal que ]x1 2 , x1 + 2 []x0 , x0 [). Como foi arbitrrio, para x ]x0 , x0 [, f contnua em x, logo x S1 , ou ainda, / x0 On , R+ tal que ]x0 , x0 [On = . Fixado n, tome x0 On . Seja qn (x0 ) um nmero racional em ]x0 (x0 ), x0 [ ((x0 ) para o qual ]x0 , x0 [On = ). Dena F : On Q por x0 qn (x0 ). Se {x0 , y0 } On e x0 = y0 , ento (considerando x0 < y0 ), ]x0 (x0 ), x0 []y0 (y0 ), y0 [= , caso contrrio x0 ]y0 (y0 ), y0 [, o que um absurdo. Assim qn (x0 ) = qn (y0 ) e F
injetora. Restringindo o contradomnio, criamos F2 : On A( Q) bijetora. Assim 6 , cada On enumervel e S1 enumervel. Poderamos fazer exatamente a mesma construo para S2 e chegarmos a concluso de que S2 enumervel. Assim, S = S1 S2 enumervel.

Uma funo f limitada Riemann integrvel se, e somente se, o conjunto dos pontos de descontinuidade de f tem medida zero. Demonstrao. Suponha que f : I R Riemann integrvel, ento:
R+ , P P [a, b] tal que S(P, f )I(P, f ) < .

Se P = {x1 , ..., xm }, ento

n n1

(f (i )(xi ))
i=1 i=1

(f (i )(xi )) <

(onde xi = xi+1 xi e f (i ) = sup{f (x)|x xi } e f (i ) = inf{f (x)|x xi }). Ou ainda,

n

(f (i ) f (i ))xi <
i=1

Mas, para cada i {1, ..., n}, se {si , ti } xi , temos |f (si ) f (ti )| < f (i ) f (i ). Logo
n

|f (si ) f (ti )|xi <

i=1

Para cada n N, seja Sn = {x [a, b]| f (x) > Dado R+ , vamos escolher 0 = 2n e, a partir desse 0 , extrair uma partio P de f tal que
1 n }. n

{si , ti } xi para cada i n,

i=1

|f (si )f (ti )|xi <

0.

Ento, x Sn N tal que yi xi ento

1 n
n n

1 n

< f (x).

Se i

xi <
i=1 i=1

f (yi )xi <

n

0,

o que implica

xi <

5. Renamento do critrio de Lebesgue para a Riemann-Integrabilidade

Antes de apresentarmos um renamento do critrio de Lebesgue, vamos apresentar o prprio critrio:
5 Novamente, esse fato equivale enumerabilidade de N N

i=1

6 Aqui usamos dois fatos: Q enumervel e todo subconjunto de um conjunto enumervel , no mximo, enumervel.

cia de intervalos abertos que contm esses pontos e cujo dimetro menor que 2 . Se no existe i tal que x xi , ento x P . Mas, desde que P enumervel, P tem medida zero e podemos encontrar uma seqncia de intervalos abertos com dimetro total menor que 2 que cobre P. Assim, Sn tem medida zero e, o conjunto dos pontos de descontinuidade de f tem medida zero (tal conjunto n Sn , pelo teorema 6).

Assim, para x Sn que esto contidos em algum xi , podemos tomar {]xi , xi+1 [} como uma seqn-

Suponha agora que o conjunto dos pontos de descontinuidade de f tenha medida zero. Fixe 1 R+ , ento o conjunto S = {x [a, b]|f (x) } (onde 1 1 = min{ 2 , 2(ba) }) est contido no conjunto dos pontos de descontinuidade de f, e, pelo teorema 4, tem medida zero. Pelo corolrio 4, S fechado. Sendo fechado e de medida zero, o corolrio 3 garante que existe uma partio de [a,b] cujos intervalos que contm elementos de S so arbitrariamente pequenos. Tomemos ento uma partio P de [a,b] tal que os intervalos que contm algum elemento de S tem dimetro menor que 4||f || (onde ||f || = max{sup{f (x), x [a, b]}, inf{f (x), x [a, b]}}). Logo
S(P, f ) I(P, f ) = S(P , f ) I(P , f ) + S(P , f ) I(P , f ) .

Referncias
[1] Elon L. Lima, Anlise Real, Vol. 1, Publicaes IMPA. [2] J. Klippert, Advanced Advanced Calculus: Counting the
Domain, Mathematics Magazine 62, 43-48. [3] E. Landau, Foundations of Analysis, Chelsea Pub Co. [4] A.J. White, Real analysis : an introduction, AddisonWesley. Discontinuities of a Real-Valued Function with Interval

Onde P so os intervalos que no contm nenhum ponto de S e P os que contm. Ento:

n

S(P , f ) I(P , f ) =
i=1 n

(f (i ) f (i ))(xi )

< 2||f ||
i=1

(xi ) <

Para os pontos de P :
n

S(C , f ) I(C , f ) <

i=1 n

(f (i ) f (i ))(xi )

<
i=1

(xi ) < (b a)

Logo,
S(P, f ) I(P, f ) <
1

e f integrvel em [a,b].

5.2 Renamento Lebesgue

Teorema 10.

do

critrio

de

Uma funo f denida em um intervalo fechado ser Riemann integrvel se, e somente se, E1f tiver medida zero. Demonstrao. Devido ao critrio de Lebesgue, f Riemann integrvel se, e somente se, o conjunto dos pontos de descontinuidade de f tiver medida zero. Porm, pelo teorema 8, sabemos que o conjunto Rf Jf E2f tem medida zero. Assim, o conjunto dos pontos de descontinuidade de f ter medida zero se, e somente se, E1f tiver medida zero.