Seq uencias Monotonas e Subseq uencias

ODULO 1 - AULA 8
Aula 8 Seq uencias Mon otonas e
Subseq uencias
Metas da aula: Apresentar o conceito de seq uencia mon otona e estabele-
cer o Teorema da Seq uencia Mon otona. Introduzir o conceito de subseq uencia
e estabelecer o Teorema de Bolzano-Weierstrass.
Objetivos: Ao nal desta aula, voce dever a ser capaz de:
Saber o enunciado do Teorema da Seq uencia Mon otona e o uso desse
resultado para estabelecer a existencia do limite de seq uencias.
Entender o conceito de subseq uencias e seu uso em conex ao com o
estabelecimento da convergencia e da divergencia de seq uencias.
Saber o enunciado do Teorema de Bolzano-Weierstrass e seu uso para
estabelecer a existencia de subseq uencias convergentes.
Nesta aula vamos aprender um resultado muito importante que nos
permitir a armar a convergencia de certas seq uencias, chamadas mon otonas,
mesmo em situa c oes em que n ao temos candidatos a limites dessas seq uencias,
nas quais, portanto, n ao seria possvel vericar a convergencia diretamente
usando a Deni c ao 6.2. Vamos tambem estudar o conceito de subseq uencias
e seu uso no estabelecimento de limites bem como na prova da divergencia de
seq uencias. Por m, vamos enunciar e provar o famoso Teorema de Bolzano-
Weierstrass.
Seq uencias Mon otonas
Vamos iniciar nossa aula denindo seq uencias mon otonas.
Denicao 8.1
Seja x = (x
n
) uma seq uencia de n umeros reais. Dizemos que x e nao-
decrescente se x
n
x
n+1
para todo n N, isto e, x
1
x
2
x
3
.
Diz-se que x e crescente se x
n
< x
n+1
para todo n N, ou seja, x
1
< x
2
<
x
3
< . Em particular, seq uencias crescentes constituem um caso especial
de seq uencias n ao-decrescentes.
Analogamente, dizemos que x e nao-crescente se x
n
x
n+1
para
todo n N, isto e, x
1
x
2
x
3
, e x e decrescente se x
n
> x
n+1
para
111
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
todo n N, ou seja, x
1
> x
2
> x
3
> . De novo, temos que seq uencias
decrescentes constituem um caso especial de seq uencias n ao-crescentes.
Dizemos, de modo geral, que x e mon otona se x e n ao-decrescente ou
n ao-crescente.
As seq uencias (1, 2, 2, 3, 3, 3, . . . ), (n), (1, 1/2, 1/2, 1/3, 1/3, 1/3, . . . ) e
(1/n) s ao exemplos de seq uencias mon otonas: a primeira e n ao-decrescente,
a segunda e crescente, a terceira e n ao-crescente e a quarta e decrescente.
A seguir enunciamos o resultado mais importante sobre seq uencias
mon otonas.
Teorema 8.1 (Teorema da Seq uencia Mon otona)
Uma seq uencia mon otona de n umeros reais e convergente se e somente se e
limitada. Alem disso:
(a) Se x = (x
n
) e uma seq uencia n ao-decrescente limitada, ent ao
limx
n
= sup{x
n
: n N}.
(b) Se x = (x
n
) e uma seq uencia n ao-crescente limitada, ent ao
limx
n
= inf{x
n
: n N}.
Prova: Vimos no Teorema 7.1 que toda seq uencia convergente e limitada.
Portanto, basta mostrar que se uma seq uencia mon otona e limitada, ent ao
ela e convergente. Seja, ent ao, x uma seq uencia mon otona limitada. Ent ao,
ou x e n ao-decrescente, ou x e n ao-crescente.
(a) Vamos tratar primeiro o caso em que x = (x
n
) e uma seq uencia
limitada n ao-decrescente. Como x(N) = {x
n
: n N} e um conjunto
limitado, pelo Teorema 5.7 (do Supremo), existe x

:= sup x(N). Armamos

que limx
n
= x

.
Com efeito, seja dado > 0 qualquer. Ent ao x

n ao e cota superior
de x(N), e, portanto, existe N
0
N tal que x

< x
N
0
. Como (x
n
) e
n ao-decrescente, temos que x
N
0
x
n
para todo n > N
0
, e assim segue que
x

< x
N
0
x
n
x

< x

+ para todo n > N

0
,
ou seja,
|x
n
x

| < para todo n > N

0
.
Como > 0 e arbitr ario, ca provado que x
n
x

.
CEDERJ
112
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
(b) Consideremos agora o caso em que x = (x
n
) e n ao-crescente. De
novo, como x(N) e limitado, segue do Teorema do Supremo que existe x

:=
inf x(N). A prova de que limx
n
= x

e inteiramente an aloga ` a que acabamos

de dar para o caso em que (x
n
) e n ao-decrescente e deixaremos para voce
como exerccio.

Exemplos 8.1
(a) lim(1/n
1/3
) = 0.
Esse e um caso particular do Exemplo 7.2 (c); contudo, daremos aqui
uma outra demonstra c ao usando o Teorema da Seq uencia Mon otona.
A seq uencia x := (1/n
1/3
) e decrescente e, claramente, 0 e uma cota
inferior de x. N ao e difcil mostrar que, de fato, temos 0 = inf x(N)
e, portanto, a arma c ao segue do referido teorema. De outro modo,
sabemos pelo Teorema da Seq uencia Mon otona que existe x := limx
n
.
Como x
3
n
= 1/n e lim1/n = 0, temos
x
3
= (limx
n
)
3
= limx
3
n
= lim
1
n
= 0 = x = lim
1
n
1/3
= 0.
(b) Seja x = (x
n
) denida indutivamente por x
1
:= 1, x
n+1
:= (x
n
/3) + 1
para todo n N. Mostraremos que limx
n
= 3/2.
Provemos, usando Indu c ao Matem atica, que vale 1 x
n
< x
n+1
< 2
para todo n N. Como x
2
= (x
1
/3) + 1 = (1/3) + 1 = 4/3, a
arma c ao e v alida para n = 1. Suponhamos, por indu c ao, que vale
1 x
k
< x
k+1
< 2. Temos
1 x
k
< x
k+1
= (x
k
/3)+1 < (x
k+1
/3)+1 = x
k+2
< (2/3)+1 = 5/3 < 2,
e, portanto, vale 1 x
k+1
< x
k+2
< 2, o que conclui a prova por
indu c ao de que 1 x
n
< x
n+1
< 2 para todo n N.
Assim, temos que (x
n
) e crescente e limitada. Pelo Teorema da Seq uencia
Mon otona, existe x = limx
n
. Como a 1-cauda x
1
= (x
n+1
) con-
verge para o mesmo limite que x, tomando o limite na rela c ao x
n+1
=
(x
n
/3) + 1 obtemos
x =
x
3
+ 1,
e da segue que x = 3/2.
(c) Seja x = (x
n
) denida indutivamente por x
1
:= 0, x
n+1
:=

2 + x
n
para todo n N. Vamos mostrar que limx
n
= 2.
113
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
Provemos por indu c ao que vale 0 x
n
< x
n+1
2 para todo n N.
Como x
2
=

2 + 0 =

2, a arma c ao e claramente verdadeira para

n = 1. Suponhamos por indu c ao que vale 0 x
k
< x
k+1
2. Ent ao
0 x
k
< x
k+1
=

2 + x
k
<
_
2 + x
k+1
= x
k+2

2 + 2 = 2,
e, portanto, 0 x
k+1
< x
k+2
2, o que conclui a prova por indu c ao
de que 0 x
n
< x
n+1
2 para todo n N.
Assim, temos que (x
n
) e uma seq uencia crescente e limitada. Logo, pelo
Teorema da Seq uencia Mon otona, existe x = limx
n
e x = sup x(N).
Como a 1-cauda x
1
= (x
n+1
) converge para o mesmo limite que x,
tomando o limite na rela c ao x
n+1
=

2 + x
n
, usando o Exemplo 7.2 (b)
e o Teorema 7.5, obtemos
x =

2 + x e 0 x 2.
Vemos ent ao que x e uma raiz n ao-negativa da equa c ao x
2
x 2 = 0
cujas raizes s ao 1 e 2. Logo, x = 2 como armado.
(d) Seja s
n
:= 1 + 1/2 + 1/3 + + 1/n. A seq uencia (s
n
) e conhecida
como serie harm onica. Como s
n+1
= s
n
+ 1/(n + 1) > s
n
, essa e
uma seq uencia crescente e, pelo Teorema da Seq uencia Mon otona, ser a
convergente se, e somente se, for limitada superiormente. Mostraremos
a seguir que (s
n
) e ilimitada e, portanto, divergente.
O interessante nessa quest ao e que ela nos traz um exemplo claro de um
caso em que um argumento simples, puramente matem atico, mostra-
se muito mais poderoso que a tentativa de se fazer previs oes baseadas
exclusivamente no c alculo massivo de computadores de ultima gera c ao.
De fato, um c alculo com computador exibir a valores aproximados de
s
n
em torno de 11.4 para n = 50 000, e s
n
12.1 para n = 100 000.
Tais dados poderiam nos levar a concluir que a seq uencia e limitada.
No entanto, podemos provar que vale o contr ario, observando que
s
2
n = 1 +
1
2
+
_
1
3
+
1
4
_
+ +
_
1
2
n1
+ 1
+ +
1
2
n
_
> 1 +
1
2
+
_
1
4
+
1
4
_
+ +
_
1
2
n
+ +
1
2
n
_
. .
2
n1
vezes
= 1 +
1
2
+
1
2
+ +
1
2
. .
n vezes
= 1 +
n
2
.
CEDERJ
114
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
Os termos s
n
crescem de modo extremamente lento. Por exemplo,
pode-se mostrar que para obtermos s
n
> 50 seriam necess arias aproxi-
madamente 5.210
21
adi c oes, trabalho esse que levaria cerca de 400 000
anos num computador normal da atualidade, e mais de 160 anos num
supercomputador capaz de realizar um trilh ao de adi c oes por segundo.
Calculo de Razes Quadradas.
Agora daremos uma aplica c ao do Teorema da Seq uencia Mon otona rela-
cionada com o c alculo de razes quadradas de n umeros positivos.
Seja a > 0. Apresentaremos um metodo de aproxima c ao de

a por
meio da constru c ao de uma seq uencia (s
n
) que converge a esse n umero. Esse
processo para calcular razes quadradas j a era conhecido na Mesopotamia
antes do ano 1500 A.C..
Seja s
1
> 0 arbitrariamente escolhido e denamos
s
n+1
:=
1
2
(s
n
+ a/s
n
) para todo n N.
Mostraremos que (s
n
) converge a

a.
Primeiramente, mostremos que s
2
n
a para n 2. De fato, da rela c ao
s
2
n
2s
n+1
s
n
+ a = 0 vemos que s
n
e raiz da equa c ao de segundo grau
x
2
2s
n+1
x+a = 0, cujo discriminante e 4s
2
n+1
4a. Como tal equa c ao possui
razes reais, seu discriminante deve ser n ao negativo e, portanto, devemos ter
s
2
n+1
a para todo n N.
Agora mostraremos que (s
n
) e ultimadamente n ao-crescente; mais pre-
cisamente, que s
n+1
s
n
para n 2. Com efeito,
s
n
s
n+1
= s
n

1
2
_
s
n
+
a
s
n
_
=
1
2
(s
2
n
a)
s
n
0.
Portanto, s
n+1
s
n
para todo n 2. O Teorema da Seq uencia Mon otona
implica que s := lims
n
existe. Alem disso, os Teorema 7.2 e 7.5 nos d ao que
s deve satisfazer as rela c oes
s =
1
2
_
s +
a
s
_
s

a,
donde segue que s = a/ s, ou seja, s
2
= a. Logo, s =

a.
O N umero e.
115
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
Seja (s
n
) denida indutivamente por s
1
= 1, s
n+1
= s
n
+
1
n!
e, portanto,
s
n+1
:= 1 +
1
1!
+
1
2!
+ +
1
n!
para todo n N.
Como, para todo n N, s
n
< s
n+1
e
s
n+1
= 1 + 1 +
1
1 2
+
1
1 2 3
+ +
1
1 2 n
< 1 + 1 +
1
2
+
1
2
2
+ +
1
2
n1
= 1 + 1 + 2(
1
2

1
2
n
) < 3,
segue do Teorema da Seq uencia Mon otona que (s
n
) converge. Denimos
e := lims
n
= lim
n
_
1 +
1
1!
+
1
2!
+ +
1
n!
_
. (8.1)
O n umero e assim denido e o n umero transcendental mais importante
da Matem atica depois de . O termo transcendental signica que esses
n umeros n ao s ao razes de polin omios com coecientes racionais, a n ao ser,
obviamente, o polin omio identicamente nulo. Em particular, os n umeros
trancendentais s ao 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 seq uencia acima nos per-
mite obter aproxima c oes de e com erros arbitrariamente pequenos. Por exem-
plo, s
10
nos d a a aproxima c ao 2.7182818, com erro menor que 10
7
. O n umero
e e ` as vezes chamado de n umero de Euler, em homenagem a Leonhard Eu-
ler (17071783), considerado ate hoje um dos maiores matem aticos de todos
os tempos. Ele e a base dos assim chamados logaritmos naturais; isto e, o
logaritmo natural de um n umero x e o n umero log x tal que e
log x
= x.
O resultado seguinte trata de um limite cl assico bastante importante.
Teorema 8.2
lim
_
1 +
1
n
_
n
= e. (8.2)
Prova: Seja t
n
:= (1 + 1/n)
n
para n N. Aplicando a f ormula binomial
obtemos
t
n
= 1 +
n
1

1
n
+
n(n 1)
2!

1
n
2
+ +
n(n 1)(n 2) 2 1
n!

1
n
n
= 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
n!
_
1
1
n
__
1
2
n
_

_
1
n 1
n
_
.
CEDERJ
116
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
Fazendo o mesmo para t
n+1
e comparando as respectivas f ormulas, vemos
que a segunda f ormula para t
n+1
contem uma parcela positiva a mais que a
segunda f ormula para t
n
e que as parcelas restantes s ao todas maiores que as
parcelas correspondentes na f ormula para t
n
. Portanto, temos que t
n
< t
n+1
para todo n. Claramente, temos que t
n
< s
n
, onde s
n
= 1 + 1 + 1/2! + +
1/n!. Como vimos h a pouco, s
n
< 3 e, assim, segue que t
n
< 3. Logo, pelo
Teorema da Seq uencia Mon otona segue que (t
n
) converge.
Armamos que limt
n
= lims
n
= e. Com efeito, o fato de que limt
n

lims
n
= e decorre diretamente do Teorema 7.4, uma vez que vale t
n
< s
n
para todo n N.
Agora, tomando n > m, vale
t
n
1 + 1 +
1
2!
_
1
1
n
_
+ +
1
m!
_
1
1
n
__
1
2
n
_

_
1
m1
n
_
.
Fixando m e fazendo n obtemos
limt
n
1 +
1
2!
+ +
1
m!
= s
m
.
Fazendo agora m , obtemos limt
n
lim
m
s
m
= e. Segue, ent ao, que
limt
n
= e.

Subseq uencias e o Teorema de Bolzano-Weierstrass

Como uma seq uencia de n umeros reais e por deni c ao uma fun c ao
x : N R, dada uma fun c ao qualquer n : N N (isto e, uma seq uencia
de n umeros naturais) a fun c ao composta x n : N R e tambem seq uencia
de n umeros reais. As subseq uencias de uma dada seq uencia x constituem os
casos especiais, em que a fun c ao n e crescente, dessa forma de obter novas
seq uencias a partir de uma seq uencia dada.
Denicao 8.2
Seja x = (x
n
) uma seq uencia de n umeros reais e n = (n
k
) uma seq uencia
crescente de n umeros naturais, n
1
< n
2
< < n
k
< . Ent ao a seq uencia
x n = (x
n
k
)
kN
= (x
n
1
, x
n
2
, . . . , x
n
k
, . . . ) e chamada uma subseq uencia de
x.
Por exemplo, dada a seq uencia (1/n) as seq uencias (1/2k) e (1/(2k1))
s ao ambas subseq uencias suas com n
k
= 2k e n
k
= 2k 1 para k N,
117
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
respectivamente. Outros exemplos de subseq uencias dessa mesma seq uencia
s ao as seq uencias (1/2
k
) e (1/k!), com n
k
= 2
k
e n
k
= k!, respectivamente.
Por outro lado, a seq uencia
(
1
3
,
1
2
,
1
1
,
1
6
,
1
5
,
1
4
, . . . ,
1
3k
,
1
3k 1
,
1
3k 2
, . . . )
n ao e subseq uencia de (1/n), pois a seq uencia (n
k
) correspondente n ao e
crescente.
O resultado seguinte arma que todas as subseq uencias de uma seq uencia
convergente convergem para o mesmo limite da seq uencia.
Teorema 8.3
Se uma seq uencia de n umeros reais (x
n
) converge para x R, ent ao qualquer
subseq uencia (x
n
k
) de (x
n
) tambem converge para x.
Prova: Seja dado > 0 qualquer. Existe N
0
tal que se n > N
0
, ent ao
|x
n
x| < . Como n
1
< n
2
< < n
k
< , e f acil mostrar usando
Indu c ao Matem atica que n
k
k. Portanto, se k > N
0
, ent ao n
k
k > N
0
e, portanto, |x
n
k
x| < . Decorre da que (x
n
k
) tambem converge para x.

Uma conseq uencia imediata porem bastante util do Teorema 8.3 e o

seguinte criterio para testar a divergencia de seq uencias.
Teorema 8.4
Suponhamos que x = (x
n
) e uma seq uencia e que (x
n
k
) e (x
m
k
) s ao duas
subseq uencias de x satisfazendo: existe
0
> 0 tal que |x
n
k
x
m
k
| >
0
para
todo k N sucientemente grande. Ent ao x e divergente.
Prova: Com efeito, se existe x = limx
n
, ent ao, pelo Teorema 8.2, x =
limx
n
k
= limx
m
k
. Da teramos, pelos resultados da aula anterior,
0 = | x x| = lim
k
|x
n
k
x
m
k
|
0
> 0,
o que e um absurdo, provando assim que x e divergente.

Exemplos 8.2
(a) lim(1 +
1
n
2
)
n
2
= e.
A seq uencia (y
k
), com y
k
:= (1+
1
k
2
)
k
2
, e uma subseq uencia da seq uencia
(t
n
), com t
n
= (1 + 1/n)
n
. Logo, pelo Teorema 8.3, lim(1 +
1
k
2
)
k
2
=
lim(1 + 1/n)
n
.
CEDERJ
118
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
(b) A seq uencia x = ((1 + (1)
n
)/2 (1)
n
/n) e divergente.
Com efeito, x = (x
n
) com x
2k1
= 1/k e x
2k
= 1 1/k para k N,
de modo que as subseq uencias (x
2k1
) e (x
2k
) convergem para 0 e 1,
respectivamente. Portanto, pelo Teorema 8.4, x e divergente.
A seguir vamos enunciar e provar o celebre Teorema de Bolzano-Weier-
strass assim nomeado em referencia aos matem aticos Bernhard Bolzano
(17811848) e Karl Weierstrass (18151897) que foram os primeiros a
estabelece-lo. Ele foi, na verdade, provado primeiramente por Bolzano, mas
essa prova se perdeu. Foi depois redemonstrado por Weierstrass e se tornou
uma pe ca central da An alise. Mais tarde descobriu-se que o teorema havia
sido provado por Bolzano muito antes de Weierstrass e da veio seu nome.
Teorema 8.5 (Teorema de Bolzano-Weierstrass)
Toda seq uencia limitada de n umeros reais possui uma subseq uencia conver-
gente.
Prova: Como o conjunto de valores x(N) = {x
n
: n N} e limitado, ele
est a contido num intervalo fechado I
1
:= [a, b]. Fa camos n
1
= 1. Agora,
dividimos o intervalo I
1
em dois intervalos fechados de igual comprimento I

1
e I

1
, isto e, I

1
:= [a, (a +b)/2] e I

1
:= [(a +b)/2, b]. Distinguimos assim dois
subconjuntos de N, a saber,
N

1
:= {n N : n > n
1
, x
n
I

1
} e N

1
:= {b N : n > n
1
, x
n
I

1
}.
Como N

1
N

1
= N
1
:= {n N : n > n
1
} e um subconjunto innito
de N, temos que pelo menos um dos dois conjuntos, N

1
e N

1
, e innito.
Chamemos um desses dois subconjuntos que seja innito de N
2
, o subinte-
valo correspondente de I
2
e chamemos de n
2
o menor elemento de N
2
, cuja
existencia e dada pelo Princpio da Boa Ordena c ao. Observe que x
n
2
I
2
.
Vamos mostrar por Indu c ao Matem atica que e possvel construir dessa forma
uma famlia de intervalos fechados limitados I
1
, I
2
,. . . ,I
k
,. . . , com I
1
I
2

I
k
I
k+1
e uma seq uencia de n umeros naturais (n
k
) com
n
1
< n
2
< < n
k
< n
k+1
< , tais que x
n
k
I
k
. Suponhamos por
indu c ao que I
1
, I
2
, . . . , I
k
e n
1
, n
2
, . . . , n
k
tenham sido denidos satisfazendo
I
1
I
2
I
k
, n
1
< n
2
< < n
k
e tais que x
n
j
I
j
, j = 1, . . . , k.
Sejam N
1
, N
2
, . . . , N
k
denidos indutivamente por N
j
:= {n N
j1
: n >
n
j1
, x
n
I
j1
}. De novo, dividimos o intervalo I
k
em dois subintervalos de
igual comprimento, I

k
e I

k
, e denimos
N

k
:= {n N
k
: n > n
k
, x
n
I

k
}, N

k
:= {n N
k
: n > n
k
, x
n
I

k
},
119
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
Chamemos de N
k+1
a um desses dois subconjuntos de N
k
que seja innito,
denotemos por I
k+1
o subintervalo de I
k
correspondente, e fa camos n
k+1
:=
inf N
k+1
. Temos ent ao que I
k
I
k+1
, n
k
< n
k+1
e x
n
k+1
I
k+1
. Fica, assim,
provada por indu c ao a existencia da famlia de intervalos fechados encaixados
I
1
I
2
I
k
I
k+1
e da seq uencia de n umeros naturais (n
k
)
com n
1
< n
2
< < n
k
< n
k+1
< , tais que x
n
k
I
k
.
Como o comprimento de I
k
e igual a (ba)/2
k1
, segue do Teorema 5.12
(Propriedade dos Intervalos Encaixados) que existe um unico ponto I
k
para todo k N. Como ambos x
n
k
e pertencem a I
k
, temos
|x
n
k
|
(b a)
2
k1
,
donde conclumos que a subseq uencia (x
n
k
) converge para .

O pr oximo resultado e uma aplica c ao do Teorema de Bolzano-Weierstrass.

Em sua prova, vamos utilizar o fato de que se x

e uma subseq uencia de x,

ent ao x

e, com todo direito, tambem uma seq uencia e, sendo assim, tambem
possui subseq uencias. Observamos que se x

e uma subseq uencia de x

, ent ao
x

tambem e uma subseq uencia de x.

Teorema 8.6
Seja x = (x
n
) uma seq uencia limitada de n umeros reais e x R tendo a
propriedade de que toda subseq uencia convergente de x converge a x. Ent ao
a seq uencia x converge a x.
Prova: Como (x
n
) e limitada, podemos obter M > 0 tal que |x
n
| < M para
todo n N. Suponhamos, por absurdo, que x n ao converge a x. Ent ao existe
um
0
> 0 e uma subseq uencia (x
n
k
) de (x
n
) tal que
|x
n
k
x|
0
para todo k N. (8.3)
De fato, a nega c ao da arma c ao
( > 0)(N
0
N)(n N)(n > N
0
|x
n
x| < ), (8.4)
que e a deni c ao formal de x
n
x, e a proposi c ao
(
0
> 0)(k N)(n
k
N)(n
k
> k e |x
n
k
x|
0
), (8.5)
que equivale ` a arma c ao que zemos contendo (8.3). Observe que, apenas por
conveniencia, ao escrever a nega c ao de (8.4), trocamos as vari aveis , N
0
, n
pelas vari aveis
0
, k, n
k
, o que e plenamente de nosso direito.
CEDERJ
120
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
Agora, temos |x
n
k
| < M para todo k N. Logo, o Teorema de Bolzano-
Weierstrass implica que a seq uencia x

= (x
n
k
) possui uma subseq uencia
convergente x

. Como x

tambem e subseq uencia de x, por hip otese devemos

ter limx

= x. Portanto, todos os termos de x

devem ultimadamente
pertencer a
0
-vizinhan ca de x, V

0
( x) = {x R : |x x| <
0
}, o que
contradiz (8.3) e conclui a prova do teorema.

Exemplos 8.3
(a) Suponhamos que x = (x
n
) e uma seq uencia tal que as suas sub-
seq uencias x

:= (x
2k1
) e x

:= (x
2k
), correspondentes aos ndices
mpares e pares, respectivamente, convergem ambas para x. Ent ao
(x
n
) converge para x.
Essa arma c ao pode ser provada sem nenhuma diculdade usando-se
diretamente a Deni c ao 6.2. Em vez disso, vamos prov a-la aplicando o
Teorema 8.6.
Com efeito, as subseq uencias x

e x

s ao convergentes e, portanto, s ao
limitadas. Como o conjunto dos valores de x, x(N), e a uni ao 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 subseq uencia convergente z := (x
n
k
) de (x
n
),
ent ao pelo menos uma das duas arma c oes seguintes e verdadeira: (i)
n
k
e mpar para uma innidade de sub-ndices k N; (ii) n
k
e par para
uma innidade de sub-ndices k N. Em qualquer caso, ser a possvel
obter uma subseq uencia z

de z cujos ndices s ao todos mpares ou

todos pares. Ent ao, z

ser a uma subseq uencia de x

e, assim, pelo
Teorema 8.1, converge a x. Mas ent ao, pela mesma raz ao, devemos
ter limz = x. Logo, podemos usar o Teorema 8.6 para concluir que
limx
n
= x.
Sugerimos que voce de uma demonstra c ao dessa mesma proposi c ao
usando diretamente a Deni c ao 6.2.
(b) Seja (x
n
) a seq uencia denida indutivamente por
x
1
= 1, x
n+1
:=
1
1 + x
n
para todo n N.
121
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
Os termos dessa seq uencia tem a forma
1
1 + 1
,
1
1 +
1
1 + 1
,
1
1 +
1
1 +
1
1 + 1
,
e, por isso, constituem o que chamamos fra c ao contnua ou fra c ao con-
tinuada. Mostraremos que
limx
n
=
1 +

5
2
.
Por indu c ao, provamos facilmente que 0 x
n
1 para todo n N.
De fato, isso e verdade para n = 1 e, supondo que 0 x
k
1, segue
da f ormula x
k+1
= 1/(1 + x
k
) que 0 x
k+1
1, o que prova que
0 x
n
1 para todo n N.
Vemos por substitui c ao direta que x
2
= 1/2, x
3
= 2/3 e x
4
= 3/5.
Portanto, x
1
= 1 > x
3
= 2/3 e x
2
= 1/2 < x
4
= 3/5. Seja y
k
:= x
2k1
e z
k
:= x
2k
. Agora, temos
x
n+2
=
1
1 + x
n+1
=
1
1 +
1
1+x
n
=
1 + x
n
2 + x
n
= 1
1
2 + x
n
. (8.6)
Logo, se x
n
< x
n+2
, ent ao x
n+2
< x
n+4
. Da mesma forma, se x
n
> x
n+2
,
ent ao x
n+2
> x
n+4
.
Portanto, temos x
1
> x
3
> > x
2k1
> x
2k+1
> , e x
2
< x
4
<
< x
2k
< x
2k+2
< . Assim, a subseq uencia (y
n
) e decrescente
e a subseq uencia (z
n
) e crescente. Alem disso, ambas s ao limitadas
e, portanto, s ao convergentes, pelo Teorema da Seq uencia Mon otona.
Mais ainda, de (8.6) temos
y
n+1
= 1
1
2 + y
n
e z
n+1
= 1
1
2 + z
n
.
Sejam y := limy
n
e z := limz
n
. Segue do que foi visto na aula anterior
que 0 y 1, 0 z 1, y = 1 1/(2 + y) e z = 1 1/(2 + z). Logo,
y e z s ao ambos razes n ao-negativas da equa c ao de segundo grau
t
2
+ t 1 = 0,
cujas razes s ao (1

5)/2. Assim, y = z = (1 +

5)/2. Segue do
exemplo anterior que limx
n
= (1 +

5)/2.
CEDERJ
122
Seq uencias Monotonas e Subseq uencias
M

ODULO 1 - AULA 8
Exerccios 8.1
1. Seja x
1
= 3 e x
n+1
:=
1
5
x
n
+ 4 para todo n N. Mostre que (x
n
) e
limitada e mon otona. Encontre o limite.
2. Seja x
1
> 1 e x
n+1
:= 2 1/x
n
para todo n N. Mostre que (x
n
) e
limitada e mon otona. Encontre o limite.
3. Seja x
1
2 e x
n+1
:= 1 +

x
n
1 para n N. Mostre que (x
n
) e
decrescente e limitada inferiormente por 2. Encontre o limite.
4. Seja x
1
= 1 e x
n+1
:=

2x
n
para n N. Mostre que (x
n
) converge e
encontre o limite.
5. Seja y
1
:=

p, onde p > 0 e y
n+1
:=

p + y
n
para n N. Mostre que
(y
n
) converge e encontre o limite. (Dica: Primeiro mostre por indu c ao
que 1 + 2

p e uma cota superior.)

6. Seja a > 0 e x
n+1
= x
n
+ 1/x
n
para n N. Determine se (x
n
) diverge
ou converge. (Dica: Mostre que (x
n
) e crescente e veja o que acontece
quando se sup oe que x
n
converge.)
7. Estabele ca a convergencia e encontre o limite das seguintes seq uencias:
(a) ((1 + 1/n)
n+1
),
(b) ((1 + 1/n)
2n
),
(c) ((1 + 1/(n + 1))
n
),
(d) ((1 1/n)
n
).
8. Estabele ca a convergencia e ache os limites das seguintes seq uencias:
(a)
_
(1 + 1/n
2
)
2n
2
_
,
(b)
_
(1 + 1/(9n
2
))
n
2
_
,
(c) ((1 + 1/2n)
n
),
(d) ((1 + 2/n)
n
).
9. Determine os limites das seguintes seq uencias:
(a)
_
(3n)
1/2n
_
,
(b) ((1 + 2/n)
3n
).
123
CEDERJ
AN

ALISE REAL
Seq uencias Monotonas e Subseq uencias
10. Suponha que toda subseq uencia de x = (x
n
) possui uma subseq uencia
que converge a um mesmo n umero real x. Mostre que limx
n
= x.
11. Seja x = (x
n
) denida indutivamente por x
1
= 1 e x
n+1
= 1/(2 + x
n
).
Mostre que x converge e encontre o limite.
12. Considere a seq uencia de Fibonacci denida indutivamente por y
1
= 1,
y
2
= 1 e y
n+2
:= y
n+1
+ y
n
para todo n N. Seja x = (x
n
) denida
por x
n
= y
n
/y
n+1
. Mostre que x converge e encontre o limite.
13. Considere a seq uencia (x
n
) denida indutivamente por x
1
:= 1 e x
n+1
=
1/(a
n
+ x
n
) para todo n N, onde a
2k1
:= 1 e a
2k
:= 2 para todo
k N.
(a) Mostre que 0 x
n
1 para todo n N.
(b) Mostre que x

:= (x
2k1
) e decrescente e x

:= (x
2k
) e crescente.
(c) Encontre x

:= lim
k
x
2k1
e x

:= lim
k
x
2k
.
(d) Observe que x

= x

e justique a conclus ao de que (x

n
) e diver-
gente.
CEDERJ
124