An Essay on the Foundations of Geometry

the most favourable hypothesis, and assume that no objection can be successfully urged against this use. Even on this hypothesis, I think, no case can be made out for imaginary points in Geometry. In the first place, we must exclude, from the imaginary points considered, those whose coordinates are only imaginary with certain special systems of coordinates. For example, if one of a point's coordinates be the tangent from it to a sphere, this coordinate will be imaginary for any point inside the sphere, and yet the point is perfectly real. A point, then, is only to be called imaginary, when, whatever real system of coordinates we adopt, one or more of the quantities expressing these coordinates remains imaginary. For this purpose, it is mathematically sufficient to suppose our coordinates Cartesian—a point whose Cartesian coordinates are imaginary, is a true imaginary point in the above sense. To discuss the meaning of such a point, it is necessary to consider briefly the fundamental nature of the correspondence between a point and its coordinates. Assuming that elementary Geometry has proved—what I think it does satisfactorily prove—that spatial relations are susceptible of quantitative measurement, then a given point will have, with a suitable system of coordinates, in a space of n dimensions, n quantitative relations to the fixed spatial figure forming the axes of coordinates, and these n quantitative relations will, under certain reservations, be unique—i.e., no other point will have the same quantities assigned to it. (With many possible coordinate systems, this latter condition is not realized: but for that very reason they are inconvenient, and employed only in special problems.) Thus given a coordinate system, and given any set of quantities, these quantities, if they determine a point at all, determine it uniquely. But, by a natural extension of the method, the above reservation is dropped, and it is assumed that to every set of quantities some point must correspond. For this assumption there seems to me no vestige of evidence. As well might a postman assume that, because every house in a street is uniquely determined by its number, therefore there must be a house for every imaginable number. We must know, in fact, that a given set of quantities can be the coordinates of some point in space, before it is legitimate to give any spatial significance to these quantities: and this knowledge, obviously, cannot be derived from operations with coordinates alone, on pain of a vicious circle. We must, to return to the above analogy, know the number of houses in Piccadilly, before we know whether a given number has a corresponding house or not; and arithmetic alone, however subtly employed, will never give us this information. Thus the distinction which is important is, not the distinction between real and imaginary quantities, but between quantities to which points correspond and quantities to which no points correspond. We can conventionally agree to denote real points by imaginary coordinates, as in the Gaussian method of denoting by the single quantity (a + √–1 b) the point whose ordinary coordinates are a, b. But this does not touch Cayley's meaning. Cayley means that it is of great utility in mathematics to regard, as points with a real existence in space, the assumed spatial correlates of quantities which, with the coordinate system employed, have no correlates in every-day space; and that this utility is supposed, by many mathematicians, to indicate the validity of so fruitful an assumption. To fix our ideas, let us consider Cartesian axes in three-dimensional Euclidean space. Then it appears, by inspection, that a point may be situated at any distance to right or left of any of the three coordinate planes; taking this distance as a coordinate, therefore, it appears that real points correspond to all quantities from -∞ to +∞. The same appears for the other two coordinates; and since elementary Geometry proves their variations mutually independent, we know that one and only one real point corresponds to any three real quantities. But we also know, from the exhaustive method pursued, that all space is covered by the range of these three variable quantities: a fresh set of quantities, therefore, such as is introduced by the use of imaginaries, possesses no spatial correlate, and can be supposed to possess one only by a convenient fiction. 43. The fact that the fiction is convenient, however, may be thought to indicate that it is more than a fiction. But this presumption, I think, can be easily explained away. For all the fruitful uses of imaginaries, in Geometry, are those which begin and end with real quantities, and use imaginaries only for the intermediate steps. Now in all such cases, we have a real spatial interpretation at the beginning and end of our argument, where alone the spatial interpretation is important: in the intermediate links, we are dealing in a purely algebraical manner with purely algebraical quantities, and may perform any operations which are algebraically permissible. If the quantities with which we end are capable of spatial interpretation, then, and only then, our result may be regarded as geometrical. To use geometrical language, in any other case, is only a convenient help to the imagination. To speak, for example, of projective properties which refer to the circular points, is a mere memoria technica for purely algebraical properties; the circular points are not to be found in space, but only in the auxiliary quantities by which geometrical equations are transformed. That no contradictions arise from the geometrical interpretation of imaginaries, is not wonderful: for they are interpreted solely by the rules of Algebra, which we may admit as valid in their application to imaginaries. The perception of space being wholly absent, Algebra rules supreme, and no inconsistency can arise. Wherever, for a moment, we allow our ordinary spatial notions to intrude, the grossest absurdities do arise—every one can see that a circle, being a closed curve, cannot get to infinity. The metaphysician, who should invent anything so preposterous as the circular points, would be hooted from the field. But the mathematician may steal the horse with impunity. Finally, then, only a knowledge of space, not a knowledge of Algebra, can assure us that any given set of quantities will have a spatial correlate, and in the absence of such a correlate, operations with these quantities have no geometrical import. This is the case with imaginaries in Cayley's sense, and their use in Geometry, great as are its technical advantages, and rigid as is its technical validity, is wholly destitute of philosophical importance. 44. We have now, I think, discussed most of the questions concerning the scope and validity of the projective method. We have seen that it is independent of all metrical presuppositions, and that its use of coordinates does not involve the assumption that spatial magnitudes are measured or expressed by them. We have seen that it is able to deal, by its own methods alone, with the question of the qualitative likeness of geometrical figures, which is logically prior to any comparison as to quantity, since quantity presupposes qualitative likeness. We have seen also that, so far as its legitimate use extends, it applies equally to all homogeneous spaces, and that its criterion of an independently possible space—the determination of a straight line by two points[60]—is not subject to the qualifications and limitations which belong, as we have seen in the case of the cylinder, to the metrical criterion of constant curvature. But we have also seen that, when projective Geometry endeavours to grapple with spatial magnitude, and bring distance and the measurement of angles beneath its sway, its success, though technically valid and important, is philosophically an apparent success only. Metrical Geometry, therefore, if quantity is to be applied to space at all, remains a separate, though logically subsequent branch of Mathematics. 45. It only remains to say a few words about Sophus Lie. As a mathematician, as the inventor of a new and immensely powerful method of analysis, he cannot be too highly praised. Geometry is only one of the numerous subjects to which his theory of continuous groups applies, but its application to Geometry has made a revolution in method, and has rendered possible, in such problems as Helmholtz's, a treatment infinitely more precise and exhaustive than any which was possible before. The general definition of a group is as follows: If we have any number of independent variables x1 x2...xn, and any series of transformations of these into new variables—the transformations being defined by equations of specified forms, with parameters varying from one transformation to another—then the series of transformations form a group, if the successive application of any two is equivalent to a single member of the original series of transformations. The group is continuous, when we can pass, by infinitesimal gradations within the group, from any one of the transformations to any other. Now, in Geometry, the result of two successive motions or collineations of a figure can always be obtained by a single motion or collineation, and any motion or collineation can be built up of a series of infinitesimal motions or collineations. Moreover the analytical expression of either is a certain transformation of the coordinates of all the points of the figure[61]. Hence the transformations determining a motion or a collineation are such as to form a continuous group. But the question of the projective equivalence of two figures, to which all projective Geometry is reducible, must always be dealt with by a collineation; and the question of the equality of two figures, to which all metrical Geometry is reducible, must always be decided by a motion such as to cause superposition; hence the whole subject of Geometry may be regarded as a theory of the continuous groups which define all possible collineations and motions. Now Sophus Lie has developed, at great length, the purely analytical theory of groups; he has therefore, by this method of formulating the problem, a very powerful weapon ready for the attack. In two papers "On the foundations of Geometry[62]," undertaken at Klein's urgent request, he takes premisses which roughly correspond to those of Helmholtz, omitting Monodromy, and applies the theory of groups to the deduction of their consequences[63]. Helmholtz's work, he says, can hardly be looked upon as proving its conclusions, and indeed the more searching analysis of the group-theory reveals several possibilities unknown to Helmholtz. Nevertheless, as a pioneer, devoid of Lie's machinery, Helmholtz deserves, I think, more praise than Lie is willing to give him[64]. Lie's method is perfectly exhaustive; omitting the premiss of Monodromy, the others show that a body has six degrees of freedom, i.e. that the group giving all possible motions of a body will have six independent members; if we keep one point fixed, the number of independent members is reduced to three. He then, from his general theory, enumerates all the groups which satisfy this condition. In order that such a group should give possible motions, it is necessary, by Helmholtz's second axiom, that it should leave invariant some function of the coordinates of any two points. This eliminates several of the groups previously enumerated, each of which he discusses in turn. He is thus led to the following results: I. In two dimensions, if free mobility is to hold universally, there are no groups satisfying Helmholtz's first three axioms, except those which give the ordinary Euclidean and non-Euclidean motions; but if it is to hold only within a certain region, there is also a possible group in which the curve described by any point in a rotation is not closed, but an equiangular spiral. To exclude this possibility, Helmholtz's axiom of Monodromy is required. II. In three dimensions, the results go still more against Helmholtz. Assuming free mobility only within a certain region, we have to distinguish two cases: Either free mobility holds, within that region, absolutely without exception, i.e. when one point is held fast, every other point within the region can