Divisibility of countable metric spaces (Q2372435): Difference between revisions

A metric space \(X\) is \textit{divisible} if there exists a partition into two subspaces, none of which contains an isometric copy of \(X\). A space is \textit{indivisible} if it is not divisible. Divisibility and indivisibility of countably infinite metric spaces are studied. Those properties are considered in a more general framework by using relational structures. Among other things, it is proved that every indivisible metric space must be bounded and totally Cantor disconnected. In particular, it is shown that the bounded Urysohn space \(\mathbb{U}_{\mathbb{Q}_+, \leq 1}\) is divisible, which answers Hjorth's question whether a bounded Urysohn space is indivisible or not.