An order unit is an element of an ordered vector space which can be used to bound all elements from above. In this way (as seen in the first example below) the order unit generalizes the unit element in the reals. According to H. H. Schaefer, "most of the ordered vector spaces occurring in analysis do not have order units."
Definition For the ordering cone K ⊆ X {\displaystyle K\subseteq X} in the vector space X {\displaystyle X} , the element e ∈ K {\displaystyle e\in K} is an order unit (more precisely a K {\displaystyle K} -order unit) if for every x ∈ X {\displaystyle x\in X} there exists a λ x > 0 {\displaystyle \lambda _{x}>0} such that λ x e − x ∈ K {\displaystyle \lambda _{x}e-x\in K} (that is, x ≤ K λ x e {\displaystyle x\leq _{K}\lambda _{x}e} ).
Equivalent definition The order units of an ordering cone K ⊆ X {\displaystyle K\subseteq X} are those elements in the algebraic interior of K ; {\displaystyle K;} that is, given by core ( K ) . {\displaystyle \operatorname {core} (K).}
Examples Let X = R {\displaystyle X=\mathbb {R} } be the real numbers and K = R + = { x ∈ R : x ≥ 0 } , {\displaystyle K=\mathbb {R} _{+}=\{x\in \mathbb {R} :x\geq 0\},} then the unit element 1 {\displaystyle 1} is an order unit. Let X = R n {\displaystyle X=\mathbb {R} ^{n}} and K = R + n = { x i ∈ R : for all i = 1 , … , n : x i ≥ 0 } , {\displaystyle K=\mathbb {R} _{+}^{n}=\left\{x_{i}\in \mathbb {R} :{\text{ for all }}i=1,\ldots ,n:x_{i}\geq 0\right\},} then the unit element 1 → = ( 1 , … , 1 ) {\displaystyle {\vec {1}}=(1,\ldots ,1)} is an order unit. Each interior point of the positive cone of an ordered topological vector space is an order unit.
Properties Each order unit of an ordered TVS is interior to the positive cone for the order topology. If ( X , ≤ ) {\displaystyle (X,\leq )} is a preordered vector space over the reals with order unit u , {\displaystyle u,} then the map p ( x ) := inf { t ∈ R : x ≤ t u } {\displaystyle p(x):=\inf\{t\in \mathbb {R} :x\leq tu\}} is a sublinear functional.
… excerpt ends here. Continue reading the full article.
