You are on page 1of 35

Chapter 2

Coordinate Systems and


Transformations

A physical system has a symmetry under some operation


if the system after the operation is observationally indis-
tinguishable from the system before the operation.

Example: A perfectly uniform sphere has a


symmetry under rotation about any axis be-
cause after the rotation the sphere looks the
same as before the rotation.

7
8 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The theory of relativity may be viewed as a symmetry un-


der coordinate transformations.

• Two observers, referencing their measurements of


the same physical phenomena to two different co-
ordinate systems should deduce the same laws of
physics from their observations.
• In special relativity one requires a symmetry under
only a subset of possible coordinate transformations
(those between systems that are not accelerated with
respect to each other).
• General relativity requires that the laws of physics be
invariant under the most general coordinate transfor-
mations.

To understand general relativity we must be-


gin by examining the transformations that
are possible between different coordinate sys-
tems.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 9

2.1 Coordinate Systems in Euclidean Space

Our goal is to describe transformations between coordi-


nates in a general curved space having

• three space-like coordinates and


• one timelike coordinate.

However, to introduce these concepts we shall begin with


the simpler and more familiar case of vector fields defined
in three-dimensional euclidean space.

• Assume a three-dimensional euclidean (flat) space


having a cartesian coordinate system (x, y, z), and an
associated set of mutually orthogonal unit vectors
(ii, j , k ) .
• Assume that there is an alternative coordinate system
(u, v, w), not necessarily cartesian, with the (x, y, z)
coordinates related to the (u, v, w) coordinates by

x = x(u, v, w) y = y(u, v, w) z = z(u, v, w),

• Assume that the transformation is invertible so that


we can solve for (u, v, w) in terms of (x, y, z).
• A familiar example is to take the (u, v, w) system to
be the spherical coordinates (r, θ , ϕ ), in which case
the preceding equation takes the form

x = r sin θ cos ϕ y = r sin θ sin ϕ z = r cos θ .


10 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• The equations

x = x(u, v, w) y = y(u, v, w) z = z(u, v, w),

can be combined into a vector equation that gives a


position vector r for a point in the space in terms of
the (u, v, w) coordinates:

r = x(u, v, w) i + y(u, v, w) j + z(u, v, w) k .

• For example, in terms of the spherical coordinates


(r, θ , ϕ ),

r = (r sin θ cos ϕ ) i + (r sin θ sin ϕ ) j + (r cos θ ) k .

• The second coordinate system in these examples gen-


erally is not cartesian but the space is still assumed to
be euclidean.
• In transforming from the (x, y, z) coordinates to the
(r, θ , ϕ ) coordinates, we are just using a different
scheme to label points in a flat space.
• This distinction is important because shortly we
shall consider general coordinate transformations in
spaces that may not obey euclidean geometry (curved
spaces).
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 11

2.1.1 Basis Vectors

At any point P(u0, v0 , w0) defined for specified coordi-


nates (u0 , v0 , w0 ), three surfaces pass. They are defined
by u = u0, v = v0, and w = w0, respectively.

• Any two of these surfaces meet in curves.


• From

r = x(u, v, w) i + y(u, v, w) j + z(u, v, w) k .

we may obtain general parametric equations for co-


ordinate surfaces or curves by setting one or two of
the variables (u, v, w) equal to constants.
• For example, if we set v and w to constant values,
v = v0 and w = w0, we obtain a parametric equation
for a curve given by the intersection of v = v0 and
w = w0 ,

r (u) = x(u, v0 , w0 ) i + y(u, v0, w0 ) j + z(u, v0, w0 ) k ,

• This is a parametric equation in which u plays the


role of a coordinate along the curve defined by the
constraints v = v0 and w = w0.
12 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

z
θ = constant ,
r = constant curve
φ
r = constant
surface

Figure 2.1: Surfaces and curves arising from constraints.

Figure 2.1 illustrates for the case of spherical polar coor-


dinates (r, θ , ϕ ):
• The surface corresponding to r = constant is a sphere
parameterized by the variables θ and ϕ .
• The constraint θ = constant corresponds to a cone
parameterized by the variables r and ϕ .
• Setting both r and θ to constants defines a curve that
is the intersection of the sphere and the cone, which
is parameterized by the variable ϕ .
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 13

• Partial differentiation of

r = x(u, v, w) i + y(u, v, w) j + z(u, v, w) k ,

with respect to u, v, and w, respectively, gives tangents to the


coordinate curves passing though the point P.
• These may be used to define a set of basis vectors e i through
∂r ∂r ∂r
eu ≡ ev ≡ ew ≡ ,
∂u ∂v ∂w

with all partial derivatives evaluated at the point P = (u0, v0 , w0 ).


• This basis, generated by the tangents to the coordinate curves,
is sometimes termed the natural basis. The following example
illustrates for a spherical coordinate system.
14 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.1
Consider the spherical coordinate system defined through

x = r sin θ cos ϕ y = r sin θ sin ϕ z = r cos θ .

The position vector r is

r = (r sin θ cos ϕ ) i + (r sin θ sin ϕ ) j + (r cos θ ) k ,

and the natural basis is obtained from


∂r
e1 ≡ er = = (sin θ cos ϕ ) i + (sin θ sin ϕ ) j + (cos θ ) k
∂r
∂r
e2 ≡ e θ = = (r cos θ cos ϕ ) i + (r cos θ sin ϕ ) j − (r sin θ ) k
∂θ
∂r
e3 ≡ eϕ = = −(r sin θ sin ϕ ) i + (r sin θ cos ϕ ) j .
∂ϕ
These basis vectors are mutually orthogonal because

e1 ·ee2 = e2 ·ee3 = e3 ·ee 1 = 0

For example,

e1 ·ee2 = r sin θ cos θ cos2 ϕ + r sin θ cos θ sin2 ϕ − r cos θ sin θ


= r sin θ cos θ (cos2 ϕ + sin2 ϕ ) −r cos θ sin θ = 0.
| {z }
=1
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 15

From the scalar products of the basis vectors with themselves, their
lengths are

|ee1 | = 1 |ee2 | = r |ee3 | = r sin θ

and we can use these to define a normalized basis,


e1
êe1 ≡ = (sin θ cos ϕ ) i + (sin θ sin ϕ ) j + (cos θ ) k
|ee1 |
e2
êe2 ≡ = (cos θ cos ϕ ) i + (cos θ sin ϕ ) j − (sin θ ) k
|ee2 |
e3
êe3 ≡ = −(sin ϕ ) i + (cos ϕ ) j .
|ee3 |
These basis vectors is now

• mutually orthogonal and


• of unit length.

They are illustrated in the following figure.


16 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

φ = constant
θ = constant , half-plane
z
r = constant curve
er

r = constant eφ
P
surface

x
φ

Figure 2.2: Basis vectors for the natural basis in spherical coordinates.

Figure 2.2 illustrates the geometry of the basis vectors de-


rived in the preceding example.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 17

• In many applications it is usual to assume that the


coordinate system is orthogonal so that the basis vec-
tors
∂r ∂r ∂r
eu ≡ ev ≡ ew ≡ ,
∂u ∂v ∂w

are mutually orthogonal, and to normalize these basis


vectors to unit length.
• In the more general applications that will interest us,
the natural basis defined by the partial derivatives
in the preceding equation need not be orthogonal or
normalized to unit length

However, in the simple examples shown so


far the natural basis is in fact orthogonal.
18 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.2 Dual Basis

It is also perfectly valid to construct a basis at the point P by using the


normals rather than the tangents to the coordinate surfaces to define
the basis vectors.

• We assume that

x = x(u, v, w) y = y(u, v, w) z = z(u, v, w),

is invertible so we may solve for

u = u(x, y, z) v = v(x, y, z) w = w(x, y, z),

• The gradients
∂u ∂u ∂u
∇u = i+ j+ k
∂x ∂y ∂z
∂v ∂v ∂v
∇v = i + j+ k
∂x ∂y ∂z
∂w ∂w ∂w
∇w = i+ j+ k
∂x ∂y ∂z
are normal to the three surfaces through P defined by u = u0 ,
v = v0 , and w = w0 , respectively.
• Therefore, we may choose as an alternative to the natural basis
∂r ∂r ∂r
eu ≡ ev ≡ ew ≡ ,
∂u ∂v ∂w

the basis
eu ≡ ∇u ev ≡ ∇v e w ≡ ∇ w.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 19

• This basis (eeu , e v , e w ), defined in terms of normals, is said to be


the dual of the normal basis, defined in terms of tangents.
• Notice that we have chosen to distinguish the basis

eu ≡ ∇u ev ≡ ∇v e w ≡ ∇ w.

from the basis


∂r ∂r ∂r
eu ≡ ev ≡ ew ≡ ,
∂u ∂v ∂w

by using superscript indices and subscript indices, respectively.

These two bases are equally valid.


• For orthogonal coordinate systems the set of normals
to the planes corresponds to the set of tangents to
the curves in orientation, differing possibly only in
length.
• If the basis vectors are normalized, the normal ba-
sis and the dual basis for orthogonal coordinates are
equivalent and our preceding distinction is not signif-
icant.
• However, for non-orthogonal coordinate systems the
two bases generally are not equivalent and the dis-
tinction between upper and lower indices is relevant.
The following example illustrates.
20 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.2
Define a coordinate system (u, v, w) in terms of cartesian coordinates
(x, y, z) through

x = u+v y = u−v z = 2uv + w.

The position vector for a point r is then

r = x i + y j + z k = (u + v) i + (u − v) j + (2uv + w) k

The natural basis is


∂r
e1 ≡ eu = = i + j + 2vkk
∂u
∂r
e2 ≡ ev = = i − j + 2ukk
∂v
∂r
e3 ≡ ew = = k.
∂w
Solving the original equations for (u, v, w),

u = 12 (x + y) v = 21 (x − y) w = z − 21 (x2 − y2),

and thus the dual basis is


∂u ∂u ∂u
e1 ≡ eu = i+ j + k = 12 (ii + j )
∂x ∂y ∂z
∂v ∂v ∂v
e2 ≡ ev = i+ j + k = 12 (ii − j )
∂x ∂y ∂z
∂w ∂w ∂w
e3 ≡ ew = i+ j+ k = −(u + v) i + (u − v) j + k .
∂x ∂y ∂z
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 21

• For the natural basis we find from the preceding expressions

e 1 ·ee2 = 4uv e 2 ·ee3 = 2u e 3 ·ee1 = 2v,

where the orthonormality of the basis (ii, j , k ) has been used.


Thus the normal basis is non-orthogonal.
• Taking the scalar products of the natural basis vectors with them-
selves gives

e 1 ·ee1 = 2 + 4v2 e 2 ·ee2 = 2 + 4u2 e 3 ·ee3 = 1,

so the natural basis is also not normalized to unit length.


• It is also clear from the above expressions that generally e i is
not parallel to e i , so in this non-orthogonal case we see that the
normal basis and the dual basis are distinct.
22 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The preceding example illustrates that for the general case


of coordinate systems that are not orthogonal,

eu ≡ ∇u ev ≡ ∇v ew ≡ ∇w (dual basis)

and
∂r ∂r ∂r
eu ≡ ev ≡ ew ≡ (natural basis)
∂u ∂v ∂w
define different but equally valid bases, and the placement
of indices in upper or lower positions is important.

Since in formulating general relativity we


shall generally be dealing with curvilinear
coordinate systems that are not orthogonal,
the reader henceforth should assume that the
placement of indices in equations (upper or
lower positions) is significant.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 23

2.1.3 Expansion of Vectors

An arbitrary vector ℓ may be expanded in terms of either the natural


or the dual basis:
3
1 2 3
ℓ = ℓ e1 + ℓ e2 + ℓ e3 = ∑ ℓi e i ≡ ℓi e i (natural basis)
i=1
3
e1 e2
ℓ = ℓ1 e + ℓ2 e + ℓ3 e = e3 ∑ ℓi e i ≡ ℓi e i (dual basis)
i=1

where we have introduced in the last step of each equation the Ein-
stein summation convention:

• An index appearing twice on one side of an equation, once as a


lower index and once as an upper index, implies a summation on
that index.
• The summation index is termed a dummy index; notice that sum-
mation on a dummy index on one side of an equation implies that
it does not appear on the other side of the equation.
• Generally also, if an index appears more than twice on the same
side of an equation, it is an indication of either a mistake or
sloppy and confusing notation.
• Since the dummy (repeated) index is summed over, it should also
be apparent that it does not matter what the repeated index is, as
long as it is not equivalent to another index in the equation.

From this point onward, we shall often assume the Einstein summa-
tion convention because it generally leads to more compact equations
that are easier to read.
24 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.4 Scalar Product of Vectors and the Metric Tensor

• The upper-index coefficients ℓi of the basis vectors e i are termed


the contravariant components of the vector,
• The lower-index coefficients ℓi of the basis vectors e i are termed
the covariant components of the vector.
• The preceding discussion indicates that the covariant and con-
travariant components of a vector generally are distinct for non-
orthogonal coordinate systems.
• From the definitions
∂r ∂ ∂ ui ∂ ui ∂ ui
ei ≡ = (x i +y j +z k ) e i ≡ ∇ ui = i+ j+ k
∂ ui ∂ ui ∂x ∂y ∂z

and the chain rule for partial differentiation, we have


∂r
e i ·ee j = ∇ui ·
∂u j
∂ ui ∂ x ∂ ui ∂ y ∂ ui ∂ z
= + +
∂x ∂u j ∂y ∂u j ∂z ∂u j
∂ ui
= j = δ ji ,
∂u
where we have used that the unit vectors i , j , and k are orthogo-
nal, and the Kronecker delta is defined by
(
1 (i = j)
δ ji = .
0 (i 6= j)
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 25

• Therefore, we may write that

ℓ ·ee j = ℓi e i ·ee j = ℓi δi = ℓ j ,
j

and similarly for ℓ ·ee j ,


• Thus the covariant and contravariant components of the vector ℓ
are given by the scalar products.

ℓi = ℓ ·eei ℓi = ℓ ·eei .

• Utilizing the preceding expression, we may write the scalar prod-


uct of two vectors a and b as

a ·bb = (ai e i )·(b j e j ) = e i ·ee j ai b j = gi j ai b j ,

where the metric tensor gi j is defined by

gi j ≡ e i ·ee j .
26 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• Equivalently, we can write

a ·bb = ai e i ·b j e j = gi j ai b j ,

where the metric tensor gi j with two upper indices is defined by

gi j ≡ e i ·ee j ,

• Also, we can write

a ·bb = ai e i ·b j e j = gij ai b j ,

where the metric tensor gij with mixed upper and lower indices
is defined by
gij ≡ e i ·ee j = δ ji ,

• From these considerations it follows that the scalar product of


two vectors may be written in any of the following equivalent
ways,

a ·bb ≡ ai bi ≡ ai bi = gi j ai b j = gi j ai b j = gij ai b j .

• Expressions of the form ai bi ≡ ∑i ai bi are termed complete con-


tractions on the index i, since the sum on the repeated index
removes it from the expression (it does not appear on the left
side of the equation).
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 27

2.1.5 Properties of the Metric Tensor

• Because it may be defined through scalar products of basis vec-


tors, the metric tensor must be symmetric in its indices:

gi j = g ji gi j = g ji .

• Since

gi j ai b j = gi j b j ai = ai bi gi j ai b j = gi j b j ai = ai bi

are valid for arbitrary vector components, it follows that

gi j b j = bi gi j b j = bi .

That is,

Contraction with the metric tensor may be used to raise or


lower an index on a vector.

• From the two expressions in the preceding equation

bi = gi j b j = gi j g jk bk ,

and since this is valid for arbitrary components bi , it follows that


the metric tensor obeys

gi j g jk = gk j g ji = δki
28 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

• Viewing gi j as the elements of a matrix G and gi j as the elements


of a matrix G̃, the equations

gi j = g ji gi j = g ji .

are equivalent to the matrix equations G = GT and G̃ = G̃T , where


T denotes the transpose of the matrix. The Kronecker delta is
just the 3×3 unit matrix I, implying that

gi j g jk = gk j g ji = δki

may be written as the matrix equations

G̃G = GG̃ = I.

• Therefore,

The matrix corresponding to the covariant components of


the metric tensor is the inverse of the matrix corresponding
to the contravariant components of the metric tensor, and
one may be obtained from the other by matrix inversion.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 29

Box 2.1 The Metric Tensor

Definition: gi j ≡ e i ·ee j gi j ≡ e i ·ee j gij ≡ e i ·ee j = δ ji


Scalar Product: a ·bb = gi j ai b j = gi j ai b j = gij ai b j = ai bi = ai bi
Symmetry: gi j = g ji gi j = g ji
Contractions: gi j b j = bi gi j b j = bi
Orthogonality: gi j g jk = gk j g ji = δki
Matrix Properties : G̃G = GG̃ = I G ≡ [gi j ] G̃ ≡ [gi j ]

Some basic properties of the metric tensor are summarized in Box


2.1.
30 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.1.6 Line Elements and Distances

• Assume coordinates u1 (t), u2(t), and u3(t) parameterized by t.


• As the parameter t varies, the points characterized by the specific
values of the coordinates
u1 = u1(t) u2 = u2(t) u3 = u3(t)
will trace out a curve in the three-dimensional space.
• The position vector for these points as a function of t is
r (t) = x(u1 (t), u2 (t), u3 (t)) i + y(u1 (t), u2 (t), u3 (t)) j
+z(u1(t), u2 (t), u3 (t)) k ,
• By the chain rule
drr ∂ r du1 ∂ r du2 ∂ r du3
= + 2 + 3
dt ∂ u1 dt ∂ u dt ∂ u dt
ṙr = u̇1e 1 + u̇2e 2 + u̇3e 3,
where the definitions
drr ∂r i dui
ṙr ≡ ei ≡ i u̇ ≡
dt ∂u dt
have been used.
• In summation convention this equation is ṙr = u̇i e i , which may
be expressed in differential form as drr = dui e i . Thus the squared
infinitesimal distance along the curve is
ds2 = drr ·drr = dui e i ·du j e j
= e i ·ee j dui du j
= gi j dui du j ,
where gi j ≡ e i ·ee j has been used.
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 31

• Notice that in expressing the line element we use the usual con-
vention that dα 2 ≡ (dα )2 ; that is, dα 2 means the square of dα ,
not the differential of α 2.
• Thus ds2 = gi j dui du j is the infinitesimal line element for the
space described by the metric gi j .
• The length d of a finite segment between points a and b is ob-
tained from the integral
Z b 1/2
dui du j
d= gi j dt,
a dt dt

where t parameterizes the position along the segment.


32 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

Example 2.3
For plane polar coordinates (r, ϕ ) we have

x = r cos ϕ y = r sin ϕ ,

so the position vector may be expressed as

r = (r cos ϕ ) i + (r sin ϕ ) j .

Then the basis vectors in the natural basis are


∂r ∂r
e1 = = (cos ϕ )ii + (sin ϕ ) j e2 = = −r(sin ϕ ) i + r(cos ϕ ) j .
∂r ∂ϕ
The elements of the metric tensor then follow from gi j ≡ e i ·ee j :

g11 = cos2 ϕ + sin2 ϕ = 1 g22 = r2(cos2 ϕ + sin2 ϕ ) = r2

and g12 = g21 = 0, or in matrix form


!
1 0
gi j = .
0 r2

Then the line element is

ds2 = gi j dxi du j = g11 (du1 )2 + g22(du2 )2 = dr2 + r2dϕ 2 ,

where u1 = r and u2 = ϕ .
2.1. COORDINATE SYSTEMS IN EUCLIDEAN SPACE 33

(a) (b)
ds 2 = dx 2 + dy 2 ds 2 = dr 2 + r 2 dφ 2

rdφ
(x, y)
ds (r + dr , φ + dφ)
y ds y (r, φ)
dy
(x + dx , y + dy) dr

dx

x x

Figure 2.3: Examples of measuring distance in cartesian and plane polar coordi-
nates in a euclidean space.

These line elements expressed in cartesian and polar coordinates are


illustrated in Fig. 2.3.

• Figs. 2.3(a) and (b) correspond to the same space, parameterized


in terms of different coordinates.
• The form of the line element is different in the two parameteri-
zations, but for any two nearby points the distance between them
is given by ds, independent of the coordinate system.
• Thus, the line element ds is invariant under coordinate transfor-
mations.
• Since the distance between any two points that are not nearby
can be obtained by integrating ds, we conclude that generally the
distance between any two points is invariant under coordinate
transformations for metric spaces.
34 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

The line element, which is specified in terms of the metric


tensor, characterizes the geometry of the space because
• integrals of the line element define distances and
• angles can be defined in terms of ratios of distances.
Indeed, we could verify all the axioms of euclidean ge-
ometry starting from the line elements if we chose to do
so.
2.2. NON-EUCLIDEAN GEOMETRY 35

S
r
C = 2πr θ

φ x

Figure 2.4: Measuring the circumference of a circle in curved space.

2.2 Non-Euclidean Geometry

Let us now consider non-euclidean geometries. A simple example of


non-euclidean geometry is afforded by a sphere.

• Imposing a standard polar coordinate system (θ , ϕ ) on the sur-


face of the sphere, the line element for a sphere is given by (Ex-
ercise)
ds2 = R2(d θ 2 + sin2 θ dϕ 2 ),

where R is the radius of the sphere.


36 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

S
r
C = 2πr θ

φ x

Let us calculate the ratio of the circumference of a circle to its radius


for this non-euclidean space.

• We may define a circle in the two-dimensional space by marking


a locus of points lying a constant distance S from a reference
point, which we choose to be the north pole in the above figure.
• The θ angle subtended by S is S/R and r = R sin(S/R). Then
from the geometry in the above figure, the circumference of the
circle is
 
S S2
C = 2π r = 2π R sin = 2π S 1 − 2 + . . . .
R 6R

• Alternatively, we may obtain the same result by integrating the


line element ds2 = R2 (d θ 2 + sin2 θ dϕ 2 ),
I Z 2π
S S
C= ds = R sin dϕ = 2π R sin .
0 R R
2.2. NON-EUCLIDEAN GEOMETRY 37

S
r
C = 2πr θ

φ x

• If the radius of the circle is much less than the radius of the
sphere, the higher-order terms in the expansion of the sine may
be ignored and we obtain the euclidean result C ≃ 2π S.
• But more generally the deviation of the circumference of small
circles drawn on the sphere from 2π S is a measure of how much
the sphere deviates from euclidean geometry.

Later, we will see how to use such considerations to de-


fine a quantitative measure of curvature for non-euclidean
surfaces.
38 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

2.3 Transformations

It often proves useful to express physical quantities in


more than one coordinate system. It therefore becomes
necessary to understand how to transform between coor-
dinate systems. This issue becomes particularly important
in general relativity where it is essential to ensure that the
laws of physics are not altered by the most general trans-
formation between coordinate systems.
2.3. TRANSFORMATIONS 39

e2
e'2

x2
e'1

x
x2' x1'

φ
e1
x1

Figure 2.5: Rotation of coordinate system for a vector x .

2.3.1 Rotational Symmetries

Consider the familiar example of the description of a vector under


rotation of a coordinate system about the z axis by an angle ϕ , as
illustrated in Fig. 2.5.

• In terms of the original basis vectors {eei } the vector x has the
components x1 and x2 .
• After rotation of the coordinate system by the angle ϕ to give
the new basis vectors {ee′i }, the vector x has the components x′1
and x′2 in the new coordinate system.
• The vector x can be expanded in terms of the components for
either of these bases:

x = xi e i = x′i e ′i ,
40 CHAPTER 2. COORDINATE SYSTEMS AND TRANSFORMATIONS

e2
e'2

x2
e'1

x
x2' x1'

φ
e1
x1

• We may use the geometry of the above figure to find that the
components in the two bases are related by the transformation
    
x′1 cos ϕ sin ϕ 0 x1
    
 x′2  =  − sin ϕ cos ϕ 0   x2  ,
    
x′3 0 0 1 x3

which may also be expressed as

x′i = Rij x j ,

where the Rij are the elements of the matrix in the preceding
equation.
• This transformation law holds for any vector. (We may, in fact,
define a vector in the x–y plane to be a quantity that obeys this
transformation law.)
2.3. TRANSFORMATIONS 41

2.3.2 Galilean Transformations

Another simple example of a transformation is that between inertial


frames in classical mechanics.

• Transformations between inertial frames with the same orienta-


tion are called boosts.
• In Newtonian physics time is considered an absolute quantity
and boosts take the Galilean form

x ′ = x ′ (xx,t) = x − vt t ′ = t ′ (xx ,t) = t.

• The Newtonian version of relativity asserts that the laws of physics


are invariant under such Galilean transformations.
• Although the laws of mechanics at low velocity are invariant
under Galilean transformations, the laws of electromagnetism
(Maxwell’s equations) are not.
• Indeed, the failure of Galilean invariance for the Maxwell equa-
tions was a large motivation in Einstein’s eventual demonstration
that laws of mechanics are not covariant with respect to Galilean
transformations at high velocity.
• As we shall discuss further later, in the absence of gravity the
laws of both mechanics and electromagnetism are generally only
invariant under Lorentz transformations.
• In the presence of a gravitational field, neither Galilean nor Lorentz
invariance holds and we will be forced to seek a more general
invariance to describe systems that are subject to gravitational
forces.

You might also like