この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "交換関係" 量子力学 ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2015年3月）

量子力学における交換関係（こうかんかんけい、英: commutation relation）とは、演算子としてあらわされた物理量が満たす量子力学特有の関係である。
定義

二つの演算子（ A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} とする）に対して、 A ^ B ^ − B ^ A ^ ≡ [ A ^ , B ^ ] {\displaystyle {\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}}\equiv [{\hat {A}},{\hat {B}}]}

を交換子 (英: commutator) と言う。交換子も演算子であり、特に A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} がともにエルミートであるとき、交換子は歪エルミートとなる。量子力学において、この交換子を規定する関係が交換関係である。

普通の数はかける順序を逆にしても値は同じだが、量子力学における演算子は必ずしもそうではなく、 [ A ^ , B ^ ] {\displaystyle [{\hat {A}},{\hat {B}}]} が 0 {\displaystyle 0} にならない場合がある。 [ A ^ , B ^ ] = 0 {\displaystyle [{\hat {A}},{\hat {B}}]=0} のとき、 A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} は可換である、あるいは A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} は交換するという。 [ A ^ , B ^ ] ≠ 0 {\displaystyle [{\hat {A}},{\hat {B}}]\neq 0} のとき、 A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} は非可換である、あるいは A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} は交換しないという。

A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} が可換なことと A ^ {\displaystyle {\hat {A}}} , B ^ {\displaystyle {\hat {B}}} の同時固有状態が存在することは等価である。
性質

交換子で定義される交換関係は次の性質を満たす。

[ A ^ , A ^ ] = 0 {\displaystyle [{\hat {A}},{\hat {A}}]=0}

[ A ^ , B ^ ] = − [ B ^ , A ^ ] {\displaystyle [{\hat {A}},{\hat {B}}]=-[{\hat {B}},{\hat {A}}]} （交代性）

[ A ^ , B ^ + C ^ ] = [ A ^ , B ^ ] + [ A ^ , C ^ ] {\displaystyle [{\hat {A}},{\hat {B}}+{\hat {C}}]=[{\hat {A}},{\hat {B}}]+[{\hat {A}},{\hat {C}}]} （線形性）

[ A ^ , B ^ C ^ ] = [ A ^ , B ^ ] C ^ + B ^ [ A ^ , C ^ ] {\displaystyle [{\hat {A}},{\hat {B}}{\hat {C}}]=[{\hat {A}},{\hat {B}}]{\hat {C}}+{\hat {B}}[{\hat {A}},{\hat {C}}]} （ライプニッツ則）

[ [ A ^ , B ^ ] , C ^ ] + [ [ B ^ , C ^ ] , A ^ ] + [ [ C ^ , A ^ ] , B ^ ] = 0 {\displaystyle [[{\hat {A}},{\hat {B}}],{\hat {C}}]+[[{\hat {B}},{\hat {C}}],{\hat {A}}]+[[{\hat {C}},{\hat {A}}],{\hat {B}}]=0} （ヤコビの恒等式）

正準交換関係

演算子には物理量に対応するものがあり、特に正準共役な変数同士の交換関係を正準交換関係 (英: canonical commutation relations, CCR) と言う。正準共役な関係にある、座標 q ^ j {\displaystyle {\hat {q}}_{j}} と運動量 p ^ k {\displaystyle {\hat {p}}_{k}} で、 [ q ^ j , p ^ k ] = q ^ j p ^ k − p ^ k q ^ j = i ℏ δ j k {\displaystyle [{\hat {q}}_{j},{\hat {p}}_{k}]={\hat {q}}_{j}{\hat {p}}_{k}-{\hat {p}}_{k}{\hat {q}}_{j}=i\hbar \delta _{jk}}

という 交換関係が成り立つ（ ℏ = h / 2 π {\displaystyle \hbar =h/2\pi } で h {\displaystyle h} はプランク定数）。