Convex Cone - Dual Cone

Let be a convex cone in a real vector space V equipped with an inner product. The dual cone to C is the set This is also a convex cone. If C is equal to its dual cone, C is called self-dual.

Another common notion of the dual of a cone is that it is the cone in 's dual space defined by:

In other words, if is the algebraic dual space of, it is the set of linear functionals that are nonnegative on the primal cone . If we take to be the continuous dual space then it is the set of continuous linear functionals nonnegative on . This notion does not require the specification of an inner product on .

In finite dimensions, the two notions of dual cone are essentially the same because any inner product induces a linear isomorphism (nonsingular linear map) from to, and this isomorphism will take the dual cone given by the second definition, in, onto the one given by the first definition. A cone can be said to be self-dual without reference to any given inner product, if there exists an inner product with respect to which it is equal to its dual by the first definition. The map from to induced by this inner product will therefore take to . However, the existence of an linear isomorphism of the dual cone onto the primal cone is not equivalent to self-duality in this sense: while every such isomorphism induces a nonsingular bilinear form on, this form is not necessarily positive definite (i.e., not necessarily an inner product). There are many examples of cones that are linearly isomorphic to their dual cones, but not self-dual: any cone in three-dimensions with a regular polygonal base having an even number of vertices is an example.

Read more about this topic:  Convex Cone

Other articles related to "dual cone, cone, dual":

Dual Cone And Polar Cone - Self-dual Cones
... A cone in a vector space is said to be self-dual if can be equipped with an inner product such that the internal dual cone relative to this inner product is equal to ... Those authors who define the dual cone as the internal dual cone in a real Hilbert space usually say that a cone is self-dual if it is equal to its internal ... For instance, the above definition makes a cone in with ellipsoidal base self-dual, because the inner product can be changed to make the base spherical, and a with ...

Famous quotes containing the word dual:

    Thee for my recitative,
    Thee in the driving storm even as now, the snow, the winter-day
    declining,
    Thee in thy panoply, thy measur’d dual throbbing and thy beat
    convulsive,
    Thy black cylindric body, golden brass and silvery steel,
    Walt Whitman (1819–1892)