The Poincaré hyperbolic disk is a two-dimensional space having hyperbolic geometry defined as the disk , with hyperbolic metric
The Poincaré disk is a model for hyperbolic geometry in which a line is represented as an arc of a circle whose ends are perpendicular to the disk's boundary (and diameters are also permitted). Two arcs which do not meet correspond to parallel rays, arcs which meet orthogonally correspond to perpendicular lines, and arcs which meet on the boundary are a pair of limits rays. The illustration above shows a hyperbolic tessellation similar to M. C. Escher's Circle Limit IV (Heaven and Hell) (Trott 1999, pp. 10 and 83).
The endpoints of any arc can be specified by two angles around the disk and . Define
Then trigonometry shows that in the above diagram,
so the radius of the circle forming the arc is and its center is located at , where
The half-angle subtended by the arc is then
so
The Poincaré hyperbolic disk represents a conformal map, so angles between rays can be measured directly. There is an isomorphism between the Poincaré disk model and the Klein-Beltrami model.
No comments:
Post a Comment