Dual cone and polar cone: Difference between revisions

Revision as of 21:12, 2 July 2020

Revision as of 16:51, 17 October 2020

Line 21:

If ''X'' is a [[topological vector space]] over the real or complex numbers, then the '''dual cone''' of a subset ''C'' ⊆ ''X'' is the following set of continuous linear functionals on ''X'':

:<math>C^{\prime} := \left\{ f \in X^{\prime} : \operatorname{Re} \left( f (x) \right) \geq 0 \text{ for all } x \in C \right\}</math>,{{sfn | Schaefer |Wolff| 1999 | pp=215–222}}

which is the [[polar set|polar]] of the set -''C''.{{sfn | Schaefer |Wolff| 1999 | pp=215–222}}

No matter what ''C'' is, <math>C^{\prime}</math> will be a convex cone.

If ''C'' ⊆ {0} then <math>C^{\prime} = X^{\prime}</math>.

Line 73:

{{Reflist}}

==Bibliography==

*{{cite book

| last = Boltyanski

Line 105 ⟶ 106:

| isbn = 0-8218-1990-9

}}

* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer |Wolff| 1999 | p=}} -->

{{OrderedTopologicalVectorSpaces}}