物理学 › 量子力学 › 角運動量とスピン

スピン 1/2 の 2 つの合成:三重項と一重項

補題 6.3(「角運動量とスピン」§6) ・ ✓公理まで証明済み

C2⊗C2\mathbb{C}^2\otimes\mathbb{C}^2 で J=S1+S2\boldsymbol{J}=\boldsymbol{S}_1+\boldsymbol{S}_2 とし、

∣1,1⟩=∣↑↑⟩,∣1,0⟩=12(∣↑↓⟩+∣↓↑⟩),∣1,−1⟩=∣↓↓⟩,∣0,0⟩=12(∣↑↓⟩−∣↓↑⟩)\lvert1,1\rangle=\lvert\uparrow\uparrow\rangle,\quad\lvert1,0\rangle=\tfrac{1}{\sqrt2}\bigl(\lvert\uparrow\downarrow\rangle+\lvert\downarrow\uparrow\rangle\bigr),\quad\lvert1,-1\rangle=\lvert\downarrow\downarrow\rangle,\quad\lvert0,0\rangle=\tfrac{1}{\sqrt2}\bigl(\lvert\uparrow\downarrow\rangle-\lvert\downarrow\uparrow\rangle\bigr)

とおく。

  1. これら 4 つは正規直交基底で、J2∣1,m⟩=2ℏ2∣1,m⟩\boldsymbol{J}^2\lvert1,m\rangle=2\hbar^2\lvert1,m\rangle、Jz∣1,m⟩=mℏ∣1,m⟩J_z\lvert1,m\rangle=m\hbar\lvert1,m\rangle、J2∣0,0⟩=0\boldsymbol{J}^2\lvert0,0\rangle=0 である。さらに Jx∣0,0⟩=Jy∣0,0⟩=Jz∣0,0⟩=0J_x\lvert0,0\rangle=J_y\lvert0,0\rangle=J_z\lvert0,0\rangle=0。
  2. 2 つのスピンを入れ替える交換演算子 P12P_{12}(P12∣ab⟩=∣ba⟩P_{12}\lvert ab\rangle=\lvert ba\rangle)は、三重項 ∣1,m⟩\lvert1,m\rangle では +1+1、一重項 ∣0,0⟩\lvert0,0\rangle では −1-1 として働く。したがって C2⊗C2\mathbb{C}^2\otimes\mathbb{C}^2 は三重項(交換で不変)と一重項(交換で符号が変わる)の直交和に分解する。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 5 件、定義なども含めて 8 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 2 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理 証明で参照している 3 件