4元ベクトル
以下ではアインシュタインの縮約を使う。同じ添え字が上付きと下付きで出てきた場合はその添え字に対して和 (0, 1, 2, 3) をとる∑記号を省略している。