|
|
| Line 1: |
Line 1: |
| [[File:Dual cone illustration.svg|right|thumb|A set ''C'' and its dual cone ''C*''.]]
| | Hi there, I am Alyson Boon although it is not the name on my birth certification. To play lacross is the factor I love most of all. Mississippi is the only location I've been residing in but I will have to [http://mybrandcp.com/xe/board_XmDx25/107997 certified psychics] transfer in a yr or two. My working day job is an invoicing officer but I've already applied for an additional 1.<br><br>Here is my blog ... [http://www.khuplaza.com/dent/14869889 real psychics] online ([http://formalarmour.com/index.php?do=/profile-26947/info/ http://formalarmour.com/index.php?do=/profile-26947/info/]) |
| [[File:Polar cone illustration1.svg|right|thumb|A set ''C'' and its polar cone ''C<sup>o</sup>''. 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]] '''R'''<sup>''n''</sup>, with [[topological]] [[dual space]] ''X*'' is the set
| |
| | |
| :<math>C^* = \left \{y\in X^*: \langle y , x \rangle \geq 0 \quad \forall x\in C \right \},</math>
| |
| | |
| where ⟨''y'', ''x''⟩ is the duality pairing between ''X'' and ''X*'', i.e. ⟨''y'', ''x''⟩ = ''y''(''x'').
| |
| | |
| ''C*'' is always a [[convex cone]], even if ''C'' is neither [[convex set|convex]] nor a [[linear cone|cone]].
| |
| | |
| Alternatively, many authors define the dual cone in the context of a real Hilbert space, (such as '''R'''<sup>''n''</sup> equipped with the Euclidean inner product) to be what is sometimes called the ''internal dual cone''.
| |
| | |
| :<math>C^*_\text{internal} := \left \{y\in X: \langle y , x \rangle \geq 0 \quad \forall x\in C \right \}.</math>
| |
| | |
| Using this latter definition for ''C*'', we have that when ''C'' is a cone, the following properties hold:<ref name="Boyd">{{cite book|title=Convex Optimization | first1=Stephen P. |last1=Boyd |first2=Lieven|last2=Vandenberghe|year=2004|publisher=Cambridge University Press|isbn=978-0-521-83378-3 | url=http://www.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf |format=pdf|accessdate=October 15, 2011|pages=51–53}}</ref>
| |
| * A non-zero vector ''y'' is in ''C*'' if and only if both of the following conditions hold:
| |
| #''y'' is a [[surface normal|normal]] at the origin of a [[hyperplane]] that [[supporting hyperplane|supports]] ''C''.
| |
| #''y'' and ''C'' lie on the same side of that supporting hyperplane.
| |
| *''C*'' is [[closed set|closed]] and convex.
| |
| *''C''<sub>1</sub> ⊆ ''C''<sub>2</sub> implies <math>C_2^* \subseteq C_1^*</math>.
| |
| *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''.
| |
| | |
| ==Self-dual cones==
| |
| A cone ''C'' in a vector space ''X'' is said to be ''self-dual'' if ''X'' can be equipped with an [[inner product]] ⟨⋅,⋅⟩ such that the internal dual cone relative to this inner product is equal to ''C''.<ref>Iochum, Bruno, "Cônes autopolaires et algèbres de Jordan", Springer, 1984.</ref> 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 dual. This is slightly different than the above definition, which permits a change of inner product. For instance, the above definition makes a cone in '''R'''<sup>''n''</sup> with ellipsoidal base self-dual, because the inner product can be changed to make the base spherical, and a with spherical base in '''R'''<sup>''n''</sup> is equal to its internal dual.
| |
| | |
| The nonnegative [[orthant]] of '''R'''<sup>''n''</sup> and the space of all [[positive semidefinite matrix|positive semidefinite matrices]] are self-dual, as are the cones with ellipsoidal base (often called "spherical cones", "Lorentz cones", or sometimes "ice-cream cones"). So are all cones in '''R'''<sup>3</sup> whose base is the convex hull of a regular polygon with an odd number of vertices. A less regular example is the cone in '''R'''<sup>3</sup> whose base is the "house": the convex hull of a square and a point outside the square forming an equilateral triangle (of the appropriate height) with one of the sides of the square.
| |
| | |
| ==Polar cone== | |
| [[File:Polar cone illustration.svg|right|thumb|The polar of the closed convex cone ''C'' is the closed convex cone ''C<sup>o</sup>'', and vice-versa.]]
| |
| For a set ''C'' in ''X'', the '''polar cone''' of ''C'' is the set<ref name="Rockafellar">{{cite book|author=[[Rockafellar, R. Tyrrell]]|title=Convex Analysis | publisher=Princeton University Press |location=Princeton, NJ|year=1997|origyear=1970|isbn=978-0-691-01586-6|pages=121–122}}</ref>
| |
| | |
| :<math>C^o = \left \{y\in X^*: \langle y , x \rangle \leq 0 \quad \forall x\in C \right \}.</math> | |
| | |
| It can be seen that the polar cone is equal to the negative of the dual cone, i.e. ''C<sup>o</sup>'' = −''C*''.
| |
| | |
| For a closed convex cone ''C'' in ''X'', the polar cone is equivalent to the [[polar set]] for ''C''.<ref>{{cite book|last=Aliprantis |first=C.D.|last2=Border |first2=K.C. |title=Infinite Dimensional Analysis: A Hitchhiker's Guide|edition=3|publisher=Springer|year=2007|isbn=978-3-540-32696-0|doi=10.1007/3-540-29587-9|page=215}}</ref>
| |
| | |
| == See also ==
| |
| * [[Bipolar theorem]]
| |
| * [[Polar set]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| *{{cite book
| |
| | last = Goh
| |
| | first = C. J.
| |
| | coauthors = Yang, X.Q.
| |
| | title = Duality in optimization and variational inequalities
| |
| | publisher = London; New York: Taylor & Francis
| |
| | year = 2002
| |
| | pages =
| |
| | isbn = 0-415-27479-6
| |
| }}
| |
| | |
| *{{cite book
| |
| | last = Boltyanski
| |
| | first = V. G.
| |
| | authorlink= Vladimir Boltyansky
| |
| | coauthors = Martini, H., Soltan, P.
| |
| | title = Excursions into combinatorial geometry
| |
| | publisher = New York: Springer
| |
| | year = 1997
| |
| | pages =
| |
| | isbn = 3-540-61341-2
| |
| }}
| |
| | |
| *{{cite book
| |
| | last = Ramm
| |
| | first = A.G.
| |
| | coauthors = Shivakumar, P.N.; Strauss, A.V. editors
| |
| | title = Operator theory and its applications
| |
| | publisher = Providence, R.I.: American Mathematical Society
| |
| | year = 2000
| |
| | pages =
| |
| | isbn = 0-8218-1990-9
| |
| }}
| |
| | |
| [[Category:Mathematical optimization]]
| |
| [[Category:Convex geometry]]
| |
| [[Category:Linear programming]]
| |
| [[Category:Convex analysis]]
| |
Hi there, I am Alyson Boon although it is not the name on my birth certification. To play lacross is the factor I love most of all. Mississippi is the only location I've been residing in but I will have to certified psychics transfer in a yr or two. My working day job is an invoicing officer but I've already applied for an additional 1.
Here is my blog ... real psychics online (http://formalarmour.com/index.php?do=/profile-26947/info/)