Dehn plane
Encyclopedia : D : DE : DEH : Dehn plane
The Dehn plane consists of all points (x,y), where x and y are finite hyperreal numbers. The parallel postulate fails in the Dehn plane.
All pairs (x, y) where x and y are any members of a hyperreal field F with the metric [||(x,y)|| = \sqrt] taking values in F gives a nonstandard model of Euclidean geometry. The parallel postulate is true in this model, but if the deviation from the perpendicular is infinitesimal, the intersecting lines intersect at a point which is not in the finite part of the plane. Hence, if we restrict to the finite part of the plane, we obtain a geometry in which the parallel postulate fails. Modulo caveats about the use of proper classes which can be got round by using Grothendieck universes, the surreal numbers (for some inaccessible cardinal) define a suitable hyperreal field, and therefore a model of the Dehn plane.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.