The follow wing laws of physics are invariant under Lorentz transformation:
1. The invariance of the speed of light as applied to linear propagation in a vacuum
️
What is speed? It is the magnitude of velocity. So this is saying if $$| \vec{u} | $$ is the speed of a ray of light in one frame, that $$| \vec{u}' |$$ is the speed of the same ray of light in another frame and the same result is obtained. How do you show that from the Lorentz transformation?
Obviously we need two space-time events to measure a speed, a start, A, and a stop, B. They must be related by
$$ \begin{pmatrix} t_B \\ \vec{x}_B \end{pmatrix} - \begin{pmatrix} t_A \\ \vec{x}_A \end{pmatrix} = \begin{pmatrix} (t_B - t_A) \\ (t_B - t_A) \vec{u} \end{pmatrix} $$
This we operate on by the Lorentz transformation, $$\Lambda_{\vec{v}}$$, to describe events A and B in a new frame where objects which the first reference frame considered at rest are now considered moving with velocity $$\vec{v}$$.
$$\Lambda_{\vec{v}} \begin{pmatrix} t_B \\ \vec{x}_B \end{pmatrix} - \Lambda_{\vec{v}} \begin{pmatrix} t_A \\ \vec{x}_A \end{pmatrix} = \Lambda_{\vec{v}} \left( \begin{pmatrix} t_B \\ \vec{x}_B \end{pmatrix} - \begin{pmatrix} t_A \\ \vec{x}_A \end{pmatrix} \right) = \Lambda_{\vec{v}} \begin{pmatrix} (t_B - t_A) \\ (t_B - t_A) \vec{u} \end{pmatrix} = \begin{pmatrix} (t'_B - t'_A) \\ (t'_B - t'_A) \vec{u}' \end{pmatrix} $$
So we have
$$ (t'_B - t'_A) = \frac{c}{\sqrt{c^2 - \vec{v}^2}} \left( (t_B - t_A) + (t_B - t_A) c^{-2} \vec{v} \cdot \vec{u} \right)
\\ (t'_B - t'_A) \vec{u}' = (t_B - t_A) \vec{u} + \frac{c - \sqrt{c^2 - \vec{v}^2}}{\vec{v}^2 \sqrt{c^2 - \vec{v}^2}} \left( (t_B - t_A) \vec{v} \cdot \vec{u} \right) \vec{v} + \frac{c}{\sqrt{c^2 - \vec{v}^2}} (t_B - t_A) \vec{v}$$
or
$$\vec{u}' = \frac{\sqrt{c^2 - \vec{v}^2} c^2 \vec{v}^2 \vec{u} + \left( \left( c - \sqrt{c^2 - \vec{v}^2} \right) \left( \vec{v} \cdot \vec{u} \right) + c \vec{v}^2 \right) c^2 \vec{v} }{ \left( c \vec{v}^2 \right) \left( c^2 + \vec{v} \cdot \vec{u} \right) }$$
If $$ \vec{v} = v \hat{x}, \vec{u} = u \hat{x}$$ this reduces to
$$\vec{u}' = \frac{\sqrt{c^2 - v^2} c^2 v^2 u + c^3 v^2 u - \sqrt{c^2 - v^2} c^2 v^2 u + c^3 v^3 }{ \left( c v^2 \right) \left( c^2 + v u \right) } \hat{x}
\\= \frac{ u + v }{ 1 + c^{-2} v u } \hat{x}$$
the celebrated velocity composition law in one dimension of space.
But for the full formula, we compute $$\vec{u}'^2$$
$$ \vec{u}'^2 = \frac{ c^4 \vec{v}^2 + c^4 \vec{u}^2 - c^2 \vec{v}^2 \vec{u}^2 + 2 c^4 ( \vec{v} \cdot \vec{u} ) + c^2 ( \vec{v} \cdot \vec{u} )^2 }{ c^4 + 2 c^2 ( \vec{v} \cdot \vec{u} ) + ( \vec{v} \cdot \vec{u} )^2 } $$
Now, finally, substitute in the assumption that $$\vec{u}^2 = c^2$$ and we get:
$$ \vec{u}'^2 = \frac{ c^6 + 2 c^4 ( \vec{v} \cdot \vec{u} ) + c^2 ( \vec{v} \cdot \vec{u} )^2 }{ c^4 + 2 c^2 ( \vec{v} \cdot \vec{u} ) + ( \vec{v} \cdot \vec{u} )^2 } = c^2 $$
That's how you prove the Lorentz transformation preserves the speed of light -- you do math to support a math claim.
1.5 The invariance of the rest frame for matter tracing linear trajectories at velocities <c, which is the frame of reference which makes item 1. above possible. Even the invariant speed of light is invariant RELATIVE or measured with respect to something else. The rest frame, not an interval, is that something else.
There is not "a" rest frame for any given piece of matter. Inertial reference frames are nothing more or less than imaginary coordinate systems for labelling events in space-time in a systematic manner that happens to be compatible with Newton's law of inertia in that bodies not subject to external forces are described as having straight trajectories.
There is no invariance absent a transformation, so saying the Lorentz transformation preserves the invariance of the Lorentz transformation indicates unclear thinking at best.
2. Rest mass of matter (measured in the inertial rest frame in any state of motion)
Your addition in parenthesis makes people doubt you know your subject matter. Since for a free (aka inertial) ponderable particle,
$$E = \gamma mc^2, \vec{p} = \gamma m \vec{v}, \vec{v} = \frac{\Delta \vec{x}}{\Delta t}, \gamma = \left( 1 - \frac{\vec{v}^2}{c^2} \right)^{-\frac{1}{2}} $$
it follows that
$$\Delta t \, \times \, (E/c^2, \vec{p} / c) = ( \gamma m \Delta t , \gamma m c^{-1} \vec{v} \Delta t ) = m \gamma ( \Delta t, c^{-1} \Delta \vec{x} ) $$ .
The invariant measure of this 4-vector can be computed in this present system of coordinates:
$$m^2 \gamma^2 \left( ( \Delta t )^2 - ( c^{-1} \Delta \vec{x} )^2 \right) = m^2 \left( 1 - \frac{\vec{v}^2}{c^2} \right)^{-1} \left( 1 - \frac{\vec{v}^2}{c^2} \right) ( \Delta t )^2 = m^2 ( \Delta t )^2$$ .
And so since this is invariant under the Lorentz transform, the quantity $$m^2 ( \Delta t )^2$$ is more special than either $$\Delta t E/c^2$$ or $$\Delta t \vec{p} / c$$ which can change depending on one's choice of reference frame. But since $$\Delta t$$ was just any made up duration, that means $$m^2$$ is more basic than $$E$$ or $$\vec{p}$$. So even though the Lorentz transform says nothing overtly about mass, energy or momentum, it follows that $$(E/c^2, \vec{p} / c)$$ transforms like the four-vector $$(c t, \vec{x})$$ under the Lorentz transform.
But this is great because instead of the clumsy expressions: $$E = \frac{mc^2}{\sqrt{1 - \frac{\vec{v}^2}{c^2}}}, \vec{p} = \frac{m \vec{v}}{\sqrt{1 - \frac{\vec{v}^2}{c^2}}}$$ we are free to write: $$(m c^2) = E^2 - (c \vec{p})^2, E \vec{v} = c^2 \vec{p}$$ where we know that regardless which standard of rest $$E, \vec{p}, \vec{v}$$ came from, $$m$$ has the same value, and these equations have the additional benefit of working for massless phenomena which convey energy and momentum as well.
3. Conservation of energy for relativistic projectiles with linear trajectories. This includes a combination of both rest mass and relativistic linear momentum, which includes any increase in mass / energy due to added momentum in a given direction.
This is at best clumsily expressed.
It is better to say the relativistic laws conserving energy and momentum are valid in any inertial frame because one does not want to give the impression that the same energy or momentum is conserved in different frames.