Espace tonnelé
En analyse fonctionnelle et dans les domaines proches des mathĂ©matiques, les espaces tonnelĂ©s sont des espaces vectoriels topologiques oĂč tout ensemble tonnelĂ© - ou tonneau - de l'espace est un voisinage du vecteur nul. La raison principale de leur importance est qu'ils sont exactement ceux pour lesquels le thĂ©orĂšme de Banach-Steinhaus s'applique.
Histoire
Nicolas Bourbaki a inventé des termes tels que « tonneau » ou espace « tonnelé » (à partir des tonneaux de vin) ainsi que les espaces « bornologiques »[1].
DĂ©finitions
Dans un espace vectoriel topologique E sur un corps valuĂ© non discret K qui est une â-algĂšbre (par exemple sur â ou â), on appelle tonneau toute partie T convexe, Ă©quilibrĂ©e, fermĂ©e et absorbante :
- convexe :
- équilibrée :
- fermée : pour la topologie de E
- absorbante :
L'espace E est dit tonnelé si tout tonneau de E est un voisinage de 0.
Compte tenu des propriétés d'un tonneau dans un espace localement convexe, les conditions suivantes sont équivalentes pour un espace localement convexe tonnelé E (dont le dual est noté ) :
- (a) E est tonnelé ;
- (b) toute partie faiblement bornée de est équicontinue ;
- (c) toute semi-norme semi-continue inférieurement dans E est continue
- (d) pour tout espace localement convexe F, toute partie simplement bornée de est équicontinue.
(Ces équivalences sont une conséquence du théorÚme des bipolaires, donc du théorÚme de Hahn-Banach.)
Exemples et propriétés
- Un espace localement convexe E est tonnelé si, et seulement si sa topologie initiale coïncide avec la topologie forte .
- Les espaces de Fréchet, et en particulier les espaces de Banach, sont tonnelés, mais généralement les espaces vectoriels normés ne sont pas tonnelés.
- Les espaces de Montel sont tonnelés, par définition.
- les espaces vectoriels topologiques qui sont des espaces de de Baire sont tonnelés.
- Un espace de Mackey (en) séparé, complet est tonnelé.
- Un espace limite inductive d'une famille d'espaces tonnelés est tonnelé. Par conséquent, un espace ultrabornologique est tonnelé, et en particulier un espace bornologique et semi-complet est tonnelé (mais il existe des espaces tonnelés qui ne sont pas bornologiques).
- Un espace quotient d'un espace tonnelé est tonnelé (en revanche, un sous-espace fermé d'un espace tonnelé n'est pas nécessairement tonnelé).
- Une condition nécessaire et suffisante pour qu'un espace somme directe d'espaces localement convexes soit tonnelé est que chacun des le soit.
- Un produit d'espaces tonnelés est tonnelé.
- Le complĂ©tĂ© d'un espace tonnelĂ© (ou mĂȘme infratonnelĂ© : voir infra) sĂ©parĂ© est un espace tonnelĂ©.
- Soit un ouvert de ân ou plus gĂ©nĂ©ralement une variĂ©tĂ© diffĂ©rentielle de dimension finie paracompacte. Les espaces classiquement notĂ©s (espace des fonctions indĂ©finiment dĂ©rivables dans ), son dual fort (espace des distributions Ă support compact dans ), (espace des fonctions indĂ©finiment dĂ©rivables Ă support compact dans : voir l'article Distribution) et son dual fort (espace des distributions dans ) sont des espaces tonnelĂ©s (ce sont mĂȘme des espaces de Montel). De mĂȘme, l'espace de Schwartz des fonctions dĂ©clinantes sur et son dual fort, Ă savoir l'espace des distributions tempĂ©rĂ©es sur , sont des espaces tonnelĂ©s.
- Soit un ouvert de ân ou plus gĂ©nĂ©ralement une analytique rĂ©elle de dimension finie paracompacte, et K un sous-ensemble compact de . L'espace des germes de fonctions analytiques dans un voisinage complexe de K et son dual fort , isomorphe Ă l'espace des hyperfonctions Ă support inclus dans K, dont des espaces tonnelĂ©s.
Espace semi-tonnelé, espace infratonnelé et espace distingué
DĂ©finitions
Soit E un espace vectoriel topologique. Une partie équilibrée A de E est dite bornivore si elle absorbe toute partie bornée de E.
Un espace localement convexe E est dit infratonnelé (on dit aussi parfois quasi-tonnelé) si tout tonneau de E qui est bornivore est un voisinage de 0 dans E.
Un espace localement convexe E est dit semi-tonnelé si la condition suivante est satisfaite : soit U une partie bornivore de E qui est intersection d'une suite de voisinages convexes, équilibrés et fermés de 0 ; alors U est un voisinage de 0 dans E.
Un espace localement convexe E est dit distingué si son dual fort est tonnelé.
Propriétés
Tout espace tonnelé est infratonnelé et tout espace infratonnelé est semi-tonnelé. Un espace bornologique (en particulier, un espace localement convexe métrisable) est infratonnelé. Un quotient d'un espace infratonnelé par un sous-espace est infratonnelé. On montre facilement que les espaces infratonnelés sont des espaces de Mackey[2]. Ce n'est pas, en général, le cas des espaces semi-tonnelés, qui jouissent d'assez peu de propriétés quand ils ne sont pas des espaces (DF)[3].
Un espace infratonnelé semi-complet est tonnelé.
Le dual fort F d'un espace localement convexe mĂ©trisable E est semi-tonnelĂ© (et complet, c'est mĂȘme un espace (DF)), et tonnelĂ© si E est complet et rĂ©flexif (dans ce cas, F est Ă©galement bornologique).
Un espace semi-réflexif, ainsi qu'un espace localement convexe métrisable et quasi-normable (en particulier un espace vectoriel normé), sont distingués (mais il existe des espaces distingués qui ne sont pas semi-réflexifs). Si E est métrisable, les conditions suivantes sont équivalentes : (a) E est distingué, (b) F est infratonnelé ; (c) F est bornologique ; (d) F est tonnelé ; (e) F est ultrabornologique. Un espace E, limite inductive stricte d'une suite d'espaces métrisables distingués, est un espace localement convexe distingué, et son dual fort est bornologique et tonnelé. Il existe des espaces de Mackey distingués qui ne sont pas infratonnelés. Il existe des espaces de Fréchet qui ne sont pas distingués, par conséquent le dual fort d'un espace tonnelé n'est pas nécessairement tonnelé.
Notes et références
Notes
- Bourbaki 1950
- Bourbaki 2006, p. IV.52, exerc. 1 a) ; Jarchow 1981, p. 222.
- BourlĂšs 2013
Références
- (en) Cet article est partiellement ou en totalitĂ© issu de lâarticle de WikipĂ©dia en anglais intitulĂ© « Barrelled space » (voir la liste des auteurs).
- Nicolas Bourbaki, « Sur certains espaces vectoriels topologiques », Annales de l'Institut Fourier,, vol. 2,â , p. 5-16 (lire en ligne)
- N. Bourbaki, Espaces vectoriels topologiques : Chapitres 1Ă 5, Springer, , 368 p. (ISBN 3-540-34497-7)
- (en) Henri BourlĂšs, « On semi-barrelled spaces », arxiv.org, no 1304.0360v5,â (lire en ligne)
- Jean DieudonnĂ© et Laurent Schwartz, « La dualitĂ© dans les espaces (F) et (LF) », Annales de l'Institut Fourier, vol. 1,â , p. 60-101 (lire en ligne)
- (en) Alexandre Grothendieck, « Sur les espaces (F) et (DF) », Summa Brasiliensis Mathematicae, vol. 3, no 6,â , p. 57-123
- (en) Hans Jarchow, Locally Convex Spaces, Stuttgart, Teubner, , 548 p. (ISBN 3-519-02224-9)
- (en) Gottfried Köthe, Topological Vector Spaces I, Springer Verlag, (lire en ligne)
- (en) François Treves, Topological Vector Spaces, Distributions and Kernels, Dover Publications Inc., , 565 p. (ISBN 978-0-486-45352-1 et 0-486-45352-9, lire en ligne)