48 Chapter 2. <strong>Surfaces</strong>: Local Theory(<strong>and</strong>, similarly, ≥ k 2 ). Moreover, as the Spectral Theorem tells us, the maximum <strong>and</strong> m<strong>in</strong>imumoccur at right angles to one another. Look<strong>in</strong>g back at Figure 2.2, where the slices are taken at angles<strong>in</strong> <strong>in</strong>crements of π/8, we see that the normal slices that are “most curved” appear <strong>in</strong> the third <strong>and</strong>seventh frames; the asymptotic directions appear <strong>in</strong> the second <strong>and</strong> fourth frames. (Cf. Exercise8.)Next we come to one of the most important concepts <strong>in</strong> the geometry of surfaces:Def<strong>in</strong>ition. The product of the pr<strong>in</strong>cipal curvatures is called the Gaussian curvature: K =det S P = k 1 k 2 . The average of the pr<strong>in</strong>cipal curvatures is called the mean curvature: H = 1 2 trS P =12 (k 1 + k 2 ). We say M is a m<strong>in</strong>imal surface if H =0.Note that whereas the signs of the pr<strong>in</strong>cipal curvatures change if we reverse the direction of theunit normal n, the Gaussian curvature K, be<strong>in</strong>g the product of both, is <strong>in</strong>dependent of the choiceof unit normal. (And the sign of the mean curvature depends on the choice.)Def<strong>in</strong>ition. Fix P ∈ M. We say P is an umbilic 3 if k 1 = k 2 . If k 1 = k 2 =0,wesayP is aplanar po<strong>in</strong>t. IfK =0but P is not a planar po<strong>in</strong>t, we say P is a parabolic po<strong>in</strong>t. IfK>0, we sayP is an elliptic po<strong>in</strong>t, <strong>and</strong> if K
§2. The Gauss Map <strong>and</strong> the Second Fundamental Form 49rectangle collapses to a l<strong>in</strong>e segment; for a saddle surface, orientation is reversed by n <strong>and</strong> so theGaussian curvature is negative.)Let’s close this section by revisit<strong>in</strong>g our discussion of the curvature of normal slices. Suppose αis an arclength-parametrized curve ly<strong>in</strong>g on M with α(0) = P <strong>and</strong> α ′ (0) = V. Then the calculation<strong>in</strong> formula (†) onp.44shows thatII P (V, V) =κN · n;i.e., II P (V, V) gives the component of the curvature vector κN of α normal to the surface M atP , which we denote by κ n <strong>and</strong> call the normal curvature of α at P . What is remarkable aboutthis formula is that it shows that the normal curvature depends only on the direction of α at P<strong>and</strong> otherwise not on the curve. (For the case of the normal slice, the normal curvature is, up to asign, all the curvature.) We immediately deduce the follow<strong>in</strong>gProposition 2.5 (Meusnier’s Formula). Let α be acurve on M pass<strong>in</strong>g through P with unittangent vector V. ThenII P (V, V) =κ n = κ cos φ,where φ is the angle between the pr<strong>in</strong>cipal normal, N, ofα <strong>and</strong> the surface normal, n, atP .In particular, if α is an asymptotic curve, then its normal curvature is 0 at each po<strong>in</strong>t.Example 6. Let’s now <strong>in</strong>vestigate a very <strong>in</strong>terest<strong>in</strong>g surface, called the pseudosphere, asshown<strong>in</strong> Figure 2.6. It is the surface of revolution obta<strong>in</strong>ed by rotat<strong>in</strong>g the tractrix (see Example 2 ofnNFigure 2.6Chapter 1, Section 1) about the x-axis, <strong>and</strong> so it is parametrized byx(u, v) =(u − tanh u, sechu cos v, sechu s<strong>in</strong> v),u > 0, v∈ [0, 2π).Note that the circles (of revolution) are l<strong>in</strong>es of curvature: Either apply Exercise 13 or observe,directly, that the only component of the surface normal that changes as we move around the circle isnormal to the circle <strong>in</strong> the plane of the circle. Similarly, the various tractrices are l<strong>in</strong>es of curvature:In the plane of one tractrix, the surface normal <strong>and</strong> the curve normal agree.Now, by Exercise 1.2.5, the curvature of the tractrix is κ =1/ s<strong>in</strong>h u; s<strong>in</strong>ce N = n along thiscurve, we have k 1 = κ n =1/ s<strong>in</strong>h u. Now what about the circles? Here we have κ =1/sechu =cosh u, but this is not the normal curvature. The angle θ we see <strong>in</strong> Figure 1.9 of Chapter 1 isthe same as the angle φ between N <strong>and</strong> n <strong>in</strong> Figure 2.6 (to see why, see Figure 2.7). Thus, by