title: Dual d'un espace vectoriel topologique
text: # Dual d'un espace vectoriel topologique
  
  En mathématiques, en vue d'un certain nombre d'applications (théorie des distributions, des hyperfonctions, et leur utilisation notamment pour l'étude des équations aux dérivées $partielles^,^,),$ il est nécessaire de développer et d'étudier la notion de dual d'un espace vectoriel topologique, plus générale que celle de dual d'un espace vectoriel normé. Néanmoins, la théorie de la dualité n'est fructueuse et utile que dans le cadre des espaces localement convexes, dont la théorie a été fondée par Andreï Kolmogorov et John von Neumann en 1935. La théorie de la dualité dans ces espaces s'est développée dans les années suivantes, avec les contributions importantes de Gottfried Köthe (sur les espaces de suites), de Jean Dieudonné et de George $Mackey^,$ ; puis l'article cosigné par Jean Dieudonné et Laurent Schwartz, sa généralisation par Nicolas Bourbaki, les travaux d'Alexandre $Grothendieck^,^,^,,$ enfin la parution entre 1953 et 1955 de la première édition du Livre des Éléments de mathématique de N. Bourbaki consacré aux espaces vectoriels topologiques, en ont marqué la $maturité^,.$ Une première approche consiste à considérer deux espaces vectoriels E et F (sans topologie a priori) et à les mettre en dualité au moyen d'une forme bilinéaire, si possible non dégénérée. Une autre approche consiste à partir d'un espace localement convexe E, puis considérer son dual topologique $E^{\prime }$ ; dans ce cas, E et $E^{\prime }$ sont naturellement mis en dualité au moyen de la « forme bilinéaire canonique ». Tous les résultats obtenus dans la première approche sont valides dans la seconde ; suivant la nature de l'espace localement convexe E, on peut obtenir certaines propriétés supplémentaires.
  
  ## Espaces en dualité
  
  ### Définition et propriétés élémentaires
  
  Soit E et F deux espaces localement convexes sur le corps k des réels ou des complexes. Ils sont mis en dualité si l'on s'est donné une forme bilinéaire $B:E\times F\rightarrow k$.
  
  On appelle topologie faible sur E (resp. sur F) définie par la dualité entre E et F la topologie la moins fine rendant continues les formes linéaires $x\mapsto B(x,y)$ (resp. $y\mapsto B(x,y)$). Cette topologie est notée $\sigma (E,F)$ (resp. $\sigma (F,E)$). La topologie $\sigma (E,F)$ est définie par les semi-normes $p_{y}:x\mapsto \left\vert B\left(x,y\right)\right\vert$ et elle est donc localement convexe.
  
  La topologie $\sigma (E,F)$ est séparée si, et seulement si pour tout $x\neq 0$ dans E, il existe $y\in F$ tel que $B(x,y)\neq 0$. Dans ce cas, on peut identifier E à un sous-espace vectoriel du dual algébrique $F^{\ast }$ de F en identifiant x avec la forme linéaire $s_{x}:y\mapsto B(x,y)$ (l'application linéaire $s:x\mapsto s_{x}$ étant injective de E dans $F^{\ast }$).
  
  Lorsque la forme bilinéaire B est non dégénérée (ce qu'on suppose dans ce qui suit), on dit que E et F sont en dualité séparante ; E s'identifie alors à un sous-espace de $F^{\ast }$ (en identifiant, comme ci-dessus, un élément x de E avec la forme linéaire $s_{x}$), F à un sous-espace de $E^{\ast }$ (en identifiant de la même manière un élément y de F avec une forme linéaire $d_{y}$), B à la restriction à $E\times F$ de la forme bilinéaire canonique $(x,x^{\ast })\mapsto <x,x^{\ast }>$, et on écrit $B(x,y)=<x,y>$.
  
  ### Ensembles polaires
  
  Soit M une partie de E. On appelle polaire de M dans F l'ensemble $M^{\circ }$ des $y\in F$ tels que $\Re \left(\left\langle x,y\right\rangle \right)\geq -1$ pour tout $x\in M$.
  
  Cet ensemble contient 0 et est convexe, fermé dans F pour la topologie σ(F, E). On a $M\subset M^{\circ \circ }$ et $M^{\circ }=M^{\circ \circ \circ }$.
  
  En conséquence du théorème de Hahn-Banach, le bipolaire $M^{\circ \circ }$ est l'enveloppe convexe fermée de $M\cup \left\{0\right\}$ pour la topologie σ(E, F) (« théorème des bipolaires »). En particulier si M est convexe et contient 0, son bipolaire est simplement son adhérence dans E pour la topologie σ(E, F).
  
  Si M est même un sous-espace vectoriel de E, alors le fermé $M^{\circ }$ est égal à $\left\{y\in F\mid \left\langle M,y\right\rangle =0\right\}$, qui est un sous-espace vectoriel de F.
  
  ### Topologie quotient
  
  Soit M un sous-espace vectoriel de E et considérons l'espace quotient $F/M^{\circ }$. Soit ${\overline {B}}:M\times F/M^{\circ }\rightarrow k:(x,{\overline {y}})\mapsto <x,y>$ où ${\overline {y}}$ est l'image canonique de y dans $F/M^{\circ }$. Il est immédiat que la forme bilinéaire ${\overline {B}}$ est bien définie et non dégénérée, et met donc en dualité séparante M et $F/M^{\circ }$.
  
  Pour que la topologie quotient, induite sur $F/M^{\circ }$ par $\sigma (F,E)$, soit identique à la topologie $\sigma (F/M^{\circ },M)$, il faut et il suffit que M soit fermé dans E pour la topologie $\sigma (E,F)$.
  
  ### Transposée d'une application linéaire continue
  
  Soit $\left(E,E_{1}\right)$, $\left(F,F_{1}\right)$ deux couples d'espaces vectoriels en dualité séparante. Pour faciliter la lecture de ce qui suit, écrivons $E^{\prime }=E_{1}$ et $F^{\prime }=F_{1}$ (en notant bien qu'ici, $E^{\prime }$ et $F^{\prime }$ ne désignent pas les duals d'espaces vectoriels topologiques donnés a priori E et F). Les espaces E, F, $E^{\prime }$ et $F^{\prime }$ sont munis des topologies faibles.
  
  Théorème et définition —
  
  (1) Soit $u:E\rightarrow F$ une application linéaire. Les conditions suivantes sont équivalentes :
  
      (a) u est continue ;
      (b) il existe une application $v:F^{\prime }\rightarrow E^{\prime }$ telle que l'on ait
         $\left\langle u\left(x\right),y^{\prime }\right\rangle =\left\langle x,v\left(y^{\prime }\right)\right\rangle$
  
  pour tous $x\in E$ et $y^{\prime }\in F^{\prime }$.
  
  Dans ces conditions, v est unique ; elle est linéaire et continue.
  
  (2) L'application v ci-dessus est appelée la transposée de u et est notée $^{t}u$. On a $^{t}\left(^{t}u\right)=u$.
  
  Dans la suite, l'application linéaire u est supposée continue ; on a les résultats suivants :
  
  Proposition —
  
  (1) On a
  
         $(i)~~{\rm {ker\left(^{t}u\right)=\left({\rm {im\left(u\right)}}\right)^{0}}}$, $~~(ii)~~{\overline {\rm {im\left(^{t}u\right)}}}={\rm {ker\left(u\right)^{0}}}$
  
  (2) Pour que u soit un morphisme strict, il faut et il suffit que ${\rm {im\left(^{t}u\right)}}$ soit un sous-espace fermé de $F^{\prime }$.
  
  (1) On a $^{t}u(y^{\prime })=0$ si, et seulement si pour tout $x\in E$, $\left\langle u\left(x\right),y^{\prime }\right\rangle =0$, autrement dit $\left\langle {\rm {im(u),y^{\prime }}}\right\rangle =0$, ce qui équivaut à $y^{\prime }\in {\rm {im\left(u\right)^{0}}}$, et ceci démontre (i). D'autre part, ${\overline {\rm {im\left(^{t}u\right)}}}=\left({\rm {im\left(^{t}u\right)^{0}}}\right)^{0}=\ker \left(u\right)^{0}$ d'après (i) (en remplaçant u par $^{t}u$), ce qui démontre (ii).
  
  (2) Soit $N={\rm {im^{t}u\subset E^{\prime }}}$. L'application u induit une bijection linéaire ${\bar {u}}=E/N^{0}\rightarrow {\rm {im(u)}}$ ; de plus, comme on l'a vu plus haut, $E/N^{0}$ et N sont en dualité séparante, et l'on a, avec les mêmes notations, pour tout $x\in E$ et tout $y^{\prime }\in F^{\prime }$ :
  
         ${\bar {B}}\left({\bar {u}}\left({\bar {x}}\right),y^{\prime }\right)={\bar {B}}\left({\bar {x}},^{t}u\left(y^{\prime }\right)\right)$
  
  ce qui montre que ${\bar {u}}$ est continue de $E/N^{0}$, muni de la topologie $\sigma (E/N^{0},N)$ sur ${\rm {im(u)}}$, muni de la topologie induite par celle de $\sigma (F,F^{\prime })$. On a également, pour tout $y\in {\rm {im(u)}}$
  
         ${\bar {B}}\left(y,y^{\prime }\right)={\bar {B}}\left({\bar {u}}^{-1}\left(y\right),^{t}u\left(y^{\prime }\right)\right)$
  
  qui montre que ${\bar {u}}^{-1}$ est également continue (avec les topologies ci-dessus) ; par conséquent ${\bar {u}}$ est un isomorphisme de $E/N^{0}$, muni de la topologie $\sigma (E/N^{0},N)$ sur ${\rm {im(u)}}$, muni de la topologie induite par $\sigma (F,F^{\prime })$. Or, u est un morphisme strict si (par définition) ${\bar {u}}$ est un isomorphisme de $E/N^{0}$, muni de la topologie quotient, induite par $\sigma (E,E^{\prime })$, sur ${\rm {im(u)}}$, muni de la topologie induite par $\sigma (F,F^{\prime })$. La conclusion résulte donc de l'observation faite plus haut à propos de la topologie quotient.
  
  Voyons une conséquence de ce qui précède en utilisant le langage des suites exactes : soit $\left(E,E^{\prime }\right)$, $\left(F,F^{\prime }\right)$, $\left(G,G^{\prime }\right)$ trois couples d'espaces vectoriels en dualité séparante, et considérons une suite d'applications linéaires continues (au sens des topologies faibles)
  
         (S): $E{\overset {\phi }{\longrightarrow }}F{\overset {\psi }{\longrightarrow }}G$
  
  Soit la « suite duale »
  
         (S'): $E^{\prime }{\overset {^{t}\phi }{\longleftarrow }}F^{\prime }{\overset {^{t}\psi }{\longleftarrow }}G^{\prime }$.
  
  Pour que la suite (S) soit exacte, il faut et il suffit que
  
         (a) $^{t}\phi \circ ^{t}\psi =0$,
         (b) ${\rm {im(^{t}\psi )}}$ soit dense dans ${\rm {ker(^{t}\phi )}}$,
         (c) $^{t}\phi$ soit un morphisme strict de $F^{\prime }$ dans $E^{\prime }$.
  
  Par conséquent, si la suite (S) (resp. (S')) est exacte et si $\psi$ (resp. $^{t}\phi$) est un morphisme strict, alors la suite (S') (resp. (S)) est exacte. (Ce résultat est valide avec des topologies fortes si E, F et G sont des espaces de Fréchet-Schwartz.)
  
  ## Dual d'un espace localement convexe
  
  ### Généralités
  
  Soit maintenant E un espace localement convexe sur le corps k des réels ou des complexes ; notons $\iota (E)$ sa topologie, dite initiale. Notons $E^{\prime }$ son dual topologique, à savoir l'espace des formes linéaires continues pour la topologie $\iota (E)$, et $E^{*}$ son dual algébrique ($E^{\prime }\subset E^{*}$).
  
  La forme bilinéaire canonique est l'application $(x,x^{\prime })\mapsto x^{\prime }(x)=<x,x^{\prime }>$ (où $x\in E$, $x^{\prime }\in E^{\prime }$). Elle met E et $E^{\prime }$ en dualité séparante.
  
         Soit $x^{*}\in E^{*}$ ; alors $x^{*}\in E^{\prime }$ si, et seulement si son noyau H est un hyperplan fermé dans E.
  
  La condition est évidemment nécessaire. Montrons qu'elle est suffisante : si H est fermé, l'espace quotient $E/H$ est un espace localement convexe séparé de dimension 1 sur k. On a $x^{*}=g\circ \phi$ où $\phi$ est la surjection canonique de E sur $E/H$, et est donc continue, et où g est une forme linéaire sur $E/H$, et est donc continue puisque $E/H$ est de dimension finie.
  
  La topologie $\sigma (E,E^{\prime })$ est appelée la topologie affaiblie sur E. Elle est moins fine que $\iota (E)$.
  
  ### Topologies sur le dual
  
  **Bornologies et espaces disqués**
  
  * Soit X un ensemble et ${\mathfrak {B}}$ un ensemble de parties de X. On dit que ${\mathfrak {B}}$ est une bornologie si (a) toute partie d'un élément de ${\mathfrak {B}}$ est un élément de ${\mathfrak {B}}$ ; (b) toute réunion finie d'éléments de ${\mathfrak {B}}$ est un élément de ${\mathfrak {B}}$ ; (c) tout singleton $\left\{x\right\}$ appartient à ${\mathfrak {B}}$. Une base d'une bornologie ${\mathfrak {B}}$ est un sous-ensemble ${\mathfrak {B}}_{1}$ de ${\mathfrak {B}}$ tel que tout élément de ${\mathfrak {B}}$ est inclus dans un élément de ${\mathfrak {B}}_{1}$. Si X est un espace vectoriel sur le corps k des réels ou des complexes, une bornologie ${\mathfrak {B}}$ sur X est dite compatible avec la structure vectorielle de X (ou est dite « vectorielle ») si, de plus, les propriétés suivantes sont satisfaites : (d) si $A,B\in {\mathfrak {B}}$, alors $A+B\in {\mathfrak {B}}$, (e) si $A\in {\mathfrak {B}}$ et $\lambda \in k$, alors $\lambda A\in {\mathfrak {B}}$. On dit alors que X, muni de la bornologie ${\mathfrak {B}}$, est un espace vectoriel bornologique, que l'on note $X_{\mathfrak {B}}$. Soit $X^{*}$ le dual algébrique de X ; pour tout $x^{*}\in X^{*}$ et tout $A\in {\mathfrak {B}}$, soit
  
         $p_{A}(x^{*})=\sup \limits _{x\in A}\left\vert \left\langle x,x^{\ast }\right\rangle \right\vert$
      (où $\left\langle -,-\right\rangle$ est la forme bilinéaire canonique) et soit $(X_{\mathfrak {B}})^{\prime }$ l'ensemble des $x^{*}\in X^{*}$ tels que $p_{A}(x^{*})<\infty$ pour tout $A\in {\mathfrak {B}}$. Il est immédiat que $(X_{\mathfrak {B}})^{\prime }$ est un sous-espace vectoriel de $X^{*}$ et que les $p_{A},A\in {\mathfrak {B}}$, forment une famille de semi-normes sur $(X_{\mathfrak {B}})^{\prime }$ qui en fait un espace localement convexe, dual de l'espace vectoriel bornologique $X_{\mathfrak {B}}$. Cet espace est séparé et sa topologie est celle de la convergence uniforme sur les éléments de ${\mathfrak {B}}$. Si ${\mathfrak {B}}_{1}\subset {\mathfrak {B}}_{2}$, la bornologie ${\mathfrak {B}}_{1}$ est dite plus fine que ${\mathfrak {B}}_{2}$, car l'application identité est bornée (i.e. transforme un borné de $X_{{\mathfrak {B}}_{1}}$ en un borné de $X_{{\mathfrak {B}}_{2}}$).
  * Soit E un espace localement convexe. Rappelons qu'un ensemble $A\subset E$ est dit borné s'il est absorbé par tout voisinage de 0. On dit qu'une bornologie ${\mathfrak {B}}$ de E est compatible avec la topologie de E (ou est dite adaptée) si pour tout $A\in {\mathfrak {B}}$, A est borné et son adhérence est bornée. Un espace localement convexe muni d'une bornologie adaptée est appelée un espace disqué. On obtient un espace disqué à partir d'un espace localement convexe en prenant comme bornologie, par exemple, l'ensemble des bornés de E (bornologie canonique) ou l'ensemble des parties précompactes de E; ou encore, si E est séparé, en prenant comme base de la bornologie les « disques » compacts (un disque est une partie convexe équilibrée).
  * Dans tout ce qui suit, E est un espace localement convexe, $E^{\prime }$ est son dual topologique et ${\mathfrak {S}}$ est une bornologie de E. Soit F un second espace localement convexe. On note ${\mathcal {L}}_{\mathfrak {S}}(E;F)$ l'espace des applications linéaires continues de E dans F, muni de la ${\mathfrak {S}}$-topologie, à savoir la topologie de la convergence uniforme sur les parties de ${\mathfrak {S}}$. Sur ${\mathcal {L}}(E;F)$, la ${\mathfrak {S}}$-topologie est localement convexe et coïncide avec la ${\mathfrak {\tilde {S}}}$-topologie où ${\mathfrak {\tilde {S}}}$ est la plus petite bornologie adaptée à E contenant ${\mathfrak {S}}$ (ou, en d'autres termes, la topologie adaptée à E engendrée par ${\mathfrak {S}}$).
  * Ceci s'applique dans le cas où F = k, donc où ${\mathcal {L}}(E;F)=E'$, et ${\mathcal {L}}_{\mathfrak {S}}(E;F)$ est alors noté $E_{\mathfrak {S}}^{\prime }$. Sauf avis du contraire, ${\mathfrak {S}}$ désigne une bornologie adaptée à E; quand cela ne sera pas le cas, la plus petite bornologie adaptée à E contenant ${\mathfrak {S}}$ sera notée ${\mathfrak {\tilde {S}}}$. La famille ${\mathfrak {S}}^{0}$ des polaires des éléments de ${\mathfrak {S}}$ forme une base de voisinages de 0 dans $E_{\mathfrak {S}}^{\prime }$. On a ${\mathfrak {S}}_{1}\subset {\mathfrak {S}}_{2}$ (autrement dit, la bornologie ${\mathfrak {S}}_{1}$ est plus fine que ${\mathfrak {S}}_{2}$) si, et seulement si la ${\mathfrak {S}}_{1}$-topologie de $E^{\prime }$ est moins fine que sa ${\mathfrak {S}}_{2}$-topologie, autrement dit tout ouvert dans $E_{{\mathfrak {S}}_{1}}^{\prime }$ est ouvert dans $E_{{\mathfrak {S}}_{2}}^{\prime }$ ; à l'inverse, tout ensemble précompact dans $E_{{\mathfrak {S}}_{2}}^{\prime }$ est précompact dans $E_{{\mathfrak {S}}_{1}}^{\prime }$.
  
  **Principales topologies sur le dual**
  
  Les bornologies les plus usuelles dont les suivantes :
  
      (1) ${\mathfrak {S}}=\sigma$, ensemble des parties finies de E. La topologie $\sigma (E^{\prime },E)$ est appelée la topologie faible de $E^{\prime }$. On précise parfois qu'il s'agit de la « topologie *-faible » pour la distinguer de la « topologie faible » $\sigma (E^{\prime },E^{\prime \prime })$. La bornologie $\sigma$ n'est pas adaptée à E, et ${\tilde {\sigma }}$ est la bornologie adaptée la plus fine, constituée des ensembles A inclus dans un sous-espace de dimension finie et bornés dans cet espace.
      (2) ${\mathfrak {S}}=\gamma$, ensemble des parties convexes compactes de E, si E est séparé.
      (3) ${\mathfrak {S}}=c$, ensemble des parties compactes de E, si E est séparé.
      (4) ${\mathfrak {S}}=\rho$, ensemble des parties relativement compactes de E, si E est séparé.
      (5) ${\mathfrak {S}}=\kappa$, ensemble des parties précompactes de E.
      (6) ${\mathfrak {S}}=\beta$, ensemble des parties bornées de E. Cette bornologie est dite canonique, et la topologie $\beta (E^{\prime },E)$ est appelée la topologie forte de $E^{\prime }$.
  
  Les ${\mathfrak {S}}$-topologies ci-dessus vont de la moins fine à la plus fine (tandis que les bornologies vont de la plus fine à la moins fine).
  
  ### Parties équicontinues du dual de E
  
  Dans ce qui suit, $E_{\iota }$ (resp. $E_{\sigma }$) désigne l'espace vectoriel E muni de la topologie initiale $\iota (E)$ (resp. la topologie faible $\sigma (E,E^{\prime })$). Quand on parle ci-dessous de polaire, c'est relativement à la dualité entre E et $E^{\prime }$.
  
  * Rappelons qu'une partie M de $E^{\prime }$ est équicontinue si, et seulement si
  
         pour tout $\varepsilon >0$ il existe un voisinage V de 0 dans $E_{\iota }$ tel que $\left\vert \left\langle x,x^{\prime }\right\rangle \right\vert \leq \varepsilon$ pour tous $x\in V$ et $x^{\prime }\in M$.
  * Si M est une partie de $E^{\prime }$, on montre facilement que les conditions suivantes sont équivalentes :
  
         (a) M est équicontinue ;
         (b) M est incluse dans le polaire d'un voisinage de 0 dans $E_{\iota }$ ;
         (c) le polaire de M est un voisinage de 0 dans $E_{\iota }$.
  
  Par conséquent, la topologie $\iota (E)$ est identique à la topologie de la convergence uniforme sur les parties équicontinues de $E^{\prime }$.
  
  Les parties équicontinues de $E^{\prime }$ sont bornées dans $E_{\beta }^{\prime }$, et les parties bornées de $E_{\beta }^{\prime }$ sont bornées dans $E_{\sigma }^{\prime }$. Le résultat qui suit est appelé le théorème de Banach-Alaoglu-Bourbaki ; il généralise le théorème de Banach-Alaoglu, valide dans le cas des espaces de Banach :
  
  Théorème — Toute partie équicontinue de $E^{\prime }$ est relativement compacte pour la topologie faible $\sigma (E^{\prime },E)$.
  
  On a la caractérisation suivante des espaces tonnelés :
  
  Théorème — Soit E un espace localement convexe. Les conditions suivantes sont équivalentes :
  
  (a) E est tonnelé ;
  
  (b) les parties équicontinues du dual $E^{\prime }$ de E coïncident avec les parties bornées de $E_{\sigma }^{\prime }$.
  
  Procédons à la classification des parties bornées du dual $E^{\prime }$ de E :
  
      (a) les ensembles équicontinus ;
      (b) les ensembles dont l'enveloppe équilibrée fermée convexe est compacte pour la topologie *-faible $\sigma (E^{\prime },E)$ ;
      (c) les ensembles relativement compacts pour la topologie *-faible $\sigma (E^{\prime },E)$ (on dit encore : les ensembles *-faiblement relativement compacts) ;
      (c') les ensembles fortement bornés ;
      (d) les ensembles *-faiblement bornés (ou, de manière équivalente, les ensembles *-faiblement précompacts).
  
  Dans le cas général, (a) $\subset$ (b) $\subset$ (c) $\subset$ (d), (b) $\subset$ (c') $\subset$ (d).
  
  Les cas particuliers sont : (a) = (b) si, et seulement si E est un espace de Mackey (voir infra), (a) = (c') si, et seulement si E est un espace infratonnelé (une condition suffisante pour qu'on ait cette égalité est donc que E soit bornologique), (b) = (d) si, et seulement si $E^{\prime }$ est quasi complet pour la topologie $\sigma (E^{\prime },E)$, (c') = (d) si E est semi-réflexif (voir infra) ou semi-complet (en particulier, si E est quasi complet), (a) = (d) si, et seulement si E est un espace tonnelé (théorème de Banach-Steinhaus).
  
  En outre, si E est un espace localement convexe tonnelé et semi-complet, les ensembles ci-dessus coïncident avec :
  
      (e) les ensembles bornés pour la ${\mathfrak {S}}$-topologie de $E^{\prime }$, pour toute bornologie adaptée ${\mathfrak {S}}$.
  * La considération des sous-ensembles équicontinus de $E^{\prime }$ permet d'obtenir un critère de complétude de E, dû à Grothendieck :
  
      Soit E un espace localement convexe séparé. Les conditions suivantes sont équivalentes :
         (i) E est complet ;
         (ii) une forme linéaire sur $E_{\sigma }^{\prime }$ est continue si, et seulement si sa restriction à toute partie équicontinue M de $E^{\prime }$ est continue (pour $\sigma (E^{\prime },E)$).
  
  ### Propriétés du dual
  
  Soit E un espace localement convexe séparé et ${\mathfrak {S}}$ une bornologie.
  
  On a vu plus haut que $E_{\mathfrak {S}}^{\prime }$ est un espace localement convexe séparé.
  
  Si E est un espace tonnelé, $E_{\mathfrak {S}}^{\prime }$ est quasi complet.
  
  Si E est un espace bornologique, le dual fort $E_{\beta }^{\prime }$ est complet (et c'est un espace (DF) si E est métrisable).
  
  Si E est un espace normé (donc bornologique), $E_{\beta }^{\prime }$ est normé complet, donc un espace de Banach.
  
  ### Topologies de E compatibles avec la dualité
  
  Soit E et F deux espaces en dualité séparante, et considérons de nouveau, pour tout $y\in F$, la forme linéaire $d_{y}$ sur E. Soit ${\mathfrak {T}}$ une topologie localement convexe sur E. Elle est dite compatible avec la dualité entre E et F si $d:y\mapsto d_{y}$ est une bijection de F sur le dual de l'espace localement convexe obtenu en munissant E de ${\mathfrak {T}}$.
  
  La topologie $\sigma (E,F)$ est évidemment compatible avec la dualité. Le résultat suivant est dû à Mackey :
  
  Théorème et définition — (1) On appelle topologie de Mackey la ${\mathfrak {S}}^{\prime }$-topologie où ${\mathfrak {S}}^{\prime }$ est l'ensemble des parties convexes de F, compactes pour $\sigma (F,E)$. Cette topologie est notée $\tau (E,F)$.
  
  (2) La topologie ${\mathfrak {T}}$ est compatible avec la dualité entre E et F si, et seulement si elle est plus fine que $\sigma (E,F)$ et moins fine que $\tau (E,F)$.
  
  Les parties convexes fermées dans E et les parties bornées dans E sont les mêmes pour toutes les topologies localement convexes compatibles avec la dualité entre E et F. On peut donc parler d'une partie fermée convexe ou d'une partie bornée de E, sans précision de la topologie.
  
  Soit maintenant E un espace localement convexe séparé. Sa topologie $\iota (E)$ est compatible avec la dualité entre E et $E^{\prime }$, par conséquent $\iota (E)$ est moins fine que $\tau (E,E^{\prime })$. Si elle coïncide avec $\tau (E,E^{\prime })$, E est appelé un espace de Mackey (en) (les espaces infratonnelés et les espaces bornologiques - donc les espaces localement convexes métrisables - sont des espaces de Mackey). Soit $E^{\prime }$ de dual de E ; la topologie $\gamma (E^{\prime },E)$ est moins fine que $\tau (E^{\prime },E)$ ; si E est quasi complet, $\gamma (E^{\prime },E)=c(E^{\prime },E)=\kappa (E^{\prime },E)$, et ces trois topologies sont donc moins fines que $\tau (E^{\prime },E)$.
  
  Soit E et F des espaces localement convexes et $u:E\rightarrow F$ une application continue. Alors elle est faiblement continue (i.e. elle est continue pour les topologies $\sigma (E,E^{\prime })$ et $\sigma (F,F^{\prime })$). Inversement, si u est faiblement continue, elle est continue pour les topologies de Mackey $\tau (E,E^{\prime })$ et $\tau (F,F^{\prime })$ ; en particulier, elle est continue pour les topologies $\iota (E)$ et $\iota (F)$ si E est un espace de Mackey.
  
  ### Transposée d'une application linéaire continue
  
  Soit $E_{1}$ et $E_{2}$ deux espaces localement convexes séparés, ayant pour duals $E_{1}^{\prime }$ et $E_{2}^{\prime }$, et $u:E_{1}\rightarrow E_{2}$ une application linéaire continue (i.e. continue pour les topologies $\iota (E_{i})$, $i=1,2$). Puisqu'elle est faiblement continue, elle admet une transposée $^{t}u:F^{\prime }\rightarrow E^{\prime }$ faiblement continue. On montre que $^{t}u$ est continue pour toutes les ${\mathfrak {S}}$-topologies ${\mathfrak {S}}(E_{i}^{\prime },E_{i})$ où ${\mathfrak {S}}$ est intermédiaire entre $\sigma$ et $\beta$, ainsi que pour les topologies de Mackey $\tau (E_{i}^{\prime },E_{i})$ ($i=1,2$).
  
  ## Bidual
  
  ### Définition
  
  * Soit E un espace localement convexe séparé et $E_{\beta }^{\prime }$ son dual fort. La topologie $\beta (E^{\prime },E)$ n'est pas, en général, compatible avec la dualité entre $E^{\prime }$ et E, autrement dit la topologie forte $\beta (E^{\prime },E)$ est plus fine que la topologie de Mackey $\tau (E^{\prime },E)$ et, en général, ne coïncide pas avec celle-ci. Le dual de $E_{\beta }^{\prime }$ est noté $E^{\prime \prime }$ et est appelé le bidual de E.
  
  Soit $x\in E$ ; l'application $c_{E}(x):x^{\prime }\mapsto <x,x^{\prime }>$ est continue pour $\sigma (E^{\prime },E)$, donc a fortiori pour $\beta (E^{\prime },E)$. On a $<x,x^{\prime }>=0$ pour tout $x^{\prime }\in E^{\prime }$ si, et seulement si
  
         $x\in \left(E^{\prime }\right)^{0}=\left(\ker \left(0\right)\right)^{0}={\overline {\rm {im\left(^{t}0\right)}}}={\bar {0}}=0$
  
  puisque E est séparé. Par suite, l'application linéaire $c_{E}:x\mapsto c_{E}(x)$ est une injection de E dans $E^{\prime \prime }$, dite canonique.
  
  * La topologie forte sur $E^{\prime \prime }$, à savoir $\beta (E^{\prime \prime },E^{\prime })$, est la ${\mathfrak {S}}_{1}$-topologie, où ${\mathfrak {S}}_{1}$ est l’ensemble des parties bornées de $E_{\beta }^{\prime }$. Comme on l'a vu plus haut, la topologie $\iota (E)$ est la ${\mathfrak {S}}_{2}$-topologie, où ${\mathfrak {S}}_{2}$ est l’ensemble des parties équicontinues de $E^{\prime }$. Puisque tout ensemble équicontinu de $E^{\prime }$ est fortement borné, ${\mathfrak {S}}_{2}\subset {\mathfrak {S}}_{1}$, et la topologie $\iota (E)$ est donc moins fine que la topologie induite sur E par $\beta (E^{\prime \prime },E^{\prime })$. Ces deux topologies coïncident si E est bornologique ou tonnelé, puisque dans ce cas les parties équicontinues de $E^{\prime }$ coïncident avec les parties fortement bornées.
  
  En particulier, si E est un espace localement convexe métrisable, il est bornologique ; son bidual fort $E_{\beta }^{\prime \prime }$ est alors un espace de Fréchet, et E est un sous-espace vectoriel topologique de $E_{\beta }^{\prime \prime }$, fermé dans $E_{\beta }^{\prime \prime }$ si E est lui-même un espace de Fréchet.
  
  * On définit également sur $E^{\prime \prime }$ la topologie dite « naturelle ». Il s'agit de la topologie $\varepsilon (E^{\prime \prime },E^{\prime })$ où $\varepsilon$ désigne l'ensemble des parties équicontinues (en l'occurrence, de $E^{\prime }$). D'après ce qu'on a vu plus haut, cette topologie induit sur E sa topologie initiale (d'où le nom de « topologie naturelle »). Elle est moins fine que $\beta (E^{\prime \prime },E^{\prime })$ (et identique à celle-ci si E est bornologique ou tonnelé) et définit dans $E^{\prime \prime }$ les mêmes parties bornées.
  
  ### Espaces semi-réflexifs
  
  Un espace localement convexe séparé E est dit semi-réflexif si l'injection canonique $c_{E}$ est bijective, autrement dit si, en tant qu'espaces vectoriels, E et $E^{\prime \prime }$ coïncident.
  
  L'espace E est semi-réflexif si, et seulement si la topologie $\beta (E^{\prime },E)$ est compatible avec la dualité entre E et $E^{\prime }$, c'est-à-dire si $\beta (E^{\prime },E)=\tau (E^{\prime },E)$.
  
  Si E est semi-réflexif, les deux topologies faibles qu'on peut définir sur $E^{\prime }$ (à savoir $\sigma (E^{\prime },E)$, parfois appelée « topologie *-faible de $E^{\prime }$ », et $\sigma (E^{\prime },E^{\prime \prime })$, « topologie faible de $E^{\prime }$ »), sont donc identiques.
  
  Le théorème qui suit, encore appelé théorème de Banach-Alaoglu-Bourbaki, généralise le critère de Banach-Alaoglu pour la réflexivité des espaces de Banach (compacité faible de la boule unité) :
  
  Théorème — Un espace localement convexe séparé E est semi-réflexif si, et seulement si toute partie bornée de E est relativement compacte dans $E_{\sigma }$.
  
  (La conclusion résulte de l'égalité $\beta (E^{\prime },E)=\tau (E^{\prime },E)$, en tenant compte du fait que l'enveloppe convexe fermée d'une partie bornée de E est encore bornée.)
  
  Un espace E est semi-réflexif si, et seulement si $E_{\tau }^{\prime }$ est tonnelé, et cela entraîne évidemment que $E_{\beta }^{\prime }$ est tonnelé ; E est alors quasi complet pour les topologies $\sigma (E,E^{\prime })$ et $\iota (E)$ ; plus précisément E est semi-réflexif si, et seulement s'il est quasi complet pour sa topologie affaiblie $\sigma (E,E^{\prime })$.
  
  D'après ce qu'on a dit plus haut, si E est semi-réflexif, la bijection $c_{E}$ est telle que sa bijection réciproque $c_{E}^{-1}$ est continue.
  
  ### Espaces réflexifs
  
  Un espace localement convexe E est dit réflexif s'il est semi-réflexif et si les topologies $\iota (E)$ et $\beta (E,E^{\prime })$ coïncident.
  
  Le dual fort $E_{\beta }^{\prime }$ d'un espace réflexif E est réflexif.
  
  Théorème — Pour qu'un espace localement convexe séparé E soit réflexif, il faut et il suffit qu'il soit semi-réflexif et tonnelé.
  
  (En effet, si E est réflexif, $E_{\beta }^{\prime }$ l'est aussi, donc le dual fort de $E_{\beta }^{\prime }$, à savoir E, est tonnelé. Réciproquement, si E est semi-réflexif, $c_{E}$ est bijective, et si de plus E est tonnelé, la topologie $\iota (E)$ coïncide avec la topologie forte $\beta (E,E^{\prime })$.)
  
  On peut montrer que E est réflexif si, et seulement si E est semi-réflexif et infratonnelé (par conséquent, un espace semi-réflexif est tonnelé si, et seulement s'il est infratonnelé) ; mais un espace semi-réflexif qui est un espace de Mackey n'est pas nécessairement réflexif. Puisqu'un espace réflexif est semi-réflexif, il est quasi complet, mais il existe des espaces réflexifs qui ne sont pas complets. Le quotient d'un espace semi-réflexif (resp. réflexif) par un sous-espace fermé peut n'être pas semi-réflexif (resp. réflexif) ; en revanche, un sous-espace fermé d'un espace semi-réflexif est semi-réflexif.
  
  Soit E un espace localement convexe. Les conditions suivantes sont équivalentes :
  
      (i) $E_{\tau }$ est réflexif ;
      (ii) $E_{\tau }^{\prime }$ est réflexif ;
      (iii) $E_{\sigma }$ et $E_{\sigma }^{\prime }$ sont tous deux semi-réflexifs ;
      (iv) $E_{\tau }$ et $E_{\tau }^{\prime }$ sont tous deux tonnelés.
  
  Un produit et une somme directe topologique d'espaces localement convexes semi-réflexifs (resp. réflexifs) est un espace semi-réflexif (resp. réflexif). Une limite inductive stricte d'une suite d'espaces réflexifs est un espace réflexif. Un espace localement convexe semi-réflexif est distingué.
  
  * Si E est un espace de Fréchet, il est, comme on l'a vu plus haut, un sous-espace vectoriel topologique fermé de son bidual fort $E_{\beta }^{\prime \prime }$, et E est donc non dense dans $E_{\beta }^{\prime \prime }$ s'il n'est pas réflexif. S'il est semi-réflexif, il est réflexif puisque c'est un espace de Mackey. Ceci s'applique en particulier aux espaces de Banach.
  * D'après le théorème de la représentation de Riesz, un espace de Hilbert est réflexif, par conséquent sa boule unité est faiblement compacte.
  
  ## Cas particuliers
  
  La théorie de la dualité, telle qu'exposée plus haut, se simplifie notablement dans les cas particuliers étudiés ci-après.
  
  ### Espaces tonnelés quasi complets
  
  Le cas des espaces tonnelés quasi complets (ou même complets) est très important car la plupart des espaces rencontrés en analyse fonctionnelle soit ont cette propriété, soit sont les duals d'espaces ayant cette propriété. Cela est dû au fait que les espaces de Fréchet (donc les espaces de Banach) sont tonnelés et complets (donc quasi complets), que la limite inductive d'une famille d'espaces tonnelés est tonnelée, et que la limite inductive stricte d'une suite d'espaces localement convexes quasi complets (resp. complets) est quasi complète (resp. complète). Un espace bornologique quasi complet (ou même semi-complet) est tonnelé et son dual fort est complet.
  
  Rappelons que si E est un espace localement convexe, les parties convexes fermées dans E et les parties bornées dans E sont les mêmes pour toutes les topologies de E compatibles avec la dualité, et en particulier pour la topologie affaiblie et la topologie initiale.
  
  Soit E un espace tonnelé quasi complet. Alors E est un espace de Mackey, donc est un sous-espace vectoriel topologique de son bidual (et ce sous-espace est fermé si E est complet). De plus, les ensembles bornés de $E^{\prime }$, pour toute bornologie ${\mathfrak {S}}$ de E, sont identiques. On peut donc appeler ces ensembles, sans risque de confusion, les ensembles bornés de $E^{\prime }$. Ces ensembles coïncident avec les ensembles équicontinus, les ensembles *-faiblement relativement compacts et les ensembles *-faiblement précompacts.
  
  En particulier soit E un espace tonnelé et $\mathbf {B} ^{\prime }$ une partie de $E^{\prime }$.
  
      (1) Les conditions suivantes sont équivalentes (théorème de Banach-Steinhaus) :
         (a) pour tout voisinage $V^{\prime }$ de 0 dans $E_{\beta }^{\prime }$ , il existe $\alpha >0$ tel que $\mathbf {B} ^{\prime }\subset \lambda V^{\prime }$ pour $\left\vert \lambda \right\vert \geq \alpha$ (ceci exprime le fait que $\mathbf {B} ^{\prime }$ est fortement borné) ;
         (b) pour tout $\varepsilon >0$, il existe un voisinage V de 0 dans $E_{\iota }$ tel que $\left\vert \left\langle x,x^{\prime }\right\rangle \right\vert <\varepsilon$ pour tous $x\in V,x^{\prime }\in \mathbf {B} ^{\prime }$ (ceci exprime le fait que $\mathbf {B} ^{\prime }$ est équicontinu) ;
         (c) pour tout $x\in E$, $\left\{\left\vert \left\langle x,x^{\prime }\right\rangle \right\vert :x^{\prime }\in \mathbf {B} ^{\prime }\right\}$ est borné dans k (ceci exprime le fait que $\mathbf {B} ^{\prime }$ est *-faiblement borné).
      (2) Soit $(x_{i})_{i\in I}$ une suite généralisée tendant vers 0 dans $E_{\iota }$ ; alors $\sup \limits _{x^{\prime }\in \mathbf {B} ^{\prime }}\left\vert \left\langle x_{i},x^{\prime }\right\rangle \right\vert$ tend vers 0 dans k (ceci exprime le fait que la forme bilinéaire canonique est ${\mathfrak {S}}$-hypocontinue pour tout ensemble ${\mathfrak {S}}$ de parties bornées de $E^{\prime }$).
  
  Un espace tonnelé quasi complet E est réflexif si, et seulement s'il est semi-réflexif, donc si, et seulement si toute partie bornée de E est relativement compacte dans $E_{\sigma }$ (i.e. est faiblement relativement compacte).
  
  Proposition — Un espace localement convexe est tonnelé, quasi complet et réflexif si, et seulement si son dual fort est tonnelé, quasi complet et réflexif.
  
  Soit E un espace tonnelé quasi complet réflexif. Son dual fort $E_{\beta }^{\prime }$ est donc réflexif. Puisque E est un espace de Mackey, $\iota (E)=\tau (E,E^{\prime })$, donc $E_{\tau }$ est réflexif. Par conséquent, $E_{\tau }^{\prime }$ est tonnelé, et puisque $E_{\iota }$ est réflexif, $\beta (E^{\prime },E)=\tau (E^{\prime },E)$ ; par conséquent $E_{\beta }^{\prime }$ est tonnelé et quasi complet. Réciproquement, si $E_{\beta }^{\prime }$ est tonnelé, quasi complet et réflexif, son dual fort est donc tonnelé, quasi complet et réflexif, mais ce dual fort est E.
  
  Si E est un espace tonnelé, quasi complet et réflexif, les propriétés (1) et (2) ci-dessus restent donc valides si l'on échange les rôles de E et $E^{\prime }$. C'est notamment ce qui se produit dans la théorie des distributions puisque, $\Omega$ désignant un ouvert de $\mathbb {R} ^{n}$ ou une variété différentielle de dimension finie paracompacte, l'espace ${\mathcal {D}}(\Omega )$ des fonctions indéfiniment dérivables dans $\Omega$ est un espace tonnelé complet réflexif (c'est même un espace de Montel complet).
  
  ### Espaces de Banach
  
  Soit E un espace de Banach. Il est tonnelé et complet, donc tout ce qui précède s'applique. De plus, son dual fort est un espace de Banach, ainsi que son bidual fort $E_{\beta }^{\prime \prime }$, et E est un sous-espace de Banach de $E_{\beta }^{\prime \prime }$. Soit $x^{\prime \prime }\in E^{\prime \prime }$ et $x\in E$. On a, avec $y=x$ ou $y=x^{\prime \prime }$
  
         $\left\Vert y\right\Vert =\sup \limits _{x^{\prime }\in E^{\prime },\left\Vert x^{\prime }\right\Vert \leq 1}\left\vert \left\langle x^{\prime },y\right\rangle \right\vert ,\left\Vert x^{\prime }\right\Vert =\sup \limits _{x\in E,\left\Vert x\right\Vert \leq 1}\left\vert \left\langle x^{\prime },x\right\rangle \right\vert$
  
  par conséquent la boule unité fermée de $E_{\beta }^{\prime \prime }$ est le bipolaire $\mathbf {B} ^{00}$ de la boule unité fermée $\mathbf {B}$ de $E_{\iota }$. Par suite, $\mathbf {B} ^{00}$ est l'adhérence de $\mathbf {B}$ pour la topologie $\sigma (E^{\prime \prime },E^{\prime })$, donc E est dense dans $E^{\prime \prime }$ muni de cette topologie. On sait que E est réflexif si, et seulement si la boule unité $\left\Vert x\right\Vert \leq 1$ est compacte pour la topologie affaiblie $\sigma (E,E^{\prime })$. Si E et F sont deux espaces vectoriels normés et u une application linéaire continue de E dans F, dont la norme est définie par
  
         $\left\Vert u\right\Vert =\sup \limits _{\left\Vert x\right\Vert \leq 1}\left\Vert u\left(x\right)\right\Vert$
  
  on déduit de ce qui précède que $\left\Vert ^{t}u\right\Vert =\left\Vert u\right\Vert$.
  
  