和の期待値は期待値の和【期待値の線形性】

更新 2023/11/06

期待値の線形性

確率変数 $X,Y$ と期待値に関して以下が成立する： $E[X+Y]=E[X]+E[Y]$ より一般に，以下が成立する： $\displaystyle E[\sum_{i=1}^nX_i]=\sum_{i=1}^nE[X_i]$

期待値の和＝和の期待値

上の公式は「和の期待値は期待値の和に等しい」ことを表しています。期待値のこの性質を「期待値の線形性」と言います（線形性についてのより詳しい説明は →高校数学における線形性の8つの例）。
期待値の線形性は
XXX
 と
YYY
 が独立でなくてもどんな場合にも成立する強力な公式です。
期待値の線形性は数学Cの教科書に載っています。

期待値の線形性の応用例

例題

サイコロを2つ振った時に出る目の総和の期待値を求めよ。

解答

気合いで $6^2=36$ 通り計算してもよいが，「期待値の和＝和の期待値」を用いると簡単。

サイコロ1つ振った時の期待値は $\dfrac{1+2+3+4+5+6}{6}=\dfrac{7}{2}$ なので，

$E[X_1+X_2]=2E[X_1]=7$

このように，期待値の線形性は同じ試行を繰り返し行うときの和の期待値を求める際に活躍します。

期待値の線形性の応用例2

次は期待値の線形性を知らないと直感的には分かりにくい例です。

例題2

各桁が独立に確率 $\dfrac{1}{2}$ で $1$ か $2$ であるような $9$ 桁の数字の並びがある。このとき「 $111$ 」と並ぶ部分の個数の期待値を求めよ。例えば「 $111221111$ 」は1〜3，6〜8，7〜9番目の三箇所とみなす。

解答

1〜3の部分が「 $111$ 」と並ぶ確率は $\dfrac{1}{8}$ である。同様に他の部分についても $1$ が三つ並ぶ確率は同じで，候補は7箇所あるので， $\dfrac{1}{8}+\dfrac{1}{8}+\cdots +\dfrac{1}{8}=\dfrac{7}{8}$

このように，確率変数たちが独立でない場合も期待値の線形性は成立します。

和の期待値＝期待値の和，の証明

和の期待値＝期待値の和が成立することは，本質的にはシグマが線形性を持つことによります。証明中にはシグマがたくさん出てきて一見難しいですが，内容は単純なので1行1行じっくり読んでください！

なお，以下では $X=x$ となる確率を $P(X=x)$ と表し， $Y=y$ となる確率を $P(Y=y)$ と表します。

また， $X=x$ となり，かつ $Y=y$ となる確率を $P(X=x,Y=y)$ と表します。

$P(Y=y)$ を $X$ の値で場合分けすることにより $\displaystyle\sum_{x}P(X=x,Y=y)=P(Y=y)$ が成立することに注意しておきます。（周辺化と言います）

同様に， $\displaystyle\sum_{y}P(X=x,Y=y)=P(X=x)$ も成立します。

方針

期待値の定義に従って左辺を計算して右辺と一致することを証明します。式変形の際にシグマの線形性と上記で準備した周辺化の公式を用います。

証明

$E[X+Y]\\ =\displaystyle\sum_x\sum_y(x+y)P(X=x,Y=y)\\ =\displaystyle\sum_x\sum_yxP(X=x,Y=y)+\sum_x\sum_yyP(X=x,Y=y)\\ =\displaystyle\sum_xx\sum_yP(X=x,Y=y)+\sum_yy\sum_xP(X=x,Y=y)\\ =\displaystyle\sum_xxP(X=x)+\sum_yyP(Y=y)\\ =E[X]+E[Y]$

ただし，等号の理由は，

2行目：期待値の定義
3行目：シグマの線形性
4行目：2つのシグマの分解（→シグマ計算を機械的に行うための3つの公式）
5行目：周辺化の公式
最終行：期待値の定義

ちなみに，大学数学では確率変数が離散ではなく連続の場合も扱うことになりますが，その場合にも「期待値の和＝和の期待値」は成立します。連続確率変数の場合の公式は積分の線形性から導かれます。

離散の場合，シグマの線形性→期待値の線形性
連続の場合，積分の線形性→期待値の線形性

Tag:期待値と分散に関する公式一覧

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！