概念地图
纳什均衡
没有人能靠单方面改变自己的策略变好的组合。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
古诺 · 十九世纪三十年代 · 双寡头产量模型
在具体的产量竞争里写下了后来被称作均衡的那个条件：各自的产量对对方的产量是最优的。他反对的是把价格当作外生给定；代价是这一步只在那个具体模型里，没有一般概念。
奠基
纳什 · 1950 年前后 · 均衡的定义与存在性
把古诺那个条件抽象成任意有限博弈上的解概念，并用不动点定理证明混合策略下必存在。这一步反对的是「只有零和博弈可解」；代价是均衡通常不唯一，存在性与预测力被拉开。
转向
谢林 · 1960 年 · 多均衡下的选择
指出当均衡不唯一时，起作用的是共同的显著性与承诺，而不是更精细的计算。这是对「均衡即预测」这一读法最持久的反例。
反例
博纳诺 · 开放教材关于纳什均衡的章节
本课对象。教材把存在性与唯一性分得清楚，本章把「存在不等于预测」这一步单独拎出来，因为它是这个概念被误用得最多的地方。
本课对象
机制02
单方面不改变
纳什 1950 年前后给出的解概念只有一个条件，本章要交付的是它的三条否定。先看名字：纳什均衡。注意定义里那两个限定——「别人不动」与「单方面」。它不说这个组合怎么形成，不说各方如何达成一致，也不说它是不是对大家都好；这三条否定就是本章要你带走的东西，也是这个概念被误用得最多的三处。
机制一个策略组合通过让每个人的单方面偏离都无利可图成为一个自洽点。
可迁移性测试
换到交通路网：一种流量分配若使每个司机换路都不会更快，它就是自洽的——但这不说明它是总通行时间最短的分配。不同构的地方在于司机可以逐日调整并观察结果，而单次博弈里没有这个调整过程。
机制03
自洽不是最优
均衡与集体结果的好坏是两件事。塔克在上世纪五十年代给这条分离配了一个二人故事，此后它就成了标准答案：囚徒困境。它在本课论证里只有一个用途——当反例：唯一的解被另一个可行结果帕累托改进了，而这不构成对均衡定义的反驳——定义里本来就没有任何关于集体的条件。
机制自洽条件通过只约束单方面偏离而对集体结果的好坏不作任何保证。
可迁移性测试
换到抗生素处方：每位医生在别人照旧的前提下多开一点都不吃亏，但整体耐药性上升让所有人变差。不同构的地方在于耐药性是累积的物理过程，而囚徒困境的收益表在每一局都相同。
推导04
从最优反应到均衡，以及它不蕴含什么
这一段要证的是：均衡是一组最优反应的交点，而这个交点的存在与它是否唯一、是否好、是否会被达到，是四件互不蕴含的事。
每个人的最优反应对应
定理前提。它要求 非空，第 1 章的完全性前提在这里被用上。
策略集有限（或紧凸且收益连续拟凹）
定理前提。存在性定理需要它；去掉它，均衡可能不存在。
均衡定义为满足 对所有 成立的组合
定理前提，也就是定义本身。
推导 · 0 / 4
裂缝05
本章命题的边界
争议地形06
本书主张
纳什均衡是非合作博弈的基本解概念：它给出所有自洽的策略组合，且在混合策略下必然存在。
另一种看法
演化与学习一线主张：均衡应当被看作某个调整过程的稳定点，而不是靠推理一步到位的结果；据此得到的稳定集合有时是纳什均衡的真子集（演化稳定策略），有时包含纳什均衡之外的循环。
分歧扎在
分歧扎在「均衡是推理的产物还是过程的产物」这条上。本书把它当作理性推理的自洽条件，对手把它当作重复调整的极限，因此对不唯一的处理方式完全不同。
什么证据能裁决
能裁决它的是重复对局的轨迹：在存在多个均衡的博弈上反复对局并记录路径，看它收敛到哪一个、是否收敛。若收敛点由初始条件与调整规则决定而与显著性无关，过程解释更强；若稳定落在显著的那个上，推理解释更强。
目前的证据把天平压向「两条路都在起作用」：显著性影响首轮选择，调整过程决定长期收敛。还差的是把两者分开的实验设计——多数实验里显著性与初始条件是混淆的。
边界与反例07
把「结果落在均衡上」的建模承诺写成可检验的规格
要检验的建模承诺是：某个现实互动的结果会落在纳什均衡上，即各方信念相互正确。
去掉哪条假设：各方对彼此策略的信念正确
均衡的定义要求每个人在正确预期他人策略的前提下最优；信念不正确时组合可以不是均衡。
该情形下的具体反例：协调博弈中双方各自选了自己偏好的均衡策略，结果落在非均衡组合上
两个人都在按某个均衡行动，合起来却不是均衡。
这条承诺对应的可观测量：真实支付的实验中，策略组合的频率分布
收益必须由真实支付固定，不能事后拟合。
什么观测算它不成立：非均衡组合的频率超过事前登记的阈值，或在多均衡间无规律跳动
阈值按「多大偏离会让均衡失去预测意义」事前定死。
事前登记的失败条件：非均衡频率超阈值，或收敛路径依赖于与模型无关的显著性线索
两者都按承诺不成立处理。
推导 · 0 / 3
接口08
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「找到均衡就知道会发生什么」——一条把解概念当预测的判断。本章要动的正是它。
本章对你已有的结构做的是 (a) 替换「均衡即预测」这条结论，还是 (b) 新开一个关于自洽条件的槽位？
慢变量登记两个慢变量：你手上的分析里有几个是多均衡的，以及其中有几个补了选点依据。三天后先看第二个。
小结09
本章小结
01均衡只约束单方面偏离，对集体结果的好坏不作任何承诺。
02「均衡等价于最优反应对应的不动点」是定义改写，存在性是不动点定理的应用。
03存在、唯一、好、会被达到，是四件互不蕴含的事。
04纯策略上均衡可以不存在；存在性定理是在混合策略上成立的。
05收益若允许事后拟合，「结果落在均衡上」就不再承担观测风险。
提取练习 · 合上书，先自己答一遍。
?「均衡在混合策略下必存在」是 (a) 由已证定理得到的 还是 (b) 关于现实的建模承诺？
?囚徒困境说明的是 (a) 均衡定义有缺陷 还是 (b) 定义里本来就没有关于集体的条件？
受迫二选一10
B 标签辨识
「由角谷不动点定理，均衡必存在」这一步是什么？
二选一
受迫二选一11
C 裂缝定位
哪个情境下本章框架会给出自信而错误的答案？
二选一
读到这里，把它记为已读。