WIIS

確率変数

2つの確率変数の独立性

目次

Mailで保存
Xで共有

2つの確率変数の独立性

確率空間\(\left( \Omega ,\mathcal{F},P\right) \)が与えられたとき、2つの事象\(A,B\in \mathcal{F}\)が独立であることを、\begin{equation*}P\left( A\cap B\right) =P\left( A\right) \cdot P\left( B\right)
\end{equation*}が成り立つこととして定義しました。これは、2つの事象\(A,B\)の一方が起きているかどうかが他方の事象が起こる確率に影響を与えないことを意味します。さらに、2つの事象族\(\mathcal{A},\mathcal{B}\subset \mathcal{F}\)が独立であることを、\begin{equation*}\forall A\in \mathcal{A},\ \forall B\in \mathcal{B}:P\left( A\cap B\right)
=P\left( A\right) \cdot P\left( B\right)
\end{equation*}が成り立つこととして定義しました。これは、それぞれの事象族からどの事象を選んだ場合でもそれらが独立であることを意味します。以上を踏まえた上で、2つの確率変数が独立であることの意味を定義します。

確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて2つの確率変数\begin{eqnarray*}X &:&\Omega \rightarrow \mathbb{R} \\
Y &:&\Omega \rightarrow \mathbb{R} \end{eqnarray*}が与えられているものとします。それぞれの確率変数から生成される\(\sigma \)-代数は、\begin{eqnarray*}\sigma \left( X\right) &=&\left\{ X^{-1}\left( B\right) \in 2^{\Omega }\ |\
B\in \mathcal{B}\left( \mathbb{R} \right) \right\} \\
\sigma \left( Y\right) &=&\left\{ Y^{-1}\left( B\right) \in 2^{\Omega }\ |\
B\in \mathcal{B}\left( \mathbb{R} \right) \right\}
\end{eqnarray*}と定義されます。その上で、これらが事象族として独立である場合には、すなわち、\begin{equation*}
\forall A\in \sigma \left( X\right) ,\ \forall B\in \sigma \left( Y\right)
:P\left( A\cap B\right) =P\left( A\right) \cdot P\left( B\right)
\end{equation*}が成り立つ場合には、\(X\)と\(Y\)は独立である(independent)と言います。一方、2つの確率変数\(X,Y\)が独立でない場合には、すなわち、\begin{equation*}\exists A\in \sigma \left( X\right) ,\ \exists B\in \sigma \left( Y\right)
:P\left( A\cap B\right) \not=P\left( A\right) \cdot P\left( B\right)
\end{equation*}が成り立つ場合には、\(A\)と\(B\)は従属である(dependent)と言います。

 

分布を用いた2つの確率変数の独立性の表現

確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて2つの確率変数\begin{eqnarray*}X &:&\Omega \rightarrow \mathbb{R} \\
Y &:&\Omega \rightarrow \mathbb{R} \end{eqnarray*}が与えられているものとします。その上で、それぞれの標本点\(\omega \in \Omega \)に対して以下のベクトル\begin{equation*}\left( X,Y\right) \left( \omega \right) =\left( X\left( \omega \right)
,Y\left( \omega \right) \right) \in \mathbb{R} ^{2}
\end{equation*}を値として定めるベクトル値写像\begin{equation*}
\left( X,Y\right) :\Omega \rightarrow \mathbb{R} ^{2}
\end{equation*}を定義すれば、これが同時確率変数になることが保証されます。

確率変数\(X,Y\)の分布を、\begin{eqnarray*}\mu _{X} &:&\mathcal{B}\left( \mathbb{R} \right) \rightarrow \mathbb{R} \\
\mu _{Y} &:&\mathcal{B}\left( \mathbb{R} \right) \rightarrow \mathbb{R} \end{eqnarray*}で表記し、同時確率変数\(\left( X,Y\right) \)の同次分布を、\begin{equation*}\mu _{XY}:\mathcal{B}\left( \mathbb{R} ^{2}\right) \rightarrow \mathbb{R} \end{equation*}で表記します。

数直線\(\mathbb{R} \)上のボレル集合\(A,B\in \mathcal{B}\left( \mathbb{R} \right) \)が与えられれば、\begin{eqnarray*}\mu _{X}\left( A\right) &=&P\left( X\in A\right) \\
\mu _{Y}\left( B\right) &=&P\left( Y\in B\right)
\end{eqnarray*}が定まります。数直線上のボレル集合上の直積は平面上のボレル集合であるため\(A\times B\in \mathcal{B}\left( \mathbb{R} ^{2}\right) \)であり、したがって、\begin{equation*}\mu _{XY}\left( A\times B\right) =P\left( X\in A\wedge Y\in B\right)
\end{equation*}が定まります。その上で、\begin{equation*}
\forall A,B\in \mathcal{B}\left( \mathbb{R} \right) :\mu _{XY}\left( A\times B\right) =\mu _{X}\left( A\right) \cdot \mu
_{Y}\left( B\right)
\end{equation*}すなわち、\begin{equation*}
\forall A,B\in \mathcal{B}\left( \mathbb{R} \right) :P\left( X\in A\wedge Y\in B\right) =P\left( X\in A\right) \cdot
P\left( Y\in B\right)
\end{equation*}が成り立つことは、\(X\)と\(Y\)が独立であるための必要十分条件です。

命題(分布を用いた2つの確率変数の独立性の表現)
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて2つの確率変数\(X,Y:\Omega \rightarrow \mathbb{R} \)と同時確率変数\(\left( X,Y\right):\Omega \rightarrow \mathbb{R} ^{2}\)が与えられているものとする。以下の条件\begin{equation*}\forall A,B\in \mathcal{B}\left( \mathbb{R} \right) :P\left( X\in A\wedge Y\in B\right) =P\left( X\in A\right) \cdot
P\left( Y\in B\right)
\end{equation*}が成り立つことは、\(X\)と\(Y\)が独立であるための必要十分条件である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

2つの確率変数が独立であるための条件

2つの確率変数\(X,Y\)が独立であることを、\begin{equation*}\forall A\in \sigma \left( X\right) ,\ \forall B\in \sigma \left( Y\right)
:P\left( A\cap B\right) =P\left( A\right) \cdot P\left( B\right)
\end{equation*}が成り立つこととして定義するとともに、これは以下の条件\begin{equation*}
\forall A,B\in \mathcal{B}\left( \mathbb{R} \right) :P\left( X\in A\wedge Y\in B\right) =P\left( X\in A\right) \cdot
P\left( Y\in B\right)
\end{equation*}と必要十分であることを示しました。したがって、\(X\)と\(Y\)が独立であることを示すためには、すべてのボレル集合\(A,B\in \mathcal{B}\left( \mathbb{R} \right) \)に対して、\begin{equation*}P\left( X\in A\wedge Y\in B\right) =P\left( X\in A\right) \cdot P\left( X\in
B\right)
\end{equation*}が成り立つことを示す必要があります。ただ、ボレル集合は無数に存在するため、このような検証を実際に行うのは大変です。ただ、実際には、すべてのボレル集合について以上の条件が成り立つことを検証する必要はありません。具体的には以下の通りです。

実数\(x,y\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする区間\begin{eqnarray*}&&(-\infty ,x] \\
&&(-\infty ,y] \end{eqnarray*}をとります。これらはともにボレル集合です。つまり、\begin{eqnarray*}
\forall x &\in &\mathbb{R} :(-\infty ,x]\in \mathcal{B}\left( \mathbb{R} \right) \\
\forall y &\in &\mathbb{R} :(-\infty ,y]\in \mathcal{B}\left( \mathbb{R} \right)
\end{eqnarray*}です。その上で、以下の条件\begin{equation*}
\forall x,y\in \mathbb{R} :P\left( \left( X,Y\right) \in (-\infty ,x]\times (-\infty ,y]\right)
=P\left( X\in (-\infty ,x]\right) \cdot P\left( X\in (-\infty ,y]\right)
\end{equation*}すなわち、\begin{equation*}
\forall x,y\in \mathbb{R} :P\left( X\leq x\wedge Y\leq y\right) =P\left( X\leq x\right) \cdot P\left(
X\leq y\right)
\end{equation*}が成り立つ場合には、\(X\)と\(Y\)が独立になることが保証されます。

命題(2つの確率変数が独立であるための条件)
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて2つの確率変数\(X,Y:\Omega \rightarrow \mathbb{R} \)と同時確率変数\(\left( X,Y\right):\Omega \rightarrow \mathbb{R} ^{2}\)が与えられているものとする。以下の条件\begin{equation*}\forall x,y\in \mathbb{R} :P\left( X\leq x\wedge Y\leq y\right) =P\left( X\leq x\right) \cdot P\left(
X\leq y\right)
\end{equation*}が成り立つならば、\(X\)と\(Y\)は独立である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

以上の命題を踏まえると以下を得ます。

命題(2つの確率変数が独立であるための条件)
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて2つの確率変数\(X,Y:\Omega \rightarrow \mathbb{R} \)と同時確率変数\(\left( X,Y\right):\Omega \rightarrow \mathbb{R} ^{2}\)が与えられているものとする。\(X,Y\)の分布関数\(F_{X},F_{Y}:\mathbb{R} \rightarrow \mathbb{R} \)と\(\left( X,Y\right) \)の同時分布関数\(F_{XY}:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)に対して、\begin{equation*}\forall x,y\in \mathbb{R} :F_{XY}\left( x,y\right) =F_{X}\left( x\right) \cdot F_{Y}\left( y\right)
\end{equation*}が成り立つならば、\(X\)と\(Y\)は独立である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録