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
jgomes@ime.usp.br; jrenan@gmail.com
2 Instituto de Matemtica e Estatstica da Universidade de
So Paulo (IME USP) cardona@ime.usp.br;
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 con-
tinuidade 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 pon-
tos 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 inte-
grvel.
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 apro-
fundado sobre Descontinuidades na seo 4, sendo
capazes de identicar o conjunto dos pontos de des-
continuidade 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.
2. Pre-Liminares
Assumiremos que os conjuntos R, N, Q esto cons-
trudos 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.
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
positivos.
Um intervalo ser representado por I . Seu
dimetro, por D(I).
O conjunto de todas as parties do intervalo
fechado [a, b] ser representado por P [a, b].
A soma superior (respectivamente: soma in-
ferior) 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 com-
plementar 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 ) < .
Teorema 1. Se A e B contidos em R so abertos,
ento a sua unio (A B ) tambm o .
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. Para todo A R equivalente:
1. A fechado e limitado.
2. Toda cobertura de A por intervalos abertos ad-
mite 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
Demonstrao. Se M enumervel ento M =
. Mas, pelo teorema 3, cada {xn } tem me-
S
n {x n }
dida 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 6= menor que .
Demonstrao. Dado  R+ , sejam {In } os inter-
valos abertos que satisfazem as duas condies de
medida zero para X . Como X limitado e fechado,
ento existe umaPsubcobertura nita de {In } que
ainda cobre X, e m i=1 D(In ) < . Podemos formar
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
Sm em ordem crescente {aj } e {am }. Tome
P = {Pn } {a, b}. OPconjunto P dePfato uma
partio de [a,b] e, como m i=1 D(Pi ) < i=1 D(Ii ),
m

uma seqncia {In } de intervalos abertos tais que: ento a soma dos comprimentos dos intervalos que
contm algum ponto de x menor que .
Z n In .
S

n D(In ) < .
P

Teorema 3. Todo conjunto unitrio tem medida 4. Descontinuidades

zero.
Nessa seo iremos descrever vrios tipos de descon-
Demonstrao. Se F = {x0 }, ento  R , F + tinuidades possveis para uma funo. Como esse
]x0 4 , x0 + 4 [ e claro que podemos formar uma conceito ser central, vamos explicitar a negao
seqncia de intervalos cuja soma de seus dimetros da denio de continuidade de uma funo em um
seja menor que . ponto x0 pertencente ao seu domnio:
Teorema 4. Se Z tem medida zero e Y Z , ento f descontnua em x0 pertencente ao seu domnio
Y tambm tem medida zero.
Demonstrao. Dado , seja {In } a seqncia de in-  R+ ,
tervalos que satisfazem R , (x0 Dom ( f ) tal que |x x0 | < e |f (x) f (x0 )| > )
+
S os dois critrios para Z. Logo,
Y Z Y n In . E assim, Y tem medida
zero. 4.1 Tipos de descontinuidades
Teorema 5. A unio enumervel de conjuntos de No que se segue, vamos supor sempre que x0 per-
medida zero um conjunto de medida zero. tence ao domnio da funo em questo.
Diremos que f tem uma descontinuidade re-
Demonstrao. Se E = n Zn , ento, dado  > 0,
S
movvel 2 em x0 se
para cada n podemos escolher para cada Zn uma se-
qncia ({Imn
})de intervalos de dimetro menor que
lim f (x)
2

n e formar,
P a partir dessas
P seqncias {Is } 1 . xx0
Como s D(Is ) < 2n = , ento as duas

mas
condies esto satisfeitas. lim f (x) 6= f (x0 ) .
xx0
Corolrio 2. Todo conjunto enumervel tem me-
dida zero.
2 Chamamos de descontinuidade removvel porque, se al-
terarmos a denio de f de forma que limxx0 f (x) = f (x0 ),
1 Aqui estamos assumindo que N N enumervel. ento f seria contnua em x0 .
Diremos que f tem uma descontinuidade de salto em Oscilao de uma funo
x0 se
A oscilao de uma funo f em um subconjunto (I )
lim f (x) 6= lim+ f (x) . de seu domnio ser denida por
xx0 xx0

Diremos que f tem uma descontinuidade essencial

f (I) = sup {|f (s) f (t)|, {s, t} I} .
de primeira ordem em x0 se
De forma anloga, deniremos a oscilao de f em
limxx f (x) e limxx+ f (x) no existem. um ponto x0 de seu domnio como:
0 0

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

Diremos que f tem uma descontinuidade essencial
de segunda ordem em x0 se Teorema 6. Seja x0 um ponto do domnio de f .
A funo f contnua em x0 se, e somente se,
Ou limxx0 f (x) ou limxx+0 f (x) no existe. f (x0 ) = 0.
Demonstrao. Se f contnua em x0 ,  R+ ,
Representaremos o conjunto das descontinuidades existe R+ tal que, se {s, t} [x0 , x0 + ],
removveis, de salto, essenciais de primeira ordem e ento |f (s) f (x0 )| < 2 e |f (t) f (x0 )| < 2 , mas
essenciais de segunda ordem, de uma funo f, res- |f (s) f (t)| = |f (s) f (x0 ) (f (t) f (x0 ))|
pectivamente por Rf , Sf , E1f , E2f . Obtemos ento |f (s) f (x0 )| + |f (t) f (x0 )| = . Ento f (x0 ) =
outra denio para descontinuidade de uma funo inf{,  R+ } f (x0 ) = 0
em um ponto de seu domnio: Suponha agora que f (x0 ) = 0, mas ento
inf{f ([x0 , x0 + ]), R+ } = 0, isto 4 ,
f descontnua em x0 pertencente ao seu domnio  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,
x0 Rf Sf E1f E2f .
|f (s)f (t)| < . Como R+ , x0 [x0 , x0 +],
f contnua em x0 .
Exemplos
Teorema 7. Se R+ ento, xada uma funo
 sen(x) f (com domnio D), o conjunto {x D|f (x) < }
Se f : [1, 1] R, f (x) = x , se x 6= 0 , aberto em R
0, se x = 0
ento 0 Rf . Demonstrao. Fixado R+ , se p {x
D|f (x) < }, ento, R+ tal que f ([p , p +
Se 3 f : R R, x 7 [x], ento Z = Sf . ]) < . Se x [p, p+], ento wf (x) < . Como
x arbitrrio, [p , p + ] {x D|f (x) < }.
1, se x Q

Se f : [0, 1] R, f (x) = ento Assim p um ponto interior. Como p arbitrrio,
0, se x
/Q {x D|f (x) < } aberto.
[0, 1] = E1f .
Corolrio 4. Seja f : [a, b] R, xado ( R+ )

x, se x 0 ento S = {x [a, b]|f (x) } fechado e limi-
Se f : [1, 1] R, f (x) = , ento tado.
x , se x > 0
1

0 E2f . Demonstrao. Pelo teorema anterior, {x

4.2 Outra caracterizao da descon-
tinuidade
Estaremos interessados agora em encontrar outra
caracterizao para a descontinuidade, que ser im-
portante para decidir se o conjunto de descon-
tinuidade de uma funo enumervel ou no.
3 [x] representa o menor inteiro mais prximo de x .
[a, b]|f (x) < } aberto em R, assim, seu com-
plementar 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.
4 Usamos 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 + .
Teorema 8. Seja f : [a, b] R. O conjunto S = 5.1 Critrio de Lebesgue
Rf Sf E2f enumervel.
Teorema 9. Uma funo f limitada Riemann in-
Demonstrao. Seja A1 = {x0 E2f |existe tegrvel se, e somente se, o conjunto dos pontos de
limxx f (x)} e A2 = {x0 E2f |existe
descontinuidade de f tem medida zero.
0
limxx+ f (x)}. claro que S = (Rf Sf A1 ) Demonstrao. Suponha que f : I R Riemann
integrvel, ento:
0
(Rf Sf A1 ). Denotaremos (Rf Sf A1 ) por
S1 e (Rf Sf A2 ) por S2 . Sabemos (pela carac-
terizao 4.1 da descontinuidade) que x0 S f  R+ , P P [a, b] tal que S(P, f )I(P, f ) <  .
descontnua em x0 . Se P = {x1 , ..., xm }, ento
Para cada n N, consideremos o conjunto On =
{x0 S1 |f (x0 ) > n1 }. Como x0 S1 , pelo teorema n n1
6, f (x0 ) > 0 e assim, n N|f (x0 ) S > n1 . Logo,
X X
(f (i )(xi )) (f (i )(xi )) < 
x0 On , para algum n, isto , S1 n On . As- i=1 i=1
sim, se cada On for enumervel, S1 tambm ser 5 .
(onde xi = xi+1 xi e f (i ) = sup{f (x)|x xi }
Provaremos que cada On enumervel.
e f (i ) = inf{f (x)|x xi }). Ou ainda,
Se x0 On , ento existe
limxx f (x). Fixado  R+ n
X
0
R tal que (x ]x0 , x0 [ |f (x) f (x0 )| < ).
+ (f (i ) f (i ))xi <  .
Mas, se x1 ]x0 , x0 [, ento, 2 i=1

R+ tal que (|x x1 | < 2 |f (x) f (x1 )| Mas, para cada i {1, ..., n}, se {si , ti } xi ,
|f (x) f (x0 )| + |f (x1 ) f (x0 )| < ) (basta temos |f (si ) f (ti )| < f (i ) f (i ). Logo
tomar 2 tal que ]x1 2 , x1 + 2 []x0 , x0 [).
Como  foi arbitrrio, para x ]x0 , x0 [, n
X
f contnua em x, logo x / S1 , ou ainda, |f (si ) f (ti )|xi <  .
x0 On , R+ tal que ]x0 , x0 [On = . i=1

Fixado n, tome x0 On . Seja qn (x0 ) um Para cada n N, seja Sn = {x [a, b]| f (x) >
nmero racional em ]x0 (x0 ), x0 [ ((x0 ) para o
n }.Dado  R+ , vamos escolher 0 = 2n e, a partir
1 
qual ]x0 , x0 [On = ). Dena F : On Q desse 0 , extrair uma partio P de f tal que
por x0 7 qn (x0 ). Se {x0 , y0 } On e x0 6= y0 , en-
to (considerando x0 < y0 ), ]x0 (x0 ), x0 []y0 n
{si , ti } xi para cada i n,
X
(y0 ), y0 [= , caso contrrio x0 ]y0 (y0 ), y0 [, |f (si )f (ti )|xi < 0 .
o que um absurdo. Assim qn (x0 ) 6= qn (y0 ) e F i=1

injetora. Restringindo o contradomnio, criamos Ento, x Sn 1

< f (x). Se i
F2 : On A( Q) bijetora. Assim 6 , cada On N tal que yi xi ento
n

enumervel e S1 enumervel.
Poderamos fazer exatamente a mesma construo
n n
para S2 e chegarmos a concluso de que S2 enu- 1X
f (yi )xi < 0 , o que implica
X
xi <
mervel. Assim, S = S1 S2 enumervel. n i=1 i=1

n
X 
xi < .
2
5. Renamento do critrio de
i=1

Assim, para x Sn que esto contidos em algum

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
.
6 Aqui usamos dois fatos: Q enumervel e todo subcon-
junto de um conjunto enumervel , no mximo, enumervel.
xi , podemos tomar {]xi , xi+1 [} como uma seqn-
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 enu-
mervel, P tem medida zero e podemos encontrar
uma seqncia de intervalos abertos com dimetro
total menor que 2 que cobre P. Assim, Sn tem me-
dida zero e, o conjunto dos pontos de descontinuida-
de de f tem medida zero (tal conjunto n Sn , pelo
S
teorema 6).
 Suponha agora que o conjunto dos pontos de des- Referncias
continuidade de f tenha medida zero. Fixe 1 R+ ,
ento o conjunto S = {x [a, b]|f (x) } (onde [1] Elon L. Lima, Anlise Real, Vol. 1, Publicaes IMPA.
1
 = min{ 21 , 2(ba) }) est contido no conjunto dos [2] J. Klippert, Advanced Advanced Calculus: Counting the
Discontinuities of a Real-Valued Function with Interval
pontos de descontinuidade de f, e, pelo teorema 4, Domain, Mathematics Magazine 62, 43-48.
tem medida zero. Pelo corolrio 4, S fechado.
[3] E. Landau, Foundations of Analysis, Chelsea Pub Co.
Sendo fechado e de medida zero, o corolrio 3 garante
que existe uma partio de [a,b] cujos intervalos [4] A.J. White, Real analysis : an introduction, Addison-
Wesley.
que contm elementos de S so arbitrariamente pe-
quenos.
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 0 , f ) I(P 0 , f ) + S(P 00 , f ) I(P 00 , f ) .
Onde P 0 so os intervalos que no contm nenhum
ponto de S e P 00 os que contm. Ento:
n
X
S(P 00 , f ) I(P 00 , f ) = (f (i ) f (i ))(xi )
i=1

n
X 1
< 2||f || (xi ) <  .
i=1
2

Para os pontos de P 0 :
n
X
0 0
S(C , f ) I(C , f ) < (f (i ) f (i ))(xi )
i=1

n
X 1
< (xi ) < (b a) .
i=1
2

Logo,
S(P, f ) I(P, f ) < 1
e f integrvel em [a,b].

5.2 Renamento do critrio de

Lebesgue
Teorema 10. Uma funo f denida em um inter-
valo 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.