ローレンツ変換
ローレンツ変換の中で、特別なものとして、