Get all the updates for this publication
Let f be a transformation on the Euclidean space such that f(0) = 0, and f preserves distances. Then f is linear, and this makes it easier to analyze f. The Mazur—Ulam theorem generalizes this to maps between real normed linear spaces. We discuss this theorem and its proofs.