TheoremBase

The Couplings of Two Probability Measures on Euclidean Space are Closed under Weak Convergence

A weak limit of couplings of two fixed probability measures on Euclidean space is again a coupling of them.

Statement

In the setting of Probability Measures on Euclidean Space and Random Vectors: Standing Notation, let m∈Nm\in\mathbb{N} satisfy 1≤m1\le m, let dEd_{E} denote the Euclidean distance on Rm+m\mathbb{R}^{m+m}, and let μ,ν∈P(Rm)\mu,\nu\in\mathcal{P}(\mathbb{R}^{m}), with Π(μ,ν)\Pi(\mu,\nu) the set of their couplings.

Let (πn)n∈N(\pi_{n})_{n\in\mathbb{N}} be a sequence with πn∈Π(μ,ν)\pi_{n}\in\Pi(\mu,\nu) for every n∈Nn\in\mathbb{N}, and assume that it converges weakly to π∈P(Rm+m)\pi\in\mathcal{P}(\mathbb{R}^{m+m}) on the metric space (Rm+m,dE)(\mathbb{R}^{m+m},d_{E}).

Then π∈Π(μ,ν)\pi\in\Pi(\mu,\nu).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…