Koordinatsystem

Kartesiske, skjevvinklete og krumlinjete koordinater.

Koordinatsystem benyttes for å angi punkter på en entydig måte i et rom eller på en geometrisk mangfoldighet. Det mest kjente eksemplet er kartesiske koordinatsystem som brukes i rom med euklidsk geometri. Antall koordinater som behøves, er lik med rommets dimensjon. Holdes alle koordinatene bortsett fra en fast, vil den siste koordinatene beskrive en rett koordinatlinje. Det kartesiske koordinatsystemet er derfor også eksempel på et «rettlinjet» koordinatsystem. På den måten kan euklidsk geometri formuleres ved matematiske ligninger og beskrives som analytisk geometri.

Et annet, kjent koordinatsystem er geografiske koordinater bestående av lengde og bredde på Jordens overflate. Dette er en krum flate med to dimensjoner og koordinatene sies derfor å være krumlinjete. Tilsvarende koordinater brukes også innen astronomi for å angi punkter på himmelkulen eller i universet. Etter at Einstein i sin generelle relativitetsteori viste at det firedimensjonale tidrommet er krummet på grunn av masse og energi, må slike krumlinjete koordinater alltid benyttes i denne viktige delen av moderne, teoretisk fysikk.

Koordinatsystem brukes i mange andre sammenhenger, også i flere morsomme spill som blant annet slagskip og sjakk.

Rettlinjete koordinater

Et kartesisk koordinatsystem i tre dimensjoner er rettvinklet.

I et tredimensjonalt, euklidsk rom er hvert punkt angitt ved tre kartesiske koordinater som (x,y,z). Det er ekvivalent med å tilordne punktet en «posisjonsvektor» Mal:Nowrap hvor de tre basisvektorene er Mal:Nowrap Mal:Nowrap og Mal:Nowrap Da disse overalt i rommet står vinkelrett på hverandre, sies dette kartesiske koordinatsystemet å være «rettvinklet». Uttrykt ved Kronecker-deltaet, skrives det som

${𝐞}_m\cdot {𝐞}_n={\delta }_{mn}$

hvor de latinske indeksene tar verdiene (x,y,z). Med bruk av Einsteins summekonvensjon som sier at man alltid skal summere over to like indekser i et matematisk uttrykk, kan posisjonsvektoren skrives på den mer kompakte formen Mal:Nowrap. Indeksen til den kartesiske koordinaten x^m kunne likså godt stå nede, men det er hensiktsmessig å la den her stå oppe. Denne skrivemåten er uavhengig av hvor mange dimensjoner rommet har og blir svært ofte benyttet.

Skjevvinklet koordinatsystem

Enhver lineært uavhengig kombinasjon av de gitte, kartesiske basisvektorene e_m kan benyttes til å lage et nytt sett med basisvektorer e_μ. Slike lineærkombinasjoner kan sammenfattes i ligningen

${𝐞}_{\mu }={𝐞}_m{A}_{\mu }^m$

når man benytter Einsteins summekonvensjon og summerer over like indekser. Her er den greske indeksen μ = 1,2,3,...,D i det generelle tilfellet når rommet har D dimensjoner. Da vil koeffisientene Mal:Nowrap  utgjøre en D×D matrise A. Den vil garantert ha en inverse A^-1 med elementer Mal:Nowrap når denne nye basisen består av lineært uavhengige vektorer. Det betyr at man også har den inverse sammenhengen

${𝐞}_m={𝐞}_{\mu }(A^{-1}{)}_m^{\mu }$

mellom de gamle og nye basisvektorene. Settes dette inn i uttrykket for posisjonsvektoren, kan den nå skrives som Mal:Nowrap hvor nå

$x^{\mu }=(A^{-1}{)}_m^{\mu }{x}^m$

sies å være koordinatene i dette nye koordinatsystemet. Omvendt gjelder derfor også sammenhengene Mal:Nowrap Varierer man her bare en av de skjeve koordinatene x^μ, vil ligningene beskrive en rett koordinatlinje i rommet. Da de nye basisvektorene er gitt som Mal:Nowrap er de tangentvektorer til disse koordinatlinjene.

Det transformerte koordinatsystemet er vanligvis ikke lenger rettvinklet. Matematisk kommer det frem fra produktet

${𝐞}_{\mu }\cdot {𝐞}_{\nu }={𝐞}_m\cdot {𝐞}_n{A}_{\mu }^m{A}_{\nu }^n=A_{\mu }^m{A}_{\nu }^m$

hvor man igjen skal summere over den latinske indeksen m. Alle disse produktene mellom basisvektorene inneholder informasjon om deres lengder og vinklene mellom dem. Dette er ikke noe annet en metrikken til rommet uttrykt i de nye koordinatene. Den betegnes vanligvis ved en D×D symmetrisk matrise med elementer Mal:Nowrap I det kartesiske koordinatsystemet er metrikken gitt ved Kronecker-deltaet Mal:Nowrap Avstanden Δs  mellom to punkt r og r + Δr uttrykt ved de skjevvinklete koordinatene er dermed gitt ved

$\mathrm{\Delta }{s}^2=\mathrm{\Delta }𝐫\cdot \mathrm{\Delta }𝐫={𝐞}_{\mu }\mathrm{\Delta }{x}^{\mu }\cdot {𝐞}_{\nu }\mathrm{\Delta }{x}^{\nu }=g_{\mu \nu }\mathrm{\Delta }{x}^{\mu }\mathrm{\Delta }{x}^{\nu }$

I alle rettlinjete koordinatsystem er metrikken Mal:Nowrap den samme i hele rommet og derfor med komponenter som alle har konstante verdier.

Kontravariante og kovariante komponenter

I tillegg til basisvektorene e_μ  kan man velge å benytte et alternativt sett av lineært uavhengige vektorer som en basis i dette rommet. Det er basert på at koordinattransformasjonen Mal:Nowrap beskriver en flate i rommet når en koordinat x^μ  holdes fast. Dette er «koordinatflaten» for denne koordinaten. Hver koordinat har sin tilsvarende koordinatflate. Normalvektorene Mal:Nowrap til disse flatene danner en dual basis som angis ved å skrive den greske indeksen i hevet posisjon. Hver av disse nye basisvektorene står vinkelrett på alle andre i den opprinnelige basisen bortsett fra sin duale motpart. Det følger fra

${𝐞}^{\mu }\cdot {𝐞}_{\nu }=(A^{-1}{)}_m^{\mu }{𝐞}_m\cdot {𝐞}_n{A}_{\nu }^n=(A^{-1}{)}_m^{\mu }{A}_{\nu }^m=(A^{-1}A{)}_{\nu }^{\mu }={\delta }_{\nu }^{\mu }$

hvor på høyresiden Kronecker-deltaet med greske indekser opptrer. En dual basis kan også konstrueres i det mer generelle tilfellet hvor rommet som skal koordinatiseres, i utgangspunktet ikke har noen metrikk. Dette benyttes noen ganger i den mer abstrakte formuleringen av differensialgeometri.

En vilkårlig vektor V kan i det opprinnelige, kartesiske koordinatsystemet uttrykkes ved sine komponenter på de tilsvarende basisvektorene slik at Mal:Nowrap For de kartesiske komponentene V_m  er det uvesentlig om den latinske indeksen skrives oppe eller nede. Men i den skjevvinklete i basisen er dette ikke lenger tilfelle. Der får vektoren andre komponenter som følger fra

$𝐕={𝐞}_{\mu }(A^{-1}{)}_m^{\mu }{V}^m$

Dette kan igjen skrives på formen Mal:Nowrap hvor koeffisientene

$V^{\mu }=(A^{-1}{)}_m^{\mu }{V}^m$

kalles vektorens kontravariante komponenter. Det er angitt ved å plassere den greske indeksen i en hevet posisjon. Navnet «kontravariante» kommer fra den egenskapen at disse komponentene transformerer med den inverse matrisen A^-1 og derfor motsatt av de tilsvarende basisvektorene e_μ.

Alternativt kan man nå også benytte den duale basisen i det skjevvinklete koordinatsystemet. Da er Mal:Nowrap som definerer de kovariante komponentene Mal:Nowrap til denne vektoren. De skrives med den greske indeksen i senket posisjon. Skriver man her Mal:Nowrap, er derfor Mal:Nowrap  som betyr at

$V_{\mu }=g_{\mu \nu }{V}^{\nu }$

Metrikken Mal:Nowrap kan derfor brukes til å «senke» en kontravariant indeks slik at man får en kovariant komponent. På tilsvarende måte er en kontravariant komponent gitt som Mal:Nowrap som betyr at man kan skrive Mal:Nowrap etter å ha definert Mal:Nowrap Det er derfor naturlig å kalle disse koeffisientene for de kontravariante komponentene av metrikken. Da de oppfyller

$g^{\mu \lambda }{g}_{\lambda \nu }={\delta }_{\nu }^{\mu },$

danner de en matrise som er den inverse av matrisen med de kovariante komponentene Mal:Nowrap Indreproduktet mellom vektorene V og Mal:Nowrap blir nå Mal:Nowrap Det kan derfor også skrives som Mal:Nowrap

Et todimensjonalt eksempel

Kartesisk basis (e_x,e_y) i to dimensjoner vist i sort, mens skjevvinklet basis (e₁,e₂) langs koordinatlinjene er vist i blått . Den duale basisen Mal:Nowrap står normalt på koordinatlinjene og er tegnet inn med grønt . Med rødt er vist vektoren V = Mal:Nowrap.

Denne formalismen kan illustreres i et euklidsk rom med D = 2  dimensjoner. I stedet for de to kartesiske basisvektorene e_x og e_y, kan man for eksempel benytte den skjevvinklete basisen definert ved Mal:Nowrap og Mal:Nowrap Transformasjonsmatrisen og dens inverse er derfor

$A=\left[\begin{array}{cc}1& 1\\ -1& 2\end{array}\right],A^{-1}=\left[\begin{array}{cc}2/3& -1/3\\ 1/3& 1/3\end{array}\right]$

Fra de nye basisvektoren følger også direkte de kovariante komponentene av metrikken,

$g_{\mu \nu }=\left[\begin{array}{cc}2& -1\\ -1& 5\end{array}\right]$

De nye, kontravariante koordinatene blir på samme måte

$\begin{array}{cc}{x}^1& =\frac{2}{3}x-\frac{1}{3}y\\ x^2& =\frac{1}{3}x+\frac{1}{3}y\\ \end{array}$

Dette gir også den duale basisen bestående av Mal:Nowrap og Mal:Nowrap. De kontravariante komponentene av metrikken blir dermed

$g^{\mu \nu }=\frac{1}{9}\left[\begin{array}{cc}5& 1\\ 1& 2\end{array}\right]$

I figuren til høyre er dette skjevvinklete koordinatsystemet vist med noen forskjellige koordinatlinjer og basiser tegnet inn i noen tilfeldige punkt. Det fundamentale parallellogrammet Mal:Nowrap har et areal som er kvadratroten av Mal:Nowrap ganger større enn arealet til kvadratet Mal:Nowrap mens det duale parallellogrammet Mal:Nowrap har et areal som er 3 ganger mindre enn dette enhetskvadratet.

En kartesisk vektor V = 3e_x + 4e_y kan da angis ved sine kontravariante komponenter som Mal:Nowrap som fremkommer ved projeksjoner parallelt med koordinatlinjene. I den duale basisen blir Mal:Nowrap  med kovariante komponenter som finnes ved projeksjoner normalt på koordinatlinjene.

Krumlinjete koordinater

Kulekoordinater angir et punkt P ved retningen (θ,φ) og avstanden r.

I det samme, euklidske rommet kan man også uttrykke de kartesiske koordinatene x^m  ved mer generelle koordinater x^μ. Slike koordinattransformasjoner vil i alminnelighet være ikke-lineære slik at de nye koordinatlinjene er krumme. De kalles derfor for krumlinjete koordinater. Et typisk eksempel i tre dimensjoner er kulekoordinater eller «sfæriske koordinater» definert ved transformasjonen

$x=r\sin \theta \cos \phi$

$y=r\sin \theta \sin \phi$

$z=r\cos \theta$

En r-koordinatlinje er en rett linje gjennom origo, mens θ- og φ-koordinatlinjer er sirkler på samme måte som breddegrad og lengdegrad.

Fra koordinattransformasjonene x^m = x^m(x^μ ) kan man direkte beregne tangentvektorene til koordinatlinjene. De kan benyttes som en ny vektorbasis som igjen kan skrives som Mal:Nowrap. Men nå vil transformasjonsmatrisen Mal:Nowrap variere fra punkt til punkt i rommet slik at basisvektorene overalt vil ha forskjellige retninger. For eksempel, med kulekoordinater blir

$\begin{array}{cc}{𝐞}_r& =\sin \theta \cos \phi {𝐞}_x+\sin \theta \sin \phi {𝐞}_y+\cos \theta {𝐞}_z\\ {𝐞}_{\theta }& =r\cos \theta \cos \phi {𝐞}_x+r\cos \theta \sin \phi {𝐞}_y-r\sin \theta {𝐞}_z\\ {𝐞}_{\phi }& =-r\sin \theta \sin \phi {𝐞}_x+r\sin \theta \cos \phi {𝐞}_y\\ \end{array}$

Basisvektoren e_θ  og e_φ  er ortogonale tangentvektorer til en kule med radius r, mens e_r  står normalt på kuleflaten i radiell retning.

På samme måte som med skjevvinklete koordinater kan komponentene til en vektor finnes i dette nye koordinatsystemet. Avstander og skalare produkt mellom vektorer er igjen gitt ved en metrikk Mal:Nowrap. Fra basisvektorene i kulekoordinater kan komponentene beregnes og samles i matrisen

$g_{\mu \nu }=\left[\begin{array}{ccc}1& 0& 0\\ 0& r^2& 0\\ 0& 0& r^2{\sin }^2\theta \end{array}\right]$

I dette tilfellet er matrisen diagonal da basisvektorene står vinkelrett på hverandre. Ved hjelp av denne metrikken kan kovariante komponenter av vektorer beregnes. Alternativt kan de også finnes fra den inverse transformasjonen x^μ = x^μ(x^m)  som kan benyttes til å etablere en dual basis.

Se også

• Kartesiske koordinater
• Krumlinjete koordinater
• Polarkoordinater
• Kulekoordinater
• Linjekoordinater

Litteratur

• M.L. Boas, Mathematical Methods in the Physical Sciences, John Wiley & Sons, New York (1983). ISBN 0-471-04409-1.
• E. Kreyzig, Differential Geometry, Dover Publications, New York (1991). ISBN 0-486-66721-9.

Eksterne lenker

• «Koordinatsystem», fra Store norske leksikon
• «Koordinatsystem», video fra matematikk.org