logo

ドンスカーの定理 📂確率論

ドンスカーの定理

定理

{ξi}iN\left\{ \xi_i \right\}_{i \in \mathbb{N}}(0,1)(0,1)で定義された確率過程だとしよう。関数空間C[0,1]C[0,1]で確率関数XnX_{n}が以下のように定義されているとする。 Xn:=1ni=1ntξi+(ntnt)1nξnt+1 X_{n}:= {{ 1 } \over { \sqrt{n} }} \sum_{i=1}^{\lfloor nt \rfloor} \xi_{i} + \left( nt - \lfloor nt \rfloor \right) {{ 1 } \over { \sqrt{n} }} \xi_{\lfloor nt \rfloor + 1} XnX_{n}nn \to \inftyのときウィーナープロセスWWへと分布収束する。


  • C[0,1]C[0,1]は定義域が[0,1][0,1]で値域がR\mathbb{R}の連続関数の空間だ。
  • \lfloor \cdot \rfloor床関数Floor Functionで、\cdotで小数点を切り捨てた値を表す。韓国では、高校でガウス関数[][ \cdot ]として広く知られている。

説明

Donskers\_invariance\_principle.gif

ドンスカーの定理は、ドンスカーの不変原理関数中心極限定理などとも呼ばれる。ウィーナープロセスが確率過程での正規分布のような感じがするため、確率元、つまり確率過程がウィーナープロセスへと分布収束することは、十分に関数中心極限定理と呼ぶ資格がある。