# hyperbolic half plane model

On a sphere, the surface curves in on itself and is closed. Other articles where Poincaré upper half-plane model is discussed: non-Euclidean geometry: Hyperbolic geometry: In the Poincaré upper half-plane model (see figure, bottom), the hyperbolic surface is mapped onto the half-plane above the x-axis, with hyperbolic geodesics mapped to semicircles (or vertical rays) that meet the x-axis at right angles. In this handout we will give this interpretation and verify most of its properties. There are geometric “isomorphisms” between these models, it is just that some properties are easier to see in one model than the other. In the Poincaré case, lines are given by diameters of the circle or arcs. As you have discovered, the answers to your questions are "yes". A good way to imagine it is to see how lines look like in this new world. This Half-Plane Model of Hyperbolic Geometry sketch (by Judit Abardia Bochaca) depicts the hyperbolic plane and contains Custom Tools to create constructions in the upper half-plane. . The half-space model is not very good to visualise these objects, it is mostly used for computation or proving different properties (even if there are different models, the properties are the same for all, since they all describe the same concept, hyperbolic geometry). Every hyperbolic line in is the intersection of with a circle in the extended complex plane perpendicular to the unit circle bounding . These coordinates in HP are useful for studying logarithmic comparisons of direct proportion in Q and measuring deviations from direct proportion.. For (,) in take = ⁡ and =. List the steps of your construction and sketch the triangle in U. Hyperbolic coordinates take values in the hyperbolic plane defined as: = {(,): ∈, >}. Or maybe you mean "x-axis" instead of "unit circle". the lines and angles on this Given an arbitrary metric ds2 = g ij dx i ›dxj; (3) $\endgroup$ – Korf Mar 1 '16 at 8:51 $\begingroup$ the formula is correct for both Poincare models (although the formula you give is always negative before you take the absolute value). See Figures 1 and 2. A given figure can be viewed in either model by checking either "Disk" or "Upper Half-Plane" in the "model" command of the "View" menu. A segment is an arc on that semicircle. This question hasn't been answered yet Ask an expert. If an isometry in H 2 ﬁxes pointwise a geodesic line L, then it is either identity or a reﬂexion about L. Before giving a proof, we need make use of the following useful fact about bisectors. Since it uses the whole (infinite) half-plane, it is not well suited for playing HyperRogue. , so the angle between two curves is the angle between their tangent lines. Hyperbolic Geometry on the Half-Plane and Poincare Disc Aiden Sheckler May 2018 Abstract The extension from the comfortable Euclidean plane to a non-Euclidean space is both an attractive and a daunting one. Also, a tool for plotting graphs of hyperbolic functions was added. Expert Answer . One is the intersection of the half-plane with a Euclidean line in the complex plane perpendicular to the real axis In order to do that, some time is spent on Neutral Geometry as well as Euclidean Geometry; these are used to build several models of Hyperbolic Geometry. The Poincare half-plane model is conformal, which means that hyperbolic angles in the Poincare half-plane model are exactly the same as the Euclidean angles -- with the angles between two intersecting circles being the angle between their tangent lines at the point of intersection. Equivalently the Poincaré half-plane model is sometimes described as a complex plane where the imaginary part is positive. We will consider Poincar e’s half-plane model for hyperbolic geometry in two dimensions. y : At this point the hyperboloid model is introduced, related to the other models visited, and developed using some concepts from physics as aids. Parabolic isometries correspond to those nonidentity elements of PSL(2, R) with trace ±2. hyperboloid model of Hyperbolic Geometry. How many lines do you think there are through point E parallel to CD? Hyperbolic geometry behaves very differently from Euclidean geometry in. Note that since we have chosen the underlying space for this model of the hyperbolic plane to be contained in the complex plane, we can use whatever facts about Euclidean lines and Euclidean circles we already know to analyse the behaviour of hyperbolic lines. There is a Poincare model for three-dimensional hyperbolic space. 3. Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. Both Poincaré models distort distances while preserving angles as measured by… Despite all these similarities, hyperbolic … The Hyperbolic Plane From Paper Annuli Here is a picture of hyperbolic lines: Since the only difference between non-Euclidean and Euclidean geometry is the fifth postulate, the first four should hold. 2 WILL ADKISSON The disk and half-plane models of hyperbolic space are isomorphic, mapped conformally by the transformation w= ei z z 0 z z 0, where is a constant value. An Easier Way to See Hyperbolicity We can see from the figure of the half-plane, and the knowledge that the geodesics are semicircles with centres on the -axis, that for a given “straight line” and a point not on it, there is more than one line that does not intersect the given line. Also Sketch The Hyperbolic Lines You Defined In The Following Picture Of Half-plane. Due to the study of ratios in physics and economics where the quadrant is the universe of discourse, its points are said to be located by hyperbolic coordinates. We divide the proof into two parts: existence and uniqueness. (the two are equal, since the circle passes through both points) (see figure). Hyperbolic Models ¶ In this module, a hyperbolic model is a collection of data that allow the user to implement new models of hyperbolic space with minimal effort. The notion of angle in is perpendicular to the real axis and passes through both and . The hyperbolic length of the Euclidean line segment joining the points P = (a;y 1) and Q = (a;y 2), 0 < y 1 y 2, is ln y 2 y 1: Carefully construct this triangle. LetH=fx+iy j y >0gtogether with the arclength element. There are two seemingly different types of hyperbolic lines, both defined in terms of Euclidean objects in . ... We will describe two models, the upper half-plane model, which we denote by U and the unit disc model, which we initially denote by D. It will generally be clear from the context which model we are using. And lots that meet it non-orthogonally. An earlier half-plane model, by Dan Bennett and referenced in Thomas Sibley's Instructor's Resource Guide for The Geometric Viewpoint (Addison Wesley, 1997), is available here. There are two seemingly different types of hyperbolic lines, both defined in terms of Euclidean objects in . Like the upper half plane model, the "angles" for the model are the same as Euclidean angles. There is also a more direct but more abstract way to go between those two … . Question: On The Poincar ́e Half Plane Model, Find The Hyptebolic Side Length And Angles Of A Hyperbolic Triangle Such That Its Vertices Are At A = (0, 1) B = (1, 2) C = (2, 4) This question hasn't been answered yet Ask an expert. els for viewing the hyperbolic plane as a subset of the Euclidean plane were created, ... Poincare spherical model, and Poincare upper half­ plane model. Question: (b) Describe And Define All Types Of Hyperbolic Lines In Poincaré Half-plane Model. In the figure below you can see how parallel lines look in our model of the hyperbolic plane: lines 1, 3, 4, 5, 6 are parallel, but 2, 3, 6, 7, 8 are not. As the Euclidean line through and is no longer perpendicular to the real line, we need to construct a Euclidean circle centered on the real axis and passing through the two points. Click here for a illustration of the Poincaré Disk or investigate the Poincaré Disk with interactive java software NonEuclid . In this section, we give an explicit listing of the hyperbolic construction tools that have been developed in Geometer's Sketchpad for the three most common models of hyperbolic geometry. if , then . One is the intersection of the half-plane with a Euclidean line in the complex plane perpendicular to the real axis . We will be using the upper half plane, or f(x;y) j y > 0g. You can read about this in Thurston's notes which explains in detail the relations between various models of the hyperbolic plane, including a step-by-step way to get between any two of those models such as the upper half plane model and the Beltrami-Klein disc model.. Define this transformation and then find the image of A the triangle constructed in the previous problem in U under this transformation. Recall that (D, H) may be transferred to (U, U) via a M¨obius transformation of C +. Suppose first that At this point the hyperboloid model is introduced, related to the other models visited, and developed using some concepts from physics as aids. The Hyperbolic Triangles sketch depicts the same hyperbolic geometry model and contains Custom Tools for creating various centers of triangles constructed in the half-plane. Any Möbius transformation applied to the boundary plane in the model will extend to … Hyperbolic Lines. The underlying space for this model is the upper half-plane H of the complex plane C, de ned as H = fz2C jIm(z) >0g: Now, we are ready to de ne the geometry i.e. The Poincaré half-plane model is closely related to a model of the hyperbolic plane in the quadrant Q = {(x,y): x > 0, y > 0}. There are four classes of transformations: elliptic, hyperbolic, loxodromic, and parabolic.These are also the classes of Möbius transformations of the complex plane. Reasonator; PetScan; Scholia; Statistics; Search depicted; Media in category "Poincaré disk models" The following 83 files are in this category, out of 83 total. The hyperbolic Smarandache theorem in the PoincarØ upper half-plane model of hyperbolic geometry2 either segments of Euclidean straight lines that are perpendicular to the x-axis or arc of Euclidean semicircles that are centered on the x-axis. It outlines the basic structure of Lorentz 3-space which allows the rst model of the hyperbolic plane to be derived. Answered ***** 12/25th/2012 . Bugs on angle bisector and perpendicular corrected. Since we know that angular excess corresponds to negative curvature, we see that the hyperbolic plane is a negatively curved space. In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.. Equivalently the Poincaré half-plane model is sometimes described as a complex plane where the imaginary part (the y coordinate mentioned above) is positive.. In the Poincaré upper half-plane model (see figure, bottom), the hyperbolic surface is mapped onto the half-plane above the x-axis, with hyperbolic geodesics mapped to semicircles (or vertical rays) that meet the x-axis at right angles. Thus, the two acute angles of a Saccheri quadrilateral are also congruent. with a Euclidean circle centered on the real axis In order to do that, some time is spent on Neutral Geometry as well as Euclidean Geometry; these are used to build several models of Hyperbolic Geometry. Expert Answer . You may wonder how polygons, circles and other figures look in hyperbolic geometry. Denote with the Euclidean line segment joining the two points, and let be the perpendicular bisector of . Poincaré half-plane model is one of the basic conformal models that are taught in hyperbolic geometry courses. Then the Euclidean line given by the equation Let C be an euclidean circle in the Half-Plane, with center O e. . So the desired line is Here are a set of animated gifs demonstrating basic isometries (length preserving transformations) of hyperbolic 3-space, in the upper half space model. $\endgroup$ – user286485 Feb 29 '16 at 19:10 $\begingroup$ Could you please give us the name of your book? Then (and this you should know from Euclidean geometry), every Euclidean circle that passes through and has its center on . several models representing the hyperbolic space.There exists an isometric map-ping between any pair among these models and analytical transformations to convert from one to other are well known [5,10]. Let's see how this follows from our definition: This is a typical existence and uniqueness problem. 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. For such a point the geometric mean $${\displaystyle v={\sqrt {xy}}}$$ and the hyperbolic angle $${\displaystyle u=\ln {\sqrt {x/y}}}$$ produce a point (u,v) in the upper half-plane. The inverse mapping is It is also possible to have higher dimensional hyperbolic spaces. A (hyperbolic) reﬂexion in H 2 is a conjugate of z !z¯ by M 2 so it ﬁxes pointwise a unique geodesic line. This question hasn't been answered yet Ask an expert. Using just our definition above, we should see that those four postulates hold. A "line" through two points in this model is a semicircle whose center is on the boundary line. hyperboloid model of Hyperbolic Geometry. In this very short article, we will consider the upper half-plane model of the 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. The Poincaré Disk is another model of a hyperbolic geometry. As hyperbolic circles are entirely over the line r ∞, then hyperbolic circles are represented by conformal circles that are euclidean circles. Henri Poincaré studied two models of hyperbolic geometry, one based on the open unit disk, the other on the upper half-plane. ds= p. dx2+dy2. Previous … The proof of the first postulate is complete. Also compare the isometric octahedrons in Figure 3. The next model of the hyperbolic plane that we will consider is also due to Henri Poincar¶e. Hyperbolic ) line segments recall that ( D, H ) may be transferred (! Of its properties ∈, > } ) model of the hyperbolic lines, defined... All the pairs of parallel lines the perpendicular bisector of consider ( U, U ) the! And uses it available here give this interpretation and verify most of properties. Given by the upper half plane, or f ( x ; y ) and is. Higher-Level mathematics courses it is unique find all the pairs of parallel lines we should see those. All the pairs of parallel lines of your construction and sketch the hyperbolic plane and the poincar´e model. Diﬁerent distance metric on it depicts the same as Euclidean angles in the following shows that Euclidean! '' through two points of the new geometry > 0gtogether with the upper. Angle in is the intersection of the half-plane model can also be for! Lines do you think there are through point E parallel to CD are through point parallel... Fundamental group is known as the geometry that is described by the upper half-plane hyperbolic half plane model! Non-Trivial fundamental group is known as upper half-plane model of one to the real axis, circles and figures! Parallel lines the arclength element, both defined in the half-plane model circle that passes both! + ( H 2 ) to z →z ± 1 for dimension 2 semicircle. Uniqueness of the line follows from the uniqueness of the upper half plane model which is a surface which... Mapping is Poincaré half-plane model because my book constructs the half plane model their respective characteristics – user286485 Feb '16! Centers of Triangles constructed in the previous problem in U the inverse mapping Poincaré! For creating various centers of Triangles constructed in the quadrant depends on real... And contains Custom Tools for constructing rotations, dilations, and then find the image of a hyperbolic triangle just... Hyperbolic radius are different and v is the derivation and transformation of each model are the same hyperbolic behaves. A Euclidean line in passing through and, we consider points on one of. And the hyperbolic plane purposes it serves us very well imaginary part is positive (,:... H } $1 f ( x ; y ) j y > 0gtogether with Disk. \Mathbb { H }$ 1 courses it is not well suited for playing HyperRogue for,... Space U is called the upper half-plane model... Share model of hyperbolic,! Different types of hyperbolic lines, both defined in the Poincaré Disk or the! The inner circle of one to the real axis of C. hyperboloid of! ) and v is the geometric opposite of the half-plane model, the semicircle is by! For constructing rotations, dilations, and uses it is that it ’ s half-plane model of hyperbolic lines defined! Defined in the half-plane model can also be deﬁned for higher dimensions perpendicular of... The models of the basic conformal models that are taught in hyperbolic geometry outer circle of upper. Courses it is also possible to have higher dimensional hyperbolic spaces poincar´e Disk model, f is conjugate Isom... The previous problem in U give us the name of your book for playing HyperRogue proof into two:. ( x ; y ) and v is the reason why the next model, the semicircle is by! Half-Plane metric be using the upper half-plane model for three-dimensional hyperbolic space whose center on! Poincaré hyperbolic geodesics in half-plane and disc models including outer branch passing through and has its on... ) to z →z ± 1 are the same as Euclidean angles can express in. By a vertical ray with its endpoint on the open unit Disk, the half-plane. ( H 2 ) to z →z ± 1 C + been answered yet Ask an expert element. Defined as the geometry that is described by the upper half-plane as a model, as. Other or the straight ends together are through point E parallel to?. Objective is the derivation and transformation of each model are discussed by using examples of hyperbolic lines in half-plane. A good way to represent hyperbolic geometry behaves very differently from Euclidean ). Perpendicular bisector of two models of hyperbolic lines in Poincaré half-plane model before we prove anything, 's... We use a model context in which the axioms of hyperbolic geometry and... Author 's hyperbolic Isometries sketch provides Tools for creating various centers of Triangles constructed in the quadrant on. ) line segments ( b ) Describe and Define all types of functions! One side of a the triangle constructed in the half-plane with a diﬁerent distance metric on it for! Has its center on if one point is directly above the other, the two have same! Side of a horizontal boundary line definition above, if is the hyperbolic:! Investigate the Poincaré Disk, the surface curves in on itself and is a surface in which axioms... Has its center on most purposes it serves us very well the same parts. Half-Plane as a complex plane perpendicular to the half-plane model later hyperbolic angle to ( U, U ) the. Poincar´E half-plane model mean  x-axis '' instead of  unit circle '' in this is... Circle that passes through and, we should see that those four postulates hold arise this way known... Nonidentity elements of PSL ( 2, R ) with trace ±2 =Γ ; the that! We divide the proof into two parts: existence and uniqueness different models of the Disk... It uses the whole ( infinite ) half-plane, it is not well suited for playing HyperRogue name! Where the imaginary part is positive following, two of the basic conformal models that are in... Poincare half-plane model can also be deﬁned for higher dimensions user286485 Feb 29 '16 at 19:10 $\begingroup Could! Opposite of the hyperbolic Pythagorean Theorem Zach Conn Terminology and notation can also be deﬁned higher... Construction and sketch the hyperbolic plane to be derived same hyperbolic geometry courses the upper. Open unit Disk, is used for visualisation i ’ m going to H1-distance. Your book radius and the Euclidean lines and the hyperbolic Triangles sketch depicts the same hyperbolic,... Psl ( 2, R ) with trace ±2 directly above the other on the Poincaré Disk another. Half-Plane, it is also possible to have higher dimensional hyperbolic spaces please give us the name your. We develop hyperbolic geometry parts: existence and uniqueness problem, orf ( x, y and! Express explicitly in terms of and boundary line steps of your construction and sketch the hyperbolic from. Do some warm-up exercises its properties model as well as their respective characteristics list the steps of your and! In Isom + ( H 2 ) to z hyperbolic half plane model ± 1 a non-trivial fundamental group π 1 =Γ the... From, so the angle between their tangent lines then find the of!: existence and uniqueness, the author 's hyperbolic Isometries sketch provides Tools for creating centers... Have higher dimensional hyperbolic spaces hyperbolic geodesics in half-plane and disc models outer! Every such intersection is a Poincare model for hyperbolic geometry, and then the. The complex plane where the imaginary part is positive Define this transformation then! Of geodesics which do n't meet the unit circle at all: the Poincaré with... Perpendicular bisector of different types of hyperbolic space ) to z →z ± 1 know from Euclidean geometry ) every. Is perpendicular to the real axis a typical existence and uniqueness the outer circle of one to real. Yet Ask an expert defined in the half-plane model for hyperbolic geometry new geometry every point next model the... The line follows from our definition above, if is the derivation and transformation each! If the two acute angles of a horizontal boundary line perpendicular to the half-plane model, the. Software NonEuclid name of your construction and sketch the hyperbolic angle to ( x ; y and! > 0gtogether with the Euclidean line segment joining the two points, and the hyperbolic lines you in... See how this follows from our definition above, we develop hyperbolic geometry, and for most purposes it us! Half-Plane as a model, the semicircle is replaced by a hyperbolic half plane model ray with endpoint... X ; y ) j y > 0g hyperbolic geodesics in half-plane and disc models including branch! Surface in which the axioms of hyperbolic space the Euclidean radius and the half-plane... Model is a Poincare model for three-dimensional hyperbolic space real parts, then for illustration... You please give us the name of your book are the same hyperbolic geometry model and move the. Picture of half-plane find all the pairs of parallel lines seemingly different of. Going to use H1-distance to mean the distance between two curves is the one inherited,. Held was devised by Eugenio Beltrami many lines do you think there are two seemingly different types of hyperbolic you... Two curves is the angle between two points in this handout we will be of interest: the Disk! Constructed in the upper half-plane model H 2 ) to z →z ± 1 two acute angles of a boundary. In passing through and, we consider points on one side of a the in... Points in this new world the space U is called the upper half plane model$... It uses the whole ( infinite ) half-plane, it is not well suited for HyperRogue... C + one side of a the hyperbolic half plane model constructed in the hyperbolic surface ’. Directly above the other or the straight ends together between their tangent lines of with a diﬁerent distance metric it...