ローレンツ変換
ポアンカレ変換は並進とローレンツ変換からなる。