Introduccion

1. CARACTERIZACION DE UN SISTEMA CUANTICO Y

SIMETRIAS
En Mecanica Cu antica, las propiedades de los sistemas fsicos est an contenidas
en el vector de estado [) que vive en un espacio lineal (espacio de Hilbert) denom-
inado espacio de estados y que denotaremos por H. Aunque este es un espacio
abstracto, es posible construir una caracterizacio n del mismo en terminos de los
eigenvalores de cualquier observable. En efecto, los observables fsicos en este for-
malismo tienen una representacion como operadores hermticos (cuyos eigenvalores
son reales) que act uan sobre el espacio H.
En general es posible mostrar que:
-los eigenestados de un operador hermtico forma una base del espacio corre-
spondiente,
-los subespacios correspondientes a dos eigenvalores distintos son ortogonales
entre si.
Estas propiedades pueden utilizarse para partir el espacio de estados H en
subespacios ortogonales correspondientes a los eigenvalores a de cualquier ob-
servable A. En efecto, todos los vectores de cada subespacio S
a
pueden etiquetarse
por el eigenvalor correspondiente como [a). Esta caracterizacion no es completa
si alguno de los subespacios S
a
es de dimension mayor que uno (es decir si ex-
isten eigenvalores del observable A que son degenerados). En tal caso, la car-
acterizacion completa requiere considerar otro observable B que conmute con el
anterior (de tal forma que los estados [a) sean tambien eigestados de B, asi que
debemos etiquetarlos con los eigenvalores B de B, denotarlos por [a, b) y a los
subespacios correspondientes por S
ab
) y que distinga los estados degenerados del
observable A. Si a un alguno de los subespacios S
ab
son de dimension mayor que
uno, es necesario considerar un nuevo observable $C$, que conmute con los dos
anteriores. El proceso contin ua hasta que los subespacios S
abc
sean de dimension
uno, en cuyo caso tenemos una caracterizacion completa del espacio de estados
H ya que todos los estados est an debidamente etiquetados por [a, b, c, d). A los
operadoresA, B, C, D.. se le denomina conjunto completo de observables que con-
mutan (CCOC). Claramente esta caracterizacion es democratica respecto de los
operadores a usar y puede implementarse con distintos conjuntos de operadores.
Sin embargo, la evoluci on temporal de los estados est adictada por el hamiltoniano
H y esto le da un rol especial a este operador. Dado que estamos interesados en
la descripcion dinamica de los sistemas fsicos, en la practica siempre se escoge el
hamiltoniano como miembro del CCOC: H, A, B, C, D. . Dado que los miembros
del CCOC deben conmutar con el hamiltoniano, las correspondientes observables
1
2 INTRODUCCI

ON
fsicas deben ser constantes de movimiento. Por otro lado, como veremos mas ade-
lante, las constantes de movimiento generan transformaciones de simetra para el
sistema fsico, por lo que la caracterizacion de un sistema cuantico se hace en base
a todas las simetras del sistema. Esta es la profunda conexion entre simetras y
dinamica que aunque tiene su contraparte en mecanica clasica, se muestra en toda
su desnudez y esplendor en mecanica cuantica.
En este curso estaremos interesados en la caracterizacion de sistemas cuanticos
elementales (partculas) libres. Para estos sistemas, las unicas simetras posibles son
aquellas relacionadas con las propiedades del espacio-tiempo, por lo cual es posible
obtener una caracterizacion completa de los mismos. El punto de partida es la
suposicion mas que razonable de que el espacio-tiempo sea homogeneo e isotropico
(en realidad en este trabajo usamos solo la isotropa) y que las leyes de la sica
tengan una descripcion independiente del observador (principio de relatividad).
Como sabemos, la suposicion de isotropia y homogeneidad del espacio bastan en
mecanica clasica para que la energa, el momento lineal y el momento angular de un
sistema cerrado de partculas, con interacciones centrales entre ellas, se conserven.
Empezaremos por explorar los aspectos relacionados con la isotropa del espacio
y sus consecuancias a nivel clasico y cuantico.
2. GRUPO DE ROTACIONES
2.0.1. Generadores del grupo de rotaciones. Para un sistema libre, no hay in-
teracciones y por lo tanto no hay direcci on privilegiada en el espacio, por lo cual,
sea cual fuere su descripcion formal, esta debe ser independiente de la orientacion
en el espacio. En otras palabras, en el caso de un sistema cuantico, una rotacion
en el espacio de estados no afectara al sistema en absoluto, esto es, la descripcion
deberaser invariante ante rotaciones. Dado que una rotacion en el espacio de esta-
dos no es mas que un reejo de la rotacion efectuada sobre nuestro sistema fsico,
que vive en R
3
, empezaremos por estudiar rotaciones en este espacio.
Una rotacion general en el espacio tridimensional es una transformacion lineal
de la forma
r

= R r
donde R es el operador que implementa la rotacion. Estos operadores
cumplen las siguientes propiedades:
(1) La aplicacion sucesiva de dos rotaciones es una rotacion (cerradura), esto
es, si R
1
y R
2
son dos rotaciones, entonces R
3
R
1
R
2
es tambien una
rotacion.
(2) La aplicacion sucesiva de tres rotaciones es asociativa, esto es, R
1
(R
2
R
3
) =
(R
1
R
2
)R
3
.
(3) Existe una transformacion que deja al sistema en la misma conguracion
(transformacion identidad). Denotaremos a esta rotacion simplemente por
.
(4) Para cada rotacion R, existe la transformacion inversa, es decir, una trans-
formacion que regresa el sistema a la conguracion original. Esta trans-
formaci on, que denotaremos R
1
, satisface RR
1
= R
1
R = 1.
Estas propiedades denen la estructura algebraica de un grupo.
El grupo correspondiente se denomina grupo de rotaciones.
2. GRUPO DE ROTACIONES 3
Dado que estas transformaciones son lineales siempre es posible tomar una
representacion matricial de las mismas. En general, si el espacio lineal sobre el que
se efect uan las transformaciones es de dimension n, los operadores que implementan
las transformaciones tienen una representacion en el espacio de las matrices n n.
En nuestro caso, el espacio sobre el que se efectuan las rotaciones es el espacio fsico
R
3
por lo que las matrices correspondientes son matrices 3 3. Dado que ante una
rotacion la distancia al origen se conserva,
r

t
r

= r
t
r
tendremos
R
t
R = RR
t
= 1
por lo que, para el espacio fsico, R tiene una representacion en el espacio de las
matrices ortogonales de dimensi on 33. Estas matrices forman un grupo denotado
por SO(3) .
Consideremos una rotacion de el vector r alrededor del eje z en un angulo .
Esta rotacion tiene la forma:

cos sen 0
sen cos 0
0 0 1

x
y
z

por lo que la representacion matricial de esta rotacion es

(2.1) R
z
() =

cos sen 0
sen cos 0
0 0 1

Similarmente, las matrices para rotaciones alrededor de los ejes x, y son

(2.2) R
x
() =

1 0 0
0 cos sen
0 sen cos

, R
y
() =

cos 0 sen
0 1 0
sen 0 cos

Debemos enfatizar que, aunque las rotaciones alrededor de un mismo eje conmu-
tan, en general las rotaciones alrededor de ejes diferentes no lo hacen, por ejemplo,
es facil comprobar que R
x
()R
y
() ,= R
y
()R
x
(). El grupo de rotaciones SO(3)es
no-Abeliano . Este es un grupo de Lie, es decir, un grupo con un n umero innito de
elementos, pero los elementos del grupo pueden ser caracterizados por un conjunto
nito de par ametros que toman valores en un intervalo continuo. Una rotacion gen-
eral tiene tres par ametros. En efecto, aunque R tiene nueve elementos, la condicion
de ortogonalidad impone seis condiciones sobre ellos; de esta forma, tenemos tres
par ametros de grupo, los cuales pueden elegirse arbitrariamente. Una posibilidad
es la caracterizacion de las rotaciones dada en las Ecs.(2.1,2.2). En este caso, los
par ametros son los angulos , y que toman valores entre 0 y 2.
La caracterizacion de todos los elementos de un grupo de Lie puede efectuarse
usando la propiedad de asociatividad (que debe cumplir cualquier grupo) y la con-
tinuidad de los parametros que caracterizan a los grupos de Lie. Para ilustrar esto,
consideremos la rotacion R
x
() para el caso en que es peque no (transformacion
innitesimal).
En este caso, tendremos una expansi on de la forma
4 INTRODUCCI

ON
R
x
() = 1 i J
x
+O(
2
)
donde el operador J
x
est a denido por
(2.3) J
x
= i
dR
x
d
[
=0
=

0 0 0
0 0 i
0 i 0

o (J
x
)
ij
= i
1ij
Por otro lado la ley de composicion para dos rotaciones nitas requiere
R
x
()R
x
(

) = R
x
( +

)
Diferenciando esta igualdad respecto a

, tomando

= 0 y usando la relacion(
2.3) tendremos
iJ
x
R
x
() =
dR()
d
Esta es una ecuaci on diferencial matricial para R
x
() cuya solucion formal es
R
x
() = exp(iJ
x
)

n=0
(i)
n
n!
(J
x
)
n
Al operador J
x
se le denomina generador de rotaciones innitesimales alrededor
del eje x. La generalizaci on de este resultado a una rotacion alrededor de un eje
arbitrario n, en un angulo es
(2.4) R
n
() = exp(i J n)

n=0
(i)
n
n!
(J n)
n
donde J = (J
x
, J
y
, J
z
) y los generadores para rotaciones alrededor de los ejes
son
J
y
= i
dR
y
d
[
=0
=

0 0 i
0 0 0
i 0 0

o (J
y
)
ij
= i
2ij
J
z
= i
dR
z
d
[
=0
=

0 i 0
i 0 0
0 0 0

o (J
z
)
ij
= i
3ij
La demostracion de la validez de la Ec.(2.4) requiere considerar el desplaza-
miento real producido al rotar el vector r en un angulo peque no alrededor de un
eje general dado por el vector unitario n. El desplazamiento es perpendicular al
plano denido por r y n y de magnitud r sin , donde es el angulo entre r y n.
Esto se resume en la ecuaci on vectorial
r = n r
i.e.
r

= r+ n r
o en coordenadas
2. GRUPO DE ROTACIONES 5
(2.5) x

i
= x
i
+
ikj
n
k
x
j
= x
i

ijk
n
k
x
j
donde
ijk
es el tensor de Levi-Civita. La Ec.(2.5) puede ser reescrita como
x

i
= (
ij

ijk
n
k
)x
j
mostrando que
[R
n
()]
ij
=
ij

ijk
n
k

ij
i (G
n
)
ij
donde
(G
n
)
ij
= i
ijk
n
k
= (J
k
)
ij
n
k
Por lo que
G
n
= J n
De este modo, la matriz para una rotacion nita general R
n
() est a dada por
la ecuaci on (2.4). N otese que el generador general G
n
es tambien hermitiano y con
traza nula, garantizando as que R
n
() es ortogonal y tiene determinante unitario.
Los generadores innitesimales para el grupo de rotaciones pueden resumirse
en
(2.6) (J
k
)
ij
= i
ijk
Estos generadores son tambien Hermitianos (G

= G ). Esto es una conse-

cuencia de la unitaridad (ortogonalidad) de R. En efecto, para la rotacion R
z
tenemos
1=R

z
()R
z
() = (1 iJ
z
)(1 +iJ

z
) = 1+i(J
z
+J

z
) +O(
2
)
y por lo tanto J

z
= J
z
. En forma similar se muestra que J

i
= J
i
. Cabe notar que
la traza nula de J
i
es una consecuencia del hecho que R
i
es una matriz ortogonal
especial, esto es, con determinante unitario.
2.1. Algebra de Lie del grupo de rotaciones. En general, un grupo es
especicado por sus leyes de composicion: como dostransformaciones se combinan
para dar una tercera. Para los grupos de Lie, la Ec.(2.4) nos dice que una transfor-
macion arbitraria puede obtenerse exponenciando los generadores del grupo, por lo
que toda la informacion de la estructura del grupo est acontenida en los generadores.
En particular, la ley de composicion del grupo se maniesta en las relaciones de
conmutacion que satisfacen los generadores. En el caso del grupo de rotaciones
podemos calcular esta algebra de las representaciones especicas obtenidas en la
Ec(2.6). El resultado para J
1
, J
2
es:
[J
1
, J
2
] = iJ
3
.
Las otras relaciones pueden ser obtenidas de igual manera, y corresponden a las
permutaciones cclicas de la anterior. De hecho todas las relaciones de conmutacion
pueden resumirse como
(2.7) [J
i
, J
j
] = i
ijk
J
k
.
6 INTRODUCCI

ON
Estas relaciones denen el algebra de Lie del grupo de rotaciones y resume
todas las propiedades de las rotaciones en el espacio fsico R
3
.
Hasta aqu la discusi on se ha centrado en las rotaciones de vectores en el espacio
fsico R
3
, sin ninguna conexion con la dinamica. Dado que las leyes de la mecanica
clasica no-relativista pueden escribirse en el lenguaje vectorial ( leyes de Newton),
surge la pregunta de cuales son las consecuencias de rotar un sistema fsico. En
general, el estado de un sistema clasico puntual no-relativista, esta caracterizado
por los valores de las variables cinem aticas r y p y la dinamica esta dada por
F =
dp
dt
donde es una cuanticacion de las interacciones del sistema. Si estas iteracciones
son invariantes ante rotaciones, es posible mostrar que las cantidades
L = r p
son constantes de movimiento. En general el teorema de Noether asegura que si
un sistema fsico (interacciones incluidas) es invariante ante un grupo de transfor-
maciones de Lie, entonces existe una cantidad conservada por cada generador del
grupo. Aunque la caracterizacion de un sistema clasico en base exclusivamente a sus
simetras es un tema interesante no lo empujaremos aqui dado que nuestro interes
se centra en la relacion entre las propiedades del espacio-tiempo y la caracterizacion
de los sistemas elementales libres.
2.2. Rotaciones en Mecanica Cuantica. Como ya hemos visto, el espacio
de estados H puede caracterizarse por los eigenvalores correspondientes a un CCOC
y los miembros de este conjunto, distintos de H, son generadores de transforma-
ciones de simetra del sistema. En general para sistemas que son invariantes bajo
rotaciones los generadores de estas seran candidatos a pertenecer al CCOC y por
lo tanto sus eigenvalores a caracterizar el estado del sistema. Veamos hasta donde
esto es factible. Consideremos para ello, rotaciones en el espacio de estados de la
Mecanica Cu antica H.
Dado que las rotaciones en general afectan al sistema fsico, es de esperarse que
el ket que describe al sistema rotado sea diferente al ket correspondiente al sistema
original (no rotado). As, vemos que a cada rotacion R del sistema fsico (localizado
en el espacio fsico R
3
), corresponde una rotacion en el espacio H.
Denotemos por D(R
n
) al operador que efect ua esta rotacion
[)
R
= D[R
n
()][) D
n
()[)
donde [)
R
, [) son los kets que describen al sistema rotado y al original, respec-
tivamente. En forma similar a la manera en que se construyeron representaciones
matriciales para los operadores de rotacion R sobre el espacio fsico R
3
, es posible
construir representaciones matriciales para los operadores D
n
() que act uan sobre
el espacio de estados H, ya que este es un espacio lineal.
Como ya hemos visto, la estructura de todo grupo de Lie est a resumida en el
algebra de Lie del mismo, asi que debemos enfocarnos a obtener esta algebra. Antes,
debemos recalcar que hay diferencias globales fundamentales entre las rotaciones
en R
3
y en H y estas tienen que ver con la naturaleza de los espacios mismos.
En efecto, dado que H es un espacio complejo (a diferencia de R
3
que es real) la
invariancia ante rotaciones del modulo del vector en el espacio de estados requiere
2. GRUPO DE ROTACIONES 7
que los operadores D satisfagan D

D = DD

= 1, esto es, las rotaciones en esta

espacio estan implementadas por operadores unitarios.
Para construir el operador de rotacion D
n
(), consideremos el operador corre-
spondiente a una rotacion innitesimal. El operador apropiado puede ser escrito
como
D
n
() = 1 iG
n
donde G
n
es el generador al que la condicion de unitareidad de D le impone el
que sea un operador hermitico. Siguiendo los resultados obtenidos en mecanica
clasica, donde el momento angular es el generador de rotaciones innitesimales, y la
conexion entre simetras y la carcterizacion de un sistema cuantico mencionados en
la introduccion de estas notas, denimos al momento angular como aquel operador
que genera las rotaciones en el espacio de estados H. As, el operador de momento
angular J
i
, sera el generador para una rotacion innitesimal alrededor del eje e
i
.
Dado que clasicamente J tiene unidades de accion (energia-seg) la relacion entre J
y G
n
sera lineal con una constante de proporcionalidad con estas unidades, es decir
G
n
=
J n

donde tiene unidades de accion. El operador de rotacion correspondiente a

una rotacion en un angulos alrededor del eje n es entonces
D
n
() = 1 i
J n

Enfatizamos el hecho de que el operador de momento angular no se dene como

r p, sino por medio de la relacion anterior.
El algebra de Lie del grupo puede encontrarse de la siguiente manera: hemos
mostrado que la invariancia de el producto interno [) impone la restriccion
del que el operador D
n
() sea unitario. Consideremos ahora el efecto de una
rotacion sobre un observable con propiedades bien denidas bajo rotaciones en
el espacio fsco R
3
, especcamente cualquier observable vectorial v (r, p, etc.).
Este observable sico se transforma ante rotaciones como v
R
i
= R
ij
v
j
donde R
es la rotacion en el espacio fsico. La accion de la rotacion sobre el operador
correspondiente V la obtenemos de la accion de las transformaciones sobre los
estados
R
[V
i
[)
R
= [D

n
()V
i
D
n
()[)
Dado que el operador V representa la accion del observable v, pedimos que V
tenga las mismas propiedades de transformaci on que v, esto es
D

n
()V
i
D
n
() = R
ij
V
j
Para una rotacion initesimal tendremos
(1 +i
J n

)V
i
(1 i
J n

) = R
ij
V
j
= (
ij

ijk
n
k
)V
j
De esta relacion obtenemos que cualquier operador vectorial V debe satisfacer
[J
i
, V
j
] = i
ijk
V
k
En particular, el momento angular se transforma ante rotaciones como un vector en
el espacio fsico por lo que los operadores correspondientes que act uan en el espacio
de estados deben satisfacer el algebra
[J
i
, J
j
] = i
ijk
J
k
8 INTRODUCCI

ON
Estas son las mismas relaciones que las obtenidas para los generadores de rota-
ciones en el espacio fsico Ec.(2.7). Sin embargo, recordemos que en general la
representacion matricial de los operadores depende de la dimensi on del espacio
sobre los que estos act uan. Asi, en general la dimensi on de los operadores que
implementan las rotaciones en H es innita. Sin embargo, es posible que existan
subespacios de H que permanezcan invariantes ( es decir, los estados pertenecientes
a este subespacio se transformen entre ellos ) ante una rotacion. En general, estos
subespacios seran relevantes en el caso en que el sistema fsico sea invariante ante
rotaciones. En particular, para sistemas libres que es el tema que nos ocupa en este
curso.
En general, la caracterizacion de los subespacios de H invariantes bajo cier-
tas transformaciones (representaciones irreducibles del grupo de transformaciones
correspondiente) requiere encontrar todos los operadores que conmutan con los gen-
eradores del grupo. A estos operadores se les conoce como operadores de Casimir
(o simplemente Casimires) del grupo y al numero de operadores de Casimir que
existan se le llama el rango del grupo. La caracterizacion del espacio de estados se
hace en base a los subespacios correspondientes a los distintos eigenvalores de los
operadores de Casimir del grupo. Dado que estos conmutan con los generadores
y los subespacios correspondientes a distintos eigenvalores son ortogonales, el op-
erador que implementa la transformaci on en H conmuta con el Casimir (C) del
grupo. En particular, para el grupo de rotaciones tendremos
C[c)
R
= CD
n
()[c) = D
n
()C[c) = c[c)
R
esto es, el estado rotado pertenece al mismo subespacio S
c
y este es por lo tanto
un subespacio invariante ante rotaciones.
2.3. Representaciones irreducibles del grupo de rotaciones.
Caracterizacion del espacio H. Usando las relaciones de conmutacion del grupo
es posible mostrar que el unico operador que puede construirse con los J
i
y que
conmuta con todos ellos es el operador J
2
. Los eigenestados de este operador
pueden usarse para partir el espacio de estados en subespacios S
a
ortogonales
entre si. Estos subespacios son las representaciones i rreducibles (irreps) del grupo
de rotaciones. Dado que J
2
conmuta con todos los J
i
los eigenvalores A de J
2
estar an degenerados (los subespacios S
a
son de dimensi on mayor que uno) por lo
cual una caracterizacion mas precisa de H requiere considerar otro operador que
conmute con J
2
. Claramente, cualquiera de los J
i
, o bien J n, es util para este
prop osito.
Por convencion se escoge a J
3
como parte del CCOC y sus eigenvalores B
caracterizaran la nueva partici on en subespacios de dimension mas baja S
ab
. El
CCOC est a entonces compuesto por

J
2
, J
3

y los correspondientes eigenestados

comunes son [a, b). En caso de que alguno de los subespacios S
ab
sean de dimensi on
mayor que uno, deberemos incorporar mas operadores al CCOC.
El problema se reduce entonces a encontrar los eigenvectores y eigenvalores de
estos operadores J
2
y J
3
. Esto puede hacerse usando metodos algebraicos . En
efecto, consideremos las ecuaciones de eigenvalores:
J
2
[a, b) = a[a, b)J
z
[a, b) = b[a, b)
Denimos los operadores de escalera J

J
x
iJ
y
. Estos operadores satis-
facen las siguientes relaciones:
2. GRUPO DE ROTACIONES 9
[J
+
, J

] =2J
z
, [J
z
, J

] = J

, [J
2
, J

] = 0
ademas
J

J
+
= J
2
x
+J
2
y
i[J
x
, J
y
] = J
2
J
2
z
J
z
J
+
J

= J
2
J
2
z
+ J
z
Por otro lado
J
z
J

[a, b) = ([J
z
, J

] +J

J
z
)[a, b) = (J

+J
+
J
z
)[a, b) = (b )(J

[a, b))
Ademas
J
2
J

[a, b) = J

J
2
[a, b) = aJ

[a, b),
Por lo tanto el estado J

[a, b) es proporcional a [a, b ) . En general, los

estados (J

)
n
[a, b) [a, b +n) donde n es, en principio, un enero cualquiera . Sin
embargo, los eigenvalores de J
z
estas acotados. En efecto
J
2
J
2
z
=
1
2
(J
+
J

+J

J
+
) =
1
2

J
+
(J
+
)

+ (J
+
)

J
+

por lo cual
a, b[J
2
J
2
z
[a, b) =
1
2
(a, b[J
+
(J
+
)

[a, b) +a, b[(J

+
)

J
+
[a, b))
=
1
2
([[J

+
[a, b) +[[J
+
[a, b)[[) 0
por lo tanto
a b
2
0 = b
2
a
y necesariamente existen b
max
y b
min
tales que
J
+
[a, b
max
>= 0 J

[a, b
min
>= 0
J

J
+
[a, b
max
>= 0 = (J
2
J
2
z J
z
)[a, b
max
>= 0
a b
2
max
b
max
= 0 = a = b
max
(b
max
+ )
tambien
J
+
J

[a, b
min
>= (J
2
J
2
z + J
z
)[a, b
min
>= 0
as que
a = b
min
(b
min
)
y nalmente
b
max
(b
max
+h) = b
min
(b
min
) = b
max
= b
min
Ademas, aplicando n veces J
+
a [a, b
min
) obtendremos
[a, b
max
) es decir, (J
+
)
n
[ab
min
) [a, b
max
> para alg un entero n .
10 INTRODUCCI

ON
b
max
= b
min
+n = b
max
=
n
2
= a = h
2
(
n
2
)(
n
2
+ 1)
Por simplicidad denimos j
n
2
de tal forma que b
max
= j y a =
2
j(j + 1).
Por otro lado b
min
= j y b
max
b
min
= n, as que B toma los valores b = m
con m = j, j + 1, ..., j 1, j. En esta notaci on
J
2
[jm) =
2
j(j + 1)[jm), J
z
[jm) = m[jm)
El resultado nal es que los eigenvalores de J
2
toman los valores j(j + 1) donde
j es un entero o semientero, en tanto que, para cada valor de j el eigenvalor de
J
z
toma los valores m donde m = j, j + 1...j 1, j. Las irreps se etiquetan
por simplicidad con el entero j (en lugar del eigenvalor completo
2
j(j + 1) como
S
j
y son subespacios de dimension d = 2j + 1. Estos subespacios son a su vez
caracterizados completamente por el eigenvalor m, es decir los sub-subespacios S
jm
son de dimension uno lo cual nos da una caracterizacion completa del espacio de
estados H.
Para los sistemas con propiedades de transformaci on bien denidas ante rota-
ciones, el vector estado del sistema debe necesariamente pertenecer a uno de los
subespacios S
j
, es decir el estado mas general debe ser una combinaci on lineal de
estados con j jo y diferentes m
[) =
j

j
c
j
m
[jm).
Para estos sistemas, los generadores tienen representaciones matriciales como ma-
trices (2j + 1)(2j + 1).
Para obtener las representaciones matriciales de los operadores en estos sube-
spacios necesitamos calcular los coecientes de proporcionalidad:
J
+
[jm) = C
jm
[j, m + 1)
para ello consideremos los elementos de matriz
= jm[(J
+
)

J
+
[jm) = [C
jm
[
2
= jm[J
2
J
2
2
J
z
[jm) =
2
[j(j + 1) m(m + 1)]
por lo cual,
[C
jm
[ =

j(j + 1) m(m + 1)
J
+
[jm > =

j(j + 1) m(m+ 1)[j, m + 1 >=

(j m)(j +m+ 1)[j, m + 1)

En forma similar
J

[jm >=

(j +m)(j m+ 1)[j, m1)

Con lo cual
jm[J
z
[jm) =
mm
(2.8)
jm[J
+
[jm) =

(j m)(j +m+ 1)
m,m+1
jm[J

[jm) =

(j +m)(j m+ 1)
m,m1
Como ejemplo, calculemos los generadores para el caso j =
1
2
.
2. GRUPO DE ROTACIONES 11
En este caso, m =
1
2
,
1
2
. Por simplicidad denotaremos [
1
2
,
1
2
) [ ) ,[
1
2
,
1
2
)
[ ). Las representaciones de J para esta representacion se obtienen de las relaciones
(2.8), como
jm[J
z
[jm) =

[J
z
[ ) [J
z
[ )
[J
z
[ ) [J
z
[ )

=

2

1 0
0 1

z
,
jm[J
+
[jm) =

[J
+
[ ) [J
+
[ )
[J
+
[ ) [J
+
[ )

=

2

0 1
0 0

+
,
jm[J

[jm) =

[J

[ ) [J

[ )
[J

[ ) [J

[ )

=

2

0 0
1 0

.
De las ultimas dos relaciones obtenemos la representacion matricial para los oper-
adores J
x
y J
y
J
x
=

2

0 1
1 0

x
J
y
=

2

0 i
i 0

y
Esto es, en resumen,
J =

2

donde son las matrices de Pauli que cumplen con las siguientes relaciones
(2.9) [
i
,
j
] = 2i
ijk

k

i
,
j
= 2
ij
.
y cualquier rotacion en el subespacio S1
2
de H puede escribirse como
D
(
1
2
)
n
() = exp(i

2
n) = cosh

2
1 i n sinh

2
.