MODULO
1 - AULA 8
Aula 8 Sequ
encias Mon
otonas e
Subsequ
encias
Metas da aula: Apresentar o conceito de sequencia monotona e estabelecer o Teorema da Sequencia Monotona. Introduzir o conceito de subsequencia
e estabelecer o Teorema de Bolzano-Weierstrass.
Introduc
ao
Nesta aula vamos aprender um resultado muito importante que nos
permitira afirmar a convergencia de certas sequencias, chamadas monotonas,
mesmo em situacoes em que nao temos candidatos a limites dessas sequencias,
nas quais, portanto, nao seria possvel verificar a convergencia diretamente
usando a Definicao 6.2. Vamos tambem estudar o conceito de subsequencias
e seu uso no estabelecimento de limites bem como na prova da divergencia de
sequencias. Por fim, vamos enunciar e provar o famoso Teorema de BolzanoWeierstrass.
Sequ
encias Mon
otonas
Vamos iniciar nossa aula definindo sequencias monotonas.
Definic
ao 8.1
Seja x = (xn ) uma sequencia de n
umeros reais. Dizemos que x e n
aodecrescente se xn xn+1 para todo n N, isto e, x1 x2 x3 . Diz-se
que x e crescente se xn < xn+1 para todo n N, ou seja, x1 < x2 < x3 <
. Em particular, sequencias crescentes constituem um caso especial de
sequencias nao-decrescentes.
109
CEDERJ
ANALISE
REAL
Analogamente, dizemos que x e n
ao-crescente se xn xn+1 para todo
n N, isto e, x1 x2 x3 , e x e decrescente se xn > xn+1 para
todo n N, ou seja, x1 > x2 > x3 > . De novo, temos que sequencias
decrescentes constituem um caso especial de sequencias nao-crescentes.
Dizemos, de modo geral, que x e mon
otona se x e nao-decrescente ou
nao-crescente.
As sequencias (1, 2, 2, 3, 3, 3, . . . ), (n), (1, 1/2, 1/2, 1/3, 1/3, 1/3, . . . ) e
(1/n) sao exemplos de sequencias monotonas: a primeira e nao-decrescente,
a segunda e crescente, a terceira e nao-crescente e a quarta e decrescente.
A seguir enunciamos o resultado mais importante sobre sequencias
monotonas.
Teorema 8.1 (Teorema da Sequ
encia Mon
otona)
Uma sequencia monotona de n
umeros reais e convergente se, e somente se, e
limitada. Alem disso:
(a) Se x = (xn ) e uma sequencia nao-decrescente limitada, entao
lim xn = sup{xn : n N}.
(b) Se x = (xn ) e uma sequencia nao-crescente limitada, entao
lim xn = inf{xn : n N}.
Prova: Vimos no Teorema 7.1 que toda sequencia convergente e limitada.
Portanto, basta mostrar que se uma sequencia monotona e limitada, entao
ela e convergente. Seja, entao, x uma sequencia monotona limitada. Entao,
ou x e nao-decrescente, ou x e nao-crescente.
(a) Vamos tratar primeiro o caso em que x = (xn ) e uma sequencia
limitada nao-decrescente. Como x(N) = {xn : n N} e um conjunto
limitado, pelo Teorema 5.7 (do Supremo), existe x := sup x(N). Afirmamos
que lim xn = x .
Com efeito, seja dado > 0 qualquer. Entao x nao e cota superior
de x(N), e, portanto, existe N0 N tal que x < xN0 . Como (xn ) e
nao-decrescente, temos que xN0 xn para todo n > N0 , e assim segue que
x < xN0 xn x < x +
ou seja,
|xn x | <
CEDERJ
110
MODULO
1 - AULA 8
1
1
= 0 = x = lim 1/3 = 0.
n
n
2 + xn
111
CEDERJ
ANALISE
REAL
Provemos por inducao que vale 0 xn < xn+1 2 para todo n N.
x = 2 + x e 0 x 2.
Vemos entao que x e uma raiz nao-negativa da equacao x2 x 2 = 0
cujas raizes sao 1 e 2. Logo, x = 2 como afirmado.
(d) Seja sn := 1 + 1/2 + 1/3 + + 1/n. A sequencia (sn ) e conhecida
como serie harm
onica. Como sn+1 = sn + 1/(n + 1) > sn , essa e
uma sequencia crescente e, pelo Teorema da Sequencia Monotona, sera
convergente se, e somente se, for limitada superiormente. Mostraremos
a seguir que (sn ) e ilimitada e, portanto, divergente.
O interessante nessa questao e que ela nos traz um exemplo claro de um
caso em que um argumento simples, puramente matematico, mostrase muito mais poderoso que a tentativa de se fazer previsoes baseadas
exclusivamente no calculo massivo de computadores de u
ltima geracao.
De fato, um calculo com computador exibira valores aproximados de
sn em torno de 11.4 para n = 50 000, e sn 12.1 para n = 100 000.
Tais dados poderiam nos levar a concluir que a sequencia e limitada.
No entanto, podemos provar que vale o contrario, observando que
1 1
1
1
1
+
++
++ n
s2n = 1 + +
2
3 4
2n1 + 1
2
1
1 1
1
1
>1+ +
+
++
++ n
n
2
4 4
2
2
|
{z
}
2n1 vezes
=1+
1 1
1
+ ++
2}
|2 2 {z
n
=1+ .
2
CEDERJ
112
n vezes
MODULO
1 - AULA 8
C
alculo de Razes Quadradas.
Agora daremos uma aplicacao do Teorema da Sequencia Monotona relacionada com o calculo de razes quadradas de n
umeros positivos.
para todo n N.
1
= sn
2
a
sn +
sn
1 (s2n a)
0,
2 sn
se n 2.
a,
a.
O N
umero e.
113
CEDERJ
ANALISE
REAL
Seja (sn ) definida indutivamente por s1 = 1, sn+1 = sn +
1
1
1
+ ++
1! 2!
n!
Como, para todo n N, sn < sn+1 e
sn+1 := 1 +
1
e, portanto,
n!
para todo n N.
1
1
1
+
++
12 123
1 2n
1
1
1
1
1
< 1 + 1 + + 2 + + n1 = 1 + 1 + 2( n ) < 3,
2 2
2
2 2
segue do Teorema da Sequencia Monotona que (sn ) converge. Definimos
1
1
1
e := lim sn = lim 1 + + + +
.
(8.1)
n
1! 2!
n!
sn+1 = 1 + 1 +
O n
umero e assim definido e o n
umero transcendental mais importante
da Matematica depois de . O termo transcendental significa que esses
n
umeros nao sao razes de polinomios com coeficientes racionais, a nao ser,
obviamente, o polinomio identicamente nulo. Em particular, os n
umeros
trancendentais sao irracionais. A prova de que e e transcendental, embora
possa ser feita de modo relativamente simples, escapa dos objetivos deste
curso.
Pelo que acabamos de ver, vale 2 < e 3. A sequencia acima nos permite obter aproximacoes de e com erros arbitrariamente pequenos. Por exemplo, s10 nos da a aproximacao 2.7182818, com erro menor que 107 . O n
umero
e e `as vezes chamado de n
umero de Euler, em homenagem a Leonhard Euler (17071783), considerado ate hoje um dos maiores matematicos de todos
os tempos. Ele e a base dos assim chamados logaritmos naturais: o logaritmo
natural de um n
umero real positivo x, denotado por log x, e definido atraves
da equacao elog x = x.
O resultado seguinte trata de um limite classico bastante importante.
Teorema 8.2
n
1
lim 1 +
= e.
n
(8.2)
114
MODULO
1 - AULA 8
1
1
++
= sm .
2!
m!
Subsequ
encias e o Teorema de Bolzano-Weierstrass
Como uma sequencia de n
umeros reais e por definicao uma funcao
x : N R, dada uma funcao qualquer n : N N (isto e, uma sequencia
de n
umeros naturais) a funcao composta x n : N R e tambem sequencia
de n
umeros reais. As subsequencias de uma dada sequencia x constituem os
casos especiais, em que a funcao n e crescente, dessa forma de obter novas
sequencias a partir de uma sequencia dada.
Definic
ao 8.2
Seja x = (xn ) uma sequencia de n
umeros reais e n = (nk ) uma sequencia
crescente de n
umeros naturais, n1 < n2 < < nk < . Entao dizemos
que a sequencia x n = (xnk )kN = (xn1 , xn2 , . . . , xnk , . . . ) e chamada uma
subsequencia de x.
Por exemplo, dada a sequencia (1/n) as sequencias (1/2k) e (1/(2k1))
sao ambas subsequencias suas com nk = 2k e nk = 2k 1 para k N,
respectivamente. Outros exemplos de subsequencias dessa mesma sequencia
115
CEDERJ
ANALISE
REAL
sao as sequencias (1/2k ) e (1/k!), com nk = 2k e nk = k!, respectivamente.
Por outro lado, a sequencia
1 1 1 1 1 1
1
1
1
( , , , , , ,..., ,
,
,...)
3 2 1 6 5 4
3k 3k 1 3k 2
nao e subsequencia de (1/n), pois a sequencia (nk ) correspondente nao e
crescente.
O resultado seguinte afirma que todas as subsequencias de uma sequencia
convergente convergem para o mesmo limite da sequencia.
Teorema 8.3
Se uma sequencia de n
umeros reais (xn ) converge para x R, entao qualquer
subsequencia (xnk ) de (xn ) tambem converge para x.
Prova: Seja dado > 0 qualquer. Existe N0 tal que se n > N0 , entao
|xn x| < . Como n1 < n2 < < nk < , e facil mostrar usando
Inducao Matematica que nk k. Portanto, se k > N0 , entao nk k > N0
e, portanto, |xnk x| < . Decorre da que (xnk ) tambem converge para x.
Uma consequencia imediata porem bastante u
til do Teorema 8.3 e o
seguinte criterio para testar a divergencia de sequencias.
Teorema 8.4
Suponhamos que x = (xn ) e uma sequencia e que (xnk ) e (xmk ) sao duas
subsequencias de x satisfazendo: existe 0 > 0 tal que |xnk xmk | > 0 para
todo k N suficientemente grande. Entao x e divergente.
Prova: Com efeito, se existe x = lim xn , entao, pelo Teorema 8.2, x =
lim xnk = lim xmk . Da teramos, pelos resultados da aula anterior,
0 = |
x x| = lim |xnk xmk | 0 > 0,
k
Exemplos 8.2
1 2
(a) lim(1 + 2 )n = e.
n
1 k2
) , e uma subsequencia da sequencia
k2
1 2
(tn ), com tn = (1 + 1/n)n . Logo, pelo Teorema 8.3, lim(1 + 2 )k =
k
lim(1 + 1/n)n = e.
A sequencia (yk ), com yk := (1+
116
MODULO
1 - AULA 8
Nk := {n Nk : n > nk , xn Ik }.
117
CEDERJ
ANALISE
REAL
Chamemos de Nk+1 a um desses dois subconjuntos de Nk que seja infinito,
denotemos por Ik+1 o subintervalo de Ik correspondente, e facamos nk+1 :=
inf Nk+1 . Temos entao que Ik Ik+1, nk < nk+1 e xnk+1 Ik+1 . Fica, assim,
provada por inducao a existencia da famlia de intervalos fechados encaixados
I1 I2 Ik Ik+1 e da sequencia de n
umeros naturais (nk )
com n1 < n2 < < nk < nk+1 < , tais que xnk Ik .
(b a)
,
2k1
para todo k N.
(8.3)
(8.4)
(8.5)
que equivale `a afirmacao que fizemos contendo (8.3). Observe que, apenas por
conveniencia, ao escrever a negacao de (8.4), trocamos as variaveis , N0 , n
pelas variaveis 0 , k, nk , o que e plenamente de nosso direito.
CEDERJ
118
MODULO
1 - AULA 8
Agora, temos |xnk | < M para todo k N. Logo, o Teorema de BolzanoWeierstrass implica que a sequencia x = (xnk ) possui uma subsequencia
convergente x . Como x tambem e subsequencia de x, a qual por hipotese
converge a x, devemos ter lim x = x. Portanto, todos os termos de x devem
ultimadamente pertencer a 0 -vizinhanca de x, V0 (
x) = {x R : |x x| <
0 }, o que contradiz (8.3) e conclui a prova do teorema.
Exemplos 8.3
(a) Suponhamos que x = (xn ) e uma sequencia tal que as suas subsequencias x := (x2k1 ) e x := (x2k ), correspondentes aos ndices
mpares e pares, respectivamente, convergem ambas para x. Entao
(xn ) converge para x.
Essa afirmacao pode ser provada sem nenhuma dificuldade usando-se
diretamente a Definicao 6.2. Em vez disso, vamos prova-la aplicando o
Teorema 8.6.
Com efeito, as subsequencias x e x sao convergentes e, portanto, sao
limitadas. Como o conjunto dos valores de x, x(N), e a uniao do
conjunto dos valores de x , x (N), com o conjunto dos valores de x ,
x (N), segue que x e limitada.
Agora, dada qualquer subsequencia convergente z := (xnk ) de (xn ),
entao pelo menos uma das duas afirmacoes seguintes e verdadeira: (i)
nk e mpar para uma infinidade de sub-ndices k N; (ii) nk e par para
uma infinidade de sub-ndices k N. Em qualquer caso, sera possvel
obter uma subsequencia z de z cujos ndices sao todos mpares ou
todos pares. Entao, z sera uma subsequencia de x e, assim, pelo
Teorema 8.1, converge a x. Mas entao, pela mesma razao, devemos
ter lim z = x. Logo, podemos usar o Teorema 8.6 para concluir que
lim xn = x.
Sugerimos que voce de uma demonstracao dessa mesma proposicao
usando diretamente a Definicao 6.2.
(b) Seja (xn ) a sequencia definida indutivamente por
x1 = 1,
xn+1 :=
1
1 + xn
para todo n N.
1
1
1+
1
1+1
119
CEDERJ
ANALISE
REAL
e, por isso, constituem o que chamamos frac
ao contnua ou fracao continuada. Mostraremos que
1 + 5
lim xn =
.
2
Por inducao, provamos facilmente que 0 xn 1 para todo n N.
De fato, isso e verdade para n = 1 e, supondo que 0 xk 1, segue
da formula xk+1 = 1/(1 + xk ) que 0 xk+1 1, o que prova que
0 xn 1 para todo n N.
Vemos por substituicao direta que x2 = 1/2, x3 = 2/3 e x4 = 3/5.
Portanto, x1 = 1 > x3 = 2/3 e x2 = 1/2 < x4 = 3/5. Seja yk := x2k1
e zk := x2k . Agora, temos
xn+2 =
1
1 + xn
1
1
=
=
=1
.
1
1 + xn+1
2 + xn
2 + xn
1 + 1+xn
(8.6)
Desta u
ltima expressao para xn+2 em funcao de xn segue que se xn <
xn+2 , entao xn+2 < xn+4 . Da mesma forma, se xn > xn+2 , entao
xn+2 > xn+4 .
Portanto, temos x1 > x3 > > x2k1 > x2k+1 > , e x2 < x4 <
< x2k < x2k+2 < . Assim, a subsequencia (yn ) e decrescente
e a subsequencia (zn ) e crescente. Alem disso, ambas sao limitadas
e, portanto, sao convergentes, pelo Teorema da Sequencia Monotona.
Mais ainda, de (8.6) temos
yn+1 = 1
1
2 + yn
e zn+1 = 1
1
.
2 + zn
120
MODULO
1 - AULA 8
CEDERJ
ANALISE
REAL
12. Considere a sequencia de Fibonacci definida indutivamente por y1 = 1,
y2 = 1 e yn+2 := yn+1 + yn para todo n N. Seja x = (xn ) definida
por xn = yn /yn+1 . Mostre que x converge e encontre o limite.
13. Considere a sequencia (xn ) definida indutivamente por x1 := 1 e xn+1 =
1/(an + xn ) para todo n N, onde a2k1 := 1 e a2k := 2 para todo
k N.
(a) Mostre que 0 xn 1 para todo n N.
(b) Mostre que x := (x2k1 ) e decrescente e x := (x2k ) e crescente.
(c) Encontre x := lim x2k1 e x := lim x2k .
k
CEDERJ
122