洛伦兹变换
while the Lorentz transformation gives