nitsuj said:
What does positive definite mean? is that from the -+++ thing I see on here sometimes?
And what is -+++? is that spatial cordinates are + and time is -?
(-+++) is called a metric "signature"; it means the sign of timelike squared intervals is negative and the sign of spacelike squared intervals is positive. For a diagonal metric, this means the "t-t" metric coefficient is negative and the "x-x", "y-y", and "z-z" metric coefficients are positive. (A null squared interval is always zero.)
The fact that it is possible to have negative, zero, and positive squared intervals means that the metric is *not* positive definite; a positive definite metric only has positive squared intervals (except in the limiting case where we are evaluating the "interval" from a point to itself, which is zero).
I'm answering this question before responding to bobc2's post because it gives me a chance to clarify why I keep objecting to what he's saying.
bobc2 said:
I'm selecting blue X1 and red X4 as coordinates on the same chart.
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.
bobc2 said:
The blue and red coordinates were initially described to make it easy to visualize what is going on with observers. But the manifold is independent of the observers, and we can freely choose our orthonormal coordinates on the manifold to define our metric space.
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.
bobc2 said:
For this purpose it might have been simpler to just start with the black rest frame positive definite metric
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.
bobc2 said:
and then define the affine space using the appropriate Lorentz related basis.
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.