Einsteins summekonvensjon

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

I sin generelle relativitetsteori viste Einstein at tyngdekraften kunne forklares som geometriske egenskaper ved tidrommet.A.Einstein, Die Grundlage der Allgemeinen Relativitätstheorie, Annalen der Physik 49, 770-822 (1916). 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.M.L. Boas, Mathematical Methods in the Physical Sciences, John Wiley & Sons, New York (1983). ISBN 0-471-04409-1.

Vektorer

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 = ui ei. Hva de to like summasjonsindeksene kalles, spiller ingen rolle. Derfor kunne man likså godt ha skrevet u = uk ek.  Er basisvektoren «ortonormerte» slik at



hvor δij er Kroneckers symbol, følger hver komponent fra indreproduktet u⋅ei = ui . Da kan også indreproduktet med en annen vektor v = vj ej 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

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  med komponenter som nå kan skrives som



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



Resultatet av denne doble transformasjonen kan sammenfattes mer kompakt som   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

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

Eksterne lenker
 Einstein Summation Notation, Rawlings, Steve (2007-02-01). «Lecture 10 – Einstein Summation Convention and Vector Identities»  (PDF). Oxford University

Kategori:Lineær algebra
Kategori:Albert Einstein