59

What is the connection between special and general relativity? As I understand general relativity does not need the assumption on speed of light constant. It is about the relation between mass and spacetime and gravity. Can general relativity be valid without special relativity?

Qmechanic
  • 201,751

6 Answers6

110

Suppose we start by considering Galilean transformations, that is transformations between observers moving at different speeds where the speeds are well below the speed of light. Different observers will disagree about the speeds of objects, but there are some things they will agree on. Specifically, they will agree on the sizes of objects.

Suppose I have a metal rod that in my coordinate system has one end at the point $(0,0,0)$ and the other end at the point $(dx,dy,dz)$. The length of this rod can be calculated using Pythagoras' theorem:

$$ ds^2 = dx^2 + dy^2 + dz^2 \tag{1} $$

Now you may be moving relative to me, so we won't agree about the position and velocity of the rod, but we'll both agree on the length because, well, it's a chunk of metal - it doesn't change in size just because you are moving relative to me. So the length of the rod, $ds$, is an invariant i.e. it is something that all observers will agree on.

OK, let's move onto Special Relativity. What Special Relativity does is treat space and time together so the distance between two points has to take the time difference between the points into account as well. So our equation (1) is modified to include time and it becomes:

$$ ds^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2 \tag{2} $$

Note that our new equation for the length $ds$ now includes time, but the time has a minus sign. We also multiply the time by a constant with the dimensions of a velocity to convert the time into a length. Just as before the quantity $ds$ is an invariant i.e. all observers agree on it no matter how they are moving relative to each other. In fact we give this spacetime length a special name - we call it the proper length (or sometimes the proper time).

By now you're probably wondering what on Earth I'm rambling about, but it turns out we can derive all the weird stuff in Special Relativity simply from the requirement that $ds$ be an invariant. If you're interested I go through this in How do I derive the Lorentz contraction from the invariant interval?.

In fact the equation for $ds$ is so important in Special Relativity that it has its own name. It's called the Minkowski metric. And we can use this Minkowski metric to show that the speed of light must be the same for all observers. I do this in my answer to Special Relativity Second Postulate.

So where we've got to is that the fact the speed of light is constant in SR is equivalent to the statement that the Minkowski metric determines an invariant quantity. What General Relativity does is to generalise the Minkowski metric, equation (2). Suppose we rewrite equation (2) as:

$$ ds^2 = \sum_{\mu=0}^3 \sum_{\nu=0}^3 \,g_{\mu\nu}dx^\mu dx^\nu $$

where we are using the notation $dt=dx^0$, $dx=dx^1$, $dy=dx^2$ and $dz=dx^3$, and $g$ is the matrix:

$$g=\left(\begin{matrix} -c^2 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{matrix}\right)$$

This matrix $g$ is called the metric tensor. Specifically the matrix I've written above is the metric tensor for flat spacetime i.e. Minkowski spacetime.

In General Relativity this matrix can have different values for its entries, and indeed those elements can be functions of position rather than constants. For example the spacetime around a static uncharged black hole has a metric tensor called the Schwarzschild metric:

$$g=\left(\begin{matrix} -c^2(1-\frac{r_s}{r}) & 0 & 0 & 0 \\ 0 & \frac{1}{1-\frac{r_s}{r}} & 0 & 0 \\ 0 & 0 & r^2 & 0 \\ 0 & 0 & 0 & r^2\sin^2\theta \end{matrix}\right)$$

(I mention this mostly for decoration - understanding how to work with the Schwarzschild metric needs you to do a course on GR)

In GR the metric $g$ is related to the distribution of matter and energy, and it is obtained by solving the Einstein equations (which is not a task for the faint hearted :-). The Minkowski metric is the solution we get when there is no matter or energy present${}^1$.

The point I'm getting at is that there is a simple sequence that takes use from everyday Newtonian mechanics to General Relativity. The first equation I wrote down, equation (1) i.e. Pythagoras' theorem, is also a metric - it's the metric for flat 3D space. Extending it to spacetime, equation (2), moves us on to Special Relativity, and extending equation (2) to a more general form for the metric tensor moves us on to general relativity. So Special Relativity is a subset of General Relativity, and Newtonian mechanics is a subset of Special Relativity.

To end let's return to that question of the speed of light. The speed of light is constant in SR so is it constant in GR? And the answer is, well, sort of. I go through this in some detail in GR. Einstein's 1911 Paper: On the Influence of Gravitation on the Propagation of Light but you may find this a bit hard going. So I'll simply say that in GR the speed of light is always locally constant. That is, if I measure the speed of light at my location I will always get the result $c$. And if you measure the speed of light at your location you'll also get the result $c$. But, if I measure the speed of light at your location, and vice versa, we will in general not get the result $c$.


${}^1$ actually there are lots of solutions when no matter or energy is present. These are the vacuum solutions. The Minkowski metric is the solution with the lowest ADM energy.

John Rennie
  • 355,118
  • 4
    Hi, your answer is very good as always, and I have upvoted it. I just have a question/remark: you say that "The Minkowski metric is the solution we get when there is no matter or energy present." Shouldn't be more correct to say that it is A solution? Other than all the crazy solutions that people find when they allow the topology of spacetime to go totally nuts, we also have the spherical and hyperbolic metrics, that are vacuum solutions. They're just different from Minkowski metric, as curvature is different. Or is there some reason to exclude those solutions? – Salvatore Baldino Nov 13 '17 at 21:02
  • 3
    "For example the spacetime around a black hole has a metric tensor called the Schwarzschild metric:" That's rather misleading, as the tensor you give is not in Euclidean coordinates. (It's also for a non-rotating, electrically neutral black hole, but that's a bit more nit-picky.) – Acccumulation Nov 14 '17 at 00:15
  • 1
    @SalvatoreBaldino: thanks, I've added a footnote to clarify. I originally just ignored all but the Minkowski vacuum solution because the answer is targeted at non-GR heads and I didn't want to make it any more complicated than it had to be. – John Rennie Nov 14 '17 at 06:07
  • 1
    @Acccumulation: the answer is targeted at people who have no knowledge of GR so I've done my best to keep it simple. Maybe I've oversimplified in some places, but I'm not sure it's easy to be more rigorous and still keep the answer comprehensible. – John Rennie Nov 14 '17 at 06:09
  • @user27542 I think you can always add spaces or such somewhere for a little actual correction. – Peter - Reinstate Monica Nov 14 '17 at 06:24
  • I'm sorry if there are stupid questions but I have a confusion (if possible, please explain it from a layman's point of view, who knows about relativity mostly from popular science documentaries): "What Special Relativity does is treat space and time together so the distance between two points has to take the time difference between the points into account as well." At this point we are talking about a rod somewhere in space, two people are moving by the rod measuring how long it is, both move at different speeds relative to each other. The time at the two ends of the rod are different.... – user13267 Nov 14 '17 at 10:24
  • ....enough that this difference needs to be considered into the calculation (Eq.2) but this is only possible if both the observers are moving close to the speed of light isn't it? And if that is the case, aren't both observers supposed to not agree on the length of the rod? Isn't the length is supposed to vary for both observers, in such a way as to keep the velocity of light constant? – user13267 Nov 14 '17 at 10:24
  • @user13267: I used a rod to introduce the idea of the proper length in Newtonian mechanics, but this is a slightly awkward analogy to carry over into SR and it has obviously confused you a bit. In SR consider two points in spacetime separated by $(dt, dx, dy, dz)$ and the metric gives you the proper distance between the two points. If we consider a metal rod then you're quite correct that for observers moving relative to the rod the two ends are (in general) at different points on the time axis, and this is the reason we get Lorentz contraction. – John Rennie Nov 14 '17 at 10:31
  • @user13267: for a detailed explanation of this see my answer to this question. – John Rennie Nov 14 '17 at 10:31
  • 3
    This is the most concise, clear summary of Physics 2 and Physics 3 that I've ever seen. I'm saving this answer for when my children will have to start those courses. Thank you! – dotancohen Nov 15 '17 at 11:04
  • @JohnRennie Dear John, as always thank you very much for this wonderful answer! If I may ask two questions: (i): Have you ever considered becoming a contributing writer on magazines such as Wired or quantamagazine? Your style of writing is very didactic and perfect for large audience readers. (ii): Maybe it's trivial, but why do we expect the distance between two points to be constant regardless of the frame? I mean, length is not linked to conservation laws, right? what led physicists to come to conclusion there's this invariant length? Many thanks in advance. – user929304 Mar 09 '18 at 12:17
  • @user929304 the invariance of the proper length is a postulate i.e. we find making this assumption fits with experimental results. Why the universe chose to behave that way no-one knows. – John Rennie Mar 09 '18 at 12:31
15

Special relativity is the "special case" of general relativity where spacetime is flat. The speed of light is essential to both.

Señor O
  • 7,580
  • This should be a comment. – Jannik Pitt Nov 15 '17 at 19:28
  • 1
    @JannikPitt This is a partial answer, and answers or partial answers should not be comments. If you think this answer is too short to be a good answer, please comment about how this answer could be improved. – JiK Nov 16 '17 at 13:39
5

The best connection between the two theories regards how they deal with different observers or frames of reference. Special Relativity (SR) postulates that all inertial observers are equivalent whereas General Relativity (GR) assumes that a wider class of observers are equivalent. More precisely, all non rotating frames are equivalent. Thus, GR is more general than SR (aka Restricted Relativity) and therefore cannot be valid without SR. In another words, as theories, GR implies SR but the converse is not true.

Diracology
  • 17,700
  • 3
  • 54
  • 97
  • 2
    I would tentatively disagree with the statement that all observers are equivalent in GR. In special relativity, inertial observers are equivalent insofar as there's no experimental way to distinguish one frame from another. In GR, there is certainly an observable difference between a rotating frame on the surface of the earth and an observer freely falling in deep space. – gj255 Nov 13 '17 at 18:22
  • 1
    @gj255 Yep, that's true. Thanks for pointing this out. – Diracology Nov 13 '17 at 18:27
  • Graviry cannot be explained as spacetime curveture without the C assumption ? – Sharon Salmon Nov 13 '17 at 18:46
2

I like to think of special relativity as first order or "local" general relativity.

One of the fundamental things underlying all relativity is the equivalence principle. But it kind of "disappears" in the mechanics, procedures and theory of general relativity. It is actually encoded in the "choice of building materials" for GR. That is, we think of spacetime as a manifold as opposed to other mathematical objects we might postulate it to be (such as a Variety - this is a somewhat silly example, because it's "almost" a manifold, but it is simple and meant to show that it is not a done deal that we must choose a manifold - there is real, in-principle-measurable physics affected by the choice). A manifold is a mathematical object that is everywhere locally Euclidean, or, in the case of GR, Minkowski. If we "zoom in" to the manifold at high enough magnification, we can make spacetime as near as we like to flat, Minkowski spacetime. More formally what this means is that we can always define a tangent space to every point. Here's the key to this answer:

As long as we don't go too far from this spacetime point and keep within a small neighborhood (it might have to be very small in highly curved space, but this is a theoretical possibility and our magnification can be any finite value), all relativistic calculations can be done with special relativity with the tangent space approximating spacetime in the neighborhood.

Inertial frames at the point in question are those momentarily comoving with objects and frames undergoing geodesic, torque-free motion in the more general, curved General Relativistic manifold and all of these are equivalent modulo a Lorentz transformation, just as in special relativity. Curvature is a second order notion, not definable in terms of the tangent space to one point alone. Einstein's original conception of the equivalence principle was that, to first order, there is no difference between experimental results carried out within a lab accelerated relative to these inertial frames defined by the tangent space. Whether they be accelerated by a rocket, or accelerated because the laboratory has bumped into and thus stuck to the surface of a planet, one cannot tell unless one looks outside the laboratory.

  • I really like this answer, but I think it could be improved by adding an explanation of how manifolds generalize flat (euclidean) spaces. Even for readers familiar with differential geometry, I think it would serve to clarify your analogy (that GR is to SR as [euclidean] manifolds are to euclidean spaces). – Jacob Maibach Nov 18 '17 at 17:14
0

The essential, constituive point of the general theory of relativity is, as expressed by Einstein in his paper on "The Foundation of the General Theory of Relativity" (1916), that:

"All our space-time verifications invariably amount to a determination of space-time coincidences {... such as ...} meetings of two or more {...} material points."

The connection between the special and the general theory of relativity is consequently, that all notions of the special theory which relate to space-time (incl. geometric and kinematic relations between material points) are explicitly defined in terms of (determinations of) space-time coincidence;
namely foremost the notions appearing in the "postulates of special relativity" (1905):

Can general relativity be valid without special relativity?

In the above sense, SR is manifestly a special case of GR.

It is about the relation between mass and spacetime and gravity[?]

Definitions of (how to measure) "mass" and all more or less related dynamic quantities (momentum, energy, angular momentum, charges, field strengths ...) are based on (and therefore subsequent to) the geometric and kinematic space-time verifications.

user12262
  • 4,258
  • 17
  • 40
0

There is already a nice answer by John Rennie. So I am trying to answer the question in a different way, focusing mainly on the transition from Newtonian viewpoints to general relativity.

Let’s start with a simple example of the Earth-Sun system. According to Newton, the earth wants to move inertially, i.e., uniformly in a straight line. A gravitational force from the sun deflects it and causes it to move in an elliptical orbit around the sun.

However, according to GR, the presence of the sun disturbs (curves), the fabric of space and time. The earth then merely moves inertially in this new disturbed spacetime. It follows an inertial trajectory, but that trajectory has been distorted so that it ends up as an ellipse in the space around the sun, or more precisely, a helical trajectory winding around the sun's worldline in spacetime.

General Relativity is basically an unification of the following two major theoretical transitions:

  1. Transition from ‘space’ to ‘space-time’: The trajectories of bodies in inertial motion are straight lines in spacetime in the sense that they are curves of greatest proper time, that is, time-like geodesics. That makes them the analogs of the straight lines of Euclidean geometry, which are also called geodesics, the curves of shortest distance.
  2. Transition from ‘flat’ to ‘curved’ geometry: In the context of ordinary spatial geometry, this transition takes us from Euclidean geometry to non-Euclidean geometry. In the context of space-time theories, the same transition takes us from the geometry of a flat space-time (Minkowski space-time of special relativity) to the geometry of the curved space-time (semi-Riemannian space-time of general relativity). The central idea of Einstein's general theory of relativity is that this curvature of spacetime is what we traditionally know as gravitation.

These two transitions are the central ideas of GR, and the mathematics needed to develop the theory is just the mathematics of curved geometry, the only difference is that it is transported from space to space-time.

The following figure shows the two transitions:

1

One can summarize as follows:

General Relativity is a theory of gravity and a set of physical and geometric principles obtained from Newtonian gravity through a transition from the concept of ‘space’ to ‘space-time’ and the transition from flat geometry to curved geometry, which lead to a set of field equations that determine the gravitational field, and to the geodesic equations that describe light propagation and the motion of particles on the background.

Richard
  • 1,985