MathLabs
定理証明済み

ベイズの定理

内容

B1,B2,…,BnB_1, B_2, \ldots, B_n を Ω\Omega の分割とし、すべての ii について P(Bi)>0P(B_i) > 0 とする。また AA を P(A)>0P(A) > 0 を満たす事象とする。このとき各 ii について、P(Bi∣A)=P(Bi)⋅P(A∣Bi)∑j=1nP(Bj)⋅P(A∣Bj)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)} が成り立つ。

なぜ正しいのか?

ベイズの定理は条件付けの向きを逆転させる:各仮説 BiB_i のもとで証拠 AA がどれほど起こりやすいか(多くの場合わかりやすい、あるいは測定しやすい)から出発し、証拠 AA が実際に観測された後で各仮説がどれほどもっともらしいか(通常こちらこそ本当に知りたいこと)を、各事前確率 P(Bi)P(B_i) を AA をどれだけうまく説明するかに応じて重み付け直すことで求める。

証明の概略

第1段階(P(Bi∩A)P(B_i \cap A) を2通りに書く):乗法の法則を両方向に適用すると、P(Bi∩A)=P(Bi)⋅P(A∣Bi)P(B_i \cap A) = P(B_i) \cdot P(A \mid B_i) であり、また P(A)>0P(A) > 0 なので P(Bi∩A)=P(A)⋅P(Bi∣A)P(B_i \cap A) = P(A) \cdot P(B_i \mid A) でもある。

第2段階(2つの式を等しいとおいて解く):P(Bi∩A)P(B_i \cap A) の2つの式を等しいとおくと P(A)⋅P(Bi∣A)=P(Bi)⋅P(A∣Bi)P(A) \cdot P(B_i \mid A) = P(B_i) \cdot P(A \mid B_i) となり、両辺を P(A)P(A) で割ると P(Bi∣A)=P(Bi)⋅P(A∣Bi)P(A)P(B_i \mid A) = \frac{P(B_i) \cdot P(A \mid B_i)}{P(A)} が得られる。

第3段階(全確率の定理で分母を展開する):B1,…,BnB_1, \ldots, B_n が Ω\Omega を分割するので、全確率の定理より P(A)=∑j=1nP(Bj)⋅P(A∣Bj)P(A) = \sum_{j=1}^{n} P(B_j) \cdot P(A \mid B_j) である。

第4段階(代入して完成させる):第2段階の P(A)P(A) をこの和で置き換えると、ちょうど P(Bi∣A)=P(Bi)⋅P(A∣Bi)∑j=1nP(Bj)⋅P(A∣Bj)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)} が得られ、これがベイズの定理である。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。