Professional Documents
Culture Documents
Errata - A Most Incomprehensible Thing
Errata - A Most Incomprehensible Thing
Errata - A Most Incomprehensible Thing
Contents
1 First Edition: versions 95 (ebook), 55 (paperback) and earlier
12
13
16
2. Section 5.3.6
Change where = 0, 1, 2, 3 = t, x, y, z to = 0, 1, 2, 3 = t, x, y, z, for example.
8
= 18.075.
0.4426
should read:
sin 25 = 0.4226 =
c=
8
c
8
c
8
= 18.930.
0.4226
2. Section 3.4.3
Equation 3.4.15
vx
ct = c t
c
0
should read:
vx
ct = c t 2 .
c
0
3. Section 5.1
This section has been significantly rewritten. Rather than give piecemeal amendments, delete from the start
of the paragraph starting Unfortunately, the vectors used in general relativity to the end of the section.
Insert:
Unfortunately, the vectors used in general relativity are not directed line segments stretching from one
point to another in space. Instead, each vector is located at a single point in spacetime. In fact, each point
in spacetime is itself a vector space and home to an infinite number of vectors. The vector space will be
both a tangent space (home to those objects known as contravariant vectors), and a cotangent space
(home to those objects known as one-forms). Contravariant vectors and one-forms should be thought of as
different representations of the same geometrical object at a point in spacetime. Details to follow, but for a
contravariant vector, think of a tangent vector to a parameterised curve; for a one-form, think of a gradient
of a scalar field. Well see later how the metric tensor is used to convert a vector to its corresponding
one-form and vice versa. The reason that the simple vectors in Section 1.13 and the more abstract vectors
we are now talking about are both loosely referred to as vectors is that they both obey the rules that define
a vector space. In brief, a vector space consists of a group of objects (call the group X, for example) that
can be added together and multiplied by a scalar, and the result will be another member of the group X.
Up until now, our indices have referred to particular coordinate systems: x, y, z for Cartesian, r, , for
spherical, etc. Differential geometry demands a more abstract use of indices, where they can refer to
any permissible coordinate system. Similarly, in general relativity, because we are dealing with curved
spacetime, there are no preferred coordinate systems and we need to be able to transform from any one
coordinate system to any other (the terminology is that we are using general coordinates). So if x are
the old coordinates and y are the new coordinates ( = 0, 1, 2, 3), then any functions linking x and y are
2
permissible as long as (a) the functions are differentiable, and (b) each point in spacetime is uniquely labelled
by a set of four numbers. We move freely between different coordinate systems by using the transformation
properties (involving partial derivatives of the coordinate functions) of contravariant vectors and one-forms.
Contravariant and one-form basis vectors are also defined in terms of derivatives of the coordinate functions.
We dont need to go into details, but can just note that contravariant basis vectors are tangent to the
coordinate curves (along which only one of the coordinates changes), and one-form basis vectors are gradients
of the coordinate surfaces (on which only one of the coordinates remains constant). Bases of this sort (unlike
the constant non-coordinate bases of Cartesian coordinates) that change with the coordinates, are known
as coordinate bases. These are the bases well be implicitly using from now on.
However (thankfully!), the transformation properties of the components of vectors and one-forms (and
tensors in general) are basis-independent, meaning we usually dont need to worry too much about basis
vectors and basis one-forms. Crucially, basis-independence means that if a tensor equation is true in one
coordinate system it will be true in all coordinate systems. Because we tend to refer only to the components
of vectors, one-forms, etc, well continue our habit of loosely referring to a vector V or a one-form V
when, strictly speaking, this notation refers to the components of those objects. Though not totally accurate,
this terminology is good enough for our purposes.
Although, in the context of general relativity, we cant meaningfully talk about directed line segments
stretching from one point to another in space, we can define an infinitesimal displacement vector in spacetime:
d~x = dx e .
The power of the mathematics that follows is that it allows us to manipulate d~x and end up with physical
measurable quantities (time, distance, velocity, momentum, etc).
Any contravariant vector or one-form is the product of its components and a basis of some kind. Contrav~ ) so we can say, using the Einstein
ariant four-vectors are often represented by an arrow over the letter (egV
summation convention, that
~ = V e ,
V
~
where V and e are respectively the components and basis vectors of V.
One-forms are often represented by a tilde over the letter (eg V ) so we can say, again using the Einstein
summation convention, that
V = V e ,
where V and e are respectively the components and basis one-forms of V .
A contravariant vector acts linearly on a one-form (and vice versa) to give a scalar (a real number). This
works because the relationship between the basis vectors and basis one-forms is defined (using the Kronecker
delta) by the equations
e (e ) = .
Therefore, for any one-form and vector
~
P V
= P V e e = P V = P V
= P0 V 0 + P1 V 1 + P2 V 2 + P3 V 3 ,
which is a scalar.
Before looking at the transformation properties of contravariant vectors and one-forms well see what happens
to scalar fields when we change from one coordinate system to another.
4. Section 5.3.3
Delete the final paragraph.
5. Section 5.4
First bullet point should read: Because the transformation properties of tensor components are basisindependent, if a tensor equation is true in one coordinate system it will be true in all coordinate systems.
3
6. Section 5.4
After leading us to the famous mass-energy equation E = mc2 insert:
Its worth making a small detour here in order to see just why the metric tensor is involved when taking
the scalar product of two vectors. We first need to note that the components gij of the metric are defined
in terms of the coordinate basis vectors as
gij = ei ej
or, in spacetime, using Greek indices
g = e e .
Using this definition, and recalling that an infinitesimal displacement vector in spacetime is given by
d~x = dx e ,
we can see that the scalar product of this vector with itself will be
(d~x)2 = (dx e ) (dx e ) = (e e ) dx dx
= g dx dx .
This equation is the spacetime version of (4.2.1)
dl2 = gij dxi dxj ,
the line element for an n-dimensional manifold that we met in the previous chapter. In a similar fashion,
the scalar product of two different vectors must then be given by
~ W
~ = (V e ) (W e ) = g V W .
V
Hence the need for the metric tensor.
7. Section 5.4.1
After second equation, delete Well see shortly, when looking at tensor algebra, that.
8. Section 5.4.2
After equation
T = A B ,
insert:
A single tensor can also be contracted by summing over identical upper and lower indices. For example,
we can contract a tensor T to give another tensor T = X , which is a contravariant vector.
Lets see how this contraction works. The tensor X = T will transform as follows:
x0 x0 x
T
x x x0
x x0
x0
=
T = T .
x x
x
Remember that the x coordinates (represented by the , , indices) are independent of each other. The
Kronecker delta (here used as a tensor with an upper and lower index) in the final term tells us that the
derivative of any of these coordinates with respect to any other is zero, and the derivative of a coordinate
with respect to itself is 1 (if x = x then dx
dx = 1). We can therefore write
X 0 = T 0 =
x0
x0
x0
T
=
T
=
X ,
x
x
x
meaning the contracted tensor transforms, as it should, as a contravariant vector.
X 0 = T 0 =
9. Section 5.4.2
Problem 5.3. Delete representing two arbitrary coordinate systems and replace with representing an
arbitrary coordinate system.
Also, after true in any coordinate system insert:
A similar argument shows that any tensor equation if true in one coordinate system will be true in all
coordinate systems.
4
Also, final bullet point: cannot equal zero because v < c, and therefore v/c can never equal 1.
should read:
cannot equal zero because the numerator (the top bit of the fraction) is a non-zero constant, ie equals 1.
Thanks to Jeremy Roach.
2. Section 1.5.1
Figure 1.1. The origin should be at the lowest point of the surface.
Thanks to Don Berry.
3. Section 1.6
Problem 1.3. The solution should read:
q
(3x + 8)2
x2
3x + 8
.
7 =
x
Taking the left-hand side as +7, multiply both sides by x
49 =
7x = 3x + 8
4x = 8
8
x = = 2.
4
If we take
4. Section 1.10.1.4
Figure 1.15
The origin should be at the lowest point of the surface.
Thanks to Don Berry.
5. Section 3.2.7
Equation 3.2.2
v =w+u
should read:
u = w + v.
Thanks to Jeremy Roach.
6. Section 3.4.9
Replace two occurrences of z1 0 = z1 with z1 0 = z1 .
Thanks to James Bowie.
7. Section 3.4.10
Problem 3.10. The
frame
(x2 +y2 +z 2 )
t2
should read:
(x2 +y2 +z 2 )
The
term is actually the square of your velocity as measured by an observer in the Earth
t2
frame.
Also, equation
v = 1 1.25 1013
should read:
v = 1 1.25 1013 .
Thanks to James Bowie.
8. Section 3.6.5
A missing minus sign means that equation
c2 m
2
should read:
c2 m
1
ds
s
1
ds,
s
meaning
c2 m s + c
should read:
c2 m s + c,
and
q
c2 m 1 (v/c)2 + c
should read:
c2 m 1 (v/c)2 + c.
Thanks to James Bowie.
9. Section 5.4.1
Equation 5.4.1
m
T 01 21...
2 ...n =
x0m
x1 x2
xm
x01 x02
m
.
.
.
.
.
.
T 1 2...
0
0
1 2 ...n
x 1 x 2
x m
x 1 x 2
x0m
x01 x02
x0m
x1 x2
xn
m
.
.
.
.
.
.
T 1 2...
.
1 2 ...n
x1 x2
xm
x01 x02
x0n
Aa = 1, r2 0
should read:
Aa = 1, r3 , 0 .
Thanks to James Bowie.
x
x
should read (theres a missing ):
V
V
=
g
.
x
x
Thanks to James Bowie.
c
x
a
c
y = x+
a
cb + ad
a
ad bc
.
a
T,
= 0.
These equations describe conservation of energy when = 0, and conservation of the ith component of
momentum when
T i
= 0.
x
In other words ...
Also, equation
T; = 0
should read:
T;
= 0.
2. Section 1.15
In the rules of index notation, the first sentence of Rule 4 should read:
Dummy indices appear twice in a term, either as subscripts in Cartesian vectors/tensors, or once as
superscript and once as subscript in the more general vectors/tensors we tend to use in this book.
Thanks to Michael Guggenheimer.
3. Section 3.4.2
After Strictly speaking, the brackets in (3.4.13) mean we are referring to matrices insert:
(From now on we wont bother to use this clunky bracket notation for single index vectors.)
4. Section 3.6.5
To avoid confusion with the speed of light, the constant of integration c should be C.
Thanks to Frits van der Laan.
5. Section 3.6.6
At the end of the first paragraph (after which is the particles mass energy Eo ) insert:
It can be shown theoretically and has been verified experimentally that, providing no external forces act,
total relativistic energy is conserved in all inertial frames, irrespective of whether mass or kinetic energy
are conserved. In high-speed particle collisions, for example, mass, kinetic energy, even the total number of
particles may not be conserved, but the total relativistic energy of the system will be.
Suggested by Frits van der Laan.
6. Section 5.4
Delete everything between (but not including) A type (0, 0) tensor is therefore just a number, a scalar, 106
for example and Tensors of rank 3 can be thought of as ... and insert:
A type (1, 0) tensor (aka a contravariant vector) is conventionally written in column form, eg
V =
a
b
c
d
T = [V X ] =
ae af
be bf
ce cf
de df
ag
bg
cg
dg
ah
bh
ch
dh
So, for example, T 30 = V 3 X0 = de. In a similar fashion, two contravariant vectors or two one-forms may
also be multiplied together to give a rank 2 tensor.
7. Section 5.4.2
After where we have again used the Kronecker delta as a tensor with an upper and lower index insert:
8
Double contraction to zero In order to understand this somewhat counter-intuitive result we need to
introduce the tensor properties of symmetry/antisymmetry.
A rank 2 tensor is symmetric if S = S . Such a tensor can be represented by a symmetric matrix
w
a
b
c
a
x
d
e
b c
d e
y f
f z
So, for example, S02 = S20 = b, S23 = S32 = f , etc. Symmetric tensors we meet in this book include the
metric tensor, the energy-momentum tensor, the Ricci tensor and the Einstein tensor.
Conversely, a rank 2 tensor is antisymmetric if
the tensor is of the matrix form
0
a
b
c
c
e
f
0
where the diagonal terms are all zero. The Riemann curvature tensor, written as Rhijk , is antisymmetric on
the first and second pair of indices, meaning Rhijk = Rhikj = Rihjk .
The double contraction of a symmetric tensor S and an antisymmetric tensor A is zero, ie A S = 0.
We can show this as follows:
A S = (A ) (S )
= (A S ) .
As and are dummy indices, we can swap them to give
A S = (A S ) ,
which can only be true if
A S = (A S ) = 0.
This may be clearer if we write out the double contraction in component form. Well use two simple tensors,
a symmetrical one
x a b
h i
S ij = a y c ,
b c z
and an antisymmetrical one
0
d
[Aij ] = d 0
e f
f ,
0
giving
Aij S ij = (0 x) + da + eb da + (0 y) + f c eb f c + (0 z) = 0.
8. Section 5.4.2
Problem 5.2. Equation
g
B =
should read:
g
B =
1
2
2
sin
cos
r2
1
2
cos
.
2
r2 sin
9. Section 5.5
S =
S S
,
x y
But we can define an infinite number of scalar fields, and therefore an infinite number of one-forms at P.
We therefore have a vector space at P, which is called the cotangent or dual-space.
Now draw a number of imaginary curves on the surface of the pebble, each going through P. These are our
parameterised curves. If we were clever enough, each curve could be expressed in terms of a parameter (t
for example), so x = f (t) and y = f (t) . Now take a piece of paper, draw a point on it and carefully draw
a number of infinitely short (just do your best) straight lines through that point. Rest the paper on the
pebble so that the point on the paper is touching point P on the pebble. We can see that the straight lines
drawn on the paper are tangent to the curves drawn on the pebble at point P. The direction of each tangent
is given by (5.3.3) and defines a contravariant vector. There are an infinite number of parameterised curves
we could draw on the pebble, and therefore an infinite number of tangent vectors passing through P. We
therefore have a vector space at P, which is called the tangent space.
At any point on the surface of the pebble we can now, if we wish, take a contravariant vector or one-form
and use the transformation equations to flip between the red and blue coordinate systems. But, as stressed
earlier, in practice we dont need to worry about physically calculating transformation equations. The prime
advantage of defining the geometry of the pebbles surface in terms of general coordinates is that we can then
proceed to define tensors that are true in any coordinate system, tensors that describe both the pebbles
curvature (the Riemann curvature tensor) and physics (the field equations, for example). Then, if we can
somehow ascertain the metric, we can use these tensors to calculate measurable physical quantities.
10. Section 6.2
10
Equation
V
= x
ex + 2
ey
y
should read:
V
= x
ex + 2
ey + 2
ez .
y
Also, in the sentence immediately before Equation 6.2.2, change in terms of a new set of basis vectors e
to:
in terms of basis vectors e .
Thanks to Fred Mandelkorn.
d2
d2
d
=
=
= 0.
2
2
d
d
d
2 5.12 106
= 0.121 ms
8.47 1010
2 5.20 106
= 0.123 ms.
8.47 1010
should read:
RS
RS
c dt 2
cdt0 dr r2 1 +
r
r
2
02
dr2 r2 d2 + sin2 d2
RS
RS
c dt 2
cdt0 dr 1 +
r
r
2
02
11
dr2 r2 d2 + sin2 d2 .
should read:
= sin if k = +1
R
= sin1 if k = +1.
R
c
c
= 1/2
4G
c
1
= 1/2 .
4G
2. Section 6.3
Problem 6.5 should now read:
Show that the covariant derivative of the Euclidean metric tensor gij for any coordinate system is zero.
Substituting the Euclidean metric tensor for Cartesian coordinates (1.14.6)
1 0 0
[gij ] = 0 1 0
0 0 1
into (6.3.9)
T =
T
T T
x
gives
gij
gj i gi j .
x
In Cartesian coordinates the right-hand side equals zero (because the Euclidean metric is constant, and the
connection coefficients are zero), therefore
gij = 0.
gij =
But (and this is the clever thing about tensors) if this equation is true in Cartesian coordinates, it must be
true for the Euclidean metric in all coordinate systems.
Actually, it is straightforward to show, by substituting (6.2.6)
1
g
g g
= g
+
2
x
x
x
into (6.3.9)
T =
T
T T ,
x
12
(and, of course, substituting g for T ) that the covariant derivative of the general metric tensor is zero
for any coordinate system, ie
g = 0.
Intuitively, we can also show this by knowing that the covariant derivative of the metric tensor must vanish
in the flat spacetime of special relativity (where the metric is constant). Being a tensor equation, g = 0
must also then be true in any coordinate system.
Thanks to Giancarlo Bernacchi.
3. Section 6.4
The equation after So, using the chain rule, we can write should read:
DV
dx dV
dx
+
V
=
= U
d
d dx
d
dV
+ V .
dx
4. Section 6.6
Problem 6.9. The final sentence of the second paragraph should read: Well take one of these, R for
example, and calculate it.
Thanks to Giancarlo Bernacchi.
5. Section 7.3
The third paragraph should start In free fall, of course, the spacetime ... .
6. Section 7.5.2
At the end of this section delete Because of the equivalence principle, any physical law that can be expressed
as a tensor equation in special relativity has exactly the same form in a local inertial frame in the curved
spacetime of general relativity. We can therefore rewrite and insert:
The principle of general covariance allows us to replace the Minkowski metric and rewrite.
7. Section 8.2.2
Delete The comma goes to semi-colon rule (where we use covariant derivatives instead of partial derivatives) and insert:
The principle of general covariance.
2. Section 1.8.2
Property 4. Equation
logx (ay ) = y log a
should read (theres a missing subscript):
logx (ay ) = y logx a.
Thanks to Don Golfen
3. Section 1.9.1
13
4. Section 1.10.2.1
Problem 1.11 (c) 3tx dx should read (missing brackets): (3t)x dx. And the solution (yet more missing
brackets)
3tx
3tx dx =
+C
ln 3t
should read:
(3t)x
+ C.
ln (3t)
(3t) x dx =
Thanks to Thomas Laming
5. Section 1.13
In the final paragraph of this section delete eg F = Fx + Fy + Fz and insert:
eg (Fx , Fy , Fz ) for F.
Thanks to Thomas Laming
6. Section 1.13.3
Equation 1.13.9 (paperback only, not ebooks)
2 = =
2 2 2
+ 2 + 2
x2
y
z
2 2 2
+ 2 + 2.
x2
y
z
7. Section 1.15.
In the Kronecker delta section delete because, from the definition of the Kronecker delta, when =
(which it always does of course) then = 1 and there are four possible values of .
Thanks to Thomas Laming
8. Section 2.5.7
In the sentence immediately before Equation 2.5.18, change we do work on the object equal to to:
gravity does work on the object equal to.
Thanks to Thomas Laming
9. Section 2.5.7.3
Poissons equation in Cartesian coordinates is given as
2
=
but should read:
2 2 2
,
,
x2 y 2 z 2
= 4G,
2 2 2
+ 2 + 2
x2
y
z
= 4G.
= GM
, ,
x y z
x, y, z
(x2 + y 2 + z 2 )3/2
should read:
2
= GM
+
+
x y z
14
x, y, z
(x2 + y 2 + z 2 )3/2
dr
d
2
d2 r dr
d2 r dr
d2 r dr
+
=
2
.
d 2 d
d 2 d
d 2 d
= 2
.
d
dr
d
r d
Thanks to Bill Parsons
u
5 s
v
2. Section 7.4.2
The geodesic deviation equation
D2
dx dx
+
R
=0
D2
d d
should read
D2
dx dx
+
R
= 0.
D2
d d
3. Section 9.3.4
The final equation
R33 = sin2 e2 1 + r 0 0
R33 = sin2 e2 1 + r 0 0
Thanks to Dave Proffitt
16
1 .
s).