ローレンツ変換
はローレンツ変換の下、不変となる。