角谷不动点定理

角谷不动点定理 (Kakutani Fixed Point Theorem)

角谷不动点定理（Kakutani Fixed Point Theorem）是不动点定理理论中里程碑式的推广，由日本数学家角谷静夫（Shizuo Kakutani）于1941年提出。它将经典的布劳威尔不动点定理（Brouwer Fixed Point Theorem）从单值连续函数扩展至集值映射（set-valued mapping，又称对应 correspondence）的情形。角谷定理断言：在满足特定正则性条件时，从一个紧凸集映射到其自身的上半连续且取值为非空凸集的对应必存在不动点。该定理是博弈论中纳什均衡存在性证明的数学基石，也是一般均衡理论和不动点定理理论的核心工具。

从布劳威尔到角谷：集值映射的引入

布劳威尔不动点定理处理的是连续函数 $f: K \to K$，其中 $K \subset \mathbb{R}^n$ 为紧凸集。该定理保证存在 $x^* \in K$ 使得 $f(x^*) = x^*$。然而，许多经济学问题天然涉及集值映射而非单值函数。例如，消费者的需求在价格恰好使预算线与无差异曲线重合时可能表现为一整条线段而非唯一点；企业的成本最小化问题在里昂惕夫生产函数下也可能产生非唯一的投入组合。

角谷静夫敏锐地意识到，布劳威尔定理可以通过"凸化"过程推广到集值映射。其核心洞见是：如果对应在每个点的像都是凸集，则可以通过对单值选择的"平滑化"，将布劳威尔定理的逻辑迁移至集值框架。这一推广的意义不仅在于技术上的优雅，更在于它为经济理论中大量涉及多值最优选择的存在性问题提供了统一的数学语言。

形式化定义与定理陈述

令 $K \subset \mathbb{R}^n$ 为非空紧凸集。考虑集值映射 $\Phi: K \twoheadrightarrow K$（即对于每个 $x \in K$，$\Phi(x)$ 是 $K$ 的一个子集）。角谷不动点定理要求 $\Phi$ 满足以下条件：

1. 非空性（Non-emptiness）： 对于每个 $x \in K$，$\Phi(x) \neq \varnothing$。
2. 凸值（Convex-valuedness）： 对于每个 $x \in K$，$\Phi(x)$ 是凸集。
3. 上半连续（Upper Hemicontinuity）： 若 $x_n \to x$，$y_n \in \Phi(x_n)$，且 $y_n \to y$，则 $y \in \Phi(x)$。换言之，$\Phi$ 的图（graph）在 $K \times K$ 中是闭集。

在上述条件下，角谷不动点定理断言：存在 $x^* \in K$ 使得 $x^* \in \Phi(x^*)$。即 $x^*$ 是其自身的一个像，称为不动点。

定理（角谷，1941）： 设 $K \subset \mathbb{R}^n$ 为非空紧凸集，$\Phi: K \twoheadrightarrow K$ 是满足非空性、凸值和上半连续条件的集值映射。则存在至少一个不动点 $x^* \in K$ 满足 $x^* \in \Phi(x^*)$。

上半连续性与闭图性质

上半连续性（upper hemicontinuity，UHC）是角谷定理中最需细致理解的条件。直观而言，UHC 要求对应 $\Phi$ 不发生"爆炸性扩张"：当 $x$ 连续变化时，$\Phi(x)$ 不会突然膨胀。在紧集上，UHC 等价于 $\Phi$ 具有闭图（closed graph）——这是许多经济学教材中更常见的表述。

闭图条件的形式化定义为：集合 $\{(x, y) \in K \times K : y \in \Phi(x)\}$ 在 $K \times K$ 中是闭的（相对于乘积拓扑）。等价地，对于任意序列 $(x_n, y_n)$ 满足 $y_n \in \Phi(x_n)$，若 $(x_n, y_n) \to (x, y)$，则 $y \in \Phi(x)$。

闭图条件有两个重要推论：其一，它排除了对应在极限点处的"跳跃式扩张"；其二，它确保 $\Phi$ 在紧集上的像具有闭性，从而便于应用紧集上的极值定理。同时需注意，UHC 并不要求 $\Phi(x)$ 是下连续的——即允许在某些点处对应出现"收缩跳跃"，这在经济学中常见（如需求对应在临界价格处的突然跳跃）。

凸值假设的经济学意义

凸值假设在经济模型中具有深层意义。在博弈论中，它对应于玩家可以随机化其策略（混合策略）从而将纯策略集的凸包作为策略空间，并保证最优反应对应是凸值的。在一般均衡理论中，凸值性质通常源于消费者偏好的凸性假设和生产技术的凸性假设。

从技术角度看，若 $\Phi(x)$ 不是凸集，则不动点可能不存在。考虑一维紧区间 $K = [0, 1]$ 上的对应 $\Phi(x) = \{0, 1\}$（非凸），虽满足 UHC 但显然不存在满足 $x^* \in \{0, 1\}$ 的几何不动点——除非 $x^*$ 恰好等于 0 或 1。凸性保证了对应的"连通性"，使得不动点论证中的连续性推理得以成立。

证明思路：从布劳威尔定理出发

角谷定理的标准证明策略是利用布劳威尔定理作为"黑箱"。核心步骤为：首先构造一个逼近原对应的单值连续函数序列，对每个单值函数应用布劳威尔定理获得不动点，然后取极限并动用上半连续性将极限不动点"传递"回原对应。

具体而言，对于给定的 $\varepsilon > 0$，可以构造一个连续函数 $f_\varepsilon: K \to K$ 使得对每个 $x$，$f_\varepsilon(x)$ 与 $\Phi(x)$ 的距离不超过 $\varepsilon$。这一构造依赖于凸值假设——通过对 $\Phi(x)$ 中点的适当凸组合来"平滑"选择。对每个 $f_\varepsilon$，布劳威尔定理给出不动点 $x_\varepsilon$。取子列 $x_{\varepsilon_n}$ 收敛于某个 $x^*$，利用闭图性质可证 $x^* \in \Phi(x^*)$。

另一种等价方法借助角谷定理的原始证明，即利用斯佩纳引理（Sperner's Lemma）对单纯形上的对应进行组合论证。角谷的原始论文（1941年发表于《Duke Mathematical Journal》）即采用此路径。

在博弈论中的应用：纳什均衡的存在性

角谷不动点定理最著名的经济学应用是纳什均衡（Nash Equilibrium）存在性的证明。1951年，约翰·纳什在证明有限博弈的混合策略纳什均衡存在时，巧妙地构造了最优反应对应（Best Response Correspondence）：

对于有限博弈，令 $K = \prod_i \Delta(S_i)$ 为所有玩家的混合策略剖面构成的空间（各玩家的单纯形的笛卡尔积），这是一个非空紧凸集。定义对应 $\Phi: K \twoheadrightarrow K$ 为最优反应对应：

其中 $\text{BR}_i(\sigma_{-i}) = \{\tau_i \in \Delta(S_i) : u_i(\tau_i, \sigma_{-i}) \ge u_i(\tau_i', \sigma_{-i}) \ \forall \tau_i'\}$。

关键验证：

• 非空性：紧集上的连续函数（支付函数对自身策略是线性的）必达到最大值，故 $\text{BR}_i$ 非空。
• 凸值：若两个策略都是最优反应，则其任何凸组合（概率混合）也是最优反应——因为期望支付对自身策略是线性的。
• 上半连续性：若 $(\sigma^n, \tau^n) \to (\sigma, \tau)$ 且 $\tau^n \in \Phi(\sigma^n)$，则利用支付函数的连续性和最大值定理（Berge's Maximum Theorem）可证 $\tau \in \Phi(\sigma)$。

由角谷定理，存在 $\sigma^* \in \Phi(\sigma^*)$，即每个玩家的策略都是对其余玩家策略的最优反应——这正是纳什均衡的定义。

在一般均衡理论中的应用

角谷定理也是阿罗-德布鲁一般均衡模型（Arrow-Debreu General Equilibrium）中均衡价格存在性证明的数学核心。在标准论证中，需构造一个从价格单纯形到自身的超额需求对应（excess demand correspondence），通过角谷定理获得使超额需求为零的价格向量。

超额需求对应在某些价格下可能出现多值（如零价格导致某些商品的超额需求无上界），且需求的集值性质需凸值假设以保证对应良好定义。角谷定理处理集值映射的能力恰为这一关键步骤提供了数学基础。吉拉德·德布鲁在其诺贝尔奖获奖工作中系统性地运用了角谷定理，奠定了数理经济学的公理化框架。

角谷定理与布劳威尔定理的关系

二者存在双向的深刻联系。角谷定理蕴含布劳威尔定理：若 $f$ 是连续单值函数，定义 $\Phi(x) = \{f(x)\}$，则 $\Phi$ 满足角谷定理的全部条件（单点集自动为凸集），角谷不动点即退化为布劳威尔不动点。另一方面，角谷定理的经典证明正是通过逼近和极限论证，将结论归结于布劳威尔定理。

因此，角谷定理并非独立于布劳威尔定理的新定理，而是在"凸值对应"这一概念框架下的严格推广。这一推广的战略意义在于：它使不动点方法得以从"可微优化"（如拉格朗日乘数法）无法覆盖的集值最优解场景中继续发挥威力，为现代经济学的均衡分析提供了一般性的存在性保证。

角谷不动点定理代表了20世纪数学与经济学深度互动的典范——抽象拓扑学的工具在面对"多值最优选择"这一普遍经济现象时，展现出了惊人的解释力和适用范围。