Abstract:Given an uncountable subset $\mathcal Y$ of a nonseparable Banach space, is there an uncountable $\mathcal Z\subseteq \mathcal Y$ such that the distances between any two distinct points of $\mathcal Z$ are more or less the same? If an uncountable subset $\mathcal Y$ of a nonseparable Banach space does not admit an uncountable $\mathcal Z\subseteq \mathcal Y$, where any two points are distant by more than $r>0$, is it because $\mathcal Y$ is the countable union of sets of diameters not bigger than $r$? We investigate connections between the set-theoretic phenomena involved and the geometric properties of uncountable subsets of nonseparable Banach spaces of densities up to $2^\omega$ related to uncountable $(1+)$-separated sets, equilateral sets or Auerbach systems. The results include geometric dichotomies for a wide range of classes of Banach spaces, some in ZFC, some under the assumption of OCA+MA and some under a hypothesis on the descriptive complexity of the space as well as constructions (in ZFC or under CH) of Banach spaces where the geometry of the unit sphere displays anti-Ramsey properties. This complements classical theorems for separable spheres and the recent results of Hájek, Kania, Russo for densities above $2^\omega$ as well as offers a synthesis of possible phenomena and categorization of examples for uncountable densities up to $2^\omega$ obtained previously by the author and Guzmán, Hrušák, Ryduchowski and Wark. It remains open if the dichotomies may consistently hold for all Banach spaces of the first uncountable density or if the strong anti-Ramsey properties of the distance on the unit sphere of a Banach space can be obtained in ZFC.

Uniqueness and homogeneity of non-separable Urysohn universal ultrametric spaces

Characterizations of Urysohn universal ultrametric spaces

A Full-Invariant Theorem and Some Applications

On isometric universality of spaces of metrics

Homogeneous isosceles-free spaces

Generic separable metric structures

Some Remarks on Partial Metric Spaces

On ultrametric-preserving functions

Nonseparably connected complete metric spaces

Unitary Representations of the Isometry Groups of Urysohn Spaces

On uniformly continuous surjections between $C_p$-spaces over metrizable spaces

A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space

Ultrahomogeneous tensor spaces

A NOTE ON CONTINUOUSLY URYSOHN SPACES

Universal and ultrahomogeneous Polish metric structures

Categorical properties on the hyperspace of nontrivial convergent sequences

On Ramsey-type properties of the distance in nonseparable spheres

On the UC and UC* properties and the existence of best proximity points in metric spaces

What would the rational Urysohn space and the random graph look like if they were uncountable?

Ergodic decomposition in the space of unital completely positive maps