form a unique continuum.
There will then be on C two elements, A and B, that must be regarded as belonging to two distinct continua, and this will be recognized because it will be impossible to find a linear series of consecutive elements of C, each of these elements indistinguishable from the preceding, the first being A and the last B, without one of the elements of this series being indistinguishable from one of the elements of the cut.
On the contrary, it may happen that the cut made is insufficient to subdivide the continuum C. To classify the physical continua, we will examine precisely what are the cuts which must be made to subdivide them.
If a physical continuum C can be subdivided by a cut reducing to a finite number of elements all distinguishable from one another (and consequently forming neither a continuum, nor several continua), we shall say C is a one-dimensional continuum.
If, on the contrary, C can be subdivided only by cuts which are themselves continua, we shall say C has several dimensions. If cuts which are continua of one dimension suffice, we shall say C has two dimensions; if cuts of two dimensions suffice, we shall say C has three dimensions, and so on.
Thus is defined the notion of the physical continuum of several dimensions, thanks to this very simple fact that two aggregates of sensations are distinguishable or indistinguishable.
The Mathematical Continuum of Several Dimensions.—Thence the notion of the mathematical continuum of n dimensions has sprung quite naturally by a process very like that we discussed at the beginning of this chapter. A point of such a continuum, you know, appears to us as defined by a system of n distinct magnitudes called its coordinates.
These magnitudes need not always be measurable; there is, for instance, a branch of geometry independent of the measurement of these magnitudes, in which it is only a question of knowing, for example, whether on a curve ABC, the point B is between the points A and C, and not of knowing whether the arc AB is equal to the arc BC or twice as great. This is what is called Analysis Situs.
This is a whole body of doctrine which has attracted the attention of the greatest geometers and where we see flow one from another a series of remarkable theorems. What distinguishes these theorems from those of ordinary geometry is that they are purely qualitative and that they would remain true if the figures were copied by a draughtsman so awkward as to grossly distort the proportions and replace straights by strokes more or less curved.
Through the wish to introduce measure next into the continuum just defined this continuum becomes space, and geometry is born. But the discussion of this is reserved for Part Second.