1704417753
1704417754
1704417755
1704417756
对每一个其他参与者尚未被剔除的战略空间中可能形成的战略组合（s1，…，si-1，si+1，…，sn）都成立。由于是均衡战略中第一个被剔除的战略，均衡战略中其他参与人的战略尚未被剔除，于是作为（1.1.1）的一个特例，下式成立
1704417757
1704417758
1704417759
1704417760
1704417761
1704417762
1704417763
1704417764
但是（1.1.2）和公式（NE）是矛盾的：根据（NE），必须是针对（）的最优反应，那么就不可能存在一个战略s”i严格优于。这一矛盾证明了原命题成立。
1704417765
1704417766
1704417767
证明过命题B，我们事实上已经证明了命题A的一部分：所有需要证明的只是如果重复剔除严格劣战略剔除了除之外的所有战略，该战略是纳什均衡，根据命题B，任何其他的纳什均衡必定同样未被剔除，这已证明了在该博弈中均衡的惟一性。我们假设G是有限博弈。
1704417768
1704417769
1704417770
论证同样使用反证法。假定通过重复剔除严格劣战略剔除掉除外的所有战略，但该战略不是纳什均衡。那么一定有某一参与者i在他的战略集Si中存在使公式（NE）不成立，但si又必须是在剔除过程某一阶段的严格劣战略。上述两点的正规表述为：在Si中存在存在si，使
1704417771
1704417772
1704417773
1704417774
1704417775
并且在参与者i的战略集中存在s’i，在剔除程序中的某一阶段
1704417776
1704417777
ui（s1，…，si-1，si，si+1，…，sn）＜ui（s1，…，si-1，s’i，si+l，…，sn）. （1.1.4）
1704417778
1704417779
1704417780
对所有其他参与者在该阶段剩余战略可能的战略组合（s1，…，si-1，si+1，…，sn）都成立。由于其他参与者的战略（）始终未被剔除，于是下式作为（1.1.4）的一个特例成立
1704417781
1704417782
1704417783
1704417784
1704417785
1704417786
1704417787
1704417788
1704417789
如果（即是si的严格占优战略），则1.1.5和1.1.3相互矛盾，这时证明结束。如果s’i≠S”i，由于s’i在最终被剔除掉了，则一定有其他战略s”i在其后严格优于s’i。这样，在不等式（1.1.4）和（1.1.5）中，分别用s’i和s”i换下si和s’i后仍然成立。再一次，如果则证明结束，否则，还可构建两个相似的不等式。由于是Si中惟一未被剔除的战略，重复这一论证过程（在一个有限的博弈中）最终一定能完成证明。
1704417790
1704417791
1704417792
1704417793
1704417794
博弈论基础 [:1704417380]
1704417795
博弈论基础 1.2 应用举例
1704417796
1704417797
博弈论基础 [:1704417381]
1704417798
1.2.A 古诺的双头垄断模型
1704417799
1704417800
正如前节已提到的，古诺（1838）早在一个多世纪之前就已提出了纳什所定义的均衡（但只是在特定的双头垄断模型中）。古诺的研究现在已理所当然地成为博弈论的经典文献之一，同时也是产业组织理论的重要里程碑。这里，我们只讨论古诺模型的一种非常简单的情况，并在以后每章中都会涉及到这一模型的不同变型。本节我们将通过模型说明：（a）如何把对一个问题的非正式描述转化为一个博弈的标准式表述；（b）如何通过计算解出博弈的纳什均衡；（c）重复剔除严格劣战略的步骤。
1704417801
1704417802
令q1、q2分别表述企业1、2生产的同质产品的产量，市场中该产品的总供给Q=q1+q2，令P（Q）=a-Q表示市场出清时的价格（更为精确一些的表述为：Q＜a时，P（Q）=a-Q；Q＞a时，P（Q）=0）。设企业i生产qi的总成本Ci（qi）=cqi，即企业不存在固定成本，且生产每单位产品的边际成本为常数c，这里我们假定c＜a。根据古诺的假定，两个企业同时进行产量决策[6]。