歴史[編集] ゲージ変換の自由度を持った最初の理論は電磁気学における、1864年のマクスウェル(James Clerk Maxwell)による電磁場の公式であるが、この概念の重要性は永く気付かれないままであった。この定式化の持つ対称性の重要さは、早期の段階では注目されることがないままであった。ヒルベルト(David Hilbert)も注目することなく、一般座標変換の下の作用の不変性を詳しく調べ、アインシュタイン方程式を導出した。後日、ワイル(Hermann Weyl)が、一般相対論と電磁気学を統一しようと、スケール変換(もしくは、ゲージ変換)の下の不変性が、一般相対論の局所対称性であろうと予想した。量子力学の発展したのち、ワイル、フォック(Vladimir Fock)、ロンドン(Fritz London)が、スカラー要素を複素数値に置き換え、スケール変換を U(1) ゲージ対称性である相(