 Mazur–Ulam theorem

Every surjective isometry between real normed vector spaces is affine. In particular, if $u(0)=0$, then $u$ is real-linear.

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.