probability-theory
離散分布は、標本空間が離散集合の場合に、要素に座標を与えて、座標の確率を返す関数を定義する。事象の考え方はそのまま適用される。
2つの確率変数の組が従う確率分布は、2次元平面上に定義される。その確率分布の同時確率関数とは、かつという事象の確率を次のような積分で表現できる関数のことをいう。
例えば正方形の領域の整数の組で作られる点の上でという関数を考える。下図はの場合を示している。
この関数はこの領域の上で非負であり、この領域上のすべての整数の組の点での総和はとなる。正方形内に点が個あり、すべての点で関数の値がなので、総和がとなることは、計算するまでもない。
上の確率を計算してみる。
となる。これが同時累積分布関数である。
2つの添え字を考える。とは片方がならもう一方はとなる。
の周辺確率密度関数は、およびの同時密度関数から次のように導かれる。
またを所与としたときの、の条件付き確率密度は、およびの同時密度から次のように導かれる。
これも同じ正方形上の連続一様分布で考えてみる。
どちらもになる。
このこと
は、正方形上の一様分布は、確率変数同士が互いに独立なことを意味する。
周辺確率密度関数から導かれる累積分布関数を周辺累積分布関数と呼び、条件付き確率密度関数から導かれる累積分布関数を条件付き確率密度関数と呼ぶことがある。周辺分布の累積分布関数、条件付き分布の累積分布関数と少し短く呼ばれることもある。
2変量の場合の単純な拡張で、多変量の場合も説明しておく。
2つの添え字集合を、を満たすように定める。とは添え字集合全体の被覆ともいう。集合の大きさを、集合の大きさをとする。
である。
に含まれる変数の周辺同時確率密度関数は、全体の同時密度関数から次のように導かれる。
に含まれる変数を所与としたときの、に含まれる変数の条件付き確率密度は、全体の同時密度から次のように導かれる。