An essay on the foundations of geometry. Bertrand Russell

in any way we please. But the conception, for which the word has hitherto stood, will then require a new name, and the only result will be a confusion between the apparent meaning of our propositions, to those who retain the associations belonging to the old sense of the word, and the real meaning, resulting from the new sense in which the word is used.

      This confusion, I believe, has actually occurred, in the case of those who regard the question between Euclid and Metageometry as one of the definition of distance. Distance is a quantitative relation, and as such presupposes identity of quality. But projective Geometry deals only with quality—for which reason it is called descriptive—and cannot distinguish between two figures which are qualitatively alike. Now the meaning of qualitative likeness, in Geometry, is the possibility of mutual transformation by a collineation[53]. Any two pairs of points on the same straight line, therefore, are qualitatively alike; their only qualitative relation is the straight line, which both pairs have in common; and it is exactly the qualitative identity of the relations of the two pairs, which enables the difference of their relations to be exhaustively dealt with by quantity, as a difference of distance. But where quantity is excluded, any two pairs of points on the same straight line appear as alike, and even any two sets of three: for any three points on a straight line can be projectively transformed into any other three. It is only with four points in a line that we acquire a projective property distinguishing them from other sets of four, and this property is anharmonic ratio, descriptively defined. The projective Geometer, therefore, sees no reason to give a name to the relation between two points, in so far as this relation is anything over and above the unlimited straight line on which they lie; and when he introduces the notion of distance, he defines it, in the only way in which projective principles allow him to define it, as a relation between four points. As he nevertheless wishes the word to give him the power of distinguishing between different pairs of points, he agrees to take two out of the four points as fixed. In this way, the only variables in distance are the two remaining points, and distance appears, therefore, as a function of two variables, namely the coordinates of the two variable points. When we have further defined our function so that distance may be additive, we have a function with many of the properties of distance in the ordinary sense. This function, therefore, the projective Geometer regards as the only proper definition of distance.

      We can see, in fact, from the manner in which our projective coordinates were introduced, that some function of these coordinates must express distance in the ordinary sense. For they were introduced serially, so that, as we proceeded from the zero-point towards the infinity-point, our coordinates continually grew. To every point, a definite coordinate corresponded: to the distance between two variable points, therefore, as a function dependent on no other variables, must correspond some definite function of the coordinates, since these are themselves functions of their points. The function discussed above, therefore, must certainly include distance in the ordinary sense.

      But the arbitrary and conventional nature of distance, as maintained by Poincaré and Klein, arises from the fact that the two fixed points, required to determine our distance in the projective sense, may be arbitrarily chosen, and although, when our choice is once made, any two points have a definite distance, yet, according as we make that choice, distance will become a different function of the two variable points. The ambiguity thus introduced is unavoidable on projective principles; but are we to conclude, from this, that it is really unavoidable? Must we not rather conclude that projective Geometry cannot adequately deal with distance? If A, B, C, be three different points on a line, there must be some difference between the relation of A to B and of A to C, for otherwise, owing to the qualitative identity of all points, B and C could not be distinguished. But such a difference involves a relation, between A and B, which is independent of other points on the line; for unless we have such a relation, the other points cannot be distinguished as different. Before we can distinguish the two fixed points, therefore, from which the projective definition starts, we must already suppose some relation, between any two points on our line, in which they are independent of other points; and this relation is distance in the ordinary sense[54]. When we have measured this quantitative relation by the ordinary methods of metrical Geometry, we can proceed to decide what base-points must be chosen, on our line, in order that the projective function discussed above may have the same value as ordinary distance. But the choice of these base-points, when we are discussing distance in the ordinary sense, is not arbitrary, and their introduction is only a technical device. Distance, in the ordinary sense, remains a relation between two points, not between four; and it is the failure to perceive that the projective sense differs from, and cannot supersede, the ordinary sense, which has given rise to the views of Klein and Poincaré. The question is not one of convention, but of the irreducible metrical properties of space. To sum up: Quantities, as used in projective Geometry, do not stand for spatial magnitudes, but are conventional symbols for purely qualitative spatial relations. But distance, quâ quantity, presupposes identity of quality, as the condition of quantitative comparison. Distance in the ordinary sense is, in short, that quantitative relation, between two points on a line, by which their difference from other points can be defined. The projective definition, however, being unable to distinguish a collection of less than four points from any other on the same straight line, makes distance depend on two other points besides those whose relation it defines. No name remains, therefore, for distance in the ordinary sense, and many projective Geometers, having abolished the name, believe the thing to be abolished also, and are inclined to deny that two points have a unique relation at all. This confusion, in projective Geometry, shows the importance of a name, and should make us chary of allowing new meanings to obscure one of the fundamental properties of space.

      38. It remains to discuss the manner in which non-Euclidean Geometries result from the projective definition of distance, as also the true interpretation to be given to this view of Metageometry. It is to be observed that the projective methods which follow Cayley deal throughout with a Euclidean plane, on which they introduce different measures of distance. Hence arises, in any interpretation of these methods, an apparent subordination of the non-Euclidean spaces, as though these were less self-subsistent than Euclid's. This subordination is not intended in what follows; on the contrary, the correlation with Euclidean space is regarded as valuable, first, because Euclidean space has been longer studied and is more familiar, but secondly, because this correlation proves, when truly interpreted, that the other spaces are self-subsistent. We may confine ourselves chiefly, in discussing this interpretation, to distances measured along a single straight line. But we must be careful to remember that the metrical definition of distance—which, according to the view here advocated, is the only adequate definition—is the same in Euclidean and in non-Euclidean spaces; to argue in its favour is not, therefore, to argue in favour of Euclid.

      The projective scheme of coordinates consists of a series of numbers, of which each represents a certain anharmonic ratio and denotes one and only one point, and which increase uniformly with the distance from a fixed origin, until they become infinite on reaching a certain point. Now Cayley showed that, in Euclidean Geometry, distance may be expressed as the limit of the logarithm of the anharmonic ratio of the two points and the (coincident) points at infinity on their straight line; while, if we assumed that the points at infinity were distinct, we obtained the formula for distance in hyperbolic or spherical Geometry, according as these points were real or imaginary. Hence it follows that, with the projective definition of distance, we shall obtain precisely the formulae of hyperbolic, parabolic or spherical Geometry, according as we choose the point, to which the value +∞ is assigned, at a finite, infinite or imaginary distance (in the ordinary sense) from the point to which we assign the value 0. Our straight line remains, all the while, an ordinary Euclidean straight line. But we have seen that the projective definition of distance fits with the true definition only when the two fixed points to which it refers are suitably chosen. Now the ordinary meaning of distance is required in non-Euclidean as in Euclidean Geometries—indeed, it is only in metrical properties that these Geometries differ. Hence our Euclidean straight line, though it may serve to illustrate other Geometries than Euclid's, can only be dealt with correctly by Euclid. Where we give a different definition of distance from Euclid's, we are still in the domain of purely projective properties, and derive no information as to the metrical properties