01234 Differential Geometry with Applications Project Exercise: Map

Total Page：16

File Type：pdf, Size：1020Kb

01234 Differential Geometry with Applications Project Exercise: Map Projection Distortion Figure 1: The Peirce Quincuncial map. 1 Wanted A well known consequence of Gauss’ Theorema Egregium is the Proposition 10.1 p. 238 in [P] that "Any map of any region of the Earth’s surface must distort distances." It follows (how?), that no such map preserves both area and angles - no map can be both equiareal and conformal. The purpose of this project exercise is to construct one or more measures of distortion for maps from regions of the sphere into the plane and illustrate how the measures work in concrete examples like the classical ones hinted at below (and the not-so-classical one in Figure 1): 2 Methods involved If a given map is known to be conformal, then the measure should tell and show how areas change under that map. And vice versa: An equiareal map must change angles between intersecting curves, but how and how much? Small circles on the sphere are not necessarily mapped into circles in the plane. Why not? This may also be useful for illustrating a measure of (local) distance distortion. 1 2.1 Estimated speciﬁc types of work loads • Theory from [1], [2] and elsewhere: ** • Maple: *** References [1] A. Pressley, Elementary Differential Geometry, Springer, 2010. [2] J. Benítez and N. Thome, Applications of Differential Geometry to Cartography, Int. J. Math. Educ. Sci. Technol. 2004, Vol. 35, No. 1, 29–38. Attached as BenTho.pdf [3] R. Taylor, R. Baur, and J. Oprea, Maple Maps, http://people.clarkson.edu/˜chengweb/faculty/taylor/maps/maps1.html [4] Vince Costanzo, The Maple Maptools Package, http://www3.villanova.edu/maple/projects/costanzo/carto/index.htm ——–oooOOoo——ooOOoo——– 2.

Copy Link

Recommended publications

A Law and Order Question
ALawandorder Relation preserving maps. Symmetric relations, asymmetric relations, and antisymmetry. The Cartesian product and the Venn diagram. Euler circles, power sets, partitioning or fibering. A-1 Law and order: Cartesian product, power sets In daily life, we make comparisons of type ... is higher than ... is smarter than ... is faster than .... Indeed, we are dealing with order. Mathematically speaking, order is a binary relation of type −1 xR1y : x<y (smaller than) , xR3y : x>y (larger than, R3 = R ) , 1 (A.1) ≤ ≥ −1 xR2y : x y (smaller-equal) , xR4y : x y (larger-equal, R4 = R2 ) . Example A.1 (Real numbers). x and y, for instance, can be real numbers: x, y ∈ R. End of Example. Question: “What is a relation?” Answer: “Let us explain the term relation in the frame of the following example.” Question. Example A.2 (Cartesian product). Define the left set A = {a1,a2,a3} as the set of balls in a left basket, and {a1,a2,a3} = {red,green,blue}. In contrast, the right set B = {b1,b2} as the set of balls in a right basket, and {b1,b2} = {yellow,pink}. Sequentically, we take a ball from the left basket as well as from the right basket such that we are led to the combinations A × B = (a1,b1) , (a1,b2) , (a2,b1) , (a2,b2) , (a3,b1) , (a3,b2) , (A.2) A × B = (red,yellow) , (red,pink) , (green,yellow) , (green,pink) , (blue,yellow) , (green,pink) . (A.3) End of Example. Definition A.1 (Reflexive partial order). Let M be a non-empty set. The binary relation R2 on M is called reflexive partial order if for all x, y, z ∈ M the following three conditions are fulfilled: (i) x ≤ x (reflexivity) , (ii) if x ≤ y and y ≤ x,thenx = y (antisymmetry) , (A.4) (iii) if x ≤ y and y ≤ z,thenx ≤ z (transitivity) .
[Show full text]
MA3D9: Geometry of Curves and Surfaces
Geometry of Curves and Surfaces Weiyi Zhang Mathematics Institute, University of Warwick November 20, 2020 2 Contents 1 Curves 5 1.1 Course description . .5 1.1.1 A bit preparation: Differentiation . .6 1.2 Methods of describing a curve . .8 1.2.1 Fixed coordinates . .8 1.2.2 Moving frames: parametrized curves . .8 1.2.3 Intrinsic way(coordinate free) . .9 n 1.3 Curves in R : Arclength Parametrization . 11 1.4 Curvature . 13 1.5 Orthonormal frame: Frenet-Serret equations . 16 1.6 Plane curves . 18 1.7 More results for space curves . 20 1.7.1 Taylor expansion of a curve . 21 1.7.2 Fundamental Theorem of the local theory of curves . 21 1.8 Isoperimetric Inequality . 23 1.9 The Four Vertex Theorem . 25 3 2 Surfaces in R 29 2.1 Definitions and Examples . 29 2.1.1 Compact surfaces . 32 2.1.2 Level sets . 33 2.2 The First Fundamental Form . 34 2.3 Length, Angle, Area . 35 2.3.1 Length: Isometry . 36 2.3.2 Angle: conformal . 37 2.3.3 Area: equiareal . 37 2.4 The Second Fundamental Form . 38 2.4.1 Normals and orientability . 39 2.4.2 Gauss map and second fundamental form . 40 2.5 Curvatures . 42 2.5.1 Definitions and first properties . 42 2.5.2 Calculation of Gaussian and mean curvatures . 45 2.5.3 Principal curvatures . 47 3 4 CONTENTS 2.6 Gauss's Theorema Egregium . 49 2.6.1 Compatibility equations . 52 2.6.2 Gaussian curvature for special cases .
[Show full text]
Graph Minor from Wikipedia, the Free Encyclopedia Contents
Graph minor From Wikipedia, the free encyclopedia Contents 1 2 × 2 real matrices 1 1.1 Profile ................................................. 1 1.2 Equi-areal mapping .......................................... 2 1.3 Functions of 2 × 2 real matrices .................................... 2 1.4 2 × 2 real matrices as complex numbers ............................... 3 1.5 References ............................................... 4 2 Abelian group 5 2.1 Definition ............................................... 5 2.2 Facts ................................................. 5 2.2.1 Notation ........................................... 5 2.2.2 Multiplication table ...................................... 6 2.3 Examples ............................................... 6 2.4 Historical remarks .......................................... 6 2.5 Properties ............................................... 6 2.6 Finite abelian groups ......................................... 7 2.6.1 Classification ......................................... 7 2.6.2 Automorphisms ....................................... 7 2.7 Infinite abelian groups ........................................ 8 2.7.1 Torsion groups ........................................ 9 2.7.2 Torsion-free and mixed groups ................................ 9 2.7.3 Invariants and classification .................................. 9 2.7.4 Additive groups of rings ................................... 9 2.8 Relation to other mathematical topics ................................. 10 2.9 A note on the typography ......................................
[Show full text]
Equiareal Shape-From-Template
Noname manuscript No. (will be inserted by the editor) Equiareal Shape-from-Template David Casillas-Perez · Daniel Pizarro · David Fuentes-Jimenez · Manuel Mazo · Adrien Bartoli Received: date / Accepted: date Abstract This paper studies the 3D reconstruction of give reconstruction results with both synthetic and real a deformable surface from a single image and a reference examples. surface, known as the template. This problem is known as Shape-from-Template and has been recently shown to be well-posed for isometric deformations, for which 1 Introduction the surface bends without altering geodesics. This pa- per studies the case of equiareal deformations. They The reconstruction of 3D objects from images is an are elastic deformations where the local area is pre- important goal in Computer Vision with numerous served and thus include isometry as a special case. Elas- scientific and engineering applications. Over the last tic deformations have been studied before in Shape- few decades, the reconstruction of rigid objects has from-Template, yet no theoretical results were given on been thoroughly studied and solved by Structure-from- the existence or uniqueness of solutions. The equiareal Motion (SfM) [23], which uses multiple 2D images of model is much more widely applicable than isome- the same scene. Rigidity ensures the problem's well- try. This paper brings Monge's theory, widely used for posedness in the general case, which means that only studying the solutions of non-linear first-order PDEs, one solution is obtained up to scale. to the field of 3D reconstruction. It uses this theory to This paper studies the reconstruction of objects un- establish a theoretical framework for equiareal Shape- dergoing deformations where SfM solutions cannot be from-Template and answers the important question of applied.
[Show full text]
Erik W. Grafarend Friedrich W. Krumm Map Projections Erik W
Erik W. Grafarend Friedrich W. Krumm Map Projections Erik W. Grafarend Friedrich W. Krumm Map Projections Cartographic Information Systems With 230 Figures 123 Professor Dr. Erik W. Grafarend Universität Stuttgart Institute of Geodesy Geschwister-Scholl-Str. 24 D 70174 Stuttgart Germany E-mail: [email protected] Dr. Friedrich W. Krumm Universität Stuttgart Institute of Geodesy Geschwister-Scholl-Str. 24 D 70174 Stuttgart Germany E-mail: [email protected] Library of Congress Control Number: 2006929531 ISBN-10 3-540-36701-2 Springer Berlin Heidelberg New York ISBN-13 978-3-540-36701-7 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+BusinessScience+Business Media Springeronline.com © Springer-Verlag Berlin Heidelberg 2006 Printed in Germany The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: E. Kirchner, Heidelberg Design, layout, and software manuscript by Dr.
[Show full text]
1 Revolvable Indoor Panoramas Using a Rectified Azimuthal Projection
Revolvable Indoor Panoramas Using a Rectified Azimuthal Projection expanded version of “An Indoor Alternative to Stereographic Spherical Panoramas ” (Bridges 2014) Chamberlain Fong [email protected] Abstract – We present an algorithm for converting an indoor spherical panorama into a photograph with a simulated overhead view. The resulting image will have an extremely wide field of view covering up to 4π steradians of the spherical panorama. We argue that our method complements the stereographic projection commonly used in the “little planet” effect. The stereographic projection works well in creating little planets of outdoor scenes; whereas our method is a well- suited counterpart for indoor scenes. The main innovation of our method is the introduction of a novel azimuthal map projection that can smoothly blend between the stereographic projection and the Lambert azimuthal equal-area projection. Our projection has an adjustable parameter that allows one to control and compromise between distortions in shape and distortions in size within the projected panorama. This extra control parameter gives our projection the ability to produce superior results over the stereographic projection. Keywords – Stereographic Projection, Lambert Azimuthal Equal-Area Projection, Spherical Panoramas, Computational Photography, Mathematical Cartography, Fernandez-Guasti squircle, circular disc-to-square mapping, conformal-equiareal spectrum Figure 1: Revolvable panoramas created using our algorithm 1 Introduction azimuthal equal-area projection. This proposed projection can also be considered as a generalization of both projections. Like the Recent advancements in image stitching algorithms and fisheye lens stereographic projection, our projection can be used to convert a optics have made capturing spherical panoramas easier than ever. spherical panorama into a photograph with a simulated overhead Consequently, there are a growing number of photographers who view of the scene.
[Show full text]
Geometry of Curves and Surfaces
Geometry of Curves and Surfaces Weiyi Zhang Mathematics Institute, University of Warwick January 3, 2019 2 Contents 1 Curves 5 1.1 Course description . .5 1.1.1 A bit preparation: Differentiation . .6 1.2 Methods of describing a curve . .8 1.2.1 Fixed coordinates . .8 1.2.2 Moving frames: parametrized curves . .8 1.2.3 Intrinsic way(coordinate free) . .9 n 1.3 Curves in R : Arclength Parametrization . 10 1.4 Curvature . 12 1.5 Orthonormal frame: Frenet-Serret equations . 15 1.6 Plane curves . 17 1.7 More results for space curves . 20 1.7.1 Taylor expansion of a curve . 20 1.7.2 Fundamental Theorem of the local theory of curves . 21 1.8 Isoperimetric Inequality . 21 1.9 The Four Vertex Theorem . 24 3 2 Surfaces in R 29 2.1 Definitions and Examples . 29 2.1.1 Compact surfaces . 32 2.1.2 Level sets . 33 2.2 The First Fundamental Form . 34 2.3 Length, Angle, Area . 35 2.3.1 Length: Isometry . 36 2.3.2 Angle: conformal . 37 2.3.3 Area: equiareal . 37 2.4 The Second Fundamental Form . 38 2.4.1 Normals and orientability . 39 2.4.2 Gauss map and second fundamental form . 40 2.5 Curvatures . 42 2.5.1 Definitions and first properties . 42 2.5.2 Calculation of Gaussian and mean curvatures . 45 2.5.3 Principal curvatures . 47 3 4 CONTENTS 2.6 Gauss's Theorema Egregium . 49 2.6.1 Gaussian curvature for special cases . 52 2.7 Surfaces of constant Gaussian curvature .
[Show full text]
Parallel Maps of Surfaces*
PARALLEL MAPS OF SURFACES* BY W. C. GRAUSTEIN 1. Introduction. Parallel maps, constituted by two surfaces in one-to-one point correspondence with the normals at corresponding points parallel, have been frequently studied, especially in particular cases. The problem of the determination of maps of this type which are conformai, first proposed and solved by Christoffel, f has received, perhaps, the greatest attention. Certain aspects of equiareal maps have been considered by Guichardî and Razzaboni.§ Of importance in connection with infinitesimal deformations of a surface are the parallel maps such that the asymptotic lines on each surface correspond to a conjugate system on the other. 11 The surfaces of a map of this kind, called by Bianchi associate surfaces, have been carefully investigated by Eisenhart. *¡¡ The congruence of lines joining corresponding points of the surfaces of a par- allel map have been found to have interesting properties. In particular, its two families of developables, according as they are distinct or coincident, inter- sect the surfaces in basic, i. e., corresponding, conjugate systems or in corre- sponding families of asymptotic lines.** Despite these diverse investigations there is extant no general theory of parallel maps which is complete or thorough. To give such a theory is the primary purpose of this paper. Parallel maps are first classified as directly or inversely parallel and then as hyperbolic, elliptic, or parabolic, after the manner of classi- fying one-dimensional projective correspondences, and each map is character- ized by an invariant I, analogous to the invariant of such a correspondence. * Presented to the Society, December 29, 1919, and December 30, 1920.
[Show full text]
University of Trento Analysis of 3D Scanning Data for Optimal Custom Footwear Manufacture
PhD Dissertation International Doctorate School in Information and Communication Technologies DIT - University of Trento Analysis of 3D scanning data for optimal custom footwear manufacture Bita Ture Savadkoohi Advisor: Dr. Raffaele de Amicis 2010 Acknologment I would like to express my deepest gratitude and thanks to my supervisor and the director of the Graphitech, Dr. Raffaele De Amicis for his enthusi- asm, generosity, support and his patience with me. I feel truly honoured to have the opportunity of being Dr. De Amicis student; it was his experience and inspiration that kept the research going. I address my special thanks to Dr. Giuseppe Conti for helping and collaborating in different research areas during my Ph.D. studies. My friendships along the way have been invaluable. For this I thank the entire Graphitech group. I owe special thanks to all of my office-mates and colleagues along the way: Gabrio Girardi, Stefano Piffer, Letizia Santato, Federico Prandi, Michele Andreolli, Daniele Magliocchetti, Marco Calderan and Bruno Simes. I would like to thank to my brother, Dr. Alireza Ture Savadkoohi and my sister, Dr. Parisa Ture Savadkoohi for helping me in all aspects of my life. My parents and my aunt have been there for me throughout my life with advice, encouragement, love and support; thank you. Bita Ture Savadkoohi July 2010, Trento Abstract Very few standards exist for fitting products to people. Footwear fit is a noteworthy example for consumer consideration when purchasing shoes. As a result, footwear manufacturing industry for achieving commercial success encountered the problem of developing right footwear which is fulfills con- sumer's requirement better than it's competeries.
[Show full text]
Mappings for Squaring the Circular Disc
Analytical Methods for Squaring the Disc Chamberlain Fong [email protected] Seoul ICM 2014 Abstract – We present and discuss several old and new methods for mapping a circular disc to a square. In particular, we present analytical expressions for mapping each point (u,v) inside the circular disc to a point (x,y) inside a square region. Ideally, we want the mapping to be smooth and invertible. In addition, we put emphasis on mappings with desirable properties. These include conformal, equiareal, and radially- constrained mappings. Finally, we present applications to logo design, panoramic photography, and hyperbolic art. Keywords – Squaring the Disc, Mapping a Circle to a Square, Mapping a Square to a Circle, Squircle, Conformal Mapping, Circle and Square Homeomorphism, Schwarz-Christoffel Mapping, Barrel Distortion, Defishing 1 Introduction The circle and the square are among the most common shapes used by mankind. It is certainly worthwhile to study the mathematical correspondence between the two. In this paper, we shall discuss ways to map a circular region to a square region and back. There are infinitely many ways of doing this mapping. Of particularly interest to us are mappings with nice closed-form invertible equations. We emphasize the importance of invertible equations because we want to perform the mapping back and forth between the circular disc and the square. We shall present and discuss several such mappings in this paper. 1.1 Organization of this Paper We anticipate that there will be two types of people who might read this paper. The 1st kind would be those who just want to get the equations to map a circular region to a square; and do not really care about proofs or derivations.
[Show full text]
Optimization of Geographic Map Projections for Canadian Territory
OPTIMIZATION OF GEOGRAPHIC MAP PROJECTIONS t FOR CANADIAN TERRITORY by Kresho Frankich Dipl. Ing., Geodetic University of Zagreb, 1959 M.A.Sc., University of British Columbia, 1974 A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by Special Arrangements c Kresho Frankich 1982 Simon Fraser University November, 1982 All rights reserved. This thesis may not be reproduced in whole or in part, by photocopy or other means, without permission of the author. APPROVAL Name : Kresho F'rankich Degree: Doctor of Philosophy Title of Thesis: Optimization of Geographic Map Projection for Canadian Territory Examining Committee : Chairperson: Dr. Thomas Poiker - Dr. Robert Russell Dr. Arthur Roberts Dr. Hwarlfi rakiwsky External Exf miner 1 The University of Calgary March 3, 1953 Date Approved: PARTIAL COPYRIGHT LICENSE I hereby grant to Simon Fraser University the right to lend my thesis, project or extended essay (the title of which is shown below) to users of the Simon Fraser University Library, and to make partial or single copies only for such users or in response to a request from the library of any other university, or other educational institution, on its own behalf or for one of its users. I further agree that permission for multiple copying of this work for scholarly purposes may be granted by me or the Dean of Graduate Studies. It is understood that copying or publication of this work for financial gain shall not be allowed without my written permission. Title of Thesis/Project/Extended Essay Author: (signature) ( name iii I ABSTRACT One of the main tasks of mathematical cartography is to determine a projection of a mapped territory in such a way that the resulting deformations of angles, areas and distances are objectively minimized.
[Show full text]
Surface Parameterization: a Tutorial and Survey
Surface Parameterization: a Tutorial and Survey Michael S. Floater1 and Kai Hormann2 1 Computer Science Department, Oslo University, Norway, [email protected] 2 ISTI, CNR, Pisa, Italy, [email protected] Summary. This paper provides a tutorial and survey of methods for parameterizing surfaces with a view to applications in geometric modelling and computer graphics. We gather various concepts from di®erential geometry which are relevant to surface mapping and use them to understand the strengths and weaknesses of the many methods for parameterizing piecewise linear surfaces and their relationship to one another. 1 Introduction A parameterization of a surface can be viewed as a one-to-one mapping from the surface to a suitable domain. In general, the parameter domain itself will be a surface and so constructing a parameterization means mapping one surface into another. Typically, surfaces that are homeomorphic to a disk are mapped into the plane. Usually the surfaces are either represented by or approximated by triangular meshes and the mappings are piecewise linear. Parameterizations have many applications in various ¯elds of science and engineering, including scattered data ¯tting, reparameterization of spline sur- faces, and repair of CAD models. But the main driving force in the devel- opment of the ¯rst parameterization methods was the application to texture mapping which is used in computer graphics to enhance the visual quality of polygonal models. Later, due to the quickly developing 3D scanning technol- ogy and the resulting demand for e±cient compression methods of increasingly complex triangulations, other applications such as surface approximation and remeshing have inuenced further developments.
[Show full text]