Poincaré half-plane model
In non-Euclidean geometry, the Poincaré half-plane model is a way of representing the hyperbolic plane using points in the familiar Euclidean plane. Specifically, each point in the hyperbolic plane is represented using a Euclidean point with coordinates Template:Tmath whose Template:Tmath coordinate is greater than zero, the upper half-plane, and a metric tensor (definition of distance) called the Poincaré metric is adopted, in which the local scale is inversely proportional to the Template:Tmath coordinate. Points on the Template:Tmath-axis, whose Template:Tmath coordinate is equal to zero, represent ideal points (points at infinity), which are outside the hyperbolic plane proper.
Sometimes the points of the half-plane model are considered to lie in the complex plane with positive imaginary part. Using this interpretation, each point in the hyperbolic plane is associated with a complex number.
The half-plane model can be thought of as a map projection from the curved hyperbolic plane to the flat Euclidean plane. From the hyperboloid model (a representation of the hyperbolic plane on a hyperboloid of two sheets embedded in 3-dimensional Minkowski space, analogous to the sphere embedded in 3-dimensional Euclidean space), the half-plane model is obtained by orthographic projection in a direction parallel to a null vector, which can also be thought of as a kind of stereographic projection centered on an ideal point. The projection is conformal, meaning that it preserves angles, and like the stereographic projection of the sphere it projects generalized circles (geodesics, hypercycles, horocycles, and circles) in the hyperbolic plane to generalized circles (lines or circles) in the plane. In particular, geodesics (analogous to straight lines), project to either half-circles whose center has Template:Tmath coordinate zero, or to vertical straight lines of constant Template:Tmath coordinate, hypercycles project to circles crossing the Template:Tmath-axis, horocycles project to either circles tangent to the Template:Tmath-axis or to horizontal lines of constant Template:Tmath coordinate, and circles project to circles contained entirely in the half-plane.
Hyperbolic motions, the distance-preserving geometric transformations from the hyperbolic plane to itself, are represented in the Poincaré half-plane by the subset of Möbius transformations of the plane which preserve the half-plane; these are conformal, circle-preserving transformations which send the Template:Tmath-axis to itself without changing its orientation. When points in the plane are taken to be complex numbers, any Möbius transformation is represented by a linear fractional transformation of complex numbers, and the hyperbolic motions are represented by elements of the projective special linear group Template:Tmath.
The Cayley transform provides an isometry between the half-plane model and the Poincaré disk model, which is a stereographic projection of the hyperboloid centered on any ordinary point in the hyperbolic plane, which maps the hyperbolic plane onto a disk in the Euclidean plane, and also shares the properties of conformality and mapping generalized circles to generalized circles.
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.
The half-plane model can be generalized to the Poincaré half-space model of Template:Tmath-dimensional hyperbolic space by replacing the single Template:Tmath coordinate by Template:Tmath distinct coordinates.
MetricEdit
The metric of the model on the half-plane, <math>\{ \langle x, y \rangle \mid y > 0 \},</math> is:
- <math>(d s)^2 = \frac{(d x)^2 + (d y)^2}{y^2}</math>
where s measures the length along a (possibly curved) line. The straight lines in the hyperbolic plane (geodesics for this metric tensor, i.e., curves which minimize the distance) are represented in this model by circular arcs perpendicular to the x-axis (half-circles whose centers are on the x-axis) and straight vertical rays perpendicular to the x-axis.
Distance calculationEdit
If <math display=inline>p_1 = \langle x_1, y_1 \rangle</math> and <math display=inline>p_2 = \langle x_2, y_2 \rangle</math> are two points in the half-plane <math display=inline>y > 0</math> and <math display=inline>\tilde p_1 = \langle x_1, -y_1 \rangle</math> is the reflection of <math display=inline>p_1</math> across the x-axis into the lower half plane, the distance between the two points under the hyperbolic-plane metric is:
<math display=block>\begin{align} \operatorname{dist} (p_1, p_2) &= 2\operatorname{arsinh} \frac{ \| p_2 - p_1 \| } {2 \sqrt{y_1 y_2 \vphantom t} } \\[10mu] &= 2\operatorname{artanh} \frac{ \| p_2 - p_1 \| } { \| p_2 - \tilde p_1 \| } \\[10mu] &= 2\ln \frac{\| p_2 - p_1 \| + \| p_2 - \tilde p_1 \|} { 2 \sqrt{y_1 y_2 \vphantom t}}, \end{align}</math>
where <math display=inline>\|p_2 - p_1\| = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}</math> is the Euclidean distance between points Template:Tmath and Template:Tmath, <math>\vphantom\Big) \operatorname{arsinh}x = {}</math><math>\textstyle \ln \bigl(x + \sqrt{x^2 + 1} \bigr)</math> is the inverse hyperbolic sine, and <math>\operatorname{artanh} x \vphantom\big) = {} </math><math>\tfrac12\ln\bigl((1+x)/(1-x)\bigr)</math> is the inverse hyperbolic tangent. This <math display=inline>2\operatorname{arsinh}</math> formula can be thought of as coming from the chord length in the Minkowski metric between points in the hyperboloid model, <math>\operatorname{chord}(p_1,\, p_2) = {} \vphantom{\tfrac12}</math>Template:Nobr analogous to finding arclength on a sphere in terms of chord length. This <math display=inline>2\operatorname{artanh}</math> formula can be thought of as coming from Euclidean distance in the Poincaré disk model with one point at the origin, analogous to finding arclength on the sphere by taking a stereographic projection centered on one point and measuring the Euclidean distance in the plane from the origin to the other point.
If the two points <math display=inline>p_1</math> and <math display=inline>p_2</math> are on a hyperbolic line (Euclidean half-circle) which intersects the x-axis at the ideal points <math display=inline>p_0 = \langle x_0, 0 \rangle</math> and <math display=inline>p_3 = \langle x_3, 0 \rangle,</math> the distance from <math display=inline>p_1</math> to <math display=inline>p_2</math> is:
<math display=block>\operatorname{dist}(p_1, p_2) = \left|\, \ln \frac{\|p_2 - p_0\| \|p_1 - p_3\|}{ \|p_1 - p_0\| \|p_2 - p_3\|} \right|.</math>
Cf. Cross-ratio.
Some special cases can be simplified. Two points with the same Template:Tmath coordinate:<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
<math display=block>{\operatorname{dist}} \bigl(\langle x, y_1 \rangle, \langle x, y_2 \rangle \bigr) =\left|\, \ln\frac{y_2}{y_1} \right| = | \ln y_2 - \ln y_1 |.</math>
Two points with the same <math display=inline>y</math> coordinate:
<math display=block>{\operatorname{dist}} \bigl( \langle x_1,\, y \rangle, \langle x_2,\, y \rangle \bigr) = 2 \operatorname{arsinh} \frac{|x_2 -x_1|}{2 y}. </math>
One point Template:Tmath at the apex of the semicircle <math display=inline>(x - x_1)^2 + y^2 = r^2,</math> and another point at a central angle of Template:Tmath.
<math display=block>{\operatorname{dist}} \bigl( \langle x_1, r \rangle, \langle x_1 \pm r\sin\phi, r\cos\phi \rangle \bigr) = {2\operatorname{artanh}}\bigl({\tan\tfrac12 \phi} \bigr) = \operatorname{gd}^{-1} \phi, </math>
where Template:Tmath is the inverse Gudermannian function.
Special points and curvesEdit
Ideal points (points at infinity) in the Poincaré half-plane model are of two kinds: the points on the Template:Tmath-axis, and one imaginary point at <math> y = \infty </math> which is the ideal point to which all lines orthogonal to the Template:Tmath-axis converge.
Straight lines, geodesics (the shortest path between the points contained within it) are modeled by either half-circles whose origin is on the x-axis, or straight vertical rays orthogonal to the x-axis.
A circle (curve equidistant from a central point) with center <math>\langle x, y \rangle </math> and radius <math>r </math> is modeled by a circle with center Template:Tmath and radius Template:Tmath.
A hypercycle (a curve equidistant from a straight line, its axis) is modeled by either a circular arc which intersects the Template:Tmath-axis at the same two ideal points as the half-circle which models its axis but at an acute or obtuse angle, or a straight line which intersects the Template:Tmath-axis at the same point as the vertical line which models its axis, but at an acute or obtuse angle.
A horocycle (a curve whose normals all converge asymptotically in the same direction, its center) is modeled by either a circle tangent to the Template:Tmath-axis (but excluding the ideal point of intersection, which is its center), or a line parallel to the Template:Tmath-axis, in which case the center is the ideal point at Template:Tmath.
Euclidean synopsisEdit
A Euclidean circle with center <math>\langle x_e, y_e \rangle </math> and radius <math>r_e </math> represents:
- when the circle is completely inside the halfplane a hyperbolic circle with center <math display=block>\textstyle \big\langle x_e, \sqrt{y_e^2 - r_e^2 }\, \big\rangle </math> and radius <math display=block>\tfrac12 \ln \left( \frac{y_e + r_e} {y_e - r_e} \right).</math>
- when the circle is completely inside the halfplane and touches the boundary a horocycle centered around the ideal point <math>(x_e, 0 )</math>
- when the circle intersects the boundary orthogonal <math>( y_e = 0 )</math> a hyperbolic line
- when the circle intersects the boundary non- orthogonal a hypercycle.
Compass and straightedge constructionsEdit
Template:See also Here is how one can use compass and straightedge constructions in the model to achieve the effect of the basic constructions in the hyperbolic plane.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> For example, how to construct the half-circle in the Euclidean half-plane which models a line on the hyperbolic plane through two given points.
Creating the line through two existing pointsEdit
Draw the line segment between the two points. Construct the perpendicular bisector of the line segment. Find its intersection with the x-axis. Draw the circle around the intersection which passes through the given points. Erase the part which is on or below the x-axis.
Or in the special case where the two given points lie on a vertical line, draw that vertical line through the two points and erase the part which is on or below the x-axis.
Creating the circle through one point with center another pointEdit
If the two points are not on a vertical line: Draw the radial line (half-circle) between the two given points as in the previous case. Construct a tangent to that line at the non-central point. Drop a perpendicular from the given center point to the x-axis. Find the intersection of these two lines to get the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.
If the two given points lie on a vertical line and the given center is above the other given point: Draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Draw a horizontal line through the non-central point. Construct the tangent to the circle at its intersection with that horizontal line. The midpoint between the intersection of the tangent with the vertical line and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.
If the two given points lie on a vertical line and the given center is below the other given point: Draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Draw a line tangent to the circle which passes through the given non-central point. Draw a horizontal line through that point of tangency and find its intersection with the vertical line. The midpoint between that intersection and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.
Given a circle find its (hyperbolic) centerEdit
Drop a perpendicular p from the Euclidean center of the circle to the x-axis. Let point q be the intersection of this line and the x- axis. Draw a line tangent to the circle going through q. Draw the half circle h with center q going through the point where the tangent and the circle meet. The (hyperbolic) center is the point where h and p intersect.<ref>Flavors of Geometry, MSRI Publications, Volume 31, 1997, Hyperbolic Geometry, J. W. Cannon, W. J. Floyd, R. Kenyon and W. R. Parry, page 87, Figure 19. Constructing the hyperbolic center of a circle</ref>
Other constructionsEdit
Creating the point which is the intersection of two existing lines, if they intersect: Find the intersection of the two given semicircles (or vertical lines).
Creating the one or two points in the intersection of a line and a circle (if they intersect): Find the intersection of the given semicircle (or vertical line) with the given circle.
Creating the one or two points in the intersection of two circles (if they intersect): Find the intersection of the two given circles.
Symmetry groupsEdit
The projective linear group PGL(2,C) acts on the Riemann sphere by the Möbius transformations. The subgroup that maps the upper half-plane, H, onto itself is PSL(2,R), the transforms with real coefficients, and these act transitively and isometrically on the upper half-plane, making it a homogeneous space.
There are four closely related Lie groups that act on the upper half-plane by fractional linear transformations and preserve the hyperbolic distance.
- The special linear group SL(2,R) which consists of the set of 2×2 matrices with real entries whose determinant equals +1. Note that many texts (including Wikipedia) often say SL(2,R) when they really mean PSL(2,R).
- The group S*L(2,R) consisting of the set of 2×2 matrices with real entries whose determinant equals +1 or −1. Note that SL(2,R) is a subgroup of this group.
- The projective special linear group PSL(2,R) = SL(2,R)/{±I}, consisting of the matrices in SL(2,R) modulo plus or minus the identity matrix.
- The group PS*L(2,R) = S*L(2,R)/{±I}=PGL(2,R) is again a projective group, and again, modulo plus or minus the identity matrix. PSL(2,R) is contained as an index-two normal subgroup, the other coset being the set of 2×2 matrices with real entries whose determinant equals −1, modulo plus or minus the identity.
The relationship of these groups to the Poincaré model is as follows:
- The group of all isometries of H, sometimes denoted as Isom(H), is isomorphic to PS*L(2,R). This includes both the orientation preserving and the orientation-reversing isometries. The orientation-reversing map (the mirror map) is <math>z\rightarrow -\overline{z}</math>.
- The group of orientation-preserving isometries of H, sometimes denoted as Isom+(H), is isomorphic to PSL(2,R).
Important subgroups of the isometry group are the Fuchsian groups.
One also frequently sees the modular group SL(2,Z). This group is important in two ways. First, it is a symmetry group of the square 2x2 lattice of points. Thus, functions that are periodic on a square grid, such as modular forms and elliptic functions, will thus inherit an SL(2,Z) symmetry from the grid. Second, SL(2,Z) is of course a subgroup of SL(2,R), and thus has a hyperbolic behavior embedded in it. In particular, SL(2,Z) can be used to tessellate the hyperbolic plane into cells of equal (Poincaré) area.
Isometric symmetryEdit
The group action of the projective special linear group <math>{\rm PSL}(2,\R)</math> on <math>\mathbb{H}</math> is defined by
- <math>\begin{pmatrix}a&b\\ c&d\\ \end{pmatrix} \cdot z = \frac{az+b}{cz+d} = \frac{(ac|z|^2+bd+(ad+bc)\Re(z)) + i(ad-bc)\Im(z)}{|cz+d|^2}.</math>
Note that the action is transitive: for any <math>z_1,z_2\in\mathbb{H}</math>, there exists a <math>g\in {\rm PSL}(2,\R)</math> such that <math>gz_1=z_2</math>. It is also faithful, in that if <math>gz=z</math> for all <math>z\in\mathbb{H},</math> then g = e.
The stabilizer or isotropy subgroup of an element <math>z\in\mathbb{H}</math> is the set of <math>g\in{\rm PSL}(2,\R)</math> which leave z unchanged: gz = z. The stabilizer of i is the rotation group
- <math>{\rm SO}(2) = \left.\left\{ \begin{pmatrix}\cos\theta&\sin\theta\\ -\sin\theta&\cos\theta\\ \end{pmatrix}\right | \theta\in\R\right\}.</math>
Since any element <math>z\in\mathbb{H}</math> is mapped to i by some element of <math>{\rm PSL}(2, \R)</math>, this means that the isotropy subgroup of any z is isomorphic to SO(2). Thus, <math>\mathbb{H}={\rm PSL}(2,\R)/{\rm SO}(2)</math>. Alternatively, the bundle of unit-length tangent vectors on the upper half-plane, called the unit tangent bundle, is isomorphic to <math>{\rm PSL}(2, \R)</math>.
The upper half-plane is tessellated into free regular sets by the modular group <math>{\rm SL}(2, \Z).</math>
GeodesicsEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}} The geodesics for this metric tensor are circular arcs perpendicular to the real axis (half-circles whose origin is on the real axis) and straight vertical lines ending on the real axis.
The unit-speed geodesic going up vertically, through the point i is given by
- <math>\gamma(t) = \begin{pmatrix}e^{t/2}&0\\ 0&e^{-t/2}\\ \end{pmatrix}\cdot i = ie^t.</math>
Because PSL(2,R) acts transitively by isometries of the upper half-plane, this geodesic is mapped into the other geodesics through the action of PSL(2,R). Thus, the general unit-speed geodesic is given by
- <math>\gamma(t)=\begin{pmatrix}a&b\\ c&d\\ \end{pmatrix} \begin{pmatrix}e^{t/2}&0\\0&e^{-t/2}\\ \end{pmatrix}\cdot i = \frac {aie^t +b} {cie^t +d}. </math>
This provides a basic description of the geodesic flow on the unit-length tangent bundle (complex line bundle) on the upper half-plane. Starting with this model, one can obtain the flow on arbitrary Riemann surfaces, as described in the article on the Anosov flow.
The model in three dimensionsEdit
The metric of the model on the half- space <math display=inline>\{ \langle x, y, z \rangle \mid z > 0 \}</math> is given by
<math display=block>(d s)^2 = \frac{(d x)^2 + (d y)^2 + (d z)^2}{z^2} \,</math>
where s measures length along a possibly curved line. The straight lines in the hyperbolic space (geodesics for this metric tensor, i.e. curves which minimize the distance) are represented in this model by circular arcs normal to the z = 0-plane (half-circles whose origin is on the z = 0-plane) and straight vertical rays normal to the z = 0-plane.
The distance between two points <math display=inline>p_1 = \langle x_1, y_1,z_1 \rangle</math> and <math display=inline>p_2 = \langle x_2, y_2, z_2 \rangle</math> measured in this metric along such a geodesic is:
<math display=block>\operatorname{dist} (p_1, p_2) = 2 \operatorname{arsinh} \frac{ \| p_2 - p_1 \| }{ 2 \sqrt{z_1 z_2 \vphantom t} }.</math>
The model in n dimensionsEdit
This model can be generalized to model an <math>n+1</math> dimensional hyperbolic space by replacing the real number x by a vector in an n dimensional Euclidean vector space.
See alsoEdit
- Angle of parallelism
- Anosov flow
- Fuchsian group
- Fuchsian model
- Hyperbolic motion
- Kleinian model
- Models of the hyperbolic plane
- Pseudosphere
- Schwarz–Ahlfors–Pick theorem
- Ultraparallel theorem
ReferencesEdit
- Notes
- Sources
- Eugenio Beltrami, Teoria fondamentale degli spazi di curvatura constante, Annali di Matematica Pura ed Applicata, ser II 2 (1868), 232–255
- Henri Poincaré (1882) "Théorie des Groupes Fuchsiens", Acta Mathematica v.1, p. 1. First article in a series exploiting the half-plane model. An archived copy is freely available. On page 52 one can see an example of the semicircle diagrams so characteristic of the model.
- Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. Template:Isbn.
- Jürgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. Template:Isbn (See Section 2.3).
- Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993, Template:Isbn.
- John Stillwell (1998) Numbers and Geometry, pp. 100–104, Springer-Verlag, NY Template:Isbn. An elementary introduction to the Poincaré half-plane model of the hyperbolic plane.