Integral superior e integral inferior

Parte 8
Integral de Riemann
1. Integral superior e integral inferior
Seja f : [a, b] R uma func ao limitada no intervalo compacto [a, b].
Ent ao, existem m, M R tais que m f(x) M para todo x [a, b], ou
seja, f(x) [m, M] para todo x [a, b].
O menor intervalo [m, M] que cont em f([a, b]) e dado por
m = inf{f(x) | x [a, b]} = inf f e M = sup{f(x) | x [a, b]} = supf .
Denic ao 1.1 Uma partic ao do intervalo [a, b] e um subconjunto nito
P = {t
0
, t
1
, . . . , t
n
} de [a, b] tal que a = t
0
< t
1
< . . . < t
n
= b.
Os intervalos [t
i1
, t
i
], i = 1, . . . , n, s ao os intervalos da partic ao P.
Sejam f : [a, b] R uma func ao limitada e P = {t
0
, t
1
, . . . , t
n
} uma
partic ao de [a, b]. Para cada i = 1, . . . , n, tome
m
i
= inf{f(x) | x [t
i1
, t
i
]} e M
i
= sup{f(x) | x [t
i1
, t
i
]} .
Denic ao 1.2 Os n umeros reais
s(f; P) =
n

i=1
m
i
(t
i
t
i1
) e S(f; P) =
n

i=1
M
i
(t
i
t
i1
)
s ao chamados, respectivamente, a soma inferior e a soma superior da
func ao f relativa ` a partic ao P.
Se m = inf{f(x) | x [a, b]} e M = sup{f(x) | x [a, b]}, temos
Instituto de Matem atica - UFF 263
An alise na Reta
m(b a) s(f; P) S(f; P) M(b a) ,
para toda partic ao P do intervalo [a, b].
Observac ao 1.1 Se f e positiva no intervalo [a, b], s(f; P) e S(f; P) s ao,
respectivamente, a area de um polgono inscrito e a area de um polgono
circunscrito e, portanto, valores aproximados, por falta, e por excesso, da
area compreendida entre o gr aco de f e o eixo das abscissas.
Denic ao 1.3 Sejam P e Q partic oes do intervalo [a, b].
Quando P Q, dizemos que a partic ao Q e mais na do que a partic ao
P, ou que a partic ao Q e um renamento da partic ao P.
Seja Q = {t
0
, t
1
, . . . , t
i1
, r, t
i
, . . . , t
n
} um renamento da partic ao
P = {t
0
, t
1
, . . . , t
i1
, t
i
, . . . , t
n
}, obtido acrescentando apenas um ponto
J. Delgado - K. Frensel 264
Integral superior e integral inferior
r (t
i1
, t
i
) ` a partic ao P.
Sejam
m
i
= inf{f(x) | x [t
i1
, t
i
]}
m

= inf{f(x) | x [t
i1
, r]}
m

= inf{f(x) | x [r, t
i
]} .
Ent ao, m
i
m

e m
i
m

.
Assim,
s(f; Q) s(f; P) = m

(t
i
r) +m

(r t
i+1
) m
i
(t
i
t
i1
)
= m

(t
i
r) +m

(r t
i1
) m
i
(t
i
r) m
i
(r t
i1
)
= (m

m
i
)(t
i
r) + (m

m
i
)(r t
i1
) 0 ,
ou seja, s(f; Q) s(f; P).
Podemos, ent ao, provar por induc ao que s(f; Q) s(f; P) para toda
partic ao Q mais na do que P.
De modo an alogo, podemos mostrar que se Q e um renamento de
P, isto e, P Q, ent ao S(f; Q) S(f; P).
Teorema 1.1 Sejamf : [a, b] Ruma func ao limitada e P, Qpartic oes
de [a, b]. Se P Q, ent ao
s(f, P) s(f; Q) e S(f; P) S(f; Q) .
Corol ario 1.1 Seja f : [a, b] R uma func ao limitada.
Ent ao s(f; P) S(f; Q) quaisquer que sejam P e Q partic oes de [a, b].
Prova.
Como P Q rena P e Q, temos
s(f; P) s(f; P Q) S(f; P Q) S(f; Q) .

Denic ao 1.4 Seja f : [a, b] R limitada. Chamamos integral inferior

de f no intervalo [a, b] o n umero real

b
a
f(x) dx = sup
P
s(f; P)
e integral superior de f no intervalo [a, b] o n umero real
Instituto de Matem atica - UFF 265
An alise na Reta

b
a
f(x) dx = inf
P
S(f; P)
Ou seja,

b
a
f(x) dx e

b
a
f(x) dx s ao caracterizados pelas proprieda-
des abaixo:
(1)

b
a
f(x) dx s(f; P) para qualquer partic ao P de [a, b]
(2) Dado > 0, existe uma partic ao P de [a, b] tal que
s(f; P) >

b
a
f(x) dx .
(1)

b
a
f(x) dx S(f; P) para qualquer partic ao P de [a, b]
(2) Dado > 0, existe uma partic ao P de [a, b] tal que
S(f; P) <

b
a
f(x) dx + .
Ent ao, se m f(x) M para todo x [a, b], temos que
m(b a)

b
a
f(x) dx

b
a
f(x) dx M(b a) ,
pois
m(b a) s(f; P) S(f; Q) M(b a) ,
quaisquer que sejam as partic oes P e Q de [a, b].
Em particular, se |f(x)| K, ou seja, K f(x) K, para todo
x [a, b], ent ao

b
a
f(x) dx

K(b a) e

b
a
f(x) dx

K(b a) .
Exemplo 1.1 Seja f : [a, b] Rdenida por f(x) =

1 se x Q
0 se x R Q.
Dada uma partic ao P de [a, b], temos m
i
= 0 e M
i
= 1, para todo
i = 1, . . . , n, pois todo intervalo [t
i1
, t
i
] de P cont em n umeros racionais e
irracionais.
J. Delgado - K. Frensel 266
Integral superior e integral inferior
Logo, s(f; P) = 0 e S(f; P) = (b a), para toda partic ao P de [a, b].
Portanto,

b
a
f(x) dx = 0 e

b
a
f(x) dx = b a.

Exemplo 1.2 Seja f : [a, b] R a func ao constante f(x) = c para todo

x [a, b]. Ent ao m
i
= M
i
= c em todo intervalo [t
i1
, t
i
] de uma partic ao
P de [a, b]. Logo, s(f; P) = S(f; P) = c(b a) para toda partic ao P de
[a, b]. Da,

b
a
f(x) dx =

b
a
f(x) dx = c(b a) .

Teorema 1.2 Sejam a < c < b e f : [a, b] R limitada. Ent ao,

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx
e

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx
Lema 1.1 Seja a < c < b. Ent ao,

b
a
f(x) dx = sup { s(f; P) | P e partic ao de [a, b] com c P }

b
a
f(x) dx = inf { S(f; P) | P e partic ao de [a, b] com c P }
Prova.
Dada uma partic ao P de [a, b], seja P

= P{c}. Ent ao, s(f; P) s(f; P

) .
Como

b
a
f(x) dx s(f; P) para toda partic ao P de [a, b], temos que

b
a
f(x) dx s(f; Q) ,
para toda partic ao Q de [a, b] que cont em c. Ent ao,
sup { s(f; Q) | Q partic ao de [a, b] com c Q}

b
a
f(x) dx .
Por outro lado, dada uma partic ao P de [a, b], temos que
Instituto de Matem atica - UFF 267
An alise na Reta
s(f; P) s(f; P

) sup { s(f; Q) | Q partic ao de [a, b] com c Q} ,

onde P

= P {c}. Logo,

b
a
f(x) dx sup{ s(f; Q) | Q partic ao de [a, b] com c Q}.
Assim,

b
a
f(x) dx = sup{ s(f; Q) | Q partic ao de [a, b] com c Q} .
De modo an alogo, podemos provar a outra igualdade.

Observac ao 1.2 Usando o mesmo tipo de argumento feito na demons-

trac ao do lema acima, podemos mostrar que, para calcular as integrais
superior e inferior de uma func ao, basta considerar as partic oes de [a, b]
que renam uma partic ao P
0
dada. Ou seja,

b
a
f(x) dx = sup
PP
0
s(f; P) e

b
a
f(x) dx = inf
PP
0
S(f; P) .
Lema 1.2 Sejam A e B conjuntos n ao-vazios limitados de n umeros re-
ais. Ent ao,
sup(A+B) = supA+ supB e inf(A+B) = inf A+ inf B,
onde A+B = { x +y| x A e y B}.
Prova.
Como x supA para todo x A e y supB para todo y B, te-
mos x + y supA + supB. Logo, sup A + supB e uma cota superior do
conjunto A+B.
Al em disso, dado > 0, existem x A e y B tais que x supA

2
e
y > supB

2
.
Ent ao, x + y > (supA + supB) . Logo, sup A + supB e a menor cota
superior de A+B, ou seja,
sup(A+B) = supA+ supB.
De modo an alogo, podemos provar que inf(A+B) = inf A+ inf B.

Corol ario 1.2 Sejam f, g : [a, b] R func oes limitadas. Ent ao,
sup(f +g) supf + supg e inf(f +g) inf f + inf g.
J. Delgado - K. Frensel 268
Integral superior e integral inferior
Prova.
Sejam A = { f(x) | x [a, b] } , B = { g(y) | y [a, b] } e C = { f(x) +
g(x) | x [a, b] }. Como C A+B, temos, pelo lema anterior, que
sup(f +g) = supC sup(A+B) = supA+ supB = supf + supg,
e
inf(f +g) = inf C inf(A+B) = inf A+ inf B = inf f + inf g.

Exemplo 1.3 Sejam f, g : [1, 1] R dadas por f(x) = x e g(x) = x.

Ent ao, supf = 1 = supg e sup(f + g) = 0, pois f(x) + g(x) = 0 para todo
x [1, 1]. Logo, neste exemplo, sup(f +g) < supf + supg.

Prova. (do Teorema 1.2)

Sejam
A = {s(f|
[a,c]
; P) | P e partic ao de [a, c] }
B = {s(f|
[c,b]
; P) | P e partic ao de [c, b] } .
Ent ao, A+B = {s(f; P) | P e partic ao de [a, b] com c P } .
Logo, pelos lemas 1.1 e 1.2, temos que

b
a
f(x) dx = sup(A+B) = supA+ supB =

c
a
f(x) dx +

b
c
f(x) dx .
De modo an alogo, temos que

b
a
f(x) dx = inf(A

+B

) = inf A

+ inf B

c
a
f(x) dx +

b
c
f(x) dx ,
onde
A

= {S(f|
[a,c]
; P) | P e partic ao de [a, c] }
e B

= {S(f|
[c,b]
; P) | P e partic ao de [c, b] } .

Observac ao 1.3 Sejam a < c < b e seja f : [a, b] R a func ao dada

por f(x) =

, a x < c
, c x b.
Ent ao,

b
a
f(x) dx =

b
a
f(x) dx = (c a) +(b c) .
Instituto de Matem atica - UFF 269
An alise na Reta
De fato, como f|
[c,b]
, temos, pelo teorema anterior e pelo exemplo ,
que

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx =

c
a
f(x) dx +(b c) ,
e

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx =

c
a
f(x) dx +(b c) .
Suponhamos, para xar as id eias, que . Ent ao, f(x) para
todo x [a, b].
Logo, para todo > 0 tal que a < c < c, temos que

c
c
f(x) dx
e, portanto,
(c a)

c
a
f(x) dx =

c
a
f(x) dx +

c
c
f(x) dx
(c a) +
= (c a) + ( ) ,
Assim, fazendo tender a zero, temos que

c
a
f(x) dx = (c a)
e, portanto,

b
a
f(x) dx = (c a) +(b c) .
Al em, disso, como s(f|[a, c] ; P) = (c a) para toda partic ao P de [a, c],
pois , temos que

c
a
f(x) dx = (c a) e, portanto,

b
a
f(x) dx = (c a) +(b c) .
Observac ao 1.4 Observe, pela demonstrac ao feita acima, que o valor
da func ao f|
[a,c]
no ponto c n ao inu encia nos valores das integrais, ou
seja, se g(x) =

, se x [a, c)
M, se x = c
, ent ao, para todo M R, temos

c
a
f(x) dx =

c
a
g(x) dx e

c
a
f(x) dx =

c
a
g(x) dx .
J. Delgado - K. Frensel 270
Integral superior e integral inferior
De modo an alogo, podemos povar que

c
a
f(x) dx =

c
a
h(x) dx e

c
a
f(x) dx =

c
a
h(x) dx
onde h(x) =

, se x (a, c]
M, se x = a,
e M R e um n umero qualquer.
Logo,

c
a
f(x) dx = (c a) e

c
a
f(x) dx = (c a) quaisquer que sejam os
valores de f nos pontos a e c, onde f|
(a,c)
.
Denic ao 1.5 Dada uma partic ao P = {t
0
, t
1
, . . . , t
n
} de [a, b], uma
func ao f : [a, b] R constante, igual a c
i
, em cada intervalo aberto
(t
i1
, t
i
), i = 1, . . . , n, chama-se uma func ao escada.
Repetindo o argumento feito acima umn umero nito de vezes, temos
que

b
a
f(x) dx =

b
a
f(x) dx =
n

i=1
c
i
(t
i
t
i1
) ,
quaisquer que sejam os valores que f assume nos pontos t
0
, t
1
, . . . , t
n
da partic ao P.
Lema 1.3 Seja A um conjunto limitado n ao-vazio de n umeros reais.
Dado c R, seja cA = {cx | x A}. Ent ao,
supcA = c supA e inf cA = c inf A se c > 0,
supcA = c inf A e inf cA = c supA se c < 0.
Prova.
Seja c > 0. Como x supA para todo x A, temos que cx c supA
para todo cx cA. Logo, c supA e uma cota superior de cA.
Al em disso, dado > 0, existe x A tal que x > supA

c
. Logo,
cx > c supA . Ent ao sup A e a menor cota superior de cA, ou seja,
c supA = supcA.
Seja, agora, c < 0. Como x supA para todo x A, temos cx c supA
para todo cx cA. Logo, c supA e uma cota inferior de cA.
Instituto de Matem atica - UFF 271
An alise na Reta
Al em disso, dado > 0, existe x A tal que x > supA+

c
, pois

c
< 0.
Logo, cx < c supA+. Portanto, c supA e a maior cota inferior de cA, ou
seja, inf cA = c supA.
De modo an alogo, podemos provar que
inf cA = c inf A se c > 0 e supcA = c inf A se c < 0.

Teorema 1.3 Sejam f, g : [a, b] R limitadas. Ent ao:

(1)

b
a
f(x) dx +

b
a
g(x) dx

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

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

b
a
f(x) dx +

b
a
g(x) dx .
(2) Quando c > 0,

b
a
c f(x) dx = c

b
a
f(x) dx e

b
a
c f(x) dx = c

b
a
f(x) dx .
Quando c < 0,

b
a
c f(x) dx = c

b
a
f(x) dx e

b
a
c f(x) dx = c

b
a
f(x) dx .
Em particular,

b
a
f(x) dx =

b
a
f(x) dx e

b
a
f(x) dx =

b
a
f(x) dx .
(3) Se f(x) g(x) para todo x [a, b], ent ao

b
a
f(x) dx

b
a
g(x) dx e

b
a
f(x) dx

b
a
g(x) dx .
Prova.
(1) J a sabemos que

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

b
a
(f(x) +g(x)) dx .
Vamos provar que

b
a
f(x) dx +

b
a
g(x) dx

b
a
(f(x) +g(x)) dx .
Sejam P = {t
0
, t
1
, . . . , t
n
} uma partic ao de [a, b] e m
i
(f), m
i
(g), m
i
(f + g)
os nmos das func oes f, g e f +g no intervalo [t
i1
, t
i
], i = 1, . . . , n.
Como, pelo corol ario 1.2, m
i
(f +g) m
i
(f) +m
i
(g), temos que
s(f +g; P) s(f; P) +s(g; P)
para toda partic ao P de [a, b].
J. Delgado - K. Frensel 272
Integral superior e integral inferior
Logo,

b
a
(f(x) +g(x)) dx s(f; P) +s(g; P) ,
para toda partic ao P de [a, b].
Ent ao, dadas partic oes P e Q arbitr arias de [a, b], temos que
s(f; P) +s(g; Q) s(f; P Q) +s(g; P Q)

b
a
(f(x) +g(x)) dx
Assim, pelo lema 1.2,

b
a
f(x) dx +

b
a
g(x) dx = sup{s(f; P) +s(g; Q) | P , Q partic oes de [a, b] }

b
a
(f(x) +g(x)) dx .
A ultima desigualdade de (1) mostra-se de modo an alogo.
(2) Pelo lema 1.3, m
i
(c f) = c m
i
(f) e M
i
(c f) = c M
i
(f) se c > 0 , e
m
i
(c f) = c M
i
(f) e M
i
(c f) = c m
i
(f) se c < 0 .
Ent ao, pelo lema 1.3, novamente, temos

b
a
c f(x) dx = sup
P
s(c f; P) = sup
P
c s(f; P)
= c sup
P
s(f; P) = c

b
a
f(x) dx , se c > 0 ,

b
a
c f(x) dx = inf
P
S(c f; P) = inf
P
c S(f; P)
= c inf
P
S(f; P) = c

b
a
f(x) dx , se c > 0 ,

b
a
c f(x) dx = sup
P
s(c f; P) = sup
P
c S(f; P)
= c inf
P
S(f; P) = c

b
a
f(x) dx , se c < 0 ,

b
a
c f(x) dx = inf
P
S(c f; P) = inf
P
c s(f; P)
= c sup
P
s(f; P) = c

b
a
f(x) dx , se c < 0 ,
(3) Como f(x) g(x) para todo x [a, b], temos que
Instituto de Matem atica - UFF 273
An alise na Reta
m
i
(f) m
i
(g) e M
i
(f) M
i
(g)
para todo intervalo [t
i1
, t
i
] de uma partic ao P de [a, b].
Logo,
s(f; P) s(g; P) e S(f; P) S(g; P)
para toda partic ao P de [a, b].
Assim,

b
a
f(x) dx

b
a
g(x) dx e

b
a
f(x) dx

b
a
g(x) dx .

Corol ario 1.3 Se f(x) 0 para todo x [a, b], ent ao

b
a
f(x) dx 0 e

b
a
f(x) dx 0 .
2. Func oes integr aveis
Denic ao 2.1 Uma func ao limitada f : [a, b] R e integr avel quando

b
a
f(x) dx =

b
a
f(x) dx
Este valor comum, indicado por

b
a
f(x) dx ou

b
a
f , e chamado a integral
de f.
Exemplo 2.1 Toda func ao constante, f(x) = c e integr avel e

b
a
f(x) dx = c(b a) .

Exemplo 2.2 Toda func ao escada f : [a, b] R e integr avel e

b
a
f(x) dx =
n

i=1
c
i
(t
i
t
i1
),
onde f|
(t
i1
,t
i
)
c
i
, i = 1, . . . , n, a = t
0
< t
1
< . . . < t
n
= b.

J. Delgado - K. Frensel 274

Func oes integr aveis
Exemplo 2.3 A func ao f : [a, b] R, f(x) =

0 , x [a, b] (R Q)
1 , x [a, b] Q
n ao e integr avel, pois

b
a
f(x) dx = 0 = 1 =

b
a
f(x) dx .

Observac ao 2.1 Suponhamos que f(x) 0 para todo x [a, b] e seja

A = { (x, y) R
2
| a x b e 0 y f(x) }
a regi ao do plano limitada pelo gr aco de f, pelo segmento [a, b] e pelas
retas verticais x = a e x = b. Como em

b
a
f(x) dx usamos areas de
polgonos contidos em A como aproximac ao por falta da area de A e em

b
a
f(x) dx tomamos polgonos que cont em A, isto e, aproximac oes por
excesso, podemos dizer que

b
a
f(x) dx e a area interna do conjunto A e

b
a
f(x) dx e a area externa de A.
Dizer, ent ao, que f e integr avel, signica que a area interna e a area ex-
terna de A s ao iguais, ou seja, que A possui uma area igual a

b
a
f(x) dx.
Observac ao 2.2 Sejam f : [a, b] R limitada,
= { s(f; P) | P partic ao de [a, b] } e = { S(f; P) | P partic ao de [a, b] } .
Como s S para todo s(f; P) e para todo S = S(f; P) , temos que
sup inf , ou seja,

b
a
f(x) dx

b
a
f(x) dx .
Dizer, ent ao, que f e integr avel, signica armar que sup = inf .
Lema 2.1 Sejam , conjuntos limitados n ao-vazios de n umeros reais
tais que s S quaisquer que sejam s e S .
Ent ao, sup = inf se, e s o se, para todo > 0 existem s e S tais
que S s < .
Instituto de Matem atica - UFF 275
An alise na Reta
Prova.
J a sabemos que sup inf .
(=) Suponhamos que sup < inf e tomemos = inf sup > 0.
Como s sup inf S quaisquer que sejam s e S , temos
que Ss inf sup = para todo S e todo s , o que contradiz
a hip otese.
(=) Suponhamos que sup = inf . Seja > 0. Ent ao existem s e
S tais que s > sup

2
e S < inf +

2
.
Logo, S s < inf +

2

_
sup

2
_
= .

Denic ao 2.2 Seja f : [a, b] R limitada. Sua oscilac ao no conjunto

X e denida por
(f; X) = supf(X) inf f(X) .
Lema 2.2 Seja Y R limitado n ao-vazio. Se m = inf Y e M = supY,
ent ao
Mm = sup{ |x y| | x, y Y }.
Prova.
Seja A = { |x y| | x, y Y }. Dados x, y Y, podemos supor que x y.
Ent ao,
|x y| = x y Mm,
ou seja, Mm e uma cota superior de A.
Al em disso, dado > 0, existem x, y Y tais que x > M

2
e y < m+

2
.
Logo,
|x y| x y > M

2
m

2
= Mm ,
ou seja, Mm e a menor cota superior de A. Ent ao, Mm = supA.

Corol ario 2.1 Seja f : [a, b] R limitada. Ent ao, para todo X [a, b]
n ao-vazio tem-se
(f; X) = sup{ |f(x) f(y)| | x, y Y } .
Observac ao 2.3 Dadas f : [a, b] R limitada e uma partic ao P de
[a, b], indicaremos por
i
= M
i
m
i
a oscilac ao de f no intervalo [t
i1
, t
i
].
J. Delgado - K. Frensel 276
Func oes integr aveis
Teorema 2.1 Seja f : [a, b] R limitada. As seguintes armac oes
s ao equivalentes:
(1) f e integr avel.
(2) Para todo > 0 existem partic oes P e Q de [a, b] tais que
S(f; Q) s(f; P) < .
(3) Para todo > 0 existe uma partic ao P de [a, b] tal que
S(f; P) s(f; P) < .
(4) Para todo > 0 existe uma partic ao P = {t
0
, t
1
, . . . , t
n
} de [a, b] tal que
n

i=1

i
(t
i
t
i1
) < .
Prova.
Pelo lema 2.1, temos que (1)(2). E (3)(4), pois, pelo corol ario
2.1,
S(f; P) s(f; P) =
n

i=1

i
(t
i
t
i1
).

E obvio que (3)=(2), e (2)=(3), pois se S(f; Q) s(f; P) < , ent ao

S(f; P Q) s(f; P Q) < , j a que
s(f; P) s(f; P Q) S(f; P Q) S(f; Q) .

Observac ao 2.4 Sejam f, g : [a, b] R func oes limitadas que dife-

rem apenas num subconjunto nito de [a, b]. Ent ao, f e integr avel se, e s o
se, g e integr avel. E, neste caso, tem-se

b
a
f(x) dx =

b
a
g(x) dx .
De fato, seja X = { x [a, b] | f(x) = g(x) }. Ent ao P = X {a, b} e uma
partic ao de [a, b] tal que f g e constante igual a zero no interior de cada
intervalo dessa partic ao.
Logo, fg e integr avel e

b
a
(fg) dx = 0, pois fg e uma func ao escada.
Como f = g +f g, segue-se do Teorema abaixo, que f e integr avel se, e
s o se, g e integr avel com

b
a
f(x) dx =

b
a
g(x) dx +

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

b
a
g(x) dx .
Instituto de Matem atica - UFF 277
An alise na Reta
Teorema 2.2 Sejam f, g : [a, b] R integr aveis. Ent ao:
(1) Para a < c < b, f|
[a,c]
e f|
[c,b]
s ao integr aveis e

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx
Reciprocamente, se f|
[a,c]
e f|
[c,b]
s ao integr aveis, ent ao f e integr avel e
vale a igualdade acima.
(2) Para cada c R, cf e integr avel e

b
a
(cf(x)) dx = c

b
a
f(x) dx .
(3) f +g e integr avel e

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

b
a
f(x) dx +

b
a
g(x) dx .
(4) Se f(x) g(x) para todo x [a, b], ent ao

b
a
f(x) dx

b
a
g(x) dx .
Em particular, se f(x) 0 para todo x [a, b], ent ao

b
a
f(x) dx 0.
(5) |f(x)| e integr avel e

b
a
f(x) dx

b
a
|f(x)| dx .
Segue-se de (4) e (5) que se |f(x)| K para todo x [a, b], ent ao

b
a
f(x) dx

k(b a) .
(6) O produto f g e integr avel.
Prova.
(1) Sejam
=

c
a
f(x) dx, =

b
c
f(x) dx, A =

c
a
f(x) dx, e B =

b
c
f(x) dx.
Como

b
a
f(x) dx = +,

b
a
f(x) dx = A+B, A e B, temos que f
e integr avel, ou seja, + = A+B, se, e s o se, = A e = B, ou seja,
se, e s o se, f|
[a,c]
e f|
[c,b]
s ao integr aveis.
J. Delgado - K. Frensel 278
Func oes integr aveis
E, neste caso,

b
a
f(x) dx =

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx .
(2) Seja c > 0. Ent ao, pelo teorema 1.3,

b
a
cf(x) dx = c

b
a
f(x) dx = c

b
a
f(x) dx
e

b
a
cf(x) dx = c

b
a
f(x) dx = c

b
a
f(x) dx .
Logo, cf e integr avel e

b
a
cf(x) dx = c

b
a
f(x) dx .
De modo an alogo, se c < 0, temos que

b
a
cf(x) dx = c

b
a
f(x) dx = c

b
a
f(x) dx
e

b
a
cf(x) dx = c

b
a
f(x) dx = c

b
a
f(x) dx .
Logo, cf e integr avel e

b
a
cf(x) dx = c

b
a
f(x) dx .
O caso c = 0 e trivial.
(3) Pelo teorema 1.3, temos que

b
a
f(x) dx +

b
a
g(x) dx =

b
a
f(x) dx +

b
a
g(x) dx

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

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

b
a
f(x) dx +

b
a
g(x) dx
=

b
a
f(x) dx +

b
a
g(x) dx .
Logo,

b
a
f(x) dx +

b
a
g(x) dx =

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

b
a
( f(x) +g(x) ) dx ,
ou seja, f +g e integr avel e

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

b
a
f(x) dx +

b
a
g(x) dx.
(4) Pelo teorema 1.3, temos
Instituto de Matem atica - UFF 279
An alise na Reta

b
a
f(x) dx =

b
a
f(x) dx

b
a
g(x) dx =

b
a
g(x) dx ,
ou seja,

b
a
f(x) dx

b
a
g(x) dx .
(5) Provaremos, primeiro, que |f| e integr avel.
Para x, y [a, b], temos |f(x)| |f(y)| |f(x) f(y)|.
Logo, para todo X [a, b],
(|f|, X) = sup{ | |f(x)| |f(y)| | | x, y X}
sup{ |f(x) f(y)| | x, y X}
= (f, X) .
Ent ao, dada uma partic ao P de [a, b],
i
(|f|)
i
(f) , i = 1, . . . , n.
Como f e integr avel, dado > 0, existe uma partic ao P de [a, b] tal que
n

i=1

i
(f)(t
i
t
i1
) < . Ent ao,
n

i=1

i
(|f|)(t
i
t
i1
)
n

i=1

i
(f)(t
i
t
i1
) < .
Segue-se, ent ao, do teorema 2.1, que |f| e integr avel.
Al em disso, como |f(x)| f(x) |f(x)| para todo x [a, b], temos, por
(2) e (4), que

b
a
|f(x)| dx =

b
a
|f(x)| dx

b
a
f(x) dx

b
a
|f(x)| dx ,
ou seja,

b
a
f(x) dx

b
a
|f(x) dx .
(6) Como f e g s ao limitadas no intervalo [a, b], existe K > 0 tal que
|f(x)| K e |g(x)| K para todo x [a, b].
Seja P = {t
0
, t
1
, . . . , t
n
} uma partic ao de [a, b]. Para x, y [t
i1
, t
i
] quais-
quer, temos
|f(x)g(x) f(y)g(y)| |f(x)| |g(x) g(y)| + |g(y)| |f(x) f(y)|
K( |g(x) g(y)| + |f(x) f(y)| )
K(
i
(f) +
i
(g) ) ,
J. Delgado - K. Frensel 280
Func oes integr aveis
e, portanto,

i
(f +g) K(
i
(f) +
i
(g) ) ,
onde
i
(f+g),
i
(f),
i
(g) s ao as oscilac oes dessas func oes no intervalo
[t
i1
, t
i
].
Logo, como f e g s ao integr aveis, dado > 0, existem partic oes P e Q de
[a, b], tais que
S(f; P) s(f; P) <

2K
e S(g; Q) s(g; Q) <

2k
.
Ent ao, sendo P

= P Q, temos que
S(f; P

) s(f; P

) <

2K
e S(g; P

) s(g; P

) <

2K
.
Da, para a partic ao P

= {t
0
, t
1
, . . . , t
n
},
n

i=1

i
(f +g)(t
i
t
i1
) K
n

i=1

i
(f)(t
i
t
i1
) +K
n

i=1

i
(g)(t
i
t
i1
)
= K( S(f; P

) s(f; P

) ) +K( S(g; P

) s(g; P

) )
< K

2K
+K

2K
= .
Provamos, assim, que dado > 0, existe uma partic ao P

de [a, b] tal que

n

i=1

i
(f +g)(t
i
t
i1
) < .
Logo, pelo teorema 2.1, f +g e integr avel.

Observac ao 2.5 A igualdade

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx s o
tem sentido quando a < c < b.
Para torn a-la verdadeira quaisquer que sejam a, b, c R, precisamos
fazer as seguintes convenc oes:

a
a
f(x) dx = 0
e

b
a
f(x) dx =

a
b
f(x) dx .
Com essas convenc oes, vale, para toda func ao f integr avel, a igualdade:

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx , a, b, c Dom(f) R
Instituto de Matem atica - UFF 281
An alise na Reta
H a seis possibilidades:
a b c ; a c b; b c a;
b a c ; c a b; c b a.
Por exemplo, se a b c, ent ao

c
a
f(x) dx =

b
a
f(x) dx +

c
b
f(x) dx.
Logo,

b
a
f(x) dx =

c
a
f(x) dx

c
b
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx .
De modo an alogo, podemos vericar a igualdade nos outros casos.
Teorema 2.3 Toda func ao contnua f : [a, b] R e integr avel.
Prova.
Como [a, b] e compacto, f e limitada e uniformemente contnua no in-
tervalo [a, b]. Ent ao, dado > 0, existe > 0 tal que
x, y [a, b], |x y| < =|f(x) f(y)| <

b a
.
Seja n N tal que
b a
n
< e considere a partic ao P = {t
0
, t
1
, . . . , t
n
},
onde t
i
= a +
i(b a)
n
, i = 0, . . . , n.
Para x, y [t
i1
, t
i
], temos |x y| |t
i
t
i1
| =
b a
n
< .
Logo, |f(x) f(y)| <

b a
, para x, y [t
i1
, t
i
].
Assim,

i
(f) = sup{ |f(x) f(y)| | x, y [t
i1
, t
i
] }

b a
, i = 1, . . . , n,
e, portanto,
n

i=1

i
(f)(t
i
t
i1
) .
Logo, pelo teorema 2.1, f e integr avel.

Teorema 2.4 Seja f : [a, b] R limitada. Se, para todo c [a, b),
f|
[a,c]
e integr avel, ent ao f e integr avel.
J. Delgado - K. Frensel 282
Func oes integr aveis
Prova.
Seja K > 0 tal que |f(x)| K para todo x [a, b].
Dado > 0, tome c (a, b) tal que b c <

4K
.
Como f|
[a,c]
e integr avel, existe uma partic ao {t
0
, t
1
, . . . , t
n
} de [a, c] tal que
n

i=1

i
(f)(t
i
t
i1
) <

2
.
Pondo t
n+1
= b, obtemos uma partic ao {t
0
, t
1
, . . . , t
n
, t
n+1
} de [a, b] tal que
n+1

i=1

i
(f)(t
i
t
i1
) < , pois
n+1
(f)(t
n+1
t
n
) <

2
, j a que

n+1
(f) 2K e t
n+1
t
n
= b c <

4K
.
Logo, pelo teorema 2.1, f e integr avel no intervalo [a, b].

Observac ao 2.6 De modo an alogo, temos que se f : [a, b] R e

limitada e f|
[c,b]
e integr avel para todo c (a, b], ent ao f e integr avel.
Corol ario 2.2 Seja f : [a, b] R limitada. Se, para a < c < d < b
quaisquer, f|
[c,d]
e integr avel, ent ao f e integr avel.
Prova.
Seja p (a, b) xo. Como f|
[q,p]
e integr avel para todo q (a, p] e f|
[p,r]
e
integr avel para todo r [p, b), temos, pela observac ao 2.6 e pelo teorema
2.4, que f|
[a,p]
e f|
[p,b]
s ao integr aveis.
Logo, pelo item (1) do teorema 2.2, f e integr avel em [a, b].

Corol ario 2.3 Seja f : [a, b] R limitada com um n umero nito de

descontinuidades. Ent ao, f e integr avel.
Prova.
Seja {t
0
, t
1
, . . . , t
n
} = X {a, b}, onde t
0
= a, t
n
= b e X e o conjunto
dos pontos de [a, b] onde f e descontnua.
Ent ao, pelo corol ario acima, f|
[t
i1
,t
i
]
e integr avel para cada i = 1, . . . , n,
pois f e contnua e, portanto, integr avel em todo intervalo [c, d], com
t
i1
< c < d < t
i
. Logo, pelo teorema 2.2, f e integr avel em [a, b].

Instituto de Matem atica - UFF 283

An alise na Reta
Exemplo 2.4 A func ao f : [1, 1] R, f(x) =

sen
1
x
, se x = 0
0 , se x = 0 ,
e integr avel, pois f e limitada e descontnua apenas no ponto 0.

Observac ao 2.7 A observac ao 2.4 n ao cont em o corol ario 2.3, pois

uma func ao pode ser descontnua num n umero nito de pontos sem coin-
cidir com uma func ao contnua fora desses pontos.
Exemplo 2.5 Seja f : [a, b] R denida por f(x) = 0 se x R Q ou
x = 0 e f
_
p
q
_
=
1
q
se
p
q
e uma frac ao irredutvel com q > 0 e p = 0.
J a provamos, anteriormente, que f e descontnua em todos os pontos do
conjunto [a, b] Q {0}. Al em disso, f e limitada, pois f(x) [0, 1] para
todo x [a, b].
Mostraremos, agora, que f e integr avel e

b
a
f(x) dx = 0.
De fato, dado > 0, o conjunto F =

x [a, b] | f(x)

2(b a)

e nito,
pois F e o conjunto das frac oes irredutveis pertencentes a [a, b] cujos
denominadores s ao > 0 e
2(b a)

.
Tomemos, ent ao, uma partic ao P de [a, b] tal que a soma dos comprimen-
tos dos intervalos de P que cont em algum ponto de F seja <

2
.
Observe que se F [t
i1
, t
i
] = , ent ao 0 f(x) <

2(b a)
para todo
x [t
i1
, t
i
] e, portanto, M
i
(f)

2(b a)
.
Ent ao, podemos decompor a soma superior S(f; P) =
n

i=1
M
i
(t
i
t
i1
)
relativa ` a partic ao P em duas parcelas:
S(f; P) =
n

i=1
M
i
(t
i
t
i1
) =

i
(t

i
t

i1
) +

i
(t

i
t

i1
)
onde [t

i1
, t

i
] s ao os intervalos de P que cont em algum ponto de F e
[t

i1
, t

i
] s ao os intervalos de P disjuntos de F.
J. Delgado - K. Frensel 284
O teorema fundamental do C alculo
Como,

i
(t

i
t

i1
)

(t

i
t

i1
) <

2
, pois M

i
1 e

i
(t

i
t

i1
)

2(b a)
(b a)

2
,
temos que 0 S(f; P) < .
Logo, 0 e a maior cota inferior do conjunto {S(f; Q) | Q partic ao de [a, b]},
ou seja,

b
a
f(x) dx = 0.
Al em disso,
0

b
a
f(x) dx

b
a
f(x) dx = 0 .
Logo, f e integr avel e

b
a
f(x) dx = 0.

3. O teorema fundamental do C alculo

Seja f : [a, b] R integr avel. Como, para todo x [a, b], f|
[a,x]
e
integr avel, podemos denir a func ao F : [a, b] R pondo
F(x) =

x
a
f(t) dt
Seja K > 0 tal que |f(x)| K para todo x [a, b]. Ent ao,
|F(y) F(x)| =

y
x
f(t) dt

K|y x| .
Logo, F e lipschitziana e, portanto, uniformemente contnua no inter-
valo [a, b].
Exemplo 3.1 Seja f : [0, 2] R denida por f(t) = 0 se 0 t < 1 e
f(t) = 1 se 1 t 2. Ent ao, f e integr avel e F : [0, 2] R e a func ao
F(x) =

x
0
f(t) dt = 0 , se x [0, 1]

x
0
f(t) dt =

x
1
f(t) dt =

x
1
1 dt = x 1 , se x [1, 2] .
Instituto de Matem atica - UFF 285
An alise na Reta
Logo, F e contnua em [0, 2] e deriv avel em [0, 2] {1}, onde x = 1 e o unico
ponto de descontinuidade de f.

Denic ao 3.1 A func ao F(x) =

x
a
f(t) dt chama-se uma integral inde-
nida de f.
Note que: o processo de passar
de f para F melhora, ou amacia,
as qualidades da func ao f.
Teorema 3.1 Seja f : [a, b] R integr avel. Se f e contnua no ponto
c [a, b], ent ao a func ao F : [a, b] R, denida por F(x) =

x
a
f(t) dt, e
deriv avel no ponto c com F

(c) = f(c).
Prova.
Sendo f contnua no ponto c, dado > 0 existe > 0 tal que
t [a, b], |t c| < =|f(t) f(c)| < .
Ent ao, se 0 < h < e c +h [a, b], temos

F(c +h) F(c)

h
f(c)

=
1
h

c+h
c
f(t) dt hf(c)

=
1
h

c+h
c
(f(t) f(c)) dt

1
h

c+h
c
|f(t) f(c)| dt
1
h
h = ,
pois |f(t) f(c)| < para todo t [c, c +h] [a, b].
Logo, F e deriv avel ` a direita no ponto c e F

(c
+
) = f(c).
Analogamente, podemos provar que se < h < 0 e c +h [a, b], ent ao

F(c +h) F(c)

h
f(c)

.
Logo, F e deriv avel ` a esquerda no ponto c e F

(c

) = f(c).
Assim, F e deriv avel no ponto c e F

(c) = f(c).

J. Delgado - K. Frensel 286

O teorema fundamental do C alculo
Corol ario 3.1 Dada f : [a, b] R contnua, existe F : [a, b] R
deriv avel tal que F

= f.
Prova.
Basta tomar F(x) =

x
a
f(t) dt.

Denic ao 3.2 Dizemos que uma func ao F : [a, b] R e uma primitiva

da func ao f : [a, b] R quando F e deriv avel e F

= f.
Observac ao 3.1 Toda func ao contnua num intervlao compacto possui
primitiva.
Mas nem toda func ao integr avel possui primitiva, pois se f = F

, para
alguma func ao F deriv avel, ent ao f n ao pode ter descontinuidades de pri-
meira esp ecie.
Exemplo 3.2 A func ao integr avel f do exemplo 3.1 n ao possui primitiva
em intervalo algum que cont em o ponto 1 no seu interior, pois o ponto 1 e
uma descontinuidade de primeira esp ecie de f.

Exemplo 3.3 A func ao f : [1, 1] R, denida por f(x) = 2x sen

1
x

cos
1
x
se x = 0 e f(0) = 0, possui a primitiva F(x) = x
2
sen
1
x
se x = 0 e
F(0) = 0 e uma descontinuidade de segunda esp ecie no ponto 0.

Observac ao 3.2 Se f : [a, b] R possui uma primitiva F, ent ao F + c

e tamb em uma primitiva de f para todo c R.
E, reciprocamente, se G e uma primitiva de f, ent ao G = f +c para algum
c R, pois F

= G

= f em [a, b], ou seja, (F G)

= 0 em [a, b].
Observac ao 3.3 Se F : [a, b] R e de classe C
1
, ent ao

b
a
F

(t) dt = F(b) F(a) .

De fato, como F

e contnua, a func ao (x) =

x
a
F

(t) dt e a func ao F s ao
ambas primitivas de F

em [a, b]. Logo, (x)F(x) = c para todo x [a, b],

para algum c R.
Instituto de Matem atica - UFF 287
An alise na Reta
Como (a) = 0, temos que F(a) = c, ou seja, (x) = F(x) F(a) para
todo x [a, b]. Em particular, para x = b,
(b) =

b
a
F

(t) dt = F(b) F(a) .

Mostraremos que n ao e preciso supor F

contnua.
Teorema 3.2 (Teorema Fundamental do C alculo)
Se uma func ao integr avel f : [a, b] R tem uma primitiva F : [a, b] R,
ent ao

b
a
f(x) dx = F(b) F(a)
Isto e, se uma func ao F : [a, b] R possui derivada integr avel, ent ao

b
a
F

(t) dt = F(b) F(a)

Prova.
Seja P = {t
0
, t
1
, . . . , t
n
} uma partic ao de [a, b]. Pelo teorema do valor
m edio, para todo i = 1, . . . , n, existe
i
(t
i1
, t
i
) tal que
F(t
i
) F(t
i1
) = F

(
i
)(t
i
t
i1
).
Ent ao,
F(b) F(a) =
n

i=1
[ F(t
i
) F(t
i1
) ] =
n

i=1
F

(
i
)(t
i
t
i1
) .
Sendo
m
i
= inf { F

(x) | x [t
i1
, t
i
] } e M
i
= sup{ F

(x) | x [t
i1
, t
i
] } ,
temos que m
i
F

(
i
) M
i
para todo i = 1, . . . , n e, portanto,
s(F

; P) F(b) F(a) S(F

; P)
Logo,

b
a
F

(t) dt F(b) F(a)

b
a
F

(t) dt ,
ou seja,

b
a
F

(t) dt = F(b) F(a).

J. Delgado - K. Frensel 288

O teorema fundamental do C alculo
Observac ao 3.4 Este teorema nos diz que as unicas primitivas de uma
func ao integr avel f : [a, b] R, caso existam, s ao da forma

x
a
f(t) dt + Const ,
e reduz a avaliac ao de

b
a
f(t) dt ` a obtenc ao de uma primitiva.
Exemplo 3.4 Determinemos, agora, o desenvolvimento de Taylor da
func ao log em torno do ponto 1, ou de log(1 + x) em torno do ponto 0,
usando o teorema fundamental do C alculo.
Sendo
1 +t = 1 (t) e
1 t
n
1 t
= 1 +t +. . . +t
n1
,
temos que
1
1 +t
= 1 t +t
2
. . . + (1)
n1
t
n1
+
(1)
n
t
n
1 +t
, t = 1 .
Como log(1 +t) e uma primitiva de
1
1 +t
e
t
i+1
i +1
e uma primitiva de t
i
,
sendo
1
1 +t
e t
i
, i N, integr aveis, por serem contnuas, temos que:
log(1 +t) =

x
0
1
1 +t
dt
=

x
0
_
1 t +t
2
. . . + (1)
n1
t
n1
+
(1)
n
t
n
1 +t
_
dt
= x
x
2
2
+
x
3
3
+. . . + (1)
n1
x
n
n
+ (1)
n

x
0
t
n
1 +t
dt ,
para todo x > 1.
Fazendo r
n
(x) = (1)
n

x
0
t
n
1 +t
dt , observamos que se:
0 x =|r
n
(x)

x
0
t
n
dt =
x
n+1
n +1
, pois 1 +x 1 ;
1 < x 0 =|r
n
(x)|

0
x
|t|
n
1 +x
=

0
x
(t)
n
1 +x
dt =

0
x
(1)
n
t
n
1 +x
dt
=
(1)
n+1
x
n+1
(1 +x)(n +1)
=
|x|
n+1
(1 +x)(n +1)
,
Instituto de Matem atica - UFF 289
An alise na Reta
pois 0 < 1 +x 1 +t para t [x, 0]. Logo lim
x0
r
n
(x)
x
n
= 0.
Ent ao, p
n
(x) = x
x
2
2
+
x
3
3
. . . + (1)
n1
x
n
n
e o polin omio de Taylor
de ordem n para a func ao log(1 +x) em torno do ponto zero, ou, fazendo
a mudanca de vari avel u = 1 + x, o polin omio p
n
(u) = p
n
(u 1), e o
polin omio de Taylor de ordem n para a func ao logu em torno do ponto
1.
Al em disso, como lim
n
r
n
(x) = 0 para todo x (1, 1], o desenvolvimento
de Taylor
log(1 +x) = x
x
2
2
+
x
3
3
. . . + (1)
n1
x
n
n
+. . .
vale para todo x (1, 1].
Em particular, para x = 1, obtemos que:
log2 = log(1 +1) = 1
1
2
+
1
3
. . . +
(1)
n1
n
+. . . =

n=1
(1)
n1
n
.

4. F ormulas cl assicas do C alculo Integral

Teorema 4.1 (Mudanca de vari avel)
Seka, f : [a, b] R uma func ao contnua, g : [c, d] R uma func ao
deriv avel, com g

integr avel e g([c, d]) [a, b]. Ent ao,

g(d)
g(c)
f(x) dx =

d
c
f(g(t)) g

(t) dt F ormula de mudanca de vari avel.

Prova.
Como f e contnua, f possui uma primitiva F : [a, b] R. Ent ao, pelo
teorema fundamental do C alculo, temos:

g(d)
g(c)
f(x) dx = F(g(d)) F(g(c)) .
Por outro lado, usando a regra da cadeia, temos
(F g)

(t) = F

(g(t)) g

(t) = f(g(t)) g

(t) , t [c, d] .
J. Delgado - K. Frensel 290
F ormulas cl assicas do C alculo Integral
Assim, F g : [c, d] R e uma primitiva da func ao integr avel
t f(g(t)) g

(t) ,
pois f g e contnua e g

e integr avel.
Logo, pelo teorema fundamental do C alculo, temos

d
c
f(g(t)) g

(t) dt = F g(d) F g(c) .

Observac ao 4.1 No teorema acima, n ao exigimos que para todo

t [c, d], o ponto g(t) pertenca ao intervalo cujos extremos s ao g(c) e
g(d), o que ocorreria se a func ao g fosse mon otona, por exemplo. Em
compensac ao, supomos f contnua.
Na realidade, a demonstrac ao usa apenas o fato de f ser integr avel e
possuir primitiva e que f g e g

s ao integr aveis.
No exerccio 11, e dada uma outra vers ao do teorema 4.1, onde supomos
f apenas integr avel, mas g mon otona:
Seja f : [a, b] R integr avel e g : [c, d] R mon otona, com
g

integr avel tal que g([c, d]) [a, b]. Ent ao,

g(d)
g(c)
f(x) dx =

d
c
f(g(t)) g

(t) dt
Observac ao 4.2 A notac ao

b
a
f(x) dx, em vez de

b
a
f, encontra uma
boa justicativa no teorema anterior, pois se tomarmos x = g(t), teremos
dx = g

(t) dt, x = g(c) e x = g(d) quando t assume os valores c e d,

respectivamente.
Essas substituic oes nos d ao, ent ao, a f ormula de mudanca de vari avel.
Teorema 4.2 (Integrac ao por partes)
Se f, g : [a, b] R possuem derivadas integr aveis, ent ao

b
a
f(t) g

(t) dt = (f g)

b
a

b
a
f

(t) g(t) dt
onde f g

b
a
= f(b)g(b) f(a)g(a).
Instituto de Matem atica - UFF 291
An alise na Reta
Prova.
Como (f g)

(t) = f

(t) g(t) + f(t) g

(t) para todo t [a, b], temos que

f g e uma primitiva de f

g+f g

. Al em disso, como f

g e g

f, e, portanto,
f

g + fg

, s ao integr aveis, temos, pelo teorema fundamental do C alculo,

que

b
a
( f

(t) g(t) +f(t) g

(t) ) dt = (f g)(b) (f g)(a) .

Logo,

b
a
f

(t) g(t) dt +

b
a
f(t) g

(t) dt = (f g)

b
a
.

Teorema 4.3 (F ormulas do valor m edio para integrais)

S ao dadas as func oes f, p : [a, b] R, com f contnua. Ent ao:
A. Existe c (a, b) tal que

b
a
f(x) dx = f(c)(b a) .
B. Se p e integr avel e n ao muda de sinal, existe c [a, b] tal que

b
a
f(x) p(x) dx = f(c)

b
a
p(x) dx.
C. Se p e positiva, decrescente, com derivada integr avel, existe c [a, b]
tal que

b
a
f(x) p(x) dx = p(a)

c
a
f(x) dx.
Prova.
A. Como f e contnua, f possui uma primitiva F. Ent ao, pelo teorema
do valor m edio, existe c (a, b) tal que

b
a
f(x) dx = F(b) F(a) = F

(c)(b a) = f(c)(b a) .
B. Sendo m = inf{ f(x) | x [a, b] } e M = sup{ f(x) | x [a, b] }, temos
m f(x) M para todo x [a, b] e existem x
0
, y
0
[a, b] tais que
f(x
0
) = m e f(y
0
) = M.
Suponhamos que p(x) 0 para todo x [a, b]. Ent ao,
mp(x) p(x) f(x) Mp(x) , x [a, b] .
Logo,
J. Delgado - K. Frensel 292
F ormulas cl assicas do C alculo Integral
m

b
a
p(x) dx

b
a
p(x) f(x) dx M

b
a
p(x) dx .
Se

b
a
p(x) dx = 0, temos

b
a
p(x) f(x) dx = 0, e se

b
a
p(x) dx > 0, temos
m

b
a
f(x) p(x) dx

b
a
p(x) dx
M.
Em qualquer caso, existe d [m, M] tal que
d

b
a
p(x) dx =

b
a
f(x) p(x) dx .
E, como f e contnua, existe c entre x
0
e y
0
tal que f(c) = d, ou seja,

b
a
f(x) p(x) dx = f(c)

b
a
p(x) dx .
C. Seja F : [a, b] R dada por F(x) =

x
a
f(t) dt .
Ent ao, F

= f e F(a) = 0.
Integrando por partes, obtemos

b
a
f(x) p(x) dx =

b
a
F

(x) p(x) dx = F(b) p(b)

b
a
F(x) p

(x) dx .
Como p

(x) 0 para todo x [a, b] e p

e integr avel, temos, pelo item B,

que existe [a, b] tal que

b
a
F(x) p

(x) dx = F()

b
a
p

(x) dx .
Logo,

b
a
f(x) p(x) dx = F(b) p(b) F()

b
a
p

(x) dx
= F(b) p(b) F() p(b) +F() p(a)
=
_
F()
p(a) p(b)
p(a)
+F(b)
p(b)
p(a)
_
p(a)
= ( F() +F(b) ) p(a) ,
Instituto de Matem atica - UFF 293
An alise na Reta
onde =
p(a) p(b)
p(a)
0 , =
p(b)
p(a)
0 e + = 1.
Como F() + F(b) pertence ao intervalo cujos extremos s ao F() e
F(b) , temos, pela continuidade de F, que existe c [, b] [a, b] tal que
F() +F(b) = F(c) .
Provamos, ent ao, que existe c [a, b] tal que

b
a
f(x) p(x) dx = p(a) F(c) = p(a)

c
a
f(x) dx.

Observac ao 4.3 No item B, podemos sempre obter c (a, b).

De fato, como

b
a
f(x) p(x) dx = f(c

b
a
p(x) dx = 0 para um certo c

[a, b], temos que, se

b
a
p(x) dx = 0, ent ao

b
a
f(x) p(x) dx = f(c)

b
a
p(x) dx , c (a, b) .
Suponhamos que p(x) 0 para todo x [a, b].
Assim,

b
a
p(x) dx > 0 se

b
a
p(x) dx = 0.
Sejam L =

b
a
p(x) dx > 0 e M

> 0 tal que 0 p(x) M

, x [a, b] .
Seja 0 < < min

b a
2
,
L
4M

. Ent ao,
0

a+
a
p(x) dx M

<
L
4
e 0

b
b
p(x) dx M

<
L
4
.
Logo,
L =

b
a
p(x) dx =

a+
a
p(x) dx +

b
a+
p(x) dx +

b
b
p(x) dx
<
L
2
+

b
a+
p(x) dx .
Ent ao,

b
a+
p(x) dx >
L
2
.
J. Delgado - K. Frensel 294
F ormulas cl assicas do C alculo Integral
Sejam
m = f(x
0
) = inf{ f(x) | x [a, b] } e M = f(y
0
) = sup{ f(x) | x [a, b] } ,
onde x
0
, y
0
[a, b].
Seja
d =

b
a
f(x) p(x) dx

b
a
p(x) dx
.
Ent ao, como foi provado no item B, m d M.
Se m < d < M, existe, pela continuidade de f, um n umero c entre x
0
e
y
0
, e, portanto, c (a, b), tal que f(c) = d.
Suponhamos que d = m e f(x) = m para todo x (a, b), ou seja,
f(x) > m para todo x (a, b).
Ent ao,

b
a
f(x) p(x) dx = m

b
a
p(x) dx ,
ou seja,

b
a
(f(x) m) p(x) dx = 0 .
Mas, como f e contnua em [a, b] e f(x) > m para x (a, b), existe K > 0
tal que f(x) K +m para todo x [a +, b ].
Logo,

b
a+
(f(x) m) p(x) dx K

b
a+
p(x) dx >
KL
2
> 0 .
Assim, sendo (f(x) m)p(x) 0 para todo x [a, b],
0 =

b
a
(f(x) m)p(x) dx =

a+
a
(f(x) m)p(x) dx
+

b
a+
(f(x) m)p(x) dx +

b
b
(f(x) m)p(x) dx > 0 ,
o que e um absurdo.
Suponhamos, agora, que d = M e f(x) = M para todo x (a, b), ou
seja, f(x) < M para todo x (a, b).
Instituto de Matem atica - UFF 295
An alise na Reta
Logo,

b
a
f(x) p(x) dx = M

b
a
p(x) dx ,
e, portanto,

b
a
(Mf(x))p(x) dx = 0 .
Como f e contnua em [a, b] e f(x) < M para todo x (a, b), existe K > 0
tal que f(x) < MK para todo x [a +, b ].
Assim,

b
a+
(Mf(x))p(x) dx
KL
2
> 0 e, portanto,
0 =

b
a
(Mf(x))p(x) dx =

a+
a
(Mf(x))p(x) dx
+

b
a+
(Mf(x))p(x) dx +

b
b
(Mf(x))p(x) dx > 0 ,
o que e um absurdo.
Deduziremos, agora, a F ormula de Taylor com resto integral, usando
integrac ao por partes.
Lema 4.1 Seja : [0, 1] R uma func ao que possui derivada de
ordem n +1, n 1, integr avel em [0, 1]. Ent ao,
(1) = (0) +

(0) +

(0)
2 !
+. . . +

(n)
(0)
n!
+

1
0
(1 t)
n
n!

(n+1)
(t) dt .
Prova.
Provaremos este lema por induc ao sobre n.
Caso n = 1: Seja : [0, 1] R uma func ao que possui derivada de
ordem 2 integr avel em [0, 1].
Como

e contnua, temos que (1) = (0) +

1
0

(t) dt .
Fazendo f(t) = 1 t e g(t) =

(t), obtemos, integrando por partes, que

1
0

(t) dt =

1
0
(f

(t)g(t)) dt = f g

0
1
+

1
0
f(t) g

(t) dt
=

(0) +

1
0
(1 t)

(t) dt ,
J. Delgado - K. Frensel 296
F ormulas cl assicas do C alculo Integral
ou seja,
(1) = (0) +

(0) +

1
0
(1 t)

(t) dt
Caso geral: Suponhamos o resultado v alido para func oes que possuem
derivada de ordem n +1, n 1, integr avel em [0, 1].
Seja : [0, 1] R uma func ao (n + 2)vezes deriv avel, com
(n+2)
integr avel em [0, 1].
Sejam f(t) =
(1 t)
n+1
(n +1) !
e g(t) =
(n+1)
(t) . Ent ao, f

(t) =
(1 t)
n
n!
e
g

(t) =
(n+2)
(t) , para todo t [0, 1].
Como f

e g

s ao integr aveis, temos

1
0
(1 t)
n
n!

(n+1)
(t) dt =

1
0
f

(t) g(t) dt = f g

0
1
+

1
0
f(t) g

(t) dt
=

(n+1)
(0)
(n +1) !
+

1
0
(1 t)
n+1
(n +1) !

(n+2)
(t) dt .
Al em disso, sendo (n + 1)vezes deriv avel, com
(n+1)
integr avel, ob-
temos, pela hip otese de induc ao, que
(1) = (0) +

(0) +. . . +

(n)
(0)
n!
+

1
0
(1 t)
n
n!

(n+1)
(t) dt .
Logo,
(1) = (0)+

(0)+. . . +

(n)
(0)
n!
+

(n+1)
(0)
(n +1) !
+

1
0
(1 t)
n+1
(n +1) !

(n+2)
(t) dt .

Teorema 4.4 (F ormula de Taylor com resto integral)

Se f : [a, a +h] R possui derivada de ordem n +1 integr avel, ent ao
f(a +h) = f(a) +f

(a) h +
f

(a)
2 !
h
2
+. . . +
f
(n)
(a)
n!
h
n
+
_
1
0
(1 t)
n
n!
f
(n+1)
(a +th) dt
_
h
n+1
F ormula de Taylor com resto inte-
gral.
Prova.
Seja : [0, 1] R denida por (t) = f(a +th), t [0, 1].
Instituto de Matem atica - UFF 297
An alise na Reta
Ent ao,
(j)
(t) = f
(j)
(a + th)h
j
para todo 1 j n + 1. Logo, possui
derivada de ordem n + 1 integr avel (por qu e?) e
(j)
(0) = f
(j)
(a)h
j
para
todo 1 j n +1.
Assim, pelo lema anterior,
(1) = (0) +

(0) +

(0)
2 !
+. . . +

(n)
(0)
n!
+

1
0
(1 t)
n
n!

(n+1)
(t) dt ,
ou seja,
f(a +h) = f(a) +f

(a) h +
f

(a)
2 !
h
2
+. . . +
f
(n)
(a)
n!
h
n
+
_
1
0
(1 t)
n
n!
f
(n+1)
(a +th) dt
_
h
n+1
,
como queramos.

Observac ao 4.4 Ao usarmos a notac ao [a, a + h], estamos admitindo

h 0. Mas a mesma f ormula vale para h < 0, pois a denic ao de n ao
leva isto em conta.
Observac ao 4.5 Fazendo b = a+h e realizando a mudanca de vari avel
x = a +th, t [0, 1], obtemos que:
f(b) = f(a) +f

(a)(b a) +. . . +
f
(n)
(a)
n!
(b a)
n
+

b
a
(b x)
n
n!
f
(n+1)
(x) dx ,
j a que

b
a
(b x)
n
n!
f
(n+1)
(x) dx =

1
0
(b a th)
n
n!
f
(n+1)
(a +th) hdt
=

1
0
(h th)
n
n!
f
(n+1)
(a +th) hdt
=

1
0
(1 t)
n
n!
f
(n+1)
(a +th) h
n+1
dt .
J. Delgado - K. Frensel 298
A integral como limite de somas
5. A integral como limite de somas
Denic ao 5.1 Seja P = {t
0
, t
1
, . . . , t
n
} uma partic ao do intervalo [a, b].
Chamamos norma de P ao n umero
|P| = max

| t
i
t
i1
|

i = 1, . . . , n

.
Mostraremos que

b
a
f(x) dx = lim
|P|0
S(f; P),
onde f : [a, b] R e uma func ao limitada.
Teorema 5.1 Seja f : [a, b] R limitada. Ent ao, para todo > 0,
existe > 0 tal que

b
a
f(x) dx S(f; P) <

b
a
f(x) dx + ,
qualquer que seja a partic ao P com norma menor do que .
Prova.
Suponhamos, primeiro, que f(x) > 0, para todo x [a, b].
Seja M = sup{ f(x) | x [a, b] } > 0.
Dado > 0, existe uma partic ao P
0
= { t
0
, t
1
, . . . , t
n
} de [a, b] tal que

b
a
f(x) dx S(f; P
0
) <

b
a
f(x) dx +

2
.
Tome 0 < <

2Mn
e seja P uma partic ao arbitr aria de [a, b] com |P| < .
Indiquemos por [r
1
, r

] os intervalos de P contidos em algum intervalo

[t
i1
, t
1
] de P
0
, e escrevemos i para indicar que [r
1
, r

] [t
i1
, t
1
] .
Chamemos [r
1
, r

] os intervalos restantes. Como cada um destes in-

tervalos cont em pelo menos um ponto t
i
em seu interior, h a, no m aximo,
n 1 intervalos do tipo [r
1
, r

].
Se i, ent ao M

M
i
e

i
(r

r
1
) t
i
t
i1
, onde
M

= sup
x[r
1
,r

]
f(x) e M
i
= sup
x[t
i1
,t
i
]
f(x) .
Portanto,
Instituto de Matem atica - UFF 299
An alise na Reta

i
M

(r

r
1
) M
i
(t
i
t
i1
) .
Al em disso, M

(r

r
1
) M , pois M

, M

e M
i
s ao n umeros
positivos.
Assim,
S(f; P) =

(r

r
1
) +

(r

r
1
)

i=1
M
i
(t
i
t
i1
) +M(n 1)
< S(f; P
0
) +

2
<

b
a
f(x) dx + .
No caso geral, como f e limitada, existe c R tal que f(x) + c > 0 para
todo x [a, b].
Tomando g(x) = f(x) +c, temos que g(x) > 0 para todo x [a, b],
M
i
(g) = M
i
(f) +c , S(g; P) = S(f; P) +c(b a) ,
e, portanto,

b
a
g(x) dx =

b
a
f(x) dx +c(b a) .
Logo, dado > 0, existe > 0 tal que
|P| < =S(g; P) <

b
a
g(x) dx + ,
ou seja,
S(f; P) +c(b a) <

b
a
f(x) +c(b a) + .
Ent ao,

b
a
f(x) dx S(f; P) <

b
a
f(x) dx + .

Corol ario 5.1 Seja f : [a, b] Rlimitada. Ent ao,

b
a
f(x) dx = lim
|P|0
s(f, P),
ou seja: dado > 0, existe > 0 tal que
|P| < =

b
a
f(x) dx < s(f; P)

b
a
f(x) dx .
J. Delgado - K. Frensel 300
A integral como limite de somas
Prova.
Pelo teorema anterior, dado > 0, existe > 0 tal que |P| < , ent ao

b
a
f(x) dx S(f; P) <

b
a
f(x) dx + .
Logo,

b
a
f(x) dx < s(f; P)

b
a
f(x) dx ,
pois S(f; P) = s(f; P) e

b
a
f(x) dx =

b
a
f(x) dx .

Vamos, agora, caracterizar as func oes integr aveis exprimindo suas inte-
grais em termos de limites de somas.
Denic ao 5.2 Seja P = {t
0
, t
1
, . . . , t
n
} uma partic ao de [a, b]. Pontilhar
a partic ao P e escolher um ponto
i
[t
i1
, t
i
] para todo i = 1, . . . , n.
Se f : [a, b] R e limitada e P

e uma partic ao pontilhada de [a, b],

chamamos
(f; P) =
n

i=1
f()(t
i
t
i1
)
de soma de Riemann de f relativa ` a partic ao pontilhada P

de [a, b].
Observac ao 5.1 Seja qual for a maneira de pontilhar a partic ao P,
temos s(f; P) (f; P

) S(f; P) , j a que
i
[t
i1
, t
i
] e, portanto,
m
i
f(
i
) M
i
para todo i = 1, . . . , n.
Denic ao 5.3 Dada f : [a, b] R limitada, dizemos que I R e o
limite de (f; P

) quando |P| tende a zero e escrevemos

I = lim
|P|0
(f; P

)
quando, para tdo > 0, existe > 0, tal que |(f; P

) I| < , seja qual

for a partic ao pontilhada P

de [a, b], com |P| < .

Teorema 5.2 Seja f : [a, b] R limitada. Ent ao, existe o limite
I = lim
|P|0
(f; P

) se, e s o se, f e integr avel. Neste caso, I =

b
a
f(x) dx .
Instituto de Matem atica - UFF 301
An alise na Reta
Prova.
(=) Seja f integr avel. Pelo teorema 5.1 e pelo corol ario 5.1, temos:

b
a
f(x) dx = lim
|P|0
S(f; P) = lim
|P|0
s(f; P) .
Mas, como s(f; P) (f; P

) S(f; P) para toda partic ao pontilhada P

de [a, b], temos que o limite lim

|P|0
(f; P

) existe e e igual a

b
a
f(x) dx.
(=) Suponhamos que existe o limite I = lim
|P|0
(f; P

).
Dado > 0, existe uma partic ao P = {t
0
, t
1
, . . . , t
n
} tal que
|(f; P

) I| <

4
,
seja qual for a maneira de pontilhar P.
Vamos pontilhar P de duas maneiras:
Em cada intervalo [t
i1
, t
i
], existe
i
tal que
f(
i
) < m
i
+

4n(t
i
t
i1
)
.
Isto nos d a uma partic ao pontilhada P

tal que
(f; P

) =
n

i=1
f(
i
)(t
i
t
i1
) <
n

i=1
m
i
(t
i
t
i1
) +

4
= s(f; P) +

4
.
Em cada intervalo [t
i1
, t
i
], existe
i
tal que
f(
i
) > M
i


4n(t
i
t
i1
)
.
Isto nos d a uma partic ao pontilhada P
#
tal que
(f; P
#
) =
n

i=1
f(
i
)(t
i
t
i1
) >
n

i=1
M
i
(t
i
t
i1
)

4
= S(f; P)

4
.
Logo,
(f; P

)

4
< s(f; P) S(f; P) < (f; P
#
) +

4
.
Mas, como (f; P

) e (f; P
#
) pertencem ao intervalo
_
I

4
, I +

4
_
,
temos que
I

2
< s(f; P) S(f; P) < I +

2
,
e, portanto, S(f; P) s(f; P) < .
J. Delgado - K. Frensel 302
A integral como limite de somas
Ent ao, f e integr avel e, pela parte j a provada do teorema,

b
a
f(x) dx = lim
|P|0
(f; P

) .

Exemplo 5.1 Seja f : [a, b] R uma func ao integr avel. Ent ao, dada
uma seq u encia (P

n
) de partic oes pontilhadas com lim
n
|P

n
| = 0, temos
que

b
a
f(x) dx = lim
n
(f; P

n
) .
Consideremos, por exemplo, a func ao f : [1, 2] R dada por f(x) =
1
x
.
Ent ao, f e integr avel, pois f e de classe C

, e, como veremos depois,

2
1
dx
x
= log2.
Para cada n N, seja P
n
=

1,
n +1
n
,
n +2
n
, . . . ,
n +n
n

a partic ao que
subdivide o intervalo [1, 2] em n intervalos, cada um com comprimento
1
n
. Pontilhemos P
n
tomando em cada intervalo
_
n +i 1
n
,
n +i
n
_
o ponto

i
=
n +i
n
, i = 1, . . . , n.
Como f(
i
) = f
_
n +i
n
_
=
n
n +i
, temos que f(
i
)(t
i
t
i1
) =
1
n +i
e,
portanto,
(f; P

n
) =
1
n +1
+
1
n +2
+. . . +
1
2n
e a soma de Riemann da partic ao pontilhada P

n
.
Logo,
log2 =

2
1
dx
x
= lim
n
(f; P

n
) = lim
n
= lim
n
_
1
n +1
+
1
n +2
+. . . +
1
2n
_
.

Exemplo 5.2 Valor m edio de uma func ao num intervalo

Seja f : [a, b] R uma func ao integr avel. Dividindo o intervalo [a, b]
em n partes iguais, obtemos a partic ao P
n
= {a, a + h, . . . , a + nh}, onde
h =
b a
n
.
Instituto de Matem atica - UFF 303
An alise na Reta
A m edia aritm etica dos n n umeros f(a+h), f(a+2h), . . .,f(a+nh) = f(b)
e indicada pela notac ao M(f; n) =
1
n
n

i=1
f(a + ih). E denimos o valor
m edio de f no intervalo [a, b] como sendo o limite
M(f; [a, b]) = lim
n
M(f; n)
Escolhendo o ponto a + ih em cada intervalo [a + (i 1)h, a + ih],
i = 1, . . . , n, obtemos uma partic ao pontilhada P

n
tal que
(f; P

n
) =
n

i=1
f(a +ih)h =
b a
n
n

i=1
f(a +ih) = (b a) M(f; n) ,
ou seja,
M(f; n) =
1
b a
(f; P

n
) .
Logo,
M(f; [a, b]) = lim
n
1
b a
(f; P

n
) =
1
b a

b
a
f(x) dx .
Em particular, se f est a denida no intervalo [a, a + 1], seu valor m edio
nesse intervalo e

a+1
a
f(x) dx .

6. Caracterizac ao das func oes integr aveis

Indiquemos com |I| = b a o comprimento de um intervalo I cujos
extremos s ao a e b.
Denic ao 6.1 Seja X R. Dizemos que X tem conte udo nulo e escre-
vemos c(X) = 0, quando, para todo > 0, existe uma colec ao nita de
abertos I
1
, . . . , I
k
tal que
X I
1
I
2
. . . I
k
e
k

j=1
|I
j
| <
Observac ao 6.1 Na denic ao acima, n ao foi exigido que os intervalos
abertos I
i
, . . . , I
k
sejam disjuntos.
J. Delgado - K. Frensel 304
Caracterizac ao das func oes integr aveis
Mas, o conjunto aberto I
1
. . .I
k
pode ser expresso, de modo unico, como
uma reuni ao nita de intervalos abertos disjuntos J
1
, . . . , J
r
, com r k.
De fato, como I
1
. . . I
k
e um conjunto aberto, existe uma unica colec ao
(J
n
) enumer avel de intervalos abertos disjuntos tais que
I
1
. . . I
k
=

_
n=1
J
n
.
Como, para todo j = 1, . . . , k, I
j
=

_
n=1
I
j
J
n
e I
j
J
n
e vazio ou e um
intervalo aberto, temos que existe um unico n
j
tal que I
j
J
n
j
= , pois,
caso contr ario, o intervalo aberto I
j
se escreveria como reuni ao de dois
conjuntos abertos disjuntos e n ao-vazios.
Logo, I
j
J
n
j
, e, portanto,
I
1
. . . I
k
= J
n
1
. . . J
n
k
.
Assim, a colec ao (J
n
k
) e nita e tem no m aximo k elementos, pois podem
existir j = , j, = 1, . . . , k, tais que J
n
j
= J
n

.
Ent ao, existe r k tal que
I
1
. . . I
k
= J
1
. . . J
r
,
onde J
1
, . . . , J
r
s ao intervalos abertos disjuntos.
Lema 6.1 Sejam I
1
, . . . , I
k
e J
1
, . . . , J
r
intervalos abertos, tais que os in-
tervalos J
i
s ao dois a dois disjuntos
Se I
1
. . . I
k
= J
1
. . . J
r
, ent ao
|J
1
| +. . . + |J
r
| |I
1
| +. . . + |I
k
| ,
ocorrendo a igualdade somente quando os intervalos I
j
s ao tamb em dois
a dois disjuntos. Nesse caso, k = r e os intervalos I
1
, . . . , I
k
coincidem
com os intervalos J
1
, . . . , J
k
a menos da enumerac ao.
Prova.
Seja
X
: R R a func ao caracterstica de um conjunto X R, ou
seja
X
(x) =

1 se x X
0 se x X.
Instituto de Matem atica - UFF 305
An alise na Reta
Armac ao 1: Se Y = X
1
. . . X
k
, ent ao
Y

k

j=1

X
j
, ocorrendo a
igualdade se, e s o se, os conjuntos X
j
s ao dois a dois disjuntos.
De fato, se x Y, existe j {1, . . . , k} tal que x X
j
.
Logo,
Y
(x) = 1 =
X
j
(x)
k

i=1

X
i
(x), pois
X
i
(y) 0 para todo y R.
Se x Y, ent ao x X
j
para todo j = 1, . . . , k. Assim,
Y
(x) =
X
j
(x) = 0
para todo j = 1, . . . , k, ou seja,

Y
(x) =
k

j=1

X
j
(x) = 0 .
Suponhamos, agora, que os conjuntos X
1
, . . . , X
k
s ao dois a dois disjun-
tos. Ent ao, para todo x Y, existe um unico j = 1, . . . , k tal que x X
j
.
Logo,
Y
(x) = 1 =
X
j
(x) =
k

i=1

X
i
(x), j a que
X
i
(x) = 0 para todo i = j.
Suponhamos que
Y
=
n

j=1

X
j
. Ent ao, os conjuntos X
j
s ao disjuntos,
pois se existisse x X
j
X
i
, j = i, teramos que
2 =
X
j
(x) +
X
i
(x)
k

=1

(x) =
Y
(x) = 1 ,
o que e absurdo.
No caso em que X e um intervalo contido no intervalo [a, b], temos que

X
: [a, b] R e uma func ao escada e, portanto,

b
a

X
(x) dx = |X|
Logo, se [a, b] e um intervalo tal que Y = I
1
. . .I
k
= J
1
. . .J
r
[a, b],
onde I
1
, . . . , I
k
e J
1
, . . . , J
r
s ao intervalos abertos, sendo os intervalos J
i
dois a dois disjuntos, ent ao

Y
=
r

i=1

J
i

k

i=1

I
J
,
J. Delgado - K. Frensel 306
Caracterizac ao das func oes integr aveis
e, portanto,
r

i=1
|J
i
| =
r

i=1

b
a

J
i
=

a
r

i=1

J
i

b
a
k

j=1

I
j
=
k

j=1

b
a

I
j
=
k

j=1
|I
j
| .
Suponhamos, agora, que existemi = j , i, j {1, . . . , k}, tais que I
i
I
j
= .
Ent ao, existe um intervalo aberto I
0
= (c, d) I
i
I
j
.
Logo,
Y
(x) <
k

=1

(x) para todo x I

0
, ou seja,
k

=1

(x)
Y
(x) 1
para todo x I
0
.
Assim,
k

=1
|I

s=1
|J
s
| =

b
a
_
k

=1

(x)
r

s=1

J
s
(x)
_
dx
=

b
a
_
k

=1

(x)
Y
(x)
_
dx =

c
a
_
k

=1

(x)
Y
(x)
_
dx
+

d
c
_
k

=1

(x)
Y
(x)
_
dx +

b
d
_
k

=1

(x)
Y
(x)
_
dx

d
c
1 dx = d c = |I
0
| > 0 .
Provamos, ent ao, que se os intervalos abertos I
1
, . . . , I
k
n ao s ao disjuntos,
ent ao
k

=1
|I

| >
r

s=1
|J
s
| .

Corol ario 6.1 Seja X [a, b] um conjunto de conte udo nulo. Ent ao,
dado > 0, existe uma partic ao P de [a, b] tal que a soma dos compri-
mentos dos intervalos de P que cont em algum ponto de X e < .
Prova.
Dado > 0, existem intervalos abertos I
1
, . . . , I
k
tais que X I
1
. . . I
k
e
k

j=1
|I
j
| < . Pela observac ao 6.1 e pelo lema 6.1, existem intervalos
abertos J
1
, . . . , J
r
, r k, disjuntos tais que X I
1
. . . I
k
= J
1
. . . J
r
e
r

i=1
|J
i
| < .
Instituto de Matem atica - UFF 307
An alise na Reta
As extremidades dos J
i
contidas em [a, b], juntamente com os pontos a e
b, formam uma partic ao P = {t
0
, t
1
, . . . , t
n
} de [a, b].
Seja i = 1, . . . , n, tal que X [t
i1
, t
i
] = . Ent ao, existe x X [t
i1
, t
i
]
e, portanto, existe = 1, . . . , r tal que x J

.
Suponhamos que 0 < b a. Assim, uma das extremidades de J

est a
contida em [a, b], pois, caso contr ario, teramos |J

| > b a , j a que
J

[a, b] = .
Logo, se:
t
i1
= a =[a, t
1
) J

e t
1
e a extremidade superior de J

.
ou
t
i1
= a e t
i
= b =(t
i1
, t
i
) = J

.
t
i
= b =(t
n1
, b] J

e t
n1
e a extremidade inferior de J

.
ou
Em qualquer caso, temos que t
i
t
i1
|J

|. Ent ao,

X[t
i1
,t
i
]=
|t
i
t
i1
|
r

s=1
|J
s
| < .

Observac ao 6.2 Os conjuntos de conte udo nulo gozam das seguintes

propriedades:
1. Se c(X) = 0, ent ao X e limitado.
De fato, como X est a contido numa uni ao nita de intervalos limitados,
temos que X e limitado.
2. Se c(X) = 0 e Y X, ent ao c(Y) = 0.
3. Se c(X
1
) = c(X
2
) = . . . = c(X
n
) = 0, ent ao c(X
1
. . . X
n
) = 0.
De fato, dado > 0, existem, para cada k = 1, . . . , n, intervalos abertos
I
k
1
, . . . , I
k
j
k
tais que
J. Delgado - K. Frensel 308
Caracterizac ao das func oes integr aveis
X
k
I
k
1
. . . I
k
j
k
e
j
k

i=1
|I
k
i
| <

n
.
Logo,
X
1
. . . X
n

n
_
k=1
j
k
_
i=1
I
k
i
e
n

k=1
j
k

i=1
|I
k
i
| < n

n
= .
4. Se para cada > 0 existem intervalos abertos I
1
, . . . , I
k
e um subcon-
junto nito F X tais que
X F I
i
. . . I
k
e |I
1
| +. . . + |I
k
| < ,
ent ao c(X) = 0 .
De fato, dado > 0, existem intervalos abertos I
1
, . . . , I
k
e F X nito tais
que
X F I
i
. . . I
k
e |I
1
| +. . . + |I
k
| <

2
.
Sejam F = {x
1
, . . . , x
r
} e I
k+i
=
_
x
i


4r
, x
i
+

4r
_
, i = 1, . . . , r. Ent ao,
F
r
_
i=1
I
k+i
e
r

i=1
|I
k+i
| =
2r
4r
=

2
.
Logo, X I
1
. . . I
k
I
k+1
. . . I
k+r
e
k+r

j=1
|I
j
| <

2
+

2
= .
5. c(X) = 0 dado > 0, existem intervalos fechados J
1
, . . . , J
k
tais
que X J
1
. . . J
k
e
k

i=1
|J
i
| < .
De fato, se c(X) = 0, dado > 0, existem intervalos abertos I
1
, . . . , I
k
tais
que X I
1
. . . I
k
e
k

i=1
|I
i
| < . Seja J
i
= I
i
, ou seja, J
i
= [a
i
, b
i
]
se I
i
= (a
i
, b
i
). Ent ao, |J
i
| = |I
i
|, i = 1, . . . , k. Logo, X J
1
. . . J
k
e
k

i=1
|J
i
| =
k

i=1
|I
i
| < .
Reciprocamente, dado > 0, existem intervalos fechados J
i
= [a
i
, b
i
],
i = 1, . . . , k, tais que X J
1
. . . J
k
e
k

i=1
|J
i
| < .
Instituto de Matem atica - UFF 309
An alise na Reta
Sejam F = {a
1
, b
1
, a
2
, b
2
, . . . , a
n
, b
n
} e I
i
= (a
i
, b
i
), i = 1, . . . , n.
Ent ao, X F I
1
. . . I
k
e
k

i=1
|I
i
| < . Logo, pela propriedade 4,
c(X) = 0.
Em particular, vale a recproca do corol ario 6.1: Se X [a, b] e, para
cada > 0 existe uma partic ao P de [a, b] tal que a soma dos comprimen-
tos dos intervalos de P que cont em pontos de X e < , ent ao c(X) = 0.
Exemplo 6.1 Seja X = Q [a, b], com a < b. Ent ao, X e enumer avel,
mas n ao tem conte udo nulo.
De fato, se c(X) = 0, ent ao, dado 0 < < b a, existiria uma partic ao P
de [a, b] tal que a soma dos comprimentos dos intervalos de P contendo
pontos de P seria < . Mas, como Q [t
i1
, t
i
] = para todo i, teramos
que

[t
i1
,t
i
]X=
(t
i
t
i1
) = b a, o que e um absurdo. Logo, X n ao tem
conte udo nulo.

Exemplo 6.2 Todo intervalo n ao-degenerado n ao tem conte udo nulo.

De fato, os intervalos do tipo (a, +), [a, +), (, b) e (, b] n ao
t em conte udo nulo, pois s ao ilimitados.
E os intervalos do tipo (a, b) e [a, b] n ao tem conte udo nulo, pois (a, b)Q
n ao t em conte udo nulo e (a, b) Q (a, b) [a, b].

Exemplo 6.3 Se X tem conte udo nulo, ent ao X tem interior vazio.
De fato, se x
0
int X, existiria um intervalo aberto I tal que x
0
I X.
Logo, como c(X) = 0, I teria conte udo nulo, o que e um absurdo.

Exemplo 6.4 Seja K [0, 1] o conjunto de Cantor. Ent ao K n ao e enu-

mer avel e tem conte udo nulo.
De fato, depois da n esima etapa da construc ao do conjunto de Cantor,
foram omitidos intervalos abertos cuja soma dos comprimentos e
1
3
+
2
3
2
+
2
2
3
3
+. . . +
2
n1
3
n
=
1
3
n1

i=0
_
2
3
_
i
= 1
_
2
3
_
n
.
J. Delgado - K. Frensel 310
Caracterizac ao das func oes integr aveis
Ent ao, K est a contido numa uni ao nita de 2
n
intervalo fechados, cada um
de comprimento
1
3
n
. Como a soma dos comprimentos desses intervalos
fechados e
_
2
3
_
n
, dado > 0, basta tomar n N tal que
_
2
3
_
n
< .
Portanto, c(X) = 0.

Sejam f : [a, b] R uma func ao limitada e X [a, b]. A oscilac ao de f

no conjunto X e
(f; X) = supf(X) inf f(X) = sup{ |f(x) f(y)| | x, X} .
Logo, se X Y, ent ao (f; X) (f; Y) .
Deniremos, agora, a oscilac ao de f num ponto x [a, b]:
Para cada > 0, escrevemos

x
() = (f; (x , x +) [a, b]) .
se a < x < b, existe
0
> 0 tal que (x
0
, x +
0
) [a, b]. Logo,

x
(
0
) = (f; (x
0
, x +
0
)) .
Se x = a e 0 <
0
b a, ent ao
x
(
0
) = (f; [a, a +
0
)) .
Se x = b e 0 <
0
b a, ent ao
x
(
0
) = (f; (b
0
, b]) .
Ent ao a func ao : (0,
0
) R e mon otona n ao-decrescente e e
limitada, pois f e limitada.
Existe, portanto, o limite
(f; x) = lim
0
+

x
() = inf { () | (0,
0
) }
que chamamos a oscilac ao de f no ponto x .
Observac ao 6.3 Seja V

(x) = (x , x +) ( [a, b] {x} ).

Ent ao, se 0 < <
0
, temos que V

(x) = (x , x + ) {x} quando

a < x < b, V

(a) = (a, a +) e V

(b) = (b , b) .
Como j a provamos, as func oes

x
: (0,
0
) R

x

= inf
(0,
0
)
f(V

)
e
Instituto de Matem atica - UFF 311
An alise na Reta
L
x
: (0,
0
) R
L
x

= sup
(0,
0
)
f(V

) ,
s ao mon otonas n ao-crescente e n ao-decrescente, respectivamente,
L(x) = lim
0
L
x

e o limite superior de f no ponto x e (x) = lim

0

e o
limite inferior de f no ponto x.
Observe que, ao calcularmos os limites (x) e L(x), n ao levamos em conta
o valor de f no ponto x. Por isso, n ao se tem, em geral, (f; x) igual a
L(x) (x).
Mas, como () = max { L
x

, f(x) } min {
x

, f(x) }, temos que

(f; x) = lim
0
+

= lim
0
+
L
x

+f(x) + |L
x

f(x)|
2
lim
0
+

+f(x) |
x

f(x)|
2
=
L(x) +f(x) + |L(x) f(x)|
2

(x) +f(x) |(x) f(x)|
2
= max { L(x), f(x) } min{ (x), f(x) } .
Al em disso, temos que f e contnua em x se, e s o se, lim
tx
f(t) = f(x), ou
seja, se, e s o se, L(x) = (x) = f(x). Logo,
f e contnua em x se, e s o se, (f; x) = 0 .
De fato, se f e contnua em x, ent ao (f; x) = 0, pois
max { L(x), f(x) } min{ (x), f(x) } = 0 ,
j a que L(x) = (x) = f(x).
Suponhamos, ent ao, que (f; x) = 0.
Se f(x) (x) L(x), ent ao
0 = (f; x) = max { L(x), f(x) } min{ (x), f(x) } = L(x) f(x) ,
ou seja, L(x) = f(x), e, portanto, f(x) = (x) = L(x).
Se (x) L(x) f(x), ent ao
0 = (f; x) = max { L(x), f(x) } min{ (x), f(x) } = f(x) (x) ,
ou seja, (x) = f(x), e, portanto, (x) = L(x) = f(x) .
Se (x) f(x) L(x), ent ao
0 = (f; x) = max { L(x), f(x) } min{ (x), f(x) } = L(x) (x) ,
ou seja, (x) = L(x), e, portanto, (x) = f(x) = L(x) .
J. Delgado - K. Frensel 312
Caracterizac ao das func oes integr aveis
Em qualquer caso, temos que L(x) = (x) = f(x). Logo, f e contnua em x
se (f; x) = 0.
Daremos, agora, uma outra demonstrac ao deste resultado, sem usar
as noc oes de limite superior e inferioir de uma func ao num ponto x.
Teorema 6.1 Seja f : [a, b] R limitada. Ent ao, f e contnua no ponto
x
0
[a, b] se, e s o se, (f; x
0
) = 0 .
Prova.
(=) Suponhamos f contnua no ponto x
0
[a, b]. Dado > 0, existe
> 0 tal que
x [a, b] , |x x
0
| < =f(x
0
)

2
< f(x) < f(x
0
) +

2
.
Ent ao, |f(x) f(y)| < quaisquer que sejam x, y [a, b] (x
0
, x
0
+)
e, portanto, 0

.
Logo, (f; x
0
) = lim
0
+

= 0.
(=) Suponhamos, agora, que (f; x
0
) = lim
0
+

= 0 .
Dado > 0, existe > 0 tal que 0

< , ou seja, |f(x) f(y)| <

quaisquer que sejam x, y (x
0
, x
0
+) [a, b].
Em particular,
x [a, b] , |x x
0
| < =|f(x) f(x
0
)| < .
Logo, f e contnua no ponto x
0
.

O pr oximo teorema diz que a oscilac ao x (f; x) e uma func ao se-

micontnua superiormente no intervalo [a, b], e os corol arios estabelecem
propriedades gerais das func oes semicontnuas superiormente.
Teorema 6.2 Seja f : [a, b] R limitada. Dado x
0
[a, b], para todo
> 0, existe > 0, tal que
x [a, b] , |x x
0
| < =(f; x) < (f; x
0
) + .
Prova.
Dado > 0 existe > 0 tal que
x
0
() < (f; x
0
) +, pois
lim
0

x
0
() = (f; x
0
).
Instituto de Matem atica - UFF 313
An alise na Reta
Como

x
0
() = (f; (x
0
, x
0
+) [a, b]),
temos que para todo x X = (x
0
, x
0
+ ) [a, b] , existe
x
> 0 tal
que (x
x
, x +
x
) [a, b] X.
Logo,
(f; (x
x
, x +
x
) [a, b]) (f; X) =
x
0
() < (f; x
0
) +.
Mas, como
(f; x) (f; (x
x
, x +
x
) [a, b]),
j a que
(f; x) = lim

= inf {
x
(

) |

> 0 },
onde
x
(

) = (f; (x

, x+

)[a, b]), temos que (f; x) < (f; x

0
)+.

Corol ario 6.2 Se (f; x

0
) < ent ao existe > 0 tal que
x [a, b] , |x x
0
| < =(f; x) < .
Prova.
Pelo teorema acima, dado = (f; x
0
) > 0, existe > 0 tal que
x [a, b] , |x x
0
| < =(f; x) < (f; x
0
) + = .

Corol ario 6.3 Para todo > 0, o conjunto

E

= { x [a, b] | (f; x) }
e compacto.
Prova.
Seja
A

= [a, b] E

= { x [a, b] | (f; x) < } .

Pelo corol ario anterior, para todo x A

, existe
x
> 0, tal que (x
x
, x +

x
) [a, b] A

.
Logo,
A

= [a, b]
_
xA

(x
x
, x +
x
) = [a, b] U

,
onde U

=
_
xA

(x
x
, x +
x
) e aberto.
J. Delgado - K. Frensel 314
Caracterizac ao das func oes integr aveis
Ent ao, E

= [a, b] (RU

) e fechado e limitado, pois [a, b] e RU

s ao
fechados e [a, b] e limitado. Portanto, E

e compacto.

Corol ario 6.4 Seja (x

n
) uma seq u encia de pontos de [a, b] que con-
verge para x. Se o lim
n
(f; x
n
) = L existe, ent ao L (f; x), ou seja
lim
n
(f; x
n
) (f; lim
n
x
n
) .
Prova.
Suponhamos, por absurdo, que (f; x) < L e seja =
L (f; x)
2
> 0,
isto e, (f; x) + = L . Pelo teorema 6.2, existe > 0 tal que
y [a, b] (x , x +) =(f; y) < (f; x) + = L .
Mas, como x
n
x, existe n
0
N tal que x
n
[a, b] (x , x + ) para
todo n n
0
.
Logo, (f; x
n
) < L para todo n n
0
, o que e um absurdo, pois
lim
n
(f; x
n
) = L.

Exemplo 6.5 Seja a func ao f : R R dada por f(x) =

x
|x|
, x = 0, e
f(0) = 0. Ent ao, (f; x) = 0 para todo x = 0, pois f e contnua nesses
pontos, e (f; 0) = 2, pois
0

= sup{ |f(x) f(y)| | x, y (, ) } = 2,

para todo > 0.

Exemplo 6.6 Seja g : R R denida por g(x) = 0 se x (RQ) {0}

e g
_
p
q
_
=
1
q
se
p
q
e irredutvel e q > 0.
Como lim
xx
0
g(x) = 0 para todo x
0
R, temos que L(x
0
) = (x
0
) = 0,
onde L(x
0
) e (x
0
) e o limite superior e o limite inferior de g no ponto x
0
,
respectivamente.
Ent ao, (g; x
0
) = 0 para todo x
0
(R Q) {0} e (g; x
0
) = g(x
0
) para
todo x
0
Q {0}, j a que, pela observac ao 6.3,
(g; x
0
) = max { L(x
0
), g(x
0
) } min{ (x
0
), g(x
0
) } .

Exemplo 6.7 Seja h : R R dada por h(x) = 0 para x Q e h(x) = 1

para x R Q. Ent ao, (h; x) = 1 para todo x R, pois
Instituto de Matem atica - UFF 315
An alise na Reta

x
() = sup{ |h(y) h(z)| | y, z (x , x +) } = 1
para todo > 0.

Teorema 6.3 Seja f : [a, b] R uma func ao limitada. Se (f; x) <

para todo x [a, b], ent ao existe uma partic ao P de [a, b] tal que

i
= M
i
m
i
< em todos os intervalos [t
i1
, t
i
] da partic ao.
Prova.
Como (f; x) = lim
0
+

x
() = inf {
x
() | > 0 } < , para todo x [a, b],
existe
x
> 0 tal que
x
(
x
) = (f; (x
x
, x +
x
) [a, b] } < .
Seja I
x
=
_
x

x
2
, x +

x
2
_
, x [a, b]. Como [a, b]
_
x[a,b]
I
x
e uma cober-
tura aberta do compacto [a, b], existem x
1
, . . . , x
n
[a, b], pelo teorema
de Borel-Lebesgue, tais que [a, b] I
x
1
. . . I
x
n
.
Os pontos a, b, juntamente com as extremidades dos intervalos I
x
j
que
pertencem a [a, b], deterrminam uma partic ao P = {t
0
, t
1
, . . . , t
n
} de [a, b].
Armac ao:
i
= (f; [t
i1
, t
i
]) < , i = 1, . . . , n.
i = 1: Como [a, t
1
] I
x
1
. . . I
x
n
, existe j {1, . . . , n}, tal que a
extremidade inferior de I
x
j
e < a e sua extremidade superior e t
1
e,
portanto, [a, t
1
) I
x
j
. Assim, [a, t
1
] (x
j

x
j
, x
j
+
x
j
), e

1
= (f; [a, t
1
]) (f; (x
j

x
j
, x
j
+
x
j
) [a, b]) < .
i = 1, n: Como [t
i1
, t
i
] I
x
1
. . . I
x
n
, existe j {1, . . . , n} tal que a
extremidade inferior de I
x
j
e < t
i1
e sua extremidade superior e t
i
, ou
seja, (t
i1
, t
i
) I
x
j
. Assim, [t
i1
, t
i
] (x
j

x
j
, x
j
+
x
j
) e

i
= (f; [t
i1
, t
i
]) (f; (x
j

x
j
, x
j
+
x
j
) [a, b]) < .
i = n: Como [t
n1
, b] I
x
1
. . . I
x
n
, existe j {1, . . . , n}, tal que a
extremidade superior de I
x
j
e > b e sua extremidade inferior e t
n1
, ou
seja, (t
n1
, b] I
x
j
. Assim, [t
n1
, b] (x
j

x
j
, x
j
+
x
j
) e

n
= (f; [t
n1
, b]) (f; (x
j

x
j
, x
j
+
x
j
) [a, b]) < .

Teorema 6.4 Uma func ao limitada f : [a, b] R e integr avel se, e s o

se, para todo > 0, o conjunto E

= { x [a, b] | (f; x) } tem conte udo

nulo.
J. Delgado - K. Frensel 316
Caracterizac ao das func oes integr aveis
Prova.
(=) Sejam f integr avel e > 0. Dado > 0, existe uma partic ao
P = {t
0
, . . . , t
n
} de [a, b] tal que
n

i=1

i
(t
i
t
i1
) < .
Se (t
i1
, t
i
) E

= , existe x (t
i1
, t
i
) E

e
x
> 0 tal que
(x
x
, x +
x
) (t
i1
, t
i
).
Logo,

i
= (f; [t
i1
, t
i
]) (f; (x
x
, x +
x
)) (f; x) .
Seja I = { i {1, . . . , n} | E

(t
i1
, t
i
) = }.
Ent ao,

iI
(t
i
t
i1
)

iI

i
(t
i
t
i1
) < .
Isto e,

iI
(t
i
t
i1
) < ,
ou seja, a soma dos comprimentos dos intervalos de P que cont em algum
ponto de E

em seu interior e < .

Portanto, E

( E

P )
_
iI
(t
i1
, t
i
) e

iI
(t
i
t
i1
) < .
Assim, como E

P e nito, temos que c(E

) = 0.
(=) Suponhamos que c(E

) = 0 para todo > 0.

Dado > 0, tomemos
0
=

2(b a)
.
Como E

0
[a, b] e c(E

0
) = 0, temos, pelo corol ario 6.1, que existe uma
partic ao P
0
de [a, b] tal que a soma dos comprimentos dos intervalos de
P
0
que cont em algum ponto de E

0
e <

2(Mm)
, onde M = supf e
m = inf f. Observe que Mm > 0 se f n ao e constante.
Nos outros intervalos, onde [t
k1
, t
k
] E

0
= , temos que (f; x) <
0
para todo x [t
k1
, t
k
]. Logo, pelo teorema anterior, podemos subdividir
cada um dos intervalos [t
k1
, t
k
] que n ao intersectam E

0
de modo a se
obter uma partic ao P que e um renamento de P
0
, com
i
<
0
nos
intervalos que n ao cont em pontos de E

0
.
Instituto de Matem atica - UFF 317
An alise na Reta
Relativamente a P, podemos escrever

i
(t
i
t
i1
) =

i
(t

i
t

i1
) +

i
(t

i
t

i1
) ,
onde o primeiro somat orio refere-se aos intervalos de P que cont em um
ponto de E

0
.
Ent ao,

i
Mm e

(t

i
t

i1
) <

2(Mm)
.
Logo,

i
(t

i
t

i1
) <

2
.
O segundo somat orio corresponde aos intervalos de P que n ao cont em
pontos de E

0
. Logo,

i
<
0
e, portanto,

i
(t

i
t

i1
) <
0
(b a) =

2
.
Assim,

i
(t
i
t
i1
) < e f e integr avel.

Vamos introduzir agora a noc ao de conjunto de medida nula para obter-

mos a forma denitiva de caracterizar as func oes integr aveis.
Denic ao 6.2 Dizemos que um conjunto X R tem medida nula ( ` a
Lebesgue) e escrevemos m(X) = 0, quando, para todo > 0, existe
uma colec ao enumer avel de intervalos abertos I
1
, I
2
, . . . , I
n
, . . . tais que
X I
1
I
2
. . . I
n
. . . e

n=1
|I
n
| < .
Em particular, se X tem conte udo nulo, ent ao X tem medida nula.
Valem as seguintes propriedades:
1. Se m(X) = 0 e Y X ent ao m(Y) = 0. Em particular m() = 0.
2. Se X e compacto e m(X) = 0, ent ao c(X) = 0.
De fato, dado > 0, existe uma colec ao enumer avel de intervalos
abertos I
1
, . . . , I
n
, . . . tais que X I
1
. . . I
n
. . . e

n=1
|I
n
| < .
Pelo teorema de Borel-Lebesgue, existem k
1
, . . . , k
n
N tais que
X I
k
1
. . . I
k
n
.
J. Delgado - K. Frensel 318
Caracterizac ao das func oes integr aveis
Logo,
n

i=1
|I
k
i
|

j=1
|I
j
| < e, portanto, c(X) = 0.
3. Se Y = X
1
X
2
. . . X
n
. . ., onde m(X
1
) = m(X
2
) = . . . =
m(X
n
) = . . . = 0, ent ao, m(Y) = 0. Ou seja, uma reuni ao enumer avel de
conjuntos de medida nula tem medida nula.
De fato, para cada n N, existe uma colec ao (I
n,j
)
jN
de intervalos
abertos tal que X
n

_
jN
I
n,j
e

jN
|I
n,j
| <

2
n
.
Logo, Y
_
n,jN
I
n,j
, onde

j
|I
n,j
| <

n=1

2
n
= .
Assim, m(Y) = 0.
Em particular, como um conjunto formado por um unico ponto tem me-
dida nula, todo conjunto enumer avel tem medida nula.
Assim, m(Q) = 0 e, portanto m(Q [a, b]) = 0, mas, como j a vimos,
Q [a, b] n ao tem conte udo nulo.
4. Se, para cada > 0, existem intervalos abertos I
1
, . . . , I
n
, . . . e
um subconjunto enumer avel E X tais que X E
_
nN
I
n
e

nN
|I
n
| < ,
ent ao m(X) = 0.
De fato, dado > 0, existem intervalos abertos I
1
, . . . , I
n
, . . . e E X
enumer avel tais que X E
_
nN
I
n
e

nN
|I
n
| <

2
.
Mas, como E tem medida nula (por ser enumer avel), existem inter-
valos abertos J
1
, . . . , J
n
, . . . tais que E
_
nN
J
n
e

nN
|J
n
| <

2
.
Logo, X
_
nN
I
n

_
kN
J
k
e

nN
|I
n
| +

kN
|J
k
| < e, portanto, X tem
medida nula.
5. m(x) = 0 para todo > 0, existe uma colec ao enumer avel de
intervalos fechados F
1
, F
2
, . . . , F
n
, . . . tal que X
_
nN
F
n
e

nN
|F
n
| < .
Instituto de Matem atica - UFF 319
An alise na Reta
De fato, se m(X) = 0, dado > 0, existe uma colec ao (I
n
)
nN
de
intervalos abertos tal que
X
_
nN
I
n
e

nN
|I
n
| < .
Ent ao, F
n
= I
n
e um intervalo fechado tal que |F
n
| = |I
n
| e I
n
F
n
para todo n N.
Logo, X
_
nN
F
n
e

nN
|F
n
| < .
Reciprocamente, dado > 0, existe uma colec ao (F
n
)
nN
de interva-
los fechados tal que X
_
nN
F
n
e

nN
|F
n
| < .
Ent ao, int(F
n
) = I
n
e um intervalo aberto e |I
n
| = |F
n
| para todo
n N, e o conjunto E das extremidades dos intervalos F
n
e enumer avel.
Logo, X E
_
nN
I
n
e

nN
|I
n
| < e, portanto, pela propriedade 4,
X tem medida nula.
Teorema 6.5 Uma func ao limitada f : [a, b] R e integr avel se, e s o
se, o conjunto D dos seus pontos de descontinuidade tem medida nula.
Prova.
Para cada > 0, seja E

= {x [a, b] | (f; x) }.
Ent ao, D =
_
>0
E

=
_
nN
E
1/n
, j a que f e contnua num ponto x [a, b] se,
e s o se, (f; x) = 0.
(=) Se m(D) = 0 ent ao m(E

) = 0 para todo > 0. Como E

e
compacto, pelo corol ario 6.3, temos que c(E

) = 0 para todo > 0. Logo,

pelo teorema 6.4, f e integr avel.
(=) Se f e integr avel, ent ao, pelo teorema 6.4, para todo n N,
c(E
1/n
) = 0 e, portanto, m(E
1/n
) = 0.
Logo, D tem medida nula, pois D =
_
nN
E
1/n
e uma reuni ao enumer avel
de conjuntos de medida nula.

J. Delgado - K. Frensel 320

Caracterizac ao das func oes integr aveis
Corol ario 6.5 Se f, g : [a, b] R s ao integr aveis, ent ao o produto f g
e integr avel. Se, al em disso, f(x) = 0 para todo x [a, b] e
1
f
e limitada,
ent ao
1
f
e integr avel.
Prova.
Se f e g s ao limitadas, existem K > 0 e M > 0 tais que |f(x)| K e
|g(x)| M para todo x [a, b] e, portanto, |f(x) g(x)| KM para todo
x [a, b], ou seja, f g e limitada.
Al em disso, como D(f g) D(f) D(g), temos que m(D(f g)) = 0, pois
m(D(f)) = m(D(g)) = 0.
Logo, f g e integr avel.
Se f(x) = 0 para todo x [a, b] e
1
f
e limitada, temos que
1
f
e integr avel,
j a que D(1/f) = D(f) e m(D(f)) = 0.

Corol ario 6.6 Seja f : [a, b] R limitada. Se o conjunto dos seus

pontos de descontinuidade e enumer avel, ent ao f e integr avel.
Corol ario 6.7 Seja f : [a, b] R limitada. Se existem os limites laterais
de f em todos os pontos de [a, b], ou seja, se f s o possui decontinuidades
de primeira esp ecie, ent ao f e integr avel.
Prova.
Se todas as descontinuidades de f s ao de primeira esp ecie, ent ao D e
enumer avel e, portanto, tem medida nula.

Corol ario 6.8 Se f : [a, b] R e mon otona, ent ao f e integr avel.

Prova.
Se f e mon otona em [a, b], ent ao f e limitada e todas as suas descon-
tinuidades s ao de primeira esp ecie. Logo, pelo corol ario anterior, f e in-
tegr avel.

Instituto de Matem atica - UFF 321

An alise na Reta
7. Logartmos e exponenciais
Vamos denir primeiro a func ao Logartmo e a partir dela a func ao
Exponencial como sendo sua inversa, pois , desta maneira, as proprieda-
des de ambas func oes s ao provadas de forma mais simples.
O contr ario tamb em pode ser feito, mas torna as coisas mais difceis
(ver exerccios 2 e 60 da parte 2 e exerccios 11 e 12 da parte 5).
Denic ao 7.1 Seja R
+
o conjunto dos n umeros reais positvos. Deni-
mos a func ao real log : R
+
R pondo, para cada x > 0,
logx =

x
1
1
t
dt
O n umero logx e chamado o logartmo natural de x ou o logartmo de x.
Observac ao 7.1 logx =

x
1
1
t
dt
x 1
x
> 0 para todo x > 1, j a que,
1
t

1
x
para todo t [1, x].
Observac ao 7.2 log1 =

1
1
1
t
dt = 0 e
logx =

x
1
1
t
dt =

1
x
1
t
dt (1 x) = x 1 < 0 ,
para todo 0 < x < 1, pois
1
t
1 para todo t [x, 1].
Observac ao 7.3 Como (log)

(x) =
1
x
> 0 para todo x > 0, a func ao
log : R
+
R e mon otona crescente.
Al em disso, log C

, j a que a func ao x
1
x
e de classe C

.
Observac ao 7.4 Quando x > 1, logx e a area da faixa de hip erbole
H
x
1
=

(t, y)

1 t x e 0 y
1
t

E quando 0 < x < 1, logx e a area da faixa H

1
x
com o sinal trocado.
J. Delgado - K. Frensel 322
Logartmos e exponenciais
Fig. 1: Area H
x
1
delimitada pelo gr aco de
1
x
no intervalo [1,x].
Teorema 7.1 Sejam x, y R
+
. Ent ao, logxy = logx + logy.
Prova.
Temos
logxy =

xy
1
1
t
dt =

x
1
dt
t
+

xy
x
dt
t
= logx +

y
1
x
xs
ds = logx +

y
1
ds
s
= logx + logy,
onde, na integral

xy
x
dt
t
, realizamos a mudanca de vari avel t = xs.

Corol ario 7.1 Seja x > 0. Ent ao, log(x

r
) = r logx para todo r Q.
Prova.
Seja n N. Ent ao, podemos provar, por induc ao, usando o teorema
acima, que log(x
n
) = nlogx , j a que logx = log(x
1
) = 1 logx e, se
log(x
n
) = nlogx , ent ao
log(x
n+1
) = log(x
n
x) = log(x
n
) +logx = nlogx + logx = (n +1) logx .
Como x
n
x
n
= x
0
= 1, temos
0 = log1 = log(x
n
x
n
) = log(x
n
) +log(x
n
) ,
e, portanto, log(x
n
) = log(x
n
) = nlogx.
Provamos, assim, que log(x
r
) = r logx para todo r Z.
Instituto de Matem atica - UFF 323
An alise na Reta
No caso geral, r =
p
q
, p Z e q Z

. Como por denic ao, (x

p/q
)
q
= x
p
,
temos que
plogx = log(x
p
) = log((x
p/q
)
q
) = qlog(x
p/q
) .
Assim, log(x
p/q
) =
p
q
logx .

Corol ario 7.2 A func ao log : R

+
R e um homeomorsmo de R
+
sobre R.
Prova.
J a sabemos que a func ao log e contnua e crescente, donde injetiva.
Como, pelo corol ario 3.2 da parte 6, log(R
+
) e um intervalo, para provar
que log(R
+
) = R, basta mostrar que
lim
x
logx = + e lim
x0
+
logx = .
Sendo lim
n
log(2
n
) = lim
n
nlog2 = + e a func ao log crescente, temos
que lim
x
logx = +, j a que dado A > 0 existe B = 2
n
0
> 0, onde
n
0
>
A
log2
, tal que
x > B =logx > log(2
n
0
) = n
0
log2 > A.
Temos, tamb em, que lim
x0
+
logx = , pois, dado A > 0, existe
= 2
n
0
> 0, onde n
0
>
A
log2
, tal que
0 < x < =logx < log(2
n
0
) = n
0
log2 < A.
Al em disso, como log : R
+
R e uma bijec ao contnua denida no
intervalo R
+
= (0, ), temos, pelo teorema 3.2 da parte 6, que sua func ao
inversa log
1
: R R
+
e contnua em R.

Observac ao 7.5 O teorema acima, juntamente como teorema 7.1, nos

d a que log : R
+
R e um isomorsmo contnuo do grupo multiplica-
tivo R
+
sobre o grupo aditivo R e que seu isomorsmo inverso tamb em e
contnuo.
Exemplo 7.1 Os unicos homomorfsmos contnuos f : R
+
R s ao os
da forma f(x) = c logx, onde c R (exerccio 33 do livro).

J. Delgado - K. Frensel 324

Logartmos e exponenciais
Observac ao 7.6 Sendo log R
+
R uma bijec ao, existe um unico
n umero real, indicado pelo smbolo e, cujo logartmo e 1, ou seja, loge = 1.
O n umero e e chamado de base dos logartmos naturais.
Mostraremos, depois, que
e = lim
n
_
1 +
1
n
_
n
Denic ao 7.2 A func ao exponencial exp : R R
+
e, por denic ao, a
inversa da func ao logartmo, ou seja,
exp(x) = y logy = x .
Em particular, exp(logy) = y e log(expx) = x .
Teorema 7.2 A func ao exponencial e uma bijec ao crescente de R sobre
R
+
. Ela e innitamente diferenci avel, com (exp)

(x) = exp(x). Al em disso,

exp(x +y) = exp(x) exp(y) , x, y R e exp(r) = e
r
, r Q.
Prova.
A func ao exp : R R
+
e uma bijec ao contnua crescente de R sobre
R
+
, pois ela e a inversa de uma bijec ao contnua crescente de R
+
sobre
R.
Al em disso, pela regra de derivac ao da func ao inversa, temos que exp e
deriv avel, j a que a func ao exp e contnua e (log)

(y) =
1
y
= 0 para todo
y > 0, e
(exp)

(x) =
1
log

(expx)
=
1
1
exp(x)
= exp(x) , x R.
Logo, exp e uma func ao de classe C

.
Sejam x, y R e x

= exp(x), y

= exp(y). Ent ao,

log(x

) = x e log(y

) = y.
Assim
exp(x +y) = exp(log(x

) +log(y

)) = exp(log(x

)) = x

= exp(x) exp(y) .
Seja, agora, r Q. Ent ao, pelo corol ario 7.2,
exp(rx) = exp(r log(x

)) = exp(log((x

)
r
)) = (x

)
r
= (exp(x))
r
.
Em particular, se x = 1, temos que exp(r) = exp(r 1) = (exp(1))
r
= e
r
.

Instituto de Matem atica - UFF 325

An alise na Reta
Observac ao 7.7
lim
x
expx = +.
De fato, dado A > 0, existe D = max{logA, 1} > 0, tal que
x > D =expx > expD exp logA = A.
lim
x
expx = 0
De fato, dado > 0, existe D = max

log
1

, 1

> 0, tal que

x < D =0 < expx < exp(D) exp
_
log
1

_
= exp log = .
Observac ao 7.8 A igualdade expr = e
r
, quando r Q, juntamente
com a relac ao exp(x + y) = expx expy, nos indicam que expx se com-
porta como uma pot encia de base e e expoente x.
Portanto, vamos escrever
expx = e
x
.
Com a nova notac ao, temos
e
x+y
= e
x
e
y
, e
0
= 1 , e
x
=
1
e
x
,
x < y e
x
< e
y
, log(e
x
) = x e e
log x
= x .
Observac ao 7.9 Como y = e
x
e y = logx s ao func oes inversas uma
da outra, os seus gr acos s ao sim etricos relativamente ` a diagonal y = x .
Fig. 2: Simetria entre os gr acos de y=e
x
e y=log xem relac ao ` a diagonal y=x.
Pelos gr acos, podemos observar que a func ao e
x
tende mais rapida-
J. Delgado - K. Frensel 326
Logartmos e exponenciais
mente para +, quando x +, do que a func ao x x, e que a
func ao logx tende mais lentamente para +, quando x +, do que
a func ao x x.
De fato, j a provamos, na parte 7, exemplo 2.7, que lim
x+
p(x)
e
x
= 0 para
todo polin omio p(x). E provaremos, agora, o seguinte resultado com res-
peito ao crescimento logartmico.
Teorema 7.3 lim
x+
logx
x
= 0 .
Prova.
Pelo teorema do valor m edio, para todo x > 1, existe c
x
(1, x) tal que
logx = logx log1 = log

(c
x
) (x 1) =
x 1
c
x
.
Logo, logx < x para todo x > 1 e, portanto, 0 < log(x
1
2
) < x
1
2
para todo
x > 1.
Assim, como log(x
1
2
) =
1
2
logx , temos, elevando ao quadrado a ultima
desigualdade, que 0 <
(logx)
2
4
< x , ou seja, 0 <
logx
x
<
4
logx
para todo
x > 1.
Logo, lim
x+
logx
x
= 0, pois lim
x+
4
logx
= 0.

Corol ario 7.3 lim

x0
+
(x logx) = 0 .
Prova.
Fazendo x =
1
y
, temos
lim
x0
+
x logx = lim
y+
log(1/y)
y
= lim
y+
logy
y
= 0 .

Observac ao 7.10 Se c, k R, a func ao f(x) = c e

kx
tem como deri-
vada f

(x) = k c e
kx
= kf(x) para todo x R, ou seja, a derivada de f e
proporcional a si pr opria.
Mostraremos, agora, que tal propriedade e exclusiva das func oes do tipo
acima.
Instituto de Matem atica - UFF 327
An alise na Reta
Teorema 7.4 Seja f : R R uma func ao deriv avel tal que
f

(x) = kf(x) para todo x R. Se f(x

0
) = c , para um certo x
0
R,
ent ao f(x) = c e
k(xx
0
)
para todo x R.
Prova.
Seja : R R denida por (x) = f(x) e
k(xx
0
)
.
Ent ao

(x) = f

(x)e
k(xx
0
)
kf(x)e
k(xx
0
)
= kf(x)e
k(xx
0
)
kf(x)e
k(xx
0
)
= 0
para todo x R.
Logo, como (x) e constante e (x
0
) = c, temos que (x) = c para todo
x R, ou seja, f(x) = ce
k(xx
0
)
para todo x R.

Denic ao 7.3 Sejam a > 0 e x R. Denimos a pot encia a

x
por
a
x
= e
x log a
ou seja, a
x
e o unico n umero real cujo logartmo e x loga.
Propriedades da func ao f : R R denida por f(x) = a
x
:
(1) Se x =
p
q
Q ent ao f(x) =
q

a
p
.
De fato, f(x) = e
p
q
log a
= e
log
q

a
p
=
q

a
p
.
(2) a
x+y
= a
x
a
y
.
De fato, a
x+y
= e
(x+y)log a
= e
xlog a
e
ylog a
= a
x
a
y
.
(3) a
0
= 1 .
De fato a
0
= e
0log a
= e
0
= 1 .
(4) a
x
=
1
a
x
.
De fato, 1 = a
0
= a
xx
= a
x
a
x
, ou seja, a
x
=
1
a
x
.
(5) (a
x
)
y
= a
xy
.
De fato, (a
x
)
y
= (e
xlog a
)
y
= e
xylog a
= a
xy
, j a que
log(e
xlog a
)
y
= yloge
xlog a
= yx loga e log(e
xylog a
) = xyloga.
(6) A func ao f : x a
x
e deriv avel com f

(x) = (loga) a
x
.
J. Delgado - K. Frensel 328
Logartmos e exponenciais
De fato, como f(x) = exp(x loga), temos que
f

(x) = loga exp

(x loga) = loga exp(x loga) = (loga) a

x
.
(7) A func ao f : x a
x
e de classe C

.
(8) A func ao f : x a
x
e crescente se a > 1, decrescente se
0 < a < 1 e constante se a = 1.
De fato, sendo f

(x) = (loga)a
x
> 0, temos f

(x) > 0 se a > 1,

f

(x) < 0 se 0 < a < 1 e f

(0) = 0 se a = 1, para todo x R.

(9) lim
x+
a
x
= + e lim
x
a
x
= 0 quando a > 1.
De fato, lim
x+
a
x
= lim
x+
e
xlog a
= +, pois lim
x+
x loga = + e
lim
x
a
x
= lim
x
e
xlog a
= 0 , j a que lim
x
x loga = .
De modo an alogo, podemos provar que lim
x+
a
x
= 0 e lim
x
a
x
= +
quando 0 < a < 1.
(10) Para todo a > 0, a = 1, a func ao f : x a
x
e uma bijec ao
contnua de R sobre R
+
.
Denic ao 7.4 A func ao inversa da func ao f : R R
+
, f(x) = a
x
,
a = 1, indica-se com log
a
: R
+
R e o seu valor num ponto x > 0
chama-se o logartmo de x na base a.
Assim, log
a
x = y a
y
= x.
Observac ao 7.11 Quando a = e, log
a
x = logx coincide com o
logartmo natural.
Observac ao 7.12 Para todo x > 0, temos que
e
log x
= x = a
log
a
x
= e
log
a
x log a
, se a = 1 ,
e, portanto, logx = log
a
x loga, ou seja,
log
a
x =
logx
loga
Desta relac ao entre o logartmo de base a e o logartmo natural, resultam
propriedades para log
a
x an alogas ` as de logx.
Por exemplo,
Instituto de Matem atica - UFF 329
An alise na Reta
(1) log
a
(xy) = log
a
x + log
a
y.
(2) log
a
(1) = 0 .
(3) A func ao log
a
e de classe C

e
(log
a
)

(x) =
1
x loga
.
Observac ao 7.13 Mostraremos, agora, que
lim
x0
(1 +x)
1/x
= e
De fato, como log

(x) =
1
x
, a derivada da func ao log no ponto 1 e igual a
1, ou seja,
lim
x0
log(1 +x) log1
x
= lim
x0
log(1 +x)
x
= 1 .
Ent ao,
lim
x0
log(1 +x)
1/x
= 1 ,
e, portanto,
lim
x0
(1 +x)
1/x
= lim
x0
exp(log(1 +x)
1/x
) = e .
Fazendo y =
1
x
, temos
lim
y+
_
1 +
1
y
_
y
= e
e, em particular, se n N, temos
lim
n+
_
1 +
1
n
_
n
= e
J. Delgado - K. Frensel 330