Sstrhsrtj

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（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^jp^k−p^kq^j=iℏδjk{displaystyle [{hat {q}}_{j},{hat {p}}_{k}]={hat {q}}_{j}{hat {p}}_{k}-{hat {p}}_{k}{hat {q}}_{j}=ihbar delta _{jk}}

という 交換関係が成り立つ（ℏ=h/2π{displaystyle hbar =h/2pi }で h{displaystyle h} はプランク定数）。勿論、古典論では上記の結果はゼロ（[q^,p^]=0{displaystyle [{hat {q}},{hat {p}}]=0}）となる。

反交換関係

A^B^+B^A^≡{A^,B^}{displaystyle {hat {A}}{hat {B}}+{hat {B}}{hat {A}}equiv {{hat {A}},{hat {B}}}}

を反交換子 (英: anticommutator) といい、これから規定される関係を、反交換関係 と言う。特に正準共役な変数同士の反交換関係を正準反交換関係 (英: canonical anticommutation relations, CAR) と言う。[A^,B^]+{displaystyle [{hat {A}},{hat {B}}]_{+}}という表式もしばしば用いられる。反交換子もまた演算子であり、特に A^{displaystyle {hat {A}}}、B^{displaystyle {hat {B}}} がともにエルミートであるとき、反交換子もまたエルミートとなる。反交換関係はフェルミ粒子などを扱う際に用いられる。

ポアソンの括弧式

古典解析力学において、 正準座標 q{displaystyle q} と 正準運動量 p{displaystyle p} の関数 A(q,p){displaystyle A(q,p)} と B(q,p){displaystyle B(q,p)} に対して、

{A,B}≡∂A∂q∂B∂p−∂A∂p∂B∂q{displaystyle {A,B}equiv {frac {partial A}{partial q}}{frac {partial B}{partial p}}-{frac {partial A}{partial p}}{frac {partial B}{partial q}}}

で定められる量をポアソンの括弧式という。ポアソンの括弧式は次のような関係式を満たしている。

• {A,A}=0{displaystyle {A,A}=0}


• {A,B}=−{B,A}{displaystyle {A,B}=-{B,A}}


• 
  {aA+bB,C}=a{A,C}+b{B,C}{displaystyle {aA+bB,C}=a{A,C}+b{B,C}} （a{displaystyle a}、b{displaystyle b} は定数）


• {AB,C}=A{B,C}+{A,C}B{displaystyle {AB,C}=A{B,C}+{A,C}B}


• 
  {A,{B,C}}+{B,{C,A}}+{C,{A,B}}=0{displaystyle {A,{B,C}}+{B,{C,A}}+{C,{A,B}}=0} （ヤコビの恒等式）


• {q,p}=1{displaystyle {q,p}=1}

交換関係と同様の関係式を満たしており、量子力学での交換関係は古典力学のポアソンの括弧式に相当する。（正準量子化の項も参照）

関連項目

• 交換子


• リー代数