Uniqueness and homogeneity of non-separable Urysohn universal ultrametric spaces

Abstract

We first introduce the new notion of petaloid ultrametric spaces, which is intended to be a standard class of non-separable Urysohn universal ultrametric spaces. Next we prove that all petaloid spaces are isometric to each other and homogeneous for all finite subspaces (and compact subspaces). Moreover, we show that the following spaces are petaloid, and hence they are isometric to each other and homogeneous: (1) The space of all continuous functions, whose images contain the zero, from the Cantor set into the space of non-negative real numbers equipped with the nearly discrete topology, (2) the space of all continuous ultrametrics on a zero-dimensional infinite compact metrizable space, (3) the non-Archimedean Gromov–Hausdorff space, and (4) the space of all maps from the set of non-negative real numbers into the set of natural numbers whose supports are finite or decreasing sequences convergent to the zero.