ABSTRACT

Based on the definitions of cone semicontinuous and cone quasiconvex of payoff function, the existence theorems of solutions for vector equilibrium problems with payoff function are obtained under new assumptions by using the classical Fan-KKM theorem and separation theorem. Finally, the feasibility of the results is verified by an example.

Keywords:Set Payoffs, Game Problems, Fan-KKM Theorems, Separation Theorems

集支付函数的向量均衡问题存在性定理

高磊^*，张 宇，曹志娟

云南财经大学统计与数学学院，云南 昆明

收稿日期：2020年3月19日；录用日期：2020年4月6日；发布日期：2020年4月14日

摘 要

基于集支付函数锥半连续和锥拟凸的定义，利用经典的Fan-KKM定理与分离定理，在新的假设条件下，得到了带有集支付函数的向量均衡问题解的存在性定理。最后，通过算例验证了结果的可行性。

关键词 :集支付，博弈问题，Fan-KKM定理，分离定理

Copyright © 2020 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

博弈问题有三要素：博弈者、博弈策略和支付函数。经典博弈问题的支付函数值是一个单值的数或者向量。然而，受到一些不确定的因素与客观条件的影响，想精确计算出这个支付函数的函数值是比较困难的，通常只能得到一个值的大致范围。这样，支付函数就变成了一个集值函数。因此，研究集支付函数的向量均衡问题是非常有意义的。

有一些学者已经做了这方面的研究。文献 [1] 利用凸集分离定理研究了向量均衡问题的存在性。文献 [2] 提出了集值映射下向量均衡问题新的存在性定理。文献 [3] 研究了广义弱向量均衡问题的存在性结果。文献 [4] 在凸集和非凸集下，讨论了弱向量平衡问题的存在性。文献 [5] 研究了变分不等式问题在伪单调和不连续假设下的存在性结果。文献 [6] 研究了集值映射下的极大极小非均衡问题。文献 [7] 得到了一系列集值映射弱向量拟平衡问题解的存在性和连通性的结果。文献 [8] [9] 运用一些有利条件解决了一些非线性问题。

很少有文献研究集支付函数的向量均衡问题。向量均衡问题是指： $\exists \overline{x}\in X_0$ s.t.，

$F\left(\overline{x},y\right)\not\subset -S\backslash \left\{\theta \right\}$ , $\forall y\in X_0$

其中 $F:X_0\times X_0\to 2^V$ ， $X_0\subset X$ ，X和V是实Hausdorff拓扑线性空间，S是V中的一个尖闭凸锥。直接利用经典的方法讨论上述问题解的存在性定理所得到连续性假设中会涉及非开非闭集 $S\backslash \left\{\theta \right\}$ ，这使得相应的结果很难验证。在这篇文章中，利用经典的Fan-KKM定理与分离定理(包括凸集分离定理、非凸分离定理)，在合理的假设下，分别研究了带有集支付函数的向量均衡问题解的存在性定理。

2. 预备知识

在整篇文章中，总是假设X和V是实Hausdorff拓扑线性空间，S是V中的一个闭的尖凸锥，并且 $\mathrm{int}S\ne \theta$ 。

S的对偶锥 $S^{\text{*}}:=\left\{s^{\text{*}}\in V^{*}:s^{\text{*}}\left(s\right)\ge 0,\forall s\in S\right\}$ 。

显然， $s\in S^{*}\backslash \left\{\theta \right\}$ 是单调增加函数(见文献 [2])。

集向量均衡问题(SVEP)是指： $\exists \overline{x}\in X_0$ ，s.t.，

$F\left(\overline{x},y\right)\not\subset -S\backslash \left\{\theta \right\}$ , $\forall y\in X_0$

下面，给出拟上(下)半连续和S-拟上(下)半连续的定义。

定义2.1 设 $F:X\to 2^V$ 是一个集值映射， $x_0\in X$ 。如果对 $\forall b\in V$ ，有

$F\left(x_0\right)\cap \left(b+S\right)=\varnothing \left(F\left(x_0\right)\cap \left(b-S\right)=\varnothing \right)$

$\exists x_0$ 的邻域U，s.t.，

$F\left(x\right)\cap \left(b+S\right)=\varnothing \left(F\left(x\right)\cap \left(b-S\right)=\varnothing \right)$ , $\forall x\in U$

那么称F是 $x_0$ 上的拟上(下)半连续；如果对 $\forall x\in X$ ，F是S-拟上(下)半连续，那么称F是X上的S-拟上(下)半连续。

注1：这里所给出的定义与文献 [2] 中的定义不同，下面举例说明。

例1：设 $F:R\to 2^R$ 是一个集值映射， $S=R_{+}$ 。F的定义如下：

$F\left(x\right)=\{\begin{array}{l}\left[-1,1\right],x=0\\ 0,x\ne 0\end{array}$

取 $b>1$ ，有 $F\left(0\right)\cap \left(b+S\right)=\left[-1,1\right]\cap \left(b+S\right)=\varnothing$ 。由F的定义可知，一定存在0的邻域U，s.t.， $F\left(x\right)\cap \left(b+S\right)=\varnothing$ ， $\forall x\in U$ 。即F在0点 $R_{+}$ -拟上半连续。

但在文献 [2] 中的定义2.1中却不满足，理由如下：

取 $b=-\frac{1}{2}$ ， $b+S=\left\{x|x\ge -\frac{1}{2}\right\}$ 。显然， $F\left(0\right)=\left[-1,1\right]\not\subset b+S$ ，对0的任意邻域U， $F\left(x\right)\subset b+S$ 。显然，F在0点不满足文献 [2] 中相应的概念。

引理2.1 设 $F:X\to 2^V$ 是一个集值映射，F是X上的拟上半连续当且仅当它的上水平集是闭集，i.e.，对 $\forall b\in V$ ，水平集 $le{v}_F\left(b\right):=\left\{x\in X:F\left(x\right)\cap \left(b+S\right)\ne \varnothing \right\}$ 是闭集。

证明：一方面，假设 $\forall b\in V$ ， $le{v}_F\left(b\right):=\left\{x\in X:F\left(x\right)\cap \left(b+S\right)\ne \varnothing \right\}$ 是闭集，要证F是X上的拟上半连续。由于 $le{v}_F\left(b\right)$ 的补集 $le{v}_F{\left(b\right)}^C$ 是开集，可知若对于 $\forall x_0\in X$ ，有 $F\left(x_0\right)\cap \left(b+S\right)=\varnothing$ 则 $x_0\in le{v}_F{\left(b\right)}^C$ 。即 $\exists x_0$ 的邻域 $le{v}_F{\left(b\right)}^C$ ，s.t.， $F\left(x_0\right)\cap \left(b+S\right)=\varnothing$ 成立，得证。

另一方面，若F是X上的S-拟上半连续，要证 $\forall b\in V$ ，水平集

$le{v}_F\left(b\right):=\left\{x\in X:F\left(x\right)\cap \left(b+S\right)\ne \varnothing \right\}$

是闭集。设 $\left\{x_n\right\}$ 为 $le{v}_F\left(b\right)$ 上的一个序列且 $x_n\to x_1$ 。假设 $x_1\notin le{v}_F\left(b\right)$ ，那么 $F\left(x_1\right)\cap \left(b+S\right)=\varnothing$ ，根据拟上半连续的定义可知，存在实数N，当 $n\ge N$ 时，有 $F\left(x_n\right)\cap \left(b+S\right)=\varnothing$ ，与假设矛盾。因此， $\forall b\in V$ ，水平集 $le{v}_F\left(b\right)$ 是闭集。

下面，给出真S-拟凸和自然S-拟凸的定义。

定义2.2 [10] 设 $X_0$ 是X上的非空凸集， $F:X\to 2^V$ 是一个集值映射，有下列定义：

1) 对 $\forall x_1,x_2\in X_0$ ，并且 $l\in \left[0,1\right]$ ，有

$F\left(l{x}_1+\left(1-l\right)x_2\right)\subset F\left(x_1\right)-S$ 或 $F\left(l{x}_1+\left(1-l\right)x_2\right)\subset F\left(x_2\right)-S$ ,

则称集值映射F是真S-拟凸；

2) 对 $\forall x_1,x_2\in X_0$ ，并且 $l\in \left[0,1\right]$ ，有

$F\left(l{x}_1+\left(1-l\right)x_2\right)\subset co\left\{F\left(x_1\right),F\left(x_2\right)\right\}-S$ ,

则称集值映射F是自然S-拟凸。

接下来，给出著名的KKM映象定义和Fan-KKM定理。

定义2.3 [11] 设 $X_0\in X$ 是一线性空间而且 $X_0\ne \varnothing$ ， $F:X\to 2^X$ 是一多值映象，如果对任意有限集 $\left\{x_1,x_2,\cdots ,x_n\right\}\subset X$ 有 $co\left\{x_1,x_2,\cdots ,x_n\right\}\subset {\displaystyle \underset{i=1}{\overset{n}{\cup }}F\left(x_i\right)}$ ，那么称F为KKM映象。

定理2.1 [11] 设X是一Hausdorff拓扑线性空间， $X_0$ 是X之一非空子集， $F:X_0\to 2^X$ 是Fan-KKM映象，再设 $\forall x\in X_0$ ， $F\left(x\right)$ 为X中的闭集，且至少存在一点 $x_0\in X_0$ 使得 $F\left(x_0\right)$ 是F中的紧集，则 $\underset{x\in X}{\cap }F\left(x\right)\ne \varnothing$ 。

最后，给出一类非线性标量化函数的定义以及性质。

定义2.4 [12] 设 $k\in \mathrm{int}S$ 和 $a\in V$ ，非线性标量化函数 ${\xi }_{ka}\left(z\right):V\to R$ 为：

${\xi }_{ka}=\min \left\{t\in R:z\in a+tk-S\right\}$ .

引理2.2 [13] 设 $k\in \mathrm{int}S$ 和 $a\in V$ ，有以下性质：

1) ${\xi }_{ka}\left(z\right)\le r\iff z\in a+rk-S$ ；

2) ${\xi }_{ka}\left(z\right)\ge r\iff z\notin a+rk-\mathrm{int}S$ ；

3) 如果 $z_1-z_2\in S\Rightarrow {\xi }_{ka}\left(z_1\right)\ge {\xi }_{ka}\left(z_2\right)$ ，那么 ${\xi }_{ka}(\cdot )$ 是单调递增的函数；

4) 若 $z_1-z_2\in \mathrm{int}S\Rightarrow {\xi }_{ka}\left(z_1\right)>{\xi }_{ka}\left(z_2\right)$ ，则 ${\xi }_{ka}(\cdot )$ 是严格单调递增的函数；

5) ${\xi }_{ka}(\cdot )$ 是连续的函数。

3. 主要结论

在这一节，首先使用Fan-KKM定理以及非线性分离定理来证明下面结论：

定理3.1 设 $k\in \mathrm{int}S$ 和，是X上的一个非空凸子集，是一个集值映射，若满足下列条件：

1) 对，是X上的S-拟上半连续，是S-拟下半连续；

2) 对，是上的真S-拟凸；

3)；

则集向量均衡问题(SVEP)有解。

证明：首先，我们证明，

s.t. (3.1)

构造集值映象

,

1) 对，都有，即，。

2) 又因为为一个紧集，，且是紧的，故仅需证为闭集即可。

由Q的定义可知，

,

再由F的连续性以及Q的定义可得为闭集。

3) 下面证明为一个KKM映象。

反证，若不是一个KKM映象，则且，，s.t.，

由Q的定义得，

,

由定义2.2以及的单调性可知，

即，

由Q的定义得，这与，矛盾。所以，为一个KKM映象。

由Fan-KKM定理可知，，s.t.，

其次，证明，s.t.，

(3.2)

事实上，如果，i.e.，

又因为

,

根据(3.1)可知，s.t.，

也就是说

,

再由引理2.2可知

因此

最后，证明(SVEP)有解。

, s.t., ,

i.e.,

, s.t.

,

定理3.1证闭。

注2：下面举例说明定理3.1是可行的。

例2：设是一个集值映射，。F的定义如下：

显然，满足定理2.1中条件1、2。令，得，经简单计算，显然为解。

注3：在文献 [2] 中也讨论了类似的问题，但模型与文献中不同，下面举例说明。

例3：设，，，，这里F的连续性和凸性可以保证。另外，。事实上，取，，；i.e.，为定理2.1的解。然而由简单计算可知，。这样，对，x都不是文献 [2] 中模型的解。因此，定理3.1与文献中相应的结论是不同的。

定理3.2 设是X上的一个非空凸子集，是一个集值映射，若满足下列条件：

1) 对，是X上的S-拟上半连续，是S-拟下半连续；

2) 对，是上的自然S-拟凸；

3)；

则集向量均衡问题(SVEP)有解。

证明：设，首先我们证明，

s.t. (3.3)

构造集值映象

,

1) 对，都有，即，。

2) 又因为为一个紧集，，且是紧的，故仅需证为闭集即可。

由T的定义可知

,

再由F的连续性以及T的定义可得为闭集。

3) 下面证明为一个KKM映象。

因为具有单调性，所以由Fan-KKM定理与定理3.1可知，(3.3)成立。

其次，我们证明，s.t.

, (3.4)

事实上，假设

,

即，

因此，由强凸分离定理可知，存在非零线性泛函()，s.t.

, , (3.5)

由(3.5)可知，。又因为，所以。若不然，，s.t.，当，时，与矛盾。

由(3.5)可知，取得

,

由(3.3)得。，

s.t.,

又因为单调递增，所以

(3.4)得证。

下面类似于定理3.1中的证明。

定理3.2证闭。

致谢

笔者衷心感谢导师张宇副教授指导与帮助。

基金项目

国家自然科学资助项目(基金名称：集值极大极小问题与集值博弈问题研究，编号：11901511，主持人：张宇)。

文章引用

高 磊,张 宇,曹志娟. 集支付函数的向量均衡问题存在性定理
Existence Theorems of Vector Equilibrium Problems with Set Payoffs Functions[J]. 理论数学, 2020, 10(04): 290-297. https://doi.org/10.12677/PM.2020.104037

参考文献