probability-theory
ベルヌーイ試行を繰り返すことを考える。1回目のベルヌーイ試行を、2回目のベルヌーイ試行をと表すと、繰り返しに応じて添え字が増えていく。ベルヌーイ試行を、試行の順序通りに並べると
となる。番目のベルヌーイ試行をと記す。数列の一般項のようなものだが、添え字がある以外はすべて、同じ試行が並んでいる。
これらの試行は、互いに独立に同一の試行が繰り返されているものとする。コイン投げを繰り返す時には、投げ終えたコインを拾い、同じポジションに戻ってからまた投げる。受験を繰り返すのであれば、同じ学力のまま、テストだけが新しくなる想定でまた受験する。天気であれば、同じ気圧配置、同じ雲の配置が朝に繰り返される想定で、また予想する。
試行の繰り返しはいつか、止めなければならない。確率論の序盤で興味のある止め方は、次の3通りである。
一つ目の止め方では、試行回数が予め決まっているので、成功回数
を数える。
のモーメントは、それぞれのモーメントの和になる。
分散も共分散がなので、分散の和になる。
モーメント母関数はそれぞれのモーメント母関数の積になる。
総試行回数を固定してベルヌーイ試行を互いに独立に繰り返したうちの、成功回数の確率関数は次のように導かれる。成功回数がのすべての場合の確率の和を求める。
この確率関数を持つ確率分布を、二項分布という。二項分布に関する計算は、別の機会に譲る。
二つ目の止め方では、成功回数が決まっているので、試行回数を数える。
確率変数は、回成功するまでの総試行回数とする。この確率変数については、確率関数を先に導く。総試行回数が回のときに1回目の成功があるという事象
は、回連続して失敗し、回目に初めて成功したことを意味する。各試行で表すと
となる。試行が互いに独立ならば、この事象の確率は
である。この確率関数を持つ確率分布を、幾何分布という。確率が
のように初項が、公比がの幾何数列となっていることに由来する。幾何数列は等比数列ともいう。
幾何分布に関する計算も、別の機会に譲る。
三つ目の止め方でも、成功回数が決まっているので、試行回数を数える。
確率変数は、回成功するまでの総試行回数とする。この確率変数については、確率関数を先に導く。総試行回数が回のときに回目の成功があるという事象
は、回目までに回成功していて、回目に初めて回目の成功があったことを意味する。
回目の試行までの成功回数をと置くと、これはそこまでの試行の総和
に等しい。という事象をを用いて表すと、
となる。を代入してみると、
のように、回目の試行で初めてがとなっていて、ここで初めて成功したことを表現できている。
ところで、回成功するまでの総試行は、回成功するまでの試行の繰り返しを、さらに回繰り返すことと等しい。
ここで、ベルヌーイ試行を回成功するまで繰り返して成功したら止める試行を定義する。
この試行を幾何試行と呼ぶ。幾何試行の回の繰り返しを
と置くと、これらは互いに独立に幾何分布に従う確率変数となる。そして、
となる。これより、が従う確率分布は同一の幾何分布に従う確率変数の和の分布に等しい。
確率変数の確率分布は、この事実を用いて導かれる。その確率分布を負の二項分布という。
負の二項分布に関する確率計算の詳細も、別の機会に譲る。
上の説明では、二つ目の止め方と三つ目の止め方で、総試行回数を数えた。幾何分布の確率関数
が、回連続して失敗してから、回目に成功する確率であることから、失敗した回数を数えても良い。
幾何試行について、両者は
の関係にある。また負の二項試行についても、両者は
の関係にある。これらより、幾何試行では両者の平均は成功回数分のだけ差がある
が、分散は等しい。
負の二項試行でも、平均は成功回数分のだけ差がある
が、分散は同様に等しい。