1 Introduction

Total Page:16

File Type:pdf, Size:1020Kb

1 Introduction Bull. Math. Soc. Sci. Math. Roumanie Tome 61 (109), No. 4, 2018, 409{415 Degenerate Lambert quadrilaterals and M¨obiustransformations by Oguzhan˘ Demirel Abstract We present a new characterization of M¨obiustransformations by using a new geo- metric concept that we will call \degenerate Lambert quadrilateral". Our proof is based on a geometric approach. Key Words: Lambert quadrilateral, M¨obiustransformation. 2010 Mathematics Subject Classification: Primary 51B10, Secondary 30F45, 51M09, 51M10, 51M25. 1 Introduction M¨obiustransformations, also known as linear fractional transformations, are rational func- az+b tions of the form f(z) = cz+d satisfying ad − bc 6= 0, where a; b; c; d 2 C. M¨obiustrans- formations are the automorphisms of C = C [ f1g, namely the meromorphic bijections f : C ! C. M¨obiustransformations are also directly conformal homeomorphisms of C onto itself. There are well-known elementary proofs that if f is a continuous injective map of the extended complex plane C into itself that preserves cross-ratios, or that maps circles into circles, then f is a M¨obius transformation. The connection between M¨obius transformations, cross-ratios and the preservation of circles is well known. az+b The transformations f(z) = cz+d with ad − bc 6= 0, where a; b; c; d 2 C are known as conjugate M¨obius transformations of C. Each conjugate M¨obiustransformation f is the composition of complex conjugation with a M¨obiustransformation, since both of these are homeomorphisms of C onto itself (complex conjugation being given by reflection in the plane through R [ f1g), so is f. Clearly, the composition of a conjugate M¨obiustransformation with a M¨obiustransformation is a conjugate M¨obiustransformation and the composition of two conjugate M¨obiustransformations is a M¨obiustransformation. There is a topological distinction between M¨obiustransformations and conjugate M¨obiustransformations in that M¨obiustransformations preserve the orientation of C while conjugate M¨obiustransforma- tions reverse it. To see more details about conjugate M¨obiustransformations, we refer [9]. C. Carath´eodory [3] proved that every arbitrary one to one correspondence between the points of a circular disc C and a bounded point set C0 by which circles lying completely in C are transformed into circles lying in C0 must always be either a M¨obiustransformation f(z) or f(z). Carath´eodory's theorem is generalized by R. H¨ofer[8] to arbitrary dimensions. R. H¨oferproved that for a domain D of Rn, if any injective mapping f : D ! Rn which takes hyperspheres whose interior is contained in D to hyperspheres in Rn, then f is the 410 Degenerate Lambert quadrilaterals and M¨obiustransformations restriction of a M¨obiustransformation. For more details about sphere preserving maps, see [2]. M¨obiustransformations are well known and fundamental in hyperbolic geometry since they act as isometries on hyperbolic space. There are many characterizations of M¨obius transformations by using Lambert and Saccheri quadrilaterals [14] and [15], hyperbolic regular polygons [4], hyperbolic regular star polygons [5], Apollonius quadrilaterals [7], tri- angular domains [10], polygons having type A [11] and others. Moreover, in [6], O. Demirel presented a characterization of M¨obiustransformations by use of mappings preserving hy- perbolic triangles with their hyperbolic areas. π Definition 1 ([1]). The Lambert quadrilateral is a hyperbolic quadrilateral with angles 2 , π π 2 , 2 , θ. Clearly a Lambert quadrilateral is a hyperbolic convex quadrilateral with three right angles and one acute angle. Distorting of the non-adjacent right angles of a Lambert quadrilateral, degenerate Lam- bert quadrilateral concept is defined as follows: Definition 2. A degenerate Lambert quadrilateral is a hyperbolic convex quadrilateral with π π π π π θ ordered angles 2 + , 2 , 2 − , θ where 0 < θ < 2 and 0 < < 2 − 2 . Notice that, for a degenerate Lambert quadrilateral, the sum of the measures of mutual π π distorted angles which are 2 + and 2 − is π and the sum of the measures of other mutual angles is less than π. π In this paper we call the degenerate Lambert quadrilaterals having ordered angles 2 +, π π 2 2 , 2 − , θ briefly as −Lambert quadrilaterals. We consider the hyperbolic plane B = 2 2 4jdzj fz : jzj < 1g with length differential ds = (1−|zj2)2 . Throughout of the paper we denote by X0 the image of X under f , by [P; Q] the geodesic segment between points P and Q, by PQ the geodesic through points P and Q, by P QR the hyperbolic triangle with three ordered vertices P; Q and R, by P QRS the hyperbolic quadrilateral with four ordered vertices P; Q; R and S, and by \P QR the angle between [Q; P ] and [Q; R]. 2 A Characterization of M¨obiusTransformations by use of Degenerate Lambert Quadrilaterals In [14], S. Yang and A. Fang proved the following result: Theorem 1. [14] Let f : B2 ! B2 be a continuous bijection. Then f is M¨obiusif and only if f preserves Lambert quadrilaterals in B2. In the expression of this result, by the Lambert quadrilateral preserving property of π π π functions, this means that if ABCD is a Lambert quadrilateral having angles 2 ; 2 ; 2 and 0 0 0 0 π π π 0 θ, then A B C D is a Lambert quadrilateral having angles 2 ; 2 ; 2 and θ . Obviously, if f preserves Lambert quadrilaterals in B2, this implies that it preserves three right angles. The π 0 0 0 authors proved that if \DAB = \ABC = \BCD = 2 and \CDA = θ, then \D A B = 0 0 0 0 0 0 π 0 0 0 \A B C = \B C D = 2 and \C D A = θ. For more details, we refer [14] and [15]. O˘guzhanDemirel 411 Similarly to [14], we use often the −Lambert quadrilaterals preserving property of functions. This means that if ABCD is a −Lambert quadrilateral having ordered angles π π π 0 0 0 0 π 2 +, 2 ; 2 −, θ, then A B C D is a −Lambert quadrilateral having ordered angles 2 +, π π 0 2 , 2 − , θ . Lemma 1. Let f : B2 ! B2 be a mapping which preserves all −Lambert quadrilaterals π where 0 < < 2 . Then f preserves right angles of −Lambert quadrilaterals. Proof. Step 1: Firstly, we claim that f is injective. Let us take two different points P and Q in B2. Then by constructing a −Lambert quadrilateral P QRS, one can easily get that P 0Q0R0S0 is also a −Lambert quadrilateral by the property of f. Therefore, the points P 0 and Q0 must be different which implies that f is injective. Step 2: We claim that f preserves the collinearity and betweenness properties of the points. Let P and Q be two different points in B2 and assume that S is an interior point of [P; Q]. Let S be the set of all −Lambert quadrilaterals whose vertices are P and Q. Notice that, if XYPQ 2 S, then there are four possible cases for the measure of \YPQ π π π such as \YPQ = 2 + , \YPQ = 2 − , \YPQ = 2 and \YPQ = β. By the definition of S, the −Lambert quadrilaterals in S have a common side [P; Q] which contains S. Hence S0 must be on all elements of S0. By the property of f, the set S0 must be consists of −Lambert quadrilaterals with common vertices P 0 and Q0. Notice that by the injectivity of f, P 0 6= S0 6= Q0 since P 6= S 6= Q. Therefore, S0 must be an interior point of [P 0;Q0] which implies that f preserves the collinearity and betweenness of the points. Step 3: f preserves right angles of all −Lambert quadrilaterals. Let ABCD be a π π π −Lambert quadrilateral with \ABC = 2 + , \BCD = 2 , \CDA = 2 − , \DAB = θ and E be a point on [B; C]. Now construct a new −Lambert quadrilateral with the help of the points E; C; D. Firstly draw a hyperbolic geodesic passing through E, say q, such π that the measure of the angle between the hyperbolic geodesics q and BC is 2 + . We suppose that q must intersect [A; D] but not at A and D. Indeed, if q intersects [A; B] at a point, say W , then sum of the measures of interior angles of the hyperbolic triangle W BE π π is \W BE + \BEW + \EW B = ( 2 + ) + ( 2 − ) + \EW B > π which is impossible for a hyperbolic triangle. If q intersects [C; D] at a point, say V , then the sum of the interior π π angles of the hyperbolic triangle V EC is \V EC +\ECV +\CVE = ( 2 +)+ 2 +\CV E > π which is impossible for a hyperbolic triangle. Therefore, q must intersect [A; D] but not at A and D. Let us denote the common point of the hyperbolic geodesics q and AD by F . Hence we obtain a new −Lambert quadrilateral CDF E. By Step 2, the points E0 and F 0 must be interior points of [B0;C0] and [A0;D0], respectively. Now we consider four cases: 0 0 0 π Case 1. Assume \A B C = 2 . Hence, by the definition of −Lambert quadrilateral, 0 0 0 π 0 0 0 π 0 0 0 π we have \B C D = 2 + or \B C D = 2 − . If \B C D = 2 + , then we get 0 0 0 0 0 0 π 0 0 0 0 0 0 0 π \D A B = \D F E = 2 − , \C D F := θ and \F E C = 2 since the quadrilaterals A0B0C0D0 and C0D0F 0E0 are −Lambert quadrilaterals. Therefore, the sum of the measures 0 0 0 0 0 0 0 π 0 0 0 0 0 0 π of angles of A B E F is 2π.
Recommended publications
  • Downloaded from Bookstore.Ams.Org 30-60-90 Triangle, 190, 233 36-72
    Index 30-60-90 triangle, 190, 233 intersects interior of a side, 144 36-72-72 triangle, 226 to the base of an isosceles triangle, 145 360 theorem, 96, 97 to the hypotenuse, 144 45-45-90 triangle, 190, 233 to the longest side, 144 60-60-60 triangle, 189 Amtrak model, 29 and (logical conjunction), 385 AA congruence theorem for asymptotic angle, 83 triangles, 353 acute, 88 AA similarity theorem, 216 included between two sides, 104 AAA congruence theorem in hyperbolic inscribed in a semicircle, 257 geometry, 338 inscribed in an arc, 257 AAA construction theorem, 191 obtuse, 88 AAASA congruence, 197, 354 of a polygon, 156 AAS congruence theorem, 119 of a triangle, 103 AASAS congruence, 179 of an asymptotic triangle, 351 ABCD property of rigid motions, 441 on a side of a line, 149 absolute value, 434 opposite a side, 104 acute angle, 88 proper, 84 acute triangle, 105 right, 88 adapted coordinate function, 72 straight, 84 adjacency lemma, 98 zero, 84 adjacent angles, 90, 91 angle addition theorem, 90 adjacent edges of a polygon, 156 angle bisector, 100, 147 adjacent interior angle, 113 angle bisector concurrence theorem, 268 admissible decomposition, 201 angle bisector proportion theorem, 219 algebraic number, 317 angle bisector theorem, 147 all-or-nothing theorem, 333 converse, 149 alternate interior angles, 150 angle construction theorem, 88 alternate interior angles postulate, 323 angle criterion for convexity, 160 alternate interior angles theorem, 150 angle measure, 54, 85 converse, 185, 323 between two lines, 357 altitude concurrence theorem,
    [Show full text]
  • Geometry: Neutral MATH 3120, Spring 2016 Many Theorems of Geometry Are True Regardless of Which Parallel Postulate Is Used
    Geometry: Neutral MATH 3120, Spring 2016 Many theorems of geometry are true regardless of which parallel postulate is used. A neutral geom- etry is one in which no parallel postulate exists, and the theorems of a netural geometry are true for Euclidean and (most) non-Euclidean geomteries. Spherical geometry is a special case of Non-Euclidean geometries where the great circles on the sphere are lines. This leads to spherical trigonometry where triangles have angle measure sums greater than 180◦. While this is a non-Euclidean geometry, spherical geometry develops along a separate path where the axioms and theorems of neutral geometry do not typically apply. The axioms and theorems of netural geometry apply to Euclidean and hyperbolic geometries. The theorems below can be proven using the SMSG axioms 1 through 15. In the SMSG axiom list, Axiom 16 is the Euclidean parallel postulate. A neutral geometry assumes only the first 15 axioms of the SMSG set. Notes on notation: The SMSG axioms refer to the length or measure of line segments and the measure of angles. Thus, we will use the notation AB to describe a line segment and AB to denote its length −−! −! or measure. We refer to the angle formed by AB and AC as \BAC (with vertex A) and denote its measure as m\BAC. 1 Lines and Angles Definitions: Congruence • Segments and Angles. Two segments (or angles) are congruent if and only if their measures are equal. • Polygons. Two polygons are congruent if and only if there exists a one-to-one correspondence between their vertices such that all their corresponding sides (line sgements) and all their corre- sponding angles are congruent.
    [Show full text]
  • The Algebra of Projective Spheres on Plane, Sphere and Hemisphere
    Journal of Applied Mathematics and Physics, 2020, 8, 2286-2333 https://www.scirp.org/journal/jamp ISSN Online: 2327-4379 ISSN Print: 2327-4352 The Algebra of Projective Spheres on Plane, Sphere and Hemisphere István Lénárt Eötvös Loránd University, Budapest, Hungary How to cite this paper: Lénárt, I. (2020) Abstract The Algebra of Projective Spheres on Plane, Sphere and Hemisphere. Journal of Applied Numerous authors studied polarities in incidence structures or algebrization Mathematics and Physics, 8, 2286-2333. of projective geometry [1] [2]. The purpose of the present work is to establish https://doi.org/10.4236/jamp.2020.810171 an algebraic system based on elementary concepts of spherical geometry, ex- tended to hyperbolic and plane geometry. The guiding principle is: “The Received: July 17, 2020 Accepted: October 27, 2020 point and the straight line are one and the same”. Points and straight lines are Published: October 30, 2020 not treated as dual elements in two separate sets, but identical elements with- in a single set endowed with a binary operation and appropriate axioms. It Copyright © 2020 by author(s) and consists of three sections. In Section 1 I build an algebraic system based on Scientific Research Publishing Inc. This work is licensed under the Creative spherical constructions with two axioms: ab= ba and (ab)( ac) = a , pro- Commons Attribution International viding finite and infinite models and proving classical theorems that are License (CC BY 4.0). adapted to the new system. In Section Two I arrange hyperbolic points and http://creativecommons.org/licenses/by/4.0/ straight lines into a model of a projective sphere, show the connection be- Open Access tween the spherical Napier pentagram and the hyperbolic Napier pentagon, and describe new synthetic and trigonometric findings between spherical and hyperbolic geometry.
    [Show full text]
  • Saccheri and Lambert Quadrilateral in Hyperbolic Geometry
    MA 408, Computer Lab Three Saccheri and Lambert Quadrilaterals in Hyperbolic Geometry Name: Score: Instructions: For this lab you will be using the applet, NonEuclid, developed by Castel- lanos, Austin, Darnell, & Estrada. You can either download it from Vista (Go to Labs, click on NonEuclid), or from the following web address: http://www.cs.unm.edu/∼joel/NonEuclid/NonEuclid.html. (Click on Download NonEuclid.Jar). Work through this lab independently or in pairs. You will have the opportunity to finish anything you don't get done in lab at home. Please, write the solutions of homework problems on a separate sheets of paper and staple them to the lab. 1 Introduction In the previous lab you observed that it is impossible to construct a rectangle in the Poincar´e disk model of hyperbolic geometry. In this lab you will study two types of quadrilaterals that exist in the hyperbolic geometry and have many properties of a rectangle. A Saccheri quadrilateral has two right angles adjacent to one of the sides, called the base. Two sides that are perpendicular to the base are of equal length. A Lambert quadrilateral is a quadrilateral with three right angles. In the Euclidean geometry a Saccheri or a Lambert quadrilateral has to be a rectangle, but the hyperbolic world is different ... 2 Saccheri Quadrilaterals Definition: A Saccheri quadrilateral is a quadrilateral ABCD such that \ABC and \DAB are right angles and AD ∼= BC. The segment AB is called the base of the Saccheri quadrilateral and the segment CD is called the summit. The two right angles are called the base angles of the Saccheri quadrilateral, and the angles \CDA and \BCD are called the summit angles of the Saccheri quadrilateral.
    [Show full text]
  • The Role of Definitions in Geometry for Prospective Middle and High School Teachers
    2018 HAWAII UNIVERSITY INTERNATIONAL CONFERENCES STEAM - SCIENCE, TECHNOLOGY & ENGINEERING, ARTS, MATHEMATICS & EDUCATION JUNE 6 - 8, 2018 PRINCE WAIKIKI, HONOLULU, HAWAII THE ROLE OF DEFINITIONS IN GEOMETRY FOR PROSPECTIVE MIDDLE AND HIGH SCHOOL TEACHERS SZABO, TAMAS DEPARTMENT OF MATHEMATICS UNIVERSITY OF WISCONSIN WHITEWATER, WISCONSIN Dr. Tamas Szabo Department of Mathematics University of Wisconsin Whitewater, Wisconsin THE ROLE OF DEFINITIONS IN GEOMETRY FOR PROSPECTIVE MIDDLE AND HIGH SCHOOL TEACHERS ABSTRACT. Does verbalizing a key definition before solving a related problem help students solving the problem? Perhaps surprisingly, the answers turns out to be NO, based on this yearlong experiment conducted with mathematics education majors and minors in two geometry classes. This article describes the experiment, the results, suggests possible explanations, and derives some peda-gogical conclusions that are useful for teachers of any mathematics or science course. Keywords: concept definition, concept image, proof writing, problem solving, secondary mathematics teachers. 1. INTRODUCTION Definitions play a very important role in mathematics, the learning of mathematics, and the teaching of mathematics alike. However, knowing a definition is not equivalent with knowing a concept. To become effective problem solvers, students need to develop an accurate concept image. The formal definition is only a small part of the concept image, which also includes examples and non-examples, properties and connections to other concepts. The distinction between concept definition and concept image has been examined by many research studies (e.g., Edwards, 1997; Vinner and Dreyfus, 1989; Tall, 1992; Vinner, 1991). Another group of articles analyze, argue for, and provide examples of engaging students in the construction of definitions (e.g., Zandieh and Rasmussen, 2010; Herbst et al., 2005; Johnson et al., 2014; Zaslavski and Shir, 2005).
    [Show full text]
  • Volume 6 (2006) 1–16
    FORUM GEOMETRICORUM A Journal on Classical Euclidean Geometry and Related Areas published by Department of Mathematical Sciences Florida Atlantic University b bbb FORUM GEOM Volume 6 2006 http://forumgeom.fau.edu ISSN 1534-1178 Editorial Board Advisors: John H. Conway Princeton, New Jersey, USA Julio Gonzalez Cabillon Montevideo, Uruguay Richard Guy Calgary, Alberta, Canada Clark Kimberling Evansville, Indiana, USA Kee Yuen Lam Vancouver, British Columbia, Canada Tsit Yuen Lam Berkeley, California, USA Fred Richman Boca Raton, Florida, USA Editor-in-chief: Paul Yiu Boca Raton, Florida, USA Editors: Clayton Dodge Orono, Maine, USA Roland Eddy St. John’s, Newfoundland, Canada Jean-Pierre Ehrmann Paris, France Chris Fisher Regina, Saskatchewan, Canada Rudolf Fritsch Munich, Germany Bernard Gibert St Etiene, France Antreas P. Hatzipolakis Athens, Greece Michael Lambrou Crete, Greece Floor van Lamoen Goes, Netherlands Fred Pui Fai Leung Singapore, Singapore Daniel B. Shapiro Columbus, Ohio, USA Steve Sigur Atlanta, Georgia, USA Man Keung Siu Hong Kong, China Peter Woo La Mirada, California, USA Technical Editors: Yuandan Lin Boca Raton, Florida, USA Aaron Meyerowitz Boca Raton, Florida, USA Xiao-Dong Zhang Boca Raton, Florida, USA Consultants: Frederick Hoffman Boca Raton, Floirda, USA Stephen Locke Boca Raton, Florida, USA Heinrich Niederhausen Boca Raton, Florida, USA Table of Contents Khoa Lu Nguyen and Juan Carlos Salazar, On the mixtilinear incircles and excircles,1 Juan Rodr´ıguez, Paula Manuel and Paulo Semi˜ao, A conic associated with the Euler line,17 Charles Thas, A note on the Droz-Farny theorem,25 Paris Pamfilos, The cyclic complex of a cyclic quadrilateral,29 Bernard Gibert, Isocubics with concurrent normals,47 Mowaffaq Hajja and Margarita Spirova, A characterization of the centroid using June Lester’s shape function,53 Christopher J.
    [Show full text]
  • Tightening Curves on Surfaces Monotonically with Applications
    Tightening Curves on Surfaces Monotonically with Applications † Hsien-Chih Chang∗ Arnaud de Mesmay March 3, 2020 Abstract We prove the first polynomial bound on the number of monotonic homotopy moves required to tighten a collection of closed curves on any compact orientable surface, where the number of crossings in the curve is not allowed to increase at any time during the process. The best known upper bound before was exponential, which can be obtained by combining the algorithm of de Graaf and Schrijver [J. Comb. Theory Ser. B, 1997] together with an exponential upper bound on the number of possible surface maps. To obtain the new upper bound we apply tools from hyperbolic geometry, as well as operations in graph drawing algorithms—the cluster and pipe expansions—to the study of curves on surfaces. As corollaries, we present two efficient algorithms for curves and graphs on surfaces. First, we provide a polynomial-time algorithm to convert any given multicurve on a surface into minimal position. Such an algorithm only existed for single closed curves, and it is known that previous techniques do not generalize to the multicurve case. Second, we provide a polynomial-time algorithm to reduce any k-terminal plane graph (and more generally, surface graph) using degree-1 reductions, series-parallel reductions, and ∆Y -transformations for arbitrary integer k. Previous algorithms only existed in the planar setting when k 4, and all of them rely on extensive case-by-case analysis based on different values of k. Our algorithm≤ makes use of the connection between electrical transformations and homotopy moves, and thus solves the problem in a unified fashion.
    [Show full text]
  • A Phenomenon in Geometric Analysis M
    23 Indian Journal of Science and Technology Vol.2 No 4 (Apr. 2009) ISSN: 0974- 6846 A phenomenon in geometric analysis M. Sivasubramanian Department of Mathematics, Dr.Mahalingam College of Engg. & Technology, Pollachi, Tamil Nadu 642003, India [email protected] Abstract: It has been established that it is impossible to He recognized that three possibilities arose from omitting deduce Euclid V from Euclid I, II, III, and IV. The Euclid's Fifth; if two perpendiculars to one line cross investigations devoted to the parallel postulate gave rise another line, judicious choice of the last can make the to a number of equivalent propositions to this problem. internal angles where it meets the two perpendiculars Also, while attempting to prove this statement as a equal (it is then parallel to the first line). If those equal special theorem Gauss, Bolyai and Lobachevsky internal angles are right angles, we get Euclid's Fifth; independently found a consistent model of first non- otherwise, they must be either acute or obtuse. He Euclidean geometry namely hyperbolic geometry. persuaded himself that the acute and obtuse cases lead Gauss’s student Riemann developed another branch of to contradiction, but had made a tacit assumption non-Euclidean geometry which is known as Riemannian equivalent to the fifth to get there. geometry. The formulae of Lobachevskyian geometry Nasir al-Din al-Tusi (1201-1274), in his Al-risala al- widely used tot sty the properties of atomic objects in shafiya'an al-shakk fi'l-khutut al-mutawaziya (Discussion quantum physics. Einstein’s general theory of relativity is Which Removes Doubt about Parallel Lines) (1250), nothing but beautiful application of Riemannian geometry.
    [Show full text]
  • Arxiv:1902.03437V2 [Math.GT] 11 Dec 2019 Fundamental Group Π1(X) Is Identified with a Subgroup of Isometries of X Such That ˜ X/Π1(X) = X
    TRAIN TRACKS AND MEASURED LAMINATIONS ON INFINITE SURFACES DRAGOMIR SARIˇ C´ Abstract. Let X be an infinite Riemann surface equipped with its conformal hy- perbolic metric such that the action of the fundamental group π1(X) on the universal covering X~ is of the first kind. We first prove that any geodesic lamination on X is nowhere dense. Given a fixed geodesic pants decomposition of X we define a family of train tracks on X such that any geodesic lamination on X is weakly carried by at least one train track. The set of measured laminations on X carried by a train track is in a one to one correspondence with the set of edge weight systems on the train track. Furthermore, the above correspondence is a homeomorphism when we equipped the measured laminations (weakly carried by a train track) with the weak* topology and the edge weight systems with the topology of pointwise (weak) convergence. The space MLb(X) of bounded measured laminations appears prominently when studying the Teichm¨ullerspace T (X) of X. If X has a bounded pants decomposition, a measured lamination on X weakly carried by a train track is bounded if and only if the corresponding edge weight system has a finite supremum norm. The space MLb(X) is equipped with the uniform weak* topology. The correspondence between bounded measured laminations weakly carried by a train track and their edge weight systems is a homeomorphism for the uniform weak* topology on MLb(X) and the topology induced by supremum norm on the edge weight system.
    [Show full text]
  • Fundamental Concepts of Geometry
    Applied Mathematics 2019, 9(3): 89-161 DOI: 10.5923/j.am.20190903.03 Fundamental Concepts of Geometry Kassahun Tesfaye Agzew Department of Mathematics, College of Natural and Computational Sciences, Wolkite University, Wolkite, Ethiopia Abstract Euclidean Geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements. Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated by earlier mathematicians, [1] Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. [2] The Elements begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of formal proof. It goes on to the solid geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, explained in geometrical language. [1] For more than two thousand years, the adjective "Euclidean" was unnecessary because no other sort of geometry had been conceived. Euclid's axioms seemed so intuitively obvious (with the possible exception of the parallel postulate) that any theorem proved from them was deemed true in an absolute, often metaphysical, sense. Today, however, many other self-consistent non-Euclidean geometries are known, the first ones having been discovered in the early 19th century. An implication of Albert Einstein's theory of general relativity is that physical space itself is not Euclidean, and Euclidean space is a good approximation for it only over short distances (relative to the strength of the gravitational field).
    [Show full text]
  • MARGULIS SPACETIMES VIA the ARC COMPLEX Contents 1
    MARGULIS SPACETIMES VIA THE ARC COMPLEX JEFFREY DANCIGER, FRANC¸OIS GUERITAUD,´ AND FANNY KASSEL Abstract. We study strip deformations of convex cocompact hyper- bolic surfaces, defined by inserting hyperbolic strips along a collection of disjoint geodesic arcs properly embedded in the surface. We prove that any deformation of the surface that uniformly lengthens all closed geodesics can be realized as a strip deformation, in an essentially unique way. The infinitesimal version of this result gives a parameterization, by the arc complex, of the moduli space of Margulis spacetimes with fixed convex cocompact linear holonomy. As an application, we provide a new proof of the tameness of such Margulis spacetimes M by establishing the Crooked Plane Conjecture, which states that M admits a fundamental domain bounded by piecewise linear surfaces called crooked planes. The noninfinitesimal version gives an analogous theory for complete anti-de Sitter 3-manifolds. Contents 1. Introduction 1 2. Metric estimates for (infinitesimal) strip deformations 10 3. Reduction of the proof of Theorems 1.7 and 1.10 17 4. Formalism for infinitesimal strip deformations 24 5. Behavior of the strip map at faces of codimension 0 and 1 28 6. Examples 34 7. Fundamental domains in Minkowski 3-space 36 8. Fundamental domains in anti-de Sitter 3-space 42 Appendix A. Realizing the zero cocycle 48 References 52 1. Introduction The understanding of moduli spaces using simple combinatorial models is a major theme in geometry. While coarse models, like the curve complex J.D. is partially supported by the National Science Foundation under the grant DMS 1103939.
    [Show full text]
  • 30-60-90 Triangle, 70, 122 360 Theorem, 31 45-45-45 Triangle, 122
    Index 30-60-90 triangle, 70, 122 opposite a side, 35 360 theorem, 31 right, 25 45-45-45 triangle, 122 angle addition theorem, 28 45-45-90 triangle, 70 angle bisector, 29, 63 60-60-60 triangle, 70 angle bisector proportionality theorem, 112 angle bisector theorem, 63 AA similarity theorem, 110 angle construction theorem, 25 AAA congruence theorem, 154 angle measure, 2, 24 AAASA, 80 between two lines, 175 AAS theorem, 46 in taxicab geometry, 57 AASAS, 78 in the Cartesian plane, 51 acute angle, 25 in the Poincar´edisk model, 54 acute triangle, 36 angle measure postulate, 24 additivity of defects, 146 angle subtraction theorem, 28 adjacent angles angle sum of a polygon, 82 for a convex quadrilateral, 78 of a quadrilateral, 74 for a polygon, 92 adjacent interior angle, 43 for a triangle, 69 adjacent sides angle-sum postulate, 142 of a polygon, 82 weak, 150 of a quadrilateral, 74 angle-sum theorem adjacent vertices for asymptotic triangles, 174 of a polygon, 82 for convex polygons, 84 of a quadrilateral, 74 for convex quadrilaterals, 78 admissible decomposition, 99 for general polygons, 93 all-or-nothing theorem, 151 for triangles, 69, 142 alternate interior angles, 64 hyperbolic, 154 alternate interior angles theorem, 64 arccosine, 51 converse, 67, 140 area, 2, 97–105 altitude of a triangle, 61, 103 of a parallelogram, 104 angle, 23 of a polygon, 98 acute, 25 of a polygonal region, 98 included between two sides, 35 of a rectangle, 102 obtuse, 25 of a right triangle, 103 of a polygon, 82 of a square, 102 of a quadrilateral, 73 of a trapezoid,
    [Show full text]