Introducción

1. CARACTERIZACION DE UN SISTEMA CUANTICO Y

SIMETRIAS
En Mecánica Cuántica, las propiedades de los sistemas fı́sicos están contenidas
en el vector de estado |ψi 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 caracterizació n del mismo en términos de los
eigenvalores de cualquier observable. En efecto, los observables fı́sicos en este for-
malismo tienen una representación como operadores hermı́ticos (cuyos eigenvalores
son reales) que actúan sobre el espacio H.
En general es posible mostrar que:
-los eigenestados de un operador hermı́tico 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 Sa pueden etiquetarse
por el eigenvalor correspondiente como |ai. Esta caracterización no es completa
si alguno de los subespacios Sa es de dimension mayor que uno (es decir si ex-
isten eigenvalores del observable A que son degenerados). En tal caso, la car-
acterización completa requiere considerar otro observable B que conmute con el
anterior (de tal forma que los estados |ai sean tambien eigestados de B, asi que
debemos etiquetarlos con los eigenvalores B de B, denotarlos por |a, bi y a los
subespacios correspondientes por Sab ) y que distinga los estados degenerados del
observable A. Si aún alguno de los subespacios Sab son de dimension mayor que
uno, es necesario considerar un nuevo observable $C$, que conmute con los dos
anteriores. El proceso continúa hasta que los subespacios Sabc sean de dimension
uno, en cuyo caso tenemos una caracterización completa del espacio de estados
H ya que todos los estados están debidamente etiquetados por |a, b, c, di. A los
operadores{A, B, C, D.}. se le denomina conjunto completo de observables que con-
mutan (CCOC). Claramente esta caracterización es democrática respecto de los
operadores a usar y puede implementarse con distintos conjuntos de operadores.
Sin embargo, la evolución temporal de los estados estádictada por el hamiltoniano
H y esto le da un rol especial a este operador. Dado que estamos interesados en
la descripción dinámica de los sistemas fı́sicos, en la práctica 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ÓN

fı́sicas deben ser constantes de movimiento. Por otro lado, como veremos mas ade-
lante, las constantes de movimiento generan transformaciones de simetrı́a para el
sistema fı́sico, por lo que la caracterización de un sistema cuántico se hace en base
a todas las simetrı́as del sistema. Esta es la profunda conexión entre simetrı́as y
dinámica que aunque tiene su contraparte en mecánica clásica, se muestra en toda
su desnudez y esplendor en mecánica cuántica.
En este curso estaremos interesados en la caracterización de sistemas cuánticos
elementales (partı́culas) libres. Para estos sistemas, las únicas simetrı́as posibles son
aquellas relacionadas con las propiedades del espacio-tiempo, por lo cual es posible
obtener una caracterización completa de los mismos. El punto de partida es la
suposición mas que razonable de que el espacio-tiempo sea homogeneo e isotrópico
(en realidad en este trabajo usamos solo la isotropı́a) y que las leyes de la fiı́sica
tengan una descripción independiente del observador (principio de relatividad).
Como sabemos, la suposición de isotropiı́a y homogeneidad del espacio bastan en
mecánica clásica para que la energı́a, el momento lineal y el momento angular de un
sistema cerrado de partı́culas, con interacciones centrales entre ellas, se conserven.
Empezaremos por explorar los aspectos relacionados con la isotropı́a del espacio
y sus consecuancias a nivel clásico y cuántico.

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ón privilegiada en el espacio, por lo cual,
sea cual fuere su descripción formal, ésta debe ser independiente de la orientación
en el espacio. En otras palabras, en el caso de un sistema cuántico, una rotación
en el espacio de estados no afectarı́a al sistema en absoluto, esto es, la descripción
deberáser invariante ante rotaciones. Dado que una rotación en el espacio de esta-
dos no es mas que un reflejo de la rotación efectuada sobre nuestro sistema fı́sico,
que vive en R3 , empezaremos por estudiar rotaciones en este espacio.
Una rotación general en el espacio tridimensional es una transformacion lineal
de la forma

0
r =R r
donde R es el operador que implementa la rotación. Estos operadores
cumplen las siguientes propiedades:
(1) La aplicacion sucesiva de dos rotaciones es una rotación (cerradura), esto
es, si R1 y R2 son dos rotaciones, entonces R3 ≡ R1 R2 es también una
rotación.
(2) La aplicación sucesiva de tres rotaciones es asociativa, esto es, R1 (R2 R3 ) =
(R1 R2 )R3 .
(3) Existe una transformacion que deja al sistema en la misma configuración
(transformacion identidad). Denotaremos a esta rotación simplemente por
.
(4) Para cada rotación R, existe la transformacion inversa, es decir, una trans-
formacion que regresa el sistema a la configuración original. Esta trans-
formación, que denotaremos R−1 , satisface RR−1 = R−1 R = 1.
Estas propiedades definen 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
representación matricial de las mismas. En general, si el espacio lineal sobre el que
se efectúan las transformaciones es de dimension n, los operadores que implementan
las transformaciones tienen una representación en el espacio de las matrices n × n.
En nuestro caso, el espacio sobre el que se efectuan las rotaciones es el espacio fı́sico
R3 por lo que las matrices correspondientes son matrices 3 × 3. Dado que ante una
rotación la distancia al origen se conserva,
0 0
r t r = rt r
tendremos
Rt R = RRt = 1
por lo que, para el espacio fı́sico, R tiene una representacion en el espacio de las

matrices ortogonales de dimensión 3 × 3. Estas matrices forman un grupo denotado

por SO(3) .
Consideremos una rotación de el vector r alrededor del eje z en un ángulo ϕ.
Esta rotación tiene la forma:
 0    
x cos ϕ −senϕ 0 x
 y 0  =  senϕ cos ϕ 0   y 
0
z 0 0 1 z
por lo que la representacion matricial de esta rotación es
 
cos ϕ −senϕ 0
(2.1) Rz (ϕ) =  senϕ cos ϕ 0 
0 0 1
Similarmente, las matrices para rotaciones alrededor de los ejes x, y son
   
1 0 0 cos θ 0 −senθ
(2.2) Rx (φ) =  0 cos φ −senφ  , Ry (θ) =  0 1 0 
0 senφ cos φ 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 Rx (φ)Ry (θ) 6= Ry (θ)Rx (φ). El grupo de rotaciones SO(3)es
no-Abeliano . Este es un grupo de Lie, es decir, un grupo con un número infinito de
elementos, pero los elementos del grupo pueden ser caracterizados por un conjunto
finito de parámetros que toman valores en un intervalo continuo. Una rotación gen-
eral tiene tres parámetros. En efecto, aunque R tiene nueve elementos, la condición
de ortogonalidad impone seis condiciones sobre ellos; de esta forma, tenemos tres
parámetros de grupo, los cuales pueden elegirse arbitrariamente. Una posibilidad
es la caracterización de las rotaciones dada en las Ecs.(2.1,2.2). En este caso, los
parámetros son los ángulos ϕ, φ y θ que toman valores entre 0 y 2π.
La caracterización 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 rotación Rx (φ) para el caso en que φ es pequeño (transformación
infinitesimal).
En este caso, tendremos una expansión de la forma
4 INTRODUCCIÓN

Rx (φ) = 1 − iφ Jx + O(φ2 )
donde el operador Jx está definido por
 
0 0 0
dRx
(2.3) Jx = i |φ=0 =  0 0 −i  ó (Jx )ij = −i1ij
dφ
0 i 0
Por otro lado la ley de composición para dos rotaciones finitas requiere
0 0
Rx (φ)Rx (φ ) = Rx (φ + φ )
0 0
Diferenciando esta igualdad respecto a φ , tomando φ = 0 y usando la relación(
2.3) tendremos
dR(φ)
−iJx Rx (φ) =
dφ
Esta es una ecuación diferencial matricial para Rx (φ) cuya solución formal es
∞ n
X (−iφ) n
Rx (φ) = exp(−iφJx ) ≡ (Jx )
n=0
n!
Al operador Jx se le denomina generador de rotaciones infinitesimales alrededor
del eje x. La generalización de este resultado a una rotación alrededor de un eje
arbitrario n, en un angulo αes

∞ n
X (−iα) n
(2.4) Rn (α) = exp(−iα J · n) ≡ (J · n)
n=0
n!

donde J = (Jx , Jy , Jz ) y los generadores para rotaciones alrededor de los ejes

son

 
0 0 i
dRy
Jy = i |θ=0 =  0 0 0  ó (Jy )ij = −i2ij
dθ
−i 0 0
 
0 −i 0
dRz
Jz = i |ϕ=0 =  i 0 0  ó (Jz )ij = −i3ij
dϕ
0 0 0
La demostración de la validez de la Ec.(2.4) requiere considerar el desplaza-
miento real producido al rotar el vector r en un ángulo pequeño α alrededor de un
eje general dado por el vector unitario n. El desplazamiento es perpendicular al
plano definido por r y n y de magnitud r sinθ α, donde θ es el angulo entre r y n.
Esto se resume en la ecuación vectorial

δr = n × rα
i.e.
0
r = r+α n × r
o en coordenadas
 2. GRUPO DE ROTACIONES 5

0
(2.5) xi = xi + α ikj nk xj = xi − α ijk nk xj
donde ijk es el tensor de Levi-Civita. La Ec.(2.5) puede ser reescrita como
0
xi = (δij − α ijk nk )xj
mostrando que

[Rn (α)]ij = δij − α ijk nk ≡ δij − iα (Gn )ij

donde

(Gn )ij = −iijk nk = (Jk )ij nk

Por lo que

Gn = J · n
De este modo, la matriz para una rotación finita general Rn (α) está dada por
la ecuación (2.4). Nótese que el generador general Gn es también hermitiano y con
traza nula, garantizando ası́ que Rn (α) es ortogonal y tiene determinante unitario.
Los generadores infinitesimales para el grupo de rotaciones pueden resumirse
en

(2.6) (Jk )ij = −iijk

Estos generadores son tambien Hermitianos (G† = G ). Esto es una conse-
cuencia de la unitaridad (ortogonalidad) de R. En efecto, para la rotacion Rz
tenemos
†
1=Rz (ϕ)Rz (ϕ) = (1 − iϕJz )(1 + iJz† ) = 1+iϕ(Jz + Jz† ) + O(ϕ2 )
y por lo tanto Jz† = Jz . En forma similar se muestra que Ji† = Ji . Cabe notar que
la traza nula de Ji es una consecuencia del hecho que Ri es una matriz ortogonal
especial, esto es, con determinante unitario.
2.1. Algebra de Lie del grupo de rotaciones. En general, un grupo es
especificado por sus leyes de composición: 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ácontenida en los generadores.
En particular, la ley de composición del grupo se manifiesta en las relaciones de
conmutación que satisfacen los generadores. En el caso del grupo de rotaciones
podemos calcular esta algebra de las representaciones especificas obtenidas en la
Ec(2.6). El resultado para J1 , J2 es:
[J1 , J2 ] = iJ3 .
Las otras relaciones pueden ser obtenidas de igual manera, y corresponden a las
permutaciones cı́clicas de la anterior. De hecho todas las relaciones de conmutación
pueden resumirse como

(2.7) [Ji , Jj ] = iijk Jk .

6 INTRODUCCIÓN

Estas relaciones definen el algebra de Lie del grupo de rotaciones y resume

todas las propiedades de las rotaciones en el espacio fı́sico R3 .
Hasta aquı́ la discusión se ha centrado en las rotaciones de vectores en el espacio
fı́sico R3 , sin ninguna conexión con la dinámica. Dado que las leyes de la mecánica
clásica no-relativista pueden escribirse en el lenguaje vectorial ( leyes de Newton),
surge la pregunta de cuales son las consecuencias de rotar un sistema fı́sico. En
general, el ”estado” de un sistema clásico puntual no-relativista, esta caracterizado
por los valores de las variables cinemáticas r y p y la dinámica esta dada por
dp
F=
dt
donde es una cuantificación 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 fı́sico (interacciones incluidas) es invariante ante un grupo de transfor-
maciones de Lie, entonces existe una cantidad conservada por cada generador del
grupo. Aunque la caracterización de un sistema clásico en base exclusivamente a sus
simetrı́as 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 caracterización
de los sistemas elementales libres.

2.2. Rotaciones en Mecánica Cuántica. 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 simetrı́a del sistema. En general para sistemas que son invariantes bajo
rotaciones los generadores de éstas 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
Mecánica Cuántica H.
Dado que las rotaciones en general afectan al sistema fı́sico, 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 rotación R del sistema fı́sico (localizado
en el espacio fı́sico R3 ), corresponde una rotación en el espacio H.
Denotemos por D(Rn ) al operador que efectúa esta rotación
|ψiR = D[Rn (α)]|ψi ≡ Dn (α)|ψi
donde |ψiR , |ψi 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 rotación R sobre el espacio fı́sico R3 , es posible
construir representaciones matriciales para los operadores Dn (α) que actúan sobre
el espacio de estados H, ya que éste es un espacio lineal.
Como ya hemos visto, la estructura de todo grupo de Lie está resumida en el
álgebra de Lie del mismo, asi que debemos enfocarnos a obtener esta álgebra. Antes,
debemos recalcar que hay diferencias globales fundamentales entre las rotaciones
en R3 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 R3 que es real) la
invariancia ante rotaciones del módulo 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 rotación Dn (α), consideremos el operador corre-
spondiente a una rotación infinitesimal. El operador apropiado puede ser escrito
como
Dn (α) = 1 − iαGn
donde Gn es el generador al que la condición de unitareidad de D le impone el
que sea un operador hermitico. Siguiendo los resultados obtenidos en mecánica
clásica, donde el momento angular es el generador de rotaciones infinitesimales, y la
conexión entre simetrı́as y la carcterización de un sistema cuántico mencionados en
la introducción de estas notas, definimos al momento angular como aquel operador
que genera las rotaciones en el espacio de estados H. Ası́, el operador de momento
angular Ji , será el generador para una rotación infinitesimal alrededor del eje ei .
Dado que clasicamente J tiene unidades de acción (energia-seg) la relación entre J
y Gn será lineal con una constante de proporcionalidad con estas unidades, es decir
J·n
Gn =
~
donde ~ tiene unidades de acción. El operador de rotacion correspondiente a
una rotacion en un angulos α alrededor del eje n es entonces
J·n
Dn (α) = 1 − iα
~
Enfatizamos el hecho de que el operador de momento angular no se define como
r × p, sino por medio de la relación anterior.
El álgebra de Lie del grupo puede encontrarse de la siguiente manera: hemos
mostrado que la invariancia de el producto interno hψ|ψi impone la restricción
del que el operador Dn (α) sea unitario. Consideremos ahora el efecto de una
rotación sobre un observable con propiedades bien definidas bajo rotaciónes en
el espacio fı́sco R3 , especı́ficamente cualquier observable vectorial v (r, p, etc.).
Este observable fisico se transforma ante rotaciones como viR = Rij vj donde R
es la rotación en el espacio fı́sico. La accion de la rotación sobre el operador
correspondiente V la obtenemos de la acción de las transformaciones sobre los
estados
†
R hψ|Vi |ψiR = hψ|Dn (α)Vi Dn (α)|ψi
Dado que el operador V representa la acción del observable v, pedimos que V
tenga las mismas propiedades de transformación que v, esto es
Dn† (α)Vi Dn (α) = Rij Vj
Para una rotación ifinitesimal tendremos
J·n J·n
(1 + i )Vi (1 − i ) = Rij Vj = (δij − α ijk nk )Vj
~ ~
De esta relación obtenemos que cualquier operador vectorial V debe satisfacer
[Ji , Vj ] = iijk Vk
En particular, el momento angular se transforma ante rotaciones como un vector en
el espacio fı́sico por lo que los operadores correspondientes que actúan en el espacio
de estados deben satisfacer el álgebra

[Ji , Jj ] = iijk Jk
8 INTRODUCCIÓN

Estas son las mismas relaciones que las obtenidas para los generadores de rota-
ciones en el espacio fı́sico Ec.(2.7). Sin embargo, recordemos que en general la
representacion matricial de los operadores depende de la dimensión del espacio
sobre los que éstos actúan. Asi, en general la dimensión de los operadores que
implementan las rotaciones en H es infinita. 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 rotación. En general, estos
subespacios serán relevantes en el caso en que el sistema fı́sico 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 caracterización 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ón en H conmuta con el Casimir (C) del
grupo. En particular, para el grupo de rotaciones tendremos
C|ciR = CDn (α)|ci = Dn (α)C|ci = c|ciR
esto es, el estado rotado pertenece al mismo subespacio Sc y éste es por lo tanto
un subespacio invariante ante rotaciones.
2.3. Representaciones irreducibles del grupo de rotaciones.
Caracterización del espacio H. Usando las relaciones de conmutación del grupo
es posible mostrar que el unico operador que puede construirse con los Ji y que
conmuta con todos ellos es el operador J2 . Los eigenestados de este operador
pueden usarse para ”partir” el espacio de estados en subespacios Sa ortogonales
entre si. Estos subespacios son las representaciones i rreducibles (irreps) del grupo
de rotaciones. Dado que J2 conmuta con todos los Ji los eigenvalores A de J2
estarán degenerados (los subespacios Sa son de dimensión mayor que uno) por lo
cual una caracterización mas precisa de H requiere considerar otro operador que
conmute con J2 . Claramente, cualquiera de los Ji , o bien J · n, es útil para este
propósito.
Por convención se escoge a J3 como parte del CCOC y sus eigenvalores B
caracterizaran la nueva partición en subespacios de dimension mas baja Sab . El
CCOC está entonces compuesto por J2 , J3 y los correspondientes eigenestados

comunes son |a, bi. En caso de que alguno de los subespacios Sab sean de dimensión
mayor que uno, deberemos incorporar mas operadores al CCOC.
El problema se reduce entonces a encontrar los eigenvectores y eigenvalores de
estos operadores J2 y J3 . Esto puede hacerse usando métodos algebraicos . En
efecto, consideremos las ecuaciones de eigenvalores:

J2 |a, bi = a|a, biJz |a, bi = b|a, bi

Definimos los ”operadores de escalera” J± ≡ Jx ± iJy . Estos operadores satis-
facen las siguientes relaciones:
 2. GRUPO DE ROTACIONES 9

[J+ , J− ] =2~Jz , [Jz , J± ] = ±~J± , [J2 , J± ] = 0

además

J− J+ = Jx2 + Jy2 − i[Jx , Jy ] = J2 − Jz2 − ~Jz

J+ J− = J2 − Jz2 + ~Jz
Por otro lado

Jz J± |a, bi = ([Jz , J± ] + J± Jz )|a, bi = (±~J± + J+ Jz )|a, bi = (b ± ~)(J± |a, bi)

Además

J2 J± |a, bi = J± J2 |a, bi = aJ± |a, bi,

Por lo tanto el estado J± |a, bi es proporcional a |a, b ± ~i . En general, los
estados (J± )n |a, bi ≈ |a, b + n~i donde n es, en principio, un enero cualquiera . Sin
embargo, los eigenvalores de Jz estas acotados. En efecto
1 1
J2 − Jz2 = J+ (J+ )† + (J+ )† J+


(J+ J− + J− J+ ) =
2 2
por lo cual

1
ha, b|J2 − Jz2 |a, bi = (ha, b|J+ (J+ )† |a, bi + ha, b|(J+ )† J+ |a, bi)
2
1 †
= (||J+ |a, bi + ||J+ |a, bi||) > 0
2
por lo tanto

a − b2 > 0 =⇒ b2 ≤ a
y necesariamente existen bmax y bmin tales que

J+ |a, bmax >= 0 J− |a, bmin >= 0

J− J+ |a, bmax >= 0 =⇒ (J2 − J2 z − ~Jz )|a, bmax >= 0

a − b2max − ~bmax = 0 =⇒ a = bmax (bmax + ~)

también

J+ J− |a, bmin >= (J2 − J2 z + ~Jz )|a, bmin >= 0

ası́ que

a = bmin (bmin − ~)
y finalmente

bmax (bmax + h) = bmin(bmin − ~) =⇒ bmax = −bmin

Además, aplicando n veces J+ a |a, bmin i obtendremos
|a, bmax i es decir, (J+ )n |abmin i ≈ |a\, bmax > para algún entero n .
10 INTRODUCCIÓN

n~ n n
bmax = bmin + n~ =⇒ bmax = =⇒ a = h2 ( )( + 1)
2 2 2
Por simplicidad definimos j ≡ n2 de tal forma que bmax = ~j y a = ~2 j(j + 1).
Por otro lado bmin = −~j y bmax − bmin = n~, ası́ que B toma los valores b = m~
con m = −j, −j + 1, ..., j − 1, j. En esta notación

J2 |jmi = ~2 j(j + 1)|jmi, Jz |jmi = ~m|jmi

2
El resultado final es que los eigenvalores de J toman los valores ~j(j + 1) donde
j es un entero o semientero, en tanto que, para cada valor de j el eigenvalor de
Jz 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
Sj 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 Sjm
son de dimension uno lo cual nos da una caracterización completa del espacio de
estados H.
Para los sistemas con propiedades de transformación bien definidas ante rota-
ciones, el vector estado del sistema debe necesariamente pertenecer a uno de los
subespacios Sj , es decir el estado mas general debe ser una combinación lineal de
estados con j fijo y diferentes m
j
X
|ψi = cjm |jmi.
−j
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 coeficientes de proporcionalidad:
J+ |jmi = Cjm |j, m + 1i
para ello consideremos los elementos de matriz
= hjm|(J+ )† J+ |jmi = |Cjm |2
= hjm|J2 − J22 − ~Jz |jmi = ~2 [j(j + 1) − m(m + 1)]
por lo cual,

p
|Cjm | = ~ j(j + 1) − m(m + 1)
p p
J+ |jm > = ~ j(j + 1) − m(m + 1)|j, m + 1 >= ~ (j − m)(j + m + 1)|j, m + 1i
En forma similar
p
J− |jm >= ~ (j + m)(j − m + 1)|j, m − 1i
Con lo cual
(2.8) hjm´|Jz |jmi = ~δm´m
p
hjm´|J+ |jmi = ~ (j − m)(j + m + 1)δm´,m+1
p
hjm´|J− |jmi = ~ (j + m)(j − m + 1)δm´,m−1
Como ejemplo, calculemos los generadores para el caso j = 21 .
 2. GRUPO DE ROTACIONES 11

En este caso, m = 12 , − 12 . Por simplicidad denotaremos | 12 , 12 i ≡ | ↑i ,| 12 , − 21 i ≡

| ↓i. Las representaciones de J para esta representacion se obtienen de las relaciones
(2.8), como
   
h↑ |Jz | ↑i h↑ |Jz | ↓i ~ 1 0 ~
hjm´|Jz |jmi = = ≡ σz ,
h↓ |Jz | ↑i h↓ |Jz | ↓i 2 0 −1 2
   
h↑ |J+ | ↑i h↑ |J+ | ↓i ~ 0 1 ~
hjm´|J+ |jmi = = ≡ σ+ ,
h↓ |J+ | ↑i h↓ |J+ | ↓i 2 0 0 2
   
h↑ |J− | ↑i h↑ |J− | ↓i ~ 0 0 ~
hjm´|J− |jmi = = ≡ σ− .
h↓ |J− | ↑i h↓ |J− | ↓i 2 1 0 2
De las ultimas dos relaciones obtenemos la representación matricial para los oper-
adores Jx y Jy
   
~ 0 1 ~ ~ 0 −i ~
Jx = ≡ σx Jy = σy
2 1 0 2 2 i 0 2
Esto es, en resumen,
~
J= σ
2
donde σ son las matrices de Pauli que cumplen con las siguientes relaciones
(2.9) [σi , σj ] = 2iijk σk {σi , σj } = 2δij .
y cualquier rotación en el subespacio S 21 de H puede escribirse como
(1) σ α α
Dn2 (α) = exp(−iα ·n) = cosh 1 − iσ · n sinh .
2 2 2