Konformt platt grenrör

Det övre grenröret är platt. Den nedre är det inte, men den är konform med den första

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 och reserverar definitionen av conformally flat för det fall där relationen är giltig för alla .

Exempel

  • Varje grenrör med konstant tvärsnittskurvatur är konformt platt.
  • Varje 2-dimensionell pseudo-Riemann-grenrör är konformt platt.
    , 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.
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