We now come to the difficult question. What is continuity? Kant confounds it with infinite divisibility, saying that the essential character of a continuous series is that between any two members of it a third can always be found. This is an analysis beautifully clear and definite; but unfortunately, it breaks down under the first test. For according to this, the entire series of rational fractions arranged in the order of their magnitude, would be an infinite series, although the rational fractions are numerable, while the points of a line are innumerable. Nay, worse yet, if from that series of fractions any two with all that lie between them be excised, and any number of such finite gaps be made, Kant’s definition is still true of the series, though it has lost all appearance of continuity.
Cantor defines a continuous series as one which is concatenated and perfect. By a concatenated series, he means such a one that if any two points are given in it, and any finite distance, however small, it is possible to proceed from the first point to the second through a succession of points of the series each at a distance from the preceding one less than the given distance. This is true of the series of rational fractions ranged in the order of their magnitude. By a perfect series, he means one which contains every point such that there is no distance so small that this point has not an infinity of points of the series within that distance of it. This is true of the series of numbers between 0 and 1 capable of being expressed by decimals in which only the digits 0 and 1 occur.
It must be granted that Cantor’s definition includes every series that is continuous; nor can it be objected that it includes any important or indubitable case of a series not continuous. Nevertheless, it has some serious defects. In the first place, it turns upon metrical considerations; while the distinction between a continuous and a discontinuous series is manifestly non-metrical. In the next place, a perfect series is defined as one containing “every point” of a certain description. But no positive idea is conveyed of what all the points are: that is definition by negation, and cannot be admitted. If that sort of thing were allowed, it would be very easy to say, at once, that the continuous linear series of points is one which contains every point of the line between its extremities. Finally, Cantor’s definition does not convey a distinct notion of what the components of the conception of continuity are. It ingeniously wraps up its properties in two separate parcels, but does not display them to our intelligence.
Kant’s definition expresses one simple property of a continuum; but it allows of gaps in the series. To mend the definition, it is only necessary to notice how these gaps can occur. Let us suppose, then, a linear series of points extending from a point, A, to a point, B, having a gap from B to a third point, C, and thence extending to a final limit, D; and let us suppose this series conforms to Kant’s definition. Then, of the two points, B and C, one or both must be excluded from the series; for otherwise, by the definition, there would be points between them. That is, if the series contains C, though it contains all the points up to B, it cannot contain B. What is required, therefore, is to state in non-metrical terms that if a series of points up to a limit is included in a continuum the limit is included. It may be remarked that this is the property of a continuum to which Aristotle’s attention seems to have been directed when he defines a continuum as something whose parts have a common limit. The property may be exactly stated as follows: If a linear series of points is continuous between two points, A and D, and if an endless series of points be taken, the first of them between A and D and each of the others between the last preceding one and D, then there is a point of the continuous series between all that endless series of points and D, and such that every other point of which this is true lies between this point and D. For example, take any number between 0 and 1, as 0.1; then, any number between 0.1 and 1, as 0.11; then any number between 0.11 and 1, as 0.111; and so on, without end. Then, because the series of real numbers between 0 and 1 is continuous, there must be a least real number, greater than every number of that endless series. This property, which may be called the Aristotelicity of the series, together with Kant’s property, or its Kanticity, completes the definition of a continuous series.
The property of Aristotelicity may be roughly stated thus: a continuum contains the end point belonging to every endless series of points which it contains. An obvious corollary is that every continuum contains its limits. But in using this principle it is necessary to observe that a series may be continuous except in this, that it omits one or both of the limits.
Our ideas will find expression more conveniently if, instead of points upon a line, we speak of real numbers. Every real number is, in one sense, the limit of a series, for it can be indefinitely approximated to. Whether every real number is a limit of a regular series may perhaps be open to doubt. But the series referred to in the definition of Aristotelicity must be understood as including all series whether regular or not. Consequently, it is implied that between any two points an innumerable series of points can be taken.
Every number whose expression in decimals requires but a finite number of places of decimals is commensurable. Therefore, incommensurable numbers suppose an infinitieth place of decimals. The word infinitesimal is simply the Latin form of infinitieth; that is, it is an ordinal formed from infinitum, as centesimal from centum. Thus, continuity supposes infinitesimal quantities. There is nothing contradictory about the idea of such quantities. In adding and multiplying them the continuity must not be broken up, and consequently they are precisely like any other quantities, except that neither the syllogism of transposed quantity, nor the Fermatian inference applies to them.
If A is a finite quantity and i an infinitesimal, then in a certain sense we may write A + i = A. That is to say, this is so for all purposes of measurement. But this principle must not be applied except to get rid of all the terms in the highest order of infinitesimals present. As a mathematician, I prefer the method of infinitesimals to that of limits, as far easier and less infested with snares. Indeed, the latter, as stated in some books, involves propositions that are false; but this is not the case with the forms of the method used by Cauchy, Duhamel, and others. As they understand the doctrine of limits, it involves the notion of continuity, and, therefore, contains in another shape the very same ideas as the doctrine of infinitesimals.
Let us now consider an aspect of the Aristotelical principle which is particularly important in philosophy. Suppose a surface to be part red and part blue; so that every point on it is either red or blue, and, of course, no part can be both red and blue. What, then, is the color of the boundary line between the red and the blue? The answer is that red or blue, to exist at all, must be spread over a surface; and the color of the surface is the color of the surface in the immediate neighborhood of the point. I purposely use a vague form of expression. Now, as the parts of the surface in the immediate neighborhood of any ordinary point upon a curved boundary are half of them red and half blue, it follows that the boundary is half red and half blue. In like manner, we find it necessary to hold that consciousness essentially occupies time; and what is present to the mind at any ordinary instant, is what is present during a moment in which that instant occurs. Thus, the present is half past and half to come. Again, the color of the parts of a surface at any finite distance from a point, has nothing to do with its color just at that point; and, in the parallel, the feeling at any finite interval from the present has nothing to do with the present feeling, except vicariously. Take another case: the velocity of a particle at any instant of time is its mean velocity during an infinitesimal instant in which that time is contained. Just so my immediate feeling is my feeling through an infinitesimal duration containing the present instant.