電磁場のエネルギー運動量テンソル

定義 6.1（「特殊相対論の共変形式」§6）

T^{\mu\nu}=\frac1{\mu_0}\left(-F^{\mu\alpha}F^\nu{}_\alpha+\frac14\eta^{\mu\nu}F_{\alpha\beta}F^{\alpha\beta}\right)

を電磁場のエネルギー運動量テンソルという。ここで $F^\nu{}_\alpha=F^{\nu\beta}\eta_{\beta\alpha}$ である。

閉包の状態

定義

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

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

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