A Kerr-metrika maximális analitikus kiterjesztése a téridő olyan kibővítése, amely a koordináta-szingularitásokat átlépi, és feltárja az eseményhorizontok, valamint a belső szerkezet komplex geometriáját. Ez a kiterjesztés kvalitatívan hasonló a Reissner–Nordström-metrikáéhoz, de speciális tulajdonságokkal rendelkezik a forgó fekete lyukak esetében.

A Schwarzschild-metrikában az r=0 pontban elhelyezkedő szingularitás olyan téridő régióban található, ahol a r=konstans hipersíkok térszerűek, vagyis metszik az összes kauzális görbét. Ez azt jelenti, hogy bármely kauzális görbe, amely belép ebbe a régióba, véges affine paraméter érték mellett eléri a szingularitást. Ezzel szemben a Reissner–Nordström és Kerr-metrikákban az r=0 szingularitás időszerű régióban helyezkedik el, ahol az r=konstans hipersíkok időszerűek. Emiatt itt léteznek kauzális görbék, melyek elkerülhetik a szingularitást, és végtelenül a jövő irányába folytatódhatnak.

A Kerr-téridőben a térszerkezet különösen bonyolult, mivel a szingularitás nem pontszerű, hanem gyűrű alakú (r=0, θ=π/2). A Kerr–Schild koordináták segítségével a metrika alakja világosan tükrözi a fekete lyuk forgását és a téridő torzulását. A Kerr–Schild vektormezők, kα és ℓα, melyek geodetikusak és affinely parametrizáltak, külön-külön az eseményhorizontokhoz kapcsolódnak, jelölve a befelé és kifelé irányuló null-görbéket.

Az eseményhorizontok a Δr=0 helyeken vannak definiálva, ahol a téridő metrika szingularitást mutat a Boyer–Lindquist koordinátákban, de ez csak koordináta-szingularitás, nem valódi fizikai szingularitás. A kα vektormező az ingoing (befelé tartó) null-görbéket jelöli, melyek érintik az eseményhorizontokat, míg az ℓα vektormező a kifelé tartó null-görbéket. Ezek a horizontokat érintik, melyek így a fénykúpok érintői, biztosítva, hogy az anyag és a fény csak egy irányban léphet át rajtuk: kívülről befelé.

A téridő szerkezetének egyik különlegessége az ún. végtelen lánc-szerkezet, mely abból fakad, hogy egy kauzális görbe nem juthat vissza az eredeti aszimptotikusan sík régióba anélkül, hogy visszafelé utazna az időben. Ez a jelenség az eseményhorizontok közötti kapcsolatokból és a téridő causalitásának szerkezetéből ered.

Az analitikus kiterjesztés során különböző koordináta-rendszerekre van szükség, mivel a Boyer–Lindquist koordináták bevezetnek hamis szingularitásokat, amelyek nem valós fizikai korlátokat jelentenek. Két egymásba kapcsolódó keretrendszer, az E és E′ frame, különböző irányokba mutató null-vektorokat használnak, és részben átfedő tartományokkal rendelkeznek. Az E-frame-ben a kα vektormező befelé mutat, és a jövő irányába haladva az eseményhorizontot átlépheti, míg az ℓα vektormezővel az eseményhorizont nem érhető el a jövőben, csak a múltban.

Ez a kettősség hasonló a Schwarzschild-metrika Kruskal-kiterjesztéséhez, amelyben a téridő két különböző régiója csatlakozik össze, de nem érhető el mindkettő minden koordináta-rendszerből egyformán. Az eseményhorizontokhoz kapcsolódó koordinátatranszformációk szingularitásokat mutatnak a horizontokon, de ezek nem fizikai akadályok, hanem a koordináták sajátosságai.

A maximális analitikus kiterjesztés így egy olyan összetett, réteges téridő-szerkezetet tár fel, ahol az eseményhorizontok, a gyűrűs szingularitás, a különböző null-vektor mezők és az azokhoz tartozó koordináta-rendszerek egymással finoman összefonódnak. Ez a szerkezet nemcsak az aszimptotikusan sík téridő régiókra, hanem a fekete lyuk belső régióira és azok matematikailag követhető kiterjesztéseire is kiterjed.

Fontos megérteni, hogy a Boyer–Lindquist koordináták nem alkalmasak a teljes téridő lefedésére, ezért a kiterjesztéshez más, úgynevezett Kerr–Schild vagy E/E′ keretrendszereket kell alkalmazni. Ez nem csupán matematikai trükk, hanem elengedhetetlen a fekete lyuk eseményhorizontjainak és belső régióinak megfelelő megértéséhez. A téridő causalitásának és a null-görbék szerkezetének feltárása alapvető a forgó fekete lyukak fizikájának és a relativisztikus asztrofizikának.

A téridőbeli végtelen lánc-szerkezet léte olyan egzotikus lehetőségeket hordoz, amelyek a klasszikus kauzalitás és időirány fogalmát is kihívás elé állítják. Az eseményhorizontokon való átjutás iránya és a téridő kiterjesztései révén a fekete lyukak nem csupán egyszerű gravitációs objektumok, hanem összetett geometriájú, időben és térben is rendkívül gazdag struktúrák.

Hogyan kapcsolódik egymáshoz a forrás és az észlelő közötti távolság a reciprokitás tételén keresztül?

A geometriai relativitás elméletében alapvető, hogy különböző mérési technikák és távolságmeghatározások segítségével modellezzük az űrben lévő objektumokat, mint például galaxisokat. A reciprokitás tételének segítségével azonban lehetőségünk van kapcsolatba hozni a különböző megfigyelési pontok távolságait. A tétel azt állítja, hogy a fényforrás és az észlelő közötti távolságok között szoros összefüggés van, amit a tér időbeli görbülete, az optikai útvonal és a geodetikus eltérések befolyásolnak.

Képzeljünk el egy fényforrást, például egy galaxist, amely fényt bocsát ki. A fény közvetlenül elérhet egy észlelőpontot, és egy másik, széttartó fénysugár-bundlét is kibocsát. Az első, központi fénynyaláb minden irányba tart, míg a második, széttartó fénysugarak körbefutják a központi nyalábot, és a fényforrástól az észlelőhöz tartva kitöltik a tér egy szögét, δΩG. Az észlelőtől távolabbi területen a fényforrás környezetét vizsgálva egy másik, ugyanakkora szöget kitöltő sugárbundlét hozunk létre, amely végül a megfigyelő pontján, O-nál egy új területet, δΩO, foglal el.

A reciprokitás tételének köszönhetően a két távolság, rG és rO, között összefüggés áll fenn. Az összefüggés a következőképpen definiálható: a két távolság közötti kapcsolat rO és rG tekintetében az alábbi egyenletre vezethető:

rG2=rO2(1+zO)r_G^2 = r_O^2 (1 + z_O)

Ez az összefüggés azt mutatja, hogy a forrástól való távolság rG a megfigyelőtől való távolságtól rO és az észlelő szempontjából mérhető vöröseltolódás (zO) függvényében határozható meg.

A reciprokitás tételének értelmezése szoros összefüggést mutat az általános relativitás elméletében a fény útjának geodetikus deviációjával és annak megfigyelhető jellemzőivel. A geodetikus deviációk azok az eltérések, amelyeket a fény útja mutat, ha azt a tér görbülete vagy más objektumok hatása befolyásolja. Ezt az elméletet az úgynevezett geodetikus eltérések egyenletek segítségével lehet leírni. A téridő görbülete miatt a fény útja és a tér más objektumai közötti kölcsönhatásokat megfigyelhetjük és mérhetjük, hogy a megfelelő távolságokat meghatározhassuk.

A reciprokitás tételének gyakorlati alkalmazása elsősorban az asztrofizikai megfigyelések során jelenik meg, például galaxisok távolságának meghatározásában. Amikor a fényforrás (például egy galaxis) által kibocsátott fény elér minket, az észlelőpont távolságának meghatározása kulcsfontosságú lehet a kozmikus struktúrák és az univerzum fejlődésének megértésében. Azonban az ilyen típusú távolságok mérésénél több tényezőt is figyelembe kell venni: az optikai hatások, a tér görbülete és a vöröseltolódás mind befolyásolják a mérési eredményeket.

A fenti elmélet egyik fontos aspektusa, hogy a geodetikus deviációk és a relativisztikus optikai jelenségek figyelembevétele elengedhetetlen a pontos távolságméréshez. Azáltal, hogy a fény észlelése a téridő görbületeitől függ, az észlelőpont és a forrás közötti távolságok nem mindig egyértelműek a klasszikus optikai elméletek alapján.

Továbbá, a reciprokitás tételének alkalmazása különböző megfigyelési helyek és környezetek figyelembevételével válik fontossá. A tétel feltételezi, hogy az észlelő nem található visszaverődő vagy elnyelő felületen, mivel ilyen felületek torzíthatják a fény útját és hatással lehetnek a mérési eredményekre. A tétel érvényesülésének érdekében tehát fontos, hogy az észlelési környezetben ne legyenek olyan tényezők, amelyek alapvetően módosítanák a fényterjedés dinamikáját.

A reciprokitás tételének ismerete tehát lehetővé teszi a kozmológiai modellek finomhangolását és a galaxisok közötti távolságok pontosabb meghatározását, ami hozzájárulhat a világegyetem struktúráinak és fejlődésének jobb megértéséhez.