ons in
three variables; etc. The equation of a line in a plane involves two
constants, either of which may take an infinite number of values. From
this it follows that there is an infinity of lines in the plane which is
of the second order if the infinity of points on a line is assumed to be
of the first. In the same way a circle is determined by three conditions;
a sphere by four; etc. We might then expect to be able to set up a
one-to-one correspondence between circles in a plane and points, or planes
in space, or between spheres and lines in space. Such, indeed, is the
case, and it is often possible to infer theorems concerning spheres from
theorems concerning lines, and vice versa. It is possibilities such as
these that, give to the theory of one-to-one correspondence its great
importance for the mathematician. It must not be forgotten, however, that
we are considering only _continuous_ correspondences. It is perfectly
possible to set, up a one-to-one correspondence between the points of a
line and the points of a plane, or, indeed, between the points of a line
and the points of a space of any finite number of dimensions, if the
correspondence is not restricted to be continuous.
*22. Elements at infinity.* A final word is necessary in order to explain
a phrase which is in constant use in the study of projective geometry. We
have spoken of the "point at infinity" on a straight line--a fictitious
point only used to bridge over the exceptional case when we are setting up
a one-to-one correspondence between the points of a line and the lines
through a point. We speak of it as "a point" and not as "points," because
in the geometry studied by Euclid we assume only one line through a point
parallel to a given line. In the same sense we speak of all the points at
infinity in a plane as lying on a line, "the line at infinity," because
the straight line is the simplest locus we can imagine which has only one
point in common with any line in the plane. Likewise we speak of the
"plane at infinity," because that seems the most convenient way of
imagining the points at infinity in space. It must not be inferred that
these conceptions have any essential connection with physical facts, or
that other means of picturing to ourselves the infinitely distant
configurations are not possible. In other branches of mathematics, notably
in the theory of functions of a complex variable, quite different
assumptions are made and quite d
|