クーロンゲージ

定義 3.1（「電磁場の量子化とゲージ固定」§3）

ベクトルポテンシャルが

\nabla\cdot\boldsymbol A=0

を満たすとき、 $A^\mu$ はクーロンゲージ（放射ゲージ）にあるといいます。外部カレントがない（ $j^\mu=0$ ）ときは、さらに $A^0=0$ を合わせて課します。

閉包の状態

定義

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

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

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