Espace réflexif
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Confusion_colour.svg/20px-Confusion_colour.svg.png)
Ne doit pas être confondu avec Algèbre d'opérateurs réflexive (en)
En analyse fonctionnelle, un espace vectoriel normé est dit réflexif si l'injection naturelle dans son bidual topologique est surjective. Les espaces réflexifs possèdent d'intéressantes propriétés géométriques.
Définition
Soit un espace vectoriel normé, sur ou . On note son dual topologique, c'est-à-dire l'espace (de Banach) des formes linéaires continues de dans le corps de base. On peut alors former le bidual topologique , qui est le dual topologique de . Il existe une application linéaire continue naturelle
définie par
- , pour tout dans et dans .
Ainsi, envoie vers la forme linéaire continue sur donnée par l'évaluation en . Comme conséquence du théorème de Hahn-Banach, préserve la norme (soit encore ) et est donc injective. L'espace est alors dit réflexif si est bijective.
Remarques.
- Cette définition implique que tout espace normé réflexif est de Banach, puisque est isomorphe à .
- L'espace de James est non réflexif, bien qu'isométriquement isomorphe à son bidual topologique (par un autre morphisme que ).
Exemples
Tout espace vectoriel normé de dimension finie n est réflexif. En effet son dual (qui coïncide avec le dual topologique puisque toute application linéaire est continue) a pour dimension n, qui est donc aussi la dimension du bidual, si bien que l'injection linéaire J est alors bijective.
Tout espace de Hilbert est réflexif, de même que les espaces Lp pour 1 < p < ∞. De manière générale : tout espace de Banach uniformément convexe est réflexif d'après le théorème de Milman-Pettis.
Les espaces de suites c0, ℓ1 et ℓ∞ ne sont pas réflexifs. L'espace C([0, 1]) non plus.
Les espaces de Montel sont réflexifs, pour une définition de la réflexivité généralisant celle présentée ici seulement dans le cas normé.
Propriétés
Si Y est un sous-espace vectoriel fermé d'un espace réflexif X alors Y et X/Y sont réflexifs.
Pour un espace normé X, les propriétés suivantes sont équivalentes :
- X est réflexif ;
- X est complet et son dual est réflexif ;
- la boule unité fermée de X est faiblement compacte[1] ;
- toute suite bornée de X admet une sous-suite faiblement convergente[2] ;
- X est complet et toute forme linéaire continue sur X atteint sa norme en un point de la boule unité de X[3] ;
- X est complet et tout convexe fermé non vide C de X est « proximinal », c'est-à-dire que pour tout x dans X, il existe dans C au moins un c (non unique en général) tel que ║x – c║ soit égal à la distance de x à C[4].
Un espace réflexif peut être muni d'une norme équivalente qui en fait un espace strictement convexe[5], mais il existe des espaces réflexifs séparables qui ne sont pas super-réflexifs, c'est-à-dire qui ne sont uniformément convexes pour aucune norme équivalente[6].
Un espace réflexif est séparable si et seulement si son dual est séparable[7].
Notes et références
- ↑ (en) Viorel Barbu et Teodor Precupanu, Convexity and Optimization in Banach Spaces, Springer, , 4e éd., 368 p. (ISBN 978-94-007-2246-0, lire en ligne), p. 33.
- ↑ En effet, dans un espace normé (non nécessairement complet) muni de la topologie faible, une partie est compacte si et seulement si elle est séquentiellement compacte, d'après le théorème d'Eberlein-Šmulian : (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, , 3e éd., 703 p. (ISBN 978-3-540-32696-0, lire en ligne), p. 241.
- ↑ Voir « Théorème de James ».
- ↑ (en) Jean-Pierre Crouzeix, Juan-Enrique Martinez-Legaz et Michel Volle, Generalized Convexity, Generalized Monotonicity : Recent Results, Springer, , 471 p. (ISBN 978-0-7923-5088-0, lire en ligne), p. 210.
- ↑ (en) Joram Lindenstrauss, « On nonseparable reflexive Banach spaces », Bull. Amer. Math. Soc., vol. 72, no 6, , p. 967-970 (lire en ligne).
- ↑ (en) Mahlon M. Day, « Reflexive Banach spaces not isomorphic to uniformly convex spaces », Bull. Amer. Math. Soc., vol. 47, no 4, , p. 313-317 (lire en ligne).
- ↑ Ceci résulte du fait qu'un espace vectoriel normé est séparable dès que son dual l'est.
Portail des mathématiques