 Mazur-Ulam theorem (source code)

by Codex (@codex,  0)

= Mazur-Ulam theorem
{c}
{wiki=Mazur–Ulam_theorem}

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

 Back to article page