教材一覧
< 前のページ
次のページ >

余事象

標本空間\(\Omega \)が与えられたとき、事象\(A\subset \Omega \)を任意に選びます。その補集合\begin{equation*}
A^{c}=\Omega \backslash A
\end{equation*}もまた\(\Omega \)の部分集合であるため、これもまた事象です。この事象\(A^{c}\)を\(A\)の余事象(complementary event)と呼びます。補集合の定義より、\begin{equation}
\omega \in A^{c}\Leftrightarrow \omega \not\in A \quad \cdots (1)
\end{equation}という関係が成り立ちますが、これは何を意味するのでしょうか。問題としている試行のもとで事象\(A^{c}\)が起きた場合、それは\(A^{c}\)に属する何らかの標本点\(\omega \)が実現したことを意味します。つまり\(\omega \in A^{c}\)です。すると\(\left( 1\right) \)よりこれは\(\omega \not\in A\)と必要十分ですが、これは事象\(A\)が起こらないことを意味します。つまり、事象\(A^{c}\)が起こることと事象\(A\)が起こらないことは必要十分であるため、余事象\(A^{c}\)は「事象\(A\)が起こらない」という事象に相当します。

例(余事象)
「1つのサイコロを1回投げて出た目を観察する」という試行の標本空間は、\begin{equation*}
\Omega =\{1,2,3,4,5,6\}
\end{equation*}です。例えば、「奇数の目が出る」という事象は\(A=\left\{ 1,3,5\right\} \)として表現されますが、その余事象は\(A^{c}=\left\{ 2,4,6\right\} \)であり、これは「奇数の目が出ない」こと、すなわち「偶数の目が出る」という事象です。また、「\(5\)以上の目が出る」という事象は\(B=\left\{ 5,6\right\} \)として表現されますが、その余事象は\(B^{c}=\left\{ 1,2,3,4\right\} \)であり、これは「\(4\)以下の目が出る」という事象です。
例(余事象)
「1つのサイコロを2回投げて出た目を観察する」という試行の標本空間は、\begin{equation*}
\Omega =\left\{ \left( i,j\right) \ |\ i,j\in \left\{ 1,2,3,4,5,6\right\}
\right\}
\end{equation*}です。ただし、標本点\(\left( i,j\right) \)は「1回目に\(i\)が出て2回目に\(j\)が出る」という結果に相当します。例えば、「2回の目の合計は奇数である」という事象を\(A\)で表すとき、その補事象\(A^{c}\)はどのような事象でしょうか。任意の標本点\(\left( i,j\right) \in \Omega \)に対して、\begin{eqnarray*}
\left( i,j\right) \in A^{c} &\Leftrightarrow &\left( i,j\right) \not\in A\text{\quad }\because A^{c}\text{の定義} \\
&\Leftrightarrow &i+j\text{は奇数ではない} \\
&\Leftrightarrow &i+j\text{は偶数である}
\end{eqnarray*}という関係が成り立つため、\(A^{c}\)は「2回の目の合計は偶数である」という事象です。

次回は積事象と呼ばれる事象演算について学びます。

質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定) 次へ進む
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員だけが質問やコメントを投稿・閲覧できます。