ローレンツ変換
whilst under a local Lorentz transformation we have: