Models of non-Euclidean geometry
# Models of non-Euclidean geometry

Models of non-Euclidean geometry are mathematical models of geometries which are non-Euclidean in the sense that it is not the case that exactly one line can be drawn parallel to a given line l through a point that is not on l. In hyperbolic geometric models, by contrast, there are infinitely many lines through A parallel to l, and in elliptic geometric models, parallel lines do not exist. (See the entries on hyperbolic geometry and elliptic geometry for more information.)

Euclidean geometry is modelled by our notion of a "flat plane." The simplest model for elliptic geometry is a sphere, where lines are "great circles" (such as the equator or the meridians on a globe), and points opposite each other are identified (considered to be the same). The pseudosphere has the appropriate curvature to model hyperbolic geometry.

