Non-Euclidean geometry refers to certain types of geometry which differ from plane and solid geometry which dominated the realm of mathematics for several centuries. There are other types of geometry which do not assume all of Euclid's postulates such as hyperbolic geometry, elliptic geometry, spherical geometry, descriptive geometry, differential geometry, geometric algebra , and multidimensional geometry. These geometries deal with more complex components of curves in space rather than the simple plane or solids used as the foundation for Euclid's geometry. The first five postulates of Euclidean geometry will be listed in order to better understand the changes that are made to make it non-Euclidean.
- A straight line can be drawn from any point to any point.
- A finite straight line can be produced continuously in a straight line.
- A circle may be described with any point as center and any distance as a radius.
- All right angles are equal to one another.
- If a transversal falls on two lines in such a way that the interior angles on one side of the transversal are less than two right angles, then the lines meet on the side on which the angles are less than two right angles.
A consistent logical system for which one of these postulates is modified in an essential way is non-Euclidean geometry. Although there are different types of Non-Euclidean geometry which do not use all of the postulates or make alterations of one or more of the postulates of Euclidean geometry, hyperbolic and elliptic are usually most closely associated with the term non-Euclidean geometry.
Hyperbolic geometry is based on changing Euclid's parallel postulate , which is also referred to as Euclid's fifth postulate, the last of the five postulates of Euclidian Geometry. Euclid's parallel postulate may also be stated as one and only one parallel to a given line goes through a given point not on the line.
Elliptic geometry uses a modification of Postulate II. Postulate II allows for lines of infinite length, which are denied in Elliptic geometry, where only finite lines are assumed.
The history of non-Euclidean geometry
Euclid was thought to have instructed in Alexandria after Alexander the Great established centers of learning in the city around 300 b.c. Euclid was the mathematician who collected all of the definitions, postulates, and theorems that were available at that time, along with some of his insights and developments, and placed them in a logical order and completed what we now know as Euclid's Elements.
The influence of Greek geometry on the mathematics communities of the world was profound for in Greek geometry was contained the ideals of deductive thinking with its definitions, corollaries, and theorems which could establish beyond any reasonable doubt the truth or falseness of propositions. For an estimated 22 centuries, Euclidean geometry held its weight.
Despite the general acceptance of Euclidean geometry, there appeared to be a problem with the parallel postulate as to whether or not it really was a postulate or that it could be deduced from other definitions, propositions, or axioms. The history of these attempts to prove the parallel postulate lasted for nearly 20 centuries, and after numerous failures, gave rise to the establishment of Non-Euclidean geometry and the independence of the parallel postulate.
Several Greek scientists and mathematicians considered the parallel postulate after the appearance of Euclid's Elements, around 300 b.c. Aristotle's treatment of the parallel postulate was lost. However, it was the Arab scholars who appeared to have obtained some information on the last text and reported that Aristotle's treatment was different from that of Euclid since his definition depended on the distance between parallel lines. Proclus and Ptolemy also published some attempts to prove the parallel postulate.
Omar Khayyam provided extensive coverage on the proof of the parallel postulate or theory of parallels in his discussions on the difficulties of making valid proofs from Euclid's definitions and theorems. During the thirteenth century Husam al-Din al-Salar wrote a text on the parallel postulate in an attempt to improve on the development by Omar Khayyam.
The eighteenth century produced more sophisticated proofs and although not correct, produced developments that were later used in non-Euclidean geometry. The Italian mathematician, Girolamo Saccheri, in one of his proofs considered non-Euclidian concepts by making use of the acute-angle hypothesis on the intersection of two straight lines.
The attempt to solve this problem was made also by Farkas Bolyai, the father of Johann Bolyai, one of the founders of non-Euclidean geometry but his proof was also invalid. It is interesting to note that Johann's father cautioned his son not to get involved with the proof of the parallel postulate because of its complexity.
The founders of non-Euclidean geometry
The writings of Gauss showed that he too, first considered the usual attempts at trying to prove the parallel postulate. However, a few decades later, in his unpublished reports in his correspondence with fellow mathematicians such as W. Bolyai, Olbers, Schumacker, Gerling, Tartinus, and Bessel showed that Gauss was working on the rudiments of non-Euclidian geometry, the name he attributed to his mathematics of parallels. Gauss shared his thoughts on this topic and asked them not to disclose this information but Gauss never published them. It has been proposed by historians that Gauss was concerned that these concepts were too radical for acceptance by mathematicians at that time. And if this was the case, it probably was correct since the two founders of non-Euclidean geometry, Bolyai and Lobechevsky, received very little acceptance until after their deaths.
It was at the University of Kazan, in the Russian province of Kazakhstan, that Nicolai Ivanovitch Lobachevsky made his contributions in Non-Euclidean geometry. In his early days at the university, he did try to find a proof of the parallel postulate, but later changed direction. As early as 1826, he made use of the hypothesis of the acute angle already developed by Saccheri and Lambert in his lecture noting that two parallels to a given point can be drawn from a point where the sum of the angles of the triangle is less than two right angles. His works On the Imaginary Geometry, New Principles of Geometry, With a Complete Theory of Parallels, Applications of the Imaginary Geometry to Certain Integrals, and Geometrical Researches are on the theory of parallel lines. He later completed his work in one French and two German publications. Lobachevsky developed his Pan-Geometry on the 28 propositions of Euclidean geometry and the negation of the parallel postulate. He developed the concepts for non-Euclidean geometry by introducing two new figures—the horocycle and the horoscope. Using these two concepts and some transformation formulas, he developed his new geometry.
Although Lobachevsky continued throughout his career improving the development of non-Euclidean geometry, Johann Bolyai, the other mathematician given credit for its development apparently only spent slightly over a decade in his mathematical considerations. As indicated previously, Johann's father suggested that he not waste his time working on the complex problems of the parallel postulate. However, Johann and his friend Carl Szasz worked on the theory of parallels while students at the Royal College for Engineers at Vienna from 1817-1822. In 1823 Bolyai discovered the formula for the transformation which connected the angle of parallelism to the corresponding line. He continued with his development and sent his manuscript to his father who published it in 1832. The article was entitled "The Science of Absolute Space" in the Appendix of his father's book. Prior to its publication, Johann's father had sent the paper to Gauss for his consideration. It is reported that the paper originally sent in 1831 to Gauss was lost. Three months after the publication, the article was sent again to Gauss and in 1832 his father received his reply. Gauss indicated that he was impressed by the work but noted that he had been working on the same problem with similar results and was pleasantly surprised to have the development completed by his friend's son. Johann was deeply suspicious of this reply and apparently suspected Gauss of trying to take credit for his work. However, in this instance there was no problem, since Gauss had no publications on the topic and could not claim priority but Johann continued to be suspicious. After the publication of his work, Johann did very little significant mathematical research. And even though he was interested in having his work published before Lobachevsky when he heard of Lobachevsky's contributions, he never completed the necessary research to report to the mathematical journals.
The most important conclusions of Bolyai's research in non-Euclidean geometry were the following: (1) The definition of parallels and their properties independent of the Euclidian postulate. (2) The circle and the sphere of infinite radius. The geometry of the sphere of infinite radius is identical with ordinary plane geometry. (3) Spherical trigonometry is independent of Euclid's postulate. Direct demonstration of the formula. (4) Plane trigonometry in non-Euclidean geometry. Applications to the calculation of areas and volumes. (5) Problems which can be solved by elementary methods. Squaring the circle, on the hypothesis that the fifth postulate is false.
Elliptic non-Euclidean geometry
A later development following that of Bolyai's and Lobachevsky's hyperbolic non-Euclidean geometry was that of elliptic non-Euclidian geometry. The rudiments of elliptic non-Euclidean geometry were developed by Georg Friedrich Bernhard Riemann. His introduction to his foundations of spherical geometry apparently was used as the basis for his elliptic geometry which made use of the postulate that the sum of the angles of a triangle in space are greater than 180°. Based on the foundations that Riemann had introduced, Klein was able to further develop elliptic non-Euclidean geometry and was actually the mathematician who defined this new field as Elliptic non-Euclidian geometry. Klein's Erlanger Program made a significant contribution in providing major distinguishing features among parabolic (Euclidean geometry), hyperbolic, and elliptic geometries.
Bonola, R. Non-Euclidean Geometry. New York: Dover Publications, 1911.
Greenberg, M.J. Euclidean and Non-Euclidean Geometries. San Francisco: W. H. Freeman and Co., 1974.
Krause, E.F. Taxicab Geometry. New York: Dover Publications, 1986.
Rosenfeld, B.A. A History of Non-Euclidean Geometry. New York: Springer-Verlag, 1988.
Stillwell, J. Mathematics and Its History. New York: Springer-Verlag, 1989.
Trudeau, R.J. The Non-Euclidean Revolution. Boston: Birkhauser, 1987.
non-Euclidean geometry, branch of geometry in which the fifth postulate of Euclidean geometry, which allows one and only one line parallel to a given line through a given external point, is replaced by one of two alternative postulates. Allowing two parallels through any external point, the first alternative to Euclid's fifth postulate, leads to the hyperbolic geometry developed by the Russian N. I. Lobachevsky in 1826 and independently by the Hungarian Janos Bolyai in 1832. The second alternative, which allows no parallels through any external point, leads to the elliptic geometry developed by the German Bernhard Riemann in 1854. The results of these two types of non-Euclidean geometry are identical with those of Euclidean geometry in every respect except those propositions involving parallel lines, either explicitly or implicitly (as in the theorem for the sum of the angles of a triangle).
In hyperbolic geometry the two rays extending out in either direction from a point P and not meeting a line L are considered distinct parallels to L; among the results of this geometry is the theorem that the sum of the angles of a triangle is less than 180°. One surprising result is that there is a finite upper limit on the area of a triangle, this maximum corresponding to a triangle all of whose sides are parallel and all of whose angles are zero. Lobachevsky's geometry is called hyperbolic because a line in the hyperbolic plane has two points at infinity, just as a hyperbola has two asymptotes. The analogy used in considering this geometry involves the lines and figures drawn on a saddleshaped surface.
In elliptic geometry there are no parallels to a given line L through an external point P, and the sum of the angles of a triangle is greater than 180°. Riemann's geometry is called elliptic because a line in the plane described by this geometry has no point at infinity, where parallels may intersect it, just as an ellipse has no asymptotes. An idea of the geometry on such a plane is obtained by considering the geometry on the surface of a sphere, which is a special case of an ellipsoid. The shortest distance between two points on a sphere is not a straight line but an arc of a great circle (a circle dividing the sphere exactly in half). Since any two great circles always meet (in not one but two points, on opposite sides of the sphere), no parallel lines are possible. The angles of a triangle formed by arcs of three great circles always add up to more than 180°, as can be seen by considering such a triangle on the earth's surface bounded by a portion of the equator and two meridians of longitude connecting its end points to one of the poles (the two angles at the equator are each 90°, so the amount by which the sum of the angles exceeds 180° is determined by the angle at which the meridians meet at the pole).
Non-Euclidean Geometry and Curved Space
What distinguishes the plane of Euclidean geometry from the surface of a sphere or a saddle surface is the curvature of each (see differential geometry); the plane has zero curvature, the surface of a sphere and other surfaces described by Riemann's geometry have positive curvature, and the saddle surface and other surfaces described by Lobachevsky's geometry have negative curvature. Similarly, in three dimensions the spaces corresponding to these three types of geometry also have zero, positive, or negative curvature, respectively.
As to which of these systems is a valid description of our own three-dimensional space (or four-dimensional space-time), the choice can be made only on the basis of measurements made over very large, cosmological distances of a billion light-years or more; the differences between a Euclidean universe of zero curvature and a non-Euclidean universe of very small positive or negative curvature are too small to be detected from ordinary measurements. One interesting feature of a universe described by Riemann's geometry is that it is finite but unbounded; straight lines ultimately form closed curves, so that a ray of light could eventually return to its source.
See cosmology; relativity.
See M. J. Greenberg, Euclidean and Non-Euclidean Geometry (1980); B. A. Rosenfeld, Non-Euclidean Geometry (1988).