差事象
標本空間\(\Omega \)が与えられたとき、2 つの事象\(A,B\subset \Omega \)を任意に選びます。これらの差集合\begin{equation*}A\backslash B
\end{equation*}もまた\(\Omega \)の部分集合であるため、これもまた事象です。この事象\(A\backslash B\)を\(A\)と\(B\)の差事象（difference of events）と呼びます。
事象\(A,B\)および差事象\(A\backslash B\)が与えられたとき、差集合の定義より、\begin{equation}\forall \omega \in \Omega :\left( \omega \in A\backslash B\Leftrightarrow
\omega \in A\wedge \omega \not\in B\right) \quad \cdots (1)
\end{equation}という関係が成り立ちますが、これは何を意味するのでしょうか。問題としている試行のもとで事象\(A\backslash B\)が起きた場合、それは\(A\backslash B\)に属する何らかの標本点\(\omega \)が実現したこと、すなわち\(\omega \in A\backslash B\)が成り立つことを意味します。\(\left( 1\right) \)よりこれは\(\omega\in A\)と\(\omega \not\in B\)がともに成り立つこと、すなわち\(A\)が起こる一方で\(B\)が起こらないことと必要十分です。つまり、事象\(A\backslash B\)が起こることと事象\(A\)が起こる一方で事象\(B\)が起こらないことは必要十分であるため、差事象\(A\backslash B\)は「事象\(A\)が起こるが事象\(B\)は起こらない」という事象に相当します。
\Omega =\{1,2,3,4,5,6\}
\end{equation*}です。例えば、「奇数の目が出る」という事象は、\begin{equation*}
A=\left\{ 1,3,5\right\}
\end{equation*}であり、「\(4\)以上の目が出る」という事象は、\begin{equation*}B=\left\{ 4,5,6\right\}
\end{equation*}であるため、これらの差事象は、\begin{equation*}
A\backslash B=\left\{ 1,3\right\}
\end{equation*}であり、これは「奇数の目が出るが\(4\)以上の目は出ない」という事象です。その一方で、\begin{equation*}B\backslash A=\left\{ 4,6\right\}
\end{equation*}であり、これは「\(4\)以上の目が出るが奇数の目は出ない」という事象です。
\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\)が出る」という結果に相当します。例えば、「1回目に\(1\)が出る」という事象を\(A\)で、「2回目に\(1\)が出る」という事象を\(B\)で表すとき、これらの差事象\(A\backslash B\)はどのような事象でしょうか。任意の標本点\(\left( i,j\right) \in \Omega \)に対して、\begin{eqnarray*}\left( i,j\right) \in A\backslash B &\Leftrightarrow &\left( i,j\right) \in
A\wedge \left( i,j\right) \not\in B\quad \because \text{差事象の定義} \\
&\Leftrightarrow &i=1\wedge j\not=1 \quad \because A,B\text{の定義}
\end{eqnarray*}という関係が成り立つため、\(A\backslash B\)は「1回目に\(1\)が出るが2回目には\(1\)は出ない」という事象です。その一方で、\begin{eqnarray*}\left( i,j\right) \in B\backslash A &\Leftrightarrow &\left( i,j\right) \in
B\wedge \left( i,j\right) \not\in A\quad \because \text{差事象の定義} \\
&\Leftrightarrow &j=1\wedge i\not=1 \quad \because A,B\text{の定義}
\end{eqnarray*}という関係が成り立つため、\(B\backslash A\)は「2回目に\(1\)が出るが1回目には\(1\)は出ない」という事象です。
差事象の同値表現
一般に、2つの集合\(A,B\)を任意に選んだとき、\begin{equation*}A\backslash B=A\cap B^{c}
\end{equation*}という関係が成り立つため、差事象についても同様の命題が成り立ちます。
\end{equation*}という関係が成り立つ。
\Omega =\{1,2,3,4,5,6\}
\end{equation*}です。例えば、「偶数の目が出る」という事象は、\begin{equation*}
A=\left\{ 1,3,5\right\}
\end{equation*}であり、「\(3\)以下の目が出る」という事象は、\begin{equation*}B=\left\{ 1,2,3\right\}
\end{equation*}であるため、これらの差事象は、\begin{equation*}
A\backslash B=\left\{ 5\right\}
\end{equation*}となります。その一方で、\(B\)の余事象は、\begin{equation*}B^{c}=\Omega \backslash B=\left\{ 4,5,6\right\}
\end{equation*}であることから、\begin{equation*}
A\cap B^{c}=\left\{ 5\right\}
\end{equation*}を得ます。したがって、\begin{equation*}
A\backslash B=A\cap B^{c}
\end{equation*}という関係が成り立ちますが、これは先の命題の主張と整合的です。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】