"The secondary role of parallelism in geometry and the real difference " by Panagiotis Pittas

Document Type

Thesis

Date of Award

5-31-1989

Degree Name

Master of Science in Applied Mathematics - (M.S.)

Department

Mathematics

First Advisor

Denis L. Blackmore

Second Advisor

John Tavantzis

Third Advisor

Jacob Klapper

Abstract

After a brief survey of the foundations of absolute geometry, we state certain definitions (that of an angle and an ordering between them) and properties (Theorem 1, lemma 1) of the absolute plane. Then. by adding the Playfair axiom (Statement E1) to the axioms of absolute geometry, we obtain the Euclidean plane. We introduce statement E2 and then we prove that it is equivalent to E1. We then reason that E2 is superior to E1 in terms of geometric content, that it expresses a characteristic property of the Euclidean plane, and we show that the parallel axiom problem is essentially an angle containment problem and suggest that E2 should take the place of E1 in the foundations of Euclidean geometry. We then add the Lobachevskian axiom (Statement H1) to the axioms of absolute geometry and thus obtain the hyperbolic plane. We introduce statement H2 (negation of E2) equivalent to H1, and suggest that in the hyperbolic case H1 should be taken as an axiom. Then using H2 we prove the characteristic theorem of hyperbolic geometry (Theorem 3), which if compared to statement E2 defines the most striking difference between Euclidean and hyperbolic geometry.

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.