[Figure 2: A circle projected from the sphere unto a plane]
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 letKbe the spherical surface, touched atSby a plane,E, which, for facility of presentation, is shown in the drawing as a bounded surface. LetLbe a disc on the spherical surface. Now let us imagine that at the pointNof the spherical surface, diametrically opposite toS, there is a luminous point, throwing a shadowL′of the discLupon the planeE. Every point on the sphere has its shadow on the plane. If the disc on the sphereKis moved, its shadowL′on the planeEalso moves. When the discLis atS, it almost exactly coincides with its shadow. If it moves on the spherical surface away fromSupwards, the disc shadowL′on the plane also moves away fromSon the plane outwards, growing bigger and bigger. As the discLapproaches the luminous pointN, the shadow moves off to infinity, and becomes infinitely great.
Now we put the question, What are the laws of disposition of the disc-shadowsL′on the planeE? Evidently they are exactly the same as the laws of disposition of the discsLon the spherical surface. For to each original figure onKthere is a corresponding shadow figure onE. If two discs onKare touching, their shadows onEalso 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 planeEwith 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 arenotrigid figures. We have only to move a two-foot rule about on the planeEto convince ourselves that the shadows constantly increase in size as they move away fromSon the plane towards infinity.” But what if the two-foot rule were to behave on the planeEin the same way as the disc-shadowsL′? It would then be impossible to show that the shadows increase in size as they move away fromS; 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 fromStowards 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 planeEfor the purpose of comparing the size of the disc-shadows. In respect of the laws of disposition of the shadowsL′, the pointShas 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.
Let us imagine a pointSof our space, and a great number of small spheres,L′, which can all be brought to coincide with one another. But these spheres are not to be rigid in the sense of Euclidean geometry; their radius is to increase (in the sense of Euclidean geometry) when they are moved away fromStowards infinity, and this increase is to take place in exact accordance with the same law as applies to the increase of the radii of the disc-shadowsL′on the plane.
After having gained a vivid mental image of the geometrical behaviour of ourL′spheres, let us assume that in our space there are no rigid bodies at all in the sense of Euclidean geometry, but only bodies having the behaviour of ourL′spheres. Then we shall have a vivid representation of three-dimensional spherical space, or, rather of three-dimensional spherical geometry. Here our spheres must be called “rigid” spheres. Their increase in size as they depart fromSis not to be detected by measuring with measuring-rods, any more than in the case of the disc-shadows onE, because the standards of measurement behave in the same way as the spheres. Space is homogeneous, that is to say, the same spherical configurations are possible in the environment of all points.*Our space is finite, because, in consequence of the “growth” of the spheres, only a finite number of them can find room in space.
*This is intelligible without calculation—but only for the two-dimensional case—if we revert once more to the case of the disc on the surface of the sphere.
In this way, by using as stepping-stones the practice in thinking and visualisation which Euclidean geometry gives us, we have acquired a mental picture of spherical geometry. We may without difficulty impart more depth and vigour to these ideas by carrying out special imaginary constructions. Nor would it be difficult to represent the case of what is called elliptical geometry in an analogous manner. My only aim to-day has been to show that the human faculty of visualisation is by no means bound to capitulate to non-Euclidean geometry.