コルモゴロフの0-1法則
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は別の言語から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。翻訳を改善してくださる方を募集しています。

確率論におけるコルモゴロフの0-1法則(コルモゴロフの0-1ほうそく、: Kolmogorov's zero?one law)は、アンドレイ・コルモゴロフにちなんで名づけられた定理である。この定理は、末尾事象(tail event)と呼ばれる特別な事象は、ほとんど確実に起きるか、あるいはほとんど確実に起きないかのどちらかであることを主張している。つまり、このような事象が起きる確率は0か1かのどちらかであるということである。

末尾事象は、確率変数の無限列を用いて定義される。 X 1 , X 2 , X 3 , … {\displaystyle X_{1},X_{2},X_{3},\dots \,}

独立な確率変数の無限列とする[注釈 1]。このとき末尾事象とは、その事象が起きるか起きないかはこれらの確率変数の値によって決まるが、この確率変数列の各有限部分列とは独立な事象のことである。例えば、級数 ∑ k = 1 ∞ X k {\displaystyle \sum _{k=1}^{\infty }X_{k}}

が収束するという事象は末尾事象である。しかし例えば、この収束先の和が1以上になるという事象は、X1の値と独立ではないので、末尾事象ではない。コイントスの無限列においては、100回連続して表が出るという事象が無限回起きる事象などは末尾事象である。

多くの状況において、ある事象が起きる確率が0か1であることを示すために、コルモゴロフの0-1法則を容易に適用することができる。しかし、実際の確率がこの2つの極端な値のうちどちらであるかを決定するのは、驚くほど難しい。
定式化

コルモゴロフの0-1法則は、より一般的に独立な σ-加法族に対して定式化できる。 (Ω,F,P) を確率空間、Fn ⊆ F (n=1,2,...) を独立なσ-加法族の列とする。 G n = σ ( ⋃ k = n ∞ F k ) {\displaystyle G_{n}=\sigma {\bigg (}\bigcup _{k=n}^{\infty }F_{k}{\bigg )}}

は Fn, Fn+1, … を含む最小の σ-加法族である。このときコルモゴロフの0-1法則によれば、事象 F ∈ ⋂ n = 1 ∞ G n {\displaystyle F\in \bigcap _{n=1}^{\infty }G_{n}}

の確率 P(F) は 0 または 1 のいずれでなければならない。

確率変数についてのステートメントは、σ-加法族についてのステートメントにおいて、Fn を Xn から生成された σ-加法族であるとすれば得られる。このとき定義より、末尾事象族は σ ( X 1 , X 2 , … X n , … ) {\displaystyle \sigma (X_{1},X_{2},\ldots X_{n},\ldots )}

の部分集合族であって、かつ任意の有限個の Xn から生成される加法族 σ ( X j 1 , X j 2 , … , X j l ) ( j 1 < j 2 < ⋯ < j l ) {\displaystyle \sigma (X_{j_{1}},X_{j_{2}},\ldots ,X_{j_{l}})\quad (j_{1}<j_{2}<\cdots <j_{l})}

とは独立であるような事象族である。つまり末尾事象とは、積集合 ⋂ n = 1 ∞ G n {\displaystyle \textstyle {\bigcap _{n=1}^{\infty }G_{n}}} の要素のことである。実際、任意の A ∈ σ ( X j 1 , X j 2 , … , X j l ) {\displaystyle A\in \sigma (X_{j_{1}},X_{j_{2}},\ldots ,X_{j_{l}})}

と任意の T ∈ ⋂ n = 1 ∞ G n ⊆ G j l + 1 = σ ( X j l + 1 , X j l + 2 , X j l + 3 , … ) {\displaystyle T\in \textstyle {\bigcap _{n=1}^{\infty }G_{n}}\subseteq G_{j_{l}+1}=\sigma (X_{j_{l}+1},X_{j_{l}+2},X_{j_{l}+3},\ldots )}

は独立になっている。
脚注
注釈^ 必ずしも同分布である必要はない。

関連項目

ヒュウィット?サヴェジの0-1法則


参考文献

Brzezniak, Zdzislaw
; Tomasz Zastawniak (2000). Basic Stochastic Processes. Springer Science+Business Media. ISBN 3-5407-6175-6 

外部リンク

The Legacy of Andrei Nikolaevich Kolmogorov Curriculum Vitae and Biography. Kolmogorov School. Ph.D. students and descendants of A.N. Kolmogorov. A.N. Kolmogorov works, books, papers, articles. Photographs and Portraits of A.N. Kolmogorov.










確率論
確率の歴史

アンドレイ・コルモゴロフ

トーマス・ベイズ

アンドレイ・マルコフ

ジョゼフ・L・ドゥーブ

伊藤清

確率の定義

客観確率

統計的確率

古典的確率

公理的確率

主観確率

ベイズ確率

確率の拡張

外確率

負の確率


基礎概念

モデル

試行

結果

事象

標本空間

確率測度

確率空間

確率変数

確率変数の収束

確率分布

離散確率分布

連続確率分布

同時分布

周辺分布

条件付き確率分布

独立同分布

関数

確率質量関数

確率密度関数

累積分布関数


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:20 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef