What is the relationship between SO(n) and S^n?

In summary, the group of rotations of S^1 is equal to the special orthogonal group SO(2) which incidentally is also equal to S^1. The group of rotations of S^2 is equal to SO(3), and the group of rotations of S^3 is equal to SO(4). However, the last two statements are not entirely correct, as S^2 and S^3 are isomorphic to the quotient groups SO(3)/SO(2) and SO(4)/SO(3), respectively. In general, the group of rotations of S^n is isomorphic to the quotient group SO(n+1)/SO(n). Furthermore, for odd values of n, the group of rotations of S^{
  • #1
pivoxa15
2,255
1

Homework Statement


Group of rotations of S^1 = SO(2)=S^1 conincidently
Group of rotations of S^2 = SO(3)
Group of rotations of S^3 = SO(4)

Correct?

The Attempt at a Solution


SO(3) is the group of all rotations in R^3 so it can rotate all elements of S^2 which is part of R^3. Although I can't show it rigorously.

Would it be enough to say since SO(3) consists of all rotations in R^3, it can offcouse rotate all elements having unit distance from the origin.

Similar argument made to S^1 and S^3.
 
Last edited:
Physics news on Phys.org
  • #2
pivoxa15 said:

Homework Statement


Group of rotations of S^1 = SO(2)=S^1 conincidently
Group of rotations of S^2 = SO(3)
Group of rotations of S^3 = SO(4)

Correct?

No, the last two are not correct.

[tex]S^2 \cong SO \left( 3 \right) / SO \left( 2 \right)[/tex]

[tex]S^3 \cong SO \left( 4 \right) / SO \left( 3 \right) \cong SU \left( 2 \right)[/tex]

In general,

[tex]S^n \cong SO \left( n+1 \right) / SO \left( n \right)[/tex]

[tex]S^{2n + 1} \cong SU \left( n+1 \right) / SU \left( n \right).[/tex]

[edit] Sorry, I think I misunderstood what you wrote. Note that "=" should not be substituted for the word "is."

I think what you meant is something like the following.

Consider [itex]S^n[/itex] as a subset of [itex]\mathbb{R}^{n+1}[/itex]. Show that each element of [itex]SO \left( n+1 \right)[/itex] maps [itex]S^n[/itex] to [itex]S^n[/itex]. A general mapping from [itex]\mathbb{R}^{n+1}[/itex] to [itex]\mathbb{R}^{n+1}[/itex] might map an element of [itex]S^n[/itex] to an element of [itex]\mathbb{R}^{n+1}[/itex] that is not in [itex]S^n[/itex], so there is something "special" going on here.[/edit]
 
Last edited:
  • #3
Continuing, let [itex]x[/itex] be an element of [itex]S^n[/itex], so [itex]x[/itex] is an element of [itex]\mathbb{R}^{n+1}[/itex] such that

[tex]x^T x = 1.[/tex]

Set [itex]y = Ax[/itex], with [itex]A[/itex] in [itex]SO \left( n+1 \right)[/itex], and calculate the length of [itex]y[/itex].
 
  • #4
George Jones said:
No, the last two are not correct.

[tex]S^2 \cong SO \left( 3 \right) / SO \left( 2 \right)[/tex]

[tex]S^3 \cong SO \left( 4 \right) / SO \left( 3 \right) \cong SU \left( 2 \right)[/tex]

In general,

[tex]S^n \cong SO \left( n+1 \right) / SO \left( n \right)[/tex]

[tex]S^{2n + 1} \cong SU \left( n+1 \right) / SU \left( n \right).[/tex]

[edit] Sorry, I think I misunderstood what you wrote. Note that "=" should not be substituted for the word "is."

I think what you meant is something like the following.

Consider [itex]S^n[/itex] as a subset of [itex]\mathbb{R}^{n+1}[/itex]. Show that each element of [itex]SO \left( n+1 \right)[/itex] maps [itex]S^n[/itex] to [itex]S^n[/itex]. A general mapping from [itex]\mathbb{R}^{n+1}[/itex] to [itex]\mathbb{R}^{n+1}[/itex] might map an element of [itex]S^n[/itex] to an element of [itex]\mathbb{R}^{n+1}[/itex] that is not in [itex]S^n[/itex], so there is something "special" going on here.[/edit]


With this one, [tex]S^{2n + 1} \cong SU \left( n+1 \right) / SU \left( n \right).[/tex]

does it mean each coset representation is a matrix in SU(2)?
 

1. What is a "Group of rotations of S^n"?

A "Group of rotations of S^n" is a mathematical concept that describes the set of all possible rotations in n-dimensional space. It is a group because it follows the rules of group theory, meaning that it has an identity element, inverse elements, and is closed under composition.

2. How is a "Group of rotations of S^n" different from a regular group?

A "Group of rotations of S^n" is a special type of group that specifically deals with rotations in n-dimensional space. It differs from a regular group in that it has a geometric interpretation and the elements are rotations rather than abstract mathematical objects.

3. What is the significance of studying "Group of rotations of S^n"?

Studying the "Group of rotations of S^n" is important in various fields of mathematics, such as geometry, topology, and group theory. It helps us understand the symmetries and transformations of objects in n-dimensional space, and has applications in physics, computer graphics, and crystallography.

4. How is the "Group of rotations of S^n" represented mathematically?

The "Group of rotations of S^n" is typically represented using matrices, quaternions, or unit quaternions. These mathematical representations allow us to easily perform calculations and understand the properties of the group.

5. Can the "Group of rotations of S^n" be extended to other spaces?

Yes, the "Group of rotations of S^n" can be extended to other spaces, such as the Euclidean space or the Minkowski space. The concept of rotations is applicable to any space that has a notion of distance and angle, making the "Group of rotations of S^n" a versatile and important mathematical concept.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
574
  • Calculus and Beyond Homework Help
Replies
1
Views
511
  • Calculus and Beyond Homework Help
Replies
3
Views
516
  • Calculus and Beyond Homework Help
Replies
3
Views
809
  • Calculus and Beyond Homework Help
Replies
1
Views
503
  • Classical Physics
Replies
6
Views
624
  • Calculus and Beyond Homework Help
Replies
3
Views
737
  • Linear and Abstract Algebra
Replies
1
Views
1K
Replies
8
Views
1K
Replies
11
Views
1K
Back
Top