Estruktura kausal

Fisika matematikoan, barietate lorentzdar baten estruktura kausalak hainbat punturen arteko kausazko erlazioak deskribatzen ditu.

Sarrera 
Fisika modernoan (bereziki erlatibitate orokorrean ) espazio-denbora barietate lorentzdar baten bidez deskribatzen da. Barietateko puntuen arteko kausazko erlazioak interpreta daitezke deskribatuz espazio-denborako zein gertaerek eragin dezaketen besteen gainean.

Geometria lorentzdarreko adibide arrunt bat Minkowskiren espazio-denbora da. Bertako puntuen arteko kausazko erlazioak partikularki sinpleak dira, kasu honetako espazio-denbora laua da eta.

Hala ere, barietate lorentzdar arbitrario baten egitura kausala zaildu egin daiteke kurbaduragatik. Kasu hauetan estruktura kausalak puntuen arteko kurba diferentziagarrien bidez ezartzen dira, kurben abiaduren (bektore ukitzaileen) baldintza batzuenpean. Baldintza horien bidez defini daitezke erlazio kausalak.

Bektore ukitzaileak 

 barietate lorentzdar baten kasurako, non g M barietatearen puntu oroko metrika den. Puntu bakoitzeko espazio tangenteak definizioz Minkowskiren espazioko estruktura berbera izango du. Ondorioz, nuluak ez diren bektore ukitzaileak hiru multzo disjuntutan sailka daitezke. X bektore ukitzailea izanik, honen sailkapena:

 denbora motakoa baldin 
 nulua edo argi motakoa  baldin
 espazio motakoa baldin

 metrika erabiltzen da kasu honetan. Hemendik aurrera, bektore ukitzailea ez-espaziala dela esango dugu nulua edo denbora motakoa bada.

Barietate lorentzdar kanonikoa Minkowskiren espazio-denbora da, non  eta g Minkowskiren metrika laua diren. Izatez, eredu honen fisika da aurreko atalean ikusi ditugun bektore tangenteen izenen jatorria. Espazio-denbora honetako kausazko erlazioak nahiko sinpleak dira, aurrerago aipatu bezala espazio tangentea ere   delako eta ondorioz bektore tangenteak espazioko puntu gisa identifika ditzakegulako.  lau dimentsiodun bektorea  -ren zeinuaren arabera sailkatzen da (  3-dimentsioko espazioaren koordenatu kartesiarrak izanik eta c argiaren abiadura). Metrikaren aldaezintasuna dela eta, bektoreen espazioko sailkapenak berdinak izango dira Lorentzen transformaziopeko erreferentzia sistema guztientzat, ez ordea Poincaré-ren transformazio orokor baten bidezkoetan, jatorria lekuz alda daiteke eta.

Denbora-orientagarritasuna 
Minkowskiren identikoa den estruktura honek, gertaera baten inguruko erlazio kausalak ikustaraztea ahalbidetzen du. Izatez, puntu bakoitzean iragana eta etorkizuna desberdindu daitezke argi konoa bi baliokidetasun-erlaziotan banatuz, etorkizunera zuzendutakoa eta iraganera zuzendutakoa. 

 eta  puntu bateko espazio motako bektore tangenteak izanik,   eta  baliokideak  dira, hau da, baliokidetasun-klase berekoak, baldin eta  bada. Horrelako sailkapenak, puntuetan egindako denbora-geziaren aukeraketaren araberakoak izaten dira. Denbora-geziaren kontzeptuak denborak aurrera egiten duen norabidea definitzen du, baina ez da derrigorrez espazio-denbora osoan zehar hedatzen. M barietate lorentzdar bat denboran orientagarria dela esaten da puntu orotan baliokidetasun-klasea modu jarraituan zehaztu ahal bada. Baliokidea dena, aldagai bat denboran orientagarria da baldin eta soilik baldin denbora motako eremu bektorial jarraitu bat, puntu bakar batean ere anulatzen ez dena, baldin badauka. 

Hau da espazio-denbora batek bete behar duen baldintza minimoa gertaeren arteko estruktura kausalaz hitz egin nahi baldin badugu. Izan ere, espazio-denbora ez bada denboran orientagarria, orokorki ezingo dugu esan behatzaile baten ibilbideak denboran aurrera edo atzera egiten duen.

Kurbak 
-ko bide lau jarraitu bat  non  tarte ez-endakatu bat (puntu bat baino gehiago konektatzen dituen bilduma) den R-n. Bide leun bat μ  deribagarria da behar bezain bestetan (normalean  ), eta bide erregularrek deribatu ez-nuluak dauzkate.

-ko kurba bat bide baten irudia da edo, hobeto esanda, birparametrizazioaren bidez erlazionatutako bide-irudien baliokidetasun-klase bat da, hau da, homeomorfismoak edo difeomorfismoak  -en. Bestalde,  denbora orientagarria denean kurba orientatua dagoela esaten da parametro aldaketa funtzio monotonoa baldin bada. 

Horrela, kurba erregular lauak hauen bektore tangenteen izaeraren arabera sailka ditzakegu:
 Kronologikoak  edo denbora motakoak, bektore tangentea kurbako puntu orotan denbora motakoa baldin bada. (Mundu lerroa)
 Nulua edo argi motakoa ,bektore tangentea kurbako puntu orotan nulua baldin bada.
 Espazio motakoa, bektore tangentea espazio-motakoa baldin bada kurbako puntu orotan.
 Kausala, bektore tangentea denbora motakoa edota argi motakoa baldin bada kurbako puntu guztietan.
 -en propietateek ziurtatzen dute kurba itxi kausalak ez direla automatikoki espazio-denbora guztietan onartuak.

Aldagaia denboran orientagarria baldin bada, espazio motakoak ez diren kurbak denborarekiko duten orientazioaren arabera sailkatu daitezke:

M-ko kurba kronologiko, nulu edo kausal bat:

 Etorkizunera zuzendua da kurbako puntu guztien bektore tangenteak etorkizunera zuzenduak badira.
 Iraganera zuzendua da kurbako puntu guztien bektore tangenteak iraganera zuzenduak badira.

Sailkapen berri honetan kurba kausalak bakarrik sartzen dira. Izan ere, hauei soilik ezarri ahal zaie denborarekiko orientagarritasuna. Horrela,

 Denbora motako kurba itxia, denbora motakoa eta kurba osoan zehar etorkizunera (edo iraganera) zuzendua den kurba itxia da.
 Kurba itxi nulua, nulua eta kurba osoan zehar etorkizunera (edo iraganera) zuzendua den  kurba itxia da.

Kausazko harremanak 
  aldagaiko  eta  puntuen arteko erlazio kausalak sailka ditzakegu:.

 -k  kronologikoki aurre hartzen du (), baldin eta -tik -ra doan etorkizunera zuzendutako kurba kronologiko (denbora motakoa) bat existitzen bada.
   -ren hertsiki kausalki aurretikoa da () baldin eta x-tik y-ra doan etorkizunera zuzendutako kurba kausal (espazio motakoa ez dena) bat existitzen bada.
  kausalki aurre hartzen du  (  edo  ) baldin eta  -ren hertsiki kausalki aurretikoa bada edo .
   -ren horizontea da(  edo  ) baldin eta  edo etorkizunera zuzendutako kurba nulu bat badadago -tik to -ra doana.

Bestalde, aldagaiko  puntu bat izanik:

 -ren etorkizun kronologikoa,  -rekin etorkizunera zuzendutako denbora kurba baten bidez lotzen diren  puntuen bilduma:

  

 -ren iragan kronologikoa, -rekin iraganera zuzendutako denbora kurba baten bidez lotzen diren  puntuen bilduma:

 

Era berean definitzen dugu

 -ren etorkizun kausala (etorkizun absolutua). -ko   puntuen multzoa non  puntuak kausalki aurre hartzen dituen y puntu guztiak:

 

 -ren iragan kausala, -ko   puntuen multzoa zeintzuek  kausalki aurre hartzen duten:

 

 -ren etorkizuneko kono nulua, -ko  puntu guztien bilduma non .
 -ren iraganeko kono nulua, -ko  puntu guztien bilduma non .
 -ren argi konoa, etorkizuneko eta iraganeko kono nuluen bildura.
Laburbilduz, Minkowskiren espazio-denboran esan dezakegu  puntuen bilduma etorkizuneko argi konoaren barnea dela eta  puntuen bilduma etorkizuneko argi konoa osotasunean (konoaren gainazala barne). Era berean jarduten da iraganeko argi konoarekin .

Horrela, bilduma guzti hauek ,  , barietateko  guztietarako definituak, -ren estruktura kausala definitzen dute. 

-ko azpimultzoekin ere egin dezakegu lan. Demagun  azpimultzo bat dugula:

Propietateak 
  puntu bat -n dago baldin eta soilik baldin  puntua  -n badago.
 
 
 
 
 Horiizontea geodesiko nuluen kongruentziek sortzen dute.

Propietate topologikoak :

  -ko  puntu guztietarako irekita dago.
 ,  azpimultzo guztietarako irekita dago  .
 ,  azpimultzo guztietarako . Non ,  azpimultzo baten itxidura den .

Espazio-denborako estruktura kausala 
Espazio-denborako erlazio kausalak Minkowskiren espazio-denborakoen identikoak dira. Hala ere, nahiz eta denboran orientagarriak izan, badaude espazio-denbora berezi batzuk non denbora kurba itxiak aurki ditzakegun:

 Denbora kurba itxi (CTC) bat,  kurba ez-tribial bat da gertaera berean hasi eta amaitzen dena, , eta  kurba konstantea ez dena. 

Horrelako espazio-denborek ez dute garrantzi fisiko handirik ezaguna den materiaren baldintzapean. Hori dela eta, badirudi logikoa dela halako kurbarik ez duten espazio-denborekin lan egitea. Hala ere, nahiz eta espazio-denborek mota honetako kurbarik ez izan, posiblea da horien antzekoren bat izatetik hurbil egotea, kurba “ia itxiak” zeintzuk hasierako puntutik hurbil igarotzen diren. Horrela, eremu grabitazionalaren perturbazio txiki batek kurba “ia itxi” hauek kurba itxi bihur ditzake. 

 Espazio-denbora bat indartsuki kausala dela esaten da, edozein  gertaera baten inguruan existitzen badira inguruneak non ez dagoen kurba kausalik hauek behin baino gehiagotan zeharkatzen dituztenik.

Horrelako espazio-denborek ez dute inolako denbora kurba “ia itxirik”. Hala ere, ezin da deskartatu perturbazioen bidez kurba itxiak sor daitezkeenik. Edonolako kurba itxiak saiestu ditzakeen kausalitatea lortu ahal izateko bestelako definizio bat bilatu beharko dugu.

  espazio-denbora egonkorki kausala da, denbora motako  eremu bektorial jarraia existitzen bada, ez-nulua puntu guztietan, non  espazio-denborak, , kurba itxirik ez duen. 

 eremu bektorialaren bidez  metrika lorentzdar onargarria izango da. Gainera, honen argi konoa hertsiki handiagoa izango da. Bestalde, -rekiko edozein denbora bektore edo betore nulu, -rekiko denbora bektorea edo bektore nulua izango da (aurkakoa ez da zertan eta egia izan behar). Bestelako definizio baliokide bat:

 Espazio-denbora egonkorki kausala da baldin eta soilik baldin existitzen bada  funtzio bat non honen gradientea  iraganera zuzendutako eremu bektoriala den.

Singularitateen estruktura kausala 
Grabitatearen indarra oso altua denenan gerta liteke espazio-denborak era desberdinean funtzionatzea, singularitateak agertuz.

Big Bang singularitateak 
Big Bang-ean iraganeko denbora mugan agertzen dira berezitasunak. Izan ere, ikusten dugu nola geodesiko nuluak  hiperespazioaren tangenteak direla hasieran, eta denbora igaro ahala haien angeluak handiagotuz doazela. Bestalde, singularitatea dela eta, argi konoak endakatuak bihurtzen dira espazio tangentean, nahiz eta topologia bera mantendu. Big Bang kasua aztertzeko askotan erabiltzen den FLRW eredua jarraituz froga daiteke estruktura kausala unibertsala dela. Eredu honetako espazio-denbora laua da, baina metrika tentsorea nahikotxo aldatzen da singularitateetara hurbiltzean. Espazio-denbora honetako metrika ondorengo eran adieraz dezakegu:

 

Metrika endakatua izango da eskala faktorea nulua denean.

Zulo beltzen singularitateak 
Kasu hauetan etorkizuneko denbora-mugetan agertuko dira berezitasunak.

Schwarzschild-en singularitateen estruktura kausala 
Schwarzschild-en soluzioekin esferikoki simetrikoa, biraketa gabekoa eta kargarik ez duen den zulo beltz baten inguruko espazio-denbora defini daiteke. Unitate naturalak erabiliz  eta , Schwarzschilden koordenatuetan idatzitako metrika ondorengoa da:

Non . Unitate naturalak aplikatu gabe, , Schwarzschilden erradioa dugu. Metrika honetan agertzen diren singularitateak, hala nola gertaeren muga   eta , koordenatu aldaketa batzuen bitartez aztertu daitezke. Horrela, ekuazioa garatuz, ikusten dugu estruktura kausala Big Bangaren antzekoa izango dela koordenatu berriekin.

Eredu honetan argi motako geodesiko erradialen azterpena egin dezakegu:

Ekuazioa garatuz, higidura-ekuazioa zuzenean integratu daiteke;

Emaitza hau irudikatuz bi zonalde desberdindu daitezke,  eta :

  zonaldean fotoiak ez dira inoiz  puntuan egongo, kanporantz badoaz ez direlako puntu horretan inoiz egon eta alderantziz, barrurantz badoaz ez direlako inoiz puntu horretara iritsiko. Horregatik, fotoiak ez dira alde kritikoan sartuko. Aldiz, singularitatetik aldendu ahala ikusten da nola eremu grabitatorioaren eragina desagertuz doala eta 1 maldako argi konoak berreskuratzen direla.

  zonaldean fotoiak singularitaterantz joango dira eta argi konoen orientazioa aldatu egingo da aurreko atalarekin alderatuz.

Reissner-Nordström singularitateen estruktura kausala 
Aurreko ataleko antzekotasuna duen zulo beltz bat kontsideratzen dugu, baina kasu honetan  karga izanik, Reissner-Nordström-en metrika: 

Kasu honetako singularitateak  eta (gertaeren muga) ekuazioaren zeroek emango dizkigute (kasu honetan ere unitate naturalekin gabiltza). Koordenatu aldaketen bidez ere singularitateak irudikatu ahalko dira.

Erreferentziak

Bibliografia

Ikus, gainera

Kanpo estekak 

Erlatibitate orokorra
Geometria diferentziala