If we try to imagine a line, it must have the characteristics of the
physical continuum, that is to say, we shall not be able to represent it
except with a certain breadth. Two lines then will appear to us under
the form of two narrow bands, and, if we are content with this rough
image, it is evident that if the two lines cross they will have a common
part.
But the pure geometer makes a further effort; without entirely
renouncing the aid of the senses, he tries to reach the concept of the
line without breadth, of the point without extension. This he can only
attain to by regarding the line as the limit toward which tends an ever
narrowing band, and the point as the limit toward which tends an ever
lessening area. And then, our two bands, however narrow they may be,
will always have a common area, the smaller as they are the narrower,
and whose limit will be what the pure geometer calls a point.
This is why it is said two lines which cross have a point in common, and
this truth seems intuitive.
But it would imply contradiction if lines were conceived as continua of
the first order, that is to say, if on the lines traced by the geometer
should be found only points having for coordinates rational numbers. The
contradiction would be manifest as soon as one affirmed, for example,
the existence of straights and circles.
It is clear, in fact, that if the points whose coordinates are
commensurable were alone regarded as real, the circle inscribed in a
square and the diagonal of this square would not intersect, since the
coordinates of the point of intersection are incommensurable.
That would not yet be sufficient, because we should get in this way only
certain incommensurable numbers and not all those numbers.
But conceive of a straight line divided into two rays. Each of these
rays will appear to our imagination as a band of a certain breadth;
these bands moreover will encroach one on the other, since there must be
no interval between them. The common part will appear to us as a point
which will always remain when we try to imagine our bands narrower and
narrower, so that we admit as an intuitive truth that if a straight is
cut into two rays their common frontier is a point; we recognize here
the conception of Dedekind, in which an incommensurable number was
regarded as the common frontier of two classes of rational numbers.
Such is the origin of the continuum of the second order, which is the
mathematical continuum properly so called.
_Résumé._--In recapitulation, the mind has the faculty of creating
symbols, and it is thus that it has constructed the mathematical
continuum, which is only a particular system of symbols. Its power is
limited only by the necessity of avoiding all contradiction; but the
mind only makes use of this faculty if experience furnishes it a
stimulus thereto.
Public-domain text, read in full here on John Shaqi.
Reviews
Reviews
No reviews yet
Be the first to share your thoughts on this work.
Join the Discussion
Join the discussion
Sign in to leave a comment or review.
Sign InorCreate an account