ormula_3设formula_4 属于规范群G的李代数TG。则formula_5以及formula_6formula_7是外共变导数。若formula_8是规范固定函数，则formula_9这是有限维公式的推广，也参看狄拉克δ函数和雅可比行列式。然后formula_10通过变量的变化formula_11，拉氏量YM和作用量是规范不变：formula_12。而且测度不变formula_13。所以因为泛函的富比尼定理：formula_14
电磁