DOCSLIB.ORG

Euclidean Plane and Its Relatives

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Euclidean Plane and Its Relatives Euclidean plane and its relatives A minimalist introduction Anton Petrunin arXiv:1302.1630v19 [math.HO] 21 May 2021 This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/4.0/ Contents Introduction 6 Prerequisite. Overview. 1 Preliminaries 9 What is the axiomatic approach? What is a model? Metric spaces. Examples. Shortcut for distance. Isometries, motions, and lines. Half-lines and segments. Angles. Reals modulo 2 π. Continuity. Congruent triangles. · Euclidean geometry 2 Axioms 18 The axioms. Lines and half-lines. Zero angle. Straight angle. Vertical angles. 3 Half-planes 23 Sign of an angle. Intermediate value theorem. Same sign lemmas. Half-planes. Triangle with the given sides. 4 Congruent triangles 30 Side-angle-side condition. Angle-side-angle condition. Isosce- les triangles. Side-side-side condition. On side-side-angle and side-angle-angle. 5 Perpendicular lines 34 Right, acute and obtuse angles. Perpendicular bisector. Uniqueness of perpendicular lines. Reflection across a line. Perpendicular is shortest. Circles. Geometric constructions. 6 Similar triangles 42 Similar triangles. Pythagorean theorem. Method of similar triangles. Ptolemy’s inequality. 3 4 CONTENTS 7 Parallel lines 47 Parallel lines. Reflection across a point. Transversal property. Angles of triangle. Parallelograms. Method of coordinates. Apollonian circle. 8 Triangle geometry 56 Circumcircle and circumcenter. Altitudes and orthocenter. Medians and centroid. Angle bisectors. Equidistant property. Incenter. Inversive geometry 9 Inscribed angles 63 Angle between a tangent line and a chord. Inscribed angle. Points on a common circle. Method of additional circle. Arcs of circlines. Tangent half-lines. 10 Inversion 71 Cross-ratio. Inversive plane and circlines. Method of inver- sion. Perpendicular circles. Angles after inversion. Non-Euclidean geometry 11 Neutral plane 81 Two angles of triangle. Three angles of triangle. Defect. How to prove that something cannot be proved. Curvature. 12 Hyperbolic plane 89 Conformal disc model. Plan of the proof. Auxiliary state- ments. Axioms: I, II, III, IV, h-V. Hyperbolic trigonometry 13 Geometry of the h-plane 101 Angle of parallelism. Inradius of triangle. Circles, horocycles, and equidistants. Hyperbolic triangles. Conformal interpre- tation. Pythagorean theorem. Additional topics 14 Affine geometry 112 Affine transformations. Constructions. Fundamental theorem of affine geometry. Algebraic lemma. On inversive transfor- mations. CONTENTS 5 15 Projective geometry 119 Projective completion. Euclidean space. Space model. Per- spective projection. Projective transformations. Moving points to infinity. Duality. Axioms. 16 Spherical geometry 130 Euclidean space. Pythagorean theorem. Inversion of the space. Stereographic projection. Central projection. 17 Projective model 136 Special bijection on the h-plane. Projective model. Bolyai’s construction. 18 Complex coordinates 143 Complex numbers. Complex coordinates. Conjugation and absolute value. Euler’s formula. Argument and polar co- ordinates. Method of complex coordinates. Fractional lin- ear transformations. Elementary transformations. Complex cross-ratio. Schwarz–Pick theorem. 19 Geometric constructions 154 Classical problems. Constructible numbers. Constructions with a set-square. Verifications. Comparison of construction tools. 20 Area 162 Solid triangles. Polygonal sets. Definition of area. Vanishing area and subdivisions. Area of solid rectangles, parallelograms and triangles. Area method. Area in the neutral planes and spheres. Quadrable sets. References Hints 176 Index 201 Used resources 204 Introduction This book is meant to be rigorous, conservative, elementary, and mini- malist. At the same time, it includes about the maximum what students can absorb in one semester. Approximately one-third of the material used to be covered in high school, but not anymore. The present book is based on the courses given by the author at the Pennsylvania State University as an introduction to the foundations of geometry. The lectures were oriented to sophomore and senior university students. These students already had a calculus course. In particular, they are familiar with real numbers and continuity. It makes it possible to cover the material faster and in a more rigorous way than it could be done in high school. Prerequisite The students should be familiar with the following topics: Elementary set theory: , , , , , . ⋄ ∈ ∪ ∩ \ ⊂ × Real numbers: intervals, inequalities, algebraic identities. ⋄ Limits, continuous functions, and the intermediate value theorem. ⋄ Standard functions: absolute value, natural logarithm, exponential ⋄ function. Occasionally, trigonometric functions are used, but these parts can be ignored. Chapter 14 uses basic vector algebra. ⋄ To read Chapter 16, it is better to have some previous experience ⋄ with the scalar product, also known as dot product. To read Chapter 18, it is better to have some previous experience ⋄ with complex numbers. 6 CONTENTS 7 Overview We use the so-called metric approach introduced by Birkhoff. It means that we define the Euclidean plane as a metric space that satisfies a list of properties (axioms). This way we minimize the tedious parts which are unavoidable in the more classical Hilbert’s approach. At the same time, the students have a chance to learn basic geometry of metric spaces. Here is a dependency graph of the chapters. 1 2 3 4 13 12 11 5 6 17 16 10 9 7 8 15 14 18 19 20 In (1) we give all the definitions necessary to formulate the axioms; it includes metric space, lines, angle measure, continuous maps, and con- gruent triangles. Further, we do Euclidean geometry: (2) Axioms and immediate corol- laries; (3) Half-planes and continuity; (4) Congruent triangles; (5) Circles, motions, perpendicular lines; (6) Similar triangles and (7) Parallel lines these are the first two chapters where we use Axiom V, an equivalent of Euclid’s parallel postulate. In (8) we give the most classical theorem of triangle geometry; this chapter is included mainly as an illustration. In the following two chapters we discuss the geometry of circles on the Euclidean plane: (9) Inscribed angles; (10) Inversion. It will be used to construct the model of the hyperbolic plane. Further, we discuss non-Euclidean geometry: (11) Neutral geometry geometry without the parallel postulate; (12) Conformal disc model this is a construction of the hyperbolic plane, an example of a neutral plane which is not Euclidean. In (13) we discuss geometry of the constructed hyperbolic plane this is the highest point in the book. In the remaining chapters, we discuss some additional topics: (14) Affine geometry; (15) Projective geometry; (16) Spherical geometry; (17) Projective model of the hyperbolic plane; (18) Complex coordinates; (19) Geometric constructions; (20) Area. The proofs in these chapters are not completely rigorous. We encourage the use of visual assignments at the author’s website. 8 CONTENTS Disclaimer It is impossible to find the original reference to most of the theorems discussed here, so I do not even try to. Most of the proofs discussed in the book already appeared in Euclid’s Elements. Recommended books Byrne’s Euclid [7] a colored version of the first six books of Eu- ⋄ clid’s Elements edited by Oliver Byrne. Kiselev’s textbook [10] a classical book for school students; it ⋄ should help if you have trouble following this book. Hadamard’s book [9] an encyclopedia of elementary geometry ⋄ originally written for school teachers. Prasolov’s book [15] is perfect to master your problem-solving skills. ⋄ Akopyan’s book [1] a collection of problems formulated in figures. ⋄ Methodologically my lectures were very close to Sharygin’s textbook ⋄ [17]. This is the greatest textbook in geometry for school students, I recommend it to anyone who can read Russian. Acknowledgments Let me thank Thomas Barthelme, Matthew Chao, Svetlana Katok, Alexander Lytchak, Alexei Novikov, and Lukeria Petrunina for useful suggestions and correcting misprints. This work was partially supported by NSF grants DMS-0103957, DMS-0406482, DMS-0905138, DMS-1309340, DMS-2005279, and Simons Foundation grants 245094, 584781. Chapter 1 Preliminaries What is the axiomatic approach? In the axiomatic approach, one defines the plane as anything that satis- fies a given list of properties. These properties are called axioms. The axiomatic system for the theory is like the rules for a game. Once the axiom system is fixed, a statement is considered to be true if it follows from the axioms and nothing else is considered to be true. The formulations of the first axioms were not rigorous at all. For example, Euclid described a line as breadthless length and a straight line as a line that lies evenly with the points on itself. On the other hand, these formulations were sufficiently clear so that one mathematician could understand the other. The best way to understand an axiomatic system is to make one by yourself. Look around and choose a physical model of the Euclidean plane; imagine an infinite and perfect surface of a chalkboard. Now try to collect the key observations about this model. Assume for now that we have an intuitive understanding of such notions as line and point. (i) We can measure distances between points. (ii) We can draw a unique line that passes thru two given points. (iii) We can measure angles. (iv) If we rotate or shift we will not see the difference. (v) If we change the
Load more

Recommended publications
  • Geometry Around Us an Introduction to Non-Euclidean Geometry
    Geometry Around Us An Introduction to Non-Euclidean Geometry Gaurish Korpal (gaurish4math.wordpress.com) National Institute of Science Education and Research, Bhubaneswar 23 April 2016 Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 1 / 15 Theorem In any triangle, trisector lines intersect at three points, that are vertices of an equilateral triangle. A. Bogomolny, Morley's Theorem: Proof by R. J. Webster, Interactive Mathematics Miscellany and Puzzle, http://www.cut-the-knot.org/triangle/Morley/Webster.shtml Morley's Miracle Frank Morley (USA) discovered a theorem about triangle in 1899, approximately 2000 years after first theorems about triangle were published by Euclid. Euclid (Egypt) is referred as father of Plane Geometry, often called Euclidean Geometry. Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 2 / 15 Morley's Miracle Frank Morley (USA) discovered a theorem about triangle in 1899, approximately 2000 years after first theorems about triangle were published by Euclid. Euclid (Egypt) is referred as father of Plane Geometry, often called Euclidean Geometry. Theorem In any triangle, trisector lines intersect at three points, that are vertices of an equilateral triangle. A. Bogomolny, Morley's Theorem: Proof by R. J. Webster, Interactive Mathematics Miscellany and Puzzle, http://www.cut-the-knot.org/triangle/Morley/Webster.shtml Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 2 / 15 Morley's original proof was (published in 1924) stemmed from his results on algebraic curves tangent to a given number of lines. It arose from the consideration of cardioids [(x 2 + y 2 − a2)2 = 4a2((x − a)2 + y 2)].
    [Show full text]
  • The Stammler Circles
    Forum Geometricorum b Volume 2 (2002) 151–161. bbb FORUM GEOM ISSN 1534-1178 The Stammler Circles Jean-Pierre Ehrmann and Floor van Lamoen Abstract. We investigate circles intercepting chords of specified lengths on the sidelines of a triangle, a theme initiated by L. Stammler [6, 7]. We generalize his results, and concentrate specifically on the Stammler circles, for which the intercepts have lengths equal to the sidelengths of the given triangle. 1. Introduction Ludwig Stammler [6, 7] has investigated, for a triangle with sidelengths a, b, c, circles that intercept chords of lengths µa, µb, µc (µ>0) on the sidelines BC, CA and AB respectively. He called these circles proportionally cutting circles,1 and proved that their centers lie on the rectangular hyperbola through the circumcenter, the incenter, and the excenters. He also showed that, depending on µ, there are 2, 3 or 4 circles cutting chords of such lengths. B0 B A0 C A C0 Figure 1. The three Stammler circles with the circumtangential triangle As a special case Stammler investigated, for µ =1, the three proportionally cutting circles apart from the circumcircle. We call these the Stammler circles. Stammler proved that the centers of these circles form an equilateral triangle, cir- cumscribed to the circumcircle and homothetic to Morley’s (equilateral) trisector Publication Date: November 22, 2002. Communicating Editor: Bernard Gibert. 1Proportionalschnittkreise in [6]. 152 J.-P. Ehrmann and F. M. van Lamoen triangle. In fact this triangle is tangent to the circumcircle at the vertices of the circumtangential triangle. 2 See Figure 1. In this paper we investigate the circles that cut chords of specified lengths on the sidelines of ABC, and obtain generalizations of results in [6, 7], together with some further results on the Stammler circles.
    [Show full text]
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Properties of Orthocenter of a Triangle
    Properties Of Orthocenter Of A Triangle Macho Frederic last her respiratory so cubistically that Damien webs very seventh. Conciliable Ole whalings loads and abstinently, she tew her brewery selects primevally. How censorious is Tannie when chaste and epiblast Avery inosculated some gelds? The most controversial math education experts on triangle properties of orthocenter a triangle If we are able to find the slopes of the two sides of the triangle then we can find the orthocenter and its not necessary to find the slope for the third side also. And so that angle must be the third angle for all of these. An equation of the altitude to JK is Therefore, incenter, we have three altitudes in the triangle. What does the trachea do? Naturally, clarification, a pedal triangle for an acute triangle is the triangle formed by the feet of the projections of an interior point of the triangle onto the three sides. AP classes, my best attempt to draw it. Some properties similar topic those fail the classical orthocenter of similar triangle Key words and phrases orthocenter triangle tetrahedron orthocentric system. Go back to the orthocentric system again. Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle. We say the Incircle is Inscribed in the triangle. Please enter your response. Vedantu academic counsellor will be calling you shortly for your Online Counselling session. The black segments have drawn a projection of a rectangular solid. You can help our automatic cover photo selection by reporting an unsuitable photo. And we know if this is a right angle, so this was B, it follows that.
    [Show full text]
  • Hyperbolic Geometry
    Hyperbolic Geometry David Gu Yau Mathematics Science Center Tsinghua University Computer Science Department Stony Brook University [email protected] September 12, 2020 David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 1 / 65 Uniformization Figure: Closed surface uniformization. David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 2 / 65 Hyperbolic Structure Fundamental Group Suppose (S; g) is a closed high genus surface g > 1. The fundamental group is π1(S; q), represented as −1 −1 −1 −1 π1(S; q) = a1; b1; a2; b2; ; ag ; bg a1b1a b ag bg a b : h ··· j 1 1 ··· g g i Universal Covering Space universal covering space of S is S~, the projection map is p : S~ S.A ! deck transformation is an automorphism of S~, ' : S~ S~, p ' = '. All the deck transformations form the Deck transformation! group◦ DeckS~. ' Deck(S~), choose a pointq ~ S~, andγ ~ S~ connectsq ~ and '(~q). The 2 2 ⊂ projection γ = p(~γ) is a loop on S, then we obtain an isomorphism: Deck(S~) π1(S; q);' [γ] ! 7! David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 3 / 65 Hyperbolic Structure Uniformization The uniformization metric is ¯g = e2ug, such that the K¯ 1 everywhere. ≡ − 2 Then (S~; ¯g) can be isometrically embedded on the hyperbolic plane H . The On the hyperbolic plane, all the Deck transformations are isometric transformations, Deck(S~) becomes the so-called Fuchsian group, −1 −1 −1 −1 Fuchs(S) = α1; β1; α2; β2; ; αg ; βg α1β1α β αg βg α β : h ··· j 1 1 ··· g g i The Fuchsian group generators are global conformal invariants, and form the coordinates in Teichm¨ullerspace.
    [Show full text]
  • Analytic Geometry
    STATISTIC ANALYTIC GEOMETRY SESSION 3 STATISTIC SESSION 3 Session 3 Analytic Geometry Geometry is all about shapes and their properties. If you like playing with objects, or like drawing, then geometry is for you! Geometry can be divided into: Plane Geometry is about flat shapes like lines, circles and triangles ... shapes that can be drawn on a piece of paper Solid Geometry is about three dimensional objects like cubes, prisms, cylinders and spheres Point, Line, Plane and Solid A Point has no dimensions, only position A Line is one-dimensional A Plane is two dimensional (2D) A Solid is three-dimensional (3D) Plane Geometry Plane Geometry is all about shapes on a flat surface (like on an endless piece of paper). 2D Shapes Activity: Sorting Shapes Triangles Right Angled Triangles Interactive Triangles Quadrilaterals (Rhombus, Parallelogram, etc) Rectangle, Rhombus, Square, Parallelogram, Trapezoid and Kite Interactive Quadrilaterals Shapes Freeplay Perimeter Area Area of Plane Shapes Area Calculation Tool Area of Polygon by Drawing Activity: Garden Area General Drawing Tool Polygons A Polygon is a 2-dimensional shape made of straight lines. Triangles and Rectangles are polygons. Here are some more: Pentagon Pentagra m Hexagon Properties of Regular Polygons Diagonals of Polygons Interactive Polygons The Circle Circle Pi Circle Sector and Segment Circle Area by Sectors Annulus Activity: Dropping a Coin onto a Grid Circle Theorems (Advanced Topic) Symbols There are many special symbols used in Geometry. Here is a short reference for you:
    [Show full text]
  • Cross-Ratio Dynamics on Ideal Polygons
    Cross-ratio dynamics on ideal polygons Maxim Arnold∗ Dmitry Fuchsy Ivan Izmestievz Serge Tabachnikovx Abstract Two ideal polygons, (p1; : : : ; pn) and (q1; : : : ; qn), in the hyperbolic plane or in hyperbolic space are said to be α-related if the cross-ratio [pi; pi+1; qi; qi+1] = α for all i (the vertices lie on the projective line, real or complex, respectively). For example, if α = 1, the respec- − tive sides of the two polygons are orthogonal. This relation extends to twisted ideal polygons, that is, polygons with monodromy, and it descends to the moduli space of M¨obius-equivalent polygons. We prove that this relation, which is, generically, a 2-2 map, is completely integrable in the sense of Liouville. We describe integrals and invari- ant Poisson structures, and show that these relations, with different values of the constants α, commute, in an appropriate sense. We inves- tigate the case of small-gons, describe the exceptional ideal polygons, that possess infinitely many α-related polygons, and study the ideal polygons that are α-related to themselves (with a cyclic shift of the indices). Contents 1 Introduction 3 ∗Department of Mathematics, University of Texas, 800 West Campbell Road, Richard- son, TX 75080; [email protected] yDepartment of Mathematics, University of California, Davis, CA 95616; [email protected] zDepartment of Mathematics, University of Fribourg, Chemin du Mus´ee 23, CH-1700 Fribourg; [email protected] xDepartment of Mathematics, Pennsylvania State University, University Park, PA 16802; [email protected] 1 1.1 Motivation: iterations of evolutes . .3 1.2 Plan of the paper and main results .
    [Show full text]
  • Constructive Solid Geometry Concepts
    3-1 Chapter 3 Constructive Solid Geometry Concepts Understand Constructive Solid Geometry Concepts Create a Binary Tree Understand the Basic Boolean Operations Use the SOLIDWORKS CommandManager User Interface Setup GRID and SNAP Intervals Understand the Importance of Order of Features Use the Different Extrusion Options 3-2 Parametric Modeling with SOLIDWORKS Certified SOLIDWORKS Associate Exam Objectives Coverage Sketch Entities – Lines, Rectangles, Circles, Arcs, Ellipses, Centerlines Objectives: Creating Sketch Entities. Rectangle Command ................................................3-10 Boss and Cut Features – Extrudes, Revolves, Sweeps, Lofts Objectives: Creating Basic Swept Features. Base Feature .............................................................3-9 Reverse Direction Option ........................................3-16 Hole Wizard ..............................................................3-20 Dimensions Objectives: Applying and Editing Smart Dimensions. Reposition Smart Dimension ..................................3-11 Feature Conditions – Start and End Objectives: Controlling Feature Start and End Conditions. Reference Guide Reference Extruded Cut, Up to Next .......................................3-25 Associate Certified Constructive Solid Geometry Concepts 3-3 Introduction In the 1980s, one of the main advancements in solid modeling was the development of the Constructive Solid Geometry (CSG) method. CSG describes the solid model as combinations of basic three-dimensional shapes (primitive solids). The
    [Show full text]
  • Lecture 3: Geometry
    E-320: Teaching Math with a Historical Perspective Oliver Knill, 2010-2015 Lecture 3: Geometry Geometry is the science of shape, size and symmetry. While arithmetic dealt with numerical structures, geometry deals with metric structures. Geometry is one of the oldest mathemati- cal disciplines and early geometry has relations with arithmetics: we have seen that that the implementation of a commutative multiplication on the natural numbers is rooted from an inter- pretation of n × m as an area of a shape that is invariant under rotational symmetry. Number systems built upon the natural numbers inherit this. Identities like the Pythagorean triples 32 +42 = 52 were interpreted geometrically. The right angle is the most "symmetric" angle apart from 0. Symmetry manifests itself in quantities which are invariant. Invariants are one the most central aspects of geometry. Felix Klein's Erlanger program uses symmetry to classify geome- tries depending on how large the symmetries of the shapes are. In this lecture, we look at a few results which can all be stated in terms of invariants. In the presentation as well as the worksheet part of this lecture, we will work us through smaller miracles like special points in triangles as well as a couple of gems: Pythagoras, Thales,Hippocrates, Feuerbach, Pappus, Morley, Butterfly which illustrate the importance of symmetry. Much of geometry is based on our ability to measure length, the distance between two points. A modern way to measure distance is to determine how long light needs to get from one point to the other. This geodesic distance generalizes to curved spaces like the sphere and is also a practical way to measure distances, for example with lasers.
    [Show full text]
  • Notes 20: Afine Geometry
    Notes 20: Afine Geometry Example 1. Let C be the curve in R2 defined by x2 + 4xy + y2 + y2 − 1 = 0 = (x + 2y)2 + y2 − 1: If we set u = x + 2y; v = y; we obtain u2 + v2 − 1 = 0 which is a circle in the u; v plane. Let 2 2 F : R ! R ; (x; y) 7! (u = 2x + y; v = y): We look at the geometry of F: Angles: This transformation does not preserve angles. For example the line 2x + y = 0 is mapped to the line u = 0; and the line y = 0 is mapped to v = 0: The two lines in the x − y plane are not orthogonal, while the lines in the u − v plane are orthogonal. Distances: This transformation does not preserve distance. The point A = (−1=2; 1) is mapped to a = (0; 1) and the point B = (0; 0) is mapped to b = (0; 0): the distance AB is not equal to the distance ab: Circles: The curve C is an ellipse with axis along the lines 2x + y = 0 and x = 0: It is mapped to the unit circle in the u − v plane. Lines: The map is a one-to-one onto map that maps lines to lines. What is a Geometry? We can think of a geometry as having three parts: A set of points, a special set of subsets called lines, and a group of transformations of the set of points that maps lines to lines. In the case of Euclidean geometry, the set of points is the familiar plane R2: The special subsets are what we ordinarily call lines.
    [Show full text]
  • (Finite Affine Geometry) References • Bennett, Affine An
    MATHEMATICS 152, FALL 2003 METHODS OF DISCRETE MATHEMATICS Outline #7 (Finite Affine Geometry) References • Bennett, Affine and Projective Geometry, Chapter 3. This book, avail- able in Cabot Library, covers all the proofs and has nice diagrams. • “Faculty Senate Affine Geometry”(attached). This has all the steps for each proof, but no diagrams. There are numerous references to diagrams on the course Web site, however, and the combination of this document and the Web site should be all that you need. • The course Web site, AffineDiagrams folder. This has links that bring up step-by-step diagrams for all key results. These diagrams will be available in class, and you are welcome to use them instead of drawing new diagrams on the blackboard. • The Windows application program affine.exe, which can be downloaded from the course Web site. • Data files for the small, medium, and large affine senates. These accom- pany affine.exe, since they are data files read by that program. The file affine.zip has everything. • PHP version of the affine geometry software. This program, written by Harvard undergraduate Luke Gustafson, runs directly off the Web and generates nice diagrams whenever you use affine geometry to do arithmetic. It also has nice built-in documentation. Choose the PHP- Programs folder on the Web site. 1. State the first four of the five axioms for a finite affine plane, using the terms “instructor” and “committee” instead of “point” and “line.” For A4 (Desargues), draw diagrams (or show the ones on the Web site) to illustrate the two cases (three parallel lines and three concurrent lines) in the Euclidean plane.
    [Show full text]
  • Quasi–Geodesic Flows
    Quasi{geodesic flows Maciej Czarnecki UniwersytetL´odzki,Katedra Geometrii ul. Banacha 22, 90-238L´od´z,Poland e-mail: [email protected] 1 Contents 1 Hyperbolic manifolds and hyperbolic groups 4 1.1 Hyperbolic space . 4 1.2 M¨obiustransformations . 5 1.3 Isometries of hyperbolic spaces . 5 1.4 Gromov hyperbolicity . 7 1.5 Hyperbolic surfaces and hyperbolic manifolds . 8 2 Foliations and flows 10 2.1 Foliations . 10 2.2 Flows . 10 2.3 Anosov and pseudo{Anosov flows . 11 2.4 Geodesic and quasi{geodesic flows . 12 3 Compactification of decomposed plane 13 3.1 Circular order . 13 3.2 Construction of universal circle . 13 3.3 Decompositions of the plane and ordering ends . 14 3.4 End compactification . 15 4 Quasi{geodesic flow and its end extension 16 4.1 Product covering . 16 4.2 Compactification of the flow space . 16 4.3 Properties of extension and the Calegari conjecture . 17 5 Non{compact case 18 5.1 Spaces of spheres . 18 5.2 Constant curvature flows on H2 . 18 5.3 Remarks on geodesic flows in H3 . 19 2 Introduction These are cosy notes of Erasmus+ lectures at Universidad de Granada, Spain on April 16{18, 2018 during the author's stay at IEMath{GR. After Danny Calegari and Steven Frankel we describe a structure of quasi{ geodesic flows on 3{dimensional hyperbolic manifolds. A flow in an action of the addirtive group R o on given manifold. We concentrate on closed 3{dimensional hyperbolic manifolds i.e. having locally isometric covering by the hyperbolic space H3.
    [Show full text]