En P. 692 de 'Quantum Mechanics' de Cohen-Tannoudji, afirma que:
Toda rotación finita se puede descomponer en un número infinito de rotaciones infinitesimales, ya que el ángulo de rotación puede variar continuamente, y ya que:
dónde es una rotación infinitesimal sobre el eje . Así, el estudio del grupo de rotación puede reducirse a un examen de rotaciones infinitesimales.
Aquí, representa una rotación geométrica , es decir, actúa sobre el espacio de coordenadas , y con él está asociado un operador de rotación que actúa sobre el espacio de estados.
En particular, usa esta formulación con rotaciones infinitesimales para luego mostrar que el operador de rotación para una rotación infinitesimal sobre es:
dónde es el operador de momento angular total. A partir de esto, se puede demostrar que el operador de rotación para algún ángulo finito es:
Un ejemplo bien conocido de tal operador de rotación es cuando , es decir, el momento angular consiste solo en espín, y cuando sólo se permite tomar valores semienteros, como o . En este caso, se puede demostrar que , en vez de , como se obtiene en el caso de partículas de espín entero.
Cohen-Tannoudji explica esto en parte por el hecho de que construimos nuestro operador de rotación de ángulo finito a partir de una composición de operadores de rotación infinitesimales, con la nota al pie:
Sin embargo, limitándonos a rotaciones infinitesimales, perdemos de vista una propiedad 'global' del grupo de rotación finito: el hecho de que una rotación a través de un ángulo de es la transformación de la identidad. Los operadores de rotación construidos a partir de operadores infinitesimales no siempre tienen esta propiedad global. En ciertos casos (y aquí se refiere a partículas de espín-1/2), el operador asociado con un la rotación no es el operador unitario sino su opuesto.
No me queda inmediatamente claro a partir de la construcción que dio por qué los posibles valores de y el hecho de que usamos operadores infinitesimales para construir uno finito debe estar relacionado. ¿Cómo surge esta relación?
Diferentes grupos de Lie pueden tener el mismo (hasta el isomorfismo) álgebra de Lie. Este es el caso de, digamos, y , siendo este último la cubierta universal de 2 del primero. Cuando te dan un álgebra de mentira y quieres integrarlo a un grupo de Lie teniendo como álgebra de Lie, terminarás con un grupo simplemente conectado. Por lo tanto, si comienzas con y determinar su álgebra de Lie , su integración te dará , que está simplemente conectado y, de hecho, es la cubierta 2 de .
Digamos que no conocías la mecánica cuántica y no tenías idea de qué es un espinor. Te dan un "operador" que gira las cosas. Una de las suposiciones más básicas que hará es que una rotación de no cambia nada Esto es realmente bastante razonable.
Como dijo @Phoenix87, podemos identificar tiene un álgebra de Lie isomorfa a la de . Encontramos que para todo entero y medio entero existe un irrep
Ingenuamente uno esperaría
De la forma infinitesimal del operador de rotación, esto no está claro. Necesitamos la versión finita.
Debo mencionar que tenemos una restricción topológica colocada sobre las rotaciones:
ryan unger
anon1802
qmecanico