物理学 › 場の量子論 › ディラック場の量子化

荷電共役行列

補題 7.1(「ディラック場の量子化」§7) ・ ✓公理まで証明済み

ワイル表示で C=iγ2γ0\mathcal{C}=i\gamma^2\gamma^0 とおき、ε=iσ2=(01−10)\varepsilon=i\sigma^2=\begin{pmatrix}0&1\\-1&0\end{pmatrix}、B=Cγ0=iγ2B=\mathcal{C}\gamma^0=i\gamma^2 とします。

  1. C=diag(ε,−ε)\mathcal{C}=\mathrm{diag}(\varepsilon,-\varepsilon) は実直交行列で、CT=−C\mathcal{C}^{\mathsf T}=-\mathcal{C}、C2=−1\mathcal{C}^2=-\mathbb{1}(したがって C−1=−C\mathcal{C}^{-1}=-\mathcal{C})です。
  2. C(γμ)TC−1=−γμ\mathcal{C}(\gamma^\mu)^{\mathsf T}\mathcal{C}^{-1}=-\gamma^\mu(μ=0,1,2,3\mu=0,1,2,3)。
  3. 行列 XX が X(γμ)TX−1=−γμX(\gamma^\mu)^{\mathsf T}X^{-1}=-\gamma^\mu(μ=0,…,3\mu=0,\dots,3)を満たせば、XX は C\mathcal{C} の定数倍です。
  4. B=iγ2B=i\gamma^2 は実対称で B2=1B^2=\mathbb{1}、Bγμ∗B−1=−γμB\gamma^{\mu*}B^{-1}=-\gamma^\mu です。また BB は γ5\gamma^5 と反可換です。
  5. Cγμ\mathcal{C}\gamma^\mu と C[γμ,γν]\mathcal{C}[\gamma^\mu,\gamma^\nu] は対称行列、C\mathcal{C}、Cγ5\mathcal{C}\gamma^5、Cγμγ5\mathcal{C}\gamma^\mu\gamma^5 は交代行列です。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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