条件付き確率

定義 5.1（「確率空間とコルモゴロフの公理」§5）

$(\Omega, \mathcal{F}, P)$ を確率空間、 $B \in \mathcal{F}$ を $P(B) > 0$ なる事象とする。 $A \in \mathcal{F}$ に対し

P(A \mid B) := \frac{P(A \cap B)}{P(B)}

を、 $B$ が起きたという条件のもとでの $A$ の条件付き確率という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。