進化的安定戦略のソースを表示

{{Pathnavbox|
*{{Pathnav|[[生物学]]|[[数理生物学]]、[[行動生態学]]|[[進化ゲーム理論]]}}
*{{Pathnav|[[応用数学]]|[[ゲーム理論]]|[[進化ゲーム理論]]}}
}}
'''進化的安定戦略'''（しんかてきあんていせんりゃく、{{lang-en-short|evolutionarily stable strategy}}、'''ESS'''）は、[[進化生物学]]および[[ゲーム理論]]の重要な概念で、[[ジョン・メイナード＝スミス]]と[[ジョージ・プライス (科学者)|ジョージ・プライス]]によって1973年に提唱された<ref name="#1">[[#SP73|SP73]]</ref>。

これは、[[生物]]の母集団の取る、「侵略されない戦略」の概念を基礎としている。仮に[[突然変異]]で[[対立遺伝子]]が発生し、別の戦略を取って他の生物に働きかけようとしても、母集団を侵略することはできず、逆に[[自然淘汰]]で排除されてしまうような戦略である。メイナード＝スミスらはこの概念によってゲーム理論の有効性を広く示し、[[行動生態学]]、[[経済学]]、[[心理学]]などに影響を与えた。
== 概要 ==
具体例をもとに進化的安定性を説明する<ref name=":0">本節は[[#巌佐98|巌佐98]] p211-214を参照した。なお、[[#巌佐98|巌佐98]]がここで出している例は[[ジョン・メイナード＝スミス]]と[[ジョージ・プライス (科学者)|ジョージ・プライス]]の原論文（[[#SP73|SP73]]）から引用したものである。</ref>。動物が交尾相手や餌といった資源を同じ種の個体と争う場合、互いに殺し合うような闘争を避け、威嚇などの儀式的な闘争をする事で決着をつける事がある。
こうした儀式的闘争が発達した原因として、進化的安定性の概念が登場する以前は、「闘争の際に殺し合いを行なう種は絶滅してしまうので、儀式的闘争をする種だけが生き残った」といった[[群淘汰]]的な理由づけ<ref>[[#SP73|SP73]] p16</ref>がなされがちであった。

しかし自然選択の対象が個々の個体である事を考えると、群淘汰的な理由づけでは儀式的闘争が数多くの種で発達した事をうまく説明できない。また、実際の動物の闘争を観察すると、戦いがエスカレートして傷つけ合ったり殺し合ったりする事も珍しくない<ref name=":0" />事も前述した理由づけとは合致しない。

そこで、儀式的闘争のような現象を群淘汰に頼らず、生物進化の基本的な原則である「[[自然選択説|自然選択]]によって繁殖成功率が高い適応戦略が種に広がっていく」という事によって説明する為の枠組みが、本稿の主題である進化的安定性である。

話を簡単にするため、動物の戦略が「タカ戦略」と「ハト戦略」の２つのみからなる場合を考える。タカ戦略とは、闘争がエスカレートした場合に戦う戦略であり、ハト戦略は闘争がエスカレートした場合には逃げる戦略である。

もし同じ動物種に属する全ての個体が常にハト戦略を取るのであれば、儀式的なものであれ実際的なものであれ、闘争は生じないであろう。しかしこのような種に突然変異などによって生まれた、タカ戦略を取る個体が少しでも侵略してくれば、周囲にいるハト戦略の個体は全て逃げ出すわけだから、タカ戦略を持つ個体が圧倒的に有利となり、子孫を残す事で種にタカ戦略が広がる事となる。したがってハト戦略を取る個体だけからなる種は安定しない。

逆に全ての個体が常にタカ戦略を取るとすれば、闘争は常にエスカレートする。ここにハト戦略の個体が侵入してくると、他の個体が闘争により著しく疲弊している中、闘争から逃げているハト戦略の個体だけが有利となり、ハト戦略が種の中に広まっていく。したがってタカ戦略を取る個体だけからなる種もやはり安定しない。

こうして、ハト戦略の個体とタカ戦略の個体が混じり合った状態で種は安定する事になる。この状態では、闘争相手がハト戦略を取るかタカ戦略を取るかを見極める事が重要となる為、儀式的闘争が発達する事になる。

進化的安定性は、上で述べたような複数の戦略が入り混じった状態での安定性概念である。

=== 混合戦略 ===

前節で説明した例をはじめとして、生物による多くの駆け引きは、自身の利得を最大化しようとする個体の同士による一種のゲーム('''[[進化ゲーム]]''')とみなす事ができる為、生物の駆け引きを[[ゲーム理論]]により記述する事ができる。

進化的安定性の概念もゲーム理論の枠組みで記述でき、その定式化にはゲーム理論における混合戦略の概念が有用となる。

前節で説明した例を使って説明すると、闘争が必要になった時、各個体が取りうる選択肢として、｢タカ戦略｣と｢ハト戦略｣という二種類の戦略('''純粋戦略''')があった。しかし各個体はこれらの純粋戦略のうちひとつを常に取り続けるわけではなく、｢30%の確率でタカ戦略を取り、70%の確率でハト戦略を取る｣といった戦略をも取りうる。

'''混合戦略'''とは、このように個々の純粋戦略の上に確率を付与した戦略を指す。進化的安定性の概念は、この混合戦略の概念に対して定式化される。
=== 進化的安定性の直観的な定式化 ===

進化的安定性とは、何らかの混合戦略が集団の中で支配的になるための条件である。すなわち、混合戦略 ''σ'' が進化的に安定であるとは、直観的には、集団の中に戦略''σ''がすでに広まっている状況下において、 別の混合戦略''τ'' を取る個体が少数侵入してきたとしても、それが排除される事をいう。

より詳しく言うと、たとえ''σ'' に近い別の混合戦略 ''τ'' を取る個体群が集団に少数侵入してきたとしても、戦略''σ'' を取る個体と戦略''τ''を取る個体が2者間で戦った際、前者の個体の方がより高い利得が[[期待値|期待]]できるため、戦略''τ''を取る個体は[[自然選択]]により、いつしか集団から消えてしまう、という事である。

== ゲーム理論からの準備 ==

進化的安定性はゲーム理論の概念に基づいて定式化することができる。そこで本節では、必要なゲーム理論の概念を導入し、次節で進化的安定性を定式化する。

=== 利得関数 ===

==== 定義  ====
進化的安定性を定義するには、まず個々の個体の利得をゲーム理論的に定義する必要がある。ゲーム理論において利得はほかの個体とゲームを行ったときに得られる実数値として定義され、得られる利得は自分が取った戦略と対戦相手がとった戦略の結果として決まる。

すなわち、純粋戦略''i'' を取る個体''P'' が、純粋戦略 ''j'' を取る別の個体''Q''とゲームを行ったとき、個体''P''は'''利得'''と呼ばれる実数値

:<math>E(i,j)</math>

を獲得する。そして''i''、''j''に<math>E(i,j)</math>を対応させる関数''E''を個体''P''に関する'''利得関数'''と呼ぶ。


利得関数はゲームが始まる前の段階で、外界の状況等により事前に定まっており、個々の個体が変えることはできない。個々の個体にできるのは、与えられた利得関数から得られる利得を最大化するよう自身の戦略を選ぶことだけである。

==== 対称性  ====
進化的安定性を定義する際には、全ての個体に対して同一の利得関数が適用される事が前提となる。したがって純粋戦略''i'' を取る個体''P'' が、純粋戦略 ''j'' を取る別の個体''Q''と戦った時、個体''Q''が得る利得を

:<math>E'(i,j)</math>

とすると、

:<math>E'(i,j)=E(j,i)</math>

が任意の''i''、''j''に対して成立する事が要請される。利得関数がこのような性質を満たすゲームを'''対称なゲーム'''という。

==== 混合戦略の利得 ====

混合戦略を取る個体の利得は、純粋戦略に対する利得の期待値として定義される。すなわち、各個体が取りうる純粋戦略に{{math|''1'',..., ''n'' }}と番号をつけ、純粋戦略{{math|''i''}}を取る確率が{{mvar|p{{sub|i}}}}である混合戦略を<math>(p_i)_{i=1,\ldots,n}</math>と書く事にすると、個体''P'' 、''Q''がそれぞれ混合戦略<math>\sigma=(p_i)_{i=1,\ldots,n}</math>、<math>\xi=(q_i)_{i=1,\ldots,n}</math>を取る際の''P''の利得は、

:<math>E(\sigma,\tau)=\sum_{i,j}p_iq_jE(i,j)</math>

により定義される。

=== 進化ゲームの定式化 ===

進化的安定性を定義するためのゲーム（'''進化ゲーム'''）は以下のようなものである。なお、このゲームはゲーム理論の言葉で言えば「'''対象な2人[[標準型ゲーム|戦略型ゲーム]]'''」に相当する。

進化的安定性を定義するための進化ゲームでは、対戦する2個体''A''、''B''が選択肢として取りうる純粋戦略''1''、''2''、…、および利得関数{{mvar|E}}が「ゲームのルール」として事前に定まっている。そして''A''、''B''は以下の手順でゲームを行なう：
#''A''、''B''はそれぞれ、与えられた選択肢の中から１つの純粋戦略''i''、''j''を秘密裏に選ぶ
# ''A''、''B''は''i''、''j''を同時に公表する
# ''A''、''B''はそれぞれ利得<math>E(i,j)</math>、<math>E(j,i)</math>を得る。

''A''、''B''の目的は、自身の利得を最大化する事である。

前節でも述べたように、進化的安定性の文脈では全ての個体に対して同一の利得関数が適用される事が前提とされるため、上述したゲームにおいて''A''、''B''が得られる利得はそれぞれ<math>E(i,j)</math>、<math>E(j,i)</math>と対称な形になっている。

上述した進化ゲームは、ゲームに参加する2個体''A''、''B''取りうる純粋戦略をそれぞれ行、列として''A''、''B''の利得を[[行列]]の形にまとめた'''利得表'''により特徴づけられる。

==== 具体例 ====

下に上げたのは、前述したタカ戦略、ハト戦略からなる進化ゲーム（[[チキンゲーム|タカハトゲーム]]）の利得表である<ref>[[#巌佐98|巌佐98]] p212</ref>：

{| class="wikitable"
|-
| 
! タカ
! ハト
|-
! タカ
| <math>\left({V-C \over 2},{V-C \over 2}\right)</math>
| <math>(V,0)</math>
|-
! ハト
| <math>(0,V)</math>
| <math>\left({V\over 2},{V\over 2}\right)</math>
|}
ここで{{Mvar|V}}は2個体が争っている資源（例えば餌）を得た時に得られる利得を表し、{{Mvar|C}}は闘争によって怪我を追う事による損失を表す。

また利得表で縦軸は個体''A''の取る戦略、横軸は個体''B''の戦略であり、表内の (○, △)は、A、Bの利得がそれぞれ○、△である事を意味する。例えば表の左下のマスにかかれている{{Math|(0,''V'')}}は個体''A''がハト戦略、個体''B''がタカ戦略を取った時、''A''、''B''の利得がそれぞれ{{Mvar|0}}、{{Mvar|V}}である事を意味する。表の左上と右下で値が2で割られているのは、2個体で資源を分け合った為である。


=== 混合戦略の線形結合 ===

最後に、進化的安定性を定義する際に記法を簡単にするため、混合戦略の「線形結合」を定義する。

以下、話を簡単にするため、各個体が取れる純粋戦略の種類が有限個である事を仮定するが、無限個の場合にも自然に定義を拡張できる。

まず、記号を定義する。各個体が取りうる純粋戦略に{{math|''1'',..., ''n'' }}と番号をつける。そして純粋戦略{{math|''i''}}を取る確率が{{mvar|p{{sub|i}}}}である混合戦略を<math>(p_i)_{i=1,\ldots,n}</math>と書く事にする。

2つの混合戦略の<math>\sigma=(p_i)_{i=1,\ldots,n}</math>、<math>\xi=(q_i)_{i=1,\ldots,n}</math>、および実数{{mvar|a}}と{{mvar|b}}が与えられた時、{{mvar|σ}}、{{mvar|ξ}}の{{mvar|a}}、{{mvar|b}}による'''[[線形結合]]'''を

:<math>a\sigma+b \xi=(ap_i+b q_i)_{i=1,\ldots,n}</math>
により定義する。<math>a+b =1</math>であれば、混合戦略の線形結合<math>a\sigma+b \xi</math>もまた、混合戦略である。

{{mvar|E}}を利得関数とするとき、任意の混合戦略{{mvar|τ}}、{{mvar|σ}}、{{mvar|ξ}}に対し、次が成立する事が簡単な計算により分かる：
: <math>E(\tau,a\sigma+b \xi)=aE(\tau,\sigma)+bE(\tau,\xi)</math>　　　…{{EquationRef|(1)}}

== 進化的安定性の厳密な定義 ==
有限個の純粋戦略を持つ戦略型ゲームの事を(利得表が有限サイズの行列の形に書けるので)'''行列ゲーム'''{{refnest|ゲーム理論では「行列ゲーム」という用語は2人零和の双行列ゲームを指す事が多いが<ref>{{Cite web|和書|url=http://www.orsj.or.jp/~wiki/wiki/index.php/%E8%A1%8C%E5%88%97%E3%82%B2%E3%83%BC%E3%83%A0|title=ORWiki 行列ゲーム|accessdate=2019-02-07}}</ref>、数理生物学では2人対称双行列ゲームの事を指すので<ref>[[#BR13|BR13]] p.93</ref><ref>[[#CA16|CA16]] p.5</ref>、本稿ではこれに従った。|group=注}}といい、これはもっとも典型的な進化ゲームの一つである。本節では対称な行列ゲームに対する進化的安定性を３つの異なる視点から定義づける。これら３つの定義は対称な行列ゲームにおいては同値であるが、より一般的な進化ゲームにおいては必ずしも同値ではない。

=== 定義 ===

対称な行列ゲームにおける進化的安定性は以下のように定義される<ref>[[#HS88|HS88]]（[[#JCL14|JCL14]] p995からの重引）、[[#A10|A10]] p13</ref><ref name=":2">[[#M16|M16]] p4</ref>。{{math theorem|{{mvar|G}}を対称な行列ゲームとし、{{mvar|E}}を{{mvar|G}}の利得関数とする。
このとき、{{mvar|G}}における混合戦略<math>\sigma_*</math>が'''進化的に安定'''であるとは、任意の混合戦略{{mvar|σ}}に対し、
<math>0<\varepsilon_0\le 1</math>を満たす実数<math>\varepsilon_0</math>が存在し、<math>0<\varepsilon<\varepsilon_0</math>を満たす任意の実数<math>\varepsilon</math>に対し、
: <math>E(\sigma_*,(1-\varepsilon)\sigma_*+\varepsilon \sigma)>E(\sigma,(1-\varepsilon)\sigma_*+\varepsilon \sigma)</math>
が成立する事を言う。|name={{EquationRef|定義１}}（対称な行列ゲームにおける進化的安定性）}}{{EquationNote|定義１}}の{{Mvar|ε{{sub|0}}}}を'''侵入障壁'''という。{{EquationNote|定義１}}では侵入障壁{{Mvar|ε{{sub|0}}}}が混合戦略{{Mvar|σ}}に依存する事を許容するバージョンの定義を採用したが、{{Mvar|ε{{sub|0}}}}が{{Mvar|σ}}に依存しないバージョンの定義も存在し、これを'''一様な侵入障壁をもつ進化的安定性'''（''ESS with uniform invasion barrier''）と呼ぶ<ref name=":2" />。一般には一様なもののほうがそうでないものより強い定義であり、純粋戦略が無限個あるゲームの場合には進化的安定であるにもかかわらず一様な侵入障壁をもつ進化的安定ではない混合戦略が存在する事が知られている<ref name="PS94-940">[[#PS94|PS94]] p940</ref>。しかし{{EquationNote|定義１}}で考えているゲーム（＝有限個の純粋戦略を持つ対象な戦略型ゲーム）の範囲では、両者の定義は同値である<ref name="PS94-940" /><ref name=":3">[[進化的に安定な戦略#M16|M16]] p10</ref>。

====定義の解釈====
混合戦略<math>\sigma_*</math>を取る個体の集団に、混合戦略<math>\sigma</math>を取る個体群が侵入し、集団全体の中で後者の割合が{{mvar|ε}}になったとする。このとき、対戦相手がランダムに選ばれるとすれば、混合戦略<math>\sigma_*</math>を取る個体の利得の期待値は
:<math>(1-\varepsilon)E(\sigma_*,\sigma_*)+\varepsilon E(\sigma_*,\sigma)=E(\sigma_*,(1-\varepsilon)\sigma_*+\varepsilon \sigma)</math>
となり、{{EquationNote|定義１}}で登場する不等式の左辺と一致する。同様の理由により混合戦略<math>\sigma</math>を取る個体の利得の期待値は
:<math>E(\sigma,(1-\varepsilon)\sigma_*+\varepsilon \sigma)</math>
となり、{{EquationNote|定義１}}で登場する不等式の右辺と一致する。

したがって{{EquationNote|定義１}}は混合戦略<math>\sigma</math>を取る個体群が<math>\varepsilon_0</math>以下の割合{{mvar|ε}}だけ侵入したとしても、混合戦略<math>\sigma_*</math>を取る個体の利得の期待値の方が混合戦略<math>\sigma</math>を取る個体の利得の期待値よりも真に大きくなる事を示している<ref>本節は[[#A10|A10]] p13を参考にした</ref>。

=== 局所優位性(local superiority) ===
２つの混合戦略<math>\sigma_*=(p_i)_{i=1,\ldots,n}</math>、<math>\sigma=(q_i)_{i=1,\ldots,n}</math>の'''[[距離空間|距離]]'''を

:<math>\mathrm{d}(\sigma_*,\sigma):=\sqrt{\sum_{i=1}^n|p_i-q_i|^2}</math>　　　…{{EquationRef|(2)}}

により定義するとき<ref name=":4">[[#M07|M07]] p7</ref>、進化的安定性を以下のように異なる角度から特徴づける事ができる<ref name=":3" /><ref name=":4" /><ref>[[進化的に安定な戦略#BR13|BR13]] p.96.</ref>：{{math theorem|{{mvar|G}}を対象な行列ゲームとし、{{mvar|E}}を{{mvar|G}}の利得関数とする。
このとき、{{mvar|G}}における混合戦略<math>\sigma_*</math>が進化的に安定である必要十分条件は以下の性質（'''局所優位性、local superiority'''）を満たす事である：
ある<math>\varepsilon_0>0</math>が存在し、任意の混合戦略<math>\sigma\neq \sigma_*</math>に対し、
: <math>\mathrm{d}(\sigma_*,\sigma)<\varepsilon_0 ~\Rightarrow~ E(\sigma_*,\sigma)>E(\sigma,\sigma)</math>
が成立する。|name={{EquationRef|定理２}}（進化的安定性の別定義との同値性）}}なお、上では距離を{{EquationNote|(2)}}式に従って定義したが、{{EquationNote|定理２}}に書いたESSの別定義で本質的なのは距離そのものではなく、距離から定まる[[位相空間|位相構造]]なので<ref>[[#M07|M07]] p3</ref>、{{EquationNote|(2)}}式の代わりに以下の[[Lp空間|ℓ<sup>1</sup>距離]]

:<math>\mathrm{d}(\sigma_*,\sigma):=\sum_{i=1}^n|p_i-q_i|</math>　　　

を用いて定義しても{{EquationNote|定理２}}のものと同値になる。

{{EquationNote|定理２}}に書いたESSの別定義はより広範な進化ゲームに対して進化的安定性の概念を一般化する場合に有益であり<ref name=":5">[[#CA16|CA16]] p9。</ref>、一般化のさせかたにより、neighborhood invader strategy、neighborhood superiorなどとも呼ばれる<ref name=":5" />。

===  簡便な特徴づけ ===
{{EquationNote|定義１}}は進化的安定性の直観的な意味を自然に定式化したものになっているものの、この定義に基づいて混合戦略の進化的安定性を直接チェックするのは容易ではない。そこで進化的安定性をより簡単にチェックする事を可能にする、別の特徴付けを紹介する<ref name="#1"/>：{{math theorem|{{mvar|G}}を対称な行列ゲームとし、{{mvar|E}}を{{mvar|G}}の利得関数とする。
このとき、{{mvar|G}}における混合戦略<math>\sigma_*</math>が進化的に安定である必要十分条件は、任意の混合戦略{{mvar|σ}}に対して以下の２条件を両方とも満たす事である。
# ('''均衡条件''')<math>E(\sigma_*,\sigma_*)\ge E(\sigma,\sigma_*)</math>
# ('''安定条件''') <math>E(\sigma_*,\sigma_*)=E(\sigma,\sigma_*) ~\Rightarrow~E(\sigma_*,\sigma)> E(\sigma,\sigma)</math>


|name={{EquationRef|定理３}}（進化的安定性の特徴づけ）}}


{{Math proof|
{{EquationNote|(1)}}式で示したように利得関数は線形性を満たすので、これを利用して{{EquationNote|定義１}}に登場する式の両辺を変形すると、

: <math>E(\sigma_*,\sigma_*)+\varepsilon E(\sigma_*,\sigma-\sigma_*)
>
E(\sigma,\sigma_*)+\varepsilon E(\sigma,\sigma-\sigma_*)</math>　　　　…{{EquationRef|(A)}}

となる。したがって{{EquationNote|(A)}}式が成り立つ必要十分条件が{{EquationNote|定理３}}の２条件である事を示せばよい。

（必要性）{{EquationNote|(A)}}式で極限{{Math|''ε''→''0''}}を取ると、均衡条件の式<math>E(\sigma_*,\sigma_*)\ge E(\sigma,\sigma_*)</math>が得られる。また<math>E(\sigma_*,\sigma_*)=E(\sigma,\sigma_*)</math>であれば、{{EquationNote|(A)}}式より<math>\varepsilon  E(\sigma_*,\sigma-\sigma_*)>\varepsilon  E(\sigma,\sigma-\sigma_*)</math>なので、{{Math|''ε''≠''0''}}に対してこれを変形すると<math>E(\sigma_*,\sigma)> E(\sigma,\sigma)</math>となり、安定条件が言える。

（十分性）{{EquationNote|定義１}}の式を変形すると、

: <math>E(\sigma_*,\sigma_*)-E(\sigma,\sigma_*)>\varepsilon E(\sigma-\sigma_*, \sigma-\sigma_*)</math>　　　　…{{EquationRef|(B)}}

であるので{{EquationNote|(B)}}式が成り立つことを示せば良い。

均衡条件より{{EquationNote|(B)}}式の左辺<math>E(\sigma_*,\sigma_*) - E(\sigma,\sigma_*) </math>は0もしくは正である。
{{EquationNote|(B)}}式の左辺<math>E(\sigma_*,\sigma_*) - E(\sigma,\sigma_*) </math>が0である場合、安定条件より<math>E(\sigma_*,\sigma)-E(\sigma,\sigma)> 0</math>なので、

: <math>E(\sigma-\sigma_*, \sigma-\sigma_*)
=\underbrace{
(E(\sigma_*, \sigma_*)
-E(\sigma, \sigma_*))}_{=0}
-
(E(\sigma_*, \sigma)-E(\sigma, \sigma))<0

</math>

が成立する。<math>\varepsilon > 0</math>より、これは{{EquationNote|(B)}}式の右辺が負である事を意味するので、{{EquationNote|(B)}}式が成立する。

それに対し、{{EquationNote|(B)}}式の左辺<math>E(\sigma_*,\sigma_*) - E(\sigma,\sigma_*) </math>が正の場合、<math>E(\sigma-\sigma_*, \sigma-\sigma_*)</math>が0以下であれば、明らかに{{EquationNote|(B)}}式は成立する。一方<math>E(\sigma-\sigma_*, \sigma-\sigma_*)</math>が正であれば、

: <math>\varepsilon_0:={E(\sigma_*,\sigma_*)-E(\sigma,\sigma_*) \over E(\sigma-\sigma_*, \sigma-\sigma_*)}</math>　　　

よりも小さい任意の<math>\varepsilon > 0</math>に対し、{{EquationNote|(B)}}式は成立する。
|drop=yes}}

与えられた混合戦略{{Mvar|τ}}に対し、<math>E(\xi,\tau)</math>を最大にする混合戦略{{Mvar|ξ}}を{{Mvar|τ}}の'''最適反応'''(''best reply'')という<ref name=":6">[[#PS94|PS94]] p937, 939-940</ref>。

均衡条件は、<math>\sigma_*</math>が<math>\sigma_*</math>自身の最適反応である事を意味しており、<math>E(\xi,\sigma_*)</math>の最大値は<math>M=E(\sigma_*,\sigma_*)</math>である<ref name=":6" />。一方、安定条件は、<math>M=E(\sigma,\sigma_*)</math>を満たす<math>\sigma\neq \sigma_*</math>、すなわち<math>\sigma_*</math>に対する最適反応のうち<math>\sigma_*</math>以外の混合戦略<math>\sigma</math>は<math>E(\sigma_*,\sigma)> E(\sigma,\sigma)</math>を満たしている事を意味している<ref name=":6" />。

=== ナッシュ均衡との関係 ===
ゲーム理論における重要な均衡概念として[[ナッシュ均衡]]があり、進化的安定性は<math>(\sigma_*,\sigma_*)</math>のナッシュ均衡性と関係がある。本項で考えているゲーム（2人対称戦略型ゲーム）の場合、混合戦略の組<math>(\sigma_*,\sigma_*)</math>が'''ナッシュ均衡'''であるとは任意の混合戦略{{Mvar|σ}}に対し、

: <math>E(\sigma_*,\sigma_*)\ge E(\sigma,\sigma_*)</math>　　…{{EquationRef|(3)}}

が成立する事を言う。特に任意の混合戦略{{Mvar|σ}}に対して{{EquationNote|(3)}}式の不等号がイコールなしで成り立つ場合、<math>(\sigma_*,\sigma_*)</math>は'''狭義ナッシュ均衡'''であるという。

{{EquationNote|定理３}}から明らかに以下の事実が成りたつ<ref name=":12">[[進化的に安定な戦略#A10|A10]] p18</ref>：{{math theorem|任意の2人対称戦略型ゲームに対し、次が成立する：
: <math>(\sigma_*,\sigma_*)</math>は狭義ナッシュ均衡 ⇒ <math>\sigma_*</math>は進化的安定 ⇒ <math>(\sigma_*,\sigma_*)</math>はナッシュ均衡|name={{EquationRef|定理４}}（ナッシュ均衡との関係）}}
しかし{{EquationNote|定理４}}の逆向きの包含関係は一般には成立しない<ref name=":12" />。

=== 具体例 ===
前述したタカハトゲーム対して{{EquationNote|定理３}}を適用する事で次が成立する事が分かる<ref>[[#巌佐98|巌佐98]] p213</ref>：

* {{Math|''V''<''C''}}なら、「確率{{Math|''V''/''C''}}でタカ戦略、確率{{Math|1-(''V''/''C'')}}でハト戦略」という混合戦略は進化的安定である
* {{Math|''V''≧''C''}}なら、「確率1でタカ戦略」という純粋戦略が進化的安定である。これは利得{{Mvar|V}}が非常に高い資源を争う場合は、儀式的闘争ではなく直接的闘争が行われる事を意味する。

<br />

== 進化的安定性概念の一般化 ==

=== モチベーション ===
これまで本稿では、行列ゲームに対する進化的安定性を議論してきたが、行列ゲームは下記のような条件を満たす場合にしか現実世界の生物の闘争をモデル化できない：

# ゲームは一度しか行われない
# 各個体がとれる純粋戦略の個数は有限である
# 各個体がどの純粋戦略を取るのかはゲーム開始時点にランダムに選ぶ事ができる
# ゲームは常に２個体で行われる
# 全ての個体に対して同一の利得関数が適用される事が前提としている

しかし実際の生物学における応用では、以上の条件を満たさない事も多い：

# 多くの状況では各個体はその生涯において何度も他の個体と闘争を繰り返すので、ゲームを繰り返し行う形でモデル化した方が自然な場合が多い
# 「植物が種を飛ばす飛距離」や「動物が行動を起こすまでの時間」のように純粋戦略として連続量を取る事ができるケースでは純粋戦略の個数は無限にある
# 哺乳類の配偶戦略のように「オスかメスか？」という生まれた段階で決定する戦略は、ゲーム開始時点にランダムに選ぶ事はできない
# 草むらで種をばらまいて近くにいる他の全ての個体と種のばらまく位置を争うケースのように、複数個体と争うゲームも多い
# 「オスとメス」、「テリトリーを守る個体とそこに侵入する個体」のように非対称な闘争では、闘争する個体がどちらの立場にいるのかで利得関数が異なるはずである

本章の目標は上で述べたような、行列ゲームの範疇に収まらないより一般的なゲームに対して進化的安定性を定義する事である。

=== 一般化の手法 ===
本節では上述した1,...,5の制約を外すための手法を順に述べていく。

==== 繰り返しゲーム ====
まず1に関しては、ゲーム理論の言葉で言えば[[繰り返しゲーム]]を考える必要がある、という事である。一回のゲームの利得と繰り返し行ったゲームの利得の平均値とを区別する為、一回のゲームの利得はこれまで通り<math>E(\cdot,\cdot)</math>で表し、繰り返し行ったゲームの利得の平均値を<math>\mathcal{E}(\cdot,\cdot)</math>と表す事に事にする。

ゲームを行うたびに闘争相手が毎回異なると仮定できる場合には、繰り返しゲームの平均利得<math>\mathcal{E}(\cdot,\cdot)</math>は<math>E(\cdot,\cdot)</math>と一致する（詳細後述）。一方、同一の闘争相手と何度もゲームを繰り返す場合はより複雑で、[[後退帰納法]]（有限繰り返しゲームの場合）や[[フォーク定理]]（無限繰り返しゲームの場合）など、ゲーム理論の手法を用いて<math>\mathcal{E}(\cdot,\cdot)</math>を求める必要がある。

==== 戦略空間 ====
2および3に関しては、'''戦略空間'''(strategy space)という概念を導入する事で一般化を図る<ref>[[#M16|M16]] p.2.</ref><ref name="m07p5">[[#M07|M07]] p.5.</ref>。戦略空間とは、そのゲームにおいて各個体が取りうる戦略全体の集合の事である。例えば行列ゲームの場合は混合戦略全体の集合が戦略空間である。すなわち、

:<math>\Delta_n=\left\{(p_i)_{i=1,\ldots,n} \Bigg| 0\le p_1,\ldots,p_n \le 1,~ \sum_{i=1}^np_i=1 \right\}</math>　　　　...({{EquationRef|Eq-G1}})

が戦略空間である。ここで{{Mvar|n}}は取りうる純粋戦略の個数である。

また「個体の体長」のように連続量の純粋戦略が取れる（が闘争の際ランダムに体長を変える事はできないので混合戦略は取れない）ゲームの場合、戦略空間は正の実数全体の集合

:<math>\mathbf{R}_+=\{x>0 \mid x\in \mathbf{R} \}</math>

である。一方「動物が行動を起こすまでの時間」のように純粋戦略は連続量であり、混合戦略も取りうるゲームの場合には、戦略空間は

:<math>\{</math>{{Math|'''R'''{{sub|+}}}}上の確率分布<math>\}</math>

である<ref>[[#BR13|BR13]] p.59</ref>。なお進化的安定性の議論では、戦略間の「近さ」の概念が定義できる事が望ましいので、戦略空間が[[位相空間]]である事を求める事も多い<ref name="m07p5" />。

==== 個体群 ====
4に関しては、個体vs.個体だけでなく個体vs.'''[[個体群]]'''(population)の闘争を考える事で一般化を図る<ref>[[#BR13|BR13]] p.13.</ref>。個体群に属する個体数が有限である場合には数学的解析が難しくなるので、以下本説では個体数が無限であるものと仮定する<ref>[[進化的に安定な戦略#BR13|BR13]] pp.14-15.</ref>。より厳密に言うと、戦略空間{{Mvar|X}}に属する戦略{{Mvar|σ}}を取る個体の割合を{{Math|[0,1]}}区間に属する実数として定義できるものと仮定する。現実には無限の個体を含む個体群は存在しないが、個体群に属する個体が十分大きい場合には、近似的にこのような仮定を置いて議論を進める事ができる。

個体群の各々の個体は戦略空間{{Mvar|X}}に属するいずれかの戦略を取る。個体群{{Mvar|Π}}において、「戦略{{Math|''σ''{{sub|''1''}},...''σ''{{sub|''m''}}∈''X''}}を（確率1で）取る個体の割合がそれぞれ{{Math|''ε''{{sub|''1''}},...''ε''{{sub|''m''}}}}である」という状態を

:<math>\varepsilon_1\delta_{\sigma_1}+\cdots+\varepsilon_1\delta_{\sigma_m}</math>

もしくは

:<math>\sum_{i=1}^m\varepsilon_i\delta_{\sigma_i}</math>

と表記し<ref>[[進化的に安定な戦略#BR13|BR13]] p.25.</ref>、これを{{Mvar|Π}}の'''個体群戦略'''(population strategy<ref name=":1">[[進化的に安定な戦略#BR13|BR13]] p.121.</ref>)と呼ぶ。個体群戦略と区別するため、個々の個体の戦略の事を強調して'''個体戦略'''(player strategy<ref name=":1" />)と呼ぶ。

なお上の式における記号「{{Mvar|δ}}」は、混合戦略の和「<math>\varepsilon_1\sigma_1+\cdots+\varepsilon_1\sigma_m</math>」と区別する為につけられた単なる記号であると解釈して差し支えない。この場合、上記の式は数学的には[[:En:Formal sum|形式和]]である。しかしこの{{Mvar|δ}}を{{Mvar|X}}上で定義された[[ディラックのデルタ関数]]であると解釈する事で、上式を{{Mvar|X}}上の分布を表す式とみなす事もできる。

また上では個体群が有限個の戦略{{Math|''σ''{{sub|''1''}},...''σ''{{sub|''m''}}∈''X''}}のいずれかしか取らない場合を考えたが、{{Mvar|X}}が[[測度空間|性質のよい空間]]であれば無限個の戦略を取る場合も考える事ができる。しかし進化的安定性を定義する上では有限個の戦略を取る場合のみを考察すれば十分であるので、本稿では以下、無限個の戦略を取る場合は考えない。

本稿では個体群の性質として主として考えるのは個体群戦略のみなので、紛れがなければ個体群{{Mvar|Π}}とその個体群戦略とで記号を混用し、

:<math>\Pi=\varepsilon_1\delta_{\sigma_1}+\cdots+\varepsilon_1\delta_{\sigma_m}</math>

という表記も用いるものとする。

==== 対称化 ====
5で述べたように実際の生物では２つの個体の立場が非対称なゲームも起こりうるが、進化ゲーム理論では２つの個体が対称な場合のみに対して進化的安定性を定義し<ref name=":10">[[#PS94|PS94]] p.936</ref>、非対称なゲームには'''対称化'''を施す事により対称なゲームに対する進化的安定性の概念を利用する。例えば「オス」と「メス」という２つの立場がある状況では、個体が受精した際「オス」か「メス」かをランダムに選べる事を考慮する事により、全ての個体が「オス」になる可能性も「メス」になる可能性もある対称なゲームとして定式化する。

そこで本章では以下、対称なゲームに対する進化的安定性のみを議論するものとし、非対称なゲームに対する進化的安定性は後の章で議論するものとする。

=== 行列ゲームの再定式化 ===
以上までで述べた一般的なフレームワークにおける進化的安定性の定義を述べる前に、行列ゲームを上述のフレームワークにおいて再定式化する。このために{{Mvar|n}}通りの純粋戦略{{Math|''1'',...,''n''}}が取れる行列ゲームを考え、その利得関数を{{Mvar|E}}とする。さらに{{Mvar|Π}}を個体群とし、{{Mvar|P}}を個体群{{Mvar|Π}}の中にいる一匹の個体とし、{{Mvar|P}}が取る混合戦略を<math>\sigma=(p_i)_{i=1,\ldots,n}</math>とする。

前章で述べた行列ゲームでは、{{Mvar|P}}は個体群{{Mvar|Π}}の中のいずれか一匹の個体と一度だけゲームを行う事を前提としていた。しかし本章で述べる一般的フレームワークにおいては、{{Mvar|Π}}の中の複数の個体と闘争する事を前提としている。より正確に言うと、定数{{Mvar|k}}を固定し、以下のようなゲームを{{Mvar|k}}回繰り返す：

# {{Mvar|Π}}の中から[[一様分布|一様ランダム]]に一匹の個体{{Mvar|Q}}を選ぶ（{{Mvar|Q}}は{{Mvar|k}}回行う各ゲームで毎回独立に選ばれる）。
# {{Mvar|P}}と{{Mvar|Q}}が利得関数{{Mvar|E}}を持つ行列ゲームを行う。

そしてこのようなゲームにおける{{Mvar|P}}の平均利得を<math>\mathcal{E}(\sigma,\Pi)</math>と表記する（ここで我々は前節で述べたように記号を混用して個体群{{Mvar|Π}}の個体群戦略にも{{Mvar|Π}}という記号を用いている）。

{{Mvar|Π}}の個体群戦略が混合戦略{{Mvar|τ}}により

:<math>\Pi=\varepsilon\delta_{\sigma}+(1-\varepsilon)\delta_{\tau}</math>

と書けるとき、{{Mvar|P}}の対戦相手{{Mvar|Q}}の戦略は確率{{Mvar|ε}}で{{Mvar|σ}}であり、確率{{Math|1-''ε''}}で{{Mvar|τ}}である。行列ゲームは{{Mvar|k}}回行われるが、我々は個体群{{Mvar|Π}}には無限に多い個体が含まれていると仮定していたので（前述）、{{Mvar|P}}が同一の個体と複数回ゲームを行う事はありえない。よって{{Mvar|k}}回の行列ゲームの平均利得<math>\mathcal{E}(\sigma,\Pi)</math>は明らかに

:<math>\mathcal{E}(\sigma,\varepsilon\delta_{\sigma}+(1-\varepsilon)\delta_{\tau})=
{1\over k}\sum_{i=1}^k \left(\varepsilon E(\sigma,\sigma) + (1-\varepsilon) E(\sigma,\tau)\right)
=E(\sigma,\varepsilon\sigma + (1-\varepsilon)\tau)</math>

を満たす<ref>[[進化的に安定な戦略#BR13|BR13]] p.26.</ref>。すなわち行列ゲームの場合は複数回のゲームの平均利得<math>\mathcal{E}(\cdot,\cdot)</math>と個体群戦略<math>\Pi=\varepsilon\delta_{\sigma}+(1-\varepsilon)\delta_{\tau}</math>で考えようが、一回の行列ゲームの利得<math>E(\cdot,\cdot)</math>と1個体の混合戦略<math>\varepsilon\sigma + (1-\varepsilon)\tau</math>で考えようが実質的な差はない。

しかし行列ゲーム以外のゲームではこのような単純な関係が成立するとは限らず、そもそも「２個体間の一回のゲームの利得」<math>E(\cdot,\cdot)</math>が定義できない場合もある（例えば、２個体間の闘争ではなく{{Mvar|Π}}の全ての個体が闘争する場合）ので、本章で述べる一般的なフレームワークにおいて改めて進化的安定性の概念を定式化する必要がある。
<br />
=== 進化的安定性の定義 ===
以上の準備の元、進化的安定性の概念を一般化する。集合{{Mvar|X}}を一つ固定し、これを'''戦略空間'''と呼び、{{Mvar|X}}の元を'''戦略'''ないし'''個体戦略'''と呼ぶ。そして任意の戦略{{Math|''σ''{{sub|''1''}},...''σ''{{sub|''m''}}∈''X''}}に対し、形式和

:<math>\sum_{i=1}^m\varepsilon_i\delta_{\sigma_i}</math>　　<math>(0\le \varepsilon \le 1, ~~ \textstyle\sum_i\varepsilon_i=1)</math>

を'''個体群戦略'''と呼ぶ。さらに戦略{{Mvar|τ}}と個体群戦略<math>\textstyle\sum_{i=1}^n\varepsilon_i\delta_{\sigma_i}</math>の組に'''利得'''と呼ばれる実数を対応させる関数

:<math>\mathcal{E}~:~(\tau,{\textstyle \sum_{i=1}^n\varepsilon_n\delta_{\sigma_n}}) \mapsto\mathbf{R}</math>

を一つ固定し、この関数を'''利得関数'''と呼ぶ。直感的には<math>\mathcal{E}</math>の第一変数の個体戦略を取るある個体{{Mvar|P}}が、個体群戦略<math>\textstyle\sum_{i=1}^n\varepsilon_i\delta_{\sigma_i}</math>を取る個体群の中で（一般には複数回）闘争したときの{{Mvar|P}}が得られる利得（ないしその平均値）が<math>\mathcal{E}(\tau;{\textstyle \sum_{i=1}^n\varepsilon_n\delta_{\sigma_n}}) </math>になるという事である。

以上のフレームワークにおいて、'''ゲーム'''は戦略空間{{Mvar|X}}と利得関数<math>\mathcal{E}</math>の組<math>(X,\mathcal{E})</math>として定義される。

ゲーム<math>(X,\mathcal{E})</math>に関する進化的安定性は以下のように定義される<ref>[[進化的に安定な戦略#BR13|BR13]] p.37.</ref>：{{math theorem|<math>\sigma_*,\sigma\in X</math>を個体戦略とする。このとき個体戦略<math>\sigma_*</math>が<math>(X,\mathcal{E})</math>に関して<math>\sigma</math>'''より進化的に安定'''であるとは、
<math>0<\varepsilon_0\le 1</math>を満たす実数<math>\varepsilon_0</math>が存在し、<math>0<\varepsilon<\varepsilon_0</math>を満たす任意の実数<math>\varepsilon</math>に対し、
: <math>\mathcal{E}(\sigma_*,(1-\varepsilon)\delta_{\sigma_*}+\varepsilon \delta_{\sigma})>\mathcal{E}(\sigma,(1-\varepsilon)\delta_{\sigma_*}+\varepsilon \delta_{\sigma})</math>
が成立する事を言う。

特に<math>\sigma_*</math>が<math>(X,\mathcal{E})</math>に関して任意の<math>\sigma\in X</math>より進化的に安定であるとき、<math>\sigma_*</math>は<math>(X,\mathcal{E})</math>に関して'''進化的に安定である'''という。|name={{EquationRef|定義G１}}（進化的安定性）}}上の定義では{{Mvar|ε{{sub|0}}}}は{{Mvar|σ}}に依存する事を許容しているが、{{Mvar|σ}}に依存しない{{Mvar|ε{{sub|0}}}}が取れる場合には、'''一様な侵入障壁をもつ進化的安定性'''（''ESS with uniform invasion barrier''）と呼ぶ<ref>[[進化的に安定な戦略#BR13|BR13]] p.94.</ref>。


<math>\mathcal{E}</math>の定義より、任意の戦略<math>\sigma\in X</math>は<math>\mathcal{E}(\sigma,\cdot)</math>のように個体戦略として<math>\mathcal{E}</math>の第一変数としてする事も、<math>\mathcal{E}(\cdot,\delta_{\sigma})</math>のように個体群戦略として<math>\mathcal{E}</math>の第二変数として登場する事も可能である。したがって「オス」と「メス」のように立場の異なる個体が存在したとしても、第一変数を「オス」の戦略、第二変数を「メス」の戦略といったふうに2つの変数を使い分ける事はできない。すなわち前述したように、立場の異なる個体間の非対称なゲームに対する進化的安定性を上記の定義では記述できず、何らかの「対称化」の操作を行う事によって非対称ゲームを記述する必要がある。対称化に関しては後の章でより詳しく説明する。

=== <math>\mathcal{E}</math>の性質 ===
すでに述べたように行列ゲームでは

:<math>\mathcal{E}(\sigma,\varepsilon\delta_{\sigma}+(1-\varepsilon)\delta_{\tau})
=E(\sigma,\varepsilon\sigma + (1-\varepsilon)\tau)</math>

という単純な関係があり、しかも行列ゲームの利得関数は行列を用いて簡単に表記できるので、線形性

:<math>\mathcal{E}(\sum_i\nu_i\sigma_i,\sum_j\varepsilon_j\delta_{\tau_j})
=\sum_{i,j}\nu_i\varepsilon_j\mathcal{E}(\sigma_i,\delta_{\tau_j})
</math>

が成立した。

しかしこうした性質は行列ゲーム以外のゲームでは必ずしも成立するとは限らない。実際我々は現段階では一般のゲームにおける<math>\mathcal{E}</math>には一切仮定をおいていない為、線形性どころか連続性すら成り立つとは限らない。

このため行列ゲームに対して示した性質は一般のゲームに対しては無条件に成り立つとは限らず、線形性など何らかの仮定をおいた上でこうした性質（の類似物）を示す必要がある。

そこで本節では、線形性など<math>\mathcal{E}</math>に関する性質をいくつか導入し、これらの性質を元に進化的安定性の満たす性質を示す。<br />
==== 個体群戦略に関する線形性と個体戦略に関する線形性 ====
本節では<math>\mathcal{E}</math>の線形性の概念を定義する。{{math theorem|任意の個体戦略<math>\tau</math>と任意の個体群戦略
<math>{\textstyle \sum _{i=1}^m\varepsilon _{i}\delta _{\sigma _{i}}}</math>に対し、<math>\mathcal{E}</math>が
: <math>\mathcal{E}\left(\tau,\textstyle\sum _{i=1}^m\varepsilon _{i}\delta _{\sigma _{i}}\right)=\textstyle\sum _{i=1}^m\varepsilon _{i}\mathcal{E}(\tau,\delta _{\sigma _{i}})</math>
を満たすとき、<math>\mathcal{E}</math>は'''個体群戦略に関して線形'''である、もしくは'''右線形'''であるという<ref name="#2">[[#BR13|BR13]] p.121.</ref>。|name={{EquationRef|定義G2}}（個体群戦略に関する線形性）}}

行列ゲームにおける混合戦略のように、戦略空間上に線形和が定義できる場合には、左線形性も同様に定義できる：{{math theorem|任意の自然数{{mvar|m}}、
任意の個体戦略<math>\tau_1,\ldots,\tau_m</math>、
<math>0\le u_1,\ldots,u_m\le 1</math>と<math>u_1+\cdots+u_m =1</math>を満たす任意の実数<math>u_1,\ldots,u_m</math>、および任意の個体群戦略
<math>{\textstyle \sum _{i=1}^{\ell}\varepsilon _{i}\delta _{\sigma _{i}}}</math>に対し、<math>\mathcal{E}</math>が
: <math>\mathcal{E}\left(\textstyle\sum_{j=1}^m u_j\tau_j,\sum _{i=1}^{\ell}\varepsilon _{i}\delta _{\sigma _{i}}\right)=\textstyle\sum_{j=1}^m u_j\mathcal{E}\left(\tau_j,\textstyle\sum _{i=1}^{\ell}\varepsilon _{i}\delta _{\sigma _{i}}\right)</math>
を満たすとき、<math>\mathcal{E}</math>は'''個体戦略に関して線形'''である、もしくは'''左線形'''であるという<ref name="#2"/>。|name={{EquationRef|定義G3}}（個体戦略に関する線形性）}}

これら２つの性質は行列ゲームの場合は明らかに満たされる。

多くのゲームにおいて、戦略空間{{Mvar|X}}は行列ゲームの場合と同様、何らかの混合戦略全体の空間であり、混合戦略<math>\sigma=(p_i)_{i=1,\ldots,n}</math>の利得は<math>\mathcal{E}(\sigma,\Pi)=\sum_ip_i\mathcal{E}(i,\Pi)</math>のように純粋戦略の利得の期待値として定義されるので、個体戦略に対する線形性は多くのゲームで成立する<ref name=":7">[[進化的に安定な戦略#BR13|BR13]] p.122.</ref>。

それに対し個体群戦略に対する線形性は満たさないゲームも多く、例えば以下の３つの状況では満たされない事が多い：

* ゲームが１：１の闘争でないとき<ref name=":7" />
* （１：１の闘争であったとしても）同じ個体と複数回闘争しなければならないとき<ref name=":7" />
* 取りうる戦略が連続量であるとき<ref name=":7" />

2013年現在、「線形性が満たされないゲームに関する一般的な理論はまだ十分に発展しているとは言い難い」<ref name=":7" />状況にあり、個別のゲームに応じた議論を行う必要がある。

==== 多型-単型同値性 ====
行列ゲームにおける戦略空間{{Mvar|X}}は混合戦略全体の集合なので、戦略同士の線形和が定義できる。このように戦略空間{{Mvar|X}}上に何らかの和の概念が定義できている場合、以下の概念を定式化できる：{{math theorem|任意の個体戦略<math>\tau</math>と任意の個体群戦略
<math>{\textstyle \sum _{i=1}^{m}\varepsilon _{i}\delta _{\sigma _{i}}}</math>に対し、<math>\mathcal{E}</math>が
: <math>\mathcal{E}\left(\tau,\textstyle\sum _{i=1}^{m}\varepsilon _{i}\delta _{\sigma _{i}}\right)=\mathcal{E}(\tau,\delta _{\textstyle\sum _{i=1}^{m}\varepsilon _{i}\sigma _{i}})</math>
を満たすとき、<math>\mathcal{E}</math>は'''多型-単型同値'''(polymorphic-monomorphic equivalent)であるという<ref>[[#BR13|BR13]] p.122.</ref>。|name={{EquationRef|定義G4}}（多型-単型同値性）}}多型-単型同値性は行列ゲームでは明らかに成立する：

:<math>\mathcal{E}(\sigma,\sum_i\varepsilon_i\delta_{\sigma_i})
=E(\sigma,\sum_i\varepsilon_i\sigma_i)
=\mathcal{E}(\sigma,\delta_{\sum_i\varepsilon_i\sigma_i})</math>


多型-単型同値性の直観的な意味を説明する。{{EquationNote|定義G4}}の式の左辺では<math>\mathcal{E}</math>の第２変数が<math>\textstyle\sum_{i=1}^n\varepsilon_i\delta_{\sigma_i}</math>であるので、個体群の中には戦略<math>\sigma_1</math>を取る個体が割合<math>\varepsilon_1</math>だけ存在し、...、戦略<math>\sigma_n</math>を取る個体が割合<math>\varepsilon_n</math>だけ存在するという状況を左辺は意味している。一方右辺では<math>\mathcal{E}</math>の第２変数が<math>\textstyle\delta_{\sum_{i=1}^n\varepsilon_i\sigma_i}</math>であるので、個体群に属する全ての個体が全く同一の戦略<math>\textstyle\sum_{i=1}^n\varepsilon_i\sigma_i</math>を取っている状況を右辺は意味している。

多型-単型同値性は<math>\sigma_1,\ldots,\sigma_n</math>が純粋戦略であるケースを考えると理解しやすい。上で述べた事から、{{EquationNote|定義G4}}の式の左辺は純粋戦略<math>\sigma_1</math>を取る個体が割合<math>\varepsilon_1</math>だけ存在し、...、純粋戦略<math>\sigma_n</math>を取る個体が割合<math>\varepsilon_n</math>だけ存在するという状況である。すなわち全ての個体は何らかの純粋戦略を取っており、個体毎にどの純粋戦略を取るのかが決まっている状況である。これは例えば、遺伝的多型により、個体が生まれた段階でどの純粋戦略を取るのかが決まる場合がこの状況に相当する。


一方、{{EquationNote|定義G4}}の式の右辺は、全ての個体が全く同一の混合戦略<math>\textstyle\sum_{i=1}^n\varepsilon_i\sigma_i</math>を取っている状況である。これは例えば、「混合戦略<math>\textstyle\sum_{i=1}^n\varepsilon_i\sigma_i</math>を取る事」が遺伝的に単型な形で刷り込まれており、ゲーム開始の段階でランダムに<math>\sigma_1,\ldots,\sigma_n</math>のうちどれかを行う場合がこの状況に相当する。


多型-単型同値性はこの多型のケースと単型のケースが<math>\mathcal{E}</math>の第一変数の戦略を取る個体{{Mvar|P}}の平均利得という観点から見るとこの「多型」の状況と「単型」の状況に差がない事を意味する。


{{Mvar|P}}の闘争相手がゲームのたびに個体群から毎回ランダムに選ばれるケース（個体群の個体数は無限大なのでこれは闘争相手が毎回異なる事を意味する）における繰り返し行列ゲームの場合には、明らかに多型-単型同値性が成立する。しかしゲームによっては多型-単型同値性が成り立たないものもあり、次章以降でそうしたゲームについて見る。

=== 進化的安定性の簡便な特徴づけ ===
行列ゲームにおける進化的安定性の概念が均衡条件と安定条件により特徴づけられる事を{{EquationNote|定理３}}で見た。この定理は本章で述べた一般的なゲームに関する進化的安定性に対しては常に成立するわけではないが、適切な条件下では{{EquationNote|定理３}}の類似物を示す事が可能である。

前節までと同様、{{Mvar|X}}を戦略空間とし、<math>\mathcal{E}(\cdot,\cdot)</math>を{{Mvar|X}}上の個体戦略と個体群戦略に「利得」とよばれる実数値を対応させる関数とする。さらに戦略<math>\sigma_*,\sigma\in X</math>を固定し、'''インセンティブ関数'''<math>h_{\sigma_*,\sigma}</math>を

:<math>h_{\sigma_*,\sigma}~:~[0,1] \to \mathbf{R}, 
~\varepsilon \mapsto 
\mathcal{E}(\sigma_*,\varepsilon\delta_{\sigma_*}+(1-\varepsilon)\delta_{\sigma})
- \mathcal{E}(\sigma,\varepsilon\delta_{\sigma_*}+(1-\varepsilon)\delta_{\sigma})</math>

により定義する<ref name=":8">[[進化的に安定な戦略#BR13|BR13]] pp.122-123.</ref>。ここで<math>[0,1]</math>は0以上1以下の実数全体の集合である。このとき次が成立する<ref name=":8" />：{{math theorem|<math>h_{\sigma_*,\sigma}</math>が<math>\varepsilon=0</math>において（右方）<math>\varepsilon</math>-偏微分可能であり、しかも
: <math>{\partial \over \partial \varepsilon}h_{\sigma_*,\sigma}(0)\neq 0</math>
であるとする。このとき、{{mvar|σ{{sub|*}}}}が<math>\mathcal{E}</math>に関して{{mvar|σ}}より進化的安定である必要十分条件は以下の２条件が両方とも成立する事である：
# ('''均衡条件''') <math>\mathcal{E}(\sigma_*,\delta_{\sigma_*})\ge \mathcal{E}(\sigma,\delta_{\sigma_*})</math>
# ('''安定条件''') <math>\mathcal{E}(\sigma_*,\delta_{\sigma_*})=\mathcal{E}(\sigma,\delta_{\sigma_*})\Rightarrow {\partial \over \partial \varepsilon}h_{\sigma_*,\sigma}(0)>0</math>|name={{EquationRef|定理G5}}（一般的なゲームの進化的安定性の簡便な特徴づけ）}}多くの生物学上の応用では、

:<math>{\partial \over \partial \varepsilon}h_{\sigma_*,\sigma}(0)= 0</math>

を満たす<math>(\sigma_*,\sigma)\in X^2</math>の集合は[[測度論|零集合]]（≒面積0の集合）であるので、上記偏微分が0になる確率が0である事を多くのケースでは仮定できる（これをgeneric payoff assumptionという<ref>[[進化的に安定な戦略#BR13|BR13]] pp.21, 122-123.</ref>）<ref group="注">「generic payoff assumption（仮定）」という言葉を用いている事からもわかるように、あくまでこれらは生物学にありそうなシナリオから想定した仮定であり、純粋に数学的にはこの仮定がなりたたないケースを考えるのは容易である。例えば<math>\mathcal{E}(\cdot,\cdot)</math>が恒等的に0であれば、<math>{\partial \over \partial \varepsilon}h_{\sigma_*,\sigma}(0)= 0</math>は明らかに全ての<math>(\sigma_*,\sigma)\in X^2</math>で0である。また偏微分が0になる戦略全体の集合が零集合であっても、（何らかの制約条件等により）偏微分が0になるような戦略が確率1で成立するようなケースも数学的には考えうる。</ref>。この仮定の元では進化的安定性は均衡条件と安定条件が両方成立する事と[[ほとんど (数学)|ほとんど至る所で]]同値である。

==== 定理３と定理G5の関係 ====
本節では{{EquationNote|定理３}}と{{EquationNote|定理G5}}の関係を見るため、{{EquationNote|定理G5}}を行列ゲームに適用してみる。すでに述べたように行列ゲームでは

:<math>\mathcal{E}(\sigma,\varepsilon\delta_{\sigma}+(1-\varepsilon)\delta_{\tau})
=E(\sigma,\varepsilon\sigma + (1-\varepsilon)\tau)</math>

であり、<math>E(\cdot,\cdot)</math>は右線形かつ左線形であるので、インセンティブ関数<math>h_{\sigma_*,\sigma}</math>は

:<math>h_{\sigma_*,\sigma}(\varepsilon)=\varepsilon E(\sigma_*-\sigma,\sigma_*) + (1-\varepsilon)E(\sigma_*-\sigma,\sigma)</math>

である。よって{{Math|1=''ε''=0}}における偏微分は

:<math>{\partial\over\partial \varepsilon}h_{\sigma_*,\sigma}(0)= E(\sigma_*-\sigma,\sigma_*-\sigma)</math>

である。{{EquationNote|定理G5}}の安定条件の仮定<math>\mathcal{E}(\sigma_*,\delta_{\sigma_*})=\mathcal{E}(\sigma,\delta_{\sigma_*})</math>が成り立つ条件下では

:<math>E(\sigma_*-\sigma,\sigma_*-\sigma)=E(\sigma,\sigma)-E(\sigma_*,\sigma)</math>

であるので、{{EquationNote|定理G5}}の安定条件は{{EquationNote|定理３}}のそれと一致する。すなわち{{EquationNote|定理G5}}は、<math>E(\sigma_*-\sigma,\sigma_*-\sigma)\neq 0</math>を要求する事以外は{{EquationNote|定理３}}と一致している。

== 具体例 ==

=== 個体群ゲーム(Population Game) ===
本章では'''個体群ゲーム'''というゲームを定義し、このゲームにおける進化的安定性の性質を述べる。

==== モチベーション ====
多くのゲームにおいて、戦略空間{{Mvar|X}}は行列ゲームの場合と同様、有限個の純粋戦略を混合した混合戦略全体の空間であり、混合戦略<math>\sigma=(p_i)_{i=1,\ldots,n}</math>の利得は

:<math>\mathcal{E}(\sigma,\Pi)=\sum_ip_i\mathcal{E}(i,\Pi)</math>

のように純粋戦略の利得の期待値として定義される。ここでさらに多型-単型同値が成り立てば、任意の個体群戦略<math>\Pi=\textstyle\sum_j\varepsilon_j\delta_{\sigma_j}</math>は

:<math>\Pi=\delta_{\tau}</math>

のようにたった一つの混合戦略<math>\tau=\textstyle\sum_i\varepsilon_j\sigma_j</math>により記述できる。ここで<math>f_i(\tau):=\mathcal{E}(i,\tau)</math>と定義すれば、

:<math>\mathcal{E}(\sigma,\delta_{\tau})=\sum_ip_if_i(\tau)</math>

が成立する事になる。利得関数<math>\mathcal{E}</math>が上式のように書けるゲームが'''個体群ゲーム'''である。

==== 定義 ====
以上をまとめると次のようになる<ref>[[進化的に安定な戦略#BR13|BR13]] p.125.</ref><ref>[[#S07|S07]] p.10.</ref>。なお以下で{{Mvar|Δ{{sub|n}}}}は({{EquationNote|Eq-G1}})式で定義される集合であり、直観的には有限個（{{mvar|n}}個）の純粋戦略を混合した混合戦略全体の空間を意味する。{{math theorem|戦略空間{{mvar|X}}が{{mvar|Δ{{sub|n}}}}であり、しかも関数<math>f_1,\ldots,f_n~:~X\to \mathbf{R}</math>が存在し、任意の混合戦略<math>\sigma=(p_i)_{i=1,\ldots,n},~\tau\in X</math>に対し、利得関数<math>\mathcal{E}</math>が
: <math>\mathcal{E}(\sigma,\delta_{\tau})=\sum_ip_if_i(\tau)</math>
を満たすゲームを'''個体群ゲーム(population game)'''という。|name={{EquationRef|定義P1}}（個体群ゲーム）}}{{math theorem|記号{{mvar|n}}、{{mvar|X}}を{{EquationNote|定義P1}}と同様に取り、利得関数<math>\mathcal{E}</math>が多型-単型同値を満たしているとする。
このとき、利得関数<math>\mathcal{E}</math>を持つゲームが個体群ゲームである必要十分条件は<math>\mathcal{E}</math>が左線形である事である。|name={{EquationRef|定理P2}}（個体群ゲームの必要十分条件）}}

:

==== 応用例：場を通じる型(playing the field) ====
行列ゲームでは個体{{Mvar|P}}が個体群{{Mvar|Π}}からランダムに選ばれた個体{{Mvar|Q}}と１：１の闘争を行うケース（'''１対１型'''<ref name=":16">[[進化的に安定な戦略#粕谷90|粕谷90]] p.40.</ref>）を想定していた。しかし生物学における実際の状況は、このような{{Mvar|P}}は１：１の闘争を行うものばかりではなく、{{Mvar|P}}が個体群{{Mvar|Π}}に属する全ての他の個体と闘争しなければならないものも存在する。

このような{{Mvar|Π}}の全ての他の個体との闘争を行われる状況を'''場を通じる型'''<ref name=":16" />（'''playing the field'''<ref name=":9">[[#S82|S82]] 位置311</ref>）という。例えば植物が種を飛散させる状況下では、近くにいる他の全ての個体と土地を争わなければならないので、場を通じる型の類型に属する<ref name=":9" />。

場を通じる型のセッティングでは、そもそも１：１の闘争は行われないので行列ゲームのような１：１の闘争を前提とした利得関数{{Mvar|E}}は定義できず、{{Mvar|E}}を使わずに直接<math>\mathcal{E}(\sigma,\Pi)</math>を定義する必要がある事になる。

この際利用できるのが、個体群ゲームのフレームワークである<ref>[[進化的に安定な戦略#BR13|BR13]] p.127.</ref><ref>[[進化的に安定な戦略#S07|S07]] p.11.</ref>。{{EquationNote|定理P2}}で述べたように、左線形性や多型-単型同値などの条件が成立しさえすれば、場を通じる型の状況を個体群ゲームとして記述できるので、個体群ゲームは有益な概念である。

==== 性質 ====
以下の２つの性質が成立する<ref>[[進化的に安定な戦略#BR13|BR13]] p.126.</ref>：{{math theorem|個体群ゲームの利得関数が戦略空間<math>X=\Delta_n</math>上連続な関数<math>f_1,\ldots,f_n</math>を用いて
: <math>\mathcal{E}(\sigma,\delta_{\tau})=\sum_ip_if_i(\tau)</math>
と書け、しかも<math>\mathcal{E}</math>が多型-単型同値であれば、この個体群ゲームにおける進化的安定戦略は必ず一様な侵入障壁を持つ。|name={{EquationRef|定理P3}}（個体群ゲームのESSにおける一様な侵入障壁の存在性）}}{{math theorem|個体群ゲームの利得関数が戦略空間<math>X=\Delta_n</math>上連続な関数<math>f_1,\ldots,f_n</math>を用いて
: <math>\mathcal{E}(\sigma,\delta_{\tau})=\sum_ip_if_i(\tau)</math>
と書け、しかも<math>\mathcal{E}</math>が多型-単型同値であるとする。
このとき<math>\sigma_*\in X</math>が進化的安定である必要十分条件は以下の性質（'''局所優位性、local superiority'''）を満たす事である：
ある<math>\varepsilon_0>0</math>が存在し、{{mvar|X}}の任意の元<math>\sigma\neq \sigma_*</math>に対し、
: <math>\mathrm{d}(\sigma_*,\sigma)<\varepsilon_0 ~\Rightarrow~ E(\sigma_*,\sigma)>E(\sigma,\sigma)</math>|name={{EquationRef|定理P4}}（個体群ゲームのESSにおける一様な侵入障壁の存在性）}}
ここで{{Mvar|d}}は{{EquationNote|(2)}}式により定義される<math>X=\Delta_n</math>上の距離であるが、{{EquationNote|定理２}}と同様、{{Mvar|d}}と同一の位相を定める距離であれば他のものでもよい。

=== 非対称なゲーム ===
これまで全ての個体が対等である状況を考察してきたが、実際の生物学では「オス vs. メス」、「テリトリーの所有者 vs. テリトリーへの侵入者」、「体の大きい個体 vs. 体の小さい個体」のように２つの'''非対称'''な立場がある個体同士が闘争する。しかし前章でも述べたように、進化ゲーム理論ではこうした非対称なゲームに関しては何らかの「対称化」を施すことにより、対象なゲームとして進化的安定性を定義する<ref name=":10" />。

==== 非対称なゲームの記述 ====
本節では非対称なゲームを定式化し、対称化を方法を述べる。今各個体には2つの'''立場<ref name=":16" />'''(role)があり、どちらの立場にいるかにより取れる戦略が異なるものとする。立場0、立場1にいる時に取れる戦略全体の集合をそれぞれ{{Mvar|X{{sub|0}}}}、{{Mvar|X{{sub|1}}}}と表記する。このとき、非対称なゲームの戦略空間は

:<math>X_0\times X_1</math>

である。戦略空間の元<math>(\sigma,\tau)\in X_0\times X_1</math>の直観的意味は「もし自分が立場0であれば戦略{{Mvar|σ}}を取り、立場1であれば戦略{{Mvar|τ}}を取る」というものである。

このゲームにおける'''個体群戦略'''は<math>(\sigma_1,\tau_1),\ldots,(\sigma_m,\tau_m)\in X_0\times X_1</math>と<math>\varepsilon_1,\ldots,\varepsilon_m \in [0,1]</math>（<math>\varepsilon_1+\cdots+\varepsilon_m =1</math>）を用いて

::<math>\sum_{i=1}^m \varepsilon_i\delta_{(\sigma_i,\tau_i)}</math>

と書けるものを指す。ゲームは非対称であるので、利得関数も自分が立場0にいるときと立場1にいるときで異なる。自分が立場<math>k =0,1</math>にいるときの利得関数を

::<math>\mathcal{E}_k(\xi,\textstyle\sum_{i=1}^m\varepsilon_i\delta_{\sigma_i})</math>

と書く。ここで{{Mvar|ξ}}は{{Mvar|X{{sub|k}}}}の元であり、<math>\sigma_1,\ldots,\sigma_m</math>は<math>X_{1-k}</math>の元である。非対称なゲームは組

::<math>((X_0,\mathcal{E}_0),(X_1,\mathcal{E}_1))</math>

により定義される。

==== 対称化 ====
以上のように定義された非対称なゲーム<math>((X_0,\mathcal{E}_0),(X_1,\mathcal{E}_1))</math>に対し、利得関数の対称化を行う。このために記号を導入する。個体群戦略

:<math>\Pi=\sum_i\varepsilon_i\delta_{(\sigma_i,\tau_i)}</math>

に対し、

:<math>\pi_0(\Pi)=\sum_i\varepsilon_i\delta_{\sigma_i}</math>、
:<math>\pi_1(\Pi)=\sum_i\varepsilon_i\delta_{\tau_i}</math>

と書くことにする。関数

:<math>\rho~:~X_0\times X_1 \to [0,1]</math>

を一つ固定するとき、利得関数の組<math>(\mathcal{E}_0,\mathcal{E}_1)</math>を<math>\rho</math>'''により対称化した利得関数'''を

::<math>\mathcal{E}((\xi_0,\xi_1),\Pi)=
\rho(\xi_0,\xi_1)\mathcal{E}_0(\xi_0,\pi_1(\Pi))
+
(1-\rho(\xi_0,\xi_1))\mathcal{E}_1(\xi_1,\pi_0(\Pi))
</math>

により定義する<ref name=":11">[[進化的に安定な戦略#BR13|BR13]] p.142.</ref>。直観的には<math>\rho(\xi_0,\xi_1)</math>は個体戦略<math>(\xi_0,\xi_1)\in X_0\times X_1</math>を取っている個体が立場0になる確率である。

なお、対称化が定数関数

:<math>\rho=\text{const.}</math>

を用いて行われた場合、この対称化は'''戦略-立場独立'''(strategy-role independent<ref name=":11" />)であるという。
<br />

==== 進化的安定性 ====
非対称なゲームに関する進化的安定性は、対称化したゲームの進化的安定性により定義する。すなわち個体戦略<math>(\xi_*,\nu_*)\in X_1\times X_2</math>が'''進化的安定'''であるとは、戦略空間が<math>X_1\times X_2</math>であり利得関数が<math>\mathcal{E}</math>であるゲームに関して進化的安定である事を指す<ref name=":11" />。もちろんこの進化的安定性の概念は関数<math>\rho</math>に依存しており、<math>\rho</math>が異なれば進化的安定性の概念も異なる。
<br />

==== 一般化 ====
これまで非対称なゲームを考察するに当たって、同じ立場にいる個体同士が闘争しないことを暗に仮定していた。すなわち、自分が立場0にいる時は立場1にいる個体と闘争し、立場1にいるときは立場0にいる個体と闘争する、という事である。しかし一般にはこれが成立しない場合もある。この場合には、4つの利得関数<math>\mathcal{E}_{00},~
\mathcal{E}_{10},~
\mathcal{E}_{01},~
\mathcal{E}_{11}</math>を考え、

:<math>\mathcal{E}((\xi_0,\xi_1),\Pi)=
\sum_{i,j}
\rho_{i,j}(\xi_0,\xi_1)\mathcal{E}_{i,j}(\xi_i,\pi_j(\Pi))
</math>

として対称化をはかる<ref>[[進化的に安定な戦略#BR13|BR13]] p.144.</ref>。ここで<math>\rho_{i,j}~:~X_0\times X_1 \to [0,1]
</math>は<math>\textstyle\sum_{i,j}\rho_{i,j}(\xi_0,\xi_1)=1
</math>を満たす関数である。

直観的には<math>\mathcal{E}_{ij}</math>は自分が立場{{Mvar|i}}、闘争相手が立場{{Mvar|j}}にいるときの利得関数で、<math>\rho_{i,j}(\xi_0,\xi_1)</math>は自分が個体戦略<math>(\xi_0,\xi_1)\in X_0\times X_1</math>を取っている際に、自分が立場{{Mvar|i}}、闘争相手が立場{{Mvar|j}}になる確率である。

<br />

== <span class="anchor" id="レプリケーターダイナミクス"></span>レプリケーター方程式(Replicator Equation)と進化的安定性 ==
<!-- この節見出しのアンカーはリダイレクトページ「レプリケーターダイナミクス」を介して他のページからのリンクに使われています。これは # によるセクションリンクを妨げることはありませんので除去しないでください。 -->
'''レプリケーターダイナミクス'''(replicator dynamics、'''自己複製子動学'''<ref>{{Cite web|和書|url=http://www.orsj.or.jp/~wiki/wiki/index.php/%E3%80%8A%E9%80%B2%E5%8C%96%E3%81%A8%E5%AD%A6%E7%BF%92%E3%81%AE%E3%82%B2%E3%83%BC%E3%83%A0%E7%90%86%E8%AB%96%E3%80%8B|title=進化と学習のゲーム理論|accessdate=2019/3/6|website=OR事典Wiki|publisher=社団法人 日本オペレーションズ・リサーチ学会 OR事典編集委員会}}</ref>)は与えられた個体群内の各個体が取る戦略の頻度分布（すなわち、前章までの言葉で言えば個体群戦略）がどのように時間発展するかを定式化したモデルで、このモデルにおいて頻度分布の時間発展を記述する方程式を'''レプリケーター方程式'''([[:En:Replicator equation|replicator equation]])という。本節では「離散型」、「連続型」の２種類のレプリケーター方程式を紹介し、行列ゲームにおいて連続レプリケーター方程式の解の収束先と進化的安定性の関係を述べる。

<br />

=== レプリケーター方程式 ===
本節では以下の２種類のレプリケーター方程式を紹介する：

*'''離散レプリケーター方程式'''（discrete replicator equation）：無性生殖する個体群の戦略の頻度分布を（オーバーラップのない）「世代」という離散的な時間で記述できると仮定した場合の方程式<ref name=":13">[[進化的に安定な戦略#BR13|BR13]] pp.29-31.</ref>
*'''連続レプリケーター方程式'''（continuous replicator equation）：個体数が十分大きいため世代がオーバーラップし、連続的な時間によって（無性生殖する）個体群の戦略の頻度分布を記述できると近似した場合における方程式<ref name=":13" />

==== 離散レプリケーター方程式 ====
離散レプリケーター方程式を定式化するために、以下のような個体群を考える：

# 個体群の構成が世代{{Math|''1'', ''2'', ...}}によって記述でき、各世代にはオーバーラップがない。すなわち世代{{Mvar|t}}に生きた個体は{{Math|''t''+''1''}}には全て死滅し、世代{{Math|''t''+''1''}}は世代{{Mvar|t}}に生まれた個体の子供のみから構成される<ref name=":13" />。
# 個体群内の各個体は有限個の純粋戦略{{Math|''1'', ..., ''n''}}のいずれかを取り、混合戦略は取らない<ref name=":13" />
#この個体群は無性生殖によって子孫を残す<ref name=":13" />
# この個体群には突然変異が生じないもの<ref name=":13" />


この個体群において世代{{Mvar|t}}で（純粋）戦略{{Mvar|i}}を取る個体の割合を<math>p_i(t)</math>と表記すると、この個体群における戦略の分布

:<math>\mathbf{p}(t)=(p_1(t),\ldots,p_n(t))
</math>

と記述できる<ref group="注">前節までは<math>\mathbf{p}(t)
</math>を<math>\textstyle\sum_i p_i(t)\delta_i
</math>という記号で表記していたが、本節では記号を単純にする為、上述のようなベクトル表記で表す。</ref>。

この個体群で戦略{{Mvar|i}}を取る各個体の利得を<math>f_i(\mathbf{p}(t))</math>と表記し、<math>f_i(\mathbf{p}(t))</math>に関して以下の仮定を置く：

* この個体群で世代{{Mvar|t}}において戦略{{Mvar|i}}を取る個体が残す事ができる子供の数は利得<math>f_i(\mathbf{p}(t))</math>に等しい

このように仮定すると、個体群のうち割合<math>p_i(t)</math>の個体が、それぞれ<math>f_i(\mathbf{p}_i(t))</math>の子供を残すのだから、世代{{Math|''t''+''1''}}において戦略{{Math|''1'', ..., ''n''}}を取る個体の比率は

:<math>p_1(t)f_1(\mathbf{p}(t))~:~\cdots~:~p_n(t)f_n(\mathbf{p}(t))
</math>

となる。ここで我々は

* 仮定3.により、（突然変異を例外とすれば）子供は親と同じ遺伝子を持つため、親と同じ戦略を取り
* 仮定4.により突然変異が起こらない

事を利用した。以上より世代世代{{Math|''t''+''1''}}において戦略{{Mvar|i}}を取る個体の割合は、以下の'''離散レプリケーター方程式'''に従う<ref name=":13" />：{{Equation box 1|border|indent=::|equation=<math> p_i(t+1)={f_i(\mathbf{p}(t)) \over \bar{f}(\mathbf{p}(t))}p_i(t)~~~~~~\text{for }i=1,\ldots,n 
</math>|cellpadding=6|border colour=#0073CF|background colour=#F5FFFA}}

ここで

:<math>\bar{f}(\mathbf{p}(t))=\sum_jp_j(t)f_j(\mathbf{p}(t))
</math>

である<ref name=":13" />。

==== 離散レプリケーター方程式の分母 ====
分数は分母だと意味を持たないので、最後に離散レプリケーター方程式の分母について触れておく。離散レプリケーター方程式の直観的な意味から、利得の期待値<math>f_i(\mathbf{p}(t))</math>は

:<math>f_i(\mathbf{p}(t))\ge 0
</math>

を満たす必要がある。また<math>p_i(t)</math>は割合であったので<math>1\ge p_i(0) \ge 0</math>であり、数学的帰納法により、離散レプリケーター方程式の分母が0になる世代{{Mvar|t}}の直前までは

:<math>1\ge p_i(t) \ge 0</math>

が成立する事も示せる。したがって離散レプリケーター方程式の分母が0になる場合、すなわち

:<math>\bar{f}(\mathbf{p}(t))=\sum_jp_j(t)f_j(\mathbf{p}(t))=0
</math>

の場合は、正の数の和が0である事になるので、

:<math>p_1(t)f_1(\mathbf{p}(t))=\cdots=p_n(t)f_n(\mathbf{p}(t))=0
</math>

が成立する。これは各{{Mvar|i}}に対し、<math>p_i(t)</math>か<math>f_i(\mathbf{p}(t))
</math>のいずれかが0である事を意味する。<math>p_i(t)=0</math>であれば、純粋戦略{{Mvar|i}}を取る個体は絶滅した事になるので、任意の{{Mvar|s>t}}に対し、<math>p_i(s)=0</math>である。また<math>f_i(\mathbf{p}(t))=0
</math>であれば、純粋戦略{{Mvar|i}}を取る個体が世代{{Mvar|t}}で残せた子供の数<math>f_i(\mathbf{p}(t))
</math>が0である事を意味するので、やはり任意の{{Mvar|s>t}}に対し、<math>p_i(s)=0</math>である。結局、離散レプリケーター方程式の分母が0になるという事は個体群の全ての個体が絶滅した場合に相当する。

==== 連続レプリケーター方程式 ====
連続レプリケーター方程式を定式化する為、離散レプリケーター方程式の節の2～4の仮定と以下の1'の仮定を満たす個体群を考える：

:1'. 個体数が十分大きいため世代がオーバーラップし、連続的な時間によって個体群の戦略の頻度分布を記述できる<ref name=":13" />

前節同様、（純粋）戦略{{Mvar|i}}を取る個体の割合を<math>p_i(t)</math>と表記し、<math>\mathbf{p}(t)=(p_1(t),\ldots,p_n(t))
</math>とし、この個体群で戦略{{Mvar|i}}を取る各個体の利得を<math>f_i(\mathbf{p}(t))</math>と表記する。

利得<math>f_i(\mathbf{p}(t))</math>に関して前節のものと似た以下の仮定を置く：

* この個体群で時刻{{Mvar|t}}において戦略{{Mvar|i}}を取る個体の増加率は利得<math>f_i(\mathbf{p}(t))</math>に等しい

個体群に属する個体数が十分に大きいと仮定しているので、個体数{{Mvar|N(t)}}は{{Mvar|t}}に関して微分可能な連続量であるとみなして差し支えないので<ref name=":13" />、<math>N_i(t)=p_i(t)N(t)</math>とすると、上述の仮定から、

:<math>{\mathrm{d}\over \mathrm{d} t}N_i(t)=f_i(\mathbf{p}(t))N_i(t) 
</math>    …{{EquationRef|(Eq-R1)}}

が成立する<ref name=":13" />。記号を簡単にするため、時間微分を<math>\dot{N}_i(t)
</math>のようにドットで書くことにすると、{{EquationNote|(Eq-R1)}}と<math>N_i(t)=p_i(t)N(t)</math>より、

:<math>\dot{p}_i(t)={\mathrm{d}\over \mathrm{d} t}\left({N_i(t)\over N(t)}\right)
={\dot{N}_i(t)-p_i(t)\dot{N}(t)\over N(t)}

</math><math>={f_i(\mathbf{p}(t))N_i(t)-p_i(t)\dot{N}(t)\over N(t)}
=p_i(t)\left(f_i(\mathbf{p}(t))-{\dot{N}(t)\over N(t)}\right) 
</math>

が成立し、しかも{{EquationNote|(Eq-R1)}}から

:<math>{\dot{N}(t)\over N(t)}
=\sum_j{\dot{N}_j(t)\over N(t)}
=\sum_jf_j(\mathbf{p}(t))p_j(t)
</math>  

でもあるので、以下の'''連続レプリケーター方程式'''が成立する<ref name=":13" />：{{Equation box 1|border|indent=::|equation=<math> {\mathrm{d}p_i\over \mathrm{d}t}(t)=(f_i(\mathbf{p}(t))-\bar{f}(\mathbf{p}(t)))p_i(t)~~~~~~\text{for }i=1,\ldots,n </math>|cellpadding=6|border colour=#0073CF|background colour=#F5FFFA}}

ここで

:<math>\bar{f}(\mathbf{p}(t))=\sum_jp_j(t)f_j(\mathbf{p}(t))
</math>

である<ref name=":13" />。なお、適切な条件下では離散レプリケーター方程式の極限として連続レプリケーター方程式が得られる事が知られている<ref name=":13" /><ref>[[進化的に安定な戦略#PS94|PS94]] p.949.</ref>。

=== 行列ゲームの連続レプリケーター方程式と進化的安定性 ===
本節の目標は、行列ゲームに対し、レプリケーター方程式の解が進化的安定な状態へと収束する条件を見る事である。なお、行列ゲーム以外のゲームに関してはこのような収束性は成り立つとは限らない<ref name=":14">[[進化的に安定な戦略#BR13|BR13]] p.43.</ref>。その理由の一端は、（後述するように）レプリケーター方程式が純粋戦略のみを取る個体群を想定しているのに対し、進化的安定性の定義では混合戦略をも考慮する事が多いからである<ref name=":14" />。したがって単型-多型同値が成り立たない系では、レプリケーター方程式による解析と進化的安定性とが一致しない可能性がある<ref name=":14" />。

==== 行列ゲームにおける連続レプリケーター方程式 ====
まず行列ゲームに対する連続レプリケーター方程式を記述する。{{Math|''n''×''n''}}の行列<math>A=(a_{ij})_{i,j}
</math>と{{Mvar|n}}行の縦ベクトル{{Mvar|'''p'''}}に対し、積{{Mvar|A'''p'''}}の第{{Mvar|i}}行を

:<math>(A\mathbf{p})_i
</math>

という記号で書くことにすると、利得関数が

:<math>E(i,j)=a_{ij}
</math>

と記述できる行列ゲームにおいて、純粋戦略{{Mvar|i}}を取る個体の利得の期待値<math>f_i(\mathbf{p}(t))</math>は明らかに

:<math>f_i(\mathbf{p}(t))=(A\mathbf{p}(t))_i</math>

なので、行列ゲームにおける連続レプリケーター方程式は

:<math>{\mathrm{d}p_i\over \mathrm{d}t}(t)=((A\mathbf{p}(t))_i-\mathbf{p}(t)^{T}A\mathbf{p}(t))p_i(t)~~~~~~\text{for }i=1,\ldots,n</math>　      …{{EquationRef|(Eq-R2)}}

と記述できる<ref name=":13" /><ref>[[#HS03|HS03]] p.481.</ref>。ここで<math>\mathbf{p}(t)^{T}</math>は<math>\mathbf{p}(t)</math>を[[転置行列|転置]]した横ベクトルである。

==== 解の性質 ====
本節では{{EquationNote|(Eq-R2)}}と進化的安定性の関係性を調べるため、{{EquationNote|(Eq-R2)}}に関する性質を述べる。まず<math>p_i(t)</math>は純粋戦略{{Mvar|i}}を取る個体の割合であったから、<math>\mathbf{p}(t)</math>の初期値<math>\mathbf{p}(0)</math>は

:<math>\Delta_n=\left\{(p_i)_{i=1,\ldots,n} \Bigg| 0\le p_1,\ldots,p_n \le 1,~ \sum_{i=1}^np_i=1 \right\}</math>　　　　...({{EquationNote|Eq-G1}}、再掲)

の元である。{{EquationNote|(Eq-R2)}}は行列によって記述できる[[常微分方程式]]であるので、（少なくとも初期値の近傍では）解が存在し、しかもその解は一意である（[[:En:Picard–Lindelöf theorem|Picard–Lindelöf theorem]]）<ref>{{Cite web|和書|url=http://www.nsc.nagoya-cu.ac.jp/~hashimot/syllabus-gs/text/GS-ODE.pdf|title=第三章　常微分方程式の解の存在と一意性|accessdate=2019/03/04|publisher=[[名古屋市立大学]]|author=橋本佳明|page=23|format=pdf}}</ref>。

解の一意性から、{{EquationNote|(Eq-R2)}}における時間発展で２つの超平面

:<math>\{(p_i)_{i=1,\ldots,n} | \textstyle \sum_{i=1}^np_i=1 \}</math>

:<math>\{(p_i)_{i=1,\ldots,n} | p_i=0 \}</math>

が保存される事を簡単に示せるので、以下が明らかに従う<ref name=":15">[[#HS03|HS03]] p.482.</ref>：{{math theorem|{{EquationNote|(Eq-R2)}}の初期値<math>\mathbf{p}(0)</math>が<math>\Delta_n</math>の境界
:<math>\partial\Delta_n=\left\{(p_i)_{i=1,\ldots,n} \Bigg| 0\le p_1,\ldots,p_n \le 1,~ \sum_{i=1}^np_i=1, \exist i\in\{1,\ldots,n\}~:~ p_i=0 \right\}</math>
に属していれば任意の時刻{{mvar|t}}に対し、<math>\mathbf{p}(t)</math>は<math>\partial\Delta_n</math>に属している。|name={{EquationRef|定理R1}}}}ここから明らかに次の系が従う<ref name=":15" />：{{math theorem|{{EquationNote|(Eq-R2)}}の初期値<math>\mathbf{p}(0)</math>が<math>\Delta_n</math>の内部
<math>{\Delta_n}^{\circ}=\Delta_n\setminus\partial\Delta_n</math>
に属していれば任意の時刻{{mvar|t}}に対し、<math>\mathbf{p}(t)</math>は<math>{\Delta_n}^{\circ}</math>に属している。|name={{EquationRef|系R2}}}}<math>\Delta_n</math>は[[コンパクト空間|コンパクト]]であるので、以上の性質と前述の解の局所的存在性・一意性から次が従う：{{math theorem|{{EquationNote|(Eq-R2)}}は任意の初期値<math>\mathbf{p}(0)\in\Delta_n</math>に対し、任意の時刻{{mvar|t}}において解が一意に存在する。|name={{EquationRef|定理R3}}}}次の事実も知られている<ref>[[進化的に安定な戦略#HS03|HS03]] p.484.</ref>：{{math theorem|写像
:<math>\{(p_1,\ldots,p_n)\in \Delta_n |p_n>0 \}\to\mathbf{R}_{>0}{}^{n-1},~~(p_1,\ldots,p_n)\mapsto (p_1/p_n,\ldots,p_{n-1}/p_n)</math>
により、行列<math>A=(a_{ij})_{i,j}</math>により記述される行列ゲームの連続レプリケーター方程式{{EquationNote|(Eq-R2)}}の解は[[:en:Generalized Lotka–Volterra equation|一般化されたロトカ・ヴォルテラの方程式]]
: <math>{\mathrm{d}y_i\over \mathrm{d}t}(t)=y_i(t)(r_i+\textstyle \sum_{j=1}^{n-1} c_{ij}y_j(t))~~~~\text{for }i=1,\ldots,n-1</math>
の解に写る。ここで
: <math>r_i=a_{in}-a_{nn},~~c_{ij}=a_{ij}-a_{nj}</math>|name={{EquationRef|定理R4}}（行列ゲームの連続レプリケーター方程式と一般化されたロトカ・ヴォルテラの方程式との関係性）}}<br />

==== 進化ゲーム理論のフォーク定理 ====
{{EquationNote|(Eq-R2)}}と進化的安定性の関係を述べるため、以下の概念を定義する。なお以下で、<math>\mathbf{p}(t)</math>は初期値が<math>\mathbf{p}(0)</math>であるときの{{EquationNote|(Eq-R2)}}の（必ず存在する一意な）解である<ref name=":15" />：{{math theorem|<math>\mathbf{p}_0</math>を<math>\Delta_n</math>の元とする。このとき
* 初期値が<math>\mathbf{p}_0</math>である{{EquationNote|(Eq-R2)}}の（必ず存在する一意な）解が時刻{{mvar|t}}に依存せず、常に<math>\mathbf{p}_0</math>に留まるとき、<math>\mathbf{p}_0</math>は{{EquationNote|(Eq-R2)}}の'''停留点'''(rest point)であるという。
* 停留点<math>\mathbf{p}_0</math>のある近傍{{mvar|U}}、{{mvar|V}}が存在し、<math>\mathbf{p}(0)\in V</math>であれば<math>\mathbf{p}(t)\in U</math>が任意の<math>\mathbf{p}(0)\in V</math>、{{math|''t''>''0''}}に対して成立する時、<math>\mathbf{p}_0</math>は'''安定'''(stable)であるという。
* 停留点<math>\mathbf{p}_0</math>のある近傍{{mvar|U}}が存在し、任意の<math>\mathbf{p}(0)\in U</math>に対し、<math>t\to\infty</math>のとき<math>\mathbf{p}(t)\to\mathbf{p}_0</math>が成立する時、<math>\mathbf{p}_0</math>は'''attracting'''であるという。
* 停留点<math>\mathbf{p}_0</math>が安定でかつattractingなとき'''漸近的に安定'''(asymptotically stable)もしくは'''[[アトラクター]]'''(attractor)であるという。
* 停留点<math>\mathbf{p}_0</math>が'''大域的に安定'''(grobally stable)であるとは、<math>\mathbf{p}_0</math>が安定であり、<math>\Delta_n{}</math>の内部<math>\Delta_n{}^{\circ}</math>に属する任意の<math>\mathbf{p}(t)</math>に対し、<math>\mathbf{p}(t)\to\mathbf{p}_0</math>であるときにいう。
|name={{EquationRef|定義R5}}}}なお大域的安定性の定義で<math>\Delta_n</math>の境界<math>\partial \Delta_n</math>の点に対して<math>\mathbf{p}_0</math>への収束性を求めないのは、{{EquationNote|定理R1}}で述べたように、<math>\partial \Delta_n</math>の点は{{EquationNote|(Eq-R2)}}における時間発展で<math>\partial \Delta_n</math>に留まり続ける為、<math>\mathbf{p}_0</math>に収束することはありえないからである<ref name=":15" />。



このとき次が成立する<ref name=":15" /><ref name=":14" />。なおゲーム理論にも「[[フォーク定理]]」という名称の定理があるが、下のものはこれとは無関係の定理である<ref group="注">一般に「証明をつけようと思えばつけられると誰もが思っているが、実際には誰一人としてその証明をつけたことがない定理」のことを folklore (民間伝承) と呼ぶので、両定理ともフォーク定理と呼ばれている。</ref>。
<br />{{math theorem|<math>A=(a_{ij})_{i,j}</math>を<math>n\times n</math>の行列とし、利得関数が
: <math>E(i,j)=a_{ij}</math>
で定義される行列ゲームを考え、さらに{{mvar|A}}を用いて{{EquationNote|(Eq-R2)}}のように定義される連続レプリケーター方程式を考え、さらに<math>\mathbf{p}_0</math>を<math>\Delta_n</math>の元とする。このとき
* <math>\mathbf{p}_0</math>が行列ゲームのナッシュ均衡点であれば<math>\mathbf{p}_0</math>は停留点である
* <math>\mathbf{p}_0</math>が行列ゲームの狭義ナッシュ均衡点であれば<math>\mathbf{p}_0</math>は漸近的安定点である
* <math>\mathbf{p}_0\in \Delta_n{}^{\circ}</math>が{{EquationNote|(Eq-R2)}}の何らかの解<math>\mathbf{p}(t)</math>の極限<math>\mathbf{p}(t)\to\mathbf{p}_0</math>であれば、<math>\mathbf{p}_0</math>は行列ゲームのナッシュ均衡点である
* <math>\mathbf{p}_0</math>が安定点であれば、<math>\mathbf{p}_0</math>は行列ゲームのナッシュ均衡点である|name={{EquationRef|定理R6}}（進化ゲーム理論のフォーク定理）}}すでに述べたように行列ゲームにおいては

:狭義ナッシュ均衡⇒進化的安定⇒ナッシュ均衡

という関係性が成立するので、上述の定理から連続レプリケーター方程式の解と進化的安定性との関係がある程度わかる事になる。

また以下も成立する<ref name=":14" />：{{math theorem|{{EquationNote|定理R6}}と同様の状況の元、
* <math>\mathbf{p}_0</math>が進化的安定であれば、漸近的に安定である
*<math>\mathbf{p}_0</math>が進化的安定でしかも<math>\Delta_n{}^{\circ}</math>に属していれば、<math>\mathbf{p}_0</math>は大域的に安定である|name={{EquationRef|定理R7}}}}

=== 行列ゲームの混合戦略に対する連続レプリケーター方程式と進化的安定性 ===

==== 混合戦略に対する連続レプリケーター方程式 ====
これまで我々は、着目している個体が純粋戦略を取る場合の連続レプリケーター方程式に関して考察してきたが、より一般に、有限個の混合戦略<math>\mathbf{q}_1,\ldots,\mathbf{q}_m\in \Delta_n</math>を取る個体がそれぞれ割合<math>x_1(t),\ldots,x_m(t)</math>で存在する個体群に対する連続レプリケーター方程式を考える事もできる<ref name=":17">[[進化的に安定な戦略#HS03|HS03]] p.486.</ref>：

:<math>{\mathrm{d}x_i\over \mathrm{d}t}(t)=\left(\mathbf{q}_i-\mathbf{q}_{\mathbf{x}}(t)\right)^{T}A\mathbf{q}_{\mathbf{x}}(t))x_i(t)~~~~~~\text{for }i=1,\ldots,m</math>　      …{{EquationRef|(Eq-R3)}}

ここで<math>\mathbf{q}_{\mathbf{x}}(t)</math>は'''平均混合戦略<ref name=":18" />'''

:<math>\mathbf{q}_{\mathbf{x}}(t)=\textstyle\sum_{j=1}^m x_j(t)\mathbf{q}_j</math>　      …

である<ref name=":17" />。{{EquationNote|(Eq-R3)}}の導出は{{EquationNote|(Eq-R2)}}のそれと同様なので省略する。

==== 進化的安定性との関係 ====
{{EquationNote|(Eq-R3)}}において{{Math|1=''m''=''2''}}であれば、<math>x=x_1(t)</math>、<math>\mathbf{q}=\mathbf{q}_1</math>、<math>\hat{\mathbf{q}}=\mathbf{q}_2</math>と略記すると、<math>x_2=1-x</math>なので、{{EquationNote|(Eq-R3)}}に登場する{{Math|1=''m''=''2''}}本の式はいずれも

:<math>\dot{x}
=x(1-x)\{x(\mathbf{q}-\hat{\mathbf{q}})^{T}A\mathbf{q}+(1-x)(\mathbf{q}-\hat{\mathbf{q}})^{T}A\hat{\mathbf{q}})\}</math>　      …{{EquationRef|(Eq-R4)}}　      

に同値である事が簡単な計算から確かめられる<ref name=":17" />。このとき、次が成立する事が知られている<ref name=":17" />：{{math theorem|行列{{mvar|A}}に関する行列ゲームにおいて混合戦略<math>\hat{\mathbf{q}}</math>が混合戦略<math>\mathbf{q}</math>に対して進化的安定である必要十分条件は{{EquationNote|(Eq-R4)}}が漸近的に安定である事である。|name={{EquationRef|定理R8}}}}

=== 行列ゲームの混合戦略に対する離散レプリケーター方程式と進化的安定性 ===

==== 行列ゲームの純粋戦略に対する離散レプリケーター方程式 ====
混合戦略に関して考察する前に、まず本節では行列ゲームの純粋戦略に対する離散レプリケーターを導出する。純粋戦略{{Mvar|i}}を取る個体の割合を<math>p_i(t)</math>と表記し、<math>\mathbf{p}(t)=(p_1(t),\ldots,p_n(t))
</math>とし、この個体群で戦略{{Mvar|i}}を取る各個体の利得を<math>f_i(\mathbf{p}(t))</math>と表記する。

{{Math|''n''×''n''}}の行列<math>A=(a_{ij})_{i,j}
</math>を用いて利得関数が

:<math>E(i,j)=a_{ij}
</math>

と書ける行列ゲームにおいて、純粋戦略{{Mvar|i}}を取る個体の利得の期待値<math>f_i(\mathbf{p}(t))</math>は明らかに

:<math>f_i(\mathbf{p}(t))=(A\mathbf{p}(t))_i</math>

なので、これを利用して離散レプリケーター方程式の具体的な形を書き下す事ができる。より一般に各個体が行列ゲームの利得以外に「背景利得」(background payoff){{Mvar|β}}を得られる場合、すなわち

:<math>f_i(\mathbf{p}(t))=(A\mathbf{p}(t))_i+\beta</math>

の場合には、離散レプリケーター方程式の具体的な形は

:<math>p_i(t+1)={(A\mathbf{p}(t))_i +\beta \over \mathbf{p}(t)^TA\mathbf{p}(t) +\beta }p_i(t)~~~~~~\text{for }i=1,\ldots,n </math>　　      …{{EquationRef|(Eq-R5)}}　 

である<ref name=":13" /><ref>[[進化的に安定な戦略#HS03|HS03]] p.503.</ref>。

==== 行列ゲームの混合戦略に対する離散レプリケーター方程式 ====
連続レプリケーター方程式の「純粋戦略版」である{{EquationNote|(Eq-R2)}}から「混合戦略版」の{{EquationNote|(Eq-R3)}}を導いたのと同様の方法で、離散レプリケーター方程式の「混合戦略版」を「純粋戦略版」である{{EquationNote|(Eq-R5)}}から導くことができる。

すなわち、有限個の混合戦略<math>\mathbf{q}_1,\ldots,\mathbf{q}_m\in \Delta_n</math>を取る個体が世代{{Mvar|t}}においてそれぞれ割合<math>x_1(t),\ldots,x_m(t)</math>だけ存在する個体群を考え、<math>\mathbf{x}(t)=(x_1(t),\ldots,x_m(t))^T</math>とするとき、混合戦略<math>\mathbf{q}_i</math>を取る個体の利得の期待値<math>f_i(\mathbf{x}(t))</math>は'''平均混合戦略<ref name=":18" />'''

:<math>\mathbf{q}_{\mathbf{x}}(t)=\textstyle\sum_{j=1}^m x_j(t)\mathbf{q}_j</math>　      …

を用いて

:<math>f_i(\mathbf{x}(t))
=\sum_jx_j(t)E(\mathbf{q}_i(t),\mathbf{q}_j(t)))+\beta
=\mathbf{q}_i(t)^TA\mathbf{q}_{\mathbf{x}}(t)+\beta</math>

と表記できるので、

:<math>x_i(t+1)={\mathbf{q}_i^TA\mathbf{q}_{\mathbf{x}}(t)+\beta \over\mathbf{q}_{\mathbf{x}}^TA\mathbf{q}_{\mathbf{x}}(t)+\beta}x_i(t)~~~~~~\text{for }i=1,\ldots,m </math>　　      …{{EquationRef|(Eq-R6)}}　

となる。なお{{EquationNote|(Eq-R6)}}より明らかに比の等式

:<math>{x_1(t+1)\over x_1(t)}
~:~\cdots~:~
{x_m(t+1)\over x_m(t)}
=
E(\mathbf{q}_1,\mathbf{q}_{\mathbf{x}}(t))
~:~\cdots~:~
E(\mathbf{q}_m,\mathbf{q}_{\mathbf{x}}(t)) </math>　　      …{{EquationRef|(Eq-R7)}}　

が成立する。ここで

:<math>E(\mathbf{p},\mathbf{q})
=\mathbf{p}^TA\mathbf{q}+\beta 
 </math>   …{{EquationRef|(Eq-R8)}}　

である。上の比の等式は左辺に登場する分母<math>x_i(t)</math>が0である場合は意味を持たないが、前節でも述べたのと同様の議論により、<math>x_i(t)</math>が0になるのは混合戦略<math>\mathbf{q}_i</math>を取る個体が個体群から絶滅した事を意味するので、以降の{{Mvar|s}}に関しては常に<math>x_i(s)=0</math>であるものと解釈する。

==== 進化的安定性との関係性 ====
離散レプリケーター方程式と進化的安定性との関係を見るため、{{EquationNote|(Eq-R7)}}で{{Math|1=''m''=''2''}}であるケースを考え、<math>x(t)=x_1(t)</math>、<math>\mathbf{q}=\mathbf{q}_1</math>、<math>\hat{\mathbf{q}}=\mathbf{q}_2</math>と略記すると、<math>x_2(t)=1-x(t)</math>なので

:<math>{x(t+1)\over x(t)}
~:~
{1-x(t+1)\over 1-x(t)}
=
E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t))
~:~E(\hat{\mathbf{q}},\mathbf{q}_{\mathbf{x}}(t)) </math>　      …{{EquationRef|(Eq-R9)}}　

である<ref name=":18" />。ここで{{Mvar|E}}は{{EquationNote|(Eq-R7)}}のように定義されており、

:<math>\mathbf{q}_{\mathbf{x}}(t)
=x(t)\mathbf{q}
+(1-x(t))\hat{\mathbf{q}}</math>　      …

であり、{{EquationNote|(Eq-R9)}}の左辺の分母が0である場合の解釈は前節と同様であるものとする。また離散レプリケーター方程式の利得は子供の数を示していたので、

:<math>E(\mathbf{q},\mathbf{q}), ~\hat{E(\mathbf{q}},\hat{\mathbf{q}})
\ge 0 </math>　      

が成立する事を仮定する。このとき、次が成立する<ref name=":18">[[進化的に安定な戦略#PS94|PS94]] pp.938-940</ref>：{{math theorem|行列{{mvar|A}}によって定義される行列ゲームにおいて混合戦略<math>\hat{\mathbf{q}}</math>が進化的安定であり、<math>\hat{\mathbf{q}}</math>の <math>\mathbf{q}\neq\hat{\mathbf{q}}</math>に対する侵入障壁 <math>\varepsilon_0</math> と初期値 <math>x(0)</math>とが
:<math>x(0)<\varepsilon_0</math>
を満たせば、漸化式{{EquationNote|(Eq-R9)}}を満たす<math>x(t)</math>は<math>t\to\infty</math>のとき0に収束する。|name={{EquationRef|定理R9}}}}

上述の定理は、個体群において<math>\mathbf{q}\neq\hat{\mathbf{q}}</math>を取る個体の割合が進化的安定戦略<math>\hat{\mathbf{q}}</math>の侵入障壁よりも小さい時は、世代を重ねる事で<math>\mathbf{q}</math>を取る個体の割合が0に収束していく事を意味する。

{{Math proof|
まず簡単なケースとして、ある<math>t_0</math>において<math>x(t_0) = 0</math>が成立する場合を考える。{{EquationNote|(Eq-R9)}}の左辺の分母が0になったという事であり、この場合は<math>t_0</math>以上の全ての{{Mvar|t}}に対し<math>x(t)=0</math>であるとしていたので、明らかに目的の収束性<math>x(t)\to 0</math>が従う。よって以下、<math>x(t) \neq 0</math>が全ての{{Mvar|t}}に対して成立する場合のみを議論する。{{EquationNote|(Eq-R9)}}を変形すると、{{EquationNote|(Eq-R6)}}と同様の式

:<math>x(t+1)
={E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t)) \over E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))}\cdot x(t)

</math> 　…{{EquationRef|(Eq-RP1)}}

が従う。これをさらに変形して

:<math>x(t)-x(t+1)
={E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
- E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t))
\over E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))}\cdot x(t)

</math>　　…{{EquationRef|(Eq-RP2)}}

を得る。{{EquationNote|(Eq-RP2)}}の分母は

:<math> E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
=x(t)^2E(\mathbf{q},\mathbf{q})
+x(t)(1-x(t))E(\mathbf{q},\hat{\mathbf{q}})
+x(t)(1-x(t))E(\hat{\mathbf{q}},\mathbf{q})
+(1-x(t))^2E(\hat{\mathbf{q}},\hat{\mathbf{q}}) \ge 0

</math>

を満たし、<math> E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
= 0

</math>の場合は既に述べたように{{Mvar|s>t}}に対し<math>x(s)=0</math>であるので、以下

:<math> E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
>0

</math>

であるとしてよい。


次に我々は{{EquationNote|(Eq-RP2)}}式を利用する事で、<math>x(t)</math>が[[単調減少|狭義単調減少]]であるための条件を調べる。<math>[0,1]</math>区間に属する<math>x(t)</math>が単調減少であれば[[単調収束定理|<math>x(t)</math>は何らかの非負の実数に収束するので]]、我々が知りたかった<math>x(t)</math>の収束性に関する情報が得られるからである。

解析を簡単にするため、しばらくの間<math>x(t)\neq 1</math>を仮定する。

狭義単調減少性<math>x(t+1)<x(t)</math>を満たす必要十分条件は、{{EquationNote|(Eq-RP2)}}式の右辺が{{Mvar|t}}によらず正になる事である。我々は{{EquationNote|(Eq-RP2)}}式の分母<math> E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))


</math>が正である事をすでに示した。したがって{{EquationNote|(Eq-RP2)}}式の右辺が正であるのは、<math>(E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
- E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t))
) x(t)

</math>の場合である。割合<math>x(t)</math>は<math>0\le x(t)\le 1</math>を満たしており、我々は<math>x(t)\neq 0</math>のケースを考えていたので、結局<math>x(t+1)<x(t)</math>となる必要十分条件は

:<math>E(\mathbf{q}_{\mathbf{x}}(t),\mathbf{q}_{\mathbf{x}}(t))
- E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t))
 >0

</math>　…{{EquationRef|(Eq-RP3)}}　　…

となる事である。<math>\tau_t</math>の定義より、{{EquationNote|(Eq-RP3)}}式の左辺は

:<math>(1-x(t))(E(\hat{\mathbf{q}},\mathbf{q}_{\mathbf{x}}(t))
- E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t)))
 >0

</math>

に等しい。前述のように<math>0\le x(t)\le 1</math>で、<math>x(t)\neq 1</math>を仮定していたので、{{EquationNote|(Eq-RP3)}}が成立する必要十分条件は

:<math>E(\hat{\mathbf{q}},\mathbf{q}_{\mathbf{x}}(t))
- E(\mathbf{q},\mathbf{q}_{\mathbf{x}}(t))
 >0

</math>　

となる事である。再び<math>\mathbf{q}_{\mathbf{x}}(t)
</math>の定義より、上式が成り立つ必要十分条件は

:<math>E(\hat{\mathbf{q}},(1-x(t))\hat{\mathbf{q}}+x(t)\mathbf{q})>E(\mathbf{q},(1-x(t))\hat{\mathbf{q}}+x(t) \mathbf{q})

</math>　…{{EquationRef|(Eq-RP4)}}　

が成立する事である。

以上の議論から<math>x(t)\neq 1</math>であれば、<math>x(t+1)<x(t)</math>である必要十分条件は{{EquationNote|(Eq-RP4)}}が成立する事である事がわかった。

よって特に、

: 「<math>x(t)\neq 1</math>かつ{{EquationNote|(Eq-RP4)}}が成立」⇒「<math>x(t+1)<x(t)</math>が成立」　　　…{{EquationRef|(Eq-RP5)}}　

が結論づけられる。

さて、仮定より、<math>x(0)</math>は進化的安定戦略<math>\hat{\mathbf{q}}
</math>の<math>\mathbf{q}\neq \hat{\mathbf{q}}</math>に対する参入障壁<math>\varepsilon_0</math>に対して<math>0\le x(0)< \varepsilon_0</math>を満たしていた。これはすなわち<math>t=0

</math>に対し{{EquationNote|(Eq-RP4)}}が成立する事を意味し、当然<math>x(t)\neq 1</math>でもあるので、{{EquationNote|(Eq-RP5)}}より、<math>x(1) < x(0)< \varepsilon_0</math>が成立する。よって再び進化的安定性より{{EquationNote|(Eq-RP4)}}が成立し、<math>x(1)\neq 1</math>も成立するので{{EquationNote|(Eq-RP5)}}より、<math>x(2)<x(1)<x(0)<\varepsilon_0</math>も成立する。以下同様に考える事で[[数学的帰納法]]により、<math>x(t+1)<x(t)</math>が任意の{{Mvar|t}}に対して成立する事がわかる。すなわち<math>x(t)</math>は狭義単調減少である。

[[単調収束定理|非負の単調減少列は収束する]]ので、<math>x(t)</math>は{{Math|''t''→∞}}の極限<math>x_\infty</math>を持ち、<math>0\le x_\infty<\varepsilon</math>である。

<math>0\le x_\infty<\varepsilon</math>である事から、再び進化的安定性より

:<math>E(\hat{\mathbf{q}},(1-x_{\infty})\hat{\mathbf{q}}+x_{\infty}\mathbf{q})>E(\mathbf{q},(1-x_{\infty})\hat{\mathbf{q}}+x_{\infty} \mathbf{q})

</math>

である。したがって

:<math>\mathbf{r}_\infty :=(1-x_\infty)\hat{\mathbf{q}}+ x_\infty\mathbf{q}</math>　

とすれば、

:<math>E(\hat{\mathbf{q}},\mathbf{r}_\infty)>E(\mathbf{q},\mathbf{r}_\infty)

</math>

である。

<math>0\le x_\infty<\varepsilon</math>より、

:<math>E(\mathbf{r}_\infty,\mathbf{r}_\infty)
=(1-x_\infty)E(\hat{\mathbf{q}},\mathbf{r}_\infty)+ x_\infty E(\mathbf{q},\mathbf{r}_\infty)
>(1-x_\infty)E(\mathbf{q},\mathbf{r}_\infty)+x_\infty E(\mathbf{q},\mathbf{r}_\infty)
= E(\mathbf{q},\mathbf{r}_\infty)
</math>　…{{EquationRef|(Eq-Rp6)}}　

である。一方{{EquationNote|(Eq-RP1)}}の分母を払って極限を取ると

: <math>E(\tau_\infty,\tau_\infty)\cdot x_{\infty}
=E(\sigma,\tau_\infty) \cdot x_\infty

</math>　

が成立する。<math>x_\infty\neq 0</math>であれば上式両辺を<math>x_\infty</math>で割る事ができるが、割った結果は{{EquationNote|(Eq-RP6)}}と矛盾する。したがって<math>x_t</math>の{{Math|''t''→∞}}における極限は<math>x_\infty= 0</math>である事が結論付けられる。|drop=yes}}

== 年表 ==

* 1972年：[[ジョン・メイナード＝スミス]]が自著「''On Evolution''」のエッセイ<ref>[[#S72|S72]]</ref>で進化的安定性にふれる
* 1973年：メイナード＝スミスと[[ジョージ・プライス (科学者)|ジョージ・プライス]]が進化的安定性を提唱した論文が<ref name="#1"/>[[ネイチャー]]に載る
* 1974年：メイナード＝スミスによるより長い論文が[[:en:Journal of Theoretical Biology|Journal of Theoretical Biology]]<ref>[[#S74|S74]]</ref>に載る
* 1982年：メイナード＝スミスが自著「[[:en:Evolution and the Theory of Games|Evolution and the Theory of Games]]」<ref>[[#S82|S82]]</ref>で更に詳しく説明

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2}}
=== 出典 ===
{{Reflist|30em}}

==参考文献==

=== 引用文献 ===

本稿全般に対する参考文献として下記のものがある：
*書籍
**[巌佐98] {{Cite book|ref=巌佐98|author=巌佐庸|title=数理生物学入門―生物社会のダイナミックスを探る|date=1998/3/1|year=|accessdate=|publisher=共立出版|isbn=978-4320054851|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=}}
**[山内12] {{Cite book|author=山内淳|title=進化生態学入門―数式で見る生物進化―|date=2012/10/24|year=|accessdate=2019/02/26|publisher=[[共立出版]]|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=|ref=山内12|isbn=978-4-320-05723-4}}
**[粕谷90] {{Cite book|author=粕谷英一|title=行動生態学入門|date=1990/10/1|year=|accessdate=2019/3/4|publisher=東海大学出版会|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=|ref=粕谷90|isbn=978-4486011316}}
**[BR13] {{Cite book|author=Mark Broom|title=Game-Theoretical Models in Biology|date=2013/4/24|publisher=Chapman and Hall/CRC|author2=Jan Rychtar|ref=BR13|isbn=978-1439853214|year=|accessdate=|author3=|author4=|author5=|author6=|author7=|author8=|author9=}}
**[S82] {{cite book|author=Maynard Smith, John|title=[[:en:Evolution and the Theory of Game|Evolution and the Theory of Game]]|date=|year=1982|accessdate=|publisher=Cambridge University Press|isbn=0-521-28884-3|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=|ref=S82|ASIN=B001CBJXSQ}} ※本稿執筆にはkindle版を参考にした。
*論文・レクチャーノート・サーベイ
**[CA16] {{Cite web|url=https://www.semanticscholar.org/paper/Evolutionary-Game-Theory-Prepared-for-the-Handbook/060ca97fc3da348d9b51db45571dce1a9e97e457|title=Evolutionary Game Theory Prepared for the Handbook on Dynamic Game Theory|accessdate=2018/09/03|author=Ross Cressman (Wilfrid Laurier University)|coauthors=Joe Apaloo (St Francis Xavier University)|date=2016/8|publisher=[[:en:Semantic Scholar|Semantic Scholar]]|ref=CA16}}
**[HS03] {{Cite journal|author=Josef Hofbauer, Karl Sigmund|year=|date=2003/7/10|title=EVOLUTIONARY GAME DYNAMICS|journal=BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY|volume=Volume 40, Number 4|page=|pages=479-519|ref=HS03}}
**[M07] {{Cite web|url=http://econ.biu.ac.il/files/economics/seminars/stability.pdf|title=Static Stability in Games|accessdate=2018/08/31|author=Igal Milchtaich|date=2007/12|format=pdf|publisher=[[バル＝イラン大学]]|ref=M07}}
**[M16] {{Cite web|url=https://www.biu.ac.il/soc/ec/wp/2008-04/2008-04.pdf|title=Static Stability in Symmetric and Population Games|accessdate=2018/08/31|author=Igal Milchtaich|date=2016/11|format=pdf|publisher=[[バル＝イラン大学]]|ref=M16}}
**[PS94] {{Cite web|url=http://www.ens-lyon.fr/DI/wp-content/uploads/2009/07/Chapter-28-Game-theory-and-evolutionary-biology.pdf|title=Chapter  28 GAME   THEORY    AND   EVOLUTIONARY BIOLOGY|accessdate=2018/08/31|author=Peter Hammerstein, Reihard Selten|year=1994|work=Handbook of Garne Theory,   Volume 2, Elsevier Science|publisher=[[高等師範学校 (フランス)|École normale supérieure]]|ref=PS94}}
**[S07] {{Cite web|url=https://www.ssc.wisc.edu/~whs/research/egt.pdf|title=Evolutionary Game Theory|accessdate=2019/02/19|publisher=University of Wisconsin|author=William H. Sandholm|date=2007/11/12|format=pdf|ref=S07}}

その他にも下記を参考にしたが、上に挙げたものの方がより詳しく記述されているため、参考にした箇所は限定的である：

*[A10] {{Cite web|url=https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-254-game-theory-with-engineering-applications-spring-2010/lecture-notes/MIT6_254S10_lec10.pdf|title=6.254:Game Theory with Engineering Applications Lecture 10: Evolution and Learning in Games|accessdate=2018年4月25日|author=Asu Ozdaglar|date=2010/3/9|format=pdf|publisher=[[マサチューセッツ工科大学]]|ref=A10}}
*[EK10] {{Cite web|url=http://www.cs.cornell.edu/home/kleinber/networks-book/networks-book-ch07.pdf|title=Chapter 7 Evolutionary Game Theory|accessdate=2018年4月25日|author=David Easley and Jon Kleinberg|year=2010|format=pdf|work=Networks, Crowds, and Markets: Reasoning about a Highly Connected World|publisher=[[:en:Cornell Tech|Cornell Tech]]|ref=EK10}}※Cambridge University Pressから出版された本のウェブ版
* [JCL14] {{Cite web|url=http://sig.umd.edu/publications/Jiang_CL_201406.pdf|title=On the Equivalence of Evolutionary Stable Strategies|accessdate=2018年4月25日|author=Chunxiao Jiang, Yan Chen, and K.J.Ray Liu|date=2014/6|format=pdf|publisher=IEEE COMMUNICATIONS LETTERS, VOL. 18, NO. 6|ref=JCL14}}

本稿で用いたゲーム理論の知識はどの教科書にも載っている初歩的な話に限定されているので、個別に引用する事はしなかったが、例えば下記の文献が参考になる（ただし進化的安定性については12章にお話的な記載があるのみ）：

*[岡田11] {{Cite book|ref=岡田11|author=岡田章|title=ゲーム理論 新版|date=2011/12|year=|accessdate=|publisher= 有斐閣|isbn=978-4-641-16382-9|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=}}

=== 原論文 ===
* [S72] {{cite book|author=John Maynard Smith|authorlink=:en:John Maynard Smith|title=On Evolution|date=|year=1972|accessdate=|publisher=Edinburgh University Press|isbn=0-85224-223-9|chapter=Game Theory and The Evolution of Fighting|author2=|author3=|author4=|author5=|author6=|author7=|author8=|author9=|ref=S72}}
* [SP73] {{cite journal|author=|year=1973|title=The logic of animal conflict|journal=Nature|volume=246|issue=5427|page=|pages=15–8|bibcode=1973Natur.246...15S|doi=10.1038/246015a0|author1=John Maynard Smith|authorlink1=:en:John Maynard Smith|author2=Price, G.R.|authorlink2=:en:George R. Price|ref=SP73}}[http://pi.unl.edu/~bdeng1/Teaching/math439/readingarticles/Mayn73.pdf (pdf)]
* [S74] {{cite journal|author=Maynard Smith, J.|year=1974|title=The Theory of Games and the Evolution of Animal Conflicts|journal=Journal of Theoretical Biology|volume=47|issue=1|pages=209–21|doi=10.1016/0022-5193(74)90110-6|pmid=4459582|ref=S74}}

=== さらなる理解の為に ===

* {{cite journal|last1=Hines|first1=WGS|year=1987|title=Evolutionary stable strategies: a review of basic theory|url=|journal=Theoretical Population Biology|volume=31|issue=2|pages=195–272|doi=10.1016/0040-5809(87)90029-3|pmid=3296292}}
*{{Cite book|ref=HS88|author=J. Hofbauer|title=Evolutionary Games and Population Dynamics|year=1988|publisher=Cambridge, U.K.: Cambridge Univ. Press|author2=K. Sigmund|author3=|author4=|author5=|author6=|author7=|author8=|author9=}}
* {{Cite book|last1=Leyton-Brown|first1=Kevin|title=Essentials of Game Theory: A Concise, Multidisciplinary Introduction|url=http://www.gtessentials.org|year=2008|publisher=Morgan & Claypool Publishers|isbn=978-1-59829-593-1|location=San Rafael, CA|last2=Shoham|first2=Yoav|postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->}}. An 88-page mathematical introduction; see Section 3.8. [http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003 Free online] at many universities.
* [[:en:Geoff Parker|Geoff Parker]](1984) Evolutionary stable strategies. In ''Behavioural Ecology: an Evolutionary Approach'' (2nd ed) [[:en:John_Krebs|Krebs, J.R.]] & Davies N.B., eds. pp 30–61. Blackwell, Oxford.
* {{Cite book|last1=Shoham|first1=Yoav|title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations|url=http://www.masfoundations.org|year=2009|publisher=[[Cambridge University Press]]|isbn=978-0-521-89943-7|location=New York|last2=Leyton-Brown|first2=Kevin|postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->}}. A comprehensive reference from a computational perspective; see Section 7.7. [http://www.masfoundations.org/download.html Downloadable free online].

== 外部リンク ==

*{{Wayback |url=http://www.bbsonline.org/Preprints/OldArchive/bbs.mealey.html|title=''The Sociobiology of Sociopathy'', Mealey, 1995 |date=20100217072357}}

{{ゲーム理論}}
{{Normdaten}}
{{デフォルトソート:しんかてきあんていせんりやく}}
[[Category:進化ゲーム理論]]
[[Category:数学に関する記事]]