Register to reply 
Distancepreserving maps are compositions of rotations and translations 
Share this thread: 
#1
Dec2112, 06:39 PM

Emeritus
Sci Advisor
PF Gold
P: 9,267

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).
My first thought is to define ##g=ff(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. 


#2
Dec2112, 07:36 PM

Mentor
P: 18,058

You may want to start by actually defining what a rotation is. If you define rotations as elements of [itex]O_n[/itex], the orthogonal group, then what you say is known as the MazurUlam theorem. See http://en.wikipedia.org/wiki/MazurUlam_theorem The proof of the MazurUlam theorem is not very difficult and can be found on a pdf in the wiki page.



#3
Dec2212, 06:45 AM

Emeritus
Sci Advisor
PF Gold
P: 9,267

Excellent. That's exactly what I wanted. I thought it would be much harder. Thanks.



#4
Dec2212, 03:09 PM

Sci Advisor
HW Helper
P: 9,453

Distancepreserving maps are compositions of rotations and translations
the usual method is to first determine all motions preserving a given point, show these are all in your group, and then show that also your motions are transitive. I.e. since translations are transitive, it suffices to show that all isometries preserving the origin are rotations, but of course they are not, since you have included only orientation preserving motions as rotations and translations, so you need also reflections. Of course you can define rotations as all isometries preserving the origin as micromass seems to suggest, but that is not the usual definition. Rather I think they are usually defined as the component SO (special orthogonal group) of the identity, in the full orthogonal group.
perhaps more revealing than simply defining the difficulty away, is to use a structure theorem such as that in herstein, that shows every orthogonal matrix has in some orthogonal basis the structure of a block matrix made up of sines and cosines, i.e. actual plane rotations, and a bunch of 1's, i.e. some 180 rotations and possibly one reflection. the theorem micromass refers to, is something i have been assuming as obvious, i.e. distance preserving maps preserving the origin are linear, essentially by the parallelogram law. maybe i should be more rigorous on that score. I.e. there are two steps 1) distance preserving maps are affine, 2) orientation preserving linear maps are composed of plane rotations in orthogonal planes. 


#5
Dec2312, 01:52 PM

Sci Advisor
P: 1,169

I think you can use the fact that the metric is generated by an innerproduct; then isometries must preserve the innerproduct. you can then show that the only maps that preserve the real innerproduct are rotations and translations. Of course this would not work on spaces where the innerproduct does not generate the metric.



#6
Dec2312, 02:48 PM

HW Helper
Thanks
P: 946

Then [itex]f(x) \cdot f(y) = x \cdot y + x \cdot a + y \cdot a + a \cdot a[/itex] which is not identically equal to [itex]x \cdot y[/itex] unless [itex]a = 0[/itex]. But [itex]\f(x)  f(y)\ = \x + a  y  a\ = \x  y\[/itex]. Also: Let [itex]e_i[/itex], [itex]1 \leq i \leq n[/itex], be the standard basis on [itex]\mathbb{R}^n[/itex]. For [itex]\sigma \in S_n[/itex], define a linear map [itex]A_\sigma : \mathbb{R}^n \to \mathbb{R}^n[/itex] by [itex]e_i \mapsto e_{\sigma(i)}[/itex]. Then [itex]A_\sigma[/itex] preserves inner products since [tex]e_i \cdot e_j = \delta_{ij} = \delta_{\sigma(i)\sigma(j)} = e_{\sigma(i)} \cdot e_{\sigma(j)} = A_\sigma e_i \cdot A_\sigma e_j[/tex] because [itex]i = j[/itex] if and only if [itex]\sigma(i) = \sigma(j)[/itex]. But there are maps [itex]A_\sigma[/itex] which do not correspond to rotations: swapping [itex]e_1[/itex] and [itex]e_2[/itex], for example, which is a reflection in the surface [itex]x_1 = x_2[/itex]. 


Register to reply 
Related Discussions  
Conformal maps as sense preserving  Calculus & Beyond Homework  1  
Are these compositions of linear transformations reflections or rotations?  Precalculus Mathematics Homework  6  
Mapping preserving distance  Differential Geometry  2  
Homomorphisms as structurepreserving maps  Linear & Abstract Algebra  52  
Group of translations by a fixed distance  Linear & Abstract Algebra  2 