En análisis matemático, un límite de Banach es un funcional lineal continuo definido sobre el espacio de Banach para toda sucesión acotada de números complejos tales que para sucesiones y cualesquiera, se cumplen las siguientes condiciones:

  1. (linealidad);
  2. Si para todo , entonces ;
  3. , donde es un operador escalera definido por .
  4. Si es una sucesión convergente, entonces .

Por lo tanto, es una extensión del funcional continuo

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 (esta aproximación 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  , entonces   es una sucesión constante, y   se cumple. Por lo tanto, para cualquier límite de Banach esta sucesión tiene como límite  . Una sucesión   con la propiedad que, para todo límite de Banach  , el valor   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  . Por lo tanto, el límite de Banach sobre   es un ejemplo de un elemento del espacio dual continuo   que no está en  . El dual de   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