Definición
El conmutador de dos operadores A y B es [A,B] = AB − BA. Cuantifica su no conmutatividad y desempeña un papel central en la cinemática y dinámica cuánticas.
Principio
Principio
Los conmutadores no nulos indican la imposibilidad de diagonalizar simultáneamente observables, generan relaciones de incertidumbre y aparecen en las ecuaciones de movimiento mediante la ecuación de Heisenberg dO/dt = (i/ħ)[H,O] + ∂O/∂t.
Demostración
Demostración
Ejemplo familiar: posición x y momento p satisfacen [x,p] = iħ I, lo que conduce directamente a la relación de incertidumbre canónica Δx Δp ≥ ħ/2. Para operadores de espín, [Sx,Sy] = iħ Sz cíclicamente.
Aplicación incorrecta
Aplicación incorrecta
Tratar conmutadores de forma puramente algebraica sin comprobar dominios en operadores no acotados, o asumir que [A,B]=0 implica diagonalización simultánea en presencia de degeneración; ambas suposiciones llevan a inferencias físicas incorrectas.
Consecuencia
Consecuencia
El uso correcto proporciona cotas de incertidumbre, reglas de selección y determina la estructura algebraica de observables y generadores de simetría; las relaciones de conmutación fijan las reglas de cuantización canónica.
Inversión
Inversión
La noción opuesta es el anticonmutador, que simetriza productos de operadores en lugar de medir su fallo para conmutar; los corchetes de Poisson clásicos son el análogo clásico pero difieren en factores y límites.
Límite
Límite
El álgebra de conmutadores es formal salvo que se especifiquen dominios y cuestiones de cierre para operadores no acotados; en dimensiones infinitas aparecen sutilezas como intersecciones de dominios y distribuciones.
Tensión semántica
Tensión semántica
Conmutador versus corchete de Poisson o corchete clásico: el conmutador tiende a iħ veces el corchete de Poisson en el límite clásico para observables adecuados, pero son estructuras conceptualmente distintas.
Síntesis
Síntesis
El conmutador [A,B]=AB−BA es la medida algebraica de la no conmutatividad que subyace a la incertidumbre cuántica, a la estructura de las álgebras de operadores y que aparece directamente en leyes dinámicas y en recetas de cuantización.