← 戻る 条件付き確率とベイズの定理 › ベイズの定理 定理 証明済み
ベイズの定理 内容
B 1 , B 2 , … , B n B_1, B_2, \ldots, B_n B 1 , B 2 , … , B n を Ω \Omega Ω の分割とし、すべての i i i について P ( B i ) > 0 P(B_i) > 0 P ( B i ) > 0 とする。また A A A を P ( A ) > 0 P(A) > 0 P ( A ) > 0 を満たす事象とする。このとき各 i i i について、P ( B i ∣ A ) = P ( B i ) ⋅ P ( A ∣ B i ) ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) P(B_i \mid A) = \frac{P(B_i) \cdot P(A \mid B_i)}{\sum_{j=1}^{n} P(B_j) \cdot P(A \mid B_j)} P ( B i ∣ A ) = ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) P ( B i ) ⋅ P ( A ∣ B i ) が成り立つ。
なぜ正しいのか?
ベイズの定理は条件付けの向きを逆転させる:各仮説 B i B_i B i のもとで証拠 A A A がどれほど起こりやすいか(多くの場合わかりやすい、あるいは測定しやすい)から出発し、証拠 A A A が実際に観測された後で各仮説がどれほどもっともらしいか(通常こちらこそ本当に知りたいこと)を、各事前確率 P ( B i ) P(B_i) P ( B i ) を A A A をどれだけうまく説明するかに応じて重み付け直すことで求める。
証明の概略 第1段階(P ( B i ∩ A ) P(B_i \cap A) P ( B i ∩ A ) を2通りに書く):乗法の法則を両方向に適用すると、P ( B i ∩ A ) = P ( B i ) ⋅ P ( A ∣ B i ) P(B_i \cap A) = P(B_i) \cdot P(A \mid B_i) P ( B i ∩ A ) = P ( B i ) ⋅ P ( A ∣ B i ) であり、また P ( A ) > 0 P(A) > 0 P ( A ) > 0 なので P ( B i ∩ A ) = P ( A ) ⋅ P ( B i ∣ A ) P(B_i \cap A) = P(A) \cdot P(B_i \mid A) P ( B i ∩ A ) = P ( A ) ⋅ P ( B i ∣ A ) でもある。
第2段階(2つの式を等しいとおいて解く):P ( B i ∩ A ) P(B_i \cap A) P ( B i ∩ A ) の2つの式を等しいとおくと P ( A ) ⋅ P ( B i ∣ A ) = P ( B i ) ⋅ P ( A ∣ B i ) P(A) \cdot P(B_i \mid A) = P(B_i) \cdot P(A \mid B_i) P ( A ) ⋅ P ( B i ∣ A ) = P ( B i ) ⋅ P ( A ∣ B i ) となり、両辺を P ( A ) P(A) P ( A ) で割ると P ( B i ∣ A ) = P ( B i ) ⋅ P ( A ∣ B i ) P ( A ) P(B_i \mid A) = \frac{P(B_i) \cdot P(A \mid B_i)}{P(A)} P ( B i ∣ A ) = P ( A ) P ( B i ) ⋅ P ( A ∣ B i ) が得られる。
第3段階(全確率の定理で分母を展開する):B 1 , … , B n B_1, \ldots, B_n B 1 , … , B n が Ω \Omega Ω を分割するので、全確率の定理より P ( A ) = ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) P(A) = \sum_{j=1}^{n} P(B_j) \cdot P(A \mid B_j) P ( A ) = ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) である。
第4段階(代入して完成させる):第2段階の P ( A ) P(A) P ( A ) をこの和で置き換えると、ちょうど P ( B i ∣ A ) = P ( B i ) ⋅ P ( A ∣ B i ) ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) P(B_i \mid A) = \frac{P(B_i) \cdot P(A \mid B_i)}{\sum_{j=1}^{n} P(B_j) \cdot P(A \mid B_j)} P ( B i ∣ A ) = ∑ j = 1 n P ( B j ) ⋅ P ( A ∣ B j ) P ( B i ) ⋅ P ( A ∣ B i ) が得られ、これがベイズの定理である。
ステップごとの証明
この定理のステップごとの証明はまだありません。