Google+

Saturday, April 21, 2012

Poincaré Hyperbolic Disk


The Poincaré hyperbolic disk is a two-dimensional space having hyperbolic geometry defined as the disk {x in R^2:|x|<1}, with hyperbolic metric
 ds^2=(dx^2+dy^2)/((1-x^2-y^2)^2).

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 theta_1 and theta_2. Define
theta=1/2(theta_1+theta_2)

dtheta=1/2|theta_1-theta_2|.

Then trigonometry shows that in the above diagram,
r=tan(dtheta)

y=sin(dtheta)tan(dtheta),

so the radius of the circle forming the arc is r and its center is located at (Rcostheta,Rsintheta), where
 R=cos(dtheta)+y=sec(dtheta).

The half-angle subtended by the arc is then
 sinphi=(sin(dtheta))/(tan(dtheta))=cos(dtheta),

so
 phi=sin^(-1)[cos(dtheta)].

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