第四章__纳什均衡的存在性与多重性
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第四章 纳什均衡的存在性与多重性
对于数学家来说，一个数学概念的存在性与唯一性是特别需要加以关注的。这是因 为，从形式逻辑角度看，如果某个事物并不存在，那么关于这个杜撰中的事物所给出的 任何陈述或判断都可认为是正确的或错误的，因为对于不存在的事物来说，任何关于它 的陈述或判断都不可能加以证伪。所以，倘若某个概念所对应的事物并不存在。那么， 关于这个概念所给出的研究结论都必然不存在被证伪的可能。因而根据波普尔的证伪主 义观点，这样的研究不具备科学上的意义。所以，我们在对任何新提出来的数学概念加 以系统研究之前，首先需要弄清楚所研究的对象事物是否存在。
所有的存在性定理证明都采用了不动点定理，这是因为，纳什均衡的概念在数学上
就是一个不动点的概念。在给出存在性定理及其证明之前，我们先来说明不动点的概念
和给出不动点定理。
什么是“不动点”呢？考虑一个方程 f (x) = x ，其中 x 为方程的解。我们将 f (⋅)视 为一种“变换”，即 f (⋅)是将 x 对应为 y = f (x)的变换，其中 x 和 y 分别是属于集合 X 和 Y 的两个元素，x ∈ Χ ， y ∈Y 。如果 X = Y ，则方程 f (x) = x 的几何意义就是：变换 f (⋅)将 x 变为自己，即 x 在 f (⋅)变换下是不变的，故称 f (x) = x 的解为变换 f (⋅)的不动点。
X × Y 中的一个闭子集。
证明：必要性。记集合 A = {(x, y) x ∈ X , y ∈ G(x)}⊂ X ×Y .
设 Z j = (x( j), y( j))为 A 中一收敛序列，其中 x( j)∈ X ,
y( j)∈ g(X ( j)), j = 1, , ∞
由上半连续性知 lim y( j)∈ G lim x( j)
( ) 空凸子集。那么，S 中一定存在某个 x 使得 x ∈ F x (Kakutani, 1941)
角谷不动点定理说的是对于有限维向量空间中任一非空有界闭凸子集上的上半连
续自对应来说，在一定条件下都至少存在一个不动点。角谷不动点定理及其它的一系列
相关定理的证明还可参见 Burger(1963), Franklin (1980)和 Border(1985)。数理经济学家 Scarf(1973)曾通过一种计算不动点的算法而提供了一个构造性证明，其中不动点的存在 性是由这个定理所保证的。关于角谷不动点定理的推广，可参见 Glicksberg (1952)。
}∞ j =1
，如果对每个
j都
有 x( j) ∈ S ，则有 lim x( j)∈ S
j→∞
定义 4.3，RM 中的子集 S 是开的(open)当且仅当它的补集 RM/S 是闭的。
定义 4.4，S 是有界的(bounded)当且仅当存在某个正数 K 使得对 S 中的每个元素 x 都
有
117
∑ xm ≤ K
G(x) = {y(x)}，那么 G : X → Y 是一个点到集的上半连续对应。
证明：
设序列 {x(
j ),
y(
j
)}∞ j =1
，且对每个
j
有
x(
j)∈
X
和
y(
源自文库
j )∈ G(x(
j )) ， {x(
j
)}∞ j =1
收敛于
x
，
{y
(
j
)}∞ j =1
收敛于
y
。
118
( ) 由 y 的连续性知 y = y x 故 y ∈ G(x)
博弈论目前发展的情况是这样的：已经证明在非常一般的情况下，纳什均衡是存在 的，这是一个好的结果；但是，在许多情形，模型的纳什均衡解不是唯一的，这被称为 纳什均衡的多重性问题。
纳什在 1950 年代证明了纳什均衡的存在性定理，为非合作博弈打下了重要基础。 纳什的工作不仅解决了存在性问题，而且还为其后的博弈论研究提供了一整套方法论工 具，即运用不动点定理(fixed point theorem)这一强有力的数学工具进行博弈论数学分析， 这对后来的博弈论甚至数理经济学的发展产生了很大的影响。纳什均衡的多重性问题至 今仍是困扰博弈论学者的一个主要问题。为了攻克这一问题，博弈论专家已经做出了许 多贡献，如聚点均衡、相关均衡，子博弈精炼纳什均衡，颤抖手均衡，序贯均衡等概念 的提出。但不幸的是，这类努力还未使得多重均衡问题完全得到解决，许多博弈论专家 正在这一领域进行着不懈的工作。
个序列 {x(
j ),
y(
)}j
∞ j =1
，如果对于每个
j
有
x(
j)∈
X
和
y(
j ) ∈ G(x(
j)) ，而且序列{x(
)}j
∞ j =1
收
敛于某个点
x
∈
X
，又序列 {y(
)}j
∞ j =1
收敛于某个点
y
∈Y
，则有
y ∈ G(x)
定理 4.2，对应 G : X → Y 是上半连续的当且仅当集合 {(x, y) x ∈ X , y ∈ G(x)}是集合
自身的证明要用到 Brouwer 不动点定理。我们在这里不打算给出这两个不动点定理的证
明，因为这类证明只是一种纯数学过程，但我们将给出纳什存在性定理的一种证明，因
为了解存在性定理的证明过程有助于我们更好地理解纳什均衡。
为了解读角谷静夫不动点定理，我们先来准备一下一些有关的数学概念。
对于任一有限集 M，我们用 RM 表示形如 x = (xm )m∈M 的所有向量组成的集合，其中
对 M 中每一个 m，第 m 个分量 xm 是实数域 R 的一个元素。为方便计，我们也可将 RM 等价地理解为 M 到 R 上的所有函数组成的集合，这时 RM 中 x 的 m 分量 xm 也可被记为
x(m) 。
令 S 是 RM 中的一个子集，我们有如下定义： 定义 4.1 S 是凸的(Convex)当且仅当对任意的 x ∈ R M , y ∈ R M 及满足 0 ≤ λ ≤ 1的 λ ，
件下式(4.1)存在解，即不动点是较为广泛地存在的。
譬如，图 4.1 表明不动点是曲线 f (⋅)与 45o 线的交点。当函数 f (x) 定义在 x ∈ [0,1]区 间上且因变量 y = f (x)的值域也为 [0,1]区间时，如果 f (x) 是连续的，则必然存在不动点。
f (x)
1
x*
f(x)
于是 G 是上半连续的。 下面，我们将不动点概念扩充到对应的情形。
定义 4.7，一个对应 F： S → S 的一个不动点是 S 中任一满足 x ∈ F (x) 的 x 。
角谷静夫得出如下被广泛应用的一个重要定理。
定理 4.4 （角谷不动点定理）令 S 是一个有限维向量空间中任一非空有界闭凸子集。
设 F：S → S 是任一上半连续的点到集对应，且对 S 中每个 x, F (x) 都是 S 的一个非
m∈M
定义 4.5，一个点到集合的“对应”(correspondence) G : X → Y 是任何一个规定了对
X 中的每个点 x ， G(x)是与 x 相对应的 Y 中的一个子集。
如果 X 和 Y 都是度量空间，则 X 和 Y 上的收敛和极限概念已经定义，这时有：
定义 4.6 ，一个对应 G:X→Y 是上半连续的(upper—hemicontinuous)，当且仅当对每
j→∞
j→∞
显然有 lim x( j)∈ X j→∞
故
lim j>∞
Zj
∈
A ，所以
A
为
X
×Y
中一闭子集。
充分性。假设 A 为 X × Y 上的一个闭子集。
如果序列
{x(
j
),
y
(
j
)}∞ j =1
中每个
x(
j
)
和
y(
j
)
都有
x( j)∈ X ，
y( j)∈ G(x( j))
( ) 且
{x(
j
)}∞ j =1
有许多被称为伪科学的东西，它们之所以被人们认为是“伪科学”的原因就是它们 大肆谈论的东西并不存在或并未被证实其存在性。譬如，所谓的特异功能或“超灵学” 并未得到证实，而 UFO 研究迷们至今也未能拿出一件存在球外生命的证据，所以，特 异功能学或“超灵学”或“不明飞行物学”实际上都可被归入伪科学。除了存在性之外， 概念事物的唯一性也是数学家们所关心的问题。从纯理论的兴趣上看，数学家们更多地 是从审美的角度上看待概念的唯一性，但从波普尔的证伪主义哲学看，模型均衡解的唯 一性关系到模型的预测功能，从而是科学理论应基本具有的特征。我们在第二章中曾指 出，理论的预测功能是判别理论的科学性的准绳，而在第三章中，我们提出用纳什均衡 作为模型的预测结果。按照这样的逻辑，一个自然的推论就是：模型能否具有科学意义 取决于纳什均衡的唯一性。因为倘若纳什均衡不是唯一的，那么就难以根据模型对即将 出现的结果加以预测，这种不确定性对于科学理论来说是不存在的。再加上前面谈到的 存在性问题，我们可以这样说，模型能否具有科学意义取决于纳什均衡的存在性和唯一 性，因为这正是科学理论所具有的基本性质。
4.1.2 纳什存在性定理及其证明
下面，我们来证明纳什存在性定理，该定理最早由纳什得出，这里的证明由 Myerson(1991)给出[5]。
定理 4.5 (Nash , 1950)，任何一个战略式表述的有限博弈都至少存在一个混合博弈纳
什均衡。
证明：令 Γ 是任—战略式表述有限博弈，即
Γ = {S1 Sn ;u1 , un }
( ) f x* = x* 。即 f (x) 至少存在一个不动点[1]。
有意思的是，Brouwer 不动点定理存在很强的几何直观[2]，但其数学证明却十分艰 深，需要动用代数拓扑这类就是职业数学家也感到望而生畏的超级抽象数学工具[3]。
在此，我们不给出 Brouwer 不动点定理的证明。
直接用来证明纳什存在性定理的不动点定理还不是 Brouwer 不动点定理，而是角谷
只要 x ∈ S 和 y ∈ S ，则有
λx + (1 − λ )y ∈ S
这里， x = (xm )m∈M , y = (ym )m∈M , λx + (1 − λ )y = (λxm + (1 − λ )ym ), m ∈ M
{ 定义
4.2，S
是闭的(Closed)当且仅当对每个收敛的序列
x( j)
一般地，我们可以将所有的方程都写为如下形式：
y(x) = 0
(4.1)
在式(4.1)两端加上一个 x ，则变为 y(x) + x = x 。
令 f (x) = y(x) + x 则有
f (x) = x
所以，一般地，方程求解的问题本质上是寻找变换的不动点问题。
对于这样一种非常一般地的问题，数学家们感到十分高兴的是居然在不太严格的条
45o
0
x*
x
1
图 4.1 [0,1]区间上的自变换函数的不动点
116
那么，这种现象到底具有多大的一般性意义呢？
数学家 Brouwer 在很久以前就注意到这一现象，他得出了如下的一般性定理，即著
名的 Brouwer 不动点定理。
定理 4.1(Brouwer……)
设 f (x) 是定义在集合 X 上的实函数，且 f (x)∈ Χ ， ∀x ∈ Χ 。 如果 f (x) 是连续的， Χ 为一非空的有界凸闭集，则至少存在一个 x* ∈ X 使
收敛于
x
和
{y(
j
)}∞ j =1
收敛于
y ，则 Z j
= (x( j), y( j))收敛于
x, y
。
( ) ( ) 由 A 的闭性知 x, y ∈ A ，即 y ∈ G x
故 G 为上半连续。 证毕！
上半连续性是我们熟知的连续函数概念的一种推广，而函数的连续性比上半连续性
要强一些，于是有 定理 4.3，如果 y : X → Y 是一个从 X 到 Y 的连续函数，且对 X 中的每一个 X 都有
本章将给出纳什均衡的存在性定理和讨论存在多重均衡情况下的均衡选择问题。
115
4.1 纳什均衡的存在性定理
自从纳什(1950)首先给出存在性定理及其证明之后，许多学者又相继提出了不同表 述下的存在性定理和不同的证明方法。这里，我们介绍 Myerson(1991)给出的存在性定 理和证明。
4.1.1 纳什均衡与不动点定理
n
显然，∑ = ∏ ∑i 是一个有限维向量空间的一个非空有界闭凸子集(注意 Γ 是有限博 i =1
弈，即局中人数和每个 Si 中的元素个数都是有限数)[6]。
任给σ ∈ ∑ 和任一局中人 i，令
Ri (σ −i ) = arg maxVi (σ i ,σ −i ) σ i∈∑i
静夫(Kakutani)不动点定理，而后者的证明只是前者的一个相对简单的运用。
我们所以要引用角谷静夫不动点定理，是因为在纳什均衡存在性证明中所遇到的反
应函数一般是多个因变量函数，即所谓对应(correspondence)，而角谷静夫不动点定理正
好描述的是对应的一种性质。角谷静夫不动点定理是 Brouwer 不动点定理的推广，但其
对于数学家来说，一个数学概念的存在性与唯一性是特别需要加以关注的。这是因 为，从形式逻辑角度看，如果某个事物并不存在，那么关于这个杜撰中的事物所给出的 任何陈述或判断都可认为是正确的或错误的，因为对于不存在的事物来说，任何关于它 的陈述或判断都不可能加以证伪。所以，倘若某个概念所对应的事物并不存在。那么， 关于这个概念所给出的研究结论都必然不存在被证伪的可能。因而根据波普尔的证伪主 义观点，这样的研究不具备科学上的意义。所以，我们在对任何新提出来的数学概念加 以系统研究之前，首先需要弄清楚所研究的对象事物是否存在。
所有的存在性定理证明都采用了不动点定理，这是因为，纳什均衡的概念在数学上
就是一个不动点的概念。在给出存在性定理及其证明之前，我们先来说明不动点的概念
和给出不动点定理。
什么是“不动点”呢？考虑一个方程 f (x) = x ，其中 x 为方程的解。我们将 f (⋅)视 为一种“变换”，即 f (⋅)是将 x 对应为 y = f (x)的变换，其中 x 和 y 分别是属于集合 X 和 Y 的两个元素，x ∈ Χ ， y ∈Y 。如果 X = Y ，则方程 f (x) = x 的几何意义就是：变换 f (⋅)将 x 变为自己，即 x 在 f (⋅)变换下是不变的，故称 f (x) = x 的解为变换 f (⋅)的不动点。
X × Y 中的一个闭子集。
证明：必要性。记集合 A = {(x, y) x ∈ X , y ∈ G(x)}⊂ X ×Y .
设 Z j = (x( j), y( j))为 A 中一收敛序列，其中 x( j)∈ X ,
y( j)∈ g(X ( j)), j = 1, , ∞
由上半连续性知 lim y( j)∈ G lim x( j)
( ) 空凸子集。那么，S 中一定存在某个 x 使得 x ∈ F x (Kakutani, 1941)
角谷不动点定理说的是对于有限维向量空间中任一非空有界闭凸子集上的上半连
续自对应来说，在一定条件下都至少存在一个不动点。角谷不动点定理及其它的一系列
相关定理的证明还可参见 Burger(1963), Franklin (1980)和 Border(1985)。数理经济学家 Scarf(1973)曾通过一种计算不动点的算法而提供了一个构造性证明，其中不动点的存在 性是由这个定理所保证的。关于角谷不动点定理的推广，可参见 Glicksberg (1952)。
}∞ j =1
，如果对每个
j都
有 x( j) ∈ S ，则有 lim x( j)∈ S
j→∞
定义 4.3，RM 中的子集 S 是开的(open)当且仅当它的补集 RM/S 是闭的。
定义 4.4，S 是有界的(bounded)当且仅当存在某个正数 K 使得对 S 中的每个元素 x 都
有
117
∑ xm ≤ K
G(x) = {y(x)}，那么 G : X → Y 是一个点到集的上半连续对应。
证明：
设序列 {x(
j ),
y(
j
)}∞ j =1
，且对每个
j
有
x(
j)∈
X
和
y(
源自文库
j )∈ G(x(
j )) ， {x(
j
)}∞ j =1
收敛于
x
，
{y
(
j
)}∞ j =1
收敛于
y
。
118
( ) 由 y 的连续性知 y = y x 故 y ∈ G(x)
博弈论目前发展的情况是这样的：已经证明在非常一般的情况下，纳什均衡是存在 的，这是一个好的结果；但是，在许多情形，模型的纳什均衡解不是唯一的，这被称为 纳什均衡的多重性问题。
纳什在 1950 年代证明了纳什均衡的存在性定理，为非合作博弈打下了重要基础。 纳什的工作不仅解决了存在性问题，而且还为其后的博弈论研究提供了一整套方法论工 具，即运用不动点定理(fixed point theorem)这一强有力的数学工具进行博弈论数学分析， 这对后来的博弈论甚至数理经济学的发展产生了很大的影响。纳什均衡的多重性问题至 今仍是困扰博弈论学者的一个主要问题。为了攻克这一问题，博弈论专家已经做出了许 多贡献，如聚点均衡、相关均衡，子博弈精炼纳什均衡，颤抖手均衡，序贯均衡等概念 的提出。但不幸的是，这类努力还未使得多重均衡问题完全得到解决，许多博弈论专家 正在这一领域进行着不懈的工作。
个序列 {x(
j ),
y(
)}j
∞ j =1
，如果对于每个
j
有
x(
j)∈
X
和
y(
j ) ∈ G(x(
j)) ，而且序列{x(
)}j
∞ j =1
收
敛于某个点
x
∈
X
，又序列 {y(
)}j
∞ j =1
收敛于某个点
y
∈Y
，则有
y ∈ G(x)
定理 4.2，对应 G : X → Y 是上半连续的当且仅当集合 {(x, y) x ∈ X , y ∈ G(x)}是集合
自身的证明要用到 Brouwer 不动点定理。我们在这里不打算给出这两个不动点定理的证
明，因为这类证明只是一种纯数学过程，但我们将给出纳什存在性定理的一种证明，因
为了解存在性定理的证明过程有助于我们更好地理解纳什均衡。
为了解读角谷静夫不动点定理，我们先来准备一下一些有关的数学概念。
对于任一有限集 M，我们用 RM 表示形如 x = (xm )m∈M 的所有向量组成的集合，其中
对 M 中每一个 m，第 m 个分量 xm 是实数域 R 的一个元素。为方便计，我们也可将 RM 等价地理解为 M 到 R 上的所有函数组成的集合，这时 RM 中 x 的 m 分量 xm 也可被记为
x(m) 。
令 S 是 RM 中的一个子集，我们有如下定义： 定义 4.1 S 是凸的(Convex)当且仅当对任意的 x ∈ R M , y ∈ R M 及满足 0 ≤ λ ≤ 1的 λ ，
件下式(4.1)存在解，即不动点是较为广泛地存在的。
譬如，图 4.1 表明不动点是曲线 f (⋅)与 45o 线的交点。当函数 f (x) 定义在 x ∈ [0,1]区 间上且因变量 y = f (x)的值域也为 [0,1]区间时，如果 f (x) 是连续的，则必然存在不动点。
f (x)
1
x*
f(x)
于是 G 是上半连续的。 下面，我们将不动点概念扩充到对应的情形。
定义 4.7，一个对应 F： S → S 的一个不动点是 S 中任一满足 x ∈ F (x) 的 x 。
角谷静夫得出如下被广泛应用的一个重要定理。
定理 4.4 （角谷不动点定理）令 S 是一个有限维向量空间中任一非空有界闭凸子集。
设 F：S → S 是任一上半连续的点到集对应，且对 S 中每个 x, F (x) 都是 S 的一个非
m∈M
定义 4.5，一个点到集合的“对应”(correspondence) G : X → Y 是任何一个规定了对
X 中的每个点 x ， G(x)是与 x 相对应的 Y 中的一个子集。
如果 X 和 Y 都是度量空间，则 X 和 Y 上的收敛和极限概念已经定义，这时有：
定义 4.6 ，一个对应 G:X→Y 是上半连续的(upper—hemicontinuous)，当且仅当对每
j→∞
j→∞
显然有 lim x( j)∈ X j→∞
故
lim j>∞
Zj
∈
A ，所以
A
为
X
×Y
中一闭子集。
充分性。假设 A 为 X × Y 上的一个闭子集。
如果序列
{x(
j
),
y
(
j
)}∞ j =1
中每个
x(
j
)
和
y(
j
)
都有
x( j)∈ X ，
y( j)∈ G(x( j))
( ) 且
{x(
j
)}∞ j =1
有许多被称为伪科学的东西，它们之所以被人们认为是“伪科学”的原因就是它们 大肆谈论的东西并不存在或并未被证实其存在性。譬如，所谓的特异功能或“超灵学” 并未得到证实，而 UFO 研究迷们至今也未能拿出一件存在球外生命的证据，所以，特 异功能学或“超灵学”或“不明飞行物学”实际上都可被归入伪科学。除了存在性之外， 概念事物的唯一性也是数学家们所关心的问题。从纯理论的兴趣上看，数学家们更多地 是从审美的角度上看待概念的唯一性，但从波普尔的证伪主义哲学看，模型均衡解的唯 一性关系到模型的预测功能，从而是科学理论应基本具有的特征。我们在第二章中曾指 出，理论的预测功能是判别理论的科学性的准绳，而在第三章中，我们提出用纳什均衡 作为模型的预测结果。按照这样的逻辑，一个自然的推论就是：模型能否具有科学意义 取决于纳什均衡的唯一性。因为倘若纳什均衡不是唯一的，那么就难以根据模型对即将 出现的结果加以预测，这种不确定性对于科学理论来说是不存在的。再加上前面谈到的 存在性问题，我们可以这样说，模型能否具有科学意义取决于纳什均衡的存在性和唯一 性，因为这正是科学理论所具有的基本性质。
4.1.2 纳什存在性定理及其证明
下面，我们来证明纳什存在性定理，该定理最早由纳什得出，这里的证明由 Myerson(1991)给出[5]。
定理 4.5 (Nash , 1950)，任何一个战略式表述的有限博弈都至少存在一个混合博弈纳
什均衡。
证明：令 Γ 是任—战略式表述有限博弈，即
Γ = {S1 Sn ;u1 , un }
( ) f x* = x* 。即 f (x) 至少存在一个不动点[1]。
有意思的是，Brouwer 不动点定理存在很强的几何直观[2]，但其数学证明却十分艰 深，需要动用代数拓扑这类就是职业数学家也感到望而生畏的超级抽象数学工具[3]。
在此，我们不给出 Brouwer 不动点定理的证明。
直接用来证明纳什存在性定理的不动点定理还不是 Brouwer 不动点定理，而是角谷
只要 x ∈ S 和 y ∈ S ，则有
λx + (1 − λ )y ∈ S
这里， x = (xm )m∈M , y = (ym )m∈M , λx + (1 − λ )y = (λxm + (1 − λ )ym ), m ∈ M
{ 定义
4.2，S
是闭的(Closed)当且仅当对每个收敛的序列
x( j)
一般地，我们可以将所有的方程都写为如下形式：
y(x) = 0
(4.1)
在式(4.1)两端加上一个 x ，则变为 y(x) + x = x 。
令 f (x) = y(x) + x 则有
f (x) = x
所以，一般地，方程求解的问题本质上是寻找变换的不动点问题。
对于这样一种非常一般地的问题，数学家们感到十分高兴的是居然在不太严格的条
45o
0
x*
x
1
图 4.1 [0,1]区间上的自变换函数的不动点
116
那么，这种现象到底具有多大的一般性意义呢？
数学家 Brouwer 在很久以前就注意到这一现象，他得出了如下的一般性定理，即著
名的 Brouwer 不动点定理。
定理 4.1(Brouwer……)
设 f (x) 是定义在集合 X 上的实函数，且 f (x)∈ Χ ， ∀x ∈ Χ 。 如果 f (x) 是连续的， Χ 为一非空的有界凸闭集，则至少存在一个 x* ∈ X 使
收敛于
x
和
{y(
j
)}∞ j =1
收敛于
y ，则 Z j
= (x( j), y( j))收敛于
x, y
。
( ) ( ) 由 A 的闭性知 x, y ∈ A ，即 y ∈ G x
故 G 为上半连续。 证毕！
上半连续性是我们熟知的连续函数概念的一种推广，而函数的连续性比上半连续性
要强一些，于是有 定理 4.3，如果 y : X → Y 是一个从 X 到 Y 的连续函数，且对 X 中的每一个 X 都有
本章将给出纳什均衡的存在性定理和讨论存在多重均衡情况下的均衡选择问题。
115
4.1 纳什均衡的存在性定理
自从纳什(1950)首先给出存在性定理及其证明之后，许多学者又相继提出了不同表 述下的存在性定理和不同的证明方法。这里，我们介绍 Myerson(1991)给出的存在性定 理和证明。
4.1.1 纳什均衡与不动点定理
n
显然，∑ = ∏ ∑i 是一个有限维向量空间的一个非空有界闭凸子集(注意 Γ 是有限博 i =1
弈，即局中人数和每个 Si 中的元素个数都是有限数)[6]。
任给σ ∈ ∑ 和任一局中人 i，令
Ri (σ −i ) = arg maxVi (σ i ,σ −i ) σ i∈∑i
静夫(Kakutani)不动点定理，而后者的证明只是前者的一个相对简单的运用。
我们所以要引用角谷静夫不动点定理，是因为在纳什均衡存在性证明中所遇到的反
应函数一般是多个因变量函数，即所谓对应(correspondence)，而角谷静夫不动点定理正
好描述的是对应的一种性质。角谷静夫不动点定理是 Brouwer 不动点定理的推广，但其