確率分布

確率分布（かくりつぶんぷ、）は、確率変数に対して、各々の値をとる確率全体を表したものである。日本産業規格では、「確率変数がある値となる確率，又はある集合に属する確率を与える関数」と定義している。
概要.
例えば、「サイコロ2個を振ったときの出た目の和」は確率変数である。この確率変数 に対する分布は次の表のようになる。
すなわち、離散型確率変数である場合は、確率分布とは確率変数の値にその確率（確率質量）を対応させる関数（確率質量関数）のことであると言うこともできる。しかし、例えば「次に電話がなるまでの時間」といった、連続型確率変数の場合は、確率変数値での確率が全て となり、確率分布を確率質量関数で表すことができない。
「次に電話がなるまでの時間」は確率変数である。この確率変数 の分布が次のようになったとする。
この場合の確率を全て表すには、全ての連続区間での確率を求めることになる。次の電話が - 時間後になる確率は次の式で表せる：
累積分布関数 を
で定めれば、
のように、一変数関数で分布を表現できるので便利である。さらに、 の導関数 は確率密度関数と呼ばれ、確率は積分を用いて
と書ける。
通常、連続値をとる確率変数の分布は確率密度関数を用いて記述される。なぜなら、確率密度関数は初等関数で書けるが、累積分布関数は書けない場合が多いからである。
公理主義的な確率論においては、次元ベクトル値確率変数の確率分布とは、その確率変数の引き起こす像測度のことである。この測度は 次元ユークリッド空間上の確率測度であり、ユークリッド空間の部分集合に対して、確率変数の値がその集合に入る確率を与える関数となる。
単に確率分布というときは、次元ユークリッド空間などのよく使われる可測空間上で定義された確率測度のことをいう。ただの確率測度と違って空間に散らばっている様子がグラフなどの目に見える形で表現できるので「分布」と呼ばれる。
確率論で、確率変数の分布を考えるのは、その変数だけを確率論的な議論の対象にしたい場合である。例えば、確率変数がある値を取る確率や、期待値、分散といった量は変数の分布が分かれば計算できる量である。逆に分布を考えることによって隠れた変数 と確率変数との対応関係は失われてしまい、他の確率変数との関連性も不明になる。例えば、確率変数 と の分布がそれぞれ と のように与えられたとしても、2つの変数の関連性は分からないので、 がある値を取る確率や、積 の期待値、 の分散といった量は計算できない。このような量を計算したいときは、 と の同時確率分布 が必要となる。
よく使われる確率分布にはそれぞれ名前がついており性質がよく研究されている。このような分布をもつ確率変数に対して研究の結果を利用することができる。例えば、確率変数の分布が平均 、分散 の正規分布だった場合、その変数が 以上の値を取る確率は数表から 2.28% である。
定義.
確率分布.
なお、formula_7 は formula_8 上のボレル集合族（集合演算で閉じた部分集合族の一種）である。
確率変数の確率分布.
実数値確率変数 の確率分布 formula_9 を
で定義する。 は確率測度（像測度）である。
同様に formula_8 値確率変数 の確率分布 formula_12 は
で定義される確率測度である。
確率変数 の確率分布が であるとき、 は に従う確率変数であるといい、記号で と書く。例えば、「 は平均 0、分散 1 の正規分布に従う」のように使い、これを
のように書く。
累積分布関数.
実数値確率変数 の累積分布関数 (, CDF) あるいは一次元確率分布 の累積分布関数とは
で与えられる関数 のことである。累積を省略して分布関数 () とも言う。
累積分布関数は定義より右連続であるが、左連続とは限らない。累積分布関数が連続である（左連続でもある）確率分布を連続確率分布という。累積分布関数がとる値が高々可算個である確率分布を離散確率分布という。
確率密度関数.
確率分布 が絶対連続ならば、ある可測関数 が存在して、確率分布は
と表される（ラドン＝ニコディムの定理）。 は のラドン=ニコディム微分であり、零集合を除いて一意である。 を連続型確率変数 の確率密度関数 (probability density function, PDF) という。
確率分布 が絶対連続であるとは、任意の（ルベーグ測度に関しての）零集合 に対して、
が成り立つことと定義される。これは測度の絶対連続性と同じである。このとき連続確率分布である。
とくに が区間の場合は
となる。区間の端点は入れても入れなくても確率は同じである。
確率質量関数.
離散確率分布のときに確率密度関数に対応する関数として確率質量関数 (probability mass function) がある。確率変数 のとる値の集合が だとすると確率質量関数は
で定まる関数 のことである。日本語では確率関数とも略されるが、英語の probability function は意味が曖昧な言葉とされる。
多次元確率分布.
2つ以上の変数の確率分布を、多次元確率分布と呼ぶ。2変数の確率確率分布を、二次元確率分布と呼ぶ。
同時分布.
2つ以上の変数の組の確率分布のことを同時分布（どうじぶんぷ、joint distribution）、同時確率分布 (joint probability distribution) という。
周辺分布.
同時分布から各変数の分布だけを取り出したものを周辺分布（しゅうへんぶんぷ、）、周辺確率分布と呼ぶ。日本工業規格では、「k次元確率変数の部分集合である k - 1変数の同時分布」と定義している。
確率分布の分類.
まず確率変数が連続か離散かで分かれ、連続型確率変数の場合は累積分布関数が連続か絶対連続かで分類できる。
代表的な確率分布.
よく使われる確率分布は離散確率分布と絶対連続確率分布である。
離散確率分布.
サイコロを投げた時に出る目の数字など、確率変数が離散的な値をとる場合の確率分布は離散型確率分布である。パラメトリックな離散確率分布は母数（パラメータ）と台と確率質量関数 で特徴付けられる。台というのは確率変数のとる値の集合のことである。
連続確率分布（絶対連続分布）.
ある地点での通行人の体重など、確率変数が連続的な場合の確率分布のうち、累積分布関数が連続な確率分布が連続型確率分布である。パラメトリックな絶対連続分布は母数（パラメータ）と台と確率密度関数 で特徴付けられる。
確率分布の利用法.
確率変数の確率分布が与えられると、その変数に関する確率・期待値・分散などが以下のように計算できる。
 は連続型確率変数で確率密度関数は であり、累積分布関数は とする。 は離散型確率変数で台は で確率質量関数は であるとする。
期待値の計算.
関数 が与えられたときに と の期待値は
特に
分散の計算.
 と の分散は
変数変換.
確率変数の変数変換による新しい変数の密度関数は、元の変数の密度関数で書くことができる。この公式は重積分における変数変換とほぼ同様である。
確率密度関数の変数変換公式.
formula_8 から formula_8 への変換 により、formula_8 値確率変数 と が
と書けているとすると、 の確率密度関数は の確率密度関数を用いて
となる。ただし はヤコビアンとする。
例えばボックス-ミューラー変換は 上の一様分布に従う確率変数 を
によって変換する。 の密度関数は
であり、上の公式を当てはめると の確率密度関数は