Space Time Matter
Space Time Matter
This eBook is for the use of anyone anywhere at no cost and with
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org
Title: Space--Time--Matter
Language: English
transcriber’s note
The camera-quality files for this public-domain ebook may
be downloaded gratis at
www.gutenberg.org/ebooks/43006.
HERMANN WEYL
HERMANN WEYL
Ribbitz in Mecklenburg
Easter, 1918
HERMANN WEYL
Acla Pozzoli, near Samaden
August, 1919
HERMANN WEYL
Zürich, November, 1920
TRANSLATOR’S NOTE
In this rendering of Professor Weyl’s book into English, pains
have been taken to adhere as closely as possible to the original,
not only as regards the general text, but also in the choice of
English equivalents for technical expressions. For example, the
word affine has been retained. It is used by Möbius in his Der
Barycentrische Calcul, in which he quotes a Latin definition of the
term as given by Euler. Veblen and Young have used the word in
their Projective Geometry, so that it is not quite unfamiliar to En-
glish mathematicians. Abbildung, which signifies representation,
is generally rendered equally well by transformation, inasmuch as
it denotes a copy of certain elements of one space mapped out on,
or expressed in terms of, another space. In some cases the Ger-
man word is added in parenthesis for the sake of those who wish
to pursue the subject further in original papers. It is hoped that
the appearance of this English edition will lead to further efforts
towards extending Einstein’s ideas so as to embrace all physical
knowledge. Much has been achieved, yet much remains to be done.
The brilliant speculations of the latter chapters of this book show
how vast is the field that has been opened up by Einstein’s genius.
The work of translation has been a great pleasure, and I wish to
acknowledge here the courtesy with which suggestions concern-
ing the type and the symbols have been received and followed by
Messrs. Methuen & Co. Ltd. Acting on the advice of interested
mathematicians and physicists I have used Clarendon type for
the vector notation. My warm thanks are due to Professor G. H.
Hardy of New College and Mr. T. W. Chaundy, M.A., of Christ
Church, for valuable suggestions and help in looking through the
proofs. Great care has been taken to render the mathematical
text as perfect as possible.
HENRY L. BROSE
Christ Church, Oxford
December, 1921
CONTENTS
PAGE
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
CHAPTER I
CHAPTER II
PAGE
§ 10. Note on Non-Euclidean Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . 113
§ 11. The Geometry of Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
§ 12. Continuation. Dynamical View of Metrical Properties . . . . . . 140
§ 13. Tensors and Tensor-densities in any Arbitrary Manifold . . . . 151
§ 14. Affinely Related Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
§ 15. Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
§ 16. Metrical Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
§ 17. Observations about Riemann’s Geometry as a Special Case. 191
§ 18. Metrical Space from the Point of View of the Theory of
Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
CHAPTER III
CHAPTER IV
PAGE
§ 27. The Relativity of Motion, Metrical Fields, Gravitation . . . . . 325
§ 28. Einstein’s Fundamental Law of Gravitation . . . . . . . . . . . . . . . . 342
§ 29. The Stationary Gravitational Field—Comparison with Ex-
periment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
§ 30. Gravitational Waves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
§ 31. Rigorous Solution of the Problem of One Body . . . . . . . . . . . . . 377
§ 32. Additional Rigorous Solutions of the Statical Problem of
Gravitation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388
§ 33. Gravitational Energy. The Theorems of Conservation . . . . . . 402
§ 34. Concerning the Inter-connection of the World as a Whole . . 409
§ 35. The Metrical Structure of the World as the Origin of Elec-
tromagnetic Phenomena . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 422
§ 36. Application of the Simplest Principle of Action. The Funda-
mental Equations of Mechanics . . . . . . . . . . . . . . . . . . . . . . . . 442
Appendix I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468
Appendix II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470
Bibliographical References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486
1
INTRODUCTION 2
OP = t · OE
t · AB = t∗ · AB,
t = at0 + b (a > 0)
t = at0 + b t0 = a0 t00 + b0
in succession, we get
t = a1 t00 + b1
where a1 = a · a0 and b1 = (ab0 ) + b; and if a and a0 are positive,
so is their product.
The theory of relativity discussed in Chapters III and IV pro-
poses the problem of relativity, not only for time-points, but for
the physical world in its entirety. We find, however, that this
INTRODUCTION 14
problem is solved once a solution has been found for it in the case
of the two forms of this world, space and time. By choosing a co-
ordinate system for space and time, we may also fix the physically
real content of the world conceptually in all its parts by means of
numbers.
All beginnings are obscure. Inasmuch as the mathematician
operates with his conceptions along strict and formal lines, he,
above all, must be reminded from time to time that the origins
of things lie in greater depths than those to which his methods
enable him to descend. Beyond the knowledge gained from the
individual sciences, there remains the task of comprehending.
In spite of the fact that the views of philosophy sway from one
system to another, we cannot dispense with it unless we are to
convert knowledge into a meaningless chaos.
CHAPTER I
EUCLIDEAN SPACE. ITS MATHEMATICAL
FORMULATION AND ITS RÔLE IN PHYSICS
§ 1. Deduction of the Elementary Conceptions of Space
from that of Equality
Just as we fixed the present moment (“now”) as a geometrical
point in time, so we fix an exact “here,” a point in space, as the
first element of continuous spatial extension, which, like time, is
infinitely divisible. Space is not a one-dimensional continuum like
time. The principle by which it is continuously extended cannot
be reduced to the simple relation of “earlier” or “later”. We shall
refrain from inquiring what relations enable us to grasp this conti-
nuity conceptually. On the other hand, space, like time, is a form
of phenomena. Precisely the same content, identically the same
thing, still remaining what it is, can equally well be at some place
in space other than that at which it is actually. The new portion
of Space S0 then occupied by it is equal to that portion S which
it actually occupied. S and S0 are said to be congruent. To
every point P of S there corresponds one definite homologous
point P 0 of S0 which, after the above displacement to a new posi-
tion, would be surrounded by exactly the same part of the given
content as that which surrounded P originally. We shall call this
“transformation” (in virtue of which the point P 0 corresponds to
the point P ) a congruent transformation. Provided that the
appropriate subjective conditions are satisfied the given material
thing would seem to us after the displacement exactly the same
as before. There is reasonable justification for believing that a
rigid body, when placed in two positions successively, realises this
15
CHAPTER I 16
A′
g
A
A∗ g
E
h E∗
Fig. 1.
I. Vectors
Two vectors a and b uniquely determine a vector a + b as
their sum. A number λ and a vector a uniquely define a vector λa,
which is “λ times a” (multiplication). These operations are subject
to the following laws:—
(α) Addition—
(1) a + b = b + a (Commutative Law).
(2) (a + b) + c = a + (b + c) (Associative Law).
(3) If a and c are any two vectors, then there is one and only
one value of x for which the equation a + x = c holds. It is called
the difference between c and a and signifies c − a (Possibility of
Subtraction).
(β) Multiplication—
(1) (λ + µ)a = (λa) + (µa) (First Distributive Law).
(2) λ(µa) = (λµ)a (Associative Law).
(3) 1 · a = a.
(4) λ(a + b) = (λa) + (λb) (Second Distributive Law).
For rational multipliers λ, µ, the laws (β) follow from the ax-
ioms of addition if multiplication by such factors be defined from
addition. In accordance with the principle of continuity we shall
also make use of them for any arbitrary real numbers, but we pur-
posely formulate them as separate axioms because they cannot be
derived in the general form from the axioms of addition by logical
reasoning alone. By refraining from reducing multiplication to ad-
dition we are enabled through these axioms to banish continuity,
which is so difficult to fix precisely, from the logical structure of
geometry. The law (β) 4 comprises the theorems of similarity.
(γ) The “Axiom of Dimensionality,” which occupies the next
place in the system, will be formulated later.
EUCLIDEAN SPACE 25
0 ≤ ξ1 ≤ 1, 0 ≤ ξ2 ≤ 1, ..., 0 ≤ ξh ≤ 1,
x = ξ1 e1 + ξ2 e2 + · · · + ξn en . (3)
EUCLIDEAN SPACE 29
will hold in which the αki form a number system which must have a
non-vanishing determinant (since the e0i are linearly independent).
If ξi are the components of a vector x in the first co-ordinate
system and ξi0 the components of the same vector in the second
co-ordinate system, then the relation
n
X
ξi = αik ξk0 (5)
k=1
If we substitute in this the expressions for e0i and use the original
co-ordinate system O | e1 , e2 , . . . , en to picture the affine trans-
formation, then, interpreting ξi as the components of any vector
and ξi0 as the components of its transformed vector,
n
X
ξi0 = αik ξk . (50 )
k=1
−→ −−→
If P becomes P 0 , the vector OP becomes O0 P 0 , and it follows from
this that if xi are the co-ordinates of P and x0i those of P 0 , then
n
X
x0i = αik xk + αi .
k=1
independent of one another from which all other gas quanta may
be built up linearly; they thus form a co-ordinate system. Let
us take another example. We have five parallel horizontal bars
upon each of which a small bead slides. A definite condition of
this primitive “adding-machine” is defined if the position of each
of the five beads upon its respective rod is known. Let us call such
a condition a “point” and every simultaneous displacement of the
five beads a “vector,” then all of our axioms are satisfied for the
dimensional number n = 5. From this it is evident that construc-
tions of various types may be evolved which, by an appropriate
disposal of names, satisfy our axioms. Infinitely more important
than these somewhat frivolous examples is the following one which
shows that our axioms characterise the basis of our opera-
tions in the theory of linear equations. If αi and α are given
numbers,
α 1 x1 + α 2 x2 + . . . + α n xn = 0 (7)
is usually called a homogeneous linear equation in the un-
knowns xi , whereas
α1 x1 + α2 x2 + . . . + αn xn = α (8)
is called a non-homogeneous linear equation. In treating the
theory of linear homogeneous equations, it is found useful to have
a short name for the system of values of the variables xi ; we shall
call it “vector”. In carrying out calculations with these vectors, we
shall define the sum of the two vectors
(a1 , a2 , . . . , an ) and (b1 , b2 , . . . , bn )
to be the vector
(a1 + b1 , a2 + b2 , . . . , an + bn )
EUCLIDEAN SPACE 35
The axioms I for vectors are then fulfilled for the dimensional
number n.
e1 = (1, 0, 0, . . . , 0),
e2 = (0, 1, 0, . . . , 0),
..................
en = (0, 0, 0, . . . , 1)
with constant co-efficients aik holds. We shall call the form “non-
degenerate” if it vanishes identically in y only when the vector
x = 0. This happens when, and only when, the homogeneous
equations
Xn
aik ξi = 0
i=1
by identifying x with y.
To prove that one and the same quadratic form cannot arise
from two different symmetrical bilinear forms, one need merely
show that a symmetrical bilinear form Q(x, y) which satisfies the
equation Q(x, x) identically for x, vanishes identically. This, how-
ever, immediately results from the relation which holds for every
EUCLIDEAN SPACE 39
Q(x0 , y0 ) = Q(x, y)
holds.
Since the conception of congruence is defined by the metrical
groundform it is not surprising that the latter enters into all for-
mulæ which concern the measure of geometrical quantities. Two
vectors a and a0 are congruent if, and only if,
Q(a) = Q(a0 ).
holds, i.e. if (
1 (i = k),
Q(ei , ej ) =
0 (i =
6 k).
From the standpoint of metrical geometry all co-ordinate sys-
tems are of equal value. A proof (appealing directly to our geo-
metrical sense) of the theorem that such systems exist will now
be given not only for a “definite” but also for any arbitrary non-
degenerate quadratic form, inasmuch as we shall find later in the
theory of relativity that it is just the “indefinite” case that plays
the decisive rôle. We enunciate as follows:—
Corresponding to every non-degenerate quadratic form Q a co-
ordinate system ei can be introduced such that
x = x 1 e 1 + x∗ (15)
x∗ = x2 e2 + · · · + xn en
the relation
Q(x∗ ) = ±x22 ± . . . ± x2n
holds. This enables Q(x) to be expressed in the required form.
Then
Q(ei ) = i Q(ei , ek ) = 0 (i =
6 k).
These relations result in all the ei ’s being independent of one
another and in each vector x being representable in the form (13).
They give
xi = i · Q(ei , x). (16)
An important corollary is to be made in the “indefinite” case.
The numbers r and s attached to the i ’s, and having positive
and negative signs respectively, are uniquely determined by the
quadratic form: it may be said to have r positive and s negative
dimensions. (s may be called the inertial index of the quadratic
form, and the theorem just enunciated is known by the name
“Law of Inertia”. The classification of surfaces of the second or-
der depends on it.) The numbers r and s may be characterised
invariantly thus:—
There are r mutually orthogonal vectors e, for which Q(e) > 0;
but for a vector x which is orthogonal to these and not equal to 0,
it necessarily follows that Q(x) < 0. Consequently there cannot
be more than r such vectors. A corresponding theorem holds for s.
EUCLIDEAN SPACE 45
y = λ1 e1 + . . . + λr er + µx
in which not all the co-efficients vanish and which satisfies the
r homogeneous equations
It is then evident from the form of the expression that Q(y) must
be negative unless y = 0. In virtue of the formula
is the equation of a cone having its vertex at the origin and consisting
of two sheets, as expressed by the negative sign of x21 , which are only
CHAPTER I 46
x = xe + x∗
such that the first is proportional and the second (x∗ ) is orthogonal
to e. One need only take x = −Q(e, x) and we then get
consequently
−Q(e0 , x) = e0 x − Q∗ (e0 , x)
has the same sign as the first summand e0 x.
Let us now revert to the case of a definitely positive metrical
groundform with which we are at present concerned. If we use a
Cartesian co-ordinate system to represent a congruent transfor-
mation, the co-efficients of transformation αik in formula (50 ), § 2,
will have to be such that the equation
once and for all as an absolute datum. Or, we may use Carte-
sian co-ordinate systems from the outset: in this case, we are
concerned with a theory of invariance for orthogonal transforma-
tions, i.e. linear transformations, in which the co-efficients satisfy
the secondary conditions (17). We must here follow the first course
so as to be able to pass on later to generalisations which extend
beyond the limits of Euclidean geometry. This plan seems ad-
visable from the algebraic point of view, too, since it is easier to
gain a survey of those expressions which remain unchanged for all
linear transformations than of those which are only invariant for
orthogonal transformations (a class of transformations which are
subjected to secondary limitations not easy to define).
We shall here develop the Theory of Invariance as a “Tensor
Calculus” along lines which will enable us to express in a conve-
EUCLIDEAN SPACE 49
nient mathematical form, not only geometrical laws, but also all
physical laws.
§ 5. Tensors
Two linear transformations,
αki ξ¯k ,
X
ξi = |αki | =
6 0 (18)
k
X
ᾰik η̄k , |ᾰik | = (180 )
ηi = 6 0
k
¯ η̄
in the variables ξ and η respectively, leading to the variables ξ,
are said to bePcontra-gredient to one another, if they make the
bilinear form i ηi ξ i transform into itself, i.e.
η̄i ξ¯i .
X X
ηi ξ i = (19)
i i
αki ξ¯k
X
ξi =
k
ξ¯i ēi .
X X
x= ξ i ei =
i i
ξ¯i =
X
αik ξk ;
k
x = ξ 1 e1 + ξ 2 e2 + · · · + ξ n en
p̄i ξ¯i
X X
pi ξ i =
i i
āki ξ¯i ek =
X X
aki ξ i ek (= x0 )
i,k i,k
holds between two co-ordinate systems (we have used the same
terminology as above) if
ξ¯i ēi =
X X
ξ i ei (= x);
i i
thus
āki ξ¯i η̄k =
X X
aki ξ i ηk
i,k i,k
EUCLIDEAN SPACE 59
Thus its mixed components are the numbers δki , its contra-variant
components are the co-efficients g ik of the equations (220 ), which
are the inverse of (22). It follows from the symmetry of the tensor
that these as well as the gik ’s satisfy the condition of symmetry
g ki = g ik .
With regard to notation we shall adopt the convention of de-
noting the co-variant, mixed, and contra-variant components of
the same tensor by similar letters, and of indicating by the posi-
tion of the index at the top or bottom respectively whether the
components are contra-variant or co-variant with respect to the
index, as is shown in the following example of a tensor of the
second order:
X X X X
aik ξ i η k = aik ξi η k = aki ξ i ηk = aik ξi ηk
i,k i,k i,k i,k
(in which the variables with lower and upper indices are connected
in pairs by (22)).
In metrical space it is clear, from what has been said, that
the difference between a co-variant and a contra-variant vector
disappears: in this case we can represent a force, which, according
to our view, is by nature a co-variant vector, as a contra-variant
vector, too, i.e. by aP displacement. For, as we represented it above
by the linear form i pi ξ i in the contra-gredient variables ξ i , we
can now transform the latterPby means of (220 ) into one having
co-gredient variables ξi , viz. i pi ξi . We then have
X X X X
pi ξi = gik pi ξ k = gik pk ξ i = pi ξ i ;
i i,k i,k i
dxi
respectively, as functions of the time t. The derivatives are
dt
the contra-variant components ui of the vector “velocity”. By mul-
tiplying it by the mass m of the moving-point, m being a scalar
which serves to express the inertia of matter, we get the “impulse”
(or “momentum”). By adding the impulses of several points of
mass or of those, respectively, of which one imagines a rigid body
to be composed in the mechanics of point-masses, we get the total
impulse of the point-system or of the rigid body. In the case of
continuously extended matter we must supplant these sums by
integrals. The fundamental law of motion is
dGi
= pi ; Gi = mui (25)
dt
where Gi denote the contra-variant components of the impulse of
a mass-point and pi denote those of the force.
Since, according to our view, force is primarily a co-variant
vector, this fundamental law is possible only in a metrical space,
but not in a purely affine one. The same law holds for the total
impulse of a rigid body and for the total force acting on it.
Multiplication ofPTensors.—By multiplying together two
linear forms i ai ξ , i bi η i in the variables ξ and η, we get a
i
P
bilinear form X
ai b k ξ i η k
i,k
and hence from the two vectors a and b we get a tensor c of the
second order, i.e.
ai bk = cik . (26)
Equation (26) represents an invariant relation between the vectors
a and b and the tensor c, i.e. if we pass over to a new co-ordinate
EUCLIDEAN SPACE 65
system precisely the same equations hold for the components (dis-
tinguished by a bar) of these quantities in this new co-ordinate
system, i.e.
āi b̄k = c̄ik .
In the same way we may multiply a tensor of the first order by
one of the second order (or generally, a tensor of any order by a
tensor of any order). By multiplying
X X
ai ξ i by bki η i ζk
i i,k
ai · blk = clik .
q ik = pi ξ k − pk ξ i .
This gives X
ξi δξ i = 0.
i
EUCLIDEAN SPACE 69
vki + vik = 0
i.e. the tensor which has vik for its co-variant components is skew-
symmetrical.
A rigid body in motion experiences an infinitely small rota-
tion during an infinitely small element of time δt. We need only
to divide by δt the infinitesimal rotation-tensor v just formed to
derive (in the limit when δt → 0) the skew-symmetrical tensor
“angular velocity,” which we shall again denote by v. If ui signify
the contra-variant components of the velocity of the point P , and
ui its co-variant components in the formulæ (28), the latter re-
solves into the fundamental formula of the kinematics of a rigid
body, viz. X
ui = vik ξ k . (29)
k
i,k
and
X X X
ārr = k
ai i r
αr ᾰk
r i,k r
X
= aii by (200 ).
i
The invariant i aii which has been formed from the compo-
P
nents aki of a matrix is called the trace (spur) of the matrix.
This theorem enables us immediately to carry out a general
operation on tensors, called “contraction,” which takes a second
place to multiplication. By making a definite upper index in the
mixed components of a tensor coincide with a definite lower one,
and summing over this index, we derive from the given tensor a
new one the order of which is two less than that of the original
one, e.g. we get from the components alm hik of a tensor of the fifth
order a tensor of the third order, thus:—
X
alr l
hir = chi . (30)
r
viz. X
ālr l
hir = c̄hi . (31)
r
f¯rr
X X
frr =
r r
in which the c’s are defined by (30), the c̄’s by (31). The c̄lhi ’s are
thus, in point of fact, the components of the same tensor of the
third order in the new system, of which the components in the old
one = clih .
Examples of this process of contraction have been met with
in abundance in the above. Wherever summation took place with
respect to certain indices, the summation index appeared twice in
the general member of summation, once above and once below the
co-efficient: each such summation was an example of contraction.
For example, in formula (29): by multiplication of vik with ξ i one
can form the tensor vik ξ l of the third order; by making k coincide
with l and summing for k, we get the contracted tensor of the first
order ui . If a matrix A transforms the arbitrary displacement x
EUCLIDEAN SPACE 73
By formula (29)
dξ¯i
= v̄ir ξ¯r = v̄ir ξ¯r .
dt
CHAPTER I 76
If we then write T1 in place of T11 , and do the same for the re-
maining indices, our equations in this co-ordinate system assume
the simple form
dvik
(Ti + Tk ) = (Tk − Ti )(v, v)ik .
dt
These are the differential equations for the components vik of the
unknown angular velocity—equations which, as is known, may
be solved in elliptic functions of t. The principal moments of
inertia Ti which occur here are connected with those, Ti∗ , given in
accordance with the usual definitions by the equations
ξ i η k − ξ k η i = ξ ik
EUCLIDEAN SPACE 81
ξi ξ i = gik ξ i ξ k = Q(ξ)
g · (ξ 123 )2
ai bk − ak bi = cik , (37)
ai bkl − ak bli + al bik = cikl . (38)
The former produces a linear tensor of the second order from two
linear tensors of the first order; the latter produces a linear tensor
of the third order from one of the first and one of the second.
Sometimes conditions of symmetry more complicated than
those considered heretofore occur. In the realm of quadrilinear
forms F (ξ, η, ξ 0 , η 0 ) those play a particular part which satisfy the
conditions
but only one “for each point”: in mathematical language they are
“functions of the place or point”. According as we are dealing with
a scalar, vector, or tensor, we speak of a scalar, vector, or tensor
field.
Such a field is given if a scalar, vector, or tensor of the proper
type is assigned to every point of space or to a definite region of
it. If we use a definite co-ordinate system the value of the scalar
quantities or of the components of the vector or tensor quantities
respectively, appear in the co-ordinate system as functions of the
co-ordinates of a variable point in the region under consideration.
Tensor analysis tells us how, by differentiating with respect to
the space co-ordinates, a new tensor can be derived from the old
one in a manner entirely independent of the co-ordinate system.
This method, like tensor algebra, is of extreme simplicity. Only
one operation occurs in it, viz. differentiation.
If
φ = f (x1 , x2 , . . . , xn ) = f (x)
denotes a given scalar field, the change of φ corresponding to an
infinitesimal displacement of the variable point, in which its co-
ordinates xi suffer changes dxi respectively, is given by the total
differential
∂f ∂f ∂f
df = dx1 + dx2 + · · · + dxn .
∂x1 ∂x2 ∂xn
This formula signifies that if the ∆xi are first taken as the compo-
nents of a finite displacement and the ∆f are the corresponding
changes in f , then the difference between
X ∂f
∆f and ∆xi
i
∂x i
CHAPTER I 86
∂ui
∂xi
which is known in vector analysis as “divergence” (div.).
By differentiating and contracting a tensor of the second order
having mixed components Sik we derive the vector
∂Sik
.
∂xk
If vik are the components of a linear tensor field of the second
order, then, analogously to formula (38) in which we substitute v
EUCLIDEAN SPACE 89
have
Sn = (a1 S1 + a2 S2 + a3 S3 ).
With the help of (43) this formula may be extended immediately
to the case in which the tetrahedron is situated in any of the re-
maining 7 octants. If we call the components of Si with respect to
the co-ordinate axes Si1 , Si2 , Si3 , and if ξ i , η i are the components
of any two arbitrary displacements of length 1, then
X
Sik ξ i η k (44)
i,k
The same holds for the x2 and the x3 component. We have thus
CHAPTER I 92
S ξiξk
P
P ik i k
gik ξ ξ
is the component of the pressure per unit surface for the com-
ponent in the direction ξ, which acts on an element of surface
placed at right angles to this direction. (We may here again use
any arbitrary affine co-ordinate system.) The stresses are fully
CHAPTER I 94
δSik
−pi = . (47)
δxk
In the case of a pressure p which is equal in all directions
δp
Sik = p · δik , pi = − .
δxi
As a result of the foregoing reasoning we have formulated in
exact terms the conception of stress alone, and have discovered
how to represent it mathematically. To set up the fundamental
laws of the theory of elasticity it is, in addition, necessary to find
out how the stresses depend on the distortion brought about in
the matter by the impressed forces. There is no occasion for us to
discuss this in greater detail.
p = ρE. (52)
quadratic scheme
1 2
(E2 + E32 − E12 ) −E1 E2 −E1 E3
2 1 2 2 2
−E2 E1 2
(E3 + E1 − E2 ) −E2 E3 (53)
1
2 2 2
−E3 E1 −E3 E2 2
(E1 + E2 − E3 )
field intensity
|E|2 = Ei E i
then we have
Sik = 21 gik |E|2 − Ei Ek .
These are the co-variant stress components not only in a Cartesian
but also in any arbitrary affine co-ordinate system, if Ei are the co-
variant components of the field intensity. The physical significance
of these stresses is extremely simple. If, for a certain point, we
use rectangular co-ordinates, the x1 axis of which points in the
direction E: then
E1 = |E|, E2 = 0, E3 = 0;
i.e. Z
U= 1
2
|E|2 dV. (55)
div E = ρ − div m.
D=E+m
D = E (58)
i.e. are continuous. The same total current flows through every
cross-section of each tube. In no wise does it follow from the laws
holding in a stationary field, nor does it come into consideration
for such a field, that this current is an electric current in the or-
dinary sense, i.e. that it is composed of electricity in motion; this
is, however, without doubt the case. In view of this fact the law
div s = 0 asserts that electricity is neither created nor destroyed.
It is only because the flux of the current vector through a closed
surface is nil that the density of electricity remains everywhere
unchanged—so that electricity is neither created nor destroyed.
(We are, of course, dealing with stationary fields exclusively.) The
expression vector potential f , introduced above, also satisfies
the equation div f = 0.
Being an electric current, s is without doubt a vector in the
true sense of the word. It then follows, however, from the Law of
Biot and Savart that H is not a vector but a linear tensor of
the second order. Let its components in any co-ordinate system
(Cartesian or even merely affine) be Hik . The vector potential f
is a true vector. If φi are its co-variant components and si the
contra-variant components of the current-density (the current is
like velocity fundamentally a contra-variant vector), the following
table gives us the final form (independent of the dimensional num-
ber) of the laws which hold in the magnetic field produced
by a stationary electric current.
∂Hkl ∂Hli ∂Hik
+ + = 0, (621 )
∂xi ∂xk ∂xl
CHAPTER I 110
∂φi ∂φk
Hik = − respectively
∂xk ∂xi
∂Hik
= si . (622 )
∂xk
The stresses are determined by:
Sik = Hir H kr − 21 δik |H|2 (623 )
in which |H| signifies the strength of the magnetic field:
|H|2 = Hik H ik .
The stress tensor is symmetrical, since
Hir Hkr = Hir Hkr = g rs Hir Hks .
The components of the force-density are
pi = Hki sk . (624 )
The energy-density = 12 |H|2 .
These are the laws that hold for the field in empty space.
We regard them as being exact physical laws which are generally
valid, as in the case of electricity. For a phenomenological theory it
is, however, necessary to take into consideration the magnetisa-
tion, a phenomenon analogous to dielectric polarisation. Just as
D occurred in conjunction with E, so the “magnetic induction” B
associates itself with the intensity of field H. The laws
curl H = s, div B = 0
hold in the field, as does the law which takes account of the mag-
netic character of the matter
B = µH. (63)
EUCLIDEAN SPACE 111
s = σE (σ = conductivity).
It asserts that the current follows the fall of potential and is pro-
portional to it for a given conductor. Corresponding to Ohm’s
Law we have in the atomic theory the fundamental law of me-
chanics, according to which the motion of the “free” electrons is
determined by the electric and magnetic forces acting on them
which thus produce an electric current. Owing to collisions with
the molecules no permanent acceleration can come about, but
(just as in the case of a heavy body which is falling and experi-
ences the resistance of the air) a mean limiting velocity is reached,
which may, to a first approximation at least, be put proportional
to the driving electric force E. In this way Ohm’s Law acquires a
meaning.
CHAPTER I 112
113
CHAPTER II 114
P
′′
s s s′
g
Fig. 2.
C′ A′ B′
g′
C A B
g
h
Fig. 3.
often happens, the simplest way of proving this was not discovered
at once. It was discovered by Klein as late as 1870 and depends
on the construction of a Euclidean model for non-Euclidean
geometry (vide note 2). Let us confine our attention to the plane!
In a Euclidean plane with rectangular co-ordinates x and y we
shall draw a circle U of radius unity with the origin as centre.
Introducing homogeneous co-ordinates
x1 x2
x= , y=
x3 x3
(so that the position of a point is defined by the ratio of three
numbers, i.e. x1 : x2 : x3 ), the equation to the circle becomes
Let us denote the quadratic form on the left by Ω(x) and the
corresponding symmetrical bilinear form of two systems of value,
xi , x0i by Ω(x, x0 ). A transformation which assigns to every point x
a transformed point x0 according to the linear formulæ
3
X
x0i = αik xk (|αik | =
6 0)
k=1
B1
A
P
g A′ U
A′′
B2
Fig. 4.
Let the straight line AA0 cut the circle U in the two points, B1 , B2 .
The homogeneous co-ordinates yi of these two points are of the
form
yi = λxi + λ0 x0i
and the corresponding ratio of the parameters, λ : λ0 , is given by
the equation Ω(y) = 0, viz.
p
λ −Ω(x, x0 ) ± Ω2 (x, x0 ) − Ω(x)Ω(x0 )
= .
λ0 Ω(x)
which can be resolved into terms of x0i and in which the fi ’s are
continuous functions of their arguments. As long as nothing more
is known about the manifold, we cannot distinguish any one co-
ordinate system from the others. For an analytical treatment of
arbitrary continuous manifolds we thus require a theory of in-
variance with regard to arbitrary transformation of co-ordinates,
such as (3), whereas for the development of affine geometry in the
preceding chapter we used only the much more special theory of
invariance for the case of linear transformations.
Differential geometry deals with curves and surfaces in three-
dimensional Euclidean space; we shall here consider them mapped
out in Cartesian co-ordinates x, y, z. A curve is in general a
one-dimensional point-manifold; its separate points can be distin-
guished from one another by the values of a parameter u. If the
CHAPTER II 126
ds2 = dx2 + dy 2 + dz 2
if we set
∂x ∂x
dx = du1 + du2 (8)
∂u1 ∂u2
in it, with corresponding expressions for dy and dz. We then get
a quadratic differential form for ds2 thus:
2
X
2
ds = gik dui duk (gki = gik ) (9)
i,k=1
do not all vanish. This condition is fulfilled for the regular points of the sur-
face, at which there is a tangent plane. The three determinants are identically
equal to 0, if, and only if, the surface degenerates to a curve, i.e. the functions
x, y, z of u1 and u2 actually depend only on one parameter, a function of
u1 and u2 .
THE METRICAL CONTINUUM 131
The geometry of the surface deals with the inner measure rela-
tions of the surface that belong to it independently of the manner
in which it is embedded in space. They are the relations that can
be determined by measurements carried out on the surface
itself. Gauss in his investigation of the theory of surfaces started
from the practical task of surveying Hanover geodetically. The
fact that the earth is not a plane can be ascertained by measuring
a sufficiently large portion of the earth’s surface. Even if each
single triangle of the network is taken too small for the deviation
from a plane to come into consideration, they cannot be put to-
gether to form a closed net on a plane in the way they do on the
earth’s surface. To show this a little more clearly let us draw a
circle C on a sphere of radius unity (the earth), having its cen-
tre P on the surface of the sphere. Let us further draw radii of
this circle, i.e. arcs of great circles of the sphere radiating from P
π
and ending at the circumference of C (let these arcs be < ). By
2
carrying out measurements on the sphere’s surface we can now
CHAPTER II 132
ascertain that these radii starting out in all directions are the
shortest lines connecting P to the circle C, and that they are all
of the same length r; by measurement we find the closed curve C
to be of length s. If we were dealing with a plane we should infer
from this that the “radii” are straight lines and hence the curve C
would be a circle and we should expect s to be equal to 2πr. In-
stead of this, however, we find that s is less than the value given
by the above formula, for in the actual case s = 2π sin r. We thus
discover by measurements carried out on the surface of the sphere
that this surface is not a plane. If, on the other hand, we draw
figures on a sheet of paper and then roll it up, we shall find the
same values for measurements of these figures in their new condi-
tion as before, provided that no distortion has occurred through
rolling up the paper. The same geometry will hold on it now as on
the plane. It is impossible for me to ascertain that it is curved by
carrying out geodetic measurements. Thus, in general, the same
geometry holds for two surfaces that can be transformed into one
another without distortion or tearing.
The fact that plane geometry does not hold on the sphere
means analytically that it is impossible to convert the quadratic
differential form (10) by means of a transformation
u1 = u1 (u01 , u02 ) u01 = u01 (u1 , u2 )
u2 = u2 (u01 , u02 ) u02 = u02 (u1 , u2 )
into the form
(du01 )2 + (du02 )2 .
We know, indeed, that it is possible to do this for each point by a
linear transformation of the differentials, viz. by
du0i = αi1 du1 + αi2 du2 (i = 1, 2), (11)
THE METRICAL CONTINUUM 133
xi = xi (u1 , u2 , . . . , um ) (i = 1, 2, . . . , n).
∆σ
P ∆s P
O
Fig. 6.
THE METRICAL CONTINUUM 141
of the surface passing through it: this value is positive in the case
of spherical geometry, negative in that of Bolyai-Lobatschefsky.
(It may therefore be put = ±1 if a suitable unit of length be cho-
sen.) If an n-dimensional space has a constant curvature a, then
if we choose appropriate co-ordinates xi , its metrical groundform
must be of the form
(1 + a i x2i ) · i dx2i − a ( i xi dxi )2
P P P
2 .
(1 + a i x2i )
P
tion only the three special cases mentioned come into consider-
ation from the outset, and that all the others must be rejected
without further examination as being of no account: parturiunt
montes, nascetur ridiculus mus! Riemann held a different opin-
ion, as is evidenced by the concluding remarks of his essay. Their
full purport was not grasped by his contemporaries, and his words
died away almost unheard (with the exception of a solitary echo
in the writings of W. K. Clifford). Only now that Einstein has
removed the scales from our eyes by the magic light of his theory
of gravitation do we see what these words actually mean. To make
them quite clear I must begin by remarking that Riemann con-
trasts discrete manifolds, i.e. those composed of single isolated
elements, with continuous manifolds. The measure of every part
of such a discrete manifold is determined by the number of ele-
ments belonging to it. Hence, as Riemann expresses it, a discrete
manifold has the principle of its metrical relations in itself, a pri-
ori, as a consequence of the concept of number. In Riemann’s own
words:—
“The question of the validity of the hypotheses of geometry in
the infinitely small is bound up with the question of the ground
of the metrical relations of space. In this question, which we may
still regard as belonging to the doctrine of space, is found the ap-
plication of the remark made above; that in a discrete manifold,
the principle or character of its metric relations is already given in
the notion of the manifold, whereas in a continuous manifold this
ground has to be found elsewhere, i.e. has to come from outside.
Either, therefore, the reality which underlies space must form a
discrete manifold, or we must seek the ground of its metric rela-
tions (measure-conditions) outside it, in binding forces which act
upon it.
CHAPTER II 144
at the point P , with similar formulæ for the other scalar quanti-
ties. If the metric relations of space are taken to be independent
of the contained matter, the metrical groundform will, as in the
case of the first content, be of the form
X X
0
gik dxi dxk = gik (x01 , x02 , x03 ) dx0i dx0k ,
i,k i,k
they are continuous, but also that they have continuous derivatives
∂fi
αki =
∂ x̄k
whose determinant is non-vanishing. The latter condition is neces-
sary and sufficient to make affine geometry hold in infinitely small
regions, that is, so that reversible linear relations exist between
the differentials of the co-ordinates in both systems, i.e.
X
dxi = αki dx̄k . (18)
k
again, we shall call tensors of the first order vectors. There are
contra-variant and co-variant vectors. Whenever the word vector
is used without being defined more exactly we shall understand
it as meaning a contra-variant vector. Infinitesimal quantities of
this type are the line elements in P . Associated with every co-
ordinate system there are n “unit vectors” ei at P , namely, those
which have components
e1 1, 0, 0, . . . 0
e2 0, 1, 0, . . . 0
... .................
en 0, 0, 0, . . . 1
in the co-ordinate system. Every vector x at P may be expressed
in linear terms of these unit vectors. For if ξ i are its components,
then
x = ξ 1 e1 + ξ 2 e2 + · · · + ξ n en holds.
The unit vectors ēi of another co-ordinate system x̄ are derived
from the ei ’s according to the equations
X
ēi = αik ek .
k
∂f
From this we see that the ’s are components of a co-variant
∂xi
tensor field of the first order, which is derived from the scalar
field φ in a manner independent of all co-ordinate systems. We
have here a simple illustration of the conception of vector fields.
At the same time we see that the operation “grad” is invariant
not only for linear transformations, but also for any arbitrary
transformations of the co-ordinates whatsoever, and this is what
we enunciated.
To arrive at (22) we perform the following construction. From
the point P = P00 we draw the two line elements with compo-
nents dxi and δxi , which lead to the two infinitely near points P10
and P01 . We displace (by “variation”) the line element dx in some
way so that its point of emergence describes the distance P00 P01 ;
−−−−→
suppose it to have got to P01 P11 finally. We shall call this pro-
cess the displacement δ. Let the components dxi have increased
by δdxi , so that
δdxi = xi (P11 ) − xi (P01 ) − xi (P10 ) − xi (P00 ) .
−−−−→0
position P10 P11 , its components are increased by
0
dδxi = xi (P11 ) − xi (P10 ) − xi (P01 ) − xi (P00 ) .
consists in the fact that the latter is applied in rigorous form to the
infinitesimal parallelograms into which the surface xi = xi (s, t) is
divided by the co-ordinate lines s = const. and t = const.
Stokes’ Theorem may be recalled in this connection. The
invariant linear differential fi dxi is called integrable if its integral
along every closed curve (its “curl”) = 0. (This is true, as we know,
only for a total differential.) Let any arbitrary surface given in
a parametric form xi = xi (s, t) be spread out within the closed
curve, and be divided into infinitesimal parallelograms by the co-
ordinate lines. The curl taken around the perimeter of the whole
surface may then be traced back to the single curls around these
little surface meshes, and their values are given for every mesh
by our expression (27), after it has been multiplied by ds dt. A
differential division of the curl is produced in this way, and the
tensor (22) is a measure of the “intensity of the curl” at every
point.
In the same way we pass on to the next higher stage (23).
In place of the infinitesimal parallelogram we now use the three-
dimensional parallelepiped mapped out by the three line elements
d, δ, and ∂. We shall just indicate the steps of the argument
briefly.
∂fik
∂(fik dxi δxk ) = dxi δxk ∂xl +fik (∂dxi ·δxk +∂δxk ·dxi ). (28)
∂xl
Since fki = −fik , the second term on the right is
R
Conception of Tensor-density.—If W dx, in which
dx represents briefly the element of integration dx1 dx2 . . . dxn , is
an invariant integral, then W is a quantity dependent on the co-
ordinate system in such a way that, when transformed to another
co-ordinate system, its value become multiplied by the absolute
(numerical) value of the functional determinant. If we regard this
integral as a measure of the quantity of substance occupying the
region of integration, then W is its density. We may, therefore,
call a quantity of the kind described a scalar-density.
This is an important conception, equally as valuable as the
conception of scalars; it cannot be reduced to the latter. In an
analogous sense we may speak of tensor-densities as well as
scalar-densities. A linear form of several series of variables which
is dependent on the co-ordinate system, some of the variables car-
rying upper indices, others lower ones, is a tensor-density at a
point P , if, when the expression for this linear form is known for
a given co-ordinate system, its expression for any other arbitrary
co-ordinate system, distinguished by bars, is obtained by multi-
plying it with the absolute or numerical value of the functional
determinant
∂wi
= w, (30)
∂xi
THE METRICAL CONTINUUM 163
∂wik
= wi , (31)
∂xk
......... .
x̄i = xi + ξ i · δt (32)
∂ξ i ∂(sξ i )
∂s i
s(x̄)(A − 1) + s(x̄) − s(x) = δt s + ξ = δt · .
∂xi ∂xi ∂xi
∂(sξ i )
=w
∂xi
establishes an invariant connection between the two scalar-density
fields s and w and the contra-variant vector field with the com-
ponents ξ i . Now, since every vector-density wi is representable
in the form sξ i —for if in a definite co-ordinate system a scalar-
density s and a vector field ξ be defined by s = 1, ξ i = wi , then
THE METRICAL CONTINUUM 165
dξ i = −dγri ξ r . (33)
∂ 2 fi
−Γirs δx̄r dx̄s is derived from δx̄r dx̄s (34)
∂ x̄r ∂ x̄s
by transformation according to (18). This exhausts all the aspects
of the question. Now, if Γirs are arbitrarily given numbers that
satisfy the condition of symmetry (3300 ), and if we define the affine
relationship by (33) and (330 ), the transformation formulæ lead to
∂ 2 fi
x̄i = 0, dx̄i = dxi (αki = δki ), = −Γirs .
∂ x̄r ∂ x̄s
CHAPTER II 168
P = (s) : x = xi (s)
dxi
Every motion is accompanied by the vector ui = of its
ds
velocity; for this particular case, V is the vector
dui d2 x dxα dxβ
Ui = + Γiαβ uα uβ = 2 + Γiαβ :
ds ds ds ds
namely, the acceleration, which is a measure of the change of
velocity per unit of time. A motion, in the course of which the
velocity remains unchanged throughout, is called a translation.
The trajectory of a translation, being a curve which preserves its
direction unchanged, is a straight or geodetic line. According
to the translational view (cf. Chapter I, § 1) this is the inherent
property of the straight line.
The analysis of tensors and tensor-densities may be de-
veloped for an affine manifold just as simply and completely as
for the linear geometry of Chapter I. For example, if fik are the
components (co-variant in i, contra-variant in k) of a tensor field
of the second order, we take two auxiliary arbitrary vectors at the
point P , of which the one, ξ, is contra-variant and the other, η, is
co-variant, and form the invariant
fik ξ i ηk
and its change for an infinitesimal displacement d of the current
point P , by which ξ and η are displaced parallel to themselves.
Now
∂fik i
d(fik ξ i ηk ) = ξ ηk dxl − frk ηk dγir ξ i + fir ξ i dγrk ηk ,
∂xl
hence
∂fik
filk = − Γril frk + Γkrl fir
∂xl
CHAPTER II 172
∂(sξ i ) ∂ξ i
∂s i ∂s
= ξ +s = − Γir s ξ i .
r
∂xi ∂xi ∂xi ∂xi
We thus get
∂s
− Γrir s
∂xi
as the components of a co-variant vector-density. To extend dif-
ferentiation beyond scalar tensor-densities to any tensor-densities
whatsoever, for example, to the mixed tensor-density wik of
the second order, we again proceed, as has been done repeat-
edly above, to make use of two stationary vector fields at P ,
namely, ξ i and η i , the latter being co-variant and the former
contra-variant. We differentiate the scalar-density wik ξ i ηk . If
the tensor-density that has been derived by differentiation be
contracted with respect to the symbol of differentiation and one
of the contra-variant indices, the divergence is again obtained.
§ 15. Curvature
If P and P ∗ are two points connected by a curve, and if a vector
is given at P , then this vector may be moved parallel to itself along
the curve from P to P ∗ . Equations (36), giving the unknown com-
ponents v i of the vector which is being subjected to a continuous
parallel displacement, have, for given initial values of v i , one and
only one solution. The vector transference that comes about in
this way is in general non-integrable, that is, the vector which
CHAPTER II 174
∆F = Fik dxi δxk = 12 Fik ∆xik (∆xik = dxi δxk − dxk δxi ,
and
Fki = −Fik ). (39)
The differential form that occurs here characterises the curva-
ture, that is, the deviation of the manifold from plane-ness at
the point P for all possible directions of the surface; since its
co-efficients are not numbers, but matrices, we might well speak
of a “linear matrix-tensor of the second order,” and this would
undoubtedly best characterise the quantitative nature of curva-
ture. If, however, we revert from the matrices back to their
α
components—supposing Fβik to be the components of Fik or else
the co-efficients of the form
∆Fβα = Fβik
α
dxi δxk (40)
α
From this we see that the Fβik ’s are the components of a tensor
of the fourth order which is contra-variant in α and co-variant in
β, i and k. Expressed in terms of the components Γirs of the affine
relationship, it is
α
∂Γβk ∂Γαβi
α
Fβik = − + (Γαri Γrβk − Γαrk Γrβi ). (42)
∂xi ∂xk
According to this they fulfil the conditions of “skew” and “cyclical”
symmetry, namely:—
α α α α α
Fβki = −Fβik ; Fβik + fikβ + Fkβi = 0. (43)
The vanishing of the curvature is the invariant differential law
which distinguishes Euclidean spaces among affine spaces in terms
of general infinitesimal geometry.
To prove the statements above enunciated we use the same
process of sweeping twice over an infinitesimal parallelogram as
we used on page 157 to derive the curl tensor; we use the same
notation as on that occasion. Let a vector x = x(P00 ) with com-
ponents ξ i be given at the point P00 . The vector x(P10 ) that is
derived from x(P00 ) by parallel displacement along the line ele-
ment dx is attached to the end point P10 of the same line element.
If the components of x(P10 ) are ξ i + dξ i then
dξ α = −dγβα ξ β = −Γαβi ξ β dxi .
Throughout the displacement δ to which the line element dx is
to be subjected (and which need by no means be a parallel dis-
placement) let the vector at the end point be bound always by the
specified condition to the vector at the initial point. The dξ α ’s are
then increased, owing to the displacement, by an amount
δdξ α = −δΓαβi dxi ξ β − Γαβi δdxi ξ β − dγrα δξ r .
THE METRICAL CONTINUUM 177
If, in particular, the vector at the initial point of the line element
remains parallel to itself during the displacement, then δξ r must
be replaced in this formula by −δγβr ξ β . In the final position
−−−−→
P01 P11 of the line element we then get, at the point P01 , the vec-
tor x(P01 ), which is derived from x(P00 ) by parallel displacement
−−−−→
along P00 P01 ; at P11 we get the vector x(P11 ), into which x(P01 ) is
−−−−→
converted by parallel displacement along P01 P11 , and we have
By subtraction we get
∆ξ α = δdξ α − dδξ α
( )
− δΓαβi dxi + dγrα δγβr − Γαβi δdxi
= ξβ .
+ dΓαβk δxk − dγrα dγβr + Γαβi dδxi
Since δdxi = dδxi the two last terms on the right destroy one
another, and we are left with
∆ξ α = ∆Fβα · ξ β
d2 f i d2 fi
δdfi = = = dδfi ,
dt ds ds dt
we have
∆(fi ξ i ) = (δd − dδ)(fi ξ i ) = fi ∆ξ i .
In the last expression ∆ξ i is precisely the expression found above.
The invariant obtained is, for the point P = (0, 0),
α
Fβik fα ξ β ui v k .
THE METRICAL CONTINUUM 179
spectively by
1 ∂λ
λ · gik and φi − ·
λ ∂xi
no matter, in (2), what function of the co-ordinates λ may be.
(This may be termed calibration invariance.)
In the same way as in § 15, in which we determined the change
in a vector which, remaining parallel to itself, traverses the pe-
riphery of an infinitesimal parallelogram bounded by dxi , δxi , so
here we calculate the change ∆l in the measure l of a distance
subjected to an analogous process. Making use of dl = −l dφ we
get
δdl = −δl dφ − l δdφ = l δφ dφ − l δdφ,
i.e.
∆l = δdl − dδl = −l ∆φ
where
∂φi ∂φk
∆φ = (δd − dδ)φ = fik dxi δxk and fik = − . (47)
∂xk ∂xi
Hence we may call the linear tensor of the second order with com-
ponents fik the distance curvature of metrical space as an analogy
to the vector curvature of affine space, which was derived in § 15.
Equation (46) confirms analytically that the distance curvature is
independent of the calibration; it satisfies the equations of invari-
ance
∂fkl ∂fli ∂fik
+ + = 0.
∂xi ∂xk ∂xl
Its vanishing is the necessary and sufficient condition that every
distance may be transferred from its initial position, in a manner
independent of the path, to all points of the space. This is the
CHAPTER II 184
l = gik ξ i ξ k
Hence we get
dγik + dγki = dgik + gik dφ,
or
∂gik
Γi,kr + Γk,ir = + gik φr . (48)
∂xr
By interchanging the indices i, k, r cyclically, then adding the last
two and subtracting the first from the resultant sum, we get, bear-
ing in mind that the Γ’s must be symmetrical in their last two
indices,
1 ∂gir ∂gkr ∂gik
Γr,ik = 2 + − + 21 (gir φk + gkr φi − gik φr ). (49)
∂xk ∂xi ∂xr
CHAPTER II 186
and equation (47) then leads to the following result. If for the
vector x = (ξ i ) we set
∆x = ∗∆x − x · 12 ∆φ,
THE METRICAL CONTINUUM 187
d(ui ui )
+ (ui ui )(φi ui ) = 0 in metrical geometry. (52)
ds
If at a certain moment the ui ’s have such values that ui ui = 0 (a
case that may occur if the quadratic groundform Q is indefinite),
then this equation persists throughout the whole translation: we
shall call the trajectory of such a translation a geodetic null-
line. An easy calculation shows that the geodetic null-lines do
not alter if the metric relationship of the manifold is changed in
any way, as long as the measure-determination is kept fixed at
every point.
Tensor Calculus.—It is an essential characteristic of a tensor
that its components depend only on the co-ordinate system and
not on the calibration. In a generalised sense we shall, however,
also call a linear form which depends on the co-ordinate system
and the calibration a tensor, if it is transformed in the usual way
when the co-ordinate system is changed, but becomes multiplied
by the factor λe (where λ = the calibration ratio) when the cali-
bration is changed; we say that it is of weight e. Thus the gik ’s are
components of a symmetrical co-variant tensor of the second order
THE METRICAL CONTINUUM 189
expressed by
∂φ ∂Ei ∂Ek
Ei = − = 0
∂xi ∂xk ∂xi
∂Ei (54)
=ρ
∂xi
Ski = Ei Ek − 12 δik S,
space is Euclidean or not is quite irrelevant for the laws of the elec-
tromagnetic field. The property of being Euclidean is expressed
in a universally invariant form by differential equations of the sec-
ond order in the gik ’s (denoting the vanishing of the curvature)
but only the gik ’s and their first derivatives appear in these laws.
It must be emphasised that a transcription of such a simple kind
is possible only for laws dealing with action at infinitesimal
distances. To derive the laws of action at a distance correspond-
ing to Coulomb’s, and Biot and Savart’s Law from these laws of
contiguous action is a purely mathematical problem that amounts
in essence to the following. In place of the usual potential equa-
tion ∆φ = 0 we get as its invariant generalisation (vide (54)) in
Riemann’s geometry the equation
∂ √ ik ∂φ
g·g =0
∂xi ∂xk
√
1 ∂( g · g ik )
lr rk lr ri lr ik
√ + g + g − g = 0. (5700 )
g ∂xl i k r
√ √
These equations hold because g is a scalar and g · g ik is a tensor-
density; hence, according to the rules given by the analysis of tensor-
√
densities, the left-hand members of these equations, multiplied by g,
are
likewise tensor-densities. If, however, we use a co-ordinate system
∂g ik
= 0, which is geodetic at P , then all terms vanish. Hence,
∂xr
in virtue of the invariant nature of these equations, they also hold in
every other co-ordinate system. Moreover,
√
dg d g
= g ik dgik , √ = 12 g ik dgik . (58)
g g
symmetry
Rikαβ = Rαβik .
it is equal to
1∂ 2 (log g)
2 .
∂xi ∂xk
Finally, by applying contraction once more we may form the scalar of
curvature
R = g ik Rik .
In general metrical space the analogously formed scalar of curvature F
is expressed in the following way (as is easily shown) by the Riemann
expression R, which is dependent only on the gik ’s and which has no
distinct meaning in that space:—
√
1 ∂( gφi ) (n − 1)(n − 2)
F = R − (n − 1) √ − (φi φi ). (61)
g ∂xi 4
F is a scalar of weight −1. Hence, in a region in which F 6= 0 we may
define a unit of length by means of the equation F = constant. This
is a remarkable result inasmuch as it contradicts in a certain sense the
original view concerning the transference of lengths in general metrical
space, according to which a direct comparison of lengths at a distance
is not possible; it must be noticed, however, that the unit of length
which arises in this way is dependent on the conditions of curvature of
the manifold. (The existence of a unique uniform calibration of this
kind is no more extraordinary than the possibility of introducing into
Riemann’s space certain unique co-ordinate systems arising out of the
metrical structure.) The “volume” that is measured by using this unit
of length is represented by the invariant integral
Z p
g · F n dx. (62)
∂gαβ α β i dξ i
δQ = u u ξ + 2gik uk .
∂xi ds
If we substitute this in (66) and rewrite the second term by apply-
ing partial integration, and note that the ξ i ’s vanish at the ends
of the interval of integration, then
Z b
1 ∂gαβ α β dui
δL = 2
u u − ξ i ds.
a ∂x i ds
Hence the condition δL = 0 is fulfilled for any family of curves
if, and only if, (63) holds. Indeed, if, for a value s = s0 between
a and b, one of these expressions, for example the first, namely,
i = 1, differed from zero (were greater than zero), say, it would be
possible to mark off a little interval around s0 so small that, within
it, the above expression would be always > 0. If we choose a non-
negative function for ξ 1 such that it vanishes for points beyond
CHAPTER II 204
Ast = A−1 −1
t As At As
formed from
∂ 2 Ast
Ast − E
lim = .
s→0,t→0 s·t ∂s ∂t s→0
t→0
∂ 2 Ast
= −A1 A2 + A2 A1 for t → 0, s → 0.
∂s ∂t
Accordingly A1 A2 − A2 A1 , or, more generally, Ai Ak − Ak Ai must
be an infinitesimal operation of the group: or, what amounts
to the same thing, if A and B are two infinitesimal operations
of the group, then AB − BA must also always be one. Sophus
Lie, to whom we are indebted for the fundamental conceptions
and facts of the theory of continuous transformation groups
(vide note 12), has shown that this condition of integrability
is not only necessary but also sufficient. Hence we may define
an r-dimensional linear family of matrices as an infinitesimal
CHAPTER II 214
dξ i = vki ξ k ,
that is, the infinitesimal linear transformations that leave the unit
quadratic form
Q0 = (ξ 1 )2 + (ξ 2 )2 + · · · + (ξ n )2
vik (ai − ak ) = 0
by
ζ i = Airs ξ r η s (Airs = Aisr ),
which produces from two arbitrary vectors, ξ and η, a vector ζ as a
bilinear symmetrical form, provided that for every fixed vector η,
the transition ξ → ζ (and hence also for every fixed vector ξ the
transition η → ζ) is an operation of g. We may then summarise
our results thus:—
The group of infinitesimal rotations has the following proper-
ties according to our axioms:
(a) The trace of every matrix = 0;
(b) No symmetrical double matrix belongs to g except zero;
(c) The dimensional number of g is the highest that is still in
n(n − 1)
agreement with postulate (b), namely, N = .
2
These properties retain their meaning for complex quantities
as well as for real ones. We shall just verify that they are true
of the infinitesimal Euclidean group of rotations δ, that is, that
n3 numbers vkl i
cannot simultaneously satisfy the conditions of
symmetry
i i
vlk = vkl , vilk = −vkl
i
,
without all of them vanishing. This is evident from the calcula-
tion which was undertaken on page 184 to determine the affine
relationship. For if we write down the three equations that we get
i
from vkl + vilk = 0 by interchanging the indices i, k, l cyclically, and
then subtract the second from the sum of the first and the third,
i
we get, as a result of the first condition of symmetry, vkl = 0.
It seems highly probable to the author that δ is the only in-
finitesimal group that satisfies the postulates (a), (b), and (c);
or, more exactly, in the case of complex quantities every such in-
finitesimal group may be made to coincide with δ by choosing the
CHAPTER II 218
Q1 = c1 Q Q2 = c2 Q.
221
CHAPTER III 222
t t′
x2 t = const.
x1
Fig. 7.
hold; in them, the αi ’s and the a denote constants, the αik ’s, in
particular, are the co-efficients of an orthogonal transformation.
The world-co-ordinates are thus fixed except for an arbitrary
transformation of this kind in an objective manner without
individual objects or events being specified. In this we have not
yet taken into consideration the arbitrary choice of both units of
measure. If the initial point remains unchanged both in space
and in time, so that α1 = α2 = a = 0, then (x01 , x02 , t0 ) are the co-
ordinates with respect to a rectilinear system of axes whose t0 axis
coincides with the t-axis, whereas the axes x01 , x02 are derived from
x1 , x2 by a rotation in their plane t = 0.
A moment’s reflection suffices to show that one of the assump-
tions adopted is not true, namely, the one which states that the
conception of rest has an objective content.∗ When I arrange to
meet some one at the same place to-morrow as that at which we
met to-day, this means in the same material surroundings, at the
same building in the same street (which, according to Coperni-
cus, may be in a totally different part of stellar space to-morrow).
All this acquires meaning as a result of the fortunate circum-
stance that at birth we are introduced into an essentially stable
world, in which changes occur in conjunction with a comparatively
much more comprehensive set of permanent factors that preserve
∗
Even Aristotle was clear on this point, for he denotes “place” (τόπος) as
the relation of a body to the bodies in its neighbourhood.
RELATIVITY OF SPACE AND TIME 225
x0i = xi + αi (i = 0, 1, 2, 3)
following form.
Let e, a vector differing from 0, be given. If A and A0 are
−−→
two points such that AA0 is a multiple of e, we shall say that
they pass into one and the same point A of the minor space
defined by e. We may represent A by the straight line parallel
to e, on which all these coincident points A, A0 , . . . in the minor
space lie. Since every displacement x of the space transforms a
straight line parallel to e again into one parallel to e, x brings
about a definite displacement x of the minor space; but each two
displacements x and x0 become coincident in the minor space, if
their difference is a multiple of e. We shall denote the transition to
the minor space, “the projection in the direction of e,” by printing
the symbols for points and displacements in heavy oblique type.
Projection converts
−→ −→
λx, x + y, and AB into λx, x + y, AB
that is, the projection has a true affine character; this means that
in the minor space affine geometry holds, of which the dimensions
are less by one than those of the original “complete” space.
If the space is metrical in the Euclidean sense, that is, if it
is based on a non-degenerate quadratic form which is its metrical
groundform, Q(x) = (x, x),—to simplify the picture of the process
we shall keep the case for which Q is definitely positive in view, but
the line of proof is applicable generally,—then we shall obviously
ascribe to the two points of the minor space, which two straight
lines parallel to e appear to be, when we look into the space in
the direction of e, a distance equal to the perpendicular distance
between the two straight lines. Let us formulate this analytically.
The assumption is that (e, e) = e 6= 0. Every displacement x may
CHAPTER III 234
x = ξe + x∗ , (2)
x = ξ | x.
The “complete” space is “split up” into height and minor space,
the “position-difference” x of two points in the complete space
is split up into the difference of height ξ, and the difference of
position x in the minor space. There is a meaning not only in
saying that two points in space coincide, but also in saying that
two points in the minor space coincide or have the same height,
respectively. Every displacement x of the minor space is produced
by one and only one displacement x∗ of the complete space,
this displacement being orthogonal to e. The relation between x∗
and x is singly reversible and affine. The defining equation
(x, x) = (x∗ , x∗ )
RELATIVITY OF SPACE AND TIME 235
x=t|x
(x, x) = (x∗ , x∗ ).
the medium itself, the water or the æther respectively, whose par-
ticles are at rest with respect to one another, if we neglect the
relatively small oscillations, furnishes us with the same system of
reference as that to which the statement concerning the concentric
transmission is referred.
To bring us into closer touch with this question we shall here
insert an account of optics in the theoretical guise that it has
preserved since the time of Maxwell under the name of the theory
of moving electromagnetic fields.
1 ∂D
curl H − = s. (11)
c ∂t
Besides this, we have just as before
div D = ρ. (110 )
p · v = ρE · v = c(s, E) = s · E0 .
of time and per unit of volume by the current. The energy used
up in this way must be furnished by the instrument providing the
current. If we multiply equation (12) by −B, equation (120 ) by E
and add, we get
∂ 1 2 1 2
−c · div[E, B] − ( E + 2 B ) = c(s, E).
∂t 2
If we set
1 2
[E, B] = s, 2
E + 21 B2 = W
and integrate over any volume V , this equation becomes
d
Z Z Z
− W dV + c Sn do = c(s, E) dV.
dt V Ω V
The second member on the left is the integral, taken over the
outer surface of V1 , of the component sn of s along the inward
normal. On the right-hand side we have the work performed on
the volumeZ V per unit of time. It is compensated by the decrease
of energy W dV contained in V and by the energy that flows
into the portion of space V from without. Our equation is thus
an expression of the energy theorem. It confirms the as-
sumption which we made initially about the density W
of the field-energy, and we furthermore see that cs, familiarly
known as Poynting’s vector, represents the energy stream or
energy-flux.
The field-equations (12), (120 ) have been integrated by Lorentz
in the following way, on the assumption that the distribution of
charges and currents are known. The equation div B = 0 is satis-
fied by setting
−B = curl f (14)
RELATIVITY OF SPACE AND TIME 243
Z ρ t− r
−4πφ = c dV ;
r
on the left-hand side of which φ is the value at a point O at
time t; r is the distance of the source P , with respect to which we
CHAPTER III 244
Z s t− r
−4πf = c dV.
r
The field at a point does not depend on the distribution of charges
and currents at the same moment, but the determining r factor for
every point is the moment that lies back just as many ’s as the
c
disturbance propagating itself with the velocity c takes to travel
from the source to the point of emergence.
Just as the expression for the potential (in Cartesian co-
ordinates), namely,
∂ 2φ ∂ 2φ ∂ 2φ
∆φ = + +
∂x21 ∂x22 ∂x23
is invariant with respect to linear transformations of the variables
x1 , x2 , x3 , which are such that they convert the quadratic form
into itself, so the expression which takes the place of this expres-
sion for the potential when we pass from statical to moving fields,
namely,
1 ∂ 2φ ∂ 2φ ∂ 2φ ∂ 2φ
− + 2+ 2+ 2 (retarded potentials)
c2 ∂t2 ∂x1 ∂x2 ∂x3
is an invariant for those linear transformations of the four co-
ordinates, t, x1 , x2 , x3 , the so-called Lorentz transformations, that
RELATIVITY OF SPACE AND TIME 245
−Fir sr = −pi .
we must have
x02 02
1 + x2 = const.
A′
ct′
ct′′
θ
′
O vt O vt′′ O ′′
′
Fig. 8.
2l 2l0
− .
1 − q2 1 − q2
p
A′
l′
A
l
Observer.
* Source of Light.
Fig. 9.
Q(x) = (x, x)
which has one negative and three positive dimensions. All physical
quantities are scalars and tensors of this four-dimensional world,
and all physical laws express invariant relations between them.
RELATIVITY OF SPACE AND TIME 257
from a point O, they will all reach world-points that are later
than O; I cannot shoot back into the past. Similarly, an event
which happens at O has an influence only on what happens at
later world-points, whereas “one can no longer undo” the past:
the extreme limit is reached by gravitation, acting according to
Newton’s law of attraction, as a result of which, for example, by
extending my arm, I at the identical moment produce an effect
on the planets, modifying their orbits ever so slightly. If we again
suppress a space-co-ordinate and use our graphical mode of rep-
resentation, then the absolute meaning of the plane t = 0 which
passes through O consists in the fact that it separates the “future”
world-points, which can be influenced by actions at O, from the
“past” world-points from which an effect may be conveyed to or
conferred on O. According to Einstein’s Principle of Relativity,
we get in place of the plane of separation t = 0 the light cone
x21 + x22 − c2 t2 = 0
Active future.
t=0
Passive past.
Fig. 10.
t t′
Light cone.
x2
O x1
Fig. 11.
Fig. 12.
valid even if we only know that the straight lines whose directions
belong to this cone become straight lines again as a result of the
transformation.
Galilei’s Principle of Inertia is sufficient in itself to prove con-
clusively that the world is affine in character: it will not, how-
ever, allow us deduce any further result. The metrical ground-
form (x, x) of the world is now accounted for by the process of
light-propagation. A light-signal emitted from O arrives at the
−→
world-point A if, and only if, x = OA belongs to one of the
two conical sheets defined by (x, x) = 0. This determines the
quadratic form except for a constant factor; to fix the latter we
must choose an arbitrary unit-measure (cf. Appendix I).
RELATIVITY OF SPACE AND TIME 267
e0 = h | hv (26)
1 = −(e0 , e0 ) = h2 − h2 (v , v ) = h2 (1 − v 2 ),
thus we get
1
h= √ . (28)
1 − v2
If, between two moments of K 0 ’s motion, it undergoes the world-
displacement ∆s·e0 , (26) shows that h·∆s = ∆t is the duration of
this displacement in Re . The proper time ∆s and the duration ∆t
of the displacement in Re are related by
√
∆s = ∆t 1 − v 2 . (29)
Then
−(e1 , e2 ) = h1 h2 1 − (v1 v2 ) .
Hence, if K1 and K2 have velocities v1 , v2 respectively in Re , with
numerical values v1 , v2 , then if these velocities v1 , v2 make an
angle θ with each other, and if v12 = v21 is the magnitude of the
velocity of K2 relatively to K1 (or vice versa), we find that the
formula
1 − v1 v2 cos θ 1
p
2
p
2
=p 2
(30)
1 − v1 1 − v2 1 − v12
holds: it shows how the relative velocity of two bodies is
determined from their given velocities. If, using hyperbolic
functions, we set v = tanh v for each of the values v of the velocity
(v being < 1), we get
A A
A′ O
O
O′
Fig. 13.
By formula (5)
−→2
OA = (x, x) = (x, x),
−−0→0 2
O A = (x, x) + (x, e0 )2 .
(x, e0 ) = h(x, v ),
and hence
−−0→0 2 (x, v )2
O A = (x, x) + .
1 − v2
If we use a Cartesian co-ordinate system x1 , x2 , x3 in Re with O as
origin, and having its x1 -axis in the direction of the velocity v, then
if x1 , x2 , x3 are the co-ordinates of A, we have
−→2
OA = x21 + x22 + x23 ,
−−0→0 2 x21
OA = + x22 + x23 = x02 02 02
1 + x2 + x 3 ,
1 − v2
cos ω 0
cos ω 0 0
ν1 ν2 − 1 = ν1 ν2 −1 . (34)
q1 q2 q10 q20
ω ω0
q = q 0 (= 1), ν1 ν2 sin2 = ν10 ν20 sin2 . (35)
2 2
Finally, to get the relationship between the frequencies ν and ν 0
we assume a body that is at rest in Re0 ; let it have the velocity v
in the space Re , then, as before, we must set
e0 = h | hv in Re . (26)
moving media (and also that in such cases the relativity princi-
ple, which is derived from that of Lorentz and Einstein by putting
q for c, does not hold; one might be tempted to believe this er-
roneously from the equation of wave-motion that holds in such
cases). We shall find the special form of (34) for the æther, in
which q = q 0 = 1 (cf. (35)), to be
that is, into a scalar, two vectors and a tensor of the second order
existing in Re , which are here characterised by their components
CHAPTER III 282
x = ξe + x∗
x = ξe + x∗ , y = ηe + y∗ , (38)
T (x, y ) = T (x∗ , y∗ ).
we get
J J
0 0
L(x) = L(x) − (x, e), L (x) = L (x) − (x, e),
e e (39)
1 1 0 J
T (x, y) = T (x, y) − (y, e)L(x) − (x, e)L (y) + 2 (x, e)(y, e).
e e e
The linear and bilinear forms (vectors and tensors) of Re on the
left may be represented by the world-vectors and world-tensors
on the right which are derived uniquely from them. In the above
representation by means of components, this amounts to the fol-
lowing: that, for example,
0 0 0
T11 T12
T = is represented by 0 T11 T12 .
T21 T22
0 T21 T22
however, use this device only in the case when, if one space-tensor
is λ times another, the same is true of the representative world-
tensors.
If we base our calculations of components on an arbitrary
co-ordinate system, in which
e = (e0 , e1 , . . . , en−1 )
J = Tik ei ek and e = ei ei .
But the two vectors and the tensor in Re have as their represen-
tatives in the world, according to (39), the two vectors and the
tensor with components:
J
L : Li − ei Li = Tik ek ,
e
J
L0 : L0i − ei L0i = Tki ek ;
e
ek Li + ei L0k J
T : Tik − + 2 ei ek .
e e
In the case of a skew-symmetrical tensor, J becomes = 0 and
L0 = −L; our formulæ degenerate into
L : Li = Tik ek ,
ei Lk − ek Li
T : Tik + .
e
A linear world-tensor of the second order splits up in space into a
vector and a linear space-tensor of the second order.
RELATIVITY OF SPACE AND TIME 285
D = E, B = µH, s = σE
signify, however, that if we split up the world into space and time
in such a way that matter is at rest, and if F splits up into E | B,
H into D | H, and s into ρ | s, then the above relations hold. If
CHAPTER III 288
in which
Fi∗ = Fik uk and Hi∗ = Hik uk ;
then
D∗ = E∗ , B∗ = µH∗ .
If, in addition, we resolve s into the “convection-current” c and
the “conduction-current” s∗ , that is,
s = c + s∗ ,
ρ − (v, s)
c = ρ∗ v, ρ∗ = = ρ − (v, s∗ ),
1 − v2
then
∗ σE∗
s =√ .
1 − v2
Everything now becomes clear: the current is composed partly
of a convection-current which is due to the motion of charged
matter, and partly of a conduction-current, which is determined
by the conductivity σ of the substance. The conduction-current is
calculated from Ohm’s Law, if the electromotive force is defined
by the line-integral, not of E, but of E∗ . An equation exactly
analogous to (41) holds for E∗ , namely:
∂B
curl E∗ = − + curl[v, B] (we now always take c = 1)
∂t
or expressed in integrals, as in (40),
d
Z Z
− Bn do = E∗ dr.
dt
RELATIVITY OF SPACE AND TIME 291
pi = F ik sk = ρ0 F ik uk .
pi ui = (p, u) = 0 (47)
u = 1 | O, du = 0 | dv , p = 0 | p.
It follows from
u + du = 1 | dv
that dv is the relative velocity acquired by m (in Ru ) during the
time ds. Thus there can be no doubt that the fundamental law of
mechanics is
dv
µ0 = p.
ds
From this we derive at once the invariant form
du
µ0 = p, (49)
ds
which is quite independent of the manner of splitting up. In it,
µ0 is the statical density, that is, the density of the mass when at
rest; ds is the proper-time that elapses during the infinitesimal
displacement of the particle of matter, during which its world-
direction increases by du.
Resolution into terms of u is a partition which would alter
during the motion of the particle of matter. If we now split up
our quantities, however, into space and time by means of some
fixed time-like vector e that points into the future and satisfies
the condition of normality (e, e) = −1, then, by (48), (49) resolves
into
d 1
µ0 √ = λ,
ds 1−v 2
(50)
d v
√
µ0 = p.
ds 1 − v2
RELATIVITY OF SPACE AND TIME 295
p dv = P, λ dV = L
denotes the force acting on the particle and its work, respectively,
then if we multiply our equations by dV and take into account
that
d √ d d
µ0 dV · = m 1 − v2 · =m·
ds ds dt
and that the mass m remains constant during the motion, we get
finally
d m
√ = L, (51)
dt 1 − v2
d mv
√ = P. (52)
dt 1 − v2
These are the equations for the mechanics of the point-mass. The
equation of momentum (52) differs from that of Newton only in
that the (kinetic) momentum of the point-mass is not mv but
mv
=√ . The equation of energy (51) seems strange at first: if
1 − v2
we expand it into powers of v, we get
m mv 2
√ =m+ + ...,
1 − v2 2
∂Sik
pi = − .
∂xk
In accordance with the universal meaning ascribed to the con-
ception energy in physics, we must assume that this holds not
only for the electromagnetic field but for every region of physical
phenomena, and that it is expedient to regard this tensor instead
of the ponderomotive force as the primary quantity. Our pur-
pose is to discover for every region of phenomena in what manner
the energy-momentum-tensor (whose components Sik must always
satisfy the condition of symmetry) depends on the characteristic
field- or phase-quantities. The left-hand side of the mechanical
equations
dui
µ0 = pi
ds
may be reduced directly to terms of a “kinetic” energy-momentum-
tensor thus:
Uik = µ0 ui uk .
For
∂Uik ∂(µ0 uk ) ∂ui
= ui + µ0 uk .
∂xk ∂xk ∂xk
The first term on the right = 0, on account of the equation of
dui
continuity for matter; the second = µ0 because
ds
∂ui ∂ui ∂xk dui
uk = = .
∂xk ∂xk ∂s ds
CHAPTER III 298
i ∂tik
p̄ = −
∂xk
of the ponderomotive effect, exerted on the electron by itself, are
however, then no longer = 0.
If we assume the electron to be entirely without mass, and if
pi is the “4-force” acting from without, then equilibrium demands
that
p̄i + pi = 0. (55)
We split up u and p into space and time in terms of a fixed e,
getting
u = h | hv , p = (pi ) = λ | p
RELATIVITY OF SPACE AND TIME 301
√
and we integrate (55) with respect to the volume dV = dV0 1 − v 2 .
Since, if we use a normal co-ordinate system corresponding to Re ,
we have
d
Z Z Z
i i
p̄ dV = p̄ dx1 dx2 dx3 = − ti0 dx1 dx2 dx3
dx0
d √ d
=− (E0 u0 ui 1 − v 2 ) = − (E0 ui )
dx0 dt
(in which x0 = t, the time), we get
Z
d E0
√ = L = λ dV ,
dt 1 − v2
Z
d E0 v
√ = P = p dV .
dt 1 − v2
These equations hold if the force P acting from without is not too
E0
great compared with , a being the radius of the electron, and
a
if its density in the neighbourhood of the electron is practically
constant. They agree exactly with the fundamental equations of
mechanics if the mass m is replaced by E. In other words, iner-
tia is a property of energy. In mechanics we ascribe to every
material body an invariable mass m which, in consequence of the
manner in which it occurs in the fundamental law of mechanics,
represents the inertia of matter, that is, its resistance to the ac-
celerating forces. Mechanics accepts this inertial mass as given
and as requiring no further explanation. We now recognise that
the potential energy contained in material bodies is the cause of
this inertia, and that the value of the mass corresponding to the
energy E0 expressed in the c.g.s. system, in which the velocity of
CHAPTER III 302
∂Tik
= 0, (57)
∂xk
in which the Tik ’s are expressed in terms of the field-quantities,
represents a differential relationship between these quantities, and
must therefore follow from the field-equations. In the wide sense,
in which we now use the word, matter is that of which we take
CHAPTER III 304
Tik = µ∗ ui uk + pδik ,
or Tik = µ∗ ui uk + p · gik . (58)
Tik ui uk = µ∗ − p = µ0
∂Tik
= 0.
∂xk
RELATIVITY OF SPACE AND TIME 307
∂si
(1) = 0,
∂xi
∂Fkl ∂Fli ∂Fik
(2) + + = 0.
∂xi ∂xk ∂xl
Equations (2) hold if F is derivable from a vector φi according to
CHAPTER III 308
the formulæ
∂φi ∂φk
(3) Fik = − .
∂xk ∂xi
Conversely, it follows from (2) that a vector φ must exist such that
equations (3) hold. In the same way (1) is fulfilled if s is derivable
from a skew-symmetrical tensor H of the second order according
to
∂H ik
(4) si = .
∂xk
Conversely, it follows from (1) that a tensor H satisfying these
conditions must exist. Lorentz assumed generally, not only for
the æther, but also for the domain of electrons, that H = F .
Following Mie, we shall make the more general assumption that
H is not a mere number of calculation but has a real significance,
and that its components are, therefore, universal functions of the
primary phase-quantities s and F . To be logical we must then
make the same assumption about φ. The resultant scheme of
quantities
φ F
s H
contains the quantities of intensity in the first row; they are con-
nected with one another by the differential equations (3). In the
second row we have the quantities of magnitude, for which the
differential quantities (4) hold. If we perform the resolution into
space and time and use the same terms as in § 20 we arrive at the
well-known equations
dρ
(1) + div s = 0,
dt
dB
(2) + curl E = 0 (div B = 0),
dt
RELATIVITY OF SPACE AND TIME 309
df
(3) + grad φ = E (− curl f = B),
dt
dD
(4) − curl H = −s (div D = ρ).
dt
If we know the universal functions, which express φ and H in terms
of s and F , then, excluding the equations in brackets, and counting
each component separately, we have ten “principal equations” be-
fore us, in which the derivatives of the ten phase-quantities with
respect to the time are expressed in relation to themselves and
their spatial derivatives; that is, we have physical laws in the form
that is demanded by the principle of causality. The principle
of relativity that here appears as an antithesis, in a certain sense,
to the principle of causality, demands that the principal equations
be accompanied by the bracketed “subsidiary equations,” in which
no time derivatives occur. The conflict is avoided by noticing that
the subsidiary equations are superfluous. For it follows from the
principal equations (2) and (3) that
∂
(B + curl f ) = 0,
∂t
and from (1) and (4) that
∂ρ ∂
= (div D).
∂t ∂t
It is instructive to compare Mie’s Theory with Lorentz’s funda-
mental equations of the theory of electrons. In the latter, (1), (2),
and (4) occur, whilst the law by which H is determined from the
primary phase-quantities is simply expressed by D = E , H = B.
On the other hand, in Mie’s theory, φ and f are defined in (3)
as the result of a process of calculation, and there is no law that
CHAPTER III 310
δL = (H δB − D δE ) + (s δf − ρ δφ).
the vector φi , φi φi ,
the tensor Fik , 2L0 = 12 Fik F ik ,
RELATIVITY OF SPACE AND TIME 313
P
the linear tensor of the fourth order with components ±Fik Flm
(the summation extends over the 24 permutations of the indices
i, k, l, m; the upper sign applies to the even permutations, the
lower ones to the odd); and finally of the vector Fik φk .
Just as in three-dimensional geometry the most important the-
orem of congruence is that a vector-pair a, b is fully characterised
in respect to congruence by means of the invariants a2 , ab, b2 ,
so it may be shown in four-dimensional geometry that the invari-
ants quoted determine fully in respect to congruence the figure
composed of a vector φ and a linear tensor of the second order F .
Every invariant, in particular the Hamiltonian Function L, must
therefore be expressible algebraically in terms of the above four
quantities. Mie’s Theory thus resolves the problem of matter into
a determination of this expression. Maxwell’s Theory of the æther
which, of course, precludes the possibility of electrons, is contained
in it as the special case L = L0 . If we also express W and the
components of S in terms of four-dimensional quantities, we see
that they are the negative (0th) row in the scheme
This integral is to be taken over the whole world or, what comes
to the same thing, over a finite region beyond which the varia-
tion of the phase vanishes. This variation is represented by the
infinitesimal increments δφi of the potential-components and the
accompanying infinitesimal change of the field
∂(δφi ) ∂(δφk )
δFik = −
∂xk ∂xi
RELATIVITY OF SPACE AND TIME 315
in which δφi are space-time functions that only differ from zero
within a finite region. If we insert for δL the expression (63), we
get
∂(δφi )
δL = si δφi + H ik .
∂xk
By the principle of partial integration (vide page 165) we get
ik ∂(δφi ) ∂H ik
Z Z
H dω = − δφi dω,
∂xk ∂xk
and, accordingly,
∂H ik
Z Z
i
δ L dω = s − δφi dω. (66)
∂xk
B = H = 0, s = f = 0,
E = grad φ, div D = ρ,
D = E, ρ = −w0 (φ)
∆φ + w0 (φ) = 0. (68)
dxi
if ui = are the components of the world-direction, and
ds
si = ρ0 ui are the components of the 4-current (a pure convection
current). Finally, in addition to the substance-action there is
also a field-action of electricity, for which Maxwell’s Theory
makes the simple convention
∂φi ∂φk
Z
1 ik
4
Fik F dω Fik = − .
∂xk ∂xi
Hamilton’s Principle, which gives a condensed statement of the
Maxwell-Lorentz Laws, may then be expressed thus:
The total action, that is, the sum of the field-action and
substance-action of electricity plus the substance-action of the
mass for any arbitrary variation (vanishing for points beyond a
finite region) of the field-phase (of the φi ’s) and for a similarly
conditioned space-time displacement of the world-lines described
by the individual substance-points undergoes no change.
This principle clearly gives us the equations
∂F ik
= si = ρ0 ui ,
∂xk
if we vary the φi ’s. If, however, we keep the φi ’s constant, and
perform variations on the world-lines of the substance-points, we
get, by interchanging differentiation and variation (as in § 17 in
determining the shortest lines), and then integrating partially:
Z Z Z
φi dxi = (δφi dxi + φi dδφi ) = (δφi dxi − δxi dφi )
Z
∂φi ∂φk
= − δxk · dxi .
∂xk ∂xi
RELATIVITY OF SPACE AND TIME 323
325
CHAPTER IV 326
takes place.∗
Following Einstein by starting from the special theory of rel-
ativity described in the preceding chapter, we may arrive at the
general theory of relativity in two successive stages.
I. In conformity with the principle of continuity we take the
same step in the four-dimensional world that, in Chapter II,
brought us from Euclidean geometry to Riemann’s geometry.
This causes a quadratic differential form (1) to appear. There
is no difficulty in adapting the physical laws to this generalisa-
tion. It is expedient to represent the magnitude quantities by
tensor-densities instead of by tensors as in Chapter III; we can do
√
this by multiplying throughout by g (in which g is the negative
determinant of the gik ’s). Thus, in particular, the mass- and
charge-densities µ and ρ, instead of being given by formula (71)
of § 26, will be given by
µrω 2
p̄t = p̄θ = p̄z = 0, p̄r = rω 2 . (7)
1−
c
Two closely related circumstances characterise the “pseudo-
forces” of the metrical field. Firstly, the acceleration which they
impart to a point-mass situated at a definite space-time point (or,
more exactly, one passing through this point with a definite veloc-
ity) is independent of its mass, i.e. the force itself is proportional
to the inertial mass of the point-mass at which it acts. Secondly,
if we use an appropriate co-ordinate system, namely, a geodetic
one, at a definite space-time point, these forces vanish (cf. § 14). If
THE GENERAL THEORY OF RELATIVITY 335
= −Sgik δg ik .
if
Ski = 21 Sδik = Fir Fkr (11)
are the components of the energy-density of the electromagnetic
field.∗ It suddenly becomes clear to us now (and only now that we
∗
The signs are the reverse of those used in Chapter III on account of the
change in the sign of the metrical groundform.
CHAPTER IV 344
Hence the total change in the Action so far known to us is, for
a variation of the metrical field,
Z
1 ik
2
T δgik dx (12)
δG = 21 Gik δgik + 21 Gik,r δgik,r (Gki = Gik and Gki,r = Gik,r ) (13)
THE GENERAL THEORY OF RELATIVITY 345
δ 0 φi · dxi + φr dξ r = 0
and hence
∂ξ i
δ 0 φi = − · φr .
∂xi
Moreover, since
∂φ r
δφi = δ 0 φi − φ̄i (x̄) − φ̄i (x) = δ 0 φi − ·
ξ
∂xr
we get, suppressing the self-evident factor ,
∂ξ r ∂φi r
−δφi = φr + ξ . (20)
∂xi ∂xr
In the same way, we get
∂ξ r ∂ξ r ∂gik r
−δgik = gir + grk + ξ , (200 )
∂xk ∂xi ∂xr
∂ξ r ∂ξ r ∂Fik r
−δFik = Fir + Frk + ξ . (2000 )
∂xk ∂xi ∂xr
And, on account of
∂φi ∂φk ∂(δφi ) ∂(δφk )
Fik = − we have δFik = − , (21)
∂xk ∂xi ∂xk ∂xi
for since the former is an invariant relation, we get from it
∂ φ̄i (x̄) ∂ φ̄k (x̄) ∂ φ̄i (x) ∂ φ̄k (x)
F̄ik (x̄) = − , and also F̄ik (x) = − .
∂ x̄k ∂ x̄i ∂xk ∂xi
CHAPTER IV 350
Substitution gives us
∂ξ ∂gαβ
−δL = (Tki + Hrk Fri + sk φi ) + ( 21 Tαβ + · · · +)ξ i .
∂xk ∂xi
If we remove the derivatives of ξ i by partial integration, and use
the abbreviation
Vik = Tki + Fir Hkr + φi sk − δik L,
we get a formula of the following form
∂(Vi ξ i )
Z Z Z
0
−δ L dx = dx + (ti ξ i ) dx = 0. (22)
X X ∂x k X
which is here valid, the second part (in Maxwell’s equations) dis-
appears. But the first part, as we have already calculated, is
Z i Z k
k ∂ξ 1 ∂gαβ αβ i ∂Ti 1 ∂gαβ αβ
− Ti +2 T ξ dx = −2 T ξ i dx.
∂xk ∂xi ∂xk ∂xi
∂Tki 1 ∂gαβ αβ
− 2
T = 0. (26)
∂xk ∂xi
(On account of the presence of the additional term due to gravi-
tation these equations can no longer in the general theory of rel-
ativity be fitly termed theorems of conservation. The question
CHAPTER IV 352
δL = 12 Tik δgik + δ0 L.
and
r k
ik ∂γikik ir ∂γik
g δRik = g −g .
∂xr ∂xr
If we set
g ik γik
r
− g ir γik
k
= wr
we get
∂wr
g ik δRik = ,
∂xr
or, for any arbitrary co-ordinate system,
√
ik 1 ∂( gwr )
δR = Rik δg + √ .
g ∂xr
Here, of course (exactly as was done for the unit of charge in elec-
tromagnetic equations), the unit of mass has been suitably chosen.
If we retain the units of the c.g.s. system, a universal constant 8πκ
THE GENERAL THEORY OF RELATIVITY 357
By (570 ), (5700 ) of § 17, however, the first two terms on the right,
√
if we omit the factor g,
is kr kr ik rs sk ik rs ik
=− g +2 g − g
s i r i r s
rs ik sk ri ik rs
= − +2 − g ik
s r r s r s
ir ks ik rs
= 2g ik − .
s r r s
Hence we finally arrive at
1 1 ik ir ks ik rs
√ G = 2g − . (31)
g s r r s
we get
by the postulates that have been set up, whereas the space co-
ordinates x1 , x2 , x3 are fixed only to the extent of an arbitrary con-
tinuous transformation of these co-ordinates among themselves.
In the statical case, therefore, the metrics of the world gives, be-
sides the measure-determination of the space, also a scalar field f
in space.
If we denote the Christoffel 3-indices symbol, relating to the
ternary form dσ 2 , by an appended ∗, and if the index letters i, k, l
assume only the values 1, 2, 3 in turn, then it easily follows from
definition that
∗
ik ik
= ,
l l
ik 0i 00
= 0, = 0, = 0,
0 k 0
i0 fi 00
= , = ff i .
0 f 0
∂f
In the above, fi = are co-variant components of the three-
∂xi
dimensional gradient, and f i = γ ik fk are the corresponding
√
contra-variant components, whereas γf i = f i are the com-
ponents of a contra-variant vector-density in space. For the
√ √
determinant γ of the γik ’s we have g = f γ. If we further set
∗ ∗
∂fi ik ∂ 2f ik ∂f
fik = − fr = −
∂xk r ∂xi ∂xk r ∂xr
(the summation letter r also assumes only the three values 1, 2, 3),
and if we also set
∂f √
∆f = ∆f = γ · fii ),
∂xi
THE GENERAL THEORY OF RELATIVITY 361
that
∂ 2Φ ∂ 2Φ ∂ 2Φ
∆Φ = + + = 4πκcµ, (10)
∂x21 ∂x22 ∂x23
and µ is c-times the mass-density in the ordinary units. We find
that actually, according to all our geometric observations, this
assumption is very approximately true for the planetary system.
Since the masses of the planets are very small compared with
the mass of the sun which produces the field and is to be con-
sidered at rest, we may treat the former as “test-bodies” that are
embedded in the gravitational field of the sun. The motion of
each of them is then given by a geodetic world-line in this statical
gravitational field, if we neglect the disturbances due to the influ-
ence of the planets on one another. The motion thus satisfies the
principle of variation Z
δ ds = 0,
the ends of the portion of world-line remaining fixed. For the case
of rest, this gives us
Z p
δ f 2 − v 2 dt = 0,
in which 2 3
2 dσ X dxi dxk
v = = γik
dt i,k=1
dt dt
we arrive at Z ( X )
δ 1
2
ẋ2i − Φ dt = 0;
i
that is, the planet of mass m moves according to the laws of clas-
sical mechanics, if we assume that a force with the potential mΦ
acts in it. In this way we have linked up the theory with
that of Newton: Φ is the Newtonian potential that satisfies Pois-
son’s equation (10), and k = c2 κ is the gravitational constant of
Newton. From the well-known numerical value of the Newtonian
constant k, we get for 8πκ the numerical value
8πk
8πκ = 2
= 1.87 · 10−27 cm · gr−1 .
c
The deviation of the metrical groundform from that of Euclid (33)
is thus considerable enough to make the geodetic world-lines differ
from rectilinear uniform motion by the amount actually shown
by planetary motion—although the geometry which is valid in
space and is founded on dσ 2 differs only very little from Euclidean
CHAPTER IV 364
Q = 0, dσ = f dt,
and we get
dσ
Z Z
δ dt = δ = 0. (37)
f
This equation fixes only the spatial position of the light-ray; it is
nothing other than Fermat’s principle of the shortest path.
In the last formulation time has been eliminated entirely; it is
valid for any arbitrary portion of the path of the light-ray if the
latter alters its position by an infinitely small amount, its ends
being kept fixed.
If, for a statical field of gravitation, we use any space-co-
ordinates x1 , x2 , x3 , we may construct a graphical representation
of a Euclidean space by representing the point whose co-ordinates
are x1 , x2 , x3 by means of a point whose Cartesian co-ordinates are
x1 , x2 , x3 . If we mark the position of two stars S1 , S2 which are at
rest and also an observer B, who is at rest, in this picture-space,
CHAPTER IV 366
then the angle at which the stars appear to the observer is not
equal to the angle between the straight lines BS1 , BS2 connect-
ing the stars with the observer; we must connect B with S1 , S2
by means of the curved lines of shortest path resulting from (37)
and then, by means of an auxiliary construction, transform the
angle which these two lines make with one another at B from Eu-
clidean measure to that of Riemann determined by the metrical
groundform dσ 2 (cf. formula (15), § 11). The angles which have
been calculated in this way are those which determine the actually
observed position of the stars to one another, and which are read
off on the divided circle of the observing instrument. Whereas
B, S1 , S2 retain their positions in space, this angle S1 BS2 may
change, if great masses happen to get into proximity of the path of
the rays. It is in this sense that we may talk of light-rays being
curved as a result of the gravitational field. But the rays are
not, as we assumed in § 12 to get at general results, geodetic lines
in space Zwith the metrical groundform dσ 2 ; they do not make the
dσ
Z
integral dσ but assume a limiting value. The bending of
f
light-rays occur, in particular, in the gravitational field of the sun.
If for our graphical representation we use co-ordinates x1 , x2 , x3 ,
for which the Euclidean formula dσ 2 = dx21 +dx22 +dx23 holds at in-
finity, then numerical calculation for the case of a light-ray passing
by close to the sun shows that it must be diverted from its path to
the extent of 1.74 seconds (vide § 31). This entails a displacement
of the positions of the stars in the apparent immediate neighbour-
hood of the sun, which should certainly be measurable. These
positions of the stars can be observed, of course, only during a
total eclipse of the sun. The stars which come into consideration
must be sufficiently bright, as numerous as possible, and suffi-
THE GENERAL THEORY OF RELATIVITY 367
∂ψik
= 0. (42)
∂xk
For, if this is not so initially, we may, by an infinitesimal change,
alter the co-ordinate system so that (42) holds. The transforma-
tion formulæ that lead to a new co-ordinate system x̄, namely,
x̄i = xi + ξ(x0 , x1 , x2 , x3 )
∂ξi ∂ξk ∂ξ i
γik (x) − γ̄ik (x) = + , γ(x) − γ̄(x) = = Ξ,
∂xk ∂xi ∂xi
and we finally get
The aki ’s and the αi ’s are constants; the latter satisfy the condition
αi αi = 0. Moreover, α0 = ν is the frequency of the vibration and
α1 x1 + α2 x2 + α3 x3 = const. are the planes of constant phase.
The differential equations ∇ψik = 0 are satisfied identically. The
secondary conditions (42) require that
aki αk = 0. (44)
α2 = α3 = 0, −α1 = α0 = ν,
and equations (44) state that
since the a’s with the index 0 are determined from these by (45);
the space part, however, is subject to no limitation. In its turn it
splits up into the three summands in the direction of propagation
of the waves:
a11 0 0
0 a12 a13
0 0 0
0 0 0
+
a21 0 0
+
0 a22 a23
.
0 0 0
a31 0 0
0 a32 a33
The tensor-vibration may hence be resolved into three indepen-
dent components: a longitudinal-longitudinal, a longitudinal-
transverse, and a transverse-transverse wave.
H. Thirring has made two interesting applications of integra-
tion based on the method of approximation used here for the
gravitational equations (vide note 16). With its help he has in-
vestigated the influence of the rotation of a large, heavy, hollow
sphere on the motion of point-masses situated near the centre of
the sphere. He discovered, as was to be expected, a force effect
of the same kind as centrifugal force. In addition to this a second
force appears which seeks to drag the body into the equatorial
plane according to the same law as that according to which cen-
trifugal force seeks to drive it away from the axis. Secondly (in
conjunction with J. Lense), he has studied the influence of the
rotation of a central body on its planets or moons, respectively.
In the case of the fifth moon of Jupiter, the disturbance caused
THE GENERAL THEORY OF RELATIVITY 377
ds2 = f 2 dx20 − dσ 2
that
1
xα = xα and h2 = 1 + lr2 ,
h2
THE GENERAL THEORY OF RELATIVITY 379
The terms in the first and second row taken together lead to
11 10 1 00 1 10
− − 2 .
1 0 f2 1 h 0
The second factor in this product, however, is equal to zero. Since,
by (57) § 17
3
X 1i ∆0 √
= (∆ = g = hf ),
i=0
i ∆
the sum of the terms in the third and fourth row is equal to
2lr ∆0
− · .
h2 ∆
If we wish to take the world-integral G over a fixed interval with
respect to the time x0 , and over a shell enclosed by two spherical
surfaces with respect to space, then, since the element of integra-
tion is
dx = dx0 · dΩ · r2 dr (dΩ = solid angle),
the equation of variation that is to be solved is
Z
δ Gr2 dr = 0.
Hence, if we set
lr3 lr3
1
= = 1− 2 r = w,
h2 1 + lr2 h
we get Z
δ w∆0 dr = 0
THE GENERAL THEORY OF RELATIVITY 381
∆0 = 0, ∆ = const.
∆ = hf = 1.
w0 = 0, w = const. = 2m.
2m 1
f2 = 1 − , h2 =
r f2
This completes the solution of the problem. The unit of time has
been chosen so that the velocity of light at infinity = 1. For dis-
tances r, which are great compared with m, the Newtonian value
of the potential holds in the sense that the quantity m0 , intro-
duced by the equation m = κm0 occurs as the field-producing
mass in it; we call m the gravitational radius of the matter
causing the disturbance of the field. Since 4πm is the flux of the
CHAPTER IV 382
we get " 2 #
dσ
f2 1 + = const.
ds
In the case of a radially symmetrical field the equations corre-
sponding to the indices i = 1, 2, 3 give the proportion
d 2 x 1 d 2 x2 d 2 x3
: : = x1 : x2 : x3
ds2 ds2 ds2
(this is readily seen from the three-indices symbols that are written
down). And from them, there results, in the ordinary way, the
three equations which express the Law of Areas
dx2 dx1
...................., x1
− x2 = const.
ds ds
This theorem differs from the similar one derived in Newton’s
Theory, in that the differentiations are made, not according to
cosmic time, but according to the proper-time s of the planet. On
account of the Law of Areas the motion takes place in a plane that
we may choose as our co-ordinate plane x3 = 0. If we introduce
polar co-ordinates into it, namely
x1 = r cos φ, x2 = r sin φ,
the integral of the area is
dφ
r2 = const. = b. (47)
ds
The energy-integral, however, since
dx21 + dx22 = dr2 + r2 dφ2 , x1 dx1 + x2 dx2 = r dr,
dσ = (dr + r dφ ) + l(r dr)2 = h2 dr2 + r2 dφ2 ,
2 2 2 2
CHAPTER IV 384
becomes
( 2 2 )
2 2 dr 2 dφ
f 1+h +r = const.
ds ds
perihelion only in the case of Mercury, the planet nearest the sun
(vide note 18).
Formula (49) also gives the deflection α of the path of a ray of
π
light. If θ0 = + is the angle θ for which ρ = 0, then the value
2
of the integral, taken between −θ0 and +θ0 = π + α. Now in the
present case
1
2m(ρ0 − ρ)(ρ1 − ρ)(ρ − ρ2 ) = − ρ2 + 2mρ3 .
b2
1
The values of ρ fluctuate between 0 and ρ2 . Moreover, = r is
ρ1
the nearest distance to which the light-ray approaches the centre
of mass O, whilst b is the distance of the two asymptotes of the
light-ray from O (for in the case of any curve, this distance is
dφ
given by the value of for ρ = 0). Now,
dρ
2m(ρ0 + ρ1 + ρ2 ) = 1
m
is accurately true. If is a small fraction, we get to a first degree
b
of approximation that
m m m 2 m
mρ1 = −mρ2 = , (ρ1 + ρ2 ) = , = ,
b 2 b b
Z θ0
m 2m 4m
α= (1 + cos θ) dθ − π = 2 + and hence α =
−θ0 b b b
then if we set
1 2m
2
+ 2
ρ − ρ2 = (ρ1 − ρ)(ρ − ρ2 )
b b
in which ρ1 > 0, ρ2 < 0 and set
ρ1 + ρ2
cos θ0 = − ,
ρ1 − ρ2
we get
2m
π + α = 2θ0 , α∼ .
b
Thus Newton’s law of attraction leads to a deflection which is only
half as great as that predicted by Einstein. The observations made
at Sobral and Principe decide the question definitely in favour of
Einstein (vide note 19).
in which
h2 − 1 2m
l= 2
= 2 .
r r (r − 2m)
The two formulæ are identical if we set
r
0 2m p
F (r) = , F (r) = 8m(r − 2m).
r − 2m
The geometry which holds on this plane is therefore the same as
that which holds in Euclidean space on the surface of revolution
of a parabola p
z = 8m(r − 2m)
(vide note 20).
A charged sphere, besides calling up a radially symmetrical
gravitational field, calls up a similar electrostatic field. Since both
fields influence one another mutually, they may be determined
only conjointly and simultaneously (vide note 21). If we use the
ordinary units of the c.g.s. system (and not those of Heaviside
which dispose of the factor 4π in another way and which we have
generally used in the foregoing) for electricity as well as for the
other quantities, then in the region devoid of masses and charges
the integral becomes
Φ02 r2
Z
0
w∆ − κ dr.
∆
CHAPTER IV 390
Φ02 r2
w0 − κ =0
∆2
and hence
2
κ e2 1 f 2κm0 κ e2
w = 2m − 2 0 , = =1− + 2 02
c r h2 c r c r
1 e20
m0 − 2
c2 r
which is dependent on the value of r. The mass is consequently
distributed continuously. The density of mass coincides, of course,
with the density of energy. The “initial level” at the centre, from
which the mass is to be calculated, is not equal to 0 but to −∞.
Therefore the mass m0 of the electron cannot be determined from
this level at all, but signifies the “ultimate level” at an infinitely
CHAPTER IV 392
numerical value.
The gravitational field that is present in the interior of mas-
sive bodies is, according to Einstein’s Theory, determined only
when the dynamical constitution of the bodies are fully known;
since the mechanical conditions are included in the gravitational
equations, the conditions of equilibrium are given for the statical
case. The simplest conditions that offer themselves for consider-
ation are given when we deal with bodies that are composed of
a homogeneous incompressible fluid. The energy-tensor of a
fluid on which no volume forces are acting is given according to
§ 25, by
Tik = µ∗ ui uk − pgik
in which the ui ’s are co-variant components of the world-direction
of the matter, the scalar p denotes the pressure, and µ∗ is de-
termined from the constant density µ0 by means of the equation
µ∗ = µ0 + p. We introduce the quantities
µ∗ u i = v i
as independent variables, and set
1 p
L = √ L = µ0 − v i v i .
g
The energy and the mass are expressed in the rational units given
by the theory of gravitation. For a sphere of water, for example,
this upper limit of the radius works out to
r
3
= 4 · 108 km. = 22 light-minutes.
8πκ
Outside the sphere our earlier formulæ are valid, in particular
1 2m
2
=1− , ∆ = 1.
h r
The boundary conditions require that h and f have continuous
values in passing over the spherical surface, and that the pressure p
vanish at the surface. From the continuity of h we get for the
gravitational radius m of the sphere of fluid
µ0 r03
m= .
6
The inequality, which holds between r0 and µ0 , shows that the
radius r0 must be greater than 2m. Hence, if we start from infinity,
then, before we get to the singular sphere r = 2m mentioned
above, we reach the fluid, within which other laws hold. If we
now adopt the gramme as our unit, we must replace µ0 by 8πκµ0 ,
whereas m = κm0 , if m0 denotes the gravitating mass. We then
find that
4πr03
m 0 = µ0 .
3
Since
∗ µ∗ ∆
v=µ f =
h
THE GENERAL THEORY OF RELATIVITY 397
µ0
is a constant, and assumes the value at the surface of the
h0
sphere, in which h0 denotes the value of h there as given by (50),
we see that in the whole interior
µ0
v = (µ0 + p)f = . (51)
h0
Variation of h leads to
2∆0
− + rv = 0.
h3
Since it follows from (50) that
h0 µ0
= r,
h3 3
we get immediately
3v
∆= h + const.
2µ0
h0 − h
p = µ0 ·
3h − h0
CHAPTER IV 398
r2 dθ2
ds2 = f 2 dt2 − dσ 2 , dσ 2 = h(dr2 + dz 2 ) + .
f2
θ is an angle whose modulus is 2π; that is, corresponding to
values of θ that differ by integral multiples of 2π there is only one
point. On the axis of rotation r = 0. Also, h and f are functions
of r and z. We shall plot real space in terms of a Euclidean
space, in which r, θ, z are cylindrical co-ordinates. The canonical
co-ordinate system is uniquely defined except for a displacement
in the direction of the axis of rotation z 0 = z + const. When
h = f = 1, dσ 2 is identical with the metrical groundform of the
Euclidean picture-space (used for the plotting). The gravitational
problem may be solved just as easily on this theory as on that
of Newton, if the distribution of the matter is known in terms
of canonical co-ordinates. For if we transfer these masses into
our picture-space, that is, if we make the mass contained in
a portion of each space equal to the mass contained in the
CHAPTER IV 400
past into the future. The invariant e is the charge of our system.
If the co-ordinate system fulfils the conditions that every “plane”
x0 = const. intersects the canal in a finite region and that these
planes, arranged according to increasing values of x0 , follow one
another in the order, past → future, then we may calculate e by
means of the equation
Z
s0 dx1 dx2 dx3 = e
(this is true for every function of the gik ’s and their derivatives:
it has nothing to do with properties of invariance; δ 0 denotes, as
CHAPTER IV 404
Since this holds for any arbitrary region X, the integrand must be
equal to zero. In it the ξ i ’s denote arbitrary constant numbers;
hence we get four identities:
1 ∂gαβ ∂tk
2
[G]αβ = i.
∂xi ∂xk
THE GENERAL THEORY OF RELATIVITY 405
∂Uki
= 0, where Uki = Tki + tki . (56)
∂xk
It is thus shown that if we regard the tki ’s, which are dependent
only on the potentials and the field-components of gravitation, as
the components of the energy-density of the gravitational
field, we get pure divergence equations for all energy associated
with “physical state or phase” and “gravitation” (vide note 26).
And yet, physically, it seems devoid of sense to introduce
the tki ’s as energy-components of the gravitational field, for these
quantities neither form a tensor nor are they symmetrical.
In actual fact, if we choose an appropriate co-ordinate system, we
may make all the tki ’s at one point vanish; it is only necessary to
choose a geodetic co-ordinate system. And, on the other hand, if
we use a curvilinear co-ordinate system in a “Euclidean” world to-
tally devoid of gravitation, we get tki ’s that are all different from
zero, although the existence of gravitational energy in this case
can hardly come into question. Hence, although the differential
relations (56) have no real physical meaning, we can derive from
them, by integrating over an isolated system, an invariant
theorem of conservation (vide note 27).
During motion an isolated system with its accompanying gravi-
tational field sweeps out a canal in the “world”. Beyond the canal,
in the empty surroundings of the system, we shall assume that
CHAPTER IV 406
Hence, outside the canal, the co-ordinates are fixed except for a
linear (Lorentz) transformation, and the tki ’s vanish there. We as-
sume that each of the “planes” t = const. has only a finite portion
of section in common with the canal. If we integrate the equa-
tions (56) with respect to x1 , x2 , x3 over such a plane, we find
that the quantities
Z
Ji = U0i dx1 dx2 dx3
dJi
are independent of the time; that is = 0. We call J0 the
dt
energy, and J1 , J2 , J3 the momentum co-ordinates of the
system.
These quantities have a significance which is independent of
the co-ordinate system. We affirm, firstly, that they retain their
value if the co-ordinate system is changed anywhere within the
canal. Let x̄i be the new co-ordinates, identical with the old ones
for the region outside the canal. We mark out two “surfaces”
itself,
ds2 = dx20 − (dx21 + dx22 + dx23 ).
In the three-dimensional space x0 = 0 surrounding O we may
mark off a region R, such that, in it, −ds2 remains definitely pos-
itive. Through every point of this region we draw the geodetic
world-line which is orthogonal to that region, and which has a
time-like direction. These lines will cover singly a certain four-
dimensional neighbourhood of O. We now introduce new co-
ordinates which will coincide with the previous ones in the three-
dimensional space R, for we shall now assign the co-ordinates
x0 , x1 , x2 , x3 to the point P at which we arrive, if we go from
the point P0 = (x1 , x2 , x3 ) in R along the orthogonal geodetic
line passing through it, so far that the proper-time of the arc
traversed, P0 P , is equal to x0 . This system of co-ordinates was
introduced into the theory of surfaces by Gauss. Since ds2 = dx20
on each of the geodetic lines, we must get identically for all four
co-ordinates in this co-ordinate system:
g00 = 1. (58)
∂g0
=0 (i = 1, 2, 3)
∂x0
and, on account of (59), we have consequently not only for x0 = 0
but also identically for the four co-ordinates that
ik
with respect to x1 , x2 , x3 , and the ’s themselves. Hence, by
0
regarding the twelve quantities,
ik
gik , (i, k = 1, 2, 3)
0
a geodetic line if
00
= 0, (i = 1, 2, 3),
i
and hence
00 ∂g00
= 0, = 0.
i ∂xi
Therefore, a distribution of mass at rest is possible only if
√
g00 = f = const. = 1.
The equation
√
of radius a 3 in four-dimensional Euclidean space (whereby one
of the two poles on the sphere, whose first three co-ordinates,
x1 , x2 , x3 each = 0, corresponds to the centre in our case). The
world is a cylinder erected on this sphere in the direction of a
fifth co-ordinate axis t. But since on the “greatest sphere” x4 = 0,
which may be designated as the equator or the space-horizon for
that centre, f becomes zero, and hence the metrical groundform
of the world becomes singular, we see that the possibility of a sta-
tionary empty world is contrary to the physical laws that are here
regarded as valid. There must at least be masses at the horizon.
The calculation may be performed most readily if (merely to ori-
ent ourselves on the question) we assume an incompressible fluid
to be present there. According to § 32 the problem of variation
that is to be solved is (if we use the same notation and add the
λ term)
Z
0 λ 2 2
δ ∆ w + µ0 + r ∆ − r vh dr = 0.
2
we set
x4 = z cosh t, x5 = z sinh t,
we get
6
x21 + x22 + x23 + z 2 = , −ds2 = (dx21 + dx22 + dx23 + dz 2 ) − z 2 dt2 .
λ
These “new” z, t co-ordinates, however, enable only the “wedge-
shaped” section x24 − x25 > 0 to be represented. At the “edge”
of the wedge (at which x4 = 0 simultaneously with x5 = 0),
t becomes indeterminate. This edge, which appears as a two-
dimensional configuration in the original co-ordinates is, there-
fore, three-dimensional in the new co-ordinates; it is the cylinder
erected in the direction of the t-axis over the equator z = 0 of the
sphere (65). The question arises whether it is the first or the sec-
ond co-ordinate system that serves to represent the whole world
in a regular manner. In the former case the world would not be
static as a whole, and the absence of matter in it would be in
agreement with physical laws; de Sitter argues from this assump-
tion (vide note 32). In the latter case we have a static world that
cannot exist without a mass-horizon; this assumption, which we
have treated more fully, is favoured by Einstein.
f 2 dx20 − dσ 2 ,
∂(δvk )
Z Z Z
δW dx = dx + (wi δφi + 12 Wik δgik ) dx (70)
X X ∂xk X
The δvk ’s are defined uniquely by equation (70) only if the nor-
malising condition that the co-efficients (k, i, α, β) be symmetrical
in the indices k and i is added. In the normalisation the δvk ’s are
components of a vector-density (in the true sense), if the δφi ’s
are regarded as the components of a co-variant vector of weight
zero and the δgik ’s as the components of a tensor of weight unity.
(There is, of course, no objection to applying another normalisa-
tion in place of this one, provided that it is invariant in the same
sense.)
THE GENERAL THEORY OF RELATIVITY 431
Z
First of all, we express that W dx is a calibration invariant,
X
that is, that it does not alter when the calibration of the world is
altered infinitesimally. If the calibration ratio between the altered
and the original calibration is λ = 1 + π, π is an infinitesimal
scalar-field which characterises the event and which may be as-
signed arbitrarily. As a result of this process, the fundamental
quantities assume, according to (69), the following increments:
∂π
δgik = πgik , δφi = − . (71)
∂xi
If we substitute these values in δvk , let the following expressions
result:
∂π
sk (π) = π · sk + · hkα . (72)
∂xα
They are the components of a vector-density which depends on
the scalar-field π in a linear-differential manner. It further follows
∂π
from this, that, since the ’s are the components of a co-variant
∂xα
vector-field which is derived from the scalar-field, sk is a vector-
density, and hkα is a contra-variant tensor-density of the second
order. The variation (70) of the integral of Action must vanish on
account of its calibration invariance; that is, we have
∂sk (π)
Z
i ∂π
Z
1 i
dx + −w + W π dx = 0.
X ∂xk X ∂xi 2 i
If we transform the first term of the second integral by means of
partial integration, we may write, instead of the preceding equa-
tion,
∂ sk (π) − πwk
Z i
∂w
Z
1 i
dx + π + 2 Wi dx = 0. (73)
X ∂xk X ∂xi
CHAPTER IV 432
and
∂ Sk (ξ) − Wik ξ i
= 0. (80)
∂xk
The latter resolves into the following four identities:
∂Ski ∂Wik αk
∂Hi
= ;
Ski + = Wik ;
∂xk ∂xk ∂xα
(801,2,3,4 )
αβ βα ∂Hγαβ
i
(Hi + Hi ) + = 0; Hαβγ + Hβγα + Hγαβ = 0.
∂xγ i i i
If from (4 ) we replace in (3 )
γαβ
Hi by − Hαβγ
i − Hβαγ
i ,
we get that
αβ ∂Hαβγ
Hi − i
= Hαβ
i
∂xγ
is skew-symmetrical in the indices α, β. If we introduce Hαβi
αβ
in place of Hi we see that (3 ) and (4 ) are merely statements
regarding symmetry, but (2 ) becomes
∂Hαk
i ∂ 2 Hαβk
i
Ski + + = Wik . (81)
∂xα ∂xα ∂xβ
THE GENERAL THEORY OF RELATIVITY 437
δvk = f ik δφi .
Consequently
Z
If W dx is the Action, we see from this that the following in-
variant laws are contained in Hamilton’s Principle:
wi = 0, Wik = 0.
theorems of conservation
∂si ∂Ski
= 0, =0
∂xi ∂xk
are generally valid; and, indeed, they follow in two ways from
∂si ∂wi
the field laws. For is not only identically equal to , but
∂xi ∂xi
∂Ski ∂Wik
also to − 21 Wii , and is not only identically equal to , but
∂xk ∂xk
also to Γαiβ Wαβ − fik wk . The form of the gravitational equations
is given by (81). The field laws and their accompanying laws of
conservation may, by (75) and (80), be summarised conveniently
in the two equations
∂si (π) ∂Si (ξ)
= 0, = 0.
∂xi ∂xi
Attention has already been directed above to the intimate con-
nection between the laws of conservation of the energy-momentum
and the co-ordinate-invariance. To these four laws there is to be
added the law of conservation of electricity, and, corresponding to
it, there must, logically, be a property of invariance which will in-
troduce a fifth arbitrary function; the calibration-invariance here
appears as such. Earlier we derived the law of conservation of
energy-momentum from the co-ordinate-invariance only owing to
the fact that Hamilton’s function consists of two parts, the Ac-
tion-function of the gravitational field and that of the “physical
phase”; each part had to be treated differently, and the component
results had to be combined appropriately (§ 33). If those quanti-
ties, which are derived from Wξ k + δvk by taking the variation of
the fundamental quantities from (76) for the case π = 0, instead
CHAPTER IV 440
R + 2λ = 32 (φi φi ),
CHAPTER IV 446
1 ∂gαβ αβ,k
Gδik − 2
G ,
∂xi
and the supplementary cosmological terms
1 √
2
(λ g + φr sr )δik − φi sk .
use the old terms of § 31, and take φ to mean the electrostatic
potential, then the integral whose variation must vanish, is
which hold for the total energy. Let a volume Ω, whose dimen-
sions are great compared with the actual essential nucleus of the
particle, but small compared with those dimensions of the external
field which alter appreciably, be marked off around the material
particle. In the course of the motion Ω describes a canal in the
world, in the interior of which the current filament of the material
particle flows along. Let the co-ordinate system consisting of the
“time-co-ordinate” x0 = t and the “space-co-ordinates” x1 , x2 , x3 ,
be such that the spaces x0 = const. intersect the canal (the cross-
section is the volume Ω mentioned above). The integrals
Z
S0i dx1 dx2 dx3 = Ji ,
Ω
∂f ik
= ρui
∂xk
so literally as to apply it to the volume-elements of an electron. Its
true meaning is rather this: Outside the Ω-canal, the homogeneous
equations
∂f ik
=0 (91)
∂xk
hold. The only statical radially symmetrical solution f¯ik of (91)
e
is that derived from the potential ; it gives the flux e (and not 0,
r
as it would be in the case of a solution of (91) which is free from
singularities) of the electric field through an envelope Ω enclosing
the particle. On account of the linearity of equations (91), these
properties are not lost when an arbitrary solution fik of equa-
tions (91), free from singularities, is added to f¯ik ; such a one is
given by fik = const. The field which surrounds the moving
electron must be of the type: fik + f¯ik , if we introduce at
the moment under consideration a co-ordinate system in which
the electron is at rest. This assumption concerning the consti-
tution of the field outside Ω is, of course, justified only when we
are dealing with quasi-stationary motion, that is, when the world-
line of the particle deviates by a sufficiently small amount from a
straight line. The term ρui in Lorentz’s equation is to express the
general effect of the charge-singularities for a region that contains
many electrons. But it is clear that this assumption comes into
question only for quasi-stationary motion. Nothing at all can
be asserted about what happens during rapid acceleration. The
opinion which is so generally current among physicists nowadays,
CHAPTER IV 454
∂gαβ
the derivatives vanish, and the direction of the stream-
∂xi
filament is given by
ones, on the right side of which the tensor µui uk appears, takes
account of the singularities, due to the presence of masses, by fus-
ing them into a continuum; this assumption is legitimate only in
the quasi-stationary case.)
To return to the derivation of the mechanical equations! We
shall use, once and for all, the calibration normalised by F =
const., and we shall neglect the cosmological terms outside the
canal. The influence of the charge of the electron on the gravita-
tional field is, as we know from § 32, to be neglected in compar-
ison with the influence of the mass, provided the distance from
the particle is sufficiently great. Consequently, if we base our cal-
culations on the normal co-ordinate system, we may assume the
gravitational field to be that mentioned above. The determination
of the electromagnetic field is then, as in the gravitational case, a
linear problem; it is to have the form fik + f¯ik mentioned above
(with fik = const. on the surface of Ω). But this assumption is
compatible with the field-laws only if e = const. To prove this,
we shall deduce from a fictitious field that fills the canal regularly
and that links up with the really existing field outside, that
∂f ik
Z
=s,i
s0 dx1 dx2 dx3 = e∗
∂xk Ω
In the case of each, the first term contributes nothing, since the
flux of a constant vector through a closed surface is 0. The last
term is to be neglected since it contains the weak field f¯ as a
square; the middle term alone remains. But this gives us
Ki = ef0i .
at the point of the canal under consideration, but also just before
it and just after it
i dxi
Ji = mui u = .
ds
Hence the equations of motion of our particle expressed in the
normal co-ordinate system are
d(mui )
= ef0i . (93)
dt
dm
The 0th of these equations gives us: = 0; thus the field equa-
dt
tions require that the mass be constant. But in any arbitrary
co-ordinate system we have:
d(mui ) 1 ∂gαβ
− 2
muα uβ = e · fki uk . (94)
ds ∂xi
For the relations (94) are invariant with respect to co-ordinate
transformations, and agree with (93) in the case of the normal co-
ordinate system. Hence, according to the field-laws, a necessary
condition for a singularity canal, which is to fit into the remaining
part of the field, and in the immediate neighbourhood of which the
field has the required structure, is that the quantities e and m
that characterise the singularity at each point of the canal remain
constant along the canal, but that the world-direction of the canal
satisfy the equations
dui 1 ∂gαβ α β e
− 2
u u = · fki uk .
ds ∂xi m
In the light of these considerations, it seems to the author that
the opinion expressed in § 25 stating that mass and field-energy
CHAPTER IV 460
ways out of this difficulty. Either we must introduce into the law
of action a square root or some other irrationality; in the discus-
sion on Mie’s theory, it was mentioned how the desired inequality
could be caused in this way, but it was also pointed out what ob-
stacles lie in the way of such an irrational Action. Or, secondly,
there is the following view which seems to the author to give a
truer statement of reality. We have here occupied ourselves only
with the field which satisfies certain generally invariant functional
laws. It is quite a different matter to inquire into the excitation
or cause of the field-phases that appear to be possible according
to these laws; it directs our attention to the reality lying beyond
the field. Thus in the æther there may exist convergent as well
as divergent electromagnetic waves; but only the latter event can
be brought about by an atom, situated at the centre, which emits
energy owing to the jump of an electron from one orbit to an-
other in accordance with Bohr’s hypothesis. This example shows
(what is immediately obvious from other considerations) that the
idea of causation (in contra-distinction to functional relation) is
intimately connected with the unique direction of progress
characteristic of Time, namely Past → Future. This one-
ness of sense in Time exists beyond doubt—it is, indeed, the most
fundamental fact of our perception of Time—but a priori reasons
exclude it from playing a part in physics of the field, But we saw
above (§ 33) that the sign, too, of an isolated system is fully de-
termined, as soon as a definite sense of flow, Past → Future, has
been prescribed to the world-canal swept out by the system. This
connects the inequality of positive and negative electricity with
the inequality of Past and Future; but the roots of this problem
are not in the field, but lie outside it. Examples of such regulari-
ties of structure that concern, not the field, but the causes of the
CHAPTER IV 466
Fig. 15.
468
APPENDIX I 469
J = α(gii,kk − gik,ik ) + λ
R = gik,ik − gii,kk
we shall get
J = −αR + λ. (∗)
APPENDIX II 473
whereby the sense of the second co-ordinate axis may yet be chosen
arbitrarily. Since Λ may not depend on this choice, we must have
b = 0, therefore
In the same way it may be proved that gik , Rgik , Rik are the
only tensors of the second order that contain derivatives of the gik ’s
only to the second order, and these, indeed, only linearly.
BIBLIOGRAPHY
(The number of each note is followed by the number of the page on
which reference is made to it)
475
BIBLIOGRAPHY 476
Bd. 54 (1901).
CHAPTER II
Note 1. (113) For more detailed information reference may be made
to Die Nicht-Euklidische Geometrie, Bonola and Liebmann, published
by Teubner.
Note 2. (118) F. Klein, Über die sogenannte Nicht-Euklidische
Geometrie, Math. Ann., Bd. 4 (1871), p. 573. Cf. also later papers in
the Math. Ann., Bd. 6 (1873), p. 112, and Bd. 37 (1890), p. 544.
Note 3. (121) Sixth Memoir upon Quantics, Philosophical Trans-
actions, t. 149 (1859).
Note 4. (133) Mathematische Werke (2 Aufl., Leipzig, 1892),
Nr. XIII, p. 272. Als besondere Schrift herausgegeben und kommen-
tiert vom Verf. (2 Aufl., Springer, 1920).
Note 5. (137) Saggio di interpretazione della geometria non eu-
clidea, Giorn. di Matem., t. 6 (1868), p. 204; Opere Matem. (Höpli,
1902), t. 1, p. 374.
Note 6. (137) Grundlagen der Geometrie (3 Aufl., Leipzig, 1909),
Anhang V.
Note 7. (142) Cf. the references in Chap. I.2 Christoffel, Über die
Transformation der homogenen Differentialausdrücke zweiten Grades,
Journ. f. d. reine und angew. Mathemathik, Bd. 70 (1869): Lipschitz,
in the same journal, Bd. 70 (1869), p. 71, and Bd. 72 (1870), p. 1.
Note 8. (150) Christoffel (l.c.7 ). Ricci and Levi-Civita, Méthodes
de calcul différentiel absolu et leurs applications, Math. Ann., Bd. 54
(1901).
Note 9. (151) The development of this geometry was strongly
influenced by the following works which were created in the light of
Einstein’s Theory of Gravitation: Levi-Civita, Nozione di parallelismo
BIBLIOGRAPHY 477
CHAPTER III
Note 1. (221) All further references to the special theory of rela-
tivity will be found in Laue, Die Relativitätstheorie I (3 Aufl., Braun-
schweig, 1919).
Note 2. (238) Helmholtz, Monatsber. d. Berliner Akademie, Marz,
1876, or Ges. Abhandlungen, Bd. 1 (1882), p. 791. Eichenwald, An-
nalen der Physik, Bd. 11 (1903), p. 1.
BIBLIOGRAPHY 478
CHAPTER IV
Note 1. (325) Concerning this paragraph, and indeed the whole
chapter up to § 34, vide A. Einstein, Die Grundlagen der allge-
BIBLIOGRAPHY 480
from Observations made at the Total Eclipse of May 29th, 1919; Phil.
Trans. of the Royal Society of London, Ser. A, vol. 220 (1920), pp. 291–
333. Cf. E. Freundlich, Die Naturwissenschaften, 1920, pp. 667–73.
Note 12. (368) Schwarzschild, Sitzungsber. d. Preuss. Akad.
d. Wissenschaften, 1914, p. 1201. Ch. E. St. John, Astrophys. Journal,
46 (1917), p. 249 (vgl. auch die dort zitierten Arbeiten von Halm und
Adams). Evershed and Royds, Kodaik. Obs. Bull., 39. L. Grebe and
A. Bachem, Verhandl. d. Deutsch. Physik. Ges., 21 (1919), p. 454;
Zeitschrift für Physik, 1 (1920), p. 51. E. Freundlich, Physik. Zeitschr.,
20 (1919), p. 561.
Note 13. (369) Einstein, Sitzungsber. d. Preuss. Akad. d. Wis-
sensch., 1915, 47, p. 831. Schwarzschild, Sitzungsber. d. Preuss. Akad.
d. Wissensch., 1916, 7, p. 189.
Note 14. (369) The following hypothesis claimed most favour.
H. Seeliger, Das Zodiakallicht und die empirischen Glieder in der Bewe-
gung der inneren Planeten, Münch. Akad., Ber. 36 (1906). Cf. E. Fre-
undlich, Astr. Nachr., Bd. 201 (June, 1915), p. 48.
Note 15. (371) Einstein, Sitzungsber. d. Preuss. Akad. d. Wis-
sensch., 1916, p. 688; and the appendix: Über Gravitationswellen,
idem, 1918, p. 154. Also Hilbert (l.c.8 ), 2 Mitteilung.
Note 16. (376) Phys. Zeitschr., Bd. 19 (1918), pp. 33 and 156.
Cf. also de Sitter, Planetary motion and the motion of the moon ac-
cording to Einstein’s theory, Amsterdam Proc., Bd. 19, 1916.
Note 17. (377) Cf. Schwarzschild (l.c.12 ); Hilbert (l.c.8 ), 2 Mitt.;
J. Droste, Versl. K. Akad. v. Wetensch., Bd. 25 (1916), p. 163.
Note 18. (387) Concerning the problem of n bodies, vide J. Droste,
Versl. K. Akad. v. Wetensch., Bd. 25 (1916), p. 460.
Note 19. (388) Cf. A. S. Eddington, Report, §§ 29, 30.
Note 20. (389) L. Flamm, Beiträge zur Einsteinschen Gravitation-
stheorie, Physik. Zeitschr., Bd. 17 (1916), p. 449.
BIBLIOGRAPHY 483
Note 21. (389) H. Reistner, Ann. Physik, Bd. 50 (1916), pp. 106–
20. Weyl (l.c.8 ). G. Nordström, On the Energy of the Gravitation Field
in Einstein’s Theory, Versl. d. K. Akad. v. Wetensch., Amsterdam,
vol. xx., Nr. 9, 10 (Jan. 26th, 1918). C. Longo, Legge elettrostatica
elementare nella teoria di Einstein, Nuovo Cimento, ser. 6, vol. xv.
(1918). p. 191.
Note 22. (399) Sitzungsber. d. Preuss. Akad. d. Wissensch.,
1916, 18, p. 424. Also H. Bauer, Kugelsymmetrische Lösungssysteme
der Einsteinschen Feldgleichungen der Gravitation für eine ruhende,
gravitierende Flüssigkeit mit linearer Zustandsgleichung, Sitzungsber.
d. Akad. d. Wissensch. in Wien, math.-naturw. Kl., Abt. IIa, Bd. 127
(1918).
Note 23. (399) Weyl (l.c.8 ), §§ 5, 6. And a remark in Ann.
d. Physik, Bd. 59 (1919).
Note 24. (402) Levi-Civita: ds2 einsteiniani in campi newtoniani,
Rend. Accad. dei Linceï, 1917–19.
Note 25. (402) A. De-Zuani, Equilibrio relativo ed equazioni
gravitazionali di Einstein nel caso stazionario, Nuovo Cimento, ser. v,
vol. xviii. (1819), p. 5. A. Palatini, Moti Einsteiniani stazionari, Atti
del R. Instit. Veneto di scienze, lett. ed arti, t. 78 (2) (1919), p. 589.
Note 26. (405) Einstein, Grundlagen [(l.c.1 )] S. 49. The proof here
is according to Klein (l.c.5 ).
Note 27. (405) For a discussion of the physical meaning of these
equations, vide Schrödinger, Phys. Zeitschr., Bd. 19 (1918), p. 4;
H. Bauer, idem, p. 163; Einstein, idem, p. 115, and finally, Einstein,
Der Energiesatz in der allgemeinen Relativitätstheorie, in den Sitz-
ungsber. d. Preuss. Akad. d. Wissensch., 1918, p. 448, which cleared
away the difficulties, and which we have followed in the text. Cf. also
F. Klein, Über die Integralform der Erhaltungssätze und die Theorie
der räumlich geschlossenen Welt, Nachr. d. Ges. d. Wissensch. zu
Göttingen, 1918.
BIBLIOGRAPHY 484
Note 36. (442) Cf. also W. Pauli, Zur Theorie der Gravitation
und der Elektrizität von H. Weyl, Physik. Zeitschr., Bd. 20 (1919),
pp. 457–67. Einstein arrived at partly similar results by means of a
further modification of his gravitational equations in his essay: Spielen
Gravitationsfelder im Aufbau der materiellen Elementarteilchen eine
wesentliche Rolle? Sitzungsber. d. Preuss. Akad. d. Wissensch., 1919,
pp. 349–56.
Note 37. (449) Concerning such existence theorems at a point of
singularity, vide Picard, Traité d’Analyse, t. 3, p. 21.
Note 38. (452) Ann. d. Physik, Bd. 39 (1913).
Note 39. (454) As described in the book by Sommerfeld, Atombau
and Spektrallinien, Vieweg, 1919 and 1921.
Note 40. (463) This was proved by R. Weitzenböck in a letter to the
present author; his investigation will appear soon in the Sitzungsber.
d. Akad. d. Wissensch. in Wien.
Note 41. (464) W. Pauli, Merkur-Perihelbewegung und Strahlen-
ablenkung in Weyl’s Gravitationstheorie, Verhandl. d. Deutschen
physik. Ges., Bd. 21 (1919), p. 742.
Note 42. (464) Pauli (l.c.36 ).
INDEX
Aberration, 237, 277 Atom, Bohr’s, 104, 454
Abscissa, 12 Axioms
Acceleration, 171 of affine geometry, 23
Action of metrical geometry
principle of, 315 (Euclidean), 39
Action (infinitesimal), 183
(cf. Hamilton’s Function), 314 Axis of rotation, 18
quantum of, 426
Active past and future, 259 Between, 16
Addition of tensors, 63 Bilinear form, 37
Biot and Savart’s Law, 107
of tensor-densities, 162
Bohr’s model of the atom, 104, 454
of vectors, 23
Bolyai’s geometry, 116, 117
Adjustment and persistence, 461
Æther Calibration, 179
(as a substance), 237 (geodetic), 187
(in a generalised sense), 251, 466 Canonical cylindrical co-ordinates,
Affine 399
geometry Cartesian co-ordinate systems, 42
(infinitesimal), 165 Cathode rays, 296
(linear Euclidean), 22 Causality, principle of, 308
manifold, 151 Cayley’s measure-determination,
relationship of a metrical space, 121
184 Centrifugal forces, 331, 332
transformation, 30 Charge
Allowable systems, 263 (as a substance), 319
Analysis situs, 409, 417 (generally), 403, 441
Angles Christoffel’s 3-indices symbols, 196
measurement of, 18, 42 Clocks, 10, 461
right, 18, 42 Co-gredient transformations, 59, 61
Angular Co-ordinate systems, 12
momentum, 67 Cartesian, 42
velocity, 68 normal, 257, 468
Associative law, 24 Co-ordinates, curvilinear
Asymptotic straight line, 113, 114 (or Gaussian), 126
486
INDEX 487
Creating the works from public domain print editions means that no
one owns a United States copyright in these works, so the Foundation
(and you!) can copy and distribute it in the United States without
permission and without paying copyright royalties. Special rules,
set forth in the General Terms of Use part of this license, apply to
copying and distributing Project Gutenberg-tm electronic works to
protect the PROJECT GUTENBERG-tm concept and trademark. Project
Gutenberg is a registered trademark, and may not be used if you
charge for the eBooks, unless you receive specific permission. If you
do not charge anything for copies of this eBook, complying with the
rules is very easy. You may use this eBook for nearly any purpose
such as creation of derivative works, reports, performances and
research. They may be modified and printed and given away--you may do
practically ANYTHING with public domain eBooks. Redistribution is
subject to the trademark license, especially commercial
redistribution.
I
LICENSE II
Gutenberg"), you agree to comply with all the terms of the Full Project
Gutenberg-tm License available with this file or online at
www.gutenberg.org/license.
1.D. The copyright laws of the place where you are located also govern
what you can do with this work. Copyright laws in most countries are in
a constant state of change. If you are outside the United States, check
the laws of your country in addition to the terms of this agreement
before downloading, copying, displaying, performing, distributing or
creating derivative works based on this work or any other Project
Gutenberg-tm work. The Foundation makes no representations concerning
the copyright status of any work in any country outside the United
States.
1.E.1. The following sentence, with active links to, or other immediate
access to, the full Project Gutenberg-tm License must appear prominently
whenever any copy of a Project Gutenberg-tm work (any work on which the
phrase "Project Gutenberg" appears, or with which the phrase "Project
Gutenberg" is associated) is accessed, displayed, performed, viewed,
copied or distributed:
This eBook is for the use of anyone anywhere at no cost and with
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form, including any
word processing or hypertext form. However, if you provide access to or
distribute copies of a Project Gutenberg-tm work in a format other than
"Plain Vanilla ASCII" or other format used in the official version
posted on the official Project Gutenberg-tm web site (www.gutenberg.org),
you must, at no additional cost, fee or expense to the user, provide a
copy, a means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original "Plain Vanilla ASCII" or other
form. Any alternate format must include the full Project Gutenberg-tm
License as specified in paragraph 1.E.1.
- You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg-tm works calculated using the method
you already use to calculate your applicable taxes. The fee is
owed to the owner of the Project Gutenberg-tm trademark, but he
has agreed to donate royalties under this paragraph to the
Project Gutenberg Literary Archive Foundation. Royalty payments
must be paid within 60 days following each date on which you
prepare (or are legally required to prepare) your periodic tax
returns. Royalty payments should be clearly marked as such and
sent to the Project Gutenberg Literary Archive Foundation at the
address specified in Section 4, "Information about donations to
the Project Gutenberg Literary Archive Foundation."
LICENSE V
- You provide a full refund of any money paid by a user who notifies
you in writing (or by e-mail) within 30 days of receipt that s/he
does not agree to the terms of the full Project Gutenberg-tm
License. You must require such a user to return or
destroy all copies of the works possessed in a physical medium
and discontinue all use of and all access to other copies of
Project Gutenberg-tm works.
- You comply with all other terms of this agreement for free
distribution of Project Gutenberg-tm works.
1.F.
fees. YOU AGREE THAT YOU HAVE NO REMEDIES FOR NEGLIGENCE, STRICT
LIABILITY, BREACH OF WARRANTY OR BREACH OF CONTRACT EXCEPT THOSE
PROVIDED IN PARAGRAPH 1.F.3. YOU AGREE THAT THE FOUNDATION, THE
TRADEMARK OWNER, AND ANY DISTRIBUTOR UNDER THIS AGREEMENT WILL NOT BE
LIABLE TO YOU FOR ACTUAL, DIRECT, INDIRECT, CONSEQUENTIAL, PUNITIVE OR
INCIDENTAL DAMAGES EVEN IF YOU GIVE NOTICE OF THE POSSIBILITY OF SUCH
DAMAGE.
1.F.4. Except for the limited right of replacement or refund set forth
in paragraph 1.F.3, this work is provided to you ’AS-IS’, WITH NO OTHER
WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PURPOSE.
1.F.6. INDEMNITY - You agree to indemnify and hold the Foundation, the
trademark owner, any agent or employee of the Foundation, anyone
providing copies of Project Gutenberg-tm electronic works in accordance
with this agreement, and any volunteers associated with the production,
promotion and distribution of Project Gutenberg-tm electronic works,
harmless from all liability, costs and expenses, including legal fees,
that arise directly or indirectly from any of the following which you do
or cause to occur: (a) distribution of this or any Project Gutenberg-tm
work, (b) alteration, modification, or additions or deletions to any
LICENSE VII
Please check the Project Gutenberg Web pages for current donation
methods and addresses. Donations are accepted in a number of other
ways including checks, online payments and credit card donations.
To donate, please visit: www.gutenberg.org/donate
Most people start at our Web site which has the main PG search facility:
www.gutenberg.org