ローレンツ変換

ある慣性系から、相対的に運動している他の慣性系へ

座標変換する。