AccueilđŸ‡«đŸ‡·Chercher

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é.

Voir aussi

Notes et références

Notes

  1. Bourbaki 1950
  2. Bourbaki 2006, p. IV.52, exerc. 1 a) ; Jarchow 1981, p. 222.
  3. BourlĂšs 2013

Références

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