Ordered vector space
An ordered vector space is a mathematical structure . It is a - vector space on which there is also an order relation compatible with the vector space structure , which is usually referred to with (one reads less than or equal). This makes it possible to compare the elements of a vector space according to size . Many vector spaces examined in mathematics have a natural order structure.
definition
An ordered vector space is a pair consisting of a vector space and an order relation on , so that the following applies:
- for everyone , that is, is reflexive .
- From and follows for all , that is, is transitive .
- From it follows for all , that is, is compatible with the addition.
- It follows for all and , that is, is compatible with scalar multiplication .
In the definition one can replace by an ordered body . In most applications, however, you are dealing with the field of real numbers. A vector space is called an ordered vector space if it is ordered as a real vector space. Many of the concepts discussed here can be generalized to ordered Abelian groups .
Positive cone
If it is an ordered vector space, the positive cone is called . It is in fact a cone , which means that:
- For everyone and applies .
In particular, the positive cone is convex , which gives rise to geometrical investigations.
Conversely, if a cone is given in a -vector space , then an order relation is defined, which makes it an ordered vector space, so that . An ordered vector space can therefore also be understood as a vector space with a distinct cone. Properties of order can be related to algebraic and geometrical properties of the cone; is even a topological vector space , then topological properties of the cone are added.
Positive operators
The structure-preserving mappings between ordered vector spaces and are the linear operators that also preserve the order structure, that is, for which it always follows. Such mappings are called positive or monotone operators. The study of positive operators is an important part of the theory of ordered vector spaces.
Obviously the ordered vector spaces with the positive operators as morphisms form a category .
An ordering interval is a set of form . A linear operator between ordered vector spaces is called order restricted if it maps order intervals into order intervals. Differences of positive operators are obviously order restricted.
Dual order
If is an ordered vector space, then is a cone that makes the dual space an ordered vector space; this is the so-called dual order on . Is also a topological vector space, so you look instead of the algebraic topological dual space, ie the space of all continuous linear functionals on . If this space is normalized or more generally locally convex , the duality theory, which is rich for these space classes, is available.
Often one only looks at the subspace of the orderly restricted functional and speaks of the orderly restricted dual space.
Examples
- The sequence spaces such as , or are ordered vector spaces if one explains the order component-wise, that is, if one defines for two sequences and the relation through .
- Function spaces like or L ^{p} [0,1] are ordered vector spaces if the order is explained point by point, that is, if one defines for two functions and the relation through for all from the domain or almost everywhere on the domain.^{}
- If one is a C * -algebra and one sets , one can show that there is a cone, which turns into an ordered vector space. The investigation of the dual space with the dual order is an important method in the theory of C * algebras.
More terms
Let be an ordered vector space.
Strict order
In the definition given here it was not required that from and always should follow; the order relation would then be antisymmetric , and this would be equivalent to the cone being pointed (i.e. ). Most of the cones used in the applications are pointed. Some authors always understand a cone to be a pointed cone and call the more general term introduced above a truncated cone . Antisymmetric orders are also called strict orders.
Directed order
The order on is called directed if there is always one with and for every two elements . The order is directed if and only if , that is, if the positive cone generates the vector space .
Organizational units
An element is an atomic unit, if for every one is having . This is equivalent to the ordering interval being an absorbing quantity .
Obviously the constant function 1 is a unit of order in , while the sequence space has no units of order.
Archimedean order
The order in is called Archimedean if the following applies: Are and is for everyone , it follows .
The order is almost Archimedean , if the following applies: Are and is for everyone , then it follows .
The order is nowhere Archimedean , if for every one is using for all .
Subspaces, quotients and direct products
If there is an ordered vector space and a subspace, then with the restricted order there is again an ordered vector space, it is evident and the embedding is a positive operator.
The quotient space obviously becomes an ordered vector space with the cone and the quotient mapping is a positive operator.
Finally , if there is a family of ordered vector spaces, the direct product becomes an ordered vector space if the positive cone is explained by. An important question in the theory of ordered vector spaces is whether a given ordered vector space can be decomposed as a direct product of ordered spaces.
Riesz rooms
A strictly ordered vector space has the Riesz decomposition property if and only if the following applies:
Is and , so there is with , and .
If for every two elements of a strictly ordered vector space there is always a smallest element with and , which is then denoted by and the supremum and is called, then one speaks of a Riesz space or vector lattice . One can show that there is indeed a distributive lattice, whereby the other lattice operation could be defined by. It can be shown that vector lattices have the Riesz decomposition property. A vector lattice is called complete if not only two elements but every set bounded above has a supremum.
Comment on the designation: Some authors call directed and strictly ordered vector spaces with the Riesz decomposition property Riesz spaces, see for example, and therefore do not use Riesz space as a synonym for vector lattice.
In connection with the terms introduced here, there is the following important sentence by F. Riesz:
- If a directed and strictly ordered vector space with Riesz's decomposition property, then the order-restricted dual space is a complete vector lattice.
Consider a C * algebra as an application . Then the self-adjoint part is a real vector space, which through the cone becomes a directed and strictly ordered vector space with Riesz interpolation property. The dual space , which coincides with the order-restricted dual space, is therefore a complete vector lattice, which is important for the C * theory.
Topological ordered vector spaces
If an ordered vector space also has a vector space topology, one speaks of an ordered, topological vector space and can investigate continuity properties of the order. Especially in vector lattices one can see the continuity of the mappings
to study.
The following theorem applies to ordered topological vector lattices :
- The mapping is continuous if and only if has a zero neighborhood base of sets that have the following property: Is and with , then follows .
If there is even a normalized space with norm and a vector lattice, then the norm is called a lattice norm if it always follows. In this case one speaks of a standardized vector lattice. Then the above quoted sentence is applicable and one recognizes the continuity of the union operations. Typical examples are the examples listed above or with their natural orders and norms.
There is an extensive theory for ordered topological vector spaces, especially ordered Banach spaces, for which reference is made to the literature at this point.
See also
Individual evidence
- ^ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 1.1
- ↑ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 1.1.3
- ↑ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 1.3.1
- ^ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 1.3
- ↑ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 1.4
- ^ CD Aliprantis, R. Tourky: Cones and duality , American Mathematical Society (2007), 1.14
- ^ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 2.1
- ^ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 2.6.1
- ^ Gert K. Pedersen: C * -Algebras and Their Automorphism Groups ISBN 0125494505 , 1.4.10
- ↑ Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Volume 141 (1970), 4.1.5
- ^ CD Aliprantis, R. Tourky: Cones and duality , American Mathematical Society (2007), 2.36
literature
- Graham Jameson: Ordered Linear Spaces , Springer Lecture Notes, Volume 141 (1970)
- WAJ Luxemburg and AC Zaanen: Riesz-Spaces , North-Holland Pub. Co .; New York, American Elsevier Pub. Co. (1971), ISBN 0444101292
- CD Aliprantis, R. Tourky: Cones and duality , American Mathematical Society (2007), ISBN 0821841467