When locally distance-preserving Banach bijections are global isometries

Suppose a bijection between real Banach spaces preserves distances between every pair of points in each closed ball of radius 1/4. Must it be a global isometry? The unrestricted question does not assume separability.

Why it matters and what counts as progress

Why it matters: This asks whether a fixed-scale local distance condition forces global metric rigidity.

What counts as progress: A general local-to-global theorem or a bijective counterexample; a positive theorem for separable source spaces does not settle the unrestricted case.

How the problem developed

  1. 7 Aug 2023 · Related result [1]

    Michiya Mori Proved that a locally isometric surjection between Banach spaces is a global isometry when the source space is separable.

  2. 30 Aug 2026 · Counterexample [2]

    Yoshito Ishiki Constructed a bijection between real Banach spaces that preserves distances on every closed ball of radius 1/4 but is not a global isometry.

AI contribution

A counterexample to Scottish Book Problem 155

Yoshito Ishiki

Yoshito Ishiki constructs real Banach spaces X and Y and a bijection U from X to Y that preserves distances between every pair of points in each closed ball of radius 1/4, but is not a global isometry. This answers the unrestricted Scottish Book Problem 155 negatively.

AI involvementAI-centered
ImportanceNotable
Human understandingFull
Paper date:

Sources

  1. Mori's separable-source result
  2. Ishiki, A counterexample to Scottish Book Problem 155
  3. Ishiki's counterexample and AI disclosure
  4. Lean theorem and checking scope
Website timeline

Publication dates and editorial changes.