Metrisk tensor - Metric tensor
I det matematiske felt med differentiel geometri er en definition af en metrisk tensor en type funktion, der som input tager et par tangentvektorer v og w ved et punkt på en overflade (eller højere dimensionel differentierbar manifold ) og producerer et reelt tal skalar g ( v , w ) på en måde, der generaliserer mange af de kendte egenskaber ved prikproduktet af vektorer i det euklidiske rum . På samme måde som et punktprodukt bruges metriske tensorer til at definere længden af og vinklen mellem tangentvektorer. Gennem integration tillader den metriske tensor at definere og beregne længden af kurver på manifolden.
En metrisk tensor kaldes positiv-bestemt, hvis den tildeler en positiv værdi g ( v , v )> 0 til hver ikke-nul-vektor v . En manifold udstyret med en positiv-bestemt metrisk tensor er kendt som en Riemannian manifold . På en Riemannian manifold kaldes kurven, der forbinder to punkter, der (lokalt) har den mindste længde, en geodesik , og dens længde er den afstand, som en passager i manifolden har brug for at krydse for at gå fra det ene punkt til det andet. Udstyret med denne længdeforestilling er en Riemannian-manifold et metrisk rum , hvilket betyder at den har en afstandsfunktion d ( p , q ), hvis værdi ved et par punkter p og q er afstanden fra p til q . Omvendt er selve den metriske tensor afledningen af afstandsfunktionen (taget på en passende måde). Den metriske tensor giver således uendelig afstand på manifolden.
Mens begrebet metrisk tensor var kendt i en eller anden forstand for matematikere som Carl Gauss fra det tidlige 19. århundrede, var det først i det tidlige 20. århundrede, at dens egenskaber som tensor blev forstået af især Gregorio Ricci-Curbastro og Tullio Levi-Civita , der først kodificerede forestillingen om en tensor. Den metriske tensor er et eksempel på et tensorfelt .
Komponenterne i en metrisk tensor på et koordinatbasis tager form af en symmetrisk matrix, hvis indgange transformeres kovariant under ændringer i koordinatsystemet. Således er en metrisk tensor en covariant symmetrisk tensor . Fra det koordinatuafhængige synspunkt defineres et metrisk tensorfelt til at være en ikke-degenereret symmetrisk bilineær form på hvert tangentrum, der varierer jævnt fra punkt til punkt.
Introduktion
Carl Friedrich Gauss betragtede i sin 1827 Disquisitiones generales circa superficies curvas ( generelle undersøgelser af buede overflader ) en overflade parametrisk med de kartesiske koordinater x , y og z af punkter på overfladen afhængig af to hjælpevariabler u og v . Således er en parametrisk overflade (i dagens termer) en vektorværdieret funktion
afhængigt af et ordnet par reelle variabler ( u , v ) og defineret i et åbent sæt D i uv- planet. Et af hovedformålene med Gauss's undersøgelser var at udlede de træk ved overfladen, som kunne beskrives af en funktion, der ville forblive uændret, hvis overfladen gennemgik en transformation i rummet (såsom at bøje overfladen uden at strække den) eller en ændring i den særlige parametriske form af den samme geometriske overflade.
En naturlig sådan invariant mængde er længden af en kurve trukket langs overfladen. En anden er vinklen mellem et par kurver trukket langs overfladen og mødes på et fælles punkt. En tredje sådan størrelse er arealet af et stykke overflade. Undersøgelsen af disse invarianter på en overflade fik Gauss til at introducere forgængeren for den moderne forestilling om metrisk tensor.
Buelængde
Hvis variablerne u og v antages at afhænge af en tredje variabel, t , der tager værdier i et interval [ a , b ] , vil r → ( u ( t ), v ( t )) spore en parametrisk kurve i parametrisk overflade M . Den buelængde af denne kurve er givet ved integral
hvor repræsenterer den euklidiske norm . Her kæden regel er blevet påført, og indekserne betegner partielle afledede :
Integranden er begrænsningen til kurven for kvadratroden af ( kvadratisk ) differentiale
-
( 1 )
hvor
-
( 2 )
De kvantitative ds i ( 1 ), kaldes linieelementet , mens ds 2 kaldes første fundamentalform af M . Intuitivt repræsenterer den hoveddelen af kvadratet af forskydningen, der er gennemgået med r → ( u , v ), når u øges med du enheder, og v øges med dv enheder.
Ved hjælp af matrixnotation bliver den første grundlæggende form
Koordinere transformationer
Antag nu, at en anden parameterisering er valgt, ved at lade u og v afhænge af et andet par variabler u ′ og v ′ . Så er analogen af ( 2 ) for de nye variabler
-
( 2 ' )
Den kæde regel angår E ' , F ' , og G ' til E , F , og G via matrix ligning
-
( 3 )
hvor overskrift T betegner matrixtransponeringen . Matrixen med koefficienterne E , F og G arrangeret på denne måde transformerer derfor ved den Jacobianske matrix af koordinatændringen
En matrix, der transformerer på denne måde, er en slags, hvad der kaldes en tensor . Matrixen
med transformationsloven ( 3 ) er kendt som overfladens metriske tensor.
Uvariation af arlængde under koordinatransformationer
Ricci-Curbastro & Levi-Civita (1900) observerede først betydningen af et system med koefficienter E , F og G , der transformerede på denne måde ved at passere fra et koordinatsystem til et andet. Resultatet er, at den første fundamentalform ( 1 ) er invariant under ændringer i koordinatsystemet, og at dette følger udelukkende fra transformation egenskaber E , F , og G . Faktisk ved kædereglen,
så det
Længde og vinkel
En anden fortolkning af den metriske tensor, også overvejet af Gauss, er, at den giver en måde at beregne længden af tangentvektorer til overfladen såvel som vinklen mellem to tangentvektorer. I moderne termer tillader den metriske tensor at beregne prikproduktet af tangentvektorer på en måde uafhængig af den parametriske beskrivelse af overfladen. Enhver tangentvektor ved et punkt på den parametriske overflade M kan skrives i form
for passende reelle tal p 1 og p 2 . Hvis der er angivet to tangentvektorer:
derefter ved hjælp af punktproduktets bilinearitet ,
Dette er helt klart en funktion af de fire variabler a 1 , b 1 , a 2 og b 2 . Det betragtes dog mere rentabelt som en funktion, der tager et par argumenter a = [ a 1 a 2 ] og b = [ b 1 b 2 ], som er vektorer i uv- planet. Det vil sige
Dette er en symmetrisk funktion i a og b , hvilket betyder det
Det er også bilinear , hvilket betyder at det er lineært i hver variabel a og b separat. Det er,
for alle vektorer a , a ' , b og b ' i uv- planet og eventuelle reelle tal μ og λ .
Navnlig er længden af en tangentvektor a givet ved
og vinklen θ mellem to vektorer a og b beregnes med
Areal
Det areal er en anden numerisk mængde, som bør afhænge kun på selve overfladen, og ikke om, hvordan det er parametriseres. Hvis overfladen M er parametreret af funktionen r → ( u , v ) over domænet D i uv- planet, så er overfladearealet af M givet af integralen
hvor × betegner krydsproduktet , og den absolutte værdi angiver længden af en vektor i det euklidiske rum. Ved Lagrange's identitet for krydsproduktet kan integralen skrives
hvor det er det afgørende .
Definition
Lad M være en glat manifold med dimension n ; for eksempel en overflade (i tilfælde n = 2 ) eller hyperoverflade i kartesiske rum ℝ n + 1 . Ved hvert punkt p ∈ M er et vektorrum T p M , kaldet tangentrummet , der består af alle tangentvektorer til manifolden ved punktet p . En metrisk tensor ved p er en funktion g p ( X p , Y p ), der tager som input et par tangentvektorer X p og Y p ved p og producerer som output et reelt tal ( skalar ), således at følgende betingelserne er opfyldt:
-
g p er bilinær . En funktion af to vektorargumenter er bilinear, hvis den er lineær separat i hvert argument. Så hvis U p , V p , Y p er tre tangentvektorer på p og en og b er reelle tal, så
-
g p er symmetrisk . En funktion af to vektor argumenter er symmetrisk tilvejebragt, at for alle vektorer X p og Y p ,
-
g p er ikke-degenereret . En bilineær funktion er ikke-degenereret forudsat at for hver tangent vektor X p ≠ 0 , er funktionen
- opnået ved at holde X p konstant og tillader Y p at variere er ikke identisk nul . Det vil sige, for hver X p ≠ 0 findes der en Y p, således at g p ( X p , Y p ) ≠ 0 .
Et metrisk tensorfelt g på M tildeler hvert punkt p af M en metrisk tensor g p i det tangente rum ved p på en måde, der varierer jævnt med p . Mere præcist, givet ethvert åbent undersæt U af manifold M og eventuelle (glatte) vektorfelter X og Y på U , den virkelige funktion
er en glat funktion af s .
Komponenter i metricen
Komponenterne i metricen på ethvert grundlag af vektorfelter eller frame , f = ( X 1 , ..., X n ) er givet ved
-
( 4 )
De n 2 funktioner g ij [ f ] danne registreringer en n × n symmetrisk matrix , G [ f ] . Hvis
er to vektorer ved p ∈ U , derefter bestemmes værdien af metricen anvendt på v og w af koefficienterne ( 4 ) ved hjælp af bilinearitet:
Angiver matrixen ( g ij [ f ]) ved G [ f ] og arrangerer komponenterne i vektorerne v og w i søjlevektorer v [ f ] og w [ f ] ,
hvor v [ f ] T og w [ f ] T betegner transponering af henholdsvis vektorerne v [ f ] og w [ f ] . Under en ændring af basisformularen
for nogle invertibel n × n matrix A = ( a ij ) , matrixen af komponenterne i de metriske ændringer af A samt. Det er,
eller, hvad angår indtastningerne i denne matrix,
Af denne grund siges det , at systemet med størrelser g ij [ f ] transformeres covariant med hensyn til ændringer i rammen f .
Metrisk i koordinater
Et system med n reelle værdifunktioner ( x 1 , ..., x n ) , der giver et lokalt koordinatsystem på et åbent sæt U i M , bestemmer et grundlag for vektorfelter på U
Den metriske g har komponenter i forhold til denne ramme givet af
I forhold til et nyt system med lokale koordinater, siger
den metriske tensor bestemmer en anden matrix af koefficienter,
Dette nye system af funktioner er relateret til den oprindelige g ij ( f ) ved hjælp af kædereglen
så det
Eller i form af matricerne G [ f ] = ( g ij [ f ]) og G [ f ′] = ( g ij [ f ′]) ,
hvor Dy betegner den Jacobianske matrix for koordinatændringen.
Underskrift af en måling
Tilknyttet enhver metrisk tensor er den kvadratiske form defineret i hvert tangentrum af
Hvis q m er positiv for alle ikke-nul X m , er metrikken positiv-bestemt ved m . Hvis metricen er positiv-defineret ved hver m ∈ M , kaldes g en Riemannian-metrisk . Mere generelt, hvis kvadratiske former q m har konstant signatur uafhængig af m , så er signaturen for g denne signatur, og g kaldes en pseudo-Riemannian-metrisk . Hvis M er tilsluttet , afhænger signaturen af q m ikke af m .
Af Sylvester lov af inerti , på basis af tangens vektorer X jeg kan vælges lokalt, så den kvadratiske danner diagonalizes på følgende måde
for nogle p mellem 1 og n . Ethvert to sådanne udtryk for q (på samme punkt m af M ) vil have det samme antal p positive tegn. Signaturen for g er paret af heltal ( p , n - p ) , hvilket betyder, at der er p positive tegn og n - p negative tegn i et sådant udtryk. Tilsvarende har metricen signatur ( p , n - p ), hvis matricen g ij for metricen har p positive og n - p negative egenværdier .
Visse metriske signaturer, der ofte opstår i applikationer, er:
- Hvis g har signatur ( n , 0) , er g en Riemannian-metrisk, og M kaldes en Riemannian-manifold . Ellers er g en pseudo-Riemannian-metrisk, og M kaldes en pseudo-Riemannian-manifold (udtrykket semi-Riemannian bruges også).
- Hvis M er firedimensionelt med signatur (1, 3) eller (3, 1) , kaldes metricen Lorentzian . Mere generelt kaldes en metrisk tensor i dimension n andet end 4 med signatur (1, n - 1) eller ( n - 1, 1) undertiden også Lorentzian.
- Hvis M er 2 n -dimensional og g har signatur ( n , n ) , kaldes metricen ultrahyperbolic .
Omvendt metrisk
Lad f = ( X 1 , ..., X n ) være et grundlag for vektorfelter, og som ovenfor lad G [ f ] være matrixen for koefficienter
Man kan overveje den inverse matrix G [ f ] -1 , som er identificeret med den inverse metric (eller konjugat eller dual metric ). Den omvendte metrik opfylder en transformationslov, når rammen f ændres af en matrix A via
-
( 5 )
De inverse metriske transformationer contravariantly , eller med hensyn til det omvendte af basisændring matrix A . Hvorimod metricen i sig selv tilvejebringer en måde at måle længden af (eller vinklen mellem) vektorfelter på, leverer den inverse metric et middel til at måle længden af (eller vinklen mellem) covectorfelter ; det vil sige felter med lineære funktionaliteter .
For at se dette, antag at α er et covectorfelt. For at bestemme, for hvert punkt p , bestemmer α en funktion α p defineret på tangentvektorer ved p, således at følgende linearitetsbetingelse gælder for alle tangentvektorer X p og Y p og alle reelle tal a og b :
Da p varierer, antages α at være en glat funktion i den forstand, at
er en glat funktion af p for enhver glat vektorfelt X .
Ethvert covectorfelt α har komponenter på basis af vektorfelter f . Disse bestemmes af
Betegne rækkevektoren af disse komponenter ved
Under en ændring af f af en matrix A , α [ f ] ændrer af reglen
Rækkevektoren af komponenter a [ f ] transformeres som en covariant vektor.
For et par α og β af covectorfelter defineres den inverse metric, der anvendes på disse to covectors
-
( 6 )
Den resulterende definition, selvom det indebærer valg af basis f , afhænger faktisk ikke af f på en væsentlig måde. Faktisk skifter basis til f A giver
Så at højre side af ligning ( 6 ) ikke påvirkes ved at ændre grundlaget f til noget andet grundlag f A overhovedet. Derfor kan ligningen tildeles en betydning uafhængigt af valg af basis. Indgangene i matrixen G [ f ] er betegnet med g ij , hvor indekserne i og j er hævet for at indikere transformationsloven ( 5 ).
Hæve og sænke indekser
På basis af vektorfelter f = ( X 1 , ..., X n ) kan ethvert glat tangentvektorfelt X skrives i form
-
( 7 )
for nogle unikt bestemte glatte funktioner v 1 , ..., v n . Efter ændring af basis f med en ikke-ensformig matrix A ændres koefficienterne v i på en sådan måde, at ligning ( 7 ) forbliver sand. Det er,
Derfor er v [ f A ] = A −1 v [ f ] . Med andre ord, komponenterne i en vektor transformation contravariantly (dvs. omvendt eller i den modsatte måde) under en ændring af basis af den non-singul matrix A . Kontravariancen af komponenterne i v [ f ] betegnes notatisk ved at placere indekserne for v i [ f ] i den øverste position.
En ramme tillader også, at covektorer udtrykkes i form af deres komponenter. På basis af vektorfelterne defineres f = ( X 1 , ..., X n ) det dobbelte grundlag til at være de lineære funktionaliteter ( θ 1 [ f ], ..., θ n [ f ]) således at
Det vil sige θ i [ f ] ( X j ) = δ j i , Kronecker-deltaet . Lade
Under en ændring af basis f ↦ f A for en ikke-singulær matrix A , transformeres θ [ f ] via
Enhver lineær funktionel α på tangentvektorer kan udvides med hensyn til den dobbelte basis θ
-
( 8 )
hvor a [ f ] angiver rækkevektoren [ a 1 [ f ] ... a n [ f ]] . Komponenterne en jeg omdanne når grundlaget f erstattes af f A på en sådan måde, at ligning ( 8 ) fortsat venteposition. Det er,
hvorfra, fordi θ [ f A ] = A -1 θ [ f ] , følger det, at en [ f A ] = a [ f ] A . Dvs. komponenterne en transformation covariantly (af matrixen A snarere end dets inverse). Kovariansen af komponenterne i en [ f ] betegnes notatisk ved at placere indekserne for en i [ f ] i den nedre position.
Nu giver den metriske tensor et middel til at identificere vektorer og covektorer som følger. Holder X p fast, funktionen
af tangens vektor Y p definerer en lineær funktionel på tangentrummet på s . Denne operation tager en vektor X p ved et punkt p og producerer en covector g p ( X p , -) . På basis af vektorfelter f , hvis et vektorfelt X har komponenter v [ f ] , er komponenterne i covectorfeltet g ( X , -) i den dobbelte basis angivet af posterne i rækkevektoren
Under en basisændring f ↦ f A transformeres højre side af denne ligning via
således at a [ f A ] = a [ f ] A : a transformeres covariant. Funktionen med at associere til (kontravariant) komponenterne i et vektorfelt v [ f ] = [ v 1 [ f ] v 2 [ f ] ... v n [ f ]] T (covariant) komponenterne i covectorfeltet a [ f ] = [ a 1 [ f ] a 2 [ f ]… a n [ f ]] , hvor
kaldes sænkning af indekset .
For at hæve indekset anvender man den samme konstruktion, men med den inverse metric i stedet for metricen. Hvis a [ f ] = [ a 1 [ f ] a 2 [ f ] ... a n [ f ]] er komponenterne i en covector på dobbeltbasis θ [ f ] , så er søjlevektoren
-
( 9 )
har komponenter, der transformerer kontravariant:
Følgelig mængden X = f v [ f ] ikke afhænger af valget af grundlaget f i en væsentlig måde, og definerer således et vektorfelt på M . Operationen ( 9 ), der associerer til (covariant) komponenterne i en covector a [ f ] de (kontravariant) komponenter i en vektor v [ f ] , kaldes at hæve indekset . I komponenter er ( 9 )
Fremkaldt metrisk
Lad U være et åbent sæt i ℝ n , og lad φ være en kontinuerligt differentierbar funktion fra U til det euklidiske rum ℝ m , hvor m > n . Kortlægningen φ kaldes en fordybelse , hvis dens forskellen er injektiv på ethvert punkt i U . Billedet af φ kaldes et nedsænket undermanifold . Mere specifikt kaldes den inducerede metriske tensor for m = 3 , hvilket betyder, at det omgivende euklidiske rum er ℝ 3 , den inducerede metriske tensor den første grundlæggende form .
Antag at φ er en nedsænkning i undermanifolden M ⊂ R m . Det sædvanlige euklidiske prikprodukt i ℝ m er en metrisk, der, når den er begrænset til vektorer, der er tangent til M , giver et middel til at tage punktproduktet af disse tangentvektorer. Dette kaldes den inducerede metrik .
Antag at v er en tangentvektor ved et punkt af U , siger
hvor e i er standardkoordinatvektorerne i ℝ n . Når φ anvendes på U , går vektoren v over til vektoren, der tangenterer til M givet af
(Dette kaldes pushforward af v langs φ .) Givet to sådanne vektorer, v og w , defineres den inducerede metric ved
Det følger af en ligetil beregning, at matricen for den inducerede metric på basis af koordinatvektorfelterne e er givet af
hvor Dφ er den Jacobianske matrix:
Iboende definitioner af en metrisk
Begrebet en metrisk kan defineres iboende ved hjælp af sproget for fiberbundter og vektorbundter . I disse termer er en metrisk tensor en funktion
-
( 10 )
fra fiberproduktet fra det tangente bundt af M med sig selv til R, således at begrænsningen af g til hver fiber er en ikke-degenereret bilinær kortlægning
Kortlægningen ( 10 ) kræves for at være kontinuerlig og ofte kontinuerligt differentierbar , glat eller ægte analytisk , afhængigt af tilfældet af interesse, og om M kan understøtte en sådan struktur.
Metrisk som en sektion af et bundt
Ved tensorproduktets universelle egenskab giver enhver bilinær kortlægning ( 10 ) naturligt anledning til et afsnit g ⊗ af det dobbelte af tensorproduktbundtet af T M med sig selv
Sektionen g ⊗ er defineret på enkle elementer i T M ⊗ T M ved
og er defineret på vilkårlige elementer af T M ⊗ T M ved at udvide lineært til lineære kombinationer af enkle elementer. Den originale bilineære form g er symmetrisk, hvis og kun hvis
hvor
er fletningskortet .
Da M er endelig-dimensionel, er der en naturlig isomorfisme
således at g ⊗ også betragtes som en sektion af bundtet T * M ⊗ T * M af det cotangente bundt T * M med sig selv. Da g er symmetrisk som en bilineær kortlægning, følger det, at g ⊗ er en symmetrisk tensor .
Metrisk i et vektorbundt
Mere generelt kan man tale om en metric i et vektorpakke . Hvis E er et vektorbundt over en manifold M , er en metric en kortlægning
fra fiberproduktet fra E til R, som er bilinært i hver fiber:
Ved hjælp af dualitet som ovenfor, er et metrisk ofte identificeret med en sektion af tensor produkt bundt E * ⊗ E * . (Se metrisk (vektorpakke) .)
Tangent – cotangent isomorfisme
Den metriske tensor giver en naturlig isomorfisme fra det tangente bundt til det cotangente bundt , undertiden kaldet den musikalske isomorfisme . Denne isomorfisme opnås ved at sætte for hver tangentvektor X p ∈ T p M ,
den lineære, funktionelle på T p M som sender en tangent vektor Y p på p til g p ( X p , Y p ) . Der er i form af parringen [-, -] mellem T p M og dets dobbelte plads T∗
sM ,
for alle tangent vektorer X p og Y s . Kortlægningen S g er en lineær transformation fra T p M til T∗
sM . Det følger af definitionen af ikke-degenerering, at kernen af S g er reduceret til nul, og det af rang-ugyldighed teorem , S g er en lineær isomorfi . Endvidere S g er en symmetrisk lineær transformation i den forstand, at
for alle tangent vektorer X p og Y s .
Omvendt er enhver lineær isomorfisme S : Tp M → T∗
sM definerer en ikke-degenereret bilineær form på T p M ved hjælp af
Denne bilineære form er symmetrisk, hvis og kun hvis S er symmetrisk. Der er således et naturligt en-til-en overensstemmelse mellem symmetriske bilineære formularer på T p M og symmetriske lineære isomorfier af T p M til den dobbelte T∗
sM .
Som p varierer over M , S g definerer et afsnit af bundtet Hom (T M , T * M ) af vektor bundt isomorfier af tangenten bundtet til cotangens bundt. Dette afsnit har samme glathed som g : det er kontinuerligt, differentierbart, glat eller reelt analytisk ifølge g . Kortlægningen S g , som associerede til hver vektorfelt på M en covector felt på M giver en abstrakt formulering af "sænkning indekset" på et vektorfelt. Den inverse af S g er en kortlægning T * M → T M som analogt, giver en abstrakt formulering af "hæve indekset" på en covector felt.
Den omvendte S−1
g definerer en lineær kortlægning
som er nonsingular og symmetrisk i den forstand, at
for alle covektorer α , β . En sådan ikke-singulær symmetrisk kortlægning giver (ved hjælp af tensor-hom-tillæg ) et kort
eller ved dobbelt dobbelt isomorfisme til en sektion af tensorproduktet
Arclength og linieelementet
Antag, at g er en Riemannsk metrisk på M . I et lokalt koordinatsystem x i , i = 1, 2,…, n vises den metriske tensor som en matrix , der her betegnes med G , hvis poster er komponenterne g ij af den metriske tensor i forhold til koordinatvektorfelterne.
Lad γ ( t ) være en stykkevis differentierbar parametrisk kurve i M , for a ≤ t ≤ b . Den buelængde af kurven er defineret ved
I forbindelse med denne geometriske anvendelse er den kvadratiske differentiale form
kaldes den første grundlæggende form, der er knyttet til metricen, mens ds er linieelementet . Når ds 2 er trukket tilbage til billedet af en kurve i M , repræsenterer kvadratet på forskellen i forhold til buelængde.
For en pseudo-Riemannisk metrik er længdeformlen ovenfor ikke altid defineret, fordi udtrykket under kvadratroden kan blive negativ. Vi definerer generelt kun kurvens længde, når størrelsen under kvadratroden altid er af det ene eller det andet tegn. I dette tilfælde skal du definere
Bemærk, at mens disse formler bruger koordinatudtryk, er de faktisk uafhængige af de valgte koordinater; de afhænger kun af metricen og kurven, langs hvilken formlen er integreret.
Energien, variationer og principper og geodesik
Givet et segment af en kurve er en anden ofte defineret størrelse kurvens (kinetiske) energi :
Denne anvendelse kommer fra fysik , specifikt klassisk mekanik , hvor integralet E kan ses direkte svarer til den kinetiske energi af en punktpartikel, der bevæger sig på overfladen af en manifold. Således kan for eksempel i Jacobis formulering af Maupertuis 'princip , den metriske tensor ses at svare til massetensoren for en bevægelig partikel.
I mange tilfælde, når en beregning kræver længden, skal der også foretages en lignende beregning ved hjælp af energien. Dette fører ofte til enklere formler ved at undgå behovet for kvadratroden. Således kan for eksempel de geodesiske ligninger opnås ved at anvende variationer principper til enten længden eller energien. I sidstnævnte tilfælde ses de geodesiske ligninger stamme fra princippet om mindste handling : de beskriver bevægelsen af en "fri partikel" (en partikel, der ikke føler nogen kræfter), der er begrænset til at bevæge sig på manifolden, men ellers bevæger sig frit, med konstant momentum inden i manifolden.
Kanonisk mål og volumenform
I analogi med tilfældet med overflader giver en metrisk tensor på en n -dimensional parakompakt manifold M en naturlig måde at måle det n -dimensionelle volumen af undersæt på manifolden. Det resulterende naturlige positive Borel-mål gør det muligt at udvikle en teori om integrering af funktioner på manifolden ved hjælp af den tilknyttede Lebesgue-integral .
En foranstaltning kan defineres ved Riesz repræsentation teorem , ved at give en positiv lineær funktionel Λ på plads C 0 ( M ) af kompakt understøttede kontinuerte funktioner på M . Mere præcist, hvis M er en manifold med en (pseudo) Riemannsk metriske tensor g , så er der en unik positiv Borel foranstaltning μ g sådan, at for enhver koordinat diagram ( U , φ ) ,
for alle f understøttet i U . Her the g er determinanten af matrixen er dannet af bestanddelene af det metriske tensor i koordinatsystemet diagrammet. At Λ er veldefineret på funktioner, der understøttes i koordinatkvarterer, er berettiget af Jacobians ændring af variabler . Den strækker sig til en unik positiv lineær funktionel på C 0 ( M ) ved hjælp af en skillevæg af enhed .
Hvis M også er orienteret , er det muligt at definere en naturlig volumenform ud fra den metriske tensor. I et positivt orienteret koordinatsystem ( x 1 , ..., x n ) er volumenformen repræsenteret som
hvor dx i er koordinadifferentialerne og ∧ betegner det udvendige produkt i algebra af forskellige former . Volumenformularen giver også en måde at integrere funktioner på manifolden, og denne geometriske integral stemmer overens med integralen opnået ved det kanoniske Borel-mål.
Eksempler
Euklidisk metrisk
Det mest kendte eksempel er den elementære euklidiske geometri : den todimensionale euklidiske metriske tensor. I de sædvanlige ( x , y ) koordinater kan vi skrive
Længden af en kurve reduceres til formlen:
Den euklidiske metrik i nogle andre almindelige koordinatsystemer kan skrives som følger.
Polære koordinater ( r , θ ) :
Så
ved trigonometriske identiteter .
I almindelighed i et kartesisk koordinatsystem x jeg på en euklidisk rum , de partielle afledede ∂ / ∂ x jeg er orthonormal i forhold til den euklidiske metrik. Således er den metriske tensor Kronecker delta δ ij i dette koordinatsystem. Den metriske tensor med hensyn til vilkårlige (muligvis krøllede) koordinater q i er givet af
Den runde metrik på en kugle
Enhedssfæren i ℝ 3 er udstyret med en naturlig metric induceret fra den omgivende euklidiske metrik gennem processen forklaret i det inducerede metriske afsnit . I standard sfæriske koordinater ( Ø , φ ) , med θ den colatitude , vinklen målt fra z -aksen, og Ø vinklen fra x -aksen i xy -plane, metrikken tager form
Dette skrives normalt i form
Lorentziske målinger fra relativitet
I fladt Minkowski-rum ( speciel relativitet ) med koordinater
metricen er, afhængigt af valg af metrisk signatur ,
For en kurve med f.eks. Konstant tidskoordinat reduceres længdeformlen med denne metrik til den sædvanlige længdeformel. For en tidlignende kurve giver længdeformlen den korrekte tid langs kurven.
I dette tilfælde skrives rumtidsintervallet som
Den Schwarzschild metric beskriver rumtiden omkring en sfærisk symmetrisk legeme, såsom en planet, eller et sort hul . Med koordinater
vi kan skrive metricen som
hvor G (inde i matrixen) er tyngdekonstanten og M repræsenterer det samlede masse-energiindhold i det centrale objekt.
Se også
- Grundlæggende introduktion til matematik i buet rumtid
- Clifford algebra
- Finsler manifold
- Liste over koordinatdiagrammer
- Ricci-beregning
- Tissots indicatrix , en teknik til at visualisere den metriske tensor
Bemærkninger
Referencer
- Dodson, CTJ; Poston, T. (1991), Tensorgeometri , Graduate Texts in Mathematics, 130 (2. udgave), Berlin, New York: Springer-Verlag, doi : 10.1007 / 978-3-642-10514-2 , ISBN 978-3-540-52018-4, MR 1223091
- Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques ( Riemannian Geometry, 3. udgave), Berlin, New York: Springer-Verlag, ISBN 978-3-540-20493-0.
- Gauss, Carl Friedrich (1827), General Investigations of Curved Surfaces , New York: Raven Press (udgivet 1965)oversat af AM Hiltebeitel og JC Morehead; "Disquisitiones generales circa superficies curvas" , Kommentarer Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), s. 99–146.
- Hawking, SW ; Ellis, GFR (1973), Den store skala struktur af rumtid , Cambridge University Press.
- Kay, David, Schaums oversigt over teori og problemer med Tensor Calculus , McGraw-Hill, ISBN 978-0-07-033484-7.
- Kline, Morris (1990), Matematisk tænkning fra gammel til moderne tid, bind 3 , Oxford University Press.
- Lee, John (1997), Riemannian manifolds , Springer Verlag, ISBN 978-0-387-98322-6.
- Michor, Peter W. (2008), Emner i differentiel geometri , kandidatstudier i matematik , 93 , Providence: American Mathematical Society( vises ).
- Misner, Charles W .; Thorne, Kip S .; Wheeler, John A. (1973), Gravitation , WH Freeman, ISBN 0-7167-0344-0
- Ricci-Curbastro, Gregorio ; Levi-Civita, Tullio (1900), "Méthodes de calcul différentiel absolu et leurs applications" , Mathematische Annalen , 54 (1): 125–201, doi : 10.1007 / BF01454201 , ISSN 1432-1807 , S2CID 120009332
- Sternberg, S. (1983), Lectures on Differential Geometry (2. udg.), New York: Chelsea Publishing Co., ISBN 0-8218-1385-4
- Vaughn, Michael T. (2007), Introduction to mathematical physics (PDF) , Weinheim: Wiley-VCH Verlag GmbH & Co., doi : 10.1002 / 9783527618859 , ISBN 978-3-527-40627-2, MR 2324500
- Wells, Raymond (1980), Differential Analysis on Complex Manifolds , Berlin, New York: Springer-Verlag