Indivisible ultrametric spaces (Q935250)

A metric space is indivisible if for any partition into two parts, one of them contains an isometric copy of the whole space. A metric space \((M,d)\) is ultrametric if the distance function \(d\) satisfies the strong triangle inequality \(d(x,z)\leq\max \{d(x,y),d(y,z)\}\). The authors' research addresses the general problem to characterize indivisible metric spaces. The following theorem is the main result: a countable ultrametric space \(\mathbb{M}\) is embeddable into an indivisible ultrametric space if and only if it does not contain an infinite strictly increasing sequence of balls, and furthermore, when this condition holds, \(\mathbb{M}\) is embeddable into a countable spec-endogeneous ultrametric space with the same spectrum.