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 :
- si pour tout , alors (positivité) ;
- , où est l'opérateur de décalage défini par (invariance par décalage) ;
- 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
- Série divergente
- Trace de Dixmier (en)