Límite de Banach
# Límite de Banach

En análisis matemático, un límite de Banach es un funcional lineal continuo $\phi :\ell _{\infty }\to \mathbb {R}$ definido sobre el espacio de Banach $\ell _{\infty }$ para toda sucesión acotada de números complejos tales que para sucesiones $x=(x_{n})$ y $y=(y_{n})$ cualesquiera, se cumplen las siguientes condiciones:

* $\phi (\alpha x+\beta y)=\alpha \phi (x)+\beta \phi (y)$ (linealidad);
* Si $x_{n}\geq 0$ para todo $n\geq 1$, entonces $\phi (x)\geq 0$;
* $\phi (x)=\phi (Sx)$, donde $S$ es un operador escalera definido por $(Sx)_{n}=x_{n+1}$.
* Si $x$ es una sucesión convergente, entonces $\phi (x)=\lim x$.

Por lo tanto, $\phi$ es una extensión del funcional continuo $\lim x:c\mapsto \mathbb {C} .$

En otras palabras, un límite de Banach extiende el límite usual, es invariante (al desplazamiento) y positivo. Sin embargo, existen sucesiones para las cuales los valores de dos límites de Banach no concuerdan. Se dice que el límite de Banach no es únicamente determinado en este caso.

La existencia de límites de Banach es comúnmente demostrada haciendo uso del teorema de Hahn–Banach (aproximación analítica) o haciendo uso de ultrafiltros (este aproximamiento es más frecuente en exposiciones conjuntistas). Vale la pena destacar que, esas demostraciones hacen uso del axioma de elección (luego son llamadas demostraciones no efectivas).

## Casi convergencia

Existen sucesiones no convergentes las cuales tienen únicamente determinados límites de Banach. Por ejemplo, si $x=(1,0,1,0,\ldots )$, entonces $x+S(x)=(1,1,1,\ldots )$ es una sucesión constante, y $2\phi (x)=\phi (x)+\phi (Sx)=1$ se cumple. Por lo tanto, para cualquier límite de Banach esta sucesión tiene como límite ${\frac {1}{2}}$. Una sucesión $x$ con la propiedad que, para todo límite de Banach $\phi$, el valor $\phi (x)$ es el mismo, es llamada casi convergente.

## espacios Ba

Dada una sucesión en c, el límite ordinario de la sucesión no surge de un elemento de $\ell ^{1}$. Por lo tanto, el límite de Banach sobre $\ell ^{\infty }$ es un ejemplo de un elemento del espacio dual continuo $\ell ^{\infty }$ que no está en $\ell ^{1}$. El dual de $\ell ^{\infty }$ es conocido como el espacio ba, y consiste en todas las medidas finitamente aditivas del sigma-álgebra de todos los subconjuntos de los números naturales.

