累積分布関数

指数分布の累積分布関数

正規分布の累積分布関数

累積分布関数（るいせきぶんぷかんすう、テンプレート:Lang-en-short）または分布関数（ぶんぷかんすう、テンプレート:Lang-en-short）とは、確率論において、確率変数 テンプレート:Mvar の実現値が テンプレート:Mvar 以下になる確率の関数のこと。連続型確率変数では、負の無限大から テンプレート:Mvar まで確率密度関数を定積分したものであるとも言える。

累積分布関数は同時確率分布でも条件付き確率分布でも定義される。

定義

実数値確率変数 テンプレート:Mvar の累積分布関数は以下で定義されるテンプレート:Rp。この確率は下側確率 (lower-tail probability) とも呼ばれる。

$F_X(x):=\mathrm{P}(X\le x)$

テンプレート:Mvar の テンプレート:Math の時の半開区間 テンプレート:Math の確率は以下になるテンプレート:Rp。

$\mathrm{P}(a<X\le b)=F_X(b)-F_X(a)$

連続型確率変数の累積分布関数は確率密度関数が存在する場合は以下になるテンプレート:Rp。

$F_X(x)=\underset{-\mathrm{\infty }}{\overset{x}{\int }}{f}_X(t)dt$

特徴

累積分布関数は広義単調増加関数でありテンプレート:Rp、右連続関数であるテンプレート:Rp。さらに以下が成立する。

$\underset{x\to -\mathrm{\infty }}{\lim }{F}_X(x)=0,\underset{x\to +\mathrm{\infty }}{\lim }{F}_X(x)=1.$

離散型確率変数 テンプレート:Mvar では以下が成立する。

$F_X(x)=\mathrm{P}(X\le x)=\sum _{x_i\le x}\mathrm{P}(X=x_i)=\sum _{x_i\le x}p(x_i).$

連続型確率変数 テンプレート:Mvar では以下が成立する。

$F_X(b)-F_X(a)=\mathrm{P}(a<X\le b)=\underset{a}{\overset{b}{\int }}{f}_X(x)dx$

派生関数

相補累積分布関数

相補累積分布関数 (complementary cumulative distribution function, CCDF) とは、以下で定義される関数。この確率は上側確率 (upper-tail probability) とも呼ばれる。

${\overline{F}}_X(x)=\mathrm{P}(X>x)=1-F_X(x)$

分位関数

分位関数 (quantile function) や分位点関数とは、累積分布関数が狭義単調増加で連続な場合に定義される累積分布関数の逆関数 $F^{-1}(p),p\in [0,1]$ のこと。逆関数サンプリング法などで使用される。正規分布の場合はプロビットという。