Mittasymmetria
From Wikipedia, the free encyclopedia
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.[1] Näin on asian laita esimerkiksi klassisen kenttäteorian mittasymmetrioiden suhteen. [2] Yang-Millsin teoria ja mittagravitaatioteoria ovat esimerkkejä klassisista kenttäteorioista jotka ilmentävät mittasymmetrioita. [3]
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. [4]
- 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). [5]
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. [6]
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.