IS A LINE REALLY COMPOSED
THE WHOLE PROBLEM of a continuum of numbers began with the assumption, the concept, that a linethe x-axisis composed of points, and that to every point there must correspond a number. But does calculus really require that? Let us begin by remembering that points and lines are mental objects. A line is the idea of length only. A point is the idea of position only. Points and lines exist as ideas. Is that sufficient?
Euclid postulated that a straight line will exist logicallywhen it has been drawn. We will have brought a representation of that idea into this world. As for a "point," that is the name we give to the extremity of a line. Upon drawing a straight line, its extremities---those points---will logically exist. An instance of that idea will have been brought into this world.
As for the x-axis, we indicate points one at a time. We let a point have coördinate 0. We let the extremity of a distance from 0 have coördinate 1. We say, "Let x take values in the open interval between −4 and 5." Having indicated each point, that is all we need to mean when we say that that point logically exists.
(We may say there are an "infinite" number of points on a line, which is a brief way of saying that there is no limit to the number of points we could indicate.)
Points—like pitches on a violin stringexist potentially. The pitch of a string does not exist until it is sounded: a violin string is not composed of pitches. And the x-axis is not composed of positions.
One could of course completely redefine the meaning of the word composed and the word point.
"When I use a word," Humpty Dumpty said, in rather a scornful tone, "it means just what I choose it to
meanneither more nor less."
"The question is," said Alice, "whether you can make words mean so many different things."
"The question is," said Humpty Dumpty, "which is to be masterthat's all."
Alice in Wonderland
Say, however, that a line were composed of points. Now the most common and important application of calculus is to motion, where the independent variable is time t. Then if the abstract x-axis is composed of points, its application to time must also be composed of points. That is, timethe t-axiswill be composed of points, or, we would say, instants. Is that a valid presumption?
First, like any continuous quantity, time is not inherently composed of intervals; yet we can conveniently decompose time into any intervals,
any units of measurehours, minutes, secondswe please, however small.
Time will then be composed of intervals, which will then have common boundaries, to which we give the name "instants."
But time cannot be composed of instants, because they are not intervalsthey are not a division of time. (To accept that an infinite number of points of zero time will add up to a positive time, not only calls for credulity more typical of the demands of religion; it approves division by 0.)
If time did consist solely of instants, then at any one instant a body is at rest. It cannot move to another instant, because no time elapses. In other words, there could be no motion. That is the arrow paradox of Zeno. But because time continues and has no inherent componentsit is not composed of instantsthat paradox is not valid.
Since the t-axis then is not composed of points, then neither can the x-axisthe so-called real lineof which time is but an application.
Thus a continuum of numbers not only does not exist, it is not necessary. If a function is continuous, then it will be continuous at every value of x we name.
Appendix 1: Are the real numbers really numbers?
Table of Contents | Home
Copyright © 2017 Lawrence Spector