Fact-checked by Grok 2 weeks ago

Skorokhod's representation theorem

Skorokhod's representation theorem is a cornerstone result in probability theory that bridges weak convergence of probability measures and almost sure convergence of random variables. Precisely, it states that if \{\mu_n\}_{n \geq 1} is a sequence of probability measures on a Polish metric space (S, d) that converges weakly to a probability measure \mu, then there exists a probability space (\Omega, \mathcal{F}, P) supporting random variables X_n: \Omega \to S for n \geq 1 and X: \Omega \to S such that X_n has law \mu_n for each n, X has law \mu, and X_n \to X almost surely as n \to \infty.^[1] This theorem enables the "lifting" of distributional limits to pathwise convergence on an enlarged probability space, facilitating proofs in stochastic analysis. Named after the Ukrainian-Soviet mathematician Anatoliy Skorokhod, the theorem was first introduced in 1956 in the context of stochastic processes on the space of cadlag functions equipped with the Skorokhod topology.^[1] Skorokhod's original formulation addressed limit theorems for processes, but the result was soon generalized to broader settings. In 1970, D. L. Wichura extended it to arbitrary complete separable metric spaces (Polish spaces), establishing the modern version that applies to general weak convergence problems.^[2] Further variants have relaxed assumptions like separability of the limit measure or incorporated non-separable spaces, though these often require additional conditions on the σ-algebra or metric structure.^[3] The theorem's significance lies in its utility for simplifying arguments in limit theory, particularly when almost sure convergence is needed to apply continuous mapping theorems or to analyze rates of convergence. It plays a pivotal role in functional central limit theorems, approximations of random walks by Brownian motion, and the study of empirical processes.^[4] For instance, it underpins the portmanteau theorem for convergence in distribution on Polish spaces by allowing pathwise verification of limits.^[5] Extensions of the theorem have also found applications in optimal transport, stochastic control, and Bayesian nonparametrics, where coupling distributions is essential.^[6]

Introduction

Historical development

The Skorokhod representation theorem originated in the work of Anatoliy V. Skorokhod, who introduced it in his seminal 1956 paper on limit theorems for stochastic processes.^[7] This paper, originally published in Russian as "Limit Theorems for Stochastic Processes" in Doklady Akademii Nauk SSSR and later translated into English in Theory of Probability & Its Applications, presented the theorem in the context of the unit interval equipped with the Skorokhod metric, addressing convergence of processes with discontinuities.^[7] Skorokhod's motivation stemmed from challenges in stochastic processes, particularly the need to approximate distributions of random processes to establish limit theorems, enabling the study of weak convergence through almost sure realizations on a common probability space.^[7] This approach facilitated handling non-continuous paths, a key issue in early probability theory for processes like Markov chains and diffusion approximations.^[7] Subsequent developments expanded the theorem's scope. In 1968, R.M. Dudley extended it to separable metric spaces, and in 1970, D.L. Wichura further extended it to general Polish spaces.^[2]^[8] Patrick Billingsley's influential book Convergence of Probability Measures (1968) provided a comprehensive framework for weak convergence on complete separable metric spaces, integrating these advancements with broader metric space theory. Skorokhod himself contributed further in his 1965 monograph Studies in the Theory of Random Processes, where he elaborated on applications to random processes and refined related embedding techniques.^[9] These publications marked a pivotal timeline: Skorokhod's 1956 paper laid the foundation, his 1965 book consolidated the theory for stochastic applications, extensions by Dudley (1968) and Wichura (1970) broadened its applicability, and Billingsley's 1968 work influenced modern probability literature on weak convergence.^[7]^[9]^[2]

Overview and significance

Skorokhod's representation theorem offers an intuitive mechanism for constructing versions of random variables defined on a common probability space, where a sequence converging in distribution to a limiting distribution can be realized as almost surely convergent paths. This approach effectively "lifts" abstract distributional convergence into concrete, pathwise behavior, allowing probabilistic limits to be studied through stronger almost sure properties without altering the underlying distributions. The theorem's significance lies in bridging the gap between weak convergence and pathwise convergence, which is essential for establishing continuity of mappings between spaces of random elements and verifying tightness conditions in stochastic processes. By enabling such constructions in Polish metric spaces, it simplifies proofs of functional limit theorems, such as those involving empirical processes or random walks approximating Brownian motion. In modern probability theory, the theorem plays a key role in facilitating simulations and numerical methods, where almost sure convergence supports reliable approximations in Monte Carlo schemes and bootstrap procedures.^[10] It also underpins theoretical extensions in statistics and machine learning, aiding asymptotic analyses of optimization algorithms like stochastic gradient descent by providing coupled representations for convergence guarantees.^[10] The theorem is named after Soviet mathematician Anatoliy V. Skorokhod, who introduced it in his foundational 1956 work on limit theorems for stochastic processes.

Mathematical prerequisites

Weak convergence of probability measures

Weak convergence of probability measures provides a fundamental notion of convergence in probability theory, particularly suited for abstract spaces where pointwise or total variation convergence may fail. A sequence of probability measures \{\mu_n\} on a metric space (S, d) is said to converge weakly to a probability measure \mu if, for every bounded continuous function f: S \to \mathbb{R}, the integrals satisfy \int_S f \, d\mu_n \to \int_S f \, d\mu as n \to \infty.^[11] This definition captures the idea that \mu_n approximates \mu in a distributional sense, preserving expectations of smooth test functions. Equivalent characterizations of weak convergence are given by the Portmanteau theorem, which states that \{\mu_n\} \Rightarrow \mu if and only if one of the following holds: (i) \limsup_{n \to \infty} \mu_n(F) \leq \mu(F) for every closed set F \subseteq S; (ii) \liminf_{n \to \infty} \mu_n(G) \geq \mu(G) for every open set G \subseteq S; (iii) \lim_{n \to \infty} \mu_n(A) = \mu(A) for every Borel set A \subseteq S with \mu(\partial A) = 0, where \partial A denotes the boundary of A.^[11] In the special case where S = \mathbb{R}, weak convergence is equivalent to pointwise convergence of the cumulative distribution functions: F_n(x) := \mu_n((-\infty, x]) \to F(x) := \mu((-\infty, x]) for all continuity points x of F.^[11] A classic example of weak convergence arises in the central limit theorem (CLT), where the standardized sum of i.i.d. Bernoulli random variables with success probability p \in (0,1) converges weakly to a standard normal distribution N(0,1); specifically, if S_n = \sum_{i=1}^n X_i with X_i \sim \text{[Bernoulli](/page/Bernoulli)}(p), then \frac{S_n - np}{\sqrt{np(1-p)}} \Rightarrow N(0,1).^[11] Another illustrative case is the convergence of empirical measures: for i.i.d. random variables X_1, \dots, X_n drawn from a distribution \mu on \mathbb{R}, the empirical measure \mu_n = \frac{1}{n} \sum_{i=1}^n \delta_{X_i} (where \delta_x is the Dirac measure at x) converges weakly to \mu in probability as n \to \infty.^[11] The weak topology induced by this convergence on the space of probability measures \mathcal{P}(S) is metrizable when S is a compact metric space, for instance via the Lévy-Prokhorov metric \pi(\mu, \nu) = \inf \{ \epsilon > 0 : \mu(A) \leq \nu(A^\epsilon) + \epsilon \text{ and } \nu(A) \leq \mu(A^\epsilon) + \epsilon \ \forall A \in \mathcal{B}(S) \}, where A^\epsilon = \{ y \in S : d(y, A) < \epsilon \} and \mathcal{B}(S) is the Borel \sigma-algebra; weak convergence corresponds exactly to \pi(\mu_n, \mu) \to 0.^[11] This metrizability facilitates the study of tightness and relative compactness in \mathcal{P}(S). In broader separable metric spaces, such as Polish spaces, the weak topology remains separable, enabling the application of Prokhorov's theorem for tightness criteria.^[11]

Polish metric spaces

A Polish space is defined as a separable completely metrizable topological space, meaning it admits a compatible metric that is complete and has a countable dense subset.^[12] This structure ensures the space is second countable, with a countable basis for its topology, which facilitates many analytical constructions in topology and measure theory.^[13] Common examples of Polish spaces include finite-dimensional Euclidean spaces \mathbb{R}^d equipped with the standard Euclidean metric, the unit interval [0,1] with the subspace topology from \mathbb{R}, and the space of continuous functions C[0,1] endowed with the supremum norm \|f\|_\infty = \sup_{t \in [0,1]} |f(t)|.^[14] These spaces are foundational in probability because they model a wide range of random phenomena while preserving the separability and completeness essential for probabilistic limits.^[15] Key properties of Polish spaces include the fact that their Borel \sigma-algebra, generated by the open sets, is countably generated, allowing for a countable collection of sets to produce all Borel measurable sets.^[16] Additionally, on a Polish space, every probability measure admits regular conditional distributions with respect to any sub-\sigma-algebra, meaning there exists a version of the conditional probability that is a proper probability kernel.^[17] In probability theory, Polish spaces play a crucial role by ensuring that the space \mathcal{P}(S) of Borel probability measures on a Polish space S, equipped with the weak topology (defined via convergence against continuous bounded functions), is itself a Polish space.^[18] This metrizability and separability of \mathcal{P}(S) enable separability arguments in the study of weak convergence and tightness of measure sequences, providing a robust framework for limit theorems.^[15]

Theorem statement

Standard formulation

Let (S, d) be a Polish space, that is, a complete separable metric space, and let \{\mu_n\}_{n=1}^\infty be a sequence of Borel probability measures on S converging weakly to a Borel probability measure \mu on S. Then there exists a probability space (\Omega, \mathcal{F}, P) supporting S-valued random variables X_n: \Omega \to S for each n \in \mathbb{N} and X: \Omega \to S such that X_n \sim \mu_n for each n, X \sim \mu, and X_n(\omega) \to X(\omega) for P-almost every \omega \in \Omega. The Polish structure of S is crucial for the theorem to hold in full generality for arbitrary Borel probability measures; extensions to separable but incomplete metric spaces require the limit measure \mu to have separable support, and counterexamples arise in non-separable spaces or when \mu lacks separable support even if convergence in probability replaces almost sure convergence. In the notation above, X_n \sim \mu_n indicates that X_n has distribution \mu_n under P, and the pointwise convergence X_n(\omega) \to X(\omega) holds P-almost surely (a.s.). A basic corollary follows immediately: under this representation, the weak convergence \mu_n \to \mu implies that X_n \to X in probability on (\Omega, \mathcal{F}, P).

Extensions and variants

One prominent extension of Skorokhod's representation theorem applies to the space D[0,1] of càdlàg functions equipped with the Skorokhod topology, where the space is Polish. In this setting, if a sequence of probability measures \mu_n on D[0,1] converges weakly to \mu_0, then there exist random elements X_n in D[0,1] such that X_n has distribution \mu_n for each n and X_n converges almost surely to X_0 with distribution \mu_0 in the Skorokhod metric.^[3] This variant facilitates the study of functional limit theorems for stochastic processes by enabling almost sure convergence in the Skorokhod topology, which accommodates jumps in càdlàg paths.^[5] Variants addressing non-separable spaces have been developed since the 2000s, relaxing the separability assumption on the limit measure \mu_0 while using tools like the Prokhorov metric to quantify discrepancies. For instance, in complete metric spaces without separability, a Skorokhod representation exists if the Prokhorov distance between \mu_n and \mu_0 tends to zero, ensuring almost sure convergence under a suitable enlargement of the probability space.^[3] These results, which extend the classical theorem to broader classes of measures, rely on disintegrations or universal measurable selections and apply even when \mu_0 lacks a separable support.^[19] Stronger forms of the theorem incorporate convergence in metrics stricter than the weak topology, under additional conditions like countable generated sub-σ-fields. A 2022 result establishes a strong version in Polish spaces where, under tightness and equality on a sub-σ-field, the random variables can be coupled to agree almost surely on that sub-σ-field while converging almost surely, with applications to equivalence couplings.^[20] Related extensions provide convergence rates for the coupling, often requiring tightness or moment conditions, though these are limited to specific settings like finite-dimensional spaces.^[21] A 2025 counterexample demonstrates the failure of certain strong versions in non-reflexive Banach spaces, showing that a proposed Skorokhod-type theorem from 2018 cannot hold without additional assumptions on the space's geometry. Specifically, in some separable Banach spaces, weak convergence does not admit a coupling with almost sure convergence in the strong topology, highlighting limitations for infinite-dimensional applications.^[22]

Proof outline

Core construction

The core construction of Skorokhod's representation theorem, as detailed in standard references, begins with the limit measure \mu on the Polish space S, assuming \mu has separable support. Let \{B_i^m\}_{i=0}^\infty be a countable partition of S into Borel sets with P(B_0^m) < \epsilon_m = 1/2^m, \mu(\partial B_i^m) = 0, and \mathrm{diam}(B_i^m) < \epsilon_m for i \geq 1, where the support separability allows such refining partitions. The probability space (\Omega, \mathcal{F}, P) supports a random element X: \Omega \to S with law \mu, an independent uniform random variable \xi: \Omega \to [0,1] on Lebesgue measure \lambda, independent random elements Y_{n,i}: \Omega \to S with conditional laws \mu_n(\cdot | B_i^m) for large n (where \mu_n(B_i^m) \approx \mu(B_i^m)), and adjustment variables Z_n with law \mu_n independent of the others.^[11] The random elements X_n are defined piecewise along a subsequence n_m increasing to \infty: for n_m \leq n < n_{m+1},

X_n(\omega) = \sum_{i=1}^\infty I[\xi(\omega) \leq 1 - \epsilon_m, X(\omega) \in B_i^m] Y_{n,i}(\omega) + I[\xi(\omega) > 1 - \epsilon_m] Z_n(\omega).

This ensures that the law of X_n is \mu_n for each n, as the construction mixes conditional distributions to match the partition probabilities under weak convergence, with the adjustment term handling the small probability mass on the "error" set. The map is measurable due to the product structure and independence.^[11] Almost sure convergence X_n(\omega) \to X(\omega) holds on a set E \subset \Omega of full measure P(E)=1. On E, \xi(\omega) avoids the shrinking error sets with probability 1 by Borel-Cantelli (since \sum \epsilon_m < \infty), and for large m, X(\omega) \in B_i^m for some i with small diameter, while Y_{n,i}(\omega) is close to B_i^m conditionally, ensuring d(X_n(\omega), X(\omega)) \to 0. The separability of the support allows extension to the full sequence by diagonal argument or density. This construction leverages the Polish structure to achieve pathwise convergence without requiring compactness.^[11]

Supporting arguments

The validity of the proof of Skorokhod's representation theorem hinges on several key lemmas and properties from measure theory and topology, which ensure the existence and consistency of the constructed representations. Central among these is the role of tightness in establishing relative compactness for families of probability measures. A family of probability measures on a metric space is tight if, for every ε > 0, there exists a compact set K such that each measure assigns at least probability 1 - ε to K. This property guarantees that the family is relatively compact in the weak topology, meaning every sequence in the family has a subsequence converging weakly to some limit measure. Prokhorov's theorem formalizes this connection, stating that in a complete separable metric space (Polish space), a family of probability measures is relatively compact if and only if it is tight. In the context of a weakly convergent sequence of measures μ_n to μ, the tightness of {μ_n : n ≥ 1} follows from the convergence itself, as weak limits preserve tightness, ensuring subsequential weak limits exist and coincide with μ.^[4] This relative compactness underpins the ability to extract convergent subsequences in the product space framework, facilitating the overall construction without divergence issues. Another foundational property is the continuity of the evaluation map with respect to the weak topology. For a Polish space S, the weak topology on the space of probability measures P(S) is defined via convergence of integrals against bounded continuous functions: μ_n → μ weakly if ∫ f dμ_n → ∫ f dμ for all continuous f : S → ℝ with |f| ≤ 1. The evaluation map that sends a measure ν to ν(f) = ∫ f dν, for fixed continuous f, is continuous from (P(S), weak topology) to ℝ. This continuity implies that weak convergence of measures induces pointwise convergence of their expectations under continuous functions, a direct consequence of the portmanteau theorem's characterization of weak convergence. In the proof, this ensures that the approximated representations align in distribution for continuous test functions, bridging the weak convergence assumption to almost sure pathwise properties along subsequences.^[4] The theorem's applicability to general Polish spaces relies on their Borel isomorphism to the unit interval [0,1]. Every uncountable Polish space is Borel isomorphic to [0,1], meaning there exists a bijection between their Borel σ-algebras that is measurable in both directions and preserves Borel sets. This isomorphism allows reduction of the general case to representations on [0,1] with Lebesgue measure, where explicit constructions (such as quantile functions) are feasible, and then transferring back via the isomorphism without altering the weak convergence structure.^[23] Such reductions simplify the proof by leveraging the standard probability space ([0,1], Borel, Lebesgue), ensuring measurability and the existence of suitable couplings in more abstract settings. Finally, the representations constructed are unique up to null sets with respect to the underlying probability measures. Distinct Skorokhod representations X_n and Y_n for the same sequence μ_n converging to μ satisfy X_n = Y_n almost surely for each n, and the limit X equals Y almost surely, as they share the same finite-dimensional distributions and the coupling is determined by the weak limits modulo P-null sets. This equivalence holds because the joint measure on the product space is uniquely determined by the marginals and the almost sure convergence property, preventing pathological discrepancies in the realizations.^[24]

Applications

Functional limit theorems

Skorokhod's representation theorem plays a pivotal role in establishing functional limit theorems by enabling the construction of almost sure convergent versions of weakly convergent random elements in separable metric spaces, particularly in the Skorokhod space D[0,1] of càdlàg functions. This allows for pathwise analysis that simplifies proofs of convergence in distribution for stochastic processes, where direct weak convergence arguments might be cumbersome due to the topology's handling of discontinuities. By providing a common probability space where the approximating processes converge almost surely to the limit, the theorem facilitates the verification of tightness and finite-dimensional distributions in a unified framework. A key application is to Donsker's theorem, which asserts the weak convergence of the rescaled empirical process or random walk to a Brownian motion in the Skorokhod topology. Using Skorokhod's representation, one can realize the sequence of rescaled processes and the limiting Brownian motion on the same space such that the former converges almost surely to the latter in D[0,1], thereby confirming the pathwise limits essential for the theorem's validity even when paths exhibit jumps. This approach underscores the theorem's utility in lifting finite-dimensional central limit theorems to their functional counterparts, ensuring the convergence holds uniformly over the path space. The theorem also underpins the continuous mapping theorem in the context of weak convergence for functional limits: if a sequence of random elements converges weakly to a limit and a measurable map is continuous at points of positive probability in the limit distribution, then the images converge in distribution. Skorokhod's representation strengthens this by allowing almost sure convergence of the pre-images, which preserves continuity and yields distributional convergence of the transformed processes almost surely along subsequences. For instance, in the central limit theorem for partial sums of i.i.d. random variables, the theorem elevates the convergence to an approximation by Brownian motion paths, enabling the study of functionals like supremum norms or integrals over the paths. In numerical contexts, Skorokhod's representation facilitates Monte Carlo simulations of limiting processes in functional limit theorems by coupling discrete approximations with continuous limits on a shared space, allowing for efficient variance reduction and error assessment in path-dependent simulations such as those for option pricing or risk measures. This coupling ensures that simulated paths of the approximants converge almost surely to those of the limit, improving the reliability of empirical estimates for complex stochastic functionals.

Analysis of stochastic processes

Skorokhod's representation theorem facilitates the analysis of stochastic processes by enabling the construction of couplings on a common probability space, where weakly convergent sequences of process distributions correspond to almost sure pathwise convergence. This coupling approach is particularly valuable for studying the dynamics of processes, allowing researchers to lift weak convergence results into stronger almost sure statements that reveal finer properties, such as rates of convergence or asymptotic behaviors. In the context of Polish metric spaces equipped with the Skorokhod topology, such as the space of cadlag functions, the theorem underpins the verification of process limits without relying solely on distributional comparisons.^[25] For Markov chains, the theorem supports coupling discrete-state approximations to continuous diffusion limits, ensuring almost sure convergence of the coupled processes. Specifically, when a sequence of Markov chains converges weakly to a diffusion process in the Skorokhod space, the representation allows embedding the chains into a single space where paths converge almost surely, preserving the Markov property and enabling the study of transient behaviors like hitting times or excursions. This is crucial for diffusion approximations in queueing theory and population models, where the almost sure convergence simplifies the analysis of long-term dynamics beyond mere weak limits.^[26] In invariance principles, Skorokhod's theorem is employed to confirm tightness of process families and identify their weak limits by constructing almost sure convergent versions on an extended space. For instance, it verifies that scaled martingale differences or partial sums converge to Gaussian processes, such as in functional central limit theorems, by representing the limiting distributions through pathwise approximations. This method avoids direct computation of characteristic functions or generating functions, focusing instead on the topological properties of the path space to establish the principle. The theorem's role here emphasizes process approximations in areas like time series analysis, where identifying the limit process aids in deriving asymptotic variances or covariances.^[27] A representative example is the convergence of rescaled random walks to Brownian motion, where Skorokhod's representation couples the discrete walk paths to continuous Brownian paths on a shared space, achieving almost sure uniform convergence on compact intervals. For a simple symmetric random walk S_n on \mathbb{Z}, scaling by \sqrt{n} yields a process that, under the theorem, embeds into a standard Brownian motion B_t such that \sup_{0 \leq t \leq 1} |S_{\lfloor nt \rfloor}/\sqrt{n} - B_t| \to 0 almost surely along subsequences, with error bounds of order n^{1/4} (\log n)^{1/2}. This coupling illustrates Donsker's invariance principle and is foundational for approximating lattice-based models by continuous diffusions in physics and finance.^[28] Extensions to filtering in sequential analysis leverage the theorem to couple noisy observations with underlying signal processes, ensuring consistent estimators in dynamic models. In nonlinear filtering problems, such as those involving hidden Markov models or reaction-diffusion systems, Skorokhod's representation aligns sequential observation paths with the filter's posterior distributions, allowing almost sure convergence of filter estimates to the true signal as observation resolution increases. This is applied in multiscale stochastic reaction networks, where coupling facilitates the analysis of filtering error rates under continuous-time observations, supporting robust sequential inference in signal processing and biological modeling.^[29]

References

[1]
https://projecteuclid.org/journals/theory-of-probability-and-its-applications/volume-1/issue-3/Limit-theorems-for-stochastic-processes/10.1137/1101027.full
[2]
https://arxiv.org/pdf/2004.07363.pdf
[3]
[PDF] a survey on skorokhod representation theorem without separability
We focus on results of the following type: (µn) has a Skorokhod representation if and only if J(µn, µ0) → 0, where J is a suitable distance (or discrepancy ...
[4]
[PDF] Chapter 1
In Sections 1.2 and 1.3 we give detailed proofs of the Prohorov metric properties and the Skorohod representation theorem, stated in The-.
[5]
[PDF] The Skorokhod space in functional convergence: a short introduction
The almost sure Skorokhod representation can be used to trivialize proofs in the theory of convergence in distribution on Polish spaces (portmanteau theorem, ...
[6]
[PDF] Some Extensions of the Skorohod - Representation Theorem
n. Xo. These results are in the same spirit as the famous Skorohod representation theorem of Skorohod (1965) and does not follow from its other generalizations.Missing: original | Show results with:original
[7]
https://doi.org/10.1137/1101022
[8]
https://doi.org/10.1214/aoms/1177697080
[9]
[PDF] Asymptotic Analysis via Stochastic Differential Equations of Gradient ...
This paper investigates the asymptotic behaviors of gradient descent algorithms (particu- larly accelerated gradient descent and stochastic gradient ...<|control11|><|separator|>
[10]
[PDF] Convergence of Probability Measures - CERMICS
Billingsley, Patrick. Convergence of probability measures / Patrick ... Slcorohod's Representation Theorem. The. Prohorov Metric. A Coupling Theorem ...Missing: Polish | Show results with:Polish
[11]
Polish space in nLab
Aug 19, 2025 · A Polish space is a topological space that's homeomorphic to a separable complete metric space. Every second countable locally compact Hausdorff space is a ...
[12]
Polish spaces in probability - MathOverflow
Apr 10, 2010 · A Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense ...Can a Polish space have two different topologies? - MathOverflowClasses of metric spaces with additional structure [closed]More results from mathoverflow.net
[13]
Polish Space - an overview | ScienceDirect Topics
A Polish space is a completely metrizable space which admits a countable basis of open sets. For instance, the set of real numbers, equipped with the usual ...
[14]
[PDF] arXiv:1402.6364v1 [math.PR] 25 Feb 2014
Feb 25, 2014 · µX ∈ ℘(X) denotes the marginal of µ onto the space X. A Polish space is defined as a separable topological space which is completely metrizable.
[15]
Is the Borel-sigma-Algebra of a Polish space always countably ...
Jun 8, 2015 · Polish spaces are always second-countable. Simply note that the Borel sets are generated by the open sets, but if every open set is the countable union of ...Are Borel subsets of Polish spaces Polish? - Math Stack ExchangeAll Borel σ-algebras are separating and countably generated?More results from math.stackexchange.com
[16]
[PDF] CONDITIONAL EXPECTATION Definition 1. Let (Ω,F,P) be a ...
If X is a real random variable defined on a probability space (Ω,F,P) then for every σ−algebra G ⊂ F there is a regular conditional distribution for X given G.
[17]
Probability measures on a Polish space - Math Stack Exchange
Jan 8, 2012 · Yes, it is (under the topology of weak convergence). This follows from Theorem 6.2 and Theorem 6.5 in Probability Measures on Metric Spaces by KR Parthasarathy.Weak topology and weak convergenge in probability spacesWeak converge of probabilty measure on Polish spacesMore results from math.stackexchange.com
[18]
A Skorohod representation theorem without separability
An useful consequence is that Skorohod representations are preserved under mixtures. The result applies even if μ0 μ 0 fails to be d d -separable. Some possible ...
[19]
A Strong Version of the Skorohod Representation Theorem
Feb 3, 2022 · Theorem 1 · (i). Any countably generated sub- σ -field G ⊂ B can be written as G = σ ( g ) for some Borel measurable function g : S → R . · (ii).
[20]
application of the skorokhod representation theorem to rates ... - jstor
Rates of convergence for linear combinations of order statistics are obtained. The work is in the spirit of those authors who have used in one.
[21]
A counterexample to the strong Skorokhod representation theorem
Apr 1, 2025 · In this note we show that, unfortunately, the Skorokhod-type theorem from Brzeźniak et al. (Potential Anal 49:131–201, 2018) is wrong and cannot be corrected.
[22]
Polish spaces up to Borel isomorphism - PlanetMath
Mar 22, 2013 · . Such a function is said to be a Borel isomorphism. The following result classifies all Polish spaces up to Borel isomorphism. Theorem.
[23]
A Skorohod representation theorem without separability
(vj) By Theorem 1.1, to prove existence of Skorohod representations, one can “argue by subsequences”. Precisely, under the conditions of Theorem 1.1, (µn : n ≥ ...
[24]
Stochastic Compactness of Sample Extremes
The provided content from Project Euclid does not discuss the Skorokhod representation or its use in martingale invariance principles for stochastic processes. Instead, it focuses on "Stochastic Compactness of Sample Extremes" by Laurens de Haan and Geert Ridder, published in *Annals of Probability* (Vol. 7, No. 2, April 1979). The paper derives conditions for stochastic compactness of sample maxima \(X_n = \max\{Y_1, \cdots, Y_n\}\) of i.i.d. random variables \(Y_n\) with distribution \(F\), using a sequence of constants \(\{a_n\}\), and explores its relation to partial sums.
[25]
[PDF] Markov processes - IAM Bonn
Mar 15, 2015 · convergence of Markov chains to diffusion limits, the approximation of Feller processes by jump processes, the approximation of solutions of ...
[26]
[PDF] STRONG INVARIANCE PRINCIPLES FOR DEPENDENT RANDOM ...
Oct 26, 2006 · By the martingale version of the Skorokhod representation theorem [Strassen (1967),. Hall and Heyde (1980)], on a possibly richer probability ...
[27]
[PDF] Random Walk: A Modern Introduction - The University of Chicago
We then describe the Skorokhod method of coupling a random walk and a Brownian motion on the same probability space, and give error estimates. The dyadic ...
[28]
Stochastic filtering for multiscale stochastic reaction networks based ...
Oct 15, 2022 · Therefore, by Skorokhod's representation theorem [57, Theorem 1.8 in Chapter 3], the result is proven. □. In continuous-time observation ...