Skorokhod's representation theorem (original) (raw)

Theorem

In mathematics and statistics, Skorokhod's representation theorem is a result that shows that a weakly convergent sequence of probability measures whose limit measure is sufficiently well-behaved can be represented as the distribution/law of a pointwise convergent sequence of random variables defined on a common probability space. It is named for the Ukrainian mathematician A. V. Skorokhod.

Statement

[edit]

Let ( μ n ) n ∈ N {\displaystyle (\mu _{n})_{n\in \mathbb {N} }} {\displaystyle (\mu _{n})_{n\in \mathbb {N} }} be a sequence of probability measures on a metric space S {\displaystyle S} {\displaystyle S} such that μ n {\displaystyle \mu _{n}} {\displaystyle \mu _{n}} converges weakly to some probability measure μ ∞ {\displaystyle \mu _{\infty }} {\displaystyle \mu _{\infty }} on S {\displaystyle S} {\displaystyle S} as n → ∞ {\displaystyle n\to \infty } {\displaystyle n\to \infty }. Suppose also that the support of μ ∞ {\displaystyle \mu _{\infty }} {\displaystyle \mu _{\infty }} is separable. Then there exist S {\displaystyle S} {\displaystyle S}-valued random variables X n {\displaystyle X_{n}} {\displaystyle X_{n}} defined on a common probability space ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},\mathbf {P} )} {\displaystyle (\Omega ,{\mathcal {F}},\mathbf {P} )} such that the law of X n {\displaystyle X_{n}} {\displaystyle X_{n}} is μ n {\displaystyle \mu _{n}} {\displaystyle \mu _{n}} for all n {\displaystyle n} {\displaystyle n} (including n = ∞ {\displaystyle n=\infty } {\displaystyle n=\infty }) and such that ( X n ) n ∈ N {\displaystyle (X_{n})_{n\in \mathbb {N} }} {\displaystyle (X_{n})_{n\in \mathbb {N} }} converges to X ∞ {\displaystyle X_{\infty }} {\displaystyle X_{\infty }}, P {\displaystyle \mathbf {P} } {\displaystyle \mathbf {P} }-almost surely.

See also

[edit]

References

[edit]