WIIS

確率変数

有限個の確率変数の独立性

目次

Mailで保存
Xで共有

有限個の確率変数の独立性

確率空間\(\left( \Omega ,\mathcal{F},P\right) \)が与えられたとき、有限\(n\)個の事象\(A_{1},\cdots ,A_{n}\in \mathcal{F}\)が独立(相互独立)であることを、\begin{equation*}\forall J\subset \left\{ 1,\cdots ,n\right\} :P\left( \bigcap_{i\in
J}A_{i}\right) =\prod_{i\in J}P\left( A_{i}\right)
\end{equation*}が成り立つこととして定義しました。これは、\(n\)個の事象の中から有限個を任意に選んだとき、それらの積事象の確率が、個々の確率の積と一致することを意味します。加えて、有限\(n\)個の事象族\(\mathcal{A}_{1},\cdots ,\mathcal{A}_{n}\subset \mathcal{F}\)が独立(相互独立)であることを、\begin{equation*}\forall A_{1}\in \mathcal{A}_{1},\cdots ,\ \forall A_{n}\in \mathcal{A}_{n},\ \forall I\subset \left\{ 1,\cdots ,n\right\} :P\left( \bigcap_{i\in
I}A_{i}\right) =\prod_{i\in I}P\left( A_{i}\right)
\end{equation*}が成り立つこととして定義しました。これは、\(n\)個の事象族の中から有限個を任意に選んだ上で、選ばれた事象族から1つずつ事象をとり出した場合に、それらが独立であることを意味します。ただし、\(\mathcal{A}_{1},\cdots ,\mathcal{A}_{n}\)がいずれも全体事象\(\Omega \)を要素として持つ場合には、すなわち、\begin{equation*}\forall i\in \left\{ 1,\cdots ,n\right\} :\Omega \in \mathcal{A}_{i}
\end{equation*}が成り立つ場合には、\(\mathcal{A}_{1},\cdots ,\mathcal{A}_{n}\)が独立であることと、以下の条件\begin{equation*}\forall A_{1}\in \mathcal{A}_{1},\cdots ,\ \forall A_{n}\in \mathcal{A}_{n}:P\left( A_{1}\cap \cdots \cap A_{n}\right) =P\left( A_{1}\right) \times
\cdots \times P\left( A_{n}\right)
\end{equation*}が成り立つことは必要十分になります。これは、\(n\)個の事象族から1つずつ事象をとり出した場合に、それらの積事象の確率が、個々の確率の積と一致することを意味します。以上を踏まえた上で、有限個の確率変数が独立であることの意味を定義します。

確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて有限\(n\)個の確率変数\begin{gather*}X_{1}:\Omega \rightarrow \mathbb{R} \\
\vdots \\
X_{n}:\Omega \rightarrow \mathbb{R} \end{gather*}が与えられているものとします。それぞれの確率変数から生成される\(\sigma \)-代数は、\begin{gather*}\sigma \left( X_{1}\right) =\left\{ X_{1}^{-1}\left( B_{1}\right) \in
2^{\Omega }\ |\ B_{1}\in \mathcal{B}\left( \mathbb{R} \right) \right\} \\
\vdots \\
\sigma \left( X_{n}\right) =\left\{ X_{n}^{-1}\left( B_{n}\right) \in
2^{\Omega }\ |\ B_{n}\in \mathcal{B}\left( \mathbb{R} \right) \right\}
\end{gather*}と定義されます。

確率変数\(X_{i}\)から生成される\(\sigma \)-代数\(\sigma \left(X_{i}\right) \)に注目します。数直線\(\mathbb{R} \)はボレル集合であるため\(\mathbb{R} \in \mathcal{B}\left( \mathbb{R} \right) \)であり、\begin{eqnarray*}X_{i}^{-1}\left( \mathbb{R} \right) &=&\left\{ \omega \in \Omega \ |\ X_{i}\left( \omega \right) \in \mathbb{R} \right\} \\
&=&\Omega
\end{eqnarray*}が成り立つため、\begin{equation*}
\exists \mathbb{R} \in \mathcal{B}\left( \mathbb{R} \right) :\Omega =X_{i}^{-1}\left( \mathbb{R} \right)
\end{equation*}を得ます。したがって\(\sigma \left( X_{i}\right) \)の定義より、\begin{equation*}\Omega \in \sigma \left( X_{i}\right)
\end{equation*}が成り立つことが明らかになりました。

このような事情を踏まえると、確率変数\(X_{1},\cdots ,X_{n}\)から生成される\(\sigma \)-代数\(\sigma \left( X_{1}\right) ,\cdots ,\sigma \left(X_{n}\right) \)が独立であることと、以下の条件\begin{equation*}\forall A_{1}\in \sigma \left( X_{1}\right) ,\cdots ,\ \forall A_{n}\in
\sigma \left( X_{n}\right) :P\left( A_{1}\cap \cdots \cap A_{n}\right)
=P\left( A_{1}\right) \times \cdots \times P\left( A_{n}\right)
\end{equation*}が成り立つことは必要十分です。そこで、以上の条件が成り立つ場合には、確率変数\(X_{1},\cdots ,X_{n}\)は独立である(independent)とか相互独立である(mutual independent)などと言います。逆に、確率変数\(X_{1},\cdots ,X_{n}\)が独立でない場合には、すなわち、\begin{equation*}\exists A_{1}\in \sigma \left( X_{1}\right) ,\ \cdots ,\ \exists A_{n}\in
\sigma \left( X_{n}\right) :P\left( A_{1}\cap \cdots \cap A_{n}\right)
\not=P\left( A_{1}\right) \times \cdots \times P\left( A_{n}\right)
\end{equation*}が成り立つ場合には、確率変数\(X_{1},\cdots ,X_{n}\)は従属である(dependent)と言います。

 

分布を用いた有限個の確率変数の独立性の表現

有限\(n\)個の確率変数\begin{gather*}X_{1}:\Omega \rightarrow \mathbb{R} \\
\vdots \\
X_{n}:\Omega \rightarrow \mathbb{R} \end{gather*}が与えられれば、それぞれの標本点\(\omega \in \Omega \)に対して以下のベクトル\begin{equation*}\boldsymbol{X}\left( \omega \right) =\left( X_{1}\left( \omega \right)
,\cdots ,X_{n}\left( \omega \right) \right) \in \mathbb{R} ^{n}
\end{equation*}を値として定めるベクトル値写像\begin{equation*}
\boldsymbol{X}:\Omega \rightarrow \mathbb{R} ^{n}
\end{equation*}が定義可能であるとともに、これが確率ベクトルになることが保証されます。

確率変数\(X_{1},\cdots ,X_{n}\)の分布を、\begin{gather*}\mu _{X_{1}}:\mathcal{B}\left( \mathbb{R} \right) \rightarrow \mathbb{R} \\
\vdots \\
\mu _{X_{n}}:\mathcal{B}\left( \mathbb{R} \right) \rightarrow \mathbb{R} \end{gather*}でそれぞれ表記します。これらの分布がそれぞれのボレル集合\(B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) \)に対して定める値は、\begin{gather*}\mu _{X_{1}}\left( B_{1}\right) =P\left( X_{1}\in B_{1}\right) \\
\vdots \\
\mu _{X_{n}}\left( B_{n}\right) =P\left( X_{1}\in B_{n}\right)
\end{gather*}です。また、確率ベクトル\(\boldsymbol{X}\)の同時分布を、\begin{equation*}\mu _{\boldsymbol{X}}:\mathcal{B}\left( \mathbb{R} ^{n}\right) \rightarrow \mathbb{R} \end{equation*}で表記します。この同時分布がボレル集合\(B\in \mathcal{B}\left( \mathbb{R} ^{n}\right) \)に対して定める値は、\begin{equation*}\mu _{\boldsymbol{X}}\left( B\right) =P\left( \boldsymbol{X}\in B\right)
\end{equation*}です。

数直線上のボレル集合\(B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) \)を任意に選びます。数直線上のボレル集合どうしの直積はユークリッド空間上のボレル集合であるため\(B_{1}\times \cdots \times B_{n}\in \mathcal{B}\left( \mathbb{R} ^{n}\right) \)です。その上で、以下の条件\begin{equation*}\forall B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) :\mu _{\boldsymbol{X}}\left( B_{1}\times \cdots \times B_{n}\right)
=\mu _{X_{1}}\left( B_{1}\right) \times \cdots \times \mu _{X_{n}}\left(
B_{n}\right)
\end{equation*}すなわち、\begin{equation*}
\forall B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) :P\left( \boldsymbol{X}\in B_{1}\times \cdots \times B_{n}\right)
=P\left( X_{1}\in B_{1}\right) \times \cdots \times P\left( X_{1}\in
B_{n}\right)
\end{equation*}が成り立つことは、確率変数\(X_{1},\cdots ,X_{n}\)が独立であるための必要十分条件になります。

命題(分布を用いた有限個の確率変数の独立性の表現)
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて有限\(n\)個の確率変数\(X_{1},\cdots ,X_{n}:\Omega \rightarrow \mathbb{R} \)と確率ベクトル\(\boldsymbol{X}:\Omega \rightarrow \mathbb{R} ^{n}\)が与えられているものとする。以下の条件\begin{equation*}\forall B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) :P\left( \boldsymbol{X}\in B_{1}\times \cdots \times B_{n}\right)
=P\left( X_{1}\in B_{1}\right) \times \cdots \times P\left( X_{1}\in
B_{n}\right)
\end{equation*}が成り立つことは、\(X_{1},\cdots ,X_{n}\)が独立であるための必要十分条件である。
証明

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

 

有限個の確率変数が独立であるための条件

有限\(n\)個の確率変数\(X_{1},\cdots ,X_{n}\)が独立であることを、\begin{equation*}\forall A_{1}\in \sigma \left( X_{1}\right) ,\ \cdots ,\ \forall A_{n}\in
\sigma \left( X_{n}\right) :P\left( A_{1}\cap \cdots \cap A_{n}\right)
=P\left( A_{1}\right) \times \cdots \times P\left( A_{n}\right)
\end{equation*}が成り立つこととして定義するとともに、これは以下の条件\begin{equation*}
\forall B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) :P\left( \boldsymbol{X}\in B_{1}\times \cdots \times B_{n}\right)
=P\left( X_{1}\in B_{1}\right) \times \cdots \times P\left( X_{1}\in
B_{n}\right)
\end{equation*}と必要十分であることを示しました。したがって、確率変数\(X_{1},\cdots ,X_{n}\)が独立であることを示すためには、すべてのボレル集合\(B_{1},\cdots ,B_{n}\in \mathcal{B}\left( \mathbb{R} \right) \)に対して、\begin{equation*}P\left( \boldsymbol{X}\in B_{1}\times \cdots \times B_{n}\right) =P\left(
X_{1}\in B_{1}\right) \times \cdots \times P\left( X_{n}\in B_{n}\right)
\end{equation*}が成り立つことを示す必要があります。ただ、ボレル集合は無数に存在するため、このような検証を実際に行うのは大変です。ただ、このような問題は解決可能です。具体的には以下の通りです。

実数\(x_{1},\cdots ,x_{n}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする区間\begin{gather*}(-\infty ,x_{1}]\in \mathcal{B}\left( \mathbb{R} \right) \\
\vdots \\
(-\infty ,x_{n}]\in \mathcal{B}\left( \mathbb{R} \right)
\end{gather*}をそれぞれとります。その上で、以下の条件\begin{equation*}
\forall x_{1},\cdots ,x_{n}\in \mathbb{R} :P\left( \boldsymbol{X}\in \prod_{i=1}^{n}(-\infty ,x_{i}]\right)
=\prod_{i=1}^{n}P\left( X_{i}\in (-\infty ,x_{i}]\right)
\end{equation*}すなわち、\begin{equation*}
\forall x_{1},\cdots ,x_{n}\in \mathbb{R} :P\left( X_{1}\leq x_{1}\wedge \cdots \wedge X_{n}\leq x_{n}\right) =P\left(
X_{1}\leq x_{1}\right) \times \cdots \times P\left( X_{n}\leq x_{n}\right)
\end{equation*}が成り立つことは、確率変数\(X_{1},\cdots ,X_{n}\)が独立であるための必要十分条件です。

命題(有限個の確率変数が独立であるための条件)
確率空間\(\left( \Omega ,\mathcal{F},P\right) \)に加えて有限\(n\)個の確率変数\(X_{1},\cdots ,X_{n}:\Omega \rightarrow \mathbb{R} \)が与えられているものとする。以下の条件\begin{equation*}\forall x_{1},\cdots ,x_{n}\in \mathbb{R} :P\left( X_{1}\leq x_{1}\wedge \cdots \wedge X_{n}\leq x_{n}\right) =P\left(
X_{1}\leq x_{1}\right) \times \cdots \times P\left( X_{n}\leq x_{n}\right)
\end{equation*}が成り立つことは、\(X_{1},\cdots ,X_{n}\)が独立であるための必要十分条件である。
証明

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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