Projective-type axioms for the hyperbolic plane (Q1205444)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective-type axioms for the hyperbolic plane |
scientific article |
Statements
Projective-type axioms for the hyperbolic plane (English)
0 references
1 April 1993
0 references
Karl Menger showed in 1938 that hyperbolic geometry can be developed in terms of the primitive notions of ``point'', ``line'' and ``incidence'' along with postulates that refer only to collinearity, concurrency and the existence of points and lines. However, one of these postulates assumes a special case of the Fundamental Law of Projectivities and so brings in set-theoretical and inductive considerations not present in any of the other axioms. The author shows that the laws of Pappus and Desargues, restricted to cases when the relevant lines intersect, imply the Fundamental Law of Projectivities in the hyperbolic plane. The author thus shows that hyperbolic geometry can be derived solely from configuration postulates.
0 references
incidence
0 references
hyperbolic geometry
0 references
configuration
0 references