Você está na página 1de 4

SEQUNCIA DE NMEROS REAIS

Uma sequncia de nmeros reais uma funo , que associa a cada nmero
natural um nmero real

, chamado de ensimo termo da sequncia. Denotamos por

.
Dada uma sequncia

de nmeros reais, uma subsequncia de

a restrio
da funo que define

a um subconjunto infinito

de .
Denotamos por (

.
Uma sequncia dita limitada superiormente quando existe tal que

. Analogamente uma sequncia dita limitada inferiormente quando existe tal


que

. Agora a sequncia dita limitada quando ela limitada superiormente e


inferiormente, ou seja, existe tal que

para todo . Quando uma sequncia


no limitada dizemos que ela ilimitada.
Uma sequncia dita crescente quando

para todo . Agora se vale

para todo a sequncia dita no-decrescente. Analogamente quando

para todo a sequncia decrescente e se vale

para todo a
sequncia dita no-crescente. As sequncias crescentes, no-decrescentes, decrescentes e
no-crescentes so chamadas de sequncias montonas. Uma sequncia no-decrescente
sempre limitada inferiormente e uma sequncia no-crescente sempre limitada
superiormente.
Exemplos: A sequncia

para todo , ou seja, obtm-se a sequncia


limitada inferiormente, ilimitada superiormente, montona crescente. J a
sequncia

para todo , ou seja, obtm-se a sequncia


montona decrescente e limitada.
Definio de limite de uma sequncia Um nmero real limite de uma sequncia
de nmeros reais

, quando para cada nmero real , dado arbitrariamente, for


possvel obter um inteiro

tal que

, sempre que

. Ou seja,


Exemplo: Seja a sequncia

tal que

, temos que

pois
, tomando

, tem-se que ,

resulta que:
|


| |


|


Uma sequncia que possui limite chamada de convergente, caso contrrio, ela se
chama divergente.
Teoremas sobre limites de sequncias de nmeros reais
Teorema 1) (unicidade do limite) Se

ento .
Demonstrao: Seja

. Dado podemos tomar tal que os


intervalos abertos e sejam disjuntos. Existe

tal
que

implica em

. Ento, para todo

, temos

. Logo no

.
Teorema 2) Se

ento toda subsequncia de

converge para o limite .


Demonstrao: Seja

uma sub\ sequncia. Dado qualquer intervalo


aberto de centro , existe

tal que todos os termos de

, com

, pertencem a
. Em particular, todos os termos

, com

tambm pertencem a . Logo

.
Teorema 3) Toda sequncia convergente limitada.
Demonstrao: Se

. Tomando , vemos que existe

tal que

. Seja o menor e o o maior elemento do conjunto finito

. Todos os termos

da sequncia esto contidos no intervalo


, logo ela limitada.
Teorema 4) Toda sequncia montona limitada convergente.
Demonstrao: Seja

montona, digamos no decrescente, limitada. Seja


e , podemos afirmar que

. Com efeito, dado ,


o nmero no cota superior de . Logo existe

tal que

. Assim,

e da que

.
Semelhantemente, se

no crescente, limitada ento

o nfimo do
conjunto dos valores de

.
Corolrio (Teorema de Bolzano-Weierstrass) Toda sequncia limitada de nmeros reais
possui subsequncia convergente.
Demonstrao: Com efeito, basta mostrar que toda sequncia

possui uma
subsequncia montona.
Dada uma sequncia

um termo

chamado de termo destacado quando

para todo . Seja o conjunto dos ndices tais que

um termo
destacado. Se for um conjunto infinito

ento a
subsequncia


ser montona no crescente. Se entretanto, for um conjunto finito,
seja

maior do que todos os . Ento

no destacado, logo existe

com

. Por sua vez,

no destacado, logo existe

com

.
Prosseguindo obtemos uma subsequncia crescente


Teorema 5) Seja

. Se ento, para todo suficientemente grande,


tem-se

. Analogamente, se ento

para todo suficientemente grande.


Demonstrao: Sendo , tomando , temos que e . Pela
definio de limite, existe

tal que

.
Agora se , tomando , temos que e . Pela definio de
limite, existe

tal que

.
Corolrio 1) Seja

. Se ento, para todo suficientemente grande,


tem-se

. Analogamente, se ento

para todo suficientemente grande.


Corolrio 2) Sejam

. Se

para todo suficientemente


grande ento . Em particular se

para todo suficientemente grande ento


.
Teorema 6) (Teorema do sanduche) Se

para todo
suficientemente grande ento

.
Demonstrao: Dado arbitrariamente , existem

tais que

. Seja

. Ento

, logo

.
Teorema 7) Se

uma sequncia limitada (convergente ou no)


ento

.
Demonstrao: Como

uma sequncia limitada, ento existe um , tal que

para todo . Dado arbitrariamente , existe

tal que

. Ento

, logo

.
Teorema 8) Se

ento:
1)


2)


3)

se
Demonstrao:
1) Dado arbitrariamente , exitem

tais que

. Seja

. Ento

,
logo

. Portanto,

. De maneira anloga demonstra-se que

.
2) Temos que

. Como
toda sequncia convergente limitada ento

limitada. Alm disso tem-se

. Portanto pelo teorema 7) temos que

) , donde

.
3) Temos que

. Como

. Portanto, basta
mostrar que

uma sequncia limitada para concluir que (

) e
portanto que

. Pondo

temos

. Como

, segue
do teorema 5) que, para todo suficientemente grande, tem-se

e portanto

completando a demonstrao.
Teorema 9)
1) Se

limitada inferiormente ento


2) Se

e existe tal que

para todo ento



3) Se

para todo e

ento


4) Se

limitada e

ento


Demonstrao.
1) Como

limitada inferiormente ento existe tal que

para todo
. Dado arbitrariamente , existe

tal que

.
Segue-se que

, logo

.
2) Dado arbitrariamente , existe

tal que

. Logo

, donde


3) Dado , existe

tal que

. Ento

e da

.
4) Existe tal que

para todo . Dado arbitrariamente , existe

tal que

. Ento

, logo

Você também pode gostar