Anotacoes sobre limite de funcoes

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

rodrigo.u.math@gmail.com

Sum
ario
1 Limite de funco
es
1.1
1.2

1.3

Limite de funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Limite e sequencias . . . . . . . . . . . . . . . . . . . . . . . . . . .

Propriedades aritmeticas dos limites . . . . . . . . . . . . . . . . . . . . . .

1.2.1

Funcao de Dirichlet

. . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2

Limite da composicao de funcoes . . . . . . . . . . . . . . . . . . .

Limites e desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.1

Teorema do sanduche . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.3.2

Criterio de Cauchy para limites . . . . . . . . . . . . . . . . . . . . 12

1.4

Limites laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5

Limites no innito e limites innitos

. . . . . . . . . . . . . . . . . . . . . 16

1.5.1

Denicoes com limites de x . . . . . . . . . . . . . . . . . . . 16

1.5.2

Denicoes com limites de x . . . . . . . . . . . . . . . . . . 17

1.5.3

Denicoes de limites tendendo ao innito . . . . . . . . . . . . . . . 18

1.5.4

Denicoes de limites tendendo a menos innito

1.5.5

Criterio de comparacao . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.5.6

. . . . . . . . . . . 19

lim f (x) = e sequencias. . . . . . . . . . . . . . . . . . . . . . . 21

xa

1.6

Limites de funcoes em espacos metricos . . . . . . . . . . . . . . . . . . . . 22

1.7

Stolz-Ces`aro para limite de funcoes . . . . . . . . . . . . . . . . . . . . . . 23

Captulo 1
Limite de func
oes
1.1

Limite de func
oes

m Definicao

1 (Denicao de limite). Sejam A R um conjunto de n

umeros reais, f de

A em R uma funcao real cujo domnio e A e a A um ponto de acumulacao do conjunto

A. Denimos
lim f (x) = L

xa

sse
> 0, > 0|x A, 0 < |x a| < |f (x) L| < .
Dizemos que L e o limite de f quando x tende para a ou que limite de f (x) com x
tendendo para a e L.
0 < |x a| < signica que x (a , a) (a, a + ), ou x (a , a + ), x = a.
Pela denicao dada, nao e necessario que a A em lim f (x), precisamos apenas que
xa

a A , isto e, todo intervalo (a , a + ) possua pontos de A distintos de a. A funcao f

pode mesmo nao estar denida em a e quando esta denida em a, nao vale necessariamente
lim f (x) = f (a).

xa

Quando falarmos de limites usaremos sempre que a A onde A e o domnio da funcao

da qual queremos estudar lim f (x).

xa


CAPITULO 1. LIMITE DE FUNC
OES

b Propriedade 1 (Unicidade do limite). Sejam A R, f de A em R. Se xa

lim f (x) = L1
e lim f (x) = L2 entao L1 = L2 .
xa

Demonstrac
ao. > 0 existem (1 , 2 )(> 0) tais que para x A vale 0 <

|x a| < 1 implica |f (x) L1 | < e 0 < |x a| < 2 implica |f (x) L2 | < , usando a
2
2
desigualdade triangular para = min{1 , 2 } segue |L1 L2 | |L1 f (x)|+|f (x)L2 | <
o que signica que L1 = L2 .

Propriedade 2 (Limite da funcao constante). Se g(x) = c para todo x A entao

lim g(x) = c.

xa

Demonstrac
ao. Tem-se que g(x) c = 0 logo |g(x) c| = 0 x A entao > 0
> 0| x A, 0 < |x a| < |g(x) c| = 0 < .

Z Exemplo 1. Seja f : R

1
R dada por f (x) = x entao f (x) = 0 para x > 1,
x
1
1
pois 0 < < 1 e da = 0, isso implica que
x
x

1
lim x = 0.
x

b Propriedade 3 (Limite da funcao identidade).

Seja g : A R dada por g(x) = x

entao vale
lim g(x) = a.

xa

Lembrando que a nao necessariamente pertence ao conjunto A, entao a princpio nao

tem-se g(a) = a.
Demonstrac
ao. Tomamos = e da Para 0 < |x a| < tem-se |g(x) a| =
|x a| < = .

Z Exemplo 2. Dada uma funcao r : R R tal que lim r(h)

= 0 pode nao vale que
h
h0

r(h)
r(h)
r(h)
= h e 2 = 1.
lim 2 = 0, por exemplo, r(h) = h2 , tem-se
h0 h
h
h

1.1.1

Limite e sequ
encias

Teorema 1 (Criterio de sequencias para limite). lim f (x) = L lim f (xn ) = L

xa

para toda sequencia de pontos xn A \ {a} tal que lim xn = a.


CAPITULO 1. LIMITE DE FUNC
OES

Demonstrac
ao. .Suponhamos que lim f (x) = L e lim xn = a com xn A\{a}.
xa

Pela denicao de limite tem-se que > 0 , > 0 tal que

0 < |x a| < , x A |f (x) L| <
e pelo limite da sequencia 1 > 0, n0 N |n > n0 0 < |xn a| < 1 , como e garantida
a relacao para qualquer 1 > 0, tomamos 1 = de onde segue 0 < |xn a| < , usando
essa desigualdade com a denicao do limite de f (x) segue |f (xn ) L| < que implica
lim f (xn ) = L.
Agora para provar a recproca, vamos usar a contrapositiva que e
lim f (x) = L lim f (xn ) = L.

xa

> 0 tal que n N podemos obter xn A com 0 < |xn a| <

Entao xn a, mas nao se tem lim f (xn ) = L.

1
e |f (xn ) L)| .
n

$ Corolario 1 (Criterio de divergencia por sequencias). Dadas duas sequencias (xn ), (yn )
A \ {a} com lim xn = lim yn = a entao se lim f (xn ) = lim f (yn ) ou um deles nao existir,
entao lim f (x) nao existe.
xa

Z Exemplo 3. Sejam f : gR R denidas como

f (x) = 0 se x R \ Q, f (x) = x se x Q.
g(0) = 1 e g(x) = 0 se x = 0.

Nessas condicoes vale lim f (x) = lim g(x) = 0 e nao existe lim g(f (x)).
x0

x0

x0

Vale lim f (x) = 0, pois tomamos = entao par 0 < |x| < vale |f (x)| < = ,
x0

tanto para x irracional, pois no caso vale |f (x)| = 0 < , tanto no caso de x racional pois
nesse caso vale |f (x)| = |x| < = , entao em qualquer desses casos temos |f (x)| < .
Tambem vale que lim g(x) = 0, pois tomando = , 0 < |x| < implica x nao nulo,
x0

portanto g(x) = 0 e da |g(x)| = 0 < = .

Nao existe lim g(f (x)).
x0

Seja xn 0 por valores racionais, entao f (xn ) = xn e da lim g(f (xn )) = lim g(xn ) = 0.
Tomando yn 0 por valores irracionais temos f (yn ) = 0 e lim g(f (yn )) = lim g(0) = 1,


CAPITULO 1. LIMITE DE FUNC
OES

logo nao pode existir lim g(f (x)), pois o limite depende de como se aproxima de zero
x0

(usamos o criterio de divergencia por meio de sequencias).

b Propriedade 4.

Se (xn ) em A \ {a} com lim xn = a implicar (f (xn )) convergente

entao lim f (x) existe.

xa

Demonstrac
ao. Usaremos que lim f (x) = L (zn ) A \ {a} com lim zn = a
xa

vale lim f (zn ) = L. Por isso vamos tomar duas sequencias arbitrarias (xn ) e (yn ) com
lim xn = lim yn = a em A \ {a} e vamos mostrar que lim f (xn ) = lim f (yn ). Tomamos
(zn ) denida como z2n = xn e z2n1 = yn , da lim zn = a, portanto lim f (zn ) existe, como
(f (xn )) e (f (yn )) sao subsequencias de (f (zn )) entao elas convergem para o mesmo limite
L, da provamos que (zn ) A \ {a} com lim zn = a vale lim f (zn ) = L que implica
lim f (x) = L.

xa

Propriedade 5. Seja f : A R, a A , B = f (A \ {a}). Se lim f (x) = L entao

xa

L B.
Tal propriedade signica que o limite L pertence ao fecho da imagem f (A \ {a}), isto
e, existem pontos de f (A \ {a}) arbitrariamente proximos de L.
Demonstrac
ao. Usaremos o criterio de sequencias. Como lim f (x) = L, entao
xa

existe sequencia (xn ) em A \ {a} tal que lim f (xn ) = L, da tome f (xn ) = yn , (yn ) e uma
sequencia em f (A \ {a}) tal que lim yn = L, portanto L B.

Z Exemplo 4. lim sen( x1 ) nao existe.

x0

1
1
e yn =
vale lim xn = 0 = lim yn e
2n
2n + 2

1
1
sen( ) = sen(2n) = 0 e sen(2n+ ) = 1 logo os limites sao distintos entao lim sen( )
x0
xn
2
x
nao existe.
1
vale
Em geral, existe t R tal que sen(t) = v [1, 1], tomando xn =
t + 2n
1
lim xn = 0 e sen( ) = sen(t + 2n) = sen(t) = v.
xn
Tomamos as sequencias xn =

Z Exemplo 5. lim x1 nao existe, pois se existisse seria um numero real a e tomando
x0

1
a sequencia xn = , teramos que ter lim n = a o que nao acontece, pois vale lim n = .
n


CAPITULO 1. LIMITE DE FUNC
OES

Z Exemplo 6. lim x nao existe se a Z.

xa

1
1
e yn = a +
, da
n+1
n+1
xn = a 1 e yn = a, logo essas sequencias nao tem o mesmo limite, implicando que
Tomamos as sequencias que convergem para a, xn = a

nao existe lim x.

xa

Z Exemplo 7. Seja f : R \ {0} dada por f (x) = |x|x , entao lim |x|x nao existe.
x0

Se

x
|x|
x
1
|x|
= = 1 se x < 0,
=
= 1, tomamos uma sequencia xn = da
x
x
x
x
n
1
|x|
f (xn ) = 1 e tomando yn =
tem-se f (yn ) = 1, os limites sao distintos, logo lim
x0 x
n
nao existe.
x > 0 entao

Z Exemplo 8. Se a nao e inteiro, entao lim x = a.

xa

Dado a nao inteiro, tem-se que a (m, m + 1) onde m e inteiro, logo podemos escolher
> 0 tal que (a , a + ) (m, m + 1) e da para esses valores, vale x = m = a,
implicando que x a < para qualquer > 0.

b Propriedade 6.

(ver isso depois) Sejam f, gA R. Se g(x) e limitada numa vizi-

nhanca de a e lim f (x) = 0 entao lim f (x).g(x) = 0.

xa

xa

Demonstrac
ao. Tomamos uma sequencia (xn ) em A tal que lim xn = a, temos
que (g(xn )) e limitada e lim f (xn ) = 0, logo lim f (xn )g(xn ) = 0, por propriedade de
sequencias, como a sequencia (xn ) e arbitraria, segue que lim f (x).g(x) = 0.
xa

Z Exemplo 9. lim x x1 = 1 pois escrevemos x1 = x1 + { x1 } da

x0

1
1
x = 1 x{ }
x
x
1
1
como { } e limitada, segue que lim x = 1.
x0
x
x

1.2

Propriedades aritm
eticas dos limites

b Propriedade 7 (Limite da soma). Se xa

lim f (x) = L e lim g(x) = M entao lim f (x) +
xa
xa
g(x) = L + M.


CAPITULO 1. LIMITE DE FUNC
OES

Demonstrac
ao. Tomamos uma sequencia (xn ) em A com lim xn = a, da temos
lim f (xn ) = L e lim g(xn ) = M , e por propriedade de limite de sequencias lim f (xn ) +
g(xn ) = L + M , pela arbitrariedade da sequencia (xn ) conclumos que lim f (x) + g(x) =
xa

L + M.

b Propriedade 8. Se xa
lim fk (x) = Lk entao
n

lim

xa

fk (x) =

k=1

Lk .

k=1

Demonstrac
ao.

b Propriedade 9 (Limite do quociente).

Se lim f (x) = L e lim g(x) = M = 0 entao

xa

xa

L
f (x)
lim
=
.
xa g(x)
M
Demonstrac
ao. Tomamos uma sequencia (xn ) em A com lim xn = a, da temos
lim f (xn ) = L e lim g(xn ) = M , e por propriedade de limite de sequencias
lim

f (xn )
L
=
g(xn )
M
f (x)
L
=
.
xa g(x)
M

pela arbitrariedade da sequencia (xn ) conclumos que lim

b Propriedade 10 (Limite do produto).

Se lim f (x) = L e lim g(x) = M = 0 entao

xa

xa

lim f (x)g(x) = L.M

xa

Demonstrac
ao. Tomamos uma sequencia (xn ) em A com lim xn = a, da temos
lim f (xn ) = L e lim g(xn ) = M , e por propriedade de limite de sequencias
lim f (xn )g(xn ) = LM
pela arbitrariedade da sequencia (xn ) conclumos que lim f (x)g(x) = L.M
xa

b Propriedade 11. Se xa
lim fk (x) = Lk entao
lim

xa

fk (x) =

k=1

Lk .

k=1

$ Corolario 2. Se p N , f : A R dada por f (x) = xp entao

lim xp = ap .

xa


CAPITULO 1. LIMITE DE FUNC
OES

$ Corolario 3. Se f : A R e polinomial f (x) =

ak xk entao

k=0

lim

xc

k=0

ak x =

a k ck .

k=0

Demonstrac
ao.

1.2.1

Fun
c
ao de Dirichlet

m Definicao

a funcao g : R R denida como

2 (Funcao de Dirichlet). E

1 se x Q
g(x) =
0 se x
/Q

b Propriedade 12. Para qualquer a R nao existe xa

lim g(x).
Demonstrac
ao. Como Q e R \ Q sao ambos densos em R, podemos tomar uma
sequencia de racionais (xn ) que converge para a e da g(xn ) = 1, entao lim g(xn ) = 1,
porem tomando uma sequencia (yn ) de irracionais tais que lim(yn ) = a, temos g(yn ) = 0
e lim g(yn ) = 0, como os limites sao diferentes segue que lim g(x) nao existe.
xa

1.2.2

Limite da composic
ao de func
oes

Teorema 2 (Limite da composicao de funcoes). Sejam A, B R, f de A em R e g

de B em R com f (A) B. Se lim f (x) = b e lim g(y) = c ainda com c = g(b), tem-se
xa

yb

lim g(f (x)) = c.

xa

Demonstrac
ao. Da existencia do limite de g(x) temos que para todo > 0
existe 1 > 0 tal que y B, |y b| < 1 |g(y) c| < , onde tiramos a restricao
de y = b, pois no caso y = b a propriedade vale. Agora usando a existencia do limite
de f tomando 1 como f , para f , temos que para 1 existe 2 > 0 tal que x A,
0 < |x a| < 2 |f (x) b| < 1 como f (x) B, podemos tomar y = f (x) de onde do
primeiro limite que |g(f (x)) c| < implicando que lim g(f (x)) = c.
xa

Se x = a implicar f (x) = b ainda teremos a propriedade pois , repetindo o argumento

com pequenas alteracoes:


CAPITULO 1. LIMITE DE FUNC
OES

10

Da existencia do limite de g(x) temos que para todo > 0 existe 1 > 0 tal que y B,
0 < |y b| < 1 |g(y) c| < , onde agora mantemos a restricao de y = b. Usando a
existencia do limite de f tomando 1 como f , para f , temos que para 1 existe 2 > 0
tal que x A, 0 < |x a| < 2 0 < |f (x) b| < 1 ( aqui usamos que x = a implica
f (x) = b) como f (x) B, podemos tomar y = f (x) de onde do primeiro limite que
|g(f (x)) c| < implicando que lim g(f (x)) = c.
xa

Z Exemplo 10. Nesse exemplo mostramos que e necessario supor g(b) = c. Suponha
que g(x) = x, x = 1 e g(1) = 0. Temos que
lim g(x) = 1 = g(1) = 0.

x1

Tomando f (x) = 1, x, segue que

lim f (x) = 1,

xa

porem
lim g(f (x)) = lim g(1) = 0 = lim g(x) = 1.

xa

1.3
1.3.1

xa

x1

Limites e desigualdades
Teorema do sanduche

Teorema 3 (Teorema do sanduche). Sejam f, g, h de A em R, a A e lim f (x) =

xa

lim g(x) = L. Se f (x) h(x) g(x) para todo x A \ {a} entao lim h(x) = L.

xa

xa

Demonstrac
ao. > 0 (1 , 2 )(> 0) tais que x A,
0 < |x a| < 1 L < f (x) < L +
e

0 < |x a| < 2 L < g(x) < L +

, tomando = min{1 , 2 } tem-se L < f (x) h(x) g(x) < L +
que implica lim h(x) = L.
xa


CAPITULO 1. LIMITE DE FUNC
OES

11

b Propriedade 13. Sejam f, g de A em R, a A,se xa

lim f (x) = L e lim g(x) = M com
xa
M > L entao existe > 0 tal que g(x) > f (x) para todo x A com 0 < |x a| < .
Demonstrac
ao. Pela denicao de limite temos > 0, 1 > 0 tal que x A ,
0 < |x a| < 1 implica f (x) (L , L + ) e o mesmo para g(x) , 2 > 0 tal que x A
, 0 < |x a| < 2 implica g(x) (M , M + ), podemos tentar tomar M = L + ,
M L
M L
com isso
= , como M > L tal cumpre a condicao > 0, tomando =
2
2
e = min{1 , 2 } tem-se f (x) < L = M < g(x), isto e, f (x) < g(x) para x A,
0 < |x a| < .

$ Corolario 4. Se lim f (x) = L < M entao existe > 0 tal que f (x) < M para todo
xa

x A com 0 < |x a| < .

Tome g(x) = M para todo x A, assim lim g(x) = M e aplicamos a propriedade
xa

anterior.

$ Corolario 5. Sejam xa
lim f (x) = L e lim g(x) = M . Se g(x) f (x) para todo
xa
x A {a} entao M L.
Pois se fosse L > M , existiria > 0 tal que f (x) > g(x) para 0 < |x a| < o que
entra em contradicao com g(x) f (x).

$ Corolario 6 (Conservacao de sinal). Se xa

lim g(x) = M > 0 entao existe > 0 tal que
g(x) > 0 para todo x A com 0 < |x a| < , tomamos f (x) = 0 e usamos a propriedade
ja demonstrada.

Propriedade 14 (Existencia de limite e limitacao da funcao). Sejam X R, f :

X R, a X . Se existe lim f (x) entao f e limitada numa vizinhanca de a, isto e,

xa

existem A > 0, > 0 tais que 0 < |x a| < , x X |f (x)| < A.

Seja L = lim f (x) e = 1 na denicao de limite, entao existe
xa

> 0|x X, 0 < |x a| < |f (x) L| < 1

L 1 < f (x) < L + 1 multiplicando por 1 segue e invertendo as desigualdades tem-se
L 1 < f (x) < L + 1


CAPITULO 1. LIMITE DE FUNC
OES

12

como temos L |L| e L |L| segue L + 1 |L| + 1 e L + 1 |L| + 1 e

f (x) |L| + 1, f (x) |L| + 1 |f (x)| |L| + 1
tomando A = |L| + 1 segue a propriedade.

1.3.2

Crit
erio de Cauchy para limites

b Propriedade 15. xa
lim f (x) existe sse
> 0 > 0 |0 < |x a| < , 0 < |y a| < |f (x) f (y)| < .
Demonstrac
ao. Se lim f (x) = L entao
xa

> 0, > 0 | x, y A, |x a| < , |y a| < |f (x) b| < , |f (y) b| <

2
2
tomando a desigualdade triangular segue
|f (x) f (y)| |f (y) b| + |f (x) b| <

+ =
2 2

logo nessas condicoes |f (x) f (y)| < .

Para toda sequencia de pontos (xn ) em A com lim xn = a, com as condicoes dadas a
sequencia (f (xn )) e de Cauchy em R como R e completo ela converge o que implica que
existe o limite lim f (x).
xa

1.4

Limites laterais

m Definicao

3 (Limite `a direita). Seja a ponto de acumulacao `a direita de A, isto e,

> 0 vale A (a, a + ) = entao

lim f (x) = L > 0 > 0, x A, 0 < x a < |f (x) L| < .

xa+

Podemos escrever 0 < x a < como a < x < a + .

m Definicao

4 (Limite `a esquerda). Seja a ponto de acumulacao `a esquerda de A, isto

e, > 0 vale A (a , a) = entao

lim f (x) = L > 0 > 0, x A, 0 < a x < |f (x) L| < .

xa


CAPITULO 1. LIMITE DE FUNC
OES

13

Podemos denotar os limites laterais como

lim f (x) = f (a )

xa

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

xa+

b Propriedade 16. Sejam X R, f : X R, a X+. Tomando Y

= X (a, +) e

g = f |Y entao
lim f (x) = L lim g(x) = L.

xa+

xa

Demonstrac
ao. Se x Y temos x (a, +), de onde segue a < x, 0 < x a.
Se lim+ f (x) = L
xa

> 0, > 0 | x X, 0 < x a < f (x) (L , L + )

de x X e 0 < x a, implica x Y e nesse intervalo g = f logo f (x) (L , L + )
que implica lim g(x) = L.
xa

Se lim g(x) = L entao

xa

> 0, > 0 | x Y, 0 < x a < |g(x) L| <

mas em Y , g = f entao |f (x) L| < que implica lim+ f (x) = L.
xa

Propriedade 17. Seja A R, f : A R e a A+ A entao lim f (x) = L sse

xa

existem e sao iguais os limites laterais

lim f (x) = L = lim f (x)

xa+

xa

Demonstrac
ao. Se lim+ f (x) = L = lim f (x) entao > 0, (1 , 2 )(> 0) tais
xa

xa

que x X (a, a + 1 ) implica |f (x) L| < e x X (a 2 , a) implica |f (x) L| < .

Tomando = min{1 , 2 } entao x (a , a) (a, a + ) implica |f (x) L| < e
lim f (x) = L. Falta a outra parte.

xa

b Propriedade 18. Sejam A R, f : A R uma funcao monotona limitada, a A+

e b A . Entao existem os limites laterais
lim f (x) = L,

xa+

lim f (x) = M.

xb


CAPITULO 1. LIMITE DE FUNC
OES

14

Demonstrac
ao. Seja B = inf{f (x), x A, x > a}, tal conjunto e nao vazio pois a
e ponto de acumulacao `a direita e limitado inferiormente , pois f e limitada inferiormente,
logo ele possui nmo L . L+ nao e cota inferior de B , logo existe > 0 tal que a+ A
e vale L f (a + ) < L + , como f e nao-decrescente tem-se com a < x < a + que
L f (x) < f (a + ) < L + da lim+ f (x) = L.
xa

Z Exemplo 11. Vale

lim x = a e lim x = a 1 logo nao existe o limite lim x

xa+

xa

xa

se a e inteiro. Podemos tomar < 1 com a < x < a + < a + 1 e nesse intervalo vale
x = a logo lim+ x = a, da mesma maneira tem-se a 1 < a < x < a, logo nesse
xa

intervalo vale x = a 1 de onde tem-se lim x = a 1 .

xa

b Propriedade 19. xa
lim

f (x) = L ( lim f (x) = L) (xn ) em A decrescente (cresxa

cente) com lim xn = a tem-se lim f (xn ) = L.

Demonstrac
ao. Vale que lim+ f (x) = L lim g(x) = L onde g : B R onde
xa

xa

B = A (a, ). Porem lim g(x) = L (xn ) em B com lim xn = a vale lim g(xn ) = L.
xa

Vamos entao provar a propriedade.

). Se lim+ f (x) = L entao lim g(x) = L que implica (xn ) em B com lim xn = a
xa

xa

vale lim g(xn ) = L, em especial para as sequencias (xn ) que sejam decrescentes.
). Vamos usar a contrapositiva que e se lim g(x) = L entao existe (xn ) em A decresxa

cente com lim xn = a tal que lim g(xn ) = L. Supondo que temos lim g(x) = L entao existe
xa

sequencia (yn ) em B com lim yn = a tal que lim g(yn ) = L, como (yn ) (a, a + ) A,
podemos tomar (xn ) subsequencia de (yn ) tal que lim xn = a e lim g(xn ) = L (pois as
subsequencias devem convergir para o mesmo valor das sequencias), assim ca provado o
resultado.

Z Exemplo 12. Tomamos f : R \ {0} R denida como f (x) = 1 +1a

1
x

com a > 1,

vamos analisar os limites laterais lim+ f (x) e lim f (x).

x0

x0

Seja (xn ) em R \ {0} tal que lim xn = 0 entao vale lim a xn = , pois como lim xn = 0
1
1
podemos tomar c > 0 tal que ac > M > 0 arbitrario e 0 < xn0 < < 1 da axn0 < a c
c
1
M < ac < a xn0 e como xn e decrescente para n0 < n vale xn < xn0 portanto axn < axn0
1
1
1
1
M < a xn0 < a xn logo lim a xn = de onde segue que lim f (xn ) = lim
= 0 que
1
1 + a xn
por sua vez implica lim+ f (x) = 0.
x0


CAPITULO 1. LIMITE DE FUNC
OES

15

Admitimos agora (yn ) crescente em R \ {0} tal que lim yn = 0. a yn =

, como
1
a yn
yn+1 > yn segue que yn > yn+1 , (yn ) e decrescente e tende a zero logo pelo resultado
1
1
1
1
anterior lim a yn = lim a yn = lim 1 = 0, portanto lim 1 + a yn = 1 e lim f (xn ) =
a yn
1
lim
= 1 da vale lim f (x) = 1.
1
x0
1 + a xn

Propriedade 20. Seja f : A R monotona. Se existe (xn ) em A com xn > a,

lim xn = a e lim f (xn ) = L entao lim+ f (x) = L.

xa

Demonstrac
ao. Suponha f nao decrescente, vamos mostrar que
B = {f (x), x R, x > a}
e um conjunto limitado inferiormente. Dado x arbitrario e xo tal que x > a existe xn > a
que satisfaz x > xn > a, pois lim xn = a, f nao decrescente implica f (x) f (xn ), como
(f (xn )) e convergente, vale que tal sequencia e limitada inferiormente, portanto existe M
tal que f (xn ) > M n N da f (x) f (xn ) > M para f (x) B arbitrario, logo B e
limitado inferiormente. Por B ser limitado inferiormente ele possui nmo .
Seja L = inf B = inf{f (x), x R, x > a}, vale que lim f (x) = L (resultado ja
xa

demonstrado), disso segue pelo criterio de sequencias para limite lateral que lim f (xn ) =
L = L, pela unicidade de limite, portanto lim f (x) = L.
xa

Z Exemplo 13. Seja f : R\{0} dada por f (x) = sen( x1 ) 1 +1 2

1
x

. Determine o conjunto

dos pontos L tais que lim f (xn ) = L, com lim xn = 0, xn = 0.

Tomando o modulo da expressao




1
1
1
sen( )
=
1
1 < 1


x 1 + 2x
1 + 2x
1

pois 0 < 2 x , da nao podemos ter limites dessa expressao fora do intervalo [1, 1], vamos
mostrar que temos limites em cada ponto desse intervalo .
1
1
vale sen( ) =
t + 2n
xn
sen(t) = v, alem disso (xn ) e decrescente com lim xn = 0, portanto vale lim f (xn ) =
v
lim
= v, pois o limite no denominador resulta em 1 (limite ja calculado).
1
1 + 2 xn
Existe t R tal que sen(t) = v [1, 1]., Tomando xn =


CAPITULO 1. LIMITE DE FUNC
OES

1.5
1.5.1

16

Limites no infinito e limites infinitos

Definic
oes com limites de x

m Definicao

5. Seja A R ilimitado superiormente e f : A R, dizemos que

lim f (x) = L > 0 A > 0, x > A |f (x) L| < .

Tal denicao abrange a denicao para limite de sequencias, que e tomada como o caso
A = N.

m Definicao

6. lim f (x) =
x

A > 0, B > 0 | x > B f (x) > A.

1
b Propriedade 21. Se x
lim f (x) = entao lim
= 0.
x f (x)
Demonstrac
ao. Pela primeira propriedade temos B > 0, A > 0 | x > A
f (x) > B entao a funcao assume apenas valores positivos a partir de certo valor de x, se
1
f (x) > 0 entao 0 <
f (x)
1
1
<
=
f (x)
B
1
= 0.
x f (x)

logo vale lim

Z Exemplo 14. Pode acontecer de

1
= 0 porem lim f (x) = , como o caso
x f (x)
x
lim

de f (x) = x vale
1
=0
x x
lim

e
lim x = .

m Definicao

7. lim f (x) =
x

A > 0, B > 0 | x > B f (x) < A.


CAPITULO 1. LIMITE DE FUNC
OES

17

Propriedade 22. Seja f : B R limitada superiormente e nao-decrescente, B

ilimitado superiormente entao

lim f (x) = sup{f (x), x B}.

Demonstrac
ao.
f e limitada superiormente logo existe sup{f (x), x B} = L. Como L e o supremo,
dado > 0, existe xA B tal que f (xA ) (L , L], como f e nao-decrescente temos
para x > xA , L f (x) f (xA ), logo f (x) (L , L] o que implica
lim f (x) = L.

Propriedade 23 (Limite da soma). Sejam g, f denidas em B R ilimitado. Se

lim f (x) = L1 e lim g(x) = L2 entao

lim f (x) + g(x) = L1 + L2 .

Demonstrac
ao. Dado > 0 arbitrario existe A1 > 0 tal que x B, x > A1

implica |f (x) L1 | < e existe A2 > 0 tal que x B, x > A2 implica |f (x) L1 | <
2

|g(x) L2 | < pela existencia de lim f (x) = L1 e lim g(x) = L2 , tomando A > A1 + A2
x
x
2
valem ambas propriedades descritas e da temos por desigualdade triangular
|f (x) + g(x) (L1 + L2 )| |f (x) L1 | + |g(x) L2 | <

1.5.2

+ = .
2 2

Definic
oes com limites de x

m Definicao

8. Seja A R ilimitado inferiormente e f : A R, dizemos que

lim f (x) = L

sse
> 0 A > 0, x < A |f (x) L| < .

m Definicao

9. lim f (x) = sse

x

A > 0, B > 0 | x < B f (x) < A.

m Definicao

10. lim f (x) = sse

x

A > 0, B > 0 | x < B f (x) > A.


CAPITULO 1. LIMITE DE FUNC
OES

1.5.3

18

Definic
oes de limites tendendo ao infinito

m Definicao

11. Dizemos que lim+ f (x) = quando

xa

A > 0, > 0 | 0 < x a < f (x) > A.

m Definicao

12. Dizemos que lim f (x) = quando

xa

A > 0, > 0 | 0 < a x < f (x) > A.

m Definicao

13. Dizemos que lim f (x) = quando

xa

A > 0, > 0 | 0 < |x a| < f (x) > A.

Negar que lim f (x) = signica dizer
xa

A > 0, > 0 | x A com 0 < |x a| < e f (x) < A.

b Propriedade 24. Se xa
lim f (x) = e lim g(x) = entao
xa
lim (f (x) + g(x)) = .

xa

Intuitivamente, temos que se f (x) e g(x) assumem valores arbitrariamente grandes

com x proximo de a, entao f (x) + g(x) tambem assume valor arbitrariamente grande
nessas condicoes. Por isso dizemos que + nao e uma forma indeterminada, ela e
determinada com valor .
ao. Seja A > 0 arbitrario , temos por condicoes de que lim f (x) =
Demonstrac
e lim g(x) = , existem 1 > 0 e 2 > 0 tais que

xa

xa

0 < |x a| < 1 f (x) > A,

0 < |x a| < 2 g(x) > A,
tomando entao = min{1 , 2 } segue que tanto f (x) > A e g(x) > A para |x a| <
, por isso tambem temos f (x) + g(x) > 2A > A com |x a| < e da segue que
lim (f (x) + g(x)) = , por denicao de limite innito .

xa


CAPITULO 1. LIMITE DE FUNC
OES

19

Propriedade 25. Se lim f (x) = e g(x) > c > 0 numa vizinhanca de a entao
xa

lim f (x).g(x) = .

xa

Demonstrac
ao. Para todo A > 0 existe > 0 tal que x (a , a + ) implica
A
g(x) > c e f (x) > , da g(x).f (x) > A o que implica lim f (x).g(x) = .
xa
c

Z Exemplo 15.

1
1
(2 + sen( )) =
2
x0 x
x
lim

pois o limite da primeira funcao e innito e a segunda funcao e limitada inferiormente

por 1 .

1.5.4

Definic
oes de limites tendendo a menos infinito

m Definicao

14. Dizemos que lim+ f (x) = quando

xa

A > 0, > 0 | 0 < x a < f (x) < A.

m Definicao

15. Dizemos que lim f (x) = quando

xa

A > 0, > 0 | 0 < a x < f (x) < A.

m Definicao

16. Dizemos que lim f (x) = quando

xa

A > 0, > 0 | 0 < |x a| < f (x) < A.

$ Corolario 7. Se lim f (x) = entao f e ilimitada numa vizinhanca de a. Pois para

xa

qualquer A > 0 que escolhermos, ira existir > 0 tal que |x a| < implique f (x) > A,
logo f nao e limitada.

$ Corolario 8. Se xa
lim f (x) = entao f e ilimitada numa vizinhanca de a. Pois para
qualquer A > 0 que escolhermos, ira existir > 0 tal que |x a| < implique f (x) < A,
logo f nao e limitada.

Propriedade 26 (Unicidade do limite). Se lim f (x) = entao nao acontece de

xa

lim f (x) = L para algum L real ou lim f (x) = .

xa

xa


CAPITULO 1. LIMITE DE FUNC
OES

20

Demonstrac
ao. Se lim f (x) = L entao f seria limitada numa vizinhanca de a,
xa

o que nao pode acontecer. Se lim f (x) = entao existiria > 0 tal que |x a| <
xa

implicaria f (x) < A e por lim f (x) = implicaria existir 1 > 0 tal que |x a| < 1
xa

implica f (x) > A, tomando 2 < min{, 1 } teramos que ter f (x) > A e f (x) < A, logo
f (x) > 0 e f (x) < 0 o que e absurdo.

1.5.5

Crit
erio de comparac
ao

b Propriedade 27 (Criterio de comparacao). Se g(x) f (x) numa vizinhanca qualquer

de a, entao lim f (x) = implica lim g(x) = , isto e, se a funcao menortende ao
xa

xa

innito a maiortambem tende ao innito.

Demonstrac
ao. Existe > 0 tal que x A, |x a| < implica g(x) f (x),
como lim f (x) = entao para todo A > 0 existe 1 > 0 tal que |x a| < 1 implica
xa

f (x) > A, tomando 2 < min{1 , } tem-se que g(x) f (x) e f (x) > A da g(x) > A o
que implica lim g(x) = .
xa

$ Corolario 9. Se xa
lim f (x) existe e lim g(x) = entao g(x) > f (x) numa vizinhanca
xa
de a, pois f e limitada valendo f (x) |f (x)| < A e g e ilimitada numa vizinhanca de a
valendo g(x) > A > f (x).

Z Exemplo 16. lim |x|1 = pois para qualquer A > 0 tomando = A1 tem-se de
x0

1
1
1
0 < |x| <
que A <
logo lim
= .
x0 |x|
A
|x|

Z Exemplo 17. Tomando 1 < x < 1, x = 0 tem-se 0 < |x| < 1 e da |x|

< |x|, isto

1
1
1
e, x2 < |x| logo 2 >
isso implica que lim 2 = 0 pelo criterio de comparacao.
x0 x
x
|x|
2

b Propriedade 28 (Teorema do sanduche). Se vale f (x) g(x) h(x) para x sucientemente grande, se lim f (x) = lim h(x) = L entao lim g(x) = L.
x

Demonstrac
ao. Existem A1 , A2 > 0 tais que para x > A1 vale
L f (x) L +
para x > A2 vale
L g(x) L +


CAPITULO 1. LIMITE DE FUNC
OES

21

e para x > A3 vale f (x) g(x) h(x) , tomando B > A1 + A2 + A3 e x > B segue que
L f (x) g(x) h(x) L +
que implica lim g(x) = L.
x

1.5.6

lim f (x) = e sequ

encias.

xa

b Propriedade 29. xa
lim f (x) = sse lim f (xn ) = com xn B \ {a} e lim xn = a.
Demonstrac
ao. . Do limite da funcao tem-se A > 0, > 0 tal que
0 < |x a| < implica f (x) > A, do limite da sequencia temos que existe n0 N tal que
n > n0 implica |xn a| < e da f (xn ) > A que signica lim f (xn ) = .
. Usaremos a contrapositiva. Existe A > 0 tal que podemos construir uma sequencia
1
xn que satisfaz 0 < |xn a| < e f (xn ) < A, da lim xn = a e lim f (xn ) = .
n

b Propriedade 30. Seja P

: R R com P (x) =

ak xk com an = 0, n 1. Se n e

k=0

par entao lim P (x) = lim P (x) sendo se an > 0 e se an < 0. Se n e mpar entao
x

lim P (x) = e lim P (x) = com an > 0 e lim P (x) = e lim P (x) = se

an < 0.
z
n1

Demonstrac
ao. Escrevemos P (x) = an xn (
|k=0

}|
{
ak
+1). Se n e par lim xn an =
nk
x
an x
{z }
0

= lim xn an com an > 0 e lim xn an = = lim xn an se an < 0, portanto o mesmo

x

segue para P (x).

Se n e mpar, lim xn an = e lim xn an = com an > 0, caso an < 0 tem-se
x

lim xn an = e lim xn an = .

b Propriedade 31. Seja f : [a, ) R limitada.

Para cada t a denimos

Mt = sup{f (x) | x [t, )} = sup At

mt = inf{f (x) | x [t, )} = sup At


CAPITULO 1. LIMITE DE FUNC
OES

22

wt = Mt mt , chamada de oscilacao de f em I = [t, ). Nessas condicoes, existem

lim Mt e lim mt .

lim f (t) lim wt = 0.

t

Demonstrac
ao. Mt e nao-crescente e mt e nao-decrescente. Se s > t vale
que {f (x) | x [s, } = As {f (x) | x [t, )} = At , portanto sup At sup As ,
implicando Mt Ms logo mt e nao-crescente. Da mesma maneira mt e nao-decrescente,
pois de As At segue inf As inf At e da ms mt que signica que mt e nao-decrescente.
Ambas funcoes sao limitadas logo os limites lim Mt e lim mt existem.
t

lim Mt = L, lim mt = l lim wt = L l.

Agora provamos a equivalencia enunciada. ). Se lim wt = 0 entao lim f (t)

t

existe. Vale que mt f (t) Mt (pois mt e Mt sao nmo e supremo respectivamente),

se lim wt = 0 entao L l = 0 L = l, da por teorema do sanduche tem-se
t

L = lim mt lim f (t) lim Mt = L

t

de onde segue lim f (t) = L.

t

). Se lim f (t) = L entao > 0 x a tal que para t a vale L < f (t) < L + ,
t

logo L mt f (t) Mt L + pois mt e nmo e Mt e supremo, portanto

Mt mt 2 (pois ambos pertencem ao intervalo (L , L + )) e isso implica que
lim Mt = lim mt = L da lim wt = 0.

1.6

Limites de func
oes em espacos m
etricos

m Definicao

17. Sejam A M , a A e f : A N , b N e o limite de f (x) quando

x tende a a quando

> 0, > 0 | d(x, a) < d(f (x), b) < .


CAPITULO 1. LIMITE DE FUNC
OES

1.7

23

Stolz-Ces`
aro para limite de funco
es

b Propriedade 32 (Stolz-Ces`aro para limite de funcoes). Sejam f, g : R+ R limitadas em cada intervalo limitado, g crescente, com
f (x)
=L
x g(x)
lim

lim g(x) =

entao
lim

f (x)
= L.
g(x)

Demonstrac
ao. Dado > 0 existe, tal que para x > M vale
L<

f (x)
<+L
g(x)

como g e crescente vale g(x) > 0 entao podemos multiplicar a desigualdade por tal
n1

, que resulta em
termo, substituir x por x + k onde k natural e aplicar a soma
k=0

( L)(g(x + n) g(x)) + f (x) < f (x + n) < ( + L)(g(x + n) g(x)) + f (x)

por soma telescopica, dividimos por g(x + n), que pode ser considerado positivo pois
g

( L)(1

g(x)
f (x)
f (x + n)
g(x)
f (x)
)+
<
< ( + L)(1
)+
g(x + n)
g(x + n)
g(x + n)
g(x + n)
g(x + n)

agora passamos as sequencias, tomamos x = yn em [M, M + 1] e xn = n + yn e uma

sequencia arbitraria que tende a innito, g e f sao limitadas em [M, M + 1] da
( L)(1

g(yn )
f (yn )
f (xn )
g(yn )
f (yn )
)+
<
< ( + L)(1
)+
g(xn )
g(xn )
g(xn )
g(xn )
g(xn )

a passagem do limite nos garante que lim

lim g(xn ) =

f (xn )
= L pois g(yn ) e f (yn ) sao limitadas e
g(xn )