以下を定義する。
また、Cは光速を表す。
ミンコフスキー空間について
ミンコフスキー空間とは3次元空間に時間軸を加えた、4次元の空間である。
ベクトルAとベクトルBの内積を次のように定義する。
これによりノルム(長さのようなもの)は
と書ける。
固有時の定義
ここで固有時はτを用いて表す。
固有時とは物体と同じ速度の座標系で計測した時間のことで、数式で表すとtを観測者の時間として
と表せる。
τの特徴としてはtはLorentz変換に対して不変ではないのに対して、τは不変であることがあげられる。