An essay on the foundations of geometry · Bertrand Russell
A SHORT HISTORY OF METAGEOMETRY.
In the third period, which begins with Cayley, the philosophical motive, which had moved the first pioneers, is less apparent, and is replaced by a more technical and mathematical spirit. This period is chiefly distinguished from the second, in a mathematical point of view, by its method, which is projective instead of metrical. The leading mathematical conception here is the Absolute (_Grundgebild_), a figure by relation to which all metrical properties become projective. Cayley's work, which was very brief, and attracted little attention, has been perfected and elaborated by F. Klein, and through him has found general acceptance. Klein has added to the two kinds of non-Euclidean Geometry already known, a third, which he calls elliptic; this third kind closely resembles Helmholtz's spherical Geometry, but is distinguished by the important difference that, in it, two straight lines meet in only one point[7]. The distinctive mark of the spaces represented by both is that, like the surface of a sphere, they are finite but unbounded. The reduction of metrical to projective properties, as will be proved hereafter, has only a technical importance; at the same time, projective Geometry is able to deal directly with those purely descriptive or qualitative properties of space which are common to Euclid and Metageometry alike. The third period has, therefore, great philosophical importance, while its method has, mathematically, much greater beauty and unity than that of the second; it is able to treat all kinds of space at once, so that every symbolic proposition is, according to the meaning given to the symbols, a proposition in whichever Geometry we choose. This has the advantage of proving that further research cannot lead to contradictions in non-Euclidean systems, unless it at the same moment reveals contradictions in Euclid. These systems, therefore, are logically as sound as that of Euclid himself.
After this brief sketch of the characteristics of the three periods, I will proceed to a more detailed account. It will be my aim to avoid, as far as possible, all technical mathematics, and bring into relief only those fundamental points in the mathematical development, which seem of logical or philosophical importance. First Period. =12.= The originator of the whole system, _Gauss_, does not appear, as regards strictly non-Euclidean Geometry, in any of his hitherto published papers, to have given more than results; his proofs remain unknown to us. Nevertheless he was the first to investigate the consequences of denying the axiom of parallels[8], and in his letters he communicated these consequences to some of his friends, among whom was Wolfgang Bolyai. The first mention of the subject in his letters occurs when he was only 18; four years later, in 1799, writing to W. Bolyai, he enunciates the important theorem that, in hyperbolic Geometry, there is a maximum to the area of a triangle. From later writings it appears that he had worked out a system nearly, if not quite, as complete as those of Lobatchewsky and Bolyai[9]. It is important to remember, however, that Gauss's work on curvature, which _was_ published, laid the foundation for the whole method of the second period, and was undertaken, according to Riemann and Helmholtz[10], with a view to an (unpublished) investigation of the foundations of Geometry. His work in this direction will, owing to its method, be better treated of under the second period, but it is interesting to observe that he stood, like many pioneers, at the head of two tendencies which afterwards diverged.
Frischauf's introduction, which has a philosophical and Newtonian air, begins by setting forth that Geometry deals with absolute (empty) space, obtained by abstracting from the bodies in it, that two figures are called congruent when they differ only in position, and that the axiom of Congruence is indispensable in all determination of spatial magnitudes. Congruence was to refer to geometrical bodies, with none of the properties of ordinary bodies except impenetrability (Erdmann, Axiome der Geometrie, p. 26). A straight line is defined as determined by two of its points[14], and a plane as determined by three. These premisses, with a slight exception as to the straight line, we shall hereafter find essential to every Geometry. I have drawn attention to them, as it is often supposed that non-Euclideans deny the axiom of Congruence, which, here and elsewhere, is never the case. The stress laid on this axiom by Bolyai is probably due to the influence of Gauss, whose work on the curvature of surfaces laid the foundation for the use made of congruence by Helmholtz.
Their philosophy, which seems to me not always irreproachable, will be discussed in Chapter II.; here, while it is important to remember the philosophical motive of Riemann and Helmholtz, we shall confine our attention to the mathematical side of their work. In so doing, while we shall, I fear, somewhat maim the system of their thoughts, we shall secure a closer unity of subject, and a more compact account of the purely mathematical development. But there is, in my opinion, a further reason for separating their philosophy from their mathematics. While their philosophical purpose was, to prove that all the axioms of Geometry are empirical, and that a different content of our experience might have changed them all, the unintended result of their mathematical work was, if I am not mistaken, to afford material for an _à priori_ proof of certain axioms. These axioms, though they believed them to be unnecessary, were always introduced in their mathematical works, before laying the foundations of non-Euclidean systems. I shall contend, in Chapter III., that this retention was logically inevitable, and was not merely due, as they supposed, to a desire for conformity with experience. If I am right in this, there is a divergence between Riemann and Helmholtz the philosophers, and Riemann and Helmholtz the mathematicians. This divergence makes it the more desirable to trace the mathematical development apart from the accompanying philosophy.
To the absence of this conception Riemann attributes the "obscurity" which, on the subject of the axioms, "lasted from Euclid to Legendre" (p. 254). And Riemann certainly has succeeded, from an algebraic point of view, in exhibiting, far more clearly than any of his predecessors, the axioms which distinguish spatial quantity from other quantities with which mathematics is conversant. But by the assumption, from the start, that space can be regarded as a quantity, he has been led to state the problem as: What sort of magnitude is space? rather than: What must space be in order that we may be able to regard it as a magnitude at all? He does not realise, either--indeed in his day there were few who realized--that an elaborate Geometry is possible which does not deal with space as a quantity at all. His definition of space as a species of manifold, therefore, though for analytical purposes it defines, most satisfactorily, the nature of spatial magnitudes, leaves obscure the true ground for this nature, which lies in the nature of space as a system of relations, and is anterior to the possibility of regarding it as a system of magnitudes at all.
But to proceed with the mathematical development of Riemann's ideas. We have seen that he declared measurement to consist in a superposition of the magnitudes to be compared. But in order that this may be a possible means of determining magnitudes, he continues, these magnitudes must be independent of their position in the manifold (p. 259). This can occur, he says, in several ways, as the simplest of which, he assumes that the lengths of lines are independent of their position. One would be glad to know what other ways are possible: for my part, I am unable to imagine any other hypothesis on which magnitude would be independent of place. Setting this aside, however, the problem, owing to the fact that measurement consists in superposition, becomes identical with the determination of the most general manifold in which magnitudes are independent of place. This brings us to Riemann's other fundamental conception, which seems to me even more fruitful than that of a manifold.
Just as the notion of _length_ was originally derived from the straight line, and extended to other curves by dividing them into infinitesimal straight lines, so the notion of _curvature_ was derived from the circle, and extended to other curves by dividing them into infinitesimal circular arcs. Curvature may be regarded, originally, as a measure of the amount by which a curve departs from a straight line; in a circle, which is similar throughout, this amount is evidently constant, and is measured by the reciprocal of the radius. But in all other curves, the amount of curvature varies from point to point, so that it cannot be measured without infinitesimals. The measure which at once suggests itself is, the curvature of the circle most nearly coinciding with the curve at the point considered. Since a circle is determined by three points, this circle will pass through three consecutive points of the curve. We have thus defined the curvature of any curve, plane or tortuous; for, since any three points lie in a plane, such a circle can always be described.
If we now pass to a surface, what we want is, by analogy, a measure of its departure from a plane. The curvature, as above defined, has become indeterminate, for through any point of the surface we can draw an infinite number of arcs, which will not, in general, all have the same curvature. Let us, then, draw all the geodesics joining the point in question to neighbouring points of the surface in all directions. Since these arcs form a singly infinite manifold, there will be among them, if they have not all the same curvature, one arc of maximum, and one of minimum curvature[22]. The product of these maximum and minimum curvatures is called the _measure of curvature_ of the surface at the point under consideration. To illustrate by a few simple examples: on a sphere, the curvatures of all such lines are equal to the reciprocal of the radius of the sphere, hence the measure of curvature everywhere is the square of the reciprocal of the radius of the sphere. On any surface, such as a cone or a cylinder, on which straight lines can be drawn, these have no curvature, so that the measure of curvature is everywhere zero--this is the case, in particular, with the plane. In general, however, the measure of curvature of a surface varies from point to point.
(1) _As regards continuity and dimensions._ In a space of _n_ dimensions, a point is uniquely determined by the measurement of _n_ continuous variables (coordinates). (2) _As regards the existence of moveable rigid bodies._ Between the 2_n_ coordinates of any point-pair of a rigid body, there exists an equation which is the same for all congruent point-pairs. By considering a sufficient number of point-pairs, we get more equations than unknown quantities: this gives us a method of determining the form of these equations, so as to make it possible for them all to be satisfied. (3) _As regards free mobility._ Every point can pass freely and continuously from one position to another. From (2) and (3) it follows, that if two systems _A_ and _B_ can be brought into congruence in any one position, this is also possible in every other position. (4) _As regards independence of rotation in rigid bodies_ (Monodromy). If (_n_ - 1) points of a body remain fixed, so that every other point can only describe a certain curve, then that curve is closed.
These axioms, says Helmholtz, suffice to give, with the axiom of three dimensions, the Euclidean and non-Euclidean systems as the only alternatives. That they _suffice_, mathematically, cannot be denied, but they seem, in some respects, to go too far. In the first place, there is no necessity to make the axiom of Congruence apply to actual rigid bodies--on this subject I have enlarged in Chapter II.[29] Again, Free Mobility, as distinct from Congruence, hardly needs to be specially formulated: what barrier could empty space offer to a point's progress? The axiom is involved in the homogeneity of space, which is the same thing as the axiom of Congruence. Monodromy, also, has been severely criticized; not only is it evident that it might have been included in Congruence, but even from the purely analytical point of view, Sophus Lie has proved it to be superfluous[30]. Thus the axiom of Congruence, rightly formulated, includes Helmholtz's third and fourth axioms and part of his second axiom. All the four, or rather, as much of them as is relevant to Geometry, are consequences, as we shall see hereafter, of the one fundamental principle of the relativity of position.
Third Period. =30.= The third period differs radically, alike in its methods and aims, and in the underlying philosophical ideas, from the period which it replaced. Whereas everything, in the second period, turned on measurement, with its apparatus of Congruence, Free Mobility, Rigid Bodies, and the rest, these vanish completely in the third period, which, swinging to the opposite extreme, regards quantity as a perfectly irrelevant category in Geometry, and dispenses with congruence and the method of superposition. The ideas of this period, unfortunately, have found no exponent so philosophical as Riemann or Helmholtz, but have been set forth only by technical mathematicians. Moreover the change of fundamental ideas, which is immense, has not brought about an equally great change in actual procedure; for though spatial quantity is no longer a part of projective Geometry, quantity is still employed, and we still have equations, algebraic transformations, and so on. This is apt to give rise to confusion, especially in the mind of the student, who fails to realise that the quantities used, so far as the propositions are really projective, are mere names for points, and not, as in metrical Geometry, actual spatial magnitudes.
Nevertheless, the fundamental difference between this period and the former must strike any one at once. Whereas Riemann and Helmholtz dealt with metrical ideas, and took, as their foundations, the measure of curvature and the formula for the linear element--both purely metrical--the new method is erected on the formulae for transformation of coordinates required to express a given collineation. It begins by reducing all so-called metrical notions--distance, angle, etc.--to projective forms, and obtains, from this reduction, a methodological unity and simplicity before impossible. This reduction depends, however, except where the space-constant is negative, upon imaginary figures--in Euclid, the circular points at infinity; it is moreover purely symbolic and analytical, and must be regarded as philosophically irrelevant. As the question concerning the import of this reduction is of fundamental importance to our theory of Geometry, and as Cayley, in his Presidential Address to the British Association in 1883, formally challenged philosophers to discuss the use of imaginaries, on which it depends, I will treat this question at some length. But first let us see how, as a matter of mathematics, the reduction is effected. =31.= We shall find, throughout this period, that almost every important proposition, though misleading in its obvious interpretation, has nevertheless, when rightly interpreted, a wide philosophical bearing. So it is with the work of _Cayley_, the pioneer of the projective method.
The projective formula for angles, in Euclidean Geometry, was first obtained by Laguerre, in 1853. This formula had, however, a perfectly Euclidean character, and it was left for Cayley to generalize it so as to include both angles and distances in Euclidean and non-Euclidean systems alike[38]. _Cayley_ was, to the last, a staunch supporter of Euclidean _space_, though he believed that non-Euclidean _Geometries_ could be applied, within Euclidean space, by a change in the definition of distance[39]. He has thus, in spite of his Euclidean orthodoxy, provided the believers in the possibility of non-Euclidean spaces with one of their most powerful weapons. In his "Sixth Memoir upon Quantics" (1859), he set himself the task of "establishing the notion of distance upon purely descriptive principles." He showed that, with the ordinary notion of distance, it can be rendered projective by reference to the circular points and the line at infinity, and that the same is true of angles[40]. Not content with this, he suggested a new definition of distance, as the inverse sine or cosine of a certain function of the coordinates; with this definition, the properties usually known as metrical become projective properties, having reference to a certain conic, called by Cayley the Absolute. (The circular points are, analytically, a degenerate conic, so that ordinary Geometry forms a particular case of the above.) He proves that, when the Absolute is an _imaginary_ conic, the Geometry so obtained for two dimensions is spherical Geometry. The correspondence with Lobatchewsky, in the case where the Absolute is _real_, is not worked out: indeed there is, throughout, no evidence of acquaintance with non-Euclidean systems. The importance of the memoir, to Cayley, lies entirely in its proof that metrical is only a branch of descriptive Geometry.
Such a definition has been satisfactorily given by Klein[49], who appeals, for the purpose, to v. Staudt's quadrilateral construction[50]. By this construction, which I have reproduced in outline in Chapter III. Section A, § 112 ff., we obtain a purely descriptive definition of harmonic and anharmonic ratio, and, given a pair of points, we can obtain the harmonic conjugate to any third point on the same straight line. On this construction, the introduction of projective coordinates is based. Starting with any three points on a straight line, we assign to them arbitrarily the numbers 0, 1, ∞. We then find the harmonic conjugate to the first with respect to 1, ∞, and assign to it the number 2. The object of assigning this number rather than any other, is to obtain the value -1 for the anharmonic ratio of the four numbers corresponding to the four points[51]. We then find the harmonic conjugate to the point 1, with respect to 2, ∞, and assign to it the number 3; and so on. Klein has shown that by this construction, we can obtain any number of points, and can construct a point corresponding to any given number, fractional or negative. Moreover, when two sets of four points have the same anharmonic ratio, descriptively defined[52], the corresponding numbers also have the same anharmonic ratio. By introducing such a numerical system on two straight lines, or on three, we obtain the coordinates of any point in a plane, or in space. By this construction, which is of fundamental importance to projective Geometry, the logical error, upon which Sir R. Ball bases his criticism, is satisfactorily avoided. Our coordinates are introduced by a purely descriptive method, and involve no presupposition whatever as to the measurement of distance.
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.
Ideas discussed in this chapter
Text from Project Gutenberg, public domain in the United States.