Étant donné deux éléments A et B d'une algèbre associative (typiquement des opérateurs linéaires), leur commutateur est [A,B] = AB − BA, mesurant leur défaut de commutation.

Principe

Le commutateur quantifie la non-commutativité et confère à l'espace une structure d'algèbre de Lie ; il gouverne les symétries, quantités conservées et générateurs infinitésimaux de transformations.

Démonstration

En mécanique quantique, les opérateurs position et impulsion satisfont [x,p] = iħ I, un commutateur qui sous-tend les relations canoniques de commutation et le principe d'incertitude.

Mauvaise application

Traiter l'algèbre des commutateurs comme si elle était associative ou comme si elle commutait avec la multiplication par des fonctions sans distinction, ce qui peut conduire à des erreurs algébriques, notamment dans l'ordre des opérateurs et le calcul fonctionnel.

Conséquence

Des commutateurs non nuls impliquent que des observables ne peuvent pas être diagonalises simultanément, entraînent des relations d'incertitude et génèrent la dynamique via des crochets commutateurs (par ex. dans la représentation de Heisenberg).

Inversion

Commutateur nul (commutativité) : les opérateurs commutent, peuvent être diagonalises conjointement (sous conditions spectrales appropriées) et n'introduisent pas d'ambiguïtés fondamentales d'ordre.

Limite

Défini dans des algèbres ou anneaux associatifs ; la formalisation par commutateur exclut les produits entièrement non associatifs sauf si un crochet adapté est défini, et il faut prendre garde aux opérateurs non bornés et aux questions de domaine.

Tension sémantique

Commutateur versus anticommutateur : le commutateur mesure la non-commutativité antisymétrique pertinente pour les crochets de Lie, tandis que l'anticommutateur {A,B}=AB+BA capture les combinaisons symétriques importantes en algèbres fermioniques et structures de Clifford.

Synthèse

Le commutateur est le crochet binaire fondamental AB−BA dans les algèbres associatives qui mesure la non-commutativité, organise les relations d'algèbre de Lie et contrôle les conséquences algébriques et dynamiques de l'ordre des opérateurs.