Från Rilpedia

Du har inte behörighet att redigera denna sida, av följande anledning:

Du kan se och kopiera denna sidas källtext:

<noinclude>{{rpsv.from.wpsv}}</noinclude>'''Metrisk tensor''' knyter ett avståndsbegrepp till en rymd definierad av [[tensor]]er. ==Storhet== Många storheter kan anges med ett enda tal. Det gäller till exempel temperaturen i ett rum, antalet ägg i en kartong, mitt skonummer. En sådan storhet som anges fullständigt med ett enda tal kallas endimensionell storhet, skalar, skalär storhet, tensor av nollte ordningen eller tensor av rank 0. Det finns också storheter som kräver en grupp av tal. Om man inte nöjer sig med att veta hur många ägg det är i kartongen utan även vill veta kartongens vikt behöver man ange två tal. Om man vill beskriva ett batteri behöver man ange polspänning, kapacitet, vikt, längd, bredd och höjd alltså sex tal. Vill man ange hastighet för en bil och inte nöjer sig med hastighetens belopp utan även vill veta hastighetens riktning kan man ange hastighet in nord-sydlig riktning och hastighet i öst-västlig riktning alltså två tal. Vill man ange läge för ett hus kan man ange latitud, longitud och höjd över havet alltså tre tal. En storhet som anges med N tal kallas en N-dimensionell storhet, en vektor, en tensor av första ordningen eller en tensor av rank 1. En storhet som anges med en grupp av talgrupper kallas en tensor av andra ordningen eller en tensor av rank 2. För att en storhet skall kunna kallas tensor krävs att den kan transformeras enligt vissa regler. ==Avstånd== De olika elementen i en N-dimensionell storhet kan vara av så olika karaktär att det inte är meningsfullt att försöka sammanfatta dem på något sätt. Det är till exempel inte meningsfullt att försöka lägga ihop ett batteris polspänning med dess längd. Däremot kan man för två hus använda deras latitud, longitud och höjd över havet till att räkna fram en skalar som anger hur svårt det är att ta sig från det ena huset till det andra. Vi har lärt oss att om vi tar skillnad i latitud, skillnad i longitud och skillnad i höjd mellan de båda husen, kvadrerar dessa skillnader, adderar kvadraterna och drar roten ur summan får vi något som vi kallar avståndet mellan husen. Detta avståndsbegrepp är så grundläggande för vårt sätt att se på vår omvärld att vi tar det för självklart. Men om man i sin världsbild använder fler än tre dimensioner och/eller använder icke-ortogonala koordinatsystem blir avståndsbegreppat inte längre lika självklart. Då behöver man regler som anger hur man skall sammanföra koordinatskillnader till en avståndsberäkning. Hur en sådan avståndsberäkning skall gå till anger man med en metrisk tensor. ==Avståndbegrepp i enklare rymder== I ett rätlinjigt, ortogonalt koordinatsystem ([[kartesiskt koordinatsystem]]) i skala 1:1 med två dimensioner (x,y) gäller för avståndet ds mellan två punkter ds² = dx² + dy² För tensorer används index placerade upptill (superscript) och index placerade nedtill (subscript). Superscript är placerade på samma sätt som exponenter. För att undvika förväxling bör man därför undvika exponenter i tensoruttryck. Ovanstående samband kan då skrivas ds ds = dx dx + dy dy ==Generaliserat avståndsbegrepp och metrisk tensor== Detta samband kan generaliseras till godtyckligt antal dimensioner och skrivas med [[tensoranalys]]ens axelbenämningar och summakonvention ds ds = g_pq dx^pdx^q g_pq kallas för ''metrisk tensor''. Om g_pq = 1 för p=q och g_pq = 0 för p≠q kallas rymden för [[Euklidiskt rum|euklidisk]] i annat fall kallas den för [[Riemanngeometri|riemansk]]. För tensorer brukar man kalla axlarna för x¹, x², ... x^N i stället för x, y, z... Antalet dimensioner, det vill säga antalet axlar, är N. Med summakonventionen menas att om ett index (subscript eller superscript) förekommer två gånger i en term skall man summera över detta index från 1 till N. För ett tvådimensionellt system ger detta ds ds = g₁₁ dx¹dx¹ + g₁₂ dx¹dx² +g₂₁ dx²dx¹ + g₂₂ dx²dx² Om rymden är euklidisk är g₁₁ = g₂₂ = 1 och g₁₂ = g₂₁ = 0 vilket ger ds ds = dx¹dx¹ + dx²dx² och om man byter ut dx¹ mot dx och dx² mot dy blir detta ds ds = dx dx + dy dy För en karta i skala b = 1:a gäller att ett avstånd ds' på kartan är ds' ds' = b b dx dx + b b dy dy där dx och dy är koordinatskillnader i verkligheten. Detta kan generaliseras till g_pq = b b för p=q g_pq = 0 för p≠ q g_pq är en [[kovariant vektor|kovariant]] tensor av andra ordningen. För en euklidisk fyrdimensionell rymd blir den i matrisform :<math> \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1\end{pmatrix}</math> Om man väljer x⁴ -axeln som koordinattidsaxel och enligt [[Minkowski]] ersätter avståndet till en händelse med avståndet till bilden av händelsen får man (med ljussekund som längdenhet) g_pq = :<math> \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -1\end{pmatrix}</math> Minkowski-rummet är ett fyrdimensionellt rum med axlar som ofta kallas x, y, z, t. De tre axlarna x, y, z kallas för rumsaxlar och t-axeln kan kallas för koordinattidsaxel. Avståndet ds i Minkowski-rummet definieras av ds ds = dx dx + dy dy + dz dz - dt dt ds blir alltså noll när <math>dt = \sqrt{dx dx + dy dy + dz dz {\quad}}</math> Det vill säga att avståndet blir noll när tidsavståndet är lika med rumsavståndet. Om en stjärna exploderar kan vi inte veta något om det när händelsen inträffar. Men den ger upphov till en bild som färdas mot oss med ljushastighet. När tiden från händelsen blir lika med rumsavståndet når bilden fram så att vi kan se den. I Minkowski-rummet är då avståndet noll. En vektor A kan transformeras [[kontravariant vektor|kontravariant]] ( A^p) eller kovariant ( A_p). Vilken av dessa möjligheter som gäller beror på vad vektorn representerar. Hastighet är ett exempel på en vektor som transformeras kontravariant, lufttryckgradient är ett exempel på en vektor som transformeras kovariant. Om en vektor transformerats kontravariant till A^p kan man med hjälp av g_pq finna den vektor A_q man skulle ha fått genom en kovariant transformation A_q = g_pq A^p På liknande sätt gäller att A^p = g^pq A_q där g^pq kallas för konjugerad eller reciprok tensor. För metrisk och konjugerad tensor gäller g^pq g_rq = δ^p_r där δ^p_r = [[kroneckers delta]]. [[Kategori:Tensorer]] [[Kategori:Riemanngeometri]] [[bg:Метричен тензор]] [[cs:Metrický tenzor]] [[de:Metrischer Tensor]] [[en:Metric tensor]] [[es:Tensor métrico]] [[fi:Metrinen tensori]] [[fr:Tenseur métrique]] [[hu:Metrikus tenzor]] [[it:Tensore metrico]] [[ja:計量テンソル]] [[ko:계량 텐서]] [[nl:Metrische tensor]] [[pl:Tensor metryczny]] [[pt:Tensor métrico]] [[ru:Метрический тензор]] [[uk:Метричний тензор]] [[ur:بحر (موترہ)]] [[zh:度量张量]]

Tillbaka till Metrisk tensor.