角谷静夫不动点定理

角谷静夫不动点定理（Kakutani fixed-point theorem）是拓扑学与数理经济学中一个极为重要的不动点定理，由日本数学家角谷静夫（Shizuo Kakutani）于1941年提出。该定理将布劳威尔不动点定理（Brouwer fixed-point theorem）从单值连续函数的语境推广到了多值对应（correspondence）的语境，使得人们可以在映射的像不再唯一确定的情形下仍然保证不动点的存在性。这一深刻突破为博弈论和一般均衡理论奠定了坚实的数学基础，直接促成了纳什均衡存在性定理与阿罗-德布鲁一般均衡存在性定理的严格证明。

定理的正式陈述

设 $S \subseteq \mathbb{R}^n$ 为非空紧凸集，$\varphi: S \to 2^S$ 为一个上半连续对应（upper hemicontinuous correspondence），且对于任意 $x \in S$，$\varphi(x)$ 是非空闭凸集。则存在一个点 $x^* \in S$，使得 $x^* \in \varphi(x^*)$。这样的点 $x^*$ 称为对应 $\varphi$ 的一个不动点。

与布劳威尔不动点定理相比，角谷定理的突破在于它允许映射的像是一个集合而非单一的向量。这一推广使得该定理能够自然地处理那些最佳反应不是唯一的情形——这正是博弈论中纳什均衡证明的核心场景。在某种意义上，角谷定理可以理解为："如果一种对应关系在凸紧集上保持足够的连续性（上半连续），且每一处的取值都是非空闭凸的，那么至少存在一个点落在其自身的像中。"

上半连续对应的直观理解

上半连续对应是对连续函数概念的自然推广。粗略地说，对应 $\varphi$ 在点 $x_0$ 处上半连续，当且仅当对于任意收敛到 $x_0$ 的序列 $\{x_n\}$，$\varphi(x_n)$ 不会"突然变大"或"跳出去"。更正式地：若 $x_n \to x_0$，且对于任意 $y_n \in \varphi(x_n)$ 满足 $y_n \to y_0$，则有 $y_0 \in \varphi(x_0)$。这一性质在经济学中被称为闭图性质（closed graph property）：对于紧值对应而言，上半连续与对应之图在乘积空间中的闭性等价。直观上，这意味着当自变量连续变化时，对应值的集合不会发生"发散"或"爆炸"式的突变。

与布劳威尔定理的关系

角谷定理是布劳威尔定理在多值情形的推广。布劳威尔定理断言：任意从有限维欧氏空间中的非空紧凸集到自身的连续函数必有一个不动点。角谷将这一结论从单值函数扩展到了多值对应，其证明的核心思想是单值化逼近：通过构造一系列连续函数来逐次逼近上半连续对应，对每个逼近函数应用布劳威尔定理得到不动点，再利用紧性提取收敛子列，最终取极限得到原对应的不动点。反过来，角谷定理也可以通过类似的逼近方法从布劳威尔定理推导而来，因此二者在逻辑上是等价的。

在经济学中的核心应用

纳什均衡的存在性

纳什（John Nash）在其1950年的博士论文中，利用角谷不动点定理证明了任意有限策略型博弈至少存在一个混合策略纳什均衡。这是博弈论诞生以来最具奠基性的结论之一。核心思路如下：将每个玩家的混合策略空间视为概率单纯形（这是一个非空紧凸集），将全体玩家的策略空间定义为各单纯形的笛卡尔积（仍然是紧凸集）。定义最佳反应对应 $\varphi(\sigma) = \prod_i \text{BR}_i(\sigma_{-i})$，其中 $\text{BR}_i(\sigma_{-i})$ 是玩家 $i$ 在对其他玩家混合策略组合 $\sigma_{-i}$ 下的最优混合策略集合。由于每个 $\text{BR}_i$ 是非空闭凸集且满足上半连续性，总对应 $\varphi$ 满足角谷定理的全部条件，于是存在不动点 $\sigma^* \in \varphi(\sigma^*)$，这正是博弈的纳什均衡。若没有角谷定理，纳什就需要额外假设最佳反应唯一，这将严重限制定理的适用范围。

阿罗-德布鲁一般均衡

在阿罗-德布鲁（Arrow-Debreu）一般均衡模型中，角谷定理被用于证明竞争均衡价格的存在性。通过构造超额需求对应（excess demand correspondence），将消费者的效用最大化与生产者的利润最大化行为整合到一个多值映射中，再证明该对应满足角谷定理的条件，从而存在一组价格向量使得所有市场的超额需求为零（确切地说，使得零向量属于超额需求对应的像）。阿罗和德布鲁于1954年发表的这一成果奠定了新古典一般均衡理论的严格数学基础，二人因此分别于1972年和1983年获得诺贝尔经济学奖。

推广与变体

角谷不动点定理此后被多次推广。吉库斯定理（Glicksberg's theorem, 1952）将其从欧氏空间推广到局部凸豪斯多夫拓扑向量空间中的紧凸集；范-吉库斯定理（Fan-Glicksberg theorem）进一步弱化了空间条件；布劳德不动点定理（Browder, 1968）则将其与单调算子理论结合，发展出对上半连续对应的更一般处理。此外，角谷-范定理在变分不等式与互补问题中也扮演着关键角色。这些推广共同构成了非线性分析与数理经济学中不动点理论的坚实基石。

历史意义

角谷静夫不动点定理的提出恰逢博弈论与数理经济学的萌芽时期。它提供了一个恰到好处的数学工具，使得纳什和阿罗-德布鲁能够严格证明各自理论中的存在性结论，而无需依赖不切实际的唯一性假设。1994年纳什获得诺贝尔经济学奖时，角谷定理在纳什均衡证明中的核心作用被广泛提及。时至今日，该定理已成为高级微观经济学、博弈论与数理经济学研究生的必修内容，是将抽象拓扑学与现实经济问题连接起来的重要桥梁。