670 notes - Department of Mathematics

In this model, a semicircle orthogonal to the real line is called a hyperbolic line, as is any vertical ray. One can show that the action of SL2R takes hyperbolic lines to hyperbolic lines. The resulting geometry is non-Euclidean, i.e., it satisfies all of Euclid’s axioms except the axiom on parallel lines. ................
................