纳什定理

纳什定理 (Nash's Theorem)

纳什定理是博弈论的基石性结论，由约翰·纳什于1950年在其普林斯顿博士论文中证明。定理陈述：每一个具有有限个参与者和有限个纯策略的博弈，至少存在一个纳什均衡——可能是纯策略均衡，也可能是混合策略均衡。这一定理从根本上回答了非合作博弈均衡的存在性问题，使纳什均衡概念从启发式描述转化为可被可靠使用的理论工具。

形式化陈述

设一个标准式博弈 $G = (N, S, u)$，其中 $N = \{1, \dots, n\}$ 为有限参与者集合，$S_i = \{s_{i1}, \dots, s_{im_i}\}$ 为参与者 $i$ 的有限纯策略集，$u_i: S \to \mathbb{R}$ 为参与者 $i$ 的支付函数，$S = \prod_{i \in N} S_i$ 为纯策略组合空间。令 $\Sigma_i = \Delta(S_i)$ 为参与者 $i$ 的混合策略单纯形，即 $S_i$ 上的所有概率分布，则 $\Sigma = \prod_{i \in N} \Sigma_i$ 为混合策略组合空间。纳什定理断言：存在 $\sigma^* \in \Sigma$，使得对所有 $i \in N$ 和所有 $s_i \in S_i$，

证明思路

纳什的原始证明依赖于角谷静夫不动点定理，其构造过程如下。对任意混合策略组合 $\sigma$，定义参与者 $i$ 对纯策略 $s_i$ 的"超额收益"为：

据此构造映射 $f: \Sigma \to \Sigma$，其中对每个 $i$、$s_i$：

该映射是连续的，且 $\Sigma$ 是紧凸集。角谷不动点定理保证 $f$ 存在不动点 $\sigma^*$。在此基础上可验证 $\sigma^*$ 满足均衡条件：对所有 $i$ 和 $s_i$，$g_{i, s_i}(\sigma^*) = 0$，否则 $\sigma^*$ 会将更多权重分配给超额收益为正的策略，与不动点条件矛盾。该不动点即为混合策略纳什均衡。

理论意义

纳什定理在三个层面具有深远影响。第一，它为非合作博弈提供了坚实的理论地基：没有存在性保证，任何基于纳什均衡的预测和比较静态分析都将悬空。第二，混合策略的概念因此获得正当地位——即使纯策略均衡不存在（如匹配便士博弈），混合均衡必然存在，这解释了许多看似随机化的策略行为。第三，定理将博弈论与不动点理论深度联结，后续的一般均衡理论中阿罗-德布鲁存在性证明与纳什定理共享深刻的数学结构。

推广与局限

纳什定理要求参与者集和纯策略集均有限，这一条件排除了无限策略空间（如古诺博弈中的连续产量选择）和连续类型空间（如拍卖理论中的估值分布）。然而，在更一般的条件下，通过引入适当的拓扑结构和拟凹性条件，利用范-不动点定理或德布鲁-格利克斯伯格-范定理可将存在性推广至连续策略的博弈。此外，纳什定理仅保证纳什均衡存在，而均衡可能不唯一（如协调博弈），其中的均衡精炼问题催生了子博弈完美均衡、颤抖手均衡等概念的发展。