A matematikában bármely Lagrange-rendszer megenged mérőszimmetriákat, esetleg triviálisakat. Az elméleti fizikában a szelvényszimmetria fogalma , amely olyan paraméterektől függ, amelyek a koordináták függvényei, a modern térelmélet sarokköve .
A Lagrange -féle mérőszimmetriát úgy határozzuk meg, mint egy differenciális operátort valamilyen vektorkötegben , amely értékeket (variációs vagy egzakt) szimmetriák lineáris terében vesz fel . Ezért a Lagrange-féle szelvény szimmetriája a köteg szakaszaitól és azok parciális deriváltjaitól függ . Például ez a helyzet a klasszikus térelmélet mérőszimmetriáinál , mint például a Yang–Mills szelvényelméletben és a gravitáció szelvényelméletében . A mérőszimmetriáknak a következő két fontos jellemzője van.
Először is, mivel Lagrange-szimmetria, a Lagrange-rendszer mérőszimmetriája kielégíti Noether első tételét , de a megfelelő konzervált szimmetriaáram lesz
,ahol az első tag eltűnik az Euler-Lagrange egyenlet megoldásainál , a második tag pedig divergenciává redukálódik, ahol szuperpotenciálnak nevezzük.
Másodszor, Noether második tétele szerint a Lagrange- és a Noether-azonosság mérőszimmetriája között egy az egyhez megfelelés van , aminek az Euler–Lagrange operátor engedelmeskedik . Így mérőszimmetriák jellemzik a Lagrange-rendszer degeneráltságát.