Einsteins summekonvensjon

Fra Wikipedia, den frie encyklopedi
Jump to navigation Jump to search

Einsteins summekonvensjon er en notasjon som benyttes innen lineær algebra og teoretisk fysikk for å forenkle matematisk uttrykk ved at summasjonssymbolet utelates. Dette erstattes med regelen at det i hvert ledd skal summeres over alle par med like indekser. Denne konvensjonen ble innført av Albert Einstein i 1916 i hans generelle relativitetsteori og har senere blitt vanlig å bruke i mange andre anvendelser.

Eksempel[rediger | rediger kilde]

I sin generelle relativitetsteori viste Einstein at tyngdekraften kunne forklares som geometriske egenskaper ved tidrommet.[1] Disse kan beskrives ved forskjellige tensorer med komponenter som angis ved et visst antall indekser. Ved beregninger vil tensorene kombineres ved at komponentene blir multiplisert sammen og de resulterende produktene summert. Hver slik kombinasjon vil da behøve et eller flere summasjonstegn som ofte gjør de matematiske uttrykkene uoversiktlige. Men da det i hver summasjon inngår to like indekser, kan man erstatte hvert summasjonstegn med den implisitte regelen at man skal summere over disse to like indeksene. Dette er Einstein summekonvensjon.[2]

Vektorer[rediger | rediger kilde]

Betrakter man en vektor u i et n - dimensjonalt, euklidsk rom med basisvektorer e1, e2, ... , en, kan den uttrykkes ved sine komponenter som

Her inngår to like indekser. Ved bruk av Einsteins summekonvensjon, kan dette nå skrives mer kompakt som u = uiei. Hva de to like summasjonsindeksene kalles, spiller ingen rolle. Derfor kunne man likså godt ha skrevet u = ukek. Er basisvektoren «ortonormerte» slik at

hvor δij er Kroneckers symbol, følger hver komponent fra indreproduktet uei = ui. Da kan også indreproduktet med en annen vektor v = vjej skrives som

Her opptrer to par med like indekser og skal derfor summeres over slik at man får det vanlige resultatet. De fleste utledninger og beregninger i vektoranalysen forenkles med bruk av denne konvensjonen. Dette gjelder spesielt uttrykk som inneholder vektorielle kryssprodukt for vektorer. Da kan Levi-Civita-symbolet εijk i tre dimensjoner benyttes. For to vektorer u og v blir da

og tilsvarende for mer kompliserte vektorprodukt.

Matriser[rediger | rediger kilde]

Hvis vektoren u i dette rommet blir utsatt for en lineær transformasjon gitt ved en matrise A med komponenter (Aij ), vil den transformeres til en ny vektor v = Au med komponenter som nå kan skrives som

Blir dette resultatet så igjen transformert med matrisen B, oppstår vektoren w = Bv = BAu. Denne har komponentene

Resultatet av denne doble transformasjonen kan sammenfattes mer kompakt som w = Cu hvor matrisen C = BA har komponentene

som er regelen for matrisemultiplikasjon skrevet i denne summekonvensjonen.

Sporet eller «trasen» til matrisen C er summen av dens diagonale elementer og derfor lik med Cii . Sporet til produktet av matrisene A og B er derfor

Herav følger den viktige egenskapen at Tr AB = Tr BA selv om matriseproduktene AB og BA i alminnelighet er forskjellige. Denne sykliske egenskapen til sporet kan på samme måte vises å være gyldig for et vilkårlig antall matriser.

Referanser[rediger | rediger kilde]

  1. ^ A.Einstein, Die Grundlage der Allgemeinen Relativitätstheorie, Annalen der Physik 49, 770-822 (1916).
  2. ^ M.L. Boas, Mathematical Methods in the Physical Sciences, John Wiley & Sons, New York (1983). ISBN 0-471-04409-1.

Litteratur[rediger | rediger kilde]

  • Kuptsov, L. P. (2001), «Einstein rule», i 'Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

Eksterne lenker[rediger | rediger kilde]