OpenAI reports a positive solution to Tingley’s problem
- Mathematics
Every surjective isometry between the unit spheres of nonzero real Banach spaces extends uniquely to a surjective real-linear isometry of the full spaces.
OpenAI reports a positive solution to Tingley’s problem
- Mathematics
Every surjective isometry between the unit spheres of nonzero real Banach spaces extends uniquely to a surjective real-linear isometry of the full spaces.
Curated contributions 1
Understand the problem ↓Understanding the problem
Read the background
Every surjective isometry between the unit spheres of nonzero real Banach spaces extends uniquely to a surjective real-linear isometry of the full spaces.
Why it matters
If correct, resolves Tingley’s sphere-isometry extension problem for arbitrary real Banach spaces.
What counts as progress
Does every surjective Banach-sphere isometry extend to a linear isometry?
Website timeline
Publication dates and editorial changes.