ポアンカレ群
ミンコフスキー空間の座標 x に対する並進とローレンツ変換は以下のようになる。