ローレンツ変換
がローレンツ変換となる。但し、 は転置行列を表し、 は