Konformt platt grenrör
Ett ( pseudo- ) Riemann-grenrör är konformt platt om varje punkt har ett område som kan mappas till platt utrymme genom en konform transformation .
I praktiken måste metriska för grenröret vara överensstämmande med det platta måttet dvs geodesiken bibehålls i alla punkter i vinklarna genom att flytta från den ena till den andra, samt att hålla nollgeodesiken oförändrad, det betyder att det finns en funktion så att där är känd som den konforma faktorn och är en punkt på grenröret.
Mer formellt, låt vara ett pseudo-riemannskt mångfald. Då konformt platt om det för varje punkt i finns en grannskap av och en jämn funktion definierad på så att är platt (dvs. krökning av försvinner på ). Funktionen behöver inte definieras på alla .
Vissa författare använder definitionen av lokalt konformt platt när det bara hänvisas till någon punkt på och reserverar definitionen av conformally flat för det fall där relationen är giltig för alla på .
Exempel
- Varje grenrör med konstant tvärsnittskurvatur är konformt platt.
-
Varje 2-dimensionell pseudo-Riemann-grenrör är konformt platt.
- Linjeelementet för de tvådimensionella sfäriska koordinaterna, som det som används i det geografiska koordinatsystemet , d
- , har metrisk tensor och är inte platt men kan med den stereografiska projektionen mappas till ett platt utrymme med hjälp av den konforma faktorn , där är avståndet från det platta utrymmets ursprung, vilket ger
- .
- Ett 3-dimensionellt pseudo-Riemann-grenrör är konformt platt om och bara om bomullstensorn försvinner .
- Ett n -dimensionellt pseudo-Riemann-grenrör för n ≥ 4 är konformt platt om och endast om Weyl-tensorn försvinner.
- Varje kompakt , enkelt ansluten , konformt euklidiskt Riemann-grenrör är konformt likvärdigt med den runda sfären .
- Den stereografiska projektionen tillhandahåller ett koordinatsystem för sfären där konform planhet är explicit, eftersom metriken är proportionell mot den platta.
- I allmän relativitetsteori kan konformt platta grenrör ofta användas, till exempel för att beskriva Friedmann–Lemaître–Robertson–Walker-metriska . Men det visades också att det inte finns några konformt platta skivor av Kerr-rumtiden .
- Till exempel har Kruskal-Szekeres-koordinaterna linjeelement
- med metrisk tensor och är alltså inte platt. Men med transformationerna och
- blir
- med metrisk tensor faktorn
- 1 .
Se även