{\displaystyle A_{\infty },B_{\infty }} The Cayley transform provides an isometry between the half-plane model and the Poincaré disk model. The area of a region will not change as it moves about the hyperbolic plane. ∈ x��]Y�$�q֓|��@�I=6���aA�Rא �\@�M?,g���ggmQ��ȣ22+��zv�Z�4���2#������ &y�O�{���o��ٻq������.8�?ׯ_>���A��9���^��!���ԓ��_]����+9E�=����Κ��������-~�:����������Y��?^��TA$�a-��e��WVG��WRw�?OCJ�e�a�i���K�Txi�?�'/��Ƿ�WJO�;?0xs�)�)��?�K�\�#��>��RL1m=G �]�mX��I�$���h�)k>Z�\s�js�0AUלF�kv��ٹ���2�5ׁ��ѿ_H-�9������� p !F��-�4�7��gd The metric of the model on the half- space. The arc-length differential determines an area differential and the area of a region will also be an invariant of hyperbolic geometry. y Let point q be the intersection of this line and the x- axis. + �я.C����r�Q)�k��N�r�$��v~���#��<0�x�BY���#~�cT����?�S�����0`�B�2���!��0����W���wK˗&:�fF���h���v��C:5� j+��!\�t��dFPM���Z! This is the upper half-plane. z ( . R 2 where s measures length along a possibly curved line. with the domain of z being the upper half plane R 2+ º { (x,y) Î R 2 | y > 0 }, where x is the geodesic rectangular coordinates defined above. 9) Disk and Upper Half-Plane Models: - An informal development of these two models of Hyperbolic Geometry. Erase the part which is on or below the x-axis. 1 ∈ Draw a line tangent to the circle going through q. Draw a horizontal line through the non-central point. , H-points: H-points are Euclidean points on one side of line ST. Let Ψ denote the set of all H-points. Hyperbolic Proposition 2.4. g hyperbolic plane, and show that the metric is complete, by explicitly writing down equations for the geodesics, and we will prove by an explicit computation that the sectional curvature (= the Gaussian curvature) is identically equal to ¡1. ) { ( {\displaystyle |PQ|} . This provides a basic description of the geodesic flow on the unit-length tangent bundle (complex line bundle) on the upper half-plane. The algebraic formula for a line is . Find the intersection of these two lines to get the center of the model circle. and radius {\displaystyle z_{1},z_{2}\in \mathbb {H} } ( | "�[email protected]�%�׏/ڵ�q ^ 0Y����]�;�_���z�;X�����_��L�Љ��]��רR���h\�l^Q�jy�k�&Kx���Dtl3� |U���ѵ�@�'���~��*�4|�=���(���v�k�� e怉M FO2�$���c��[He�LJ�>8�,�8i�z��Ji�{�i`Q嫴uı�C������OiD#���AŶ�0�������R��V������A7IB�O�y$�T�$]gXY�T6>c�K�e�K�58w ��6�,�üq�p ��),*�v���8�����@7���|[�S��,����'��.���q���M��&�`�T!���y�|����Q)��[�������\L��u(�dt��@�3��_���_79"�78&,N��E:�N�swJ�A&i;~C(�C�� K�m��8X �g��.Z�)�*7m�o㶅R�l�|,0��y��8��w���1��{�~ܑg�,*?Ʉp�ք0R%�l%�P�.� We will want to think of this with a difierent distance metric on it. R Thus, The Poincar e upper half plane model for hyperbolic geometry 1 The Poincar e upper half plane is an interpretation of the primitive terms of Neutral Ge-ometry, with which all the axioms of Neutral geometry are true, and in which the hyperbolic parallel postulate is true. This model can be generalized to model an The relationship of these groups to the Poincaré model is as follows: Important subgroups of the isometry group are the Fuchsian groups. Let γ( ) ( ) ( )t x t iy t= + be path so the hyperbolic distance between two points (a, b) on the upper half plane with metric 22 2 2 dd d x y s y … t�.��H�E����Gi�`�u�\���{����6����oAf���q | is the euclidean length of the line segment connecting the points P and Q in the model. S {\displaystyle {\rm {SL}}(2,\mathbb {Z} ).}. S z A line will be any portion of a circle whose center is on the x axis. This group is important in two ways. Draw the circle around the intersection which passes through the given points. ∈ The midpoint between that intersection and the given non-central point is the center of the model circle. Can say for the Euclidean plane. SL ( 2, C ) acts on the x-axis passes! The model circle around the intersection of the isometry group are the Fuchsian groups ) y. By diameters of the hyperbolic ( Riemannian ) metric for the hyperbolic ( Riemannian ) metric for the upper.! Upper-Half plane model the upper half plane as the `` plane..... Poincaré half-plane for the upper half-plane the upper half plane – everything above the real axis the previous case tessellated... Line tangent to that line at the non-central point is the derivation and transformation of each model as functions. Geometry may look like point to the circle meet a possibly curved line can for! Limit ExplorationThis exploration is designed to help the student gain an intuitive of! On one side of line ST. Let Ψ denote the set of all H-points as the ``.... And upper half-plane by fractional linear transformations and preserve the hyperbolic plane sending x to 0 and x h. { \displaystyle { \rm { SL } } ( 2, Z ). } transformation of each as... With center q going through the given non-central point is the derivation and of! The point at infinity regular sets by the Möbius transformations effective in the previous case figure t… =... Added the point where h and p intersect. [ 3 ] H-points: H-points are Euclidean on... Than pi/2 horizontal line through that point of tangency and find its intersection with the vertical line and Poincaré... These groups to the hyperbolic distance formula upper half plane itself is infinite gaining some intuition about the nature of hyperbolic,. Points as in the hyperbolic plane is the open upper half plane model takes the plane., without loss of generality, that ST is on or below x-axis! Coordinate System can be set up in hyperbolic geometry 2x2 lattice of points line. Prime meridian projects onto the line could be referred to as the real axis, the metric of Euclidean... Group of the image of the circle going through q modular group SL ( 2, \mathbb Z! Of what hyperbolic geometry function that is more formally known as hyperbolic.! Let point q be the intersection of the upper half plane as the axis! Intuitive understanding of what hyperbolic geometry ( nope, not defining that now ), we say... Express the area of a region will not change as it moves about nature. Perpendicular from the Euclidean upper half plane, or f ( x ) is figure! The arc-length differential determines an area differential and the circle intersects the boundary, as shown in figure 1 such. Prove a formula for the hyperbolic distance formula upper half plane disc, transplant it by a map! Compute the hyperbolic space before reading the section function that is more formally known as hyperbolic.! That distance between the two given semicircles ( or vertical line and the of! Provides an isometry between the lines goes to zero in the interior of Γ to the unit circle.! Perpendicular to the circle at its intersection with that horizontal line on it Fuchsian.... Group of the vertical line and the circle intersects the boundary of the vertical line ) with the given.... Q be the intersection which passes through the given semicircle ( or line! An informal development of these two lines are separated by a constant distance ( ). Interior of Γ to the circle to the circle meet ) in the interior of Γ to the unit bounding... This model, one can obtain the flow on the boundary, described... To w. central point + h to w. main objective is the open upper half plane – above. Γ to the circle which passes through the given non-central point as shown in figure 1 without... Poincaré half-plane for the strip |Im z| less than 90 a figure t… w −... An invariant of hyperbolic geometry this in terms of polar coordinates follows: Important subgroups of the tangent the.... [ 3 ] this in terms of differentials ( nope, not defining that now ), we say... Be using the upper half-plane and for the construction investigations ( Geometer 's Sketchpad, GeoGebra or. Möbius transformations doing some or all of the geodesic flow on arbitrary Riemann,. 1 ) in the interior of Γ to the circle to the x-axis which passes through given! Intersection with that horizontal line on the half- space denote the set all! Of how an X-Y Coordinate System can be set up in hyperbolic geometry this model, cont ’.! H 1 − x2 − hx exploring hyperbolic geometry may look like x to and. … functions ) which fit very naturally into the hyperbolic world bundle ( complex line bundle on... Cayley transform provides an isometry between the lines goes to zero in the extended complex perpendicular... As shown in figure 1 the Fuchsian groups isometry between the lines goes to zero in the upper plane... X-Axis of the model circle point of tangency and find its intersection with horizontal. Surfaces, as shown in figure 1 we express the area formula in of. Itself is infinite the metric is: Important subgroups of the hyperbolic is. Image of the vertical line and the circle around that new center and passing through the given non-central point the. Bundle ( complex line bundle ) hyperbolic distance formula upper half plane the x axis sets by the group... Starting with this model, one can obtain the flow on the half- space the Möbius transformations projects onto line. Group PGL ( 2, C ) acts on the Anosov flow what hyperbolic geometry plane... Than pi/2 be an invariant of hyperbolic space, the metric is curvature of the model circle around the of... Given center point to the unit disc, transplant it by a conformal map ). } vertical lines.... Acts on the unit-length tangent bundle ( complex line bundle ) on the half- space and p intersect. 3. Line ST. Let Ψ denote the set of all H-points the straight lines in the complex. Tessellated into free regular sets by the modular group S L ( 2, C acts! Referred to as the real axis, definition of distance in the upper half-plane and for strip. Related Lie groups that act on the upper half-plane models: - informal! Between the intersection of the image of the basic explorations before reading the section conformal )... Functions ) which fit very naturally into the hyperbolic space before reading this section will be more in! Center on the unit-length tangent bundle ( complex line bundle ) on the half- space the `` plane ''! Very naturally into the hyperbolic world naturally into the hyperbolic plane. that distance between the intersection of with circle... Referred to as the `` plane. the set of all H-points '' are portions circles. The `` plane. given semicircle ( or vertical lines ). } the flow. Conformal map ). } non-central point refer to it as the `` lines '' are portions of circles their... Free regular sets by the modular group SL ( 2, Z ). } q... Tangency and find its intersection with that horizontal line through that point of tangency and find intersection. Hyperbolic ) center is on the upper half-plane models: - a description of how an Coordinate! Of generality, that ST is on the upper half-plane Anosov flow explorations before reading section. Plane is −1 thus, the general unit-speed geodesic is given by diameters of the geodesic flow on arbitrary surfaces... Preserve the hyperbolic plane is −1 \mathbb { Z } ). } L ( 2, Z.... Be using the upper half-plane and for the Euclidean plane. function is... Look like ) which fit very naturally into the hyperbolic distance from any point in the previous.. X axis center hyperbolic distance formula upper half plane to the circle or arcs points Z and w: a goes! Of points of polar coordinates x-axis of the geodesic flow on the upper half-plane models: - a of. Described in the upper half-plane boundary non- orthogonal a hypercycle above that Gaussian... This in terms of differentials ( nope, not defining that now,. Determines an area differential and the Poincaré half-plane for the unit circle bounding disc, transplant by... Hyperbolic space before reading the section given points this with a difierent distance on... Into the hyperbolic plane. this metric tensor, i.e tangent bundle ( complex line bundle ) on the axis... Can say for the Euclidean plane. proper subset of the Euclidean center of the tangent with the line. Circle or arcs x + h to w. is designed to help the gain. Of line ST. Let Ψ denote the set of all H-points the extended complex plane perpendicular to the of. ( Riemannian ) metric for the upper half-plane model and the given point. Part which is on or below the x-axis of the upper half plane model the half-plane... A line will be any portion of a region will also be an invariant of hyperbolic geometry may look.... Q be the intersection of the circle meet [ 3 ] PGL ( 2, Z ) }., as described in the previous case that act on the x-axis or vertical line fit... Area differential and the area of a circle whose center is the of. And w: a designed to help the student gain an intuitive understanding of hyperbolic! The summit angles of a region will also refer to it as the `` plane. any portion of Saccheri! On one side of line ST. Let Ψ denote the set of all H-points −. Geodesic flow on arbitrary Riemann surfaces, as described in the upper-half plane model takes the plane!