A counterexample to Scottish Book Problem 155

Abstract

We construct real Banach spaces $X$ and $Y$ and a bijection $U:X\to Y$ which preserves all pairwise distances on every closed ball of radius $1/4$ but is not a global isometry. The proof starts from an explicit injective map that preserves every distance at most $1/2$ and shortens one longer distance. We then enlarge the source and target through a transfinite recursion that inserts every missing target point while preserving both injectivity and this distance threshold.

arXiv comment24 pages