Ensemble polaire

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Polaire.

En analyse fonctionnelle et en analyse convexe, le[1] polaire d'une partie P {\displaystyle P} d'un espace localement convexe est un convexe fermé de son dual topologique, contenant l'origine et ayant une « relation de dualité » avec P {\displaystyle P} . Bien qu'il soit usuellement défini dans le cadre bien plus général de deux espaces en dualité[2], nous nous limiterons dans cet article au cas d'un espace euclidien, qui s'identifie à son dual.

Énonçons quelques propriétés de cette relation de dualité, de manière à donner une idée de sa nature :

  • le polaire du polaire, appelé le bipolaire, d'un convexe fermé P {\displaystyle P} contenant l'origine est égal à P {\displaystyle P}  ;
  • le polaire d'un polyèdre convexe contenant l'origine est un autre polyèdre convexe contenant l'origine et les sommets (resp. les faces) du premier sont en bijection avec les faces (resp. les sommets) du second ;
  • le polaire de la boule unité fermée de la norme ℓp de ℝn est la boule unité fermée de la norme ℓq, avec 1/p + 1/q = 1.

En géométrie, lorsque P {\displaystyle P} est un polyèdre convexe contenant l'origine, on appelle parfois P ∘ {\displaystyle P^{\circ }} le dual de P {\displaystyle P} , mais en analyse convexe cette appellation entre en conflit avec celle du cône dual P + {\displaystyle P^{+}} , dont la signification est tout autre (sauf si P {\displaystyle P} est un cône, auquel cas P ∘ = − P + {\displaystyle P^{\circ }=-P^{+}} ).

Définitions

Le polaire P ∘ {\displaystyle P^{\circ }} [3] d'une partie P {\displaystyle P} d'un espace euclidien E {\displaystyle E} est défini par[4]

P ∘ := { y ∈ E ∣ ∀ x ∈ P ⟨ y , x ⟩ ⩽ 1 } , {\displaystyle P^{\circ }:=\{y\in E\mid \forall x\in P\;\;\langle y,x\rangle \leqslant 1\},}

où ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } désigne le produit scalaire de E {\displaystyle E} .

Exemples
  • Le polaire d'un cône est égal à son cône dual négatif ; en particulier, { 0 } = E {\displaystyle \{0\}=E} .
  • Les boules unité fermées des normes ℓp et ℓq, avec 1/p + 1/q = 1, sont polaires l'une de l'autre ; en particulier (cas p = q = 2), la boule unité fermée de E {\displaystyle E} est son propre polaire.
  • Dans le plan euclidien, le polaire de la bande R × ] 0 , 1 ] {\displaystyle \mathbb {R} \times \left]0,1\right]} est la demi-droite { 0 } × ] − ∞ , 1 ] {\displaystyle \{0\}\times \left]-\infty ,1\right]} .

Le bipolaire d'une partie P {\displaystyle P} de E {\displaystyle E} est le polaire de son polaire. On le note P ∘ ∘ := ( P ∘ ) ∘ . {\displaystyle P^{\circ \circ }:=(P^{\circ })^{\circ }.}

Propriétés

On désigne ci-dessous l'enveloppe convexe de P {\displaystyle P} par co ⁡ ( P ) {\displaystyle \operatorname {co} {(P)}} et son enveloppe convexe fermée par co ¯ ( P ) {\displaystyle {\overline {\operatorname {co} }}{(P)}} .

Propriétés du polaire

On peut voir P ∘ {\displaystyle P^{\circ }} comme une intersection de demi-espaces fermés de E {\displaystyle E} , contenant l'origine :

P ∘ = ⋂ x ∈ P { y ∈ E ∣ ⟨ y , x ⟩ ⩽ 1 } . {\displaystyle P^{\circ }=\bigcap _{x\in P}\,\{y\in E\mid \langle y,x\rangle \leqslant 1\}.}

Ceci conduit à la première propriété ci-dessous.

Propriétés du polaire — Soient E {\displaystyle E} un espace euclidien, P {\displaystyle P} , P 1 {\displaystyle P_{1}} et P 2 {\displaystyle P_{2}} des parties de E {\displaystyle E} , ( P i ) i ∈ I {\displaystyle (P_{i})_{i\in I}} une famille non vide de parties de E {\displaystyle E} . Alors :

  • P ∘ {\displaystyle P^{\circ }} est un convexe fermé contenant l'origine ;
  • P 1 ⊂ P 2   ⟹   P 1 ∘ ⊃ P 2 ∘ {\displaystyle P_{1}\subset P_{2}~\Longrightarrow ~P_{1}^{\circ }\supset P_{2}^{\circ }} et plus précisément : ( ∪ i ∈ I P i ) ∘ = ∩ i ∈ I P i ∘ {\displaystyle (\cup _{i\in I}P_{i})^{\circ }=\cap _{i\in I}P_{i}^{\circ }}  ;
  • si α ≠ 0 {\displaystyle \alpha \neq 0} , alors ( α P ) ∘ = ( 1 / α ) P ∘ {\displaystyle (\alpha P)^{\circ }=(1/\alpha )\,P^{\circ }}  ;
  • [ co ¯ ( P ∪ { 0 } ) ] ∘ = P ∘ {\displaystyle {\big [}{{\overline {\operatorname {co} }}{(P\cup \{0\})}}{\big ]}^{\circ }=P^{\circ }}  ;
  • P ∘ = P {\displaystyle P^{\circ }=P} si, et seulement si, P {\displaystyle P} est la boule unité fermée de E {\displaystyle E} .

On peut aussi écrire P ∘ {\displaystyle P^{\circ }} comme suit :

P ∘ = { y ∈ E   |   sup x ∈ P ⟨ y , x ⟩ ⩽ 1 } = { y ∈ E ∣ I P ∗ ( y ) ⩽ 1 } , {\displaystyle P^{\circ }=\left\{y\in E~\left|~\sup _{x\in P}\,\langle y,x\rangle \leqslant 1\right.\right\}=\left\{y\in E\mid {\mathcal {I}}_{P}^{*}(y)\leqslant 1\right\},}

où I P ∗ {\displaystyle {\mathcal {I}}_{P}^{*}} désigne la conjuguée de la fonction indicatrice I P {\displaystyle {\mathcal {I}}_{P}} de l'ensemble P {\displaystyle P} .

Propriétés du bipolaire

Soit P {\displaystyle P} une partie d'un espace euclidien. Alors, P ∘ ∘ = co ¯ ( P ∪ { 0 } ) {\displaystyle P^{\circ \circ }={\overline {\operatorname {co} }}(P\cup \{0\})} .

Par conséquent, P ∘ ∘ = P {\displaystyle P^{\circ \circ }=P} si, et seulement si, P {\displaystyle P} est un convexe fermé contenant l'origine.

Bornitude

Il n'y a pas d'équivalence entre la bornitude de P {\displaystyle P} et celle de P ∘ {\displaystyle P^{\circ }} . Par exemple, si P = conv ⁡ { 0 , e 1 + e 2 , e 1 − e 2 } {\displaystyle P=\operatorname {conv} \{0,e_{1}+e_{2},e_{1}-e_{2}\}} , qui est borné dans R 2 {\displaystyle \mathbb {R} ^{2}} , P ∘ = { y ∈ R 2 ∣ y 1 + y 2 ⩽ 1 {\displaystyle P^{\circ }=\{y\in \mathbb {R} ^{2}\mid y_{1}+y_{2}\leqslant 1} , y 1 − y 2 ⩽ 1 } {\displaystyle y_{1}-y_{2}\leqslant 1\}} n'est pas borné. En réalité, comme le montre le résultat suivant, la bornitude de P {\displaystyle P} est équivalente au fait que P ∘ {\displaystyle P^{\circ }} contient une petite boule centrée en zéro.

Bornitude — Soit P {\displaystyle P} une partie de E {\displaystyle E} contenant 0 {\displaystyle 0} et soit α > 0 {\displaystyle \alpha >0} . Alors

P ⊂ α B ⟺ 1 α B ⊂ P ∘ , α B ⊂ P ⟹ P ∘ ⊂ 1 α B . {\displaystyle {\begin{array}{rcl}P\subset \alpha B&\Longleftrightarrow &\textstyle {\frac {1}{\alpha }}B\subset P^{\circ },\\\alpha B\subset P&\Longrightarrow &P^{\circ }\subset {\frac {1}{\alpha }}B.\end{array}}}

La réciproque de la dernière implication a lieu si P {\displaystyle P} est convexe.

La réciproque de la dernière implication n'est pas nécessairement vérifiée si P {\displaystyle P} n'est pas convexe. Par exemple, si P = ( [ − 1 , 1 ] × { 0 } ) ∪ ( { 0 } × [ − 1 , 1 ] ) {\displaystyle P=([-1,1]\times \{0\})\cup (\{0\}\times [-1,1])} , P ∘ = [ − 1 , 1 ] 2 {\displaystyle P^{\circ }=[-1,1]^{2}} est borné, alors que P {\displaystyle P} ne contient pas de boule.

Exemple

Polaire d'un polyèdre — Si P {\displaystyle P} est un polyèdre d'un espace euclidien, alors P ∘ {\displaystyle P^{\circ }} est un polyèdre convexe.

En effet, puisque P {\displaystyle P} a même polaire que co ⁡ ( P ∪ { 0 } ) {\displaystyle \operatorname {co} {(P\cup \{0\})}} , on peut toujours se ramener au cas où ce polyèdre P {\displaystyle P} est convexe et contient 0 {\displaystyle 0} .

Puisque P {\displaystyle P} est alors un polyèdre convexe, son indicatrice I P {\displaystyle {\mathcal {I}}_{P}} est une fonction convexe polyédrique, donc la fonction conjuguée I P ∗ {\displaystyle {\mathcal {I}}_{P}^{*}} également, si bien que P ∘ {\displaystyle P^{\circ }} est polyédrique, comme ensemble de sous-niveau 1 {\displaystyle 1} de I P ∗ {\displaystyle {\mathcal {I}}_{P}^{*}} .

Plus explicitement : P {\displaystyle P} (polyèdre convexe contenant 0 {\displaystyle 0} ) peut s'écrire sous la forme

P := conv ⁡ { c i ∣ i ∈ I } + cone ⁡ { d j ∣ j ∈ J } , {\displaystyle P:=\operatorname {conv} {\{c_{i}\mid i\in I\}}+\operatorname {cone} {\{d_{j}\mid j\in J\}},}

où I ≠ ∅ {\displaystyle I\neq \varnothing } et J {\displaystyle J} sont des ensembles d'indices disjoints et finis, les points c i ∈ E {\displaystyle c_{i}\in E} pour i ∈ I {\displaystyle i\in I} , les directions d j ∈ E {\displaystyle d_{j}\in E} pour j ∈ J {\displaystyle j\in J} , et cone {\displaystyle \operatorname {cone} } désigne l'enveloppe conique (convexe pointée). Le polaire P ∘ {\displaystyle P^{\circ }} de P {\displaystyle P} est le polyèdre convexe

P ∘ = { y ∈ E ∣ ∀ i ∈ I ⟨ y , c i ⟩ ≤ 1 et ∀ j ∈ J ⟨ y , d j ⟩ ≤ 0 } . {\displaystyle P^{\circ }=\{y\in E\mid \forall i\in I\;\;\langle y,c_{i}\rangle \leq 1\quad {\text{et}}\quad \forall j\in J\;\;\langle y,d_{j}\rangle \leq 0\}.}

Annexes

Notes

  1. ↑ On utilise le masculin pour polaire parce que l'on fait référence à un ensemble. Pour la définition de la (droite) polaire, voir « Pôle et polaire ».
  2. ↑ Grothendieck 1955 ; Bourbaki 1981 ; Aliprantis et Border 2007.
  3. ↑ Dans ce contexte, pour éviter l'éventuelle confusion entre polaire P ∘ {\displaystyle P^{\circ }} (cercle en exposant) et intérieur P   ∘ {\displaystyle {\stackrel {\ \circ }{P}}} (cercle suscrit), l'intérieur d'une partie P {\displaystyle P} est noté int ⁡ P {\displaystyle \operatorname {int} P} .
  4. ↑ C'est la définition donnée par Rockafellar 1970, p. 125 et par Korte et Vygen 2010, p. 95. Dans le cadre plus général de deux espaces en dualité, ≤ 1 est remplacé par ≥ –1 dans Bourbaki 1981, tandis que Grothendieck 1955 utilisait une définition de Bourbaki antérieure (Ferrier 2011, p. 33) et différente, qui dans notre cas euclidien s'écrit :
    P ∘ := { y ∈ E ∣ ∀ x ∈ P | ⟨ y , x ⟩ | ⩽ 1 } {\displaystyle P^{\circ }:=\{y\in E\mid \forall x\in P\;\;\left|\langle y,x\rangle \right|\leqslant 1\}} .
    Aliprantis et Border 2007 notent eux aussi P ∘ {\displaystyle P^{\circ }} cet ensemble (« absolute polar »), et notent P ⊙ {\displaystyle P^{\odot }} (« one-sided polar ») l'ensemble que nous notons P ∘ {\displaystyle P^{\circ }} . Avec leurs notations, on a donc P ∘ = ( P ∪ ( − P ) ) ⊙ ⊂ P ⊙ {\displaystyle P^{\circ }=(P\cup (-P))^{\odot }\subset P^{\odot }} .

Article connexe

Volume de Mahler (en)

Bibliographie

  • icône décorative Portail des mathématiques
  • icône décorative Portail de l'analyse