1.2. Special Orthonormal Groups

SO Groups

The special orthogonal group of dimension $n$, denoted $SO(n)$, is the group of linear transformations of ${\mathbb{R}}^n$ that preserve lengths and orientations; it is the rotation group in $n$ dimensions, formally defined as
$SO(n)=\{R\in {\mathbb{R}}^{n\times n}\mid R^{T}R=I,\det (R)=1\}.$

Typically seen, $SO(3)$ is a 3-dimensional group and is fundamental in rigid-body mechanics, robotics, and computer vision.

As a group under matrix multiplication, $SO(n)$ satisfies:

• Closure: if $R_1,R_2\in SO(n)$, then $R_1{R}_2\in SO(n)$.
• Associativity: $(R_1{R}_2)R_3=R_1(R_2{R}_3)$.
• Identity: $I\in SO(n)$.
• Inverse: $R^{-1}=R^T\in SO(n)$.

$SO(n)$ is also a Lie group: a smooth manifold with a smooth group operation. The tangent space at the identity is the Lie algebra $\mathfrak{so}(n)$, consisting of $n\times n$ skew-symmetric matrices ($A^T=-A$). For $SO(3)$, the Lie algebra $\mathfrak{so}(3)$ is 3-dimensional and is connected to the group via the exponential map.

Intuition

The two defining constraints $R^{T}R=I$ and $\det (R)=1$ encode geometry directly. Orthogonality $R^{T}R=I$ means the columns of $R$ form an orthonormal basis—$R$ preserves lengths and angles. The determinant constraint $\det (R)=1$ excludes reflections (which have $\det =-1$), keeping only orientation-preserving transformations.

The group $SO(3)$ is a 3-dimensional manifold embedded in ${\mathbb{R}}^{3\times 3}$: although a rotation matrix has 9 entries, the 6 orthogonality constraints ($R^{T}R=I$ gives 6 independent equations) leave exactly 3 degrees of freedom. These can be parameterized by Euler angles, exponential coordinates, or quaternions, each with different trade-offs.

Topologically, $SO(3)\cong {\mathbb{RP}}^3$ (real projective 3-space), which means it cannot be smoothly covered by a single 3-parameter chart without singularities. This is the deep reason behind gimbal lock: any 3-parameter representation must have at least one singular configuration.

Properties

Useful Identities

(Inverse is Transpose) For $R\in SO(n)$, $R^{-1}=R^T$. This follows directly from the defining property $R^{T}R=I$ and makes inversion computationally free.

(Column/Row Orthonormality) The columns $r_1,r_2,r_3$ of $R\in SO(3)$ satisfy $r_i\cdot r_j={\delta }_{ij}$ and form a right-handed orthonormal frame: $r_1\times r_2=r_3$ (and cyclic permutations). The rows have the same property.

(Rotation Preserves Cross Products) For $R\in SO(3)$ and $u,v\in {\mathbb{R}}^3$: $R(u\times v)=(Ru)\times (Rv)$. This is equivalent to $\det (R)=1$ and is the reason rotations preserve orientation.

(Hat Conjugation) For $R\in SO(3)$ and $\omega \in {\mathbb{R}}^3$: $\widehat{R\omega }=R\hat{\omega }{R}^T$. This identity is fundamental in velocity kinematics and Jacobian derivations—it describes how skew-symmetric matrices transform under rotation.

(Dimension of $SO(n)$) $\dim (SO(n))=\frac{n(n-1)}{2}$. For $n=3$: $\dim (SO(3))=3$. For $n=2$: $\dim (SO(2))=1$ (a single angle).

$SO(2)$: Planar Rotations

Every $R\in SO(2)$ has the form $R(\theta )=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right]$. The group is abelian ($R(\alpha )R(\beta )=R(\alpha +\beta )=R(\beta )R(\alpha )$) and topologically a circle $S^1$.

$SO(3)$: Spatial Rotations

$SO(3)$ is non-abelian: the order of rotations matters. Its Lie algebra $\mathfrak{so}(3)$ consists of $3\times 3$ skew-symmetric matrices, which are in bijection with ${\mathbb{R}}^3$ via the hat map $\omega \mapsto \hat{\omega }$. The Lie bracket is the matrix commutator $[{\hat{\omega }}_1,{\hat{\omega }}_2]={\hat{\omega }}_1{\hat{\omega }}_2-{\hat{\omega }}_2{\hat{\omega }}_1=\widehat{{\omega }_1\times {\omega }_2}$, which corresponds to the cross product in ${\mathbb{R}}^3$.

Examples

Verifying Group Properties

Let $R_1=R_z(\pi /2)$ and $R_2=R_x(\pi /2)$.

Closure and non-commutativity $R_1{R}_2=\left[\begin{array}{ccc}0& 0& 1\\ 1& 0& 0\\ 0& 1& 0\end{array}\right]$, which satisfies $R^{T}R=I$ and $\det =1$, so $R_1{R}_2\in SO(3)$. ✓

$R_2{R}_1=\left[\begin{array}{ccc}0& -1& 0\\ 0& 0& -1\\ 1& 0& 0\end{array}\right]\ne R_1{R}_2$, confirming $SO(3)$ is non-abelian. ✓