Accueil🇫🇷Chercher

Limite de Banach

En mathématiques, une limite de Banach, du nom de Stefan Banach, est une forme linéaire continue sur l'espace de Banach ℓ∞ des suites bornées de nombres complexes, telle que pour toute suite dans , on ait :

  1. si pour tout , alors (positivité) ;
  2. , où est l'opérateur de décalage défini par (invariance par décalage) ;
  3. si est une suite convergente, alors .

Ainsi, est un prolongement de la forme linéaire continue

où est le sous-espace fermé des suites convergentes au sens usuel.

En d'autres termes, une limite de Banach étend la notion de limite usuelle, et est de plus linéaire, invariante par décalage et positive. Cependant, il existe des suites pour lesquelles il n'y a pas unicité de la valeur de leur limite de Banach.

Dans le cas particulier où la suite est à valeurs réelles, il résulte de la définition que son image par est encadrée par ses limites inférieure et supérieure :

L'existence de la limite de Banach est souvent démontrée via le théorème de Hahn-Banach ou via l'utilisation d'ultrafiltres. Ces constructions nécessitent l'axiome du choix et ne sont donc pas constructives.

Suites presque convergentes

Il existe des suites qui ne sont pas convergentes mais qui ont une unique limite de Banach. Par exemple, si , alors est une suite constante et donc

Par conséquent, une limite de Banach de cette suite vaut nécessairement .

Une suite bornée qui a pour propriété que pour chaque limite de Banach , la valeur est la même est appelée suite presque convergente (en).

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Banach limit » (voir la liste des auteurs).
  • (cs) Bohuslav Balcar (en) et Petr Å tÄ›pánek, Teorie množin, Prague, Academia, , 2e éd., 462 p. (ISBN 80-200-0470-X)
  • John B. Conway (en), A Course in Functional Analysis, New York, Springer, coll. « GTM » (no 96), , 400 p. (ISBN 978-0-387-97245-9, lire en ligne), p. 82-83

Article connexe

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.