PAllen said:
I think one aspect of
@pervect 's view is that from the point of invariants, and also, for GR, it is arguably better to say that simultaneity is a concept that should be (almost completely) banished, rather than considered relative. Of, if you insist: any two events such that neither are in the causal future or past of the other, may be treated as simultaneous.
In geometry and Riemannian geometry, one uses tangents to curves and normals to curves.
So, in the Minkowskian spacetime geometry of special-relativity and the Lorentz-signauture pseudoriemannian geometry of general-relativity, one also uses tangents to worldlines and spacetime-normals to those worldlines.
The projection-operator spacetime-orthogonal to t^a (namely, h_{ab}=g_{ab}-t_a t_b (+---) ) is used to get the "spatial-according-to-t^a- component" of a 4-vector or a 4-tensor....
So, decomposing a particle's 4-velocity u^a ,
one gets the "spatial component according to t^a" (associated with simultaneity according to t^a, which is used to compute the spatial-velocity of the particle according to t^a). Decomposing a particle's 4-momentum to get its spatial part gets the "relativistic momentum". Decomposing the electromagnetic field tensor to get its spatial parts gets you the "electric and magnetic fields according to t^a".
So, banishing simultaneity suggests we should banish a bunch of other things as well.
But of course, "components of vectors and tensors" are tied to "measurements of spacetime-objects" by various observers.
So, that's why these measured quantities are "relative quantities".
In my opinion, after the "principle of relativity"
(seen in both special-relativity and galilean-relativity, with an
analogous* concept in Euclidean geometry),
the first key difference is the "finite maximum-signal speed" (light cone structure),
and
the second key difference is the "relativity-of-simultaneity" (non-parallel tangents to the Minkowski-circle
[analogous to the non-parallel tangents to a circle]).
So, in my opinion, although not the most-important, the relativity-of-simultaneity can't be neglected.
And, since it has a direct Euclidean-analogue that likely poses no paradox,
I think it can more easily be treated using the "tangent to the circle" idea.
Or, if you want something "more physical" and more-spacetimey,
use the radar-method with light-signals and interpret it in terms of light-cones.
(
*analogous unifying concept: no preferred direction in a 2D-vector space:
in 2D-space, the rotation matrix has no real eigenvectors,
in 1+1-spacetime, a Galilean boost has no timelike-eigenvectors, and a Lorentz boost has no timelike eigenvectors )
The "a-ha" moment for me in relativity
came when my professor operationally-defined how coordinates get assigned by an inertial-observer.
using radar-measurements (based on that observer's clock readings and the elapsed-time between light-signal emissions and receptions-of-their-echoes)...
... but he expressed everything in terms of the 4-velocities of the observer and the particle-being-measured
and the metric... in abstract-index notation.
So many things clicked together above.
No need to "find components" in some basis since the projection-operators encoded all of that.
No need to construct a "latticework of clocks and rulers" (as in Taylor and Wheeler).
No need for calculations with differentials and games people play with them.
It was all linear algebra encoding the geometry, neatly done.
And if you interpret the terms trigonometrically, one recognizes the hyperbolic-trig functions (usually called v=\tanh\theta \gamma=\cosh\theta and \gamma v =\sinh\theta and k=\exp\theta).
Relativity is often associated with
"the geometry of spacetime".
Let's show the geometry and the algebraic-formulas
and not just "algebraic formulas relating invariants".
(Last gripe:
These days when I see relativistic collision problems done with invariants,
I admire the compactness of the calculation...
but I feel lost as to why it works or what it is telling me.
Yes, it's a system of equations, expressed in terms of neat chunks to substitute.
But when viewed as a polygon analyzed with hyperbolic-trigonometry
(as a geometry problem, analyzed like a free-body-diagram),
the meaning of the algebraic-obtained result becomes clearer to me.)