Polytope dual

Modèle:Ébauche En mathématiques, et plus précisément en géométrie, la notion de polytope dual généralise celle de polyèdre dual ; il s'agit d'une construction d'un nouveau polytope, dont les (hyper)faces correspondent aux sommets du premier. Cette construction, utilisant la transformation par polaires réciproques, est également étroitement liée à la notion de convexité.

Un polytope est dit autodual s'il est son propre dual.

Définition

Soit $x$ un point de ${ℝ}^n$ (identifié à l'espace affine euclidien d'origine le vecteur nul) ; on définit le demi-espace $H_x^{+}$ par $\{y\in R^n,<x,y>\le 1\}$, où <> désigne le produit scalaire ; sa frontière, l'hyperplan $H_x=\{y\in R^n,<x,y>=1\}$ est la polaire de x par rapport à la sphère unité. Soit P un polytope dont les sommets sont les points (non nuls) $v_i$ de ${ℝ}^n$. Alors le polytope dual $P^{*}$ est le sous-ensemble de ${ℝ}^n$ défini par l'intersection de tous les demi-espaces $H_{v_i}^{+}$.

Pour un polyèdre P, $P^{*}$ est alors aussi un polyèdre, et on a alors les associations suivantes : la face duale $v^{*}$ d’un sommet v de P est une face du polyèdre $P^{*}$ normale à la droite (Ov). De même, le dual d’une arête e = $(v_1;v_2)$ est l’arête égale à l’intersection des duaux des 2 sommets. Enfin, le dual d’une face f de P est un sommet.

Soit x un point de l'intérieur relatif d'une face t de P ; on définit l'ensemble $K_x$ par$K_x=\{y\in R^n;\mathrm{\forall }{x}^{\prime }\in P;<x^{\prime },y>\le 1et<x^{\prime },y>\le <x,y>\}$.

$K_x$ est alors appelée face duale de t (puisque $K_x$ est constant pour tout x dans l'intérieur relatif de t).

Plus généralement, si a est une face de b dans le polyèdre P, $b^{*}$ est une face de $a^{*}$ dans le polyèdre $P^{*}$.

Références

• Modèle:En J. Dattorro, Convex optimization & Euclidean distance geometry, Lulu.com (2006), Modèle:ISBN.

Voir aussi

• Dual d'un polyèdre
• Ensemble polaire (extension du concept à un ensemble quelconque)