logo

確率論におけるレヴィの連続性定理 📂確率論

確率論におけるレヴィの連続性定理

定理 1

可測空間 $\left( \mathbb{R}^{d} , \mathcal{B} \left( \mathbb{R}^{d} \right) \right)$ が与えられているとする。$n \in \overline{\mathbb{N}}$ に対して 確率測度を $\mu_{n}$ とし、それに対応する 特性関数を $\varphi_{n}$ と表す。次のは同値である。

  • (a): $\mu_{n}$ が $\mu_{\infty}$ に弱収束する。
  • (b): すべての $t \in \mathbb{R}^{d}$ に対して $$\lim_{n \to \infty} \varphi_{n} (t) = \varphi_{\infty} (t)$$

  • $\overline{\mathbb{N}} = \mathbb{N} \cup \left\{ \infty \right\}$ は 自然数と無限大を含む 集合である。

証明

難しい上に、先に証明される必要がある補題が多すぎるため、とりあえず省略して将来の課題とする2


  1. Döbler. (2021). A short proof of Lévy’s continuity theorem without using tightness. https://arxiv.org/abs/2111.01603 ↩︎

  2. Durrett. (2019). Probability: Theory and Examples(5th edition): p132. ↩︎