ローレンツ変換
The Lorentz transformation is written in tensor form as