博弈论 101 第 40 讲（英文原声）：A Game with No Equilibria

视频封面

视频元信息

课程来源：匹兹堡大学博弈论 101（Game Theory 101），对应教材 Lesson 4.1
视频主题：无限策略空间（Infinite Strategy Spaces）与无纳什均衡的博弈实例
讲师：William Spaniel
语言：英文（本笔记统一使用简体中文整理）

内容摘要（TL;DR）

本节是教材新增的 Lesson 4.1，主题为无限策略空间。核心要点有三：一是无限策略空间无法用矩阵表示，且传统求解同时博弈的方法失效；二是纳什定理只保证有限博弈存在均衡，对无限博弈不适用；三是给出一个经典反例——双方各选严格大于零的数、收益为两数乘积的博弈，该博弈不存在任何纳什均衡。后续课程将讲中位选民定理与第二价格拍卖。

一、课程背景与本节定位 [00:01]

讲师 William Spaniel 开场，说明本节属于《Game Theory 101: The Complete Textbook》的 Lesson 4.1。
讲师坦言：上一讲曾说过那会是课程的最后一讲，但每年夏天他都会修订教材，这个夏天决定新增一整课内容，于是有了本系列补充视频。
本节及后续几讲都属于新增内容，本节聚焦无限策略空间。

考点提示：本节是「有限博弈 → 无限博弈」的过渡节点，理解它才能理解后续的中位选民定理、第二价格拍卖等内容。

理解：课程结构上，这属于从「可枚举策略」向「连续策略」的范式转换，是博弈论从离散走向连续的关键一步。

二、从有限策略到无限策略：为什么变难了 [00:41]

2.1 此前所有博弈都是有限策略

到目前为止，本课程研究的所有博弈都只有有限数量的纯策略（finite number of pure strategies）。
有限策略之所以简单，原因很直接：策略数量少，处理起来更容易。

2.2 现实中的博弈常常是无限的

现实里有些博弈拥有无限数量的纯策略。
因此，掌握处理这类博弈的思路很有必要。

2.3 旧方法为何失效

之前用来求解同时行动博弈（simultaneous move games）的方法，在无限策略空间上不再适用。
主要带来两个大问题（见下节）。

思考：有限与无限的本质区别在于「可枚举性」。有限策略可以逐个列出、逐个比较；无限策略无法穷举，只能借助函数、导数、连续性等数学工具来分析。

三、两大核心难题 [01:12]

3.1 难题一：无法画出收益矩阵

根本原因：玩家可选策略有无限多个，世界上没有足够的纸把矩阵全部画出来。
讲师特别强调一个极易混淆的概念：

博弈定义矩阵，而不是矩阵定义博弈。（games define a matrix, not the other way around）

也就是说：矩阵不是博弈本身，矩阵只是博弈的一种表示方式（representation）。
回顾囚徒困境：第一讲时用了整整两页幻灯片描述情境，最后才压缩成一个简单的 2×2 矩阵。矩阵让求解更方便、更友好，但那两页幻灯片上的内容才是博弈本身。
博弈的本质定义只有四要素：
1. 一组策略（a set of strategies）
2. 时序（some timing）
3. 玩家（some players）
4. 收益（some payoffs）

易错点：不要把「矩阵」等同于「博弈」。矩阵只是表示工具，没有矩阵博弈依然存在。这是理解无限策略空间的前提。

理解：这类似于「地图不是疆域」。矩阵是博弈的一种投影，当策略空间无限时，投影工具失效，但博弈本体依然完整。

3.2 难题二：纳什定理不再适用

回顾纳什定理（Nash's theorem）：所有有限博弈至少存在一个纳什均衡。
- 这里的「有限」指的是玩家数量有限且策略数量有限。
但本节讨论的是无限策略空间，因此：

纳什定理对无限策略空间什么也没告诉我们。

结论：无限策略空间的博弈可能没有纳什均衡，也可能有，需要具体分析。

推导：纳什定理的证明依赖不动点定理在紧致凸集上的应用。当策略空间无限且不满足紧致性等条件时，均衡存在性无法保证。这正是无限博弈的「新」与「妙」之处。

四、核心案例：一个没有均衡的博弈 [02:48]

4.1 博弈设定

玩家 1：选择一个数 x，要求 x > 0（严格大于零，不能等于零）。
玩家 2：选择一个数 y，要求 y > 0（同样严格大于零）。
收益：两名玩家的收益都是两个数的乘积 x × y。

这是一个对称博弈，双方收益函数相同，策略空间都是正实数开区间 (0, +∞)。

4.2 证明该博弈无纳什均衡

证明思路：纳什均衡是两方互为最优反应（mutual best responses）的策略组合。只要证明不存在任何互为最优反应的组合，即可证明无均衡。

关键步骤（只需分析玩家 1 即可）：

假设玩家 1 选择某个 x 值，且该值能在均衡中出现。
那么该 x 必须满足：不存在更优的偏离（profitable deviation）。
但事实上，x + 1 就是一个更优偏离：
- 因为 (x + 1) × y > x × y（y > 0，故乘以 y 后不等式方向不变）。
因此，玩家 1 对玩家 2 的任何策略都不存在最优反应。
只要玩家 1 没有最优反应，就不可能存在互为最优反应，也就不可能有纳什均衡。

考点：这是一个经典的「无均衡」反例。 证明的关键技巧是——只需证明一方无最优反应，即可否定整个均衡的存在，无需再分析另一方的选择。

理解：为什么 x+1 一定可行？因为策略空间是开区间 (0, +∞)，x+1 仍然严格大于零，始终是合法策略。若策略空间是闭区间 [0, +∞) 或加上上界，结论可能不同。

思考：这个博弈的直觉是——收益随自己的选择单调递增，所以「永远想选更大的数」，最优反应不存在（趋于无穷但取不到）。这类似于「没有最大自然数」的逻辑。

4.3 补充说明

讲师指出：同样逻辑对玩家 2 也成立，玩家 2 同样没有最优反应。
但没有必要再分析玩家 2，因为玩家 1 无最优反应已足以否定均衡存在。

注意：这是一个「偷懒但正确」的论证技巧——否定互为最优反应只需打破其中一方即可。

五、本节小结与后续预告 [04:35]

本节展示了一个完全没有均衡的博弈实例。
但讲师强调：大多数无限策略空间的博弈是有均衡的。
后续几讲将介绍两个非常重要的无限策略空间博弈：
1. 中位选民定理（Median Voter Theorem）
2. 第二价格拍卖（Second Price Auction，即维克里拍卖）

拓展【拓展】：

中位选民定理：在单峰偏好、一维政策空间的选举中，候选人会向中间选民靠拢，均衡位置是中位数。这是无限策略空间（政策位置连续）博弈的经典应用。
第二价格拍卖：出价最高者获胜但支付第二高出价。其占优策略是「如实出价」，是机制设计领域的奠基性成果，维克里因此获诺贝尔经济学奖。
这两个例子都说明：无限策略空间并非「无均衡」的代名词，关键在于收益函数的形状（如凹性、连续性）。

六、关键概念速查

概念	含义	本节要点
无限策略空间	玩家可选纯策略有无限多个	无法画矩阵，旧方法失效
矩阵 vs 博弈	矩阵只是博弈的表示	博弈定义矩阵，非反之
纳什定理	所有有限博弈至少有一个纳什均衡	对无限博弈不适用
互为最优反应	双方策略互为对方最佳回应	纳什均衡的核心条件
更优偏离	单方面改变策略能获得更高收益	证明无均衡的关键工具

七、容易踩坑的点

误以为「无限博弈一定无均衡」 —— 错。本节例子只是特例，多数无限博弈有均衡。

把矩阵当成博弈本身 —— 矩阵只是表示工具，博弈的本质是策略、时序、玩家、收益四要素。

忘记纳什定理的适用条件 —— 定理只保证「有限」博弈，无限博弈需另行分析。

证明无均衡时试图分析双方 —— 只要证明一方无最优反应即可，无需面面俱到。

忽略策略空间的开闭性 —— 本例中 x > 0 是严格不等式，若改为 x ≥ 0 或加边界，结论会变化。