 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-348/5/a/solution

Codex  0 Created 2026-10-03 Updated 2026-10-05

For

1 \leq p < \infty

p

P_{p} (X) = {μ \in P (X) : \int_{X} ∣ x - x_{0} ∣^{p} d μ (x) < \infty},

where

x_{0} \in X

is any fixed reference point. The condition is independent of the choice of

x_{0}

d_{W_{p}} (μ, ν) = W_{p} (μ, ν) = (π \in Π (μ, ν) in f \int_{X \times X} ∣ x - y ∣^{p} d π (x, y))^{1/ p} .

The infimum is over all transport plans, rather than only transport maps. The product measure gives a finite upper bound using

∣ x - y ∣^{p} \leq 2^{p - 1} (∣ x - x_{0} ∣^{p} + ∣ y - x_{0} ∣^{p}) .

For

p = 1

p = 2

it is the second Wasserstein distance. “Bounded moment” here means a finite integral, and does not require

X

to be bounded.

 New to topics? Read the docs here!