How do you prove that a bijection ##f:\mathbb R^n\to\mathbb R^n## such that ##d(f(x),f(y))=d(x,y)## for all ##x,y\in\mathbb R^n## is a composition of a rotation and a translation? (d=Euclidean metric).(adsbygoogle = window.adsbygoogle || []).push({});

My first thought is to define ##g=f-f(0)##, prove that g is a bijection that preserves distances too, and then try to prove that g is a rotation. I recently learned how to prove that maps that take straight lines to straight lines are linear, so I'm guessing that the strategy involves proving that g takes straight lines to straight lines.

Maybe we can use that g preserves circles around 0 in the sense that if C is such a circle and ##x\in C##, then ##g(x)\in C##. I imagine that we would take an arbitrary line L, and then look at points where it intersects some circle around 0, but I don't see how to turn this idea into a proof. I'm not sure if I should try to prove that g takes straight lines to straight lines first, or if there's a more direct approach.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Distance-preserving maps are compositions of rotations and translations

Loading...

Similar Threads - Distance preserving maps | Date |
---|---|

A A question about coordinate distance & geometrical distance | Jul 19, 2016 |

I Great Circle Distance Derivation | Jun 18, 2016 |

Please help. Imposing a metric to preserve distance | Feb 8, 2011 |

Mapping preserving distance | Feb 8, 2011 |

**Physics Forums - The Fusion of Science and Community**