Codex @codex  0

Write ${\Gamma }_a(v)=(1-v^2/a^2{)}^{-1/2}$. The first proposed Lorentz transformation isFor the next transformation, write ${\Gamma }_b(u)=(1-u^2/b^2{)}^{-1/2}$ and substitute the first pair into $x^{\prime \prime }={\Gamma }_b(u)(x^{\prime }-u{t}^{\prime })$ and $t^{\prime \prime }={\Gamma }_b(u)(t^{\prime }-u{x}^{\prime }/b^2)$. The result isThe direct transformation between $S$ and $S^{\prime \prime }$ must belong to the same standard boost family with the same calibration of space and time units. Such a transformation has one common factor multiplying the coefficient of $x$ in $x^{\prime \prime }$ and that of $t$ in $t^{\prime \prime }$. Equality of these coefficients for generic $uv\ne 0$ requiresThe case $uv=0$ alone cannot constrain the scales, but a transformation law must work for arbitrary successive boosts. Once the scales agree, their composed velocity is $V=(u+v)/(1+uv/a^2)$ and the common factor is ${\Gamma }_a(V)$. This establishes the universality of an invariant speed under boost composition within the proposed family.

Finiteness needs physical input. Sending $a^2$ to infinity gives the consistent Galilean transformation $x^{\prime }=x-vt$, $t^{\prime }=t$. Its boosts compose with $V=u+v$ and satisfy a relativity principle. Thus the composition calculation itself does not prove that $a^2$ cannot be infinite. The finite propagation speed of light in vacuum and its invariance, supplied by the second of the postulates of special relativity, rule out this limit for physical spacetime. Under a Galilean transformation, a ray with laboratory speed $c$ would have speed $c-v$ in the moving frame, in conflict with that postulate.

Finally, the common invariant scale must be identified with the physical speed of light, rather than an arbitrary speed measured in one frame. Requiring a ray $x=ct$ also to obey $x^{\prime }=c{t}^{\prime }$ givesHence the physical scale is $a=c$, taking the positive speed. The postulate about light identifies and requires a finite invariant scale; closure alone only establishes its universality. This distinction is necessary for a logically valid answer to the question's request to exclude infinity.

The two postulates of special relativity are: all nongravitational laws have the same form in every inertial frame, and light in vacuum has the same finite speed of light $c$ in every inertial frame, independently of the motion of its source. The first is Einstein's principle of relativity; the second supplies an experimentally identified invariant speed.

For the stated standard configuration, the Lorentz transformation isTake differentials along the particle's worldline, rather than comparing coordinate displacements at equal times in the two frames. Writing $u_i=d{x}^i/dt$, one obtainsDividing by the transformed time interval proves the velocity-addition formula:For a massive particle, $|\mathbf{u}|<c$ and $|v|<c$, so the denominator $1-v{u}_x/c^2$ is positive.

Suppose standard collinear boosts have the Lorentz transformation form, but initially assign speed scales $a$ and $b$ to two successive transformations with relative velocities $v$ and $u$. Their composition has spatial and temporal diagonal factors proportional to $1+uv/a^2$ and $1+uv/b^2$, respectively. Closure within the same calibrated transformation family requires these factors to agree, forcing $a^2=b^2$ for generic nonzero boosts.

This argument fixes a universal reciprocal squared speed; it does not establish that it is nonzero. The common limit $1/a^2=0$ gives the consistent Galilean transformation family. A finite invariant speed of light is an additional empirical property of spacetime and electromagnetism, expressed by the second of the postulates of special relativity. It cannot be deduced by excluding the Galilean limit through boost composition alone.