ローレンツ変換
まず、ミンコフスキー時空におけるローレンツ変換 は