A universal separable diversity (Q2412991)

For this review a Urysohn space is a separable complete metric space that is characterized by the following two properties: (a) universality: each separable metric space can be isometrically embedded in it; (b) ultrahomogeneity: each isometry between two finite subspaces can be extended to an auto-isometry of the whole space. By these two conditions the Urysohn space is uniquely determined up to isometry within the separable metric spaces. The concept of a diversity is a recently introduced extension of the concept of a metric space. In a diversity, each finite subset of points is assigned a non-negative real value. By modifying and combining various techniques known from the theory of metric spaces, the authors construct an analogue of the Urysohn space for diversities. They point out that the metric space induced by the Urysohn diversity is isometric to the Urysohn metric space. However the diversity analogue of the Urysohn metric space is neither a diameter diversity nor a Steiner diversity of any metric space. The paper ends with several questions about the Urysohn diversity, which are mainly motivated by related investigations on the Urysohn metric space.