In this continuum, primitively amorphous, we may imagine a network of lines and surfaces, we may then convene to regard the meshes of this net as equal to one another, and it is only after this convention that this continuum, become measurable, becomes Euclidean or non-Euclidean space. From this amorphous continuum can therefore arise indifferently one or the other of the two spaces, just as on a blank sheet of paper may be traced indifferently a straight or a circle.
In space we know rectilinear triangles the sum of whose angles is equal to two right angles; but equally we know curvilinear triangles the sum of whose angles is less than two right angles. The existence of the one sort is not more doubtful than that of the other. To give the name of straights to the sides of the first is to adopt Euclidean geometry; to give the name of straights to the sides of the latter is to adopt the non-Euclidean geometry. So that to ask what geometry it is proper to adopt is to ask, to what line is it proper to give the name straight?
It is evident that experiment can not settle such a question; one would not ask, for instance, experiment to decide whether I should call AB or CD a straight. On the other hand, neither can I say that I have not the right to give the name of straights to the sides of non-Euclidean triangles because they are not in conformity with the eternal idea of straight which I have by intuition. I grant, indeed, that I have the intuitive idea of the side of the Euclidean triangle, but I have equally the intuitive idea of the side of the non-Euclidean triangle. Why should I have the right to apply the name of straight to the first of these ideas and not to the second? Wherein does this syllable form an integrant part of this intuitive idea? Evidently when we say that the Euclidean straight is a true straight and that the non-Euclidean straight is not a true straight, we simply mean that the first intuitive idea corresponds to a more noteworthy object than the second. But how do we decide that this object is more noteworthy? This question I have investigated in 'Science and Hypothesis.'
It is here that we saw experience come in. If the Euclidean straight is more noteworthy than the non-Euclidean straight, it is so chiefly because it differs little from certain noteworthy natural objects from which the non-Euclidean straight differs greatly. But, it will be said, the definition of the non-Euclidean straight is artificial; if we for a moment adopt it, we shall see that two circles of different radius both receive the name of non-Euclidean straights, while of two circles of the same radius one can satisfy the definition without the other being able to satisfy it, and then if we transport one of these so-called straights without deforming it, it will cease to be a straight. But by what right do we consider as equal these two figures which the Euclidean geometers call two circles with the same radius? It is because by transporting one of them without deforming it we can make it coincide with the other. And why do we say this transportation is effected without deformation? It is impossible to give a good reason for it. Among all the motions conceivable, there are some of which the Euclidean geometers say that they are not accompanied by deformation; but there are others of which the non-Euclidean geometers would say that they are not accompanied by deformation. In the first, called Euclidean motions, the Euclidean straights remain Euclidean straights and the non-Euclidean straights do not remain non-Euclidean straights; in the motions of the second sort, or non-Euclidean motions, the non-Euclidean straights remain non-Euclidean straights and the Euclidean straights do not remain Euclidean straights. It has, therefore, not been demonstrated that it was unreasonable to call straights the sides of non-Euclidean triangles; it has only been shown that that would be unreasonable if one continued to call the Euclidean motions motions without deformation; but it has at the same time been shown that it would be just as unreasonable to call straights the sides of Euclidean triangles if the non-Euclidean motions were called motions without deformation.
Now when we say that the Euclidean motions are the true motions without deformation, what do we mean? We simply mean that they are more noteworthy than the others. And why are they more noteworthy? It is because certain noteworthy natural bodies, the solid bodies, undergo motions almost similar.
And then when we ask: Can one imagine non-Euclidean space? That means: Can we imagine a world where there would be noteworthy natural objects affecting almost the form of non-Euclidean straights, and noteworthy natural bodies frequently undergoing motions almost similar to the non-Euclidean motions? I have shown in 'Science and Hypothesis' that to this question we must answer yes.
It has often been observed that if all the bodies in the universe were dilated simultaneously and in the same proportion, we should have no means of perceiving it, since all our measuring instruments would grow at the same time as the objects themselves which they serve to measure. The world, after this dilatation, would continue on its course without anything apprising us of so considerable an event. In other words, two worlds similar to one another (understanding the word similitude in the sense of Euclid, Book VI.) would be absolutely indistinguishable. But more; worlds will be indistinguishable not only if they are equal or similar, that is, if we can pass from one to the other by changing the axes of coordinates, or by changing the scale to which lengths are referred; but they will still be indistinguishable if we can pass from one to the other by any 'point-transformation' whatever. I will explain my meaning. I suppose that to each point of one corresponds one point of the other and only one, and inversely; and besides that the coordinates of a point are continuous functions, otherwise altogether arbitrary, of the corresponding point. I suppose besides that to each object of the first world corresponds in the second an object of the same nature placed precisely at the corresponding point. I suppose finally that this correspondence fulfilled at the initial instant is maintained indefinitely. We should have no means of distinguishing these two worlds one from the other. The relativity of space is not ordinarily understood in so broad a sense; it is thus, however, that it would be proper to understand it.
If one of these universes is our Euclidean world, what its inhabitants will call straight will be our Euclidean straight; but what the inhabitants of the second world will call straight will be a curve which will have the same properties in relation to the world they inhabit and in relation to the motions that they will call motions without deformation. Their geometry will, therefore, be Euclidean geometry, but their straight will not be our Euclidean straight. It will be its transform by the point-transformation which carries over from our world to theirs. The straights of these men will not be our straights, but they will have among themselves the same relations as our straights to one another. It is in this sense I say their geometry will be ours. If then we wish after all to proclaim that they deceive themselves, that their straight is not the true straight, if we still are unwilling to admit that such an affirmation has no meaning, at least we must confess that these people have no means whatever of recognizing their error.
2. Qualitative Geometry
All that is relatively easy to understand, and I have already so often repeated it that I think it needless to expatiate further on the matter. Euclidean space is not a form imposed upon our sensibility, since we can imagine non-Euclidean space; but the two spaces, Euclidean and non-Euclidean, have a common basis, that amorphous continuum of which I spoke in the beginning. From this continuum we can get either Euclidean space or Lobachevskian space, just as we can, by tracing upon it a proper graduation, transform an ungraduated thermometer into a Fahrenheit or a Réaumur thermometer.