Lorentz transformation
スピノル変換により、これらは次のローレンツ変換に対応づけられる。