第四章__纳什均衡的存在性与多重性36.pdfVIP

第四章 纳什均衡的存在性与多重性 对于数学家来说，一个数学概念的存在性与唯一性是特别需要加以关注的。这是因 为，从形式逻辑角度看，如果某个事物并不存在，那么关于这个杜撰中的事物所给出的 任何陈述或判断都可认为是正确的或错误的，因为对于不存在的事物来说，任何关于它 的陈述或判断都不可能加以证伪。所以，倘若某个概念所对应的事物并不存在。那么， 关于这个概念所给出的研究结论都必然不存在被证伪的可能。因而根据波普尔的证伪主 义观点，这样的研究不具备科学上的意义。所以，我们在对任何新提出来的数学概念加 以系统研究之前，首先需要弄清楚所研究的对象事物是否存在。 有许多被称为伪科学的东西，它们之所以被人们认为是“伪科学”的原因就是它们 大肆谈论的东西并不存在或并未被证实其存在性。譬如，所谓的特异功能或“超灵学” 并未得到证实，而 UFO 研究迷们至今也未能拿出一件存在球外生命的证据，所以，特 异功能学或“超灵学”或“不明飞行物学”实际上都可被归入伪科学。除了存在性之外， 概念事物的唯一性也是数学家们所关心的问题。从纯理论的兴趣上看，数学家们更多地 是从审美的角度上看待概念的唯一性，但从波普尔的证伪主义哲学看，模型均衡解的唯 一性关系到模型的预测功能，从而是科学理论应基本具有的特征。我们在第二章中曾指 出，理论的预测功能是判别理论的科学性的准绳，而在第三章中，我们提出用纳什均衡 作为模型的预测结果。按照这样的逻辑，一个自然的推论就是：模型能否具有科学意义 取决于纳什均衡的唯一性。因为倘若纳什均衡不是唯一的，那么就难以根据模型对即将 出现的结果加以预测，这种不确定性对于科学理论来说是不存在的。再加上前面谈到的 存在性问题，我们可以这样说，模型能否具有科学意义取决于纳什均衡的存在性和唯一 性，因为这正是科学理论所具有的基本性质。 博弈论目前发展的情况是这样的：已经证明在非常一般的情况下，纳什均衡是存在 的，这是一个好的结果；但是，在许多情形，模型的纳什均衡解不是唯一的，这被称为 纳什均衡的多重性问题。 纳什在 1950 年代证明了纳什均衡的存在性定理，为非合作博弈打下了重要基础。 纳什的工作不仅解决了存在性问题，而且还为其后的博弈论研究提供了一整套方法论工 具，即运用不动点定理(fixed point theorem)这一强有力的数学工具进行博弈论数学分析， 这对后来的博弈论甚至数理经济学的发展产生了很大的影响。纳什均衡的多重性问题至 今仍是困扰博弈论学者的一个主要问题。为了攻克这一问题，博弈论专家已经做出了许 多贡献，如聚点均衡、相关均衡，子博弈精炼纳什均衡，颤抖手均衡，序贯均衡等概念 的提出。但不幸的是，这类努力还未使得多重均衡问题完全得到解决，许多博弈论专家 正在这一领域进行着不懈的工作。 本章将给出纳什均衡的存在性定理和讨论存在多重均衡情况下的均衡选择问题。 115 4.1 纳什均衡的存在性定理 自从纳什(1950)首先给出存在性定理及其证明之后，许多学者又相继提出了不同表 述下的存在性定理和不同的证明方法。这里，我们介绍 Myerson(1991)给出的存在性定 理和证明。 4.1.1 纳什均衡与不动点定理 所有的存在性定理证明都采用了不动点定理，这是因为，纳什均衡的概念在数学上 就是一个不动点的概念。在给出存在性定理及其证明之前，我们先来说明不动点的概念 和给出不动点定理。 什么是“不动点”呢？考虑一个方程 ，其中 为方程的解。我们将 视 ( ) x () f x x f ⋅ 为一种“变换”，即 ()是将 对应为 ( )的变换，其中 和 分别是属于集合 和 f ⋅ x y f x x y X Y 的两个元素， ， 。如果 ，则方程 的几何意义就是：变换 将