Un interval în teoria relativității este un analog al distanței dintre două evenimente în spațiu-timp , care este o generalizare a distanței euclidiene dintre două puncte. Intervalul este Lorentz-invariant , adică nu se schimbă la trecerea de la un cadru inerțial de referință la altul și, chiar mai mult, este un invariant ( scalar ) în relativitatea specială și generală.
Această proprietate a intervalului îl face un concept fundamental pe baza căruia, în conformitate cu principiul relativității , se poate realiza o formulare covariantă a legilor fizice. În special, transformările Lorentz (transformări ale coordonatelor, inclusiv timpul, lăsând neschimbată înregistrarea tuturor ecuațiilor fundamentale ale fizicii atunci când se modifică cadrul de referință) pot fi găsite în mod formal ca un grup de transformări care păstrează intervalul invariant.
Invarianța intervalului a servit drept bază pentru introducerea spațiului Minkowski , în care schimbarea cadrelor de referință inerțiale corespund „rotațiilor” acestui spațiu, care a fost prima formulare explicită a conceptului de spațiu-timp .
Un pătrat de interval este o formă biliniară simetrică pe o varietate configurațională de spațiu-timp cu 4 dimensiuni. Cu coordonate alese corect (Galilean - cadru de referință inerțial local cu coordonate spațiale carteziene și timp ) pentru o deplasare infinit de mică în spațiu-timp, are forma
(local un spațiu-timp pseudo-euclidian , un spațiu Menkowski în ordinea principală, cu alte cuvinte, o varietate cu o metrică pseudo-riemanniană nedefinită de semnătură (+−−−)).
În cazul unui spațiu-timp plat - adică un spațiu-timp fără curbură , care în fizica modernă se referă la cazul absenței (sau micșorării neglijabile) a gravitației - aceeași expresie este valabilă pentru diferențele finite de coordonate:
(un astfel de spațiu este deja exact și global un spațiu Minkowski, dacă, desigur, este echivalent topologic în topologia sa naturală).
De obicei, intervalul este indicat printr-o literă latină .
Teoria generală a relativității folosește conceptul generalizat de interval, care oferă o generalizare naturală a distanței dintre două puncte. Se introduce un tensor metric , din care sunt necesare doar simetria și non- degenerarea . Expresia pentru pătratul intervalului dintre două puncte infinit apropiate ia forma
unde sunt diferențiale de coordonate, iar însumarea este implicită peste indici repeți , adică această expresie înseamnă
Rețineți că metrica astfel definită nu va fi o formă pătratică definită pozitiv, așa cum este de obicei necesar în cazul varietăților Riemanniene adecvate. Dimpotrivă, se înțelege că întotdeauna sau aproape întotdeauna local coordonatele spațiu-timp (cadru de referință) pot fi alese în așa fel încât intervalul pentru o mică regiune de spațiu-timp în aceste coordonate să fie scris în același mod ca este scris pentru coordonatele lorentziane (cadre de referință) într-un spațiu plat Minkowski:
astfel încât printr-un punct al spațiu-timp există infinit de linii care au „lungime” nulă (când se definește lungimea în spațiu-timp prin „metrica sa fizică” – adică ca integrală a lui ) – formând un con de lumină ; există infinit de linii a căror lungime este reală - toate se află în regiunea interioară a conului de lumină; și există infinit de mulți dintre cei a căror lungime este pur imaginară - în apropierea unui punct dat, toți se află în regiunea exterioară a conului de lumină cu un vârf la el dacă sunt netede.
Direct din principiul relativității , omogenitatea și izotropia spațiului, precum și omogenitatea timpului, rezultă că la trecerea de la un IFR (cadru de referință inerțial) la un altul IFR, intervalul rămâne neschimbat. Această proprietate a acesteia face posibilă derivarea formală a transformărilor Lorentz și fundamentează justificarea introducerii spațiului Minkowski și a metricii non-riemanniane.
Invarianța vitezei luminii contează aici deoarece se știe că viteza luminii este întotdeauna aceeași în cel puțin un cadru de referință, iar din aceasta și din principiul relativității rezultă că trebuie să fie aceeași în orice IFR. . Totuși, în locul vitezei luminii, s-ar putea lua viteza maximă a mișcării corpurilor sau a propagării interacțiunilor, care de asemenea, din principiul relativității, ar trebui să fie aceeași în toate cadrele de referință inerțiale. Dacă viteza maximă de propagare a interacțiunilor este finită, aceasta, datorită principiului relativității, trebuie să coincidă cu viteza luminii, pe care o vom nota aici, ca de obicei, .
Pentru demonstrația dată mai jos, este esențial să considerăm toate modificările de coordonate spațiale și de timp ca fiind mici (infinit de mici), adică totul va fi formulat pentru intervalul dintre două evenimente care sunt infinit apropiate în spațiu și timp.
Probabil, având în vedere unele dintre capcanele notate în note, în dovezile din manualul lui Landau de mai jos, este mai ușor să obțineți mai întâi în mod explicit transformările Lorentz , din care pur și simplu urmează invarianța intervalului.
Să arătăm mai întâi că, dacă intervalul dintre două evenimente este egal cu zero într-un IFR, atunci este egal cu zero în orice IFR. Într-adevăr, să fie în IFR K evenimentul 1 să aibă loc la un moment dat , iar evenimentul 2 la un moment dat . După condiție, intervalul dintre ele este egal cu 0, adică
Aceasta înseamnă că dacă un semnal care se mișcă cu viteza luminii este emis de la punctul 1 la punctul 2, atunci acesta va fi în punctul 2 după timp . Dar, din cauza invarianței vitezei luminii, pentru evenimentele 1 și 2, considerate în cadrul de referință K' , putem scrie similar
Acest lucru demonstrează că egalitatea intervalului la zero nu depinde de ISO.
Pentru scopuri suplimentare, amintiți-vă că luăm în considerare intervalul dintre evenimente infinit apropiate , prin urmare, trebuie să fie o valoare infinitezimală. Datorită omogenității și izotropiei spațiului și a omogenității timpului la schimbarea IFR, noul interval poate fi doar o funcție a vechiului interval și a vitezei noului IFR în vechiul IFR, nu poate depinde de coordonatele unui punct sau timp. La modificarea IFR, nu poate fi adăugat la interval un termen care nu depinde de interval din vechiul IFR, deoarece dacă într-un IFR intervalul este 0, atunci în celălalt IFR este tot 0. Prin urmare, ambele intervale vor fi infinit de mic. Întrucât intervalele sunt infinit de mici, ele trebuie să fie proporționale [1] , ca infinitezimale de același ordin, dat fiind că unul dintre ele dispare dacă și numai dacă al doilea, așa cum am aflat deja la început. Aceasta înseamnă că la schimbarea ISO, intervalul este transformat conform regulii
Datorită izotropiei spațiului, k nu poate depinde de direcția vitezei, ci doar de modulul acesteia.
Aceasta înseamnă [2] că, având în vedere modificarea intervalului în timpul tranziției de la sistemul 1 la sistemul 2, și apoi înapoi, având în vedere că V este același pentru transformările directe și inverse din izotropia spațiului și principiul relativității ( al doilea sistem nu se distinge de primul, cum arată primul sistem de al doilea), avem
și prin urmare (pentru că )
pentru orice V .
Rămâne de eliminat cazul K = −1. Acest lucru se poate face luând în considerare trei ISO-uri și schimbând intervalul dintre ele. Făcând o tranziție secvențială de la primul CO la al treilea, prin al doilea, avem
și pentru o tranziție directă imediată de la prima la a treia:
Aceasta arată că , și, prin urmare, rămâne doar varianta
pentru orice V , adică intervalul nu se modifică la schimbarea ISO.
În concluzie, se poate observa că invarianța intervalelor infinitezimale implică invarianța celor finite, întrucât acestea din urmă sunt obținute prin simpla integrare a infinitezimale.
Observație . Deoarece intervalul în sine este invariant, este evident că semnul pătratului său se dovedește a fi invariant. Prin urmare, clasificarea intervalelor pe această bază, dată aici, nu depinde de sistemul de referință.