Let (X,d) be a Polish metric space, and let 1≤p<∞. For any two Probability Measures μ,ν on X the Wasserstein Metric of order p between μ and ν is defined by the formula Wp(μ,ν)=π∈Π(μ,ν)infX×X∫d(x,y)pdπ(x,y)1/p=inf{[E[d(X,Y)p]1/p,law(X)=μ,law(Y)=ν}
The Wasserstein metric of order 1 for any two measures μ,ν∈P(X) is defined as W1(μ,ν)=η∈H(μ,ν)infX×X∫η(dx,dy)∣x−y∣where H(μ,ν) denotes the set of probability measures on X×X with the first marginal μ and second marginal ν. Furthermore we equivalently have W1(μ,ν)=∥f∥Lip≤1sup∫fdμ−∫fdνwhere ∥f∥Lip:=x=ysupdX(x,y)f(x)−f(y)and dX is the metric on X.