Werg22 said:
Einstein's special relativity follows from these two laws
This claim (which is also completely standard; it can be found in
every text on SR, and probably hundreds of posts at Physics Forums) is my biggest pet peeve in physics. Those statements are ill-defined. I could talk about what's wrong with them for a long time, but I'll just mention the biggest problem here. They use the concept "inertial frame" without a definition, and any definition that's appropriate for SR must in fact include some version of these two statements.
If we
really want to use Einstein's postulates in some sort of derivation, we have to do something like this:
* An ill-defined statement can be interpreted as representing a
set of well-defined statements.
* We apply this idea to the principle of relativity, and interpret it as a set of well-defined statements: One well-defined statement for each definition of "inertial frame", "law of physics" and what it means for two laws of physics to "be the same" in two coordinate systems.
* Now we make a bunch of other assumptions: a) Physical events are represented by points in R
4. b) A function representing a change from the coordinates used by one inertial observer to the coordinates used by another is infinitely differentiable and takes straight lines to straight lines. c) These functions form a group.
* Then we find out which groups of functions are consistent with these assumptions. There are only two: The Galilei group and the Poincaré group.
* Now we interpret the speed of light "postulate" as meaning that the light cone at the origin (which is defined as the set of points satisfying x
Tη x=η) is invariant under those coordinate change functions that take the origin to itself. This forces us to choose the Poincaré group.
* Now it
almost makes sense to say that we have derived the Lorentz transformation from Einstein's postulates, but what we
really did was just to find out which ones of the well-defined statements represented by the first postulate were consistent with the
other assumptions we made.
A less complicated way to think about Einstein's postulates is as a set of loosely stated guidelines that are meant to help us
guess a theory that might be a good description of space and time.