ローレンツ変換
、 であったので、ローレンツ変換の行列表示は、