確率質量関数

確率質量関数（かくりつしつりょうかんすう、, PMF）とは、確率論および統計学において、離散型確率変数にその値をとる確率を対応させる関数のことである（単に確率関数ということもある）。
確率質量関数の定義域は離散的であるスカラー変数やなどの確率要素であることもある。
離散型確率変数の場合は連続型確率変数の場合と異なり、事象の確率は高々可算個の確率質量の和で表される。
定義.
 を標本空間 に定義される離散型確率変数とすると、 に対する確率質量関数 は次の式で定義される。
確率変数値 には質量（確率質量） がかかっており、確率質量の総和は
であると考えることができる。
離散型確率変数には順序を与えておくことでその離散確率分布がグラフで表せる。確率変数ベクトルなどの確率要素に対しても同様である。離散型確率変数の像以外では確率質量関数値は 、すなわち全ての formula_3 に対して である。
すると、 の像は高々可算集合であるので、確率質量関数 は可算個の点を除いて全領域で となる。確率質量関数の不連続性は、離散確率変数の累積分布関数もまた不連続であることを示す。微分可能な範囲では、微分値は 0 であり、その範囲では確率質量関数もまた である。
測度論的定式化.
離散型確率変数 の確率質量関数は 2 つのより一般的な測度論的構成の特別な場合と見ることができる。すなわち、数え上げ測度に関して、 の確率分布と の確率密度関数である。以下詳述する。
formula_4 を確率空間とし、formula_5 をそのσ-代数が離散的な（したがって特に の一元集合を含む）可測空間とする。この設定において、確率変数 formula_6 は像が可算集合であれば離散的である。 formula_7—この文脈では の分布 (distribution) と呼ばれる—は 上の確率測度であって、一元集合へのその制限は、各 に対して formula_8 であるから、確率質量関数 formula_9 を誘導する。
さて formula_10 を数え上げ測度を持った測度空間とする。数え上げ測度に関する の確率密度関数 は、存在すれば、（数え上げ測度に関しての） の pushforward measure のラドン＝ニコディム微分であり、したがって formula_11 であり は から非負の実数への関数である。したがって、任意の に対して、
が成り立ち、 が実際確率質量関数であることが証明された。
実例.
標本空間 を偏りのないコインを投げた場合の全ての結果とし、 を 中に定義される試行結果（表：1、裏：0）とする。コインに偏りがないので、確率質量関数は
であり、これは二項分布の特別な場合に相当する。
多値を採る離散分布および確率質量関数の例は多項分布を参照。