Mittasymmetria (matematiikka)

Matematiikassa Lagrangen systeemit voidaan yleisesti kirjoittaa mittasymmetrioita sisältäviksi. Teoreettisessa fysiikassa mittasymmetrioiden käsite toimii nykyaikaisten kenttäteorioiden kulmakivenä osittain johtuen sen suhteesta säilyviin suureisiin.

Lagrangen tiheyden  mittasymmetria määritellään sen differentiaalioperaattorina jossakin vektorikimpussa , joka saa arvonsa avaruuden  symmetrioiden lineaariavaruudesta. Täten avaruuden  mittasymmetria riippuu vektorikimpun  sektioista ja niiden osittaisderivaatoista. Näin on asian laita esimerkiksi klassisen kenttäteorian mittasymmetrioiden suhteen.  Yang-Millsin teoria ja mittagravitaatioteoria ovat esimerkkejä klassisista kenttäteorioista jotka ilmentävät mittasymmetrioita. 

Mittasymmetrioilla on seuraavat kaksi erityispiirrettä.

 Lagrangen tiheyden mittasymmetriat täyttävät Noetherin ensimmäisen lauseen, mutta symmetrioita vastaava säilyvä virta  saa nk. superpotentiaalimuodon  missä ensimmäinen termi  ei ole läsnä Eulerin-Lagrangen yhtälöiden ratkaisuissa, ja toinen termi on reunatermi, jossa esiintyvää termiä  kutsutaan superpotentiaaliksi. 
 Noetherin toisen lauseen mukaisesti Lagrangen mittasymmetrioiden ja Noetherin identiteettien välillä on yksi-yhteen -vastaavuus, jonka Eulerin–Lagrangen operaattori täyttää. Näin ollen mittasymmetriat luonnehtivat Lagrangen järjestelmän degeneraatiota (tämä voidaan ajatella myös tietyssä mielessä systeemin redundanssina sen vapausasteiden suhteen). 
On tärkeää huomata, että kvanttikenttäteoriassa emäfunktionaali ei ole invariantti mittamuunnosten suhteen, ja mittasymmetriat korvataan haamukenttiä sisältävillä BRST-symmetrioilla, jotka vaikuttavat sekä kenttiin että haamuihin. 

Eräs suomenkielinen sekaannus, jota tulisi välttää on mittateorian (eng. measure theory) sekoittaminen mittasymmetrian (eng. gauge symmetry) kanssa. Molemmissa on eräässä mielessä kyse juurikin mittaamisesta, mutta mittasymmetrioiden mielessä mitan ja erityisesti mittamuunnosten käsitteissä on kyse systeemin redundanssin ilmentämisestä vektorikimppujen lokaalien sektioiden valintojen suhteen. Tähän rinnastettuna taas ensimmäisenä mainitussa mittateoriassa mitta käsitetään yleisenä kuvauksena joukosta kompleksi- tai reaaliluvuille, jolloin mitan käsite on keskeinen esimerkiksi integraali- ja todennäköisyyslaskennan kannalta.

Katso myös 

 Mittateoria (matematiikka)
 Lagrangen järjestelmä
 Noetherin identiteetit
 Mittakenttäteoria
 Yang-Millsin teoria

Huomautuksia

Viitteet 

 Daniel, M., Viallet, C., Yang-Mills-tyypin mittarisymmetrioiden geometrinen asetus, Rev. Mod. Phys. 52 (1980) 175.
 Eguchi, T., Gilkey, P., Hanson, A., Gravitaatio, mittariteoriat ja differentiaaligeometria, Phys. Rep. 66 (1980) 213.
 Gotay, M., Marsden, J., Stressi-energia-momenttitensorit ja Belinfante-Rosenfeld-kaava, Contemp. Matematiikka. 132 (1992) 367.
 Marathe, K., Martucci, G., The Mathematical Foundation of Gauge Theories (North Holland, 1992) .
 Fatibene, L., Ferraris, M., Francaviglia, M., Noether formalismi konservoituneille suureille klassisissa mittakenttäteorioissa, J. Math. Phys. 35 (1994) 1644.
 Gomis, J., Paris, J., Samuel, S., Antibracket, antifields and gauge theory quantization, Phys. Rep. 295 (1995) 1; arXiv: hep-th/9412228 .
 Giachetta, G. (2008), Mangiarotti, L., Sardanashvily, G., Yleisen Lagrangin kenttäteorian mittarisymmetrian käsitteestä, J. Math. Phys. 50 (2009) 012903; arXiv: 0807.3003 .
 Giachetta, G. (2009), Mangiarotti, L., Sardanashvily, G., Advanced Classical Field Theory (World Scientific, 2009) .
 
 
Topologia
Mittateoria