Majorana 条件のローレンツ不変性

定理 7.4（「ディラック場の量子化」§7）・ ✓公理まで証明済み

$A\in\mathrm{SL}(2,\mathbb{C})$ に対応するスピノル表現を命題 5.3［ローレンツ群・ポアンカレ群と粒子の分類］の 4 のとおり $S=\mathrm{diag}\big((A^\dagger)^{-1},A\big)$ とします。このとき任意の $\psi\in\mathbb{C}^4$ について

(S\psi)^c=S\,\psi^c

が成り立つ。したがって $\psi(x)$ が Majorana 条件を満たすなら、 $\psi'(x)=S\psi(\Lambda^{-1}x)$ も満たします。

閉包の状態

✓ 公理まで証明済み

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

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

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

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