ドンスカーの定理
📂確率論ドンスカーの定理
定理
{ξi}i∈Nが(0,1)で定義された確率過程だとしよう。関数空間C[0,1]で確率関数Xnが以下のように定義されているとする。
Xn:=n1i=1∑⌊nt⌋ξi+(nt−⌊nt⌋)n1ξ⌊nt⌋+1
Xnはn→∞のときウィーナープロセスWへと分布収束する。
- C[0,1]は定義域が[0,1]で値域がRの連続関数の空間だ。
- ⌊⋅⌋は床関数Floor Functionで、⋅で小数点を切り捨てた値を表す。韓国では、高校でガウス関数[⋅]として広く知られている。
説明

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