The Geometry of Metric Spaces

Total Page:16

File Type:pdf, Size:1020Kb

The Geometry of Metric Spaces THE GEOMETRY OF METRIC SPACES Oona Rainio MSc Thesis November 2019 DEPARTMENT OF MATHEMATICS AND STATISTICS The originality of this thesis has been checked in accordance with the University of Turku quality assurance system using the Turnitin OriginalityCheck service UNIVERSITY OF TURKU Department of Mathematics and Statistics RAINIO, OONA: The Geometry of Metric Spaces MSc Thesis, 176 pages, 14 appendix pages, 51 figures Mathematics November 2019 This Master’s Thesis investigates the geometry of different metric spaces. The aim is to discuss the topic by giving several different metric spaces and illustrating their properties. While it is not possible to give all the information available on metric spaces and their geometry in this one thesis, we will introduce necessary definitions and several theorems needed to study this subject further. There are three types of metrics and metric spaces in our main focus. First, we will focus on the complex plane with the usual Euclidean metric that has been slightly modified so as to make it suitable for complex numbers. Then, we will present two different models for the hyperbolic geometry with their own hyperbolic distances that can be derived from each other. In the end of this thesis, we will also introduce the triangular ratio metric that can be applied to different domains in metric spaces that have fulfilled a certain condition presented with the definition. We will inspect different geometrical structures with the metrics mentioned above. Especially, we will concentrate on lines, line segments and triangles. Our focus is not only to inspect certain properties of these objects but also to find out how they are preserved in a specific group of transformations. Keywords: Complex number, complex plane, cross-ratio, geometry, hyperbolic ge- ometry, metric space, Möbius transformation, Poincaré disk model, triangular ratio metric, upper half-plane model. Contents 1 Introduction 1 2 Metric Spaces 3 2.1 Notion of a Metric . 3 2.2 Properties of a Metric Space . 13 2.3 Functions and Their Continuity . 18 3 Complex Plane 28 3.1 Introduction to Complex Numbers . 28 3.2 Complex Points and Lines . 36 3.3 Triangles in the Complex Plane . 48 3.4 Transforming Complex Points . 60 3.4.1 General Linear Transformations . 60 3.4.2 Reflection . 64 3.4.3 Inversion . 66 3.5 Möbius Transformations . 75 3.6 Cross-Ratio . 85 4 Hyperbolic Geometry 92 4.1 Non-Euclidean Geometry . 92 4.2 The Poincaré Disk Model . 97 4.2.1 Hyperbolic Transformations . 100 4.2.2 Hyperbolic Distance . 115 4.2.3 Geometric Figures . 126 4.3 The Upper Half-Plane Model . 134 5 Triangular Ratio Metric 142 5.1 Definition of the Triangular Ratio Metric . 142 5.2 A Few Examples and Algorithms . 147 5.3 Triangular Ratio Metric Balls . 161 6 Conclusion 167 Alphabetical Index 169 References 172 Appendix 177 R Program 1: The Euler Line of a Complex Triangle . 177 R Program 2: A Möbius Transformation . 180 R Program 3: The Triangular Ratio Metric in a Polygon . 183 R Program 4: The Triangular Ratio Metric in the Unit Disk . 186 R Program 5: The Triangular Ratio Balls with a Contour Map . 189 1 Introduction Considering how long the history of mathematics is, the concept of metric spaces is a quite recent one. The study of it properly began just over a century ago in 1905 when a French mathematician called René Maurice Fréchet (1878-1973) established the first foundations for this new area of mathematics [10],[46]. The first published work about metric spaces was Fréchet’s doctoral dissertation Sur quelques points du calcul fonctionnel, which was submitted in the spring of 1906 [46]. This thesis concerns functional operations and functional calculus that laid the indispensable foundation for the metric spaces but the term "metric space" does actually not occur anywhere in this thesis [46]. Instead the name is due to a German mathematician Felix Hausdorff (1868-1942) [46] who also gave a very important proof related to the converging of Cauchy sequences in complete metric spaces [10]. The study of metric spaces is a sub-area of a larger and older area of mathemat- ics, namely topology. Topology studies the mathematical properties of a geometrical object that are preserved under deformations, twistings, and stretchings but not tearings [69]. Topology can be developed in a metric space [60] but also in a topo- logical space that is a more general concept than metric space [27]. The concepts of both metric spaces and topology in general can be very abstract ones, which is perhaps partly because a more abstract point of view has played a vital role in the modern mathematics of the last century [57]. However, our way of approach to these topics is not an abstract one. Conse- quently, this thesis includes a lot of very detailed proofs for most of the theorems presented and the definitions used are explained in as much detail as possible. While we do introduce all the necessary terms out of which quite a few can be very concep- tual, the very basic geometrical figures such as points, lines and triangles are in our main focus. For instance, we will introduce and prove a formula for a circumcenter of a complex triangle and inspect what happens to straight lines after an inversion in a certain circle. To put it simply, our aim is not only to offer a lot of information about these topics for the reader but also to present the results in a self-contained way that is very easily understandable and does not require a professional level of an ability to read complicated mathematical texts. The contents of this thesis can be divided into four main sections. First, we will explain what a metric space actually is and introduce the definition of a metric. We will give a lot of examples of common metric spaces and also present one that is a little lesser known one. We will give all the necessary concepts related to metric spaces, such as open and closed sets, open balls and fixed points that will be needed later on in this thesis. We will also introduce several different types of continuity that can be generally applied to different functions defined in metric spaces regardless of what kind of a metric space is actually in question. In our next section, we will study complex plane. First, we will have an intro- ductory chapter in which we discuss complex numbers and prove the basic algebraic operations needed when calculating with complex numbers. After that, we will study different geometrical structures from lines to triangles. We will also introduce the concepts of Möbius transformations and cross-ratio which are both very useful not only when inspecting the geometry of the complex plane but also in other later 1 chapters of this thesis. Our third section is about the hyperbolic geometry. The first chapter of also this section is an introduction chapter but instead of complex numbers it will concern the history of the non-Euclidean geometry and give a few necessary definitions such as those of the parallel postulate and geodesics. In the chapter after that we will introduce the Poincaré disk model with its hyperbolic transformations and hyper- bolic distance. At the end of this section, we will also present another model for the hyperbolic geometry, namely the upper half-plane model. The final section of this thesis focuses on another metric, the triangular ratio metric, that is actually very new compared to the ones used in the earlier sections. First, we will define this metric and introduce not only a few example situations but also ways to build an algorithm that calculates the value of this metric. In our last chapter, we will make use of these algorithms and concentrate on the balls created with triangular ratio metric in different domains. In the end of this thesis, there is a conclusion chapter, an alphabetical index, a reference list and an appendix. The index contains not only mathematical terms and concepts introduced but also the names of the famous mathematicians mentioned. While all the sources used can be found in the reference list, the main sources for each chapter are also mentioned in the beginning of the chapter in question. The appendix contains five examples of the R programs used, which are especially useful for the final section about the triangular ratio metric. Writing this thesis has been an interesting and instructive experience. However, while it has required a lot of time and work from me, I am not the only person involved in this process. I would like to thank my supervisor Matti Vuorinen, who suggested the topic of this thesis to me and offered a lot of useful advice during the writing process. Oona Rainio Turku, November 2019 2 2 Metric Spaces In the following chapters, we will introduce the concept of a metric and metric spaces, on which this whole thesis is focused. We will give examples of different metrics and define several essential terms related to subsets of metric spaces. In the final chapter of this section, we will introduce six different types of continuity for functions defined in metric spaces. 2.1 Notion of a Metric In this chapter, we will define a metric and give examples of a few different metrics so that we can understand better what a metric actually is. For most of them, we will also prove that they truly are metrics in the space they are defined in, which shows the common structure of the proof needed for a metric. Mícheál O’Searcord’s book Metric Spaces [48] has been used as the main source for this chapter and this is also where more information about the topic can be found.
Recommended publications
  • Metric Geometry in a Tame Setting
    University of California Los Angeles Metric Geometry in a Tame Setting A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Erik Walsberg 2015 c Copyright by Erik Walsberg 2015 Abstract of the Dissertation Metric Geometry in a Tame Setting by Erik Walsberg Doctor of Philosophy in Mathematics University of California, Los Angeles, 2015 Professor Matthias J. Aschenbrenner, Chair We prove basic results about the topology and metric geometry of metric spaces which are definable in o-minimal expansions of ordered fields. ii The dissertation of Erik Walsberg is approved. Yiannis N. Moschovakis Chandrashekhar Khare David Kaplan Matthias J. Aschenbrenner, Committee Chair University of California, Los Angeles 2015 iii To Sam. iv Table of Contents 1 Introduction :::::::::::::::::::::::::::::::::::::: 1 2 Conventions :::::::::::::::::::::::::::::::::::::: 5 3 Metric Geometry ::::::::::::::::::::::::::::::::::: 7 3.1 Metric Spaces . 7 3.2 Maps Between Metric Spaces . 8 3.3 Covers and Packing Inequalities . 9 3.3.1 The 5r-covering Lemma . 9 3.3.2 Doubling Metrics . 10 3.4 Hausdorff Measures and Dimension . 11 3.4.1 Hausdorff Measures . 11 3.4.2 Hausdorff Dimension . 13 3.5 Topological Dimension . 15 3.6 Left-Invariant Metrics on Groups . 15 3.7 Reductions, Ultralimits and Limits of Metric Spaces . 16 3.7.1 Reductions of Λ-valued Metric Spaces . 16 3.7.2 Ultralimits . 17 3.7.3 GH-Convergence and GH-Ultralimits . 18 3.7.4 Asymptotic Cones . 19 3.7.5 Tangent Cones . 22 3.7.6 Conical Metric Spaces . 22 3.8 Normed Spaces . 23 4 T-Convexity :::::::::::::::::::::::::::::::::::::: 24 4.1 T-convex Structures .
    [Show full text]
  • Real Composition Algebras by Steven Clanton
    Real Composition Algebras by Steven Clanton A Thesis Submitted to the Faculty of The Wilkes Honors College in Partial Fulfillment of the Requirements for the Degree of Bachelor of Arts in Liberal Arts and Sciences with a Concentration in Mathematics Wilkes Honors College of Florida Atlantic University Jupiter, FL May 2009 Real Composition Algebras by Steven Clanton This thesis was prepared under the direction of the candidates thesis advisor, Dr. Ryan Karr, and has been approved by the members of his supervisory committee. It was sub- mitted to the faculty of The Honors College and was accepted in partial fulfillment of the requirements for the degree of Bachelor of Arts in Liberal Arts and Sciences. SUPERVISORY COMMITTEE: Dr. Ryan Karr Dr. Eugene Belogay Dean, Wilkes Honors College Date ii Abstract Author: Steve Clanton Title: Real Composition Algebras Institution: Wilkes Honors College of Florida Atlantic University Thesis Advisor: Dr. Ryan Karr Degree: Bachelor of Arts in Liberal Arts and Sciences Concentration: Mathematics Year: 2009 According to Koecher and Remmert [Ebb91, p. 267], Gauss introduced the \com- position of quadratic forms" to study the representability of natural numbers in binary (rank 2) quadratic forms. In particular, Gauss proved that any positive defi- nite binary quadratic form can be linearly transformed into the two-squares formula 2 2 2 2 2 2 w1 + w2 = (u1 + u2)(v1 + v2). This shows not only the existence of an algebra for every form but also an isomorphism to the complex numbers for each. Hurwitz gen- eralized the \theory of composition" to arbitrary dimensions and showed that exactly four such systems exist: the real numbers, the complex numbers, the quaternions, and octonions [CS03, p.
    [Show full text]
  • Module 2 : Fundamentals of Vector Spaces Section 2 : Vector Spaces
    Module 2 : Fundamentals of Vector Spaces Section 2 : Vector Spaces 2. Vector Spaces The concept of a vector space will now be formally introduced. This requires the concept of closure and field. Definition 1 (Closure) A set is said to be closed under an operation when any two elements of the set subject to the operation yields a third element belonging to the same set. Example 2 The set of integers is closed under addition, multiplication and subtraction. However, this set is not closed under division. Example 3 The set of real numbers ( ) and the set of complex numbers (C) are closed under addition, subtraction, multiplication and division. Definition 4 (Field) A field is a set of elements closed under addition, subtraction, multiplication and division. Example 5 The set of real numbers ( ) and the set of complex numbers ( ) are scalar fields. However, the set of integers is not a field. A vector space is a set of elements, which is closed under addition and scalar multiplication. Thus, associated with every vector space is a set of scalars (also called as scalar field or coefficient field) used to define scalar multiplication on the space. In functional analysis, the scalars will be always taken to be the set of real numbers ( ) or complex numbers ( ). Definition 6 (Vector Space): A vector space is a set of elements called vectors and scalar field together with two operations. The first operation is called addition which associates with any two vectors a vector , the sum of and . The second operation is called scalar multiplication, which associates with any vector and any scalar a vector (a scalar multiple of by Thus, when is a linear vector space, given any vectors and any scalars the element .
    [Show full text]
  • Special Isocubics in the Triangle Plane
    Special Isocubics in the Triangle Plane Jean-Pierre Ehrmann and Bernard Gibert June 19, 2015 Special Isocubics in the Triangle Plane This paper is organized into five main parts : a reminder of poles and polars with respect to a cubic. • a study on central, oblique, axial isocubics i.e. invariant under a central, oblique, • axial (orthogonal) symmetry followed by a generalization with harmonic homolo- gies. a study on circular isocubics i.e. cubics passing through the circular points at • infinity. a study on equilateral isocubics i.e. cubics denoted 60 with three real distinct • K asymptotes making 60◦ angles with one another. a study on conico-pivotal isocubics i.e. such that the line through two isoconjugate • points envelopes a conic. A number of practical constructions is provided and many examples of “unusual” cubics appear. Most of these cubics (and many other) can be seen on the web-site : http://bernard.gibert.pagesperso-orange.fr where they are detailed and referenced under a catalogue number of the form Knnn. We sincerely thank Edward Brisse, Fred Lang, Wilson Stothers and Paul Yiu for their friendly support and help. Chapter 1 Preliminaries and definitions 1.1 Notations We will denote by the cubic curve with barycentric equation • K F (x,y,z) = 0 where F is a third degree homogeneous polynomial in x,y,z. Its partial derivatives ∂F ∂2F will be noted F ′ for and F ′′ for when no confusion is possible. x ∂x xy ∂x∂y Any cubic with three real distinct asymptotes making 60◦ angles with one another • will be called an equilateral cubic or a 60.
    [Show full text]
  • Delaunay Triangulations of Points on Circles Arxiv:1803.11436V1 [Cs.CG
    Delaunay Triangulations of Points on Circles∗ Vincent Despr´e † Olivier Devillers† Hugo Parlier‡ Jean-Marc Schlenker‡ April 2, 2018 Abstract Delaunay triangulations of a point set in the Euclidean plane are ubiq- uitous in a number of computational sciences, including computational geometry. Delaunay triangulations are not well defined as soon as 4 or more points are concyclic but since it is not a generic situation, this difficulty is usually handled by using a (symbolic or explicit) perturbation. As an alter- native, we propose to define a canonical triangulation for a set of concyclic points by using a max-min angle characterization of Delaunay triangulations. This point of view leads to a well defined and unique triangulation as long as there are no symmetric quadruples of points. This unique triangulation can be computed in quasi-linear time by a very simple algorithm. 1 Introduction Let P be a set of points in the Euclidean plane. If we assume that P is in general position and in particular do not contain 4 concyclic points, then the Delaunay triangulation DT (P ) is the unique triangulation over P such that the (open) circumdisk of each triangle is empty. DT (P ) has a number of interesting properties. The one that we focus on is called the max-min angle property. For a given triangulation τ, let A(τ) be the list of all the angles of τ sorted from smallest to largest. DT (P ) is the triangulation which maximizes A(τ) for the lexicographical order [4,7] . In dimension 2 and for points in general position, this max-min angle arXiv:1803.11436v1 [cs.CG] 30 Mar 2018 property characterizes Delaunay triangulations and highlights one of their most ∗This work was supported by the ANR/FNR project SoS, INTER/ANR/16/11554412/SoS, ANR-17-CE40-0033.
    [Show full text]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [Show full text]
  • Angles in a Circle and Cyclic Quadrilateral MODULE - 3 Geometry
    Angles in a Circle and Cyclic Quadrilateral MODULE - 3 Geometry 16 Notes ANGLES IN A CIRCLE AND CYCLIC QUADRILATERAL You must have measured the angles between two straight lines. Let us now study the angles made by arcs and chords in a circle and a cyclic quadrilateral. OBJECTIVES After studying this lesson, you will be able to • verify that the angle subtended by an arc at the centre is double the angle subtended by it at any point on the remaining part of the circle; • prove that angles in the same segment of a circle are equal; • cite examples of concyclic points; • define cyclic quadrilterals; • prove that sum of the opposite angles of a cyclic quadrilateral is 180o; • use properties of cyclic qudrilateral; • solve problems based on Theorems (proved) and solve other numerical problems based on verified properties; • use results of other theorems in solving problems. EXPECTED BACKGROUND KNOWLEDGE • Angles of a triangle • Arc, chord and circumference of a circle • Quadrilateral and its types Mathematics Secondary Course 395 MODULE - 3 Angles in a Circle and Cyclic Quadrilateral Geometry 16.1 ANGLES IN A CIRCLE Central Angle. The angle made at the centre of a circle by the radii at the end points of an arc (or Notes a chord) is called the central angle or angle subtended by an arc (or chord) at the centre. In Fig. 16.1, ∠POQ is the central angle made by arc PRQ. Fig. 16.1 The length of an arc is closely associated with the central angle subtended by the arc. Let us define the “degree measure” of an arc in terms of the central angle.
    [Show full text]
  • Application of Nine Point Circle Theorem
    Application of Nine Point Circle Theorem Submitted by S3 PLMGS(S) Students Bianca Diva Katrina Arifin Kezia Aprilia Sanjaya Paya Lebar Methodist Girls’ School (Secondary) A project presented to the Singapore Mathematical Project Festival 2019 Singapore Mathematic Project Festival 2019 Application of the Nine-Point Circle Abstract In mathematics geometry, a nine-point circle is a circle that can be constructed from any given triangle, which passes through nine significant concyclic points defined from the triangle. These nine points come from the midpoint of each side of the triangle, the foot of each altitude, and the midpoint of the line segment from each vertex of the triangle to the orthocentre, the point where the three altitudes intersect. In this project we carried out last year, we tried to construct nine-point circles from triangulated areas of an n-sided polygon (which we call the “Original Polygon) and create another polygon by connecting the centres of the nine-point circle (which we call the “Image Polygon”). From this, we were able to find the area ratio between the areas of the original polygon and the image polygon. Two equations were found after we collected area ratios from various n-sided regular and irregular polygons. Paya Lebar Methodist Girls’ School (Secondary) 1 Singapore Mathematic Project Festival 2019 Application of the Nine-Point Circle Acknowledgement The students involved in this project would like to thank the school for the opportunity to participate in this competition. They would like to express their gratitude to the project supervisor, Ms Kok Lai Fong for her guidance in the course of preparing this project.
    [Show full text]
  • Discrete Geometric Homotopy Theory and Critical Values of Metric Spaces Leonard Duane Wilkins [email protected]
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Tennessee, Knoxville: Trace University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 5-2011 Discrete Geometric Homotopy Theory and Critical Values of Metric Spaces Leonard Duane Wilkins [email protected] Recommended Citation Wilkins, Leonard Duane, "Discrete Geometric Homotopy Theory and Critical Values of Metric Spaces. " PhD diss., University of Tennessee, 2011. https://trace.tennessee.edu/utk_graddiss/1039 This Dissertation is brought to you for free and open access by the Graduate School at Trace: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of Trace: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a dissertation written by Leonard Duane Wilkins entitled "Discrete Geometric Homotopy Theory and Critical Values of Metric Spaces." I have examined the final electronic copy of this dissertation for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Doctor of Philosophy, with a major in Mathematics. Conrad P. Plaut, Major Professor We have read this dissertation and recommend its acceptance: James Conant, Fernando Schwartz, Michael Guidry Accepted for the Council: Dixie L. Thompson Vice Provost and Dean of the Graduate School (Original signatures are on file with official student records.) To the Graduate Council: I am submitting herewith a dissertation written by Leonard Duane Wilkins entitled \Discrete Geometric Homotopy Theory and Critical Values of Metric Spaces." I have examined the final electronic copy of this dissertation for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Doctor of Philosophy, with a major in Mathematics.
    [Show full text]
  • CIRCLE and SPHERE GEOMETRY. [July
    464 CIRCLE AND SPHERE GEOMETRY. [July, CIRCLE AND SPHERE GEOMETRY. A Treatise on the Circle and the Sphere. By JULIAN LOWELL COOLIDGE. Oxford, the Clarendon Press, 1916. 8vo. 603 pp. AN era of systematizing and indexing produces naturally a desire for brevity. The excess of this desire is a disease, and its remedy must be treatises written, without diffuseness indeed, but with the generous temper which will find room and give proper exposition to true works of art. The circle and the sphere have furnished material for hundreds of students and writers, but their work, even the most valuable, has been hitherto too scattered for appraisement by the average student. Cyclopedias, while indispensable, are tan­ talizing. Circles and spheres have now been rescued from a state of dispersion by Dr. Coolidge's comprehensive lectures. Not a list of results, but a well digested account of theories and methods, sufficiently condensed by judicious choice of position and sequence, is what he has given us for leisurely study and enjoyment. The reader whom the author has in mind might be, well enough, at the outset a college sophomore, or a teacher who has read somewhat beyond the geometry expected for en­ trance. Beyond the sixth chapter, however, or roughly the middle of the book, he must be ready for persevering study in specialized fields. The part most read is therefore likely to be the first four chapters, and a short survey of these is what we shall venture here. After three pages of definitions and conventions the author calls "A truce to these preliminaries!" and plunges into inversion.
    [Show full text]
  • Euclidean Space - Wikipedia, the Free Encyclopedia Page 1 of 5
    Euclidean space - Wikipedia, the free encyclopedia Page 1 of 5 Euclidean space From Wikipedia, the free encyclopedia In mathematics, Euclidean space is the Euclidean plane and three-dimensional space of Euclidean geometry, as well as the generalizations of these notions to higher dimensions. The term “Euclidean” distinguishes these spaces from the curved spaces of non-Euclidean geometry and Einstein's general theory of relativity, and is named for the Greek mathematician Euclid of Alexandria. Classical Greek geometry defined the Euclidean plane and Euclidean three-dimensional space using certain postulates, while the other properties of these spaces were deduced as theorems. In modern mathematics, it is more common to define Euclidean space using Cartesian coordinates and the ideas of analytic geometry. This approach brings the tools of algebra and calculus to bear on questions of geometry, and Every point in three-dimensional has the advantage that it generalizes easily to Euclidean Euclidean space is determined by three spaces of more than three dimensions. coordinates. From the modern viewpoint, there is essentially only one Euclidean space of each dimension. In dimension one this is the real line; in dimension two it is the Cartesian plane; and in higher dimensions it is the real coordinate space with three or more real number coordinates. Thus a point in Euclidean space is a tuple of real numbers, and distances are defined using the Euclidean distance formula. Mathematicians often denote the n-dimensional Euclidean space by , or sometimes if they wish to emphasize its Euclidean nature. Euclidean spaces have finite dimension. Contents 1 Intuitive overview 2 Real coordinate space 3 Euclidean structure 4 Topology of Euclidean space 5 Generalizations 6 See also 7 References Intuitive overview One way to think of the Euclidean plane is as a set of points satisfying certain relationships, expressible in terms of distance and angle.
    [Show full text]
  • Notes on Metric Spaces
    Notes on Metric Spaces These notes introduce the concept of a metric space, which will be an essential notion throughout this course and in others that follow. Some of this material is contained in optional sections of the book, but I will assume none of that and start from scratch. Still, you should check the corresponding sections in the book for a possibly different point of view on a few things. The main idea to have in mind is that a metric space is some kind of generalization of R in the sense that it is some kind of \space" which has a notion of \distance". Having such a \distance" function will allow us to phrase many concepts from real analysis|such as the notions of convergence and continuity|in a more general setting, which (somewhat) surprisingly makes many things actually easier to understand. Metric Spaces Definition 1. A metric on a set X is a function d : X × X ! R such that • d(x; y) ≥ 0 for all x; y 2 X; moreover, d(x; y) = 0 if and only if x = y, • d(x; y) = d(y; x) for all x; y 2 X, and • d(x; y) ≤ d(x; z) + d(z; y) for all x; y; z 2 X. A metric space is a set X together with a metric d on it, and we will use the notation (X; d) for a metric space. Often, if the metric d is clear from context, we will simply denote the metric space (X; d) by X itself.
    [Show full text]