The Mazur–Ulam theorem is a fundamental result in the field of functional analysis and geometry. It deals with the structure of isometries between normed spaces.
Articles by others on the same topic
Every surjective isometry between real normed vector spaces is affine. In particular, if , then is real-linear.