Cône dual

En mathématiques, et plus précisément en analyse convexe, le cône dual d'une partie ${\displaystyle P}$ d'un espace euclidien ${\displaystyle E}$ est l'ensemble des vecteurs de ${\displaystyle E}$ qui font un angle plus petit que ${\displaystyle \pi /2}$ avec les vecteurs de ${\displaystyle P}$. C'est un cône convexe fermé non vide.

On définit plus généralement, pour une partie ${\displaystyle P}$ d'un espace vectoriel réel ${\displaystyle E}$, le cône dual (algébrique) de ${\displaystyle P}$, qui est un cône de l'espace dual ${\displaystyle E^{*}}$ et, si ${\displaystyle E}$ est un espace vectoriel topologique, le cône dual topologique de ${\displaystyle P}$, qui est un cône du dual topologique ${\displaystyle E'}$.

Définitions

Soit ${\displaystyle P}$ une partie non vide d'un espace vectoriel réel ${\displaystyle E}$. Le cône dual de ${\displaystyle P}$ est l'ensemble ${\displaystyle P^{*}\subset E^{*}}$ défini par

${\displaystyle P^{*}:=\{y\in E^{*}\mid \forall x\in P\;\;\langle y,x\rangle \geqslant 0\},}$

c'est-à-dire l'ensemble des formes linéaires sur ${\displaystyle E}$ qui sont positives sur ${\displaystyle P}$.

Ce cône porte aussi parfois le nom de cône dual positif, tandis que son opposé ${\displaystyle -P^{*}}$ porte le nom de cône dual négatif (ou parfois cône polaire^[1], bien que ce dernier renvoie aussi à un autre concept).

Le cône bidual de ${\displaystyle P}$ est ${\displaystyle P^{**}:=(P^{*})^{*}}$.

Lorsque ${\displaystyle E}$ est un espace vectoriel topologique réel , on définit de façon analogue le cône dual topologique : ${\displaystyle P^{'}\subset P^{*}}$ est le cône des formes linéaires continues sur ${\displaystyle E}$ qui sont positives sur ${\displaystyle P}$.

Si ${\displaystyle E}$ est de dimension finie, ${\displaystyle E'=E^{*}}$ et ${\displaystyle P'=P^{*}}$.

Si ${\displaystyle E}$ est un espace de Hilbert réel, le théorème de représentation de Riesz permet d'identifier ${\displaystyle E'}$ à ${\displaystyle E}$ et donc ${\displaystyle P'}$ à un cône de ${\displaystyle E}$. Un cône est alors dit autodual s'il est égal à son dual.

L'intersection de ces deux cas particuliers est celui où ${\displaystyle E}$ est un espace euclidien. Seul ce cas sera considéré dans la suite de cet article.

Notations

${\displaystyle E}$ et ${\displaystyle F}$ désigneront des espaces euclidiens (produit scalaire et norme associés notés ${\displaystyle \langle \cdot ,\cdot \rangle }$ et ${\displaystyle \|\cdot \|}$ respectivement).

Soit ${\displaystyle P}$ une partie de ${\displaystyle E}$. On note

• ${\displaystyle {\overline {P}}}$ l'adhérence de ${\displaystyle P}$.
• ${\displaystyle \operatorname {co} P}$ l'enveloppe convexe de ${\displaystyle P}$ et ${\displaystyle {\overline {\operatorname {co} }}P:={\overline {\operatorname {co} P}}}$ son enveloppe convexe fermée.

On note ${\displaystyle \operatorname {aff} C}$ l'enveloppe affine d'un convexe non vide ${\displaystyle C}$ de ${\displaystyle E}$ et ${\displaystyle \operatorname {ir} C}$ son intérieur relatif.

Pour toute application linéaire ${\displaystyle A:E\to F}$, l'application ${\displaystyle A^{*}:F\to E}$ est l'adjointe de ${\displaystyle A}$.

Pour toute matrice ${\displaystyle A}$, la matrice ${\displaystyle A^{\top }}$ est la transposée de ${\displaystyle A}$.

Premières propriétés

${\displaystyle P^{*}}$ est clairement un cône convexe fermé non vide de ${\displaystyle E}$, comme intersection de la famille non vide des demi-espaces fermés ${\displaystyle \{y\in E\mid \langle x,y\rangle \geqslant 0\}}$, indexée par ${\displaystyle x\in P}$.

On a aussi les propriétés suivantes.

Soient ${\displaystyle P}$ et ${\displaystyle Q}$ des parties non vides de ${\displaystyle E}$ et ${\displaystyle (P_{i})_{i\in I}}$ une famille non vide de parties non vides de ${\displaystyle E}$. Alors :

1. ${\displaystyle (\cup _{i\in I}P_{i})^{*}=\cap _{i\in I}P_{i}^{*}}$^[2] ;
2. ${\displaystyle P^{*}=\left({\overline {\operatorname {co} }}(\mathbb {R} _{+}P)\right)^{*}}$ ;
3. le bidual de ${\displaystyle P}$ est le plus petit cône convexe fermé contenant ${\displaystyle P}$ : ${\displaystyle P^{**}={\overline {\operatorname {co} }}(\mathbb {R} _{+}P)}$ ;
4. ${\displaystyle (P+Q)^{*}\supset P^{*}\cap Q^{*}}$, avec égalité si ${\displaystyle 0\in {\overline {P\cap Q}}}$ ;
5. si ${\displaystyle P}$ et ${\displaystyle Q}$ sont des cônes convexes fermés alors ${\displaystyle (P\cap Q)^{*}={\overline {P^{*}+Q^{*}}}}$.

Remarques

• Dans l'égalité du point 3, l'inclusion immédiate ${\displaystyle {\overline {\operatorname {co} }}(\mathbb {R} _{+}P)\subset P^{**}}$ traduit le fait que ${\displaystyle P^{**}}$ est un cône convexe fermé contenant ${\displaystyle P}$. L'inclusion réciproque, ${\displaystyle P^{**}\subset {\overline {\operatorname {co} }}(\mathbb {R} _{+}P)}$, peut s'interpréter géométriquement comme suit. Elle signifie que si un vecteur ${\displaystyle b}$ n'appartient pas à ${\displaystyle {\overline {\operatorname {co} }}(\mathbb {R} _{+}P)}$, alors ${\displaystyle b\notin P^{**}}$, ce qui revient à dire qu'il existe un vecteur ${\displaystyle y_{0}\in P^{*}=\left({\overline {\operatorname {co} }}(\mathbb {R} _{+}P)\right)^{*}}$ tel que ${\displaystyle \langle y_{0},b\rangle <0}$, ou encore, tel qu'un certain hyperplan orthogonal à ${\displaystyle y_{0}}$ sépare strictement ${\displaystyle \{b\}}$ de ${\displaystyle {\overline {\operatorname {co} }}(\mathbb {R} _{+}P)}$. La démonstration du point 3 peut d'ailleurs se faire par séparation stricte de ces deux convexes (théorème de Hahn-Banach).
• Dans le point 5 (qui se déduit du 4 par dualité), on peut enlever l'adhérence si ${\displaystyle P}$ et ${\displaystyle Q}$ sont polyédriques (comme l'orthant positif d'un certain ${\displaystyle \mathbb {R} ^{p}}$) — car ${\displaystyle P^{*}+Q^{*}}$ est alors polyédrique donc fermé — ou si ${\displaystyle \operatorname {ir} P\cap \operatorname {ir} Q\neq \varnothing }$, mais il ne suffit pas que ${\displaystyle P\cap \operatorname {ir} Q\neq \varnothing }$. Par exemple, dans ${\displaystyle \mathbb {R} ^{3}}$, si ${\displaystyle P}$ est le cornet ${\displaystyle \mathbb {R} _{\triangledown }^{3}}$ et si ${\displaystyle Q=\{x\in \mathbb {R} ^{3}\mid x_{2}=x_{3}\}}$, alors ${\displaystyle P^{*}=\mathbb {R} _{\triangledown }^{3}}$ (autodualité du cornet), ${\displaystyle Q^{*}=\{d\in \mathbb {R} ^{3}\mid d_{1}=0,\;d_{2}+d_{3}=0\}}$, ${\displaystyle P\cap \operatorname {ir} Q=P\cap Q=\{x\in \mathbb {R} ^{3}\mid x_{1}=0,\;x_{2}=x_{3}\geq 0\}\neq \varnothing }$, alors que ${\displaystyle P^{*}+Q^{*}=\{d\in \mathbb {R} ^{3}\mid d_{2}+d_{3}>0\}\cup \{d\in \mathbb {R} ^{3}\mid d_{1}=0,\;d_{2}+d_{3}=0\}}$ n'est pas fermé.

Lemme de Farkas et conséquences

Le lemme de Farkas a diverses interprétations. Nous le voyons ici comme un moyen de calculer le cône dual d'un ensemble défini au moyen d'une application linéaire.

Un lemme de Farkas généralisé

La notion de cône dual généralise celle de sous-espace vectoriel orthogonal, puisque si ${\displaystyle P}$ est un sous-espace vectoriel, ${\displaystyle P^{*}=P^{\perp }}$. On connaît bien, pour une matrice ${\displaystyle A}$, la relation

${\displaystyle {\operatorname {Ker} {(A^{\top })}}^{\perp }=\operatorname {Im} {(A)}}$,

qui nous apprend ce qu'est le cône dual d'un ensemble défini par un système d'équations linéaires homogènes. Une question naturelle est alors de se demander ce qu'est le cône dual d'un ensemble donné par des inégalités linéaires homogènes. La réponse à cette question est donnée par le lemme de Farkas (voir infra), que l'on peut généraliser comme suit.

Un calcul immédiat montre que pour toute partie non vide ${\displaystyle K}$ de ${\displaystyle E}$, ${\displaystyle \left({A^{*}}^{-1}(K^{*})\right)^{*}=A(K)^{**}}$. Par conséquent, le « lemme de Farkas généralisé » est un simple avatar de la propriété 3 ci-dessus (pour tout cône convexe ${\displaystyle P}$, ${\displaystyle P^{**}={\overline {P}}}$) et s'interprète donc géométriquement de la même manière.

Remarquons que l'identité du « lemme de Farkas généralisé » s'écrit aussi ${\displaystyle {A^{*}}^{-1}(K^{*})=(A(K))^{*}}$ car — contrairement à ${\displaystyle A(K)}$ — le cône convexe ${\displaystyle {A^{*}}^{-1}(K^{*})}$ est nécessairement fermé, donc égal à son bidual.

L'identité du « lemme de Farkas généralisé » permet de donner une condition nécessaire pour que le système linéaire ${\displaystyle Ax=b}$ ait une solution ${\displaystyle x}$ dans ${\displaystyle K}$. Il faut en effet que ${\displaystyle b\in A(K)\subset {\overline {A(K)}}}$ et donc que

${\displaystyle {\mbox{pour tout}}~y~{\mbox{tel que}}~A^{*}y\in K^{*}~{\mbox{on ait}}~\langle y,b\rangle \geqslant 0.}$

Si ${\displaystyle A(K)}$ est fermé (par exemple si ${\displaystyle K}$ — donc aussi ${\displaystyle A(K)}$ — est polyédrique, ou si ${\displaystyle K}$ est fermé et ${\displaystyle -K\cap \operatorname {Ker} A\subset K}$), cette condition sur ${\displaystyle A}$ et ${\displaystyle b}$ est aussi suffisante. Si ${\displaystyle A(K)}$ n'est pas fermé, on peut trouver des conditions nécessaires et suffisantes pour que ${\displaystyle b\in A(K)}$, qui renforcent l'expression ci-dessus^[3]. Lorsque ${\displaystyle K}$ est l'orthant positif de ${\displaystyle \mathbb {R} ^{n}}$, ${\displaystyle A(K)}$ est fermé et le résultat, exprimé sous une forme différente, est alors connu sous le nom de théorème de l'alternative (diverses variantes sont considérées dans l'article Théorèmes de l'alternative).

Corollaires

On retrouve l'identité ${\displaystyle {\operatorname {Ker} {(A^{\top })}}^{\perp }=\operatorname {Im} {(A)}}$ lorsque ${\displaystyle B={\begin{pmatrix}A&-A\end{pmatrix}}}$ (par blocs).

Aspects topologiques

Décomposition de Moreau

Clairement, tout ${\displaystyle x\in \mathbb {R} ^{n}}$ est la somme de ses parties positive et négative ${\displaystyle \max(0,x)}$ et ${\displaystyle \min(0,x)}$ (composante par composante), c'est-à-dire de ses projetés orthogonaux (pour le produit scalaire euclidien) sur ${\displaystyle \mathbb {R} _{+}^{n}}$ et ${\displaystyle \mathbb {R} _{-}^{n}}$. La décomposition de Moreau^[1] généralise l'identité pour des cônes différents de l'orthant positif ${\displaystyle \mathbb {R} _{+}^{n}}$.

La décomposition de ${\displaystyle z}$ en ${\displaystyle x+y}$ comme au point 1 ci-dessus est appelée la décomposition de Moreau de ${\displaystyle z}$, correspondant au cône ${\displaystyle K}$.

Notes et références

Articles connexes

• Ensemble polaire (un ensemble différent du cône dual, qui porte parfois le nom d'ensemble dual)
• Matrices complètement positives (cône dual des matrices copositives, dans l'espace des matrices symétriques réelles d'ordre fixé)
• Théorèmes de l'alternative
• Théorème de Koecher-Vinberg

• Portail de l'analyse