Sobre los cuaterniones,

lgebras de Lie,
y matrices de Pauli.
Teora bsica y aplicaciones fsicas.

Vctor Rodrguez Bouza, Doble Grado Fsica-Matemticas.

Mtodos Matemticos I. Curso 2012-2013.

 ndice

CONTENIDO PGINA

1. Introduccin 3

2. Los cuaterniones. 5

3. Grupos y lgebra de Lie. 12

4. Matrices de Pauli. 16

5. Bibliografa 18

2
 1. Introduccin.
1
Sir William Rowan Hamilton (1805-1865,
Dubln; ver figura 1) fue un fsico-matemtico irlands
que hizo grandes aportaciones a los campos de la
mecnica, ptica y astronoma. Sin entrar mucho en
detalles, tanto de su biografa como de stas,
destacan el hamiltoniano, que dio lugar a la mecnica
hamiltoniana (tambin empleado en mecnica
cuntica), la ecuacin de Hamilton-Jacobi, el teorema
de Cayley-Hamilton o los caminos hamiltonianos.
Debido a todas estas investigaciones, Hamilton fue
nombrado caballero por el Lord Lieutenant of Ireland
(el <<delegado>>) de Su Majestad en 1835, ms
tarde, en 1837, se le ofreci la presidencia de Real
Fig. 1 (fuente: ver nota al pie). Sir Academia Irlandesa (Royal Irish Academy) y la
William Rowan Hamilton. membresa de la Academia de Ciencias de San
Petersburgo (actual Academia de Ciencias Rusa). Finalmente, la Academia Nacional
de Ciencias de los Estados Unidos (National Academy of Sciences), le nombr
asociado extranjero en 1864.

All por 1840, Hamilton se encontraba enfrascado en la bsqueda de algn

modo de extender los nmeros complejos, que eran representables en un plano, a
dimensiones superiores. Primero intent buscar algn modo de ubicarlos en el
espacio (en tres dimensiones), pero le fue imposible. Sin embargo, cuando lo intent
con cuatro lo consigui, bautizando a su descubrimiento con el nombre de
cuaterniones.

Segn la ancdota,
Hamilton estaba paseando un 16
de octubre de 1843 por el Canal
Real de Dubln con su esposa
cuando, de repente, le lleg la
inspiracin. Una <<idea feliz>>
para describir la estructura de los
cuaterniones. Ante el temor de que
se le pudiese olvidar, inscribi la
providencial identidad en una
piedra del puente Broom. Hoy en
da no se conserva la misma, pero
una placa conmemorativa
Fig. 2 (fuente: Wikipedia, ver bibliografa). Placa

identidad
 =  =  =
 = .
conmemorativa del descubrimiento de Hamilton. Se aprecia la

<http://1.bp.blogspot.com/_KpqQ9rqe9aQ/TFl8NgxVpXI/AAAAAAAAGjU/P9NSP4NOdX4/s1600
/hamilton.jpg>.

3
recuerda ese momento (ver figura 2).

Pese a que prcticamente todo el mrito de su descubrimiento se lo llev Sir

Hamilton, un doctor francs-sefard en matemticas, Benjamn Olinde Rodrgues, ya
haba publicado un trabajo en grupos de transformacin en 1840 que indicaba,
inequvocamente, a un descubrimiento de los cuaterniones: slo le faltaba el nombre.

Alejndonos de la controversia, parece obvio que los cuaterniones seran el

utensilio perfecto para describir nuestro universo: cuatro dimensiones, asociamos una
al tiempo y las otras tres al espacio y ya tenemos el espacio-tiempo en el que nos
movemos y vivimos. Sin embargo, un anlisis ms detallado de los mismos nos
mostrar que poseen caractersticas que hacen incompatible su aplicacin directa al
universo. Pese a todo, su descubrimiento y ulterior examen han permitido desarrollar
nmeros allende los cuaterniones y lgebras nuevas que se utilizan actualmente en
mecnica cuntica. Por ejemplo, se pueden elaborar lgebras de Lie a partir de
grupos cuyos elementos sean los cuaterniones, pero, qu es un lgebra de Lie?

Marius Sophus Lie (1842-1899, ver figura 3) fue un

matemtico noruego cuya principal aportacin a la ciencia
fue el lgebra que se extrae de la linearizacin de los grupos
continuos de transformacin (conocidos como grupos de
Lie, ver ms adelante). Por sus contribuciones, Marius Lie
fue nombrado miembro honorario de la Sociedad
Matemtica de Londres (London Mathematical Society) en
1878, miembro extranjero de la Royal Society of London en
1895 y, al igual que Hamilton, asociado extranjero de la
National Academy of Sciences).

Volviendo con su trabajo, la linearizacin de los

grupos de Lie, as como sus generadores infinitesimales son
Fig. 3 (fuente: Wikipedia, la base de un lgebra conocida como lgebra de Lie. Un
ver bibliografa). Marius anlisis del lgebra de Lie que provenga de un grupo de Lie
Sophus Lie. Ntese que la  permite, conociendo las constantes de estructura (ver ms

no el ingls lai o el espaol adelante), determinar la estructura local de  en una regin

pronunciacin correcta es li,

lie. abierta de . He ah parte del atractivo de este lgebra,

del que se cree que todava no se han explotado todos los atractivos que puede tener
para la Fsica. Una aplicacin de todo esto son las matrices de Pauli, que no son sino
una base vectorial del lgebra de Lie formada a partir del grupo especial unitario de
simetra
(2).

Las matrices de Pauli deben su nombre al Nobel fsico Wolfang Ernst Pauli
(1900, Viena-1958, Zrich), cuya principal aportacin cientfica fue su Principio de
Exclusin (adems de considerarse entre los padres fundadores de la fsica cuntica).
Estas peculiares matrices son utilizadas como operadores para explicar el spin de

partculas subatmicas. Inicialmente, slo servan para el spin , pero generalizndolas
pueden usarse para spines superiores. Las matrices de Pauli, adems de estar
vinculadas con el lgebra de Lie por lo ya dicho, tienen un vnculo con los
cuaterniones, pues el grupo
(2), del que son base, es isomrfico al lgebra real de
cuaterniones.

4
 2. Los cuaterniones.
2.1. DEFINICIN.
Decimos que  es un nmero cuaternin si es de la forma:

 =  +  +  + 
(1)

donde , , ,  y   =   =   =  = 1.

El conjunto que los engloba, o , simbolizado as en honor a Hamilton, se define

como:

= = { =  +  +  +  , , ,  } %

Si tenemos en cuenta que de   =   =   =  = 1 se extrae:

 =  =  ;  =  =  ;  =  = ,

tambin se puede representar como una ampliacin de los nmeros complejos:

= = {( + ) + ( + )  + ,  +  }  .

La representacin vectorial de cualquier cuaternin se puede hacer

considerando a {1, , , } como base y definiendo cualquier cuaternin como el
producto interno de un vector () = (, , , ) por el vector de las bases. A veces se
puede apartar el elemento , considerando entonces este otro vector: () = (, )) =
(, , , ).

La representacin matricial puede hacerse, al menos, de dos formas

distintas. La primera es usando matrices complejas de 2(2

   + 
=* +,
 +   + 

donde se puede verificar que

|| =  +   +   +  .

Esta identidad tambin se verifica para los cuaterniones definidos como en (1).

La otra manera de representacin matricial es usando matrices reales de 4(4:

   
 = .   /.
   
   

Tambin se verifica en este caso que || =  +   +   +  .

5
 Al igual que en los nmeros complejos, en los cuaterniones podemos definir el
concepto de cuaternin conjugado como:

0 =  =    

Y, tambin, podemos definir la norma de los cuaterniones como:

 = 3 =  +   +   +  .

2.2. ARITMTICA.
Anlogamente a la suma de nmeros complejos, definimos la suma de dos nmeros
cuaterniones

 =  +   +   +  
(2)

 =  +   +   +  
(3)

como:

 +  = ( +  ) + ( +  ) + ( +  ) + ( +  ).

El producto se hace componente a componente y se puede obtener fcilmente

que es igual a:

  = (        ) + (  +   +     ) +

+(    +   +   ) + (  +     +   )

Recordemos que, tambin:   =  +   +   +  .

Es posible definir la divisin en los cuaterniones, ya que, salvo que  = 0, es

decir, que  =  =  =  = 0, ningn  se puede anular.

Tambin se define la exponenciacin, de manera muy anloga a la de los

nmeros complejos. Se puede demostrar que:

sin   +   + 
7 8 = 7 9:;<:=>:?@ = 7 9 (cos 3  +   +  + )
  +   + 

6
 2.3. LGEBRA.
Los cuaterniones, en general, satisfacen casi todas las propiedades usuales del
lgebra comn, a excepcin de una (bastante importante): la conmutativa del producto
de cuaterniones. Para los siguientes apartados, se considerarn los cuaterniones
genricos definidos en (2) y (3), (F se define como  y  ) dentro de .

Propiedades de la suma:
o Ley interna:  ,  ( +  ) .

o Conmutativa:  +  =  +  .
o Asociativa:  + ( + F ) = ( +  ) + F .
o Elemento neutro:  + 0 = 0 +  = .

Concluimos con esto que (, +) es un grupo conmutativo (o abeliano).

Propiedades del producto:

o Ley interna:  ,  (  ) .

o Asociativa:  ( F ) = (  ) F .

o Elemento neutro:  1 = 1  =  .
o Elemento inverso:  0  I = I  = 1.
o Distributiva del producto respecto de la suma:  ( + F ) =   +
 F .
o No cumple la propiedad conmutativa.

Podemos decir que (, ) es un grupo no conmutativo (o no abeliano).

En conjunto, decimos que la terna (, +, ) constituye un anillo no

conmutativo (o no abeliano) y con elemento neutro. La prueba ms bsica de que el
producto de cuaterniones no es conmutativo viene directamente de la identidad de
Hamilton. Se extrae fcilmente las <<subidentidades>> ya citadas:

 =  =  ;  =  =  ;  =  = 

Se puede generalizar este anillo a un tipo de cuerpo peculiar: un cuerpo no

conmutativo en la multiplicacin, desde el que saltar a un espacio vectorial sobre
4-dimensional (las cuatro dimensiones corresponden a la parte real y las tres no
reales), considerando como vectores a cualquier cuaternin J =  + 
+  +  =
(, , , ). Ntese que este espacio vectorial es distinto a los comunes, pues est
hecho sobre un cuerpo no conmutativo en lo que respecta al producto.

Condiciones para espacio vectorial de

o los vectores:

J + J = J + J .

J + (J + JF ) = (J + J ) + JF .

7
 el producto por escalares (sean K, L ):

(K + L)J = KJ + LJ.
o

K(J + J ) = KJ + KJ .

K(LJ ) = (KL)J .

1J = J .

Con todo esto, podemos confirmar este espacio vectorial peculiar.

Las propiedades de los cuaterniones nos hacen posible definir un mdulo

(izquierdo o derecho) sobre un anillo cualquiera (en nuestro caso, los el anillo real
con las propiedades de suma y producto). Esto es, un grupo abeliano (en nuestro caso
(, +)) tal que se cumplen las ltimas propiedades enunciadas como condiciones
para espacio vectorial de el producto por escalares (multiplicando los escalares bien
por la izquierda o bien por la derecha).

sta ltima definicin nos permite avanzar hasta nuestra ltima (estamos
seguros?) parada: el lgebra de divisin asociativa. Este tipo peculiar de lgebra es
un mdulo en el que se permite la multiplicacin de vectores distributiva y
asociativamente (pero no es necesario que sea de forma conmutativa), adems de su
divisin (salvo que el vector por el que se divida sea nulo).

Retomemos ahora la idea que se solt en la introduccin: los cuaterniones no

pueden ser aplicados directamente al universo. Por qu? Podramos pensar en el
espacio-tiempo, pero se da la circunstancia de que la identidad  =   =  +   +
  +  no es la que debera de ser segn Einstein y su Teora de la Relatividad (sin
entrar en detalles). Hay otro motivo ms general por lo que los cuaterniones, tal como
han sido descritos, sirven de poco, y es que no existe una definicin de analiticidad u
holomorficidad para funciones como existe para los nmeros complejos, lo cual reduce
el potencial de considerablemente.

Bueno, entonces, son inservibles? Por supuesto que no. Dos meses despus
de haber recibido una carta de Hamilton explicndole su descubrimiento de los
cuaterniones en 1843, John Graves, jurista y matemtico irlands, anunci el
descubrimiento de un tipo de cuaternin <<doble>>: el octonin. Los octoniones
fueron redescubiertos en 1845 por Arthur Cayley, y a veces son llamados <<nmeros
de Cayley>>. Estos nmeros hipercomplejos tambin forman un lgebra de divisin,
aunque no es asociativa. Esta propiedad se pierde al pasar de los cuaterniones a los
octoniones.

Cabe preguntarse, ahora que estamos ampliando, ms si cabe, los nmeros

complejos, si podemos hacerlo indefinidamente. Por hacerlo, se puede: <<definir por
definir>>. Sin embargo, lo que caracteriza a un tipo de nmeros no es sino sus
propiedades: conmutativa, asociativa, etc.. Un resultado algebraico de Hurwitz de 1898
demostr que la identidad cuaterninica (y octoninica)  =   =  +   +   +  ,

8
que est ligada a la facultad de divisin, no es vlida para dimensiones distintas de
1, 2, 4, 8. Como consecuencia, no se puede construir lgebras de divisin si no es
sobre , , y N (el ltimo representa a los octoniones).

Bueno, pero si seguimos insistiendo, an podemos hacernos una pregunta

ms: no se podran construir lgebras en dimensiones superiores a las citadas que
no fueran de divisin? La respuesta a esta pregunta es s, y no son lgebras para
nada desdeables, al contrario! William Kingdon Clifford (1845-1879) fue el artfice de
un lgebra que lleva su nombre: el lgebra de Clifford, que tiene importantes
aplicaciones en la fsica moderna. ste lgebra brota, por un lado, de los cuaterniones
hamiltonianos y, por otro, de los lgebras de Hermann Grassmann, matemtico y
lingista alemn. Comentaremos estas lgebras levemente en la siguiente seccin de
aplicaciones.

2.4. APLICACIONES DE LOS CUATERNIONES.

Dos ejemplos, relacionados adems entre s, de los nmeros cuaterniones son
las matrices de Pauli y (no exactamente es una aplicacin o ejemplo, pero se utilizan
en ellos) el lgebra de Lie. Ambos sern tratados en apartados distintos, pues el
trabajo versa ms concretamente sobre ellos.

Otras aplicaciones concretas de los cuaterniones son las siguientes.

Los cuaterniones como rotaciones y orientaciones en el espacio.

Los cuaterniones, cuyo nmero general se puede expresar como

 =  +  +  + ,

pueden emplearse para representar rotaciones en el espacio tridimensional.

Recordemos que stos poseen cuatro dimensiones, por lo que tendremos que anular
la parte exclusivamente real:  = 0. Se puede demostrar entonces, que, teniendo un
vector de posicin J = (
+ O + PQ, un vector unitario del mismo R =
, ,  y un ngulo
cualquiera S, la rotacin alrededor del eje (0, R) de un ngulo S que hace J J
(JV = ( V
+ O V  + P) es:
X X
JV = WJW , donde W = cos  + R sin  y W designa al conjugado de W.

Para un eje cualquiera, hacemos la traslacin J = J Y y JV = JV + Y, tal que:

JV = W(J Y)W + Y

Esta ecuacin es la equivalente a P V = (P )7 <X +  en el plano complejo (ntese que

son rotaciones y traslaciones).

9
 El uso de los cuaterniones de este modo aparece en campos como la
computacin, la navegacin, la robtica, la mecnica orbital de satlites y los grficos
por ordenador. Por ejemplo, los cuaterniones representan en el ltimo caso la
orientacin de un objeto en el espacio tridimensional.

lgebras de Clifford.

Una peculiaridad de la geometra de cuaterniones es que un giro de un objeto

tridimensional respecto a un eje dos veces un valor de Z, que equivaldra, recordando
el plano complejo, a <<multiplicar ese objeto>> por   , manteniendo el resto de
dimensiones <<inalteradas>> nos devuelve el opuesto del objeto, pues   = 1. Esta
curiosidad es lo que se denomina un espinor.

Un espinor u objeto espinorial se define, llanamente, como un objeto que se

transforma en su negativo u opuesto cuando sufre una rotacin completa de 2Z.

sta peculiaridad de los espinores se puede generalizar a dimensiones

mayores, aunque debemos tener en cuenta que los <<ejes>> no son de dimensin
uno a partir de 3 dimensiones. Para generalizar, se consideran elementos ms
simples: reflexiones o inversiones de ejes. Estas reflexiones bsicas se denominan por
[ , [ , [F , [] , tal que [< invierte el i-simo eje, conservando el resto (^ significa el
nmero de dimensiones con el que estamos trabajando). Para los objetos espinoriales,
como hemos visto, se ha de verificar adems que:

[ = [ = [F = = [] = 1

Se puede demostrar que las rotaciones de Z radianes vienen dadas por las
identidades secundarias:

[` [8 = [8 [` , a .

Y tambin se obtiene que la dimensin total del lgebra de Clifford es 2] ,

siendo el elemento general una combinacin de todos esos elementos base.
Tambin se obtiene que son un anillo con identidad, pero sin divisin.

Este lgebra tiene aplicaciones para explicar el estado de un electrn, pues ste es
una cantidad espinorial. La definicin formal de objeto espinorial es muy confusa y se
suele utilizar una aproximacin ms matemtica que fsica, involucrando aqu a las
lgebras de Clifford.

10
 lgebras de Grassmann.

Explicada el lgebra de Clifford,

ahora nos falta el lgebra de Grassmann
(ver figura 4). sta no es sino una relajacin
o ampliacin de las de Clifford: la diferencia
entre ambas radica en que el lgebra de
Grassmann no requiere de la definicin de
perpendicularidad. Dicho de otro modo ms
formal, y sin entrar en detalles, el lgebra de
Clifford requiere que haya una mtrica. El
lgebra de Grassmann, no. Adems, se
verifica que, para los generadores bsicos
b , b , bF , b] (equivalentes a los gamma del
lgebra de Clifford):

b = b = bF = = b] = 0

Fig. 4 (fuente: Wikipedia, ver bibliografa).
Herman Grassmann (o Gramann).
Y, tambin:

b` b8 = b8 b` .

Las lgebras de Grassmann son muy tiles para describir elementos

geomtricos bsicos de dimensin finita arbitraria.

11
 3. Grupos y lgebra de Lie.
3.1. GRUPOS DE LIE.
Antes de que podamos entrar en conceptos como lgebra de Lie, debemos de
saber qu es un grupo de Lie. Primero, recordemos que un conjunto de elementos
c = {, , , } junto con una operacin binaria aleatoria , tal que:

: c ( c c
(, )  =  

Y que cumple las propiedades de ley interna, asociatividad, elemento neutro y

elemento inverso es lo que llamamos un grupo. Ahora, podemos concretar ms y
definir un grupo de Lie. Un grupo de Lie es una variedad diferenciable en el que las
operaciones de grupo son funciones diferenciables o analticas (segn corresponda).

Los propios reales, con la adicin, son un grupo de Lie mismamente, aunque
tienen inters particular otros distintos grupos, como por ejemplo, los grupos derivados
del grupo general lineal cg(^, ) (tambin se puede ver escrito como ch(^, )),
donde en vez de podemos poner , , . El grupo general lineal es aquel formado
por matrices ^ ( ^ invertibles hechas de elementos de .

Una caracterstica importante en estos contextos, y sobre todo para las

aplicaciones fsicas de los grupos citados es la mtrica. Una funcin mtrica i de un
espacio vectorial j se define como un mapeado de un par de vectores de ese espacio
en un nmero. Dicho nmero pertenece al campo (o cuerpo) k que est asociado al
propio espacio vectorial (segn la definicin del mismo). Es decir:

(l , l ) = i; l , l j, i k.

Este mapeado debe cumplir esta condicin:

(l , l + lm ) = (l , l ) + (l , lm )

(4)

Y una de las siguientes:

(l + l , lm ) = (l , lm ) + (l , lm )

(5)

(l + l , lm ) = (l , lm ) + (l , lm )

(6)

Si la mtrica cumple (4) y (5) se dice que es una mtrica bilinear. Si, por el contrario,
cumple (4) y (6), se dice que es una mtrica sesquilinear. Tambin se pueden
clasificar por simtricas o antisimtricas: simtricas son aquellas tal que i<> = i>< si

12
(l , l ) = (l , l ) y antisimtricas las que verifican que i<> = i>< y lo
correspondiente. Incluso a veces se exige que la mtrica sea definida positiva.

Existe un teorema que afirma que el subconjunto de transformaciones de una

base de un espacio vectorial j] que preservan la estructura matemtica de las
funciones mtricas forman un subgrupo de cg(^, ). Este resultado nos permite
clasificar los subgrupos recin citados en:

Los grupos que preservan mtricas bilineares y simtricas se llaman

ortogonales. Se representan como n(^, ) (donde, como antes, es

sustituible por , , ).

Los grupos que preservan mtricas bilineares y antisimtricas se llaman

simplcticos. Se representan por
a(^, ). Aqu el teorema no es vlido para

, pues las matrices de cuaterniones que pertenecen a cg(^, ). Sin embargo,

s es vlido para los cuaterniones expresados como matrices 2 ( 2 de nmeros
complejos.

Los grupos que preservan mtricas sesquilineares y simtricas se llaman

unitarios. Se representan por (^, ).

De la clasificacin anterior se pueden extraer distintas conclusiones, a modo de

corolarios. Nosotros nos quedaremos con una aplicacin de los cuaterniones aqu:
son isomrficos (sin entrar en formalismos, una relacin es isomrfica cuando los dos
trminos de la misma tienen la misma estructura) a varios subgrupos citados.
Podemos establecer las siguientes identificaciones:

h(^, ) =
 (2^)
(^, ) = 
a(2^)

a(^, ) = 
a(2^)
n(^, ) =
n (2^)

No hemos descrito algunos subgrupos de las identidades, y slo definiremos

uno. El subgrupo
(^, ), tambin llamado grupo especial unitario, proviene de la
interseccin de los grupos que, adems de preservar la mtrica, preservan los
volmenes y son unitarios (el resto de subgrupos no definidos tambin provienen de
intersecciones). El 2^ viene de que hacemos la aproximacin de las matrices
cuaterninicas por unas matrices 2 ( 2 complejas.

El grupo especial unitario

(^, ) nos dar de qu hablar en el siguiente
apartado, donde desarrollaremos el lgebra de Lie, adems de a la hora de tocar las
matrices de Pauli.

13
 3.2. LGEBRA DE LIE.
Tras haber hecho esta introduccin estamos en condiciones de definir un
lgebra de Lie.

Un lgebra de Lie es un espacio vectorial o en el que se define una operacin

binaria interna llamada corchete de Lie:

p , q: o ( o o
((, O) p(, Oq = (O O(

Que verifica la propiedad antisimtrica:

p(, Oq = pO, (q

Y la llamada identidad de Jacobi:

r(, pO, Pqs + rO, pP, (qs + rP, p(, Oqs = 0

3.3. APLICACIONES DEL LGEBRA DE LIE.

Vale, y de qu nos sirve esto? Pues una de las caractersticas ya adelantadas
en la introduccin es que las lgebras de Lie permiten, conociendo las constantes de
estructura, determinar la estructura local de  (grupo sobre el que montamos el
lgebra) en una regin abierta de . Las constantes de estructura son aquellas que
verifican que:

ptu , tv q = [9;
w
tx ,

donde t , t , , ty es la base del grupo . Se forman los ^F conmutadores que son

esos corchetes de Lie con los elementos de la base, y, a la vez, se compone cada
elemento de la base de esos ^F conmutadores. En conclusin, tenemos ^F constantes
de estructura.

Partiendo de un elemento z del grupo de Lie, se puede demostrar que es factible

construir un grupo finito a travs de la exponenciacin 7 z. Ese grupo finito se puede
representar como una zona local de z en la variedad que es el grupo , permitiendo
su anlisis.

Sucede a menudo que las matrices del lgebra de Lie resultan ms sencillas y
fciles de manejar que las del grupo de Lie, por lo que la transformacin de la misma
es una poderosa herramienta para muchos fsicos, sobre todo cunticos. Adems,
tambin suele ocurrir que los elementos del lgebra pueden tener significados
directos como magnitudes fsicas (por ejemplo, un momento angular). El estudio en
el grupo finito puede decirnos cosas de lo que ocurre con esa magnitud.

14
 Otro uso, que hemos ido avanzando a lo largo del documento,
documento, es el de
relacionar ,, los cuaterniones,
cuaterniones con el subgrupo de Lie
(^, ) y del que extraeremos
las matrices de Pauli.

Para no confundir, no pondremos la

demostracin (pero existe) de que los
cuaterniones2 de mdulo unidad son un
isomorfismo de las matrices de orden 2 ( 2
complejas que representan a
(2
2, ).

Un anlisis de la geometra cuaterninica con el

mdulo de stos la unidad, desvela que existen
en una 3-esferaesfera (ver figura 5). Se puede
comprobar que todas las esferas
] son
simplemente conexas si ^  1. Esto quiere decir
que una lnea cerrada (o contorno) presente en
dicha variedad se puede cerrar o colapsar
siempre a un punto. Cuando ^ = 1, se da el caso
del toro  , que es mltiplemente conexo (que
es lo contrario). Como estos cuaterniones son
Fig. 5 (fuente: Wikipedia, ver isomrficos a
(2, ),
(2, ) es tambin
bibliografa). Proyeccin estereogrfica
simplemente conexo.
pertenecer a ~ , no existe una
de la 3-esfera
esfera centrada en el origen. Al

representacin en 3 dimensiones, aunque

su nombre pueda conducir a pensarlo.
Si nos pasamos a las lgebras de Lie de los cuaterniones y a las lgebras de
Lie de
(2, ) (que es {|(2))
{| vemos que siguen siendo o isomrficos, y se puede
demostrar que tambin son isomrficas al lgebra de Lie {(3). sta proviene del
grupo de Lie
n(3),, que es ciertamente peculiar.. A este grupo (y a su isomrfico, n(3))
fsicamente se les puede asociar el significado de las rotaciones infinitesimales de
dimensin 3. Y no o slo eso, pues se puede vincular tambin con las componentes del
momento angular en mecnica cuntica, lo cual tiene que ver con las matrices de
Pauli,, que se considerarn en el apartado siguiente.

Ms formalmente, el grupo
h(1,

h ).
2

15
 4. Matrices de Pauli.

Cuando los fsicos cunticos se vieron ante la tarea de explicar el giro de un

electrn, llegaron a la conclusin de que, como hemos visto, las componentes del
momento angular cuntico remiten a un lgebra de Lie. Concretamente, al lgebra de
Lie de {(3) (que equivale a la de (3)). Como
n(3) no es abeliano, no todos los
elementos de su lgebra de Lie conmutan, lo que origina unas determinadas reglas de
conmutacin para este momento angular. Estas reglas, sin entrar en detalles, deben
atenerse a unos determinados requisitos que exige moverse en el mundo cuntico
(verificarse en un espacio de Hilbert , es decir, en un espacio que sea completo
respecto a la norma de cualquier vector definida a partir de un producto escalar).

Teniendo en cuenta que {(3) es isomrfico a {|(2), una base de {|(2) tambin lo
ser para {(3). La base vectorial de {|(2) son las siguientes matrices:

0 1 0  1 0
= * + , = * +, = * +.
1 0  0 0 1

Que son ms conocidas como matrices de Pauli, < .

Aplicndolas a las componentes del momento angular, se puede obtener que stas
son:

0 1 0  1 0
 =  * + ,  =  * +, m =  * +.
1 0  0 0 1

Adems, tras esos requisitos de los que hablbamos antes, se halla un espinor3
z = { (),  ()}, que puede tomar dos valores: 1 o 0, s o no, etc..

A fin de simplificar las cosas, se suele considerar que = 1, lo que facilita la

visin del siguiente razonamiento.

Retomando la explicacin del espn (o del momento angular intrnseco), la


funcin z sirve para describir una partcula de spin . Se puede generalizar para
espines superiores, teniendo en cuenta que el espn siempre es un mltiplo entero no
 
(que proviene de  =  ^, ^ 0). Entonces tendramos un tensor-espn

negativo de
z , simtrico en sus ^ ndices. Ntese que este objeto slo es espinorial de verdad
cuando ^ es impar.

3
Ver pgina 10.

16
Fig. 6 (fuente: R. Gilmore, <<Lie Groups,>>, ver bibliografa). Representacin del electrn en m y
su correspondiente en  , con la simplificacin que se observa.


La ecuacin del espn general  =  ^, ^ 0 proviene del llamado operador de
Casimir para
n(3), que no es sino:

 =  +  + m

De donde ( + 1) es autovalor. A la hora de definir exactamente los estados cunticos

de giro, se toma y, por lo normal y arbitrariamente, m ; siendo ( + 1) el autovalor de
y el de m . Tomando  0 y  , se puede demostrar que los 2 + 1 = ^ +
1 distintos valores de corresponden a las componentes de z , quedando ste
definido.

17
 5. Bibliografa.

R. Penrose (4 ed., 2007). El camino a la realidad (The Road to Reality).

Editorial DEBATE, ISBN: 978-84-8306-681-2.

R. Gilmore (2002). Lie Groups, Lie Algebras, and Some of Their Applications.
Dover Publications, Inc., ISBN: 0-486-44529-1.

Indefinidos autores (08,09-12-2012). Wikipedia, la enciclopedia libre

(Wikipedia, the Free Encyclopedia),
<http://es.wikipedia.org/wiki/Wikipedia:Portada> (<http://www.wikipedia.org/>).

M. A. Rodrguez (2007, 09-12-2012). lgebras de Lie, <

http://jacobi.fis.ucm.es/marodriguez/notas_clase/Lie.pdf>. Departamento de
Fsica Terica II, Universidad Complutense de Madrid.

18