CHAPTER III - COMBINATION OF TWO PROJECTIVELY RELATED FUNDAMENTAL FORMS

Fig. 9

47. Superposed fundamental forms. Self-corresponding elements. We have seen (§ 37) that two projective point-rows may be superposed upon the same straight line. This happens, for example, when two pencils which are projective to each other are cut across by a straight line. It is also possible for two projective pencils to have the same center. This happens, for example, when two projective point-rows are projected to the same point. Similarly, two projective axial pencils may have the same axis. We examine now the possibility of two forms related in this way, having an element or elements that correspond to themselves. We have seen, indeed, that if B and D are harmonic conjugates with respect to A and C, then the point-row described by B is projective to the point-row described by D, and that A and C are self-corresponding points. Consider more generally the case of two pencils perspective to each other with axis of perspectivity u' (Fig. 9). Cut across them by a line u. We get thus two projective point-rows superposed on the same line u, and a moment's reflection serves to show that the point N of intersection u and u' corresponds to itself in the two point-rows. Also, the point M, where u [pg 30] intersects the line joining the centers of the two pencils, is seen to correspond to itself. It is thus possible for two projective point-rows, superposed upon the same line, to have two self-corresponding points. Clearly M and N may fall together if the line joining the centers of the pencils happens to pass through the point of intersection of the lines u and u'.

Fig. 10

48. We may also give an illustration of a case where two superposed projective point-rows have no self-corresponding points at all. Thus we may take two lines revolving about a fixed point S and always making the same angle a with each other (Fig. 10). They will cut out on any line u in the plane two point-rows which are easily seen to be projective. For, given any four rays SP which are harmonic, the four corresponding rays SP' must also be harmonic, since they make the same angles with each other. Four harmonic points P correspond, therefore, to four harmonic points P'. It is clear, however, that no point P can coincide with its corresponding point P', for in that case the lines PS and [pg 31] P'S would coincide, which is impossible if the angle between them is to be constant.

49. Fundamental theorem. Postulate of continuity. We have thus shown that two projective point-rows, superposed one on the other, may have two points, one point, or no point at all corresponding to themselves. We proceed to show that

If two projective point-rows, superposed upon the same straight line, have more than two self-corresponding points, they must have an infinite number, and every point corresponds to itself; that is, the two point-rows are not essentially distinct.

If three points, A, B, and C, are self-corresponding, then the harmonic conjugate D of B with respect to A and C must also correspond to itself. For four harmonic points must always correspond to four harmonic points. In the same way the harmonic conjugate of D with respect to B and C must correspond to itself. Combining new points with old in this way, we may obtain as many self-corresponding points as we wish. We show further that every point on the line is the limiting point of a finite or infinite sequence of self-corresponding points. Thus, let a point P lie between A and B. Construct now D, the fourth harmonic of C with respect to A and B. D may coincide with P, in which case the sequence is closed; otherwise P lies in the stretch AD or in the stretch DB. If it lies in the stretch DB, construct the fourth harmonic of C with respect to D and B. This point D' may coincide with P, in which case, as before, the sequence is closed. If P lies in the stretch DD', we construct the fourth harmonic of C with respect [pg 32] to DD', etc. In each step the region in which P lies is diminished, and the process may be continued until two self-corresponding points are obtained on either side of P, and at distances from it arbitrarily small.

We now assume, explicitly, the fundamental postulate that the correspondence is continuous, that is, that the distance between two points in one point-row may be made arbitrarily small by sufficiently diminishing the distance between the corresponding points in the other. Suppose now that P is not a self-corresponding point, but corresponds to a point P' at a fixed distance d from P. As noted above, we can find self-corresponding points arbitrarily close to P, and it appears, then, that we can take a point D as close to P as we wish, and yet the distance between the corresponding points D' and P' approaches d as a limit, and not zero, which contradicts the postulate of continuity.

50. It follows also that two projective pencils which have the same center may have no more than two self-corresponding rays, unless the pencils are identical. For if we cut across them by a line, we obtain two projective point-rows superposed on the same straight line, which may have no more than two self-corresponding points. The same considerations apply to two projective axial pencils which have the same axis.

51. Projective point-rows having a self-corresponding point in common. Consider now two projective point-rows lying on different lines in the same plane. Their common point may or may not be a self-corresponding point. If the two point-rows are perspectively related, then their common point is evidently a self-corresponding [pg 33] point. The converse is also true, and we have the very important theorem:

52. If in two protective point-rows, the point of intersection corresponds to itself, then the point-rows are in perspective position.

Fig. 11

Let the two point-rows be u and u' (Fig. 11). Let A and A', B and B', be corresponding points, and let also the point M of intersection of u and u' correspond to itself. Let AA' and BB' meet in the point S. Take S as the center of two pencils, one perspective to u and the other perspective to u'. In these two pencils SA coincides with its corresponding ray SA', SB with its corresponding ray SB', and SM with its corresponding ray SM'. The two pencils are thus identical, by the preceding theorem, and any ray SD must coincide with its corresponding ray SD'. Corresponding points of u and u', therefore, all lie on lines through the point S.

53. An entirely similar discussion shows that

If in two projective pencils the line joining their centers is a self-corresponding ray, then the two pencils are perspectively related.

54. A similar theorem may be stated for two axial pencils of which the axes intersect. Very frequent use will be made of these fundamental theorems.

55. Point-row of the second order. The question naturally arises, What is the locus of points of intersection of corresponding rays of two projective pencils [pg 34] which are not in perspective position? This locus, which will be discussed in detail in subsequent chapters, is easily seen to have at most two points in common with any line in the plane, and on account of this fundamental property will be called a point-row of the second order. For any line u in the plane of the two pencils will be cut by them in two projective point-rows which have at most two self-corresponding points. Such a self-corresponding point is clearly a point of intersection of corresponding rays of the two pencils.

56. This locus degenerates in the case of two perspective pencils to a pair of straight lines, one of which is the axis of perspectivity and the other the common ray, any point of which may be considered as the point of intersection of corresponding rays of the two pencils.

57. Pencils of rays of the second order. Similar investigations may be made concerning the system of lines joining corresponding points of two projective point-rows. If we project the point-rows to any point in the plane, we obtain two projective pencils having the same center. At most two pairs of self-corresponding rays may present themselves. Such a ray is clearly a line joining two corresponding points in the two point-rows. The result may be stated as follows: The system of rays joining corresponding points in two protective point-rows has at most two rays in common with any pencil in the plane. For that reason the system of rays is called a pencil of rays of the second order.

58. In the case of two perspective point-rows this system of rays degenerates into two pencils of rays of the first order, one of which has its center at the center [pg 35] of perspectivity of the two point-rows, and the other at the intersection of the two point-rows, any ray through which may be considered as joining two corresponding points of the two point-rows.

59. Cone of the second order. The corresponding theorems in space may easily be obtained by joining the points and lines considered in the plane theorems to a point S in space. Two projective pencils give rise to two projective axial pencils with axes intersecting. Corresponding planes meet in lines which all pass through S and through the points on a point-row of the second order generated by the two pencils of rays. They are thus generating lines of a cone of the second order, or quadric cone, so called because every plane in space not passing through S cuts it in a point-row of the second order, and every line also cuts it in at most two points. If, again, we project two point-rows to a point S in space, we obtain two pencils of rays with a common center but lying in different planes. Corresponding lines of these pencils determine planes which are the projections to S of the lines which join the corresponding points of the two point-rows. At most two such planes may pass through any ray through S. It is called a pencil of planes of the second order.