« Représentabilité finie (espace de Banach) » : différence entre les versions
[0.9] 📗 Amélioration bibliographique 4x : +sous-titre, +lieu, ©BnF... |
|||
| Ligne 1 : | Ligne 1 : | ||
La '''représentabilité finie''' est un concept [[mathématique]] utilisé dans l'étude des [[espaces de Banach]]. L'idée principale, introduite par [[Grothendieck]]<ref>{{Ouvrage| |
La '''représentabilité finie''' est un concept [[mathématique]] utilisé dans l'étude des [[espaces de Banach]]. L'idée principale, introduite par [[Grothendieck]]<ref>{{Ouvrage|langue=en|prénom1=Raymond A.|nom1=Ryan|titre=Introduction to Tensor Products of Banach Spaces|éditeur=Springer|année=2002|pages totales=226|passage=201|isbn=978-1-85233-437-6|lire en ligne=https://books.google.fr/books?id=7xRlVTVSNpQC&pg=PA201}}</ref>{{,}}<ref>{{Article|nom=Grothendieck|first=A.|titre=Résumé de la théorie métrique des produits tensoriels topologiques|year=1953|revue=Bol. Soc. Mat. Sao Paulo|vol=8|p.=1-79|url=http://www.ime.usp.br/acervovirtual/textos/estrangeiros/grothendieck/produits_tensoriels_topologiques/}}</ref>, consiste à examiner les [[Isomorphisme d'espaces vectoriels|isomorphismes]] entre [[Sous-espace vectoriel|sous-espaces]] [[Espace vectoriel de dimension finie|de dimension finie]]. |
||
==Définition== |
==Définition== |
||
| Ligne 37 : | Ligne 37 : | ||
==Principe de réflexivité locale== |
==Principe de réflexivité locale== |
||
Le principe de '''réflexivité locale''', explicité par [[Joram Lindenstrauss]] et Haskell Rosenthal<ref>{{Ouvrage| |
Le principe de '''réflexivité locale''', explicité par [[Joram Lindenstrauss]] et Haskell Rosenthal<ref>{{Ouvrage|langue=en|prénom1=Marián|nom1=Fabian|prénom2=Petr|nom2=Habala|prénom3=Petr|nom3=Hájek|prénom4=Vicente|nom4=Montesinos|prénom5=Václav|nom5=Zizler|titre=Banach Space Theory|sous-titre=the basis for linear and nonlinear analysis|lieu=New York|éditeur=Springer|année=2011|pages totales=820|passage=292|isbn=978-1-4419-7515-7|lire en ligne=https://books.google.fr/books?id=5BDX2NNsqR4C&pg=PA292}}</ref>{{,}}<ref>{{Article|lang=en|first=J.|nom=Lindenstrauss|prénom2=H. P.|nom2=Rosenthal|titre=The ℒ{{ind|''p''}}-spaces|revue=Israel J. Math.|vol=7|year=1969|p.=325-349|doi=10.1007/BF02788865}}</ref>, assure que le [[Dual topologique#Bidual (topologique)|bidual ''E<nowiki>''</nowiki> ''d'un espace de Banach]] ''E ''est finiment représentable dans ''E'', et même : |
||
{{Énoncé||Pour tous sous-espaces de dimensions finies ''U ''⊂ ''E<nowiki>''</nowiki> ''et ''V ''⊂ ''E' ''et tout ε > 0, il existe une [[Injection (mathématiques)|injection]] [[Application linéaire|linéaire]] ''T '': ''U ''→ ''E ''telle que |
{{Énoncé||Pour tous sous-espaces de dimensions finies ''U ''⊂ ''E<nowiki>''</nowiki> ''et ''V ''⊂ ''E' ''et tout ε > 0, il existe une [[Injection (mathématiques)|injection]] [[Application linéaire|linéaire]] ''T '': ''U ''→ ''E ''telle que |
||
| Ligne 49 : | Ligne 49 : | ||
==Bibliographie== |
==Bibliographie== |
||
*{{ |
*{{Ouvrage|langue=en|prénom1=Bernard|nom1=Beauzamy|titre=Introduction to Banach Spaces and their Geometry|éditeur=North-Holland|année=1985|numéro d'édition=2|isbn=|lire en ligne=https://books.google.fr/books?id=2IberyICzWwC}} |
||
*{{Ouvrage| |
*{{Ouvrage|langue=en|prénom1=Joseph|nom1=Diestel|titre=Sequences and Series in Banach Spaces|éditeur=Springer|collection=[[Graduate Texts in Mathematics|GTM]]|numéro dans collection=92|année=2012|année première édition=1984|isbn=978-1-4612-9734-5}} |
||
*{{Article|lang=en|titre=The Nonlinear Geometry of Banach Spaces|nom={{Lien|Nigel Kalton|texte=Nigel J. Kalton}}|revue=Revista Matemática Complutense|year=2008|vol=21|issue=1|p.=7-60|url=http://www.mat.ucm.es/serv/revmat/vol21-1/vol21-1a.pdf}} |
*{{Article|lang=en|titre=The Nonlinear Geometry of Banach Spaces|nom={{Lien|Nigel Kalton|texte=Nigel J. Kalton}}|revue=Revista Matemática Complutense|year=2008|vol=21|issue=1|p.=7-60|url=http://www.mat.ucm.es/serv/revmat/vol21-1/vol21-1a.pdf}} |
||
Version du 22 novembre 2020 à 22:57
La représentabilité finie est un concept mathématique utilisé dans l'étude des espaces de Banach. L'idée principale, introduite par Grothendieck[1],[2], consiste à examiner les isomorphismes entre sous-espaces de dimension finie.
Définition
Soient E et F deux espaces vectoriels normés. F est dit finiment représentable dans E si, pour tout sous-espace U ⊂ F de dimension finie et tout ε > 0, il existe un sous-espace V ⊂ E et un isomorphisme T : U → V tels que ║T║║T −1║ < 1 + ε, où ║ ║ désigne la norme d'opérateur.
Autrement dit, F est finiment représentable dans E si tout sous-espace de dimension finie de F est à distance de Banach-Mazur arbitrairement petite d'un sous-espace de dimension finie de E.
Exemples
- Tout sous-espace de E est finiment représentable dans E.
- La représentabilité finie est une relation transitive, c'est-à-dire que si G est finiment représentable dans F et F finiment représentable dans E, alors G est finiment représentable dans E.
- Pour 1 ≤ p < +∞, Lp([0, 1]) est finiment représentable dans ℓp.
- Pour p > 2 et 1 ≤ q ≤ 2, ℓp n'est pas finiment représentable dans Lq(X, μ).
- L'espace de fonctions C([0, 1]) est finiment représentable dans l'espace c0 (de) des suites réelles de limite nulle, et vice-versa.
Théorème de Dvoretzky
D'après le théorème de Banach-Mazur, tout espace de Banach séparable est isométrique à un sous-espace de C([0, 1]). Tout espace de Banach est donc finiment représentable dans C([0, 1]), autrement dit : C([0, 1]) est maximal pour la relation de représentabilité finie. Un corollaire du théorème de Dvoretzky garantit qu'à l'opposé, les espaces de Hilbert sont minimaux :
Un espace de Hilbert est finiment représentable dans tout espace de Banach de dimension infinie.
Cette minimalité caractérise même les espaces de Hilbert. En effet, si un Banach H est finiment représentable dans tout Banach de dimension infinie alors il l'est dans ℓ2 et on en déduit facilement qu'il vérifie l'identité du parallélogramme donc, d'après le théorème de Fréchet-von Neumann-Jordan, H est un Hilbert.
Super-propriétés
Pour toute propriété P vérifiée par certains espaces de Banach, on dit qu'un Banach E a la propriété super-P, ou « est » super-P, si tout Banach finiment représentable dans E a la propriété P. D'après le théorème de Dvoretzky, pour qu'il existe un Banach super-P de dimension infinie, il faut que tout Hilbert ait la propriété P.
« Super- » est bien sûr un opérateur de clôture, c'est-à-dire qu'on a « super-P ⇒ P », « si P ⇒ Q alors super-P ⇒ super-Q » et « super-super-Q ⇔ super-Q ».
En particulier, P est une super-propriété (c'est-à-dire de la forme super-Q) si et seulement si super-P ⇔ P. Par exemple, la convexité uniforme est une super-propriété, mais pas la réflexivité.
Super-réflexivité
La convexité uniforme entraîne la propriété de Banach-Saks (théorème dû à Kakutani), qui elle-même entraîne la réflexivité (théorème de T. Nishiura et D. Waterman). Tout espace uniformément convexe est donc réflexif (théorème de Milman-Pettis) et même super-réflexif (puisque la convexité uniforme est une super-propriété). La réciproque est due à Per Enflo[3] :
Un espace de Banach est super-réflexif (si et) seulement s'il est uniformément convexe pour au moins une norme équivalente.
On en déduit :
La super-réflexivité et la super-propriété de Banach-Saks sont équivalentes.
Principe de réflexivité locale
Le principe de réflexivité locale, explicité par Joram Lindenstrauss et Haskell Rosenthal[4],[5], assure que le bidual E'' d'un espace de Banach E est finiment représentable dans E, et même :
Pour tous sous-espaces de dimensions finies U ⊂ E'' et V ⊂ E' et tout ε > 0, il existe une injection linéaire T : U → E telle que
- ║T║║T −1║ < 1 + ε,
- 〈x*, T(x**)〉 = 〈x**, x*〉 pour tous x* ∈ V et x** ∈ U,
- la restriction de T à U∩E est l'identité.
Notes et références
- (en) Raymond A. Ryan, Introduction to Tensor Products of Banach Spaces, Springer, , 226 p. (ISBN 978-1-85233-437-6, lire en ligne), p. 201
- A. Grothendieck, « Résumé de la théorie métrique des produits tensoriels topologiques », Bol. Soc. Mat. Sao Paulo, vol. 8, , p. 1-79 (lire en ligne)
- (en) Per Enflo, « Banach spaces which can be given an equivalent uniformly convex norm », Israel J. Math., vol. 13, , p. 281-288 (DOI 10.1007/BF02762802)
- (en) Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos et Václav Zizler, Banach Space Theory : the basis for linear and nonlinear analysis, New York, Springer, , 820 p. (ISBN 978-1-4419-7515-7, lire en ligne), p. 292
- (en) J. Lindenstrauss et H. P. Rosenthal, « The ℒp-spaces », Israel J. Math., vol. 7, , p. 325-349 (DOI 10.1007/BF02788865)
Bibliographie
- (en) Bernard Beauzamy, Introduction to Banach Spaces and their Geometry, North-Holland, , 2e éd. (lire en ligne)
- (en) Joseph Diestel, Sequences and Series in Banach Spaces, Springer, coll. « GTM » (no 92), (1re éd. 1984) (ISBN 978-1-4612-9734-5)
- (en) Nigel J. Kalton, « The Nonlinear Geometry of Banach Spaces », Revista Matemática Complutense, vol. 21, no 1, , p. 7-60 (lire en ligne)
