Grupo especial ortogonal

2.3 El grupo SO(4)

El grupo especial ortogonal (o grupo ortonormal especial), abreviado usualmente 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 identicar
con el grupo de rotaciones del espacio Rn .

Admite adems de la representacin como conjunto de

matrices ortogonales de determinante uno, una representacin basada en el lgebra de los cuaterniones.

El grupo especial ortogonal ordinariamente se toma co- De hecho cada uno de los subgrupos tridimensionales de
mo real, es decir, SO(n)=SO(n,R) aunque tambin se han las rotaciones isoclnicas de SO(4) puede ser identicado
con el conjunto de los cuaterniones unitarios de la forma:
denido generalizaciones complejas SO(n,C) .

i+j+k
e
= cos( 2 + 2 + 2 ) +
sin( 2 + 2 + 2 ) i+j+k
2
2
2

Propiedades generales

+ +

1. SO(n) tiene dimensin n(n1)/2.

Siendo , y nmeros reales.

2. SO(n) es conexo.

3 Grupos SO(n,C) complejos

2

Grupos SO(n,R) reales

3.1 El grupo SO(2,C)

2.1

El grupo SO(2)

Este grupo resulta ser isomorfo al grupo multiplicativo de

El grupo especial ortogonal real, puede identicarse con los complejos (C , ) . Topolgicamente pueden ser reel grupo de rotaciones del plano eucldeo. Y por tanto se presentados por el plano complejo al que se le ha quitado
trata de un grupo de Lie unidimensional. Existen varias el punto de origen (z = 0) y por tanto es un grupo conexo
aunque no simplemente conexo.
representaciones de este grupo:
1. SO(2) puede identicarse con el crculo unidad S 1
con la operacin: t+s mod 2 donde s, t [0, 2)

4 Grupos SO(p,q) reales

2. SO(2) puede identicarse con los nmeros compleEstos grupos constituyen una generalizacin de los grujos de mdulo unidad de la forma ei
pos SO(n) reales, algunos de los cuales resultan tiles en
3. SO(2) es isomorfo a U(1), y por tanto identicable fsica por ejemplo el grupo SO(3,1) puede identicarse con un subgrupo del grupo de Lorentz especial que
con l.
aparece en la teora de la relatividad especial. Una pro4. Finalmente SO(2) admite representacin como ma- piedad interesante es de los grupos SO(p,q) generales es
trices 2x2 de la forma:
que no son conexos, por ejemplo el grupo de SO(3,1) in[
]
cluye dos componentes SO+ (3,1), formado por todas las
cos sin
transformaciones de Lorentz que no incluyen inversiones
sin cos
temporales o espaciales, y SO- (3,1) formado por transformaciones de Lorentz que incluyen inversin temporal
Este grupo es no es simplemente conexo, su grupo recuy espacial simultneas (slo el primero de ellos es un subbridor universal es (R, +) .
grupo de SO(3,1)). Se tiene la siguiente cadena de inclusiones:

2.2

El grupo SO(3)

SO(3) SO+ (3, 1) SO(3, 1)

[SO+ (3, 1)SO (3, 1)] O(3, 1) = GLorentz

Este grupo es isomorfo al grupo de rotaciones del espacio

eucldeo tridimensional y es representable por el conjunto
de matrices ortogonales de 3x3 y con determinante igual Donde el ltimo grupo es precisamente el grupo de Lorentz.
la unidad.
1

5 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

5.1

Text

Grupo especial ortogonal Fuente: http://es.wikipedia.org/wiki/Grupo%20especial%20ortogonal?oldid=73707716 Colaboradores: DefLog, CEM-bot, Davius, Muro Bot, MerlIwBot, Elvisor y Pasantosf

5.2

Images

5.3

Content license

Creative Commons Attribution-Share Alike 3.0