条件付き確率分布

確率論において、条件付き確率分布（じょうけんつきかくりつぶんぷ、英: conditional probability distribution）とは、確率変数 X と Y があり、X の値が特定の値であることを知ったときの Y の確率分布のことである。

条件付き累積分布関数・条件付き確率質量関数・条件付き確率密度関数などから、条件付き確率・条件付き期待値などが計算できる。

条件付き累積分布関数

確率変数 X と事象 A が与えられたときに $P(A)>0$ の時に条件付き累積分布関数（conditional cumulative distribution function）は以下のように定義する。

$F_{X|A}(x)\triangleq {\frac {P(X\leq x\cap A)}{P(A)}}.$

条件付き離散確率分布

離散確率変数の場合、条件付き確率質量関数（conditional probability mass function）は $P(X=x)>0$ の時に以下のように定義する。

$p_{Y|X}(y\mid x)\triangleq P(Y=y\mid X=x)={\frac {P(X=x\ \cap Y=y)}{P(X=x)}}$

条件付き連続確率分布

連続確率変数で連続確率分布の場合、条件付き確率密度関数（conditional probability density function）は $f_{X}(x)>0$ の時に以下のように定義する。

$f_{Y}(y\mid X=x)={\frac {f_{X,Y}(x,y)}{f_{X}(x)}}$

$f_{X,Y}(x,y)$ は X と Y の同時分布で、$f_{X}(x)$ は周辺分布である。

X と Y の確率密度関数は以下の関係が成立する。

$f_{Y}(y\mid X=x)f_{X}(x)=f_{X,Y}(x,y)=f_{X}(x\mid Y=y)f_{Y}(y)$

連続確率分布の条件付き分布の概念は見た目よりも直観的では無い。$f_{X}(x)=0$ の時、ボレル-コルモゴロフのパラドックスは座標変換に対して確率密度関数が必ずしも不変では無いことを示している。

写像の条件付き確率分布表現

条件付き確率分布 $Y_{|X}\sim f(Y|X)$ は確率論的（英: stochastic）な $X$ と $Y$ の対応付けを表現する。一方で写像 $Y=f(X)$ は決定論的（英: deterministic）に（一意な）$X$ と $Y$ の対応付けを表現する。この写像は条件付き確率分布でも以下のように表現できる：

$Y_{|X}\sim f(Y|X)=\delta (Y-f_{\theta }(X))$

すなわちディラックのデルタ関数 $\delta ()$ を用いた $Y=f_{\theta }(X)$ 点でのみ非ゼロの値をもつ確率密度関数として表現できる。