ローレンツ変換
which become the Lorentz transformation with