Limite de uma seqüência

O limite de uma seqüência é um dos conceitos mais antigos de análise matemática. A mesma dá uma definição rigorosa à idéia de uma seqüência que converge até um ponto chamado limite.

De forma intuitiva, supondo que tem-se uma seqüência de pontos (por exemplo, um conjunto infinito de pontos numerados utilizando os números naturais) em algum tipo de objeto matemático (por exemplo, os números reais ou um espaço vetorial) que admite o conceito de vizinhança (no sentido de "todos os pontos dentro de uma certa distância de um dado ponto fixo"). Um ponto L é o limite da seqüência se para toda a vizinhança que se defina, todos os pontos da seqüência (com a possível exceção de um número finito de pontos) estão próximos a L. Isto pode ser interpretado como se houvesse um conjunto de esferas de tamanhos decrescentes até zero, todas centradas em L, e para qualquer destas esferas, só existiria um número finito de números fora dela.

Índice

[editar] Definição formal

Para uma seqüência de pontos $\{x_n|n\in \mathbb{N}\}\;$ em um espaço métrico M com função de distância d

(como por exemplo, uma seqüência de números racionais, números reais, números complexos, pontos em um espaço normado, etc.):

Se $L\ en M\;$ diz-se que L é o limite da seqüência e escreve-se

$L =\ lim_{n \to \infty} x_n$

$\Longleftrightarrow \forall \epsilon>0\;, \exist N \in \mathbb{N}: n>N \rightarrow d(x_n,L)<\epsilon.\;$

i.e.:se e somente se para todo (hodap) número real $\epsilon>0\;$ , existe um número natural N tal que para cada $n>N\;$ , satisfaz-se que $d(x_n,L)<\epsilon.\;$

Uma generalização desta relação, para uma seqüência de pontos $\{x_n|n\in \mathbb{N}\}\;$ em um espaço topológico T:

Se $L\in T\;$ diz-se que L é um limite desta seqüência e escreve-se

$L = \lim_{n \to \infty} x_n$

se e somente se para toda a vizinhança S de L existe um número natural N tal que $x_n\in S\;$ para todo $n>N.\;$

Se uma seqüência tem limite, diz-se que a seqüência é convergente, e que a seqüência converge ao limite. Caso contrário, a seqüência é divergente.

[editar] Comentários

A definição significa que eventualmente todos os elementos da seqüência aproximam-se tanto como queiramos ao valor limite. (A condição que impõe que os elementos encontrem-se arbitrariamente próximos aos elementos subseqüentes não, implica em geral, que a seqüência tenha um limite. Veja sucessão de Cauchy).

É possível também que uma seqüência em um espaço topológico geral, possa ter vários limites diferentes, mas uma seqüência convergente possui um único limite se T é um espaço de Hausdorff, por exemplo, a reta real (estendida), o plano complexo, seus subconjuntos (R, Q, Z...) e produtos cartesianos (Rⁿ...).

[editar] Exemplos

A seqüência 1/1, 1/2, 1/3, 1/4, ... de números reais converge ao limite 0.
A seqüência 1, -1, 1, -1, 1, ... é divergente.
A seqüência 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8, 1/2 + 1/4 + 1/8 + 1/16, ... converge ao limite 1. Este é um exemplo de uma série infinita.
Se a é um número real com valor absoluto |a| < 1, então a seqüência aⁿ possui limite 0. Se 0 < a ≤ 1, então a seqüência a^1/n possui limite 1.
Também: