洛伦兹变换
which become the Lorentz transformation with