absolute geometry

absolute geometry
Name	Absolute geometry
Caption	Schematic: intersection of lines and angle relations
Field	Mathematics
Subfield	Geometry
Introduced	19th century
Notable people	Euclid, Bernard Bolzano, Carl Friedrich Gauss, Nikolai Lobachevsky, János Bolyai, Felix Klein, David Hilbert, Friedrich Bachmann, Emil Artin, Oswald Veblen

absolute geometry Absolute geometry is the study of geometric propositions derived from the common and incidence axioms that do not assume the parallel postulate, treating results valid in both Euclidean geometry and hyperbolic geometry. It isolates consequences of the shared axiomatic framework used by figures such as Euclid, David Hilbert, Carl Friedrich Gauss, Nikolai Lobachevsky, and János Bolyai, enabling comparison between models like the Euclidean plane and models of non-Euclidean geometry explored by Felix Klein and Bernard Riemann. Researchers in the tradition of Friedrich Bachmann, Emil Artin, and Oswald Veblen analyze independence results and model constructions central to 19th- and 20th-century work.

Definition and scope

Absolute geometry refers to propositions provable from a base set of axioms common to Euclid and Lobachevsky without invoking the parallel postulate attributed to Euclid's Elements. Its scope includes congruence, betweenness, incidence, and order properties studied by David Hilbert in his axiomatization, and later refinements by Friedrich Bachmann and Oswald Veblen. The subject intersects with developments by Carl Friedrich Gauss, who corresponded with János Bolyai and Nikolai Lobachevsky about curvature, and with formalist treatments from David Hilbert and Emil Artin. Absolute geometry provides a common ground used in bifurcating studies such as those by Felix Klein's Erlangen Program and the metric approaches of Bernhard Riemann.

Axioms and logical foundations

Foundational studies employ axiom systems like those in Euclid's postulates and the modern formulations by David Hilbert and Tarski. Key primitive notions include points, lines, betweenness, and congruence as formalized by David Hilbert in his "Foundations of Geometry" and by Alfred Tarski in his decision methods. Work by Friedrich Bachmann and Emil Artin developed order and congruence axioms that avoid dependence on the Euclid-style parallel axiom. Logical analysis of independence and completeness was advanced by Kurt Gödel, Alfred Tarski, and contributors to model theory like Abraham Robinson and Thoralf Skolem, showing which propositions follow from the shared axioms and which require additional assumptions such as the parallel postulate associated with Euclid or the hyperbolic alternatives of Lobachevsky and Bolyai.

Models and independence results

Models demonstrating independence include the Euclidean plane modeled by René Descartes's analytic geometry, hyperbolic models by Nikolai Lobachevsky and János Bolyai, the Poincaré disk and half-plane developed by Henri Poincaré and explicated by Felix Klein, and synthetic models constructed via ordered fields as in work by Emil Artin and Friedrich Bachmann. Independence proofs employ techniques from model theory pioneered by Alfred Tarski and Thoralf Skolem and completeness arguments influenced by Kurt Gödel. Constructing models over ordered fields like Rudolf Carnap-era formalizations and later algebraic approaches demonstrates that the parallel postulate is independent of the remaining axioms, a result central to the work of Carl Friedrich Gauss, János Bolyai, Nikolai Lobachevsky, and modern treatments by David Hilbert and Emil Artin.

Historical development

Origins trace to Euclid's Elements and centuries of commentary culminating in 19th-century breakthroughs by Carl Friedrich Gauss, János Bolyai, and Nikolai Lobachevsky who discovered non-Euclidean alternatives. Bernard Bolzano and Friedrich Bachmann contributed to rigorous axiomatization; David Hilbert systematized axioms in "Foundations of Geometry", while Alfred Tarski and Emil Artin pursued decision and algebraic methods. Henri Poincaré and Felix Klein provided analytic and transformational perspectives, and later formal-logical investigations by Kurt Gödel and Alfred Tarski integrated absolute geometry into modern foundations of mathematics. Institutional contexts include the influence of the University of Göttingen, the École Polytechnique, and journals like those of the London Mathematical Society and the American Mathematical Society where key papers appeared.

Key theorems and consequences

Central theorems in absolute geometry include the Saccheri-Legendre theorem, the exterior angle theorem, and angle sum inequalities developed in the works of Giovanni Saccheri, Adrien-Marie Legendre, Euclid, and David Hilbert. Results provable without the parallel postulate cover congruence criteria, properties of triangles, and monotonicity of angles under segment extension analyzed by Friedrich Bachmann and Emil Artin. Consequences of absolute geometry feed into classification results by Felix Klein's Erlangen Program and curvature considerations introduced by Bernhard Riemann and later leveraged by Henri Poincaré. Logical implications and metamathematical results connect to the incompleteness and consistency investigations of Kurt Gödel and decision problems addressed by Alfred Tarski.

Relations to Euclidean and non-Euclidean geometry

Absolute geometry functions as the shared core between Euclidean geometry and the non-Euclidean systems pioneered by Nikolai Lobachevsky and János Bolyai. When augmented by Euclid's parallel postulate, absolute geometry yields the classical results developed by Euclid, René Descartes, and David Hilbert; when combined with hyperbolic axioms it produces the geometries studied by Henri Poincaré and Felix Klein. Comparative studies by Carl Friedrich Gauss, Felix Klein, and Bernhard Riemann analyze how curvature and transformation groups distinguish the resultant geometries. Modern treatments situate absolute geometry within algebraic frameworks advanced by Emil Artin and logical frameworks refined by Alfred Tarski and Kurt Gödel.

Category:Geometry