順序単位

ベクトル空間 ${\displaystyle X}$ 内の順序錐 ${\displaystyle K\subseteq X}$ に対して、元 ${\displaystyle e\in K}$ が順序単位（より正確には、${\displaystyle K}$-順序単位）であるとは、すべての ${\displaystyle x\in X}$ に対してある ${\displaystyle \lambda _{x}>0}$ が存在し ${\displaystyle \lambda _{x}e-x\in K}$ が成立することを言う（すなわち、${\displaystyle x\leq _{K}\lambda _{x}e}$ である）[2]。

${\displaystyle X=\mathbb {R} }$ を実数とし ${\displaystyle K=\mathbb {R} _{+}=\{x\in \mathbb {R} :x\geq 0\}}$ とすると、単位元 ${\displaystyle 1}$ は順序単位である。

${\displaystyle X=\mathbb {R} ^{n}}$ とし ${\displaystyle K=\mathbb {R} _{+}^{n}=\{x\in \mathbb {R}$ :\forall i=1,\ldots ,n:x_{i}\geq 0\}} とすると、単位元 ${\displaystyle {\vec {1}}=(1,\ldots ,1)}$ は順序単位である。