一般の確率空間[latex](\omega,{\cal F},P)[/latex]で、[W:条件付確率]を定義したらどうなるか。Wikipediaでも、英語版、日本語版ともに高校でやったような特殊ケースしか掲載されていない。拙書「ベイジアンネットワーク入門」では、以下のような定義をしている。Radon-Nikodymの定理から、[latex]A\in {\cal F}, {\cal G}\subseteq {\cal F}[/latex]として、任意の[latex]G\in {\cal G}[/latex]について、[latex] P(A\cap G)=\int_G f_A(\omega)dP(\omega)[/latex]となる[latex]{\cal G}[/latex]上可測な[latex]f_A:\Omega\rightarrow [0,\infty)[/latex]が存在する。こ