γ 行列

定義 4.1（「相対論的量子力学」§4）

$\gamma^0=\beta$ 、 $\gamma^i=\beta\alpha_i$ （ $i=1,2,3$ ）とおく。Dirac 表示では

\gamma^0=\begin{pmatrix}1&0\\0&-1\end{pmatrix},\qquad\gamma^i=\begin{pmatrix}0&\sigma_i\\-\sigma_i&0\end{pmatrix},\qquad\gamma^5:=i\gamma^0\gamma^1\gamma^2\gamma^3=\begin{pmatrix}0&1\\1&0\end{pmatrix}

である。 $\bar\psi=\psi^\dagger\gamma^0$ を Dirac 共役 と呼ぶ。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

証明で明示的に参照している定理は、まだありません。