収束の様式

確率変数の列は、概収束、確率収束、p次平均収束、分布収束といったいくつかの異なる意味で収束し、それらの階層を理解することは、すべての極限定理を正確に記述し証明するために不可欠である。

Definition

収束の様式とは、確率変数の列またはその分布が極限に近づく際の異なる意味を指し、変数自体の強い概収束や平均収束から、分布の弱い収束まで多岐にわたる。

Scope

このトピックでは、概収束、確率収束、p次平均収束、分布収束、それらに関連する含意と反例、確率収束と平均収束の間の橋渡しとなる一様可積分性、弱収束のポートマントー特性化、および測度の族の相対コンパクト性のためのプロホロフの定理と緊密性について扱う。

Core questions

• 確率変数が収束する主な意味は何であり、それらはどのように異なるか？
• どの収束の様式が他のどの様式を意味し、含意が成立しないのはどのような場合か？
• 確率収束を平均収束に昇格させる追加の条件は何か？
• 分布の族が収束する部分列を持つのはどのような場合か？

Key concepts

• 概収束
• 確率収束
• 平均収束
• 弱収束
• 緊密性とプロホロフの定理

Key theories

収束様式の階層

概収束とp次平均収束はそれぞれ確率収束を意味し、確率収束は分布収束を意味するが、逆の含意は一般に成立しないため、これらの様式は標準的な反例を伴う厳密な階層を形成する。

ポートマントー定理

確率測度の弱収束は、有界連続関数の期待値の収束や、すべての連続点における分布関数の収束を含むいくつかの条件と同時に同値であり、分布収束を証明するための柔軟な基準を提供する。

プロホロフの定理と緊密性

確率測度の族が弱収束に関して相対コンパクトであるのは、それが緊密である場合、すなわち確率質量が無限遠に逃げない場合に限られ、これは極限定理や確率過程の研究において収束する部分列を抽出するための標準的なツールである。

Clinical relevance

正確な収束の様式は、統計学における一致性および漸近分布の厳密な記述、シミュレーションおよび近似スキームの収束、ならびに複雑な確率システムをブラウン運動によって近似することを正当化するドンスカーの不変原理のような関数極限定理の基礎となる。

History

収束の様式間の注意深い区別は、確率の測度論的基礎とともに現れ、距離空間上の測度の弱収束の理論は、緊密性とプロホロフのコンパクト性基準とともに、20世紀半ばにプロホロフとビリングスリーによって確率過程の極限定理を支持するために体系化された。

Key figures

• Patrick Billingsley
• Yuri Prohorov
• Aleksandr Khinchin

Seminal works

• billingsley1999convergence

Frequently asked questions

なぜこれほど多くの種類の収束を区別するのか？

異なる極限定理は自然に異なる様式をもたらす。大数の法則は概収束を与え、中心極限定理は分布収束を与え、変数の平均に関する結論は平均収束を必要とするため、正確な様式は導き出せる結論にとって重要である。

緊密性とは何か？

分布の族が緊密であるとは、任意の所定のレベルに対して、単一のコンパクト集合がその族のすべてのメンバーについて少なくともそのレベルの確率を保持することを意味する。緊密性は確率質量が無限遠に漏れるのを防ぎ、プロホロフの定理が弱コンパクト性のために必要とするまさにその条件である。