la_105是规范不变量： 假设formula_95是电磁四维势、四维电流密度formula_108是formula_109、电磁张量formula_59是formula_111，那么，formula_105表示为这方程式右手边前面两个项目是描述电子或正子的狄拉克场的拉格朗日密度，后面两个项目则是以光子为媒介的电磁场的拉格朗日密度。对于formula_95的拉格朗日方程式为马克士威方程组：规范不变性有很多可被检验的后果。例如，局域规范不变性要求光子不具有质量。因此，假若做实验能够精确地证实光子不