Límite de Banach

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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:

  1. \phi(\alpha x+\beta y)=\alpha\phi(x)+\beta \phi(y) (linearidad);
  2. Si x_n\geq 0 para todo n\ge1, entonces \phi(x)\geq 0;
  3. \phi(x)=\phi(Sx), donde S es el operador de shift definido por (Sx)_n=x_{n+1}.
  4. 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[editar]

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 12. 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[editar]

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.

Enlaces externos[editar]