【これなら分かる!】確率の性質の証明

zuka

こんにちは。
zuka(@beginaid)です。

本記事は「これなら分かる!はじめての数理統計学」シリーズに含まれます。

内容は統計検定1級に準拠しています。もし不適切な内容や誤植があれば,記事下のコメント欄もしくはお問い合わせフォームよりご連絡いただけますと幸いです。

目次

確率の性質

確率$P(\cdot)$は以下を満たす。

  1. 空事象$\phi$に対して$P(\phi)=0$
  2. $A_1, A_2, \ldots, A_n$が互いに排反な事象ならば
    \begin{align}
    P(A_i \cup A_2 \cup \cdots \cup A_n) &= P(A_1) + P(A_2) + \cdots + P(A_n)
    \end{align}
  3. 任意の事象Aに対して$P(A^c)=1-P(A)$
  4. 任意の事象AとBに対して$P(A \cup B) = P(A) + P(B) – P(A \cap B)$

ただし,$A^c$は$A$が起きないという事象を表す。

証明

以下では4つの命題に関してそれぞれ証明をしていきます。

1. の証明

空事象$\phi$は互いに排反です。なぜなら,排反の定義は$P(A \cap B)=\phi$であるからで,空事象同士に適用すると$P(\phi \cap \phi)=\phi$となるからです。すると,確率の定義No.3より,

\begin{align}
P(\phi) &= P(\phi \cup \phi \cup \cdots)\\
&= P(\phi) + P(\phi) + \cdots
\end{align}

となります。この式は,$P(\phi)=0$でなければ成り立ちません。したがって,$P(\phi)=0$です。

2. の証明

これは確率の定義式No.3そのままですね。定義式では和の上限はないのですが,今回の性質では$n$個目の事象までを考えています。どうすれば無限遠方と$n$個目のギャップを埋められるかというと,空集合を利用すればいいのです。つまり,$(n+1 \leq i)$なる$i$に対して$A_{i}=\phi$と定めれば,先ほど証明した通り$P(\phi)=0$ですので,確率の定義式から確率の性質No.2を導出できます。

3. の証明

全事象を$\Omega$とすると

\begin{align}
1 &= P(\Omega) \\
&= P(A \cap A^c) \\
&= P(A) + P(A^c)
\end{align}

であるため,$P(A^c)=1-P(A)$が成り立ちます。

4. の証明

ベン図をイメージして式変形していくことで証明できます。

\begin{align}
P(A \cup B) &= P(A) + P(A^c \cap B)\\
&= P(A) + { P(B) – P(A \cap B) }\\
&= P(A) + P(B) – P(A \cap B)
\end{align}

シェアはこちらからお願いします!
URLをコピーする
URLをコピーしました!

コメント

コメントする

目次
閉じる