DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
84 Chapter 3. <strong>Surfaces</strong>: Further TopicsIt is very <strong>in</strong>terest<strong>in</strong>g that the total curvature does not change as we deform the surface, for example,as shown <strong>in</strong> Figure 1.9. In a topology course, one proves that any closed, oriented surface without∫∫MKdA = 4πFigure 1.9boundary must have the topological type of a sphere or of a g-holed torus for some positive <strong>in</strong>tegerg. Thus (cf. Exercises 5 <strong>and</strong> 6), the possible Euler characteristics of such a surface are 2, 0, −2,−4, ...; moreover, the <strong>in</strong>tegral ∫∫ MKdA determ<strong>in</strong>es the topological type of the surface.We conclude this section with a few applications of the Gauss-Bonnet Theorem.Example 5. Suppose M is a surface of nonpositive Gaussian curvature. Then there cannot bea geodesic 2-gon R on M that bounds a simply connected region. For if there were, by Theorem1.5 we would have∫∫0 ≥ KdA =2π − (ɛ 1 + ɛ 2 ) > 0,Rwhich is a contradiction. (Note that the exterior angles must be strictly less than π because thereis a unique (smooth) geodesic with a given tangent direction.) ▽Example 6. Suppose M is topologically equivalent to a cyl<strong>in</strong>der <strong>and</strong> its Gaussian curvatureis negative. Then there is at most one simple closed geodesic <strong>in</strong> M. Note, first, as <strong>in</strong>dicated <strong>in</strong>Rα must be like one of theseFigure 1.10Figure 1.10, that if there is a simple closed geodesic α, itmust separate M (i.e., does not bounda region) or else it bounds a disk R, <strong>in</strong>which case we would have 0 > ∫∫ RKdA =2πχ(R) =2π,which is a contradiction. On the other h<strong>and</strong>, suppose there were two. If they don’t <strong>in</strong>tersect, thenthey bound a cyl<strong>in</strong>der R <strong>and</strong> we get 0 > ∫∫ RKdA =2πχ(R) =0,which is a contradiction. If theydo <strong>in</strong>tersect, then we we have a geodesic 2-gon bound<strong>in</strong>g a simply connected region, which cannothappen by Example 5. ▽