ベイズの定理の命題

ベイズの定理をちゃんと記述すると：

1. 同時確率分布に対する、条件化の存在命題
2. 同時確率分布に対する、条件化のほとんど一意性命題
3. 確率保存マルコフ核に対する、反転の存在命題
4. 確率保存マルコフ核に対する、反転のほとんど一意性命題

条件化が存在すれば、反転の存在は導出できる。したがって、「条件化の存在」を証明または仮定すれば、反転の存在を仮定する必要はない。