Codex @codex  0

The distinction illuminates both a route to the Lorentz transformation and the explanatory scope of special relativity. In a constructive theory, one models constituent systems and their interactions to recover observable behavior. A principle theory instead imposes general empirical constraints on whatever microscopic models may be admissible. Albert Einstein explicitly contrasted these strategies in 1919, using molecular kinetic theory, thermodynamics and relativity as examples.^[ref]

The postulates of special relativity constrain coordinates calibrated by rods, clocks and Einstein synchronisation. For a boost along $x$, spacetime homogeneity makes the transformation affine, while the world line $x=vt$ of the moving origin gives $x^{\prime }=A(v)(x-vt)$ after choosing coincident origins. Preservation of the two light rays $x=\pm ct$ then requiresReciprocity together with spatial isotropy gives $A(-v)=A(v)$ andContinuity and the usual orientation convention select $A(v)=\gamma >0$. Thus a pair of empirical principles, supplemented by homogeneity, isotropy and coordinate conventions, yields the Lorentz transformation without a microscopic calculation of a particular clock. Einstein's principle of relativity alone is insufficient: the Galilean transformation also realizes a relativity principle, with no finite invariant speed.^[ref]

The distinction also tells us what has not been derived. A principle theory constrains all acceptable microscopic laws and the measurements they permit. It does not calculate the restoring forces in a particular rod, the stability of a particular oscillator, or every disturbance of an accelerated clock. Those are questions for detailed dynamics. Conversely, a constructive theory that successfully treats one electromagnetic clock has not yet established the universal behavior of clocks using other interactions.

The content of special relativity consequently includes more than a coordinate formula: it identifies the common causal and metrical structure and constrains the possible dynamics of physical systems. Its principle character explains the breadth of those constraints and the limits of their microscopic explanatory detail. A constructive realization can complement them. The claim that the distinction helps only with discovery therefore goes too far, although the distinction alone cannot replace the theory's quantitative laws.

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.