Un 4-vector ( patru-vector , patru -vector ) este un vector în spațiul Minkowski cu patru dimensiuni și, într-un caz mai general, un vector într-un spațiu-timp cu patru dimensiuni curbe. Componentele oricărui 4-vector care descrie un sistem fizic, la mutarea sau rotirea sistemului de referință , precum și la trecerea de la un sistem de referință la altul, sunt transformate conform aceleiași legi specificate de transformarea sistemului de referință. 4-vectorul are o componentă temporală și trei spațiale. Componentele spațiale alcătuiesc un vector spațial tridimensional obișnuit , ale cărui componente pot fi exprimate în coordonate carteziene, cilindrice, sferice și orice alte coordonate spațiale.
Aici și mai jos se folosește semnătura .
unde - o matrice din grupul Lorentz - o matrice de tranziție la noi coordonate (la un nou cadru de referință).
În mod tradițional, un vector de 4 este notat ca un set de componente ale sale. Astfel, un vector de 4 este notat ca (nu confundați această notație cu exponențiația!) sau
Coordonatele, 3 spațiale și temporale, sunt de obicei notate ca
Ce înseamnă utilizarea indexului superior ( ) sau inferior ( ) în acest caz este specificat în mod specific, dar în mod implicit, dacă sunt utilizate ambele (sau cel puțin prima) opțiuni, adică dacă sunt folosite superscripte, coordonatele contravariante 4- vector, iar cele inferioare sunt coordonatele covariante . Astfel, în acest caz, același vector poate avea două reprezentări diferite - contravariantă și covariantă .
În cazul spațiului plat și cadrelor de referință inerțiale , ca în electrodinamică , relativitate specială și, în general, în cazurile în care gravitația poate fi neglijată, reprezentările covariante și contravariante diferă doar în semnul timpului (sau invers, în funcție de semnătura acceptată convenţional - spaţiale) componente. În acest caz, produsul scalar poate fi reprezentat ca o simplă sumă a produselor componentelor corespunzătoare numai pentru produsul unui vector covariant cu unul contravariant, de exemplu:
si in special
(Aici și mai jos, se folosește regula de însumare a indicelui Einstein care se repetă , iar pătratul este notat ca (…)²).
Dacă doresc să scrie un produs scalar folosind doar componente covariante sau numai contravariante, de obicei folosesc notația cu metrica Lorentz (sau ):
sau
(ambele metode sunt echivalente una cu cealaltă și cu metoda descrisă mai sus cu ambele tipuri de coordonate).
Cu toate acestea, într-un caz mai general al sistemelor de referință non-lorentziane, inclusiv atunci când gravitația este luată în considerare în conformitate cu relativitatea generală , în loc de o metrică lorentziană foarte simplă și constantă , trebuie să se ia în considerare o metrică arbitrară , inclusiv una care depinde de coordonatele spațiale și timpul (În toate formulele scrise în acest paragraf de mai sus, în cazul general este necesar să se înlocuiască cu , și cu ). În același timp, regula simplă că reprezentările covariante și contravariante ale unui 4-vector diferă doar prin semnul componentelor spațiale încetează să se aplice, acestea încep să fie exprimate una prin alta folosind și o metrică generală (vezi Tensorul metric# Izomorfismul dintre spațiul tangent și cotangent ):
(După cum vedem, aceste formule au fost valabile și pentru dar în acel caz au fost reduse la o simplă regulă pentru schimbarea semnului unor componente, dar aici, în cazul general, nu mai sunt reduse).
De asemenea, rețineți că într-un spațiu-timp cu curbură (care este deja considerat corect doar o varietate , și nu un spațiu vectorial), setul de coordonate nu mai este un vector. Totuși, deplasările infinitezimale ale coordonatelor reprezintă un vector (vectorul spațiului tangent la varietatea în punctul ).
Și, în sfârșit, în cazul metricii lorentziane luate în considerare mai sus, se folosesc adesea doar indicele , deoarece componentele covariantă și contravariantă diferă doar prin semn și ne putem limita la a menționa doar una dintre ele (de obicei contravariante, deși folosind un indice). ). Această metodă pentru acest caz este relativ convenabilă, deoarece absența superscriptelor este oarecum mai familiară nespecialiștilor și, în plus, nu poate crea confuzie cu notația de exponențiere. Cu toate acestea, are și capcane, deoarece, de exemplu, vectorul cu 4 gradiente, scris în formă contravariantă, are în mod destul de neașteptat un semn minus pentru componentele spațiale: deoarece diferenţialul total trebuie să fie invariant, iar în formula produsului scalar, dacă ambii vectori sunt reprezentați în aceeași formă contravariantă, intră, după cum știm, o schimbare de semn datorată
Interesant este că metoda care folosește doar subindice și o componentă de timp imaginară nu are aceste dezavantaje (în principal în zona de aplicabilitate limitată la cazul spațiului plat, dar nu numai). Cert este că atunci când se utilizează această metodă, semnele necesare sunt obținute automat (atenție: luând în considerare semnătura ; totuși, alegerea semnăturii este încă o chestiune de acord). Adică, nu trebuie să vă gândiți deloc la semne, nu trebuie să utilizați în mod explicit matricea tensorului metric, chiar și asta, metricul este reprezentat formal printr-o singură matrice („formal euclidiană”, care , desigur, nu își schimbă caracterul pseudo-euclidian real, ci simplifică scrierea) și reprezentarea tuturor celor 4 vectori simplu și uniform:
și așa mai departe, unde i este unitatea imaginară .
Un punct din spațiul Minkowski se numește eveniment și este dat de patru coordonate:
unde este viteza luminii , este momentul evenimentului și sunt coordonatele sale spațiale. Un astfel de vector cu 4 se numește vector cu 4 raze.
Mulți alți 4 vectori pot fi construiți din ea și mai departe unul de celălalt prin adăugarea, scăderea, înmulțirea sau împărțirea cu un scalar, precum și diferențierea față de un scalar etc. Astfel, dintr-un vector cu 4 raze, prin diferențierea în raport cu timpul propriu , se obține o viteză de 4, etc.
Produșii scalari ai 4-vectori sunt mărimi Lorentz-invariante (invarianți ai grupului Lorentz), scalari ai spațiului Minkowski.
4-vectorii au fost considerați mai întâi de Poincare ( 1905 ) și apoi de Minkowski . Ei au considerat componenta de timp a vectorului 4 ca fiind pur imaginară, ceea ce a generat automat regula necesară pentru calcularea produsului scalar în însumarea obișnuită a produselor componentelor. Termenul „4-vector” a fost propus de Arnold Sommerfeld în 1910 .