In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space
R
3
{\displaystyle \mathbb {R} ^{3}}
under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance (so it is an isometry), and orientation (i.e. handedness of space). Every non-trivial rotation is determined by its axis of rotation (a line through the origin) and its angle of rotation. Composing two rotations results in another rotation; every rotation has a unique inverse rotation; and the identity map satisfies the definition of a rotation. Owing to the above properties (along composite rotations' associative property), the set of all rotations is a group under composition. Rotations are not commutative (for example, rotating R 90° in the x-y plane followed by S 90° in the y-z plane is not the same as S followed by R), making it a nonabelian group. Moreover, the rotation group has a natural structure as a manifold for which the group operations are smoothly differentiable; so it is in fact a Lie group. It is compact and has dimension 3.
Rotations are linear transformations of
R
3
{\displaystyle \mathbb {R} ^{3}}
and can therefore be represented by matrices once a basis of
R
3
{\displaystyle \mathbb {R} ^{3}}
has been chosen. Specifically, if we choose an orthonormal basis of
R
3
{\displaystyle \mathbb {R} ^{3}}
, every rotation is described by an orthogonal 3 × 3 matrix (i.e. a 3 × 3 matrix with real entries which, when multiplied by its transpose, results in the identity matrix) with determinant 1. The group SO(3) can therefore be identified with the group of these matrices under matrix multiplication. These matrices are known as "special orthogonal matrices", explaining the notation SO(3).
The group SO(3) is used to describe the possible rotational symmetries of an object, as well as the possible orientations of an object in space. Its representations are important in physics, where they give rise to the elementary particles of integer spin.
I was wondering if anyone can help me to show that the subset of SO(3) contaning all
matrices A with det(A+id)=0 is a submanifold diffeomorphic to real projective plane.
Thanks.
Hi!
This is my first post here. I'm currently studying analytical/classical mechanics and have some problems understanding how the Lie algebra is formed in relation to the SO(3) group of rotations. My problem is this:
Given a matrix representation R of some rotation around a fixed axis, we...
Hi all, I asked this on the Quantum Physics board but didn't get a response.
I'm reading Cahn's book on semi-simple lie algebras and their representations.
http://www-physics.lbl.gov/~rncahn/book.html
In chapter 1, he attempts to build a (2j+1)-dimensional representation T of the Lie...
What's the correct way to state the relationship between these two Lie groups? One is the "covering group" of the other, right? Okay, then - what's that mean, to a non-expert?
I know the basics, i.e. SO(3) can be represented by rotation matrices in 3-space, and U(2) does the same in a...
1) Let P,Q be planes through the origin in R3. Let Rp, Rq be the corresponding reflections. Is Rp*Rq (where * denotes "composition") in SO(3) or O(3)/SO(3)? What is the axis of rotation of Rp*Rq?
2) For a fixed A in SO(3) show that there are infinitely many pairs of planes P,Q such that...
group theory : orbits
hi.
I'm trying to calculate the orbits of some simple groups. I have found many explanations of what they are, but no example calculations. does anyone have any ideas where to look. I'm trying to calculate the orbit of SO(3).
thanks