「を実数を用いてと変換する。任意の実数に対してが成り立つとき、をを用いて表せ。」 を時間、を空間座標としたとき、のことを「世界間隔」と呼ぶ。特殊相対性理論では、世界間隔がローレンツ変換の下で不変になるように構成される。ローレンツ変換では、時…