728 GEOMETRY origin, dp=Radr/(a2-r2), p=}R log2 a-tr r=a tanh k by Adx+uôx, where the parameter λ: μ may have any value. | distance of u, v from the origin, we have, for a geodesic through the This pencil generates a two-dimensional series of points, which may be regarded as a surface, and for which we may apply Gauss's formula for the measure of curvature at any point. Thus at every point of our manifold there is a measure of curvature corresponding to every such pencil; but all these can be found when n.n-1/2 of them are known. If figures are to be freely movable, it is necessary and sufficient that the measure of curvature should be the same for all points and all directions at each point. Where this is the case, it a be the measure of curvature, the linear element can be put into the form ds = √ (Edx2)/(1+}a£x3). If a be positive, space is finite, though still unbounded, and every straight line is closed-a possibility first recognized by Riemann. It is pointed out that, since the possible values of a form a continuous series, observations cannot prove that our space is strictly Euclidean. It is also regarded as possible that, in the infinitesimal, the measure of curvature of our space should be variable. There are four points in which this profound and epoch-making work is open to criticism or development-(1) the idea of a manifold requires more precise determination; (2) the introduction of coordinates is entirely unexplained and the requisite presuppositions are unanalysed; (3) the assumption that ds is the square root of a quadratic function of dx1, dx2, . . . is arbitrary; (4) the idea of superposition, or congruence, is not adequately analysed. The modern solution of these difficulties is properly considered in connexion with the general subject of the axioms of geometry. Helmholtz. The publication of Riemann's dissertation was closely followed by two works of Hermann von Helmholtz,' again undertaken in ignorance of the work of predecessors. In these a proof is attempted that ds must be a rational integral quadratic function of the increments of the coordinates. This proof has since been shown by Lie to stand in need of correction (see VII. Axioms of Geometry). Helmholtz's remaining works on the subject are of almost exclusively philosophical interest. We shall return to them later. The only other writer of importance in the second period is Eugenio Beltrami, by whom Riemann's work was brought into connexion with that of Lobatchewsky and Bolyai. Beltrami. As he gave, by an elegant method, a convenient Euclidean interpretation of hyperbolic plane geometry, his results will be stated at some length. The Saggio shows that Lobatchewsky's plane geometry holds in Euclidean geometry on surfaces of constant negative curvature, straight lines being replaced by geodesics. Such surfaces are capable of a conformal representation on a plane, by which geodesics are represented by straight lines. Hence if we take, as coordinates on the surface, the Cartesian coordinates of corresponding points on the plane, the geodesics must have linear equations. Hence it follows that ds2= R2w-4 {{(a2 —v2)du2+2uvdudv+(a2—u3)dv2}. where w2=a2-u2-v2, and 1/R2 is the measure of curvature of our surface (note that k=y as used above). The angle between two geodesics и=const., v=const. is 0, where Thus points on the surface corresponding to points in the plane P then tan a=a(n−m)w/ {(1+mn)a2 — (v—mu) (v—nu)}. P The above Euclidean interpretation fails for three or more dimensions. In the Teoria fondamentale, accordingly, where x dimensions are considered, Beltrami treats hyperbolic space in a purely analytical spirit. The paper shows that Lobatchewsky's space of any number Beltrami starts with the formula (analogous to that of dimensions has, in Riemann's sense, a constant negative measure of the Saggio) of curvature. ds2=R2x2(dx2+dx)2+dx22+ . . . +dx,” x2+x12+x2+...+x22=a2. where He shows that geodesics are represented by linear equations between x1, x1,...,x, and that the geodesic distance p between two points x and x' is given by cosh 2... (a formula practically identical with Cayley's, though obtained by Hence *1=rA1, X3=rag...Iran, where EX2=1. Also calling p the geodesic distance from the origin, we have Hence a cos 0=uv/√ {(a2- u2) (a2 — v2)}, sin 0 = aw/ √ {(a2 — u3) (a2 —v2)}. Thus uo is orthogonal to all geodesics v-const., and vice versa. In order that sin may be real, w must be positive; thus geodesics have no real intersection when the corresponding straight lines intersect outside the circle u2+2=a2. When they intersect on this circle, 0=o. Thus Lobatchewsky's parallels are represented Hence when p is small, we have approximately by straight lines intersecting on the circle. Again, transforming to polar coordinates ur cosμ, v=r sin, and calling p the geodesic 1 Wiss. Abh. vol. ii. pp. 610, 618 (1866, 1868). 256. 4/3R2; hence, returning to general axes, the same is the quotient when the terms of the fourth order in (1) are divided by the square of the triangle whose vertices are (o, o,...0), (21, 22, 23,...), (de, di, dz,...den). But of this quotient is defined by Riemann as the measure of curvature. Hence the measure of curvature is -1/R, ie. is constant and negative. The properties of parallels, triangles, &c., are as in the Saggio. It is also shown that the analogues of limit surfaces have zero curvature; and that spheres of radius have constant positive curvature 1/R2 sinh (p/R), so that spherical geometry may be regarded as contained in the pseudospherical (as Beltrami calls Lobatchewsky's system). The Saggio, as we saw, gives a Euclidean interpretation confined to two dimensions. But a consideration of the auxiliary Transition plane suggests a different interpretation, which may be to the extended to any number of dimensions. If, instead projective of referring to the pseudosphere, we merely define method. distance and angle, in the Euclidean plane, as those functions of the coordinates which gave us distance and angle on the pseudosphere, we find that the geometry of our plane has become Lobatchewsky's. All the points of the limiting circle are now at infinity, and points beyond it are imaginary. If we give our circle an imaginary radius the geometry on the plane becomes elliptic. Replacing the circle by a sphere, we obtain an analogous representation for three dimensions. Instead of a circle or sphere we may take any conic or quadric. With this definition, if the fundamental quadric be Err=o, and if be the polar form of Err, the distance between x and x' is given by the projective formula That this formula is projective is rendered evident by observing that ek is the anharmonic ratio of the range consisting of the two points and the intersections of the line joining them with the fundamental quadric. With this we are brought to the third or projective period. The method of this period is due to Cayley; its application to previous non-Euclidean geometry is due to Klein. The projective method contains a generalization of discoveries already made by Laguerre in 1853 as regards Euclidean geometry. The arbitrariness of this procedure of deriving metrical geometry from the properties of conics is removed by Lie's theory of congruence. We then arrive at the stage of thought which finds its expression in the modern treatment of the axioms of geometry. The two kinds of elliptic space. The projective method leads to a discrimination, first made by Klein, of two varieties of Riemann's space; Klein calls these elliptic and spherical. They are also called the polar and antipodal forms of elliptic space. The latter names will here be used. The difference is strictly analogous to that between the diameters and the points of a sphere. In the polar form two straight lines in a plane always intersect in one and only one point; in the antipodal form they intersect always in two points, which are antipodes. According to the definition of geometry adopted in section VII. (Axioms of Geometry), the antipodal form is not to be termed geometry," since any pair of coplanar straight lines intersect each other in two points. It may be called a "quasi-geometry." Similarly in the antipodal form two diameters always determine a plane, but two points on a sphere do not determine a great circle when they are antipodes, and two great circles always intersect in two points. Again, a plane does not form a boundary among lines through a point: we can pass from any one such line to any other without passing through the plane. But a great circle does divide the surface of a sphere. So, in the polar form, a complete straight line does not divide a plane, and a plane does not divide space, and does not, like a Euclidean plane, have two sides. But, in the antipodal form, a plane is, in these respects, like a Euclidean plane. It is explained in section VII. in what sense the metrical geometry of the material world can be considered to be determinate and not a matter of arbitrary choice. The scientific 1 Beltrami shows also that this definition agrees with that of Gauss. "Sur la théorie des foyers," Nouv. Ann. vol. xii. Math. Annalen, iv. vi., 1871-1872. For an investigation of these and similar properties, see Whitehead, Universal Algebra (Cambridge, 1898), bk. vi. ch. ii. The polar form was independently discovered by Simon Newcomb in 1877. question as to the best available evidence concerning the nature of this geometry is one beset with difficulties of a peculiar kind. We are obstructed by the fact that all existing physical science assumes the Euclidean hypothesis. This hypothesis has been involved in all actual measurements of large distances, and in all the laws of astronomy and physics. The principle of simplicity would therefore lead us, in general, where an observation conflicted with one or more of those laws, to ascribe this anomaly, not to the falsity of Euclidean geometry, but to the falsity of the laws in question. This applies especially to astronomy. On the earth our means of measurement are many and direct, and so long as no great accuracy is sought they involve few scientific laws. Thus we acquire, from such direct measurements, a very high degree of probability that the space-constant, if not infinite, is yet large as compared with terrestrial distances. But astronomical distances and triangles can only be measured by means of the received laws of astronomy and optics, all of which have been established by assuming the truth of the Euclidean hypothesis. It therefore remains possible (until a detailed proof of the contrary is forthcoming) that a large but finite spaceconstant, with different laws of astronomy and optics, would have equally explained the phenomena. We cannot, therefore, accept the measurements of stellar parallaxes, &c., as conclusive evidence that the space-constant is large as compared with stellar distances. For the present, on grounds of simplicity, we may rightly adopt this view; but it must remain possible that, in view of some hitherto undiscovered discrepancy, a slight correction of the sort suggested might prove the simplest alternative. But conversely, a finite parallax for very distant stars, or a negative parallax for any star, could not be accepted as conclusive evidence that our geometry is non-Euclidean, unless it were shown-and this seems scarcely possible-that no modification of astronomy or optics could account for the phenomenon. Thus although we may admit a probability that the spaceconstant is large in comparison with stellar distances, a conclusive proof or disproof seems scarcely possible. Finally, it is of interest to note that, though it is theoretically possible to prove, by scientific methods, that our geometry is non-Euclidean, it is wholly impossible to prove by such methods that it is accurately Euclidean. For the unavoidable errors of observation must always leave a slight margin in our measurements. A triangle might be found whose angles were certainly greater, or certainly less, than two right angles; but to prove them exactly equal to two right angles must always be beyond our powers. If, therefore, any man cherishes a hope of proving the exact truth of Euclid, such a hope must be based, not upon scientific, but upon philosophical considerations. BIBLIOGRAPHY.-The bibliography appended to section VII. should be consulted in this connexion. Also, in addition to the citations already made, the following works may be mentioned. For Lobatchewsky's writings, cf. Urkunden zur Geschichte der nichteuklidischen Geometrie, i., Nikolaj Iwanowitsch Lobatschefsky, by F. Engel and P. Stäckel (Leipzig, 1898). For John Bolyai's Appendix, cf. Absolute Geometrie nach Johann Bolyai, by J. Frischauf (Leipzig, 1872), and also the new edition of his father's large work, Tentamen ., published by the Mathematical Society of Budapest; the second volume contains the appendix. Cf. also J. Frischauf, Elemente der absoluten Geometrie (Leipzig, 1876); M. L. Gérard, Sur la géométrie non-Euclidienne (thesis for doctorate) (Paris, 1892); de Tilly, Essai sur les principes fondamentales de la géométrie et de la mécanique (Bordeaux, 1879); Sir R. S. Ball, "On the Theory of Content," Trans. Roy. Irish Acad. vol. xxix. (1889); F. Lindemann, "Mechanik bei projectiver Maasbestimmung," Math. Annal. vol. vii.; W. K. Clifford, Preliminary Sketch of Biquaternions," Proc. of Lond. Math. Soc. (1873), and Coll. Works; A. Buchheim, "On the Theory of Screws in Elliptic Space," Proc. Lond. Math. Soc. vols. xv.. xvi., xvii.; H. Cox, On the Application of Quaternions and Grassmann's Algebra to different Kinds of Uniform Space," Trans. Camb. Phil. Soc. (1882); M. Dehn, "Die Legendarischen Sätze über die Winkelsumme im Dreieck," Math. Ann. vol. 53 (1900), and Über den Rauminhalt," Math. Annal. vol. 55 (1902). " For expositions of the whole subject, cf. F. Klein, Nicht-Euklidische Geometrie (Göttingen, 1893); R. Bonola, La Geometria non-Euclidea (Bologna, 1906); P. Barbarin, La Géométrie non-Euclidienne (Paris, 1902); W. Killing, Die nicht-Euklidischen Raumformen in analytischer Behandlung (Leipzig, 1885). The last-named work also deals with geometry of more than three dimensions; in this connexion cf. also G. Veronese, Fondamenti di geometria a più dimensioni ed a più specie di unità rettilinee (Padua, 1891, German translation, Leipzig, 1894); G. Fontené, L'Hyperespace à (n-1) dimensions (Paris, 1892); and A. N. Whitehead, loc. cit. Cf. also E. Study," Über nichtEuklidische und Liniengeometrie," Jahr. d. Deutsch. Math. Ver. vol. xv. (1906); W. Burnside, "On the Kinematics of non-Euclidean Space," Proc. Lond. Math. Soc. vol. xxvi. (1894). A bibliography on the subject up to 1878, has been published by G. B. Halsted, Amer. Journ. of Math, vols. i. and ii.; and one up to 1900 by R. Bonola, Index operum ad geometriam absolutam spectantium (1902, and Leipzig, 1903). (B. A. W. R.; A. N. W.) Theories VII. AXIOMS OF GEOMETRY Until the discovery of the non-Euclidean geometries (Lobatchewsky, 1826 and 1829; J. Bolyai, 1832; B. Riemann, 1854), geometry was universally considered as being exclusively the science of existent space. (See section of space. VI. Non-Euclidean Geometry.) In respect to the science, as thus conceived, two controversies may be noticed. First, there is the controversy respecting the absolute and relational theories of space. According to the absolute theory, which is the traditional view (held explicitly by Newton), space has an existence, in some sense whatever it may be, independent of the bodies which it contains. The bodies occupy space, and it is not intrinsically unmeaning to say that any definite body occupies this part of space, and not that part of space, without reference to other bodies occupying space. According to the relational theory of space, of which the chief exponent was Leibnitz,' space is nothing but a certain assemblage of the relations between the various particular bodies in space. The idea of space with no bodies in it is absurd. Accordingly there can be no meaning in saying that a body is here and not there, apart from a reference to the other bodies in the universe. Thus, on this theory, absolute motion is intrinsically unmeaning. It is admitted on all hands that in practice only relative motion is directly measurable. Newton, however, maintains in the Principia (scholium to the 8th definition) that it is indirectly measurable by means of the effects of "centrifugal force" as it occurs in the phenomena of rotation. This irrelevance of absolute motion (if there be such a thing) to science has led to the general adoption of the relational theory by modern men of science. But no decisive argument for either view has at present been elaborated. Kant's view of space as being a form of perception at first sight appears to cut across this controversy. But he, saturated as he was with the spirit of the Newtonian physics, must (at least in both editions of the Critique) be classed with the upholders of the absolute theory. The form of perception has a type of existence proper to itself independently of the particular bodies which it contains. For example he writes: "Space does not represent any quality of objects by themselves, or objects in their relation to one another, i.e. space does not represent any determination which is inherent in the objects themselves, and would remain, even if all subjective conditions of intuition were removed." Axioms. The second controversy is that between the view that the axioms applicable to space are known only from experience, and the view that in some sense these axioms are given a priori. Both these views, thus broadly stated, are capable of various subtle modifications, and a discussion of them would merge into a general treatise on epistemology. The cruder forms of the a priori view have been made quite untenable by the modern mathematical discoveries. Geometers now profess ignorance in many respects of the exact axioms which apply to existent space, and it seems unlikely that a profound study of the question should thus obliterate a priori intuitions. Another question irrelevant to this article, but with some relevance to the above controversy, is that of the derivation For an analysis of Leibnitz's ideas on space, cf. B. Russell, The Philosophy of Leibnitz, chs. viii.-x. Cf. Hon. Bertrand Russell, "Is Position in Time and Space Absolute or Relative?" Mind, n.s. vol. 10 (1901), and A. N. Whitehead," Mathematical Concepts of the Material World," Phil. Trans. (1906), p. 205. Cf. Critique of Pure Reason, 1st section: "Of Space," conclusion A, Max Müller's translation. of our perception of existent space from our various types of sensation. This is a question for psychology.* Definition of Abstract Geometry.-Existent space is the subject matter of only one of the applications of the modern science of abstract geometry, viewed as a branch of pure mathematics. Geometry has been defined as "the study of series of two or more dimensions." It has also been defined as "the science of cross classification." These definitions are founded upon the actual practice of mathematicians in respect to their use of the term "Geometry." Either of them brings out the fact that geometry is not a science with a determinate subject matter. It is concerned with any subject matter to which the formal axioms may apply. Geometry is not peculiar in this respect. All branches of pure mathematics deal merely with types of relations. Thus the fundamental ideas of geometry (e.g. those of points and of straight lines) are not ideas of determinate entities, but of any entities for which the axioms are true. And a set of formal geometrical axioms cannot in themselves be true or false, since they are not determinate propositions, in that they do not refer to a determinate subject matter. The axioms are propositional functions. When a set of axioms is given, we can ask (1) whether they are consistent, (2) whether their "existence theorem" is proved, (3) whether they are independent. Axioms are consistent when the contradictory of any axiom cannot be deduced from the remaining axioms. Their existence theorem is the proof that they are true when the fundamental ideas are considered as denoting some determinate subject matter, so that the axioms are developed into determinate propositions. It follows from the logical law of contradiction that the proof of the existence theorem proves also the consistency of the axioms. This is the only method of proof of consistency. The axioms of a set are independent of each other when no axiom can be deduced from the remaining axioms of the set. The independence of a given axiom is proved by establishing the consistency of the remaining axioms of the set, together with the contradictory of the given axiom. The enumeration of the axioms is simply the enumeration of the hypotheses (with respect to the undetermined subject matter) of which some at least occur in each of the subsequent propositions. Any science is called a geometry if it investigates the theory of the classification of a set of entities (the points) into classes (the straight lines), such that (1) there is one and only one class which contains any given pair of the entities, and (2) every such class contains more than two members. In the two geometries, important from their relevance to existent space, axioms which secure an order of the points on any line also occur. These geometries will be called "Projective Geometry" and "Descriptive Geometry." In projective geometry any two straight lines in a plane intersect, and the straight lines are closed series which return into themselves, like the circumference of a circle. In descriptive geometry two straight lines in a plane do not necessarily intersect, and a straight line is an open series without beginning or end. Ordinary Euclidean geometry is a descriptive geometry; it becomes a projective geometry when the so-called "points at infinity" are added. Projective Geometry. fundamental ideas, namely, that of a "point" and that of a Projective geometry may be developed from two undefined "straight line." These undetermined ideas take different specific meanings for the various specific subject matters to which projective geometry can be applied. The number of the axioms is always to some extent arbitrary, being dependent the verbal forms of statement which are adopted. They will upon chapters are translated by T. J. McCormack, Space and Geometry Cf. Ernst Mach, Erkenntniss und Irrtum (Leipzig); the relevant (London, 1906); also A. Meinong, Über die Stellung der Gegenstandstheorie im System der Wissenschaften (Leipzig, 1907). Cf. Russell, Principles of Mathematics, § 352 (Cambridge, 1903). Cf. A. N. Whitehead, The Axioms of Projective Geometry, $3 (Cambridge, 1906). 7 Cf. Russell, Princ. of Math., ch. i. Cf. Russell, loc. cit., and G. Frege, " Über die Grundlagen der Geometrie," Jahresber. der Deutsch. Math. Ver. (1906). 1. Points form a class of entities with at least two members. 2. Any straight line is a class of points containing at least three members. 3. Any two distinct points lie in one and only one straight 4. There is at least one straight line which does not contain all the points. line. 5. If A, B, C are non-collinear points, and A' is on the straight line BC, and B' is on the straight line CA, then the straight lines AA' and BB' possess a point in common. Definition-If A, B, C are any three non-collinear points, the plane ABC is the class of points lying on the straight lines joining A with the various points on the straight line BC. 6. There is at least one plane which does not contain all the points. 7. There exists a plane a, and a point A not incident in a, such that any point lies in some straight line which contains both A and a point in a. Definition.-Harm. (ABCD) symbolizes the following conjoint statements: (1) that the points A, B, C, D are collinear, and (2) that a quadrilateral can be found with one pair of opposite sides intersecting at A, with the other pair intersecting at C, and with its diagon Is passing through B and D respectively. Then B and D are said to be "harmonic conjugates" with respect to A and C. 8. Harm. (ABCD) implies that B and D are distinct points. In the above axioms 4 secures at least two dimensions, axiom 5 is the fundamental axiom of the plane, axiom 6 secures at least three dimensions, and axiom 7 secures at most three dimensions. From axioms 1-5 it can be proved that any two distinct points in a straight line determine that line, that any three non-collinear points in a plane determine that plane, that the straight line containing any two points in a plane lies wholly in that plane, and that any two straight lines in a plane intersect. From axioms 1-6 Desargues's well-known theorem on triangles in perspective can be proved. The enunciation of this theorem is as follows: If ABC and A'B'C' are two coplanar triangles such that the lines AA', BB'; CC' are concurrent, then the three points of intersection of BC and B'C' of CA and C'A', and of AB and A'B' are collinear; and conversely if the three points of intersection are collinear, the three lines are concurrent. The proof which can be applied is the usual projective proof by which a third triangle A'B'C' is constructed not coplanar with the other two, but in perspective with each It has been proved that Desargues's theorem cannot be deduced from axioms 1-5, that is, if the geometry be confined to two dimensions. All the proofs proceed by the method of producing a specification of "points" and "straight lines" which satisfies axioms 1-5, and such that Desargues's theorem does not hold. of them. It follows from axioms 1-5 that Harm. (ABCD) implies Harm. (ADCB) and Harm. (CBAD), and that, if A, B, C be any three distinct collinear points, there exists at least one point D such that Harm. (ABCD). But it requires Desargues's theorem, and hence axiom 6, to prove that Harm. (ABCD) and Harm. (ABCD') imply the identity of D and D'. The necessity for axiom 8 has been proved by G. Fano, who has produced a three dimensional geometry of fifteen points, i.e. a method of cross classification of fifteen entities, in which each straight line contains three points, and each plane contains seven straight lines. In this geometry axiom 8 does not hold. Also from axioms 1-6 and 8 it follows that Harm. (ABCD) implies Harm. (BCDA). Definitions. When two plane figures can be derived from one another by a single projection, they are said to be in perspective. When two plane figures can be derived one from the other by a finite series of perspective relations between intermediate figures, they This formulation-though not in respect to number-is in all essentials that of M. Pieri, cf. "I principii della Geometria di Posizione," Accad. R. di Torino (1898); also cf. Whitehead, loc. cit. 2 Cf. G. Peano, "Sui fondamenti della Geometria," p. 73, Rivista di matematica, vol. iv. (1894), and D. Hilbert, Grundlagen der Geometrie (Leipzig, 1899); and R. F. Moulton, "A Simple non-Desarguesian Plane Geometry," Trans. Amer. Math. Soc., vol. iii. (1902). Cf. "Sui postulati fondamentali della geometria projettiva," Giorn. di matematica, vol. xxx. (1891); also of Pieri, loc. cit., and Whitehead, loc. cit. ་་ are said to be projectively related. Any property of a plane fgure which necessarily also belongs to any projectively related figure, is called a projective property. The following theorem, known from its importance as the fundamental theorem of projective geometry," cannot be proved⚫ from axioms 1-8. The enunciation is: A projective correspond ence between the points on two straight lines is completely determined when the correspondents of three distinct points on one line are determined on the other." This theorem is equivalent (assuming axioms 1-8) to another theorem, known as Pappus's Theorem, namely: "If I and l' are two distinct coplanar lines, and A, B, C are three distinct points on 1, and A', B', C' are three distinct points on, then the three points of intersection of AA' and B'C, of A'B and CC', of BB' and C'A, are collinear." This theorem is obviously Pascal's well-known theorem respecting a hexagon inscribed in a conic, for the special case when the conic has degenerated into the two lines and . Another theorem also equivalent (assuming axioms 1-8) to the fundamental theorem is B and B', C and C', are such that the three pairs of opposite sides the following: If the three collinear pairs of points, A and A', pair through A and A' respectively, and so on, and if also the three of a complete quadrangle pass respectively through them, i.e. one sides of the quadrangle which pass through A, B, and C, are concurrent in one of the corners of the quadrangle, then another quadrangle can be found with the same relation to the three pairs of points, except that its three sides which pass through A, B, and C, are not concurrent. axiom, all the theorems of projective geometry which do not require Thus, if we choose to take any one of these three theorems as an ordinal or metrical ideas for their enunciation can be proved. Also a conic can be defined as the locus of the points found by the usual construction, based upon Pascal's theorem, for points on the conic through five given points. But it is unnecessary to assume here any one of the suggested axioms; for the fundamental theorem can be deduced from the axioms of order together with axioms 1-8. Axioms of Order.-It is possible to define (cf. Pieri, loc. cit.) the property upon which the order of points on a straight line depends. But to secure that this property does in fact range the points in a serial order, some axioms are required. A straight line is to be a closed series; thus, when the points are in order, it requires two points on the line to divide it into two distinct complementary segments, which do not overlap, and together form the whole line. Accordingly the problem of the definition of order reduces itself to the definition of these two segments formed by any two points on the line; and the axioms are stated relatively to these segments. Definition.-II A, B, C are three collinear points, the points on the segment ABC are defined to be those points such as X, for which (AYCY') and Harm. (BYXY') both hold. The supplementary there exist two points Y and Y' with the property that Harm. segment ABC is defined to be the rest of the points on the line. This definition is elucidated by noticing that with our ordinary geometrical ideas, if B and X are any two points between A and C, then the two pairs of points, A and C, B and X, define an involution with real double points, namely, the Y and Y' of the above definition. The property of belonging to a segment ABC is projective, since the harmonic relation is projective. The first three axioms of order (cf. Pieri, loc. cit.) are: 9. If A, B, C are three distinct collinear points, the supplementary segment ABC is contained within the segment BCA. 10. If A, B, C are three distinct collinear points, the common part of the segments BCA and CAB is contained in the supplementary segment ABC. 11. If A, B, C are three distinct collinear points, and D lies in the segment ABC, then the segment ADC is contained within the segment ABC. From these axioms all the usual properties of a closed order follow. It will be noticed that, if A, B, C are any three collinear points, C is necessarily traversed in passing from A to B by one route along the line, and is not traversed in passing from A to B Thus there is no meaning, as referred along the other route. to closed straight lines, in the simple statement that C lies between A and B. But there may be a relation of separation between two pairs of collinear points, such as A and C, and B and D. The couple B and D is said to separate A and C, if Cf. Hilbert, loc. cit.; for a fuller exposition of Hilbert's proof cf. K. T. Vahlen, Abstrakte Geometrie (Leipzig, 1905), also Whitehead, loc. cit. Cf. H. Wiener, Jahresber. der Deutsch. Math. Ver. vol. i. (1890); and F. Schur, "Über den Fundamentalsatz der projectiven Geometrie," Math. Ann. vol. li. (1899). Cf. Hilbert, loc. cit., and Whitehead, loc. cit. the four points are collinear and D lies in the segment comple- | relations, however m, n, S and S' be varied, are called " prospec mentary to the segment ABC. The property of the separation O on l'is related to A by a prospectivity, then all prospectivities, tivities," and U is the double point of the prospectivity. If a point of pairs of points by pairs of points is projective. Also it can be which (1) have the same double point proved that Harm. (ABCD) implies that B and D separate U, and (2) relate O to A, give the same A and C. correspondent (Q, in figure) to any point P on the line 1; in fact they are all the same prospectivity, however m, n, S, and S may have been varied Such subject to these conditions. ferred to a closed series. 12. The last axiom of order is that there exists at least one straight line for which the point order possesses the Dedekind property. A PQ FIG. 69. Such a a prospectivity will be denoted by Definitions. A series of entities arranged in a serial order, open or closed, is said to be compact, if the series contains no immediately consecutive entities, so that in traversing the series from any one entity to any other entity it is necessary to pass through entities distinct from either. It was the merit of R. Dedekind and of G. Cantor explicitly to formulate another fundamental property of series. The Dedekind property as applied to an open series can be defined thus: An open series possesses the Dedekind property, if, however, it be divided into two mutually exclusive classes u and v, which (1) contain between them the whole series, and (2) are such that every member of u precedes in the serial order every member of v, there is always a member of the series, belonging to one of the two, or v, which precedes every member of v (other than itself if it belong to v), and also succeeds every member of u (other than itself if it belong to u). Accordingly in an open series with the Dedekind property there is always a member of the series marking the junction of two classes such as u and v. An open series is continuous if it is compact and possesses the Dedekind property. A closed series can always be transformed into an open series by taking any arbitrary member as the first term and by taking one of the two ways round as the ascending order of the series. Thus the definitions of compactness and of the Dedekind property can be at once trans-spectivities of the type (OPU2), where P is any point on the segment OEU, correspond to the posi tive numbers; also if P' is the harmonic conjugate of P with respect to O and U, the prospectivity (OP'U) is associated with (The subjoined figure explains this the corresponding negative number. relation of the positive and negative prospectivities.) point Pon / is associated with the same number as is the prospec tivity (OPU). It can be proved that the order of the numbers in algebraic order of magnitude agrees with the order on the line of the associated points. Let the numbers, assigned according to the preceding specification, be said to be associated with the points according to the numeration-system (OEU)." The introduction of a coordinate system for a plane is now managed as follows: Take any triangle OUV in the plane, and on the lines OU and OV establish the numeration systems (OE,U) and (OEV), where E and E are arbitrarily chosen. Then (cf. fig. 71) if M and N are associated with the numbers x and y according to these systems, the coordinates of P are x and y. It then line is of the form ax+by+c=o. Both coordinates of any point on follows that the equation of a straight the line UV are infinite. This can be avoided by introducing homogeneous coordinates X, Y, Z, where x =X/Z, and y=Y/Z, and Zo is the equation of UV. It follows from axioms 1-12 by projection that the Dedekind property is true for all lines. Again the harmonic system ABC, where A, B, C are collinear points, is defined thus: take the harmonic conjugates A', B', C' of each point with respect to the other two, again take the harmonic conjugates of each of the six points A, B, C, A', B', C' with respect to each pair of the remaining five, and proceed in this way by an unending series of steps. The set of points thus obtained is called the harmonic system ABC. It can be proved that a harmonic system is compact, and that every segment of the line containing it possesses members of it. Furthermore, it is easy to prove that the fundamental theorem holds for harmonic systems, in the sense that, if A, B, C are three points on a line 1, and A', B', C' are three points on a line l, and if by any two distinct series of projections A, B, C are projected into A', B', C', then any point of the harmonic system ABC corresponds to the same point of the harmonic system A'B'C' according to both the projective relations which are thus established between 1 and l'. It now follows immediately that the fundamental theorem must hold for all the points on the lines / and l', since (as has been pointed out) harmonic systems are "everywhere dense" on their containing lines. Thus the fundamental theorem follows from the axioms of order. A system of numerical coordinates can now be introduced, possessing the property that linear equations represent planes and straight lines. The outline of the argument by which this remarkable problem (in that "distance" is as yet undefined) is solved, will now be given. It is first proved that the points on any line can in a certain way be definitely associated with all the positive and negative real numbers, so as to form with them a one-one correspondence. The arbitrary elements in the establishment of this relation are the points on the line associated with o, I and co. This association is most easily effected by considering a class of projective relations of the line with itself, called by F. Schur (loc. cit.) prospectivities. Let (fig. 69) be the given line, m and n any two lines intersecting at U on I, S and S' two points on n. Then a projective relation between and itself is formed by projecting from S on to m, and then by projecting m from S' back on to . All such projective 1 Cf. Dedekind, Stetigkeit und irrationale Zahlen (1872). Cf. v. Staudt, Geometrie der Lage (1847). Cf. Pasch, Vorlesungen über neuere Geometrie (Leipzig, 1882), a classic work; also Fiedler, Die darstellende Geometrie (1st ed., 1871, 3rd ed., 1888); Clebsch, Vorlesungen über Geometrie, vol. iii.; Hilbert, loc. cit.; F. Schur, Math. Ann. Bd. Iv. (1902); Vahlen, loc. cit.; Whitehead, loc. cit. " Then any OEP FIG. 71. W The procedure for three dimensions is similar. Let OUVW (fig. 72) be any tetrahedron, and associate points on OU, OV, OW with numbers according to the numeration systems (OE,U), (OE,V), and (OE,W). Let the planes VWP, WUP, tively; and let x, y, z be the numbers UVP cut OU, OV, OW in L, M, N respecassociated with L, M, N respectively. od Then P is the point (x, y, z). Also homogeneous coordinates can be ininfinities on the plane UVW. troduced as before, thus avoiding the The cross ratio of a range of four collinear points can now be defined E E, FIG. 72. as a number characteristic of that range. Let the coordinates of any and let (4) be written for Then the cross ratio {P P P P is defined to be the number (A,μ2)(A)/(A) (Asus). The equality of the cross ratios of the ranges (P1 P2 P3 P) and (QQQ Q) is proved to be the necessary and sufficient condition for their mutual projectivity. The cross ratios of all harmonic ranges are then easily seen to be all equal to 1, by comparing with the range (OE,UE) on the axis of x. Thus all the ordinary propositions of geometry in which distance and angular measure do not enter otherwise than in cross ratios can now be enunciated and proved. Accordingly the greater part of the analytical theory of conics and quadrics belongs to geometry |