超幾何分布の意味と期待値の計算

超幾何分布の問題設定における抽出について

「$i$ 個目に選んだものが当たりなら $1$，ハズレなら $0$ となる確率変数」

を $X_i$ とします。

このとき，超幾何分布の期待値は，

$E[X_1+X_2+\cdots +X_n]$

となります。

各 $X_i$ は互いに独立ではありませんが，そのような場合でも和の期待値は期待値の和に分解できるので，上式は

$E[X_1]+E[X_2]+\cdots +E[X_n]$

となります。

そして，$i=1,2,\cdots,n$ に対して，$E[X_i]=\dfrac{A}{N}$ なので，求める期待値は $\dfrac{nA}{N}$ となります。

期待値は，定義より，

$\displaystyle\sum_{x\in X}xf_{N,A,n}(x)\\ =\displaystyle\sum_{x\in X}\dfrac{x\cdot{}_A\mathrm{C}_x\cdot{}_{N-A}\mathrm{C}_{n-x}}{{}_N\mathrm{C}_n}$

です。ただし，和を取る範囲 $X$ は，$\max\{0,n-N+A\}\leq x\leq \min\{A,n\}$ を満たす整数 $x$ 全体の集合です。ここで，$x=0$ の部分は和に寄与しないので，

$\displaystyle\sum_{x\in X'}\dfrac{x\cdot{}_A\mathrm{C}_x\cdot{}_{N-A}\mathrm{C}_{n-x}}{{}_N\mathrm{C}_n}$

ただし，$X'$ は $\max\{1,n-N+A\}\leq x\leq \min\{A,n\}$ を満たす整数 $x$ 全体の集合

としても値は同じです。

これを上記の二項係数の公式を使って変形すると，

$\dfrac{nA}{N}\displaystyle\sum_{x\in X'}\dfrac{{}_{A-1}\mathrm{C}_{x-1}\cdot{}_{N-A}\mathrm{C}_{n-x}}{{}_{N-1}\mathrm{C}_{n-1}}$

となります。 $1$ 平行移動すると，

$\dfrac{nA}{N}\displaystyle\sum_{x-1\in Y}\dfrac{{}_{A-1}\mathrm{C}_{x-1}\cdot{}_{(N-1)-(A-1)}\mathrm{C}_{(n-1)-(x-1)}}{{}_{N-1}\mathrm{C}_{n-1}}$

となります。ただし，$Y$ は

$\max\{0,(n-1)-(N-1)+(A-1)\}\leq y\\ \leq \min\{A-1,n-1\}$

を満たす整数 $y$ 全体の集合です（$X'$ を定める不等式の各辺から $1$ を引いた）。

上式のシグマの中身は，パラメータが $(N-1,A-1,n-1)$ である超幾何分布の確率質量関数です。和を取る範囲も，パラメータが $(N-1,A-1,n-1)$ である超幾何分布のものと対応しています。そのため，和を取ると $1$ になります。

結局残るのは $\dfrac{nA}{N}$ です。