Lorentz transformation
whilst under a local Lorentz transformation we have: