Chapter 2 Seq u encias de N umeros Reais

Na An alise os conceitos e resultados mais importantes se referem a limites, direto ou indiretamente. Da , num primeiro momento, estudaremos os limites de seq u encias de n umeros reais, os quais s ao mais simples, mais adiante, estudaremos os limites de derivadas, seq u encias de fun c oes e outros. Intuitivamente, podemos pensar numa seq u encia (a1 , a2 , ..., an , ...) de n umeros reais como sendo uma seq u encia de pontos da reta e o seu limite como sendo um ponto do qual os pontos an tornam e permanecem arbitrariamente pr oximos, desde que se tome o ndice n sucientemente grande.

2.1

No c oes Preliminares

Uma seq u encia de n umeros reais e uma fun c ao f : IN IR , denida no conjunto IN = {1, 2, 3, 4, ...} dos n umeros naturais e tomando valores no conjunto IR dos n umeros reais. O valor f (n) ser a representado por an , para todo n IN, e chamado o termo

42

2.1

No c oes Preliminares

43

geral, ou n- esimo termo da seq u encia. comum usarmos as nota E c oes (an ) , (an )nIN , (a1 , a2 , a3 , ...) ou simplesmente an para reprensentar uma seq u encia. Usaremos ainda a nota c ao {an } para indicar o conjunto de valores da seq u encia. Essa distin c ao e importante, pois uma seq u encia pode possuir innitos elementos, mesmo que seu conjunto de valores seja nito. Exemplo 2.1 A seq u encia 1, 1, 1, 1, 1, 1, ... e innita, com an = (1)n = (1)n1 . Mas observe que seu conjunto de valores possui somente dois valores, +1 e -1, ou seja, {an } = {+1, 1}. De acordo com a deni c ao que demos anteriormente, o ndice de uma seq u encia (an ) come ca em n = 1, ou seja a1 e seu primeiro termo. Observe, o leitor, que a seq u encia de termo geral an = 1 n3

s o faz sentido para n = 4, 5, 6, ... de modo que seu primeiro termo e a4 . N ao pense, o leitor, que isto seja um obst aculo, pois podemos, e faremos, uma transla c ao de ndices de forma que o primeiro termo da seq u encia tenha ndice n = 1. De fato, denindo a seq u encia bn = an+4 = a seq u encia ca denida a partir de n = 1. 1 n+1

2.1

No c oes Preliminares Seja (an ) uma seq u encia. Dizemos que (an ) e crescente se a1 < a2 < a3 < ... < an ...,

44

isto e, se an < an+1 Agora se a1 > a2 > a3 > ... > an ..., isto e, se an > an+1 dizemos que a seq u encia e decrescente. A seq u encia (an ) e n ao-crescente se a1 a2 a3 ... an ... e n ao-decrescente se a1 a2 a3 ... an ... Se uma seq u encia satisfaz qualquer uma dessas propriedades ela e dita mon otona. Uma seq u encia an e dita ser limitada superiormente se existir um n umero real tal que , para todo n umero natural n, temos an . De maneira an aloga dizemos que uma seq u encia an e limitada inferiormente se existir um n umero real tal que, para todo n umero natural n, temos an . Se existirem reais e tais que, para todo n umero natural n, temos an , dizemos que an e uma seq u encia limitada. Note que uma seq u encia e limitada se, e somente se, ela e limitada superiormente e inferiormente. Em outra palavras, uma seq u encia e limitada se todos os seus termos pertencem ao intervalo [, ].

2.1

No c oes Preliminares

45

Lema 2.1 A seq u encia (an ) de n umeros reais e limitada se, e somente se, (|an |) e limitada. Demonstra c ao: Observe que todo intervalo [, ] est a contido num intervalo maior da forma [c, c] com c > 0, basta o leitor fazer c = max{|| , | |}. Uma vez que an [c, c] e o mesmo que |an | c, a seq u encia (an ) e limitada se, e somente se, existe um n umero real c > 0 tal que |an | c para todo n IN, e portanto (an ) e limitada se, e somente se, (|an |) e limitada.

Dada uma seq u encia f = (an )nIN de n umeros reais, uma subseq u encia de f e a restri c ao de f a um subconjunto innito IN = {n1 < n2 < n3 < ... < ni , ...} de IN. Escrevemos f = (an )nIN ou (an1 , an2 , an3 , ..., ani , ...) ou (ani )iIN para representar uma subseq u encia. Lema 2.2 Uma seq u encia (an )nIN mon otona e limitada se, e somente se, possui uma subseq u encia limitada. Demonstra c ao: Se a seq u encia (an )nIN mon otona e limitada, e f acil ver que toda subseq u encia e limitada. Seja an1 an2 an3 ... ank ... b uma subseq u encia limitada da seq u encia n ao-decrescente (an ). Note que para qualquer n IN, existe um nk > n e, portanto, an ank b. Logo an b para todo n. Conseq uentemente, (an )nIN e limitada.

2.1

No c oes Preliminares

46

Exemplo 2.2 Sendo (an ) = 1 para todo n IN, temos a seq u encia constante (1, 1, 1, 1, ...), obviamente ela e limitada, n ao-decrescente e n ao-crescente. Exemplo 2.3 Sendo (an ) = n para todo n IN, temos a seq u encia (1, 2, 3, 4, ..., n, ...), que e limitada inferiormente, ilimitada superiormente, mon otona crescente. Exemplo 2.4 Se para n par temos an = 0 e n mpar temos an = 1, obtemos uma seq u encia limitada e n ao mon otona que e (1, 0, 1, 0, 1, ...). Exemplo 2.5 Seja an =
1 n

para todo n IN. Esta e a seq u encia 1 1 1 1 (1, , , , , ...) 2 3 4 5

que e mon otona decrescente e limitada. Exemplo 2.6 Consideremos a seq u encia (a1 , a2 , a3 , a4 , ..., an , ...) das pot encias de a, com a IR e n IN. (i) Se a = 0 ou a = 1, temos obviamente uma seq u encia constante.

2.1

No c oes Preliminares (ii)

47

Se 0 < a < 1, a seq u encia e decrescente e limitada. Com efeito, multiplicando

ambos os membros da desigualdade a < 1 por an obtemos an+1 < an , e assim a seq u encia e decrescente. Observe, o leitor, que todos os termos dessa seq u encia s ao positivos e portanto 0 < an < 1 para todo n IN, em outra palavras esta seq u encia e limitada. (iii) Se 1 < a < 0, a seq u encia (an ) n ao e mon otona, pois seus termos s ao

alternadamente positivos e negativos, respectivamentnte se n e par ou mpar, contudo, a seq u encia e limitada. De fato, como |an | = |a|n e 0 < |a| < 1, pelo item (ii) e Lema 2.1 conclui-se a arma c ao. (iv) (v) Se a = 1 temos a seq u encia (1, 1, 1, 1, ...) cuja an alise e trivial. Se a > 1 obtemos uma seq u encia crescente ilimitada. Com efeito, multipli-

cando ambos os membros da desigualdade a > 1 por an obtemos an+1 > an , logo a seq u encia e crescente. Quanto a ser ilimitada, observe que a = 1 + h com h > 0 IR e fazendo uso da desigualdade de Bernoulli concluimos que an > 1 + nh. Note tamb em que dado qualquer n umero real b, podemos achar n tal que an > b, para isto, basta tomar n> Donde obtemos 1 + nh > b que por sua vez nos leva a an > b. Portanto, a seq u encia (an ) e crescente ilimitada. b1 . h

2.2

Limite de uma Seq u encia (vi)

48

Se a < 1 a seq u encia (an ) n ao e mon otona, pois seus termos s ao alter-

nadamente positivos e negativos, e e ilimitada superior e inferiormente. Com efeito, seus termos de ordem par, a2n = (a2 )n , constituem, pelo item v, uma subseq u encia crescente, ilimitada superiormente, de n umeros positivos. Enquanto isso, seus termos de ordem mpar, a2n+1 = a(a2n ), constituem uma subseq u encia decrescente, ilimitada inferiormente, pelo item v.

2.2

Limite de uma Seq u encia

Intuitivamente, dizer que o n umero real L e limite da seq u encia (an ) signica armar que, ` a medida que o ndice n cresce, os termos an tornam-se e se mant em t ao pr oximo de L quanto se deseje. Dizer que an vai-se tornando t ao pr oximo de L quanto se deseje signica dizer que |an L| torna-se inferior a qualquer n umero positivo , por menor que seja, desde que fa camos o ndice n sucentemente grande. Dizemos que o n umero real L e o limite da seq u encia (an ) de n umeros reais, e escrevemos
n

lim an = L,

lim an = L

ou

an L.

Quando lim an = L, diz-se que a seq u encia (an ) converge para L, ou tende para L. Uma seq u encia que possui limite chama-se convergente, caso contr ario, divergente. Isto nos leva ` a seguinte deni c ao: Deni c ao 2.1 Diz-se que uma seq u encia (an ) converge para o n umero L, ou tem limite L se, dado qualquer n umero > 0, e sempre poss vel encontrar um n umero no tal que n > no |an L| < .

2.2

Limite de uma Seq u encia

49

Em linguagem simb olica lim an = L > 0 no IN : n > no |an L| < . Observe que se lim an = L ent ao qualquer intervalo (L , L + ), de centro L e raio > 0, cont em os termos an da seq u encia, com exce c ao no m aximo de um n umero nito de ndices n. Com efeito, dado o intervalo (L , L + ), com lim an = L, obtemos no IN : n > no |an L| < . Ou seja, n > no an (L , L + ). Assim, fora do intervalo (L , L + ) s o poder ao estar, no m aximo, os termos a1 , a2 , a3 , ..., ano . Reciprocamente, se qualquer intervalo de centro L cont em todos os an , salvo talvez para um n umero nito de ndices n, ent ao lim an = L. Com efeito, dado qualquer > 0, o intervalo (L , L + ) conter a todos os an exceto para um n umero nito de ndices n. Seja no o maior ndice n tal que an (L , L + ). Ent ao n > no ou seja |an L| < . Isto prova que lim an = L. Exemplo 2.7 Prove, segundo a deni c ao, que a seq u encia (an ) = ( converge para o n umero 1. n 1 2 3 n ) = ( , , , ... , ...) n+1 2 3 4 n+1 an (L , L + ),

2.2

Limite de uma Seq u encia

50

Solu c ao: Note que, dado qualquer > 0, |an 1| = n 1 1 1 = <n> 1 n+1 n+1
1

Logo, dado qualquer > 0 existe no =

1 tal que n 1 < , n+1

n > no

o que vem de encontro com a deni c ao 2.1, como queriamos. Exemplo 2.8 Calcule o ponto de convergencia da seq u encia, abaixo an = Solu c ao: Antes de calcularmos o pedido, observemos que: (i) Dividindo o numerador e denominador por n e lembrando que 3n . n + sen(2n)

[sen(2n)]/n 0, vemos que o ponto procurado e 3; (ii) e f acl, tamb em, ver que |n + sen(2n)| n |sen(2n)| n 1. Assim, |an 3| = 3 |sen(2n)| 3 3 3 . |n + sen(2n)| |n + sen(2n)| n |sen(2n)| n1

Portanto, dado qualquer > 0, temos que |an 3| 3 1 <n>1+ . n1

2.2

Limite de uma Seq u encia

51

Consequentemente o ponto de convergencia da seq u encia e 3, pois > 0 no = 1 + 1 : n > no |an 3| < .

Demonstraremos, agora, que uma seq u encia n ao pode possuir dois limites distintos, ou seja, se o limite existe ele eu nico. Teorema 2.1 Se lim an = L e lim an = L1 ent ao L = L1 . Demonstra c ao: Suponhamos que L = L1 e tomemos < |L L1 | . 2

Se lim an = L, ent ao, para um certo n1 temos n > n1 |an L| < . Da mesma forma se, lim an = L1 , ent ao, para um certo n2 temos n > n2 |an L1 | < . Seja no = max{n1 , n2 }, de forma que n > no nos leva simultaneamente a n > n1 e n > n2 . Assim, n > no implica que |L L1 | = |(L an ) + (an L1 )| |L an | + |L1 an | < 2 < |L L1 | , o que e aburdo. Logo, L = L1 .

2.2

Limite de uma Seq u encia Este teorema nos d a a Unicidade do limite.

52

Se insistirmos em calcular limites pela deni c ao, isto pode tornar-se um trabalho muito complicado. Por em com esta deni c ao podemos estabelecer propriedades que torna este trabalho um pouco menos complicado, como veremos daqui por diante. Teorema 2.2 Se lim an = L ent ao toda subseq u encia de (an ) converge para o limite L. Demonstra c ao: Seja (an1 , an2 , an3 , ..., ani , ..) uma subseq u encia de (an ). Dado > 0, existe no IN tal que n > no |an L| < . Como os ndices da subseq u encia formam um subconjunto innito, existe entre eles um nio > no . Ent ao ni > nio ni > no |ani L| < . Logo lim ani = L.

Corol ario 2.1 Se limn an = L ent ao, para todo k IN, limn an+k = L. Demonstra c ao: Com efeito, (a1+k , a2+k , a3+k , a4+k , ..., an+k , ...) e uma subseq u encia de (an ) e pelo teorema anterior seu limite e L.

2.2

Limite de uma Seq u encia

53

NOTA 2.1 Este u ltimo corol ario nos diz que o limite de uma seq u encia n ao se altera quando dela retiramos um n umero nito de termos. Mas geral, e o teorema anterior a este corol ario, que diz que podemos retirar um n umero innito de termos de uma seq u encia, desde que se conserve uma innidade de ndices, de modo a restar uma subseq u encia, que o limite, ainda, se mant em. Teorema 2.3 Toda seq u encia convergente e limitada. Demonstra c ao: Seja (an ) uma seq u encia que converge par L. Ent ao dado qualquer > 0, exite no IN tal que n > no L < an < L + . Isto quer dizer que a partir do ndice n = no + 1, a seq u encia e certamente limitada: a direta por L + e ` ` a esquerda por L . Falta, ent ao , acrescentarmos os termos restantes da seq u encia, para isto, basta considerarmos, dentre todos os n umeros a1 , a2 , ..., an , L , L + , aquele que e o menor de todos, digamos A, e aquele que e o maior de todos, digamos B e ent ao ser a verdade, para todo n, que A an B, como queriamos demonstrar.

2.2

Limite de uma Seq u encia

54

Quando uma seq u encia n ao e limitada, seus elementos podem se espalhar por toda a reta, distanciando-se uns dos outros, como acontece com an = n, an = 1 n ou an = (1)n (2n + 1). Se a seq u encia for limitada, estando seus elementos connados a um intervalo [A, B ], eles s ao for cados a se acumularem em um ou mais lugares desse intervalo. Isto eo que nos diz o Teorema de Bolzano-Weierstrass, enuciado a seguir, cuja demonstra c ao est a baseada na propriedade do supremo. Para mais detalhes, vinde [1], pg. 36. Teorema 2.4 de Bolzano-Weierstrass Toda seq u encia limitada (an ) possui uma subseq u encia convergente. Demonstra c ao: Como a seq u encia e limitada, existe um n umero positivo M tal que, para todos os ndices n, M < an < M . Seja X o conjunto dos n umeros x tais que existe uma innidade de elementos da seq u encia ` a direita de x, isto e, x < an para uma innidade claro que M X e M de ndices n. E e uma cota superior de X . Tratando-se, pois, de um conjunto n ao vazio e limitado superiormente, X possui supremo, que designamos por A. Vamos provar que existe uma subseq u encia convergindo para A. Come camos provando que, qualquer que seja > 0, existem innitos ndices n tais que A < an e somente um n umero nito satisfazendo A + < an . De fato, sendo A o supremo de X , existe x X ` a direita de A e innitos an ` a direita desse x, portanto ` a direita de A ; ao mesmo tempo, s o pode existir um n umero nito de elementos an > A + ; do contr ario, qualquer n umero entre A e A + estaria em X . Seja = 1 e an1 um elemento da seq u encia no intervalo (A 1, A + 1). Em seguida, seja an2 , com n2 > n1 , um elemento da seq u encia no intervalo (A 1 ,A + 1 ). Em 2 2

2.2

Limite de uma Seq u encia

55

seguida, seja an3 , com n3 > n2 , um elemento da seq u encia no intervalo (A 1 ,A+ 1 ). 3 3 Continuando com esse raciocinio, construimos uma subseq u encia (xj ) = (anj ), que certamente converge para A, pois |xj A| < 1 . E assim a demonstra c ao esta completa. j Al em de sua import ancia, tanto te orico como pr atica, o teorema abaixo teve papel hist orico relevante. Foi tentando prov a-lo de maneira puramente aritm etica que Dedekind(1858) vericou a imposibilidade de faz e-lo sem antes possuir uma teoria matem atica satisfat oria dos n umeros reais. Teorema 2.5 Toda seq u encia mon otona limitada e convergente. Demonstra c ao: Consideremos, para xar as id eias, a seq u encia (a1 a2 ... an ...) n aodecrescente limitada. A hip otese de ser limitada signica que ela e limitada superiormente, ou seja, seu conjunto de valores possui supremo S . Armamos que lim an = S . Com efeito, dado qualquer > 0, como S < S , o n umero S n ao e cota superior u encia do conjunto dos an . Logo existe algum no IN tal que S < ano . Como a seq e mon otona, n > no ano an e, portanto, S < an . Como an S para todo n, vemos que n > no S < an < S + .

2.3

Opera c oes com limites

56

Assim completamos nossa demonstra c ao.

Corol ario 2.2 Se uma seq u encia mon otona (an ) possui uma subseq u encia convergente, ent ao (an ) e convergente. Demonstra c ao: Com efeito, pelo Lema 2.2, a seq u encia mon otona (an ) e limitada e consequentemente pelo teorema anterior esta demonstrado o corol ario.

2.3

Opera c oes com limites

Mostraremos agora algumas opera c oes, soma, multiplica c ao e divis ao, dos limites de seq u encias. Teorema 2.6 Se lim an = 0 e (bn ) e uma seq u encia limitada, lim an .bn = 0. Iste resultado e v alido, ainda, que lim bn n ao exista.

2.3

Opera c oes com limites

57

Demonstra c ao: Sendo (bn ) limitada, existe c > 0 tal que |bn | < c prar todo n IN. Dado > 0, como lim an = 0, podemos encontrar no IN tal que n > no |an | < . c Logo, n > no |an .bn | = |an | . |bn | < .c = . c Isto nos montra que an .bn 0.

Exemplo 2.9 Qualquer que seja x IR, temos sen(nx) = 0. n n lim Solu c ao: De fato, 1 sen(nx) = sen(nx). . n n Como |sen(nx)| 1, em outras palavras, e limitado e 1 0, n pelo teorema anterior, temos o resultado desejado. Lema 2.3 Sendo lim bn = y , com y = 0, ent ao, salvo um n umro nito de ndices n, tem-se bn = 0.

2.3

Opera c oes com limites

58

Demonstra c ao: Com efeito, sendo y = 0, podemos tomar um intervalo (y , y + ) de centro y , tal que 0 (y , y + ). Para isto, tome = |y |. Ent ao existe no IN tal que n > no bn (y , y + ) isto e n > no bn = 0.

Teorema 2.7 Seja lim an = x e lim bn = y , ent ao: (a) (b) (c) lim(an + bn ) = x + y e lim(an bn ) = x y ; lim(an .bn ) = x.y ;
n )= lim( a bn

x y

se y = 0.

Demonstra c ao: (a) Sendo lim an = x e lim bn = y temos, respectivamente que, existem n1 e n2 2

em IN tais que: n > n1 |an x| < e n > n2 |bn y | < . 2

2.3

Opera c oes com limites

59

Seja no = max{n1 , n2 }. Ent ao n > no , nos leva a n > n1 e n > n2 . Logo n > no implica: |(an + bn ) (x + y )| = |(an x) + (bn y )| |an x| + |bn y | < + < . 2 2

Com isto provamos que lim(an + bn ) = x + y . De maneira an aloga se prova a diferen ca. (b) Observe que an bn xy = an bn an y + an y xy = an (bn y ) + (an x)y. Pelo teorema 2.3, (an ) e uma seq u encia limitada e pelo item (a) lim(bn y ) = 0. Logo pelo teorema 2.5, lim[an (bn y )] = 0. De maneira an aloga temos, lim[(an x)b] = 0. Dessa forma temos, pelo item (a) lim(an bn xy ) = lim[an (bn y )] + lim[(an x)b] = 0, donde obtemos lim(an .bn ) = x.y. Para que a seq u encia
an bn

tenha sentido, ou seja, para que ela seja formada, limitamo-

nos aos ndices n sucientemente grandes de modo que bn = 0. (c) Note, pelo item anterior, que bn y y 2 , ou seja, existe no IN tal que n > no b n y > y2 . 2

2.3

Opera c oes com limites

y2 2

60 e achar o no correspondente. Da , para todo n > no ,

2 . y2 1 ) e limitada. Veja bem, Logo, a seq u encia ( bn y

Para ver isto, basta tomar =

1 bn y

e um n umero positivo inferior a

yan xbn 1 an x = = (yan xbn ) . bn y bn y bn y Como

n

lim (yan xbn ) = xy xy = 0,

segue do teorema 2.5 que lim( e portanto lim( an x )= . bn y an x ) = 0, bn y

Exemplo 2.10 Calcule o limite da seq u encia de n umeros reais an = onde x > 0. Solu c ao: Note que esta seq u encia e decrescente se x > 1, crescente se x < 1 e limitada em qualquer um dos casos. Portanto, existe lim x n = L. n Sem sombra de d uvida temos L > 0. De fato,
1

x = xn ,

2.3 (i) (ii)

Opera c oes com limites Se 0 < x < 1, ent ao L = sup{x n ; n IN} x. Se x > 1 ent ao x n > 1, para todo n, logo L = inf {x n ; n IN} 1
1 1 1

61

Podemos armar com toda certeza que lim x n = 1.

1

Com efeito, consideremos a subseq u encia (x n(n+1) ) = (x 2 , x 6 , x 12 , ...). Pelo teorema 2.2 e pelo item (c) do teorema 2.6 obtemos L = lim x Exemplo 2.11 Calcule
n
1 n(n+1) 1 1 1 1

= lim x

1 1 n+1 n

= lim

xn x
1 n+1

lim x n lim x
1 n+1

L = 1. L

lim

n = lim n n .

Solu c ao: Primeiramente, vamos vericar se este limite existe. Para tanto, basta provar que a seq u encia e mon otona. A seq u encia em quest ao e uma seq u encia de n umeros reais positivos, portanto limitada inferiormente. Vejamos se e mon otona: Para que seja n e necess ario e suciente que nn+1 > (n + 1)n , n>
n+1

n+1

2.4

Crit erio de Converg encia de Cauchy

62

isto e, que n > (1 + 1 n ) . n

Isto de fato ocorre para todo n 3, pois sabemos que (1 + 1 n ) <3 n (verif ique!!!) n n e decrescente a partir

seja qual for n. Assim conclu mos que a seq u encia dada por

do seu terceiro termo. Note que 1 < 2 < 3 3, logo ela cresce em seus tr es primeiros passos, s o ent ao come cando a decrescer. Assim ( n n) e limitada e mon otona decrescente a partir do seu terceiro termo. Portanto seu limite existe. Seja lim n n
1 n 1

= L.

Como a seq u encia e mon otona decrescente temos que

1 1

L = inf {n ; n IN}. Uma vez que n n > 1 para todo n IN, temos L 1. Em particular, L > 0. Considerando a subseq u encia (2n) 2n , temos L2 = lim[(2n) 2n ]2 = lim[(2n) n ] = lim[2 n .n n ] = lim 2 n . lim n n = L. Como L = 0, de L2 = L obtemos L = 1. Portanto, lim n n = 1.
1 1 1 1 1 1

2.4

Crit erio de Converg encia de Cauchy

Um crit erio de converg encia j a foi dado antes, Teorema 2.4 (Toda seq u encia mon otona limitada e convergente), ou seja, um teorema que nos permite saber, em certos casos, se uma dada seq u encia e convergente, mesmo sem conhecermos o valor desse limite. Mas e claro que muitas seq u encias convergentes n ao s ao mon otonas, de modo que aquele

2.4

Crit erio de Converg encia de Cauchy

63

crit erio de converg encia n ao e o mais geral poss vel. Em contraste, o teorema seguinte e de car ater geral, e um crit erio de converg encia, que nos dar a uma condi c ao, n ao somente suciente mas tamb em necess aria, para a converg encia de qualquer seq u encia de n umeros reais. Este crit erio e conhecido como Crit erio de Converg encia de Cauchy. Deni c ao 2.2 Uma seq u encia de n umeros reais (an ) e dita ser uma uma seq u encia de Cauchy se ela satisfaz a seguinte condi c ao: dado arbitrariamente um n umero real > 0, pode-se obter no IN tal que m > no e n > no implicam |am an | < . Note, o leitor, que comparando esta deni c ao com a deni c ao de limite observamos que, na deni c ao de limite, exige-se que os termos an se aproximem arbitrariamente de um n umero real L, dado a priori. Enquanto que, para (an ) ser uma seq u encia de Cauchy, exige-se que seus termos am e an , para valores sucientemente grandes dos ndices m e n, se aproximem arbitrariamente uns dos outros, ou seja, imp oe-se, apenas, uma condi c ao sobre os termos da pr opria seq u encia. Lema 2.4 Toda seq u encia de Cauchy e limitada. Demonstra c ao: Seja (an ) uma seq u encia de Cauchy. Tomando = 1, obtemos no IN tal que m, n > no |am an | < 1. Em particular, n no |ano an | < 1,

2.4

Crit erio de Converg encia de Cauchy

64

ou seja, n no an (ano 1, ano + 1). Sejam o menor e o maior elemento do conjunto {a1 , a2 , ..., ano 1, ano + 1}. Ent ao an [, ] para cada n IN, logo (an ) e limitada.

Lema 2.5 Se uma seq u encia de Cauchy (an ) possui uma subseq u encia convergindo para L IR ent ao lim an = L. Demonstra c ao: Sendo (an ) uma seq u encia de Cauchy temos que dado > 0, existe no IN tal que m, n > no |am an | < . 2 u encia de (an ) convergindo para L. Ent ao existe n1 > no tal que Seja (ani ) uma subseq
|an1 L| < 2 . Portanto,

n > no |an L| |an an1 | + |an1 L| < Com isso mostramos que lim an = L.

+ = . 2 2

2.5

Limites Innitos

65

Teorema 2.8 Crit erio de Converg encia de Cauchy Uma seq u encia de n umeros reais e convergente se, e somente se, e Cauchy. Demonstra c ao: Seja (an ) uma seq u encia tal que lim an = L. Dado arbitrariamente > 0, existe no IN tal que m > no |am L| < e n > no |an L| < . 2 Logo, m, n > no |am an | |am L| + |an L| < Portanto (an ) e uma seq u encia de Cauchy. Reciprocamemte, seja (an ) uma seq u encia de Cauchy. Pelo Lema 2.4, ela e limitada. Consequentemente, pelo Teorema de Bolzano-Weierstrass, ela possui uma subseq u encia convergente. Finalmente do Lema 2.5 temos que (an ) converge. Isto completa a demonstra c ao do teorema. + = . 2 2 2

2.5

Limites Innitos

Certas seq u encias, embora n ao convergentes, apresentam um comportamento tanto quanto regular, a saber, aquelas cujos valores se tornam e se mant em arbitrariamente grandes ou arbitrariamente pequenos com o crescer do ndice. Seq u encias com estas propriedades, dizemos que diverge para mais innito ou para menos innito respectivamente.