Fizikte, Özel görelilik kuramının geçerli olduğu dört boyutlu uzayzamana Minkovski uzayzamanı (ya da Minkovski uzayı) denir. Üç uzay boyutu ve bir zaman boyutu içerdiğinden buradaki "olay"lar dört boyutlu manifoldlar olarak ifade edilir. Adını Alman matematikçi Hermann Minkowski`den alır.
Dörtyöneylerde Minkovski iççarpımı
Bir dörtyöney, dört koordinat bileşeni olan yöneydir. Bu maddede dörtyöneyler, ``koyu ve büyük harfler``le gösterilecektir; ``koyu ve küçük harfler``le gösterilenler de üçyöneyler, yani bilinen üç boyutlu yöneyler olacaktır.
Bilindik iççarpıma oldukça benzeyen, hatta bilindik iççarpım cinsinden yazılabilen Minkovski iççarpımı dört boyutlu "hiperbolik" bir iççarpım sunmakta. Eğer dörtyöneyleri ve olarak seçersek, Minkovski iççarpımı, bileşenler cinsinden olarak tanımlanabilir. Bilindik iççarpım cinsinden de biçimini alır.
Buradan hareketle bir dörtyöneyin boyu da,
{|
|-
|
|
|
|-
|
|
|
|-
|
|
|
|}
olarak bulunur.
Minkovski iççarpımı, Einstein toplam uzlaşımı kullanılarak da tanımlanabilir. ifadesi, birim yöneylerin olan bileşenlerini ifade edecek şekilde her dörtyöney, ve olarak yazılabilir. Burada birim yöneylerin Minkovski iççarpımları Minkovski metriğinin birim öğesi eşit olarak tanımlanır: Böylece Minkovski iççarpımı olarak yazılmış olur. Bu gösterim genel görelilik kuramı çerçevesinde tensör gösterimlerinde kolaylık sağlamaktadır.
``Daha ilerisi için genel görelilik kuramının biçimsel gelişimi maddesine bakınız.``
Bilinen yöneylerde olanın tersine, dörtyöneylerin boyları ``negatif`` çıkabilir. olduğu zaman dörtyöneyin boyu sıfırdan küçük olacaktır. Bu durum hiperbolik sayılarda da böyle olduğundan bazen dörtyöneyler hiperbolik sayılarla da ifade edilir: Burada olarak tanımlanan (ve hiçbiri ``1``e eşit olmayan) hiperbolik birim sayılardır. Dörtyöneyin boyu yine aynı kalır. Bazen sadece, olarak da gösterildiği olur. Burada aynı şekilde olarak tanımlanır. Bu durumda dörtyöneyin boyu olarak elde edilir.
Dörtkonum
Bilinen şekliyle uzayda yöneyler, üç koordinatla gösterilirler: ``x, y, z``. Ancak özel görelilikte ayrıca zaman koordinatı da uzayın, daha doğrusu uzayzamanın bir parçasıdır. Bu yüzden burada yöneyler, dört koordinata sahip olurlar. Örneğin bilinen biçimiyle bir konum yöneyi, şeklindedir (Bu maddede küçük kalın harfler, üçyöneyleri betimleyecektir). Bu yöney, ``metre`` birimindedir. Bu yöneye bir de t koordinatını eklersek birim karmaşası olacağından onun yerine dördüncü koordinat ``ct`` olarak alınır. Burada ``c`` ışık hızı olduğundan bu koordinat yine ``metre`` biriminde olacaktır. O halde bir dörtyöney, olarak gösterilmiş olur.Bir dörtkonumun boyu olarak elde edilir. Burada dörtkonum bir Lorentz değişmezidir, yani Lorentz dönüşümleri altında eylemsiz tüm başvuru çerçevelerine göre değişmezdir. dörtkonumu bir ``S`` başvuru çerçevesindeki gözlemcinin uzayzamandaki konumunu ve dörtkonumu da ``S`` `ye göre sabit ``u`` hızında hareket eden bir başka çerçevesindeki gözlemcinin uzayzamandaki konumunu ifade etsin. O halde, olduğu Lorentz dönüşümleri kullanılarak kolaylıkla gösterilebilir. Bu durum ışık için de geçerlidir ki aslında ışık için dörtkonum doğrudan özel görelilik kuramının ikinci ilkesi olan ``ışık hızının her gözlemciye göre değişmezliği ilkesi``ni ifade eder. Eğer ışık her gözlemciye göre sabit hızla gidiyorsa, ``x=vt`` ifadesinden dolayı her iki yönü de kapsayacak şekilde olarak yazılır. Bu ifadenin karesi alındığında olur ve buradan çıkarsanır. Minkovski uzayzamanında bu türden bir yöneye ışınsal yöney denir. Bu yöneyler ``c`` ışık hızında giden parçacıkların hareket denklemidir. Herhangi bir gözlemci için ise, bu tür yöneylere uzamsal yöney denir. Bu yöneyler, ``c`` hızından düşük hızlarda hareket eden gözlemcileri betimler. Yine eğer bir gözlemci için, oluyorsa (olabildiği, ``Minkovski iççarpımı`` altbaşlığında irdelenmişti) bu durumda bu yöneylere zamansal yöney denir. Bu yöneyler de ``c`` hızından yüksek hızlardaki gözlemcileri betimler. Bu tür parçacıklara takyon dendiği de olur.
Dörthız
Bilindik biçimiyle bir hız yöneyi üç koordinata sahiptir: Bir hız yöneyi, konum yöneyinin zamana göre türevi şeklinde tanımlandığına göre, yani ``özel zaman`` olmak üzere; olduğundan, dörthız yöneyi de aynı şekilde dörtkonumun zaman göre türevi olarak tanımlanmalıdır: Burada olduğundan olduğu görülür.Ayrıca dörthızın boyunun
{|
|-
|
|
|
|-
|
|
|
|-
|
|
|
|}
olduğu görülebilir. Burada Lorentz çarpanı
olarak yeniden yazılabilir, o halde dörthız yöneyinin,
olduğu görülür.
Dörtmomentum
Momentum, kütle ile hızın çarpımıydı, Burada da aynı usavurum devam ediyor ancak küçük ayrıntılar oluşmakta: Burada durgun kütle ve ``m`` göreli kütledir.Burada dikkat edilmesi gereken şey, dördüncü koordinatın sadece kütle oluşudur (sonuçta ``c`` bir sabit). Bu yüzden dörtmomentumun korunumu aslında Newton fiziğinde "momentumun korunumu" ile "kütlenin korunumu" ilkelerinin ikisini birden kapsar. Böylece iki denklemi
{|
|-
|
| (momentumun korunumu)
|-
|
| (kütlenin korunumu)
|}
olarak yazmak yerine,
(4-momentumun korunumu)
gibi tek bir denklem yazılmış olur. Bunun yanı sıra olduğundan aslında bu enerjinin de korunumudur ve dörtmomentumun dördüncü bileşenini enerji yapar:
O halde dörtmomentumun boyu, yukarıdaki dörthızın boyunda elde edilen sonuç kullanılarak
{|
|-
|
|
|
|-
|
|
|
|}
şeklinde elde edilir. Ayrıca, doğrudan boyladığımızda
{|
|-
|
|
|
|-
|
|
|
|-
|
|
|
|}
olduğundan, bu iki ifade eşitlenince
ortaya özel göreliliğin en temel denklemlerinden biri olan momentum enerji bağıntısı, yani
bağıntısı çıkar.
Dörtivme
İvme, hızın zaman göre türevidir. Bilindik ivme şeklinde idi. Bu durumda dörtivme,{|
|-
|
|
|
|-
|
|
|
|-
|
|
|
|}
olarak elde edilir (burada , üçivmedir). Eğer gözlemciyle aynı andaşlık düzlemindeki ivmeyi inceleyecek olursak, ``u=0`` olacağından
bulunur. O halde, yalnız ``özel ivme`` olduğunda dörtivme olacaktır. Oysa olsa bile dörthız sıfırlanmıyordu.