Академический Документы
Профессиональный Документы
Культура Документы
SO(3) y SU(2)
Alonso Sep
ulveda S.
Instituto de Fsica
Universidad de Antioquia
Medelln, Agosto 2012
/1
CONTENIDO
1. Fundamentos
2. Grupo SO(3)
3. Grupo SU(2)
/3
1. Fundamentos
1.1.
Definici
on de grupo de Lie
n
X
Aij xj
j=1
y est
a completamente especificada por la matriz Aij . Si las matrices A y B
est
an asociadas a A y B, entonces la matriz BA est
a asociada a la transformaci
on B A. La identidad ser
a obviamente la matriz de elementos ij y A1
estar
a asociada a A1 .
con
x = (x0 x3 )
es continuo. Hay tantos elementos T (d) como 4-vectores d, y estos son infinitos
en n
umero.
3
El grupo de
Protaciones RT en R , alrededor de un punto fijo es continuo. Satisface: xi =
Rij xj , RR = I, |R| < 0.
En general, dada una familia U () de transformaciones
= U (i ),
i = 1 r,
o, en componentes:
a = fa (i , a ),
a = 1 N,
(1)
/5
1
(i G)(i G) + ;
2!
se sigue:
U ()
k
=0
= iGk .
(2)
U ()
k
=0
(3)
Ejemplo: La rotaci
on en z escrita como X = U X tiene la forma matricial
explcita:
x
x
cos
sen 0
x
y = U () y = sen cos 0 y ,
z
z
0
0
1
z
de donde
sen
U ()
= cos
cos
sen
0
0
0 ,
0
0
i 0
G = i 0 0 .
0
0 0
As pues:
U () = e
es:
iG
0
h
= exp i i
0
i
0
0
0
0
i
h
0
= exp 1
0
0
1
0
0
0
i
0 .
0
(4)
(5)
i
i j [Gi , Gj ] + = k Gk .
(6)
2
Si k , k son reales, k sera real (es el caso de las rotaciones espaciales, por
ejemplo); esto exige que [Gi , Gj ] sea proporcional al n
umero i. Ademas, para poder
cancelar los generadores en la u
ltima ecuacion y as obtener una expresion que
relacione k , k , k es necesario que [Gi , Gj ] sea proporcional a Gk . As pues, en
forma general:
[Gi , Gj ] = icijk Gk .
(7)
(k + k )Gk
donde se entiende que hay suma sobre k. Esta ecuacion asegura que el conjunto de los
generadores es cerrado bajo el producto de Lie [Gi , Gj ] y define el algebra de Lie de
los generadores. Cualquier conjunto de soluciones a esta ecuacion es representacion
del
algebra de Lie. Entonces, en 6:
(k + k )Gk +
i
i j (icijk Gk ) + = k Gk .
2
1
i j (cijk ) + = k ;
2
en la anterior ecuacion se observa que como los parametros son reales, lo seran
tambien las constantes de estructura cijk .
De [Gi , Gj ] = [Gj , Gi ] se sigue la antisimetra de cijk respecto a los dos
primeros subndices:
cijk = cjik .
(8)
De (7), tomando el complejo conjugado se obtiene [Gi , Gj ] = icijk Gk que
puede escribirse como:
[(Gi ), (Gj )] = icijk (Gk ).
As, si Gk es un generador, que satisface el algebra de Lie, tambien la satisface Gk .
/7
(9)
equivalente a:
ckli cimp + clmi cikp + cmki cilp = 0.
Para representaciones matriciales de grupos de Lie impondremos la siguiente
normalizaci
on:
Tr(Gi Gj ) = Tr(Gj Gi ) = ij ,
(10)
donde es el mismo para todas las matrices de la misma representacion. Puede
imponerse que sea el mismo independientemente de la representacion, lo que es
siempre posible para grupos de Lie compactos semisimples.
Si a cada elemento U de un grupo abstracto le corresponde una transformaci
on
(U ) en alg
un espacio vectorial lineal, llamado el espacio de representaci
on, y
de modo que al producto U U le corresponda el producto (U )(U ), entonces
el conjunto de los (U ) es llamado una representaci
on del grupo. La representaci
on ser
a fiel si a U 6= U le corresponde (U ) 6= (U ). Dos representaciones , son equivalentes si est
an relacionadas por una transformaci
on de
similaridad = U U 1 .
Una representaci
on es reducible si es equivalente a una representaci
on diagonal
en bloques:
1
0
= U U 1 =
.
0
2
El espacio vectorial sobre el que act
ua se rompe en dos subespacios ortogonales, cada uno de los cuales es mapeado en s mismo por 1 y 2 . Diremos
que es la suma directa de 1 y 2 , esto es: = 1 2 .
1.2.
Antisimetra de cijk
(11)
De (11) y (12):
cijk = cjki ,
y como este smbolo es antisimetrico en los dos primeros ndices se sigue que:
cijk = cjki = cjik = ckji ,
de donde se concluye la antisimetra de los dos u
ltimos ndices:
cjki = cjik
1.3.
(13)
Representaci
on regular
(15)
(16)
(17)
/9
que no es otra que el algebra de Lie de los generadores del grupo. Se sigue entonces
que las N matrices Gl de elementos mn, definidas por (16) conforman una representacion de los generadores llamada representaci
on regular. Es facil probar que las
matrices G satisfacen la condicion de hermiticidad Gl = Gl .
1.4.
Operadores de Casimir
(18)
se sigue:
aij {Gi [Gj , Gk ] + [Gi , Gk ]Gj } = {aij cjkl + ajl cjki }Gi Gl = 0.
Es suficiente que aij = aij , con a escalar, para que el u
ltimo corchete sea cero;
as:
C2 = a
G2i
(19)
de modo que es suficiente que: aijk = b cijk , siendo b un escalar. As pues, el operador
de Casimir trilineal tiene la forma:
C3 = b cijk Gi Gj Gk ,
(20)
con b constante. Dada la antisimetra de cijk puede probarse, utilizando (9) que C3
es identicamente cero. En efecto:
cijk Gi Gj Gk
=
=
=
1
i
cijk Gi [Gj , Gk ] = cijk cjkl Gi Gl
2
2
i
1
cijk cjkl [Gi , Gl ] = cijk cjkl cilm Gm
4
4
1
cijk cjkl cilm (Gm Gm ) = 0.
8
2. Grupo SO(3)
2.1.
Representaci
on definitoria
La representacion definitoria del grupo SO(3) consiste en un conjunto de matrices 3 3, ortogonales y unimodulares. Conforman un grupo de Lie de 3 parametros
(3 angulos) y 3 generadores (asociados al momento angular o, equivalentemente, a
los operadores de rotacion).
Para construir el grupo, a la rotacion de coordenadas x = Rx le exigiremos que
mantenga invariante la distancia entre dos puntos, en particular entre el origen y el
punto (x, y, z). Esto es:
xi xi = xi xi .
T
Reemplazando xi = Rij xj se obtiene Rji
Rik = jk , tambien expresable como
RT R = I
RT = R1 ,
(21)
/11
(22)
donde son los parametros y M los generadores. De (21) y (22) se sigue que la
matriz i M y por tanto las matrices M son antisimetricas; y de |R| = |ei M | =
eTr(i M ) = 1 se concluye que la traza de M es cero, lo que en verdad nada a
nade
a la condicion de antisimetra.
Como las coordenadas xi son cantidades reales, es cierto que R ha de ser una
matriz real, por lo que los generadores son matrices imaginarias puras, esto es:
M = M.
La matriz M de dimension 3 3, antisimetrica e imaginaria pura, mas general
es:
0
a3 a2
0
a1 ,
M = i a3
a2 a1
0
con a1 , a2 , a3 reales.
0 0
M1 = 0 0
0 i
0
0 0 i
0 i 0
i , M2 = 0 0 0 , M3 = i 0 0 .
0
i 0 0
0 0 0
(23)
(24)
como en (16), que corresponde a la representacion regular. Las matrices (24) satisfacen el algebra de Lie (17) con cijk = ijk :
[Mi , Mj ] = iijk Mk .
Si se tiene en cuenta que:
(
a M)2n = (
a M)2 ,
(
a M)2n+1 = (
a M) ,
para n = 1, 2
para n = 0, 1, 2 ,
donde
a es un vector unitario arbitrario, se sigue:
R
=
=
cos
sen 0
R = sen cos 0 .
(25)
0
0
1
b. La rotacion por un angulo alrededor del eje n
= /, con n
dado en
coordenadas esfericas por:
cos ,
n
= i sen cos + j sen sen + k
se describe con:
R = eiM = I + (
n M)2 (cos 1) + i(
n M) sen ,
donde:
n
M = M1 sen cos + M2 sen sen + M3 cos .
z
Figura 1: El vector n
se descompone en terminos de los
angulos y
/13
La matriz es antisimetrica por lo que tiene 3 elementos diferentes, con los cuales
puede formarse un vector axial de componentes dk , en la forma:
lm = lmk dk ,
(26)
h
xi
i
= 1 + kj xj
xi .
xk
xk
Utilizando (26):
h
i
xi = 1 idn njk xj k xi = [1 idn Ln ]xi = [1 id L]xi = (d)xi ,
i
donde se ha introducido el operador diferencial
Ln = injk xj
,
xk
(27)
que equivale a
1
r .
i
Entonces, para transformaciones finitas:
L=
(28)
() = ei L.
El operador vectorial L satisface el algebra de Lie. Es facil reconocer en la expresion adimensional (28) el operador de rotaci
on en mecanica cuantica. El operador
momento angular en mecanica cuantica es ~L.
2.2.
Grupo SO(N)
Los elementos diagonales de una matriz antisimetrica son nulos de modo que
quedan N (N 1)/2 elementos diferentes, todos imaginarios. As, hay N (N 1)/2
generadores y N (N 1)/2 parametros de SO(N ). En SO(3) son 3, en SO(4) son 6.
2.3.
Rotaci
on de coordenadas versus rotaci
on de funciones
y
P
P
dr
Figura 2: a. Rotaci
on del sistema coordenado un
angulo , b. rotaci
on de la funci
on sombreada
un
angulo
Es tambien posible mantener los ejes coordenados fijos y rotar las funciones un
angulo ; en ambos casos el efecto es el mismo. Al rotar las funciones la regla de
transformacion de las coordenadas de P a las coordenadas de P (figura 2b) es:
x = x cos y sen ,
y = x sen + y cos ,
z = z.
/15
de donde se sigue:
= iy d + jx d = d r.
dr = idx + jdy + kdz
Evaluemos ahora el operador que rota funciones, correspondiente al operador
matricial R1 que rota puntos con ejes fijos. Es cierto que:
f (r) = f (r ) = f (R1 r), con r = r + dr, entonces:
(29)
1
x2
y2
1
f (x, y) = [1 + (xy yx )]f (x, y) = 2 + 2 + 2xy 2 2 .
a
b
b
a
La operaci
on gira la elipse en la direcci
on de las agujas del reloj.
2.4.
Adici
on de rotaciones
= ()f (r ) = f (r )
= f (R1 ()r ) = f (R1 ()R1 ()r) = f (R1 r).
1h
e f
f i
+
e
,
i
sen
y reemplazando
e y
e por sus componentes cartesianas,
sen
e = i sen + j cos ,
se obtienen las componentes cartesianas de L en terminos de sus coordenadas esfericas:
cos cot
Lx = i sen
Ly = i cos
sen cot
Lz = i .
(31)
1
2
1
sen
.
sen 2 2
sen
(32)
Introduciendo la definicion:
L = Lx iLy ,
se obtiene:
L = ei
i cot
.
(33)
(34)
De (31) y (32) puede demostrarse que [L2 , Lz ] = 0, tal que existe un conjunto simultaneo de autofunciones Ylm (, ) de L2 y Lz , conocido como arm
onicos
esfericos. Estas se obtienen resolviendo el problema de autovalores:
L2 Ylm (, ) = l(l + 1)Ylm (, ) ,
Lz Ylm (, ) = mYlm (, ),
(35)
/17
Cada conjunto, Y00 , {Y1m }, {Y2m }, etc. constituye una base irreducible para representaciones de SO(3). El conjunto de funciones
S l = {Yl,l , Yl,l+1 , , Yl,l1 , Yl,l }
es un subespacio de dimension 2l + 1, invariante bajo operaciones con L. Invariante
significa que, al operar con L2 sobre alg
un elemento de S l se obtiene otro elemento
l
de S . Esto es claro en las siguientes ecuaciones:
L2 Ylm = l(l + 1)Ylm
Lz Ylm = mYlm
p
L Ylm = (l m)(l m + 1)Yl,m1 .
(36)
De la u
ltima ecuacion notese que operando con L sobre Ylm se obtienen
armonicos esfericos con el mismo l pero diferente m; el resultado se queda en el
subespacio l de dimension 2l + 1. El operador L tiene el efecto de subir o bajar el
valor de m en Ylm ; por esto se conoce como operador escalera. Cada subespacio S l
se rotula con el autovalor l del operador de Casimir L2 y cada elemento de la base
con los autovalores m de Lz .
Genericamente, las tres expresiones (36) son de la forma:
AYlm =
l
X
alm m Ylm ,
(37)
m =l
X
l
X
lm Ylm .
l=0 m=l
Ylm
(, )Yl m (, ) d = ll mm
X
l
X
l=0 m=l
Ylm
(, )Yl m (, ) = ( )(cos cos ).
Proposici
on:
Los tensores cartesianos conforman bases de representaciones reducibles de
SO(3), reducibles a bases irreducibles de dimensi
on 2l + 1. Las bases reducidas
son las de los tensores esf
ericos. V
ease secci
on 3.4.
Facilmente puede probarse que los alm m en 37 conforman representaciones matriciales de A. Para ello basta probar que de la secuencia de operaciones AB se sigue
la regla del producto matricial:
ABYlm
l
X
XX
blm m Ylm =
blm m AYlm =
alm m blm m
m m
m =l
m =l
X
Ylm =
(AB)m m Ylm .
m
Ylm
AY
d
=
a
Ylm
Ylm d
lm
m m
m
alm m m m = alm m .
amm = Ylm
AYlm d .
En particular, los elementos de matriz asociados a los operadores de las ecuaciones (36) son:
1. Si A = LR2 :
=
=
Ylm
L Ylm d =
Z
p
(l m )(l m + 1) Ylm
Yl,m 1 d
p
(l m )(l m + 1) m,m 1 .
/19
L2 = (L+ L )/2i
0 1
1
L1 = 1 0
2 0 1
2.6.
0
1
0
0 i 0
1
L2 = i 0 i
2 0 i
0
1
L3 = 0
0
0 0
0 0 .
0 1
Reducci
on del producto directo
1
1
(Tij + Tij ) + (Tij Tij ),
2
2
As pues:
1
Tij = Sij + Aij + T ij ;
3
Sij es un tensor simetrico de traza cero (Sij = Sji , TrS = 0), con 5 componentes
diferentes. Aij es un tensor antisimetrico (Aij = Aji ), que tiene tres componentes
diferentes con las que puede formarse un vector axial.
En sntesis, el producto directo 3 3 se escribe como la suma directa 3 3 =
5 3 1.
el tensor T de
Introduciendo los vectores de la base,
e1 = i,
e2 = j,
e3 = k,
segundo orden se escribe:
1
T = Tij
ei
ej = Sij
ei
ej + Aij
ei
ej + T
ei
ei .
3
(38)
Los ndices repetidos indican suma de 1 a 3; con S33 = S11 S22 se sigue que:
1.) S = Sij
ei
ej
2.) Aij
ei
ej
=
+
=
+
S11 (
e1
e1
e3
e3 ) + S22 (
e2
e2
e3
e3 )
S12 (
e1
e2 +
e2
e1 ) + S23 (
e2
e3 +
e3
e2 )
S31 (
e3
e1 +
e1
e3 ),
A12 (
e1
e2
e2
e1 ) + A23 (
e2
e3
e3
e2 )
A31 (
e3
e1
e1
e3 ) = B1 1 + B2 2 + B3 3 = Bi i ,
donde i = ijk
ej
ek y Aij = ijk Bk , con suma en k. Las cantidades Bi son componentes de un vector axial.
Es facil demostrar que i es una base invariante, es decir, que una transformacion
de coordenadas mezcla los i entre s. En efecto, de
ei = aji
ej (que proviene de la
invarianza
ei xi =
ej xj , usando xi = aij xj ) se sigue:
i = ijk
ej
ek = ijk alj amk
el
em ,
de modo que:
ani i = ijk ani alj amk
el
em = |A|nlm
el
em = |A|n ;
esto es: n = |A|1 ani i , como se quera demostrar. Se ha hecho uso de la relacion
de definicion de una matriz |A| en terminos de sus elementos ani :
nlm |A| = ijk ani alj amk .
De otro lado, la base
ei
ei (con suma en i) coincidente con la identidad I que acompa
na a la traza en (38) es un invariante, es decir, se trata de un espacio unidimensional:
ei
ei = aji aki
ej
ek = jk
ej
ek =
ei
ei = I.
Queda por demostrar que la base de los Sij es invariante. Ha tenerse presente
que irreducibilidad e invarianza no son equivalentes; la base Tij (de dimension 9)
es invariante pero reducible, en tanto que Sij (de dimension 5) es invariante e
irreducible.
2.7.
SO(3) y
angulos de Euler
sistema en sentido antihorario, por un angulo alrededor del eje x , para obtener el
/21
x
x
x
x
X = y , X = y , X = y , X = y ,
z
z
z
z
las reglas de transformacion correspondientes a cada operacion son:
X = R()X, X = R()X , X = R()X ,
de donde se obtiene:
X = R()R()R()X = R(, , )X.
En la anterior
R(, , ) = R()R()R()
es la matriz de Euler. Explcitamente:
cos
sen 0
R() = sen cos 0 ,
0
0
1
1
R() = 0
0
cos
R() = sen
0
z , z
(39)
sen
cos
0
0
cos
sen
0
0 .
1
z, z
y
y
y
x
x , x
Figura 3: Angulos
de Euler , ,
0
sen ,
cos
CC SCS
SC + CCC SS
R(, , ) = SC CCS SS + CCC CS .
SS
sen cos
cos
En forma infinitesimal, con C 1, S , etc.:
1
+ 0
1
R(, , ) =
0
0 1 0
0 0 0
= I + ( + ) 1 0 0 + 0 0 1
0 0 0
0 1 0
= I + i[( + )M3 + M1 ],
con M1 y M3 dados por (23). As pues, para rotaciones finitas, la matriz de Euler
tiene la forma equivalente:
R(, , ) = ei M3 ei M1 ei M3 .
3. Grupo SU(2)
3.1.
Representaci
on definitoria
/23
i
0
,
3 =
1
0
0
1
(41)
Tri = 0 ;
as pues:
U = ei/2 .
3.3.
(42)
(43)
Autofunciones de J 2 y J3
(44)
(45)
c. La hermiticidad de J.
Por tanto, J no es necesariamente un operador de momento angular orbital.
Como se vera, se referira tambien a grados internos (spin, isospin,. . . ).
El subespacio con base |j, mi, con j fijo, es invariante bajo operaciones generadas
con Ji , J 2 , J , etc. En general, si A es un operador polinomial en Ji , sera cierto que:
X j
A|j, mi =
am m |j, m i,
m
As pues:
En particular:
1. (J )mm
p
= hj, m|J |j, m i = (j m )(j m + 1)hj, m|j, m 1i
p
=
(j m )(l m + 1) m,m 1 .
1
0
0
,
.
1
/25
3.
Con j = 1:
0 1 0
0 0
J+ = 0 0 1 , J = 1 0
0 0 0
0 1
0 1 0
0
1
1
J1 =
1 0 1 , J2 = i
2 0 1 0
2 0
La base es:
4.
Con j = 3/2:
3
0
2
3
0
J1 = 2
0
1
0
0
3
2
0
J3 =
0
0
La base es:
0
0 ,
0
1 0 0
J3 = 0 0 0
0 0 1
i 0
1 0 0
0 i , J 2 = 2 0 1 0 .
i
0
0 0 1
0
0
1
0 , 1 , 0 .
0
0
1
0
1
0
3
2
0
1
2
0
0
0
,
3
2
0
0
0
21
0
i 3
J2 = 2
0
0
0
0
,
0
23
1
0
0 , 1
0 0
0
0
i 23
0
i
0
1
15
2
0
J =
4 0
0
0
0
0 0
, ,
1 0
0
1
0
i
0
i 23
0
1
0
0
0
0
1
0
0
0
i 23
0
0
0
.
0
1
= I 3 .
0 1
0
ei/2
2
2
3.3.
Reducci
on de un producto directo
Consideremos dos representaciones irreducibles de SU (2), U j1 y U j2 de dimensiones 2j1 + 1 y 2j2 + 1. Las bases son:
1
Sj1 = {jm1 1 } = {jj
, jj11 },
1
j2
j2
2
Sj2 = {m
j2 } = {j2 , j2 },
con 2j1 + 1
jm1 1 ,
funciones
2
m
j2 .
|j1 j2 |
j=j1 +j2
Sj ,
|j1 j2 |
Uj .
j=j1 +j2
|j1 j2 |
j=(j1 +j2 )
j,
/27
P
donde
indica suma directa. Por ejemplo, 1 1/2 = 3/2 1/2. En la seccion 3.4
aparecen algunos ejemplos de reducciones de productos directos.
Obtengamos ahora los generadores de la representacion (reducible) producto
directo:
U1 U2 = eiJ1 eiJ2 .
Escrito en forma infinitesimal:
U1 U2
(I1 i J1 ) (I2 i J2 )
I1 I2 i(I1 J2 + J1 I2 ) = I i J.
(46)
a11 B a12 B
A B = a21 B a22 B .
Entonces: A B = {alm b }
Ejemplo:
Evaluaci
on del generador Jx de 1 1/2 (j1 = 1, j2 = 1/2).
Utilizando (45):
J11/2 = I 1 J1/2 + J1 I 1/2 ,
11/2
Jx
= I1
1/2
Jx
de donde :
+ Jx1 I 1/2 .
0 1 0
1
1
1/2
Jx1 = 1 0 1 , Jx =
2
2
0 1 0
1 0 0
1
1/2
Ix1 = 0 1 0 , Ix =
0
0 0 1
0
1
0
1
1
0
Por tanto:
1 1/2
Jx
=
=
1/2
I 1 Jx
1 0
0 1
0 0
0
1
1
0
2 0
0
0
+ Jx1 I 1/2
0
1
0
0
1
2
1
1
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
1
1 0
+
1
2
0
1
+
0
2
0
0
1
0
0
0
0
0
1
0
1
0
1
0
0
0
1
0
0
1
0
0
0
1
0
0
1
1
0
0
0
1
0
0
0
1
0
0
1
0
0
0
0
0
0
1
0
0
0
1
As pues:
1 1/2
Jx
0
1/2
1/ 2
0
0
0
1/2
0
0
1/ 2
0
0
1/ 2
0
0
1/2
1/ 2
0
0
1/ 2
1/2
0
0
1/ 2
0
0
1/ 2
0
0
1/2
0
0
0
1/ 2
1/2
0
1 1/2
1 1/2
De un modo an
alogo pueden evaluarse los generadores Jy
y Jz
.
Existe una transformaci
on de similaridad que reduce las matrices Jx , Jy , Jz a
bloques diagonales:
1 1/2 1
SJi
S
= J 3/2 J 1/2 .
La matriz S est
a formada por los coeficientes de Clebsh-Gordan. Equivalente2
m
mente, S pasa de la base jm1 1 m
j2 a la base j con j desde |j1 j2 | hasta
j1 + j2 .
3.4.
Ejemplos de reducciones
1/2 1/2 = 1 0
11=210
(2j1 + 1) (2j2 + 1)
32= 42
22= 31
33= 531
34= 642
35= 753
/29
P
Las matrices de Pauli son linealmente independientes ( ai i = 0 solo si ai = 0)
y de traza nula. Pueden por tanto servir, junto con la identidad, como base para
expandir cualquier matriz 2 2 de traza cero, puesto que son conjunto completo.
Comencemos estudiando la matriz P definida como:
x3
x1 ix2
P =
= i xi .
(41)
x1 + x2
x3
La matriz P es hermtica y de traza cero. Se sigue, multiplicando por j y
utilizando (42):
P j = i j xi = (Iij + iijk k )xi ,
de donde:
Tr(P j ) = 2ij xi + 0,
xj =
1
Tr(P j ).
2
(42)
(43)
En consecuencia:
P =
x3
x1 + x2
x1 ix2
x3
.
P 2
P 2
En acuerdo con
xi =
xi , las cantidades xi se comportan como componentes de un vector, invariante en su modulo. Podemos, entonces, asociar a transformaciones de similaridad en SU (2), rotaciones en SO(3). A cada matriz U , unitaria
y unimodular 2 2 le corresponde una matriz R, ortogonal y 3 3.
Conexi
on entre U y R
(44)
1
Tr(k U j U ).
2
(45)
/31
U = ei/2 .
4.3.
Vectores y spinores
U = ei /2 = ei/2 = ei(/2) ,
lo que significa que si los generadores de la representacion 2 son i /2, los de la
representacion 2 son i /2.
Entonces: = U U = = invariante, por lo cual transforma como un
escalar.
Como transforma i bajo rotacion? Utilizando (44):
i = U i U = Rij i ,
SU(2) y
angulos de Euler
=
=
=
i
i k [( + )(i3ik ) + (i1ik )]
4
1
[( + )(1 2 2 1 ) + (2 3 3 2 )]
4
i
[( + )3 + 1 ],
4