 Absolute geometry

Absolute geometry is a geometry based on an axiom system for Euclidean geometry that does not assume the parallel postulate or any of its alternatives. The term was introduced by János Bolyai in 1832.^{[1]} It is sometimes referred to as neutral geometry,^{[2]} as it is neutral with respect to the parallel postulate.
Contents
Relation to other geometries
The theorems of absolute geometry hold in hyperbolic geometry, which is a nonEuclidean geometry, as well as in Euclidean geometry.^{[3]}
Absolute geometry is an extension of ordered geometry, and thus, all theorems in ordered geometry hold in absolute geometry. The converse is not true. Absolute geometry assumes the first four of Euclid's Axioms (or their equivalents), to be contrasted with affine geometry, which does not assume Euclid's third and fourth axioms. Ordered geometry is a common foundation of both absolute and affine geometry.^{[4]}
Absolute geometry is inconsistent with elliptic geometry: in that theory, there are no parallel lines at all, so Euclid's parallel postulate can be immediately disproved; on the other hand, it is a theorem of absolute geometry that parallel lines do exist.^{[5]}
It might be imagined that absolute geometry is a rather weak system, but that is not the case. Indeed, in Euclid's Elements, the first 28 Propositions avoid using the parallel postulate, and therefore are valid in absolute geometry. One can also prove in absolute geometry the exterior angle theorem (an exterior angle of a triangle is larger than either of the remote angles), as well as the SaccheriLegendre theorem, which states that a triangle has at most 180^{°}.^{[6]}
Incompleteness
Absolute geometry is an incomplete axiomatic system, in the sense that one can add extra independent axioms without making the axiom system inconsistent. One can extend absolute geometry by adding different axioms about parallel lines and get incompatible but consistent axiom systems, giving rise to Euclidean or hyperbolic geometry. Thus every theorem of absolute geometry is a theorem of hyperbolic geometry and Euclidean geometry. However the converse is not true.
See also
 NonEuclidean geometry
 Affine geometry
 Incidence geometry
 Ordered geometry
 Erlangen program
 Saccheri–Legendre theorem
Notes
 ^ Various Geometries
 ^ Greenberg cites W. Prenowitz and M. Jordan (Greenberg, p. xvi) for having used the term neutral geometry to refer to that part of Euclidean geometry that does not depend on Euclid's parallel postulate. He says that the word absolute in absolute geometry misleadingly implies that all other geometries depend on it.
 ^ Indeed, absolute geometry is in fact the intersection of hyperbolic geometry and Euclidean geometry when these are regarded as sets of propositions.
 ^ Coxeter, pgs. 175176
 ^ This can be proved using a familiar construction: given a line l and a point P not on l, drop the perpendicular m from P to l, then erect a perpendicular n to m through P. By the alternate interior angle theorem, l is parallel to n. (The alternate interior angle theorem states that if lines a and b are cut by a transversal t such that there is a pair of congruent alternate interior angles, then a and b are parallel.) The foregoing construction, together with the alternate interior angle theorem, do not depend on the parallel postulate and are therefore valid in absolute geometry (Greenberg, p. 163).
 ^ One again sees the incompatibility of absolute geometry with elliptic geometry, because in the latter theory all triangles have more than 180^{°}.
References
 Greenberg, Marvin Jay Euclidean and NonEuclidean Geometries: Development and History, 4th ed., New York: W. H. Freeman, 2007. ISBN 0716799480
 Coxeter, H. S. M Introduction to Geometry, 2nd ed., New York: John Wiley & Sons, 1969.
 Pambuccain, Victor Axiomatizations of hyperbolic and absolute geometries, in: NonEuclidean geometries (A. Prékopa and E. Molnár, eds.). János Bolyai memorial volume. Papers from the international conference on hyperbolic geometry, Budapest, Hungary, July 612, 2002. New York, NY: Springer, 119153 , 2006.
External links
 Weisstein, Eric W., "Absolute Geometry" from MathWorld.
Categories: Classical geometry
 Hungarian inventions
Wikimedia Foundation. 2010.
Look at other dictionaries:
Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… … Wikipedia
Absolute value — For the philosophical term, see Value (ethics). For the Akrobatik album, see Absolute Value (album). In mathematics, the absolute value (or modulus) a of a real number a is the numerical value of a without regard to its sign. So, for example,… … Wikipedia
Absolute time and space — See also: Absolute rotation, Bucket argument, Rotating spheres, and Inertial frame of reference Originally introduced by Sir Isaac Newton in the Philosophiæ Naturalis Principia Mathematica, the concepts of absolute time and space provided a… … Wikipedia
absolute — A conic (a quadric in three dimensions) formed by the assemblage of the points at infinity on a line (in general two points). Its form determines the metrical properties of the geometrical system being operated. Thus in Euclidean geometry, the… … Dictionary of automotive terms
NonEuclidean geometry — Behavior of lines with a common perpendicular in each of the three types of geometry Non Euclidean geometry is the term used to refer to two specific geometries which are, loosely speaking, obtained by negating the Euclidean parallel postulate,… … Wikipedia
Ordered geometry — is a form of geometry featuring the concept of intermediacy (or betweenness ) but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean,… … Wikipedia
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
List of geometry topics — This is list of geometry topics, by Wikipedia page.*Geometric shape covers standard terms for plane shapes *List of mathematical shapes covers all dimensions *List of differential geometry topics *List of geometers *See also list of curves, list… … Wikipedia
Molecular geometry — Geometry of the water molecule Molecular geometry or molecular structure is the three dimensional arrangement of the atoms that constitute a molecule. It determines several properties of a substance including its reactivity, polarity, phase of… … Wikipedia
Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… … Wikipedia