On isometric embeddings of Wasserstein spaces -- the discrete case
Abstract
The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and $0<p<\infty$ is any parameter value. Roughly speaking, we will prove that any isometric embedding can be described by a special kind of $\mathcal{X}\times(0,1]$-indexed family of nonnegative finite measures. Our result implies that a typical non-surjective isometric embedding of $\mathcal{W}_p(\mathcal{X})$ splits mass and does not preserve the shape of measures. In order to stress that the lack of surjectivity is what makes things challenging, we will prove alternatively that $\mathcal{W}_p(\mathcal{X})$ is isometrically rigid for all $0<p<\infty$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2018
- DOI:
- 10.48550/arXiv.1809.01101
- arXiv:
- arXiv:1809.01101
- Bibcode:
- 2018arXiv180901101P
- Keywords:
-
- Mathematics - Functional Analysis;
- Mathematical Physics;
- Mathematics - Metric Geometry;
- 54E40;
- 46E27;
- 60A10;
- 60B05
- E-Print:
- 11 pages, 1 figure