確率質量関数

離散確率分布は、確率質量がはたらく点に丸を付け、支柱を付けて表す。

確率質量関数（かくりつしつりょうかんすう、テンプレート:Lang-en-short, PMF）とは、確率論および統計学において、離散型確率変数にその値をとる確率を対応させる関数のことである（単に確率関数ということもある）。

確率質量関数の定義域は離散的であるスカラー変数やテンプレート:仮リンクなどの確率要素であることもある。

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

定義

偏りのないサイコロの確率質量関数。等確率空間における確率分布は離散一様分布になる。

テンプレート:Math2 を標本空間 テンプレート:Mvar に定義される離散型確率変数とすると、テンプレート:Mvar に対する確率質量関数 テンプレート:Math2 は次の式で定義される。

$f_X(x)=\mathrm{P}(X=x)=\mathrm{P}(\{s\in S\mid X(s)=x\})$

確率変数値 テンプレート:Mvar には質量（確率質量）テンプレート:Math2 がかかっており、確率質量の総和は

$\sum _{x\in A}{f}_X(x)=1$

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

すると、テンプレート:Mvar の像は高々可算集合であるので、確率質量関数 テンプレート:Math は可算個の点を除いて全領域で テンプレート:Math となる。確率質量関数の不連続性は、離散確率変数の累積分布関数もまた不連続であることを示す。微分可能な範囲では、微分値は 0 であり、その範囲では確率質量関数もまた テンプレート:Math である。

測度論的定式化

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

$(A,𝒜,P)$ を確率空間とし、$(B,ℬ)$ をそのσ-代数が離散的な（したがって特に テンプレート:Mvar の一元集合を含む）可測空間とする。この設定において、確率変数 $X:A\to B$ は像が可算集合であれば離散的である。テンプレート:仮リンク $X_{*}(P)$—この文脈では テンプレート:Mvar の分布 (distribution) と呼ばれる—は テンプレート:Mvar 上の確率測度であって、一元集合へのその制限は、各 テンプレート:Math に対して $f_X(b)=P(X^{-1}(b))=[X_{*}(P)](\{b\})$ であるから、確率質量関数 $f_X:B\to ℝ$ を誘導する。

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

$P(X=b)=P(X^{-1}(\{b\})):=\underset{X^{-1}(\{b\})}{\int }dP=\underset{\{b\}}{\int }fd\mu =f(b)$

が成り立ち、テンプレート:Mvar が実際確率質量関数であることが証明された。

実例

標本空間 テンプレート:Mvar を偏りのないコインを投げた場合の全ての結果とし、テンプレート:Mvar を テンプレート:Mvar 中に定義される試行結果（表：1、裏：0）とする。コインに偏りがないので、確率質量関数は

$f_X(x)=\{\begin{array}{cc}1/2,& x\in \{0,1\},\\ 0,& x\notin \{0,1\}.\end{array}$

であり、これは二項分布の特別な場合に相当する。

多値を採る離散分布および確率質量関数の例は多項分布を参照。

関連資料

• Johnson, N.L., Kotz, S., Kemp A. (1993) Univariate Discrete Distributions (2nd Edition). Wiley. ISBN 0-471-54897-9 (p 36)

関連項目

• 確率変数
• 確率密度関数
• 離散確率分布