HorocycleIn hyperbolic geometry, a horocycle (), sometimes called an oricycle, oricircle, or limit circle, is a curve whose normal or perpendicular geodesics all converge asymptotically in the same direction. It is the two-dimensional case of a horosphere (or orisphere). The centre of a horocycle is the ideal point where all normal geodesics asymptotically converge. Two horocycles who have the same centre are concentric. Although it appears as if two concentric horocycles cannot have the same length or curvature, in fact any two horocycles are congruent.
Poincaré disk modelIn geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle. The group of orientation preserving isometries of the disk model is given by the projective special unitary group PSU(1,1), the quotient of the special unitary group SU(1,1) by its center {I, −I}.
Beltrami–Klein modelIn geometry, the Beltrami–Klein model, also called the projective model, Klein disk model, and the Cayley–Klein model, is a model of hyperbolic geometry in which points are represented by the points in the interior of the unit disk (or n-dimensional unit ball) and lines are represented by the chords, straight line segments with ideal endpoints on the boundary sphere. The Beltrami–Klein model is named after the Italian geometer Eugenio Beltrami and the German Felix Klein while "Cayley" in Cayley–Klein model refers to the English geometer Arthur Cayley.
Poincaré half-plane modelIn non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H , together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry. Equivalently the Poincaré half-plane model is sometimes described as a complex plane where the imaginary part (the y coordinate mentioned above) is positive. The Poincaré half-plane model is named after Henri Poincaré, but it originated with Eugenio Beltrami who used it, along with the Klein model and the Poincaré disk model, to show that hyperbolic geometry was equiconsistent with Euclidean geometry.
