4.5 a Formula for Gaussian Curvature

Total Page:16

File Type:pdf, Size:1020Kb

4.5 a Formula for Gaussian Curvature 48 4.5 A Formula for Gaussian Curvature The Gaussian curvature can tell us a lot about a surface. We compute K using the unit normal U, so that it would seem reasonable to think that the way in which we embed the surface in three space would affect the value of K while leaving the geometry of M un- changed. This would mean that the Gaussian curvature would not be a geometric invariant and, therefore, would not be as helpful in studying surfaces. If we can find a formula for K which does not depend on U, we would then show that the value of K does not depend on how M is situated in space. We will give a formula for K when depends only on E, F , and G. These three quantities E, F, G are called the metric of the surface. I will give the { } more general formula later, but we will derive this for the case that F = xu xv = 0. Note that this means that the u and v-parameter curves form perpendicular families· of curves. Theorem 4.2 (Gauss’ Theorem Egregrium) The Gaussian curvature depends only on the metric E, F , and G, 1 ∂ Ev ∂ Gu K = + . (4.1) −2√EG ∂v √EG ∂u √EG where ∂ ∂ ∂ ∂ Ev = E = (xu xu) and Gu = G = (xv xv) ∂v ∂v · ∂u ∂u · Proof: This is nothing more than finding the coefficients of a vector with respect to a particular basis. Since we assumed that our patch is regular, we know that xu, xv,U forms a basis for 3 { } R . Now, we need to eliminate U from our formula for Gaussian curvature and l = xuu U, · m = xuv U, n = xvv U. Expand xuu, xuv, and xvv in terms of this basis. · · u v xuu = Γuuxu + Γuuxv + lU u v xuv = Γuvxu + Γuvxv + mU (4.2) u v xvv = Γvvxu + Γvvxv + nU Our job is to find the Γ’s. While they are just the coefficients in the basis expansion, they are traditionally known as Christoffel symbols. u xuu xu = Γuuxu xu + 0 + 0 · u · = ΓuuE likewise v xuu xv = Γ G · uu u so if we can compute xuu xu we can find Γ . · uu 4.5. A FORMULA FOR GAUSSIAN CURVATURE 49 E = xu xu so by taking the derivative with respect to u, we get that • · Eu = xuu xu + xu xuu = 2xu xuu. · · · Therefore, Eu u Eu xuu xu = and Γ = . · 2 uu 2E xu xv = 0 so differentiating with respect to u gives • · 0 = xuu xv + xu xuv or xuu xv = xu xuv · · · − · E = xu xu and differentiating with respect to v gives Ev = 2xu xuv. So, • · · Ev = xu xuv = xuu xv. 2 · − · Thus, xuu xv Ev xuv xu Ev Γv = · = and Γu = · = uu G −2G uv E 2E G = xv xv, so Gu/2 = xuv xv so • · · xuv xv Gu Γv = · = uv G 2G 0 = xu xv so differentiating with respect to v and following the same technique as • above will· give us xvv xu Gu Γu = · = . vv E −2E Finally, xv xv = G so xvv xv = Gv/2 and • · · xvv xv Gv Γv = · = . vv G −2G We end up with the following formulas Eu Ev xuu = xu xv + lU 2E − 2G E G x = v x + u x + mU uv 2E u 2G v Gu Gv xvv = xu + xv + nU −2E 2G l m Uu = xu xv −E − G m n Uv = xu xv − E − G In order to complete our proof, it is necessary to look at certain mixed third partial derivatives. We know that the mixed partials are equal, regardless of the order in which we 50 take the partials. Thus, xuuv = xuvu, or xuuv xuvu = 0. This means that when we write − xuuv xuvu in terms of xu, xv,U all of the coefficients are zero. We will concentrate on − { } the xv term for our result. Other terms give other results. Eu Eu Ev Ev xuuv = xu + xuv xv xvv + lvU + lUv 2E v 2E − 2G v − 2G Expand xuv, xvv and Uv by their basis expansions. Eu EuEv EvGu lm EuGu Ev EvGv ln xuuv = + 2 + xu + 2 xv 2E v 4E 4EG − E 4EG − 2G v − 4G − G mEu nEv + + lv U 2E − 2G Ev Ev Gu Gu xuvu = xu + xuu xv xuv + muU + lUu 2E u 2E − 2G u − 2G 2 Ev EuEv EvGu lm EvEv Gu GuGu m = + 2 + xu + + + 2 xv 2E u 4E 4EG − E − 4EG 2G u 4G − G lEv mGu + + + mu U 2E 2G Now, the xv coefficient of xuuv xuvu must be zero, so − 2 EuGu Ev EvGv ln EvEv Gu GuGu m 0 = 2 + + 2 4EG − 2G v − 4G − G − − 4EG 2G u 4G − G 2 ln m EuGu Ev EvGv EvEv Gu GuGu − = 2 + 2 G 4EG − 2G v − 4G 4EG − 2G u − 4G 2 ln m EuGu 1 Ev EvGv EvEv 1 Gu GuGu − = 2 2 + 2 2 EG 4E G − E 2G v − 4EG 4E G − E 2G u − 4EG EuGu 1 Ev EvGv EvEv 1 Gu GuGu K = 2 2 + 2 2 4E G − E 2G v − 4EG 4E G − E 2G u − 4EG We have to check that right hand side of the above equation is the same as the right hand side of Equation 4.1. That means we must compute the derivatives. 1 ∂ Ev ∂ Gu + = − 2√EG ∂v √EG ∂u √EG 1 1/2 1 1/2 1 Evv√EG Ev( (EG) (EvG EGv) Guu√EG Gu( (EG) (EuG EGu) − 2 − − + − 2 − − ! −2√EG EG EG Evv Ev(EvG EGv) Guu Gu(EuG EGu) = + − + − −2EG 4E2G2 − 2EG 4E2G2 1 = [GEuGu 2EGEvv + EEvGv + GEvEv 2EGGuu + EGuGu] −(2EG)2 − − EuGu 2GEvv 2EvGv EvGv EvEv 2GGuu 2GuGu GuGu = − + − = K 4E2G − 4EG2 − 4EG2 4E2G − 4EG2 − 4EG2 Thus, we have developed the Gaussian curvature as a quantity involving only E, G, and (implicitly) F . 4.6. SOME EFFECTS OF CURVATURE 51 Lemma 4.4 In general the Gaussian curvature is given by Evv + F Guu Eu F Ev 0 Ev Gu 1 2 uv 2 2 u 2 2 2 − Gu− − Ev K = Fv EF EF . ((EG F 2)2 − 2 − 2 Gv FG Gu FG − 2 2 4.6 Some Effects of Curvature Recall that a point on a surface is an umbilic point if the principal curvatures a p are equal. Theorem 4.3 A surface M consisting entirely of umbilic points is contained in either a plane or a sphere. A surface in R3 is compact if it is closed and bounded. Here bounded means that it is contained in a sphere of sufficiently large, but finite, radius. Closed means that every sequence of points on the surface converges to a point on the surface. Theorem 4.4 On every compact surface M R3 there is some point p with K(p) > 0. ⊂ Corollary 5 There are no compact surfaces in R3 with K 0. In particular, no minimal surface embedded in R3 is compact. ≤ Theorem 4.5 (Liebmann) If M is a compact surface of constant Gaussian curvature K, then M is a sphere of radius 1/√K..
Recommended publications
  • Differential Geometry: Curvature and Holonomy Austin Christian
    University of Texas at Tyler Scholar Works at UT Tyler Math Theses Math Spring 5-5-2015 Differential Geometry: Curvature and Holonomy Austin Christian Follow this and additional works at: https://scholarworks.uttyler.edu/math_grad Part of the Mathematics Commons Recommended Citation Christian, Austin, "Differential Geometry: Curvature and Holonomy" (2015). Math Theses. Paper 5. http://hdl.handle.net/10950/266 This Thesis is brought to you for free and open access by the Math at Scholar Works at UT Tyler. It has been accepted for inclusion in Math Theses by an authorized administrator of Scholar Works at UT Tyler. For more information, please contact [email protected]. DIFFERENTIAL GEOMETRY: CURVATURE AND HOLONOMY by AUSTIN CHRISTIAN A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science Department of Mathematics David Milan, Ph.D., Committee Chair College of Arts and Sciences The University of Texas at Tyler May 2015 c Copyright by Austin Christian 2015 All rights reserved Acknowledgments There are a number of people that have contributed to this project, whether or not they were aware of their contribution. For taking me on as a student and learning differential geometry with me, I am deeply indebted to my advisor, David Milan. Without himself being a geometer, he has helped me to develop an invaluable intuition for the field, and the freedom he has afforded me to study things that I find interesting has given me ample room to grow. For introducing me to differential geometry in the first place, I owe a great deal of thanks to my undergraduate advisor, Robert Huff; our many fruitful conversations, mathematical and otherwise, con- tinue to affect my approach to mathematics.
    [Show full text]
  • CURVATURE E. L. Lady the Curvature of a Curve Is, Roughly Speaking, the Rate at Which That Curve Is Turning. Since the Tangent L
    1 CURVATURE E. L. Lady The curvature of a curve is, roughly speaking, the rate at which that curve is turning. Since the tangent line or the velocity vector shows the direction of the curve, this means that the curvature is, roughly, the rate at which the tangent line or velocity vector is turning. There are two refinements needed for this definition. First, the rate at which the tangent line of a curve is turning will depend on how fast one is moving along the curve. But curvature should be a geometric property of the curve and not be changed by the way one moves along it. Thus we define curvature to be the absolute value of the rate at which the tangent line is turning when one moves along the curve at a speed of one unit per second. At first, remembering the determination in Calculus I of whether a curve is curving upwards or downwards (“concave up or concave down”) it may seem that curvature should be a signed quantity. However a little thought shows that this would be undesirable. If one looks at a circle, for instance, the top is concave down and the bottom is concave up, but clearly one wants the curvature of a circle to be positive all the way round. Negative curvature simply doesn’t make sense for curves. The second problem with defining curvature to be the rate at which the tangent line is turning is that one has to figure out what this means. The Curvature of a Graph in the Plane.
    [Show full text]
  • Chapter 13 Curvature in Riemannian Manifolds
    Chapter 13 Curvature in Riemannian Manifolds 13.1 The Curvature Tensor If (M, , )isaRiemannianmanifoldand is a connection on M (that is, a connection on TM−), we− saw in Section 11.2 (Proposition 11.8)∇ that the curvature induced by is given by ∇ R(X, Y )= , ∇X ◦∇Y −∇Y ◦∇X −∇[X,Y ] for all X, Y X(M), with R(X, Y ) Γ( om(TM,TM)) = Hom (Γ(TM), Γ(TM)). ∈ ∈ H ∼ C∞(M) Since sections of the tangent bundle are vector fields (Γ(TM)=X(M)), R defines a map R: X(M) X(M) X(M) X(M), × × −→ and, as we observed just after stating Proposition 11.8, R(X, Y )Z is C∞(M)-linear in X, Y, Z and skew-symmetric in X and Y .ItfollowsthatR defines a (1, 3)-tensor, also denoted R, with R : T M T M T M T M. p p × p × p −→ p Experience shows that it is useful to consider the (0, 4)-tensor, also denoted R,givenby R (x, y, z, w)= R (x, y)z,w p p p as well as the expression R(x, y, y, x), which, for an orthonormal pair, of vectors (x, y), is known as the sectional curvature, K(x, y). This last expression brings up a dilemma regarding the choice for the sign of R. With our present choice, the sectional curvature, K(x, y), is given by K(x, y)=R(x, y, y, x)but many authors define K as K(x, y)=R(x, y, x, y). Since R(x, y)isskew-symmetricinx, y, the latter choice corresponds to using R(x, y)insteadofR(x, y), that is, to define R(X, Y ) by − R(X, Y )= + .
    [Show full text]
  • Basics of the Differential Geometry of Surfaces
    Chapter 20 Basics of the Differential Geometry of Surfaces 20.1 Introduction The purpose of this chapter is to introduce the reader to some elementary concepts of the differential geometry of surfaces. Our goal is rather modest: We simply want to introduce the concepts needed to understand the notion of Gaussian curvature, mean curvature, principal curvatures, and geodesic lines. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate differential geometry course offered in the fall of 1994. Most of the topics covered in this course have been included, except a presentation of the global Gauss–Bonnet–Hopf theorem, some material on special coordinate systems, and Hilbert’s theorem on surfaces of constant negative curvature. What is a surface? A precise answer cannot really be given without introducing the concept of a manifold. An informal answer is to say that a surface is a set of points in R3 such that for every point p on the surface there is a small (perhaps very small) neighborhood U of p that is continuously deformable into a little flat open disk. Thus, a surface should really have some topology. Also,locally,unlessthe point p is “singular,” the surface looks like a plane. Properties of surfaces can be classified into local properties and global prop- erties.Intheolderliterature,thestudyoflocalpropertieswascalled geometry in the small,andthestudyofglobalpropertieswascalledgeometry in the large.Lo- cal properties are the properties that hold in a small neighborhood of a point on a surface. Curvature is a local property. Local properties canbestudiedmoreconve- niently by assuming that the surface is parametrized locally.
    [Show full text]
  • Curvature of Riemannian Manifolds
    Curvature of Riemannian Manifolds Seminar Riemannian Geometry Summer Term 2015 Prof. Dr. Anna Wienhard and Dr. Gye-Seon Lee Soeren Nolting July 16, 2015 1 Motivation Figure 1: A vector parallel transported along a closed curve on a curved manifold.[1] The aim of this talk is to define the curvature of Riemannian Manifolds and meeting some important simplifications as the sectional, Ricci and scalar curvature. We have already noticed, that a vector transported parallel along a closed curve on a Riemannian Manifold M may change its orientation. Thus, we can determine whether a Riemannian Manifold is curved or not by transporting a vector around a loop and measuring the difference of the orientation at start and the endo of the transport. As an example take Figure 1, which depicts a parallel transport of a vector on a two-sphere. Note that in a non-curved space the orientation of the vector would be preserved along the transport. 1 2 Curvature In the following we will use the Einstein sum convention and make use of the notation: X(M) space of smooth vector fields on M D(M) space of smooth functions on M 2.1 Defining Curvature and finding important properties This rather geometrical approach motivates the following definition: Definition 2.1 (Curvature). The curvature of a Riemannian Manifold is a correspondence that to each pair of vector fields X; Y 2 X (M) associates the map R(X; Y ): X(M) ! X(M) defined by R(X; Y )Z = rX rY Z − rY rX Z + r[X;Y ]Z (1) r is the Riemannian connection of M.
    [Show full text]
  • Lecture 8: the Sectional and Ricci Curvatures
    LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ⊗2(^2V ∗) the set of 4-tensors that is anti-symmetric with respect to the first two entries and with respect to the last two entries. Lemma 1.1. Suppose T 2 ⊗2(^2V ∗), X; Y 2 V . Let X0 = aX +bY; Y 0 = cX +dY , then T (X0;Y 0;X0;Y 0) = (ad − bc)2T (X; Y; X; Y ): Proof. This follows from a very simple computation: T (X0;Y 0;X0;Y 0) = T (aX + bY; cX + dY; aX + bY; cX + dY ) = (ad − bc)T (X; Y; aX + bY; cX + dY ) = (ad − bc)2T (X; Y; X; Y ): 1 Now suppose (M; g) is a Riemannian manifold. Recall that 2 g ^ g is a curvature- like tensor, such that 1 g ^ g(X ;Y ;X ;Y ) = hX ;X ihY ;Y i − hX ;Y i2: 2 p p p p p p p p p p 1 Applying the previous lemma to Rm and 2 g ^ g, we immediately get Proposition 1.2. The quantity Rm(Xp;Yp;Xp;Yp) K(Xp;Yp) := 2 hXp;XpihYp;Ypi − hXp;Ypi depends only on the two dimensional plane Πp = span(Xp;Yp) ⊂ TpM, i.e. it is independent of the choices of basis fXp;Ypg of Πp. Definition 1.3. We will call K(Πp) = K(Xp;Yp) the sectional curvature of (M; g) at p with respect to the plane Πp. Remark. The sectional curvature K is NOT a function on M (for dim M > 2), but a function on the Grassmann bundle Gm;2(M) of M.
    [Show full text]
  • A Space Curve Is a Smooth Map Γ : I ⊂ R → R 3. in Our Analysis of Defining
    What is a Space Curve? A space curve is a smooth map γ : I ⊂ R ! R3. In our analysis of defining the curvature for space curves we will be able to take the inclusion (γ; 0) and have that the curvature of (γ; 0) is the same as the curvature of γ where γ : I ! R2. Hence, in this part of the talk, γ will always be a space curve. We will make one more restriction on γ, namely that γ0(t) 6= ~0 for no t in its domain. Curves with this property are said to be regular. We now give a complete definition of the curves in which we will study, however after another remark, we will refine that definition as well. Definition: A regular space curve is the image of a smooth map γ : I ⊂ R ! R3 such that γ0 6= ~0; 8t. Since γ and it's image are uniquely related up to reparametrization, one usually just says that a curve is a map i.e making no distinction between the two. The remark about being unique up to reparametrization is precisely the reason why our next restriction will make sense. It turns out that every regular curve admits a unit speed reparametrization. This property proves to be a very remarkable one especially in the case of proving theorems. Note: In practice it is extremely difficult to find a unit speed reparametrization of a general space curve. Before proceeding we remind ourselves of the definition for reparametrization and comment on why regular curves admit unit speed reparametrizations.
    [Show full text]
  • AN INTRODUCTION to the CURVATURE of SURFACES by PHILIP ANTHONY BARILE a Thesis Submitted to the Graduate School-Camden Rutgers
    AN INTRODUCTION TO THE CURVATURE OF SURFACES By PHILIP ANTHONY BARILE A thesis submitted to the Graduate School-Camden Rutgers, The State University Of New Jersey in partial fulfillment of the requirements for the degree of Master of Science Graduate Program in Mathematics written under the direction of Haydee Herrera and approved by Camden, NJ January 2009 ABSTRACT OF THE THESIS An Introduction to the Curvature of Surfaces by PHILIP ANTHONY BARILE Thesis Director: Haydee Herrera Curvature is fundamental to the study of differential geometry. It describes different geometrical and topological properties of a surface in R3. Two types of curvature are discussed in this paper: intrinsic and extrinsic. Numerous examples are given which motivate definitions, properties and theorems concerning curvature. ii 1 1 Introduction For surfaces in R3, there are several different ways to measure curvature. Some curvature, like normal curvature, has the property such that it depends on how we embed the surface in R3. Normal curvature is extrinsic; that is, it could not be measured by being on the surface. On the other hand, another measurement of curvature, namely Gauss curvature, does not depend on how we embed the surface in R3. Gauss curvature is intrinsic; that is, it can be measured from on the surface. In order to engage in a discussion about curvature of surfaces, we must introduce some important concepts such as regular surfaces, the tangent plane, the first and second fundamental form, and the Gauss Map. Sections 2,3 and 4 introduce these preliminaries, however, their importance should not be understated as they lay the groundwork for more subtle and advanced topics in differential geometry.
    [Show full text]
  • The Riemann Curvature Tensor
    The Riemann Curvature Tensor Jennifer Cox May 6, 2019 Project Advisor: Dr. Jonathan Walters Abstract A tensor is a mathematical object that has applications in areas including physics, psychology, and artificial intelligence. The Riemann curvature tensor is a tool used to describe the curvature of n-dimensional spaces such as Riemannian manifolds in the field of differential geometry. The Riemann tensor plays an important role in the theories of general relativity and gravity as well as the curvature of spacetime. This paper will provide an overview of tensors and tensor operations. In particular, properties of the Riemann tensor will be examined. Calculations of the Riemann tensor for several two and three dimensional surfaces such as that of the sphere and torus will be demonstrated. The relationship between the Riemann tensor for the 2-sphere and 3-sphere will be studied, and it will be shown that these tensors satisfy the general equation of the Riemann tensor for an n-dimensional sphere. The connection between the Gaussian curvature and the Riemann curvature tensor will also be shown using Gauss's Theorem Egregium. Keywords: tensor, tensors, Riemann tensor, Riemann curvature tensor, curvature 1 Introduction Coordinate systems are the basis of analytic geometry and are necessary to solve geomet- ric problems using algebraic methods. The introduction of coordinate systems allowed for the blending of algebraic and geometric methods that eventually led to the development of calculus. Reliance on coordinate systems, however, can result in a loss of geometric insight and an unnecessary increase in the complexity of relevant expressions. Tensor calculus is an effective framework that will avoid the cons of relying on coordinate systems.
    [Show full text]
  • Ricci Curvature-Based Semi-Supervised Learning on an Attributed Network
    entropy Article Ricci Curvature-Based Semi-Supervised Learning on an Attributed Network Wei Wu , Guangmin Hu and Fucai Yu * School of Information and Communication Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China; [email protected] (W.W.); [email protected] (G.H.) * Correspondence: [email protected] Abstract: In recent years, on the basis of drawing lessons from traditional neural network models, people have been paying more and more attention to the design of neural network architectures for processing graph structure data, which are called graph neural networks (GNN). GCN, namely, graph convolution networks, are neural network models in GNN. GCN extends the convolution operation from traditional data (such as images) to graph data, and it is essentially a feature extractor, which aggregates the features of neighborhood nodes into those of target nodes. In the process of aggregating features, GCN uses the Laplacian matrix to assign different importance to the nodes in the neighborhood of the target nodes. Since graph-structured data are inherently non-Euclidean, we seek to use a non-Euclidean mathematical tool, namely, Riemannian geometry, to analyze graphs (networks). In this paper, we present a novel model for semi-supervised learning called the Ricci curvature-based graph convolutional neural network, i.e., RCGCN. The aggregation pattern of RCGCN is inspired by that of GCN. We regard the network as a discrete manifold, and then use Ricci curvature to assign different importance to the nodes within the neighborhood of the target nodes. Ricci curvature is related to the optimal transport distance, which can well reflect the geometric structure of the underlying space of the network.
    [Show full text]
  • Theory of Dual Horizonradius of Spacetime Curvature
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 15 May 2020 doi:10.20944/preprints202005.0250.v1 Theory of Dual Horizon Radius of Spacetime Curvature Mohammed. B. Al Fadhli1* 1College of Science, University of Lincoln, Lincoln, LN6 7TS, UK. Abstract The necessity of the dark energy and dark matter in the present universe could be a consequence of the antimatter elimination assumption in the early universe. In this research, I derive a new model to obtain the potential cosmic topology and the horizon radius of spacetime curvature 푅ℎ(휂) utilising a new construal of the geometry of space inspired by large-angle correlations of the cosmic microwave background (CMB). I utilise the Big Bounce theory to tune the initial conditions of the curvature density, and to avoid the Big Bang singularity and inflationary constraints. The mathematical derivation of a positively curved universe governed by only gravity revealed ∓ horizon solutions. Although the positive horizon is conventionally associated with the evolution of the matter universe, the negative horizon solution could imply additional evolution in the opposite direction. This possibly suggests that the matter and antimatter could be evolving in opposite directions as distinct sides of the universe, such as visualised Sloan Digital Sky Survey Data. Using this model, we found a decelerated stage of expansion during the first ~10 Gyr, which is followed by a second stage of accelerated expansion; potentially matching the tension in Hubble parameter measurements. In addition, the model predicts a final time-reversal stage of spatial contraction leading to the Big Crunch of a cyclic universe. The predicted density is Ω0 = ~1.14 > 1.
    [Show full text]
  • Class 6: Curved Space and Metrics
    Class 6: Curved Space and Metrics In this class we will discuss the meaning of spatial curvature, how distances in a curved space can be measured using a metric, and how this is connected to gravity Class 6: Curved Space and Metrics At the end of this session you should be able to … • … describe the geometrical properties of curved spaces compared to flat spaces, and how observers can determine whether or not their space is curved • … know how the metric of a space is defined, and how the metric can be used to compute distances and areas • ... make the connection between space-time curvature and gravity • … apply the space-time metric for Special Relativity and General Relativity to determine proper times and distances Properties of curved spaces • In the last Class we discussed that, according to the Equivalence Principle, objects “move in straight lines in a curved space-time”, in the presence of a gravitational field • So, what is a straight line on a curved surface? We can define it as the shortest distance between 2 points, which mathematicians call a geodesic https://www.pitt.edu/~jdnorton/teaching/HPS_0410/chapters/non_Euclid_curved/index.html https://www.quora.com/What-are-the-reasons-that-flight-paths-especially-for-long-haul-flights-are-seen-as-curves-rather-than-straight-lines-on-a- screen-Is-map-distortion-the-only-reason-Or-do-flight-paths-consider-the-rotation-of-the-Earth Properties of curved spaces Equivalently, a geodesic is a path that would be travelled by an ant walking straight ahead on the surface! • Consider two
    [Show full text]