累積分布関数

累積分布関数（るいせきぶんぷかんすう、）や分布関数（ぶんぷかんすう、）とは、確率論において、確率変数 の実現値が 以下になる確率の関数のこと。連続型確率変数では、負の無限大から まで確率密度関数を定積分したもの。
累積分布関数は同時確率分布でも条件付き確率分布でも定義される。
定義.
実数値確率変数 の累積分布関数は以下で定義される。この確率は下側確率 (lower-tail probability) とも呼ばれる。
 の の時の半開区間 の確率は以下になる。
連続型確率変数の累積分布関数は確率密度関数が存在する場合は以下になる。
特徴.
累積分布関数は広義単調増加関数であり、右連続関数である。さらに以下が成立する。
離散型確率変数 では以下が成立する。
連続型確率変数 では以下が成立する。
派生関数.
相補累積分布関数.
相補累積分布関数 (complementary cumulative distribution function, CCDF) とは、以下で定義される関数。この確率は上側確率 (upper-tail probability) とも呼ばれる。
分位関数.
分位関数 (quantile function) や分位点関数とは、累積分布関数が狭義単調増加で連続な場合に定義される累積分布関数の逆関数 formula_8 のこと。逆関数サンプリング法などで使用される。正規分布の場合はプロビットという。