formula_9这是有限维公式的推广，也参看狄拉克δ函数和雅可比行列式。然后formula_10通过变量的变化formula_11，拉氏量YM和作用量是规范不变：formula_12。而且测度不变formula_13。所以因为泛函的富比尼定理：formula_14
电磁理论.若formula_15，这是电磁理论，规范变换成为formula_16，可以选择formula_17formula_18上面不依赖formula_19或A。则泛函积分等于f