角谷不动点定理

定理
(重定向自角谷定點定理

数学分析中,角谷不动点定理是一个适用于集值函数的不动点定理。它为在定义在欧几里德空间中的集上的集值函数提供具有不动点充分条件,也即一个可以映射到包含自身的集合的点。角谷不动点定理是布劳威尔不动点定理的泛化。布劳威尔不动点定理是拓扑学的基础定理,它证明了定义在欧几里得空间的紧致,凸子集上的连续函数具有不动点。角谷静夫将此定理泛化到了集值函数。

此定理1941年由角谷静夫提出[1],曾被纳什用于描述纳什均衡[2]。之后,此定理在博弈论经济学中得到了广泛应用[3]

叙述

编辑

角谷不动点定理的叙述如下[4]

 为欧几里得空间  中的非空紧凸集,令  上的一个具有下列特征的集值函数:

  •   有闭图;
  • 对于任意 非空凸集。

  具有不动点。

定义

编辑

集值函数

集值函数是一个从 映到 幂集的函数 ,使任意 都为非空集。这类函数有时也被称为对应,即函数的每个输入都将返回多个输出。因此,每个定义域的元素都对应一个由一个或多个值域元素构成的子集。

闭图

一个集值函数 有闭图,如果集合 积空间 中是一个子集。即:给定任意序列  ,并满足 ,则有 

不动点

 为一个集值函数。如果 ,则 为一个不动点。

举例

编辑

有无穷多个不动点的函数

编辑

例如:函数 满足所有角谷不动点定理的条件,并存在无穷多个不动点。

有一个不动点的函数

编辑

例如:一个函数 

满足所有角谷不动点定理的条件,并存在唯一一个不动点 

不满足凸集的函数

编辑

例如:一个函数 

 处不满足凸集定义,但满足其他角谷不动点定理的条件。这个函数没有不动点。

不满足闭合图的函数

编辑

例如:一个函数 

不存在不动点,因为函数不满足闭合图。考虑序列  :当 

其他叙述方式

编辑

角谷静夫的原始论文使用了上半连续性的概念叙述此定理:

S为欧几里得空间 上的一个非空,紧致,凸集的子集。令 为上半连续的集值函数,且 在所有 上非空,闭合,且为凸。则函数 有不动点。

这一叙述与之前的叙述完全等价。

我们可以通过集值函数的闭图像定理来说明这种等价关系:对紧致的豪斯多夫空间 ,一个集值函数 有闭合图的充分必要条件是: 是上半连续的,且对所有 , 是闭集。因为所有欧几里得空间都为豪斯多夫空间,且 在这种叙述方式中必须为封闭值,所以根据闭图像定理,两种叙述方式等价。

应用

编辑

博弈论

编辑

角谷不动点定理可以用来证明零和博弈中的极小化极大算法

纳什利用角谷不动点定理证明了博弈论中的一个重要结论。这一定理暗示,在任何混合策略的多人有限游戏中都必定存在纳什均衡。纳什的贡献使他获得了诺贝尔经济学奖

  • 基本集S是博弈中各个参与者选择的混合策略的多元组集合。假设每个参与者有k种可能的行为,那么每个参与者的策略就是一个相加之和为1的k元概率,也即每个参与者的策略空间是 空间中的单纯形。而S是所有这些单纯形的笛卡儿积,并且S是一个非空,紧致和凸型的 的子集。
  • 函数 将每个多元组都与另一个多元组联系起来,即每个参与者的策略都是她对于其他参与者策略的最佳应对。由于最佳应对可以不唯一, 是一个集值函数。对任意x 都是非空的,因为一定存在至少一个最佳应对策略。 也是凸的,因为任意两个最佳应对的组合仍然是最佳应对。 也可以被证明是闭合图。
  • 纳什均衡被定义为 的不动点,即:策略多元组集合中,每个参与者的策略都是其他参与者策略的最佳应对。角谷不动点定理保证了不动点的存在。

证明框架

编辑

S是单维区间的情况

编辑

角谷不动点定理的证明对于定义在闭区间上的实数集值函数最为简单。假设 。假设 为在闭区间[0,1]上的集值函数,且满足角谷不动点定理的条件。

  • 创建一个序列,使序列处于[0,1]的具有相邻点的子区间中,并向相反方向移动

 为一个具有下列特点的序列:

1   2  
3   4  
5   6  

闭集 形成了一个由 的子区间组成的序列。条件2使这些子区间的范围逐渐减小,而条件3-6 令子区间的边界向相反方向移动。

这样一个序列可以按如下方式构建:

 。令 分别为 上的任一点。

假设我们已经选取了序列的第k个元素为 且满足以上6个条件。令: 。一定有 ,因为 是凸集。

如果存在 并且有 ,我们可以选取:

  
  
  
  

否则,必定存在 使得 。我们选取:

  
  
  
  
  • 寻找子区间的极限值

根据吉洪诺夫定理,紧致集合的笛卡儿积 也是紧致的。由于序列 在这个集合里,所以根据波尔查诺-魏尔斯特拉斯定理,这个序列一定存在收敛的子序列。假设这个收敛子序列的极限是 。由于 是闭合图,一定有:

  
  
  
  

由于条件2,有 ,所以:

 

有: ,且  

  • 证明子区间的极限值为不动点

如果 ,则有 。因为  ,所以x 的一个不动点。

如果 ,则构造一条p^*q^*间的直线:

 

由于 是凸集,所以由 可以推导出 。所以x 的一个不动点。

S是n维单纯形的情况

编辑

S的维度大于1时,最简单的情况是n维单纯形。n维单纯形相当于一个高维的三角形。证明单纯形的角谷不动点定理与区间上的证明极其相似。复杂度仅在于证明的第一步:如何切割空间为子空间。

  • 类似于一维的情况,我们使用重心细分方法将单纯形切割为子单纯形
  • 为确保子单纯形序列的边界向相反方向运动,需要用到斯佩纳引理以保证子单纯形的存在。

任意S的情况

编辑

对n维单纯形的证明可以用来证明任意紧致,凸型S情况下的角谷不动点定理。单纯形在这种情况下不再有直线的边界,而是有曲线边界。这会用到形变收缩

无穷维度的泛化

编辑

角谷不动点定理可以泛化为无穷维度局部凸拓扑向量空间[5][6]

上半连续性定义:

一个集值函数 是上半连续的,如果对于任何开集 ,集合 也是X上的开集[7]

角谷映射定义:

X,Y拓扑向量空间 为集值函数。如果Y为凸,且 对所有 都是上半连续的,非空,紧致的凸集,则 称为角谷映射。

角谷-格里科斯伯格-樊定理的叙述为:

S豪斯多夫局部凸拓扑向量空间的非空,紧致凸子集。令 为角谷映射。则 存在不动点。

对应的单值函数定理是吉洪诺夫不动点定理

参考资料

编辑
  1. ^ Kakutani, Shizuo. A generalization of Brouwer's fixed point theorem. Duke Mathematical Journal. 1941, 8 (3): 457–459. doi:10.1215/S0012-7094-41-00838-4. 
  2. ^ Nash, J.F., Jr. Equilibrium Points in N-Person Games. Proc. Natl. Acad. Sci. U.S.A. 1950, 36 (1): 48–49. PMID 16588946. doi:10.1073/pnas.36.1.48. 
  3. ^ Border, Kim C. Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press. 1989. ISBN 0-521-38808-2. 
  4. ^ Osborne, Martin J.; Rubinstein, Ariel. A Course in Game Theory. Cambridge, MA: MIT. 1994. 
  5. ^ Glicksberg, I.L. A Further Generalization of the Kakutani Fixed Point Theorem, with Application to Nash Equilibrium. Proceedings of the American Mathematical Society. 1952, 3 (1): 170–174. doi:10.2307/2032478. 
  6. ^ Fan, Ky. Fixed-point and Minimax Theorems in Locally Convex Topological Linear Spaces. Proc Natl Acad Sci U S A. 1952, 38 (2): 121–126. doi:10.1073/pnas.38.2.121. 
  7. ^ Dugundji, James; Andrzej Granas. Fixed Point Theory. Springer. 2003: Chapter II, Section 5.8. ISBN 978-0-387-00173-9.