1. 引言
众所周知,本质连通区是研究向量拟均衡问题稳定性的重要课题。自1952年Kinoshita [1] 引入不动点集的本质连通区概念以来,有许多学者对本质连通区进行了相关研究。舒振武 [2] 研究了在集值映射空间M上,当支付和策略集同时扰动,Nash平衡点集关于最优反应映射的混合
-扰动时,得到了每个有限博弈Nash点集本质连通区的存在性。李盛强 [3] 研究当目标映射为上半连续的紧凸映射时,得到了每个拟变分不等式解集至少存在一个本质连通区的结论。陈剑尘和王进朵 [4] 研究当目标函数S、T扰动时,得到锥凸对称拟均衡问题本质连通区的存在性定理。孟旭东和张传美 [5] 在实局部凸的Hausdorff拓扑向量空间中,当给定的空间M中的集值映射为连续非空紧凸值时,得到了广义强向量拟均衡问题解集的本质连通区的存在性。
自2004年俞建,杨辉 [6] 得出了一个统一的本质连通区的存在性定理以来,Cotrina John [7]、曾静 [8] 赵亚莉和孙媛媛 [9]、向淑文和周永辉 [10] 分别研究了向量优化问题,集值广义强向量拟均衡问题以及变分不等式问题一系列非线性优化问题解的存在性、稳定性和本质连通区。但大部分数学研究本质连通区都是在单值映射的条件下研究拟均衡问题解的本质连通区,本文主要修改了 [5] - [10] 的相关条件,将单值映射推广至集值映射,问题解推广为系统解,更进一步地得到了集值广义强向量拟均衡问题系统解本质连通区的存在性定理。
2. 预备知识
设I为非空指标集,对
,
是实局部凸的Hausdorff拓扑空间,
,
为非空紧凸子集,令
,
,
,
,
,并且对
,
为闭凸点锥。
对
,定义集值映射:
,
,
。
本文考虑集值广义强向量拟均衡问题(简称SVGSVQEP):
存在
,满足
,
,且存在
使得
,
,
系统的本质连通区的存在性。
SVGSVQEP的几类特殊情况:
1) 当
退化为单值映射
时,SVGSVQEP退化为单值的广义向量拟均衡问题解,即
,使得
,
,
,
。
该问题在文献 [8] 中研究过。
2) 当指标集
,集值映射
退化为单值映射
时,则SVGSVQEP退化为具有控制结构的广义强向量拟均衡问题解,即
,使得
,
,
,
。
该问题在文献 [5] 中研究过。
3) 当锥C的对偶锥
不具有弱紧基的条件下,则SVGSVQEP退化为集值广义强向量拟均衡问题解,即找
,使得
,
,
,
。
该问题在文献 [9] 中研究过。
定义1.1 [11] 设X是Hausdorff拓扑向量空间,Y是拓扑空间,
是集值映射。
i) 称F在点
处为上半连续当且仅当对
的任何邻域V,存在点
的邻域
,使得
,
。
称F在X上上半连续当且仅当F在X上的每一点都上半连续。
ii) 称F在点
处为下半连续当且仅当对
及点
的任何邻域V,存在点
的邻域
,使得
,
。
称F在X上下半连续当且仅当F在X上每一点都下半连续。
iii) 称F在X上连续当且仅当F在X上既上半连续也是下半连续。
iv) 称F为usco映射当且仅当F上半连续同时具有非空紧值。
定义1.2 [12] 设
为度量空间,A为X的一个子集,
,定义
。
,记
,则X的两个子集A,B之间的Hausdorff距离定义为
且
。
注1.1 根据定义可知
。
引理1.1 [13] 设
和
均为赋范线性空间,
,
均为非空紧凸集,
,
均为A上有非空紧凸值且上(下)半连续的映射,
和
均为A上的连续函数,且
,
,
,
,则
.
是A上具有非空紧凸值且上(下)半连续的映射。
引理1.2 [14] 设A,B,C为E中非空有界集,则
,
其中h为Hausdorff度量,
,
并且
。
引理1.3 [15] (Zorn)如果半序集X的任一全序子集都有上界(下界),则X中必含极大元(极小元)。
3. SVGSVQEP系统解的本质连通区
以下恒假设
。
引理2.1
是一个usco映射。
证明:可使用文献 [5] 中定理3.1的方法进行证明,故证明省略。
设
且
,
的连通分支是
中包含x的所有连通子集的并集 [16]。由于D是紧集以及连通分支是
的连通闭子集,可知连通分支是连通紧集,假设
为指标集,有
,对
,
是
中的非空连通子集,并且对任意
,
。
定义2.1 [17] 对任意
,所有
中包含y中的连通子集的和集(必是连通的)称为
的一个连通区(分支)。
定义2.2 [13] i) 设
,G为
的非空闭子集,G称为
的本质集,若对包含G的开邻域O,存在
,使得对
,并且当
,有
;
ii) 若
中的连通分支
是本质的,则
称为
的本质连通区;
iii)
中的本质集G称为极小本质集,若G在
中所有本质集的族中按集合包含关系所定的序关系是极小元。
注2.1 如果
的极小本质集存在,那么极小本质集不一定是唯一的。
注2.2 如果
的闭子集G包含
的某一本质点y,则G为
的本质集,且
为
的极小本质集。
为了讨论SVGSVQEP系统解的本质连通区,下面介绍三个相关定理。
定理2.1 对每个
,
中至少存在一个极小本质集。
证明:由引理2.1可知,
是上半连续的,根据上半连续的定义与定义2.2可知,
本身就是一个本质集。
记
为所有本质集的全体(按包含关系进行定序),因此
为非空。对
的任一非空全序子集
,由
中的每个成员都是紧的,因此
中所有成员之交仍然为紧的,故
有下界。由Zorn引理可知,
有极小元,该极小元即为
的极小本质集。
定理2.2 对每个
,
的每个极小本质集均是连通的。
证明:设
是
的极小本质集,因此
是
的闭子集。若
是不连通的,则存在
中的两个非空闭子集
与
,使得
,同时
。
,
均为紧集,因此存在X中的开集
,
使得
,
,同时
。
由于
是
的极小本质集可知,
,
均不是本质的。因此存在X中的开集
,
,对
,存在
,使得
,
,但
,
。 (2.1)
令
,
,则
与
都是开子集,并且
,
。因
,
都是紧子集,故存在两个开子集
,
使得
,
,
。
因
是本质的以及
,故存在
使得对任意满足
的
,有
。 (2.2)
因
,
,对上述的
,由(2.1)可知,存在
,使得
,
,
,
。 (2.3)
因
,有
,
。定义
,
如下:
,
。
,
。
其中
,
,
。
易见,
与
都是D上的连续函数,对任意的
,有
,
,
。注意到
,
,
与
均为连续的集值映射,由 [13] 中的引理3.3以及引理3.4可知,
。
据引理1.2可知,
由(2.3)可知,
由(2.2)可知,
或
。 (2.4)
设
,则
。
由
,得
,
,
,
。
由
,得
且存在
,使得
,
,
可知
,这与(2.3)矛盾,从而
,同理可证
。则
。
这又与(2.4)式矛盾。因此,
必是连通的。
定理2.3 对每个
,
中至少存在一个本质连通区。
证明:由定理2.1、定理2.2可知,
中至少存在一个连通的极小本质集G,然而,G中必包含于
的某个连通区
,因G为本质的,根据定义可知,
是
的本质连通区。
4. 结论
本文得到了在实局部凸的Hausdorff空间中,将人们经常研究的单值映射改为了集值映射,问题解改为系统解时,当映射满足上连续以及序锥为闭凸的情况下,在构成的空间M中,证明了SVGSVQEP系统解至少存在一个本质连通区。
基金项目
国家科学自然基金(11061203);江西省自然科学基金(2010GZS0176)。
NOTES
*第一作者。