この項目「デ・フィネッティの定理」は途中まで翻訳されたものです。(原文:De Finetti's theorem 2016年6月1日 (水) 06:43
)デ・フィネッティの定理(英: de Finetti's theorem)またはデ・フィネッティの表現定理(英: de Finetti's representation theorem)とは確率論における定理であり、ある潜在変数(英語版)に対し認識論的な確率分布が与えられたという条件の下で、交換可能(英語版)な観測値は条件付き独立(英語版)であるということを述べる。定理の名前は発見者の一人であるブルーノ・デ・フィネッティに因む。
交換可能なベルヌーイ変数の列の特別な場合として、独立同分布 (i.i.d.) なベルヌーイ列の「混合」した列がある。交換可能な列の個々の確率変数はそれら自身では i.i.d. ではなく、交換可能なだけだが、その根底には i.i.d. な確率変数の族が存在する。
したがって、列が交換可能であるために観測値が i.i.d. である必要はないが、その背景には一般には観測可能でない i.i.d. である量が存在する。交換可能な列は i.i.d. な列の混合であり、それは必ずしも i.i.d. ではない。
目次
1 背景
2 定式化
2.1 他の定式化
3 拡張
4 関連項目
5 出典
6 参考文献
7 外部リンク
背景(英語版)はデ・フィネッティによって導入された。デ・フィネッティの定理は独立性と交換可能性の間の数学的関係を説明する[1]。
確率変数 X の無限列 X 1 , X 2 , X 3 , … {\displaystyle X_{1},X_{2},X_{3},\dots \!}
が交換可能 (exchangeable) であるとは、任意の順序に置換した2つの有限の確率変数列 {Xi1, ..., Xin}, {Xj1, ..., Xjn} がいずれも同じ結合分布に従うことをいう。つまり、n を任意の有限な基数とし、i· 同士で互いに異なる有限列 i1, i2, ..., in および j 同士で互いに異なる j1, j2, ..., jn を用意したとき、2つの確率変数の列 { X i 1 , … , X i n } , { X j 1 , … , X j n } {\displaystyle \left\{X_{i_{1}},\dots ,X_{i_{n}}\right\},\,\left\{X_{j_{1}},\dots ,X_{j_{n}}\right\}\!}
が同一の結合分布に従う場合、確率変数 X は交換可能である。
同分布な列が独立であるならば、その列は交換可能である。しかしながら、その逆は成り立たない。交換可能だが独立でない確率変数の例としてポリアの壺モデル(英語版)が挙げられる。 確率変数 X はベルヌーイ分布に従い、その確率分布は実数 p∈ (0, 1) を用いて Pr(X = 1) = p, Pr(X = 0) = 1 − p と表すことができる。 デ・フィネッティの定理は次のことを述べる:交換可能
定式化
より正確には、次のように述べることができる。X1, X2, ... をベルヌーイ分布に従う確率変数 X の交換可能な無限列であるとする。また、区間 [0, 1] 上の確率分布 m と m に従う確率変数 Y があるとする。ベルヌーイ列 X1, X2, ... の全体の、与えられた Y の下での条件付き確率分布は次のような性質を持つ。 X1, X2, ... をベルヌーイ変数の交換可能な無限列とする。このときベルヌーイ列 X1, X2, ... は与えられた交換可能な(つまり、 X1, X2, ... に関して可測であり、添え字の有限の置換に対して不変な事象の)完全加法族の下で条件付き独立同分布である。 デ・フィネッティの定理の有限な列への拡張[2][3]が Diaconis と Freedman らおよび Kerns と Szekely らによって、マルコフ連鎖への拡張が同じく Diaconis と Freedman によって与えられた[4]。 配列の部分交換性に関する2つの概念、分割交換可能性[訳語疑問点] (separate exchangeability) と結合交換可能性[訳語疑問点] (joint exchangeability) から、配列に対するデ・フィネッティの定理の拡張が Aldous と Hoover らによって与えられている[5]。
X1, X2, ... は与えられた Y の下で条件付き独立(英語版)であり、
任意の i ∈ {1, 2, ...} について、与えられた Y の下での Xi = 1 の条件付き確率は Y に等しい。
他の定式化
拡張
関連項目
ショケ理論(英語版
ヒューイット・サヴェジの0-1法則
クレイン=ミルマンの定理
出典^ 参考: ⇒Steffen Lauritzen によるオックスフォード大の講義ノート (pdf)。
^ Diaconis, Freedman & 1980-8.
^ Szekely & Kerns 2006.
^ Diaconis, Freedman & 1980-2.
^ Diaconis & Janson 2008.
参考文献
Diaconis, P.; Freedman, D. (1980-8). “Finite exchangeable sequences”. Annals of Probability 8 (4): 745–764. doi:10.1214/aop/1176994663. MR.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}577313. Zbl 0434.60034.