OpenAI Math Digest
AI-GENERATED GUIDE

This guide may contain errors or inaccurate explanations. Check important claims and proofs against the original papers.

FIELD GUIDE

Functional analysis

Functional analysis

Official catalogue 322–332.

Open the official catalogue · p. 35 ↗

Catalogues in this field

Official catalogue numbers
322

Tingley's sphere-isometry problem

This catalogue contains one manuscript claiming that a surjective isometry between unit spheres of real Banach spaces extends uniquely to a real-linear isometry of the spaces. The overview follows its proof by maximizing the distance defect between different radii, aligning chords, and eliminating the defect through convexity.

Proof overview available

The catalogue guide leads to the article, its external inputs, and the bilingual PDF editions.

Open the catalogue guide
Proof overviews (1)Official catalogue order
  1. A positive solution to Tingley’s problem

Enlarged figure

Scroll to move around the figure. Underlined citations remain clickable.