Isometric Transformation Proof Using Matrix Form

  • Thread starter Thread starter matt223
  • Start date Start date
  • Tags Tags
    Transformation
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 3K views
matt223
Messages
2
Reaction score
0

Homework Statement



The questions asks for a proof that if a geometrical transformation [tex]R[/tex] on a three dimensional vector space with metric [tex]\eta[/tex] is length preserving, then [tex]R^{T}\eta R=\eta[/tex]. Note that the summation convention is used throughout.

The transformation is given by
[tex]x'_{i}=R_{ij}x_{j}[/tex]

Homework Equations



The length of a vector is determined by the metric according to
[tex]l^{2}=\eta _{ij}x_{i}x_{j}[/tex]

The Attempt at a Solution



If [tex]R[/tex] is length preserving then
[tex]l^{2}=\eta _{ij}x_{i}x_{j} =\eta _{ij}x'_{i}x'_{j}[/tex]
and so
[tex]\eta _{ij}x_{i}x_{j}=\eta _{ij}R_{ip}x_{p}R_{jq}x_{q}[/tex]

My question is how do I get from this stage to the desired relationship [tex]R^{T}\eta R=\eta[/tex]. Perhaps this is already implied by the line above? If so, how?

PS: This is my first post here - thank you for any help!
 
Last edited:
Physics news on Phys.org
Rearrange the Rs a bit in your expression:

[tex] \eta _{ij}x_{i}x_{j}=\eta _{ij}R_{ip}x_{p}R_{jq}x_{q} = (R_{ip}\eta _{ij}R_{jq})x_{p}x_{q}[/tex]

and try to rewrite [tex]R_{ip}\eta _{ij}R_{jq}[/tex] in matrix form.