Why is the special orthogonal group considered the rotation group?

  • Thread starter tensor33
  • Start date
  • #1
tensor33
52
0
I understand that the special orthogonal group consists of matrices x such that [itex]x\cdot x=I[/itex] and [itex]detx=1[/itex] where I is the identity matrix and det x means the determinant of x. I get why the matrices following the rule [itex]x\cdot x=I[/itex] are matrices involved with rotations because they preserve the dot products of vectors. The part I dont get is why the matrices involved with rotation must have determinant 1.
 

Answers and Replies

  • #2
Muphrid
834
2
A pure rotation should not dilate or shrink any volume. The determinant of a linear operator is the scale factor by which the volume element increases. Hence, the determinant of a rotation operator must be 1.
 
  • #3
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,129
3,302
I understand that the special orthogonal group consists of matrices x such that [itex]x\cdot x=I[/itex] and [itex]detx=1[/itex] where I is the identity matrix and det x means the determinant of x. I get why the matrices following the rule [itex]x\cdot x=I[/itex] are matrices involved with rotations because they preserve the dot products of vectors. The part I dont get is why the matrices involved with rotation must have determinant 1.

Did you mean [itex]x\cdot x^T=I[/itex]??

A pure rotation should not dilate or shrink any volume. The determinant of a linear operator is the scale factor by which the volume element increases. Hence, the determinant of a rotation operator must be 1.

That doesn't really explain why the determinant can't be -1, which is what the OP is asking.
The reason is that rotations preserves the orientation of a basis. If we have a right-handed basis, then rotations of this will be right-handed as well.
As an example of an orthogonal matrix that does not preserve the orientation, you can probably take a reflection.
 
  • #4
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,872
420
I understand that the special orthogonal group consists of matrices x such that [itex]x\cdot x=I[/itex] and [itex]detx=1[/itex] where I is the identity matrix and det x means the determinant of x. I get why the matrices following the rule [itex]x\cdot x=I[/itex] are matrices involved with rotations because they preserve the dot products of vectors. The part I dont get is why the matrices involved with rotation must have determinant 1.
To prove that rotations have determinant 1, you must first define the term "rotation". It's perfectly OK to just take "R is said to be a rotation if R is a member of SO(3)" as the definition, but then there's nothing to prove. Another option is "R is said to be a rotation if R is a member of the largest connected subgroup of O(3)". Then your task would be to prove that the largest connected subgroup is SO(3).

(I actually prefer the terminology that calls members of O(3) rotations, and members of SO(3) proper rotations).
 
  • #5
tensor33
52
0
Did you mean [itex]x\cdot x^T=I[/itex]??

Ya, I forgot the transpose part.

Thanks to all those who replied, I'm pretty sure I get it now.
 

Suggested for: Why is the special orthogonal group considered the rotation group?

  • Last Post
Replies
7
Views
4K
Replies
2
Views
3K
  • Last Post
Replies
13
Views
845
  • Last Post
Replies
18
Views
13K
Replies
1
Views
663
Replies
3
Views
2K
  • Last Post
Replies
1
Views
3K
Replies
0
Views
1K
  • Last Post
Replies
5
Views
1K
Replies
9
Views
1K
Top