Académique Documents
Professionnel Documents
Culture Documents
MODULO 1 - AULA 6
Definicao 6.1
Uma sequencia de numeros reais e uma funcao x : N R, definida
no conjunto N = {1, 2, 3, . . . } dos numeros naturais e tomando valores no
conjunto R dos numeros reais.
89 CEDERJ
Sequencias e Limites
ANALISE REAL
E muito comum definir-se uma sequencia dando-se uma formula para
o n-esimo termo xn , como acabamos de fazer com xn = 1 + (1)n . Quando
tal formula pode ser facilmente deduzida a partir do conhecimento de seus
primeiros termos, e tambem comum listar-se os termos da sequencia ate que a
regra de formacao pareca evidente. Assim, a sequencia dos numeros mpares
pode ser apresentada na forma (1, 3, 5, . . . ), que e o mesmo que (2n 1)nN .
Uma outra forma de se definir uma sequencia e especificar o valor de
x1 e dar uma formula para xn+1 em termos de xn , para n 1, ou, de
modo equivalente, dar uma formula para xn em termos de xn1 , para n 2.
Mais geralmente, podemos especificar os valores de x1 , x2 ,. . . , xp e dar uma
formula para xn em funcao de xn1 ,. . . , xnp , para n p + 1. Dizemos, nesse
caso, que a sequencia esta definida recursivamente ou indutivamente.
Um exemplo disso e obtido se definirmos a sequencia (1/2n ) na forma
1 xn
x1 = , xn+1 = , para n 1.
2 2
Outro exemplo e fornecido pela sequencia definida por
CEDERJ 90
Sequencias e Limites
MODULO 1 - AULA 6
Prova: Suponhamos que x0 e x00 sejam ambos limites de (xn ). Para cada
> 0 existe um N00 tal que |xn x0 | < /2 para todo n > N00 , e existe um N000
tal que |xn x00 | < /2 para todo n > N000 . Seja N0 = max{N00 , N000 }. Entao,
para n > N0 , temos
91 CEDERJ
Sequencias e Limites
ANALISE REAL
Como > 0 pode ser tomado arbitrariamente pequeno, conclumos que x0
x00 = 0.
Teorema 6.2
Se a sequencia (xn ) converge para x entao a sequencia (|xn |) converge para
|x|. Se x = 0 entao vale tambem a recproca, isto e, se |xn | 0, entao
xn 0. Em particular, xn x se, e somente se, |xn x| 0.
Prova: Pela desigualdade triangular, temos ||xn | |x|| |xn x|. Dado
> 0, se xn x, podemos obter N0 N tal que, para todo n > N0 ,
|xn x| < e, portanto, ||xn | |x|| < . Logo, |xn | |x|.
No caso particular em que x = 0, suponhamos |xn | 0. Dado > 0,
podemos encontrar N0 N tal que se n > N0 entao |xn | = ||xn | 0| < .
Assim, para n > N0 , temos |xn 0| = |xn | < e, portanto, xn 0.
Em particular, pelo que vimos anteriormente, xn x se, e somente se,
xn x 0, que, por sua vez, vale se, e somente se, |xn x| 0.
Exemplos 6.1
1
(a) lim = 0.
n n
(1)n
(b) lim (1 + ) = 1.
n n
(1)n (1)n
Pelo Teorema 6.2, (1+ ) 1 se, e somente se, |(1+ )1| =
n n
1
0, o qual e verdadeiro pelo exemplo anterior.
n
n
(c) lim = 0.
n2 +n+2
CEDERJ 92
Sequencias e Limites
MODULO 1 - AULA 6
entao lim xn = x.
Com efeito, dado > 0 qualquer, como lim an = 0, sabemos que existe
N00 N tal que se n > N00 , entao
an = |an 0| < .
C
Da segue que se n > N0 := max{M, N0 }, entao
0
|xn x| Can < C( ) = ,
C
o que prova que lim xn = x.
1
(f) Se a > 0, entao lim = 0.
1 + na
De fato, temos
1 1 1
| 0| para todo n N.
1 + na a n
Assim, o item (e), com C = 1/a > 0 e an = 1/n, juntamente com o
item (a) implicam a afirmacao.
93 CEDERJ
Sequencias e Limites
ANALISE REAL
(g) Se 0 < b < 1, entao lim bn = 0.
De fato, como 0 < b < 1, podemos escrever b = 1/(1 + a), onde a :=
(1/b) 1 > 0. Pela desigualdade de Bernoulli, temos (1 + a)n 1 + na.
Portanto,
1 1 1
0 < bn = < .
(1 + a)n 1 + na na
Assim, da mesma forma que no item anterior, conclumos que lim bn =
0.
hn 1
0 < 1 c1/n = < hn <
1 + hn nc
de modo que
1/n 1 1
|c 1| < para todo n N.
c n
De novo, aplicamos os itens (a) e (e) para concluir que lim c1/n = 1
tambem quando 0 < c < 1.
CEDERJ 94
Sequencias e Limites
MODULO 1 - AULA 6
(l) Seja x = (xn ) uma sequencia de numeros reais tal que o conjunto de
seus valores {xn : n N} e um conjunto finito. Mostraremos que x
e convergente se, e somente se, existe m N tal que a m-cauda de x,
xm , e uma sequencia constante, isto e, xn+m = x1+m , para todo n N.
95 CEDERJ
Sequencias e Limites
ANALISE REAL
Pelo item anterior, fica claro que se para algum m N a m-cauda de
x, xm , e uma sequencia constante, com xn+m = xn+1 , para todo n N,
entao x converge para x1+m .
Reciprocamente, suponhamos que F := {xn : n N} e um conjunto
finito e que x = (xn ) e convergente. Pelo menos um elemento do
conjunto finito F e igual a xn para todo n pertencente a um subconjunto
infinito de N. Suponhamos que x0 F e x00 F satisfazem x0 = xn ,
para todo n N0 , e x00 = xn , para todo n N00 , onde N0 e N00 sao
dois subconjuntos infinitos de N. Como sao infinitos, os conjuntos N0
e N00 sao ilimitados (por que?). Assim, para qualquer N0 N, existem
n1 > N0 tal que n1 N0 , o que nos da xn1 = x0 , e n2 > N0 com n2 N00 ,
o que implica xn2 = x00 . Portanto, se x0 6= x00 , tomando < |x0 x00 |/2
obtemos uma contradicao com o fato de que (xn ) e convergente, como
demostramos a seguir.
De fato, supondo que lim xn = x, para um certo x R, sera impossvel
encontrar N0 N tal que |xn x| < < |x0 x00 |/2, para todo n > N0 ,
pois nesse caso teramos
o que e absurdo.
Logo, existe um unico elemento x F tal que xn = x para uma
infinidade de ndices n N. Como F 0 := F \ {x} e finito, o conjunto
J := x1 (F 0 ) = {n N : xn F 0 } e um subconjunto finito de N
(por que?), donde m := sup J < +. Portanto, xn+m = x, para todo
n N, isto e, xm e uma sequencia constante.
Exerccios 6.1
1. Escreva os cinco primeiros termos da sequencia (xn ) em cada um dos
casos seguintes:
(1)n
(a) xn := 1 + ,
n
CEDERJ 96
Sequencias e Limites
MODULO 1 - AULA 6
1
(b) xn := ,
n(n + 1)
n
(c) xn := 2 .
n +3
2. Liste os cinco primeiros termos das seguintes sequencias definidas in-
dutivamente:
n2
(a) lim = 0.
n3 + 2
3n
(b) lim = 3.
n+4
2n + 3 2
(c) lim = .
5n + 1 5
2
3n 1 3
(d) lim = .
2n2 + 1 2
5. Mostre que
2
(a) lim = 0.
3n + 1
2 n+3
(b) lim = 0.
n+1
(1)n n
(c) lim 2 = 0.
n +1
n+1
(d) lim = 1.
n+2
97 CEDERJ
Sequencias e Limites
ANALISE REAL
8. Se 0 < b < 1, use a formula binomial como no exemplo 6.1 (i) para
mostrar que lim(nbn ) = 0.
V (x) := {x R : |x x| < } = (x , x + ).
CEDERJ 98