Why is (ct)^2 negative in 4-dimensional space-time?

  • Thread starter Thread starter nhmllr
  • Start date Start date
nhmllr
Messages
183
Reaction score
1
I understand that the distance between 2 points in 2 dimensions
sqrt(x^2 + y^2)
and in 3 dimensions it's
sqrt(x^2 + y^2 + z^2)
but in 4 dimensions, with the 4th being the change in time, why is it
sqrt(x^2 + y^2 + z^2 - (ct)^2) ?

Can somebody please explain?
 
Physics news on Phys.org
Ah, yes! This is perhaps the most important negative sign in all relativity! If it were just normal (ct)^2, then it would be identical to 4-dimensional Euclidean space. I guess it boils down to the fact that time is NOT just another spatial dimension -- there is something unique about it.

If you recall from elementary discussions of the line element, ds^2, what we're really trying to identify is some invariant quantity -- that is, something all inertial observers will agree on. The simple fact is that if you do not use a negative sign, it is not an invariant quantity.

More mathematically speaking, the negative sign comes from the fact that relativity is limited to special sub-class of all riemannian manifolds known as Lorentzian manifolds (those that have - + ++ signature). The language of general relativity (and consequently, special relativity), is formulated in terms of these Lorentzian manifolds which make a distinction between null, timelike, and spacelike events.
 
Good question, I wouldn't be able to come up with a derivation for that expression, but it has to do with the fact that you want to get an expression for meter out of the temporal part of the spacetime interval equation. It also accounts for Lorentz transformation too, imagine that x, y, and z are actually vxt, vyt and vzt, now time is ct. If you plug in c for v, you'll get S2= (ct)2-(ct)2 = 0 And I think this is due to length contraction and/or time dilation at relativistic speeds.
 
i don't recall the derivation in a detailed manner, but if you consider time as a fourth dimension when trying to derive the lorentz factor for time dilation using a light clock you will get -c^2t^2. I assume it works similarly for the lorentz factor for length contraction, the lorentz factor being gamma.
 
Nabeshin said:
Ah, yes! This is perhaps the most important negative sign in all relativity! If it were just normal (ct)^2, then it would be identical to 4-dimensional Euclidean space. I guess it boils down to the fact that time is NOT just another spatial dimension -- there is something unique about it.
Except, it's not that straight forward. If you have two reference frames that are moving relative to each other, time coordinate of one has projection onto spatial coordinates of the other, and in both, you'll have exactly the same negative sign in the metric. So it isn't something unique about a particular direction in space-time. It's something about the structure of space-time that gives you an ability to pick one of infinite number of possible directions to be different than the rest of the directions you are going to pick.

And yeah, this doesn't pack very well in a brain that's used to Eucledian space. I've seen pure mathematicians get downright upset when I suggested that a metric does not have to be positive.
 
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Back
Top