ローレンツ変換
ただし正規直交基底の場合と同様、ローレンツ変換にも