コンテンツにスキップ

独立 (確率論)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

確率論における独立(どくりつ、: independent)とは、2つの事象が何れも起こる確率がそれぞれの確率の積に等しいことをいう。一方の事象が起こったことが分かっても、他方の事象の確率が変化しないことを意味する。

この「独立」の概念は、2個以上の事象、2個以上の確率変数、2個以上の試行に対して定義される。

2つの確率変数独立であるとは、「ある確率変数の値が一定範囲に入る事象」と「別の確率変数の値が別の一定範囲に入る事象」が、考えられるどのような「一定範囲」(「考えられる」とは通常ボレル集合族を指す)を定めても事象として独立であることをいう。2つの確率変数が独立である場合は、一方の変数が値をとっても、他方の変数の確率分布が変化しないことを意味する[1]

確率論における独立は、他の分野における独立性の概念と区別する意味で、確率論的独立(かくりつろんてきどくりつ、: stochastic independence)あるいは統計的独立(とうけいてきどくりつ、: statistical independence)などとも呼ばれる。

定義

[編集]

事象の独立

[編集]

独立を定義するのに最も基本となるのは、事象の独立[注釈 1]である。2つの事象 AB独立であるとは

が成り立つことである。ここで、左辺の AB は事象 AB が何れも起こる事象(積事象)を表し、たとえば P(A) は事象 A確率を表す。事象 AB が独立であることを記号 AB で表すこともある[2]。もし、P(B) ≠ 0 であれば、条件付き確率 P(A | B) ≔ P(AB)/P(B) を用いて定義式を

と書き換えることもできる。これは事象 AB が独立であるとは、事象 B が起こることが事象 A確率に一切の影響を与えないことを意味する。上の定義は P(B) = 0 のときにも対応しているので、通常は上の定義を用いる。事象が独立でないことを従属という[3]

一般に、(有限とは限らない)事象の {Aλ}独立であるとは、その部分有限族 { Aλ1, Aλ2,..., Aλn} に対して

 

が成立することをいう。

確率変数の独立

[編集]

まず基本となる、2つの確率変数が独立であることの定義を述べる[注釈 2]。2つの確率変数 XY独立であるとは、任意の実数 a, b に対して

が成り立つことである。つまり、確率変数の同時累積分布関数が周辺累積分布関数の積に分解されるとき、独立であるという。確率変数 XY が独立であることを記号 XY で表すこともある[4]

一般に、(共通の確率空間上の実)確率変数の族 { Xλ  |  λ ∈ Λ}独立であるとは、任意の実数 aλ に対して、事象の族

が独立であることをいう[注釈 3]。つまり、任意の実数 aλ と添字集合 Λ の任意の有限部分族 {λ1, …, λn} に対して

が成り立つことをいう。

完全加法族の独立

[編集]

完全加法族の場合は、完全加法族の族 {Fλ}独立であるとは、その任意の有限部分族

に対して、

が成立することをいう。事象 A に対しては事象の生成する完全加法族 σ(A) とし、確率変数 X に対しては確率変数の生成する完全加法族 σ(X) とすると、完全加法族による定義は上に挙げた事象のまた確率変数の定義と一致する。またこれら3種類の対象の混ざった独立性も定義できる。

日本産業規格

[編集]

日本産業規格では、「確率変数 XY が独立であるための必要十分条件は,その同時分布関数が,F(x, y) = F(x, ∞) ⋅ F(∞, y) = G(x) ⋅ H(y) と表されることである。ただし,G(x) = F(x, ∞) 及び H(y) = F(∞, y) は,それぞれ X 及び Y の周辺分布関数である。」と定義している[5]

定理

[編集]

独立性を満たす場合に成立する定理や、独立性の十分条件の代表例を挙げる。

2つの確率変数 XY が互いに独立である場合

次を満たすとき確率変数 XY は独立になる。

  • 任意の有界関数 fg に対して

独立性の検定

[編集]

独立性を判断するには、独立性を仮定した上で対象の振る舞いを調べ、独立性を仮定したことによる矛盾が引き出せるかどうかを確認する必要がある。独立性(あるいは従属性)を判別する手段として分割表を用いた独立性の検定がある。独立性の検定に用いられる手法には例えばカイ二乗検定などがある。独立性の検定によって2つの事象の間の従属性を判断することができるが、独立であるかどうか積極的に決定することは難しい。

脚注

[編集]

注釈

[編集]
  1. ^ これは単に「事象の族が独立である」という定義(後述)の特殊な場合に過ぎない。
  2. ^ これは単に「確率変数の族が独立である」という定義(後述)の特殊な場合に過ぎない。
  3. ^ ここで事象 {X < a} とは、確率空間を 、実確率変数を X : Ω → R とするとき、事象 の略記である。

出典

[編集]
  1. ^ 伏見, p. 67, 第II章 確率論 9節 独立.
  2. ^ 杉浦誠 (2016), 確率統計学 I, p. 6, http://www.math.u-ryukyu.ac.jp/~sugiura/2016/prob2016a.pdf 2018年7月4日閲覧。 
  3. ^ 西岡, p. 8, 4.2 独立事象.
  4. ^ Drton, M.; Sturmfels, B.; Sullivant, S. (2009), Lectures on Algebraic Statistics, Springer, p. 2, ISBN 978-3-7643-8904-8 
  5. ^ JIS Z 8101-1 : 1999, 1.7 独立.

参考文献

[編集]

関連項目

[編集]