Ordered vector spaceIn mathematics, an ordered vector space or partially ordered vector space is a vector space equipped with a partial order that is compatible with the vector space operations. Given a vector space over the real numbers and a preorder on the set the pair is called a preordered vector space and we say that the preorder is compatible with the vector space structure of and call a vector preorder on if for all and with the following two axioms are satisfied implies implies If is a partial order compatible with the vector space structure of then is called an ordered vector space and is called a vector partial order on The two axioms imply that translations and positive homotheties are automorphisms of the order structure and the mapping is an isomorphism to the dual order structure.
Order dual (functional analysis)In mathematics, specifically in order theory and functional analysis, the order dual of an ordered vector space is the set where denotes the set of all positive linear functionals on , where a linear function on is called positive if for all implies The order dual of is denoted by . Along with the related concept of the order bound dual, this space plays an important role in the theory of ordered topological vector spaces.
Order completeIn mathematics, specifically in order theory and functional analysis, a subset of an ordered vector space is said to be order complete in if for every non-empty subset of that is order bounded in (meaning contained in an interval, which is a set of the form for some ), the supremum ' and the infimum both exist and are elements of An ordered vector space is called order complete, Dedekind complete, a complete vector lattice, or a complete Riesz space, if it is order complete as a subset of itself, in which ca
Archimedean ordered vector spaceIn mathematics, specifically in order theory, a binary relation on a vector space over the real or complex numbers is called Archimedean if for all whenever there exists some such that for all positive integers then necessarily An Archimedean (pre)ordered vector space is a (pre)ordered vector space whose order is Archimedean. A preordered vector space is called almost Archimedean if for all whenever there exists a such that for all positive integers then A preordered vector space with an order unit is Archimedean preordered if and only if for all non-negative integers implies Let be an ordered vector space over the reals that is finite-dimensional.
Order bound dualIn mathematics, specifically in order theory and functional analysis, the order bound dual of an ordered vector space is the set of all linear functionals on that map order intervals, which are sets of the form to bounded sets. The order bound dual of is denoted by This space plays an important role in the theory of ordered topological vector spaces. An element of the order bound dual of is called positive if implies The positive elements of the order bound dual form a cone that induces an ordering on called the .
Topological vector latticeIn mathematics, specifically in functional analysis and order theory, a topological vector lattice is a Hausdorff topological vector space (TVS) that has a partial order making it into vector lattice that is possesses a neighborhood base at the origin consisting of solid sets. Ordered vector lattices have important applications in spectral theory. If is a vector lattice then by the vector lattice operations we mean the following maps: the three maps to itself defined by , , , and the two maps from into defined by and.
