| Fig. 74. |
Let any point B divide l into two half-lines l1 and l2. Then it can be proved that the set of half-lines, emanating from A and intersecting l1 (such as m), are bounded by two half-lines, of which ABC is one. Let r be the other. Then it can be proved that r does not intersect l1. Similarly for the half-line, such as n, intersecting l2. Let s be its bounding half-line. Then two cases are possible. (1) The half-lines r and s are collinear, and together form one complete line. In this case, there is one and only one line (viz. r + s) through A and lying in α which does not intersect l. This is the Euclidean case, and the assumption that this case holds is the Euclidean parallel axiom. But (2) the half-lines r and s may not be collinear. In this case there will be an infinite number of lines, such as k for instance, containing A and lying in α, which do not intersect l. Then the lines through A in α are divided into two classes by reference to l, namely, the secant lines which intersect l, and the non-secant lines which do not intersect l. The two boundary non-secant lines, of which r and s are respectively halves, may be called the two parallels to l through A.
The perception of the possibility of case 2 constituted the starting-point from which Lobatchewsky constructed the first explicit coherent theory of non-Euclidean geometry, and thus created a revolution in the philosophy of the subject. For many centuries the speculations of mathematicians on the foundations of geometry were almost confined to hopeless attempts to prove the “parallel axiom” without the introduction of some equivalent axiom.[41]
Associated Projective and Descriptive Spaces.—A region of a projective space, such that one, and only one, of the two supplementary segments between any pair of points within it lies entirely within it, satisfies the above axioms (1-10) of descriptive geometry, where the points of the region are the descriptive points, and the portions of straight lines within the region are the descriptive lines. If the excluded part of the original projective space is a single plane, the Euclidean parallel axiom also holds, otherwise it does not hold for the descriptive space of the limited region. Again, conversely, starting from an original descriptive space an associated projective space can be constructed by means of the concept of ideal points.[42] These are also called projective points, where it is understood that the simple points are the points of the original descriptive space. An ideal point is the class of straight lines which is composed of two coplanar lines a and b, together with the lines of intersection of all pairs of intersecting planes which respectively contain a and b, together with the lines of intersection with the plane ab of all planes containing any one of the lines (other than a or b) already specified as belonging to the ideal point. It is evident that, if the two original lines a and b intersect, the corresponding ideal point is nothing else than the whole class of lines which are concurrent at the point ab. But the essence of the definition is that an ideal point has an existence when the lines a and b do not intersect, so long as they are coplanar. An ideal point is termed proper, if the lines composing it intersect; otherwise it is improper.
A theorem essential to the whole theory is the following: if any two of the three lines a, b, c are coplanar, but the three lines are not all coplanar, and similarly for the lines a, b, d, then c and d are coplanar. It follows that any two lines belonging to an ideal point can be used as the pair of guiding lines in the definition. An ideal point is said to be coherent with a plane, if any of the lines composing it lie in the plane. An ideal line is the class of ideal points each of which is coherent with two given planes. If the planes intersect, the ideal line is termed proper, otherwise it is improper. It can be proved that any two planes, with which any two of the ideal points are both coherent, will serve as the guiding planes used in the definition. The ideal planes are defined as in projective geometry, and all the other definitions (for segments, order, &c.) of projective geometry are applied to the ideal elements. If an ideal plane contains some proper ideal points, it is called proper, otherwise it is improper. Every ideal plane contains some improper ideal points.
It can now be proved that all the axioms of projective geometry hold of the ideal elements as thus obtained; and also that the order of the ideal points as obtained by the projective method agrees with the order of the proper ideal points as obtained from that of the associated points of the descriptive geometry. Thus a projective space has been constructed out of the ideal elements, and the proper ideal elements correspond element by element with the associated descriptive elements. Thus the proper ideal elements form a region in the projective space within which the descriptive axioms hold. Accordingly, by substituting ideal elements, a descriptive space can always be considered as a region within a projective space. This is the justification for the ordinary use of the “points at infinity” in the ordinary Euclidean geometry; the reasoning has been transferred from the original descriptive space to the associated projective space of ideal elements; and with the Euclidean parallel axiom the improper ideal elements reduce to the ideal points on a single improper ideal plane, namely, the plane at infinity.[43]
Congruence and Measurement.—The property of physical space which is expressed by the term “measurability” has now to be considered. This property has often been considered as essential to the very idea of space. For example, Kant writes,[44] “Space is represented as an infinite given quantity.” This quantitative aspect of space arises from the measurability of distances, of angles, of surfaces and of volumes. These four types of quantity depend upon the two first among them as fundamental. The measurability of space is essentially connected with the idea of congruence, of which the simplest examples are to be found in the proofs of equality by the method of superposition, as used in elementary plane geometry. The mere concepts of “part” and of “whole” must of necessity be inadequate as the foundation of measurement, since we require the comparison as to quantity of regions of space which have no portions in common. The idea of congruence, as exemplified by the method of superposition in geometrical reasoning, appears to be founded upon that of the “rigid body,” which moves from one position to another with its internal spatial relations unchanged. But unless there is a previous concept of the metrical relations between the parts of the body, there can be no basis from which to deduce that they are unchanged.
It would therefore appear as if the idea of the congruence, or metrical equality, of two portions of space (as empirically suggested by the motion of rigid bodies) must be considered as a fundamental idea incapable of definition in terms of those geometrical concepts which have already been enumerated. This was in effect the point of view of Pasch.[45] It has, however, been proved by Sophus Lie[46] that congruence is capable of definition without recourse to a new fundamental idea. This he does by means of his theory of finite continuous groups (see [Groups, Theory of]), of which the definition is possible in terms of our established geometrical ideas, remembering that coordinates have already been introduced. The displacement of a rigid body is simply a mode of defining to the senses a one-one transformation of all space into itself. For at any point of space a particle may be conceived to be placed, and to be rigidly connected with the rigid body; and thus there is a definite correspondence of any point of space with the new point occupied by the associated particle after displacement. Again two successive displacements of a rigid body from position A to position B, and from position B to position C, are the same in effect as one displacement from A to C. But this is the characteristic “group” property. Thus the transformations of space into itself defined by displacements of rigid bodies form a group.
Call this group of transformations a congruence-group. Now according to Lie a congruence-group is defined by the following characteristics:—
1. A congruence-group is a finite continuous group of one-one transformations, containing the identical transformation.