If I have two probability distributions $\mu$ and $\nu$ defined on $X$ and $Y$ respectively, then the $p$th Wasserstein distance between the two of them is defined as $$W_p(\mu,\nu) = \left(\inf_{\pi\in\Pi(\mu,\nu)}\int_{X\times Y}d(x,y)^{p}\,\mathrm{d}\pi(x,y)\right)^{1/p} $$ where $\Pi(\mu,\nu)$ is the set of all distributions on $X\times Y$ whose marginals are $\mu$ and $\nu$ respectively and $p\geq 1$. My question is: is the limiting behavior of this quantity as $p\to\infty$ defined? Does it have a name?
I see no reason why $W_\infty := \inf_{\pi\in\Pi}d_{L^\infty(\pi)}$ wouldn't fit. This is not to claim that $\lim_{p\to\infty} W_p=W_\infty$ (which I believe is true anyway), but at least it exists, although with properties different from the $W_p$s, $p<\infty$.

$\begingroup$ Is it clear, for instance, that your $W_\infty$ is a metric? $\endgroup$ – Nate Eldredge Jul 15 '15 at 12:32

3$\begingroup$ It is, and the limit $W_p\to W_\infty$ holds. For Polish spaces, see for instance Givens & Shortt (1984): projecteuclid.org/download/pdf_1/euclid.mmj/1029003026 $\endgroup$ – Jean Duchon Jul 15 '15 at 12:50