Poincaré disk model

In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which the points of the geometry are inside the unit disk, and the straight lines consist of all circular arcs contained within that disk that are orthogonal to the boundary of the disk, plus all diameters of the disk.

Poincaré disk with hyperbolic parallel lines

Poincaré disk model of the truncated triheptagonal tiling.

The group of orientation preserving isometries of the disk model is given by the special unitary group SU(1,1).

Along with the Klein model and the Poincaré half-space model, it was proposed by Eugenio Beltrami who used these models to show that hyperbolic geometry was equiconsistent with Euclidean geometry. It is named after Henri Poincaré, because his rediscovery of this representation fourteen years later became better known than the original work of Beltrami.[1]

The Poincaré ball model is the similar model for 3 or n-dimensional hyperbolic geometry in which the points of the geometry are in the n-dimensional unit ball.

Properties

Lines

Poincaré disk with 3 ultraparallel (hyperbolic) straight lines

Hyperbolic straight lines consist of all arcs of Euclidean circles contained within the disk that are orthogonal to the boundary of the disk, plus all diameters of the disk.

Compass and straightedge construction

The unique hyperbolic line through two points P and Q not on a diameter of the boundary circle can be constructed by:

let P' be the inversion in the boundary circle of point P
let Q' be the inversion in the boundary circle of point Q
let M be the midpoint of segment PP'
let N be the midpoint of segment QQ'
Draw line m through M perpendicular to segment PP'
Draw line n through N perpendicular to segment QQ'
let C be where line m and line n intersect.
Draw circle c with center C and going through P (and Q).
The part of circle c that is inside the disk is the hyperbolic line.

If P and Q are on a diameter of the boundary circle that diameter is the hyperbolic line.

Another way is:

let M be the midpoint of segment PQ
Draw line m through M perpendicular to segment PQ
let P' be the inversion in the boundary circle of point P
let N be the midpoint of segment PP'
Draw line n through N perpendicular to segment PP'
let C be where line m and line n intersect.
Draw circle c with center C and going through P (and Q).
The part of circle c that is inside the disk is the hyperbolic line.

Distance

Distances in this model are Cayley–Klein metrics. Given two distinct points p and q inside the disk, the unique hyperbolic line connecting them intersects the boundary at two ideal points, a and b, label them so that the points are, in order, a, p, q, b and |aq| > |ap| and |pb| > |qb|.

The hyperbolic distance between p and q is then $d(p,q)=\ln {\frac {\left|aq\right|\,\left|pb\right|}{\left|ap\right|\,\left|qb\right|}}$ .

The vertical bars indicate Euclidean length of the line segment connecting the points between them in the model (not along the circle arc), ln is the natural logarithm.

Another way to calculate the hyperbolic distance between two points is $\operatorname {arcosh} \left(1+{\frac {2|pq|^{2}|r|^{2}}{(|r|^{2}-|op|^{2})(|r|^{2}-|oq|^{2})}}\right)$

where $|op|$ and $|oq|$ are the distances of p respective q to the centre of the disk, $|pq|$ the distance between p and q, $|r|$ the radius of the boundary circle of the disk and $\operatorname {arcosh}$ is the inverse hyperbolic function of hyperbolic cosine.

When the disk used is the open unit disk and one of the points is the origin and the Euclidean distance between the points is r then the hyperbolic distance is: $\ln \left({\frac {1+r}{1-r}}\right)=2\operatorname {arctanh} r$ where $\operatorname {arctanh}$ is the inverse hyperbolic function of the hyperbolic tangent.

When the disk used is the open unit disk and point $x'=(r',\theta )$ lies between the origin and point $x=(r,\theta )$ (i.e. the two points are on the same radius, have the same polar angle and $1>r>r'>0$ ), their hyperbolic distance is $\ln \left({\frac {1+r}{1-r}}\cdot {\frac {1-r'}{1+r'}}\right)=2(\operatorname {arctanh} r-\operatorname {arctanh} r')$ . This reduces to the previous formula if $r'=0$ .

Circles

A circle (the set of all points in a plane that are at a given distance from a given point, its center) is a circle completely inside the disk not touching or intersecting its boundary. The hyperbolic center of the circle in the model does in general not correspond to the Euclidean center of the circle, but they are on the same radius of the boundary circle.

Hypercycles

A hypercycle (the set of all points in a plane that are on one side and at a given distance from a given line, its axis) is a Euclidean circle arc or chord of the boundary circle that intersects the boundary circle at a non-right angle. Its axis is the hyperbolic line that shares the same two ideal points. This is also known as an equidistant curve.

Horocycles

A horocycle (a curve whose normal or perpendicular geodesics all converge asymptotically in the same direction), is a circle inside the disk that touches the boundary circle of the disk. The point where it touches the boundary circle is not part of the horocycle. It is an ideal point and is the hyperbolic center of the horocycle.

Euclidean synopsis

A Euclidean circle:

that is completely inside the disk is a hyperbolic circle.

(When the center of the disk is not inside the circle, the Euclidean center is always closer to the center of the disk than the hyperbolic center, i.e.

t_{e}<t_{h}

holds.)

that is inside the disk and touches the boundary is a horocycle;
that intersects the boundary orthogonally is a hyperbolic line; and
that intersects the boundary non-orthogonally is a hypercycle.

A Euclidean chord of the boundary circle:

that goes through the center is a hyperbolic line; and
that does not go through the center is a hypercycle.

Metric and curvature

Poincaré 'ball' model view of the hyperbolic regular icosahedral honeycomb, {3,5,3}

If u and v are two vectors in real n-dimensional vector space Rⁿ with the usual Euclidean norm, both of which have norm less than 1, then we may define an isometric invariant by

\delta (u,v)=2{\frac {\lVert u-v\rVert ^{2}}{(1-\lVert u\rVert ^{2})(1-\lVert v\rVert ^{2})}}\,,

where $\lVert \cdot \rVert$ denotes the usual Euclidean norm. Then the distance function is

{\begin{aligned}d(u,v)&=\operatorname {arcosh} (1+\delta (u,v))\\&=2\operatorname {arsinh} {\sqrt {\frac {\delta (u,v)}{2}}}\\\,&=2\ln {\frac {\lVert u-v\rVert +{\sqrt {\lVert u\rVert ^{2}\lVert v\rVert ^{2}-2u\cdot v+1}}}{\sqrt {(1-\lVert u\rVert ^{2})(1-\lVert v\rVert ^{2})}}}.\end{aligned}}

Such a distance function is defined for any two vectors of norm less than one, and makes the set of such vectors into a metric space which is a model of hyperbolic space of constant curvature −1. The model has the conformal property that the angle between two intersecting curves in hyperbolic space is the same as the angle in the model.

The associated metric tensor of the Poincaré disk model is given by[2]

ds^{2}=4{\frac {\sum _{i}dx_{i}^{2}}{(1-\sum _{i}x_{i}^{2})^{2}}}={\frac {4\lVert d\mathbf {x} \rVert ^{2}}{{\bigl (}1-\lVert \mathbf {x} \rVert ^{2}{\bigr )}^{2}}}

where the x_i are the Cartesian coordinates of the ambient Euclidean space. The geodesics of the disk model are circles perpendicular to the boundary sphere Sⁿ⁻¹.

An orthonormal frame with respect to this Riemannian metric is given by

e_{i}={\frac {1}{2}}(1-|\mathbf {x} |^{2}){\frac {\partial }{\partial x^{i}}},

with dual coframe of 1-forms

\theta ^{i}={\frac {2}{1-|\mathbf {x} |^{2}}}\,dx^{i}.

In two dimensions

In two dimensions, with respect to these frames and the Levi-Civita connection, the connection forms are given by the unique skew-symmetric matrix of 1-forms $\omega$ that is torsion-free, i.e., that satisfies the matrix equation $0=d\theta +\omega \wedge \theta$ . Solving this equation for $\omega$ yields

\omega ={\frac {2(y\,dx-x\,dy)}{1-|\mathbf {x} |^{2}}}{\begin{pmatrix}0&1\\-1&0\end{pmatrix}},

whence the curvature matrix is

\Omega =d\omega +\omega \wedge \omega =d\omega +0={\frac {-4\,dx\wedge dy}{(1-|\mathbf {x} |^{2})^{2}}}{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}.

Therefore, the curvature of the hyperbolic disk is

K=\Omega _{2}^{1}(e_{1},e_{2})=-1.

Relation to other models of hyperbolic geometry

the Poincaré disk model (line P), and their relations with the other models

Relation to the Klein disk model

The Klein disk model (also known as the Beltrami–Klein model) and the Poincaré disk model are both models that project the whole hyperbolic plane in a disk. The two models are related through a projection on or from the hemisphere model. The Klein disk model is an orthographic projection to the hemisphere model while the Poincaré disk model is a stereographic projection.

An advantage of the Klein disk model is that lines in this model are Euclidean straight chords. A disadvantage is that the Klein disk model is not conformal (circles and angles are distorted).

When projecting the same lines in both models on one disk both lines go through the same two ideal points. (the ideal points remain on the same spot) also the pole of the chord in the Klein disk model is the center of the circle that contains the arc in the Poincaré disk model.

A point (x,y) in the Poincaré disk model maps to $\left({\frac {2x}{1+x^{2}+y^{2}}}\ ,\ {\frac {2y}{1+x^{2}+y^{2}}}\right)$ in the Klein model.

A point (x,y) in the Klein model maps to $\left({\frac {x}{1+{\sqrt {1-x^{2}-y^{2}}}}}\ ,\ \ {\frac {y}{1+{\sqrt {1-x^{2}-y^{2}}}}}\right)$ in the Poincaré disk model.

For ideal points $x^{2}+y^{2}=1$ and the formulas become $x=x\ ,\ y=y$ so the points are fixed.

If $u$ is a vector of norm less than one representing a point of the Poincaré disk model, then the corresponding point of the Klein disk model is given by:

s={\frac {2u}{1+u\cdot u}}.

Conversely, from a vector $s$ of norm less than one representing a point of the Beltrami–Klein model, the corresponding point of the Poincaré disk model is given by:

u={\frac {s}{1+{\sqrt {1-s\cdot s}}}}={\frac {\left(1-{\sqrt {1-s\cdot s}}\right)s}{s\cdot s}}.

Relation to the Poincaré half-plane model

The Poincaré disk model and the Poincaré half-plane model are both named after Henri Poincaré.

If $u$ is a vector of norm less than one representing a point of the Poincaré disk model, then the corresponding point of the half-plane model is given by:

s={\frac {u+i}{iu+1}}.

A point (x,y) in the disk model maps to $\left({\frac {2x}{x^{2}+(1-y)^{2}}}\ ,\ {\frac {1-x^{2}-y^{2}}{x^{2}+(1-y)^{2}}}\right)\,$ in the halfplane model.[3]

A point (x,y) in the halfplane model maps to $\left({\frac {2x}{x^{2}+(1+y)^{2}}}\ ,\ {\frac {x^{2}+y^{2}-1}{x^{2}+(1+y)^{2}}}\right)\,$ in the disk model.

Relation to the hyperboloid model

The hyperboloid model can be represented as the equation t²=x₁²+x₂²+1, t>1. It can be used to construct a Poincaré disk model as a projection viewed from (t=-1,x₁=0,x₂=0), projecting the upper half hyperboloid onto the unit disk at t=0. The red geodesic in the Poincaré disk model projects to the brown geodesic on the green hyperboloid.

The Poincaré disk model, as well as the Klein model, are related to the hyperboloid model projectively. If we have a point [t, x₁, ..., x_n] on the upper sheet of the hyperboloid of the hyperboloid model, thereby defining a point in the hyperboloid model, we may project it onto the hyperplane t = 0 by intersecting it with a line drawn through [−1, 0, ..., 0]. The result is the corresponding point of the Poincaré disk model.

For Cartesian coordinates (t, x_i) on the hyperboloid and (y_i) on the plane, the conversion formulas are:

y_{i}={\frac {x_{i}}{1+t}}

(t,x_{i})={\frac {\left(1+\sum {y_{i}^{2}},\,2y_{i}\right)}{1-\sum {y_{i}^{2}}}}\,.

Compare the formulas for stereographic projection between a sphere and a plane.

Analytic geometry constructions in the hyperbolic plane

A basic construction of analytic geometry is to find a line through two given points. In the Poincaré disk model, lines in the plane are defined by portions of circles having equations of the form

x^{2}+y^{2}+ax+by+1=0\,,

which is the general form of a circle orthogonal to the unit circle, or else by diameters. Given two points u and v in the disk which do not lie on a diameter, we can solve for the circle of this form passing through both points, and obtain

{\begin{aligned}x^{2}+y^{2}&{}+{\frac {v_{1}(u_{2}^{2}+v_{2}^{2}+1)-v_{2}(u_{1}^{2}+v_{1}^{2}+1)}{u_{1}v_{2}-u_{2}v_{1}}}x\\[8pt]&{}+{\frac {u_{2}(u_{1}^{2}+v_{1}^{2}+1)-u_{1}(u_{2}^{2}+v_{2}^{2}+1)}{u_{1}v_{2}-u_{2}v_{1}}}y+1=0\,.\end{aligned}}

If the points u and v are points on the boundary of the disk not lying at the endpoints of a diameter, the above simplifies to

x^{2}+y^{2}+{\frac {2(v_{1}-v_{2})}{u_{1}v_{2}-u_{2}v_{1}}}x-{\frac {2(u_{2}-u_{1})}{u_{1}v_{2}-u_{2}v_{1}}}y+1=0\,.

Angles

We may compute the angle between the circular arc whose endpoints (ideal points) are given by unit vectors u and v, and the arc whose endpoints are s and t, by means of a formula. Since the ideal points are the same in the Klein model and the Poincaré disk model, the formulas are identical for each model.

If both models' lines are diameters, so that v = −u and t = −s, then we are merely finding the angle between two unit vectors, and the formula for the angle θ is

\cos(\theta )=u\cdot s\,.

If v = −u but not t = −s, the formula becomes, in terms of the wedge product ( $\wedge$ ),

\cos ^{2}(\theta )={\frac {P^{2}}{QR}},

where

P=u\cdot (s-t)\,,

Q=u\cdot u\,,

R=(s-t)\cdot (s-t)-(s\wedge t)\cdot (s\wedge t)\,.

If both chords are not diameters, the general formula obtains

\cos ^{2}(\theta )={\frac {P^{2}}{QR}}\,,

where

P=(u-v)\cdot (s-t)-(u\wedge v)\cdot (s\wedge t)\,,

Q=(u-v)\cdot (u-v)-(u\wedge v)\cdot (u\wedge v)\,,

R=(s-t)\cdot (s-t)-(s\wedge t)\cdot (s\wedge t)\,.

Using the Binet–Cauchy identity and the fact that these are unit vectors we may rewrite the above expressions purely in terms of the dot product, as

P=(u-v)\cdot (s-t)+(u\cdot t)(v\cdot s)-(u\cdot s)(v\cdot t)\,.

Q=(1-u\cdot v)^{2}\,,

R=(1-s\cdot t)^{2}\,.

Artistic realizations

The (6,4,2) triangular hyperbolic tiling that inspired M. C. Escher

M. C. Escher explored the concept of representing infinity on a two-dimensional plane. Discussions with Canadian mathematician H.S.M. Coxeter around 1956 inspired Escher's interest in hyperbolic tessellations, which are regular tilings of the hyperbolic plane. Escher's wood engravings Circle Limit I–IV demonstrate this concept between 1958 and 1960, the final one being Circle Limit IV: Heaven and Hell in 1960.[4] According to Bruno Ernst, the best of them is Circle Limit III.

References

Penrose, Roger (2004). The Road To Reality: A Complete Guide to the Laws of the Universe. Great Britain: Jonathan Cape. p. 45. ISBN 0-224-04447-8.
"Comparing metric tensors of the Poincare and the Klein disk models of hyperbolic geometry". Stack Exchange. May 23, 2015.
"Mapping the Poincare disk model to the Poincare half plane model". Retrieved 13 December 2015.
Escher's Circle Limit Exploration

External links

Media related to Poincaré disk models at Wikimedia Commons

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Penrose, Roger (2004). The Road To Reality: A Complete Guide to the Laws of the Universe. Great Britain: Jonathan Cape. p. 45. ISBN 0-224-04447-8.

[2] "Comparing metric tensors of the Poincare and the Klein disk models of hyperbolic geometry". Stack Exchange. May 23, 2015.

[MSE1333850-3] "Mapping the Poincare disk model to the Poincare half plane model". Retrieved 13 December 2015.

[4] Escher's Circle Limit Exploration

Poincaré disk model

Properties

Lines

Compass and straightedge construction

Distance

Circles

Hypercycles

Horocycles

Euclidean synopsis

Metric and curvature

In two dimensions

Relation to other models of hyperbolic geometry

Relation to the Klein disk model

Relation to the Poincaré half-plane model

Relation to the hyperboloid model

Analytic geometry constructions in the hyperbolic plane

Angles

Artistic realizations

See also

References

Further reading

External links