物理学 › 量子力学 II › 相対論的量子力学

γ 行列の代数

命題 4.2(「相対論的量子力学」§4) ・ ✓公理まで証明済み

{γμ,γν}=2gμν\{\gamma^\mu,\gamma^\nu\}=2g^{\mu\nu}、(γ0)†=γ0(\gamma^0)^\dagger=\gamma^0、(γi)†=−γi(\gamma^i)^\dagger=-\gamma^i、すなわち (γμ)†=γ0γμγ0(\gamma^\mu)^\dagger=\gamma^0\gamma^\mu\gamma^0 である。さらに (γ5)2=1(\gamma^5)^2=1、(γ5)†=γ5(\gamma^5)^\dagger=\gamma^5 で γ5\gamma^5 は各 γμ\gamma^\mu と反交換する。Dirac 方程式は

(iγμ∂μ−m)ψ=0\left(i\gamma^\mu\partial_\mu-m\right)\psi=0

と同値である。

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

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

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