Límite dunha sucesión

O **límite dunha sucesión** é un dos conceptos máis antigos da análise matemática. Este concepto está estreitamente ligado ao de converxencia; unha sucesión de elementos dun conxunto é converxente se e só se no mesmo conxunto existe un elemento (que se coñece como límite) ao que a sucesión se aproxima tanto como se desexe a partir dun momento dado. Se unha sucesión ten límite, dise que é unha **sucesión converxente**, e que a sucesión **converxe** ou **tende** ao límite. En caso contrario, a sucesión é **diverxente**.

A definición significa que eventualmente todos os elementos da sucesión se aproximan tanto como queiramos ao valor límite. A condición que impón que os elementos se atopen arbitrariamente próximos aos elementos subseguintes non implica, en xeral, que a sucesión teña un límite.

A idea de proximidade dá lugar a distintas definicións de límite dependendo do conxunto onde se definiu a sucesión.

## Límite dunha sucesión de números reais 
### Definición formal 
O termo xeral dunha sucesión  \{\,x_n \}_{n\geq 1} ten límite \,l, cando \,n tende a \infty, se para todo valor \,\varepsilon > 0 por pequeno que sexa, existe un valor \,n_0 a partir do cal se \,n>n_0 temos que a distancia de \,l a \,x_n é menor que \,\varepsilon, é dicir:

\forall \varepsilon > 0, \exists n_0>0 : \forall n>n_0, d(x_n,l).

### Notación 
\lim_{n\to\infty} x_n=l
ou
 x_n \xrightarrow[{\;\; n \to \infty\;\; }]{}l
 
ou tamén
{{Ecuación| x_n\ \stackrel{d}{\longrightarrow}\ x \quad \mbox{cando} \quad n \to \infty |}}

ou simplemente

### Exemplos 
* A sucesión 1/1, 1/2, 1/3, 1/4, ... converxe ao límite 0. 
* A sucesión 1, -1, 1, -1, 1, ... é oscilante.
* A sucesión 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8, 1/2 + 1/4 + 1/8 + 1/16, ... converxe ao límite 1.
* Se *a* é un número real con valor absoluto |*a*| n* posúe límite 0. se 0 1/*n* posúe límite 1.
* \lim_{n\to\infty} \frac{1}{n^p} = 0 \hbox{ se } p > 0
* \lim_{n\to\infty} n^{\frac{1}{n}} = 1
* \lim_{n\to\infty} a^{\frac{1}{n}} = 1 \hbox{ se } a>0

### Propiedadees 
* Se unha sucesión \,\{a_n\} ten límite positivo, existe un termo a partir do cal todos os termos da sucesión son positivos.
* Se unha sucesión \,\{a_n\} ten límite negativo, existe un termo a partir do cal os termos da sucesión son negativos.
* Se unha sucesión \,\{a_n\} converxe a cero, non se pode asegurar nada acerca do signo de cada un dos termos da sucesión.
* Se unha sucesión \,\{a_n\} tende a menos infinito e \,\{a_n\}  entón \frac{1}{a_n} tende a 0.

## Límite dunha sucesión complexa  
Dise que a sucesión converxe cara a un complexo \ell se e só se
:(\forall \varepsilon \in \mathbb R_+^*)(\exists N \in \mathbb N) (\forall n \in \mathbb N) (n \geq N \rightarrow |u_n - \ell| 
É a mesma definición que para \R, con módulo en lugar do valor absoluto.

Pódese escribir 
:\lim_{n \to + \infty}u_n = \ell ou máis simplemente, se non hai ambigüidade \lim u = \ell
As sucesións complexas converxentes posúen as mesmas propiedades que as sucesións reais, agás as de relación de orde: o límite é único, unha sucesión converxente ten módulo limitado, toda sucesión de Cauchy converxe (en efecto, \mathbb C é tamén completo).

## Exemplos 
* Sucesións en \mathbb R ou \mathbb C
* Sucesións en \mathbb R^n
* Sucesións no espazo \ell^p
* Sucesións no espazo L^2({\mathbb R}^n)
* Sucesións no espazo das funcións continuas C[a,b]\,

## Tipos de converxencia 
### Converxencia puntual 
O concepto de converxencia puntual é un dos varios sentidos nos que unha sucesión de funcións pode converxer a unha función particular.

Unha sucesión de funcións f_n:S\to M definidas nun conxunto non baleiro S\,  con valores nun espazo métrico (M,d\,) *converxe puntualmente* a unha función f:S\to M se

{{Ecuación| \lim_{n\to \infty} f_n(x) = f(x)|}}

para cada x\in S fixo. Isto significa que

A sucesión de funcións f_n(x):=x/n\, con x\in [0,1] converxe puntualmente á función f(x):=0\, posto que

{{Ecuación| \left\vert\frac{x}{n}\right\vert \le \frac{1}{n} \to 0|}}

para cada x\in [0,1] fixo.

### Converxencia uniforme 
Unha sucesión de funcións f_n:S\to M definidas nun conxunto non baleiro S\,  con valores nun espazo métrico (M,d\,) *converxe uniformemente* a unha función f:S\to M se para todo \varepsilon>0 existe un enteiro N\, (que depende de \varepsilon) tal que

para todo x\in S e todo n \ge  N. É dicir,

O concepto de converxencia uniforme é un concepto máis forte que o de converxencia puntual. En , N\, pode depender de \varepsilon e de x\, mentres que en , N\, só pode depender de \varepsilon. Así, toda sucesión que converxe uniformemente, converxe puntualmente. O enunciado recíproco é falso, e un contraexemplo clásico constitúeno as sucesión de funcións f_n:[0,1]\to \mathbb R definidas por f_n(x) = x^n\,. Esta sucesión converxe puntualmente á función

{{Ecuación|f(x) = \begin{cases} 0, & \mbox{si}\quad 0\le x |}}

xa que

{{Ecuación| |f_n(x)-f(x)| = |x^n| \to 0 \quad \mbox{se}\quad 0\le x |}}

mentres que  \vert f_n(1)-f(1)\vert = 0. Non obstante esta sucesión non converxe uniformemente, pois para \varepsilon=1/4, non existe un N\, que satisfaga .

De especial interese é o espazo das funcións continuas C(\Omega)\, definidas sobre un compacto \Omega\subset \mathbb R^n. Neste caso, unha sucesión de funcións f_n\in C(\Omega),\, converxe uniformemente a unha función f\in C(\Omega),\, se, e só se, converxe na norma do sup, é dicir,

{{Ecuación|f_n \stackrel{u}{\longrightarrow}\ f \quad \Longleftrightarrow \quad f_n \stackrel{
\Vert \cdot\Vert}{\longrightarrow}\ f|}}

## Sucesións noutros espazos matemáticos 
Unha sucesión de elementos \{x_n\}\, dun espazo métrico (M,d\,) converxe a un elemento x\in M se para todo número \varepsilon> 0, existe un enteiro positivo N \, (que depende de \varepsilon) tal que

Intuitivamente, isto significa que os elementos x_n\, da sucesión se poden facer *arbitrariamente próximos* a x\, se n\, é *suficientemente grande*, xa que d(x_n,x\,) *determina* a distancia entre x_n\, e x\,. A partir da definición é posible demostrar que se unha sucesión converxe, o fai cara a un único límite.

A definición aplícase en particular aos  espazos vectoriais normados e aos  espazos con produto interno. No caso dun espazo normado (E,\Vert \cdot\Vert), a norma \Vert \cdot\Vert induce a métrica d(x,y):=\Vert e - x\Vert para cada x,y\in E; no caso dun espazo con produto interno (E,\langle \cdot, \cdot\rangle), o produto interno \langle \cdot, \cdot\rangle induce a norma \Vert x\Vert = \sqrt{\langle x, x\rangle} para cada x\in E.

### Converxencia uniforme sobre compactos 
#### Converxencia débil 
Unha sucesión dise que converxe debilmente a x ou en sentido débil se para toda función linear f, f(Xn) converxe a f(X).

Por exemplo a serie  1/n dende n=1 ata infinito converxe debilmente a cero porque:
lim f(1/n) = lim n/n*f(1/n) = lim 1/n*f(n/n) = lim 1/n*f(1) = 0
por ser f linear.

### Límite nun espazo topolóxico 
Unha xeneralización desta relación, para unha sucesión de puntos \{x_n|n\in \mathbb{N}\}\; nun espazo topolóxico *T*:

:Se L\in T\; dise que *L* é **un límite** desta sucesión e escríbese

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

:se e só se para todo veciñanza *S* de *L* existe un número natural *N* tal que x_n\in S\; para todo n>N.\;

De forma intuitiva, supoñendo que se ten unha sucesión de puntos (por exemplo un conxunto infinito de puntos numerados utilizando os números naturais) nalgún tipo de obxecto matemático (por exemplo os números reais ou un espazo vectorial) que admite o concepto de *veciñanza* (no sentido de "todos os puntos dentro dunha certa distancia dun dado punto fixo"). Un punto *L* é *o límite da sucesión* se para toda veciñanza que se defina, todos os puntos da sucesión (coa posible excepción dun número finito de puntos) están próximos a *L*. Isto pode ser interpretado como se houbese un conxunto de esferas de tamaños decrecentes ata cero, todas centradas en *L*, e para calquera destas esferas, só existise un número finito de números fóra dela.

Unha sucesión converxente posúe un único límite se *T* é un espazo de Hausdorff; por exemplo a recta real estendida, o plano complexo, os seus subconxuntos (*ℝ*, *ℚ*, *ℤ*...) e produtos cartesianos (ℝn...).

## Teoría da probabilidade 
En teoría da probabilidade existen diferentes nocións de converxencia: converxencia de funcións medibles, converxencia en distribución e límites de variables aleatorias.

## Véxase tamén 
### Outros artigos 
*Sucesión matemática
*Serie matemática
*Serie converxente
*Orde de converxencia
*Límite dunha función
*Límite matemático
*Raio de converxencia
### Ligazóns externas 
* Convergent Sequence
* Exemplos de sucesións