- #26

- 932

- 0

Also, is this the source of MeJennifer's complaints about lack of positive-definiteness in standard GR?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter pmb_phy
- Start date

- #26

- 932

- 0

Also, is this the source of MeJennifer's complaints about lack of positive-definiteness in standard GR?

- #27

- 1,997

- 5

So you are saying that the distance function in GR is Euclidean while the metric is not?

Also, is this the source of MeJennifer's complaints about lack of positive-definiteness in standard GR?

Could you please explain how such a model makes any mathematical sense?

- #28

- 932

- 0

When the distance function, say

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2},[/tex]

is different from the metric, which is

[tex]g(X_1, X_2) = t_1 t_2 - x_1 x_2.[/tex]

The metric tensor was never meant to give distances in the same sense the Euclidean metric does.

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2},[/tex]

is different from the metric, which is

[tex]g(X_1, X_2) = t_1 t_2 - x_1 x_2.[/tex]

The metric tensor was never meant to give distances in the same sense the Euclidean metric does.

Last edited:

- #29

- 2,946

- 0

You're using the term "metric" as if it meant something different than the Euclidean metric. The Euclidean metric is just one of many metrics.When the distance function, say

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2},[/tex]

is different from the metric, which is

[tex]g(X_1, X_2) = t_1 t_2 - x_1 x_2.[/tex]

The metric tensor was never meant to give distances in the same sense the Euclidean metric does.

Pete

- #30

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,783

- 18

This is the convention masudr adopted in his last message. His distance function d is the euclidian distance function, while his metric g is the Minkowski metric (http://en.wikipedia.org/wiki/Minkowski_metric#Standard_basis)

- #31

- 1,997

- 5

What do you mean "never meant".

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2},[/tex]

is different from the metric, which is

[tex]g(X_1, X_2) = t_1 t_2 - x_1 x_2.[/tex]

The metric tensor was never meant to give distances in the same sense the Euclidean metric does.

Is this mathematics or religion we are discussing?

So

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2 + (y_1-y_2)^2 + (z_1-z_2)^2}[/tex]

Last edited:

- #32

- 2,946

- 0

Isn't it amazing how threads obtain a life of their own even when the OP has his answer? You go girl!What do you mean "never meant".

Is this mathematics or religion we are discussing?

Somasudr, do you claim that thedistancebetween two points in Minkowski space-time is:

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2 + (y_1-y_2)^2 + (z_1-z_2)^2}[/tex]

Pete

- #33

- 932

- 0

What do you mean "never meant".

Is this mathematics or religion we are discussing?

Hehe, OK I take that statement back.

Somasudr, do you claim that thedistancebetween two points in Minkowski space-time is:

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2 + (y_1-y_2)^2 + (z_1-z_2)^2}[/tex]

What I mean is that locally all manifolds look like [itex]\mathbb{R}^n,[/itex] and as far as I know we are all happy with that. If we want to talk about how far away points are locally, it makes most sense to use the Euclidean distance function. Don't you think? The way I see it, is that in terms of

The usual metric tensor used in GR is a completely different beast: it is physically motivated. I understand that a real physical spacetime is best modelled by a manifold,

In answer to your question, note that I'm quite happy to define my distance function howsoever I wish, as long as it satisfies a few simple criteria (again, I'm sure you know them; for those that don't, I think the Wikipedia page on distance functions lists them). So yes, if I so felt that day, I could quite easily choose that as my distance function.

Let me ask you a similar question, though: Do you think that two events are separated by the distance function that is induced by our friend, the (0,2) GR metric tensor?

Last edited:

- #34

- 2,946

- 0

Makes sense to me. I do admit that I'm surprised by his answer. But then again I'd be suprised by any answer on this subject so..... .Anybody disagree with the above assertion by Ohanian? If so please post your thoughts.Your question about different ways of defining distances in spacetime, for metric vs. topological purposes: The reason why two different distances need to be used in spacetime can best be understood by the example of the light cone. Consider the light cone erected at some point (in flat spacetime or in curved spacetime, it makes no difference). According the spacetime metric, all points on the cone at are zero spacetime distance, and that is fine in regard to the geometry. But it makes no sense in regard to the topology--the light cone is a CONE, and some of its points are widely separated, not nearby or on top of one another. So to define the topology of the light cone (that is, to decide which points are near which, and which points are distinct), we can't use the spacetime metric as a criterion. We need some other criterion that, in a qualitative way, tell us which points are near which. The way this is handled, is by introducing coordinates in spacetime, by means of a nonsingular coordinate system, or overlapping nonsingular coordinate patches. Topologically, points are then considered nearby if their coordinates are nearly equal. (In Euclidean space, we do not need to worry about the distinction between metric separation distances and topological separation--in Euclidean space, we can use the metric distance to determine the topology. In spacetime, things are more tricky.)

Best wishes

Pete

- #35

- 932

- 0

I still have one slight unresolved issue. To me, the most obvious distance function in terms of exploring the topology is the Euclidean one

[tex]d(X_1, X_2) = \sqrt{(t_1-t_2)^2 + (x_1-x_2)^2 + (y_1-y_2)^2 + (z_1-z_2)^2}[/tex]

However, as I have noted above, any function which satisfies the axioms of a distance function is valid. Furthermore, the value this function gives is, of course, highly dependent upon the choice of coordinates. So the distance function is not unique in at least 2 different ways.

My issue is, basically,

- #36

Haelfix

Science Advisor

- 1,955

- 222

The source of the confusion it seems to me is the observation that locally spacetime is not R^4 in the most naive way. The isometry group of a local neighberhood in spacetime is not SO(4), but rather SO(3,1)! So we require an additional physical map from R^4 --> R^3 * R^1, and this induces a new distance function.

Share: