場の強さテンソル

定義 3.3（「ゲージ理論と自発的対称性の破れ」§3）

ゲージ場 $A_\mu$ に対し

F_{\mu\nu} \equiv \partial_\mu A_\nu - \partial_\nu A_\mu

を場の強さテンソルという。これは共変微分の交換子としても書ける：任意の $\phi$ に対し $[D_\mu, D_\nu]\phi = -iq\,F_{\mu\nu}\,\phi$ 。

閉包の状態

定義

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

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

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