An order cone or positive cone is a special cone in an ordered vector space . It is defined via the order relation in this vector space. Conversely, however, cones can also be explained as cones of order under certain circumstances and thus define an order relation. Thus, the order cone and the order relation are equivalent in some respects. Every property of the cone then corresponds to an analogous property of the order relation and vice versa.
An ordered vector space is given . Then the amount is called
the ordinal cone or the positive cone . It contains all elements that are "positive" with regard to the order relation. Conversely, if a convex cone is in , then becomes through
defines an order relation on which makes an ordered vector space. In this case, too, one calls the order cone.
On the vector space of the real symmetric matrices is given by
defines the so-called Loewner partial order . The corresponding positive cone is then
Conversely, the Loewner partial order can also be defined using this order cone.
In the functional space of the continuous in the interval between 0 and 1 functions to define the positive cone
He defines the order
and thus makes it an ordered vector space.
- Every ordering cone defined by an ordered vector space is a 0 cone . This follows directly from the reflexivity of .
- Every ordering cone defined by an ordered vector space is a convex cone. This follows from the closeness of the order relation with regard to addition and scalar multiplication. Therefore only convex cones define ordered vector spaces: Weaker cone definitions lead to the loss of these properties.
- The order relation is then antisymmetric, i. H. from and follows , if the order cone pointed , d. H. if . The order relation is then called a strict order.
- The cone , which is dual to the cone of order, defines the so-called dual order on the dual space of .
Order cones and the order relations defined by them are used in the optimization to define generalizations of inequality restrictions. In particular, order cones are somewhat more general than generalized inequalities , since they only assume a convex cone, not a true cone .
The Loewner order mentioned above can be generalized to any C * algebras . If the real vector space is the self-adjoint elements of a C * -algebra , then it is an order cone, which turns into an ordered vector space. The elements of the order cone of the dual order lead to the so-called GNS construction .
- Johannes Jahn: Introduction to the Theory of Nonlinear Optimization. 3. Edition. Springer, Berlin 2007, ISBN 978-3-540-49378-5 .