An essay on the foundations of geometry. Bertrand Russell

with the points of Euclidean space; and that this can be effected in such a manner as to give, for the distance between two points of our non-Euclidean space, the hyperbolic or spherical measure of distance for the corresponding points of Euclidean space.

      39. On the whole, then, a modification of Sir R. Ball's view, which is practically a generalized statement of Beltrami's method, seems the most tenable. He imagines what, with Grassmann, he calls a Content, i.e. a perfectly general three-dimensional manifold, and then correlates its elements, one by one, with points in Euclidean space. Thus every element of the Content acquires, as its coordinates, the ordinary Euclidean coordinates of the corresponding point in Euclidean space. By means of this correlation, our calculations, though they refer to the Content, are carried on, as in Beltrami's Saggio, in ordinary Euclidean space. Thus the confusion disappears, but with it, the supposed Euclidean interpretation also disappears. Sir R. Ball's Content, if it is to be a space at all, must be a space radically different from Euclid's[55]; to speak, as Klein does, of ordinary planes with hyperbolic or elliptic measures of distance, is either to incur a contradiction, or to forego any metrical meaning of distance. Instead of ordinary planes, we have surfaces like Beltrami's, of constant measure of curvature; instead of Euclid's space, we have hyperbolic or spherical space. At the same time, it remains true that we can, by Klein's method, give a Euclidean meaning to every symbolic proposition in non-Euclidean Geometry. For by substituting, for distance, the logarithm above alluded to, we obtain, from the non-Euclidean result, a result which follows from the ordinary Euclidean axioms. This correspondence removes, once for all, the possibility of a lurking contradiction in Metageometry, since, to a proposition in the one, corresponds one and only one proposition in the other, and contradictory results in one system, therefore, would correspond to contradictory results in the other. Hence Metageometry cannot lead to contradictions, unless Euclidean Geometry, at the same moment, leads to corresponding contradictions. Thus the Euclidean plane with hyperbolic or elliptic measure of distance, though either contradictory or not metrical as an independent notion, has, as a help in the interpretation of non-Euclidean results, a very high degree of utility.

      40. We have still to discuss Klein's third kind of non-Euclidean Geometry, which he calls elliptic. The difference between this and spherical Geometry is difficult to grasp, but it may be illustrated by a simpler example. A plane, as every one knows, can be wrapped, without stretching, on a cylinder, and straight lines in the plane become, by this operation, geodesics on the cylinder. The Geometries of the plane and the cylinder, therefore, have much in common. But since the generating circle of the cylinder, which is one of its geodesics, is finite, only a portion of the plane is used up in wrapping it once round the cylinder. Hence, if we endeavour to establish a point-to-point correspondence between the plane and the cylinder, we shall find an infinite series of points on the plane for a single point on the cylinder. Thus it happens that geodesics, though on the plane they have only one point in common, may on the cylinder have an infinite number of intersections. Somewhat similar to this is the relation between the spherical and elliptic Geometries. To any one point in elliptic space, two points correspond in spherical space. Thus geodesics, which in spherical space may have two points in common, can never, in elliptic space, have more than one intersection.

      But Klein's method can only prove that elliptic Geometry holds of the ordinary Euclidean plane with elliptic measure of distance. Klein has made great endeavours to enforce the distinction between the spherical and elliptic Geometries[56], but it is not immediately evident that the latter, as distinct from the former, is valid.

      In the first place, Klein's elliptic Geometry, which arises as one of the alternative metrical systems on a Euclidean plane or in a Euclidean space, does not by itself suffice, if the above discussion has been correct, to prove the possibility of an elliptic space, i.e. of a space having a point-to-point correspondence with the Euclidean space, and having as the ordinary distance between two of its points the elliptic definition of the distance between corresponding points of the Euclidean space. To prove this possibility, we must adopt the direct method of Newcomb (Crelle's Journal, Vol. 83). Now in the first place Newcomb has not proved that his postulates are self-consistent; he has only failed to prove that they are contradictory[57]. This would leave elliptic space in the same position in which Lobatchewsky and Bolyai left hyperbolic space. But further there seems to be, at first sight, in two-dimensional elliptic space, a positive contradiction. To explain this, however, some account of the peculiarities of the elliptic plane will be necessary.