第1行：
第1行：
[[File:Ordered_space_illustration.svg|右|缩略图|<math>\mathbb R^2</math><math>\mathbb R^2 </math>中的一点<math>x</math><math>x</math>以及集合<math>\{y|x\le y\}</math>（红色）。此处的序定义为<math>x\le y</math>当且仅当<math>x_1\le y_1</math>且<math>x_2\le y_2</math>。]]
[[File:Ordered_space_illustration.svg|右|缩略图|<math>\mathbb R^2 </math>中的一点<math>x</math>以及集合<math>\{y|x\le y\}</math>（红色）。此处的序定义为<math>x\le y</math>当且仅当<math>x_1\le y_1</math>且<math>x_2\le y_2</math>。]]
在[[数学]]中，'''有序向量空间'''（ordered vector space）是带有[[偏序关系|偏序]]的[[向量空间]]，并且偏序与向量空间的运算是相容的。又称'''偏序向量空间'''（partially ordered vector space）。
在[[数学]]中，'''有序向量空间'''（ordered vector space）是带有[[偏序关系|偏序]]的[[向量空间]]，并且偏序与向量空间的运算是相容的。又称'''偏序向量空间'''（partially ordered vector space）。
R
2
{\displaystyle \mathbb {R} ^{2}}
x
{\displaystyle x}
{
y
|
x
≤
y
}
{\displaystyle \{y|x\leq y\}}
x
≤
y
{\displaystyle x\leq y}
x
1
≤
y
1
{\displaystyle x_{1}\leq y_{1}}
x
2
≤
y
2
{\displaystyle x_{2}\leq y_{2}}
在数学 中，有序向量空间 （ordered vector space）是带有偏序 的向量空间 ，并且偏序与向量空间的运算是相容的。又称偏序向量空间 （partially ordered vector space）。
给定实数
R
{\displaystyle \mathbb {R} }
V
{\displaystyle V}
集合
V
{\displaystyle V}
预序
≤
{\displaystyle \leq }
V
{\displaystyle V}
x
,
y
,
z
{\displaystyle x,y,z}
λ
{\displaystyle \lambda }
x
≤
y
⟹
x
+
z
≤
y
+
z
{\displaystyle x\leq y\implies x+z\leq y+z}
x
≤
y
⟹
λ
x
≤
λ
y
{\displaystyle x\leq y\implies \lambda x\leq \lambda y}
则有序对
(
V
,
≤
)
{\displaystyle (V,\leq )}
预序向量空间 （preordered vector space）。若
≤
{\displaystyle \leq }
偏序 ，则
(
V
,
≤
)
{\displaystyle (V,\leq )}
有序向量空间 。这两条公理说明，平移 与正的位似变换 是序结构的自同构，并且映射
x
↦
−
x
{\displaystyle x\mapsto -x}
有序群 。
给定预序向量空间
V
{\displaystyle V}
V
+
=
{
x
∈
V
|
x
≥
0
}
{\displaystyle V^{+}=\{x\in V|x\geq 0\}}
凸锥 ，称为
V
{\displaystyle V}
正锥 （positive cone）。若
V
{\displaystyle V}
V
+
∩
(
−
V
+
)
=
{
0
}
{\displaystyle V^{+}\cap (-V^{+})=\{0\}}
V
+
{\displaystyle V^{+}}
若
V
{\displaystyle V}
C
{\displaystyle C}
V
{\displaystyle V}
V
{\displaystyle V}
V
+
=
C
{\displaystyle V^{+}=C}
x
≤
y
{\displaystyle x\leq y}
y
−
x
∈
C
{\displaystyle y-x\in C}
因此，向量空间
V
{\displaystyle V}
V
{\displaystyle V}
实数 关于通常的顺序构成有序向量空间。以下关系都是
R
2
{\displaystyle \mathbb {R} ^{2}}
字典序 ：
(
a
,
b
)
≤
(
c
,
d
)
{\displaystyle (a,b)\leq (c,d)}
a
<
c
{\displaystyle a<c}
(
a
=
c
,
b
≤
d
)
{\displaystyle (a=c,b\leq d)}
全序 。正锥由条件
x
>
0
{\displaystyle x>0}
(
x
=
0
,
y
≥
0
)
{\displaystyle (x=0,y\geq 0)}
极坐标 表示，正锥就是由角度满足
−
π
2
<
θ
≤
π
2
{\displaystyle -{\frac {\pi }{2}}<\theta \leq {\frac {\pi }{2}}}
(
a
,
b
)
≤
(
c
,
d
)
{\displaystyle (a,b)\leq (c,d)}
a
≤
c
{\displaystyle a\leq c}
b
≤
d
{\displaystyle b\leq d}
(
R
,
≤
)
{\displaystyle (\mathbb {R} ,\leq )}
x
≥
0
,
y
≥
0
{\displaystyle x\geq 0,y\geq 0}
0
≤
θ
≤
π
2
{\displaystyle 0\leq \theta \leq {\frac {\pi }{2}}}
(
a
,
b
)
≤
(
c
,
d
)
{\displaystyle (a,b)\leq (c,d)}
(
a
<
c
,
b
<
d
)
{\displaystyle (a<c,b<d)}
(
a
=
c
,
b
=
d
)
{\displaystyle (a=c,b=d)}
(
R
,
<
)
{\displaystyle (\mathbb {R} ,<)}
直积 的反射闭包。正锥由
(
x
>
0
,
y
>
0
)
{\displaystyle (x>0,y>0)}
x
=
y
=
0
{\displaystyle x=y=0}
0
<
θ
<
π
2
{\displaystyle 0<\theta <{\frac {\pi }{2}}}
R
2
×
R
2
{\displaystyle \mathbb {R} ^{2}\times \mathbb {R} ^{2}}
仿照
n
=
2
{\displaystyle n=2}
R
n
{\displaystyle \mathbb {R} ^{n}}
x
≤
y
{\displaystyle x\leq y}
x
i
≤
y
i
(
i
=
1
,
⋯
,
n
)
{\displaystyle x_{i}\leq y_{i}\,(i=1,\cdots ,n)}
里斯空间 是有序向量空间，并且还是格 。
[
0
,
1
]
{\displaystyle [0,1]}
f
≤
g
{\displaystyle f\leq g}
x
∈
[
0
,
1
]
,
f
(
x
)
≤
g
(
x
)
{\displaystyle x\in [0,1],\,f(x)\leq g(x)}
偏序向量空间中的区间是凸集 。设
[
a
,
b
]
=
{
x
|
a
≤
x
≤
b
}
{\displaystyle [a,b]=\{x|a\leq x\leq b\}}
x
,
y
∈
[
a
,
b
]
,
λ
∈
(
0
,
1
)
{\displaystyle x,y\in [a,b],\lambda \in (0,1)}
λ
x
+
(
1
−
λ
)
y
∈
[
a
,
b
]
{\displaystyle \lambda x+(1-\lambda )y\in [a,b]}
![{\displaystyle [0,1]}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
![{\displaystyle x\in [0,1],\,f(x)\leq g(x)}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/0701a8ff92ca892e5a9362633feaefe4c08c0c51)
![{\displaystyle [a,b]=\{x|a\leq x\leq b\}}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/a7699e88cb19ad4a5895715dc300c68e4c837989)
![{\displaystyle x,y\in [a,b],\lambda \in (0,1)}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/8130341d654775aa79e8a91e82e33b4c88ed27da)
![{\displaystyle \lambda x+(1-\lambda )y\in [a,b]}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/0e227548f9db5d8c8ea555490818b798b0d8bcd1)