The Analysis of Matter

may have any time-like magnitude. Euclid proved that two sides of a triangle are together greater than the third side, and was criticized on the ground that this proposition was evident even to asses. But in relativity geometry this proposition is false. In our triangle , and are zero, while may have any finite magnitude. Again, the events which are parts of a single light-ray have a definite time-order, in spite of the fact that the interval between any two of them is zero. This appears as follows. Suppose a light-ray proceeds from the sun to the moon and is thence reflected to the earth: it reaches the earth later than a direct ray which left the sun at the same time. There is therefore a definite sense in saying that the ray reached the moon later than it left the sun—i.e. we can say that the ray went from the sun to the moon, not from the moon to the sun. Generalizing, we may say: If and are part of one light-ray, and light-rays from and , distinct from the previous light-ray, contain events , whose interval is time-like, then the time-order of , is the same whatever these new light-rays may be—i.e. we shall have always before , or always before . In the first case, we say that the "sense" of the ray is from to in the second, from to . This illustrates the difficulties which would arise if we were to attempt to found our geometry on interval alone. We must also take account of the purely ordinal properties of the space-time manifold. These properties give a wide separation between the departure of a light-ray from the sun and its[Pg 71] arrival on the earth, although the "interval" between these two events is zero. Reverting now to the method of tensors and its possible eventual simplification, it seems probable that we have an example of a general tendency to over-emphasize numbers, which has existed in mathematics ever since the time of Pythagoras, though it was temporarily less prominent in later Greek geometry as exemplified in Euclid. Euclid's theory of proportion does not, of course, dispense with numbers, since it uses "equimultiples"; but at any rate it requires only integers, not irrationals. Owing to the fact that arithmetic is easy, Greek methods in geometry have been in the background since Descartes, and co-ordinates have come to seem indispensable. But mathematical logic has shown that number is logically irrelevant in many problems where it formerly seemed essential, notably mathematical induction, limits, and continuity. A new technique, which seems difficult because it is unfamiliar, is required when numbers are not used; but there is a compensating gain in logical purity. It should be possible to apply a similar process of purification to physics. The method of tensors first assigns co-ordinates, and then shows how to obtain results which, though expressed in terms of co-ordinates, do not really depend upon them. There must be a less indirect technique possible, in which we use no more apparatus than is logically necessary, and have a language which will only express such facts as are now expressed in the language of tensors, not such as depend upon the choice of co-ordinates. I do not say that such a method, if discovered, would be preferable in practice, but I do say that it would give a better expression of the essential relations, and greatly facilitate the task of the philosopher. In the meantime, the method of tensors is technically delightful, and suffices for mathematical needs. FOOTNOTES: [24] For what follows see Eddington, Mathematical Theory of Relativity, chap. II., Cambridge, 1924. [25] See Eddington, op. cit., p. 134. [Pg 72] CHAPTER VIII GEODESICS THE importance of geodesics arises through the law that, in the general theory of relativity, a particle not subject to constraints moves in a geodesic. But let us first consider what a geodesic is. An adventurous pedestrian in the Alps may wish to go from a place in one valley to a place in another by the shortest route—i.e. the shortest compatible with remaining all the time on the earth's surface. He cannot determine the shortest route by looking at a large-scale map and drawing a straight line between the two places, for if this line involves a greater average gradient than another it may be longer, in distance as well as in time, than another route which slopes gradually to the head of a pass and then down again. What the traveller is seeking is a "geodesic"—i.e. the shortest line that can be drawn on the earth's surface between the two points. In the absence of hills—e.g. on the sea—the shortest route is by a great circle. On complicated surfaces, geodesics may become very complicated curves. The definition is not exactly "the shortest route between two points." The definition is that the distance along a geodesic from any one of its points to any other must be "stationary"—i.e. such that either all very slightly different paths are longer, or all very slightly different paths are shorter. This means that, for small variations of path, the first-order change of length is zero. In effect, in the ordinary geometry of surfaces the geodesic distance is a minimum, and in relativity theory it is a maximum. This is not so great a difference as it may seem to the non-mathematical reader, since the geodesic[Pg 73] distance concerned in relativity theory is more analogous to what would ordinarily count as lapse of time than to what would ordinarily count as distance in space. [Pg 74] Let us try to make the matter a little more concrete. The earth, in its annual revolution, travels from place to place in space-time; between the positions of Greenwich Observatory on two occasions six months apart, there is a certain interval. From the point of view of an observer in the sun, the interval would formerly have been divided into two parts—namely, six months and about 186,000,000 miles. But from the point of view of the observer at Greenwich there is only one interval—namely, time—since the place concerned is the same on both occasions. Given a clock which travels without constraint from one point of space-time to another, the interval between these two points is what that clock registers as the time between them. I say that if a clock were constrained to travel by some other slightly different route, so as to be present at Greenwich Observatory on two occasions six months apart, but absent from the earth in the meantime, the time which that clock would register as having been taken by its journey would be less than six months. The interval between distant points is not, like distance in geometry, something which can be defined independently of the route chosen. The interval must be obtained by integration along a specified route, and a geodesic route is one which makes the interval greater than it is by any slightly different route. The time between two given events at which a man is present seems less if he has spent the intervening time in rapid travel than if he has let himself drift passively; this is a sort of law of cosmic boredom. All bodies, left to themselves, choose the course which is at each moment the most boring, in the sense that it makes the time between two given events seem longest. However, it is time to have done with these irrelevancies, and return to seriousness. Since the small interval is independent of the co-ordinates, a geodesic also is independent of them. We can easily obtain the differential equations which a geodesic must satisfy, and these equations must be satisfied by the same lines whatever system of co-ordinates we are employing. From a given point, geodesics start in all directions. Some of these are the paths of freely moving particles; others are not. The law that the path of a particle is a geodesic does not tell us quite as much as it seems to do, since it is only by observation of the motions of bodies that we discover what paths are geodesics. Assuming that the orbit of the earth is a geodesic, we can draw inferences as to the nature of the formula for in the sun's gravitational field. For we have no a priori knowledge about the coefficients which appear in the formula for ; their values are to be deduced from observation. What we can say is that it is possible, compatibly with observed facts, so to determine the that the path of a body in a gravitational field shall be a geodesic. In fact, we get in this way a more accurate representation of the facts than we got from the Newtonian law, but the observable differences between the two are few and minute. Although the new law of gravitation and the old do not lead to very different results—as, indeed, they could not, since the old law accorded closely with observed facts—yet the difference in the ideas involved is very great. A planet, in the new theory, is moving freely, whereas in the old theory it was subject to a central force directed towards the sun. In the old theory, the planet moved in an ellipse; in the new theory, it moves in the nearest possible approach to a straight line—to wit, a geodesic. In the old theory, the sun was like a despotic government, emitting decrees from the metropolis; in the new, the solar system is like the society of Kropotkin's dreams, in which everybody does what he prefers at each moment, and the result is perfect order. The odd thing is[Pg 75] that, as far as observation goes, the difference between these two theories is exceedingly minute. To the plain man, it would seem impossible to reconcile the statement that the earth moves in an ellipse with the statement that it moves in a sort of straight line, however queer the sort may be. And yet almost the whole of the difference between these two statements is a matter of convention. It is possible to adhere to Euclidean space even now; this requires a different way of stating Einstein's law of gravitation, but does not demand the rejection of anything that has been proved true. Dr Whitehead considers this plan preferable to Einstein's. What may be called the new orthodoxy, per contra, is set forth by Professor Eddington. It will be worth while to consider the point at issue between them. Professor Eddington says (op. cit., p. 37): "Suppose that an observer has chosen a definite system of space co-ordinates and of time-reckoning (), and that the geometry of these is given by: Let him be under the mistaken impression that the geometry is: —that being the geometry with which he is most familiar in pure mathematics. We use to distinguish his mistaken value of the interval. Since intervals can be compared by experimental methods, he ought soon to discover that his cannot be reconciled with observational results, and so realize his mistake. But the mind does not so readily get rid of an obsession. It is more likely that our observer will continue in his opinion, and attribute the discrepancy of the observations to some influence which is present and affects the behaviour of his test-bodies. He will, so to speak, introduce a supernatural agency which he can blame for the consequences of his mistake. Let us examine what name he would apply to this agency. [Pg 76] "Of the four test-bodies considered the moving particle is in general the most sensitive to small changes of geometry, and it would be by this test that the observer would first discover discrepancies. The path laid down for it by our observer is: —i.e. a straight line in the co-ordinates (). The particle, of course, pays no heed to this, and moves in the different track: Although apparently undisturbed it deviates from 'uniform motion in a straight line.' The