ローレンツ変換
これらの基底に対し、式を満たすローレンツ変換 の行列表現を とする。