The 3D rotation group is the mathematical group consisting of all rotations about the origin of three‑dimensional Euclidean space ℝ³ that preserve the orientation and Euclidean metric. It is denoted by SO(3), the special orthogonal group of degree 3, and can be defined as
$$ SO(3)={,R\in\mathbb{R}^{3\times 3}\mid R^{\mathsf{T}}R=I,\ \det R=1,}, $$
where $R^{\mathsf{T}}$ is the transpose of $R$, $I$ is the 3 × 3 identity matrix, and the determinant condition $\det R = 1$ excludes improper rotations such as reflections.
Basic Properties
- Lie group structure: SO(3) is a compact, connected, three‑dimensional Lie group. Its Lie algebra $\mathfrak{so}(3)$ consists of all real 3 × 3 skew‑symmetric matrices and is isomorphic to ℝ³ with the cross‑product as the Lie bracket.
- Topology: Topologically, SO(3) is homeomorphic to the real projective space $\mathbb{RP}^3$; it can be visualized as the three‑sphere $S^3$ with antipodal points identified.
- Covering group: The group SU(2) (the special unitary group of degree 2) serves as the universal double cover of SO(3). The covering map $ \phi:SU(2)\rightarrow SO(3) $ is a 2‑to‑1 homomorphism, reflecting the fact that a 360° rotation in physical space corresponds to the non‑trivial element of the kernel ${ \pm I}$ in SU(2).
Parameterizations
- Euler angles: Any rotation can be expressed as a composition of three elementary rotations about coordinate axes, described by three angles (commonly denoted $\alpha, \beta, \gamma$).
- Axis–angle representation: A rotation is uniquely determined by a unit vector $\mathbf{n}$ (the rotation axis) and an angle $\theta\in[0,\pi]$. The corresponding rotation matrix is $R(\mathbf{n},\theta)=I\cos\theta + (1-\cos\theta),\mathbf{n}\mathbf{n}^{\mathsf{T}} + \sin\theta,[\mathbf{n}]{\times}$, where $[\mathbf{n}]{\times}$ denotes the cross‑product matrix of $\mathbf{n}$.
- Quaternions: Unit quaternions $q = \cos(\theta/2) + \sin(\theta/2),\mathbf{n}$ provide a singularity‑free parameterization; the map $q\mapsto R(\mathbf{n},\theta)$ is a homomorphism from the group of unit quaternions (isomorphic to $S^3$) onto SO(3) with kernel ${\pm1}$.
Finite Subgroups
The finite subgroups of SO(3) correspond to the symmetry groups of regular polyhedra and are classified as:
- Cyclic groups $C_n$ (rotations about a fixed axis by multiples of $2\pi/n$);
- Dihedral groups $D_n$ (rotations preserving a regular n‑gon);
- Polyhedral groups: the rotational symmetry groups of the tetrahedron (isomorphic to $A_4$), octahedron/cube (isomorphic to $S_4$), and icosahedron/dodecahedron (isomorphic to $A_5$).
Applications
SO(3) appears throughout physics, engineering, and computer science:
- Classical mechanics: Describes the orientation of rigid bodies; angular velocity vectors lie in $\mathfrak{so}(3)$.
- Quantum mechanics: Spin‑1 particles transform under the three‑dimensional irreducible representation of SO(3); the double cover SU(2) is essential for half‑integer spin.
- Robotics and computer graphics: Rotation matrices, Euler angles, and quaternions are used for pose estimation, motion planning, and animation.
- Geodesy and navigation: Earth's orientation and attitude control of spacecraft are modeled using SO(3).
Representations
Irreducible unitary representations of SO(3) are indexed by non‑negative integers $l$ and have dimension $2l+1$. They are realized, for example, by spherical harmonics $Y_{l}^{m}$ on the sphere $S^2$. The Peter–Weyl theorem ensures that any square‑integrable function on SO(3) can be expanded in terms of these matrix elements.
Mathematical Context
SO(3) is a prototypical example of a compact Lie group, serving as a basis for the study of symmetry in differential geometry, topology, and representation theory. Its structure informs the classification of other Lie groups and homogeneous spaces.
