Conmutador de dos operadores
# Conmutador de dos operadores

Se define el conmutador de dos operadores lineales ${\hat {A}}$ y ${\hat {B}}$, definidos sobre un mismo dominio denso de cierto espacio de Hilbert, como un nuevo operador definido por la diferencia del producto de operadores:

   $[{\hat {A}},{\hat {B}}]={\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}}$

Los conmutadores tienen gran importancia en la definición de las álgebras de Lie y la mecánica cuántica, así como en el formalismo más actual de la geometría diferencial, ya que son la imagen algebraica de las transformaciones infinitesimales multiparamétricas en una variedad diferenciable. La clave de esto es que son operadores que satisfacen una misma relación algebraica que las derivadas, que es una relación a tres variables conocida como identidad de Jacobi.

## Propiedades

* Cuando los operadores actúan sobre un espacio de dimensión finita entonces la traza del conmutador de dos operadores es nula.
* Si el conmutador de dos operadores autoadjuntos es nulo entonces existe una base de Hilbert formada por vectores propios de ambos operadores. Esta propiedad resulta de fundamental importancia en mecánica cuántica a la hora de construir un conjunto completo de observables compatibles (CCOC).

### Identidades

En teoría de grupos $[x,y]:=x^{-1}y^{-1}xy.\,$ Las identidades de los conmutadores son herramientas muy importantes en el estudio de la teoría de grupo,(McKay, 2000, p. 4). La expresión $a^{x}\,$ denota $x^{-1}ax.\,$.

* $x^{y}=x[x,y].\,$
* $[y,x]=[x,y]^{-1}.\,$
* $[xy,z]=[x,z]y+x[y,z]$ y $[x,yz]=[x,y]z+y[x,z].$
* $[x,y^{-1}]=[y,x]^{y^{-1}}$ y $[x^{-1},y]=[y,x]^{x^{-1}}.$
* $[[x,y^{-1}],z]^{y}\cdot [[y,z^{-1}],x]^{z}\cdot [[z,x^{-1}],y]^{x}=1$ y $[[x,y],z^{x}][[z,x],y^{z}][[y,z],x^{y}]=1.$

Identidad 5 es también llamada identidad de Hall-Witt. Análogo a la identidad de Jacobi.

