Denic ao e propriedades do limite

Parte 5
Limites de func oes
Voltaremos ` a noc ao de limite sob uma forma mais ampla, conside-
rando, agora, func oes reais de vari avel real, f : X R, com X R, em
vez de sequ encias.
1. Denic ao e propriedades do limite
Denic ao 1.1 Seja f : X R uma func ao denida num subconjunto
X R e seja a X

um ponto de acumulac ao.

Dizemos que o n umero real L e o limite de f(x) quando x tende para a e
escrevemos
lim
xa
f(x) = L
quando para cada > 0 dado, existe > 0 tal que
x (X {a}) (a , a +) =|f(x) L| <
Assim, simbolicamente escrevemos:
lim
xa
f(x) = L > 0 > 0 ; x X e 0 < |x a| < =|f(x) L| <
> 0 > 0 ; f ( (a , a +) (X {a}) ) (L , L +) .
Ou seja, lim
xa
f(x) = L quando e possvel tornar f(x) arbitrariamente
pr oximo de L, desde que se tome x X sucientemente pr oximo de a e
diferente de a.
Instituto de Matem atica - UFF 161
An alise na Reta
Observac ao 1.1 S o tem sentido escrever lim
xa
f(x) = L quando a X

,
pois se a X

, todo n umero real L seria limite de f(x) quando x tende

para a.
De fato, como a X

, existe
0
> 0 tal que (X {a}) (a
0
, a+
0
) = .
Ent ao, para cada > 0 dado, existe =
0
> 0, tal que
= f ( (X {a}) (a
0
, a +
0
) ) (L , L +) ,
qualquer que seja L R.
Observac ao 1.2 Oponto a pode pertencer ou n ao ao domnio X. Mesmo
quando a X, o valor f(a) n ao interfere na determinac ao de lim
xa
f(x), pois
tal limite, quando existe, depende apenas dos valores f(x) para x pr oximo
e diferente de a.

E possvel ter-se lim

xa
f(x) = f(a).
Por exemplo, se f : R R e a func ao denida por f(x) =

1 , se x R {0}
0 , se x = 0 ,
ent ao lim
x0
f(x) = 1 = 0 = f(0).
Observac ao 1.3 Se lim
xa
f(x) = L ent ao L e aderente ao conjunto f(X
{a}), pois todo intervalo aberto de centro L cont em pontos deste conjunto.
Tem-se, tamb em, que L f(V

), onde V

= (a , a + ) (X {a}) e
> 0.
Teorema 1.1 (Unicidade do limite)
Sejam X R, f : X R e a X

.
Se lim
xa
f(x) = L
1
e lim
xa
f(x) = L
2
, ent ao L
1
= L
2
.
Prova.
Dado > 0, existem
1
> 0 e
2
> 0 tais que:
x X {a} e 0 < |x a| <
1
=|f(x) L
1
| <

2
;
x X {a} e 0 < |x a| <
2
=|f(x) L
2
| <

2
.
J. Delgado - K. Frensel 162
Denic ao e propriedades do limite
Seja = min{
1
,
2
}. Como a X

, existe x
0
(X {a}) (a , a + ).
Logo,
|L
1
L
2
| |L
1
f(x
0
)| + |f(x
0
) L
2
| <

2
+

2
= .
Ou seja, |L
1
L
2
| < para todo > 0. Logo, L
1
= L
2
, pois, se L
1
= L
2
,
teramos que |L
1
L
2
| <
|L
1
L
2
|
2
, para =
|L
1
L
2
|
2
> 0, o que e absurdo.

Teorema 1.2 Sejam X R, f : X R, a X

. Seja Y X tal que

a Y

e seja g = f|
Y
.
Se lim
xa
f(x) = L, ent ao lim
xa
g(x) = L.
O teorema 1.2 e an alogo ` a
armac ao de que toda sub-
seq u encia de uma seq u encia
convergente e tamb em conver-
tente e tem o mesmo limite.
Prova.
Dado > 0, existe > 0 tal que |f(x) L| < qualquer que seja
x (X {a}) (a , a +) .
Ent ao, |g(x) L| = |f(x) L| < para todo x (Y {a}) (a , a +).
Logo, lim
xa
g(x) = L.

Teorema 1.3 Sejam X R, f : X R e a X

. Se I e um intervalo
aberto que cont em a, Y = I X, g = f|
Y
e lim
xa
g(x) = L, ent ao lim
xa
f(x) = L.
O teorema 1.3 diz que a ex-
ist encia e o valor do limite de
uma func ao f depende apenas
do comportamento de f numa
vizinhanca de a.
Prova.
Seja
0
> 0 tal que (a
0
, a +
0
) I. Dado > 0 existe > 0 tal
que |g(x) L| < para todo x (I X {a}) (a , a +).
Tome

= min{,
0
}. Ent ao,
(I X {a}) (a

, a +

) = (X {a}) (a

, a +

) ,
pois (a

, a +

) I.
Logo, |f(x) L| = |g(x) L| < para todo x (X {a}) (a

, a +

).
Portanto, lim
xa
f(x) = L.

Teorema 1.4 Sejam X R, f : X R e a X

. Se existe lim
xa
f(x),
ent ao f e limitada numa vizinhanca de a, ou seja, existem A > 0 e > 0
tais que |f(x)| < A para todo x (X {a}) (a , a +).
Instituto de Matem atica - UFF 163
An alise na Reta
Prova.
Seja L = lim
xa
f(x). Dado = 1 > 0, existe > 0 tal que |f(x) L| < 1
para todo x (X {a}) (a , a +).
Ent ao, |f(x)| |f(x) L| + |L| < 1 + |L| = A para todo x (X {a}) (a
, a +).

Teorema 1.5 (Princpio do Sandwiche)

Sejam X R, f, g, h : X R e a X

. Se lim
xa
f(x) = lim
xa
h(x) = L
e f(x) g(x) h(x) para todo x X {a}, ent ao lim
xa
g(x) = L.
Prova.
Dado > 0, existem
1
> 0 e
2
> 0 tais que:
|f(x) L| <

2
se x X e 0 < |x a| <
1
.
|h(x) L| <

2
se x X e 0 < |x a| <
2
.
Tome = min{
1
,
2
}. Ent ao,
L f(x) g(x) h(x) L + ,
para todo x (X {a}) (a , a +). Logo, lim
xa
g(x) = L.

Teorema 1.6 Sejam X R, f, g : X R e a X

.
Se lim
xa
f(x) = L < lim
xa
g(x) = M, ent ao existe > 0 tal que x X,
0 < |x a| < =f(x) < g(x).
Prova.
Seja =
ML
2
> 0. Ent ao, L + =
L +M
2
= M e existe > 0
tal que L < f(x) < L + = M e M < g(x) < M + para todo
x (X {a}) (a , a +).
Logo, f(x) <
M+L
2
< g(x), ou seja, f(x) < g(x) para todo x (X {a})
(a , a +).

Corol ario 1.1 Se lim

xa
f(x) = L > 0, ent ao existe > 0 tal que x X,
0 < |x a| < =f(x) > 0.
J. Delgado - K. Frensel 164
Denic ao e propriedades do limite
Corol ario 1.2 Se lim
xa
f(x) = L, lim
xa
g(x) = M e f(x) g(x) para todo
x X {a}, ent ao L M.
Teorema 1.7 Sejam X R, f : X R e a X

. Ent ao lim
xa
f(x) = L
se, e s o se, lim
n
f(x
n
) = L para toda seq u encia (x
n
) X {a} tal que
lim
n
x
n
= a.
Prova.
Suponhamos que lim
xa
f(x) = L e que lim
n
x
n
= a, com x
n
X {a}
para todo n N. Ent ao, dado > 0, existe > 0, tal que |f(x) L| <
para todo x X, 0 < |x a| < .
Como lim
n
x
n
= a e x
n
= a para todo n N, existe n
0
N tal que
0 < |x
n
a| < para todo n > n
0
.
Logo, |f(x
n
) L| < para todo n > n
0
. Assim, lim
n
f(x
n
) = L.
Suponhamos, agora, que lim
xa
f(x) = L. Ent ao existe
0
> 0 tal que para
todo n N podemos obter x
n
X tal que 0 < |x
n
a| <
1
n
e |f(x
n
)L|
0
.
Logo, lim
n
x
n
= a, mas lim
n
f(x
n
) = L.

Corol ario 1.3 Existe lim

xa
f(x)se, e s o se, lim
n
f(x
n
) existe e independe
da seq u encia (x
n
) X {a} com lim
n
x
n
= a.
Corol ario 1.4 Se existe lim
n
f(x
n
) para toda seq u encia (x
n
) X {a}
tal que lim
n
x
n
= a, ent ao existe lim
xa
f(x).
Prova.
Basta provar que lim
n
f(x
n
) independe da seq u encia (x
n
) X {a} com
lim
n
x
n
= a.
Suponhamos, por aburdo, que existem duas seq u encias (x
n
) e (y
n
) de
pontos de X {a} tais que lim
n
x
n
= lim
n
y
n
= a, mas lim
n
f(x
n
) = L =
M = lim
n
f(y
n
).
Instituto de Matem atica - UFF 165
An alise na Reta
Ent ao, a seq u encia (z
n
) X {a}, dada por z
2n
= x
n
e z
2n1
= y
n
, e uma
seq u encia de pontos de X{a} que converge para a, mas que (f(z
n
)) n ao
converge, porque possui duas subseq u encias (f(z
2n
)) e (f(z
2n1
)) que
convergem para limites diferentes.
Logo, o valor de lim
n
f(x
n
) independe da seq u encia (x
n
) com x
n
X {a}
e lim
n
x
n
= a. Ent ao, pelo corol ario 1.3, existe lim
xa
f(x).

Teorema 1.8 Sejam X R, a X

, f, g : X R.
Se lim
xa
f(x) = L e lim
xa
g(x) = M, ent ao:
(1) lim
xa
(f(x) g(x)) = L M.
(2) lim
xa
(f(x) g(x)) = LM.
(3) lim
xa
f(x)
g(x)
=
L
M
, se M = 0.
(4) Se lim
xa
f(x) = 0 e existe A > 0 tal que |g(x)| A para todo x X {a},
ent ao lim
xa
f(x) g(x) = 0.
Prova.
Seja (x
n
) uma seq u encia de pontos de X {a} com lim
n
x
n
= a.
Ent ao, lim
n
(f(x
n
) g(x
n
)) = L M e lim
n
(f(x
n
) g(x
n
)) = LM, pois
lim
n
f(x
n
) = L e lim
n
g(x
n
) = M.
Logo, pelo teorema 1.7
lim
xa
(f(x) g(x)) = L M e lim
xa
(f(x) g(x)) = LM.
Se M = 0, temos, pelo teorema 1.6, que existe > 0 tal que g(x) = 0
para todo x (X {a}) (a , a +). Como lim
n
x
n
= a e x
n
X {a},
existe n
0
N tal que 0 < |x
n
a| < para todo n > n
0
. Logo, g(x
n
) = 0
para todo n > n
0
e lim
n
f(x
n
)
g(x
n
)
=
L
M
.
Assim, pelo teorema 1.7,
f(x)
g(x)
tem sentido para todo x sucientemente
pr oximo e diferente de a e lim
xa
f(x)
g(x)
=
L
M
.
J. Delgado - K. Frensel 166
Denic ao e propriedades do limite
Se lim
xa
f(x) = 0 e |g(x)| A para todo x X {a}, ent ao lim
n
f(x
n
) = 0
e (g(x
n
)) e uma seq u encia limitada. Logo, lim
n
(f(x
n
) g(x
n
)) = 0. Assim,
pelo teorema 1.7, lim
xa
(f(x) g(x)) = 0.

Observac ao 1.4 Se lim

xa
g(x) = 0 e existe lim
xa
f(x)
g(x)
ou o quociente
f(x)
g(x)
e limitado numa vizinhanca de a, ent ao, pelo teorema acima,
lim
xa
f(x) = lim
xa

g(x)
f(x)
g(x)

= 0 .
Logo, se lim
xa
g(x) = 0 e lim
xa
f(x) = 0 ou n ao existe lim
xa
f(x), ent ao o quo-
ciente
f(x)
g(x)
n ao e sequer limitado numa vizinhanca de a.
Teorema 1.9 (Crit erio de Cauchy para limites de func oes)
Sejam X R, a X

e f : X R. Ent ao existe lim

xa
f(x) se, e s o se, para
todo > 0 dado, existe > 0, tal que |f(x)f(y)| < quaisquer que sejam
x, y ( X {a} ) (a , a +) .
Prova.
(=) Se lim
xa
f(x) = L, ent ao, dado > 0 existe > 0 tal que |f(x)L| <

2
para todo x X, 0 < |x a| < .
Logo,
|f(x) f(y)| |f(x) L| + |f(y) L| <

2
+

2
= ,
quaisquer que sejam x, y X, 0 < |x a| < e 0 < |y a| < .
(=) Seja (x
n
) uma seq u encia de pontos de X {a} com lim
n
x
n
= a.
Dado > 0, existe > 0 tal que |f(x)f(y)| < para x, y X, 0 < |xa| <
e 0 < |y a| < .
Como lim
n
x
n
= a e x
n
X {a}, existe n
0
N tal que 0 < |x
n
a| <
para todo n > n
0
.
Logo, |f(x
n
) f(x
m
)| < para todos n, m > n
0
. Ou seja, a seq u encia
(f(x
n
)) e de Cauchy e, portanto, converge.
Ent ao, pelo corol ario 1.4, existe lim
xa
f(x).

Instituto de Matem atica - UFF 167

An alise na Reta
Sejam X R, Y R, a X

, b Y

, f : X R e g : Y R tais que
f(X) Y, lim
xa
f(x) = b e lim
yb
g(y) = c.
Ent ao, para x pr oximo de a, f(x) est a pr oximo de b, mas pode ocor-
rer que f(x) = b para x arbitrariamente pr oximo de a. Neste caso, b Y e
lim
xa
(g f)(x) pode existir ou n ao. Caso exista, deve ser igual a g(b), que
pode ser diferente de c.
Exemplo 1.1 Seja f : R R a func ao identicamente nula e seja
g : R R a func ao denida por g(x) =

1 , se x = 0
0 , se x = 0 .
Ent ao, lim
x0
f(x) = 0, lim
y0
g(y) = 1 e lim
x0
(g f)(x) = 0, que e diferente de
1.

Exemplo 1.2 Sejam f : R R e g : R R as func oes denidas da

seguinte maneira:
f(x) =

0 , se x Q
x , se x R Q,
e g(x) =

0 , se y = 0
1 , se y = 0 .
Ent ao, lim
x0
f(x) = 0 e lim
y0
g(y) = 0, mas n ao existe lim
x0
g(f(x)), pois
g f(x) =

1 , se x Q
0 , se x R Q.

Teorema 1.10 Sejam X, Y R, f : X R, g : Y R, com f(X) Y,

a X

e b Y Y

.
Se lim
xa
f(x) = b e lim
yb
g(y) = g(b), ent ao, lim
xa
(g f)(x) = g(b).
Prova.
Dado > 0 existe > 0 tal que |g(y) g(b)| < para todo y Y,
|y b| < .
Sendo lim
xa
f(x) = b, existe > 0 tal que |f(x) b| < para todo x X,
0 < |x a| < .
Logo, |g(f(x)) g(b)| < para todo x X, 0 < |x a| < .

J. Delgado - K. Frensel 168

Exemplos de limites
2. Exemplos de limites
Exemplo 2.1 Seja f : R R a func ao identidade, ou seja, f(x) = x
para todo x R.
Ent ao, lim
xa
f(x) = lim
xa
x = a para todo a R.
Por induc ao, lim
xa
x
n
= a
n
para todo n N, porque se lim
xa
x
j
= a
j
, temos,
pelo teorema 1.8, que
lim
xa
x
j+1
=

lim
xa
x
j

lim
xa
x

= a
j
a = a
j+1
Logo, pelo teorema 1.8, temos que se
p(x) = a
n
x
n
+a
n1
x
n1
+. . . +a
1
x +a
0
e um polin omio, ent ao, para a R,
lim
xa
p(x) = a
n
lim
xa
x
n
+a
n1
lim
xa
x
n1
+. . . +a
1
lim
xa
x +a
0
= a
n
a
n
+a
n1
a
n1
+. . . +a
1
a +a
0
= p(a) .
Assim, se f(x) =
p(x)
q(x)
e o quociente de dois polin omios, ou seja, f e uma
func ao racional, ent ao lim
xa
f(x) = f(a), se q(a) = 0.
Se q(a) = 0, ent ao a e uma raiz de q(x) e, portanto, x a divide q(x).
Seja m 1 tal que q(x) = (x a)
m
q
1
(x), com q
1
(a) = 0, e seja n 0 tal
que p(x) = (x a)
n
p
1
(x), com p
1
(a) = 0.
Se m = n, lim
xa
f(x) = lim
xa
p
1
(x)
q
1
(x)
=
p
1
(a)
q
1
(a)
, pois f(x) =
p
1
(x)
q
1
(x)
para todo
x = a.
Se m < n, lim
xa
f(x) = 0, pois f(x) = (x a)
nm
p
1
(x)
q
1
(x)
para todo x = a.
Se m > n, ent ao lim
xa
f(x) n ao existe, pois f(x) =
p
1
(x)
(x a)
mn
q
1
(x)
, onde o
denominador tem limite zero e o numerador n ao (ver observac ao 1.4).

Exemplo 2.2 Seja f : R R a func ao denida por

f(x) =

0 , se x Q
1 , se x R Q.
Instituto de Matem atica - UFF 169
An alise na Reta
Ent ao, n ao existe lim
xa
f(x) para todo a R.
De fato, existe uma seq u encia (x
n
) de n umeros racionais, x
n
= a, tal que
x
n
a e existe uma seq u encia (y
n
), y
n
= a, de n umeros irracionais tal
que y
n
a. Ent ao, lim
n
f(x
n
) = 0 e lim
n
f(y
n
) = 1. Logo, pelo corol ario
1.3, n ao existe lim
xa
f(x).
Mas, se g(x) = (x a)f(x), temos que lim
xa
g(x) = 0, pois lim
xa
(x a) = 0 e
f e limitada.

Exemplo 2.3 Seja f : Q R a func ao denida por

f(x) =

1/q, se p/q e uma frac ao irredutvel com q > 0

1 , se x = 0 .
Como Q

= R, tem sentido falar em lim

xa
f(x) para todo a R.
Vamos provar que lim
xa
f(x) = 0 para todo a R.
Armac ao: Seja a R xo. Dado > 0 existe > 0 tal que 0 <

p
q
a

< =0 <
1
q
< , ou seja, q >
1

.
Seja F = {q N| q
1

} . Ent ao, F e um conjunto inito. Para cada q F

xo, as frac oes
m
q
, m Z, decomp oem a reta em intervalos juxtapostos
de comprimento
1
q
, pois
R =

mZ

m
q
,
m+1
q

.
Para cada q F, seja m
q
Z o maior inteiro tal que
m
q
q
< a. Seja
m

q
q

a
maior das frac oes
m
q
q
, com q F, a qual existe, pois F e nito.
De modo an alogo, para cada q F, seja n
q
Z o menor inteiro tal que
n
q
q
> a. Como F e nito, existe n
q
Z tal que
n
q

e a menor das frac oes

n
q
q
, com q F.
J. Delgado - K. Frensel 170
Exemplos de limites
Assim,
m
q

e a maior frac ao que tem denominador em F e e menor do que

a, e
n
q

e a menor frac ao com denominador em F que e maior do que

a. Ent ao, salvo possvelmente a, nenhum n umero racional do intervalo

m
q

,
n
q

pode ter denominador em F.

Seja = min

a
m
q

,
n
q

. Ent ao,
0 <

p
q
a

< = a <
p
q
< a + ,
p
q
= a
=
m
q

<
p
q
<
n
q

,
p
q
= a
= q F =q >
1

=0 <
1
q
<
=

p
q

< .
Logo, provamos que dado > 0, existe > 0 tal que

p
q

< para
todo
p
q
Q, 0 <

p
q
a

< . Assim, lim

xa
f(x) = 0 para todo a R.

Observac ao 2.1 Seja g : R R a func ao denida por

g(x) =

0 , se x R Q
1 , se x = 0
1
q
, se
p
q
e irredutvel com q > 0 .
Ent ao, lim
xa
g(x) = 0 para todo a R.
Exemplo 2.4 Seja f : R {0} R denida por f(x) = x +
x
|x|
, ou seja,
f(x) =

x +1 , se x > 0
x 1 , se x < 0 .
Ent ao, n ao existe lim
x0
f(x), pois
lim
n
f

1
n

= lim
n

1
n
+1

= 1 e lim
n
f

1
n

1
n
1

=
1
n
1 = 1 .

Instituto de Matem atica - UFF 171

An alise na Reta
Exemplo 2.5 Seja f : R {0} R a func ao denida por f(x) = sen
1
x
.
Ent ao n ao existe lim
x0
f(x).
De fato, seja c [1, 1] e b R tal que senb = c.
Ent ao, a seq u encia

1
b +2n

nN
tende para zero e
lim
n
f

1
2n +b

= lim
n
sen(2n +b) = senb = c .
Mas, como a func ao f e limitada, temos que lim
x0
g(x) sen
1
x
= 0 para toda
func ao g : R {0} R tal que lim
x0
g(x) = 0.
Em particular lim
x0
x
n
sen
1
x
= 0 para todo n N.

3. Limites laterais
Denic ao 3.1 Sejam X R, a X

+
e f : X R. Dizemos que L R
e o limite ` a direita de f(x) quando x tende para a, e escrevemos
L = lim
xa
+
f(x) ,
quando, para todo > 0 dado, existe > 0 tal que |f(x) L| < para todo
x X, a < x < a +
Simbolicamente, temos:
lim
xa
+
f(x) = L " > 0 > 0 ; x X, a < x < a + =|f(x) L| < " .
ou
lim
xa
+
f(x) = L > 0 > 0 ; f(x) (L , L +) x X (a, a +) .
Denic ao 3.2 Sejam X R, a X

e f : X R. Dizemos que L R
e o limite ` a esquerda de f(x) quando x tende para a, e escrevemos
L = lim
xa

f(x) ,
quando, para todo > 0 dado, existe > 0 tal que |f(x) L| < para todo
x X, a < x < a.
Simbolicamente, temos:
J. Delgado - K. Frensel 172
Limites laterais
lim
xa

f(x) = L " > 0 > 0 ; x X, a < x < a =|f(x) L| < " ,

ou
lim
xa

f(x) = L > 0 > 0 ; f(x) (L , L +) x X (a , a) .

Teorema 3.1 Sejam X R, a X

+
, f : X R, Y = X (a, +) e
g = f|
Y
. Ent ao, lim
xa
+
f(x) = L se, e s o se, lim
xa
g(x) = L.
Um resultado an alogo ao teorema
3.1 vale para o limite ` a esquerda.
Prova.
(=) Dado > 0, existe > 0 tal que f(x) (L , L + ) para todo
x X (a, a +).
Como (Y {a}) (a , a + ) = X (a, a + ), temos que |g(x) L| <
para todo x (Y {a}) (a , a +).
(=) Dado > 0, existe > 0 tal que |g(x) L| = |f(x) L| < para todo
x (Y {a}) (a , a +) = X (a, a +).

Observac ao 3.1 Pelo teorema acima, o limite ` a direita e o limite ` a es-

querda s ao o limite de uma restric ao de f. Assim, os teoremas 1.1 a
1.10 valem tamb em para os limites laterais, substituindo nos enunciados
(a , a +) por (a, a +) no caso de limite ` a direita, e (a , a +) por
(a , a) no caso de limite ` a esquerda.
Exemplo 3.1 Sejam X, Y R, f : X R, g : Y R, f(X) Y,
a X

+
, b Y

Y.
Se lim
xa
+
f(x) = b e lim
yb
g(y) = g(b) ent ao lim
xa
+
g(f(x)) = g(b).

Teorema 3.2 Sejam X R, f : X R e a X

+
X

. Ent ao existe
lim
xa
f(x) se, e s o se, existem e s ao iguais os limites laterais lim
xa
+
f(x) e
lim
xa

f(x). Neste caso,

lim
xa
f(x) = lim
xa
+
f(x) = lim
xa

f(x) .
Prova.
(=) Suponhamos que L = lim
xa
f(x). Sejam Y = (a, +) X e g = f|
Y
.
Instituto de Matem atica - UFF 173
An alise na Reta
Como a Y

, pois a X

+
, temos, pelo teorema 1.2, que lim
xa
g(x) = L.
Ent ao, pelo teorema 3.1, existe lim
xa
+
f(x) e e igual a L.
De modo an alogo, podemos provar que o lim
xa

f(x) existe e e igual a L.

(=) Suponhamos que L = lim
xa

f(x) = lim
xa
+
f(x).
Dado > 0, existem
1
> 0 e
2
> 0 tais que
|f(x) L| < para todo x X (a, a +
1
) ,
e
|f(x) L| < para todo x X (a
2
, a).
Tomando = min{
1
,
2
}, temos que |f(x) L| < para todo x tal que
x (X (a, a +)) (X (a , a)) = (X {a}) (a , a +) .
Logo, lim
xa
f(x) = L.

Exemplo 3.2 Seja f : R {0} R denida por f(x) = x +

x
|x|
. Como
f(x) = x + 1 para x (0, +) e f(x) = x 1 para x (, 0), temos que
lim
x0
+
f(x) = 1, lim
x0

f(x) = 1 e n ao existe lim

x0
f(x).

Exemplo 3.3 Seja f : R {0} R denida por f(x) =

1
x
.
Ent ao, 0 (R {0})

+
(R {0})

, mas n ao existem os limites laterais ` a

direita e ` a esquerda no ponto 0.

Exemplo 3.4 Seja f : R {0} R denida por f(x) = e

1
x
.
Ent ao, lim
x0
+
f(x) = 0, mas n ao existe lim
x0

f(x), pois f(x) n ao e limitada

para x negativo pr oximo de 0.

Denic ao 3.3 Seja f : X R R. Dizemos que f e

crescente quando x, y X, x < y =f(x) < f(y).
n ao-decrescente quando x, y X, x < y =f(x) f(y).
decrescente quando x, y X, x < y =f(x) > f(y).
n ao-crescente quando x, y X, x < y =f(x) f(y).
J. Delgado - K. Frensel 174
Limites laterais
mon otona quando f e de algum dos quatro tipos acima.
Teorema 3.3 Sejam X R, a X

+
, b X

e f : X R, uma func ao
mon otona limitada. Ent ao, existem os limites laterais
L = lim
xa
+
f(x) e M = lim
xb

f(x).
Prova.
Suponhamos que f : X R e n ao-decrescente.
Seja a X

+
e seja A = {f(x) | x X e x > a}.
Como a X

+
e f e limitada, temos que A e n ao-vazio e limitado inferior-
mente. Ent ao, existe L = inf A.
Armac ao: L = lim
xa
+
f(x) .
Dado > 0, existe x X, x > a, tal que L f(x) < L +.
Seja = x a > 0. Ent ao, para x X, a < x < a + = x temos que
L < L f(x) f(x) < L +. Logo, lim
xa
+
f(x) = L.
Sejam, agora, b X

e B = {f(x) | x X e x < b}. Ent ao, existe M =

supB, pois B = e e limitado superiormente.
Dado > 0, existe x X, x < b, tal que M < f(x) M.
Tome = b x > 0. Ent ao, para x X, x = b < x < b, temos que
M < f(x) f(x) M < M+.
Logo, lim
xb

f(x) = M.

Observac ao 3.2 Se a X, ent ao n ao e preciso supor que f e limitada,

pois, se f e n ao decrescente, por exemplo, f(a) e uma cota inferior para
o conjunto {f(x) | x X e x > a} e e uma cota superior para o conjunto
{f(x) | x X e x < a}.
Observac ao 3.3 Uma sequ encia mon otona limitada e convergente, mas
para uma func ao mon otona limitada pode n ao existir lim
xa
f(x) quando
a X

. Isso acontece, por exemplo, com a func ao f(x) = x +

x
|x|
, para
x (R {0}) (1, 1), porque o limite de uma seq u encia e um limite
lateral ` a esquerda, pois quando n +, tem-se n < +.
Instituto de Matem atica - UFF 175
An alise na Reta
4. Limites no innito, limites innitos e express oes
indeterminadas
Denic ao 4.1 Sejam X R um conjunto ilimitado superiormente e f :
X R. Dizemos que L e o limite de f(x) quando x +, e escrevemos
lim
x+
f(x) = L,
quando
> 0 A > 0 ; x X, x > A =|f(x) L| < .
Denic ao 4.2 Sejam X R um conjunto ilimitado inferiormente e f :
X R. Dizemos que L e o limite de f(x) quando x , e escrevemos
lim
x
f(x) = L,
quando
> 0 A > 0 ; x X, x < A =|f(x) L| < .
Os resultados do teorema 1.1 ao
teorema 1.9 s ao v alidos para lim-
ites no innito com as devidas
adaptac oes.
Observac ao 4.1 O limite quando x tende a + e, de certo modo, um
limite lateral ` a esquerda, e o limite quando x tende a , um limite lateral
` a direita.
Assim, o resultado do teorema 3.3 continua v alido. Mais precisamente:
Seja f : X R uma func ao mon otona limitada e X R um conjunto
ilimitado superiormente.
Se f e n ao-decrescente, ent ao lim
x+
f(x) = L, onde L = sup{f(x) | x X}.
Se f e n ao-crescente, ent ao lim
x+
f(x) = L, onde L = inf{f(x) | x X}.
Seja, agora, X R ilimitado inferiormente.
Se f e n ao-decrescente, ent ao lim
x
f(x) = L, onde L = inf{f(x) | x X}.
Se f e n ao-crescente, ent ao lim
x
f(x) = L, onde L = sup{f(x) | x X}.
Observac ao 4.2 O limite de uma sequ encia f : N R e um caso
particular de limite de uma func ao no innito, pois lim
x+
f(x) = lim
n
f(n).
J. Delgado - K. Frensel 176
Limites no innito, limites innitos e express oes indeterminadas
Exemplo 4.1 lim
x
1
x
= 0, pois dado > 0 existe A =
1

> 0 tal que

0 <
1
x
< , para todo x >
1

= A, e <
1
x
< 0, para todo x < A =
1

Exemplo 4.2 N ao existe lim

x+
senx, pois 2n +e sen(2n) 0,
enquanto

2n +

2

+e sen

2n +

2

1.
De modo an alogo, podemos vericar que n ao existe lim
x
senx.

Exemplo 4.3 lim

x
e
x
= 0, mas n ao existe lim
x+
e
x
.

Denic ao 4.3 Sejam X R, a X

e f : X R. Dizemos que f(x)

tende para +quando x tende para a e escrevemos
lim
xa
f(x) = +,
quando para todo A > 0 dado, existe > 0 tal que
x X, 0 < |x a| < =f(x) > A.
Exemplo 4.4 lim
xa
1
(x a)
2
= +, pois dado A > 0 existe =
1

A
> 0
tal que
0 < |x a| < =0 < (x a)
2
<
1
A
=
1
(x a)
2
> A.

Denic ao 4.4 Sejam X R, a X

e f : X R. Dizemos que f(x)

tende para quando x tende para a e escrevemos
lim
xa
f(x) = ,
quando para todo A > 0 dado, existe > 0 tal que
x X, 0 < |x a| < =f(x) < A.
Exemplo 4.5 lim
xa
1
(x a)
2
= .

Outros casos possveis

Denic ao 4.5 Sejam X R, a X

+
e f : X R. Dizemos que:
Instituto de Matem atica - UFF 177
An alise na Reta
lim
xa
+
f(x) = +A > 0, > 0 ; x X, a < x < a + =f(x) > A.
lim
xa
+
f(x) = A > 0, > 0 ; x X, a < x < a + =f(x) < A.
De modo an alogo, podemos denir lim
xa

f(x) = + e lim
xa

f(x) = ,
quando a X

.
Denic ao 4.6 Sejam X R ilimitado superiormente e f : X R.
Dizemos que:
lim
x+
f(x) = +A > 0, B > 0 ; x X, x > B =f(x) > A.
lim
x+
f(x) = A > 0, B > 0 ; x X, x > B =f(x) < A.
Denic ao 4.7 Sejam X R ilimitado inferiormente e f : X R. Dize-
mos que:
lim
x
f(x) = +A > 0, B > 0 ; x X, x < B =f(x) > A.
lim
x
f(x) = A > 0, B > 0 ; x X, x < B =f(x) < A.
Exemplo 4.6 lim
xa
+
1
x a
= +; lim
xa

1
x a
= ; lim
x+
e
x
= +;
lim
x+
x
k
= +, k N.

Modicac oes que devem sofrer os teoremas provados para limites nitos
de modo a continuarem v alidos no caso de limites innitos.
(1) Unicidade. Se lim
xa
f(x) = +, ent ao f e positiva e ilimitada supe-
riormente numa vizinhanca de a. Logo, n ao se pode ter lim
xa
f(x) = L, pois,
neste caso, f seria limitada numa vizinhanca de a, nem lim
xa
f(x) = ,
pois f seria negativa numa vizinhanca de a.
(2) Sejam Y X com a Y

e g = f|
Y
.
Se lim
xa
f(x) = += lim
xa
g(x) = +.
Sejam Y = (a , a +) X, > 0, e g = f|
Y
.
Se lim
xa
g(x) = += lim
xa
f(x) = +.
J. Delgado - K. Frensel 178
Limites no innito, limites innitos e express oes indeterminadas
(3) Se lim
xa
f(x) = +ent ao f e ilimitada superiormente em qualquer
vizinhanca de a.
(4) Se f(x) g(x) x X e lim
xa
f(x) = +, ent ao lim
xa
g(x) = +.
(5) Se lim
xa
f(x) = L e lim
xa
g(x) = +, ent ao existe > 0 tal que
x X, 0 < |x a| < =f(x) < g(x).
(6) lim
xa
f(x) = + lim
n+
f(x
n
) = + para toda seq u encia (x
n
)
de pontos de X {a} com lim
n
x
n
= a.
(7) Se lim
xa
f(x) = + e g(x) > c x (X {a}) (a , a + ),
ent ao lim
xa
(f(x) +g(x)) = +.
Se lim
xa
f(x) = + e g(x) > c > 0 x (X {a}) (a , a + ),
ent ao lim
xa
(f(x) g(x)) = +.
Se f(x) > 0 x (X {a}) (a , a + ), ent ao lim
xa
f(x) = 0
lim
xa
1
f(x)
= +.
Sendo f(x) > c > 0 e g(x) > 0 para todo x (X{a})(a, a+),
temos que se lim
xa
g(x) = 0 ent ao lim
xa
f(x)
g(x)
= +.
Sendo |f(x)| c para todo x (X {a}) (a , a +), temos que
se lim
xa
g(x) = +, ent ao lim
xa
f(x)
g(x)
= 0.
(8) N ao existe algo semelhante ao crit erio de Cauchy para limites
innitos.
(9) Se lim
xa
f(x) = e lim
y
g(y) = L, ent ao lim
xa
g(f(x)) = L.
Se lim
xa
f(x) = e lim
y
g(y) = +, ent ao lim
xa
g(f(x)) = +.
Se lim
xa
f(x) = e lim
x
g(x) = , ent ao lim
xa
g(f(x)) = .
(10) Sejam a X

+
e f : X R mon otona.
lim
xa
+
f(x) existe se, e s o se, existe > 0 tal que f e limitada no
conjunto X (a, a +).
Instituto de Matem atica - UFF 179
An alise na Reta
Se f e ilimitada superiormente em X (a, a + ) para todo > 0,
ent ao lim
xa
+
f(x) = +.
De fato, dado A > 0, existe x X (a, a +1) tal que f(x) > A.
Se f e n ao-crescente ou decrescente, temos que f(x) f(x) > A
para todo x X (a, a +), onde = x a > 0.
Observe que, neste caso, f n ao pode ser n ao-decrescente ou cres-
cente, pois, dado x > a, x X, existiria x (a, x) tal que f(x) > f(x).
De modo an alogo, podemos provar que se f e ilimitada inferior-
mente em X (a, a + ) para todo > 0, ent ao lim
xa
+
f(x) = e f tem
que ser crescente ou n ao-decrescente.
Observac ao 4.3 No entanto, se a X

, temos que:
lim
xa

f(x) existe se, e s o se, existe > 0 tal que f e limitada no conjunto
X (a , a).
Se f e ilimitada superiormente em X (a , a) para todo > 0, ent ao
lim
xa

f(x) = +e f e n ao-decrescente ou crescente.

Se f e ilimitada inferiormente em X (a , a) para todo > 0, ent ao
lim
xa

f(x) = e f e n ao-crescente ou decrescente.

Exerccio: Se f : X R
e mon otona, ent ao ou existe
lim
x+
f(x) ou lim
x+
f(x) =
.
De modo an alogo, ou existe
lim
x
f(x) ou lim
x
f(x) =
.
Agora, vamos falar um pouco sobre express oes indeterminadas do
tipo
0
0
, , 0 ,

, 0
0
,
0
, 1

.
Indeterminac ao do tipo
0
0
.
Sejam X R, a X

, f, g : X R tais que lim

xa
f(x) = lim
xa
g(x) = 0.
Se a Y

, onde Y = {x X| g(x) = 0}, ent ao o quociente

f(x)
g(x)
est a
denido em Y e faz sentido indagar se existe lim
xa
f(x)
g(x)
. Mas nada se pode
armar sobre esse limite, pois, dependendo das func oes f e g, ele pode
assumir qualquer valor ou n ao existir.
Por exemplo, se f(x) = cx e g(x) = x, temos
J. Delgado - K. Frensel 180
Limites no innito, limites innitos e express oes indeterminadas
lim
x0
f(x) = 0, lim
x0
g(x) = 0 e lim
x0
f(x)
g(x)
= c.
Por outro lado, se f(x) = x sen
1
x
, x = 0, e g(x) = x, ent ao lim
x0
f(x) =
lim
x0
g(x) = 0, mas n ao existe lim
x0
f(x)
g(x)
= lim
x0
sen
1
x
.
Dizer que e indeterminado, signica que, dependendo das esco-
lhas para f e g, tais que lim
xa
f(x) = lim
xa
g(x) = +, o limite lim
xa
(f(x)g(x))
pode ser um valor real c arbitr ario ou pode n ao existir.
Por exemplo, se f, g : R {a} R s ao dados por f(x) = c+
1
(x a)
2
e g(x) =
1
(x a)
2
, ent ao lim
xa
f(x) = lim
xa
g(x) = +e lim
xa
(f(x) g(x)) = c.
E se f(x) = sen
1
x a
+
1
(x a)
2
e g(x) =
1
(x a)
2
, temos que
lim
xa
f(x) = lim
xa
g(x) = +,
mas n ao existe lim
xa
(f(x) g(x)).
Para a indeterminac ao do tipo 0
0
, dado qualquer c > 0, existem func oes
f, g : X R, com a X

, lim
xa
f(x) = lim
xa
g(x) = 0 e f(x) > 0 para todo
x X, tais que lim
xa
f(x)
g(x)
= c.
Por exemplo, para as func oes f, g : (0, +) R dadas por f(x) = x
e g(x) =
logc
logx
, temos que
lim
x0
f(x) = lim
x0
g(x) = 0 e lim
x0
f(x)
g(x)
= lim
x0
e
g(x) log f(x)
= lim
x0
e
log c
= c .
Podemos, tamb em, escolher f e g de modo que o limite de f(x)
g(x)
n ao existe. Basta tomar, por exemplo, as func oes dadas por f(x) = x e
g(x) = log

1 +

sen
1
x

(logx)
1
, x > 0, para termos
lim
x0
f(x) = lim
x0
g(x) = 0,
mas o limite
lim
x0
f(x)
g(x)
= lim
x0
e
g(x) log f(x)
= lim
x0

1 +

sen
1
x

n ao existe.
Instituto de Matem atica - UFF 181
An alise na Reta
5. Valores de ader encia de uma func ao, limsup
e liminf
Sejam X R, a X

e f : X R. Para cada > 0, indicaremos

por V

o conjunto
V

= {x X| 0 < |x a| < } = (X {a}) (a , a +) .

Denic ao 5.1 Dizemos que f e limitada numa vizinhanca de a quando
existe > 0 tal que f|
V

e limitada, ou seja, existe K > 0 tal que |f(x)| K

para todo x V

.
Denic ao 5.2 Dizemos que c R e um valor de ader encia de f no
ponto a quando existe uma seq u encia (x
n
) de pontos de X {a} tal que
lim
n+
x
n
= a e lim
n+
f(x
n
) = c.
Indicaremos por VA(f; a) o conjunto dos valores de ader encia de f no
ponto a.
Observac ao 5.1 Pelo teorema 1.7, temos que se L = lim
xa
f(x), ent ao L
e o unico valor de ader encia de f no ponto a.
Mostraremos, mais adiante, que se f e limitada numa vizinhanca de
a e L e o unico valor de ader encia de f no ponto a, ent ao lim
xa
f(x) = L.
Mas se f n ao e limitada numa vizinhanca de a, pode ocorrer que n ao
exista lim
xa
f(x), mesmo quando f possui um unico valor de ader encia no
ponto a.
Exemplo 5.1 Seja f : R R a func ao f(x) =

1 , se x Q
1
x
, se x R Q
.
Ent ao, 1 e o unico valor de ader encia de f no ponto 0, mas n ao existe
lim
x0
f(x), pois f n ao e limitada numa vizinhanca de 0.

Teorema 5.1 Um n umero real c e valor de ader encia de f no ponto a

se, e s o se, c f(V

) para todo > 0.

J. Delgado - K. Frensel 182
Valores de ader encia de uma func ao, limsup e liminf
Prova.
(=) Seja c um valor de ader encia de f no ponto a e seja (x
n
) uma
seq u encia de pontos de X {a} tal que x
n
a e f(x
n
) c.
Como x
n
a, dado > 0, existe n
0
N tal que x
n
V

para todo
n > n
0
. Logo, f(x
n
) f(V

) para todo n > n

0
, ou seja, (f(x
n
))
n>n
0
e uma
seq u encia de pontos de V

que converge para c.

Ent ao, c f(V

) .
(=) Suponhamos que c f(V

) para todo > 0.

Ent ao, c f(V1
n
) para todo n N.
Assim, para todo n N, existe x
n
V1
n
tal que |f(x
n
) c| <
1
n
.
Como x
n
X, 0 < |x
n
a| <
1
n
e |f(x
n
) c| <
1
n
para todo n N,
temos que (x
n
) e uma seq u encia de pontos de X {a} tal que x
n
a e
f(x
n
) c. Logo, c e um valor de ader encia de f no ponto a.

Corol ario 5.1 VA(f; a) =

>0
f(V

) .
Corol ario 5.2 VA(f; a) =

nN
f(V1
n
) .
Prova.
Se c

>0
f(V

), ent ao c f(V

) para todo > 0. Em particular, c f(V1

n
)
para todo n N. Logo, c

nN
f(V1
n
) .
Suponhamos, agora, que c

nN
f(V1
n
).
Dado > 0, existe n N, tal que
1
n
< . Logo, V1
n
V

e, portanto,
f(V1
n
) f(V

). Assim, f(V1
n
) f(V

) .
Como c f(V1
n
) para todo n N, temos que c f(V

) para todo > 0.

Portanto,
Instituto de Matem atica - UFF 183
An alise na Reta
c

>0
f(V

) = VA(f; a) ,
ou seja, c e um valor de ader encia de f no ponto a.

Corol ario 5.3 O conjunto dos valores de ader encia de f num ponto a
X

e fechado. Se f e limitada numa vizinhanca de a, ent ao VA(f; a) e

compacto e n ao-vazio.
Prova.
Como VA(f; a) e uma intersec ao de conjuntos fechados, temos que VA(f; a)
e fechado.
Suponhamos que f e limitada numa vizinhanca de a. Ent ao existe n
0
N
tal que f(V 1
n
0
) e limitado. Logo, f(V 1
n
0
) e fechado e limitado e, portanto,
compacto.
Seja K
n
= f(V1
n
), n N. Como K
n
K
n
0
para todo n n
0
, temos
que (K
n
)
nn
0
e uma seq u encia decrescente de conjuntos compactos n ao-
vazios tal que VA(f; a) =

nn
0
K
n
. Logo, pelo teorema 4.5 da parte 4,
temos que VA(f; a) e compacto e n ao-vazio.

Observac ao 5.2 Se f e ilimitada em qualquer vizinhanca de a, isto e,

f(V

) e ilimitado para todo > 0, ent ao VA(f; a) pode n ao ser compacto.

Exemplo 5.2 Se f : R{0} R e a func ao denida por f(x) =
1
x
sen
1
x
,
ent ao f e ilimitada em toda vizinhanca de 0 e VA(f; 0) = R, que n ao e
compacto, pois e ilimitado.
De fato, 0 VA(f; 0), pois x
n
=
1
2n
0 e
f(x
n
) =
1
2n
sen(2n) = 0 0.
Seja, agora, c > 0.
Armac ao: Dado n N, existe x
n
> 0 tal que x
n
<
1
n
e sen
1
x
n
= x
n
c .
Como
1
n
c sen(n) =
1
n
c 0 =
c
n
> 0 e
J. Delgado - K. Frensel 184
Valores de ader encia de uma func ao, limsup e liminf
1
2n + (4k 3)

2
c sen(2n + (4k 3)

2
) =
c
2n + (4k 3)

2
1 < 0
para algumk N, temos, pelo teorema do valor intermedi ario para func oes
contnuas, que provaremos na pr oxima parte, que existe
x
n

1
2n + (4k 3)

2
,
1
n

tal que x
n
c sen
1
x
n
= 0.
Logo, 0 < x
n
<
1
n
e f(x
n
) = c para todo n N. Assim, x
n
0 e
f(x
n
) c, ou seja, c VA(f; a).
Se d = c < 0, basta tomar a seq u encia y
n
= x
n
, onde (x
n
) e a
seq u encia obtida acima, que teremos y
n
0, y
n
< 0, e
f(y
n
) = f(x
n
) = c = d d.
Logo, d VA(f; a). Ent ao, VA(f; a) = R.

Observac ao 5.3 Tamb em pode ocorrer que VA(f; a) seja vazio quando
f e ilimitada em toda vizinhanca de a. Por exemplo, se f : R {0} R e
a func ao denida por f(x) =
1
x
, ent ao VA(f; a) = .
Observac ao 5.4 Como VA(f; a) e compacto e n ao-vazio quando f e
limitada numa vizinhanca de a, VA(f; a) possui um maior elemento e um
menor elemento.
Denic ao 5.3 Chamamos limite superior de f no ponto a ao maior valor
de ader encia L de f no ponto a, e escrevemos:
limsup
xa
f(x) = L.
Chamamos limite inferior de f no ponto a ao menor valor de ader encia
de f no ponto a, e escrevemos:
liminf
xa
f(x) = .
Exemplo 5.3 Seja f : R {0} R a func ao denida por f(x) = sen
1
x
.
Ent ao, pelo visto no exemplo 2.5, VA(f; 0) = [1, 1].
Logo, limsup
x0
f(x) = +1 e liminf
x0
f(x) = 1 .

Instituto de Matem atica - UFF 185

An alise na Reta
Observac ao 5.5
`
As vezes escrevemos limsup
xa
f(x) = +para indicar
que f e ilimitada superiormente em toda vizinhanca de a, e escrevemos
liminf
xa
f(x) = para indicar que f e ilimitada inferiormente em toda
vizinhanca de a. Por exemplo, para f(x) =
1
x
sen
1
x
, x = 0, do exemplo
5.2, teramos limsup
x0
f(x) = +e liminf
x0
f(x) = .
Tamb em, quando lim
xa
f(x) = , teramos
limsup
xa
f(x) = liminf
xa
f(x) = +.
Consideraremos, agora, o valor de ader encia de f quando x +
ou x .
Dizemos que c VA(f; +), ou seja, que c e um valor de ader encia
de f em +, quando existe uma seq u encia (x
n
) de pontos de X tal que
x
n
+e f(x
n
) c.
E dizemos que c VA(f; ), ou seja, que c e um valor de ader encia
de f em , quando existe uma seq u encia (x
n
) de pontos de X tal que
x
n
e f(x
n
) c.
Seja V

= X (, +), > 0, e W

= X (, ), < 0. Ent ao,

VA(f; +) =

>0
f(V

) =

nN
f(V1
n
)
e
VA(f; ) =

<0
f(W

) =

nN
f(W

1
n
) .
A demonstrac ao destes fatos faz-se de modo an alogo ao caso nito.
Dizemos que f e limitada numa vizinhanza de + quando existe > 0
e K > 0 tais que x X, x > = |f(x) K, ou seja, |f(x)| K para todo
x V

= X (, +).
E dizemos que f e limitada numa vizinhanza de quando existe < 0
e K > 0 tais que x X, x < = |f(x) K, ou seja, |f(x)| K para todo
x W

= X (, ).
Como no caso nito, podemos provar que VA(f; +) e VA(f; )
s ao compactos n ao-vazios quando f e limitada numa vizinhanca de +
J. Delgado - K. Frensel 186
Valores de ader encia de uma func ao, limsup e liminf
e , respectivamente. Ent ao, nestes casos, temos, tamb em, o maior
e o menor valor de ader encia, que ser ao denotados por limsup
x
f(x) e
liminf
x
f(x), respectivamente.
Os fatos que ser ao provados a seguir para VA(f; a) se estendem aos
valores de ader encia no innito com as devidas adaptac oes.
Seja f limitada numa vizinhanca V

0
de a, ou seja, f(V

0
) e um conjunto
limitado. Ent ao f(V

) e limitado para todo (0,

0
].
Sejam as func oes
L : (0,
0
] R
L

= sup
xV

f(x)
e
: (0,
0
] R

= inf
xV

f(x)
Como V

0
para (0,
0
], temos que

0
para
todo (0,
0
].
Se 0 <

<

0
, ent ao V

e, portanto,

e
L

, ou seja,

e uma func ao mon otona n ao-crescente e

L

e uma func ao mon otona n ao-decrescente.

Logo, pelo teorema 3.3, existem os limites lim
0

e lim
0
L

, e
lim
0

= sup{

| (0,
0
]} e lim
0
L

= inf{L

| (0,
0
]} .
Teorema 5.2 Se f e limitada numa vizinhanca de a, ent ao
limsup
xa
f(x) = lim
0
L

e liminf
xa
f(x) = lim
0

.
Prova.
Sejam L = limsup
xa
f(x) e L
0
= lim
0
L

. Como L e valor de ader encia de

f no ponto a, ent ao L f(V

) para todo > 0. Logo, L L

para todo
(0,
0
], ou seja, L e uma cota inferior do conjunto {L

| (0,
0
]}.
Assim, L L
0
= inf{L

| (0,
0
]}.
Vamos provar, agora, que L
0
e valor de ader encia de f no ponto a.
Como L1
n
= sup{f(x) | x V1
n
}, existe x
n
V1
n
= X

a
1
n
, a +
1
n

tal
que L1
n

1
n
< f(x
n
) L1
n
.
Instituto de Matem atica - UFF 187
An alise na Reta
Ent ao x
n
a, x
n
X {a}, e f(x
n
) L
0
, pois lim
n
L1
n
= lim
0
L

= L
0
.
Logo, L
0
e valor de ader encia de f no ponto a e, portanto, L
0
L.
Provamos, assim, que L = L
0
.
A igualdade liminf
xa
f(x) = lim
0

se demonstra de maneira an aloga.

Teorema 5.3 Se f e limitada numa vizinhanca de a, ent ao, para todo

> 0 dado, existe > 0 talque x X, 0 < |x a| < = < f(x) <
L +, onde = liminf
xa
f(x) e L = limsup
xa
f(x).
Prova.
Pelo teorema anterior, = lim
0

e L = lim
0
L

. Ent ao, dado > 0,

existem
1
> 0 e
2
> 0 tais que <

e L L

< L +.
Assim, tomando = min{
1
,
2
}, temos que

f(x) L

< L + ,
para todo x (X {a}) (a , a +).

Observac ao 5.6 Como no caso de seq u encias, L e o menor n umero

que goza da propriedade acima, e e o maior n umero com a propriedade
acima.
Corol ario 5.4 Seja f limitada numa vizinhanca de a. Ent ao existe lim
xa
f(x)
se, e s o se, f possui um unico valor de ader encia no ponto a.
Prova.
(=) Se lim
xa
f(x) = L ent ao L e o unico valor de ader encia de f no ponto
a, pois se (x
n
) e uma seq u encia de pontos de X {a} que converge para
a, temos, pelo teorema 1.7, que f(x
n
) L.
(=) Se f possui um unico valor de ader encia no ponto a, ent ao L = .
Assim, pelo teorema anterior, para todo > 0 dado, existe > 0 tal que
L < f(x) < L + para todo x (X {a}) (a , a + ). Logo,
L = lim
xa
f(x).

J. Delgado - K. Frensel 188