有序向量空间

${ℝ}^2$中的一点$x$以及集合$\{y|x\le y\}$（红色）。此处的序定义为$x\le y$当且仅当$x_1\le y_1$且$x_2\le y_2$。

在数学中，有序向量空间（ordered vector space）是带有偏序的向量空间，并且偏序与向量空间的运算是相容的。又称偏序向量空间（partially ordered vector space）。

定义

给定实数$ℝ$上的向量空间$V$以及集合$V$上的预序$\le$，如果对$V$中任意的$x,y,z$以及非负实数$\lambda$，以下公理成立

1. $x\le y⟹x+z\le y+z$
2. $x\le y⟹\lambda x\le \lambda y$

则有序对$(V,\le )$称为预序向量空间（preordered vector space）。若$\le$还是偏序，则$(V,\le )$称为有序向量空间。这两条公理说明，平移与正的位似变换是序结构的自同构，并且映射$x\mapsto -x$是到对偶序结构的同构。有序向量空间关于其加法运算构成有序群。

正锥

给定预序向量空间$V$，子集$V^{+}=\{x\in V|x\ge 0\}$是一个凸锥，称为$V$的正锥（positive cone）。若$V$是有序向量空间，则$V^{+}\cap (-V^{+})=\{0\}$，因此$V^{+}$还是真锥。

若$V$是实向量空间，$C$是$V$的真凸锥，则存在唯一的偏序使得$V$成为有序向量空间并且$V^{+}=C$。这个偏序由以下方式给出

$x\le y$当且仅当$y-x\in C$

因此，向量空间$V$上（与向量空间结构相容）的偏序与$V$的真凸锥之间存在一一对应。

例子

• 实数关于通常的顺序构成有序向量空间。
• 以下关系都是${ℝ}^2$上的偏序，且按照从弱到强的顺序排列。
  1. 字典序：$(a,b)\le (c,d)$当且仅当$a<c$或$(a=c,b\le d)$。这是一个全序。正锥由条件$x>0$或$(x=0,y\ge 0)$给出。用极坐标表示，正锥就是由角度满足$-\frac{\pi }{2}<\theta \le \frac{\pi }{2}$的点再加上原点组成。
  2. $(a,b)\le (c,d)$当且仅当$a\le c$且$b\le d$（这实际上就是两个偏序集$(ℝ,\le )$的乘积序）。这是一个偏序。正锥由$x\ge 0,y\ge 0$给出。在极坐标中就是$0\le \theta \le \frac{\pi }{2}$，再加上原点。
  3. $(a,b)\le (c,d)$当且仅当$(a<c,b<d)$或$(a=c,b=d)$，也就是两个$(ℝ,<)$的直积的反射闭包。正锥由$(x>0,y>0)$或$x=y=0$给出。在极坐标系中，就是$0<\theta <\frac{\pi }{2}$，再加上原点。

只有第二个序是闭集（作为${ℝ}^2\times {ℝ}^2$的子集）。

• 仿照$n=2$的情况，可以在${ℝ}^n$上定义类似的偏序。例如，仿照上面提到的第二个序，可以定义：
  • $x\le y$当且仅当$x_i\le y_i(i=1,\cdots ,n)$
• 里斯空间是有序向量空间，并且还是格。
• $[0,1]$上的连续函数组成的空间，$f\le g$当且仅当对任意$x\in [0,1],f(x)\le g(x)$。

备注

偏序向量空间中的区间是凸集。设$[a,b]=\{x|a\le x\le b\}$，由上面的两个公理可以得出：如果$x,y\in [a,b],\lambda \in (0,1)$，则$\lambda x+(1-\lambda )y\in [a,b]$。

参见

• 偏序空间
• 里斯空间

参考文献

• 尼古拉·布尔巴基; Elements of Mathematics: Topological Vector Spaces; Template:Isbn.
• Template:Cite book
• Template:Cite book