Today’s will be a relatively short post, and primarily algebraic. I had mentioned a couple of days back the following result:

**Theorem 1 (Mazur-Ulam)** *An isometry of a normed linear space onto another normed linear space with is linear. *

We needed the theorem to show that a distance-preserving map between Riemannian manifolds is an isometry. Recall that ‘s being an isometry means that it preserves distances between points.

Apparently the theorem has no relation to Barry Mazur, but to another Mazur.

I will follow Lax’s *Functional Analysis* in the proof.

**Reduction **

It is enough to prove that

for all .

Indeed, if this is the case, then by , we get by induction. So

for all . By density of the dyadic fractions and continuity, we find for all . Also (1) and what’s already proved imply , so , which proves linearity.

**Strategy of the proof **

The idea is to use a purely norm-theoretic way of describing the midpoint of . This must be reflected by , so it will prove (1). In particular, given , we will define sets with , with the sets defined solely in terms of the norm structure on . It will thus follow that maps these sets onto their analogs on —which will prove (1) and the theorem. (more…)