Jean Dieudonné; Laurent Schwartz
La dualité dans les espaces $({\cal F})$ et $({\cal L}{\cal F})$
Annales de l'institut Fourier, 1 (1949), p. 61-101, doi: 10.5802/aif.8
Article PDF | Analyses MR 12,417d | Zbl 0035.35501 | 13 citations dans Cedram
Résumé - Abstract
L’objet du mémoire est l’extension des propriétés classiques des espaces de Banach à deux catégories d’espaces plus vastes, qui interviennent de manière essentielle dans la théorie des Distributions : les espaces $({\cal F})$, qui sont définis comme les espaces localement convexes, métrisables et complets, et les espaces $({\cal L}{\cal F})$ qui s’obtiennent à partir des espaces $({\cal F})$ par un processus de ``limite inductive’’ : un tel espace est réunion d’une suite croissante $(F_n)$ d’espaces $({\cal F})$, muni de la topologie la plus fine induisant sur chacun des $F_n$ sa topologie propre. Pour un tel espace $E$, on définit son dual $E^{\prime }$ comme l’espace vectoriel de toutes les formes linéaires $x^{\prime }$ continues dans $E$, et on pose $\langle x,x^{\prime }\rangle = x^{\prime }(x)$ pour $x\in E$, $x^{\prime }\in E^{\prime }$. Pour développer la théorie de la dualité, on munit $E^{\prime }$ d’une topologie (dite topologie forte) définie de la façon suivante : un ensemble $B$ dans un espace vectoriel topologique étant dit borné quand tout voisinage de $0$ contient un homothétique de $B$ (dans un rapport $>0$ assez petit), la topologie forte sur $E^{\prime }$ est la topologie de la convergence uniforme des formes linéaires dans tous les ensembles bornés de $E$. Il y a alors une dualité remarquable entre ensembles bornés et voisinages de 0 dans les deux espaces $E$ et $E^{\prime }$ : appelons polaire d’un ensemble $A\subset E$ (resp. $A^{\prime }\subset E^{\prime }$) l’ensemble $A^0\subset E^{\prime }$ (resp. $A^{\prime 0}\subset E$) formé des $x^{\prime }\in E^{\prime }$ (resp. $x\in E$) tels que $\vert \langle x,x^{\prime }\rangle \vert \le 1$ pour tout $x\in A$ (resp. tout $x^{\prime }\in A^{\prime }$) ; alors les polaires des ensembles bornés dans $E$ (resp. $E^{\prime }$) sont les voisinages de 0 dans $E^{\prime }$ (resp. $E$) et réciproquement. Grâce à cette propriété fondamentale, on peut développer, comme dans les espaces de Banach, les relations entre dualité forte et dualité faible, obtenir entre autres la condition pour qu’un espace $({\cal F})$ ou $({\cal L}{\cal F})$ soit réflexif (c’est-à-dire identique au dual de son dual fort), étudier la dualité des sous-espaces et espaces quotients, et les fonctions linéaires et bilinéaires définies dans des espaces $({\cal F})$ ou $({\cal L}{\cal F})$ ou dans leurs duals ; les résultats généralisant presque complètement les propriétés correspondantes des espaces de Banach.
Bibliographie
Article | MR 9,241a | Zbl 0030.03403
Numdam | MR 6,178g | Zbl 0027.32101 | JFM 68.0238.02
Article | Zbl 0010.18202
© Annales de L'Institut Fourier - ISSN (électronique) : 1777-5310