確率質量関数

確率質量関数（かくりつしつりょうかんすう、英: probability mass function, PMF）とは、確率論および統計学において、離散型確率変数にその値をとる確率を対応させる関数のことである^[1]（単に確率関数ということもある）。

確率質量関数の定義域は離散的であるスカラー変数や確率変数ベクトル（英語版）などの確率要素であることもある。

離散型確率変数の場合は連続型確率変数の場合と異なり、事象の確率は高々可算個の確率質量の和で表される^[2]。

定義

$X : S \to A (A \subseteq R)$ を標本空間 $S$ に定義される離散型確率変数とすると、 $X$ に対する確率質量関数 $f X : A \to [0, 1]$ は次の式で定義される^[3]^[4]。

f_{X}(x)=\operatorname {P} (X=x)=\operatorname {P} (\{s\in S\mid X(s)=x\})

確率変数値 $a$ には質量（確率質量） $P(X = a)$ がかかっており、確率質量の総和は

\sum _{x\in A}f_{X}(x)=1

であると考えることができる。離散型確率変数には順序を与えておくことでその離散確率分布がグラフで表せる。確率変数ベクトルなどの確率要素に対しても同様である。離散型確率変数の像以外では確率質量関数値は $0$ 、すなわち全ての $x\notin X(S)$ に対して $f X (x) = 0$ である。

すると、 $X$ の像は高々可算集合であるので、確率質量関数 $f X (x)$ は可算個の点を除いて全領域で $0$ となる。確率質量関数の不連続性は、離散確率変数の累積分布関数もまた不連続であることを示す。微分可能な範囲では、微分値は 0 であり、その範囲では確率質量関数もまた $0$ である。

測度論的定式化

離散型確率変数 $X$ の確率質量関数は 2 つのより一般的な測度論的構成の特別な場合と見ることができる。すなわち、数え上げ測度に関して、 $X$ の確率分布と $X$ の確率密度関数である。以下詳述する。

$(A,{\mathcal {A}},P)$ を確率空間とし、 $(B,{\mathcal {B}})$ をそのσ-代数が離散的な（したがって特に $B$ の一元集合を含む）可測空間とする。この設定において、確率変数 $X:A\to B$ は像が可算集合であれば離散的である。pushforward measure（英語版） $X_{*}(P)$ —この文脈では $X$ の分布 (distribution) と呼ばれる—は $B$ 上の確率測度であって、一元集合へのその制限は、各 $b \in B$ に対して $f_{X}(b)=P(X^{-1}(b))=[X_{*}(P)](\{b\})$ であるから、確率質量関数 $f_{X}:B\to \mathbb {R}$ を誘導する。

さて $(B,{\mathcal {B}},\mu )$ を数え上げ測度を持った測度空間とする。数え上げ測度に関する $X$ の確率密度関数 $f$ は、存在すれば、（数え上げ測度に関しての） $X$ の pushforward measure のラドン＝ニコディム微分であり、したがって $f=dX_{*}P/d\mu$ であり $f$ は $B$ から非負の実数への関数である。したがって、任意の $b \in B$ に対して、