stevendaryl said:
[Length contraction is] BOTH a disagreement between frames AND a change over time.
Right, and of course Lorentz's theorem of corresponding states is, in a sense, the whole basis for the physical significance of the systems of coordinates related by Lorentz transformations. The equilibrium configuration of a solid object, originally at rest in one standard system of inertial coordinates, when set into motion and allowed to reach equilibrium in another system of standard inertial coordinates, is found to be spatially contracted
in terms of the original coordinates. Of course, in terms of the second system of coordinates the object was spatially contracted in its original state, and after the acceleration (and stablization) it exhibits its rest length in terms of the second system.
Needless to say, the fact that the the spatial contraction of a solid equilibrium configuration after accelerating from one frame to another agrees exactly with the Lorentz transformation between those frames is not merely a coincidence. It is the basis for the physical significance of the Lorentz transformations. If the equilibrium configurations of solid objects didn't physically contract when set in motion, then the Lorentz transformations would not have any physical significance. Note that, if length contraction didn't imply that the spatial extents of solid objects change as their states of motion change, then it obviously couldn't account for the Michelson-Morley experiment. Relative to a single inertial coordinate system, the arms of the interferometer must change their lengths (in different directions) as the apparatus is re-oriented.
stevendaryl said:
Now, I certainly agree with you that there is no easy way to prove what the final length would be without using multiple frames...
Sure there is (well, depending on what you consider "easy"). Lorentz did it in 1904. That is his Theorem of Corresponding States. Given the correct laws of mechanics and electrodynamics expressed in terms of any single system of inertial coordinates, the spatial contraction of any given equilibrium configuration when set in motion can be determined. This leads unavoidably to the conclusion that the equilibrium configuration contracts spatially in the direction of motion by the factor sqrt(1-v^2). Of course, this all assumes no plastic deformation of the object, representing a permanent change in the equilibrium configuration. As Einstein said, "This conclusion is based on the physical assumption that the length of a measuring rod does not undergo any permanent changes if it is set in motion and then brought to rest again".
It's important to be clear about this, because confusion on this point has served as the launching pad for many neo-Lorentzian crackpots. For example, some individuals have made careers out of writing articles for philosophical magazines advocating the Lorentzian interpretation of special relativity. Their basic mis-understanding is the same as the one expressed by some participants in this thread, namely, they mistakenly think if the laws of physics, expressed in terms of one system of coordinates S1, predict that physical phenomena will behave in a way (contracting, slowing, etc) that ensures they will satisfy the same formal laws in terms of a relatively moving system of coordinates S2, then (so they think) this proves that the S1 coordinates are the "true" coordinates and S2 are just mathematical artifacts. The obvious flaw in this reasoning is that it applies equally well to S2 as the true coordinates and S1 as mathematical artifacts. Lorentz himself credited Einstein with pointing out this "remarkable reciprocity", which reveals Lorentz invariance as a fundamental symmetry of nature, and makes it meaningless to argue for the primacy of S1 or S2 - at least in terms of the local physics. Neo-Lorentzians habitually conflate the possibility of a Lorentzian interpretation with its necessity or physical meaningfulness.
The same applies to Euclidean geometry (as a physical description, not an abstract axiomatic system). It would make no sense to claim that the Pythagorean theorem applies only to the coordinates of a single un-moved rod in terms of two relatively tilted coordinate systems, and to deny that it applies to re-oriented rods in a single coordinate system. We can obviously define any families of coordinate systems we choose, and there can be all kinds of funky differences between the descriptions of solid objects depending on which specific coordinate system we select, but that has no physical significance. The physically significant coordinate systems are the ones that correspond to the operationally defined metrical behavior of equilibrium configurations of solid bodies.