Grupo especial ortogonal

El grupo especial ortogonal, llamado también $SO(n)\;$, es un grupo de Lie que puede ser representado como un subgrupo del grupo ortogonal $O(n)\;$. El grupo real SO(n) se puede identificar con el grupo de rotaciones del espacio $\mathbb {R} ^{n}$.

El grupo especial unitario ordinariamente se toma como real, es decir, $SO(n)=SO(n,\mathbb {R} )$ aunque también se han definido generalizaciones complejas $SO(n,\mathbb {C} )$.

Propiedades generales

1. SO(n) tiene dimensión n(n-1)/2.
2. SO(n) es conexo.

Grupos SO(n,R) reales

El grupo SO(2)

El grupo especial unitario real puede identificarse con el grupo de rotaciones del plano euclídeo. Y por tanto se trata de un grupo de Lie unidimensional. Existen varias representaciones de este grupo:

1. SO(2) puede identificarse con el círculo unidad $S^{1}\;$ con la operación: $t+s\ {\mbox{mod}}\ 2\pi \;$ donde $s,t\in [0,2\pi )$
2. SO(2) puede identificarse con los números complejos de módulo unidad de la forma $e^{i\theta }\;$
3. SO(2) es isomorfo a U(1), y por tanto identificable con él.
4. Finalmente SO(2) admite representación como matrices 2x2 de la forma:

${\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}$

Este grupo es no es simplemente conexo, su grupo recubridor universal es $(\mathbb {R} ,+)$.

El grupo SO(3)

Este grupo es isomorfo al grupo de rotaciones del espacio euclídeo tridimensional y es representable por el conjunto de matrices ortogonales de 3x3 y con determinante igual la unidad.

El grupo SO(4)

Admite además de la representación como conjunto de matrices ortogonales de determinate uno, una representación basada en el álgebra de los cuaterniones.

De hecho cada uno de los subgrupos tridimensionales de las rotaciones isoclínicas de SO(4) puede ser identificado con el conjunto de los cuaterniones unitarios de la forma:

$e^{i\alpha +j\beta +k\gamma }=\cos({\sqrt {\alpha ^{2}+\beta ^{2}+\gamma ^{2}}})+\sin({\sqrt {\alpha ^{2}+\beta ^{2}+\gamma ^{2}}}){\frac {i\alpha +j\beta +k\gamma }{\sqrt {\alpha ^{2}+\beta ^{2}+\gamma ^{2}}}}$

Siendo α, β y γ números reales.

Grupos SO(n,C) complejos

El grupo SO(2,C)

Este grupo resulta ser isomorfo al grupo multiplicativo de los complejos $(\mathbb {C} ^{*},\cdot )$. Topológicamente pueden ser representados por el plano complejo al que se le ha quitado el punto de origen (z = 0) y por tanto es un grupo conexo aunque no simplemente conexo.

Grupos SO(p,q) reales

Estos grupos constituyen una generalización de los grupos SO(n) reales, algunos de los cuales resultan útiles en física por ejemplo el grupo SO(3,1) puede identificarse con grupo de Lorentz especial que aparece en la teoría de la relatividad especial.