Dual cone and polar cone

A set $C$ and its dual cone $C^{*}$.

A set $C$ and its polar cone $C^{o}$. The dual cone and the polar cone are symmetric to each other with respect to the origin.

Dual cone and polar cone are closely related concepts in convex analysis, a branch of mathematics.

Dual cone

The dual cone $C^{*}$ of a subset $C$ in a linear space $X$, e.g. Euclidean space $\mathbb {R} ^{n}$, with topological dual space $X^{*}$ is the set

$C^{*}=\left\{y\in X^{*}:\langle y,x\rangle \geq 0\quad \forall x\in C\right\},$

$C^{*}$ is always a convex cone, even if $C$ is neither convex nor a cone.

When $C$ is a cone, the following properties hold:

• A non-zero vector $y$ is in $C^{*}$ if and only if both of the following conditions hold: (i) $y$ is a normal at the origin of a hyperplane that supports $C$. (ii) $y$ and $C$ lie on the same side of that supporting hyperplane.
• $C^{*}$ is closed and convex.
• $C_{1}\subseteq C_{2}$ implies $C_{2}^{*}\subseteq C_{1}^{*}$.
• If $C$ has nonempty interior, then $C^{*}$ is pointed, i.e. $C^{*}$ contains no line in its entirety.
• If $C$ is a cone and the closure of $C$ is pointed, then $C^{*}$ has nonempty interior.
• $C^{**}$ is the closure of the smallest convex cone containing $C$.

A cone is said to be self-dual if $C=C^{*}$. The nonnegative orthant of $\mathbb {R} ^{n}$ and the space of all positive semidefinite matrices are self-dual.

Polar cone

The polar of the closed convex cone $C$ is the closed convex cone $C^{o},$ and vice-versa.

For a set $C$ in $X$, the polar cone of $C$ is the set

$C^{o}=\left\{y\in X^{*}:\langle y,x\rangle \leq 1\quad \forall x\in C\right\}.$

For a closed convex cone $C$ in $X$, the polar cone cone is equal to the negative of the dual cone, i.e. $C^{o}=-C^{*}$.

See also

• Bipolar theorem

References

• Goh, C. J. (2002). Duality in optimization and variational inequalities. London; New York: Taylor & Francis. ISBN 0415274796. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)

• Boltyanski, V. G. (1997). Excursions into combinatorial geometry. New York: Springer. ISBN 3540613412. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)CS1 maint: publisher location (link)

• Ramm, A.G. (2000). Operator theory and its applications. Providence, R.I.: American Mathematical Society. ISBN 0821819909. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)