Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    From $11.99/month after trial. Cancel anytime.

    Differential Geometry
    Differential Geometry
    Differential Geometry
    Ebook416 pages6 hours

    Differential Geometry

    By William C. Graustein

    ()

    Read preview

    About this ebook

    This first course in differential geometry presents the fundamentals of the metric differential geometry of curves and surfaces in a Euclidean space of three dimensions. Written by an outstanding teacher and mathematician, it explains the material in the most effective way, using vector notation and technique. It also provides an introduction to the study of Riemannian geometry.
    Suitable for advanced undergraduates and graduate students, the text presupposes a knowledge of calculus. The first nine chapters focus on the theory, treating the basic properties of curves and surfaces, the mapping of surfaces, and the absolute geometry of a surface. The final chapter considers the applications of the theory to certain important classes of surfaces: surfaces of revolution, ruled surfaces, translation surfaces, and minimal surfaces. Nearly 200 problems appear throughout the text, offering ample reinforcement of every subject.
    LanguageEnglish
    PublisherDover Publications
    Release dateApr 19, 2012
    ISBN9780486153230
    Differential Geometry

    Related to Differential Geometry

    Titles in the series (100)

    View More
    View More

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • UNLIMITED

      The Math That Takes Newton Into the Quantum World

      Feb 28, 2019

      In my 50s, too old to become a real expert, I have finally fallen in love with algebraic geometry. As the name suggests, this is the study of geometry using algebra. Around 1637, René Descartes laid the groundwork for this subject by taking a plane,

      9 min read

    • UNLIMITED

      Graph Theory In A Nutshell

      May 5, 2020

      A graph G(V,E) is a finite, non-empty set of vertices V (or nodes) and a set of edges E. If the edges E that have the form of (a,b) are an ordered pairs of vertices, then we have a directed graph. In contrast, if the edges E are unordered pairs of ve

      1 min read

    • UNLIMITED

      The Impossible Mathematics of the Real World

      Jun 8, 2017

      Using stiff paper and transparent tape, Craig Kaplan assembles a beautiful roundish shape that looks like a Buckminster Fuller creation or a fancy new kind of soccer ball. It consists of four regular dodecagons (12-sided polygons with all angles and

      6 min read

    • UNLIMITED

      Physicists Attack Math’s $1,000,000 Question

      Apr 4, 2017

      Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.

      4 min read

    • UNLIMITED

      Do The Maths

      Sep 2, 2024

      by Robyn Arianrhod (UNSW Press, $49.99) Imagine an arrow on a computer screen –in PowerPoint, say. You can drag it around the screen and it’s the same arrow. You can make different arrows by stretching it or rotating it to point in a different direc

      2 min read

    • UNLIMITED

      4. Linear Perspective

      Oct 29, 2021

      4. Linear Perspective
      4 min read

    • UNLIMITED

      La Persistenza Del Cono

      Jun 24, 2021

      La Persistenza Del Cono
      8 min read

    • UNLIMITED

      Fractal Dimensions

      Jul 2, 2019

      Fractal Dimensions
      1 min read

    • UNLIMITED

      Adding Structure

      Sep 3, 2021

      Adding Structure
      1 min read

    • UNLIMITED

      Babbage And Running His Many Engines

      Nov 16, 2021

      Mike Bedford Like most of us, Mike tended to think of the likes of Alan Turing and John von Neumann as the pioneers of computing, so delving further into Charles Babbage’s creations was truly inspiring. Discussion about the first ever computer often

      11 min read

    • UNLIMITED

      The Universe Began With a Big Melt, Not a Big Bang

      Oct 5, 2017

      There are two tantalizing mysteries about our universe, one dealing with its final fate and the other with its beginning, that have intrigued cosmologists for decades. The community has always believed these to be independent problems—but what if the

      10 min read

    • UNLIMITED

      Calculating A Position Line

      Feb 1, 2024

      Calculating A Position Line
      2 min read

    • UNLIMITED

      Book Reviews

      Mar 5, 2020

      Book Reviews
      3 min read

    • UNLIMITED

      Blossom Theory

      Dec 2, 2020

      Blossom Theory
      6 min read

    • UNLIMITED

      To Understand Your Past, Look to Your Future: An alternative to the Newtonian worldview promises to help explain quantum weirdness.

      May 19, 2016

      You’re thinking about time all wrong, according to our best physical theories. In Einstein’s general theory of relativity, there’s no conceptual distinction between the past and the future, let alone an objective line of “now.” There’s also no sense

      9 min read

    Related categories

    Reviews for Differential Geometry

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Differential Geometry - William C. Graustein

      INDEX

      CHAPTER I

      INTRODUCTION

      1. The nature of differential geometry. Differential geometry may be roughly described as the study of curves and surfaces of general type by means of the calculus. In contrast to it, there is algebraic geometry, which employs algebra as its principal tool and restricts itself to the consideration of a much narrower class of curves and surfaces. Thus, the theory of conic sections or quadric surfaces, with which the reader is familiar from analytic geometry, belongs to algebraic geometry, whereas that of the curvature of a general curve, or that of the tangent plane to a general surface, pertains to differential geometry.

      A geometric configuration has two different kinds of properties, those which pertain to the configuration as a whole, and those which are definable for restricted portions of it. Thus, the order of a plane algebraic curve—the number of points in which it is cut by a straight line—, is a property of the curve in its entirety. On the other hand, the curvature of a curve at a point depends only on the shape of the curve in the neighborhood of the point.

      Generally speaking, algebraic geometry is concerned with properties of the whole of a configuration, whereas differential geometry deals with properties of a restricted portion of it. Algebraic geometry is essentially a geometry of the whole or a geometry in the large, and differential geometry, a geometry in the small.

      Euclidean geometry, either in the synthetic form of the preparatory school or the analytic form of the college, is algebraic geometry. So also is the ordinary projective geometry with which the reader is perhaps conversant. But these two geometries differ essentially in content. Euclidean geometry deals with properties of figures which are unchanged by rigid motions, for example, with distance, angle, and area. Projective geometry deals only with properties of figures which are unchanged by projections, such as the property that a point lie on a line, or that a number of lines be concurrent. The former is a quantitative, or metric, geometry, whereas the latter is concerned with properties of position and has nothing to do with measurement.

      The distinction between metric and projective geometry is applicable, also, to differential geometry. Thus, there is a metric, or Euclidean, differential geometry and a projective differential geometry. In this book we shall be concerned only with metric differential geometry. In other words, we shall study, by means of the calculus, properties of curves and surfaces which are unchanged when the curves and surfaces are subjected to rigid motions.

      We shall begin by recalling, in perhaps a somewhat novel form, a few facts from solid analytic geometry.

      2. Directed line-segments. Vectors. As the basis of rectangular coordinates in space, we choose a system of coordinate axes which is right-handed, as shown in Fig. 1, and denote the coordinates of a point referred to this system by (x1, x2, x3).

      FIG. 1

      be the directed line-segment joining the point P with the coordinates (x1, x2, x3) to the point Pon the axes of x1, x2, x3, we know that

      (1)

      is

      (2)

      Finally, if A1, A2, Amakes with the positive axes of x1, x2, x3, then

      (3)

      By definition, cos A1, cos A2, cos A3 are the direction cosines of the line L lies, when L Hence α1, α2, α3 are, themselves, direction components of the line L. We shall call them the

      When a is of unit length, α1, α2, α3 become the direction cosines of the directed line L,

      Vectors. It is evident geometrically that two directed line-segments which lie on the same line, or on parallel lines, and have the same sense and the same length, have the same components. Conversely, if α1, α2, α3 are three numbers, not all zero, there are infinitely many directed line-segments, in fact, one issuing from each point, which have α1, α2, α3 as their projections on the axes. Each two of these directed line-segments have the same direction, the same sense, and the same length.

      we must know, not only its components α1, α2, α3, but also the coordinates x1, x2, x3 of its initial point P. If the components alone are known, the directed line-segment is free to move throughout space, provided merely that it keeps the same direction and sense. The directed line-segment is then called a vector. In other words, whereas a directed line-segment has precise position as well as direction, sense, and length, a vector has only direction, sense, and length. It takes all six quantities x1, x2, x3, α1, α2, α3 to determine a directed line-segment, and only the three quantities α1, α2, α3 (not all zero) to determine a vector.

      We shall call α1, α2, α3 the direction components, or simply, the components, of the vector; a, its length; and cos A1, cos A2, cos A3, its direction cosines. In short, we shall apply to vectors the terminology which we should naturally use for directed line-segments.

      In order that every number triple α1, α2, α3 shall be the components of a vector, we introduce the null vector with the components 0, 0, 0. To distinguish other vectors from it, we shall call them proper vectors.

      The vectors, proper and null, which we have thus far discussed are known as free vectors. In addition to them, we shall have occasion to use fixed, or localized, vectors. A localized vector is a vector with fixed initial point, that is, a directed line-segment. If the initial point is P, we shall speak of the vector as localized at P, or, more simply, as a vector at the point P.

      3. Parallel and perpendicular vectors. Consider now a number of vectors α, β, γ, ..., with the components α1, α2, α3, β1, β2, β3, γ1, γ2, γ3, ..., and think of them as being either all free vectors or all localized at the same point.

      We think of two vectors as parallel when they have the same direction, provided they are proper vectors. When one is the null vector, the definition is inapplicable, since the null vector has no direction. To cover this case, we extend the definition by agreeing to regard the null vector as parallel to every vector.

      If α is a proper vector and β is a vector parallel to α, the components of β are a multiple of those of α:

      (4)

      According as β is a proper vector with the same direction as α or the null vector, k ≠ 0 or k = 0.

      Conversely, equations (4) say that β is a vector parallel to α, the null vector if k = 0, and a proper vector if k ≠ 0. Hence, we have proved the proposition:

      THEOREM 1. A necessary and sufficient condition that the vector β be parallel to the proper vector α is that there exist a constant k such that equations (4) are satisfied.

      In particular, if k = — 1, β has the same length as α but the opposite sense; and, if k = 1, β is identical with α.

      THEOREM 2. The two vectors α and β are parallel if and only if

      (5)

      In proving the theorem, we distinguish two cases, according as α is, or is not, the null vector.

      If a is the null vector, equations (5) are obviously satisfied, on the one hand, and, on the other hand, α is, by definition, parallel to β.

      If α is not the null vector, it suffices to show that equations (5) are equivalent to equations (4). That equations (5) follow from equations (4) is clear. Vice versa, equations (4) follow from equations (5). For, since α is not the null vector, at least one of its components is not zero. If α3 ≠ 0, for example, the first two equations in (5) may be solved for β2 and β1, respectively. The resulting equations, β1 = (β3/α3)α1, β2 = (β3/α3)α2, together with β3 = (β3/α3)α3, are then precisely equations (4), when k = β3/α3.

      If we had not agreed to consider the null vector as parallel to every vector, the foregoing theorems would have been subject to exceptions which would later prove bothersome.

      π, is given by the familiar formula:

      (6)

      The proper vectors α and β are, then, perpendicular if and only if α1β3 + α2β2 + α3β3 = 0. Evidently, this equation is also satisfied if one of the vectors is the null vector. Accordingly, we agree to regard the null vector as perpendicular to every vector. We may, then, say:

      THEOREM 3. The vectors α and β are perpendicular if and only if

      (7)

      We have found it expedient to regard the null vector as parallel, and also perpendicular, to every vector. We shall also think of it as parallel, and perpendicular, to every line and every plane. We shall not, however, think of it as making an angle with any other vector, line, or plane, inasmuch as formula (6) is meaningless if the length of either of the vectors in question is zero.

      THEOREM 4. If the vectors α and β are not parallel, then

      (8)

      are the components of a proper vector which is perpendicular to each of them.

      Since α and β are not parallel, the expressions (8) are, according to Theorem 2, not all zero, and hence are the components of a proper vector. That this vector is perpendicular to each of the vectors α and β may be proved by application of Theorem 3.

      In this connection we note the identity of Lagrange:

      (9)

      which is readily verified by expanding and comparing the two members.

      Unit vectors. The vector α is a unit vector, that is, a vector of unit length, if and only if

      The components α1, α2, α3 are, then, actually the direction cosines of the vector.

      If α and β are unit vectors which are mutually perpendicular,

      Then the right-hand member of Lagrange’s identity is equal to unity, and hence the vector with the components (8) is a unit vector. This result we may state as follows:

      THEOREM 5. If α and β are mutually perpendicular unit vectors, then

      (10)

      are the components of a unit vector, γ, which is perpendicular to each of them.

      There is, of course, a second unit vector perpendicular to both α and β, namely, the vector with the components -γ1, -γ2, -γ3. We shall call this the vector -γ.

      The three vectors α, β, γ of Theorem 5 are mutually perpendicular unit vectors. We shall say that they have, in the order given, the same disposition as the coordinate axes if, after they have been localized at a point, there exists a rigid motion which carries α into OX1, β into OX2, and γ into OX3, where OX1, OX2, OX3 are the unit vectors at the origin of coordinates in the positive directions of the axes of x1, x2, x3.

      Consider, in addition to the triple of vectors a, β, γ, the triple α, β, -γ. Only one of these two ordered triples can have the same disposition as the axes. This will be the triple α, β, γ or the triple α, β, -γ according as, after α and β have been varied continuously so as to become respectively OX1 and OX2, it is γ or -γ which then becomes OX3. But, when α and β have respectively the components 1, 0, 0 and 0, 1, 0, it is γ which has the components 0, 0, 1, as may readily be verified by means of formulas (10). Hence, it is the triple α, β, γ which has the same disposition as the axes.

      This result we may state in the following way.

      THEOREM 6. If α, β, γ are three mutually perpendicular unit vectors which have, in the order given, the same disposition as the axes, then

      (10)

      4. Algebra of number triples. The numbers with which we have been dealing, the coordinates of points and the components of vectors, appear in the form of ordered triples, and certain combinations of these triples enter frequently. It will be worth while to give to these combinations names, and to discuss their properties. In this connection we shall call a single number, to distinguish it from a triple of numbers, a scalar.

      The two ordered triples of numbers a: (a1, a2, a3) and b: (b1, b2, b3) are identical if and only if ai = bi (i = 1, 2, 3). More often than not we shall write, instead of these three equations, the single symbolic equation a = b. Similarly, we shall use the symbolic equation a = 0 to stand for the three equations ai = 0 (i = 1, 2, 3) which say that the triple a is the triple (0, 0, 0).

      The scalar a1b1 + a2b2 + a3b3 is known as the inner or scalar product of the two triples a and b. It shall be denoted by (a|b), —read "a into b":

      (11)

      Evidently,

      (b|a) = (a b),

      and

      The triple of two-rowed determinants a2b3 - a3b2, a3b1 - a1b3, a1b2 - a2b1 is called the outer or vector product of the triples a and b—read "a b with a roof":

      (12)

      Here,

      is the triple (0, 0, 0).

      The determinant

      (13)

      is a combination of the three number triples a, b, c.

      A fundamental relation. The development of the determinant (a b c) according to the signed minors of the cwith the triple c:

      For, the signed minors of c1, c2, c3 are precisely the components a2b3 — a3b2, a3b1 — a1b3, a1b2 — a2band hence the development of (a b c) according to them is

      is the development of (a b c) by the signed minors of the a= (a b c). Hence,

      (14)

      5. Applications to vectors. The results of § 3 may now be put in a strikingly simple form.

      α) = 1.

      π, between the two proper vectors α and β is given by

      or, if the vectors are unit vectors, by

      β).

      in particular, if α is a proper vector, β is parallel to α when and only when a scalar k exists so that β = k α, where k α is the vector whose components are k times those of α.

      where k is an arbitrary scalar and k is the vector whose components are k

      Thus, the theorems in question may be extended, as follows:

      THEOREM 1. If α, β, γ are mutually perpendicular unit vectors which have, in the order given, the same disposition as the axes, then

      (15)

      we have

      and (α β γ) would have the value —1. In other words:

      THEOREM 2. A necessary and sufficient condition that the three mutually perpendicular unit vectors α, β, γ have, in the order given, the same disposition as the axes is that (α β γ) = 1.

      We turn now to some propositions of a different type.

      THEOREM 3. The three vectors α, β, γ are parallel to a plane if and only if (α β γ) = 0.

      = 0 and so (α β γ) = 0.

      a and β are parallel vectors and a plane parallel to one of them and γ is parallel to the other.

      THEOREM 4. The vectors α, β, γ are parallel to a plane if and only if scalars k, l, m, not all zero, exist so that

      (16)

      For, the three equations for which (16) is symbolic are homogeneous linear equations in k, l, m and have a solution for k, l, m, other than the solution 0, 0, 0, when and only when the determinant of their coefficients vanishes. But this is the determinant (α β γ), whose vanishing is the condition that the three vectors be parallel to a plane.

      COROLLARY. If the vectors α, β, γ are parallel to a plane and α and β are not parallel to one another, then scalars A and B exist so that

      (17)

      The vector γ is then said to be a linear combination of the vectors α and β.

      It is evident that, if the scalar m is not zero, the symbolic relation (16) can be rewritten in the form (17) by dividing each of the equations for which it stands through by m and setting -k/m = A and -l/m = B. But, if m were zero, the relation (16) would become kα = -lβ and would say that the vectors α and β were parallel. Thus, the corollary is established.

      THEOREM 5. If α, β, γ are three vectors which are not parallel to a plane and δ is an arbitrarily chosen vector, three scalars, A, B, C, exist so that

      δ = Aα + Bβ + Cγ.

      The theorem says that any vector can be written as a linear combination of three given vectors which are not parallel to a plane. We prove it by writing down the three equations

      whose validity follows from the fact that the first row in each of the three determinants is identical with a subsequent row. When each determinant is expanded according to the minors of the elements in the first row, we have

      (β γ δ)αi - (α γ δ)βi, + (α β δ)γi - (α β γ)δi, = 0, i = 1, 2, 3. Hence, we obtain the symbolic equation

      (18)

      which, since (α β γ) ≠ 0, establishes the theorem.

      6. The algebra of triples, continued. If k is a scalar and a is a triple, we shall mean by ka the triple ka1, ka2, ka3. And, if a and b are triples, we shall mean by a + b the triple a1 + b1, a2 + b2, a3 + b3.

      It is readily verified that (a band (a b c) obey the following fundamental laws:

      As applications of these laws, we have, for example,

      where k, l, m are scalars and a, b, c, d are triples.

      The generalized identity of Lagrange. can be expressed in terms of simple scalar products. We have, in fact, the identical relation:

      (19)

      which may be verified by expanding and comparing the two members.

      When c = a and d = b, the relation reduces to the identity of Lagrange, namely,

      (20)

      and write merely (a b c d) and (a b a b).

      ω-identities. If the scalar product of a given triple a and an arbitrary triple ω vanishes for every choice of the triple ω:

      (21)

      the components of the triple a are all zero. For, since (21) holds for every triple ω, it holds for ω1 = 1, ω2 = 0, ω3 = 0, and hence a1 = 0. Similarly, a2 = 0, and a3 = 0.

      The first of the following theorems follows directly from these considerations and the second is a consequence of the first.

      THEOREM 1. A necessary and sufficient condition that a1, a2, a3 be the triple 0, 0, 0 is that (a|ω) ≡ 0.

      THEOREM 2. The triples a and b are identical if and only if (a|ω) ≡ (b|ω).

      with the triple cwith the arbitrary triple ω. We have

      or

      Hence, by Theorem 2,

      (22)

      According to § 5, Theorem 4, this

      Enjoying the preview?
      Page 1 of 1