レヴィの連続性定理 From Wikipedia, the free encyclopedia 確率論において、フランスの数学者ポール・レヴィにちなむレヴィの連続性定理（レヴィのれんぞくせいていり、英: Lévy’s continuity theorem）、またはレヴィの収束定理（英: Lévy's convergence theorem[1]）は、確率変数列の分布収束と、それらの特性関数の各点収束とを結び付ける定理である。 この定理は中心極限定理を証明するための一法の基礎となっており、また特性関数にまつわる主要な結果の一つである。 次の状況を考える。 確率変数の列 { X n } n = 1 ∞ {\displaystyle \scriptstyle \{X_{n}\}_{n=1}^{\infty }} がある。これらは必ずしも同一の確率空間上で定義されていなくてもよい。それらに対応する特性関数の列 { φ n } n = 1 ∞ {\displaystyle \scriptstyle \{\varphi _{n}\}_{n=1}^{\infty }} がある。定義より φ n ( t ) = E [ e i t X n ] ∀ t ∈ R , ∀ n ∈ N {\displaystyle \varphi _{n}(t)=\operatorname {E} \,[e^{itX_{n}}]\quad \forall t\in \mathbb {R} ,\ \forall n\in \mathbb {N} } である。ここで E {\displaystyle \operatorname {E} } は期待値をとる演算子。 特性関数列が何らかの関数 φ {\displaystyle \varphi } に各点収束する φ n ( t ) → φ ( t ) ∀ t ∈ R {\displaystyle \varphi _{n}(t)\to \varphi (t)\quad \forall t\in \mathbb {R} } ならば、以下の各命題は同値である： X n {\displaystyle X_{n}} は、ある確率変数 X に分布収束する。 X n → D X , {\displaystyle X_{n}\ {\xrightarrow {\mathcal {D}}}\ X,} つまり、確率変数の累積分布関数の列が、X の累積分布関数に、収束先の関数の任意の連続点において各点収束する。 { X n } n = 1 ∞ {\displaystyle \scriptstyle \{X_{n}\}_{n=1}^{\infty }} は緊密である、つまり： lim x → ∞ ( sup n P [ | X n | > x ] ) = 0 {\displaystyle \lim _{x\to \infty }\left(\sup _{n}\operatorname {P} {\big [}\,|X_{n}|>x\,{\big ]}\right)=0} φ ( t ) {\displaystyle \varphi (t)} はある確率変数 X の特性関数と一致する。 φ ( t ) {\displaystyle \varphi (t)} は t の連続関数である。 φ ( t ) {\displaystyle \varphi (t)} は t = 0 において連続である。 証明 厳密な証明は、参考文献に挙げた書籍を参照[1][2]。 脚注 1 2 Williams (1991, section 18.1) ↑ Fristedt & Gray (1996, Theorems 14.15 and 18.21) 参考文献 Williams, D. (1991). Probability with Martingales. Cambridge University Press. ISBN 0-521-40605-6 Fristedt, B. E.; Gray, L. F. (1996): A modern approach to probability theory, Birkhäuser Boston. ISBN 0-8176-3807-5 Related Articles
![{\displaystyle \varphi _{n}(t)=\operatorname {E} \,[e^{itX_{n}}]\quad \forall t\in \mathbb {R} ,\ \forall n\in \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2950017d9b3e1b721af9fa1bfd6016a990bae210)
![{\displaystyle \lim _{x\to \infty }\left(\sup _{n}\operatorname {P} {\big [}\,|X_{n}|>x\,{\big ]}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7933d4cfeec39bf0ce39efe590525608d705e1bc)
