INDEFINITELY INCREASING; INDEFINITELY DECREASING

Before continuing the examination of questions properly relating to the continuous, we must return to what was said above about the non-existence of a fractio omnium infima, which will allow us to see how the correlation or symmetry that exists in certain respects between indefinitely increasing and indefinitely decreasing quantities can be represented numerically. We have seen that in the domain of discontinuous quantity, as long as it is only the sequence of whole numbers that needs to be considered, these numbers must be regarded as increasing indefinitely starting from the unit, but that there can obviously be no question of an indefinite decrease since the unit is essentially indivisible; were the numbers to be taken in the decreasing direction, one would necessarily find oneself stopped at the unit itself, so that the representation of the indefinite by whole numbers is limited to a single direction, that of indefinite increase. On the other hand, when it is a question of continuous quantity, one can envisage indefinitely decreasing quantities as well as indefinitely increasing ones; and the same occurs in discontinuous quantity itself as soon as, in order to express this possibility, the consideration of fractional numbers is introduced. Indeed, one can envisage a sequence of fractions continuing to decrease indefinitely; that is, however small a fraction might be, a smaller one could always be formed, and this decrease can no more arrive at a fractio minima [smallest fraction] than can the increase of whole numbers at a numerus maximus [greatest number]. If we wish to use a numerical representation in order to make evident the correlation between the indefinitely increasing and the indefinitely decreasing, it suffices to consider the sequence of whole numbers together with that of their inverses; a number is said to be the inverse of another when the product of the two is equal to the unit, and for this reason the inverse of the number n is represented by the notation 1 / n. Whereas the sequence of whole numbers goes on increasing indefinitely starting from the unit, the sequence of their inverses decreases indefinitely, starting from the same unit, which is its own inverse, and which is therefore the common point of departure for the two sequences; to each number in one sequence there thus corresponds a number in the other, and inversely, such that the two sequences are equally indefinite, and in exactly the same way, though in contrary directions. The inverse of a number is obviously as small as the number itself is great, since their product always remains constant; however great a number n might be, the number n+1 will be greater still by virtue of the very law of formation for the indefinite sequence of whole numbers, and similarly, as small as a number 1 / n might be, the number 1/(n+1) will be smaller still; and this clearly proves the impossibility of any 'smallest of numbers', which notion is no less contradictory than is that of a 'greatest of numbers', for, if it is impossible to stop at a determined number in the increasing direction, it will be no more possible to stop in the decreasing direction. Moreover, since this correlation which is found in numerical discontinuity occurs first of all as a consequence of the application of this discontinuity to the continuous, as we said concerning fractional numbers, the introduction of which it naturally supposes, it can only express the correlation that exists within the continuous itself between the indefinitely increasing and the indefinitely decreasing in its own way, which is necessarily conditioned by the nature of number. Therefore, whenever continuous quantities are considered capable of becoming as great or as small as one likes, that is, greater or smaller than any determined quantity, one can always observe a symmetry and, in a manner of speaking, a parallelism presented by these two inverse kinds of variability. This remark will subsequently help us to understand better the possibility of different orders of infinitesimal quantities. It would be good to point out that although the symbol 1 / n evokes the idea of fractional numbers, and although it is in fact incontestably derived from them, the inverses of the whole numbers need not be defined here as such, and this in order to avoid the difficulty presented by the ordinary notion of fractional numbers from the strictly arithmetical point of view, that is, the conception of fractions as 'parts of the unit'. Indeed, it suffices to consider the two sequences to be constituted by numbers respectively greater and smaller than the unit, that is, as two orders of magnitude that have their common limit in the latter, and that at the same time both can be regarded as issuing from this unit, which is truly the primary source of all numbers; what is more, if one wished to consider the two indefinite sets as forming a single sequence, one could say that the unit occupies the exact mid-point within this sequence, since, as we have seen, there are exactly as many numbers in the one set as in the other. Moreover, if, to generalize further, instead of considering only the sequence of whole numbers and their inverses, one wished to introduce fractional numbers properly speaking, nothing would be changed as far as the symmetry of increasing and decreasing quantities is concerned: on one side one would have all the numbers greater than the unit, and on the other all those smaller than the unit; here, again, for any number a / b>1, there will be a corresponding number b / a<1 in the other group, and reciprocally, such that (a / b)(b / a)=1, just as earlier we had (n)(1 / n)=1, and there will thus be exactly the same number of terms in each of these two indefinite groups separated by the unit; it must moreover be understood that when we say 'the same number of terms', we simply mean that the two multitudes correspond term by term, and not that they can themselves on that account be considered 'numerable'. Any two inverse numbers multiplied together always produce again the unit from which they proceeded; one can say further that the unit, occupying the mid-point between the two groups, and being the only number that can be regarded as belonging to both at once [1] - although in reality it would be more correct to say that it unites rather than separates them-corresponds to the state of perfect equilibrium, and contains in itself all numbers which issue from it in pairs of inverse or complementary numbers, each pair by virtue of this complementarity constituting a relative unity in its indivisible duality; [2] but we shall return a little later to this last consideration and to the consequences it implies. Instead of saying that the series of whole numbers is indefinitely increasing and that of their inverses indefinitely decreasing, one could also say, in the same sense, that the numbers thus tend on the one hand toward the indefinitely great and on the other toward the indefinitely small, on condition that we understand by this the actual limits of the domain in which these numbers are considered, for a variable quantity can only tend toward a limit. The domain in question is, in short, that of numerical quantity, taken in every possible extension; [3] this again amounts to saying that its limits are not determined by such and such a particular number, however great or small it might be supposed, but by the very nature of number as such. By the very fact that number, like everything else of a determined nature, excludes all that it is not, there can be no question of the infinite; moreover, we have just said that the indefinitely great must inevitably be conceived of as a limit, although it is in no way a terminus ultimus [ultimate limit] of the series of numbers, and in this connection one can point out that the expression 'tend toward infinity', frequently employed by mathematicians in the sense of 'increase indefinitely', is again an absurdity, since the infinite obviously implies the absence of any limit, and that consequently there is nothing toward which it is possible to tend. What is also rather remarkable is that certain mathematicians, while recognizing the inaccuracy and improper character of the expression 'tend toward