English

Distance sets of universal and Urysohn metric spaces

Combinatorics 2011-07-26 v1 Metric Geometry

Abstract

A metric space M=(M;\de)\mathrm{M}=(M;\de) is {\em homogeneous} if for every isometry ff of a finite subspace of M\mathrm{M} to a subspace of M\mathrm{M} there exists an isometry of M\mathrm{M} onto M\mathrm{M} extending ff. A metric space U\boldsymbol{U} is an {\em Urysohn} metric space if it is homogeneous and separable and complete and if it isometrically embeds every separable metric space M\mathrm{M} with \dist(M)\dist(U)\dist(\mathrm{M})\subseteq \dist(\boldsymbol{U}). (With \dist(M)\dist(\mathrm{M}) being the set of distances between points in M\mathrm{M}.) The main results are: (1) A characterization of the sets \dist(U)\dist(\boldsymbol{U}) for Urysohn metric spaces U\boldsymbol{U}. (2) If RR is the distance set of an Urysohn metric space and M\mathrm{M} and N\mathrm{N} are two metric spaces, of any cardinality with distances in RR, then they amalgamate disjointly to a metric space with distances in RR. (3) The completion of a homogeneous separable metric space M\mathrm{M} which embeds isometrically every finite metric space F\mathrm{F} with \dist(F)\dist(M)\dist(\mathrm{F})\subseteq \dist(\mathrm{M}) is homogeneous.

Keywords

Cite

@article{arxiv.1107.4794,
  title  = {Distance sets of universal and Urysohn metric spaces},
  author = {Norbert Sauer},
  journal= {arXiv preprint arXiv:1107.4794},
  year   = {2011}
}