1. 引言
众所周知,集值映射的锥凸性是一个非常的概念。一些学者为了削弱这个概念,提出了广义锥凸集值映射的概念。Youness [1]用映射
引进了
-凸集和
-凸函数。显然,当映射是一个恒等映射时,
-凸集和
-凸函数就分别退化成凸集和凸函数。Zhou等[2]在局部凸空间中引进半
-凸集值映射,研究了集值优化问题解的存在性条件。更多关于
-凸及相关研究结果可见文献[3]及里面的参考文献。本文将引进严格
-凸和严格半
-凸两种集值映射,研究它们的性质。本文的主要结构如下,在第二节,我们给出了预备知识,包括一些基本概念和引理。在第三节,我们分别获得了严格
-凸和严格半
-凸两种集值映射的性质。
2. 预备知识
设
是线性空间,
和
是两个实序线性空间。设
和
分别是
和
中的非空集合。0代表每个线性空间中的零元。
为凸锥当且仅当
为点锥当且仅当
。
称为非平凡的当且仅当
,且
。
定义2.1 [4] 设
是
上的非空集合。
的代数内部是集合
从现在开始,我们假设
是
中代数内部非空的点凸锥,
是
中的点凸锥。
定义2.2 [1] 设
是
上的非空集合。称
是
上的
-凸集当且仅当存在向量映射
,使得
定义2.3 设
是
上的非空集合。集值映射
在
上是严格
-凸的当且仅当存在向量映射
,且
是
上的
-凸集,使得对
中任意两个不同的点
和
,我们有
定义2.3 设
是
上的非空集合。集值映射
在
上是严格半
-凸的当且仅当存在向量映射
,且
是
上的
-凸集,使得
引理2.1 [5] 设
是非平凡点凸锥,且
,那么
。
3. 主要结果
设
和
是两个从
分别映射到
和
的集值映射。
现在我们考虑具有约束条件的最小化集值优化问题:
(VP)
定理3.1 在(VP)中,若集值映射
在
上是严格
-凸的,且
,那么
在
上是
-凸集。
证明:情形1:设
,且
。我们证明
(1)
因为
,我们有
(2)
且
(3)
由式(2)和式(3)可知,存在
,使得
(4)
和
(5)
因为集值映射
在
上是严格
-凸的,所以我们有
(6)
从式(4)、式(5)和式(6)可知
(7)
根据式(7)可得,存在
,使得
(8)
由式(8)可得
(9)
通过式(4)和式(5),我们有
(10)
由式(9)和式(10)和引理2.1可知
因此式(1)成立。故
。
情形2:当设
,
。因为
,我们有
由情形1与情形2可得,
在
上是
-凸集。证毕。
定理3.2 设
在
上是
-凸集,若集值映射
在
上是严格半
-凸的,那么
在
上是凸集。
证明:设
。那么存在
,使得
(11)
由式(11)可得
(12)
因为
在
上是严格半
-凸的,我们有
(13)
通过式(12)和式(13)可知
(14)
因为
在
上是
-凸集,从式(14)可得
(15)
显然有
(16)
根据式(15)和式(16)可知
(17)
由式(17)可见
在
上是凸集。证毕。
基金项目
国家自然科学基金(12171061)。