Limite de Fun cao em um Ponto

NA 7
Notas de Aula 7 Limite de Funcao em um
Ponto
Introducao
Nestas Notas de Aula - NA, inicia-se o estudo de limite de uma funcao
real em um ponto de seu domnio. Este conceito e o ponto de partida de todo
o C alculo Diferencial e consequentemente da An alise Real, j a que o conceito
de derivada de uma funcao se baseia no de limite.
Objetiva-se aqui estudar o conceito de limite de uma funcao em um
ponto de acumulacao de um subconjunto da reta de uma forma precisa e
rigorosa, considerando que a abordagem intuitiva foi vista na disciplina de
C alculo. Serao apresentados alguns resultados basicos sobre a existencia e a
inexistencia do limite de uma funcao e, tambem, a caracterizacao do limite
de uma funcao por meio do conceito ja estudado de limite de sequencia.
Pontos de Acumula cao
Para que a nocao de limite de uma funcao f num ponto x
0
faca sentido
f deve estar denida em pontos pr oximos de x
0
, apesar de f nao precisar
necessariamente estar denida no pr oprio ponto x
0
. A deni cao a seguir
fornece a descricao precisa desta ideia de proximidade.
Denicao 7.1 Seja X R. Um ponto x
0
R e um ponto de acumulacao
do conjunto X quando para todo n umero real > 0 existe ao menos um ponto
x X tal que x = x
0
e |x x
0
| < .
A Denicao 7.1 pode ser reescrita usando a nocao de vizinhanca (re-
corde a Denicao 2.2) da seguinte forma:
x
0
R e um ponto de acumulacao do conjunto X quando toda
vizinhanca V

(x
0
) = (x
0
, x
0
+ ) de x
0
de raio contem ao menos um
ponto de X diferente de x
0
.
Note que um ponto de acumulacao de X pode ou nao ser elemento de
X. Observe isto nos exemplos que se seguem.
Exemplo 7.1 (a) Se X e o intervalo aberto (0, 1) entao todos os pontos
do intervalo fechado [0, 1] sao pontos de acumulacao de X - de fato,
dado x
0
qualquer em [0, 1], cada vizinhanca de centro em x
0
contem
1
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
algum ponto de X = (0, 1) diferente de x
0
. Note que 0 e 1 sao pontos
de acumulacao de X embora nao pertencam a X. Neste exemplo, todos
os pontos de X sao pontos de acumulacao de X mas nem todo ponto
de acumulacao de X e ponto de X.
(b) Se X = {1, 1} R entao 1 nao e ponto de acumulacao de X, pois,
por exemplo, V
1
(1) X = {1}, ou seja, a vizinhanca de centro em
x
0
= 1 e raio 1 nao contem nenhum ponto de X diferente do proprio
x
0
= 1. Da mesma forma, V
1
(1) X = {1}, ou seja, a vizinhanca de
centro em x
1
= 1 e raio 1 nao contem nenhum ponto de X diferente
do proprio x
1
= 1. Portanto, -1 e 1 sao pontos de X neste caso, mas
nao e verdade que toda vizinhanca de cada um destes pontos contenha
algum ponto de X diferente deles. Alem disso, dado qualquer outro
x = 1, 1, e facil encontrar vizinhanca deste ponto que nao contenha
os pontos de X = {1, 1}. Assim, o conjunto de pontos de acumulacao
deste conjunto X e o conjunto .
(c) Para qualquer subconjunto nito X = {x
1
, x
2
, . . . , x
k
} em R, o conjunto
de seus pontos de acumulacao e vazio, pois . . . Justique!
(d) O conjunto innito N nao tem pontos de acumulacao, pois . . . Justi-
que!
(e) O conjunto X = {1/n : n N} tem um unico ponto de acumulacao
que e o 0. De fato, pela Propriedade Arquimediana (ver NA 02), para
todo n umero real > 0, existe n

N tal que < 0 < 1/n

< .
Por outro lado, xado x = 1/n X qualquer, a vizinhanca de centro
em x e raio |1/n 1/(n + 1)| nao possui nenhum ponto de X alem do
proprio x.
(f ) Se X := Q entao todo n umero real e ponto de acumulacao de X por
causa da densidade de Q em R (ver Notas de Aula 02). De fato, xados
x
0
X e um real > 0, como x
0
e x
0
sao n umeros reais, existe
r Q tal que x
0
< r < x
0
< x
0
+ . Ou seja, cada vizinhanca de
x
0
X de raio contem algum r X com r = x
0
.
(g) Se X := [0, 1] Q entao todo ponto do intervalo [0, 1] e ponto de acu-
mula cao de X (justique).
CEDERJ
2
Limite de Fun cao em um Ponto
NA 7
Limite de Funcao em um Ponto
Denicao 7.2 Sejam X R, x
0
um ponto de acumulacao de X e f : X
R uma fun cao. Um n umero real L e o limite de f em x
0
quando
dado qualquer n umero real > 0 existe um n umero real > 0 tal que, para
todo x X, se 0 < |x x
0
| < entao |f(x) L| < .
Notacoes: L = lim
xx
0
f(x) ou f(x) L quando x x
0
.
Com smbolos, mas ressaltando-se a implicacao embutida no enunciado,
reescreve-se a Denicao 7.2:
L = lim
xx
0
f(x)

> 0, > 0, x X, se 0 < |x x

0
| < ent ao |f(x) L| < .
Observa cao 7.1 Observam-se os seguintes fatos importantes:
(a) Na Denicao 7.2 nao importa se f esta ou nao denida em x
0
.
(b) Em geral, o depende de e algumas vezes, para enfatizar, isto escreve-
se () ou = ().
(c) Diz-se que a fun cao f possui limite no ponto x
0
quando existe um
n umero real L tal que L = lim
xx
0
f(x). Diz-se que nao existe limite de f
em x
0
quando nao existe n umero real L que seja o limite de f em x
0
.
Relembrando propriedades de m odulo:
|x x
0
| < < x x
0
< x (x
0
, x
0
+ ) = V

(x
0
) ;
0 < |xx
0
| < 0 < |xx
0
| e |xx
0
| < x = x
0
e x V

(x
0
).
Portanto, a desigualdade 0 < |x x
0
| < signica que x = x
0
e x
pertence `a -vizinhan ca V

(x
0
) de x
0
;
A desigualdade |f(x)L| < signica que f(x) pertence ` a -vizinhan ca
V

(L) de L.
A partir dos fatos acima pode-se reescrever a Denicao 7.2 usando-se
a nocao de vizinhanca, o que e feito no resultado a seguir, cujos detalhes
da prova sao deixados como exerccio. A Figura 7.1 traz a interpreta cao
geometrica da deni cao de limite usando a nocao de vizinhanca.
3
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
x
0
L
y
x
f(x
0
)
dada V

(L)
existe V
(x
0
)
y = f(x)
Figura 7.1: O limite de f em x
0
e L. Observe que aqui L = f(x
0
).
CEDERJ
4
Limite de Fun cao em um Ponto
NA 7
Proposicao 7.1 Seja f : X R e seja x
0
um ponto de acumulacao de X.
Entao, lim
xx
0
f(x) = L se, e somente se, dada qualquer -vizinhanca V

(L) de
L existe uma -vizinhanca V

(x
0
) de x
0
tal que, se x = x
0
e qualquer ponto
de V

(x
0
) X entao f(x) pertence `a vizinhanca V

(L).
Na Denicao 7.2 e na Observacao 7.1, L foi referido como o limite de
f em x
0
, pois o limite quando existe e unico.
Proposicao 7.2 Sejam f : X R uma fun cao e x
0
um ponto de acu-
mula cao de X. Se f possui limite em x
0
entao este limite e unico.
Prova: Suponha que L
1
e L
2
sao limites de f no ponto de acumulacao x
0
de X. Uma forma de concluir que L
1
= L
2
e usar o Exemplo 1.3, das NA
01. Para isso, dado > 0, como /2 > 0, pela Denicao 7.1 para L
1
e L
2
,
existem
1
=
1
() e
2
=
2
() tais que
se x X e 0 < |x x
0
| <
1
entao |f(x) L
1
| <

2
e ()
se x X e 0 < |x x
0
| <
2
entao |f(x) L
2
| <

2
. ()
Para := min {
1
,
2
} valem () e (). Da, se x X e 0 < |x x
0
| <
entao pela desigualdade triangular, tem-se
0 |L
1
L
2
| = |L
1
f(x)+f(x)L
2
| |f(x)L
1
|+|f(x)L
2
| <

2
+

2
= .
Portanto, para > 0 qualquer, tem-se que 0 |L
1
L
2
| < . Logo, pelo
Exemplo 1.13, L
1
= L
2
.
O Prel udio a seguir ilustra como trabalhar com a deni cao de limite de
uma funcao num ponto.
Prel udio 7.1 Seja f : X R R uma funcao e seja x
0
um ponto de
acumula cao de X. Por denicao,
L = lim
xx
0
f(x)
quando
Para todo real > 0, existe um real > 0, tal que,
para todo x X, se 0 < |x x
0
| < entao |f(x) L| < .
()
Como quem orienta a demonstra cao, neste caso, e a estrutura do enunciado que
se deve provar, a demonstra cao de que L = lim
xx
0
f(x) e guiada pelas palavras
que estao destacadas em azul acima. Isto signica que as seguintes passagens
devem aparecer necessariamente na demonstra cao.
5
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
Seja > 0 onde R.
Tome-se > 0 tal que . . . (Entra aqui, o n umero real , a ser encontrado.
Este dependera do xado em praticamente todos os casos.
Para encontrar faz-se um rascunho.)
Seja x X tal que 0 < |x x
0
| < .
Entao |f(x) L|. . .
.
.
.
desenvolve-se esta ultima expressao, com as justicativas necessarias
.
.
.
Portanto |f(x) L| < . . . < .
Assim, se 0 < |x x
0
| < entao |f(x) L| < .
Conclusao: Para todo > 0 existe > 0 tal que, para todo x Domf,
se 0 < |x x
0
| < entao |f(x) L| < .
Por denicao, isto signigica que L = lim
xx
0
f(x).
Como no caso das denicoes de limite de sequencia e de supremo enmo, e
necessario fazer um rascunho, ou seja, um raciocnio de tras para a frentepara
achar . Neste rascunho, reescreve-se de forma apropriada a expressao |f(x)L|
para se obter alguma rela cao com a hipotese |xx
0
|: mas cuidado, na demons-
tracao propriamente dita, nunca se desenvolve a tese: o que se faz e sempre
desenvolver a hipotese para se obter a tese. Estude o proximo exemplo.
Exemplo 7.2 Seja f : R R denida por f(x) = (5x 3)/4. Mostre por
meio da denicao que lim
x1
5x 3
4
=
1
2
.
Note que aqui Domf = R e que, como x
0
= 1 e um ponto de acu-
mulacao de Domf, pode-se estudar o limite no ponto x
0
= 1. Com as
notacoes da Denicao 7.2, tem-se que L = 1/2 e x
0
= 1.
Tendo em mente a estrutura apresentada no Prel udio 7.1, o primeiro
passo e fazer um rascunho para determinar o n umero real > 0. Lembre-se
que este rascunho nao e a demonstracao e nao deve aparecer nela!!
CEDERJ
6
Limite de Fun cao em um Ponto
NA 7
1
a
etapa: Rascunho- =? tal que se x R e 0 < |x 1| < entao

5x 3
4

1
2

< . (
1
)

5x 3
4

1
2

5x 3 2
4

5(x 1)
4

=
5|x 1|
4
.
e tem-se que
5|x 1|
4
< |x 1| <
4
5
.
Assim, o > 0 desejado deve ser = 4/5. Fim do rascunho!
Observa cao importantssima: Deve car bem entendido que a Denicao
7.2 diz que o n umero real depende de e, `as vezes, do ponto x
0
, j a que
ambos sao xados previamente: (para cada > 0 existe > 0, tal que para
todo x ...)- vide (). Em hipotese nenhuma, o encontrado pode depender
de x!!
2
a
etapa: Demonstracao- Agora vem a demonstracao propriamente dita.
Esta e a parte que sera apresentada como a resolucao. Observe como deve
ser completada a estrutura da prova esbocada acima e como os c alculos feitos
no rascunho aparecem aqui:
Seja > 0 onde R.
Toma-se > 0 tal que
=
4
5
. ()
Seja x Domf = R tal que 0 < |x 1| < . Entao

5x 3
4

1
2

5x 3 2
4

5(x 1)
4

=
5|x 1|
4
<
5
4

por ()
=
5
4

4
5
= .
Assim, se 0 < |x 1| < entao

5x 3
4

1
2

< .
Conclusao: Para todo > 0 existe > 0 tal que, para todo x Domf se
0 < |x 1| < entao

5x3
4

1
2

< .
Portanto, pela Denicao 7.2, pode-se armar que lim
x1
5x 3
4
=
1
2
.
Exemplo 7.3 Considere f : R
+
R denida por f(x) =

x. Mostrar,
pela denicao de limite, que 2 = lim
x4

x.
1
A ideia e desenvolver

5x 3
4

1
2

, procurando n umeros maiores que esta expressao

e que dependam de |x 1| (que e a hipotese aqui) e de constantes reais, para que seja
possvel ent ao comparar este resultado com .
7
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
Notar que aqui Domf = R
+
e, como x
0
= 4 e um ponto de acumulacao
do Domf, pode-se falar do limite no ponto x
0
= 4. Com as nota coes da
Denicao 7.2, note que aqui L = 2 e x
0
= 4.
Novamente, seguindo a estrutura apresentada no Prel udio 7.1, o pri-
meiro passo e fazer um rascunho para determinar o n umero real > 0, lem-
brando sempre que este rascunho nao e a demonstracao e n ao deve aparecer
nela.
1
a
etapa: Rascunho- =? tal que se x R
+
e 0 < |x 4| < entao
|

x 2| < . (
2
)
|

x 2| =

x 2).

x + 2

x + 2

x 4

x + 2

=
=
|x 4|
|

x + 2|

x + 2 0
=
|x 4|

x + 2

x + 2 2
|x 4|.
1
2
.
Da
|x 4|
2
< |x 4| < 2
Assim, o > 0 desejado pode ser = 2. Fim do rascunho.
2
a
etapa: Demonstracao- A demonstracao propriamente dita. Esta e
a parte que sera apresentada como a resolucao. Observe como deve ser
completada a estrutura da prova esbocada acima e como os calculos feitos
no rascunho aparecem aqui:
Seja > 0 onde R.
Toma-se > 0 tal que = 2.
Seja x Domf = R
+
tal que 0 < |x 4| < . Entao
|

x 2| =

x 2)

x + 2

x + 2

=
|x 4|
|

x + 2|

x + 2 0
=
|x 4|

x + 2

x + 2 2

|x 4|
2
<

2
=
2
2
= .
Assim, se 0 < |x 4| < entao |

x 2| < .
Conclusao: Para todo > 0 existe > 0 tal que, para todo x Domf se
0 < |x 4| < entao |

x 2| < .
Nestas condi coes, pela Denicao 7.2 tem-se que 2 = lim
x4

x.
2
Como antes, a ideia e desenvolver |

x 2|, procurando n umeros maiores que esta

expressao e que dependam de |x 4| (que e a hipotese aqui) e de constantes reais, para
que seja possvel ent ao comparar este resultado com .
CEDERJ
8
Limite de Fun cao em um Ponto
NA 7
Exemplo 7.4 Os exemplos a seguir sao bem simples, tem demonstracao
quase direta. Esforce-se para reconhecer neles a estrutura de demonstracao
apresentada no Prel udio 7.1.
(a) Se f : R R e a fun cao constante f(x) = c para todo x R, onde
c R, entao lim
xx
0
f(x) = c, pois dado qualquer > 0 existe > 0,
por exemplo := 1 tal que, se 0 < |x x
0
| < 1 entao |f(x) c| =
|c c| = 0 < . Como > 0 e arbitrario, conclui-se da Denicao 7.2
que lim
xx
0
f(x) = c.
(b) lim
xx
0
x = x
0
. Aqui f e a fun cao dada por f(x) = x, que e denida em
todo R. Dado entao > 0 qualquer, existe > 0, por exemplo :=
tal que, se 0 < |x x
0
| < = entao |f(x) x
0
| = |x x
0
| < . Logo,
pela Denicao 7.2 segue que lim
xx
0
f(x) = x
0
.
Exemplo 7.5 Estude este exemplo com muita aten cao.
Seja f : R R denida por f(x) = x
2
. Mostrar, por meio da denicao,
que lim
x3
x
2
= 9.
Aqui Domf = R e x
0
= 3 e um ponto de acumulacao do Domf. Pode-
se entao falar do limite de f no ponto 3. Portanto, lim
x3
x
2
= 9 signica, pela
Denicao 7.2 que:
Para cada > 0 existe > 0 tal que, para todo x Domf = R,
se 0 < |x 3| < entao |x
2
9| < .
1
a
etapa: Rascunho- Procura-se =? tal que se x R e 0 < |x 3| <
entao |x
2
9| < . Ora,
|x
2
9| = |(x 3)(x + 3)| = |x 3||x + 3|
Note que a express ao |x3| apareceu no desenvolvimento, como era de se esperar.
Mas |x3| est a multiplicado pelo termo |x+3| que depende de x, o qual n ao pode
ser isolado, pois pode depender de mas NUNCA de x.
Aten cao! Interessam os valores de x pr oximos de 3. Ou seja, |x 3| <
onde > 0 deve ser sucientemente pequeno para que |x
2
9| < . Logo
pode-se restringir esta proximidade somente a valores de x tais que |x 3| < 1,
por exemplo. Ou seja, imp oe-se que seja menor do que 1, ou algum outro n umero
pequeno. Este procedimento e usado para se conseguir uma constante maior do
que |x + 3|. Estude atentamente o raciocnio a seguir, principalmente o trabalho
com o m odulo:
|x 3| < 1 1 < x 3 < 1 2 < x < 4
9
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
5 < x + 3 < 7
como x + 3 > 5 > 0
|x + 3| = x + 3 < 7.
Isto signica que, se |x 3| < 1 entao |x + 3| < 7. Tem-se, entao
|x
2
9| = |x 3||x + 3|
se |x 3| < 1
< |x 3|.7
E da, 7|x3| < |x3| < /7. Deve-se portanto tomar := min{1, /7}.
Assim, se |x 3| < entao valem as duas condi coes: |x 3| < 1 e |x 3| < , de
que se precisa para fazer as contas. (
3
) Fim do rascunho!
2
a
etapa: Demonstracao- Seja > 0 onde R.
Tome-se = min{1, /7}. Entao > 0.
Seja x Domf = R tal que 0 < |x 3| < = min{1, /7}. Logo vale
1 e /7 (aten cao!).
Entao |x
2
9| = |(x 3)(x + 3)| = |x 3||x + 3|.
Sendo |x 3| < 1 tem-se que:
|x 3| < 1 1 < x 3 < 1 2 < x < 4
5 < x + 3 < 7
x + 3 > 5 > 0
|x + 3| = x + 3 < 7.
Portanto,
|x
2
9| = |x 3||x + 3| < |x 3|.7
|x 3| < /7
<

7
.7 = .
Assim, se 0 < |x 3| < = min{1, /7} entao |x
2
9| < .
Conclusao: para todo > 0 existe > 0 tal que, para todo x Domf = R
se 0 < |x 3| < entao |x
2
9| < . Logo, pela Denicao 7.2, lim
x3
x
2
= 9.
Nos pr oximos exemplos sao provados resultados gerais sobre limite de
funcao num ponto. Como antes, em cada um deles voce deve se esforcar para
reconhecer a estrutura da demonstracao apresentada no Prel udio 7.1. Sao
casos em que uma condi cao adicional sobre |xx
0
| e necessaria para se poder
fazer as majora coes. Os rascunhos nao aparecem, mas as demonstracoes sao
bem detalhadas para facilitar o entendimento de todas as passagens. Esforce-
se para entender os exemplos completamente e estude-os com atencao, para
ser capaz de refaze-los sozinho - voce dever a ser capaz de fazer os rascunhos
por si. O primeiro item e o caso geral do Exemplo 7.5. Repare que a conta
esta efetuada de uma forma um pouco diferente daquela usada l a. Isto foi
3
Voce n ao ter a que dar todas estas explica c oes, mas ter a que entende-las e indicar o
seu raciocnio claramente, pensando em quem vai le-lo.
CEDERJ
10
Limite de Fun cao em um Ponto
NA 7
feito de modo a superar o problema que vem do fato de trabalharmos num
caso geral, sem saber qual o sinal de x
0
.

E uma outra tecnica a ser aprendida,
que so usa propriedades de m odulo.
Exemplo 7.6 Mostrar os seguintes limites por meio da Denicao 7.2.
(a) lim
xx
0
x
2
= x
2
0
.
Nesse caso f(x) = x
2
e Domf = R. Seja > 0 qualquer.
Tome-se := min{1, /(2|x
0
| + 1)}. Ent ao > 0.
Seja x R = Domf tal que 0 < |x x
0
| < . Logo |x x
0
| < 1 e
|x x
0
| < /(2|x
0
| + 1) . Tem-se que
|x
2
x
2
0
| = |(x + x
0
)(x x
0
)| = |x + x
0
||x x
0
| (|x| +|x
0
|)|x x
0
|.
Como |x x
0
| < 1 e |x| |x
0
| < |x x
0
| entao |x| < |x
0
| + 1.
Voltando e usando este fato, tem-se
|x
2
x
2
0
| (|x| +|x
0
|)|x x
0
| < (2|x
0
| + 1)|x x
0
| < (2|x
0
| + 1)
(2|x
0
| + 1)

2|x
0
| + 1
= .
Assim, tomando := min{1, /(2|x
0
| + 1)} tem-se que |x x
0
| <
implica |x
2
x
2
0
| < . Mostrou-se assim que para todo > 0, existe
> 0 tal que, para todo x R, se 0 < |x x
0
| < entao |x
2
x
2
0
| < .
Logo, pela Denicao 7.2, lim
xx
0
x
2
= x
2
0
.
(b) lim
xx
0
1
x
=
1
x
0
para x
0
= 0.
Aqui f(x) =
1
x
e Domf = R \ {0}. Seja > 0 n umero real.
Tome-se := min {|x
0
|/2, |x
0
|
2
/2} . Ent ao > 0 ja que x
0
= 0.
Seja x Domf tal que 0 < |x x
0
| < . Ent ao
|x x
0
| <
|x
0
|
2
e |x x
0
| <
|x
0
|
2
2
.
Tem-se por propriedade de modulo que

1
x

1
x0

x
0
x
xx
0

=
1
(|x||x
0
|)
|x x
0
| . ()
Como |x x
0
| <
|x
0
|
2
entao |x
0
| |x| |x
0
x| <
|x
0
|
2
, o que im-
plica |x| >
|x
0
|
2
. Como o menor termo e positivo, pode-se inverter a
11
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
desigualdade para obter a majoracao
1
|x|
<
2
|x
0
|
. Usando isto em (),
obtem-se

1
x

1
x0

=
1
(|x||x
0
|)
|xx
0
| <
2
|x
0
||x
0
|
|xx
0
| <
2
|x
0
|
2

2
|x
0
|
2

|x
0
|
2
2
= .
Portanto, se := min {|x
0
|/2, (|x
0
|
2
/2)} e 0 < |x x
0
| <
entao

1
x

1
x
0

< . Logo, pela Denicao 7.2, lim

xx
0
1
x
=
1
x
0
.
Denicao 7.3 Sejam X R, f : X R e x
0
um ponto de acumulacao
de X. Diz-se que f e limitada numa vizinhanca de x
0
se existe uma -
vizinhanca V

(x
0
) de x
0
e uma constante M > 0 tal que |f(x)| M para
todo x X V

(x
0
).
Proposicao 7.3 Se X R, x
0
e um ponto de acumulacao de X e f : X
R possui limite em x
0
R entao f e limitada em alguma vizinhanca de x
0
.
Prova: Por hipotese existe L R tal que L := lim
xx
0
f(x). Fazendo = 1,
pela Denicao 7.2, para este valor de em particular, existe > 0 tal que,
se 0 < |x x
0
| < entao |f(x) L| < 1. Portanto,
|f(x)| = |(f(x) L) + L| |f(x) L| +|L| < 1 +|L|.
Logo, se x X V

(x
0
) e x = x
0
entao |f(x)| |L| + 1. Agora, seja
M := |L| + 1, caso x
0
/ X, ou entao seja M := max{|f(x
0
)|, |L| + 1}, no
caso x
0
X. Segue que, se x X V

(x
0
) entao |f(x)| M. Logo, f e
limitada numa vizinhanca de x
0
.
O Criterio Sequencial para Limites
A deni cao de ponto de acumulacao de um conjunto pode ser formulada
usando-se sequencias, como a seguir:
Proposicao 7.4 Um n umero real x
0
e um ponto de acumulacao de um sub-
conjunto X de R se, e somente se, existe uma sequencia (x
n
)
nN
em X tal
que x
n
= x
0
para todo n N e vale lim
n
x
n
= x
0
.
Prova: Se x
0
e um ponto de acumulacao de X entao, pela Denicao 7.1, para
qualquer n N, a (1/n)-vizinhanca V
1/n
(x
0
) contem ao menos um ponto x
n
de X distinto de x
0
. Entao para cada n N tem-se que x
n
X, x
n
= x
0
CEDERJ
12
Limite de Fun cao em um Ponto
NA 7
e |x
n
x
0
| < 1/n. Usando isto, mostra-se que limx
n
= x
0
, o que ca como
exerccio.
Reciprocamente, se existe uma sequencia (x
n
)
nN
em X \ {x
0
} com
lim
n
x
n
= x
0
entao, para qualquer > 0, existe n
0
N tal que, se n > n
0
entao x
n
V

(x
0
). Portanto, cada -vizinhan ca de x
0
contem os pontos x
n
com n > n
0
, que pertencem a X e sao distintos de x
0
.
Entenda que a Proposicao 7.4 permite concluir que x
0
e um ponto
de acumulacao de um subconjunto X de R se, e somente se, todo intervalo
aberto da forma (x
0
, x
0
+ ) contem innitos pontos de X.
Um criterio importante para estabelecer a existencia, e principalmente
a nao-existencia ou nao do limite de uma funcao real num ponto e o chamado
criterio sequencial para limite.
Teorema 7.1 (Criterio Sequencial) Seja f : X R e seja x
0
um ponto
de acumulacao de X. Ent ao as seguintes arma coes sao equivalentes.
(i) lim
xx
0
f(x) = L.
(ii) Para toda sequencia (x
n
)
nN
em X com x
n
= x
0
para todo n N, se
(x
n
)
n
converge para x
0
entao a sequencia (f(x
n
))
nN
converge para L.
Prova: (i)(ii) Por hipotese, lim
xx
0
f(x) = L. Seja (x
n
)
nN
uma sequencia
em X tal que x
n
= x
0
para todo n N e suponha que lim
n
x
n
= x
0
.
Para provar que lim
n
f(x
n
) = L, seja > 0 um n umero real arbitrario.
Pela primeira das hipoteses e pela Denicao 7.2, para este > 0, existe um
n umero real > 0 tal que,
para todo x, se x X satisfaz 0 < |x x
0
| < entao f(x) satisfaz |f(x) L| < . (1)
Agora pode-se aplicar a Denicao 4.2 de sequencia convergente para este ,
obtendo-se um n umero natural n
0
tal que,
para todo natural n N, se n > n
0
entao |x
n
x
0
| < . (2)
Seja agora n N tal que n > n
0
. Entao, por (1), tem-se que |x
n
x
0
| < .
Da e por (2), tem-se |f(x
n
) L| < . Portanto, mostrou-se que para todo
> 0, existe n
0
N tal que para todo n N, se n > n
0
entao |f(x
n
)L| < .
Logo, pela Denicao 4.2, a sequencia (f(x
n
))
nN
converge para L.
(ii)(i). A ideia e usar o raciocnio por absurdo, supondo que (ii) e verdade
e que (i) (a conclusao) e falsa. Ora, se (i) nao e verdade, entao existe um
13
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
n umero real
0
> 0 tal que, para qualquer que seja o n umero real > 0,
existe um n umero x

X satisfazendo 0 < |x

x
0
| < e |f(x

) L|
0
.
Portanto, para todo n N, como
n
:= 1/n > 0 existe x
n
X satisfazendo
0 < |x
n
x
0
| <
1
n
e |f(x
n
) L|
0
. (3)
Como vale 0 < |x
n
x
0
| <
1
n
, para todo n N, tem-se que a sequencia
(x
n
)
nN
converge para x
0
com x
n
= x
0
para todo n N (recorde-se do
Teorema 4.2(d)). Porem a sequencia (f(x
n
))
nN
nao converge para L, pois
|f(x
n
) L| e
0
, para todo n N. Mas isto contraria a hip otese, o que e
absurdo. Portanto, vale (i).
Seguem-se duas aplicacoes do Teorema 7.1 para mostrar a existencia
de limites ja estudados:
Exemplo 7.7 (a) Considere a fun cao f do Exemplo 7.6 (a). Tem-se que:
para toda sequencia (x
n
)
nN
em R \ {x
0
}, se x
n
x
0
quando n
entao, pelo Teorema 4.4(3), x
2
n
x
2
0
quando n . Conclui-se entao
pelo Teorema 7.1 para f(x) = x
2
que lim
xx
0
x
2
= x
2
0
.
(b) Da mesma forma, dado x
0
= 0, como para toda sequencia (x
n
)
nN
, se
x
n
= 0 para todo n N entao x
n
x
0
implica 1/x
n
1/x
0
(Teorema
4.4(4)), entao, pelo Teorema 7.1 tem-se que lim
xx
0
1
x
=
1
x
0
, conrmando
o que foi provado no Exemplo 7.6 (b) via Denicao 7.2.
A partir do Teorema 7.1 e possvel estabelecer criterios para garantir
que um n umero real L nao e o limite de uma certa funcao f em um ponto
x
0
de acumulacao de seu domnio e tambem, para garantir que uma funcao
nao tem limite num ponto de seu domnio. Estes resultados serao chamados
criterios sequenciais de divergencia.
Teorema 7.2 (Criterios sequenciais de divergencia para funcoes) Se-
jam X R, f : X R e x
0
R um ponto de acumulacao de X.
(a) se existe uma sequencia (x
n
)
nN
em X com x
n
= x
0
para todo n N tal
que (x
n
)
nN
converge para x
0
mas a sequencia de imagens (f(x
n
))
nN
nao converge para L R entao L nao e o limite de f quando x tende
a x
0
(b) Se existe uma sequencia (x
n
)
nN
em X com x
n
= x
0
para todo n N,
tal que (x
n
)
nN
converge para x
0
mas a sequencia de imagens (f(x
n
))
nN
nao converge em R entao a fun cao f nao possui limite em x
0
.
CEDERJ
14
Limite de Fun cao em um Ponto
NA 7
(c) Se existem duas sequencias (x
n
)
nN
e (y
n
)
nN
em X com x
n
= x
0
e
y
n
= x
0
para cada n N e tais que (x
n
)
nN
e (y
n
)
nN
convergem
ambas para x
0
mas as respectivas sequencias de imagens (f(x
n
))
nN
e
(f(y
n
))
nN
convergem para valores diferentes em R entao a fun cao f
nao possui limite em x
0
.
Note a diferen ca na aplicacao do criterio de existencia, como no Exem-
plo 7.7 e dos criterios de divergencia e nao-existencia do limite, por outro.
Exemplo 7.8 (a) O lim
x0
1
x
nao existe. De fato, escolhe-se por exemplo, a
sequencia (x
n
)
nN
denida por x
n
:= 1/n para n N, a qual satisfaz
x
n
= 0 para todo n N e lim
n
x
n
= 0. Agora, como f(x) = 1/x para
x X = R\{0} entao para cada n N, f(x
n
) = n. Como a sequencia
(f(x
n
)) = (n) nao converge em R entao pelo Teorema 7.2 (b) conclui-se
que f(x) = 1/x nao possui limite em x
0
= 0.
(b) A fun cao sinal de x denida por: sgn : R R tal que
sgn(x) =
_

_
1 se x < 0,
0 se x = 0,
1 se x > 0,
nao tem limite em x
0
= 0.
De fato, seja (x
n
)
nN
a sequencia denida por x
n
:= (1)
n
/n para
n N. Entao limx
n
= 0 e x
n
= 0 para todo n N. Como
sgn(x
n
) = (1)
n
para n N,
segue que (sgn(x
n
))
nN
nao converge. Portanto, do Teorema 7.2 (b),
segue que nao existe lim
x0
sgn(x).
Um outro raciocnio para chegar `a mesma conclusao e o seguinte: sejam
as sequencias x
n
:= 1/n e y
n
:= (1)
n
/n para n N. Ambas conver-
gem para 0 e para cada n N, tem-se x
n
= 0 e y
n
= 0. Mas as respec-
tivas sequencias de imagens sao tais que sgn(x
n
) = 1 e sgn(y
n
) = 1,
para todo n N, ou seja, convergem para 1 e -1. Portanto, do Teo-
rema 7.2 (c), segue que nao existe lim
x0
sgn(x).
O graco da fun cao sinal pode ser visto na Figura 7.2:
15
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
f(x) = sgn(x)
x
2k
x
2k1
-1
1
-10 -5 0 5 10
0
-0.5
0.5
Figura 7.2: A funcao sinal.
(c) Nao existe lim
x0
sen(1/x). (veja Figura 7.3 abaixo). De fato, seja
(x
n
)
nN
a sequencia denida por
x
n
=
_
_
_
1
n
se n N e mpar,
1
(/2)+n
se n N e par.
Seja f(x) = sen(1/x) para x X = R\{0}. Ent ao tem-se que limx
n
=
0 (por que?) e x
n
= 0 para todo n N. Note que
f(x
2k1
) = sen(2k 1) = 0 para todo k N,
f(x
2k
) = sen(/2 + 2k) = 1 para todo k N.
Assim, (f(x
n
))
n
e a sequencia (0, 1, 0, 1, . . .), a qual como se sabe nao
converge. Logo, pelo Teorema 7.2(b), nao existe lim
x0
sen(1/x).
CEDERJ
16
Limite de Fun cao em um Ponto
NA 7
oscilante
terrivelmente
1
0.2
0
0.2
0.4
0.6
0.8
1
1 0.5 0 0.5 1
0.6
0.8
0.4
sen(1/x)
Figura 7.3: A funcao f(x) = sen(1/x).
Operac oes com Limites de Func oes
Dadas duas funcoes f, g : X R R denem-se a partir delas novas
funcoes, a saber:
f + g : X R R tal que (f + g)(x) := f(x) + g(x) funcao soma de f e g,
f g : X R R tal que (f g)(x) := f(x) g(x) funcao diferenca,
fg : X R R tal que (fg)(x) := f(x)g(x) funcao produto,
f
g
: X R R tal que
_
f
g
_
(x) :=
f(x)
g(x)
funcao quociente, se g(x) = 0, x X,
cf : X R R tal que (cf)(x) := cf(x) onde c R e xo.
O principal resultado sobre operacoes com limites de funcoes e:
Teorema 7.3 Sejam X R, f, g : X R, c R e x
0
R um ponto de
acumulacao de X. Suponha que os limites lim
xx
0
f(x) e lim
xx
0
g(x) existem.
Entao
(1) lim
xx
0
[(f + g)(x)] = lim
xx
0
f(x) + lim
xx
0
g(x),
(2) lim
xx
0
[(f g)(x)] = lim
xx
0
f(x) lim
xx
0
g(x),
(3) lim
xx
0
[(fg)(x)] = lim
xx
0
f(x) lim
xx
0
g(x),
17
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
(4) lim
xx
0
[(cf)(x)] = c lim
xx
0
f(x),
(5) lim
xx
0
__
f
g
_
(x)
_
=
lim
xx
0
f(x)
lim
xx
0
g(x)
desde que g(x) = 0 e lim
xx
0
g(x) = 0.
Prova: A demonstracao desse teorema pode ser feita por meio de argumen-
tos similares `aqueles usados na prova do Teorema 4.4 das NA 4. De modo
alternativo, sera usado o Teorema 4.4 e o Teorema 7.1 (Criterio Sequencial)
como a seguir.
Seja (x
n
) uma sequencia qualquer em X com x
n
= x
0
para todo n N
e tal que x
n
x
0
. Entao pelo Teorema 7.1 os limites limf(x
n
) e limg(x
n
)
existem. Da e do Teorema 4.4 obtem-se que
lim[(f + g)(x
n
)] = lim[f(x
n
) + g(x
n
)] = limf(x
n
) + limg(x
n
),
lim[(f g)(x
n
)] = lim[f(x
n
) g(x
n
)] = limf(x
n
) limg(x
n
),
lim[(fg)(x
n
)] = lim[f(x
n
)g(x
n
)] = limf(x
n
) limg(x
n
),
lim[c(f)(x
n
)] = lim[cf(x
n
)] = c limf(x
n
),
lim
__
f
g
_
(x
n
)
_
= lim
__
f(x
n
)
g(x
n
)
__
=
limf(x
n
)
limg(x
N
)
desde que
g(x
n
) = 0 e limg(x
n
) = 0 para todo n N. O que conclui a
demonstracao.
Observa cao 7.2 Sejam X R, f
1
, f
2
, . . . , f
n
: X R e x
0
R um
ponto de acumulacao de X. Se
L
k
:= lim
xx
0
f
k
para k = 1, 2, . . . , n,
entao segue do Teorema 7.3 e do Princpio de Inducao Matematica que
lim
xx
0
(f
1
+ f
2
+ + f
n
) = L
1
+ L
2
+ + L
n
,
e
lim
xx
0
(f
1
f
2
f
n
) = L
1
L
2
L
n
.
Em particular, se L := lim
xx
0
f(x) e n N entao
lim
xx
0
(f(x))
n
= L
n
.
CEDERJ
18
Limite de Fun cao em um Ponto
NA 7
Exemplo 7.9 (a) lim
xx
0
x
k
= (x
0
)
k
para todo k N. De fato, como lim
xx
0
x =
x
0
entao, pela Observa cao 7.2, segue que lim
xx
0
x
k
= x
0
k
para todo k N
como armado.
(b) lim
x1
(x
2
+ 3)(2x
3
5) = 12. De fato, como lim
x1
(x
2
+ 3) = 4 e
lim
x1
(2x
3
5) = 3 (ou seja, os limites existem), do Teorema 7.3
segue que
lim
x1
(x
2
+ 3)(2x
3
5) =
_
lim
x1
(x
2
+ 3)
__
lim
x1
(2x
3
5)
_
=
= 4 (3) = 12.
(c) lim
x2
_
2x
3
2
x
2
+ 3
_
= 2. Realmente, como lim
x2
(2x
3
2) = 12 e lim(x
2
+3) =
7 = 0 entao pode-se aplicar o Teorema 7.3 para obter
lim
x2
2x
3
2
x
2
+ 3
=
lim
x2
(2x
3
2)
lim
x2
(x
2
+ 3)
=
14
7
= 2.
(d) lim
x2
_
x
3
8
x
2
5x + 6
_
= 12. Observe que nao e possvel aplicar direta-
mente o Teorema 7.3 ja que
lim
x2
(x
2
5x + 6) = lim
x2
x
2
5 lim
x2
x + 6 = 4 5 2 + 6 = 0.
No entanto, e possvel reescrever o quociente acima na forma
x
3
8
x
2
5x + 6
=
(x
2
+ 2x + 4)(x 2)
(x 2)(x 3)
=
x
2
+ 2x + 4
x 3
.
Como vale lim
x2
(x
2
+2x+4) = 12 e lim
x2
(x3) = 1 = 0, pode-se
aplicar o Teorem 7.3 para obter
lim
x2
_
x
3
8
x
2
5x + 6
_
= lim
x2
x
2
+ 2x + 4
x 3
=
=
lim
x2
(x
2
+ 2x + 4)
lim
x2
(x 3)
=
12
1
= 12.
Desigualdades e Limites de Func oes
Os dois resultados a seguir sao analogos, respectivamente, aos Teoremas
4.6 e 4.7 das NA 4.
19
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
Proposicao 7.5 Sejam f : X R R e x
0
R um ponto de acumulacao
de X tais que a f(x) b para todo x X com x = x
0
. Se lim
xx
0
f(x)
existe, entao a lim
xx
0
f(x) b.
Prova: Por hipotese, existe L R tal que L := lim
xx
0
f(x). Da e do Teo-
rema 7.1, se (x
n
)
n
e qualquer sequencia em X tal que x
n
= x
0
para todo
n N e x
n
x
0
quando n entao a sequencia (f(x
n
))
n
converge para
L. Da e como, pela hipotese, a f(x
n
) b para todo n N, segue do
Teorema 4.6 que a L b.
Proposicao 7.6 Sejam f, g, h : X R R e x
0
R um ponto de acu-
mula cao de X. Se f(x) g(x) h(x) para todo x X com x = x
0
, e se
lim
xx
0
f(x) = lim
xx
0
h(x) =: L entao lim
xx
0
g(x) = L.
A prova deste resultado e uma aplicacao imediata do Teorema 7.1 combinado
com o Teorema 4.7. Fica como exerccio!
Proposicao 7.7 Sejam f : X R R e x
0
R um ponto de acumulacao
de X. Se lim
xx
0
f(x) > 0 (respectivamente, lim
xx
0
f(x) < 0) entao existe uma
vizinhanca V

(x
0
) de x
0
tal que f(x) > 0 (respectivamente, f(x) < 0) para
todo x X V

(x
0
) com x = x
0
.
Prova: Seja L := lim
xx
0
f(x) e suponha que L > 0. Tomando = L/2 > 0
entao, pela Denicao 7.2, existe > 0 tal que se 0 < |x x
0
| < e x X
entao |f(x) L| < L/2, o que equivale a L/2 < f(x) < 3L/2. Portanto,
f(x) > L/2 > 0 para todo x X V

(x
0
) com x = x
0
.
Argumentando-se de modo semelhante obtem-se o caso em que L < 0.
Exemplo 7.10 Mostrar que:
(a) lim
x0
x
5/4
x
3/2
+ x
1/2
+ 1
= 0 para 0 < x 1. De fato, se 0 < x 1 entao
1 < x
3/2
+ x
1/2
+ 1 3 e x
2
x
5/4
x. Portanto, tem-se
1
3
x
2

x
5/4
x
3/2
+ x
1/2
+ 1
x.
Como lim
x0
x
2
= lim
x0
x = 0 entao a arma cao segue da Proposicao 7.6.
(b) lim
x0
(xsen(1/x)) = 0. De fato, se f(x) = xsen(1/x) para x = 0 entao,
como 1 senu 1 para todo u R, entao tem-se a desigualdade
CEDERJ
20
Limite de Fun cao em um Ponto
NA 7
|f(x)| |x|. Ou seja, |x| f(x) = xsen(1/x) |x| para todo x R
com x = 0. Como lim
x0
|x| = 0 entao a Proposicao 7.6 assegura que
lim
x0
f(x) = 0. Veja o graco de f na Figura 7.4.
sufocadas
0.1
0.02
0
0.02
0.04
0.06
0.08
0.1 0.05 0 0.05 0.1
0.06
0.08
0.04
xsen(1/x)
oscilacoes
Figura 7.4: A funcao f(x) = xsen(1/x).
Exerccios 7.1 1. Determine um > 0 tal que, se 0 < |xx
0
| < entao
|f(x) L| < para x
0
, f, L e dados como segue:
(a) x
0
= 1, f(x) = x
2
, L = 1, = 1/2;
(b) x
0
= 1, f(x) = x
2
, L = 1, = 1/n para um n N dado;
(c) x
0
= 2, f(x) = 1/x, L = 1/2, = 1/2;
(d) x
0
= 2, f(x) = 1/x, L = 1/2, = 1/n para um n N dado;
(e) x
0
= 4, f(x) =

x, L = 2, = 1/2;
(f ) x
0
= 4, f(x) =

x, L = 2, = 1/100.
2. Seja x
0
um ponto de acumulacao de X R e f : X R. Prove que
lim
xx
0
f(x) = L se, e somente se, lim
xx
0
|f(x) L| = 0.
3. Seja f : R R e x
0
R. Mostre que lim
xx
0
f(x) = L se, e somente se,
lim
x0
f(x + x
0
) = L.
21
CEDERJ
Elementos
de
An alise
Real
Limite de Fun cao em um Ponto
4. Mostre que lim
xx
0
x
3
= x
0
3
para qualquer x
0
R.
5. Mostre que lim
xx
0

x =

x
0
para qualquer x
0
> 0.
6. Mostre que lim
x0
x
1/p
= 0 (x > 0).
7. Sejam I um intervalo em R, f : I R e x
0
I. Suponha que existem
K > 0 e L R tais que |f(x)L| K|xx
0
| para todo x I. Mostre
que lim
xx
0
f(x) = L.
8. Use a Denicao 7.2 e tambem o criterio sequencial para estabelecer os
seguintes limites:
(a) lim
x2
1
1 x
= 1;
(b) lim
x1
x
2
1
x
3
1
=
2
3
;
(c) lim
x2
x 2
x
2
3x + 2
= 1.
9. Mostre que os seguintes limites nao existem:
(a) lim
x0
1
x
2
(x > 0);
(b) lim
x0
1

x
(x > 0);
(c) lim
x0
sen(1/x
2
).
10. Aplique o Teorema 7.3 para determinar os seguintes limites:
(a) lim
x1
(x
2
+ 2)(4x
3
3) (x R);
(b) lim
x2
x
3
2
x
2
1
(x > 1);
(c) lim
x5
_
1
2x 3

1
x 4
_
(x > 4);
11. Sejam X R, f : X R e x
0
R um ponto de acumulacao de X.
(a) Se lim
xx
0
f(x) existe e se |f| e a fun cao denida em X por
|f|(x) := |f(x)|, prove que lim
xx
0
|f|(x) = | lim
xx
0
f(x)|.
(b) Se f(x) 0 para todo x X, se lim
xx
0
f existe e se

f e a fun cao
denida em X por

f(x) :=
_
f(x), prove que
lim
xx
0
_
f(x) =
_
lim
xx
0
f(x).
CEDERJ
22
Limite de Fun cao em um Ponto
NA 7
12. Determine os seguintes limites e diga que teoremas sao usados em cada
caso. (Voce pode usar tambem o exerccio anterior.)
(a) lim
x3
_
5x + 1
2x + 3
(x > 0);
(b) lim
x3
x
2
9
x
2
5x + 6
(2 < x < 3);
(c) lim
x0
(x + 2)
2
(x 2)
2
x
(x > 0);
13. Prove que lim
x0
cos(1/x) nao existe mas que lim
x0
xcos(1/x) = 0.
14. Sejam f, g : X R R e x
0
R um ponto de acumulacao de X.
Suponha que f e limitada numa vizinhanca de x
0
e que lim
xx
0
g(x) = 0.
Prove que lim
xx
0
(fg)(x) = 0.
15. Sejam f, g : X R R e x
0
R um ponto de acumulacao de X.
(a) Mostre que se ambos lim
xx
0
f(x) e lim
xx
0
(f + g)(x) existem, entao
lim
xx
0
g(x) existe.
(b) Se lim
xx
0
f(x) e lim
xx
0
(fg)(x) existem, segue que lim
xx
0
g(x) existe?
16. Determine se os seguintes limites existem em R.
(a) lim
x0
sen(1/x
2
) (x = 0);
(b) lim
x0
xsen(1/x
2
) (x = 0);
(c) lim
x0

xsen(1/x
2
) (x > 0).
23
CEDERJ