離散確率分布

離散確率分布（りさんかくりつぶんぷ、）や離散型確率分布（りさんがたかくりつぶんぷ）は、確率論や統計学において、 でない確率をとる確率変数値が高々可算個である確率分布のことである。
累積分布関数値が高々可算個であることと同値である。
離散確率分布は確率質量関数に対応する。
定義.
確率論において確率分布が離散であるとは、 でない確率をとる確率変数値が高々可算個であること、つまり
であることである（ は可算濃度）。
確率変数が離散型の場合はこれを満たす。
離散確率分布は確率質量関数で表される。
離散確率分布の累積分布関数は階段関数（右連続）になる。
位相幾何学的には、formula_2 で、確率が でない確率変数値は全ての点は孤立点であり、それら全てからなる集合は離散集合である。しかし、この可算集合が実数直線上で稠密であるような離散確率変数も存在する。
統計学的モデリングでよく知られた離散確率分布としては、ポアソン分布、ベルヌーイ分布、二項分布、幾何分布、負の二項分布などがある。さらに離散一様分布は、コンピュータプログラムで無作為な選択を行う際によく使われる。
代替の説明.
上記と等価的に、離散型確率変数をその累積分布関数がジャンプ不連続によってのみ増加するような確率変数と定義することもできる。すなわち、そのCDFは不連続な点でのみ増加し、不連続点と不連続点の間は一定である。このジャンプ不連続が起きる点はまさに、その確率変数がとりうる値に対応している。ジャンプ不連続点の数は有限または可算無限である。そのようなジャンプの位置は位相幾何学的に離散とは限らない。例えば、CDFが全ての有理数の位置でジャンプすることも考えられる。
以上から、離散確率分布はディラックのデルタ関数を使って確率密度関数を一般化したものとして表現することが多く、それによって連続分布と離散分布を統一的に扱うことができる。これは、連続部分と離散部分がある確率分布を扱う際に特に便利である。
確率変数の指示関数による表現.
確率が でない確率変数値を とし、確率変数値に対応する事象を次のように表現する：
 は の分割であるから、確率変数 は次の式で表せる：
ここで formula_5 であり、 は の指示関数である。これを離散型確率変数の別の定義として使うこともできる。