Isometric Transformation Proof Using Matrix Form

  • Thread starter Thread starter matt223
  • Start date Start date
  • Tags Tags
    Transformation
Click For Summary
SUMMARY

The discussion focuses on proving that a length-preserving transformation R in a three-dimensional vector space with metric \(\eta\) satisfies the relationship \(R^{T}\eta R = \eta\). The proof begins with the equality of lengths expressed as \(l^{2} = \eta_{ij}x_{i}x_{j} = \eta_{ij}R_{ip}x_{p}R_{jq}x_{q}\). The user seeks clarification on how to derive the matrix form of the transformation and its implications for the proof.

PREREQUISITES
  • Understanding of linear algebra concepts, specifically matrix transformations.
  • Familiarity with metric tensors in three-dimensional vector spaces.
  • Knowledge of the summation convention in tensor notation.
  • Basic principles of length preservation in geometric transformations.
NEXT STEPS
  • Study the properties of orthogonal transformations in linear algebra.
  • Learn about the derivation and implications of the Gram-Schmidt process.
  • Explore the concept of isometries in Euclidean spaces.
  • Investigate the role of the transpose of matrices in preserving inner products.
USEFUL FOR

Mathematicians, physics students, and anyone studying linear transformations and their properties in vector spaces.

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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
3
Views
2K
Replies
5
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
13K
  • · Replies 21 ·
Replies
21
Views
6K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K