Abstract
We take as primary model of the hyperbolic plane an abstract surface S in the sense of Section 5.3, whose geometry is determined by the methods of differential geometry in such a way that all the axioms of the hyperbolic plane are satisfied. We consider several different coordinate systems, each of which covers the entire surface S, some of which are more useful than others for certain purposes. Each coordinate system leads to one of the classical models of the hyperbolic plane based on Euclidean geometry. Differential geometry is based on analysis, which is based on the real number system ℝ. It follows that the hyperbolic axioms are consistent, if the axioms of ℝ are consistent. It is proved that the axiom system is categorical, in the that any model of the hyperbolic plane is isomorphic to any other model. Lastly, as an amusement, we describe a hyperbolic model of the Euclidean plane.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ramsay, A., Richtmyer, R.D. (1995). Consistency and Categoricalness of the Hyperbolic Axioms; The Classical Models. In: Introduction to Hyperbolic Geometry. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-5585-5_8
Download citation
DOI: https://doi.org/10.1007/978-1-4757-5585-5_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-94339-8
Online ISBN: 978-1-4757-5585-5
eBook Packages: Springer Book Archive