- #36
bobc2
- 844
- 7
PeterDonis said:The way you have written your equations, it seems like X1, X4 (regardless of color) are numbers, i.e., lengths along the lines along which they're marked. That means they can't be coordinates on the same chart; blue X1, X4 are coordinates on the blue chart, and red X1, X4 are coordinates on the red chart. Are you saying that you do not intend your X1, X4 of various colors to be numbers, but that each of them are 4-tuples giving the coordinates of the points you have labeled (presumably in the black coordinate chart)?
If you are thinking of them as 4-tuples, then I see why you are saying they are "coordinates on the same chart"; but you should recognize that you are squaring these 4-tuples, so they function in your equations exactly the same as if they are numbers taken from the chart of the appropriate color, because the "square" of a 4-tuple can only be its squared length, which is equivalent to a single number giving the corresponding coordinate from the chart of the given color--i.e., the squared length of the 4-tuple "blue X1" is the *coordinate* "blue X1", i.e., the X1-component of the 4-tuple from the blue coordinate chart that describes the indicated point. So both ways of talking about your X1, X4 of various colors are equivalent in this sense.
Also, none of this is relevant to the objections I've been making, which center around the fact that the metric of spacetime is not positive definite. See further comments below.
You can freely choose the coordinates, yes. But once you choose the coordinates, you can't freely choose the metric. The metric is determined by the actual, physical intervals between points, so the metric coefficients in your chosen coordinate system are fully determined once you have chosen your coordinates.
This is where you keep missing my point. The metric of the black "rest frame" is *NOT* positive definite. Squared intervals on the underlying spacetime can be positive, negative, or zero, and the metric has to capture that. The underlying spacetime, as a *metric space*, is *not* Euclidean.
An affine space doesn't have a metric; it doesn't "know" anything about lengths. You can define basis vectors, but since there is no metric, there is no way to assign squared lengths to the basis vectors, so you can't even express the concept of a "spatial" vector as opposed to some other kind, because you can't express the concept of a "squared length", let alone its sign.
As an *affine space*, yes, you can call R4 "Euclidean", as long as you remember that that *only* refers to the *affine* properties of Euclidean space, *not* its metrical properties.
Good job, Peter. Yes, you caught me red handed trying to pass the Affine space off as a metric. I'm too use to looking at a distance and calling it a metric (or not considering the mixed use of the term, "distance"). The usual treatment to get the metric is to use Minkowski's ict for X4, then get the ++++ signature. Einstein referred to that as a Euclidean space. But, I've never liked the ict treatment. I guess it works for mathematicians (and obviously for many physicists).
Anyway, you are a great asset for this physics forum. Thanks.