Note 23 — Introductory material

The mathematical result of Riemann's dissertation may be summed up as follows. Assuming it possible to apply magnitude to space, i.e. to determine its elements and figures by means of algebraical quantities, it follows that space can be brought under the conception of a manifold, as a system of quantitatively determinable elements. Owing, however, to the peculiar nature of spatial measurement, the quantitative determination of space demands that magnitudes shall be independent of place—in so far as this is not the case, our measurement will be necessarily inaccurate. If we now assume, as the quantitative relation of distance between two elements, the square root of a quadratic function of the coordinates—a formula subsequently proved by Helmholtz and Lie—then it follows, since magnitudes are to be independent of place, that space must, within the limits of observation, have a constant measure of curvature, or must, in other words, be homogeneous in all its parts. In the infinitesimal, Riemann says (p. 267), observation could not detect a departure from constancy on the part of the measure of curvature; but he makes no attempt to show how Geometry could remain possible under such circumstances, and the only Geometry he has constructed is based entirely on Free Mobility. I shall endeavour to prove, in Chapter III., that any metrical Geometry, which should endeavour to dispense with this axiom, would be logically impossible. At present I will only point out that Riemann, in spite of his desire to prove that all the axioms can be dispensed with, has nevertheless, in his mathematical work, retained three fundamental axioms, namely, Free Mobility, the finite integral number of dimensions, and the axiom that two points have a unique relation, namely distance. These, as we shall see hereafter, are retained, in actual mathematical work, by all metrical Metageometers, even when they believe, like Riemann and Helmholtz, that no axioms are philosophically indispensable.