One such model of hyperbolic geometry is the disk model by henri poincare. Hyperbolic geometry, mobius transformations, and geometric. In the poincare disc model of the hyperbolic plane, lines are represented by circular arcs orthogonal to the boundary of the closure of the disc. Mar 07, 2011 the poincare 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 disks boundary. In this model, lines are either diameters of the disk or the intersection of a circle c c c with the disk, where c c c is perpendicular to the unit circle at its two points of intersection. Hyperbolic geometry in the high school geometry classroom. Ilo7 use poincares theorem to construct examples of fuchsian groups and. The exercises below are meant to explore basic principles, without. This survey course will not develop or prove any of the concepts in hyperbolic geometry. Solving for angle of hyperbolic triangle in poincare disk. Custom tools allow you to create constructions in the hyperbolic. In addition, poincares other models of hyperbolic geometry poincare disk model, poincare halfplane model as well as the beltramiklein model can be related to the relativistic velocity space see gyrovector space. Dynamic visualization of hyperbolic geometry in the poincare disk model.
This sketch from sketchpads samples collection depicts the hyperbolic plane using the poincare disk model, in which a line through two points is defined as the euclidean arc passing through the points and perpendicular to the circle. Poincare embeddings for learning hierarchical representations. Everything from geodesics to gaussbonnet, starting with a. This is a set of notes from a 5day doityourself or perhaps discoverityourself intro. Recall that saccheri introduced a certain family of quadrilaterals. Start with some basic definitions for the poincare disk model.
Learning continuous hierarchies in the lorentz model of. Trigonometry in the hyperbolic plane ti ani traver may 16, 2014 abstract the primary objective of this paper is to discuss trigonometry in the context of hyperbolic geometry. Hyperbolic geometry and the poincare disk 3 so if d is the unit disk, then inversion with respect to c maps d to itself and hence is an element of the hyperbolic transformation group. In addition three other models poincare halfplane, beltramikleinhilbert. If it is to be a euclidean object that we use to study the hyperbolic plane, h 2, then we. Hyperbolic geometry is an imaginative challenge that lacks important. The thin black lines meet at a common point and do not intersect the thick blue line, illustrating that in the hyperbolic plane there are infinitely many lines parallel to a given line passing through the same point. In order to accomplish this, the paper is going to explore. The poincar e disk model is a model for hyperbolic geometry that uses euclidean geometry. In 1892 poincare developed a mathematical theory of light including polarization. Eric moorhouse foundations of geometry, inversive plane geometry pdf.
We begin with the 6, 4 poincare hyperbolic disk, meaning that each tile has n 6 sides and m 4 tiles meeting at each vertex. It turns out that these reflections generate all the maps in \\cal h\text. So inversion with respect to such clines is fundamental. Surely it cannot be by just looking at the euclidean plane in a slightly di. Hyperbolic geometry used in einsteins general theory of relativity and curved hyperspace. Poincare hyperbolic disk wolfram demonstrations project.
There are two types of lines in the poincar e disk model illustrated on figure 1. In 1829, lobachevsky provided the rst complete stable version of a noneuclidean geometry, and later mathematicians like poincare developed. Compass and straightedge in the poincare disk citeseerx. Hyperbolic geometry is not limited to 2 dimensions. Using a conformal mapping that takes the x x xaxis to the unit circle gives a model of hyperbolic geometry contained inside the unit disk. Of hyperbolic geometry in this lecture, we begin our study of the most popular of the noneuclidean geometries hyperbolic geometry, concentrating on the case of dimension two.
Since the rays of hyperbolic geometry are curved, the measurement of the angle between them is the measure of the euclidean angle between the rays, as shown in figure 4. This paper concerns hyperbolic geometry as described by the poincare disk model. I am working out an example problem trying to find the angles of a hyperbolic triangle in the poincare disk model. I just tried out your environment and it is really nice. Noneuclid hyperbolic geometry article and javascript. In geometry, the poincare disk model, also called the conformal disk model, is a model of ndimensional hyperbolic geometry in which the points of the geometry are in an ndimensional disk, or unit ball, and the straight lines of the hyperbolic geometry are segments of circles contained in the disk orthogonal to the boundary of the disk, or. For curved arcs, midpoints are closer to the origin. This allows us to connect the network structure to the popularityvssimilarity model of papdopoulos et al.
A triangle in hyperbolic geometry is a polygon with three sides, a quadrilateral is a polygon with four sides, and so on, as in euclidean geometry. The plane in the poincar e disk model consists of all points strictly inside c. The study of hyperbolic geometryand noneuclidean geometries in general dates to the 19th centurys failed attempts to prove that euclids fifth postulate the parallel. I made these tools mainly to help someone who is currently doing a masters in the area of hyperbolic geometry. Math32052 hyperbolic geometry manchester maths department. Hyperbolic geometry on the halfplane and poincare disc aiden sheckler may 2018 abstract the extension from the comfortable euclidean plane to a noneuclidean space is both an attractive and a daunting one. Hyperbolic point point in unit disk hyperbolic line circular arc meeting unit disk at right angle can map each model tofrom hyperbolic space and each other. On the hyperbolic plane, given a line land a point pnot contained by l, there are two parallel lines to lthat contains pand move. The poincare disk model or poincare ball model, also called the conformal disk model, is a model of ndimensional hyperbolic geometry in which the points of the geometry are in an ndimensional disk. Hyperbolic geometry 63 we shall consider in this exposition ve of the most famous of the analytic models of hyperbolic geometry. This demonstration allows you to specify two endpoints and the level of recursion for. A curriculum is being built step by step, with much work, without trampling anyone. However, his use of this geometry and its group of isometries was so staggering that the name poincar. I can tell since when i graph an ellipse in my poincare disk, i have to wait a few seconds, and when i graph it in yours, its instantaneous.
From that one can eventually deduce that the first four eulidean axiom as well as the hyperbolic version of the axiom of parallels do hold. In fact, besides hyperbolic geometry, there is a second noneuclidean geometry that can be characterized by the behavior of parallel lines. Visualization algorism for tree on poincare disk pdf toshio tonouchi, department of. A hyperbolic line is a circle arc which is perpendicular to the unit disk. Use of models of hyperbolic geometry in the creation of. The second model that we use to represent the hyperbolic plane is called the poincare disk model, named after the great french mathematician, henri poincare 1854 1912 this model is constructed starting from the previous one. Noneuclid is java software for interactively creating straightedge and collapsible compass constructions in both the poincare disk model of hyperbolic geometry for use in high school and undergraduate education. Any computational geometry algorithm using only circles and angles.
This page explains how to create an interesting design from the poincare hyperbolic disk using only conformal mappings angle preserving transformations. In geometry, the poincare disk model, also called the conformal disk model, is a model of 2dimensional 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. The foundations of hyperbolic geometry are based on one axiom that replaces euclids fth postulate, known as the hyperbolic axiom. A drawing package for poincare s disk model of the hyperbolic plane carl eberhart, math. The area of triangles in hyperbolic geometry applet adam s. The setting is the poincare disk model of the hyperbolic plane. Let us now describe the poincare disk model for hyperbolic geometry.
This demonstration allows you to specify two endpoints and the level of recursion for viewing arcs on the hyperbolic disk. Rosien, the geometry center, university of minnesota. Instead, lines are represented by arcs of circles that are orthogonal p erpendicular to the circle defining the. Advanced sketch gallery the geometers sketchpad resource. Ma 408 computer lab two the poincar e disk model of. But is seems much less known, that it is much easier to implement tools for the minkowski geometry than for the full hyperbolic geometry and because the min. There are some models to help visualize hyperbolic geometry. When doing hyperbolic geometry using the poincare disc model, angles are measured the same way as in euclidean geometry, but distances are not. The second model that we use to represent the hyperbolic plane is called the poincare disk model, named after the great french mathematician, henri poincare 1854 1912.
If your interested, i used the intersections of my lines at infinity to the unit circle to compute my distances. Diy hyperbolic geometry kathryn mann written for mathcamp 2015 abstract and guide to the reader. Ive seen several different ways to measure distance on the poincare disk i. These inversions play an important role in hyperbolic geometry, and we give them a name. I can tell you that i dont use the tools i developed to make geometry on the poincare disk. The geodesic segments are called the sides of the polygon. Hyperbolic geometry springer undergraduate mathematics. Hyperbolic geometry 1 hyperbolic geometry johann bolyai karl gauss nicolai lobachevsky 18021860 17771855 17931856 note. We need a model with which we could study the hyperbolic plane. Due to the negative curvature of the space, geodesics between points are arc that are perpendicular to the boundary of the disk.
Pdf dynamic visualization of hyperbolic geometry in the. A point of the hyperbolic plane is a point inside the unit disk. Three are conformal models associated with the name of henri poincar e. A conformal model is one for which the metric is a pointbypoint scaling of the euclidean metric. Hyperbolic geometry on the halfplane and poincare disc. This is a set of notes from a 5day doityourself or perhaps discoverityourself introduction to hyperbolic geometry. A model of hyperbolic geometry that is intermediate between the poincare model and the klein model may. Homogeneous structure edit hyperbolic space of dimension n is a special case of a riemannian symmetric space of noncompact type, as it is isomorphic to the quotient. Hyperbolic geometry student theses faculty of science and.
In network science, hyperbolic spaces have started to receive attention as they are wellsuited to model hierarchical data. Notice that if c is a line intersecting the unit circle at a right angle, then it also maps d to itself. A polygon in hyperbolic geometry is a sequence of points and geodesic segments joining those points. Hyperbolic geometry springer undergraduate mathematics series by james w. We avoid the intricacies of the axiomatic approach which will only be sketched in chapter 10 and define hyperbolic plane geometry via the beautiful poincare. I was wondering what your method was for computing distances and finding an equation of a hyperbolic circle. It is, for instance, associated with minkowski spacetime in special relativity.
Points, lines, and triangles in hyperbolic geometry. Poincare disc model, convex subsets of the hyperbolic plane, and the gaussbonnet formula for the area of a hyperbolic polygon and its applications. Hyperbolic geometry, mobius transformations, and geometric optimization david eppstein school of information and computer science university of california, irvine. Circles and spheres in hyperbolic space correspond to circles and spheres in the model angles between curves or surfaces correspond to same angles in the model distance, straightness, convexity, circle centers, etc. Hyperbolic axiom 1 let there be a line l and a point p such that p does not lie on l. Given a hyperbolic line and a point not on it, there are infinitely many hyperbolic lines through the point that are parallel to the given hyperbolic line.
1280 413 820 582 1147 1369 160 38 486 832 189 268 1109 176 1132 149 815 1418 1462 1569 524 848 371 1251 414 770 741 716 746 580 640 714