Académique Documents
Professionnel Documents
Culture Documents
MODULO 1 - AULA 7
Pondo
M := sup{|x1 |, |x2 |, . . . , |xN0 |, 1 + |x|},
99 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
conclumos que |xn | M para todo n N.
x + y := (xn + yn ),
x y := (xn yn ),
x y := (xn yn ),
x/y := (xn /yn ), desde que yn 6= 0 para todo n N.
CEDERJ 100
Operacoes e Desigualdades com Limites de Sequencias
MODULO 1 - AULA 7
Pelo Teorema 7.1, existe M1 > 0 tal que |yn | M1 para todo n N. Seja
M := sup{M1 , |x|}. Assim, a desigualdade anterior implica
an := |xn x| + |yn y| 0.
101 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
A prova de que xn /yn x/y segue, agora, do fato que x/y = x (1/y)
e entao, pelo que ja foi demonstrado,
xn 1 1 1 x
lim = lim (xn ) = lim xn lim = x = .
yn yn yn y y
Observacao 7.1
As afirmacoes do Teorema 7.2 sobre o limite da soma e do produto de duas
sequencias convergentes podem ser facilmente estendidas para um numero
finito qualquer de sequencias convergentes por Inducao Matematica. Assim,
se a = (an ), b = (bn ), c = (cn ),. . . ,z = (zn ) sao sequencias convergentes,
entao sua soma a + b + c + + z := (an + bn + cn + + zn ) e uma sequencia
convergente e
Esperamos que voce mesmo seja capaz provar sem dificuldades as formulas
(7.1), (7.2) e (7.3) usando o Teorema 7.2 e Inducao Matematica.
Exemplos 7.1
(a) A sequencia (n) e divergente.
De fato, pelo Teorema 7.1, se (n) fosse convergente, entao seria lim-
itada, isto e, existiria um numero real M > 0 tal que n = |n| < M
para todo n N. Mas isso estaria em contradicao com a Propriedade
Arquimediana.
CEDERJ 102
Operacoes e Desigualdades com Limites de Sequencias
MODULO 1 - AULA 7
(d) Seja (xn ) uma sequencia de numeros reais que converge a x R. Seja
p um polinomio, isto e,
(f)
5n3 2n + 3 5
lim 3 2
= .
2n + 3n + 1 2
5n3 2n + 3
Fazendo an := , para poder aplicar o Teorema 7.2 (em
2n3 + 3n2 + 1
sua versao estendida pela Observacao 7.1) e necessario escrever a sequencia
an de modo mais conveniente, para torna-la uma expressao racional
envolvendo apenas sequencias convergentes. Obtemos essa forma di-
vidindo por n3 o numerador e o denominador da fracao que define an .
Assim, encontramos
5 (2/n2 ) + (3/n3 )
an = .
2 + (3/n) + (1/n3 )
Agora podemos aplicar o Teorema 7.2, obtendo
5 (2/n2 ) + (3/n3 ) 5 2 lim(1/n2 ) + 3 lim(1/n3 )
lim an = lim =
2 + (3/n) + (1/n3 ) 2 + 3 lim(1/n) + lim(1/n3 )
5 2(lim(1/n))2 + 3(lim(1/n))3 5
= 3
= .
2 + 3 lim(1/n) + (lim(1/n)) 2
103 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
(g)
5n 3 n + 1
lim = 1.
5n + 2 n + 2
Facamos
5n 3 n + 1
xn := .
5n + 3 n + 2
Dividindo numerador e denominador por 5n , obtemos
1 (3/5)n + 5n
xn = .
1 + (2/5)n + 2 5n
Portanto,
1 (3/5)n + 5n
lim xn = lim
1 + (2/5)n + 2 5n
1 lim(3/5)n + lim 5n 10+0
= n
= = 1.
1 + lim(2/5) + 2 lim 5 n 1+0+0
Limites e Desigualdades
Teorema 7.3
Se (xn ) e uma sequencia convergente de numeros reais e se xn 0 para todo
n N, entao x = lim xn 0.
Teorema 7.4
Se (xn ) e (yn ) sao sequencias convergentes de numeros reais e se xn yn
para todo n N, entao lim xn lim yn .
CEDERJ 104
Operacoes e Desigualdades com Limites de Sequencias
MODULO 1 - AULA 7
Observacao 7.2
Como, para todo m N, a m-cauda de uma sequencia convergente converge
para o mesmo limite, as hipoteses xn 0, xn yn e a xn b para todo
n N, nos Teoremas 7.3, 7.4 e 7.5, respectivamente, podem ser enfraquecidas
substituindo-se em cada um dos enunciados a expressao para todo n N
pela expressao para n suficientemente grande, que significa precisamente
para todo n m, para algum m N.
xn y n z n para todo n N,
105 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
Prova: Seja c := lim xn = lim zn . Se > 0 e dado, entao segue da con-
vergencia de (xn ) e (zn ) que existe um numero natural N0 tal que se n N0
entao
|xn c| < e |zn c| < .
Como
xn c yn c zn c para todo n N,
conclumos (por que?) que
Fazendo C := xN0 +1 /sN0 +1 , vemos que 0 < xn+1 < Csn+1 , para todo n >
N0 , ou seja, 0 < xn < Csn para todo n > N0 + 1. Como 0 < s < 1, o
Exemplo 6.1 (g) nos diz que lim sn =. Assim, podemos aplicar o resultado
no Exemplo 6.1 (e) para concluir que lim xn = 0.
Vejamos agora o caso r > 1. Tomando b R satisfazendo 1 < b < r e
:= r b, temos que existe N0 N tal que se n > N0 entao
xn+1
> r = r (r b) = b.
xn
CEDERJ 106
Operacoes e Desigualdades com Limites de Sequencias
MODULO 1 - AULA 7
Exemplos 7.2
(a)
sen n
lim = 0.
n
Lembremos que 1 sen n 1. Entao temos
1 sen n 1
para todo n N.
n n n
Logo, podemos aplicar o Teorema 7.6 (do Sanduche) para concluir a
verificacao da afirmacao.
0 xn = xn 0 < 2 .
Da segue que 0 xn < para n > N0 . Como > 0 e arbitrario,
conclumos que xn 0.
(ii) Se x > 0, entao x > 0 e temos
( xn x)( xn + x) xn x
xn x = = .
xn + x xn + x
Como xn + x x > 0, segue que
1
| xn x| |xn x|.
x
Portanto, a convergencia de xn a x segue do fato que xn x.
107 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
(c) Mostraremos que se r e um numero racional positivo qualquer, entao
1
lim = 0.
nr
xn+1 10n+1 n! 10
= n = .
xn (n + 1)! 10 n+1
CEDERJ 108
Operacoes e Desigualdades com Limites de Sequencias
MODULO 1 - AULA 7
2n2 + 3
(d) xn := .
n2 + 1
(e) xn := 2n .
(f) xn := (1)n n2 .
2n2 + 1
(a) lim
3n2 5n + 2
n3 1
(b) lim 3
3n + n 4
n cos n
(c) lim 2
n + 24
2n + 1
(d) lim n
2 n
(e) lim((n + 1)1/3 n1/3 )
n1/3 sen n!
(f) lim
n+2
n3 n2
(g) lim
2n2 1 2n + 1
(h) lim(an + an )1/n , com a > 0.
109 CEDERJ
Operacoes e Desigualdades com Limites de Sequencias
ANALISE REAL
7. Use o Teorema 7.6 (do Sanduche) para determinar os seguintes limites:
2
(a) lim n1/n ,
2
(b) lim(n!)1/n .
(a) (nbn ),
(b) (23n /32n ),
(c) (n2 an ),
(d) (bn /n2 ),
(e) (bn /n!),
(f) (n!/nn ).
1/n
9. Seja (xn ) uma sequencia de numeros reais positivos tal que s := lim xn <
1. Mostre que existe um r R com 0 < r < 1 tal que 0 < xn < rn
para todo n N suficientemente grande. Use isso para mostrar que
lim xn = 0.
10. Mostre que se (xn ) e (yn ) sao sequencias convergentes, entao (un ) e
(vn ) definidas por un := max{xn , yn } e vn := min{xn , yn } tambem sao
convergentes.
CEDERJ 110