Paire duale

En analyse fonctionnelle, une paire duale ou un système dual désigne un couple d'espaces vectoriels muni d'une forme bilinéaire non dégénérée.

En analyse fonctionnelle, l'étude des espaces vectoriels normés nécessite parfois d'analyser sa relation avec son dual topologique, qui est l'espace vectoriel formé de toutes les applications linéaires continues définies sur l'espace de départ. Une paire duale généralise ce concept, la dualité étant exprimée grâce à une application bilinéaire. À partir de cette application bilinéaire, on peut utiliser des semi-normes pour construire une Modèle:Lien sur les espaces vectoriels et en former des espaces localement convexes, qui sont la généralisation des espaces vectoriels normés.

Définitions

Soient $X$ et $Y$ deux espaces vectoriels sur un même corps commutatif $K$. Soit $X^{*}$ le dual algébrique de $X$ et $Y^{*}$ celui de $Y$ (tout au long du présent article on suppose l'axiome du choix vrai).

Définition (forme bilinéaire non dégénérée) : Soit $B:X\times Y\to K$ une forme bilinéaire. Elle induit deux applications linéaires

• $X\to Y^{*};x\mapsto B(x,\cdot )$
• $Y\to X^{*};y\mapsto B(\cdot ,y)$

L'application bilinéaire $B$ est dite :

• non dégénérée à gauche si $X\to Y^{*}$ est injective,
• non dégénérée à droite si $Y\to X^{*}$ est injective,
• non dégénérée si $B$ est non dégénérée à gauche et à droite.

Définition (paire duale) : Soient $X$ et $Y$ deux espaces vectoriels sur un même corps commutatif $K$. Soit $B:X\times Y\to K$ une forme bilinéaire. On dit alors que X et Y sont mis en dualité par $B$. Si de plus $B$ est non dégénérée :

• $X$ et $Y$ sont dits être en dualité (ou encore être mis en dualité séparante),
• on écrit $⟨\cdot ,\cdot ⟩$ au lieu de $B$,
• le triplet $(X,Y,⟨\cdot ,\cdot ⟩)$ est dit être une paire duale,
• l'application bilinéaire $⟨\cdot ,\cdot ⟩$ est dit être un appariement dual.

Deux éléments $x\in X$ et $y\in Y$ sont orthogonaux si

$⟨x,y⟩=0$.

Deux ensembles $M\subseteq X$ et $N\subseteq Y$ sont orthogonaux si toute paire d'éléments de $M$ et $N$ sont orthogonaux.

Paires duales faibles et fortes

Définition (paire duale forte) : Soit $(X,Y,⟨\cdot ,\cdot ⟩)$ une paire duale. L'appariement dual $⟨\cdot ,\cdot ⟩$ induit deux applications

• $X\to Y^{*};x\mapsto ⟨x,\cdot ⟩$
• $Y\to X^{*};y\mapsto ⟨\cdot ,y⟩$

La paire duale $(X,Y,⟨\cdot ,\cdot ⟩)$ est dite forte (et l'appariement dual dit fort) lorsque ces deux dernières applications sont surjectives. Une paire duale qui n'est pas forcément forte (Modèle:C.-à-d. d'appariement dual pas forcément fort) est dite faible.

Remarque : En utilisant le fait que l'injection naturelle $J:X\to X^{**}$ de $X$ dans son bidual algébrique $X^{**}$ est surjective si et seulement si $X$ est de dimension finie, il est aisé de démontrer qu'une paire duale est forte si et seulement si $X$ et $Y$ sont de dimension finie. Selon le contexte, cette dernière (proto-)définition de paire duale forte peut être modifiée (en considérant la surjectivité vers certains sous-espaces de $X^{*}$ et $Y^{*}$) pour rendre compte de propriétés plus subtiles d'une paire duale donnée (Modèle:Cf. exemple 3 ci-dessous).

Exemples

Exemple 1 : Soit $X$ un espace vectoriel (ou bien un module sur un anneau) et $X^{*}$ son dual algébrique. Considérons l'application bilinéaire

$⟨\cdot ,\cdot ⟩:X^{*}\times X\to K:(f,x)\mapsto ⟨f,x⟩:=f(x)$

correspondant l'accouplement de dualité entre $X^{*}$ et $X$. Il lui correspond deux applications linéaires

$X^{*}\to X^{*}$

$X\to X^{**}$

La première application $X^{*}\to X^{*}$ est l'identité sur $X^{*}$ (et est donc injective). La seconde application $X\to X^{**}$ est l'injection naturelle de $X$ dans son bidual algébrique $X^{**}$. Cette dernière application est injective car $X^{*}$ sépare les points de $X$, i.e. pour tout $x\in E\mathrm{\setminus }\{0\}$ il existe $f\in E^{*}$ t.q. $f(x)\ne 0$ (ceci est dû à l'axiome du choix). Ce faisant, $⟨\cdot ,\cdot ⟩$ est non dégénérée et est un appariement dual, dit appariement naturel (ou appariement dual canonique ou encore crochet de dualité), entre $X$ et son dual algébrique $X^{*}$.

Exemple 2 : Soit $(X,Y,⟨\cdot ,\cdot ⟩)$ une paire duale. Alors le triplet $(Y,X,⟨\cdot ,\cdot {⟩}^{\prime })$ est une paire duale où $⟨y,x{⟩}^{\prime }:=⟨x,y⟩$.

Exemple 3 : Soit $E$ un e.v.t. localement convexe sur un corps commutatif $K$ et soit $E^{\prime }$ son dual topologique. Considérons l'application bilinéaire

$⟨\cdot ,\cdot ⟩:E^{\prime }\times E\to K;(f,x)\mapsto ⟨f,x⟩:=f(x)$

correspondant à l'accouplement de dualité entre $X^{\prime }$ et $X$. À l'application bilinéaire $⟨\cdot ,\cdot ⟩$ correspondent deux applications

$\iota :E^{\prime }\to E^{*};f\mapsto ⟨f,\cdot ⟩$

$J:E\to (E^{\prime }{)}^{*};x\mapsto ⟨\cdot ,x⟩$

La première est l'inclusion canonique de $E^{\prime }$ en $E^{*}$. Donnons à $E^{\prime }$ la topologie $\beta (E^{\prime },E)$. Puisqu'à $x\in E$, l'application linéaire $J(x)\in (E^{\text{'}}{)}^{*}$ est $\sigma (E^{\prime },E)$-continue et que la topologie $\beta (E^{\prime },E)$ est plus fine que celle $\sigma (E^{\prime },E)$, $J(x)$ repose en $E^{″}$ le bidual topologique de l'espace localement convexe $E$. En considérant les co-restrictions

$\iota :E^{\prime }\to E^{\text{'}};f\mapsto ⟨f,\cdot ⟩$

$J:E\to E^{″};x\mapsto ⟨\cdot ,x⟩$

on voit alors que $\iota$ est l'identité sur $E^{\prime }$ (i.e. est un isomorphisme) et que $J$ est l'inclusion naturelle de $E$ dans son bidual topologique $E^{″}$ (ce qui est injectif par le théorème de Hahn-Banach sur les espaces localement convexes). Il suit que le triple $(E^{\prime },E,⟨\cdot ,\cdot ⟩)$ est une paire duale. En particulier, cette paire duale sera forte si l'injection naturelle $J:E\to E^{″}$ est surjective (i.e. si $E$ est semi-réflexif).

Exemple 4 : Un espace de suites ℓp $E$ et son Modèle:Lien $E^{\beta }$ associés à l'application bilinéaire définie par

$⟨x,y⟩:=\sum _{i=0}^{\mathrm{\infty }}{x}_i{y}_{i}x\in E,y\in E^{\beta }$

forme une paire duale.

Exemple 5 : Soit $M$ une variété lisse et réelle de dimension finie $n$. Soit ${\mathrm{\Omega }}_c^k(M)$ l'espace des $k$-formes différentielles réelles à support compact sur $M$. Soit

$⟨\cdot ,\cdot ⟩:{\mathrm{\Omega }}_c^k(M)\times {\mathrm{\Omega }}_c^{n-k}(M)\to ℝ;(\alpha ,\beta )\mapsto ⟨\alpha ,\beta ⟩:=\underset{M}{\int }\alpha \wedge \beta$

Alors le triple $({\mathrm{\Omega }}_c^k(M),{\mathrm{\Omega }}_c^{n-k}(M),⟨\cdot ,\cdot ⟩)$ est une paire duale.

Voir aussi

• Dualité (mathématiques)
• Dual d'un espace vectoriel topologique
• Ensemble polaire
• Modèle:Lien