Une assertion dans l'algèbre des opérateurs indiquant que certaines paires d'observables quantiques ne commutent pas ; dans sa forme non relativiste standard pour un degré de liberté, [x̂, p̂] = iħI, où x̂ est la position, p̂ le moment canonique, [ , ] le commutateur et I l'opérateur identité.

Principe

Encode la non-commutativité fondamentale résultant de la quantification de variables conjuguées classiques, reliant la structure algébrique (commutateurs d'opérateurs) aux générateurs dynamiques et à la règle de quantification canonique issue des crochets de Poisson.

Démonstration

Dans la représentation de la position p̂ = −iħ d/dx et x̂ = x agissant sur des fonctions d'onde ψ(x), on calcule (x̂ p̂ − p̂ x̂)ψ(x) = iħ ψ(x), donnant [x̂, p̂] = iħI sur le domaine dense commun.

Mauvaise application

Interpréter la relation de commutation comme une identité universelle sans tenir compte des domaines d'opérateurs, de l'auto-adjonction ou des conditions aux limites peut conduire à des conclusions erronées, en particulier pour des opérateurs non bornés ou sur des variétés.

Conséquence

Conduit directement aux relations d'incertitude de Heisenberg, détermine les propriétés spectrales et de représentation de l'algèbre des observables, et restreint les mesures et préparations simultanées possibles.

Inversion

Si deux opérateurs commutent, leur commutateur s'annule et ils peuvent en principe être diagonalises simultanément ; les observables classiques correspondent à des variables commutantes au sens des crochets de Poisson avant quantification.

Limite

S'applique aux paires canoniques dans les schémas de quantification standard pour systèmes non relativistes ; des modifications sont nécessaires en théorie quantique des champs, pour des espaces de phase contraints, pour des systèmes topologiques ou lorsque les domaines d'opérateurs ne se recouvrent pas.

Tension sémantique

Une tension existe entre le commutateur algébrique [·,·] employé en théorie des opérateurs quantiques et le crochet de Poisson classique {·,·} : la quantification remplace iħ{·,·} par des commutateurs mais des subtilités apparaissent pour l'ordre des opérateurs et les systèmes contraints.

Synthèse

La relation de commutation canonique est le noyau algébrique de la quantification canonique : elle formalise le remplacement des relations conjuguées classiques par une algèbre d'opérateurs non commutative, fondement de l'incertitude, de la dynamique et des représentations d'observables.