1704424028
现在
1704424029
1704424030
1704424031
1704424032
1704424033
由于C＞a，b＞d并且q≠p，由此可以得到E（I，q）＞E（q，q），因此策略I是稳定的。
1704424034
1704424035
总之，H是一个ESS，或者D是一个ESS，或者H和D都是ESS，或者存在一个混合ESS。
1704424036
1704424037
演化与博弈论 [:1704421375]
1704424038
三、Bishop-Canning定理
1704424039
1704424040
Bishop-Cannings（1978）证明了下述定理：
1704424041
1704424042
如果策略I是一个支撑（support）〔1〕纯策略a，b，c……的混合ESS，那么就有E（a，I）＝E（b，I）＝…E（I，I）。
1704424043
1704424044
证明：假设纯策略a在策略I的支撑中，并且假设
1704424045
1704424046
E（a，I）＜E（I，I）
1704424047
1704424048
我们把策略I用P（a）＋（1－P）（X）的形式来表达，其中X是一个不同于策略a但也被策略I所采用的纯策略或者混合策略。
1704424049
1704424050
那么就有
1704424051
1704424052
E（I，I）＝PE（a，I）＋（1－P）E（X，I）
1704424053
1704424054
＜PE（I，I）＋（1－P）E（X，I）
1704424055
1704424056
因此 E（I，I）＜E（X，I）
1704424057
1704424058
但是，如果I是一个ESS，那么上式就不可能成立。所以E（a，I）＜E（I，I）是不可能的。也是由于I是一个ESS，那么E（a，I）≤E（I，I）。
1704424059
1704424060
因此，对于支撑I的任何一个纯策略a，都有
1704424061
1704424062
E（a，I）＝E（I，I）
1704424063
1704424064
定理得证。
1704424065
1704424066
如果策略集是连续的，并且作为混合ESS的策略I由概率密度函数p（x）给出，那么该定理认为对于任一满足p（m）≠0的策略m，E（m，I）是一个常数。
1704424067
1704424068
这一定理为演化博弈论建立了一个公认的事实，那就是如果一个混合策略I是对某个策略J的最优反应，那么对于任何一个支撑I的策略a，E（a，J）是一个常数。这一点在寻找混合ESS的候选策略时具有实用价值。当然，即使已经找到了这样一个候选策略，也仍然需要检验其稳定性，即对所有策略a检验不等式E（I，a）＞E（a，a）是否成立，其中a是纯策略或混合策略。
1704424069
1704424070
演化与博弈论 [:1704421376]
1704424071
四、动态性和稳定性
1704424072
1704424073
1704424074
假设参与竞争的个体可以采取一系列策略i，j……令pi和pi′分别为在连续的两个代际之间的个体采取策略i的频率。如果令Wi表示个体采取策略i的适应度，并且令为种群的平均适应度，那么
1704424075
1704424076
1704424077