L^xL^x\hat{L}_{x} y L^yL^y\hat{L}_{y} no se desplazan... ¿o sí?

Entonces L ^ X y L ^ y no conmutar:

[ L ^ X , L ^ y ] = i L ^ z

Pero, ¿y si realizamos esta operación en un estado tal que:

L ^ z ϕ yo , metro yo = metro yo ϕ yo , metro yo ,
donde lo requerimos metro yo = 0 , entonces

L ^ z ϕ yo , metro yo = 0.

Por lo tanto, para el caso metro yo = 0,

[ L ^ X , L ^ y ] ϕ yo , metro yo = 0 ,
y de ahí L ^ X y L ^ y compartir estados propios! ¿Esto funciona?

Sí, eso funciona. No conmutan como operadores en todo el espacio , es decir, no comparten una base de vectores propios. No está prohibido que compartan vectores propios en absoluto.
¿No sería realmente eso [ L ^ X , L ^ y ] ϕ metro yo = 0 = 0 ? Lo que no significa que L ^ X , & L ^ y viajan, solo que ellos viajan con ϕ metro yo = 0 .
Sí, tienes razón, Kyle, creo. ¡Y gracias a los dos!
[ L ^ X , L ^ y ] ϕ metro yo = 0 = 0 no significa eso [ L ^ X , L ^ y ] = 0 . Entonces, esos dos operadores no se conmutan entre sí. También, L ^ X y L ^ y NO se desplaza con ϕ metro yo = 0
Para decirlo de otra manera: cada operador lineal O tiene un subespacio de vectores para el cual O v = 0 , llamado su espacio nulo o kernel . A veces, este subespacio es trivial (es decir, solo el vector cero), a veces es un subespacio propio y, a veces, es el espacio completo (cuando el operador es el operador cero). Lo que ha encontrado es que el núcleo del operador O = [ L ^ X , L ^ y ] no es trivial, pero para que dos operadores conmuten, el núcleo del conmutador debe ser todo el espacio.
@ACuriousMind, ¿podría ampliar ese comentario como una respuesta para que pueda ser aceptado y todos podamos irnos a casa?

Respuestas (2)

Desarrollando el comentario de ACruiosMind, suponga que las matrices A y B se definen de la siguiente manera:

A = ( 1 2 5 4 ) y B = ( 1 1 1 1 )

Observe que los vectores propios de A son

( 1 5 / 2 ) y ( 1 1 )

y los vectores propios de B son degenerados y su único vector propio es

( 1 1 )

Sin embargo, como puede verificar fácilmente, el conmutador no desaparece, es decir

[ A , B ] = ( 7 7 7 7 )

Esto muestra que aunque uno de los vectores propios de las matrices (si quiere operadores) es el mismo, no conmutan.

A pesar de [ L X ^ , L y ^ ] ϕ yo , metro yo = 0 , ϕ yo , metro yo Es ninguno L X ^ es ni L y ^ estado propio de .