Avaruus-aika ( space-time continuum ) on fyysinen malli , joka täydentää tilaa yhtä suurella [1] aika - ulottuvuudella ja luo siten teoreettis-fysikaalisen konstruktion, jota kutsutaan tila-aikajatkumoukseksi. Aika-avaruus on jatkuvaa ja on matemaattisesti katsottuna monimuotoinen Lorentzian metriikka .
Ei-relativistisessa klassisessa mekaniikassa yksiulotteisesta ajasta riippumattoman euklidisen avaruuden käyttö aika-avaruuden sijasta on tarkoituksenmukaista, koska aikaa pidetään universaalina ja muuttumattomana, joka on riippumaton havaitsijan liiketilasta. . Relativististen mallien tapauksessa aikaa ei voida erottaa avaruuden kolmesta ulottuvuudesta, koska havaittu nopeus, jolla aika virtaa esineelle, riippuu sen nopeudesta suhteessa havaintoon sekä gravitaatiokentän voimakkuudesta, joka voi hidastaa ajan kulumista.
Kosmologiassa ja relativistisessa fysiikassa yleensä aika-avaruuden käsite yhdistää avaruuden ja ajan yhdeksi abstraktiksi universumiksi . Matemaattisesti se on monisto , joka koostuu koordinaattijärjestelmän kuvaamista "tapahtumista" . Se vaatii yleensä kolme tilaulottuvuutta (pituus, leveys, korkeus) ja yhden ajallisen ulottuvuuden ( aika ). Mittaukset ovat koordinaattiruudukon itsenäisiä komponentteja, joita tarvitaan pisteen paikantamiseksi johonkin rajoitettuun "tilaan". Esimerkiksi maan päällä leveysaste ja pituusaste ovat kaksi itsenäistä koordinaattia, jotka yhdessä määrittelevät ainutkertaisesti sijainnin. Avaruudessa 3+1-ulottuvuuksiin ulottuva ruudukko lokalisoi tapahtumat (pelkän avaruuspisteen sijaan), mikä tarkoittaa, että aika lisätään ruudukon toisena ulottuvuutena. Siten koordinaatit määräävät, missä ja milloin tapahtumat tapahtuvat. Avaruuden yhtenäisyys ja riippumattomuus koordinaattien valinnasta viittaa kuitenkin siihen, että aika- ja aikakoordinaatin ilmaisemiseksi yhdessä koordinaattijärjestelmässä tarvitaan sekä aika- että avaruuskoordinaatteja toisessa koordinaattijärjestelmässä. Toisin kuin tavalliset tilakoordinaatit, valokartion käsite syntyy aika-avaruudessa , mikä asettaa rajoituksia sallituille koordinaateille, jos yhden niistä on oltava ajallinen kaikkialla. Nämä rajoitukset liittyvät tiukasti erityiseen matemaattiseen malliin, joka eroaa Euklidisesta avaruudesta ilmeisellä symmetriallaan .
Suhteellisuusteorian mukaan maailmankaikkeudella on kolme tilaulottuvuutta ja yksi aikaulottuvuus , ja kaikki neljä ulottuvuutta on orgaanisesti kytketty yhdeksi kokonaisuudeksi, ja ne ovat lähes yhtäläisiä oikeuksiltaan ja tietyissä rajoissa (katso huomautukset alla) ja voivat siirtyä kuhunkin. muu, kun tarkkailija muuttaa viitekehystä.
Yleisen suhteellisuusteorian puitteissa aika-avaruudella on myös yksittäinen dynaaminen luonne, ja sen vuorovaikutus kaikkien muiden fyysisten objektien (kehojen, kenttien) kanssa on painovoimaa . Siten painovoimateoria yleisen suhteellisuusteorian ja muiden metristen painovoimateorioiden puitteissa on avaruus-aikateoria, jonka ei oletetaan olevan tasainen, mutta joka kykenee dynaamisesti muuttamaan kaarevuuttaan .
1900-luvun alkuun asti ajan oletettiin olevan riippumaton liiketilasta, ja se virtasi tasaisella nopeudella kaikissa viitekehyksessä ; myöhemmät kokeet kuitenkin osoittivat, että aika hidastuu yhden vertailukehyksen suurilla nopeuksilla suhteessa toiseen. Tämä hidastuminen, jota kutsutaan relativistiseksi aikadilataatioksi , selitetään erityissuhteellisuusteoriassa . Ajan laajeneminen on vahvistettu monilla kokeilla, kuten myonin hajoamisen relativistisella hidastumisella kosmisessa säteilyvirrassa ja atomikellojen hidastumisella avaruussukkulassa , raketteissa ja lentokoneissa verrattuna Maahan asennettuihin kelloihin. Ajan kesto voi siksi vaihdella tapahtumien ja viitekehyksen mukaan.
Termi aika-avaruus on yleistynyt kauas normaalien 3+1-ulottuvuuksien avaruus-ajan tulkinnan ulkopuolelle. Se on todellakin tilan ja ajan yhdistelmä. Muut ehdotetut aika-avaruusteoriat sisältävät ylimääräisiä ulottuvuuksia, yleensä spatiaalisia, mutta on joitain spekulatiivisia teorioita, jotka sisältävät ylimääräisiä ajallisia ulottuvuuksia , ja jopa sellaisia, jotka sisältävät ulottuvuuksia, jotka eivät ole ajallisia eivätkä tilallisia (kuten superavaruus ) [2] . Kysymys siitä, kuinka monta ulottuvuutta tarvitaan universumin kuvaamiseen, on edelleen avoin. Spekulatiiviset teoriat, kuten merkkijonoteoria, ennustavat 10 tai 26 ulottuvuutta ( M-teoria ennustaa 11 ulottuvuutta: 10 avaruutta ja 1 aika), mutta useamman kuin neljän ulottuvuuden olemassaololla olisi merkitystä vain subatomitasolla .
Ei-relativistinen klassinen mekaniikka pitää aikaa universaalina mittaussuureena, joka on homogeeninen kaikessa avaruudessa ja joka on erotettu avaruudesta. Klassinen mekaniikka olettaa, että ajan virtausnopeus on vakio, joka on riippumaton havaitsijan liiketilasta . tai jotain ulkopuolista. [3]
Erikoissuhteellisuusteorian kontekstissa aikaa ei voida erottaa avaruuden kolmesta ulottuvuudesta, koska kohteen havaittava aikavirran nopeus riippuu kohteen nopeudesta suhteessa havainnointiin. Yleinen suhteellisuusteoria antaa myös selityksen siitä, kuinka gravitaatiokentät voivat hidastaa ajan kulumista tämän kentän ulkopuolella havaittuun kohteeseen.
Tavallisessa avaruudessa sijainti määritellään kolmella numerolla, jotka tunnetaan dimensiona . Karteesisessa koordinaattijärjestelmässä niitä kutsutaan x, y ja z. Sijaintia aika-avaruudessa kutsutaan tapahtumaksi , ja se vaatii neljän luvun määrittämistä: kolmiulotteisen sijainnin avaruudessa sekä sijainnin ajassa (kuva 1). Siten aika-avaruus on neliulotteinen . Tapahtuma on jotain, joka tapahtuu tietyllä hetkellä jossakin pisteessä aika-avaruudessa ja jota edustaa joukko koordinaatteja: x , y , z ja t .
Suhteellisuusteoriassa käytettyä sanaa "tapahtuma" ei pidä sekoittaa sanan "tapahtuma" käyttöön tavallisessa keskustelussa, jossa se voi tarkoittaa jotain konserttia, urheilutapahtumaa tai taistelua. Ne eivät ole matemaattisia "tapahtumia" siinä merkityksessä, jossa sanaa käytetään suhteellisuusteoriassa, koska niillä on rajallinen ja nollasta poikkeava kesto. Toisin kuin ilotulitus tai salama, matemaattisten tapahtumien kesto on nolla ja ne edustavat yhtä pistettä aika-avaruudessa.
Hiukkasen polkua aika-avaruudessa voidaan nähdä tapahtumien sarjana. Sarja tapahtumia voidaan yhdistää toisiinsa muodostamaan viiva, joka edustaa kyseisen hiukkasen liikettä aika-avaruudessa. Tätä viivaa kutsutaan hiukkasen maailmanviivaksi . [4] : 105
Matemaattisesti aika-avaruus on monimuotoinen , eli paikallisesti "litteä" lähellä kutakin pistettä samalla tavalla, että maapallo näyttää riittävän pienissä mittakaavassa litteältä. [5] Erittäin suuri mittakaavatekijä (jota kutsutaan yleisesti valonnopeudeksi ) yhdistää avaruudessa mitatut etäisyydet ajassa mitattuihin etäisyyksiin. Tämän skaalaustekijän suuruus (lähes 300 000 km avaruudessa, mikä vastaa 1 sekuntia ajassa) ja se tosiasia, että avaruusaika on monimuotoinen, tarkoittaa, että tavallisilla, ei-relativistisilla nopeuksilla ja tavallisilla ihmistason etäisyyksillä ihmiset voivat huomata eroja euklidisesta avaruudesta. Vasta erittäin tarkkojen tieteellisten mittausten, kuten Fizeaun kokeen ja Michelsonin kokeen , tultua käyttöön 1800-luvun puolivälissä syntyi hämmentäviä eroja havaintojen ja ennusteiden välillä, jotka perustuivat implisiittiseen oletukseen euklidisesta avaruudesta. [6]
Erityisessä suhteellisuusteoriassa termi "tarkkailija" tarkoittaa useimmissa tapauksissa viitekehystä, jossa objektien tai tapahtumien mittauksia tehdään. Tämä käyttö poikkeaa merkittävästi termin tavanomaisesta merkityksestä. Viitekehykset ovat ei-lokaalisia rakenteita, eikä tämän termin käytön mukaan ole järkevää sanoa, että havainnolla olisi jokin asema. Kuvassa Kuvissa 1-1 kuvitellaan, että tarkasteltavana oleva referenssikehys on varustettu tähän vertailukehykseen synkronoidulla tiheällä kellohilalla, joka ulottuu loputtomasti kolmen avaruuden ulottuvuuden yli. Millään tietyllä sijainnilla ruudukossa ei ole merkitystä. Kellon tuntiruudukon avulla määritetään koko vertailukehyksessä tapahtuvien tapahtumien aika ja sijainti. Termi tarkkailija viittaa yhteen inertiaaliseen viitekehykseen liittyvien kellojen koko joukkoon. [7] : 17-22 Tässä idealisoidussa tapauksessa jokaiseen avaruuden pisteeseen liittyy kello, ja siksi kello rekisteröi jokaisen tapahtuman välittömästi ilman viivettä tapahtuman ja sen tallennuksen välillä. Todellinen tarkkailija näkee kuitenkin viiveen signaalin lähettämisen ja sen havaitsemisen välillä valonnopeuden äärellisyyden vuoksi. Kelloa synkronoitaessa huomioidaan signaalin etenemisaika ja kelloa korjataan sen etenemisajan määrällä.
Monissa erityistä suhteellisuusteoriaa käsittelevissä kirjoissa, erityisesti vanhemmissa, sanaa "tarkkailija" käytetään perinteisemmässä merkityksessä. Yleensä termin merkitys selviää kontekstista.
Fyysikot erottavat mittaamisen ja havainnoinnin käsitteet (signaalin etenemisviiveen määrittämisen jälkeen) siitä, mikä on visuaalisesti näkyvää ilman tällaisia säätöjä. Virheet mitatun/havaitun ja nähdyn välisen eron ymmärtämisessä ovat monien virheiden lähde suhteellisuusteoriatutkimuksen aloittelijoille. [kahdeksan]
Kolmessa ulottuvuudessa kahden pisteen välinen etäisyys voidaan määrittää Pythagoraan lauseella :
Vaikka kaksi tarkkailijaa voi mitata kahden pisteen x-, y- ja z-asemat eri koordinaattijärjestelmillä, pisteiden välinen etäisyys on molemmissa sama (olettaen, että ne mittaavat samoilla yksiköillä). Etäisyys on siis "invariantti".
Erikoissuhteellisuusteoriassa kahden pisteen välinen etäisyys ei kuitenkaan enää säily, kun ne mitataan kahdella eri havainnolla Lorentzin supistumisen vuoksi, jos toinen havainnoijista liikkuu. Tilanne muuttuu vielä monimutkaisemmaksi, jos kaksi pistettä erotetaan toisistaan sekä etäisyyden että ajan suhteen. Esimerkiksi, jos yksi tarkkailija näkee kaksi tapahtumaa tapahtuvan samassa paikassa mutta eri aikoina, havaitsija, joka liikkuu suhteessa ensimmäiseen, näkee kaksi tapahtumaa tapahtuvan eri paikoissa. Siten kahden tapahtuman välisen tehokkaan "etäisyyden" mittaamiseksi sinun on käytettävä erilaista mittaustapaa.
Neliulotteisessa aika-avaruudessa etäisyyden analogi on "intervalli". Vaikka aika sisältyy neljänteen ulottuvuuteen, sitä käsitellään eri tavalla kuin spatiaalisia ulottuvuuksia ja siksi Minkowskin avaruus eroaa merkittävästi neliulotteisesta euklidisesta avaruudesta . Pääsyy avaruuden ja ajan yhdistämiseen aika-avaruuteen on se, että avaruus ja aika eivät ole invariantteja, eli asianmukaisissa olosuhteissa eri tarkkailijat ovat eri mieltä aikajänteestä ( ajan dilataatiosta johtuen ) tai etäisyydestä (Lorentzin supistumispituudesta johtuen) kaksi tapahtumaa . Mutta erityinen suhteellisuusteoria tarjoaa uuden invariantin nimeltä aika -avaruusväli, joka yhdistää etäisyydet avaruudessa ja ajassa. Kaikki aikaa ja etäisyyttä mittaavat tarkkailijat saavat saman aika-avaruusvälin minkä tahansa kahden tapahtuman välillä. Oletetaan, että tarkkailija mittaa kahta tapahtumaa, jotka on erotettu toisistaan ajallisesti ja avaruudessa . Sitten aika-avaruusväli kahden tapahtuman välillä, jotka erotetaan etäisyydellä avaruudessa ja -koordinaatissa :
, tai kolmelle tilaulottuvuudelle [9]Vakio , valon nopeus, muuntaa ajan yksiköt (sekunteina) etäisyysyksiköiksi (metreinä).
Huomautus merkinnöistä: Vaikka intervallilausekkeita, jotka on ilmaistu ilman deltaa, kohdataan usein lyhyyden vuoksi, mukaan lukien useimmat seuraavista keskusteluista, on ymmärrettävä, mitä jne. yleensätarkoittavat
Yllä oleva yhtälö on samanlainen kuin Pythagoraan lause, lukuun ottamatta miinusmerkkiä lausekkeiden ja välillä . Huomaa myös, että aika-avaruusväli on määrä eikä . Syynä on, että toisin kuin etäisyydet euklidisessa geometriassa, intervallit Minkowskin aika-ajassa voivat olla negatiivisia. Negatiivisten lukujen neliöjuurten käsittelyn sijaan fyysikot pitävät sitä yleensä yhtenä symbolina sen sijaan, että ne olisivat suuruuden neliö.
Miinusmerkin vuoksi kahden erillisen tapahtuman välinen aika-avaruus voi olla nolla. Jos on positiivinen, aika-avaruusväli on aikakaltainen , mikä tarkoittaa, että kahta tapahtumaa erottaa enemmän aikaa kuin tilaa. Jos negatiivinen, aika -avaruusväli on avaruusmainen , mikä tarkoittaa, että kahta tapahtumaa erottaa enemmän tilaa kuin aikaa. Avaruus-aikavälit ovat nolla, kun . Toisin sanoen valonnopeudella liikkuvan asian välinen aika kahden tapahtuman välillä on nolla. Tällaista intervallia kutsutaan valomaiseksi tai nollaksi . Kaukaisesta tähdestä silmään osuvalla fotonilla ei ole ikää, vaikka se (meidän näkökulmastamme) on viettänyt vuosia tiellä.
Tila-aikakaavio piirretään yleensä vain yhdellä tila- ja yhdellä aika-akselilla. Kuvassa Kuva 2-1 on aika-avaruuskaavio, joka havainnollistaa kahden fotonin A ja B maailmanlinjoja (eli polkuja aika-avaruudessa), jotka tulevat samasta tapahtumasta ja kulkevat vastakkaisiin suuntiin. Lisäksi C kuvaa kohteen maailmanlinjaa alivalon nopeudella. Pystysuuntaisella aikakoordinaatilla on asteikko , joten sillä on samat yksiköt (metrit) kuin tila-akselilla. Koska fotonit kulkevat valon nopeudella, niiden maailmanlinjojen kaltevuus on ±1. Toisin sanoen jokainen metri, jonka fotoni kulkee vasemmalle tai oikealle, kestää noin 3,3 nanosekuntia.
Huomautus merkinnöistä: Suhteellisuusteoriakirjallisuudessa on kaksi merkintätapaa:
jaNämä merkintämuodot liittyvät metriseen allekirjoitukseen (+ − − −) ja (− + + +). Ero on aikakoordinaattien sijainnissa. Molempia muotoja käytetään laajasti tieteen alalla.
Kun verrataan mittauksia, joita havaitsevat havaitsevat liikkuvat toistensa suhteen eri inertiavertailukehyksissä , on hyödyllistä työskennellä vertailukehyksien kanssa vakiokokoonpanossa. Kuvassa 2-2 on esitetty kaksi toistensa suhteen liikkuvaa Gallian viitekehystä (eli tavallisia kolmiulotteisia spatiaalisia vertailukehyksiä). Järjestelmä S kuuluu ensimmäiselle havainnoijalle O ja järjestelmä S' kuuluu toiselle havainnoijalle O'.
Riisi. 2-3a on kierretty toiseen suuntaan kuva 2-3a. 2-2. Riisi. Kuva 2-3b havainnollistaa aika-avaruuskaaviota tarkkailijan O näkökulmasta. Koska S ja S' ovat vakiokonfiguraatiossa, niiden origot ovat samat pisteessä t = 0 kehyksessä S ja t ′ = 0 kehyksessä S'. Ct - akseli 'käy läpi tapahtumia kehyksessä S', jossa x ′ = 0. Mutta pisteet, joissa x ′ = 0 liikkuvat järjestelmän S x -suunnassa nopeudella v , joten niitä ei ole kohdistettu ct -akseliin milloin tahansa nollasta poikkeavalla hetkellä. Siksi ct'- akselia kallistetaan suhteessa ct -akseliin kulmalla θ , jonka kaava antaa
Myös x'- akseli on kallistettu x -akselin ympäri . Tämän kaltevuuden kulman määrittämiseksi muista, että valopulssin maailmanviivan kaltevuus on aina ±1. Riisi. 2-3c on aika-avaruuskaavio tarkkailijan O' näkökulmasta. Tapahtuma P on valopulssin emissio kohdassa x ′ = 0, ct ′ = − a . Pulssi heijastuu peilistä, joka sijaitsee etäisyydellä a valonlähteestä (tapahtuma Q) ja palaa valonlähteeseen kohdassa x ′ = 0, ct ′ = a (tapahtuma R).
Samat tapahtumat P, Q, R on esitetty kuvassa. 2-3b havainnointikehyksessä O. Valon polkujen kaltevuus = 1 ja −1, joten △PQR muodostaa suorakulmaisen kolmion. Koska OP = OQ = OR, myös x': n ja x : n välisen kulman on oltava θ .
Kun levossa olevalla vertailukehyksellä on avaruus- ja aika-akselit, jotka leikkaavat suorassa kulmassa, liikkuvassa vertailukehyksessä on terävä kulma akselien välillä. Mutta itse asiassa vertailujärjestelmät ovat samanarvoisia. Kuvan epäsymmetria johtuu väistämättömistä vääristymistä, miten avaruus-aika-koordinaatit kartoitetaan suorakaiteen muotoiseen koordinaattijärjestelmään , ja tätä ei pitäisi pitää oudompana kuin sitä, kuinka Maan Mercator-projektiossa pinta-alan suhteelliset koot. lähellä napoja (Grönlanti ja Etelämanner) ovat paljon suurempia suhteessa pinta-alaan päiväntasaajan lähellä.
Kuvassa 2-4 tapahtuma O on aika-avaruuskaavion origossa, kaksi diagonaalista viivaa edustavat kaikkia tapahtumia, joiden aika-avaruusväli on nolla suhteessa tapahtuman alkupisteessä. Nämä kaksi viivaa muodostavat tapahtuman O valokartion , koska toisen avaruudellisen ulottuvuuden lisääminen (kuva 2-5) johtaa kahteen kartioon, jotka koskettavat toisiaan O:n pisteissä. Yksi kartio etenee tulevaisuuteen ( t>0) ja toinen menneisyyteen (t<0).
Kevyt (kaksois) kartio huipulle jakaa aika-avaruuden erillisiin alueisiin. Tulevan valokartion sisäosa (yläosa, tulevaisuuden valokartio) koostuu kaikista tapahtumista, joita erottaa huipulta enemmän "aikaetäisyyttä" kuin on tarpeen niiden "avaruusetäisyyden" ylittämiseksi valon nopeudella; nämä tapahtumat muodostavat tapahtuman O ajallisen tulevaisuuden . Samoin aikakaltainen menneisyys sisältää menneen valokartion (alaosa, menneen valokartion) sisäiset tapahtumat. Siten aikavälit Δct ovat suurempia kuin Δx , mikä tekee aikaväleistä positiivisia. Valokartion ulkopuolinen alue koostuu tapahtumista, joita erottaa tapahtumasta O enemmän tilaa kuin mitä voidaan ylittää valon nopeudella tietyssä ajassa . Nämä tapahtumat sisältävät O-tapahtuman niin sanotun avaruuden kaltaisen alueen, joka on esitetty kuvassa 1. 2-4 "muualla" (muualla). Itse valokartion tapahtumien sanotaan olevan valon kaltaisia (tai nolla-erotettavissa ) O:sta. Avaruus-aikavälin invarianssista johtuen kaikilla havainnoijilla on sama valokartio mille tahansa tapahtumalle, ja näin ollen ne hyväksyvät tällaisen yleisen aika-avaruuden jako. [10] :220
Valokartiolla on tärkeä rooli kausaalisuuden käsitteessä . On mahdollista, että alivalosignaali siirtyy paikasta ja ajasta O paikkaan ja aikaan D (kuva 2-4). Siksi tapahtuma O voi olla tapahtuman D kausaalinen vaikutus. Tuleva valokartio sisältää kaikki tapahtumat, joihin O voi kausaalisesti vaikuttaa. Samoin on mahdollista, että alivalosignaali siirtyy paikasta ja ajasta A paikkaan ja aika O. Mennyt valokartio sisältää kaikki tapahtumat, joilla voi olla kausaalinen vaikutus O:hon. Olettaen myös, että signaalit eivät voi kulkea valonnopeutta nopeammin, mikä tahansa tapahtuma, kuten esimerkiksi B tai C, avaruuden kaltaisella alueella ("jossain muualla"), eivät voi vaikuttaa tapahtumaan O, eivätkä tapahtuman O vaikutus voi vaikuttaa niihin. Tämän oletuksen mukaan kaikki tapahtuman O ja valokartion avaruusmaisella alueella tapahtuvien tapahtumien välinen syy-yhteys on suljettu pois. . [yksitoista]
Kaikki tarkkailijat ovat yhtä mieltä siitä, että minkä tahansa tapahtuman osalta mikä tahansa tulevaisuuden valokartion tapahtuma (suhteessa tiettyyn tapahtumaan) tapahtuu tietyn tapahtuman jälkeen. Samoin mille tahansa tapahtumalle menneisyyden valokartion tapahtuma (suhteessa annettuun tapahtumaan) tapahtuu ennen annettua tapahtumaa. Aikakaltaisella erottelulla tapahtuville tapahtumille havaittu ennen-jälkeen-suhde pysyy samana riippumatta tarkkailijan viitekehyksestä, eli riippumatta havainnoijan liikkeestä. Tilanne on aivan toinen avaruusmaisten erillisten tapahtumien osalta. Kuva 2-4 on piirretty v = 0 :lla liikkuvan havainnon viitekehykselle . Tässä viitekehyksessä tapahtuma C tapahtuu tapahtuman O jälkeen ja tapahtuma B tapahtuu ennen tapahtumaa O. Toisessa vertailukehyksessä näiden epäsyyllisesti toisiinsa liittyvien tapahtumien järjestys voi olla päinvastainen. Erityisesti, jos kaksi tapahtumaa ovat samanaikaisia tietyssä viitekehyksessä, ne erotetaan väistämättä avaruuden kaltaisella aikavälillä eivätkä siten ole kausaalisesti yhteydessä toisiinsa. Sitä tosiasiaa, että samanaikaisuus ei ole absoluuttinen, vaan riippuu tarkkailijan viitekehyksestä, kutsutaan samanaikaisuuden suhteellisuusteoriaksi . [12]
Kuvassa Kuvat 2-6 esittävät aika-avaruuskaavioiden käyttöä samanaikaisuuden suhteellisuusanalyysissä. Tapahtumat aika-avaruudessa ovat muuttumattomia, mutta koordinaattijärjestelmät ovat muunnettu, kuten edellä kuvattiin. 2-3. Kolme tapahtumaa (A, B, C) on samanaikaisia nopeudella v = 0 liikkuvan tarkkailijan viitekehyksestä. Nopeudella v = 0,3 c liikkuvan havaitsijan viitekehyksestä tapahtumat tapahtuvat järjestyksessä C, B , A. Nopeudella v = -0,5 s liikkuvan havainnoijan kehysten määrästä tapahtuvat tapahtumat järjestyksessä A, B, C . Valkoinen viiva edustaa samanaikaisuuden tasoa , joka siirtyy havainnoijan menneisyydestä tarkkailijan tulevaisuuteen korostaen siinä olevia tapahtumia. Harmaa alue on tarkkailijan valokartio, joka pysyy muuttumattomana.
Avaruuden kaltainen aika-avaruusväli antaa saman etäisyyden, jonka tarkkailija voisi mitata, jos mitatut tapahtumat olisivat samanaikaisesti hänen kanssaan. Siten avaruuden kaltainen aika-aikaväli tarjoaa oman etäisyyteensä mitta , eli todellinen etäisyys = Samalla tavalla aika-avaruusajan aikaväli tarjoaa saman ajan mittaan, jota edustaisi tiettyä maailmanviivaa pitkin liikkuvien kellojen kumulatiivinen tikitys. . Siten aika-avaruus-aikaväli tarjoaa oikean ajan = . [10] :220–221
Euklidisessa avaruudessa (jossa on vain spatiaaliset mitat) pistejoukko, jotka ovat yhtä kaukana jostakin pisteestä (euklidisen metriikan avulla), muodostavat ympyrän (kaksiulotteisena) tai pallon (kolmiulotteisena). ( 1+1)-ulotteisessa Minkowski-avaruusajassa (jossa on yksi aika- ja yksi avaruusulottuvuus) pisteet, joiden aika-avaruus on vakio origosta (Käyttäen Minkowski-metriikkaa), muodostavat käyriä kahdella yhtälöllä:
missä on positiivinen reaalivakio.Nämä yhtälöt kuvaavat kahta hyperbolien perhettä aika-avaruuskaaviossa x ; ct , joita kutsutaan muuttumattomiksi hyperboleiksi .
Kuvassa Kuvissa 2-7a jokainen purppura hyperbola yhdistää kaikki tapahtumat, joilla on jokin kiinteä avaruusmainen ero origosta, kun taas vihreät hyperbolit yhdistävät tapahtumat yhtäaikaisella erolla .
Kuvassa Kuvat 2-7b esittävät tilanteen (1+2)-ulotteisessa Minkowski-avaruus-ajassa (yksi aika- ja kaksi avaruusulottuvuutta) vastaavien hyperboloidien kanssa. Jokainen aikaväli muodostaa yksiarkkisen hyperboloidin ja jokainen avaruusmainen intervalli kaksiarkkisen hyperboloidin.
Avaruus- ja aikakaltaisten hyperboloidien (1+2)-ulotteisen rajan muodostavat tapahtumat, joiden aika-avaruusväli on nolla ennen koordinaattien origoa, jotka muodostuvat hyperboloidien degeneroituessa valokartioksi. (1+1)-ulotteisessa Minkowski-avaruudessa hyperbolat rappeutuvat kahdeksi harmaaksi viivoksi, joiden kulmat ovat 45°, kuten kuvassa 1. 2-7a.
Huomio merkinnöistä: Purppuraisia hyperboleja, jotka leikkaavat x -akselin , kutsutaan aikakaltaisiksi (toisin kuin avaruusomaisiksi ) hyperboleiksi, koska kaikki hyperbolien "etäisyydet" alkupisteeseen ovat aikamaisia intervalleja. Tästä johtuen nämä hyperbolat ovat polkuja, jotka (jatkuvasti kiihtyvillä) hiukkasilla aika-avaruudessa voivat olla: kausaalisuussuhde on mahdollinen minkä tahansa kahden tapahtuman välillä samassa hyperbolissa, koska kaikkien sekanttien takakulma - joka edustaa tarvittavaa nopeutta - on pienempi kuin . Toisaalta vihreitä hyperboleja, jotka leikkaavat ct - akselin , kutsutaan avaruusomaisiksi , koska kaikki näiden hyperbolien välit ovat avaruuden kaltaisia intervalleja: näiden hyperbolien kahden pisteen välillä ei ole kausaalisuutta, koska kaikki sekantit edustavat nopeuksia, jotka ylittävät
Kuvassa 2-8 näyttää invariantin hyperbolin kaikille tapahtumille, jotka voidaan saavuttaa origosta sopivassa 5 metrin ajassa (noin 1,67⋅10 -8 s ). Erilaiset maailmanviivat edustavat eri nopeuksilla liikkuvia kelloja. Havaitsijaan nähden paikallaan olevilla kelloilla on pystysuora maailmanviiva ja tarkkailijan mittaama aika on sama kuin oikea aika. Kellolla, joka liikkuu 0,3 c :ssä, tarkkailijan mittaama aika on 5,24 metriä ( 1,75⋅10 -8 s ) ja 0,7 c : ssä liikkuvalla kellolla tarkkailijan mittaama aika on 7,00 metriä ( 2,34⋅10). -8 sekuntia ). Tämä havainnollistaa ilmiötä, joka tunnetaan nimellä aikadilataatio . Nopeammin liikkuvat kellot vievät kauemmin (tarkkailijan viitekehyksessä) lukeakseen saman verran oikeaa aikaa ja liikkuvat pidemmälle x-akselia pitkin kuin ne voisivat ilman ajan laajennusta. [10] :220–221 Kahden havaitsijan eri inertiavertailukehyksessä tekemät ajan hidastukset ovat keskinäisiä. Jos havainnoija O havaitsee havainnoijan O' kellon viitekehyksessään hitaammaksi, tarkkailija O' puolestaan havaitsee myös havainnoijan O kellon hitaaksi.
pituuden supistuminen , kuten aikadilataatio, on ilmentymä samanaikaisuuden suhteellisuudesta. Pituuden mittaus edellyttää kahden samanaikaisesti samassa vertailukehyksessä olevan tapahtuman välisen aika-avaruusvälin mittaamista. Mutta tapahtumat, jotka ovat samanaikaisia yhdessä viitekehyksessä, eivät yleensä ole samanaikaisia muissa viitekehyksessä.
Kuvat 2-9 esittävät 0,5 c nopeudella liikkuvan mittarisauvan liikkeet x - akselia pitkin . Sinisen palkin reunat edustavat palkin kahden ääripisteen maailmanviivoja. Invarianttihyperboli kuvaa tapahtumia, jotka erotetaan origosta 1 m:n avaruusvälillä. Päätepisteet O ja B, mitattuna kohdassa t' = 0, ovat samanaikaisia tapahtumia viitekehyksessä S'. Mutta havainnoijalle kehyksessä S tapahtumat O ja B eivät ole samanaikaisia. Pituuden mittaamiseksi viitekehyksessä S oleva havainnoija mittaa sauvan päätepisteitä, jotka on projisoitu x -akselille niiden maailmanlinjoja pitkin. Tangon "maailmalevyn" projektio x -akselilla antaa lyhennetyn pituuden OC. [4] :125
(ei näytetty). Pystyviivan piirtäminen A:n läpi siten, että se leikkaa x'- akselin , osoittaa, että vaikka OB:ta lyhennetään tarkkailijan O näkökulmasta, myös OA lyhenee tarkkailijan O' näkökulmasta. Aivan kuten jokainen tarkkailija havaitsee toisen kellon hitaammaksi, jokainen tarkkailija tarkkailee toisensa viivoja lyhennetyinä.
Keskinäinen ajan laajeneminen ja pituuden supistuminen hämmentävät aloittelijat ikään kuin ristiriitaisella konseptilla. Väärinkäsitys on, että jos havainnoija A tarkkailee tarkkailijan B kelloa hitaana, yksinkertaisesti siksi, että B liikkuu nopeudella v suhteessa A:hen, niin suhteellisuusperiaate edellyttää, että havainnoija B tarkkailee myös A:n kelloa hitaana. Tämä on tärkeä kysymys, joka on "erityissuhteellisuusteorian ymmärtämisen taustalla". [10] :198
Yleensä A ja B suorittavat kaksi eri mittausta.
Mittaakseen yhden B:n kellon tikitysnopeuden A:n on käytettävä kahta omaa kelloaan, joista ensimmäinen tallentaa ajan, jolloin B:n kello on ensin merkitty B:n ensimmäiseen sijaintiin , ja toinen tallentaakseen ajan B:n toisessa paikassa. . Tarkkailija A tarvitsee kaksi kelloa, koska B liikkuu, joten mittauksissa on mukana vain kolme kelloa. A:n kaksi kelloa on synkronoitava A:n viitekehyksessä. Sitä vastoin B tarvitsee viitekehyksessään kaksi synkronoitua kelloa tallentaakseen A:n kellon lukemat kahdessa eri paikassa. Siksi A ja B suorittavat mittauksensa erilaisilla kolmen lukeman sarjoilla. Koska ne eivät mittaa yhdellä kellosarjalla, mittausten ei tarvitse olla keskenään "yhteensopivia" sen kanssa, että yksi havainnoitsija näkee toisen kellon hitaan ja toinen tarkkailija tarkkailee ensimmäisen kiihdytettyä kelloa. [10] :198–199
Mitä tulee keskinäisen pituuden supistumiseen, kuva 12a. Kuvat 2-9 havainnollistavat, että oikeaa ja väärää viitekehystä kierretään keskenään hyperbolisella kulmalla(samanlainen kuin tavalliset kulmat euklidisessa geometriassa). [huom. 1] Tästä kierrosta johtuen oman mittarimerkin projektio ei-omalle x-akselille lyhenee ja myös ei-natiivin mittarimerkin projektio omalla x'-akselilla lyhenee.
Kuva 2-10 vahvistaa aikaisempia keskusteluja keskinäisestä aikadilataatiosta. Tässä kuvassa tapahtumat A ja C erotetaan tapahtumasta O yhtäläisin aikavälein. Väärästä viitekehyksestä tapahtumat A ja B mitataan samanaikaisina, mutta väärällä havainnolla on kulunut enemmän aikaa kuin omalla tarkkailijalla. Sisäisessä vertailukehyksessä tapahtumat C ja D mitataan samanaikaisina, mutta sisäiselle havainnoijalle on kulunut enemmän aikaa kuin ei-sisäiselle. Jokainen tarkkailija mittaa toisen tarkkailijan kellon hitaana. [4] :124
Huomaa sanan "mitta" merkitys. Tarkkailijan liiketila ei voi vaikuttaa havaittuun kohteeseen, mutta se voi vaikuttaa kohteen mittoihin .
Kuvassa 2-10 jokainen x -akselin suuntainen viiva edustaa samanaikaisuutta sopimattomalle havainnoijalle. Kaikilla tämän rivin tapahtumilla on sama aika-arvo ct . Samoin jokainen x' - akselin suuntaisesti piirretty viiva edustaa samanaikaisuusviivaa omalle tarkkailijalleen. Kaikilla tämän rivin tapahtumilla on sama aika-arvo ct' .
KaksoisparadoksiAlkuperäiset johdannot erityiseen suhteellisuusteoriaan havainnollistavat usein eroja Galilean suhteellisuusteorian ja erikoissuhteellisuusteorian välillä ja luovat joukon oletettuja "paradokseja". Kaikki paradoksit ovat todella vain väärinymmärrettyjä tai väärinymmärrettyjä ongelmia, jotka johtuvat siitä, että emme tunne valonnopeuteen verrattavissa olevia nopeuksia. Tie on ratkaista monia erityissuhteellisuusteorian ongelmia ja tutustua sen niin kutsuttuihin vasta-intuitiivisiin ennusteisiin. Geometristä lähestymistapaa aika-avaruuden tutkimukseen pidetään yhtenä parhaista menetelmistä nykyaikaisen intuition kehittämisessä. [13]
Kaksosparadoksi on ajatuskoe , jossa on mukana identtiset kaksoset, joista toinen matkustaa avaruuteen nopealla raketilla ja palaa kotiin huomaamaan, että maapallolle jäänyt kaksos on ikääntynyt enemmän kuin hän itse. Tämä tulos vaikuttaa oudolta, koska kumpikin kaksos havaitsee toisen kaksosen liikkuvana, joten ensi silmäyksellä näyttää siltä, että kummankin pitäisi havaita toinen nuorempana. Kaksoisparadoksi välttää edellä esitetyn aikaperustelun keskinäisen laajentumisen välttämällä kolmannen kellovaatimuksen. [10] :207 "Kaksosparadoksi" ei kuitenkaan ole todellinen paradoksi, koska se on helppo ymmärtää erityissuhteellisuusteorian kontekstissa.
Näyttää siltä, että paradoksi on olemassa, koska erityinen suhteellisuusteoria sanoo väärin. Erityinen suhteellisuusteoria ei julista kaikkia viitekehyksiä vastaaviksi, vaan vain inertiaaliset. Liikkuvan kaksosen vertailukehys ei ole inertiaalinen sen kiihtyessä. Kaksosten ero havainnoitavissa olevassa maailmassa on se, että matkustava kaksos käynnistää rakettimoottorit palatakseen kotiin, kun taas kotona oleskelevat kaksoset eivät tee mitään. [neljätoista]
Tarvitsemme lisää analyysia, ennen kuin voimme ymmärtää, miksi näiden erojen pitäisi johtaa eroon kaksois-iässä. Harkitse kuvassa olevaa tila-aikakaaviota. 2-11. Se on yksinkertainen tapaus, jossa kaksos liikkuu suoraan x-akselilla ja kääntyy välittömästi takaisin. Kotona oleskelevan kaksosen näkökulmasta kaksosparadoksissa ei ole mitään monimutkaista. Oikea aika mitattuna kulkevan kaksosen maailmanlinjaa pitkin pisteestä O paikkaan C, plus oikea aika mitattuna pisteestä C paikkaan B, on pienempi kuin kaksosen oikea oleskeluaika pisteestä A paikkaan B mitattuna. Monimutkaisemmat lentoradat vaativat integrointia oikea aika käyrän vastaavien tapahtumien välillä (eli käyrän integraali ) laskeaksesi liikkuvan kaksoiskappaleen kokonaisajan. [neljätoista]
Komplikaatioita syntyy, jos kaksoisparadoksia analysoidaan liikkuvan kaksoiskappaleen näkökulmasta.
Tämän keskustelun loppuosan ajan omaksumme Weissin nimikkeistön kotona oleville kaksosille, kuten Terence, ja matkustaville kaksosille, kuten Stellalle. [neljätoista]
Aiemmin totesimme, että Stella ei ole inertiaalisessa viitekehyksessä. Tämän tosiasian vuoksi toisinaan väitetään, että kaksoisparadoksin täydellinen ratkaiseminen vaatii yleistä suhteellisuusteoriaa. Tämä ei ole totta. [neljätoista]
Vain SRT:tä käyttävä analyysi olisi seuraava: Stellan viitekehyksessä hän itse on liikkumaton koko matkan ajan. Kun hän aktivoi raketin potkurit kääntyäkseen ympäri, hän kokee näennäisvoiman, joka on samanlainen kuin gravitaatiovoima. [14] Kuva. Kuvat 2-6 ja 2-11 havainnollistavat samanaikaisuuden viivojen (tasojen) käsitettä: havainnoijan x-akselin (xy-tason) suuntaiset viivat edustavat tapahtumakokoelmia, jotka ovat samanaikaisia kyseisen havainnon viitekehyksessä. Kuvassa 2-11 sinistä viivaa yhdistävät Terencen maailmanrajan tapahtumia, jotka Stellan näkökulmasta ovat samanaikaisia hänen maailmanlinjansa tapahtumien kanssa. (Terence puolestaan tarkkailee joukon vaakasuuntaisia samanaikaisuuden viivoja.) Stellan matkan sekä taantuvan että lähestyvän osuuden aikana hän mittaa Terencen kellon juoksevan hitaammin kuin omansa. Mutta käännöksen aikana (eli kuvan paksujen sinisten viivojen välissä) hänen samanaikaisuusviivojensa kulmassa tapahtuu muutos, mikä vastaa Terencen maailmanlinjan tapahtumien nopeaa ohittamista, jonka Stella pitää samanaikaisena. hänen kanssaan. Siksi Stella uskoo matkan lopussa, että Terence on vanhempi kuin hän on. [neljätoista]
Vaikka yleistä suhteellisuusteoriaa ei vaadita kaksoisparadoksin analysointiin, yleisen suhteellisuusteorian ekvivalenssiperiaatteen soveltaminen antaa jonkin verran lisänäkemystä aiheeseen. Aiemmin totesimme, että Stella ei ole paikallaan inertiavertailukehyksessä. Lepäävässä viitekehyksessään Stella on liikkumaton koko matkan ajan. Niin kauan kuin se liikkuu tasaisesti, sen vertailukehys muuttuu inertiaksi ja Terencen kello hidastuu. Mutta kun hän aktivoi raketin potkurit kääntymään, hänen vertailukehyksensä kiihtyy ja hän kokee voiman, joka työntää häntä ikään kuin hän olisi gravitaatiokentässä. Terence on tämän kentän päällä, ja gravitaatioajan dilataatiosta johtuen hänen kellonsa käy nopeammin, joten Terence on lopulta Stellaa vanhempi, kun he tapaavat uudelleen. [14] Kuten jäljempänä tullaan käsittelemään, teoreettiset argumentit, jotka ennustavat gravitaatioajan dilataatiota, eivät ole yksinomaan yleisessä suhteellisuusteoriassa. Mikä tahansa painovoimateoria ennustaa gravitaatioajan dilataatiota, jos se noudattaa ekvivalenssiperiaatetta, mukaan lukien Newtonin teoria. [10] :16
Tämä johdanto-osa on keskittynyt erityissuhteellisuusteorian aika-avaruuteen, koska se on yksinkertaisempi. Minkowskin aika-avaruus on tasainen, painovoimaa uhmaava, yhtenäinen kauttaaltaan ja toimii vain staattisena taustana siinä tapahtuville tapahtumille. Painovoiman läsnäolo vaikeuttaa suuresti aika-avaruuskuvausta. Yleisessä suhteellisuusteoriassa aika-avaruus ei ole enää staattinen tausta, vaan se on aktiivisesti vuorovaikutuksessa sisältämiensä fyysisten järjestelmien kanssa. Aika-avaruuden kaarevuus aineen läsnäollessa voi levittää aaltoja, taivuttaa valon polkua ja ilmetä monina muina ilmiöinä [10] :221 Joitakin näistä ilmiöistä kuvataan tämän artikkelin myöhemmissä osissa.
Päätavoitteena on pystyä vertailemaan liikkeessä olevien tarkkailijoiden mittauksia toisiinsa nähden. Oletetaan, että kehyksessä S on havainnoija O, joka on mitannut tapahtuman ajalliset ja spatiaaliset koordinaatit osoittamalla tapahtumalle kolme suorakulmaista koordinaattia ja sen synkronoidulla kellohilassa ( x , y , z , t ) mitatun ajan (ks. kuva 1 - yksi). Toinen havainnoija O' toisessa vertailukehyksessä S' mittaa saman tapahtuman koordinaattijärjestelmässään ja synkronoidussa kellohilassa ( x ' , y' , z' , t' ) . Koska kyseessä on inertiavertailu, yksikään tarkkailija ei ole kiihtyvyyden vaikutuksen alaisena. Yksinkertainen yhtälösarja yhdistää koordinaatit ( x , y , z , t ) ja ( x' , y' , z' , t' ) . Koska nämä kaksi koordinaattijärjestelmää ovat vakiokonfiguraatiossa, mikä tarkoittaa, että ne on kohdistettu yhdensuuntaisesti koordinaattien ( x , y , z ) kanssa ja että t = 0 , kun t' = 0 , koordinaattimuunnos on seuraava: [15] [16]
Kuva 3-1 osoittaa, että Newtonin teoriassa aika on universaali. [17] :36-37 Harkitse seuraavaa ajatuskoetta: punainen nuoli edustaa junaa, joka liikkuu 0,4 s suhteessa laituriin. Junassa matkustaja ampuu luodin nopeudella 0,4c junan vertailukehyksessä. Sininen nuoli havainnollistaa, että raiteilla seisova henkilö mittaa luodin nopeudeksi 0,8 sekuntia. Tämä vastaa naiiveja odotuksiamme.
Yleisemmin oletetaan, että kehys S' liikkuu nopeudella v suhteessa kehykseen S. Kehyksessä S' tarkkailija O' mittaa nopeudella u' liikkuvaa kohdetta . Mikä on sen nopeus u kehyksen S suhteen? Koska x = ut , x' = x − vt ja t = t' , voidaan kirjoittaa x' = ut − vt = ( u − v ) t = ( u − v ) t' . Tämä johtaa u' = x' / t' ja lopulta
taijoka on tavallinen Galilean nopeuksien yhteenlaskulaki .
Nopeuksien summaus relativistisessa aika-avaruudessa on hyvin erilaista kuin klassisessa. Vähentääksemme hieman yhtälöiden monimutkaisuutta, otamme käyttöön lyhenteen kohteen nopeuden suhteesta valonnopeuteen,
Kuvassa 3-2a näkyy punainen juna, joka liikkuu eteenpäin nopeudella, jonka v / c = β = s / a antaa . Junan vertailukehyksessä matkustaja ampuu luodin nopeudella u' / c = β' = n / m , jossa etäisyys mitataan pitkin linjaa, joka on yhdensuuntainen punaisen x'- akselin kanssa, ei mustaa x -akselia pitkin . Mikä on sinisen nuolen esittämän luodin yhdistetty nopeus u suhteessa alustaan? Viitaten kuvioon 3-2b:
Yllä esitetty relativistinen kaava nopeuksien lisäämiseksi osoittaa useita tärkeitä ominaisuuksia:
Aiemmin keskustelimme kvalitatiivisesti ajan laajenemisesta ja pituuden supistumisesta. Näille vaikutuksille on helppo saada kvantitatiivisia lausekkeita. Kuva 3-3 on yhdistelmäkuva, joka sisältää yksittäisiä vertailukehyksiä kahdesta edellisestä animaatiosta, yksinkertaistettuna ja nimettynä uudelleen tämän osan tarkoituksia varten.
Yhtälöiden monimutkaisuuden vähentämiseksi kirjallisuudessa on monia erilaisia lyhenteitä ct :lle :
Yleiset ja . Sopimuksen käyttö on myös hyvin yleistäKuvioissa 3-3a segmentit OA ja OK ovat yhtäläisiä aikavälejä. Aikalaajennusta edustaa suhde OB / OK . Invariantilla hyperbolilla on yhtälö , jossa k = OK , ja liikkeessä olevan hiukkasen maailmanviivaa edustavalla punaisella viivalla on yhtälö w = x / β = xc / v . Pieni algebrallinen muunnos antaa
Neliöjuuren sisältävä lauseke on hyvin yleinen suhteellisuusteoriassa, ja lausekkeella jaettua yksikköä kutsutaan Lorentz-kertoimeksi, jota merkitään kreikkalaisella kirjaimella gamma : [18]
Huomaa, että jos v on suurempi tai yhtä suuri kuin c , lausekkeesta tulee fyysisesti merkityksetön, mikä tarkoittaa, että c on suurin mahdollinen nopeus luonnossa. Huomaa lisäksi, että millä tahansa v :llä, joka on suurempi kuin nolla, Lorentz-kerroin on suurempi kuin yksi, vaikka käyrän muoto on sellainen, että pienillä nopeuksilla Lorentz-kerroin on hyvin lähellä yksikköä.
Kuvassa 3-3b segmentit OA ja OK edustavat yhtäläisiä aika-avaruusvälejä. Pituuden lyhennystä edustaa suhde OB / OK . Invarianttihyperboli tuntee yhtälön , jossa k = OK , ja sinisen raidan, joka edustaa palkin liikkeessä olevien päätepisteiden maailmanviivoja, kulmakerroin on 1/ β = c / v . Tapahtumalla A on koordinaatit ( x , w ) = ( γk , γβk ). Koska tangenttiviivalla A:n ja B:n kautta on yhtälö w = ( x − OB )/ β , saadaan γβk = ( γk − OB )/ β ja
Galilealaiset muunnokset ja niiden peräkkäinen nopeuksien summauslaki toimivat hyvin tavanomaisessa hitaiden lentokoneiden, autojen ja ilmapallojen maailmassa. 1800-luvun puolivälistä alkaen herkät tieteelliset instrumentit alkoivat kuitenkin havaita poikkeavuuksia, jotka eivät vastanneet normaalia nopeuden nousua.
Erityisessä suhteellisuusteoriassa käytämme Lorentzin muunnoksia tapahtuman koordinaattien muuttamiseksi viitekehyksestä toiseen.
Suorat Lorentzin muunnokset:
Käänteiset Lorentzin muunnokset:
Kun v ≪ c ja x ovat tarpeeksi pieniä, v 2 /c 2 ja vx / c 2 pyrkivät nollaan, ja Lorentzin muunnos lähestyy Galilean muunnosa.
Kuten aiemmin todettiin, kun kirjoitamme jne., tarkoitamme useimmiten todella jne. Vaikka kirjoitamme Lorentzin muunnosyhtälöt ilman deltaa lyhyyden vuoksi, on ymmärrettävä, että x tarkoittaa Δ x jne. Me yleensä olemme aina kiinnostuneita tapahtumien välisistä tilan ja ajan väleistä.
Huomautus merkinnöistä: Yhden muunnosjoukon nimeäminen suoriksi Lorentz-muunnoksiksi ja toisen käänteismuunnoksiksi voi olla harhaanjohtavaa, koska viitekehysten välillä ei ole merkittävää eroa. Eri kirjoittajat kutsuvat jompaakumpaa muunnossarjaa käänteisiksi . Eteenpäin- ja taaksepäin-muunnokset liittyvät triviaalisesti toisiinsa, koska referenssikehys S voi liikkua vain eteenpäin tai taaksepäin suhteessa S':ään . Siksi yhtälöiden kääntäminen yksinkertaisesti edellyttää ominaisarvojen ja väärien muuttujien vaihtamista ja v :n korvaamista -v :llä . [19] :71–79
Esimerkki: Terence ja Stella ovat Maan ja Marsin avaruuskilpailussa. Terence on virallinen lähtöviivalla ja Stella kilpailija. Tällä hetkellä t = t' = 0 Stellan avaruusalus kiihtyy välittömästi 0,5 s nopeudella . Etäisyys Maan ja Marsin välillä on 300 valosekuntia (noin 90,0⋅10 6 km ). Terence katselee Stellan ylittävän maaliviivan kellon t = 600,00 s. Mutta Stella huomauttaa, että kun hän ohittaa maaliviivan, hänen aluksensa kronometrin aika on t' = (t − vx/c 2 ) = 519,62 s, ja hän saa lähtö- ja loppuviivojen välisen etäisyyden vertailukehyksessään. 259,81 valosekuntia (noin 77,9⋅10 6 km ).
Lorentzin muunnosten derivointiLorentzin muunnoksesta on ollut useita kymmeniä johdannaisia Einsteinin alkuperäisen työn jälkeen vuonna 1905, joista jokainen keskittyy johonkin erilaiseen. Vaikka Einsteinin johtopäätös perustui valonnopeuden muuttumattomuuteen, on olemassa muita fysikaalisia periaatteita, jotka voivat toimia lähtökohtina muunnosten johtamiselle. Loppujen lopuksi näitä vaihtoehtoisia lähtökohtia voidaan pitää erilaisina ilmaisuina taustalla olevasta paikallisuusperiaatteesta , jonka mukaan hiukkasen vaikutusta toiseen ei voida välittää välittömästi. [kaksikymmentä]
Tässä annettu ja kuvassa havainnollistettu johtopäätös. 3-5 perustuu yhteen Bayesin [17] :64-66 esittämistä johdannaisista ja käyttää aikaisempia tuloksia nopeuksien, aikalaajenemisen ja pituuden supistumisen relativistisesta summauksesta. Tapahtumalla P on koordinaatit ( w , x ) mustassa "lepokehyksessä" ja koordinaatit ( w' ja x' ) punaisessa vertailukehyksessä, joka liikkuu nopeusparametrilla β = v / c . Kuinka määritämme w':n ja x' :n w :n ja x :n suhteen ? (Tai päinvastoin)
Aluksi on helpompi saada käänteinen Lorentzin muunnos.
Yllä olevat yhtälöt ovat vaihtoehtoisia lausekkeita käänteisen Lorentzin muunnoksen t- ja x-yhtälöille, mikä näkyy korvaamalla ct : llä w , ct' : llä W' ja v / c : llä β . Käänteismuunnoksesta myötämuunnosyhtälöt voidaan saada ratkaisemalla t' ja x' .
Lorentzin muunnosten lineaarisuusLorentzin muunnoksilla on matemaattinen ominaisuus nimeltä lineaarisuus, koska x' ja t' saadaan x:n ja t:n lineaarisina yhdistelminä ilman suurempien potenssien osallistumista. Muunnoksen lineaarisuus heijastaa aika-avaruuden perustavaa laatua olevaa ominaisuutta, jonka oletimme hiljaisesti johtamista tehdessämme, nimittäin sitä, että inertiaalisten viitekehysten ominaisuudet ovat riippumattomia paikasta ja ajasta. Painovoiman puuttuessa aika-avaruus näyttää samalta kaikkialla. [17] :67 Kaikki inertiatarkkailijat ovat yhtä mieltä siitä, mikä on kiihdytetty ja kiihtymätön liike. [19] :72–73 Jokainen tarkkailija voi käyttää omia tila- ja aikaulottuvuuksiaan, mutta niissä ei ole mitään absoluuttista. [10] :190
Lineaarisuuden tulos on, että jos kaksi Lorentz-muunnosta käytetään peräkkäin, tuloksena on myös Lorentz-muunnos.
Esimerkki: Terence havaitsee Stellan lentävän pois hänestä 0.500 s nopeudella, ja hän voi käyttää Lorentzin muunnoksia β = 0.500 suhteuttaakseen mittauksensa Stellan mittauksiin. Stella näkee viitekehyksessään Ursulan lentävän pois hänestä 0,250 s:ssa ja hän voi käyttää Lorentzin muunnoksia β = 0,250 suhteuttaakseen Ursulan mittaukset omiin mittauksiinsa. Muutosten lineaarisuuden ja nopeuksien relativistisen summauksen vuoksi Terence voi käyttää Lorentzin muunnoksia β = 0,666 suhteuttaakseen Ursulan mittaukset omiin mittauksiinsa.
Doppler-ilmiö on taajuuden tai aallonpituuden muutos lähteelle ja vastaanottimelle, jotka liikkuvat suhteessa toisiinsa. Yksinkertaisuuden vuoksi tarkastelemme tässä kahta päätapausta: (1) lähteen ja/tai vastaanottimen liikkeet ovat täsmälleen niitä yhdistävää linjaa pitkin (pitkittäinen Doppler-ilmiö) ja (2) liikkeet ovat suorassa kulmassa määritettyyn linjaan ( poikittainen Doppler-ilmiö). Jätämme huomiotta tapaukset, joissa ne siirtyvät välikulmiin.
Pitkittäinen Doppler-ilmiöKlassinen Doppler-analyysi käsittelee väliaineen läpi eteneviä aaltoja, kuten ääniaaltoja tai veden aaltoja, jotka välittyvät lähteiden ja vastaanottimien välillä niiden liikkuessa toisiaan kohti tai poispäin. Tällaisten aaltojen analyysi riippuu siitä, liikkuvatko lähde, vastaanotin vai molemmat suhteessa väliaineeseen. Tapauksessa, jossa vastaanotin on paikallaan väliaineen suhteen ja lähde siirtyy poispäin suoraan vastaanottimesta nopeudella v s nopeusparametrilla β s , aallonpituus kasvaa ja havaittu taajuus f saadaan kaavalla
Toisaalta siinä tapauksessa, että lähde on paikallaan ja vastaanotin liikkuu suoraan lähteestä nopeudella v r nopeusparametrille β r , aallonpituus ei muutu , mutta aallon lähetysnopeus suhteessa vastaanottimeen pienenee, ja havaittu taajuus f on annettu kaavalla
Valo, toisin kuin ääni tai veden aaltoilu, ei etene väliaineen läpi, eikä ole eroa sen välillä, että lähde siirtyy pois vastaanottimesta vai vastaanotin lähtee poispäin. Kuva 3-6 havainnollistaa relativistista aika-avaruuskaaviota, joka esittää lähteen liikkuvan pois vastaanottimesta nopeusparametrilla β siten, että lähteen ja vastaanottimen välinen etäisyys hetkellä w on βw . Aikalaajennuksesta johtuen w = γw' . Koska vihreän valonsäteen kaltevuus on −1, T = w+βw = γẃ (1 +β ). Siksi relativistinen Doppler-ilmiö saadaan lausekkeella [17] :58–59
Poikittainen Doppler-efektiOletetaan, että suorassa linjassa liikkuva lähde on lähimpänä vastaanotinta. Vaikuttaa siltä, että klassinen analyysi ennustaa, että vastaanotin ei havaitse Doppler-siirtymää. Analyysin hienovaraisuuden vuoksi tämä oletus ei välttämättä pidä paikkaansa. Oikein määriteltynä poikittainen Doppler-siirtymä on kuitenkin relativistinen vaikutus, jolla ei ole klassista vastinetta. Nämä hienovaraisuudet ovat seuraavat: [19] :94–96
Skenaariossa (a), kun lähde on lähinnä vastaanotinta, vastaanottimeen osuva valo tulee itse asiassa siitä suunnasta, josta lähde oli jokin aika sitten, ja sillä on merkittävä pituussuuntainen komponentti, mikä vaikeuttaa analysointia vastaanottimen vertailukehyksestä. On helpompi tehdä analyysi S':stä, lähteen viitekehyksestä. Lähin approksimaatiopiste on kehyksestä riippumaton ja edustaa pistettä, jossa etäisyys ei muutu ajan myötä (eli dr/dt = 0, missä r on vastaanottimen ja lähteen välinen etäisyys) eikä pitkittäis-Doppleria näin ollen ole. siirtää. Lähde havaitsee vastaanottimen valaistuna valolla, jonka taajuus on f' ja jolla on hidas kello. Siksi vertailukehyksessä S vastaanotin valaistaan sinisellä siirtymällä
Skenaario (b) analysoidaan parhaiten S:stä, vastaanottimen viitekehyksestä. Kuvasta näkyy, että vastaanotin on valaistu, kun lähde oli lähinnä vastaanotinta, vaikka lähde oli jo liikkunut. Koska lähdekello on hidas ja dr/dt on nolla tässä pisteessä, lähteestä tuleva valo tästä lähimmästä pisteestä on punasiirtymä
Skenaariot (c) ja (d) voidaan analysoida käyttämällä yksinkertaisia aikalaajennusargumentteja. Kohdassa (c) vastaanotin näkee lähteestä tulevan valon sinisiirtymänä kertoimella ja kohdassa (d) punasiirtymänä. Ainoa ilmeinen vaikeus on se, että esineillä on kiertoradan liikettä ja vastaavasti kiihtyvyyttä. Kuitenkin inertiatarkkailijan kannalta vain kellon hetkellinen nopeus on tärkeä aikalaajennuksen laskennassa. (Päinvastoin ei kuitenkaan pidä paikkaansa.) [19] :94–96 Useimmat raportit poikittais-Doppler-siirtymästä viittaavat punasiirtymävaikutukseen ja analysoivat vaikutusta skenaarioiden (b) tai (d) avulla. [muistio 2]
Klassisessa mekaniikassa hiukkasen liiketilaa kuvaavat sen massa ja nopeus. Momentti , hiukkasen massan ja nopeuden tulona, on vektorisuure , jolla on sama suunta kuin nopeudella: p = m v . Tämä on konservatiivinen arvo, mikä tarkoittaa, että jos suljettuun järjestelmään eivät vaikuta ulkoiset voimat, sen lineaarinen kokonaisliikemäärä ei voi muuttua.
Relativistisessa mekaniikassa liikemäärävektoria laajennetaan neljään ulottuvuuteen. Liikemäärävektoriin lisätään aikakomponentti, joka mahdollistaa tila-ajan liikemäärävektorin muuntumisen kuten (x, t) paikkavektori avaruudessa. Kun tutkitaan liikemäärän ominaisuuksia aika-avaruudessa (katso kuva 3-8a), aloitamme katsomalla hiukkasta levossa. Lepoviitekehyksessä liikemäärän tilakomponentti on nolla, eli p = 0 , mutta aikakomponentti on yhtä suuri kuin mc .
Voimme saada tämän vektorin muunnetut komponentit liikkuvassa kehyksessä Lorentz-muunnoksilla, tai voimme lukea sen suoraan kuvasta, koska tiedämme (mc)́ = γmc ja ṕ = −βγmc , koska punaiset akselit skaalataan gamman mukaan. tekijä . Kuvassa Kuvat 3-8b esittävät tilanteen liikkuvassa vertailukehyksessä. Ilmeisesti nelimomentin tila- ja aikakomponentit menevät äärettömyyteen, kun liikkuvan vertailukehyksen nopeus lähestyy c . [17] :84–87
Käytämme tätä tietoa myöhemmin johtaessamme lausekkeen nelimomentille .
Light PulseValohiukkaset tai fotonit liikkuvat vakionopeudella c , joka tunnetaan valonnopeudena . Siksi fotonit etenevät valon kaltaista maailmanlinjaa pitkin ja niillä on sopivissa yksiköissä samat tilalliset ja ajalliset komponentit jokaiselle havainnoijalle.
Maxwellin yhtälöiden seuraus on, että valo kuljettaa energiaa ja liikemäärää ja että niiden suhde on aina vakio: E/p = c . Tai muuntamalla E/c = p . Koska fotoneilla spatiaalinen ja ajallinen komponentti ovat samat, se tarkoittaa, että E/c tulisi tunnistaa liikemäärävektorin aikakomponentin kanssa aika-avaruudessa.
Fotonit liikkuvat valon nopeudella, mutta niillä on rajallinen liikemäärä ja energia. Tätä varten massatermin γmc on oltava nolla, mikä tarkoittaa, että fotonit ovat massattomia hiukkasia . Ääretön nollalla ei ole kelvollinen arvo, mutta E/c on hyvin määritelty.
Tässä analyysissä, jos fotonin energia on yhtä suuri kuin E lepokehyksessä , liikkuvassa koordinaatistossa se on yhtä suuri kuin É = (1 − β)γE . Tämä tulos voidaan saada tarkastelemalla kuvaa. 3-9 tai käyttämällä Lorentz-muunnoksia ja se on yhdenmukainen aiemmin esitetyn Doppler-ilmiön analyysin kanssa. [17] :88
Massan ja energian suhdeRelativistisen liikemäärävektorin eri komponenttien välisen suhteen huomioon ottaminen johti Einsteiniin useisiin tunnettuihin johtopäätöksiin.
Toinen tapa tarkastella massan ja energian välistä suhdetta on tarkastella sarjaa γmc 2 :n laajennuksia pienillä nopeuksilla:
Toinen termi on yksinkertaisesti ilmaus hiukkasen kineettiselle energialle. Massa on todellakin toinen energiamuoto [17] :90–92 [19] :129–130,180
Relativistisen massan käsite, jonka Einstein esitteli vuonna 1905, m rel , vaikka sitä testataan päivittäin hiukkaskiihdyttimissä ympäri maailmaa (tai jopa missä tahansa laitteessa, jonka käyttö riippuu suurista hiukkasista, kuten elektronimikroskoopit, [21] vanhat väritelevisiot jne.), mutta se ei ole osoittautunut hedelmälliseksi konseptiksi fysiikan alalla siinä mielessä, että se ei toimisi toisen teoreettisen kehityksen perustana. Relativistisella massalla ei esimerkiksi ole mitään roolia yleisessä suhteellisuusteoriassa.
Tästä syystä, kuten pedagogisissakin kysymyksissä, useimmat fyysikot pitävät nyt parempana erilaisesta terminologiasta massan ja energian suhteen. [22] "Relativistinen massa" on vanhentunut termi. Termi "massa" itsessään viittaa lepomassaan tai invarianttimassaan ja on yhtä suuri kuin relativistisen liikemäärävektorin invariantti pituus. ilmaistaan kaavana,
Tämä kaava koskee kaikkia hiukkasia, sekä massattomia että massiivisia. Massattomille fotoneille se antaa saman suhteen, jonka määritimme aiemmin, E = ±pc . [17] :90–92
Katso myös: Okun' LB "Massan käsite (massa, energia, suhteellisuusteoria)" UFN 158 511-530 (1989)
Neljäs impulssiMassan ja energian välisen läheisen suhteen vuoksi nelimomenttia (kutsutaan myös 4-vauhtivoimaksi) kutsutaan usein 4-liikkeen energiavektoriksi. Käyttämällä isoa kirjainta P merkitsemään nelimomenttia ja pientä p merkitsemään spatiaalista pulssia, nelipulssi voidaan kirjoittaa muodossa
tai, käyttäen sopimusta [19] :129–130,180Fysiikassa säilymislait sanovat, että tietyt eristetyn fyysisen järjestelmän mitattavissa olevat ominaisuudet eivät muutu järjestelmän kehittyessä ajan myötä. Vuonna 1915 Emmy Noether huomasi, että jokaisen suojelulain perustana on luonnon perustavanlaatuinen symmetria. [23] Se tosiasia, että fysikaaliset prosessit eivät välitä missä ne esiintyvät avaruudessa ( Translational symmetry ) synnyttää liikemäärän säilymisen lain, tosiasia, että tällaiset prosessit eivät välitä milloin ne tapahtuvat ( Translational symmetry of time) antaa energian säilymisen lain ja niin edelleen. Tässä osiossa tarkastellaan newtonilaisia näkemyksiä massan, liikemäärän ja energian säilymisestä relativistisesta näkökulmasta.
Täysi vauhtiYmmärtääksemme, kuinka newtonilaista näkemystä liikemäärän säilymisestä on muutettava relativistisessa kontekstissa, tarkastellaan kahden törmäävän kappaleen ongelmaa, joka on rajoitettu yhteen ulottuvuuteen.
Newtonin mekaniikassa on kaksi tämän ongelman ääritapausta, jotka antavat matematiikan minimaalisen monimutkaisuuden: (1) Kaksi kappaletta pomppii pois toisistaan täysin elastisessa törmäyksessä. (2) Kaksi kappaletta tarttuu toisiinsa ja jatkavat liikkumista yhtenä hiukkasena. Tämä toinen tapaus on täysin joustamaton törmäys. Molemmissa tapauksissa (1) ja (2) liikemäärä, massa ja kokonaisenergia säilyvät. Kineettinen energia ei kuitenkaan säily joustamattoman törmäyksen tapauksessa. Tietty osa alkuperäisestä liike-energiasta muuttuu lämmöksi.
Tapauksessa (2) kaksi massaa, joiden momentti on p 1 = m 1 v 1 ja p 2 = m 2 v 2 törmäävät yhteen, jolloin muodostuu yksi hiukkanen säilyneestä massasta m = m 1 + m 2 , joka liikkuu keskipisteen nopeudella . alkuperäisen järjestelmän massa , v cm = (m 1 v 1 + m 2 v 2 )/(m 1 + m 2 ) . Tässä tapauksessa kokonaisliikemäärä säilyy p = p 1 + p 2 .
Riisi. Kuvat 3-10 kuvaavat kahden hiukkasen joustamatonta törmäystä relativistisesta näkökulmasta. E 1 /c :n ja E 2 /c :n aikakomponentit laskevat yhteen täyden resultanttivektorin E/c , mikä tarkoittaa, että energiaa säästyy. Samoin spatiaaliset komponentit p1 ja p2 summautuvat muodostaen p tuloksena olevan vektorin. Nelivauhti, kuten odotettiin, on säilynyt määrä. Liimatun hiukkasen invarianttimassa, joka saadaan pisteestä, jossa kokonaisliikemäärän invariantti hyperboli leikkaa energia-akselin, ei kuitenkaan ole yhtä suuri kuin yksittäisten törmääneiden hiukkasten muuttumattomien massojen summa. Itse asiassa se on suurempi kuin yksittäisten massojen summa: m > m 1 + m 2 . [17] :94–97
Tarkasteltaessa tämän skenaarion tapahtumia käänteisessä järjestyksessä, huomaamme, että massan säilyminen on yleistä: kun epävakaa alkuainehiukkanen hajoaa spontaanisti kahdeksi kevyemmäksi hiukkaseksi, kokonaisenergia säilyy, mutta massa ei. Osa massasta muuttuu kineettiseksi energiaksi. [19] :134–138
Viitekehysten valintaVapaus valita mikä tahansa viitejärjestelmä analyysiin antaa sinun valita sinulle sopivan järjestelmän. Liikemäärä- ja energiaongelmien analysoinnissa sopivin viitekehys on yleensä " massakeskipistekehys " (kutsutaan myös nollamomentiksi tai CCM-kehykseksi). Tämä on järjestelmä, jossa järjestelmän kokonaisliikemäärän spatiaalinen komponentti on nolla. Kuvat 3-11 havainnollistavat nopean hiukkasen hajoamista kahdeksi tytärhiukkaseksi. Laboratoriojärjestelmässä lapsipartikkeleita emittoidaan edullisesti suunnassa, joka on suunnattu kantahiukkasen reittiä pitkin. Kuitenkin CCM-järjestelmässä kaksi tytärhiukkasta säteilee vastakkaisiin suuntiin, vaikka niiden massat ja nopeudet eivät ole samat.
Energian ja liikemäärän säilyminenVuorovaikutteisten hiukkasten newtonilaisessa analyysissä järjestelmien välinen muunnos on yksinkertainen, koska tarvitsee vain soveltaa Galilean muunnosa kaikkiin nopeuksiin. Koska v́ = v − u , niin liikemäärä ṕ = p − mu . Jos vuorovaikutuksessa olevan hiukkasjärjestelmän kokonaisliikemäärä säilyy yhdessä järjestelmässä, säilyminen havaitaan myös missä tahansa muussa järjestelmässä. [19] :241–245
Liikemäärän säilyminen CCM-järjestelmässä muodostaa vaatimuksen, että p = 0 sekä ennen törmäystä että sen jälkeen. Newtonin analyysissä massan säilyminen edellyttää, että m = m 1 + m 2 . Tarkastelemissamme yksinkertaistetuissa yksiulotteisissa skenaarioissa tarvitaan vain yksi lisärajoitus, ennen kuin hiukkasten lähtevä liikemäärä voidaan määrittää - energiatila. Yksiulotteisessa tapauksessa täysin elastisessa törmäyksessä ilman kineettisen energian menetystä hiukkasten nopeudet törmäyksen jälkeen CCM-järjestelmässä ovat täsmälleen yhtä suuret ja vastakkaiset. Täysin joustamattoman törmäyksen tapauksessa kineettisen energian kokonaishäviössä hiukkasten nopeudet törmäyksen jälkeen ovat nolla. [19] :241–245
Newtonin momentti, joka lasketaan muodossa p = mv , ei voi käyttäytyä oikein Lorentzin muunnoksen alla. Lineaarinen nopeusmuunnos v́ = v − u korvataan erittäin epälineaarisella v́ = (v − u)/(1 − vu/c 2 ) , joten liikemäärän säilymistä yhdessä vertailukehyksessä osoittava laskelma on ei kelpaa muissa viitekehyksessä. Einstein oli valinnan edessä joko hylätä liikemäärän säilyminen tai muuttaa liikemäärän määritelmää. Kuten näimme edellisessä osiossa, hän valitsi toisen vaihtoehdon ja esitteli neljän impulssin . [17] :104
Relativistinen energian ja liikemäärän säilymislaki korvaa kolme klassista energian, liikemäärän ja massan säilymislakia. Massa ei enää säily, koska se sisältyy relativistiseen kokonaisenergiaan. Tämä tekee relativistisesta energiansäästöstä yksinkertaisemman käsitteen kuin ei-relativistisessa mekaniikassa, koska kokonaisenergia säilyy ilman tarkennusta. Lämmöksi tai sisäiseksi potentiaalienergiaksi muunnettu kineettinen energia ilmenee massan kasvuna. [19] :127
Esimerkki: Massan ja energian ekvivalenssista johtuen alkuainehiukkasten massat ilmoitetaan yleensä energiayksiköissä, missä 1 MeV = 1 × 10 6 elektronivolttia. Varautunut pioni on hiukkanen, jonka massa on 139,57 MeV (noin 273 kertaa elektronin massa). Se on epävakaa ja hajoaa myoniksi, jonka massa on 105,66 MeV (noin 207 kertaa elektronin massa) ja antineutriinoksi, jonka massa on mitätön. Pionimassan ja myonin massan ero on 33,91 MeV.
π−Kuvassa Kuvat 3-12a esittävät energia-momenttikaavion tälle vaimenemisreaktiolle pionin lepokehyksessä. Merkittömän massansa vuoksi neutrino kulkee lähes valon nopeudella. Relativistinen lauseke sen energialle, kuten fotonille, on E ν = pc , , joka on myös sen liikemäärän tilakomponentin arvo. Liikemäärän säilyttämiseksi myonilla on sama arvo kuin neutriinon avaruudellisessa liikemääräkomponentissa, mutta päinvastaisessa suunnassa.
Tämän reaktion hajoamisenergian algebralliset laskelmat ovat saatavilla Internetissä, [24] , joten kuva 1. 3-12b. Neutriinon energia on 29,79 MeV ja myonin energia on 33,91 - 29,79 = 4,12 MeV. Lähes nollamassaiset neutriinot kuljettavat suurimman osan energiasta.
Tämän osan aiheet ovat matemaattisesti monimutkaisempia kuin edellisissä osissa, eivätkä ne ole välttämättömiä Johdatuksen kaarevaan avaruuteen ymmärtämiselle.
Lorentzin muunnokset yhdistävät yhden viitekehyksen tapahtumien koordinaatit toisen viitekehyksen koordinaatteihin. Kahden nopeuden lisäämiseen käytetään nopeuksien yhteenlaskennan relativistista lakia, jonka kaavat ovat epälineaarisia, mikä tekee siitä monimutkaisemman kuin vastaava Galilean laki.
Tämä epälineaarisuus on parametrien valintamme artefakti. [7] : 47-59 Huomasimme aiemmin, että tila-aikakaaviossa x–ct vakiovälin pisteet origosta muodostavat invariantin hyperbolin. Huomasimme myös, että kahden vakiokonfiguraation aika-avaruusviittausjärjestelmän koordinaattijärjestelmät on hyperbolisesti kierretty suhteessa toisiinsa.
Luonnolliset funktiot näiden suhteiden ilmaisemiseksi ovat trigonometristen funktioiden hyperboliset analogit . Kuvassa Kuvassa 4-1a on esitetty yksikköympyrä , jossa on sin ( a ) ja cos ( a ), ainoa ero tämän kaavion ja alkeistrigonometrian tutun yksikköympyrän välillä on se, että aa ei tulkita säteen ja x - akselin väliseksi kulmaksi , mutta kaksinkertaisena sektorin pinta-alana, säteen pyyhkäisemä x . (Numeerisesti yksikköympyrän kulma ja 2 × pinta-ala ovat yhtä suuret.) 4-1b esittää yksikköhyperboliasinh( a ) ja cosh( a ), joissa a tulkitaan myös kaksinkertaiseksi väritykseksi. [25] Kuvassa 4-2 ovat sinh-, cosh- ja tanh-funktioiden kuvaajia.
Yksikköympyrälle palkin kaltevuus saadaan kaavalla
Suorakaiteen muotoisessa koordinaattijärjestelmässä pisteen ( x, y ) kierto pisteeseen ( x́, ý ) kulmassa θ saadaan
Tila-aikakaaviossa nopeusparametri on analoginen kaltevuuden (kaltevuuden) kanssa. Nopeus φ määritellään [19] :96–99
missä
Yllä määritelty nopeus on erittäin hyödyllinen erityisessä suhteellisuusteoriassa, koska monet lausekkeet saavat yksinkertaisemman muodon ilmaistuna sen termeissä. Esimerkiksi nopeus on yksinkertaisesti additiivinen kollineaarisen nopeuden summauskaavassa [7] :47–59
tai toisin sanoen,
Lorentzin muunnokset saavat yksinkertaisen muodon, kun ne ilmaistaan nopeudella. Tekijä γ voidaan kirjoittaa muodossa
Muunnoksia, jotka kuvaavat suhteellista liikettä tasaisella nopeudella ja ilman tilakoordinaattien akselien pyörimistä, kutsutaan tehostuksiksi .
Korvaamalla γ ja γβ aiemmin tehtyihin ja uudelleen matriisimuotoon kirjoitettuihin muunnoksiin, Lorentzin tehostus x - suunnassa voidaan kirjoittaa muodossa
ja käänteinen Lorentzin tehostus x - suunnassa voidaan kirjoittaa muodossa
Toisin sanoen Lorentzin tehostus edustaa hyperbolista kiertoa Minkowskin avaruusajassa. [19] :96–99
Hyperbolisten funktioiden käytön edut ovat sellaiset, että jotkut oppikirjat, kuten klassiset Taylor ja Wheeler, ottavat käyttöön niiden käytön hyvin varhaisessa vaiheessa [7] [26] [huomautus 3]
4-vektorit mainittiin edellä 4-vektorin energiamomentin yhteydessä. Kaiken kaikkiaan mikään erityissuhteellisuusteorian alkeellisista johtopäätöksistä ei vaadi niitä. Mutta kun se on ymmärretty, 4-vektorin käsite ja yleisempi tensorin käsite yksinkertaistavat suuresti erityissuhteellisuusteorian matematiikkaa ja käsitteellistä ymmärrystä. Ainoastaan tällaisten objektien käsitteleminen johtaa kaavoihin, jotka ovat selvästi relativistisesti invariantteja, mikä on merkittävä etu ei-triviaalisissa yhteyksissä. Esimerkiksi Maxwellin yhtälöiden relativistisen invarianssin osoittaminen niiden tavanomaisessa muodossa ei ole triviaalia, ja sähkömagneettisen kentän tensorin käyttö tekee niistä vain rutiinilaskennan. Toisaalta yleinen suhteellisuusteoria luottaa alusta alkaen pääasiassa 4-vektoriin ja tensoreihin, jotka edustavat fyysisesti relevantteja kokonaisuuksia. Näiden yhtälöiden yhdistäminen yhtälöihin, jotka eivät riipu tietyistä koordinaateista, vaatii tensoreita, jotka pystyvät yhdistämään tällaiset 4-vektorit jopa kaarevassa aika-avaruudessa, eikä vain litteässä , kuten erityisessä suhteellisuusteoriassa. Tensorien tutkimus ei kuulu tämän artikkelin piiriin, sillä se tarjoaa vain peruskeskustelun aika-avaruudesta.
4-vektorin määritelmäNeljän luvun joukkoa A = (A 0 , A 1 , A 2 , A 3 ) kutsutaan "4-vektoriksi", jos nämä A i -komponentit muunnetaan referenssijärjestelmien välillä Lorentzin muunnoksilla. Käytettäessä (ct, x, y, z) koordinaatteja A on 4-vektori , jos A muuntaa ( suunnassa x )
joka muodostetaan yksinkertaisesti korvaamalla ct A 0 : lla ja x A 1 : llä Lorentzin muunnosten aikaisemmassa versiossa.
Kuten tavallista, kun kirjoitamme x , t jne., tarkoitamme yleensä Δx , Δt jne.
4-vektorin kolmen viimeisen komponentin on oltava vakiovektori 3D-avaruudessa. Siksi 4-vektorin on muunnettava muodossa (c Δt, Δx, Δy, Δz) Lorentzin muunnoksissa ja kierron aikana. [13] :36–59
4-vektorin ominaisuudetKuten odotettiin, yllä olevien 4-vektorin lopulliset komponentit ovat tavanomaiset 3-vektorit , jotka vastaavat spatiaalista 3-momenttia , 3-voimaa jne. [19] :178–181 [13] :36–59
4-vektorit ja fysikaaliset laitErityisen suhteellisuusteorian ensimmäinen postulaatti julistaa kaikkien inertiaalisten viitekehysten ekvivalenssin. Fysikaalisen lain, joka toimii yhdessä viitekehyksessä, tulee jatkaa toimintaansa kaikissa viitekehyksessä, koska muuten voisimme erottaa nämä viitekehykset. Kuten edellisessä keskustelussa energian ja liikemäärän säilymisestä todettiin , Newtonin liikemäärä ei voi käyttäytyä oikein Lorentz-muunnoksen alla, ja Einstein päätti muuttaa liikemäärän määritelmän 4-vektoriin liittyväksi sen sijaan, että hän luopuisi liikemäärän säilymisestä.
Fysikaalisten lakien tulee perustua viitekehyksestä riippumattomiin rakenteisiin. Tämä tarkoittaa, että fysikaaliset lait voivat olla yhtälöitä, jotka liittyvät skalaareihin, jotka ovat aina riippumattomia viitekehyksestä. Kuitenkin yhtälöt, jotka sisältävät 4-vektoria , edellyttävät sopivan arvoisten tensorien käyttöä, joita voidaan pitää 4-vektorista rakennetuina . [19] :186
Yleistä[ kuka? ] Väärinkäsitys on, että erityinen suhteellisuusteoria soveltuu vain inertiaalisiin viitekehyksiin ja että se ei pysty toimimaan kiihtyvien objektien tai kiihdytettyjen viitekehysten kanssa. Kiihdyttävät kohteet voidaan yleensä analysoida ilman, että kiihdytettyjä kehyksiä tarvitsee käsitellä ollenkaan. Yleistä suhteellisuusteoriaa vaaditaan vain vahvoissa gravitaatiokentissä. [27]
Oikea työskentely nopeutetun viitekehyksen kanssa vaatii kuitenkin jonkin verran varovaisuutta. Erikoissuhteellisuusteorian ja yleisen suhteellisuusteorian ero on, että (1) Erikoissuhteellisuusteoriassa kaikki nopeudet ovat suhteellisia, mutta kiihtyvyys on absoluuttista. (2) Yleisessä suhteellisuusteoriassa kaikki liiketyypit ovat suhteellisia, inertiaalisia, kiihtyneitä ja pyöriviä. Tämän eron huomioon ottamiseksi yleinen suhteellisuusteoria käyttää kaarevaa tila-aikaa. [27]
Tässä osiossa analysoimme useita skenaarioita, jotka liittyvät nopeutettuihin viitekehyksiin.
Bellin paradoksiBell Spaceship Paradox on hyvä esimerkki ongelmasta, jossa intuitiivinen päättely, joka ei liity avaruus-aika-lähestymistavan geometriseen ymmärtämiseen, voi johtaa ongelmiin.
Kuvassa 4-4 kaksi identtistä avaruusalusta roikkuu avaruudessa ja ovat levossa suhteessa toisiinsa. Ne on yhdistetty köydellä, jolla on rajoitettu venytys ennen katkeamista. Tällä hetkellä meidän vertailukehyksessämme, tarkkailijan kehyksessä, molemmat avaruusalukset kiihtyvät samaan suuntaan niiden välistä linjaa pitkin samalla jatkuvalla omalla kiihtyvyydellä [huom. 4] Kysymys kuuluu, katkeaako köysi?
Pääartikkeli kertoo, että kun paradoksi oli uusi ja huonosti ymmärretty, jopa ammattifyysikoilla oli vaikeuksia löytää ratkaisua. Nämä kaksi päättelylinjaa johtavat vastakkaisiin johtopäätöksiin. Alla on kaksi argumenttia, joista toinen on väärä, vaikka se antaa oikean vastauksen. [19] :106 120–122
Ensimmäisen selityksen ongelmana on, että avaruusalukselle ei ole olemassa viitekehystä . Näin ei voi olla, koska avaruusalukset mittaavat kasvavaa etäisyyttä keskenään. Koska avaruusaluksille ei ole olemassa yhtä vertailujärjestelmää, köyden pituutta ei ole määritelty. Päätelmä on kuitenkin oikea ja selitys pääosin oikea. Mutta toinen selitys jättää täysin huomiotta samanaikaisuuden suhteellisuuden. [19] :106 120–122
Ratkaisu tähän paradoksiin tulee ilmeiseksi, jos käytämme aika-avaruuskaaviota (Kuva 4-5). Kaksi Minkowski-avaruusajassa olevaa tarkkailijaa kiihtyy vakiokiihtyvyydellä oikeaan aikaan (kiihtyvyyden ja kuluneen ajan mittaavat tarkkailijat itse, ei ulkopuolinen inertiatarkkailija). Ne ovat liikkuvia ja inertiaalisia ennen ja jälkeen kiihdytysvaiheen. Kuten Bell totesi, Minkowskin geometriassa avaruuden kaltaisen segmentin A ′ B ″ pituus osoittautuu suuremmiksi kuin avaruuden kaltaisen segmentin AB pituus .
Pituuden kasvu voidaan laskea Lorentzin muunnolla. Jos, kuten kuvassa näkyy. 4-5, kiihtyvyys on ohi, alukset pysyvät vakiona jossain vertailukehyksessä Jos ja ovat alusten sijainnit kyseisessä asennossa viitekehyksessä : [28]
"Paradoksi" tulee tavallaan siitä, kuinka Bell rakensi esimerkkinsä. Tavanomaisessa Lorentzin supistusten käsittelyssä viivain levossa on kiinteä, kun taas liikkuva viivain pelkistetään mittauksiksi viitekehyksessä . Kuten kuvassa 4-4 näkyy, Bellin esimerkki esittelee liikkuvat pituudet , jotka mitataan vertailukehyksessä kiinteänä, mikä lisää viitekehyksen lepopituutta .
Nopeutettu tarkkailija horisontin kanssaJotkut suhteellisuusteorian erityisongelmat voivat johtaa yleiseen suhteellisuusteoriaan yleensä liittyvien asioiden ymmärtämiseen. Tämä on esimerkiksi tapahtumahorisontti . Kuvan oheisessa tekstissä. 2-7 invariantissa hyperbolissa havaitsimme, että magenta hyperbola edustaa jatkuvasti kiihtyvän aika-avaruusmatkailijan todellisia polkuja. Positiivisen kiihtyvyyden aikana liikkeen nopeus lähestyy valon nopeutta, kun taas vertailukehyksessämme matkustajan kiihtyvyys pienenee jatkuvasti.
Kuvat 4-6 kuvaavat yksityiskohtaisesti matkustajan liikkeiden eri piirteitä. Sen avaruudellisen akselin muodostaa milloin tahansa viiva, joka kulkee origon ja sen nykyisen sijainnin kautta hyperbelissä, ja sen aika-akseli on tangentti hyperbolille sen sijainnissa. Nopeusparametri lähestyy yksikön rajaa . Samoin lähestyy ääretöntä.
Invariantin hyperbolin muoto vastaa jatkuvan oikean kiihtyvyyden polkua. Tämä voidaan näyttää näin:
Kuva 4-6 havainnollistaa tiettyä suunnitteluskenaariota. Terence (A) ja Stella (B) seisovat aluksi yhdessä 100 valotuntia lähtöpaikasta. Stella lähtee lentoon aikaan 0, hänen avaruusaluksensa kiihtyy 0,01 s tunnissa. Kahdenkymmenen tunnin välein Terence raportoi Stellalle radiossa kotitilanteesta (kiinteät vihreät viivat). Stella vastaanottaa nämä säännölliset lähetykset, mutta kasvava etäisyys (osittain aikalaajennus korvaa) saa hänet vastaanottamaan Terencen viestit myöhemmin ja myöhemmin kellonsa mukaan, eikä hän koskaan saa viestejä Terenceltä 100 tunnin kellon jälkeen (vihreät katkoviivat) . [17] :110–113
100 tunnin kuluttua Terencen kellon mukaan Stella saapuu pimeälle alueelle. Hän matkusti Terencen ajattoman tulevaisuuden ulkopuolelle. Toisaalta Terence voi jatkaa Stellan viestien vastaanottamista loputtomiin. Hänen täytyy vain odottaa tarpeeksi kauan. Avaruus-aika on jaettu erillisiin alueisiin näennäisen tapahtumahorisontin avulla. Niin kauan kuin Stella jatkaa kiihtymistä, hän ei voi saada selville, mitä tämän horisontin takana tapahtuu [17] :110–113
Newtonin teoriat olettivat, että liike tapahtuu jäykän euklidisen viitekehyksen taustalla, joka etenee kaikkialla avaruudessa ja kaikkina aikoina. Painovoimaa välittää salaperäinen, välittömästi etäisyyden päässä vaikuttava voima, jonka toiminta ei riipu väliavaruudesta. [huomautus 5] Einstein kiisti, että olisi olemassa euklidisen taustavertailukehys, joka etenee avaruudessa. Aivan kuten painovoimaa ei ole olemassa, vain itse aika-avaruusrakenne. [7] :175–190
Avaruudessa maata kiertävän satelliitin polkua eivät sanele Maan, Kuun ja Auringon kaukaiset vaikutukset. Sen sijaan satelliitti liikkuu avaruudessa vain paikallisten olosuhteiden vaikutuksesta. Koska aika-avaruus on kaikkialla paikallisesti tasaista riittävän pienessä mittakaavassa katsottuna, satelliitti seuraa aina suoraa linjaa paikallisessa inertiaalisessa vertailukehyksessään. Sanomme, että satelliitti seuraa aina geodeettista reittiä. Painovoimaa ei löydy vain yhden hiukkasen liikkeiden vierestä. [7] :175–190
Missä tahansa aika-avaruusanalyysissä painovoiman todistaminen edellyttää kahden kappaleen tai kahden erillisen hiukkasen suhteellisten kiihtyvyyksien tarkkailua. Kuvassa Kuvassa 5-1 kaksi erillistä hiukkasta, jotka putoavat vapaasti Maan gravitaatiokentässä, osoittavat vuorovesikiihtyvyyttä gravitaatiokentän paikallisista epähomogeenisuudesta johtuen, joten jokainen hiukkanen kulkee eri polkua aika-avaruudessa. Vuorovesikiihtyvyydet, joita nämä hiukkaset osoittavat suhteessa toisiinsa, eivät vaadi voimia selittääkseen niitä. Pikemminkin Einstein kuvasi niitä aika-avaruuden geometrian eli aika-avaruuden kaarevuuden kannalta. Nämä vuorovesikiihtyvyydet ovat täysin paikallisia. Tämä on monien paikallisten kaarevuusilmiöiden kumulatiivinen kokonaisvaikutus, jotka johtavat suurella etäisyydellä Maasta vaikuttavaan gravitaatiovoimaan. [7] :175–190
Yleinen suhteellisuusteoria perustuu kahteen päämääräykseen.
Siirtyminen yllä olevasta kaarevan aika-avaruuden peruskuvauksesta painovoiman täydelliseen kuvaukseen vaatii tensorilaskentaa ja differentiaaligeometriaa, jotka vaativat vakavaa tutkimista. Ilman näitä matemaattisia työkaluja voidaan kirjoittaa yleisestä suhteellisuusteoriasta, mutta ei-triviaaleja johtopäätöksiä on mahdotonta osoittaa.
Sen sijaan, että hän yrittäisi tarjota (jälleen toisen) suhteellisen ei-matemaattisen näkemyksen yleisestä suhteellisuusteoriasta, lukijaa kehotetaan tutustumaan jo julkaistuihin kirjoihin Johdanto yleiseen suhteellisuusteoriaanja yleinen suhteellisuusteoria .
Tässä osiossa keskitytään muutamien perustapausten tutkimiseen, jotka toimivat pinnallisena johdatuksena yleiseen suhteellisuusteoriaan.
Erikoissuhteellisuusteorian keskustelussa voimilla on ollut toissijainen rooli. Suhteellisuusteorian erikoisteoria olettaa mahdollisuuden asettaa inertiaaliset viitekehykset, jotka täyttävät koko aika-avaruuden ja joiden kaikki kellot käyvät samaa tahtia kuin kello origossa. Onko se todella mahdollista? Epähomogeenisessa gravitaatiokentässä koe sanoo ei. Gravitaatiokentät eivät mahdollista globaalin inertiaalisen viitekehyksen rakentamista. Riittävän pienillä aika-avaruusalueilla paikalliset inertiaaliset viitekehykset ovat edelleen mahdollisia . Yleinen suhteellisuusteoria sisältää näiden paikallisten viitekehysten systemaattisen yhdistämisen suuremmiksi aika-avaruuskuvaksi. [13] :118–126
Pian yleisen suhteellisuusteorian julkaisemisen jälkeen vuonna 1916 useat tutkijat huomauttivat, että yleinen suhteellisuusteoria ennusti painovoiman punasiirtymän olemassaolon. Einstein itse ehdotti seuraavaa ajatuskoetta : (i) Oletetaan, että torni, jonka korkeus on h , on rakennettu (Kuva 5-3). (ii) Heitä partikkeli, jonka lepomassa on m , tornin huipulta. Se putoaa vapaasti kiihtyvyydellä g saavuttaen maan nopeudella v = (2 gh ) 1/2 , sen kokonaisenergia E maassa olevan tarkkailijan mittaamana on m + ½ mv 2 / c 2 = m + mgh/ c2 . (iii) Massaenergia-muunnin muuntaa hiukkasen kokonaisenergian yhdeksi korkeaenergiseksi fotoniksi, jonka se laukaisee ylöspäin. (iv) Tornin huipulla energiamassamuunnin muuntaa fotonienergian É takaisin lepomassan hiukkaseksi ḿ . [13] :118–126
Tuloksen tulee olla m = ḿ , muuten ikuinen liikekone voidaan rakentaa . Siksi ennustamme, että É = m , joten
Nouseessaan maan vetovoimakentässä fotoni menettää energiaa ja vastaanottaa punasiirtymän. Varhaiset yritykset mitata tätä punasiirtymää tähtitieteellisten havaintojen avulla olivat jokseenkin epäselviä, mutta lopulliset laboratoriohavainnot tehtiin Poundin ja Rebkan (1959) ja myöhemmin Poundin ja Schneiderin (1964) kokeessa. [31]
Valolla on vastaava taajuus, ja tällä taajuudella voidaan ohjata kelloa. Gravitaation punasiirtymä johtaa tärkeän johtopäätökseen ajasta: painovoima hidastaa aikaa. Oletetaan, että rakennamme kaksi identtistä kelloa, joiden nopeuksia ohjaa jokin vakaa atomisiirtymä. Laitetaan yksi kello tornin huipulle samalla kun jätämme toisen kellon maahan. Tornin huipulla oleva kokeilija rekisteröi maakellon signaalit alhaisemman taajuuden omaaviksi kuin hänen vieressään tornissa olevan kellon signaalit. Tornissa nouseva valo on vain aaltoa, ja on mahdotonta, että aaltojen harjat katoavat matkalla ylös. Tornin yläosaan tulevan valon värähtelyjen määrä on yhtä suuri kuin alareunassa säteilevän valon määrä. Kokeilija päättelee, että maakello on hitaampi, ja tämä voidaan varmistaa laskemalla kelloa tornista vertaamaan maakellon viereen. [10] :16-18 Yhden kilometrin tornissa ero olisi noin 9,4 nanosekuntia päivässä, mikä on helposti mitattavissa nykyaikaisilla instrumenteilla.
Gravitaatiokentän kellot eivät pyöri samalla nopeudella. Kokeet, kuten Pound-Rebka-koe, ovat luottaneet osoittaneet aika-avaruuden ajallisen komponentin kaarevuuden. Pound-Rebka-koe ei kerro mitään aika- avaruuden tilakomponentin kaarevuudesta . Mutta huomioi, että teoreettiset argumentit, jotka ennustavat gravitaatioajan dilataatiota, eivät ole ollenkaan riippuvaisia yleisen suhteellisuusteorian argumenteista. Mikä tahansa painovoimateoria ennustaa gravitaatioajan dilataatiota, jos se noudattaa ekvivalenssiperiaatetta. [10] :16 Newtonin painovoima mukaan lukien. Yleisessä suhteellisuusteoriassa on helppo osoittaa, että Newtonin rajalla (eli hiukkasten liikkuessa hitaasti, gravitaatiokenttä on heikko ja staattinen) yhden ajan kaarevuus riittää Newtonin painovoimalain saamiseksi. [32] :101–106
Newtonin painovoima on kaarevan ajan teoria. Yleinen suhteellisuusteoria on kaarevan ajan ja kaarevan tilan teoria. Olettaen G gravitaatiovakioksi, M Newtonin tähden massaksi ja tähdestä etäisyydellä r kiertäviä kappaleita, joiden massa on merkityksetön , vain aikakerroin on muuttuva Newtonin painovoiman avaruus-aikavälissä: [10] : 229-232
Edellinen kerroin kuvaa ajan kaarevuutta Newtonin painovoimassa, ja tämä kaarevuus vastaa täysin kaikki Newtonin painovoimavaikutukset. Kuten odotettiin, tämä korjauskerroin on suoraan verrannollinen ja -arvoon, ja nimittäjästä johtuen korjauskerroin kasvaa lähestyessäsi gravitoivaa kappaletta, mikä tarkoittaa aikakäyriä.
Mutta yleinen suhteellisuusteoria on kaarevan avaruuden ja kaarevan ajan teoria, joten jos on termejä, jotka muuttavat edellä esitetyn aika-avaruusvälin spatiaalisia komponentteja, eikö planeettojen ja satelliittien kiertoradoihin kohdistuvia vaikutuksia pitäisi pitää kaarevuuden seurauksena spatiaalisten termien kertoimet?
Vastaus on, että ne ovat näkyvissä , mutta vaikutukset ovat pieniä. Syynä on se, että planeettojen nopeudet ovat valonnopeuteen verrattuna erittäin pieniä, joten aurinkokunnan planeetoilla ja satelliiteilla termi menee päällekkäin avaruustermien kanssa. [10] :234-238
Avaruustermien pienuudesta huolimatta ensimmäiset merkit siitä, että Newtonin painovoimassa oli jotain vialla, löydettiin puolitoista vuosisataa sitten. Vuonna 1859 Urbain Le Verrier analysoidaan saatavilla olevia ajallisia havaintoja Merkuriuksen siirtymistä Auringon kiekon yläpuolella vuosina 1697–1848, että tunnettu fysiikka ei pystynyt selittämään Merkuriuksen kiertorataa, paitsi että se myönsi toisen olemassaolon. planeetta tai asteroidivyöhyke Merkuriuksen kiertoradalla. Merkuriuksen kiertoradan periheli osoitti ylimääräisen precession nopeuden verrattuna siihen, mikä voidaan selittää muiden planeettojen vaikutuksella. [33] Kyky havaita ja mitata tarkasti tämän poikkeavan precession minuuttiarvo (vain 43 kaarisekuntia trooppista vuotta kohti ) on todiste 1800-luvun astrometrian suuresta tarkkuudesta.
Kuten kuuluisa tähtitieteilijä, joka kerran löysi Neptunuksen olemassaolon "kynän kärjestä" analysoimalla värähtelyjä Uranuksen kiertoradalla, Le Verrierin ilmoitus herätti kaksivuotisen "vulkanomania"-jakson, jolloin ammatti- ja amatööritähtitieteilijät etsivät hypoteettista uusi planeetta. Tämä etsintä sisälsi useita vääriä havaintoja Vulcanista. Lopulta päätettiin, että planeetta tai asteroidivyöhyke ei ole olemassa. [34]
Vuonna 1916 Einstein vihdoin osoitti, että tämä Merkuriuksen poikkeava precessio selittyy aika-avaruuden kaarevuuden spatiaalisilla termeillä. Aikatermin kaarevuus, joka on vain Newtonin painovoiman ilmaus, ei liity mitenkään tämän poikkeavan precession selittämiseen. Hänen laskelmiensa menestys oli voimakas osoitus Einsteinin kollegoille siitä, että yleinen suhteellisuusteoria voi olla oikea.
Vaikuttavin Einsteinin ennusteista oli laskelma, että kaarevuustermit aika-avaruusvälin spatiaalisissa komponenteissa voitiin mitata taivuttamalla valoa massiivisen kappaleen ympärille. Valon kaltevuus tila-aikakaaviossa on ±1. Sen liike avaruudessa on yhtä suuri kuin sen liike ajassa. Ilmaistakseen invariantin intervallin heikon kentän Einstein laski täsmälleen yhtä suuren, mutta päinvastaisen etumerkkikaarevuuden tilakomponenteissa. [10] :234–238
Newtonin painovoimassa kerroin ennen ennustaa valon taipumista tähden ympärille. Yleisessä suhteellisuusteoriassa kerroin ennen ennustaa kaksi kertaa suuremman mutkan . [10] :234–238
Eddingtonin vuoden 1919 havainnon ja Einsteinin pimennyksen historiaa voidaan tutkia lisälähteessä. [35]
Newtonin universaalin gravitaatiolain mukaan painovoiman ainoa lähde on massa .
Yleinen suhteellisuusteoria viittaa useisiin aika-avaruuden kaarevuuden lähteisiin massan lisäksi. Einsteinin kenttäyhtälöissä painovoiman lähteet esitetään oikealla puolella energia -momenttitensorissa .
Kuvassa 5-5, erilaiset painovoiman lähteet luokitellaan jännitysenergiatensoriin:
Yhtälöistä voidaan tehdä yksi tärkeä johtopäätös, jota puhekielessä voidaan kutsua kuinka painovoima itse luo painovoimaa . [huom. 6] Energialla on massa. Jopa Newtonin painovoimassa gravitaatiokenttä liittyy energiaan E = mgh , jota kutsutaan gravitaatiopotentiaalienergiaksi . Yleisessä suhteellisuusteoriassa gravitaatiokentän energia palaa gravitaatiokentän luomiseen. Tämä tekee yhtälöistä epälineaarisia ja vaikeita ratkaista kaikissa tapauksissa paitsi heikon kentän tapauksessa. [10] :240 Numeerinen suhteellisuusteoria on yleisen suhteellisuusteorian haara, ja se käyttää supertietokoneavusteisia numeerisia menetelmiä mustien aukkojen , gravitaatioaaltojen , neutronitähtien ja muiden voimakkaiden kenttien tutkimiseen.
Energy-momentumErityisessä suhteellisuusteoriassa massaenergia liittyy läheisesti liikemäärään . Kuten keskustelimme aiemmin Energia ja vauhti -osiossa , aivan kuten tila ja aika ovat eri puolia laajemmasta kokonaisuudesta, jota kutsutaan tila-ajaksi, massaenergia ja liikemäärä ovat vain yhden, neliulotteisen suuren, jota kutsutaan neljäksi liikemääräksi , eri puolia . Siksi, jos massaenergia on painovoiman lähde, myös liikemäärän on oltava sellainen lähde. Liikemäärän sisällyttäminen painovoiman lähteeseen johtaa ennusteeseen, että liikkuvat tai pyörivät massat voivat synnyttää samanlaisia kenttiä kuin liikkuvien varausten synnyttämät magneettikentät, ilmiö tunnetaan nimellä gravitomagnetismi . [37]
On hyvin tunnettua, että magnetismin voimakkuus voidaan johtaa soveltamalla liikkuviin varauksiin erityissuhteellisuuden sääntöjä. (Feynman esitti tästä kaunopuheisen esityksen Lectures on Physics -julkaisun II osassa, luvuissa 13-6 , saatavilla verkossa. [38] ) Samanlaista logiikkaa voidaan käyttää todistamaan gravitomagnetismin alkuperä. Kuvassa 5-7a kahdella rinnakkaisella äärettömän pitkällä massiivinen hiukkasvirralla on samat ja vastakkaiset nopeudet -v ja +v niiden väliin keskittyneen liikkumattoman testihiukkasen suhteen. Asetuksen symmetrian vuoksi keskihiukkaseen kohdistuva kokonaisvoima on nolla. Oletetaan, että v << c , joten nopeudet vain summautuvat. Kuva 5-7b esittää täsmälleen saman kokoonpanon, mutta ylävirran viitekehyksessä. Testipartikkelin nopeus on +v ja pohjavirran nopeus +2 v . Koska tilanne ei ole fyysisesti muuttunut, vaan vain vertailukehys, jossa koetta tarkkailemme, on muuttunut, testihiukkasta ei pitäisi vetää puoleensa mihinkään virrasta. Mutta ei ole ilmeistä, että testihiukkaseen vaikuttavat voimat ovat yhtä suuret. (1) Koska pohjavirta liikkuu nopeammin kuin ylävirta, jokaisella pohjavirran hiukkasella on enemmän massaenergiaa kuin ylävirran hiukkasella. (2) Lorentzin supistuksen ansiosta alavirtaan on enemmän hiukkasia pituusyksikköä kohti kuin ylävirtaan. (3) Toinen lisäys alavirran aktiiviseen painovoimamassaan tulee lisäpainetermistä, jolle meillä ei ole tällä hetkellä riittävästi koulutusta. Kaikki nämä vaikutukset yhdessä näyttäisivät vaativan, että testipartikkeli vetää alavirtaan.
Testipartikkeli ei vedä alavirtaan nopeudesta riippuvan voiman vuoksi, joka hylkii hiukkasen liikkuvan samaan suuntaan kuin alavirtaan . Tämä nopeudesta riippuvainen gravitaatiovaikutus on gravitomagnetismi. [10] :245–253
Siten gravitamagneettisen kentän läpi liikkuva aine altistuu niin sanotuille inertiaalisten viitekehysten vastusvaikutuksille , jotka ovat samanlaisia kuin sähkömagneettinen induktio . On ehdotettu, että tällaisten gravitamagneettisten voimien taustalla on joidenkin pyörivien supermassiivisten mustien aukkojen sinkoamien relativististen suihkujen synnyttäminen (katso kuva 5-8) . [39] [40]
Paine ja stressiEnergiaan ja liikemäärään suoraan liittyvien määrien on myös oltava painovoiman lähteitä. Näitä ovat sisäinen paine ja mekaaninen rasitus . Yhdessä massaenergia , liikemäärä, paine ja jännitys toimivat painovoiman lähteinä: yhdessä tämä on kaikki, joka kaaree aika-avaruutta.
Yleinen suhteellisuusteoria ennustaa, että paine toimii painovoiman lähteenä samalla voimalla kuin massa-energiatiheys. Paineen sisällyttäminen painovoiman lähteeseen johtaa jyrkkiin eroihin yleisen suhteellisuusteorian ja Newtonin painovoiman ennusteiden välillä. Esimerkiksi painetermi asettaa maksimirajan neutronitähden massalle . Mitä massiivisempi neutronitähti, sitä enemmän se vaatii painonsa pitämiseen painovoimassa. Lisääntynyt paine kuitenkin lisää tähden massaan vaikuttavaa painovoimaa. Tietyllä massalla, jonka määrää Tolman-Oppenheimer-Volkov-raja , prosessi muuttuu peruuttamattomaksi ja neutronitähti kutistuu mustaksi aukoksi . [10] :243 280
Painetermeistä tulee varsin merkittäviä suoritettaessa laskelmia, kuten supernovan romahtamisen hydrodynaamisia simulaatioita. [41]
Kokeellinen vahvistusNäillä ennusteilla paineen, liikemäärän ja mekaanisen jännityksen roolista aika-avaruuden kaarevuuden lähteinä on tärkeä rooli yleisessä suhteellisuusteoriassa. Jos paine otetaan huomioon, varhaista maailmankaikkeutta hallitsi säteily [42] , ja on epätodennäköistä, että mitään asiaankuuluvista kosmologisista tiedoista (esim. nukleosynteesi ) voitaisiin tuottaa, jos paine ei osallistuisi painovoimaan tai jos sillä ei olisi sama voima painovoiman lähteenä, massaenergiana . Samoin Einsteinin kenttäyhtälöiden matemaattinen johdonmukaisuus rikkoutuisi, jos mekaaninen rasitus ei vaikuttaisi painovoimaan.
Kaikki tämä on hyvä, mutta onko olemassa suoria , kvantitatiivisia kokeellisia tai havaittuja mittauksia, jotka vahvistavat näiden termien vaikuttavan painovoimaan?
Aktiiviset, passiiviset ja inertiamassatEnnen kuin käsittelemme kokeellisia tietoja painovoiman eri lähteistä, meidän on ensin keskusteltava Bondyn eroista mahdollisten massatyyppien välillä: (1) aktiivinen massa ( ) massa, joka toimii gravitaatiokentän lähteenä ; (2) passiivinen massa ( ) - massa, joka reagoi gravitaatiokenttään; (3) Inertiamassa ( ) on massa, joka reagoi kiihtyvyyteen. [43]
Newtonin teoriassa
Yleisessä suhteellisuusteoriassa,
Klassinen koe painovoiman lähteen voimakkuuden (eli sen aktiivisen massan) mittaamiseksi suoritettiin ensimmäisen kerran vuonna 1797, Cavendish Experiment (kuva 5-9a). Kaksi pientä mutta tiheää palloa ripustetaan ohuelle langalle muodostaen vääntötasapainon. Kahden suuren massan tuominen lähelle palloja tuottaa huomattavan vääntömomentin. Laitteen mitat ja jousituksen mitattu kimmokerroin huomioon ottaen on mahdollista määrittää gravitaatiovakio G .
Paineen vaikutusten tutkiminen koemassaa puristamalla on turhaa, koska saavutettavissa olevat laboratoriopaineet ovat mitättömiä metallipallon massaenergiaan verrattuna.
Kuitenkin atomiytimien sisällä olevien protonien tiheästä puristumisesta aiheutuva hylkivä sähkömagneettinen paine on yleensä luokkaa 10 28 atm ≈ 10 33 Pa ≈ 10 33 kg s −2 t 1 . Tämä on noin 1 % ydinmassatiheydestä, joka on noin 10 18 kg/m 3 (kertoimen c 2 ≈ 9 × 10 16 t 2 s −2 jälkeen ). [44]
Jos paine ei ole painovoiman lähde, suhteen tulisi olla pienempi korkeammille Z -ytimille , joissa on enemmän sähköstaattista painetta. LB Kreizer (1968) suoritti Cavendishin kokeen käyttämällä teflonmassaa, joka oli suspendoitu trikloorietyleenin ja dibromietaanin nesteiden seokseen, jolla on sama kelluvuustiheys kuin teflonilla (kuvat 5-9b). Fluorin atominumero on Z = 9 ja bromin Z = 35 . Kreutzer havaitsi, että teflonin massan muuttaminen ei aiheuta vääntötangon differentiaalista taipumista, joten aktiivisen massan ja passiivimassan asettaminen vastaa 5 × 10 -5 tarkkuutta . [45]
Vaikka Kreutzer piti tätä koetta alun perin yksinkertaisesti aktiivisen massan ja passiivisen massan suhteen testinä, Clifford Will (1976) tulkitsi kokeen uudelleen perustavanlaatuiseksi testiksi lähteiden yhdistämiselle gravitaatiokenttiin. [46]
Vuonna 1986 Bartlett ja Van Buren panivat merkille, että kuun laseretäisyys havaitsi 2 km:n siirtymän kuun muotokeskuksen ja sen massakeskuksen välillä. Tämä osoittaa epäsymmetriaa Fe:n (paljon kuun ytimessä) ja Al:n (paljon sen kuoressa ja vaipassa) jakautumisessa. Jos paine ei edistäisi aika-avaruuden kaarevuuden tasaisuutta, kuten massaenergiaa, kuu ei olisi klassisen mekaniikan ennustamalla kiertoradalla. He käyttivät mittauksiaan kaventamaan aktiivisen ja passiivisen massan väliset erot noin 1 × 10 -12 . [47]
GravitomagnetismiGravitomagnetismin olemassaolon todisti Gravity Probe B (GP-B) , satelliittitehtävä, joka laukaistiin 20. huhtikuuta 2004 [48] . Avaruuslentovaihe jatkui vuoteen 2005 asti. Tehtävän tarkoituksena oli mitata aika-avaruuden kaarevuutta lähellä maata, erityisesti gravitomagnetismiin .
Alustavat tulokset vahvistivat suhteellisen suuren geodeettisen precession (joka johtuu yksinkertaisesti aika-avaruuden kaarevuudesta ja tunnetaan myös de Sitter -precessiona) noin 1 %:n tarkkuudella. Paljon pienempää inertiakehyksen vetovaikutusta (joka johtuu gravitomagnetismista ja joka tunnetaan myös nimellä Lense-Thirring Effect ) on ollut vaikea mitata odottamattomien varausvaikutusten vuoksi, jotka aiheuttavat vaihtelevaa ajautumista gyroskoopeissa. Kuitenkin, jottaelokuu 2008, inertiavertailukehysten vastus vahvistettiin 15 %:n sisällä odotetusta tuloksesta [49] , kun taas geodeettinen precessio vahvistettiin 0,5 %:iin asti [50] [51] .
Myöhemmät inertiakehyksen vastusmittaukset, joissa käytettiin laseretäisyyshavaintoja LARES- , LAGEOS - 1- ja LAGEOS-2-satelliiteista , paransivat GP-B- mittauksia , ja tulokset (vuodesta 2016) osoittivat vaikutuksen olevan 5 %:n sisällä sen teoreettisesta arvosta [52] . tämän tuloksen tarkkuudesta on keskusteltu jonkin verran [53] .
Toinen yritys, Gyroscopes in General Relativity (GINGER) -kokeilu, sisältää kolmen 6 tuuman rengaslaserin käytön., asennettu suorassa kulmassa toisiinsa 1400 m maanpinnan yläpuolelle tämän vaikutuksen mittaamiseksi [54] [55] .
Poincarén tavanomaisten näkemysten mukaan oleelliset kriteerit, joiden mukaan euklidinen tai ei-euklidinen geometria tulisi valita, ovat taloudellisuus ja yksinkertaisuus. Realisti sanoisi, että Einstein havaitsi, että aika-avaruus ei ole euklidinen. Traditionalisti sanoisi, että Einstein yksinkertaisesti piti mukavampaa käyttää ei-euklidista geometriaa. Traditionalisti väittäisi, että Einsteinin analyysi ei sanonut mitään siitä, mikä on aika-avaruuden todellinen geometria. [56]
Toisin sanoen,
1. Voidaanko yleinen suhteellisuusteoria esittää tasaisen aika-avaruuden termein? 2. Onko olemassa tilanteita, joissa yleisen suhteellisuusteorian tasainen aika-avaruustulkinta voi olla kätevämpi kuin tavallinen kaareva aika-avaruustulkinta?Vastauksena ensimmäiseen kysymykseen useat kirjoittajat, mukaan lukien Deser, Grischuk, Rosen, Weinberg jne., ovat esittäneet erilaisia painovoiman muotoja kenttänä tasaisessa monistossa. Näillä teorioilla on useita nimiä, kuten "bimetrinen painovoima", "kenttäteorian lähestymistapa yleiseen suhteellisuusteoriaan" jne. [57] [58] [59] [60] Kip Thornella on suosittu yleiskatsaus näistä teorioista. [61] :397–403
Tasainen aika-avaruusparadigma väittää, että aine luo gravitaatiokentän, joka saa viivaimet supistumaan, kun niitä kierretään reuna- suunnasta säteittäiseen, ja tämä hidastaa kellon tikitysnopeutta. Tasainen aika-avaruusparadigma vastaa täysin kaarevaa aika-avaruusparadigmaa siinä mielessä, että ne molemmat edustavat samoja fyysisiä ilmiöitä. Niiden matemaattiset muotoilut ovat kuitenkin täysin erilaisia. Työskentelevät fyysikot vaihtavat yleensä kaarevan ja tasaisen aika-avaruuden menetelmien välillä ongelman vaatimusten mukaan. Tasainen aika-avaruusparadigma osoittautuu erityisen käteväksi suoritettaessa likimääräisiä laskelmia heikoissa kentissä. Tästä syystä gravitaatioaaltojen ongelmia ratkaistaessa käytetään tasaisen aika-avaruuden menetelmiä ja mustien aukkojen analyysissä käyrän aika-avaruuden menetelmiä.
On olemassa kahdenlaisia ulottuvuuksia: tilallinen ja ajallinen. Avaruusulottuvuus merkitään kirjaimella N ja ajallinen kirjaimella T. Avaruus-aikajatkumolla, jonka ulottuvuus on N=3 ja T=1, on etu antrooppisen periaatteen kannalta .
Arthur Schopenhauer kirjoitti teoksen ”Riittävän järjen lain nelinkertaisesta juuresta” (1813) §:ssä 18: ”... rinnakkaiselon esittäminen on mahdotonta vain ajassa; toisessa puoliskossaan sen ehdollistaa tilan esittely, koska vain ajassa kaikki on peräkkäin, avaruudessa vierekkäin: tämä esitys syntyy siis vain ajan ja tilan yhdistelmästä.
Edgar Allan Poe selittää ajatuksen yhtenäisestä aika-avaruudesta kosmologia-esseessään "Eureka" (1848): "Avaruus ja kesto ovat yhtä."
Vuonna 1895, romaanissa The Time Machine, HG Wells kirjoitti: "Ajan ja avaruuden kolmen ulottuvuuden välillä ei ole eroa, paitsi että tietoisuutemme liikkuu ajassa", ja että "... jokaisella todellisella keholla on oltava neljä ulottuvuutta : sillä on oltava pituus, leveys, korkeus ja olemassaolon kesto.
Ensimmäisen laajennetun version tilan ja ajan luonnollisen yhdistämisen mallista, Minkowski-avaruudesta , loi Hermann Minkowski vuonna 1908 [62] Einsteinin erityiseen suhteellisuusteoriaan perustuen , ja hieman aikaisemmin (vuonna 1905 ) Keskeisen edistyksen tällä tiellä teki Henri Poincaré , joka loi perustan neliulotteiselle tila-aika-formalismille.
Ajan-avaruuden käsitteen sallii myös klassinen mekaniikka [63] , mutta siinä tämä liitto on keinotekoinen, koska klassisen mekaniikan aika- avaruus on tilan ja ajan suora tuote , eli tila ja aika ovat riippumattomia toisiaan. Kuitenkin jo klassinen sähködynamiikka vaatii vertailukehystä muutettaessa koordinaattimuunnoksia, jotka sisältävät ajan "parissa" tilakoordinaattien kanssa (ns. Lorentz-muunnokset ), jos halutaan sähködynamiikan yhtälöiden olevan samassa muodossa missä tahansa inertiaalinen viitekehys. Suoraan havaitut sähkömagneettisten prosessien ajalliset ominaisuudet (värähtelyjaksot, sähkömagneettisten aaltojen etenemisajat jne.) jo klassisessa sähködynamiikassa osoittautuvat riippuvaiseksi referenssijärjestelmästä (eli toisin sanoen havainnoinnin ja kohteen suhteellisesta liikkeestä). havainnoinnin), eli ne eivät osoittautuneet "absoluuttisiksi", vaan tietyllä tavalla liittyvät avaruusliikkeeseen ja jopa viitejärjestelmän sijaintiin avaruudessa, mikä oli ensimmäinen sysäys nykyaikaisen fysiikan muodostumiselle. käsite yhdestä aika-avaruudesta.
Keskeinen matemaattinen ero aika-avaruuden ( Minkowski-avaruus tai yleisen suhteellisuusteorian tapauksessa neliulotteinen monisto, jossa on Lorentzin metriikka ) välillä tavallisesta euklidisesta 4-ulotteisesta avaruudesta on se, että etäisyyttä ( väliä ) laskettaessa aikaerojen arvojen ja tilakoordinaattien pituuksien neliöt otetaan vastakkaisilla etumerkeillä (tavallisessa avaruudessa vastaavat arvot ovat samat mille tahansa koordinaattiakselille ja niillä on sama etumerkki). Tästä seuraa seuraavaa: suora viiva tämän jatkumon kahden pisteen välillä (suora ymmärretään liikettä hitaudella) antaa oikean ajan (intervallin) maksimikeston. Spatiaalisen pituuden osalta suora on pienin, ei maksimiarvo [64] .
Suhteellisuusteorian yhteydessä aika on erottamaton kolmesta avaruudellisesta ulottuvuudesta ja riippuu tarkkailijan nopeudesta [huom. 7] (katso oikea aika ).
Ajan-avaruuden käsitteellä on historiallisesti ollut keskeinen rooli geometrisen painovoimateorian luomisessa. Yleisen suhteellisuusteorian puitteissa gravitaatiokenttä pelkistetään neliulotteisen aika-avaruuden geometrian ilmentymäksi, joka tässä teoriassa ei ole tasainen (sen gravitaatiopotentiaali tunnistetaan aika-avaruusmetriikalla ) .
Maailmankaikkeuden kuvaamiseen tarvittavien ulottuvuuksien määrää ei ole lopullisesti määritetty. Esimerkiksi merkkijonoteoria (supermerkkijonot) vaati 10 (laskentaaika) ja nyt jopa 11 dimensiota ( M-teorian sisällä ). Oletetaan, että ylimääräiset (havainnoimattomat) 6 tai 7 dimensiota on taitettu ( tiivistetty ) Planckin mittoihin, joten niitä ei voida vielä havaita kokeellisesti. Näiden mittausten odotetaan kuitenkin ilmentävän jotenkin makroskooppisessa mittakaavassa. Vanhimmassa, bosonisessa versiossaan, merkkijonoteoria vaatii 26-ulotteisen ympäröivän tila-ajan; oletetaan, että tämän teorian "ylimääräiset" dimensiot pitäisi myös tai voidaan tiivistää ensin 10:een, jolloin vähennetään supermerkkijonoteoriaan ja sitten, kuten tässä mainittiin hieman korkeammalle, 4 tavalliseen ulottuvuuteen.
Sanakirjat ja tietosanakirjat | ||||
---|---|---|---|---|
|
Tilan mitat | |
---|---|
Tilat mittojen mukaan |
|
Polytoopit ja hahmot | |
Tilojen tyypit |
|
Muut ulottuvuuskäsitteet |
|
Matematiikka |