差事象は可測
標本空間が有限集合ないし可算集合である場合の確率空間\(\left(\Omega ,2^{\Omega },P\right) \)に関しては、事象\(A,B\in 2^{\Omega }\)を任意に選んだとき、\begin{equation*}P\left( A\backslash B\right) =P\left( A\right) -P\left( A\cap B\right)
\end{equation*}が成り立つことを確認しました。つまり、差事象\(A\backslash B\)の確率は、事象\(A\)の確率から積事象\(A\cap B\)の確率を引くことにより得られます。では、一般の確率空間、すなわち測度空間としての公理を満たす確率空間\(\left( \Omega ,\mathcal{F},P\right) \)についても同様の命題が成り立つのでしょうか。
以上の疑問に答える前に、差事象が可測であることを確認しておく必要があります。
命題（差事象は可測）
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)において、事象\(A,B\in \mathcal{F}\)を任意に選んだときに、\begin{equation*}A\backslash B\in \mathcal{F}
\end{equation*}が成り立つ。つまり、\(\mathcal{F}\)は差集合について閉じている。
\end{equation*}が成り立つ。つまり、\(\mathcal{F}\)は差集合について閉じている。
差事象の確率
先に示した命題より、確率関数\(P\)は差事象\(A\backslash B\)に対してもその確率\(P\left( A\backslash B\right) \)を与えますが、\begin{equation*}P\left( A\backslash B\right) =P\left( A\right) -P\left( A\cap B\right)
\end{equation*}であることが導かれます。
命題（差事象の確率）
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)において、事象\(A,B\in \mathcal{F}\)を任意に選んだときに、\begin{equation*}P\left( A\backslash B\right) =P\left( A\right) -P\left( A\cap B\right)
\end{equation*}が成り立つ。特に、\(B\subset A\)である場合には、\begin{equation*}P\left( A\backslash B\right) =P\left( A\right) -P\left( B\right)
\end{equation*}が成り立つ。
\end{equation*}が成り立つ。特に、\(B\subset A\)である場合には、\begin{equation*}P\left( A\backslash B\right) =P\left( A\right) -P\left( B\right)
\end{equation*}が成り立つ。
次回は対称差事象の確率について解説します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】