幾何分布
幾何分布(きかぶんぷ、テンプレート:Lang-en-short)は、離散型確率分布で、次の2通りの定義がある。
- ベルヌーイ試行を繰り返して初めて成功させるまでの試行回数 X の分布。台は { 1, 2, 3, ...}
- ベルヌーイ試行を繰り返して初めて成功させるまでに失敗した回数 Y=X-1 の分布。台は { 0, 1, 2, 3, ...}
問題とする事柄によってこれら2つの幾何分布から都合の良い方を選ぶ。混同を避けるために幾何分布について言及するときは定義を明らかにするのが賢明である。しかし多くの場合前者(Xの分布)を指す。
各成功確率 p である独立ベルヌーイ試行について
- <math>\Pr(X = k) = p(1-p)^{k-1},
\qquad \Pr(X \leq k) = 1-(1-p)^{k}</math> for k = 1, 2, 3, ....
- <math>\Pr(Y = k) = p(1-p)^{k},
\qquad \Pr(Y \leq k) = 1-(1-p)^{k+1}</math> for k = 0, 1, 2, 3, ....
例えば、サイコロの1の目が出るまで繰り返し投げるとする。投げる回数の台は無限集合{ 1, 2, 3, ...}を取り、p=1/6の幾何分布に従うという。
性質
- <math>\mathrm{E}(X) = \frac{1}{p},
\qquad\mathrm{var}(X) = \frac{1-p}{p^2}.</math>
確率変数Yの期待値、分散
- <math>\mathrm{E}(Y) = \frac{1-p}{p},
\qquad\mathrm{var}(Y) = \frac{1-p}{p^2}.</math>
無記憶性
幾何分布の重要な性質として、無記憶性と呼ばれるものがある。幾何分布では、いかなるパラメータ<math>p</math>に対しても
<math> \forall n, k \in \mathbb{N}, \ \ \ P(X > n + k | X > n) = P(X > k) </math>
なる等式が成り立つ。これはコイントスを例にすると、コイントスを繰り返して少なくとも<math>n</math>回表が出なかったという情報が与えられたときに、表が出るまでに投げる回数が<math>(n+k)</math>を超える条件付き確率は、情報が与えられない場合の確率(すなわち、今すべてを忘れて改めてコイントスを開始して、表が出るまでに投げる回数が<math>k</math>回を超える確率)に等しいという意味である。
各種のギャンブルにおいて負けが続くと、しばしば「運がたまっている」とか「そろそろ勝ちが巡ってくる」といった考えに陥りがちである。しかし、試行の独立性を仮定する限りにおいては、この考えは誤謬であり、負けが続いているという情報は未来の確率に何の影響も与えないということが、無記憶性からわかる。
この逆、すなわち無記憶性を持つ離散型確率分布が幾何分布のみであることも、比較的容易に示される。