Sidelights on Relativity

by Albert Einstein

Now we take an example of a two-dimensional continuum which is finite, but unbounded. We imagine the surface of a large globe and a quantity of small paper discs, all of the same size. We place one of the discs anywhere on the surface of the globe. If we move the disc about, anywhere we like, on the surface of the globe, we do not come upon a limit or boundary anywhere on the journey. Therefore we say that the spherical surface of the globe is an unbounded continuum. Moreover, the spherical surface is a finite continuum. For if we stick the paper discs on the globe, so that no disc overlaps another, the surface of the globe will finally become so full that there is no room for another disc. This simply means that the spherical surface of the globe is finite in relation to the paper discs. Further, the spherical surface is a non-Euclidean continuum of two dimensions, that is to say, the laws of disposition for the rigid figures lying in it do not agree with those of the Euclidean plane. This can be shown in the following way. Place a paper disc on the spherical surface, and around it in a circle place six more discs, each of which is to be surrounded in turn by six discs, and so on. If this construction is made on a plane surface, we have an uninterrupted disposition in which there are six discs touching every disc except those which lie on the outside.

On the spherical surface the construction also seems to promise success at the outset, and the smaller the radius of the disc in proportion to that of the sphere, the more promising it seems. But as the construction progresses it becomes more and more patent that the disposition of the discs in the manner indicated, without interruption, is not possible, as it should be possible by Euclidean geometry of the the plane surface. In this way creatures which cannot leave the spherical surface, and cannot even peep out from the spherical surface into three-dimensional space, might discover, merely by experimenting with discs, that their two-dimensional “space” is not Euclidean, but spherical space.

From the latest results of the theory of relativity it is probable that our three-dimensional space is also approximately spherical, that is, that the laws of disposition of rigid bodies in it are not given by Euclidean geometry, but approximately by spherical geometry, if only we consider parts of space which are sufficiently great. Now this is the place where the reader’s imagination boggles. “Nobody can imagine this thing,” he cries indignantly. “It can be said, but cannot be thought. I can represent to myself a spherical surface well enough, but nothing analogous to it in three dimensions.”

We must try to surmount this barrier in the mind, and the patient reader will see that it is by no means a particularly difficult task. For this purpose we will first give our attention once more to the geometry of two-dimensional spherical surfaces. In the adjoining figure let K be the spherical surface, touched at S by a plane, E, which, for facility of presentation, is shown in the drawing as a bounded surface. Let L be a disc on the spherical surface. Now let us imagine that at the point N of the spherical surface, diametrically opposite to S, there is a luminous point, throwing a shadow L′ of the disc L upon the plane E. Every point on the sphere has its shadow on the plane. If the disc on the sphere K is moved, its shadow L′ on the plane E also moves. When the disc L is at S, it almost exactly coincides with its shadow. If it moves on the spherical surface away from S upwards, the disc shadow L′ on the plane also moves away from S on the plane outwards, growing bigger and bigger. As the disc L approaches the luminous point N, the shadow moves off to infinity, and becomes infinitely great.

Now we put the question, What are the laws of disposition of the disc-shadows L′ on the plane E? Evidently they are exactly the same as the laws of disposition of the discs L on the spherical surface. For to each original figure on K there is a corresponding shadow figure on E. If two discs on K are touching, their shadows on E also touch. The shadow-geometry on the plane agrees with the the disc-geometry on the sphere. If we call the disc-shadows rigid figures, then spherical geometry holds good on the plane E with respect to these rigid figures. Moreover, the plane is finite with respect to the disc-shadows, since only a finite number of the shadows can find room on the plane.

At this point somebody will say, “That is nonsense. The disc-shadows are not rigid figures. We have only to move a two-foot rule about on the plane E to convince ourselves that the shadows constantly increase in size as they move away from S on the plane towards infinity.” But what if the two-foot rule were to behave on the plane E in the same way as the disc-shadows L′? It would then be impossible to show that the shadows increase in size as they move away from S; such an assertion would then no longer have any meaning whatever. In fact the only objective assertion that can be made about the disc-shadows is just this, that they are related in exactly the same way as are the rigid discs on the spherical surface in the sense of Euclidean geometry.

We must carefully bear in mind that our statement as to the growth of the disc-shadows, as they move away from S towards infinity, has in itself no objective meaning, as long as we are unable to employ Euclidean rigid bodies which can be moved about on the plane E for the purpose of comparing the size of the disc-shadows. In respect of the laws of disposition of the shadows L′, the point S has no special privileges on the plane any more than on the spherical surface.

The representation given above of spherical geometry on the plane is important for us, because it readily allows itself to be transferred to the three-dimensional case.