So the discriminiant is negative as expected, unless $\sin\tfrac\varphi2=0$ which means $\varphi\in2\pi\mathbb Z$ in which case the “rotation” is in fact the identity. To determine these curvatures for the hyperbolic tilings considered here, we make use of the Poincaré disk model conformal mapping of the 2D hyperbolic plane with curvature 1 onto the. It starts with a brief history of the development of hyperbolic geometry and the mathematicians who contributed their explorations of the hyperbolic plane. Via stereographic projection (Figure 1.1), S2 is homeomorphic to the extended plane C, and we will freely use this fact to change points of view between the extended plane and the 2-sphere. A multiplication by $\exp(i\varphi)$ does describe a rotation by $\varphi$, so the immediate neighbourhood of the fixed point gets rotated as intended.Ĭomparing the formula for $f$ with the considerations at the beginning of this post, you can findĪ &= x\sin\tfrac\varphi2-y\cos\tfrac\varphi2 \\ĭ &= -(x\sin\tfrac\varphi2+y\cos\tfrac\varphi2) \\ The study of hyperbolic 3-manifolds is intimately connected with the study of Möbius transformations on the two-dimensional sphere S2. I skipped the computation of the derivative which I left to my computer algebra software. Let us de ne De nition 2.1.1 Hyperbolic plane A set Atogether with a 1.a subset Bcalled the boundary at in nity with a cyclic order, 2.a family of lines which are. Geometry these are used to build several models of Hyperbolic. Hyperbolic plane 2.1 Synthetic geometry The complete geometry of the hyperbolic plane can be recovered synthetically from several features, namely lines and boundary at in nity. Z_(x+iy)=\left(\cos\tfrac\varphi2+i\sin\tfrac\varphi2\right)^2=\left(\exp\left(i\tfrac\varphi2\right)\right)^2=\exp\left(i\varphi\right)$$ In order to do that, some time is spent on Neutral Geometry as well as Euclidean. Three models of the hyperbolic plane are implemented: Upper Half Plane, Poincar Disk. The limit case between these two is where the fixed points coincide in a single ideal point on the real axis.Ī general real Möbius transformation has the form But as the whole hyperbolic plane has a mirror image in the lower half plane, algebraically speaking, you'd get a pair of complex conjugates for the fixed points of the Möbius transformation. A hyperbolic plane is a surface in which the space curves away from itself at every point. A rotation has a single hyperbolic fixed point, i.e. So the corresponding Möbius transformation has two real fixed points. (Remember that translation isn't parallel transport in hyperbolic geometry, so it fixes only a single line, not a family of parallel lines). One way to distinguish them is by their fixed points: a translation will fix the ideal points at the ends of the line of translation. In between these two there are the parabolic transformations or limit rotations. Of these real Möbius transformations, some are hyperbolic (translations), and some are elliptic (rotations). Furthermore, the set of ideal points is fixed under isometries, so you are dealing with Möbius transformations which fix the real axis, i.e. (So think about the plane in terms of complex numbers.) But elliptic transformations won't reverse, so you can restrict yourself to Möbius transformations. A few hyperbolic lines in the Poincaré disk model. Two hyperbolic lines are parallel if they share one ideal point. A point on S1 S 1 is called an ideal point. These angles are preserved (or reversed) under isometries, so you are looking at Möbius and anti-Möbius transformations. A hyperbolic line in (D,H) ( D, H) is the portion of a cline inside D D that is orthogonal to the circle at infinity S1. In the next picture, the triangles are colored a variety of colors while the heptagons are left black.The upper half plane model is conformal: hyperbolic angles correspond to Euclidean angles (between tangents at the point of intersection). They are: tessellation is built of triangles and heptagons. The Hyperbolic Plane Rich Schwartz NovemEuclid’s Postulates Hyperbolic geometry arose out of an attempt to understand Euclid’s fthpostulate. No doubt, the tessellations of the Euclidean plane are In our disk model of hyperbolic geometry, we can easily observe this angle deficiency. See the Java applet page.)Ī regular tessellation, or tiling, is a covering of the plane by regular polygons so that the same number of polygons meet at each vertex. An isometry of the hyperbolic plane is a mapping of the hyperbolic plane to itself that preserves the underlying hyperbolic geometry (e.g. The angles of a triangle in the hyperbolic plane sum to less than 180, but only noticeably so for large enough triangles. Hyperbolic Tessellations Hyperbolic Tessellations Introduction (You can now create your own hyperbolic tessellations.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |