view release on metacpan or  search on metacpan

t/Relativity.test  view on Meta::CPAN

according to the rules of Euclidean geometry. Hence the imperfections
of the construction of squares in the previous section do not show
themselves clearly until this construction is extended over a
considerable portion of the surface of the table.

We can sum this up as follows: Gauss invented a method for the
mathematical treatment of continua in general, in which "
size-relations " (" distances " between neighbouring points) are
defined. To every point of a continuum are assigned as many numbers
(Gaussian coordinates) as the continuum has dimensions. This is done
in such a way, that only one meaning can be attached to the
assignment, and that numbers (Gaussian coordinates) which differ by an
indefinitely small amount are assigned to adjacent points. The
Gaussian coordinate system is a logical generalisation of the
Cartesian co-ordinate system. It is also applicable to non-Euclidean
continua, but only when, with respect to the defined "size" or
"distance," small parts of the continuum under consideration behave
more nearly like a Euclidean system, the smaller the part of the
continuum under our notice.



THE SPACE-TIME CONTINUUM OF THE SPEICAL THEORY OF RELATIVITY CONSIDERED AS A
EUCLIDEAN CONTINUUM


We are now in a position to formulate more exactly the idea of
Minkowski, which was only vaguely indicated in Section 17. In
accordance with the special theory of relativity, certain co-ordinate
systems are given preference for the description of the
four-dimensional, space-time continuum. We called these " Galileian
co-ordinate systems." For these systems, the four co-ordinates x, y,
z, t, which determine an event or -- in other words, a point of the
four-dimensional continuum -- are defined physically in a simple
manner, as set forth in detail in the first part of this book. For the
transition from one Galileian system to another, which is moving
uniformly with reference to the first, the equations of the Lorentz
transformation are valid. These last form the basis for the derivation
of deductions from the special theory of relativity, and in themselves
they are nothing more than the expression of the universal validity of
the law of transmission of light for all Galileian systems of
reference.

Minkowski found that the Lorentz transformations satisfy the following
simple conditions. Let us consider two neighbouring events, the
relative position of which in the four-dimensional continuum is given
with respect to a Galileian reference-body K by the space co-ordinate
differences dx, dy, dz and the time-difference dt. With reference to a
second Galileian system we shall suppose that the corresponding
differences for these two events are dx1, dy1, dz1, dt1. Then these
magnitudes always fulfil the condition*

     dx2 + dy2 + dz2 - c^2dt2 = dx1 2 + dy1 2 + dz1 2 - c^2dt1 2.

The validity of the Lorentz transformation follows from this
condition. We can express this as follows: The magnitude

                   ds2 = dx2 + dy2 + dz2 - c^2dt2,

which belongs to two adjacent points of the four-dimensional
space-time continuum, has the same value for all selected (Galileian)
reference-bodies. If we replace x, y, z, sq. rt. -I . ct , by x[1],
x[2], x[3], x[4], we also obtaill the result that

             ds2 = dx[1]^2 + dx[2]^2 + dx[3]^2 + dx[4]^2.

is independent of the choice of the body of reference. We call the
magnitude ds the " distance " apart of the two events or
four-dimensional points.

Thus, if we choose as time-variable the imaginary variable sq. rt. -I
. ct instead of the real quantity t, we can regard the space-time
contintium -- accordance with the special theory of relativity -- as a
", Euclidean " four-dimensional continuum, a result which follows from
the considerations of the preceding section.


  Notes

*) Cf. Appendixes I and 2. The relations which are derived
there for the co-ordlnates themselves are valid also for co-ordinate
differences, and thus also for co-ordinate differentials (indefinitely
small differences).



THE SPACE-TIME CONTINUUM OF THE GENERAL THEORY OF REALTIIVTY IS NOT A
ECULIDEAN CONTINUUM


In the first part of this book we were able to make use of space-time
co-ordinates which allowed of a simple and direct physical
interpretation, and which, according to Section 26, can be regarded
as four-dimensional Cartesian co-ordinates. This was possible on the
basis of the law of the constancy of the velocity of tight. But
according to Section 21 the general theory of relativity cannot
retain this law. On the contrary, we arrived at the result that
according to this latter theory the velocity of light must always
depend on the co-ordinates when a gravitational field is present. In
connection with a specific illustration in Section 23, we found
that the presence of a gravitational field invalidates the definition
of the coordinates and the ifine, which led us to our objective in the
special theory of relativity.

In view of the resuIts of these considerations we are led to the
conviction that, according to the general principle of relativity, the
space-time continuum cannot be regarded as a Euclidean one, but that
here we have the general case, corresponding to the marble slab with
local variations of temperature, and with which we made acquaintance
as an example of a two-dimensional continuum. Just as it was there
impossible to construct a Cartesian co-ordinate system from equal
rods, so here it is impossible to build up a system (reference-body)
from rigid bodies and clocks, which shall be of such a nature that
measuring-rods and clocks, arranged rigidly with respect to one
another, shaIll indicate position and time directly. Such was the
essence of the difficulty with which we were confronted in Section
23.

But the considerations of Sections 25 and 26 show us the way to
surmount this difficulty. We refer the fourdimensional space-time
continuum in an arbitrary manner to Gauss co-ordinates. We assign to

t/Relativity.test  view on Meta::CPAN

to the theory of relativity, the " time "x[4], enters into natural
laws in the same form as the space co ordinates x[1], x[2], x[3].

A four-dimensional continuum described by the "co-ordinates" x[1],
x[2], x[3], x[4], was called "world" by Minkowski, who also termed a
point-event a " world-point." From a "happening" in three-dimensional
space, physics becomes, as it were, an " existence " in the
four-dimensional " world."

This four-dimensional " world " bears a close similarity to the
three-dimensional " space " of (Euclidean) analytical geometry. If we
introduce into the latter a new Cartesian co-ordinate system (x'[1],
x'[2], x'[3]) with the same origin, then x'[1], x'[2], x'[3], are
linear homogeneous functions of x[1], x[2], x[3] which identically
satisfy the equation

        x'[1]^2 + x'[2]^2 + x'[3]^2 = x[1]^2 + x[2]^2 + x[3]^2

The analogy with (12) is a complete one. We can regard Minkowski's "
world " in a formal manner as a four-dimensional Euclidean space (with
an imaginary time coordinate) ; the Lorentz transformation corresponds
to a " rotation " of the co-ordinate system in the fourdimensional "
world."



APPENDIX III

THE EXPERIMENTAL CONFIRMATION OF THE GENERAL THEORY OF RELATIVITY


From a systematic theoretical point of view, we may imagine the
process of evolution of an empirical science to be a continuous
process of induction. Theories are evolved and are expressed in short
compass as statements of a large number of individual observations in
the form of empirical laws, from which the general laws can be
ascertained by comparison. Regarded in this way, the development of a
science bears some resemblance to the compilation of a classified
catalogue. It is, as it were, a purely empirical enterprise.

But this point of view by no means embraces the whole of the actual
process ; for it slurs over the important part played by intuition and
deductive thought in the development of an exact science. As soon as a
science has emerged from its initial stages, theoretical advances are
no longer achieved merely by a process of arrangement. Guided by
empirical data, the investigator rather develops a system of thought
which, in general, is built up logically from a small number of
fundamental assumptions, the so-called axioms. We call such a system
of thought a theory. The theory finds the justification for its
existence in the fact that it correlates a large number of single
observations, and it is just here that the " truth " of the theory
lies.

Corresponding to the same complex of empirical data, there may be
several theories, which differ from one another to a considerable
extent. But as regards the deductions from the theories which are
capable of being tested, the agreement between the theories may be so
complete that it becomes difficult to find any deductions in which the
two theories differ from each other. As an example, a case of general
interest is available in the province of biology, in the Darwinian
theory of the development of species by selection in the struggle for
existence, and in the theory of development which is based on the
hypothesis of the hereditary transmission of acquired characters.

We have another instance of far-reaching agreement between the
deductions from two theories in Newtonian mechanics on the one hand,
and the general theory of relativity on the other. This agreement goes
so far, that up to the preseat we have been able to find only a few
deductions from the general theory of relativity which are capable of
investigation, and to which the physics of pre-relativity days does
not also lead, and this despite the profound difference in the
fundamental assumptions of the two theories. In what follows, we shall
again consider these important deductions, and we shall also discuss
the empirical evidence appertaining to them which has hitherto been
obtained.

 (a) Motion of the Perihelion of Mercury

According to Newtonian mechanics and Newton's law of gravitation, a
planet which is revolving round the sun would describe an ellipse
round the latter, or, more correctly, round the common centre of
gravity of the sun and the planet. In such a system, the sun, or the
common centre of gravity, lies in one of the foci of the orbital
ellipse in such a manner that, in the course of a planet-year, the
distance sun-planet grows from a minimum to a maximum, and then
decreases again to a minimum. If instead of Newton's law we insert a
somewhat different law of attraction into the calculation, we find
that, according to this new law, the motion would still take place in
such a manner that the distance sun-planet exhibits periodic
variations; but in this case the angle described by the line joining
sun and planet during such a period (from perihelion--closest
proximity to the sun--to perihelion) would differ from 360^0. The line
of the orbit would not then be a closed one but in the course of time
it would fill up an annular part of the orbital plane, viz. between
the circle of least and the circle of greatest distance of the planet
from the sun.

According also to the general theory of relativity, which differs of
course from the theory of Newton, a small variation from the
Newton-Kepler motion of a planet in its orbit should take place, and
in such away, that the angle described by the radius sun-planet
between one perhelion and the next should exceed that corresponding to
one complete revolution by an amount given by

                        eq. 41: file eq41.gif

(N.B. -- One complete revolution corresponds to the angle 2p in the
absolute angular measure customary in physics, and the above
expression giver the amount by which the radius sun-planet exceeds
this angle during the interval between one perihelion and the next.)
In this expression a represents the major semi-axis of the ellipse, e
its eccentricity, c the velocity of light, and T the period of
revolution of the planet. Our result may also be stated as follows :
According to the general theory of relativity, the major axis of the
ellipse rotates round the sun in the same sense as the orbital motion
of the planet. Theory requires that this rotation should amount to 43
seconds of arc per century for the planet Mercury, but for the other
Planets of our solar system its magnitude should be so small that it
would necessarily escape detection. *

In point of fact, astronomers have found that the theory of Newton