A vektormezők két családja, melyeket az kα=dxαdλk_{\alpha} = \frac{dx_{\alpha}}{d\lambda} és lα=dxαdλl_{\alpha} = \frac{dx_{\alpha}}{d\lambda} egyenletekkel írunk le, ahol λ\lambda egy paraméter minden görbéhez, fontos szerepet játszanak egy-egy felület kialakításában. Az első lépés egy olyan görbe CC kiválasztása, amely az ll mezőhöz tartozik, majd figyelembe vesszük azokat a görbéket, amelyek a kk mezővel párhuzamosak és metszik a CC-t (lásd 8.2 ábra). Ezek a görbék egy felületet alkotnak, amelyet a CC-hoz tartozó görbe egyes pontjai alkotnak, és amelynek tangens vektorai az ll mező vektorai. Ha a ll-mező vektorai minden egyes ilyen felülethez tartoznak, akkor a kk és ll mezők felületalkotónak nevezhetők.

A vektorok ll és kk közötti kapcsolatot és azok felületalkotó tulajdonságait az alábbi módon érthetjük meg: ha egy kk-görbére a ll-mező vektorai érintik a felületet, és ha ezek a vektorok minden egyes görbéhez megfelelően viselkednek, akkor kijelenthetjük, hogy a mezők felületalkotóak. Az alapvető kérdés, hogy mik a szükséges és elegendő feltételek két vektormező felületalkotó jellegének meghatározásához. A választ az egyenletek adják meg, amelyek kifejezik a vektorok közötti kapcsolatokat, mint például a Lie-deriváltat, amely az adott görbéken való változás mértékét adja.

A vektorok viselkedését, valamint azt, hogy miként tudják formálni a felületeket, a következő formában írhatjuk le:

lαa~kα=b~(F1l),l_{\alpha} - \tilde{a} k_{\alpha} = \tilde{b} (F_1^*l),

ahol a~(x)\tilde{a}(x) és b~(x)\tilde{b}(x) tetszőleges skaláris függvények, és a b~(x)0\tilde{b}(x) \neq 0 biztosítja, hogy a két mező ne legyen lineárisan függő. A kapcsolat egyszerűsödik a következő formára:

lα(F1l)=kα+lα=akα+blα,l_{\alpha} - (F_1^*l) = k_{\alpha} + l_{\alpha} = a k_{\alpha} + b l_{\alpha},

ahol aa és bb skalárok, és a két mező közötti kapcsolat a Lie-származtatott ([k,l][k, l]) segítségével érthető meg. Azaz, a szükséges és elégséges feltétel két mező felületalkotó viselkedéséhez:

[k,l]α=akα+blα.[k, l]_{\alpha} = a k_{\alpha} + b l_{\alpha}.

A Riemann-térbeli szimmetriák egyik érdekes esete a gömbi szimmetria, amelyet a 4 dimenziós Riemann-térben az O(3)O(3) forgatáscsoport jellemez. A szimmetria miatt az adott mérőgép tensorának elemeit úgy kell meghatározni, hogy azok megfeleljenek a Killing-egyenleteknek, és minden egyes generátor vonatkozásában biztosítva legyenek a megfelelő forgatások. Ez a forgatásra vonatkozó analízis kulcsfontosságú, amikor a 4 dimenziós tér geometriáját vizsgáljuk, és segít a szimmetrikus térformák pontos modellezésében.

Ezek a forgatásokat leíró vektorok, amelyeket a koordinátarendszer megfelelő transzformációi segítségével határozhatunk meg, lehetővé teszik a geometriai struktúrák, mint például a gömbfelületek pontos leírását. Ezen kívül fontos megérteni, hogy a tér koordináta-rendszerének megfelelő választása alapvetően meghatározza a forgatásra adott válaszokat. Ha a koordináták nem tartják be a szimmetria megkívánta formát, akkor a forgatás nem lesz egyszerű függvény, és a generátorok nem fognak a kívánt formát ölteni.

A gömbi szimmetriák és a hozzájuk tartozó Killing-vektorok megfelelő alkalmazása elengedhetetlen ahhoz, hogy a Riemann-terekben található struktúrákat pontosan modellezhessük. A szimmetriák figyelembevételével tehát olyan matematikai modelleket alkothatunk, amelyek képesek leírni a fizikai terek geometriai tulajdonságait, miközben a térbeli forgatásokra adott válaszokat is figyelembe vesszük.

Miért fontos megérteni az eseményhorizontok és részhorizontok szerepét a Robertson–Walker kozmológiai modellekben?

A Robertson–Walker (R-W) modellekben az eseményhorizontok és a részhorizontok szerepe alapvetően meghatározza, hogyan és milyen irányokból képesek a megfigyelők információkat szerezni a Világegyetemről. Az eseményhorizont létezése kulcsfontosságú jelenség, amely a tér-idő szerkezetének globális tulajdonságait tükrözi, és elengedhetetlen a Világegyetem dinamikájának megértésében.

Az eseményhorizontok létezését és viselkedését a táguló Világegyetemben az integrálok konvergenciája és a távolságok gyors növekedése határozza meg. A táguló Univerzumban az eseményhorizont fogalmát a fényterjedés akadályozása adja, amely a távoli források fényét képes visszatartani, még akkor is, ha azok végtelen idő elteltével próbálnak elérni egy megfigyelőt a tér egy bizonyos pontján. A távolodó fény nem képes áthaladni ezen az horizontális felületen, mivel az tágulásának üteme meghaladja a fény sebességét.

A fizikai jelentőségét az adja, hogy a megfelelő távolságú fényforrások, amelyek a horizonton kívül helyezkednek el, nem képesek elérni a megfigyelőt, még végtelen idő elteltével sem. A távolság növekedésével az R(t) táguló függvény miatt a fény terjedése akadályba ütközik. Ahogyan azt Eddington fogalmazta meg, „a fény olyan, mint egy futó egy táguló pályán, ahol a célvonal gyorsabban távolodik, mint ő képes futni.”

A távoli események és a kozmológiai távolságok viszonyának részletes vizsgálata azt mutatja, hogy a jövőben egyes események és objektumok, amelyek az eseményhorizonton kívül helyezkednek el, soha nem lesznek észlelhetők a megfigyelő számára. Ez egy olyan jelenség, amely a tér-idő strukturális jellemzőiből adódik, és nem a fény lassulásából vagy a megfigyelő mozgásából.

Fontos kiemelni, hogy az eseményhorizontok létezése nem minden esetben egyértelmű. A Friedmann-modellekben, amelyekben a kozmikus állandó (Λ) nulla, a R(t) időbeli változása egy csökkenő függvény, és ebben az esetben az eseményhorizontok nem jelennek meg, mivel az integrálok konvergenciája azt mutatja, hogy a fény a végső szingularitás előtt eléri a megfigyelőt. A távoli források tehát a megfigyelő számára láthatóvá válnak.

A megfelelő matematikai formalizmus is fontos szerepet kap, mivel a megfelelő időbeli integrálok, például a σ(r) függvények viselkedése, lehetővé teszik az eseményhorizontok és részhorizontok pontos meghatározását. Amennyiben a megfelelő integrálok véges eredményt adnak, akkor az eseményhorizontok létezése igazolható. Ezért minden megfigyelő számára az eseményhorizontok és részhorizontok létezése és működése egy univerzális jelenség, amely az Univerzum tágulásának közvetlen következménye.

Az eseményhorizont fogalmának megértése kulcsfontosságú a Világegyetem tágulásának és fejlődésének átfogó értelmezésében, és lehetőséget ad arra, hogy jobban megértsük a fény és az információ terjedésének határait. A távoli források megfigyelése, az objektumok eltűnése a horizont mögött, mind-mind hozzájárulnak egy olyan világképhez, amely a kozmológiai modellekben alapvetően meghatározza, hogyan formálódik a Világegyetem időbeli és térbeli struktúrája.

Végül, egy különleges, de fontos jelenség, amelyet figyelembe kell venni, az a részhorizont létezése és szerepe. A részhorizontok a megfigyelők számára egyfajta korlátot képeznek, mivel nem minden objektum lesz megfigyelhető a jövőben, és az idő múlásával egyes források elérhetetlenné válnak. A részhorizontok pontos meghatározása szoros összefüggésben van az eseményhorizontok létezésével és a kozmikus tágulás sebességével, ami lehetővé teszi, hogy az események és a fény viselkedését mélyebb szinten értsük meg a kozmológiai modellekben.