Twierdzenie Skorochoda

Twierdzenie Skorochoda – twierdzenie w teorii prawdopodobieństwa, które mówi, że ciąg słabo zbieżnych miar probabilistycznych, którego granica zachowuje się odpowiednio dobrze, może być przedstawiony jako ciąg rozkładów zbieżnych prawie na pewno zmiennych losowych, określonych na wspólnej przestrzeni probabilistycznej. Jego nazwa pochodzi od nazwiska sowieckiego matematyka Anatolija Skorochoda.

Treść twierdzenia

Niech $({\mu }_n{)}_{n\in \mathbb{N}}$ będzie ciągiem miar probabilistycznych w przestrzeni metrycznej $S$ takim, że ${\mu }_n$ zbiega słabo do pewnej miary $\mu$ na $S$ przy $n\to \mathrm{\infty }.$ Ponadto załóżmy, że nośnik $\mu$ jest ośrodkowy. Wówczas istnieje ciąg zmiennych losowych $(X_n{)}_{n\in \mathbb{N}}$ określonych na przestrzeni probabilistycznej $(\mathrm{\Omega },ℱ,𝐏)$ o wartościach w $S$ takich, że ${\mu }_n$ jest rozkładem zmiennej $X_n$ dla każdego $n$ oraz $X_n$ zbiegają prawie na pewno do zmiennej $X$ o rozkładzie $\mu .$

Wersja twierdzenia dla $(ℝ,𝔅(ℝ))$

Jeśli $({\mu }_n{)}_{n\in \mathbb{N}}$ jest ciągiem miar probabilistycznych na $(ℝ,𝔅(ℝ)),$ zbieżnym słabo do miary $\mu ,$ to istnieją zmienne losowe $X_n$ i $X$ określone na przedziale $(0,1)$ z σ-ciałem zbiorów borelowskich i miarą Lebesgue′a o rozkładach odpowiednio ${\mu }_n$ i $\mu ,$ i takich, że $X_n(\omega )\to X(\omega )$ dla każdego $\omega \in (0,1).$

DowódSzablon:Odn:

Rozważmy dystrybuanty $F_n$ oraz $F$ odpowiadające miarom ${\mu }_n$ i $\mu .$ Dla $0<\omega <1$ określmy $X_n(\omega )=\inf \{x:\omega ⩽F_n(x)\}$ i analogicznie dla zmiennej $X.$ Ponieważ $\omega ⩽F_n(x)$ wtedy i tylko wtedy, gdy $X_n(\omega )⩽x,$ to

$\mathbb{P}\{\omega :X_n(\omega )⩽x\}=\mathbb{P}\{\omega :\omega ⩽F_n(x)\}=F_n(x).$

Zatem zmienna losowa $X_n$ ma dystrybuantę $F_n;$ analogicznie zmienna $X$ ma dystrybuantę $F.$

Teraz pozostaje pokazać, że $X_n(\omega )\to X(\omega ).$ Dla $\omega \in (0,1)$ i danego $\epsilon$ wybierzmy takie $x,$ że $X(\omega )-\epsilon <x<X(\omega )$ oraz $\mu \{x\}=0.$ Wówczas $F(x)<\omega$ oraz ze zbieżności $F_n\to F$ wynika, że dla dostatecznie dużego $n$ zachodzi $F_n(x)<\omega ,$ a stąd $X(\omega )-\epsilon <x<X_n(\omega ).$ Zatem $\mathrm{lim\; inf}{X}_n(\omega )⩾X(\omega ).$ Jeśli $\omega <{\omega }^{\prime }$ i $\epsilon$ jest dodatnie, to wybierzmy takie $y,$ dla którego $X({\omega }^{\prime })<y<X({\omega }^{\prime })+\epsilon$ i $\mu \{y\}=0.$ Ponieważ $\omega <{\omega }^{\prime }<F(X({\omega }^{\prime }))<F(y),$ to $\omega ⩽F_n(y)$ dla dostatecznie dużych $n$ i stąd $X_n(\omega )⩽y<X({\omega }^{\prime })+\epsilon .$ Tak więc $\mathrm{lim\; sup}{X}_n(\omega )⩽X({\omega }^{\prime }),$ o ile $\omega <{\omega }^{\prime }.$ Zatem jeśli $X$ jest ciągła w $\omega ,$ to $X_n(\omega )\to X(\omega ).$

Ponieważ zmienna losowa $X$ jest niemalejąca na przedziale $(0,1),$ to może ona mieć co najwyżej przeliczalnie wiele punktów nieciągłości. W punktach tych przyjmijmy $X_n(\omega )=X(\omega )=0.$ Wówczas istotnie $X_n(\omega )\to X(\omega )$ dla każdego $\omega ,$ a ponieważ zmienne $X_n$ i $X$ zostały zmienione na zbiorze miary 0, to ich rozkłady są równe ${\mu }_n$ i $\mu .$

Zobacz też

• zbieżność według rozkładu

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę