41. In connection with the reduction of metrical to projective Geometry, we have one more topic for discussion. This is the geometrical use of imaginaries, by means of which, except in the case of hyperbolic space, the reduction is effected. I have already contended, on other grounds, that this reduction, in spite of its immense technical importance, and in spite of the complete logical freedom of projective Geometry from metrical ideas, is purely technical, and is not philosophically valid. The same conclusion will appear, if we take up Cayley's challenge at the British Association, in his Presidential Address of 1883.
In this address, Professor Cayley devoted most of his time to non-Euclidean systems. Non-Euclidean spaces, he declared, seemed to him mistaken à priori[59]; but non-Euclidean Geometries, here as in his mathematical works, were accepted as flowing from a change in the definition of distance. This view has been already discussed, and need not, therefore, be further criticised here. What I wish to speak about, is the question with which Cayley himself opened his address, namely, the geometrical use and meaning of imaginary quantities. From the manner in which he spoke of this question, it becomes imperative to treat it somewhat at length. For he said (pp. 8–9):
"... The notion which is the really fundamental one (and I cannot too strongly emphasize the assertion) underlying and pervading the whole notion of modern analysis and Geometry, [is] that of imaginary magnitude in analysis, and of imaginary space (or space as the locus in quo of imaginary points and figures) in Geometry: I use in each case the word imaginary as including real.... Say even the conclusion were that the notion belongs to mere technical mathematics, or has reference to nonentities in regard to which no science is possible, still it seems to me that (as a subject of philosophical discussion) the notion ought not to be thus ignored; it should at least be shown that there is a right to ignore it."
42. This right it is now my purpose to demonstrate. But for fear non-mathematicians should miss the point of Cayley's remark (which has sometimes been erroneously supposed to refer to non-Euclidean spaces), I may as well explain, at the outset, that this question is radically distinct from, and only indirectly connected with, the validity or import of Metageometry. An imaginary quantity is one which involves √–1 : its most general form is a + √–1 b where a and b are real; Cayley uses the word imaginary so as to include real, in order to cover the special case where b = 0. It will be convenient, in what follows, to exclude this wider meaning, and assume that b is not zero. An imaginary point is one whose coordinates involve √–1, i.e. whose coordinates are imaginary quantities. An imaginary curve is one whose points are imaginary—or, in some special uses, one whose equation contains imaginary coefficients. The mathematical subtleties to which this notion leads need not be here discussed; the reader who is interested in them will find an excellent elementary account of their geometrical uses in Klein's Nicht-Euklid, II. pp. 38–46. But for our present purpose, we may confine ourselves to imaginary points. If these are found to have a merely technical import, and to be destitute of any philosophical meaning, then the same will hold of any collection of imaginary points, i.e. of any imaginary curve or surface.
That the notion of imaginary points is of supreme importance in Geometry, will be seen by any one who reflects that the circular points are imaginary, and that the reduction of metrical to projective Geometry, which is one of Cayley's greatest achievements, depends on these points. But to discuss adequately their philosophical import is difficult to me, since I am unacquainted with any satisfactory philosophy of imaginaries in pure Algebra. I will therefore adopt 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.