定理証明済み
ベイズの定理
内容
任意の事象 A と B(ただし P(A)>0 かつ P(B)>0)に対して、P(A∣B)=P(B)P(B∣A)P(A) が成り立つ。より一般に、A1,…,Ak が標本空間の分割をなし、P(Ai)>0 かつ P(B)>0 ならば、各 j に対して P(Aj∣B)=∑i=1kP(B∣Ai)P(Ai)P(B∣Aj)P(Aj) が成り立つ。
なぜ正しいのか?
ベイズの定理は条件付き確率の向きを逆転させる数学的規則である。事前確率 P(A) で表される隠れた原因 A への信念を、証拠 B を観測した後に事後確率 P(A∣B) へと更新する際、原因 A がどれだけ証拠 B を生み出しやすいかで重み付けすればよいことを教えてくれる。
証明の概略
条件付き確率の定義より、P(B)>0 のとき P(A∣B)=P(B)P(A∩B) であり、対称的に P(A)>0 のとき P(B∣A)=P(A)P(A∩B) である。P(A∩B) に関する2つの式を等置すると P(A∩B)=P(B∣A)P(A) となり、P(B) で割れば P(A∣B)=P(B)P(B∣A)P(A) が得られる。A1,…,Ak が標本空間を分割するとき、全確率の公式により分母は P(B)=∑i=1kP(B∩Ai)=∑i=1kP(B∣Ai)P(Ai) と展開される。
ステップごとの証明
この定理のステップごとの証明はまだありません。