Summarize Timeline Top Qs Fact Check
プライス方程式において、量的形質
z
i
{\displaystyle z_{i}}
として
w
i
{\displaystyle w_{i}}
自身を取り、さらに世代間で適応度の差
w
i
′
−
w
i
{\displaystyle w'_{i}-w_{i}}
が
0
{\displaystyle 0}
である場合を考えると、以下が成立することがわかる:
性質 (フィッシャーの自然選択の基本定理) ― プライス方程式と同様に記号を定義するとき、以下のフィッシャーの自然選択の基本定理 が常に成立する:
Δ
w
¯
=
V
(
w
)
w
¯
{\displaystyle \Delta {\bar {w}}={\mathrm {V} (w) \over {\bar {w}}}}
Δ
w
¯
{\displaystyle \Delta {\bar {w}}}
は平均適応度の変化量であり、進化の速度を表していると解釈できるので、この定理は、生物集団内における適応度の分散
V
(
w
)
{\displaystyle \mathrm {V} (w)}
が大きいほど、進化の速度
Δ
w
¯
{\displaystyle \Delta {\bar {w}}}
が大きいことを意味していると解釈できる。
本節では血縁選択の概要と、血縁選択に関するハミルトン則について述べ、ハミルトン則がプライス方程式の立場から再定式化できることを見る。
ハチ やアリ などの真社会性 の生物では、一部の個体(働きバチ・働きアリ)は全く繁殖せず、他の個体(女王バチ・女王アリ)の繁殖を助けることに一生を費すという利他的行動を取る。こうした行動は「生物は自らの子孫をより多く残すように進化する」という自然選択説 の予測に反するように見える。
血縁選択 はこうした利他的行動を説明するためにハミルトン により導入された概念であり、従来の自然選択説が各個体自身の繁殖成功度合い(直接適応度)のみを考えていたのに対し、血縁選択説ではその個体と遺伝子を共有する血縁個体の繁殖成功をも考慮した適応度(包括適応度)を最大化する形質が進化すると予測する[ 15] 。
すなわち、ある個体
i
{\displaystyle i}
に着目するとき、個体
i
{\displaystyle i}
が別の血縁個体と遺伝子を共有している割合(血縁度 )を
r
{\displaystyle r}
とし、
i
{\displaystyle i}
が血縁個体に対して行った利他的行動により
i
{\displaystyle i}
の適応度が
w
{\displaystyle w}
から
w
−
C
{\displaystyle w-C}
に下がり、代わりに血縁個体の適応度が
B
{\displaystyle B}
倍上昇するとき、包括適応度 を
w
+
r
B
−
C
{\displaystyle w+rB-C}
により定義すると、包括適応度が
w
{\displaystyle w}
より大きくなる
r
B
>
C
{\displaystyle rB>C}
…(Eq. H1 )
の場合に利他的行動が進化すると予測する(ハミルトン則 )。
なお
i
{\displaystyle i}
の血縁個体が
j
=
1
,
…
,
n
{\displaystyle j=1,\ldots ,n}
と複数いる場合は、各血縁個体に割り振るコストは
C
/
n
{\displaystyle C/n}
となり、各個体から得られる適応度も
j
{\displaystyle j}
との血縁度
r
(
j
)
{\displaystyle r^{(j)}}
を用いて
r
(
j
)
B
/
n
{\displaystyle r^{(j)}B/n}
と書けるようになることから[ 注 8] 、包括適応度は
w
+
1
n
∑
j
=
1
n
(
r
(
j
)
B
−
C
)
{\displaystyle \textstyle w+{1 \over n}\sum _{j=1}^{n}(r^{(j)}B-C)}
となるので、血縁度の平均
r
=
1
n
∑
j
=
1
n
r
(
j
)
{\displaystyle r={1 \over n}\sum _{j=1}^{n}r^{(j)}}
…(Eq. H2 )
に対してハミルトン則
r
B
>
C
{\displaystyle rB>C}
が成立することになる。
ハミルトン則はプライス方程式により再定式化することが可能であり、この再定式化により包括適応度の概念をプライス方程式の立場からより一般的に説明できる。
ある生物集団における個体
i
{\displaystyle i}
の協力度
0
≤
z
i
≤
1
{\displaystyle 0\leq z_{i}\leq 1}
とする。
さらにこの個体の適応度[ 注 9]
w
i
{\displaystyle w_{i}}
が
w
i
=
w
0
+
B
Z
¯
i
−
C
z
i
+
ε
i
{\displaystyle w_{i}=w_{0}+B{\bar {Z}}_{i}-Cz_{i}+\varepsilon _{i}}
と線形回帰できるとする。ここで
Z
¯
i
{\displaystyle {\bar {Z}}_{i}}
は個体
i
{\displaystyle i}
と相互作用する個体(個体
i
{\displaystyle i}
自身を含む)の協力度の平均であり[ 注 10] 、
w
0
{\displaystyle w_{0}}
、
B
{\displaystyle B}
、
C
{\displaystyle C}
は個体
i
{\displaystyle i}
によらない定数であり、
ε
i
{\displaystyle \varepsilon _{i}}
は誤差項である。直観的には
B
{\displaystyle B}
は他の個体の協力によって個体
i
{\displaystyle i}
の適応度が上がる度合いであり、
C
{\displaystyle C}
は個体
i
{\displaystyle i}
が他の個体に協力することによるコストである[ 注 11] 。
このとき、プライス方程式と(Eq. 2 )を上述の状況に対して用いることで次が成立することがわかる:
性質 (ハミルトン則のプライス方程式による再定式化) ― 上述のように記号を定義するとき、
r
=
C
o
v
(
z
,
Z
¯
)
V
(
z
)
{\displaystyle r={\mathrm {Cov} (z,{\bar {Z}}) \over V(z)}}
…(Eq. K1 )
とすると、協力度の平均値の変化
Δ
z
¯
{\displaystyle \Delta {\bar {z}}}
が
Δ
z
¯
>
0
{\displaystyle \Delta {\bar {z}}>0}
を満たす必要十分条件は
r
B
−
C
>
E
(
w
Δ
z
)
V
(
z
)
{\displaystyle rB-C>{E(w\Delta z) \over V(z)}}
…(Eq. K2 )
であることである[ 注 5] 。
上記の性質について3つ注釈を述べる。第一に、上記の性質は(Eq. K2 )が成り立てば協力度の平均値が上昇すること、すなわち協力関係が進化すること(そしてその逆も成立すること)を意味している。
第二に、(Eq. K2 )の右辺は、(証明からわかるように)プライス方程式の第二項
Δ
c
z
¯
=
E
(
w
Δ
z
)
{\displaystyle \Delta _{c}{\bar {z}}=E(w\Delta z)}
を
V
(
z
)
{\displaystyle V(z)}
で割ったものである。プライス方程式の第二項
Δ
c
z
¯
{\displaystyle \Delta _{c}{\bar {z}}}
は自然選択以外の効果を表す項であったので、そのような効果がなければ(Eq. K2 )の右辺は
0
{\displaystyle 0}
であり、(Eq. K2 )は前節で述べたハミルトン則(Eq. H1 )と形の上では一致する。両式に登場する
r
{\displaystyle r}
の定義は異なるが、適切な条件下ではこれらの定義が一致することを次節で見る。
第三に、
r
=
C
o
v
(
z
,
Z
¯
)
/
V
(
z
)
{\displaystyle r=\mathrm {Cov} (z,{\bar {Z}})/V(z)}
は回帰分析 では回帰係数と呼ばれ、
z
{\displaystyle z}
が変化したとき
Z
¯
{\displaystyle {\bar {Z}}}
がどの程度変化するのかを表す指標である。すなわち、個体
i
{\displaystyle i}
の協力度
z
i
{\displaystyle z_{i}}
を上昇させることが、個体
i
{\displaystyle i}
と相互作用する個体(
i
{\displaystyle i}
自身も含む)の協力度の平均値にどの程度影響するかを表している。
前節はプライス方程式から導出した式(Eq. K2 )が(自然選択以外の効果がなければ)形の上ではハミルトン則(Eq. H1 )と一致することを見たが、両式に登場する
r
{\displaystyle r}
の定義はそれぞれ(Eq. H2 )、(Eq. K1 )であり異なるものであった。本節では適切な条件下ではこの2つの
r
{\displaystyle r}
の定義が一致することを見る。
r
{\displaystyle r}
の2つの定義を区別するため、(Eq. H2 )、(Eq. K1 )により定義された
r
{\displaystyle r}
をそれぞれ
r
H
{\displaystyle r_{H}}
、
r
K
{\displaystyle r_{K}}
とする。
ある個体と相互作用する個体達の協力度を
z
(
1
)
,
…
,
z
(
n
)
{\displaystyle z^{(1)},\ldots ,z^{(n)}}
とすると[ 注 12] 、(Eq. K1 )に登場する
Z
¯
{\displaystyle {\bar {Z}}}
はこれらの平均になるので、(Eq. K2 )より
r
K
=
C
o
v
(
z
,
Z
¯
)
V
(
z
)
=
1
n
∑
j
=
1
n
C
o
v
(
z
,
z
(
j
)
)
V
(
z
)
{\displaystyle r_{K}={\mathrm {Cov} (z,{\bar {Z}}) \over V(z)}={1 \over n}\sum _{j=1}^{n}{\mathrm {Cov} (z,z^{(j)}) \over V(z)}}
が成立する。
さて、ある2倍体の生物からなる集団を考え、この集団に属する個体の協力度は相加的遺伝するとする。協力度
z
{\displaystyle z}
を持つ個体と協力度
z
(
j
)
{\displaystyle z^{(j)}}
を持つ個体とが血縁関係にあり、両者の持つ個体の血縁度を
r
(
j
)
{\displaystyle r^{(j)}}
とすると、前者の個体の協力度に関する遺伝子が
r
(
j
)
z
{\displaystyle r^{(j)}z}
だけ後者の個体に遺伝する。後者の個体の持つ対立遺伝子のうち
r
(
j
)
z
{\displaystyle r^{(j)}z}
以外は協力度
z
{\displaystyle z}
を持つ個体とは独立な乱数により決まるとすると、
z
(
j
)
=
r
(
j
)
z
+
(
1
−
r
(
j
)
)
r
a
n
d
{\displaystyle z^{(j)}=r^{(j)}z+(1-r^{(j)})\mathrm {rand} }
となるので、共分散の線形性から
C
o
v
(
z
,
z
(
j
)
)
=
r
(
j
)
C
o
v
(
z
,
z
)
+
(
1
−
r
(
j
)
)
C
o
v
(
z
,
r
a
n
d
)
=
r
(
j
)
V
(
z
)
+
0
{\displaystyle \mathrm {Cov} (z,z^{(j)})=r^{(j)}\mathrm {Cov} (z,z)+(1-r^{(j)})\mathrm {Cov} (z,\mathrm {rand} )=r^{(j)}V(z)+0}
となるので(Eq. K1 )より
r
K
=
1
n
∑
j
=
1
n
C
o
v
(
z
,
z
(
j
)
)
V
(
z
)
=
1
n
∑
j
=
1
n
r
(
j
)
=
r
H
{\displaystyle r_{K}={1 \over n}\sum _{j=1}^{n}{\mathrm {Cov} (z,z^{(j)}) \over V(z)}={1 \over n}\sum _{j=1}^{n}r^{(j)}=r_{H}}
となり
r
{\displaystyle r}
の2つの定義が一致することが示された。
ある生物の集団が
i
=
1
,
…
,
m
{\displaystyle i=1,\ldots ,m}
個のグループに別れているとし、各グループ
i
{\displaystyle i}
にはタイプ
j
=
1
,
…
,
n
i
{\displaystyle j=1,\ldots ,n_{i}}
個の個体がいるとする。この集団に属する生物は協力度を表す量的形質を持っており、グループ
i
{\displaystyle i}
のタイプ
j
{\displaystyle j}
の個体の頻度を
p
i
j
{\displaystyle p_{ij}}
、量的形質を
z
i
j
{\displaystyle z_{ij}}
、適応度を
w
i
j
{\displaystyle w_{ij}}
とする(これまで同様適応度は子孫の数を示し、したがって正の値であることを仮定する)。
さらにグループ
i
{\displaystyle i}
における量的形質の平均
z
¯
i
{\displaystyle {\bar {z}}_{i}}
および適応度の平均
w
¯
i
{\displaystyle {\bar {w}}_{i}}
を
(
z
¯
i
,
w
¯
i
)
=
1
p
i
∑
j
p
i
j
(
z
i
j
,
w
i
j
)
{\displaystyle ({\bar {z}}_{i},{\bar {w}}_{i})={1 \over p_{i}}\sum _{j}p_{ij}(z_{ij},w_{ij})}
where
p
i
=
∑
j
p
i
j
{\displaystyle p_{i}=\sum _{j}p_{ij}}
とし、量的形質および適応度の全グループにわたる平均(これはグループ平均の平均に等しい)を
(
z
^
,
w
^
)
=
∑
i
j
p
i
j
(
z
i
j
,
w
i
j
)
=
∑
i
p
i
(
z
¯
i
,
w
¯
i
)
{\displaystyle ({\hat {z}},{\hat {w}})=\sum _{ij}p_{ij}(z_{ij},w_{ij})=\sum _{i}p_{i}({\bar {z}}_{i},{\bar {w}}_{i})}
とし、
z
i
{\displaystyle z_{i}}
、
w
i
{\displaystyle w_{i}}
の平均からの差を
Δ
g
z
i
=
(
z
i
j
−
z
¯
i
)
j
=
1
,
…
,
n
i
{\displaystyle \Delta _{g}z_{i}=(z_{ij}-{\bar {z}}_{i})_{j=1,\ldots ,n_{i}}}
、
Δ
g
w
i
=
(
w
i
j
−
w
¯
i
)
j
=
1
,
…
,
n
i
{\displaystyle \Delta _{g}w_{i}=(w_{ij}-{\bar {w}}_{i})_{j=1,\ldots ,n_{i}}}
とし、
z
¯
=
(
z
¯
i
)
i
=
1
,
…
,
m
{\displaystyle {\bar {z}}=({\bar {z}}_{i})_{i=1,\ldots ,m}}
、
w
¯
=
(
w
¯
i
)
i
=
1
,
…
,
m
{\displaystyle {\bar {w}}=({\bar {w}}_{i})_{i=1,\ldots ,m}}
Δ
g
z
=
(
Δ
g
z
i
)
i
=
1
,
…
,
m
{\displaystyle \Delta _{g}z=(\Delta _{g}z_{i})_{i=1,\ldots ,m}}
、
Δ
g
w
=
(
Δ
g
w
i
)
i
=
1
,
…
,
m
{\displaystyle \Delta _{g}w=(\Delta _{g}w_{i})_{i=1,\ldots ,m}}
とし、さらに記号
β
X
Y
{\displaystyle \beta _{XY}}
を
β
X
Y
=
C
o
v
(
X
,
Y
)
/
V
(
X
)
{\displaystyle \beta _{XY}=\mathrm {Cov} (X,Y)/V(X)}
により定義する(
β
X
Y
{\displaystyle \beta _{XY}}
は回帰分析 では回帰係数と呼ばれる量である)。
性質 ― 記号を上記のように取り、各グループ
i
{\displaystyle i}
には自然選択以外の効果がないこと(すなわちグループ
i
{\displaystyle i}
に関するプライス方程式の2項目がないこと)と、
β
Δ
g
w
,
Δ
g
z
{\displaystyle \beta _{\Delta _{g}w,\Delta _{g}z}}
が定数であることを仮定する。
このとき、協力度の平均
z
^
{\displaystyle {\hat {z}}}
が
Δ
z
^
>
0
{\displaystyle \Delta {\hat {z}}>0}
を満たすこと(すなわち協力度が次世代で増加すること)の必要十分条件は
V
(
z
¯
)
E
(
V
(
Δ
g
z
)
)
≥
−
β
Δ
g
w
,
Δ
g
z
β
w
¯
,
z
¯
{\displaystyle {V({\bar {z}}) \over E(V(\Delta _{g}z))}\geq {-\beta _{\Delta _{g}w,\Delta _{g}z} \over \beta _{{\bar {w}},{\bar {z}}}}}
…(Eq. G1 )
が成立することである[ 注 5] 。
証明
各グループ
i
{\displaystyle i}
に対し、(自然選択以外の効果がない場合の)グループ
i
{\displaystyle i}
内でのプライス方程式を適応することで以下が成立する:
w
¯
i
Δ
z
¯
i
=
C
o
v
(
z
i
,
w
i
)
=
C
o
v
(
Δ
g
z
i
,
Δ
g
w
i
)
{\displaystyle {\bar {w}}_{i}\Delta {\bar {z}}_{i}=\mathrm {Cov} (z_{i},w_{i})=\mathrm {Cov} (\Delta _{g}z_{i},\Delta _{g}w_{i})}
一方、各グループにおける量的形質の平均の組
z
¯
=
(
z
¯
i
)
i
=
1
,
…
,
m
{\displaystyle {\bar {z}}=({\bar {z}}_{i})_{i=1,\ldots ,m}}
と適応度の組
w
¯
=
(
w
¯
i
)
i
=
1
,
…
,
m
{\displaystyle {\bar {w}}=({\bar {w}}_{i})_{i=1,\ldots ,m}}
に対してプライス方程式を適応することで以下が成立する:
w
^
Δ
z
^
=
C
o
v
(
z
¯
,
w
¯
)
+
E
(
w
¯
Δ
z
¯
)
{\displaystyle {\hat {w}}\Delta {\hat {z}}=\mathrm {Cov} ({\bar {z}},{\bar {w}})+E({\bar {w}}\Delta {\bar {z}})}
よって
w
^
Δ
z
^
=
C
o
v
(
z
¯
,
w
¯
)
+
E
(
C
o
v
(
Δ
g
z
,
Δ
g
w
)
)
{\displaystyle {\hat {w}}\Delta {\hat {z}}=\mathrm {Cov} ({\bar {z}},{\bar {w}})+E(\mathrm {Cov} (\Delta _{g}z,\Delta _{g}w))}
=
β
w
¯
,
z
¯
V
(
z
¯
)
+
β
Δ
g
w
,
Δ
g
z
E
(
V
(
Δ
g
z
)
)
{\displaystyle =\beta _{{\bar {w}},{\bar {z}}}V({\bar {z}})+\beta _{\Delta _{g}w,\Delta _{g}z}E(V(\Delta _{g}z))}
が成立する。ここで2つ目の等号において
β
Δ
g
w
,
Δ
g
z
{\displaystyle \beta _{\Delta _{g}w,\Delta _{g}z}}
を
E
(
⋅
)
{\displaystyle E(\cdot )}
から出すために
β
Δ
g
w
,
Δ
g
z
{\displaystyle \beta _{\Delta _{g}w,\Delta _{g}z}}
が定数であるという仮定を使った。
適応度が子孫の数を表していたことから
w
^
≥
0
{\displaystyle {\hat {w}}\geq 0}
であるが、これまで同様
w
^
=
0
{\displaystyle {\hat {w}}=0}
の場合を無視すれば、
Δ
z
^
>
0
{\displaystyle \Delta {\hat {z}}>0}
である必要十分条件は上式右辺が正となることである。上式右辺が正であるという式を整理することにより式(Eq. G1 )が得られる。
式(Eq. G1 )の左辺は
(グループ間選択の強さ)/(グループ内選択の強さ)
と解釈できる。なぜならプライス方程式の自然選択の項は前述 のように
Δ
s
z
¯
=
1
w
¯
C
o
v
(
z
,
w
)
=
β
z
w
w
¯
V
(
z
)
{\displaystyle \Delta _{s}{\bar {z}}={1 \over {\bar {w}}}\mathrm {Cov} (z,w)={\beta _{zw} \over {\bar {w}}}V(z)}
であるので、分散の大きさは自然選択による形質の変化と比例するからである。
よって式(Eq. G1 )の左辺は、分子であるグループ間選択の強さが大きく、分母であるグループ内選択の強さが小さいほどグループ内における協力性が維持されやすいことを意味する。
一方、式(Eq. G1 )の右辺は
(協力的な個体がグループ間選択で不利になる度合い)/(協力的な個体が多いグループの適応度が他のグループに比べて上がる度合い)
と解釈できる。実際、回帰係数
β
X
Y
{\displaystyle \beta _{XY}}
は単回帰分析において、
X
{\displaystyle X}
から
Y
{\displaystyle Y}
を求めるときの比例係数であるので、(Eq. G1 )の右辺の分母はグループの協力度の平均
z
¯
{\displaystyle {\bar {z}}}
がグループの適応度の平均
w
¯
{\displaystyle {\bar {w}}}
を押し上げる比例係数である。(Eq. G1 )の右辺の分子も同様。なお、分子のみ符号がマイナスであるが、協力的な個体は協力のコストを払うことからグループ間選択においてたいてい不利に働くので、分子に登場する
β
Δ
g
w
,
Δ
g
z
{\displaystyle \beta _{\Delta _{g}w,\Delta _{g}z}}
はたいてい負の値であり、したがって(Eq. G1 )の右辺の分子はたいてい正の値となる。
以上のことから(Eq. G1 )の右辺は、分母であるグループの適応度が大きく、分子であるグループ間選択における協力個体の不利が小さいほど維持されやすいことを意味する。
次の事実が知られている:
ここで
V
(
z
)
{\displaystyle V(z)}
、
V
(
z
¯
)
{\displaystyle V({\bar {z}})}
はそれぞれ
z
i
j
{\displaystyle z_{ij}}
の分散、グループ平均
z
¯
i
{\displaystyle {\bar {z}}_{i}}
の分散である:
V
(
z
)
=
∑
i
j
p
i
j
(
z
i
j
−
z
^
)
2
{\displaystyle V(z)=\sum _{ij}p_{ij}(z_{ij}-{\hat {z}})^{2}}
、
V
(
z
¯
)
=
∑
j
p
i
(
z
¯
i
−
z
^
)
2
{\displaystyle V({\bar {z}})=\sum _{j}p_{i}({\bar {z}}_{i}-{\hat {z}})^{2}}
where
p
i
=
∑
j
p
i
j
{\displaystyle p_{i}=\sum _{j}p_{ij}}
証明
前述の性質 の証明から、
Δ
z
^
>
0
{\displaystyle \Delta {\hat {z}}>0}
となる必要十分条件は
0
<
w
^
Δ
z
^
=
C
o
v
(
z
¯
,
w
¯
)
+
E
(
C
o
v
(
Δ
g
z
,
Δ
g
w
)
)
{\displaystyle 0<{\hat {w}}\Delta {\hat {z}}=\mathrm {Cov} ({\bar {z}},{\bar {w}})+E(\mathrm {Cov} (\Delta _{g}z,\Delta _{g}w))}
... (Eq. GP1 )
となることである。
仮定より、
w
¯
i
=
1
p
i
∑
j
p
i
j
w
i
j
{\displaystyle {\bar {w}}_{i}={1 \over p_{i}}\sum _{j}p_{ij}w_{ij}}
=
1
p
i
∑
j
p
i
j
(
w
0
+
B
z
¯
i
−
C
z
i
j
+
ε
i
j
)
{\displaystyle ={1 \over p_{i}}\sum _{j}p_{ij}(w_{0}+B{\bar {z}}_{i}-Cz_{ij}+\varepsilon _{ij})}
=
w
0
+
(
B
−
C
)
z
¯
i
+
ε
¯
i
{\displaystyle =w_{0}+(B-C){\bar {z}}_{i}+{\bar {\varepsilon }}_{i}}
where
ε
¯
i
=
∑
i
p
i
j
ε
i
j
{\displaystyle {\bar {\varepsilon }}_{i}=\sum _{i}p_{ij}\varepsilon _{ij}}
... (Eq. GP2 )
でなので、
(Eq. GP1 )の右辺第1項
=
{\displaystyle =}
C
o
v
(
z
¯
,
w
¯
)
{\displaystyle \mathrm {Cov} ({\bar {z}},{\bar {w}})}
=
(
B
−
C
)
C
o
v
(
z
¯
,
z
¯
)
{\displaystyle =(B-C)\mathrm {Cov} ({\bar {z}},{\bar {z}})}
+
C
o
v
(
z
¯
,
ε
¯
)
{\displaystyle +\mathrm {Cov} ({\bar {z}},{\bar {\varepsilon }})}
=
(
B
−
C
)
V
(
z
¯
)
+
0
{\displaystyle =(B-C)V({\bar {z}})+0}
である。ここで誤差項
ε
i
j
{\displaystyle \varepsilon _{ij}}
が他の変数とは独立な乱数であることを用いた。一方、(Eq. GP2 )より
w
i
j
−
w
¯
i
{\displaystyle w_{ij}-{\bar {w}}_{i}}
=
(
w
0
+
B
z
¯
i
−
C
z
i
j
+
ε
i
j
)
{\displaystyle =(w_{0}+B{\bar {z}}_{i}-Cz_{ij}+\varepsilon _{ij})}
−
(
w
0
+
(
B
−
C
)
z
¯
i
+
ε
¯
i
)
{\displaystyle -(w_{0}+(B-C){\bar {z}}_{i}+{\bar {\varepsilon }}_{i})}
=
C
(
z
i
j
−
z
¯
i
)
+
(
ε
i
j
−
ε
¯
i
)
{\displaystyle =C(z_{ij}-{\bar {z}}_{i})+(\varepsilon _{ij}-{\bar {\varepsilon }}_{i})}
なので、
(Eq. GP1 )の右辺第2項
=
E
(
C
o
v
(
Δ
g
z
,
Δ
g
w
)
)
{\displaystyle =E(\mathrm {Cov} (\Delta _{g}z,\Delta _{g}w))}
=
∑
i
p
i
(
1
p
i
∑
j
p
i
j
(
z
i
j
−
z
¯
i
)
(
w
i
j
−
w
¯
i
)
)
{\displaystyle =\sum _{i}p_{i}\left({1 \over p_{i}}\sum _{j}p_{ij}(z_{ij}-{\bar {z}}_{i})(w_{ij}-{\bar {w}}_{i})\right)}
=
∑
i
j
p
i
j
(
z
i
j
−
z
¯
i
)
(
w
i
j
−
w
¯
i
)
{\displaystyle =\sum _{ij}p_{ij}(z_{ij}-{\bar {z}}_{i})(w_{ij}-{\bar {w}}_{i})}
=
−
C
∑
i
j
p
i
j
(
z
i
j
−
z
¯
i
)
2
+
C
∑
i
j
p
i
j
(
z
i
j
−
z
¯
i
)
(
ε
i
j
−
ε
¯
i
)
{\displaystyle =-C\sum _{ij}p_{ij}(z_{ij}-{\bar {z}}_{i})^{2}+C\sum _{ij}p_{ij}(z_{ij}-{\bar {z}}_{i})(\varepsilon _{ij}-{\bar {\varepsilon }}_{i})}
=
{\displaystyle =}
(1) + (2)
である。
(1)を
−
C
{\displaystyle -C}
で割ったもの
=
∑
i
j
p
i
j
(
z
i
j
−
z
¯
i
)
2
{\displaystyle =\sum _{ij}p_{ij}(z_{ij}-{\bar {z}}_{i})^{2}}
=
∑
i
,
j
p
i
j
(
(
z
i
j
−
z
^
)
−
(
z
¯
i
−
z
^
)
)
2
{\displaystyle =\sum _{i,j}p_{ij}((z_{ij}-{\hat {z}})-({\bar {z}}_{i}-{\hat {z}}))^{2}}
=
∑
i
,
j
p
i
j
(
z
i
j
−
z
^
)
2
{\displaystyle =\sum _{i,j}p_{ij}(z_{ij}-{\hat {z}})^{2}}
−
2
∑
i
,
j
p
i
j
(
z
i
j
−
z
^
)
(
z
¯
i
−
z
^
)
{\displaystyle -2\sum _{i,j}p_{ij}(z_{ij}-{\hat {z}})({\bar {z}}_{i}-{\hat {z}})}
+
∑
i
,
j
p
i
j
(
z
¯
i
−
z
^
)
2
{\displaystyle +\sum _{i,j}p_{ij}({\bar {z}}_{i}-{\hat {z}})^{2}}
上式右辺の第1項、第3項はそれぞれ
V
(
z
)
{\displaystyle V(z)}
、
V
(
z
¯
)
{\displaystyle V({\bar {z}})}
であり、右辺第2項も
2
∑
i
,
j
p
i
j
(
z
i
j
−
z
^
)
(
z
¯
i
−
z
^
)
{\displaystyle 2\sum _{i,j}p_{ij}(z_{ij}-{\hat {z}})({\bar {z}}_{i}-{\hat {z}})}
=
2
∑
i
(
∑
j
p
i
j
(
z
i
j
−
z
^
)
)
⋅
(
z
¯
i
−
z
^
)
{\displaystyle =2\sum _{i}\left(\sum _{j}p_{ij}(z_{ij}-{\hat {z}})\right)\cdot ({\bar {z}}_{i}-{\hat {z}})}
=
2
∑
i
p
i
(
z
¯
i
−
z
^
)
2
{\displaystyle =2\sum _{i}p_{i}({\bar {z}}_{i}-{\hat {z}})^{2}}
=
2
V
(
z
¯
)
{\displaystyle =2V({\bar {z}})}
であることから、
(1)
=
−
C
(
V
(
z
)
−
V
(
z
¯
)
)
{\displaystyle =-C(V(z)-V({\bar {z}}))}
である。一方、
(2)
=
C
∑
i
j
p
i
j
(
z
i
j
−
z
¯
i
)
(
ε
i
j
−
ε
¯
i
)
{\displaystyle =C\sum _{ij}p_{ij}(z_{ij}-{\bar {z}}_{i})(\varepsilon _{ij}-{\bar {\varepsilon }}_{i})}
=
C
∑
i
p
i
(
1
p
i
∑
j
p
i
j
(
z
i
j
−
z
¯
i
)
(
ε
i
j
−
ε
¯
i
)
)
{\displaystyle =C\sum _{i}p_{i}\left({1 \over p_{i}}\sum _{j}p_{ij}(z_{ij}-{\bar {z}}_{i})(\varepsilon _{ij}-{\bar {\varepsilon }}_{i})\right)}
=
C
∑
i
p
i
C
o
v
(
z
i
,
ε
i
)
{\displaystyle =C\sum _{i}p_{i}\mathrm {Cov} (z_{i},\varepsilon _{i})}
=
0
{\displaystyle =0}
最後の等式は誤差項
ε
i
j
{\displaystyle \varepsilon _{ij}}
が他の変数とは独立な乱数だったことから従う。
よって
(Eq. GP1 )の右辺第2項
=
(1)
+
(2)
{\displaystyle ={\text{(1)}}+{\text{(2)}}}
=
−
C
(
V
(
z
)
−
V
(
z
¯
)
)
{\displaystyle =-C(V(z)-V({\bar {z}}))}
である。以上の議論から(Eq. GP1 )より
0
<
(
B
−
C
)
V
(
z
¯
)
−
C
(
V
(
z
)
−
V
(
z
¯
)
)
{\displaystyle 0<(B-C)V({\bar {z}})-C(V(z)-V({\bar {z}}))}
=
B
V
(
z
¯
)
−
C
V
(
z
)
{\displaystyle =BV({\bar {z}})-CV(z)}
が
Δ
z
^
>
0
{\displaystyle \Delta {\hat {z}}>0}
となる必要十分条件である。
上式で登場する
V
(
z
¯
)
/
V
(
z
)
{\displaystyle {V({\bar {z}})/V(z)}}
に関して次の事実が知られている。
以上のことから、グループ選択において協力度が上昇するための条件は、ハミルトン則
r
B
>
C
{\displaystyle rB>C}
に一致する。このことから、血縁選択とグループ選択とは同じ進化現象に異なる視点から見たものだとする立場もある。