One of the things I’ve been trying to do on this blog is to explain Einstein’s theories of relativity.\u00a0 Here are my previous posts on this subject:<\/p>\n
Time as the Fourth Dimension?<\/a> The first two have to do with Einstein’s first theory of Special Relativity, in which spacetime is taken to be fixed.\u00a0 The third post describes what fields are.\u00a0 The last four describe his second theory, General Relativity, in which the geometry of spacetime is itself a field: the gravitational field.<\/p>\n The gravitational field is also called the metric $$g_{ab}$$, where $$a$$ and $$b$$ are indices selected from the four spacetime dimensions $$(0, 1, 2, 3)$$.\u00a0 However, the exact form of the metric depends on your choice of coordinates, and it is always possible to pick coordinates so that the metric at any point looks just like the metric of Special Relativity.\u00a0 For this reason, in order to discuss curved <\/em>spacetimes (those that differ from the flat spacetime of Special Relativity, e.g. the gravitational field of the Sun or the Earth) we need to compare the metric at different points.<\/p>\n The basic idea is this: Suppose we are sitting at one particular point $$X$$ of spacetime, and we imagine we have an infinitesimal arrow whose base sits at the point $$X$$ and which points (ever so infinitesimally) away from $$X$$ in some direction.\u00a0 We call such a thing a vector and write it as $$v^a$$, where $$a = (0, 1, 2, 3)$$.\u00a0 This is actually a set of four numbers: $$v^0$$ would be a number saying how far $$v$$ points in the 0-direction, $$v^1$$ would be a number saying how far $$v$$ points in the 1-direction, and so on.<\/p>\n Now, suppose we take this vector on a vecation tour through spacetime.\u00a0 Perhaps it would be simpler just to think about space for a minute.\u00a0 Imagine vectors lying on a 2-dimensional sphere.\u00a0 (Warning: when an ordinary person uses the word sphere, they usually mean to include the interior, but when a math or physics person says sphere, they only mean the surface!)<\/em>\u00a0 Imagine for example, that the vector $$v^a$$ lies on the surface of a Earth, and pretend that the vertical up-down direction doesn’t exist.\u00a0 So on a random point on the Earth’s surface, $$v^a$$ can point north, south, east, west, or in-between, but it can’t tilt up or down.<\/p>\n Imagine that $$v^a$$ starts on the North Pole, pointing towards Hawaii.\u00a0 Suppose we slide the vector down in the direction it is pointing, until it hits the Equator.\u00a0 The vector now points South.\u00a0 Now let’s drag the vector 1\/4 of the way around the Equator, without rotating it.\u00a0 The vector still points South.\u00a0 Finally we drag it back to the North Pole.\u00a0 It has now been rotated 90 degrees from its original position!\u00a0 <\/em>This is true even though on each step of the journey, we were careful not to rotate it as it travelled.\u00a0 (Dragging vectors without rotating them is called parallel transport<\/em>, by the way.)<\/p>\n This happens because the geometry of the surface of the Earth is intrinsically curved<\/em>, i.e. the geometry of the sphere is not flat.\u00a0 This <\/em>must be distinguished from extrinsic<\/em> curvature, which refers to something of lower dimension being bent within a higher-dimensional space.\u00a0 The surface of the Earth is<\/em> extrinsically curved in our ordinary 3-dimensional space, but that’s not what were talking about.\u00a0 We’re talking here about the geometry of the sphere, quite apart from whether it is or is not embedded in some higher dimensional space.<\/p>\n The distinction is quite important in the case of our 4-dimensional spacetime, because (as far as we know) it is not embedded in any kind of higher-dimensional space.\u00a0 When we say that spacetime is curved, we do not<\/em> mean that spacetime is sitting in some kind of\u00a0 “hyperspace” in which it is bent into a funny shape.\u00a0 We mean that if you move vectors around in spacetime in a loop (i.e. a path that starts and ends at the same spacetime point $$X$$), it may come back rotated compared to its original position.\u00a0 That<\/em> is what curvature means.<\/p>\n I should note that it’s okay to drag these vectors either forwards or backwards in time, or along spacelike<\/a> directions.\u00a0 That’s because these are imaginary <\/em>vectors serving as a visualization aid to probe the geometry of the spacetime.\u00a0 They aren’t tangible physical objects which have to travel slower than light, and towards the future.<\/p>\n Now, ever since Archimedes, math people have liked to study things by breaking them up into tiny infinitesimal pieces.\u00a0 So we want to think about what happens if you drag a vector around an infinitesimal <\/em>loop.\u00a0 To define this, we imagine we have a vector $$v^a$$, which we drag around in a tiny parallelogram whose sides are given by vectors $$x^a$$ and $$y^a$$ pointing away from $$X$$.\u00a0 When we drag $$v^a$$ along this parallelogram, if there is curvature it can come back rotated as an ever-so-slightly different vector $$w^a$$.\u00a0 To keep track of this we write: $$!w^a = v^a + \\epsilon^2 R^a_{bcd}\\,v^b x^c y^d,$$ where $$R^a_{bcd}$$ is a gadget with four indices known as the “Riemann curvature tensor”, which keeps track of the amount of curvature at any given point $$X$$.\u00a0 $$\\epsilon$$ is an infinitesimally tiny parameter which keeps track of how big the sides of the unit parallelogram are, for vectors of some unit length.<\/p>\n What’s a tensor?\u00a0 The metric $$g_{ab}$$, vectors such as $$v^a$$, and $$R^a_{bcd}$$ are all examples of tensors.\u00a0 Tensors are similar to vectors, except that they are allowed to point in any number of directions.\u00a0 A tensor is a kind of field<\/a> which is allowed to depend on two things: 1) which point you are at in space and time, and 2) zero or more spacetime indices written as subscripts or superscripts $$a, b, c …$$.\u00a0 These indicate the total number of vectors it takes as inputs or outputs.\u00a0 Note that the Riemann curvature has 3 of its indices downstairs and 1 upstairs.\u00a0 That notation tells us that it eats 3 vectors as inputs and spits out 1 vector as an output.<\/p>\n In any equation involving tensors, each index letter is repeated, either 1) once in each<\/em> term of the equation, always upstairs or always downstairs, or 2) twice in <\/em>the same <\/em>term of the equation, once upstairs and once downstairs.\u00a0 In case (1) we interpret the tensor equation as being true for any possible <\/em>choice of index, as long as it is the same for all terms, on both sides of the equals sign.\u00a0 In case (2), we consider all 4 possible choices for the index and add them together (the Einstein summation convention<\/a>).\u00a0 These rules prevent us from doing nonsensical things like e.g. trying to add scalars and vectors together.<\/p>\n Tensors are not themselves coordinate-invariant<\/a>, but when you change your system of coordinates, the value of the tensors changes in a particularly simple way.\u00a0 This makes them useful when trying to describe physics in a coordinate-invariant way.\u00a0 So long as you follow the rules in the previous paragraph, a tensor equation is a coordinate-invariant idea, i.e. if it is true in one coordinate system it is true in all of them.\u00a0 That’s because if you change your coordinates, both the left-hand-side and the right-hand-side of the equation change in the same way, so it doesn’t matter.<\/p>\n The last thing I need to say here is that the Riemann curvature tensor $$R^a_{bcd}$$ is not a new field additional to the metric tensor $$g_{ab}$$.\u00a0 If you know what the metric is, you can work out the Riemann tensor.\u00a0 At any given point, $$R^a_{bcd}$$ depends on the metric $$g_{ab}$$, its first derivative $$(\\partial \/ \\partial x^c) g_{ab}$$ and its second derivative $$(\\partial \/ \\partial x^d) (\\partial \/ \\partial x^c) g_{ab}$$.\u00a0 But the formula looks complicated, so I’ll spare you for the time being, until I can think of a simple way to justify it.<\/p>\n","protected":false},"excerpt":{"rendered":" One of the things I’ve been trying to do on this blog is to explain Einstein’s theories of relativity.\u00a0 Here are my previous posts on this subject: Time as the Fourth Dimension? The Ten Symmetries of Spacetime Fields Geometry is … Continue reading
\nThe Ten Symmetries of Spacetime<\/a>
\nFields<\/a>
\nGeometry is a Field<\/a>
\nCoordinates don’t matter<\/a>
\nAll points look the same<\/a><\/p>\n