Note 121 — Introductory material

We can now prove, I think, that two figures, which are projectively related, are qualitatively similar. Let us begin with a collection of points on a straight line. So long as these are considered without reference to other points or figures, they are all qualitatively similar. They can be distinguished by immediate intuition, but when we endeavour, without quantity, to distinguish them conceptually, we find the task impossible, since the only qualitative relation of any two of them, the straight line, is the same for any other two. But now let us choose, at hap-hazard, some point outside the straight line. The points of our line now acquire new adjectives, namely their relations to the new point, i.e. the straight lines joining them to this new point. But these straight lines, reciprocally, alone define our external point, and all straight lines are qualitatively similar. If we take some other external point, therefore, and join it to the same points of our original straight line, we obtain a figure in which, so long as quantity is excluded, there is no conceptual difference from the former figure. Immediate intuition can distinguish the two figures, but qualitative discrimination cannot do so. Thus we obtain a projective transformation of four lines into four other lines, as giving a figure qualitatively indistinguishable from the original figure. A similar argument applies to the other projective transformations. Thus the only reason, within projective Geometry, for not regarding projective figures as actually identical, is the intuitive perception of difference of position. This is fundamental, and must be accepted as a datum. It is presupposed in the distinction of various points, and forms the very life of Geometry. It is, in fact, the essence of the notion of a form of externality, which notion forms the subject-matter of projective Geometry.