更优回应保障下n人非合作博弈Nash均衡解的良定性

Well-Posedness of Nash Equilibrium for n-Person Non-Cooperative Games under the Better-Reply security

摘要: 本文主要研究一类不连续条件更优回应保障下的n人非合作博弈良定性。首先在有限理性模型下给出良定性的一个新的充分条件。然后通过这个充分条件证明此类不连续博弈是良定的。更进一步得到了此类不连续博弈的Tykhonov良定性与Hadamard良定性。这些结果推广了已有文献的研究成果。

Abstract: This paper mainly studies the well-posedness of n-person non-cooperative games under the better-reply security. Firstly, a new sufficient condition of well-posedness is obtained under the bounded rational model. Furthermore, the Tykhonov well-posedness and Hadamard well-posedness of the discontinuous non-cooperative games are obtained. These results generalize some findings in recent literature.

1. 引言

Tykhonov [1] 良定性与Hadamaard [2] 良定性是良定性的两个主要概念，前者考虑近似解序列对于问题唯一解的收敛性而后者考虑近似问题的解序列对于问题的唯一解的收敛性。1993年，Dontchcv与Zolezzi [3] 在最优化与变分计算等问题上对于这些良定性进行了系统的研究。1995年，Lucchetti与Revalski [4] 主编的论文集继续研究了更广泛问题的良定性。而且，良定性的研究还被推广到更多的研究问题上，例如不动点问题，变分不等式问题，平衡问题等。

近些年，博弈Nash均衡的良定性已经成为一个研究热点。Patrone [5] 与Chicco [6] 等学者研究了双人博弈Nash均衡的Tykhonov良定性。后来，Yu等人 [7] 证明了一类不连续博弈的Tykhonov良定性与Hadamaard良定性。Scalzo [8] 证明了更弱的支付函数连续条件伪连续与更优回应保障下博弈Nash均衡的Hadamard良定性。Yu [9] 利用有限理性模型对各种问题的良定性进行了统一的研究。而且良定性在博弈的其他解上面也有广泛的研究。Yang和Meng [10] 研究了几类不连续条件下α-核的Hadamard良定性。Li和Jia [11] 研究了广义模糊博弈α-核的存在性与良定性。Hung和Keller [12] 研究了广义模糊多目标博弈解的良定性。

另一方面，不连续博弈的研究也是一个热点，其主要研究目的是在支付函数不连续的情况下寻找更多的博弈均衡解存在的充分条件。Reny [13] 给出了不连续条件更优回应保障，并证明了此条件下博弈Nash均衡的存在性。后来，Morgan与Scalzo [14] 给出了新的不连续条件伪连续，且证明一个博弈如果是伪连续的其必是更优回应保障的。Nessah与Tian [15] 研究了拟弱转移连续条件下的n人非合作博弈。Scalzo [16] 引入了不连续条件——广义单偏差，并证明了此条件下Nash均衡的存在性定理。2020年，Reny [17] 对于拟凹条件下的各类不连续博弈进行了总结分析，并给出了新的不连续条件——鲁棒更优回应保障。Qiu等人 [18] 把支付函数减弱为伪连续，并利用了伪连续条件下的Berge极大值定理证明了其弱Pareto-Nash平衡的存在性。最近Mou与Jia [19] 证明了支付函数为向量值广义单偏差条件下的弱Pareto-Nash平衡的存在性定理。各种各样的不连续博弈的研究成果还在不断涌现。

受上述研究工作的启发，本文给出了一个有限理性模型下博弈良定性新的充分条件，并证明了不连续条件更优回应保障下n人非合作博弈的良定性。我们的结果不仅减弱了良定性充分条件的连续性要求，而且也给出了不连续博弈良定性研究的新结果。

2. 预备知识

n人非合作博弈模型：设 $\lambda ={\left(S_i,u_i\right)}_{i\in N}$ 是一个n人非合作博弈，其中 $N=\left\{1,\cdot \cdot \cdot ,n\right\}$ 是局中人的集合， $\forall i\in N$ ，局中人i的策略集为 $S_i$ ， $S={\displaystyle \underset{i\in N}{\prod }{S}_i}$ 。局中人i的支付由有界函数 $u_i:S\to R$ 的确定。 $\forall i\in N$ 记 $-i=N\backslash \left\{i\right\}$ 。如果存在 $s^{*}\in S$ ，使得 $\forall i\in N$ ，有

$u_i\left(s_i^{*},s_{-i}^{*}\right)=\underset{{\omega }_i\in S_i}{\max }{u}_i\left({\omega }_i,s_{-i}^{*}\right),$

则称 $s^{*}$ 为此n人非合作博弈 $\lambda ={\left(S_i,u_i\right)}_{i\in N}$ 的Nash均衡。显然在博弈的Nash均衡处，每个局中人都不能通过单独改变自己的策略而使自己获得更大的利益。如果对于任意的局中人i，其策略空间 $S_i$ 是一个Hausdorff局部凸拓扑线性空间的非空紧子集则称博弈 $\lambda$ 是紧的。另外，如果对于任意的局中人i，其策略空间 $S_i$ 是凸的，而且 $\forall s_{-i}\in S_{-i}$ ， $u_i\left(\cdot ,s_{-i}\right)$ 在 $S_i$ 上面是拟凹的，则称博弈 $\lambda$ 是拟凹的。

定义1 [13] 博弈 $\lambda$ 是更优回应保障的：如果对于任意的 $\left(s^{*},u^{*}\right)$ 属于博弈 $\lambda ={\left(S_i,u_i\right)}_{i\in N}$ 的支付函数 $u(\cdot )$ 的闭图而且不是Nash均衡，则存在一个局中人i与 $\overline{s_i}\in S_i$ 以及 $s_i$ 的某些领域 $O\left(s_{-i}^{*}\right)$ 与一个正数 $\epsilon$ ，使得

$u_i\left(\overline{s_i},{s^{\prime }}_{-i}\right)\ge u_i^{*}+\epsilon ,\forall {s^{\prime }}_{-i}\in O\left(s_{-i}^{*}\right).$

定义2 [20] 设S是一个拓扑空间， $u:S\to R$ 是一个实值函数且 $0\in u\left(S\right)$ 。 $u(\cdot )$ 在 $s$ 点处称为0-下伪连续的，如果 $u\left(s\right)>0$ ，则有 $\underset{s^{\prime }\to s}{\underset{\_}{\lim }}u\left(s^{\prime }\right)>0$ 。

注1：设如果一个函数是下伪连续的而且包含0值，则其必是0-下伪连续的，反之不成立(参考如下反例)。

例1：设Q是全体有理数集合，定义如下 $\left[0,1\right]$ 上的实值函数

$u\left(s\right)=\{\begin{array}{c}0\\ 4\\ 8\end{array}\begin{array}{c}s=0\\ s\in \left(0,1\right]\cap Q\\ 其他\end{array}.$

则对于任意的 $s\in \left[0,1\right]$ 有 $\underset{s^{\prime }\to s}{\underset{\_}{\lim }}{s}^{\prime }=4,\underset{s^{\prime }\to s}{\bar{\lim }}{s}^{\prime }=8$ 。易知，此函数是0-下伪连续的但不是下伪连续的。

下面是有限理性模型下良定性的定义。

假设 $M=\left\{\Lambda ,S,F,\varphi \right\}$ 是一个有限理性模型，其中

(a) $\forall \lambda \in \Lambda$ ， $\lambda ={\left(F_i\left(\lambda \right),u_i\right)}_{i\in N}$ 是一个n人非合作博弈；

(b) $S=\left(S_1,S_2,\cdots ,S_n\right)$ 是博弈的策略集合， $F\left(\lambda \right)=\left(F_1\left(\lambda \right),F_2\left(\lambda \right),\cdots ,F_n\left(\lambda \right)\right)$ 是此博弈 $\lambda$ 的可行策略集，由函数 $F:\Lambda \to P_0\left(S\right)$ 所定义；

(c) $\varphi :\Lambda \times S\to R$ 是有限理性函数，当 $s\in F\left(\lambda \right)$ 时，则有 $\varphi \left(\lambda ,s\right)\ge 0$ 。

假设 $E\left(\lambda ,\epsilon \right)=\left\{s\in S|\varphi \left(\lambda ,s\right)<\epsilon \right\}$ 是博弈 $\lambda$ 的 $\epsilon$ -平衡点集，其中 $\epsilon$ 是一个正实数。如果 $\epsilon =0$ ，设 $E\left(\lambda ,0\right)=E\left(\lambda \right)=\left\{s\in S|\varphi \left(\lambda ,s\right)=0\right\}$ 是博弈 $\lambda$ 的所有Nash均衡组成的集合。

定义3 [9] 一个博弈 $\lambda$ 是广义良定的如果 $\forall {\lambda }_n\in \Lambda$ ，满足 ${\lambda }_n\to \lambda$ 且 $\forall s_n\in E\left({\lambda }_n,{\epsilon }_n\right)$ ，当 ${\epsilon }_n\to 0$ 时，可以找到策略序列 $\left\{s_n\right\}$ 的一个子序列 $\left\{s_{n_k}\right\}$ 使得 $s_{n_k}\to s\in E\left(\lambda \right)$ 。如果博弈 $\lambda$ 是广义良定的且有唯一的Nash均衡，则称博弈 $\lambda$ 是良定的。

定义4 [9] 一个博弈 $\lambda$ 是广义Tykhonov良定的如果 $\forall s_n\in E\left(\lambda ,{\epsilon }_n\right)$ ，当 ${\epsilon }_n\to 0$ 时，可以找到策略序列 $\left\{s_n\right\}$ 的一个子序列 $\left\{s_{n_k}\right\}$ 使得 $s_{n_k}\to s\in E\left(\lambda \right)$ 。如果博弈 $\lambda$ 是广义Tykhonov良定的且有唯一的Nash均衡，则称博弈 $\lambda$ 是Tykhonov良定的。

定义5 [9] 一个博弈 $\lambda$ 是广义Hadamard良定的如果 $\forall {\lambda }_n\in \Lambda$ ，满足 ${\lambda }_n\to \lambda$ 且 $\forall s_n\in E\left({\lambda }_n\right)$ 时，可以找到策略序列 $\left\{s_n\right\}$ 的一个子序列 $\left\{s_{n_k}\right\}$ 使得 $s_{n_k}\to s\in E\left(\lambda \right)$ 。如果博弈 $\lambda$ 是广义Hadamard良定的且有唯一的Nash均衡，则称博弈 $\lambda$ 是Hadamard良定的。

性质1 [9] 如果一个博弈 $\lambda$ 是广义良定的，则 $\lambda$ 是广义Tykhonov良定的与广义Hadamard良定的。

3. 良定性

首先给出良定性的一个充分条件。

引理1：假设 $M=\left\{\Lambda ,S,F,\varphi \right\}$ 是一个有限理性模型， $\forall \lambda \in \Lambda$ 有

(a) $F:\Lambda \to P_0\left(S\right)$ 在 $\Lambda$ 中是上半连续的且 $F\left(\lambda \right)$ 是一个非空紧集；

(b) $\varphi :\Lambda \times S\to R$ 在 $\Lambda \times S$ 上是0-下伪连续的。

则博弈 $\lambda$ 是广义良定的。

证： $\forall {\lambda }_n\in \Lambda$ ，满足 ${\lambda }_n\to \lambda$ 与 $\forall s_n\in E\left({\lambda }_n,{\epsilon }_n\right)$ ，当 ${\epsilon }_n\to 0$ 时，有 $s_n\in F\left({\lambda }_n\right)$ 。因为 $F(\cdot )$ 在 $\Lambda$ 上是上半连续的且 $F\left(\lambda \right)$ 是紧的。根据引理1.2 [21] ，可以找到 $\left\{s_n\right\}$ 的一个子序列 $\left\{s_{n_k}\right\}$ 使得 $s_{n_k}\to s\in F\left(\lambda \right)$ 。我们只需要再证明 $s$ 是博弈 $\lambda$ 的一个Nash均衡即可。

因为 $\forall s_n\in E\left({\lambda }_n,{\epsilon }_n\right)$ 和 ${\epsilon }_n\to 0$ ，显然

$\varphi \left({\lambda }_{n_k},s_{n_k}\right)\to 0.$

利用反证法。如果 $s\notin E\left(\lambda \right)$ ，则有 $\varphi \left(\lambda ,s\right)>0$ 。因为 $\varphi (\cdot )$ 是0-下伪连续的，有 $\underset{n_k\to +\infty }{\underset{\_}{\lim }}\varphi \left({\lambda }_{n_k},s_{n_k}\right)>0$ 。这与 $\varphi \left({\lambda }_{n_k},s_{n_k}\right)\to 0$ 是矛盾的，因此 $s\in E\left(\lambda \right)$ ，即 $s$ 是博弈 $\lambda$ 的一个Nash均衡。(证毕)

注2：通过注1可知0-下伪连续是比下伪连续更弱的不连续条件，所有此引理推广了Yu [22] 的充分条件(定理8.2.1)。

假设 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ 是更优回应保障博弈的一个有限理性模型，其中

(a) $\forall \lambda \in \Lambda$ ， $\lambda ={\left(F_i\left(\lambda \right),u_i\right)}_{i\in N}$ 是一个紧的，拟凹的与更优回应保障的n人非合作博弈，且 $F(\cdot )$ 在 $\Lambda$ 上是上半连续的；

(b) 定义 $\rho$ 为 $\Lambda$ 上的距离，对于任意的 ${\lambda }_1={\left(S_i,u_i^1\right)}_{i\in N}$ 与 ${\lambda }_2={\left(S_i,u_i^2\right)}_{i\in N}$ 属于 $\Lambda$ ，令

$\rho \left({\lambda }_1,{\lambda }_2\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}\underset{s\in S}{\sup }}\left|u_i^1\left(s\right)-u_i^2\left(s\right)\right|;$ (1)

(c) $\forall \lambda \in \Lambda$ 与 $\forall s\in S$ ，理性函数 $\varphi \left(\lambda ,s\right)$ 定义为

$\varphi \left(\lambda ,s\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}\right)-u_i\left(s_i,s_{-i}\right)\right]}.$ (2)

显然有 $\varphi \left(\lambda ,s\right)\ge 0$ 且 $\varphi \left(\lambda ,s\right)=0$ 当且仅当 $s\in E\left(\lambda \right)$ 。通过给出更优回应保障n人非合作博弈的有限理性模型 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ ，我们可以利用良定性去统一Hadamard良定性与Tykhonov良定性的研究。

定理1：假设有限理性模型 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ 满足以上条件，则对于 $\forall \lambda \in \Lambda$ ， $\lambda$ 是广义良定的。

证：因为 $\forall \lambda \in \Lambda$ ， $F(\cdot )$ 在 $\Lambda$ 上是上半连续紧的，根据引理1只需要再证明理性函数 $\varphi (\cdot )$ 是0-下伪连续的即可。

对于任意的 $\left(\lambda ,s\right)\in \Lambda \times S$ ，如果 $\varphi \left(\lambda ,s\right)>0$ ，且 $\left\{\left({\lambda }_k,s_k\right)\right\}$ 是博弈与策略的笛卡尔乘积 $\Lambda \times S$ 中满足的序列，有

$\begin{array}{l}\varphi \left({\lambda }_k,s_k\right)\\ ={\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-u_i^k\left(s_i^k,s_{-i}^k\right)\right]}\\ ={\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-u_i^k\left(s_i^k,s_{-i}^k\right)\right]}\\ -{\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]}\\ +{\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]}\end{array}$ $\begin{array}{l}=\underset{i=1}{\overset{n}{{\displaystyle \sum }}}\left[\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)\right]\hfill \\ +\underset{i=1}{\overset{n}{{\displaystyle \sum }}}\left[u_i^k\left(s_i^k,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]\hfill \\ +\underset{i=1}{\overset{n}{{\displaystyle \sum }}}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right].\hfill \end{array}$

由于 $u_i^k(\cdot )$ 是有界的，可以找到一个策略 ${\bar{s}}_i\in S_i$ 使得 $u_i^k\left({\bar{s}}_i,s_{-i}^k\right)>\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-\rho \left({\lambda }_k,\lambda \right)$ 。根据 $\rho \left({\lambda }_k,\lambda \right)$ 的定义，有

$u_i^k\left({\bar{s}}_i,s_{-i}^k\right)-\rho \left({\lambda }_k,\lambda \right)\le u_i\left({\bar{s}}_i,s_{-i}^k\right)\le \underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right).$ 则有

$\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-2\rho \left({\lambda }_k,\lambda \right)\le \underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right).$ (3)

类似地，可得

$\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)-2\rho \left({\lambda }_k,\lambda \right)\le \underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right).$ (4)

结合(3)与(4)，可以推出

$\begin{array}{l}-4n\rho \left({\lambda }_k,\lambda \right)\le {\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)\right]}\\ \le 4n\rho \left({\lambda }_k,\lambda \right).\end{array}$

由于 $\rho \left({\lambda }_k,\lambda \right)\to 0$ ，可得

$\underset{k\to +\infty }{\lim }{\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i^k\left(w_i,s_{-i}^k\right)-\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)\right]}=0.$ (5)

因为 $\rho \left({\lambda }_k,\lambda \right)\to 0$ 且 $-\rho \left({\lambda }_k,\lambda \right)\le {\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[u_i^k\left(s_i^k,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]}\le \rho \left({\lambda }_k,\lambda \right),$

可得

$\underset{k\to +\infty }{\lim }{\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[u_i^k\left(s_i^k,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]}=0.$ (6)

令

$\phi \left(s\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}\right)-u_i\left(s_i,s_{-i}\right)\right]}.$

由于 $\varphi \left(\lambda ,s\right)>0$ ，则 $s$ 不是博弈 $\lambda$ 的Nash均衡。因 $\lambda$ 是更优回应保障的，则 $\forall {u^{\prime }}_i\in \left\{{u^{\prime }}_i|\left(s,u^{\prime }\right)\in cg\left(u\right)\right\}$ 其中 $cg\left(u\right)$ 为支付函数的闭图，可以找到局中人 $i$ ， ${\bar{s}}_i\in S_i$ ， $s_{-i}$ 的一个开邻域 $O\left(s_{-i}\right)$ 与一个正实数 $\epsilon$ 使得

$u_i\left({\bar{s}}_i,{s^{\prime }}_{-i}\right)>{u^{\prime }}_i+\epsilon ,\forall {s^{\prime }}_{-i}\in O\left({s^{\prime }}_{-i}\right).$ (7)

设 $\underset{\left(s,u^{\prime }\right)\in cg\left(u_i\right)}{\sup }\left\{{u^{\prime }}_i\right\}=\underset{\left(s,{u^{\prime }}_i\right)\in cg\left(u_i\right)}{\max }\left\{{u^{\prime }}_i\right\}=t$ 。根据(7)式，不妨设

$u_i\left({\bar{s}}_i,{s^{\prime }}_{-i}\right)>t+\epsilon ,\forall {s^{\prime }}_{-i}\in O\left({s^{\prime }}_{-i}\right).$

因 $\underset{x_i\in S_i}{\sup }{u}_i\left(x_i,{s^{\prime }}_{-i}\right)\ge u_i\left({\bar{s}}_i,{s^{\prime }}_{-i}\right)$ ，有

$\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,{s^{\prime }}_{-i}\right)>t+\epsilon ,\forall {s^{\prime }}_{-i}\in O\left({s^{\prime }}_{-i}\right).$

因博弈 $\lambda$ 是有界的，对于任意的 $\left\{s^{\prime }\right\}$ ，满足 $s^{\prime }\to s$ ，不妨设 $\left\{s^{\prime }\right\}\subset O\left({s^{\prime }}_{-i}\right)$ ，则有

$\underset{s^{\prime }\to s}{\underset{\_}{\lim }}\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,{s^{\prime }}_{-i}\right)\ge t+\epsilon .$ (8)

由 $\phi \left(s\right)$ 的定义(2)式，有

$\begin{array}{l}\underset{s^{\prime }\to s}{\underset{\_}{\lim }}\phi \left(s^{\prime }\right)\ge \underset{s^{\prime }\to s}{\underset{\_}{\lim }}\left\{\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,{s^{\prime }}_{-i}\right)-u_i\left(s^{\prime }\right)\right\}\\ \ge \underset{s^{\prime }\to s}{\underset{\_}{\lim }}\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,{s^{\prime }}_{-i}\right)-\underset{s^{\prime }\to s}{\bar{\lim }}{u}_i\left(s^{\prime }\right).\end{array}$ (9)

又有

$\underset{s^{\prime }\to s}{\bar{\lim }}{u}_i\left(s^{\prime }\right)\le \underset{\left(s,u^{\prime }\right)\in cg\left(u\right)}{\sup }\left\{u^{\prime }\right\}=\underset{\left(s,{u^{\prime }}_i\right)\in cg\left(u_i\right)}{\max }\left\{{u^{\prime }}_i\right\}=t.$ (10)

结合(8)、(9)与(10)，可得 $\underset{s^{\prime }\to s}{\underset{\_}{\lim }}\phi \left(s^{\prime }\right)>\epsilon >0$ 。由 $\left\{s^{\prime }\right\}$ 的任意性，则

$\underset{k\to +\infty }{\underset{\_}{\lim }}{\displaystyle \underset{i=1}{\overset{n}{\sum }}\left[\underset{w_i\in S_i}{\sup }{u}_i\left(w_i,s_{-i}^k\right)-u_i\left(s_i^k,s_{-i}^k\right)\right]}>0.$ (11)

结合(5)、(6)与(11)，可得 $\underset{\left({\lambda }_k,s_k\right)\to \left(\lambda ,s\right)}{\underset{\_}{\lim }}\varphi \left({\lambda }_k,s_k\right)>0$ 。因此 $\varphi (\cdot )$ 是0-下伪连续的。(证毕)

由于一个伪连续n人非合作博弈也是更优回应保障的，则有如下推论。

推论1：对于满足上述条件的有限理性模型 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ ， $\forall \lambda \in \Lambda$ ，如果 $\lambda$ 是一个伪连续的n人非合作博弈，则 $\lambda$ 是广义良定的。

推论2 [8] ：对于满足上述条件的有限理性模型 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ ， $\forall \lambda \in \Lambda$ ， $\lambda$ 是广义Hadamard良定的。

推论3：对于满足上述条件的有限理性模型 $M_A=\left\{\Lambda ,S,F,\varphi \right\}$ ， $\forall \lambda \in \Lambda$ ， $\lambda$ 是广义Tykhonov良定的。

4. 结论

本文通过不连续条件0-下伪连续，给出了博弈良定性的新的充分条件。然后利用这个充分条件证明了有限理性模型下更优回应保障博弈的良定性。由于一个博弈如果是广义良定的则其必定也是广义Tykhonov良定的与广义Hadamard良定的，也就得到更优回应保障条件下博弈的Tykhonov良定性与Hadamard良定性。

基金项目

国家自然科学基金(12061020, 71961003)，贵州省自然科学基金(20205016, 2021088, 20215640)。

NOTES

^*通讯作者。