[CHAPTER III]
Essentials of the Non-Euclidean Geometry
The Non-Euclidean Geometry Concerned with Conceptual Space Entirely—Outcome of Failures at Solving the Parallel-Postulate—The Basis of the Non-Euclidean Geometry—Space Curvature and Manifoldness—Some Elements of the Non-Euclidean Geometry—Certainty, Necessity and Universality as Bulwarks of Geometry—Some Consequences of Efforts at Solving the Parallel-Postulate—The Final Issue of the Non-Euclidean Geometry—Extended Consciousness.
The term "non-Euclidean" is used to designate any system of geometry which is not strictly Euclidean in content.
It is interesting to note how the term came to be used. It appears to have been employed first by Gauss. He did not strike upon it suddenly, however, as in the correspondence between him and Wachter in 1816 he used the designation "anti-Euclidean" and then, later, following Schweikart, he adopted the latter's terminology and called it "Astral Geometry." This he found in Schweikart's first published treatise known by that name and which made its appearance at Marburg in December, 1818. Finally, in his correspondence with Taurinus in 1824, Gauss first used the expression "non-Euclidean" to designate the system which he had elaborated and continued to use it in his correspondence with Schumacher in 1831.
"Non-Legendrean," "semi-Euclidean" and "non-Archimedean" are titles used by M. Dehn to denote all kinds of geometries which represented variations from the hypotheses laid down by Legendre, Euclid and Archimedes.
The semi-Euclidean is a system of geometry in which the sum of the angles of a triangle is said to be equal to two right angles, but in which one may draw an infinity of parallels to a straight line through a given point. The non-Euclidean geometry embraces all the results obtained as a consequence of efforts made at finding a satisfactory proof of the parallel-postulate and is, therefore, based upon a conception of space which is at variance with that held by Euclid. According to the Ionian school space is an infinite continuum possessing uniformity throughout its entire extent. The non-Euclideans maintain that space is not an infinite extension; but a finite though unbounded manifold capable of being generated by the movement of a point, line or plane in a direction without itself. It is also held that space is curved and exists in the shape of a sphere or pseudosphere and is consequently elliptical.
The inapplicability of Euclid's parallel-postulate to lines drawn upon the surface of a sphere suggested the possibility of a space in which the postulate could apply to all possible surfaces or that space itself may be spherical in which case the postulate would be invalidated altogether. Hence, it is quite natural that mathematicians finding themselves unable to prove the postulate with due mathetic precision should turn their attention to the conceptually possible. In this virtual abandonment of the perceptual for the conceptual lies the fundamental difference between the Euclidean and the non-Euclidean geometries. It may be said to the credit of the Euclideans that they have sought to make their geometric conceptions conform as closely as possible to the actual nature of things in the sensuous world while at the same time they must have perceived that at best their spatial notions were only approximations to the sensuous actuality of objects in space.
On the other hand, non-Euclideans make no pretense at discovering any congruency between their notions and things as they actually are. The attitude of the metageometricians in this respect is very aptly described by Cassius Jackson Keyser who says:
"He constructs in thought a summitless hierarchy of hyperspaces, an endless series of orderly worlds, worlds that are possible and logically actual, and he is content not to know if any of them be otherwise actual or actualized."[6]