Kovarians och kontravarians (vektorer)

En vektor v representerad av
1. tangentbasvektorer (gröna): (e1, e2, e3) till de kurvlinjära koordinaterna
2. dual bas, kovektorbas (blå): (e1, e2, e3). Dessa är normalvektorer till koordinatplanen.
(q1, q2, q3): allmänna tredimensionella kurvliinjära koordinater, en tupel av tal som definierar en punkt i rummet.
Notera att baserna sammanfaller endast om baserna är ortogonala.[1]

Kovarians och kontravarians beskriver inom multilinjär algebra och tensoranalys hur den kvantitativa beskrivningen av vissa geometriska eller fysikaliska enheter förändras vid ett basbyte. Inom fysiken betraktas en bas ibland som en uppsättning av referensaxlar. En förändring av referensaxlarnas skala motsvarar en förändring av problemets enheter. Till exempel, vid en ändring av skalan från meter till centimeter (det vill säga, att dela referensaxlarnas intervall med 100), kommer komponenterna till en uppmätt hastighetsvektor att multipliceras med 100. Vektorer uppvisar detta beteende att ändra skala omvänt till förändringar i skalan för referensaxlarna: de är kontravarianta. Som ett resultat, har vektorer ofta avståndsenheter eller avstånd multiplicerade någon annan enhet (som hastigheten). Däremot har duala vektorer (även kallade kovektorer) ofta enheter som är inversen av avståndet eller det omvända till distans multiplicerat med någon annan enhet. Ett exempel på en dual vektor är gradienten, som har enheter som en rumslig derivata, eller avstånd-1. Duala vektorers komponenter ändras på samma sätt som skaländringar av referensaxlar: de är kovarianta. Komponenterna hos vektorer och kovektorer transformerar också på samma sätt under mer generella förändringar av baser:

  • För att en vektor (såsom en riktningsvektor eller hastighetsvektor) skall vara oberoende av basen måste vektorns komponenter variera kontraindicerat vid ett basbyte för att kompensera. Det vill säga, den matris som omvandlar vektorns komponenter måste vara inversen till matrisen som transformerar basvektorerna. Vektorernas komponenter (i motsats till de duala vektorerna) sägs vara kontravarianta. Exempel på vektorer med kontravarianta komponenter inkluderar positionen för ett objekt i förhållande till en observatör, eller någon derivata av position med avseende på tiden, bland annat hastighet och acceleration. Med Einsteins notation, betecknas kontravarianta komponenter med övre index enligt
  • För att en dual vektor (också kallad en kovektor) skall vara oberoende av basen måste komponenterna till duala vektorer samvariera vid ett basbyte för att fortsätta att representera samma kovektor. Det vill säga, komponenterna måste omvandlas av samma matris som användes för basbytet. Komponenterna till duala vektorer (i motsats till vektorer) sägs vara kovarianta. Exempel på samvarierande vektorer visas i allmänhet hos gradienten till en funktion. Med Einsteins notation är samvarierande komponenter betecknade med undre index som i

Kroklinjiga koordinatsystem, såsom cylindriska eller sfäriska koordinater, används ofta i fysikaliska och geometriska problem. Associerat till varje koordinatsystem är ett naturligt val av koordinatbas för vektorer baserade på varje punkt i rummet och kovarians och kontravarians är särskilt viktiga för att förstå hur koordinatbeskrivningen av en vektor förändras vid övergång från ett koordinatsystem till ett annat. Termerna kovarianta och kontravarianta infördes av James Joseph Sylvester 1853 i syfte att studera algebraiska invariantteorier. Tensorer är objekt inom multilinjär algebra som kan ha både kovarianta och kontravarianta element.

Introduktion

Inom fysiken, uppstår vanligen en vektor som ett resultat av en mätning eller mätserie och representeras av en lista (eller tupel) av tal som

Talen i listan beror på valet av koordinatsystem. Till exempel, om vektorn representerar position med avseende på en observatör (ortsvektor), då kan koordinatsystemet erhållas från ett system av styva stänger, eller referensaxlar, längs vilken komponenterna v1, v2 och v3 mäts. För att en vektor skall representera ett geometriskt objekt, måste det vara möjligt att beskriva hur det ser ut i något annat koordinatsystem. Det vill säga, vektorernas komponenter kommer att förvandlas på ett visst sätt vid övergång från ett koordinatsystem till ett annat.

En kontravariant vektor har komponenter som "transformerar som koordinaterna gör" under förändringar av koordinaterna (och omvänt transformeringen av referensaxlarna), inklusive rotation och skalning. Vektorn själv förändras inte under dessa operationer; istället ändras vektorns komponenter och upphäver ändringen av de rumsliga axlarna, på samma sätt som koordinaterna förändras. Med andra ord, om referensaxlarna roterades i en riktning, skulle den komponentvisa representationen av vektorn rotera på exakt motsatt sätt. På liknande sätt, om referensaxlarna sträcks i en riktning, skulle vektorns komponenter, koordinaterna, minska på ett exakt kompenserande sätt. Matematiskt, om koordinatsystemet undergår en transformation som beskrivs av en inverterbar matris M, så att koordinaterna för vektorn x transformeras till x' = Mx, då måste en kontravariant vektor v på liknande sätt omvandlas via v' = Mv. Detta viktiga krav är vad som skiljer en kontravariant vektor från någon annan trippel av fysiskt meningsfulla mängder. Till exempel, om v består av x, y och z-komponenterna av en hastighet, är v en kontravariant vektor: om koordinaterna för rymden sträcks, roteras eller vrids transformeras hastighetens komponenter på samma sätt. Exempel på kontravarianta vektorer är förskjutning, hastighet och acceleration. Å andra sidan, till exempel, om en trippel bestående av längden, bredden och höjden av en rektangulär låda bildar de tre komponenterna av en abstrakt vektor, skulle denna vektor inte vara kontravariant, eftersom en förändring av koordinaterna för rummet inte ändrar lådans längd, bredd och höjd: i stället är dessa skalärer. Däremot har en kovariant vektor komponenter som ändras i motsatt riktning som koordinaterna, eller ekvivalent, omvandlas som referensaxlarna. Till exempel, komponenterna hos en vektorvärd funktions gradient

omvandlas som referensaxlarna själva. När endast rotationer av axlarna förekommer, kommer komponenterna i kontravarianta och kovarianta vektorer att uppträda på samma sätt. Det är endast när andra transformationer är tillåtna som skillnaden blir uppenbar.

Definition

Den generella formuleringen av kovarians och kontravarians, hänför sig till hur komponenterna till en koordinatvektor transformerar under ett basbyte.

Låt V vara ett vektorrum av dimension n över fältet av skalärer S, och låt var och en av f = (X1,...,Xn) och f' = (Y1,...,Yn) vara en vektorbas V. Låt basbytet från f till f′ anges av

för någon inverterbar n×n matris A med elementen . Här, varje vektor Yj av basen f', är en linjärkombination av vektorerna Xi i basen f, så att

Kontravariant transformation

En vektor v i V är unikt bestämd av en linjärkombination av elementen i basen f:

där v i[f] är skalärer i S, benämnda som v:s komponenter i basen f. Beteckna kolonnvektorerna av v med v[f]:

så att (2) kan skrivas om till en matrisprodukt

Vektorn v kan också skrivas i basen f, så att

Emellertid, då vektorn v är invariant med avseende på valet av bas, är

v:s invarians kombinerad med relationen (1) mellan f och f' implicerar att

vilket ger transformationsregeln

eller uttryckt med hjälp av komponenter

där koefficientertna

är elementen i matrisen A:s invers. Eftersom vektorn v:s komponenter transformerar som A:s invers, sägs komponenterna transformera kontravariant under basbyte.

Sättet som A relaterar de två paren visas i det informella diagrammet nedan med en pil. Omkastningen av pilens riktning indikerar en kontravariant ändring:

Kovariant transformation

En linjär funktional α över V kan unikt bestämmas av dess komponenter (skalärer i S) i basen f som

Dessa komponenter är α:s avbildning på basvektorna Xi i basen f.

Under ett basbyte från f to f' (1), transformeras komponenterna så att

Beteckna radvektorn av komponenter i α med α[f]:

så att (3) kan skrivas om till matrisprodukten

Eftersom komponenterna i den linjära funktionalen α transformeras med matrisen A, sägs dess komponenter transformera kovariant under ett basbyte.

Sättet som A relaterar de två paren indikeras i det informella diagrammet nedan med en pil. En kovariant relation indikeras då pilarna är riktade i samma riktning:

Om en kolumnvektorrepresentation använts i stället, hade transformationslagen varit en matristransponering:

Koordinater

Valet av en bas f för vektorrummet V definierar unikt koordinatfunktionerna för V genom

V:s komponenter är därför kontravarianta i den meningen att

Omvänt, ett system av n kvantiteter vi som transformerar som koordinaterna xiV definierar en kontravariant vektor. Ett system av n kvantiteter som transformerar omvänt till koordinaterna är då en kovariant vektor. Denna bestämning av kontravarians och kovarians är ofta mer naturlig i tillämpningar i vilka det förekommer ett koordinatrum (mångfald) i vilket vektorer existerar som tangentvektorer eller som dessas inverser. Givet ett lokalt koordinatsystem xi på mångfalden, är koordinatsystemets referensaxlar vektorfälten

Detta ger upphov referensramen f  = (X1,...,Xn) i varje punkt av koordinatrymden.

Om yi är ett annat koordinatsystem och

då är referensramen f relaterad till referensramen f genom inversen till jacobimatrisen för koordinattransformationen:

Eller, med index,

En tangentvektor är definierad som en vektor som är en linjärkombination av koordinatkomponenterna

Således är en tangentvektor definierad av

En sådan vektor är kontravariant med avseende på basbyte. Vid förändringar av koordinatsystemet gäller

Därför transformerar en tangentvektors komponenter som

Således, ett system av n kvantiteter vi, som beror av koordinater vilka transformerar på detta sätt vid övergången från ett koordinatsystem till ett annat, kallas en kovariant vektor.

Kovarianta and kontravarianta komponenter för vektorer med metrik

I ett vektorrum V över ett fält K med en bilinjär form g : V × VK (vilket kan syfta på den metriska tensorn), är det liten skillnad mellan kovarianta and kontravarianta vektorer, därför att den bilinjära formen tillåter kovektorer och kontravektorer att identifieras som vektorer, det vill säga, en vektor v bestämmer unikt en kovektor α genom

för alla vektorer w. Omvänt, varje kovektor α bestämmer unikt en vektor v med denna ekvation. På grund av denna identifikation av vektorer med kovektorer, är det möjligt att tala om kovarianta komponenter eller kontravarianta komponenter för en vektor, det vill säga, de är bara representationer av samma vektor med användning av reciproka baser.

Givet en bas f = (X1,...,Xn) of V, finns en unik reciprok bas f# = (Y1,...,Yn) of V bestämd av kravet

där δ är kroneckerdeltat. I termer av dessa baser kan varje vektor v skrivas på två sätt:

Komponenterna vi[f] är de kontravarianta komponenterna till vektorn v i basen f, och komponenterna vi[f] är de kovarianta komponenterna till v i basen f. Terminologin är berättigad därför att under ett basbyte,

De kontravarianta komponenterna av en vektor (röd) är bestämda genom projektion mot koordinataxlarna (gröna). De kovarianta komponenterna är bestämda genom projektion mot normaler till koordinaternas hyperplan (blå)

Euklidiskt plan

I det euklidiska planet, kan skalärprodukten för vektorer identifieras med kovektorer. Om

är en bas, då gäller att den duala basen

satisfierar

Således, e1 och e2 är ortogonala mot varandra, liksom även e2 och e1 och längderna av e1 och e2 är normaliserade mot e1 respektive e2.

Exempel

Till exempel,[2] antag att en bas är e1, e2 bestående av ett par av vektorer i 45° vinkel mot varandra och att e1 har längden 2 och e2 har längden 1. Då ges de duala basvektorerna som

  • e2 är resultatet av en rotation av e1 med vinkeln 90° (under antagandet att paret e1, e2 är positivt orienterade), och sedan omskalad så att e2e2 = 1 gäller.
  • e1 är resultatet av en rotation av e2 med vinkeln 90°, och sedan omskalad så att e1e1 = 1 gäller.

Vi finner genom att applicera dessa regler att

och

Därmed är matrisen för basbytet från den ursprungliga basen till den reciproka basen

och således,

Till exempel, vektorn

är en vektor med kontravarianta komponenter

De kovarianta komponenterna erhålls genom att sätta de två uttrycken lika med varandra för vektorn v:

Tredimensionellt euklidiskt rum

Även i en tredimensionell euklidisk rymd, går det att explicit bestämma den duala basen för en given mängd av basvektorer e1, e2, e3 av E3, vilka inte nödvändigtvis antas vara ortogonala eller av enhetsnorm. De kontravarianta (duala) basvektorerna är

Även när ei och ei inte är ortonormala, är de fortfarande ömsesidigt duala:

Då kan de kontravarianta koordinaterna för varje vektor v erhållas med skalärprodukten av v med de kontravarianta basvektorerna:

Likaledes kan de kovarianta komponenterna till v erhållas med skalärprodukten av v och de kovarianta basvektorerna:

Då kan v uttryckas på två reciproka sätt:

eller

Genom att kombinera uttrycken erhålls

och det går att konvertera från kovariant till kontravariant bas med

och omvänt

Indexen för kovarianta koordinateer, vektorer och tensorer är subscripts. Om den kontravarianta basens vektorer är ortonormala, är de ekvivalenta med den kovarianta basens vektorer och det finns ingen anledning att skilja mellan kovarianta och kontravarianta koordinater.

Allmänna euklidiska rum

Om en bas i ett n-dimensionellt euklidiskt rum V är given som

ges den reciproka basen av

där koefficienterna eij är element i den inversa matrisen till

Givet detta, gäller

De kovarianta och kontravarianta komponenterna av varje vektor

är relaterade enligt ovan genom

och

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Covariance and contravariance of vectors, 28 maj 2016.

Noter

  1. ^ J.A. Wheeler, C. Misner, K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. ISBN 0-7167-0344-0 
  2. ^ Bowen, Ray (2008). ”Introduction to Vectors and Tensors”. Dover. sid. 78, 79, 81. https://oaktrust.library.tamu.edu/bitstream/handle/1969.1/2502/IntroductionToVectorsAndTensorsVol1.pdf?sequence=12. 

Media som används på denna webbplats

Basis-2.png
Författare/Upphovsman: Svjo, Licens: CC BY-SA 4.0
covector-contravector basis
Vector 1-form-2.png
Författare/Upphovsman: Svjo, Licens: CC BY-SA 4.0
covariant and kontravariant vectors