Elements of Differential Geometry Parker
Elements of Differential Geometry Parker
OF
DIFFERENTIAL
GEOMETRY
RICHARD S. MILLMAN
GEORGE D. PARKER
Preface xi
1 Preliminaries 1
1-1. Vector Spaces
1-2. Linear Transformations and Eigenvectors 4
1-3. Orientation and Cross Products 6
1-4. Lines. Planes, and Spheres 8
1-5. Vector Calculus 10
vii
viii
Bibliography 248
Index
I. Notational 255
II. Topical 257
Preface
and the subject. We hope that this book will aid in the return of differential
geometry to the undergraduate curriculum and that it can be taught by non-
specialists, as well as by specialists.
A traditional undergraduate course in classical differential geometry
usually hides the geometry in a myriad of symbols such as r,/ or Rlk,·We
have minimized this difficulty by making use of linear algebra throughout.
Modem vector space terminology can and should be used effectivelyto make
the material more comprehensible to the students. Furthermore, we find that
the students are very excited about using the linear algebra they have just
learned in another course. They view differential geometry as an application
of linear algebra, which it is. After the students understand the geometric
content of a result (by use of linear algebra) the result is then expressed in
classical notation. This enables the reader to consult texts in classical differ-
ential geometry without having to develop a whole new vocabulary.
In the advanced approach, which is usually restricted to the graduate
level, the geometry is hidden in the machinery and abstraction. We have
avoided topics which require building complicated machinery, such as differ-
ential forms or cohomology. We have resisted the temptation to prove the
most general results possible if these would require a lot of machinery to
state or to prove. In particular, for the first six chapters we stay in R 3 • In order
to avoid the trap of abstraction we include many examples-not only of the
definitions but also of the theorems because it is usually much easier to
follow a proof with a firm example in mind.
When first introduced to differential geometry, individuals often have
trouble reconciling the two views of the subject-classical and modem (mani-
folds). It is sometimes hard to tell what the connection (no pun intended) is
between the two approaches. We attempt to remedy this situation in the last
chapter. There we explain how the earlier material motivates the definitions
of manifold, tangent space, Riemannian metric, etc. and give a brief intro-
duction to the modem terminology. We hope that having finished this
chapter the reader will have an easier transition to books such as Hicks [1965],
Boothby [1975], Warner [1971], Matsushima [1972], or Kobayashi and
Nomizu [1963).
There is only one way to learn mathematics and that is to get your hands
dirty working problems. Differential geometry is no exception. We have
included more than 350 problems. The easier problems are usually at the
beginning of the problem sets. Those whose results are used in the text are
marked with an asterisk (*). There is one exception to this rule-in Chapters
1-6 we have not starred any problems which would be needed in Chapter 7.
It should be noted that an asterisk does not denote a hard problem: we have
reserved the dagger (t) for this.
In Chapter 1 we present the material which is the necessary background
xiii
for the book. Most of it is review and may be emphasiz.edas needed. We have
found that our students are generally weak in describing lines and planes in
vector notation. The material on eigenvalues and linear transformations is
not used until Chapter 4 and may be delayed until then.
Chapter 2 develops the basic local theory of space curves. The Frenet-
Serret Theorem which expresses the derivative of a geometrically chosen
basis of R 3 in terms of itself is proved, and many important corollaries are
derived. We include the Fundamental Theorem of Curves, showing the depen-
dence of differential geometry on the theory of ordinary differential equations.
Several classical topics are covered in the exercises, including sphere curves,
contact, Bertrand curves, evolutes, and involutes.
In Chapter 3 we give our first sampling of global theorems. Here we
stay in the plane and cover the Rotation Index Theorem of Hopf, the Isoperi-
metric Inequality, the Four-Vertex Theorem, and curves of constant width.
We feel that this is a basic chapter because global differential geometry is a
very important and popular subject which is all too often slighted in a first
course. It is certainly easier to prove only local results. However, this really
cheats the student who thereby misses one of the most fascinating parts of
the subject and is robbed of the insight gained by examining results in the
plane.
Chapter 4 presents the basics of local surface theory and serves as the
motivation for the ideas of Chapter 7. We study surfaces in R 3 and their first
and second fundamental forms. Geodesics and their length-minimizing prop-
erties are discussed. Next comes an investigation of curvature (both Gaussian
and mean), its relationship to the curvature of curves on the surface, and
Gauss's TheoremaEgregium. The chapter ends with optional material on
isometrics, the Fundamental Theorem of Surfaces, and surfaces of constant
Cllrvature. Again, several classical topics are covered in the exercises, includ-
ing ruled surfaces, developable surfaces, and asymptotic curves.
In Chapter S we return to global notions, this time for space curves.
Using the concepts of geodesics on the sphere and integration on a surface,
we prove Fenchel's Theorem about the total curvature of closed space curves
and the Fary-Milnor Theorem about the total curvature of a knot. We also
include the nonstandard topic of total torsion of a closed space curve.
Chapter 6 gives various global results for surfaces. We start off with
Meusnier's Theorem which states that a compact surface, all of whose points
are umbilics, is a sphere. We then go on to the Gauss-Bonnet Formula, which
relates the curvature of a region with the curvature of its boundary, and the
Gauss-Bonnet Theorem, which gives the total curvature of a compact surface.
As applications of the Gauss-Bonnet Theorem we prove theorems due to
Jacobi, Hadamard, and Poincare.
Motivated by the first six chapters, we introduce in Chapter 7 the basic
xiv Preface
We would like to thank Sharon Champion for her magnificent job typing
the manuscript, from the first set of class notes to the final draft. Her patience
and attention to detail through the jth rewrite of the ith author (i = 1 or 2,
1 ~j ~ oo) were truly amazing. We thank Marjorie Parker for her help with
the proofreading. Finally, we thank Barbara Blum of the Prentice-Hall edi-
torial staff for her help in making this book a reality.
Preliminaries
EXAMPLE 1.2. The set of all polynomials with real coefficients, R[x], is a real
vector space.
THEOREM 1.3. If Vis a vector space, then V has a basis. Any two bases have
the same number of elements, or all have infinitely many elements. This
number is called the dimensionof V.
EXAMPLE 1.5. R[x] has infinite dimension. {l, x, x 2 , ••• , x", ... } is a basis.
1.4.
~
if i =j
(1-1) 6,, ={ if i :;t:j.
If {vi,v2 , ••• , v.}is another basis of V, we have u1 = I; a•,v•. The matrix
representing ( , ) with respect to the basis {vi,v2 , ••• , v.} is given by
i., = (v., v,). Then g,1 = (u,, u1) = I; a•,a',i., or
(1-2) (g,1) = (a•,)'(i.,,)(a',).
4 Preliminaries Chap.1
This equation shows the effect of a change of basis on the matrix which
represents the inner product.
PROBLEMS
1.1. Prove that the set of polynomials of degree less than or equal to n forms
a real vector space. What is the dimension? Do the polynomials whose
degree is exactly n form a vector space?
1.2. Prove that D 5 = {/: R--+ RI/is differentiable at x = 5} is a real vector
space. What is the dimension of D 5 ?
1.3. Represent the standard inner product on R 3 (Example 1.6) with respect
to the basis {(l, 0, 1), (0, 1, 1), (1, -2, 3)}.
1.4. Prove that < , ) as defined in Example 1.7 is an inner product.
*1.5. Prove Lemma 1.8. (Hint: Let g(t) = (u + tv, u + tv) ~ 0. How many
real roots does g have? What does the quadratic formula say?)
-3-l
4 I= (3 - l)(-3 - l) _ 16
= -9 + A. 2 - 16
= l2 - 25
= (.A- 5)(.A+ 5).
PROBLEMS
Let {u1 , u2 , ••• , Un}and {v1 , v2 , ••• , vn}be two ordered bases of V and
define a matrix (a) by v1 = I: a11 u1•
DEFINITION.The ordered bases {u1 , u2 , • •• , un} and {v1 , v2 , ••• , vn}give the
same orientation to V if det (a11) > 0. They give opposite orientations if
det (a11) < 0.
EXAMPLE
3.1. Let {(l, 0, 0), (0, 1, 0), (0, 0, l)} and {(l, 1, 0), (1, 0, -1), (2, 1, 3)}
EXAMPLE3.2. {(l, 0, 0), (0, 1, 0), (0, 0, l)} and {(l, ], O), (2, 1, 3), (1, 0, -1)}
give the same orientation.
The basis {(l, 0, O), (0, 1, 0), (0, 0, 1)} of R 3 will be denoted {ei, e 2 , e3 }.
Its orientation will be called right handed.
FIGURE 1.1
PROBLEMS
FIGURE 1.2
FIGURE 1.3
FIGURE 1.4
The following lemma is clear from Figure 1.5 since u x vis perpendicular
to the desired plane.
FIGURE 1.5 v
10 Preliminaries Chap.1
PROBLEMS
4.1. Let a = (2, I, -3), b = (1, 0, 1), c = (0, -1, 3). What is the equation of
(a) the line through a parallel to b;
(b) the line through band c;
(c) the plane through b perpendicular to a;
(d) the plane through c parallel to a and b;
(e) the sphere with center a and radius 2?
If abstract vector spaces are unfamiliar, the reader may assume that
V = R 3 below. Letf: R---->V, where Vis a real vector space. If{v 1 , v2 , ••• , v,.}
is a basis of V, then f(t) = I: !'(t)v,. If the component functions f'(t) are
differentiable or integrable, we may differentiate or integrate f component-
wise:
df df'
-dt = I;-v,dt
and
s: f(t) dt = I: u: f'(t) dt) v,.
We should check that these definitions do not depend on the choice of
basis for V. However, this is a simple consequence of the linear properties
of d( )/dt and f! ( ) dt and is left to the reader.
Similarly if f is a vector-valued function of several variables, we may
take partial derivatives or multiple integrals.
(S-2) :. = ~ ~ + ~ ~· ce= 1, 2
<s-3> dx h du1 axdu 2
dt = T,ii dt + 1ii2dt.
PROBLEMS
trigonometric functions. Since they are not always covered in a calculus course
we briefly cover them in this problem set. The hyperbolicsinefunction is the
function sinh: R ---+R given by sinh(t) = (e' - e-')/2. The hyperboliccosine
function is the function cosh: R---+ R given by cosh(t) = (e' + e-')/2. For aid
in reading, sinh is pronounced "cinch" while "cosh" rhymes with "gosh."
5.3. Prove that for any t e R, cosh 2 (t) - sinh 2 (t) = 1. (Since x 2 - y 2 = 1
is a hyperbola, this gives the origin of the term "hyperbolic function."
Also, you should think about the analogy between this equation and
cos 2 8 + sin 2 8 = 1.)
5.4. Prove that cosh'(t) = sinh(t), and sinh'(t) = cosh(t) for all t e R.
5.5. Using Problem 5.4 show that sinh is one-to-one. Show that cosh is one-
to-one when restricted to [O, oo). Show also that sinh is onto the reals
whereas cosh(R) = [I, oo). (This means we may define the appropriate
inverse function.)
5.6. Show that the general solution to the differential equation/"= a 2f is
given by /(t) = A cosh(at) +
B sinh(at) where A and Bare real con-
stants. (If you cannot show this is the general solution, at least show
that it satisfies the differential equation.)
5.7. Compute f dx/,./1 + x 2 by means of the substitution x = sinh(t).
2
theory of surfaces (just the opposite is true) but rather to the pervasive genius
of Gauss. The history of the theory of curves is discussed more completely in
the historical notes at the end of this book.
There are two ways to think of curves. The first is as a geometric set of
points, or locus. When this is the case, we refer to a geometric curve, or the
geometricshapeof the curve. Intuitively we are thinking of a curve as the path
traced out by a particle moving in R 3 • The second way of thinking of a curve
is as a function of some parameter, say t. Intuitively it is not always enough
to know where a particle went-we also want to know when it got there.
(The parameter t is often thought of as time.) It is necessary to view curves the
second way if we are to apply the techniques of calculus to describe the
geometric behavior of a curve. This means that we must pay careful attention
to how the curve is parametrized (e.g., if you change the parameter you also
change the velocity vector field to the curve). However, we are also interested
in geometric properties of curves (e.g., arc length, tangent vector field). These
should not depend on the way a curve is parametrized as a function but only
on the image set of the function, that is, only on the geometric shape. Thus
we shall ask whether our constructions and descriptions depend upon the
parametrizations.
In Section 2-1 we define and give examples of parametrized curves. In
Section 2-2 we introduce a particularly useful parametrization-that by arc
length. Section 2-3 develops the Frenet-Serret apparatus which is the basic
tool in the study of curves. It consists of three vector fields along the given
curve (the tangent T, the normal N, and the binormal B) and two scalar-
valued functions (the curvature 'IC and the torsion -r). The Frenet-Serret
Theorem is proved in the fourth section. This theorem expresses the deriva-
tives of T, N, and B in terms of T, N, and B. We then make several applica-
tions. There is also a long collection of problems at the end of this section,
many of which deal with topics from the classical differential geometry of
curves. Section 2-5 gives the Fundamental Theorem of Curves and shows that
the Frenet-Serret apparatus does completely determine the geometry of the
curve. Finally, in Section 2-6 we develop the necessary techniques for comput-
ing the Frenet-Serret apparatus for curves which are not parametrized by arc
length.
dtl,/dtis Oat some point, then the graph of II can have a sharp corner, which is
geometrically unappealing. (Consider the graph of ci(t) = (t 2 , t 3 , 0).) Be-
cause of these considerations we will only work with regular curves.
If we view the curve as the path of a moving particle, the velocity vector
at t = t 0 points in the direction that the particle is moving at time t 0 • (See
Figure 2.1.) The regularity condition says that the speed is always nonzero-
the particle never stops moving, even instantaneously.
DEFINITION. The tangent vector field ta a regular curve Cl(t) is the vector-
valued function T(t) = (dci/dt)/1dci/dt I·
FIGURE 2.1
18 Local Curve Theory Chap.2
Note that we are able to define T (i.e., divide by Idtt,/dt I) precisely be-
cause of the regularity condition. T is the unit vector in the direction of the
velocity vector.
We shall see later in this section that Tis a geometric quantity: it depends
only on the image set of t1, and not the particular way this set is parametrized.
For each value oft, say t 0 , there is a unique straight line through tt,(t0)
parallel to T(t 0 ). This line is a linear approximation of the curve near tt,(t0 ).
(This is an example of one of the basic techniques in differential geometry:
an object of study (a curve) is replaced by a linear approximation (a tangent
line). This is done because linear mathematics is so much better understood
than nonlinear mathematics.) More formally:
DEFINITION. The tangent line to a regular curve t1, at the point t = t O is the
straight line
I= {w E R3 lw = tt,(t0) + lT(t 0 ), l E R}.
Note that the tangent line is a subset of R 3 which contains the point
tt,(t0 ) and actually is a straight line. Intuitively it is the line that most nearly
approximates the curve near tt,(t0 ). (See Figure 2.2.)
FIGURE 2.2
Since dtt,/dt :¢: 0 and dtt,/dt = Idtt,/dt IT, the tangent line at t = t O is also
given by
EXAMPLE 1.1. Let u and v be fixed vectors in R 3 • Then the curve t1, : R --+ R 3
given by tt,(t) = u + tv is a regular curve if and only if v :¢: 0. In this
case it is a straight line and dtt,/dt = v. The tangent line at each point is
the given straight line and T = vflvl,
ExAMPLE 1.2. Let ti,: R --+ R 3 be given by tt,(t) = (t, o.0). This is a special
case of Example 1.1.
S.c. 2-1 Basic Definitions and Examples 17
:ExAMPLE 1.3. Let iz: R - R 3 be given by iz(t) = (t 3 , 0, 0). diz/dt = (3t 2 , 0, 0),
which is zero at t = 0. iz is not a regular curve, even though its image is
the same as the curve in Example 1.2 !
FIGURE 2.3
In Examples 1.2 and 1.3 we saw a situation where the same image set
(the x-axis) was given two different parametrizations, one of which was not
regular. We wish to know what parametrizations can be used to describe a
liven image curve.
~
c -----
'o
t~ d a
\ b
FIGURE 2.4
The image of a curve and any of its reparametrizations are the same.
This means that any quantity which stays the same when we change para-
meters (i.e., make a reparametrization) is a quantity which depends only on
the geometric shape of the curve. Briefly, the quantity is a geometric invariant.
We will show below that the tangent line to a regular curve is such a geometric
invariant after we give some examples.
Now we shall show that the tangent vector field is a geometric property
of the image set of a regular curve and does not depend on the parametriza-
tion. This means that the tangent line to a curve is a geometric property also.
p,oof·
~ dt1,dg
dr dt dr
s = ldJT= ldt1,lldgl
17rl dt dr
dt1, dg
= 1!11~1
dt dr
= ('1)(±1) = ±T. I
PROBLEMS
1.1. (a) Show that t1,(t)= (sin 3t cos t, sin 3t sin t, 0) is a regular curve.
(b) Find the equation of the tangent line to t1,at t = n/3.
1.2. (a) Which of the following are regular curves 'l
(i) tJ,(9) = (cos 9, 1 - cos 9 - sin 9, -sin 9).
(ii) IS(9)= (2 sin 2 9, 2 sin 2 9 tan 9, 0).
(iii) y(9) = (cos 9, cos 2 9, sin 9).
(b) Find the tangent line to each of the above curves at 9 = n/4.
*1.3. (a) In Example 1.6, what is the equation of the tangent line at t = t 0 'l
(b) Show that the angle between (0, 0, 1) = u and dt1,/dtin Example 1.6
is a constant (i.e., independent of t).
1.4. Show that /: (-1, 1) - (-oo, oo) given by /(t) = tan (nt/2) is a
reparametrization.
1.S. Let g: (0, oo)--+ (0, 1) be given by g(r) = r 2 /(r 2 + 1). Is this a repara-
metrization 'l
1.6. Let t1,(9)= (e' cos 9, e' sin 9, 0). Prove that the angle between t1,and
T is constant. (A curve with this property is called a logarithmicspiral.)
1.7. Let t1,(t)be a regular curve. Suppose there is a point a e R 3 such that
tJ,(t) - a is orthogonal to T(t) for all t. Prove that t1,(t)lies on a sphere.
(Hint: What should be the center of the sphere?)
*1.8. Consider the function t1,: R --+ R 3 by t1,(t)= (t 2 , t 3 , 0).
(a) Show that t1,is C 1 but not regular.
(b) Show that the image of t1,has a sharp comer by graphing t1,,
*1.9. Let t1,: (a, b)--+ R 3 be a differentiable curve. Suppose there is a
sequence of points {t,,}in the interval (a, b) such that the t,, are all
20 Local C11rveTheory Chap.2
distinct, lim tn = t* E (a, b), and fl(tn) = X 0 for all n (thus "fl intersects
n-oo
itself infinitely often at x 0 "). Show that fl is not regular. (Hint: Show
that dt1/dt' = 0 at t* .) This shows that on any finite closed interval, a
regular curve can intersect itself only a finite number of times at the
same point.
Note that this is really the familiar formula for the length of a curve in
= (x(t), y(t), z(t)), then Idt1/dt I = ,J(x') 2 + (y') 2 + (z') 2, so that
R 3 : if fl(t)
J!
the length of the curve is given by ,J(x') 2 + (y') 2 + (z') 2 dt.
It makes sense to talk about reparametrizations of curve segments (see
Problem 2.7). One would hope that the length of a curve is a geometric prop-
erty and does not depend on the choice of parametrization. This is the con-
tent of the next proposition.
[11,ldr = f l(~i)(~~ldr
= f 1~,11~1d,.
Case 1: If dg/dr > 0, then ldg/drl = dg/dr, g(c) = a, g(d) = b, and
J:jdtt,/dtl ldg/drl dr = J!ldtt,/dtl (dg/dr) dr = J!ldtt,/dtl dt by the substitution
rule of integral calculus.
Case2: If dg/dr < 0, the proof is similar, using ldg/drl = -dg/dr,
· g(c) = b, and g(d) = a.
In both cases we have that the length of tt, equals the length of II, I
Note that the definition of the length of a curve does not really require
Cl to be regular to make sense-it is sufficient for tt, to be of class C 1 • How-
ever, if tt, is not regular, some segments of the curve may be traversed twice
and the formula will count the doubled section twice.
Using the concept of length of a curve, we are able to define an impor-
tant way'to reparametri7.e a curve. Let tt,: (a, b)- R 3 be a regular curve and
let t 0 e (a, b). Set h(t) = J~.Idtt,/dtI dt. s = h(t) is called arc length along tt,.
It actually measures signed arc length along tt, from tt,(t0 ) with h(t) < 0 if
t < t 0 and h(t) > 0 if t > t 0 •
TIIBoREM
2.2. his a one-to-one function mapping (a, b) onto some interval
(c, d) and is a reparametrization.
<1 = s; that is, 1 = IdP/ds j. Hence the velocity vector field dPfds is a unit
vector field and is thus T. When a curve pis parametrized by arc length (or
equivalently if its velocity vector field is T) we say that pis a unit speed curve.
The preceding paragraph and the proof of Theorem 2.2 contain some
important facts which we now isolate. We shall assume that O is in the
domain of cz(t)and base arc length at 0.
COROLLARY 2.3. If cz(t)is a regular curve ands= s(t) is its arc length, then
(a) s = s(t) = J~
Idcz/dtI dt;
(b> ds/dt = Idcz/dtI;
(c) dcz/dt = (ds/dt)T; and
(d) T = dcz/ds.
To take a given regular curve czand reparametrize it by arc length, while
always possible in theory, may be very difficult in practice. There are two
obstacles to such a program. In the first place, the integral
h(t>= I.I!~I dt
may not be elementary (see Example 2.6) and hence not computable.
Secondly, even if h(t) can be determined, it may not be possible to find the
inverse function g(s) (see Example 2.7).
and that
T(s) = (-sin (:),cos e),o)
dT 1
ds = ( -,cos (s)
,: , -,sin1 . (s)
,: ,0 )
has length 1/r.
StH:.2-2 Arc Length 23
I
I~~ = ,J4 cos2 t + sin 2 t
,.= ,J4 - 3 sin 2 t = 2,Jl - (i) sin 2 t.
But ,Jl - J
sin 2 t does not have an elementary antiderivative and so
the integration h(t) = J~
Idtt,/dt I dt cannot be carried out by using the
fundamental theorem of calculus. (Definite integrals of this kind are
called elliptic integrals because they can be interpreted as the arc length
of an ellipse. Their values are tabulated in many books of mathematical
tables.)
2.7. Let tt,(t) = (t, t 2 /2, 0). Then dtt,/dt = (1, t, 0) and
ExAMPLE
PROBLEMS
2.1. Find the arc length of the circular helix in Example 1.6 for O < t < 10.
2.2. Find the arc length of tt,(t) = (2 cosh 3t, -2 sinh 3t, 6t) for O < t < 5.
· 2.3. Reparametrize the right circular helix of Example 1.6 by arc length.
2.4. Reparametrize the curve tt,(t) = (e' cost, e' sin t, e') by arc length.
2.5. Reparametrize the curve tt,(t) = (cosh t, sinh t, t) by arc length.
2.6. Show that or.(s)is a unit speed curve where
tt,(s) = !(s ·I ,J s 2 + I, (s + Js2'+Tt 1, ,J2 In (s + ,J s 2 + I)).
*2.7. Formulate an appropriate definition of a reparametrization of a curve
segment.
24 Local Curve Theory Chap.2
2.8. Let ~(t) be a regular curve with Id~/dt I = a, where a is a fixed positive
constant. Show that ifs is arc length measured from some point, then
t = (s/a) + c for some constant c.
Note that for a unit speed curve~ = ~(t), the arc lengths= t - t 0 • We
shall assume that t 0 has been chosen to be O (so thats= t) and will write~
as a function of s. Because of this convention we can write unambiguously
~· = ~'(s) = T(s) where T is, as always, the tangent vector field (see Corol-
lary 2.3). For the rest of this section we shall assume that ~(s) is a unit speed
curve. This assumption amounts to the philosophical statement that we are
only interested in the geometric shape of a regular curve since any regular
curve can be reparametrized by arc length (Theorem 2.2) and reparametrizing
does not change the shape of a curve. In Section 2-6 we will compute the
quantities defined below if the curve is not given in a unit speed parametriza-
tion.
We now motivate the definition of "curvature" (of a curve). "Curvature"
will measure bending and will serve as the central concept of study in this
book (and, indeed, in all of differential geometry). The reader probably has
some intuitive idea of what "curvature" is. Whatever the definition of "curva-
ture" is, it should satisfy two criteria: (1) the curvature of a straight line
(Example 2.4) is zero; and (2) the curvature of a circle (Example 2.5) is the
same at each point. In terms of the curvature measuring bending, (1) says
that a straight line does not bend at all and (2) says that a circle has constant
bending. What is it about a straight line that does not change (i.e., what
might we choose to be a measure of bending?)? A glance at Example 2.4
(~(t) = u + tv) shows that the tangent vector field <?fastraight line does not
change with the arc lengths. It is v/1vI,which is independent of s. A glance at
Example 2.5 shows that the tangent vector field of a circle of radius r does
change withs but that its derivative has constant length 1/r. Because of these
considerations we are led to make the following definition.
straight line and ,c(s) = 1/r (for all s) if cz is a circle of radius r. This last
equality is especially appealing because it says that the smaller the radius is
the larger the curvature is (that is, the faster or tighter the circle is bending),
which conforms with our intuition.
We may also give a heuristic description of curvature for curves lying in
the plane. If czlies in the (x, y) plane, then cz(s)takes the form
cz(s) = (x(s), y(s}, 0),
hence cz'(s) = T(s) = (x'(s), y'(s), 0). We now let 9 be the angle between the
horizontal and the tangent vector field to cz at s as in Figure 2.5. (Technical
remark: This angle 9 is not really well defined. It is defined only up to a
multiple of2n. We will remedy this problem in Section 3-2. This is the reason
we do not separate out what follows as a theorem but merely call it a heuristic
description.)
T(s)
FIGURE 2.5
~
Because of the description of the angle 9 we have
x'(s) = (T(s), (1, 0, 0)) = cos 9(s)
and T(s) = (cos 9(s), sin 9(s), 0). Thus
T'(s) = ( -sin 9(s), cos 9(s), o)(~
and ,c(s) = IT'(s) I = Id9/ds I· This shows that the curvature of a plane curve
la the rate of change of the angle the tangent vector field makes with the hori-
zontal (up to sign). This approach to the curvature of plane curves is essen-
tially due to L. Euler (1736).
Having justified the definition of curvature, we shall now develop some
machinery to study curvature. This machinery which is called the Frenet-
Serret apparatus, is the key to studying the geometry of curves in R 3 and in
fact uniquely determines the curve as we will see in Section 2-5.
It is usual in both elementary physics and mathematics to think of a
vector as an arrow with a head and a base point (or "point of application").
If we imagine at each point cz(s)on the curve the set of all vectors whose base
point is cz(s),then we obtain at each point cz(s)a 3-dimensional vector space.
From the point of view of geometry, what is a natural basis for these vector
spaces? Certainly if e 1 = (1, 0, 0), ,e2 = (0, 1, 0), and e3 = (0, 0, 1), then
26 Local Curve Theory Chap. 2
{e1, e 2 , e 3} is a basis for these vector spaces (for each s). The problem is that
{e1, e 2 , e 3} reflects the geometryofR 3 instead of the geometry of the curve and
is thus unsatisfactory from a geometric viewpoint. Our line of attack is to
take the one "geometric" vector we have (the tangent vector field), find
another one (the normal vector field), and use their cross product (the binor-
mal vector field) to obtain an "intrinsically geometric" basis. The following
*
definitions are only valid at those points where TC(s) 0. Note that T'/,c is
a unit vector.
DEFINITION. The principal normal vector field to a unit speed curve ~(s) is the
(unit) vector field N(s) = T'(s)f,c(s). The binormal vector field to ~(s) is
B(s) = T(s) x N(s). The torsion of~ is the real-valued function
-r(s) = -(B'(s), N(s)).
We will give the geometric meaning of torsion in the next section. (It
will measure "how far from lying in a plane" ~ is.)
DEFINITION.
(a) The Frenet-Serret apparatus of the unit speed curve ~(s) is
{,c(s),-r(s), T(s), N(s), B(s)}.
(b) If P(t) is a regular curve we ,may write t = t(s) or s = s(t) by
Theorem 2.2. Let ~(s) = P(t(s)) be a unit speed reparametrization
of p and let {,c(s), -r(s), T(s), N(s), B(s)} be the Frenet-Serret appa-
ratus of the unit speed curve~- The Frenet-Serret apparatus of P(t) is
{,c(s(t)), -r(s(t)), T(s(t)), N(s(t)), B(s(t))}.
Because it is so difficult (and often impossible) to find t as a function of
s explicitly, we shall need a computational tool for finding the Frenet-Serret
apparatus for a non-unit speed curve. This is done in Section 2-6.
EXAMPLE 3.1. Let ~(s) = (r cos (s/r), r sin (s/r), 0) be a circle of radius r > 0.
T(s) = (-sin (s/r), cos (s/r), 0) so that TC(s)= IT'(s) I = l/r, as was men-
tioned earlier in this section. Note that
ExAMPLE
3.2. Consider the unit speed circular helix
~(s) = (r cos ros, r sin ros, hros),
where ro = (r 2 + h 2)-11 2 • (See also Example 1.6.)
Sec. 2-3 Curvature and the Frenet-Serret Apparatus 27
FIGURE 2.6
T
T
FIGURE 2.7
U!MMA
3.3. Let Cl(s) be a unit speed curve. Then for every s such that
K(s) * 0, the set {T(s), N(s), B(s)} is an orthonormal set.
Proof· T(s) is a unit vector, so by Lemma 5.1 of Chapter l, (T, T') = 0.
Since T' = KN and K *
0, we have (T, N) = 0 and so T and N are orthogo-
nal. Since B = T x N, Lemma 3.3g of Chapter 1 shows that Bis orthogonal
to both T and N. Since T and N are unit vectors, so is B = T x N. I
the curve. This is the reason that {T, N, B} is classically called a "moving
frame" or "moving trihedron." Look again at Figures 2.6 and 2.7.
If a curve has isolated points at which K is z.ero, then our construction
is not valid. However, if K is z.ero on an interval, then our intuition demands
that the curve be a straight line. This is indeed the case.
PROBLEMS
3.1. Show that iz(s) = (fJcos s, fJ - sins, -tt cos s) is unit speed and
compute its Frenet-Serret apparatus.
3.2. Show that
cz(s) -
- (CI+3s)''2 ' (I - 3s)''2 ' -:::TT
s )
•3.6. Let «z(s) be a Ck curve in the (x, y) plane. Prove that if K =I= 0 then
T =0. (Hint: There are differentiable functions x(s) and y(s) such that
cz(s) = (x(s}, y(s), 0). Show that B = ±(0, 0, I).}
3.7. Let «z(s) = (x(s),y(s}, 0) be a unit speed curve. Prove that
K = Ix'y" - x"y' I,
Proof:
(a) Because the number of elements in Eis the dimension of V we need
only prove that E is linearly independent. Let c 1 , c 2 , ••• , en be real numbers
with :Ec'-e, = 0. Then O = (:E c'-e,, e1) = :Ec'-(e" e1) = :Ec1011 = c1 for
eachj. (Recall that 011 is the Kronecker delta as defined in Equation (1-1))
of Chapter 1.) Therefore, {e1, e 2 , ••• , en}is linearly independent and a basis
for V.
(b) Since Eis a basis, we know that for each v E V there are real num-
bers vJ such that v = :Evier Therefore,
(ei, v) = (e,, :Evie1) = :Ev1011 = v',
which proves (b). I
The important thing about the above lemma is not that it tells us that
v E V can be expressed as a linear combination of the elements of E, but
rather that it tells us how to express v as a linear combination of the elements
of E. To appreciate this, consider what you must do if you are given an
arbitrary basis {u1tU2, ••• , Dn}of V and are asked to write a given vector
v E Vas v = :Ea'u,. You must solve n linear equations in n unknowns,
which is, in practice, very difficult. If, however, the basis is an orthonormal
30 Local Curve Theory Chap. 2
one, (Vis an inner product space), then it is easy-you need only compute
(u,, v) for eachj.
THEOREM 4.2 (Frenet-Serret). Let ~s) be a unit speed curve with K * 0 and
Frenet-Serret apparatus {K,T, T, N, BJ. Then
(a) T'(s) = K(s)N(s)
(b) N'(s} = -K(s}T(s) + T(s)B(s)
(c) B'(s) = - T(s)N(s)
for each s.
Proof: Lemma 3.3 asserts that {T(s},N(s), B(s)} is an orthonormal set. There-
fore, according to Lemma 4.1, we may write.any vector v as
(4-1) v = (T, v)T + (N, v)N + (B, v)B.
(a) T' = KN is the definition of K and N.
(b) Since N' is a vector, we may apply Equation (4-1) with v = N'. We
first compute the coefficient (T, N'). Differentiating O = (T, N), we have
0 = (T', N) + (T, N') = (KN, N) + (T, N') so that (T, N') =-JC.Since
N is a unit vector, (N, N') = 0 and the second coefficient of (4-1) is zero.
To compute the third coefficient, (B, N'), notice that (B, N) = 0 so that
by using the definition of T, 0 = (B', N) + (B, N') = -T + (B, N') and
(B, N') = T. Putting these three coefficients in (4-1) with v = N' yields
Formula (b).
(c} Formula (c) is obtained by using Equation (4-1) with v = B'. The
first coefficient (T, B') is zero because O = (T, B) implies
0 = (T', B) + (T, B') = (KN, B) + (T, B') = (T, B'),
since (N, B) = 0. The definition oh gives (N, B') = (B', N) = -T. Finally,
since Bis a unit vector, the last coefficient (B, B') is 0. I
The reason that we have left spaces in the statement of Theorem 4.2 is
that it is easy to remember the form of the equations in matrix format:
(N'T')= ( 0
-K
K
O
~)(:).
B' 0 -T
The fact that the matrix is skew symmetric is very important in more abstract
differential geometry.
The equations in the above theorem are naturally called the Frenet-
Serret equations. They were independently found by Frenet (1847, published
in 1852) and Serret (1851). We show how powerful these equations are by
drawing some corollaries and leave other applications for the exercises. The
first corollary shows that the vanishing of torsion characteriz.esplane curves
with K *o.
.StlC.2-4 The Frenet-Serret Theorem and Its Corollaries 31
COROLLARY 4.3. Let cz(s)be a unit speed curve with K :;z!:0. The following are
equivalent:
(a} The image of czlies in a plane (more simply, czis a plane curve).
(b) B is a constant vector.
(c) T(s) = 0 for all s.
Proof: The equivalence of (b) and (c) is given by the Frenet-Serret equation
B' = -iN. If czis a plane curve, we may assume (by appropriate choice of
coordinates in R3 } that czlies in the (x, y) plane. For this case we have already
computed the torsion (Problem 3.6) and it is zero, so (a) implies (b).
We now show (b) implies (a). Let x 0 be any point on cz,say x 0 = «(O).
According to Section 1-4, we must find a vector v (which does not, of course,
depend on s) such that (cz(s} - x 0 , v) is identically zero. A glance at the
Frenet-Serret equations or a close look at Example 3.1 (when v = (0, 0, l}}
suggests that we should let v be the binormal vector B.
Since B is a constant vector field, B' = 0. Thus
(~(s) - x 0 , B)' = (~'(s), B) + («(s) - x 0 , B') = (T, B) =0
and (cz(s) - x 0 , B) is therefore constant. But («(s) - x 0 , B) = 0 at s = 0,
so that this constant is zero and «(s) lies in a plane. I
Note that the proof actually gives the plane in which czlies. It is the plane
through x 0 perpendicular to B. This theorem is actually false if the assump-
tion K :;z!:0 is omitted. See Problem 4.14.
DEFINfflON. The osculatingplane to a unit speed curve czat the point cz(s}is
the plane through cz(s) perpendicular to B (and hence spanned by T
andN).
The normalplane of «(s) is the plane perpendicular to T.
The rectifyingplane of cz(s) is the plane perpendicular to N.
FIGURE 2.8
DEFINITION. A (general) helix is a regular curve er.such that for some fixed
unit vector u, (T, u) is constant. u is called the axis of the helix.
Intuitively, the helix grows linearly in the direction of the axis.
EXAMPLE4.4. The right circular helix of Example 1.6 is a helix with axis
(0, 0, 1) according to Problem 1.3.
EXAMPLE 4.5. Any regular plane cutve is a helix since B is constant and may
serve as u.
+
u = cos OT sin OB. An application of the Frenet-Serret equations shows
that u' = 0, so that u is constant. Note also that (T, u) = cos 0, which is
constant, so that «i is a helix. I
Although Lancret stated this theorem in 1802, the first proof was given
by De Saint Venant in 1845.
One of the beautiful things about the above corollary is its constructive
nature. If you are given the constant c such that 't = cK, then you can actually
compute the axis of the helix by first finding its pitch and using the values of
T and B at a single point.
In Problem 5.4 you will show that if both K and -r are constant, then «i
is a circular helix.
We end this section with several propositions which illustrate how the
Frenet-Serret Theorem can be applied to derive simple geometric results.
Many more such results are contained in the exercises. The reader should note
that the general method of proving these results is as follows: (1) express the
geometric hypotheses as an algebraic equation using linear algebra; (2) dif-
ferentiate an appropriate expression (possibly several times), using the
Frenet-Serret Theorem and the hypotheses; (3) interpret the result geometri-
cally.
Proof· If «i(s) is a straight line, any point on «i(s) may be chosen as x 0 since
the image of «i(s) is the tangent line at each point.
Now suppose that every tangent line to «i goes through x 0 • Then
«i(s} - X0 = l(s)T(s)
for some function l(s). Either ,c = 0 or N(s) is defined. In the second case
T(s) = «i'(s) = l'(s)T(s) + l(s}T'(s) = l'(s)T(s) + l(s)K(s)N(s).
Hence (A'(s) - l)T +
l(s)K(s)N = 0. Since T and N are linearly independent,
l'(s) =
I and l(s},c(s} =
0. Thus l(s) = s +
c, which is not constant, and
hence K(s) = 0. Then «i is a straight line by Proposition 3.4. I
PROPOSITION 4.8. Let ll(s) be a unit speed curve such that every normal plane
to «i(s) goes through a given fixed point x 0 E R 3 • Then the image of «i
lies on a sphere.
PROPOSITION4.9. Let «z(s) be a unit speed curve with K 0. Then «z(s) lies in*
a planeif and only if all osculating planes are parallel.
Proof- If IX(s)
lies in a plane, that plane is the osculating plane at each point.
Hence all osculating planes are parallel.
Supposeall osculating planes are parallel. Then the values of B(s) at
any two pointsare parallel. Hence B(s) is constant and «zlies in a plane by
Proposition 4.3. I
PROPOSITION4.10. Let cz(s) be a unit speed curve whose image lies on a sphere
of radiusr and center m. Then K 0. If T *
0, then *
«z- m = -pN- p'aB,
wherep = 1/K and a= 1/-r. Hence r 2 = p2 + (p'a) 2•
<
Proof· Wehave cz(s) - m, «z(s}- m) = r 2 , so that
0 = (cz(s) - m, «z(s} - m)' = 2<iz(s) - m, T).
Then
0 = (cz(s) - m, T)' = (T, T) + <iz(s) - m, T')
= I + («z(s) - m, KN),
or K(«z(s)- m, N) = - I 0. Thus * K * 0.
*
Assume-r O. cz(s) - m = df + bN + cB, where the coefficients a, b,
c may be found by Lemma 4.1.
a= («z(s) - m, T) = 0.
b = (iz(s) - m, N) = _ __!_= -p.
K
= c («z(s) - m, B).
Since («x(s)- m, N) = -p,
-p' = (cz(s) - m, N)' = (T, N) + («z(s) - m, -KT+ -rB)
= 0 - K(«z(s) - m, T) + -r(«z(s) - m, B)
= 0 + -r(«z(s)) - m, B).
Hence c = (cr.(s)- m, B) = -p'/-r = -p'a. Thus
«z(s) - m = -pN - p'aB.
Since N and B are orthonormal,
r2 = (cz(s) - m, «z(s) - m)
= 1-pN - p'aBl 2 = P2 + (p'a)2. I
P is called the radius of curvature and a the radius of torsion.
It is possible to generalize much of the previous material to curves in
Sec. 2-4 The Frenet-Serret Theorem and Its Corollaries 36
PROBLEMS
General
4.1. Prove that = -<T', B').
1C'C
4.12. Prove that cz(s)is a straight line if and only if all its tangent lines are
parallel.
*
4.13. Let cz(s) be a curve with 'IC 0. Prove that cz(s) lies in a plane if and
only if there is a point x 0 in R 3 such that every osculating plane
passes through x 0 •
*t4.14. Let
f(t) = {
e-11,•
O
ift *o
if t = 0.
You may assume/is C with J<•>(O)= 0 for all n. Let cz(t) be given
00
l
by
(t,f(t), 0) if t <0
cz(t) = (0, 0, 0) if t = 0
(t, O,f(t)) if t > 0.
(a) Prove that cz is regular and COO.
(b) Show that 'IC = 0 at t = 0. (Note: tis not arc length.)
cz consists of curves in two different planes joined together at a point
where 'IC = 0.
(b) Find a necessary and sufficient condition for the tangent spherical
image of ex to be a regular curve.
(c) Lets* be the arc length along the normal (resp. binormal) spher-
ical image of ex. Prove that ds*/ds = .j,c 2 + T2 (resp. !T !),.
4.18. Let ex(s) be a unit speed curve with ,c > 0. Lets* be arc length on the
normal spherical image. Prove ,c = Ids*/ds I if and only if exis a plane
curve.
*
4.19. Let ex(s) be a unit speed curve with ICT 0. Prove that the tangent to
the tangent spherical image is parallel to the tangent to the binormal
spherical image at corresponding points.
*4.20. If the tangent spherical image of a unit speed curve ex(s) lies in a
plane through (0, 0, 0), prove that ex(s) is a plane curve.
4.21. Prove that a unit speed curve ex(s) is a helix if and only if its tangent
spherical image is an arc of a circle.
Problem 6.10 will also deal with the tangent spherical image of a curve.
t4.27. Use the previous result to show that ct(s) lies on a sphere if and only
if there are constants A and B with
"( A cos u:
T ds) + B sin ( f:
T ds)) =-I.
(This result is an improvement by Y-C Wong [1972) of a result of S.
Breuer and D. Gottlieb [1971).)
FIGURE 2.9
40 Local Curve Theory Chap.2
4.36. Prove that at a point where -r(s0 ) = 0 there can be third order spher-
ical contact if and only if ,c'(s0 ) = 0. Hence plane curves may not
have third order spherical contact anywhere.
4.37. Let Cl(s) have constant curvature. Prove that the osculating sphere
and the osculating circle have the same radius.
4.38. Under what conditions does the osculating sphere have a constant
radius, i.e., independent of s 0 ?
FIGURE 2.10
,ec.
2-5 The Fundamental Existence and Uniqueness Theorem for Curves 41
4.40. (a) Prove that an involute of a plane curve lies in that same plane.
(b) Prove that an involute of a helix is a plane curve. (Hint: What
should be the normal to this plane?)
4.41. Let ct(s) be a unit speed plane curve and let ,S(s) and ,y(s) be two dif-
ferent involutes of ct. Prove that pand 'Yare Bertrand mates.
4.42. Let ct(s) be a unit speed curve with Frenet-Serret apparatus
{K,T, T, N, B} and let P(s) be an evolute of cz.
(a) Prove that P(s) = Cl(s)+ lN + µB.
(b) Prove that l = 1/'IC and (l' - -rµ)/l = (µ' + d)/ µ.
(c) Prove that T = (µp' - pµ')/(µ 2 + p 2 ), where p = I/ICas usual.
(d) Prove thatµ= p cot ([ i- ds + constant).
4.43. Prove that an evolute of a plane curve is a helix.
4.44. Let ct{s) be a unit speed plane curve.
(a) Prove that the locus of the centers of curvature of cz (Problem
4.34) is the unique evolute of cz lying in the plane of ct.
(b) Show that this curve is regular if K' *
O. (A point where 'IC'= 0
is called a vertex:)
The actual proof of Theorem 5.2 will not be used in the sequel and may
be omitted. However, the content of the theorem is important and will be
used. The proof will depend on the following basic result from the theory of
ordinary differential equations which is due, in various formulations, to
Picard, Lindelof, Peano, and Cauchy. See Birkhoff and Rota [1969, Chapter
6) or Coddington and Levinson (1955, Chapter 1). The dependence of the
Fundamental Theorem of Curves on a major theorem of ordinary differential
equations shows that in the differential approach to geometry, the heart of
geometry is ultimately in differential equations. We will see this again when
we study geodesics in Section 4-5 and the Fundamental Theorem of Surfaces
in Section 4-10.
THEOREM 5.1 (Picard). Suppose that the R•-valued function A(x, t) is defined
and continuous in the closed region Ix - c I < K, It - a I < T, and
satisfies a Lipschitz condition there. Let M = sup IA(x, t) I over this
region. Then the differential equation dt1./dt= A(,x,,t) has a unique solu-
tion on the interval It - a I ::;:min (T, K/ M) satisfying Cl(a) = c. (The
technical requirement about the Lipschitz condition is satisfied if A has
bounded partial derivatives with respect to the coordinates of R•.)
0
-f
Picard's Theorem implies that this system has a unique solution uh) with
u 1(0) = D, u2 (0) = E, and uJ(O) = F. We shall show that the u, give the
moving trihedron of a regular C 3 space curve ,x,with the required curvature
and torsion.
Sec. 2-5 The Fundamental Existence and Uniqueness Theorem for Curves 43
Hence ~ii =
p,1 gives a solution, and thus the only solution: (0 1, u1) = ~11
and the 0 1 are orthonormal.
Step 2. Let a.(s) = x 0 + Jiu (u) du1 for s E (a, b). Then ~s) is C 3 ,
regular, and unit speed:
Proof- a.'= u 1 so 0 1 = T. 1CN= T' = 0 1 ' = Ruz. Since both N and Dz are
unit vectors and ic > 0, ic K. Hence Dz = N also. Now [u1 , Oz, u3 ] = = ±1
since the vectors are orthonormal. At s = 0 we have
[0 1 , Oz, U 3] = [D, E, F] = + 1.
Since [ui, Dz,u3 ] is continuous on (a, b), it is always + 1 and {ui, Dz,u3 ] is
right handed. Thus B = T x N 0 1 x Dz= =
ul" Finally,
hand, the definition of ~s) was forced if cz was to solve the problem. Hence
there is a unique curve with the required property. I
EXAMPLE 5.3. Let ~s) be a helix with IC> 0, -r = clCfor some constant c.
It will be useful to reparametrize cz by a parameter t given by
t(s) = J:IC(a)da.
Note that this is an allowable change of coordinates since t' = IC> 0
implies t(s) is one-to-one and both t(s) and s(t) are differentiable. Since
-r = clC,the Frenet-Serret equations are
T' = ICN, N' = -ICT + clCB, B' = -clCN.
In terms of the parameter t they are
dT dN dB ·
dt =N, dt = -T + cB, dt = -cN.
Thus d 2 N/dt 2 = -N - c 2 N = -co 2N, where co= ../1 + c2 • Since N
solves this differential equation, we have N = cos cot a + sin cot b for
some fixed vectors a and b. dT/dt = N may be integrated to give
T = (sin cot a - cos cot b + c)/w. Hence
0= (N,~r;)
= (-co Ia 12 + coIb 12 ) sin cot cos cot + co(a, b)(cos 2 cot - sin 2 cot).
<
At t = 0 this equation is a, b) = 0. Then
!(-cola 12 + colbl 2) sin 2rot= 0
and 191
2 = jbj 2 •
1 = IN 12 = Ia 12 cos 2 cot + Ib 12 sin 2 cot
yields Ia I = Ib I = 1. Thus a and b are orthonormal.
Similarly O = <T,N) yields (a, c) = 0 and then <h,c) = 0. 1 =IT 12
Sec. 2-5 The Fundamental Existence and Uniqueness Theorem for Curves 46
gives lei= lei and soc= ±c(a x b). dN/dt = -T + cB implies that
cB = dN/dt + T. Hence
£.(sin wt a - cos wt b
w
+ c) = cT = N x cB
Note that the above solution requires that you be able to compute some
nontrivial integrals, which may not be all that easy to do. See Problems 5.1
and 5.2.
ExAMPLE 5.4. Using Theorem 5.2 we offer an analytic proof of Corollary 4.3.
=
We must show that if exis a unit speed curve with -r 0, then cxlies in
a plane. In Example 5.3 we may put c = O. Equation (5-1) yields the
curve P(s) = (J~sin t(a) da, - J~
cos t(a} da, 0), where t(a) = J;
,c(s) ds.
This is clearly a plane curve, lying in the plane spanned by a and b and
has curvature ,c(s) and torsion O. Hence, by Theorem 5.2, it is the same
as cx(s),up to position. Thus cx(s)is also a plane curve.
The preceding proof, although lacking the geometric appeal of the first
proof, does contain a valuable insight: a unit speed plane curve may be ob-
tained from its curvature by three integrations. See Problems 5.1 and 5.2.
PROBLEMS
5.4. Let cz(s)be a unit speed curve with 'IC and -r constant so that a. is a
helix. Prove that a. is a circular helix by showing that its projection in
a plane perpendicular to u is a circle. (Hint: Equation (5-1).)
5.5. Let a. be a helix with axis u. Let 11 be a plane perpendicular to u and let
p(s) be the projection of a. into this plane. (P is not unit speed.) Let ic
be the curvature ofp and prove that 'IC = ic sin 2 (), where <u,
T) =cos(},
(Hint: u = a x b.)
*
5.6. Let a.be a C 3 regular curve with -r 0. Prove that a.is a circular helix
if and only if a. has at least two Bertrand mates. (Hint: Problem 4.31.)
5.7. Let cr.(s)be a unit speed curve with 'IC> 0 and 't > 0. Let
P(s) = f:
B(u) du.
Proof· (a) Since P(t) = cr.(s(t)), we have fl= a.'s= sT. Because s > 0,
s = IPIand T =Pis= P/IPI·
Sec. 2-6 Non-Unit Speed Curves 47
ExAMPLE 6.2. Let P(t) = (1 + t 2, t, t 3). Then p = (2t, 1, 3t 2), P = (2, 0, 6t),
and = P (0, 0, 6). Hence P x P = (6t, -6t 2, -2) and [P, P, = -12 P1
so that
- (36t 2 + 36t 4 +
4) 112
" - (4t 2 1 + + 9t 4)3/2
-12
T = 36t 2 + 36t 4 +4
T_ (2t, 1, 3t 2 )
- (4t2 + 1 + 9t4)1t2
- (6t, -6t 2 , -2)
B - (36t 2 + 36t 4 + 4) 112
and
(-18t 4 + 2, -4t - 18t 3, 6t 12t 3) +
N = (4t 2 + 1 + 9t 4) 112(36t 2 + 36t 4 + 4) 172 .
PROPOSITION 6.4. Let P(t) be a regular curve in R 3 , and let 11(t)= IPI, Then
(a) t = ,c11N
(b) N= -,cvT + f11B
(c) B= - -r11N.
PROBLEMS
6.1. Compute the Frenet-Serret apparatus for P(t) = (t, t 2 , t 3) with t > 0.
6.2. Compute the Frenet-Serret apparatus for P(t) = (cosh t, sinh t, t).
6.3. Compute the Frenet-Serret apparatus for P(t) = (t - cost, sin t, t).
6.4. Find the curvature and torsion of P(t) = (e' cos t, e' sin t, e').
*6.5. Prove Proposition 6.4.
6.6. What form do the expressions in Proposition 6.1 take for a curve of
constant speed 11?
6.7. Let P(t) be a regular curve with speed 11= IdPfdt I· Prove that
"= 11- -v<P.P>- v
2 2•
6.8. Prove that P(t) is a straight line if and only if Pand Pare linearly
dependent.
t6.9. Let P(t) = (at, bt 2 , t 3).
(a) Prove that pis a helix if and only if 4b4 = 9a 2 •
(b) What is the axis in this case?
6.10. Let ci(s) be a unit speed curve with ,c :;c 0. Let it and i be the curvature
and torsion of the tangent spherical image. Prove that it= ../1+ (1:/,c)"
and i = (1:/,c)'/,c(l + (-r/,c)2), where ,c and -r: are the curvature and
torsion of 11. (See Problem Set 4A.)
6.11. Let P(t) be a curve with ,c :;c0. Prove that Pis a plane curve if and only
if [P, P,ii1 o. =
t6.12. Prove that the product of the torsions of two Bertrand curves at cor-
responding points is constant. (See Problem Set 4C.)
3
Global Theory
of Plane Curves
We review here the very basic concepts of line integrals for use in this
chapter and in Chapters 5 and 6. We shall not use the vector notation since
we have no need of it.
Suppose ci(t) = (x(t), y(t)) is a C 1 parameterization of a geometric curve
e in R 2 with a::;::t::;::b. If/ and g are real-valued functions of two variables,
then by the line integral fef dx +
g dy we mean the ordinary integral
EXAMPLE
1.1 Let e be the unit circle in R 2 parameterized as
11(8)= (cos 8, sin 8), 0::;:: 8 < 2n.
Then
= 12,,:
0 cos 28 d8
sin 2812,,:
= -2- 0 = 0.
EXAMPLE
1.2. Let e be as in Example 1.1. Then
f.ex dy - y dx =
fb
Jo [cos2 8 + sin 2 8] d8
fb
= Jo d8 = 2n.
Since
fe
dh:
f dh = Je
Je f X dx +
f dp = Je
~dx+~~=dh
** Y dy.
aids ayds ds
by the chain rule, this latter integral does give the same value for dh. fe
Note that Example 1.1 was of this latter type with p(x, y) = xy: dp =
ydx + xdy.
One important tool for computing line integrals is Green's Theorem,
which allows us to replace certain line integrals with double integrals. We
shall omit the proof of Green's Theorem. The interested reader may refer to
an advanced calculus text such as Fulks (1969]. See the next section for the
formal concepts of a closed curve and a piecewise C 2 curve.
ExAMPLE fe
1.4. In Example 1.2 we found x dy - y dx = 2n. On the other
hand, setting/= -y, g = x in Green's Theorem yields
= 2 ffCR
dxdy
= 2(area of <R)= 2n.
52 Global Theory of Plane Curves Chap. 3
PROBLEMS
Suppose that IX: (a, b)-+ R3 is a plane curve. We can choose coordinates
in R3 so that this plane is given by z = 0. We might as well assume that
IX: (a, b)-+ R2, which we do.
Because R2 has dimension 2 and the tangent vector field of a regular
curve is a nonzero vector at each point, we may define the normal to a plane
curve by using the concept of orientation (Section 1-3). This definition has
the advantage of giving a globally defined normal vector field along the curve,
as opposed to the normal of Chapter 2, which was only defined when K 0.*
Note that a similar approach for general curves in R 3 would not work because
giving one vector in a 3-dimensional vector space does not uniquely deter-
mine two others to make an oriented basis.
We shall now define the tangent and normal vector fields t(s), n(s) and
the plane curvature k(s). Lemma 2.2 shows how these concepts compare with
the Frenet-Serret apparatus of IX viewed as a curve in R3 ( which happens to
lie in the (x, y) plane R2).
DEFINITION. Let IX(s) be a unit speed C 2 plane curve. The tangent vector field,
t(s), to IX is t(s) = IX'(s). The normal vector field, n(s), to IX is the unique
(unit) vector field n(s) such that {t(s), n(s)} gives a right handed orthonor-
mal basis of R 2 for each s. The plane curvature, k(s), of IX is given by
k(s) = (t'(s), n(s)).
Proof· (a) This follows from Lemma 4.1 of Chapter 2 and the fact that t is a
unit vector field.
(b) The formula for t is obvious. Note that m(s) = (-y'(s), x'(s)) is a
unit vector orthogonal to t. Thus we must only show that {t(s), m(s)} is a right
handed basis. Note that (using e 1 = (1, 0), e2 = (0, 1) as usual)
t(s) = x'(s)e 1 + y'(s)e 2
m(s) = -y'(s)e 1 + x'(s)e 2 •
Hence the matrix A = (a'1) for the change of basis is
A = (x'(s) -y'(s)).
y'(s) x'(s)
This has positive determinant and {t(s), m(s)} is a right handed basis. Hence
m(s) = n(s). I
LEMMA
2.2. For a unit speed plane curve II we have that
t(s) = T(s), n(s) = ±N(s)
at all points for which N(s) is defined, ,c(s) = Ik(s) I,n(s) is differenti-
able, and n'(s) = -k(s)t(s) for all s.
EXAMPLE 2.4. ci(s) = (r cos (s/r), -r sin (s/r)) is the same circle traversed
clockwise. t = (-sin (s/r), -cos (s/r)), n = (cos (s/r), -sin (s/r)), and
k = -1/r.
These examples indicate that the sign of k is changed when the direction
of traverse is reversed. The sign of k indicates whether Cl curves in the direc-
tion of n (k > 0) or away from n (k < 0).
DEFINITION. A regular curve P(t) is closed if pis periodic, i.e., there is a con-
stant a > 0 with ll(t) = P(t + a) for all t. The period of p is the least
such number a. Note that t(O) = t(a).
64 Global Theory of Plane Curves Chap.3
LEMMA 2.5. If P(t) is closed with period a and ci(s) is p reparametrized by arc
length, then Cl is closed with period L = I IJ: dP/dt
dt.
Proof:
EXAMPLE
2.6. The unit circle is a simple closed curve of length 2n:
ci(s) = (cos s, sins).
EXAMPLE
2.7. The figure-eight curve is not simple. See Figure 3.1.
~ FIGURE3.1
For a closed curve ci(s) it makes sense to ask how much the unit vector t
rotates as the curve is traversed once in the direction of increasing s. This is
described by 'an angle which, because t(O) = t(L), must be an integral mul-
tiple of 2n. In order to carefully define and find this integer we employ
certain normalizations.
Let II be a closed unit speed curve in the plane. We may choose a right
handed coordinate system in the plane and the starting point of II so that the
Sec. 3-2 The Rotation Index of a Plane Curve &&
image of II lies in the upper half plane and 11(0)= (0, 0). In this case t(O) is
horizontal.
At each point P of the image of II define 8(P) to be the angle between the
horizontal and t, measured counterclockwise with O ~ 9 < 2n. 9 may not
depend continuously on the position of P. However, we can find a continu-
ous function fJ(s)defined for O < s < L which also describes the' angle. (fJ(s)
may be greater than 2n or less than 0.) This is done by breaking [O,L] into
small intervals over which t does not change much and adjusting 9 on each
interval.
More precisely, points s, may be chosen with
0 = So < s 1 < , . , < S8 = L
such that on each segment [s,, s1+ 1J t does one of four things: (1) points
into the upper half plane (0 < D< n); (2) points into the left half plane
(n/2 < D< 3n/2); (3) points into the lower half plane (n < D< 2n); or
(4) points into the right half plane (0 ~ 8 < n/2 or 3n/2 < 8 < 2n).
8 is continuous on [O,s 1] so we set fJ(s)= 8(s) for O < s ~ s1 • We as-
sume by way of induction that fJ(s)has been defined continuously on [O,sk].
Then on [sk, sk+iJthe angle between the horizontal and t is well defined up
to a multiple of 2n. If the angle is forced to lie in a certain interval of
length n ((0, n) for Case (1), (n/2, 3n/2) for Case (2), (n, 2n) for Case (3) and
(3n/2, Sn/2) for Case (4)) it is a continuous function of s. By adding an ap-
propriate multiple of2n it can be made to agree with the known value of fJ(s)
at s = sk. In this manner fJ(s) can be continuously defined on [O,sk+i1 and
eventually on all of [O,L]. Note that fJ(L) need not be 0. However, fJ(L) is an
integral multiple of 2n.
DEFINITION. The rotation index of a closed unit speed plane curve ci(s) is the
integer i. = (fJ(L) - 9(0))/2n = 9(L)/2n.
EXAMPLE 2.8. The curves in Figures 3.2. 3.3, 3.4, and 3.5 have rotation index
1, -1, 0, and 2, respectively. The reader may also want to look ahead to
Example 2.10.
Note that
t(s) = (t(s), e 1)e 1 + (t(s), e2)e2
= (cos fJ(s),sin fJ(s)).
00
FIGURE 3.4 FIGURE 3.5
Since t is differentiable (x is C 2), both cos (O(s)) and sin (O(s)) are differen-
tiable. Since 8(s) is continuous and both sine and cosine are differentiable,
O(s)is differentiable. Then O'(s) = k(s). (This equality combined with Lemma
2.2 shows that IO'(s) I = ,c(s) for a unit speed plane curve. This was one inter-
pretation of curvature which we promised to make precise in Section 2.3.)
Comment: This theorem seems almost obvious and without need of a formal
proof. However, a simple curve can be quite complicated, spiraling a lot, and
our intuition based on oval-shaped curves may not hold true. Also, the proof
will give us a glimpse of certain techniques.
Proof· Let L be the period of ci(s). If O ~ u < v < L, let a(u, v) be the unit
vector from ci(u) toward ci(v). Let
a(u, u) = t(u) (and a(O, L) = -t(O) = -t(L)).
Then a is a C2 function in the region A of Figure 3.6. As in the case of (J on
(0, L], it is possible to define a C2 function II on A, where ti(u, v) measures
the angle between the horizontal axis and a(u, v). Note that ti(u, u) = O(u).
B = (0, L) C = (L, L)
Now 2ni.
1
= (J(L) = O(L) - 0(0) = j; (d(J/ds)ds = f. dO. Since
ti(u, u) = O(u),
this last line integral equals J;re
dti.
Sec. 3-2 The Rotation Index of a Plane Curve 67
and
(since ti is C 2).
FIGURE 3.7
Likewise, Jilc
dti is the angle through which POrotates as P traverses II
EXAMPLE 2.10. Consider the simple closed curve in Figure 3.8. The following
table gives the values of 9 at the labeled points. Hence i,. = 1 for this
curve as 9( V) = 211:.
point A B c D E F G H I J K
8 0 n n 3n 2n Sn 3n 1n 3n Sn 2,r
2 2 2 2 2
L M N 0 p Q R s T u v
3n n n 0 -n -n O n n 3n 2n
T 2 TT 2 T
58 Global Theory of Plane Curves Chap.3
FIGURE 3.8
COROLLARY 2.11. If cx(s) is a simple closed regular plane curve, the tangent
circular image t: [O,LJ --+ S 1 is onto.
EXAMPLE 2.12. Let cx(t)be the triangle with vertices (0, 0), (2, 0), (I, 1).
(t, 0) O<t<2
cx(t) = 1 (4 - t, t - 2) 2::::;:t < 3
(4 - t, 4 - t) 3 < t<4.
Here s 0 = 0, s, =-,2, s 2 = 3, s 3 = 4. Note that t is not arc length. The
vectors t-(si) and t+(s,) are shown in Figure 3.9. Since t is constant on
2
each segment, t50,= 0. I; M, is the sum of the exterior angles of a
1=0
triangle, and is thus 2n. Hence the rotation index is I.
FIGURE 3.9
PROBLEMS
(0, v'3)
(-1, 0) (1, 0)
FIGURE 3.10
A straight line I divides R 2 into two half planes, H 1 and H 2 , such that
H1 UH 2 = R 2 and H 1 n H 2 = I. We say a curve lies on one side of I if the
image of czis completely contained in one of the half planes H 1 or H 2 •
ExAMPLE 3.1. The curves in Figure 3.11 and 3.12 are convex, while those in
Figures 3.13 and 3.14 are not convex.
'fHEoREM 3.2. A simple closed regular plane curve Cl(s)is convex if and only
if k(s) has constant sign.
Proof: Since k(s) = dO/ds,we must show that (J is monotone if and only if
czis convex. Suppose (J is monotone. If czis not convex there is a point A such
that cz does not lie on one side of the tangent line I at A. Since cz is closed,
there are points B and C of czon opposite sides of I which are farthest from I
(see Figure 3.15). Note that the tangent lines at A, B, and C must be distinct.
FIGURE 3.15
FIGURE 3.16
Suppose some point C of the line segment AB is not on IX. Let/' be the
line perpendicular to AB at C. I' is not a tangent line since IX is convex. Thus
I' intersects IX in at least two points, D and E, which lie on the same side of/.
If D denotes the point closer to C, the tangent line at D has at least one of the
points A, B, Eon each side, contradicting IX being convex.
Hence C is on IX and all of AB is also. Thus the tangents at A and B have
the same direction. Then A, Bare 1X(s 1), 1X(s
2) and IX 11,.,., 1 is straight. There-
fore (J is constant on [s1 , s 2], and (J is monotone on [0, L]. I
Includ~d in the proof above is the following result.
CoROLLARY 3.3. Let IX be a simple closed convex curve with horizontal angle
0. If O(s1) = O(s2 ) with s 1 < s 2 , then IX is a straight line segment on
[S1,S2]·
Sec. 3-4 The lsoperimetricInequality 63
COROLLARY 3.4. Let cz(s) be a closed convex curve. If a straight line I inter-
sects the image of czin three points, then the entire line segment joining
these points lies in the image of cz. In particular, if k :;c 0, a straight line
can intersect cz in at most two points.
PROBLEMS
3.1. A piecewise C 1 curve may have -two tangents at each junction point.
Define a piecewise C 1 curve to be convex if it lies on one side of each
tangent line (and on one side of each tangent line at a junction point).
Give an example to show that Theorem 3.2 is false for piecewise C2
curves.
*3.2. Prove that a differentiable function/ is monotone increasing if/' :;;:::0
and monotone decreasing if/' s;;0. (Hint: Mean Value Theorem.)
FIGURE 3.17
is to compare the area of the region bounded by II with the area of the circle
of radius r. Since both the length and the area enclosed by II are indepen-
dent of parametrization we may assume that II is a unit speed curve. 11
may then be written in the (x, y) coordinates as 11(s)= (x(s), y(s)) where
(x'(s)) 2 + (y'(s)) 2 = 1. The curve p may be parametrized by P(s) = (z(s), w(s))
where
z(s) = x(s)
(4-1) -,.Jr2 - x2 O< s < s2
w(s) ={
,.Jr2- x2 s2 ~s<L.
Note that sis arc length on II but not on p. In fact, with this parametrization
p may not be regular, but it is C 2 •
Sec. 3-4 The /soperimetricInequality &&
By Lemma 4.1 the area bounded by czis A= J.x dy = ft xy' ds. The
area bounded by P is nr 2 = -f 11y dx = - ft wz' ds = - ft wx' ds. Thus
A + 1er2 = f:(xy' - wx') ds s foLIxy' - wx' I ds
= foLl<(x',y'),(-w,x))lds.
and so (4-1) implies that c = ±r. On the other hand, (4-4) also says that
c = <(x', y'), (-w, x)) which (since the first inequality in the derivation of
(4-2) must also be an equality) is nonnegative. Hence c =rand (4-4) shows
that x = ry'.
A = 1er2 implies that r depends on A and not the choice of / 1. Thus if
lines / 3 and /4 orthogonal to 11 and / 2 are used, a circle of radius r is tangent
to them. If coordinates x and y with origin at the center of this circle are used
(see Figure 3.17), we would derive x = ry',Since the y-axis is parallel to and
in the direction of the x-axis and the x-axis is parallel to and in the direction
66 Global Theory of Plane Curves Chap.3
This proof, which is due to E. Schmidt [l939], and another, which in-
volves Fourier series and is due to Hurwitz (l902), may be found in Chern
[1967].
PROBLEMS
(«-a,c) < 0
FIGURE 3.18
Lemma 5.2 says that there are constants a and c =I= 0 such that z e I if
and only if (z - a, c) = 0. Because k > 0, czmust be convex (Theorem 3.2)
and so (Corollary 3.4) I intersects czat exactly the two points A and B. Hence
(Cl(s) - a, c) is positive on one segment of cz and negative on the other.
A case by case study shows that k'(s)(cz(s) - a, c) does not change sign
on cz. (It is nonpositive in Figure 3.18.) At some point k'(cz - a, c) =I= 0
and so
s:
0 =I= k'(cz - a, c) ds = k(cz - a, c)ra - s: k(cz', c) ds
=0+ J:(-kt,c)ds
= J:(n', c) ds
= (n, c)ra = o.
This contradiction implies there are more than two vertices. Since k' changes
sign at a vertex, the number of vertices must be even. Thus there are at least
four vertices. I
66 Global Theory of Plane Curves Chap.3
EXAMPLE 5.4. Consider the nonsimple plane curve given in polar coordinates,
= l - 2 sin ef,and whose graph is sketched in Figure 3.19.
(r, ef,),by r
B (0, -3)
FIGURE 3.19
p= (-cos ef,+ 8 sin ef,cos ef,,-sin ef,- 4 cos ef,+ 4 sin ef,,0)
2 2
is zero. That is, when cos 4,= 0, or 4,= n/2, 3n/2. Thus IShas only two
vertices, which are marked A and Bin Figure 3.19.
Let czbe an oval and Pa point on cz.By Corollary 2.11, there is a point
P where the tangent tis opposite to that at P (i.e., t(P) = -t(P)). The tangent
lines at P and P are parallel. By the reasoning in the proof of Theorem 3.2,
at no other point of czis the tangent line parallel to these two lines. Thus, given
a point Pon an oval, there is a unique point P (called the oppositepoint to
P) such that the tangents at P and P are parallel and distinct.
DEFINITION. The width w(s) of an oval czat cz(s) is the distance between the
tangent lines at P = cz(s)and P. (See Figure 3.20.)
j
FIGURE 3.20 P
Proof: Let IS(s)denote the opposite point to cx(s).The curve IS(s)is not a unit
speed curve (unless czis a circle). Using Lemma 4.1 of Chapter 2, we have
(S-1) IS(s)- cz(s) = vt(s) + wn(s),
where v = (IS - cz,t) and w = (IS - cz,n). Note that the unit tangent to
IS(s)is -t(s) and the unit normal is -n(s).
Let s be arc length along IS,so that dlSfds is the unit tangent, and dif-
ferentiate Equation (5-1) with respect to s.
-t(s) =~= i:~
ds d(cz + vt + wn)
= ds ds
(S-2) 1+v'-wk+d 9 =0
ds
and
(S-3) vk + w' = 0.
Since cz has constant width and k > 0, Equation (S-3) implies v = 0.
Then Equation (5-2) yields l + (ds/ds) = wk. Let P = cz(O)and P = cz(s1).
Then
r··(I + ds)
Jo r··
ds ds = Jo wk ds
or
Proof: In the course of the above proof we showed that " = 0. This fact
coupled with ·Equation (5-1) implies p = tz +
wn and so the vector from P
to Pis wn. I
PROBLEMS
S.1. If tz(s) is an oval, prove that t• is parallel tot at at least four points.
S.2. In Example 5.1 show that k' = 0 only at the given points. Note that tz
is not unit speed.
*S.3. Prove that the concept of a vertex does not depend upon the parametri-
zation.
5.4. Prove that the Four-Vertex Theorem is false if the hypothesis "closed"
is omitted by considering the parabola tz(t) = (t, t 2).
tS.S. (a) Let tz: [O,r]--> R 2 be a unit speed curve segment and let P(s) be
the string involute (Problem 4.39 of Chapter 2)
P(s) = tz(s) + (r O - s)t(s)
where r 0 > r is some constant. Show that the unit tangent to P
at P(s) is orthogonal to t(s).
(b) Let A, B, C be three points in the plane and let tz be a closed piece-
wise C 2 curve with junction points at A, B, C and t+ = -t- at
each point. (A, B, Care called cusps.)Assume that ABis the longest
of the segments of tz. Let D be a point on the tangent line at A as
indicated in Figure 3.23. Define a curve p as a string involute of tz
FIGURE 3.23
72 Global Theory of Plane Curves Chap.3
3-6. A PREVIEW
In this section we shall state two theorems about space curves that have
the same flavor as those of the preceding sections. However, we have to
delay their proofs until Chapter 5 so that we may use certain ideas from the
theory of surfaces, namely the concept of curves of shortest length on spheres
and integrals over surfaces.
J;
For a closed plane curve k ds measured the rotation index:
f k ds = 2ni,..
FIGURE 3.24
This seems plausible when you realize how a knotted curve has to twist
about twice as much as an unknotted curve.
4
In the study of curves it was not hard to discern what the geometry was:
it was the way in which curves twisted in Euclidean space. This idea leads to
the notions of curvature and torsion and a fruitful study of the geometry of
curves. We will now discuss the geometry of surfaces. This is a much deeper
subject on both a philosophical and mathematical level. There have been
many attempts to study geometry including such axiomatic approaches as
Hilbert's [1921, 1956]. We shall not attempt to explain this approach, but
rather just call the reader's attention to the fact that there are approaches to
geometry other than ours. Our viewpoint is that differential geometry pro-
vides a unifying thread to geometry (classical plane, spherical, hyperbolic,
and projective geometry can all be placed within the framework of dif-
ferential geometry) and that the approach of Riemann to geometry is the
appropriate one. For a more abstract interpretation of Riemann's program in
terms of manifolds (as in Chapter 7), see R. Millman and A. Stehney [1973].
Modern geometry was born when Riemann first separated the concept
of geometry from the concept of space. His inaugural lecture at Gottingen,
On the Hypotheses which Lie at the Foundation of Geometry (1854), began:
"As is well known, geometry presupposes the concept of space, as well as
assuming the basic principles for construction in space.... The relationship
between these presuppositions is left in the dark." In this chapter we shall
74
Chap.4 Local Surface Theory 76
first define space (the notion of surface). This will take the first two sections.
We are motivated by the idea that a surface should look "locally" like a piece
of the Euclidean plane. Then, since our development of surfaces is based upon
the study of curves in a surface, we establish the notion of arc length and
initiate a study of the curvature of a curve on a surface in Sections 4-3 and
4-4. Having done this, we will discuss in Sections 4-5 and 4-6 what the appro-
priate notion of "straight line" is in the setting of surfaces. We do this by
listing in Section 4-5 the various properties of straight lines in Euclidean space
and taking as a definition the idea that the curve does not bend except as the
surface bends. We then explore which of the other properties of straight lines
in Euclidean space carry over to this setting. Agreeing on a definition of a
straight line is, in Riemann's words, agreeing on "constructions in space."
The actual terminology for these generalized "straight lines" is geodesics.
Next we give a development of the concept of curvature of the surface in
Sections 4-7 through 4-9. We define the curvature of a surface in two ways.
The first way is to break the surface up into (infinitely many) curves and
measure the curvature of these curves. The second way is to measure how the
normal to the surface changes. (Think how we measured the rate of change of
the osculating plane in Chapter 2. We computed B', that is, the rate of change
of its normal.) Section 4-8 has a very extensive set of problems on certain
classical topics which tie together several ideas that have been developed so
far. The chapter ends with optional material on isometrics (length preserving
mappings), the Fundamental Theorem of Surfaces, and an investigation of
surfaces of constant curvature.
A word is due on the meth~d of differential geometry for attacking these
problems. In looking over the first three chapters, the reader should be struck
by the usefulness of linear algebra in attacking geometric problems. What,
after all, are the Frenet-Serret equations but statements about a (nonobvious)
basis for R 3 ? If we are to follow the approach of earlier chapters here, then
we must set up a linear algebraic tool to let us obtain geometric information.
This tool will be the tangent space to a surface at a point. The idea is that the
linear is significantly easier to work with than is the nonlinear. (For students
who have studied differential equations: think how much easier it is to solve
linear ordinary differential equations than nonlinear.)
Another point that should be made while we are speaking in an informal
way is the difference between local and global. In the study of curves we first
introduced only local concepts (in Chapter 2) such as curvature and torsion
and obtained information about the local behavior of the curve. In Chapter
3 we then studied the global behavior of a curve (such as the rotation index
and convexity). We shall adopt the same strategy in our study of surfaces.
We shall first study the local behavior of surfaces, that is, what goes on in a
neighborhood of a given point. This is the content of Chapter 4. We then go
on to the global behavior of surfaces in Chapter 6. The difference between
78 Local Surface Theory Chap.4
local and global can be explained as follows: If you are a creature living on the
2-sphere (i.e., the earth) you can only see a very little bit of it at a time, i.e.,
you can only see "local" things. If, on the other hand, you were an astronaut,
then you would be able to see very global things (such as the shortest distance
between distant points is the distance along great circles).
This last analogy also brings out another point-the difference between
intrinsic and extrinsic. The intrinsic things are the things that an observer who
is on the surface sees. The observer doesn't know (for example) howhis or her
world lies in a bigger universe, or in fact that it doeslie in a bigger universe.
He or she only sees concepts that are independent of the embedding of the
sphere in space. The astronaut, on the other hand, is out in this space and is
cognizant of things such as the normal to the surface while the creature on
earth remains totally ignorant of such things. These are the extrinsic concepts.
It is sometimes quite difficult to tell exactly which concepts are intrinsic and
which are extrinsic. The ninth section of this chapter hasas its main theorem
the highly nonobvious fact (due to Gauss (1827)) that Gaussian curvature is
an intrinsic concept. This last property (being intrinsic) is a very important
one and one that we will turn to in the last chapter of this book when we take
a very intrinsic (and more abstract!) approach to these ideas.
In the differential geometry of surfaces there is an enormous number of
formulas to be derived. We shall emphasize the most important of these
formulas by placing a gray background behind each of them.
90° N
Thus the statement "'ll is open" means that about each point of 'l1 there
is a little disk that is contained in 'll.
(-/1, -!2, 1) 0.
= *
Thus x is a Ck simple surface. It is the graph of a function and is fre-
quently called a Monge patch.
EXAMPLE1.7. Let 'll = {(u1, u2) E R 2j(u 1)2 + (u2)2 < l} and set
x(u1, u2) = (u1, u2, ,v'l _ (u1)2 _ (u2)2).
This is a special case of Example 1.6. The image is the upper half of the
unit sphere S 2 c R3 •
EXAMPLE1.9. Let w = {(w1 , w2 ) E R2 j -n/2 < w 1 < n/2, -1C < w2 < 7C}
and set z(w1, w2) = (cos w1 cos w2, cos w1 sin w2, sin w1). The image of
z is all of S 2 except the 180° meridian.
At the point (0, 0), (ax/au1) x (ax/au2 ) = (0, 0, 0). Thus x is not a
Sec. 4-1 Buie Definition, and Example, 79
simple surface because the regularity condition is not satisfied. :x:is not
one-to-one either since :x:(l,2) = :x:(-1, -2). If
'U. = {(u 1 , u2) e R 2 lu 1 > 0, u2 > O},
then :x::'U.- R 3 is a simple surface.
We urge the reader to review the chain rule (Section 1-5) before con-
tinuing.
Similarly, g(u1 , u2 ) = (g 1(u1 , u2), g 2 (u1 , u2)) = (g1.g 2). Then since f and g
are inverses, we have/o g(u1 , u2) = (u 1, u2). Thus
/ (g 1(u 1, u2 ), g 2 (u 1, u2)) = u 1 and / 2 (g 1(u 1, u2), g 2 (u 1 , u2))
1 = u2 •
If we differentiate using the chain rule, we obtain the four equations:
ap ag• ap ag2_ 1 a11ag• ap ag2 _ 0
'Tv'iTut+ Tv2Tut- • av•Tu2+ Tv2Tu2-
Since /'(v 1 , v2 ) = u' and g"(u1 , u2) = v•, we may write the above equa-
tions in either of the shortened forms
(1-1)
or
(1-2) ~ au' av• _ 6'
-~ "Jiji Tti1- /•
(Recall the Kronecker symbol 6 1 = 0 if i *i
while 6i = 1.) Each of the
above forms has its advantages. Equation (1-1) explicitly mentions the trans-
formations f = (/ 1 , /2) and g = (g 1 , g 2), while Equation (1-2) looks more
aesthetic in terms of the chain rule. We will use either (au'/av•), (ap/a'V"),
or J(f) to denote the matrix of partial derivatives of/. It is called the Jacobian
of/and is named after Carl G. J. Jacobi (1804-1851). Note thatJ(/) changes
from point to point of 'O, i.e., it is a matrix-valued function defined on 'O.
Equations (1-1) and (1-2) indicate that J(f) is nonsingular and thus has
a nonzero determinant. An important theorem of advanced calculus (the
Inverse Function Theorem, see Fulks [1969)) states that if/: 'O - 'U. is one-
to-one, onto, differentiable, and has nonsingular Jacobian at each point, then
80 Local Surface Theory Chap.4
LEMMA 1.11. If x: 'l1 - R 3 is a simple surf ace and/: "O- 'l1 is a coordinate
transformation, then y = x o /: "O-+ R 3 is a simple surface with the
same image as x.
Proof: y is one-to-one since both x and fare. Its class is the minimum of
that of x and/. Certainly x('ll) = y("O). Furthermore the chain rule shows
that
(1-3)
(1-4) oy x ~
avi ov2= det (ap)ax ax
O'ijmTui x au2= det(J(
f »au1
ax x ou2·
ox
The discussion for the remainder of this section is absolutely crucial for
understanding the rest of this book . We urge the reader to pay especially
close attention to these definitions and notations and understand them in the
special cases of Examples l.14 and I.15.
We shall use the following notation throughout the rest of this book.
(1-5)
FIGURE 4.2
Note how the normal, and hence the tangent plane , changes as a and
b change. At the point x(l, 2) = (1, 2, 2) the tangent plane has the equa-
tion
-2(x - 1) - (y- 2) + (z - 2) = 0.
See Figure 4.3. In this example the tangent plane actually intersects the
FIGURE 4.3
Sec. 4-1 Basic Definitions and Examples 83
Note that the standard rectangular grid on 'll (i.e., the (u 1 , u 2) plane) has
as its image under x a grid on x('ll). This grid is sometimes called a curvilinear
coordinate system on x('ll). The grid lines are the parametric curves. See
Figure 4.4.
:x('lL)
FIGURE 4.4
FIGURE 4.5
Let x: 'll--+ R 3 be a simple surface and (a, b) E 'll. What is the velocity
vector of the u 1-curve cz(u1) = x(u 1, b) at u 1 = a? It is
d«z ax
dul (a) = au1(a, b) = X1(a, ).
b
Proof: x 1(a, b) and xz(a, b) are tangent vectors at P and are linearly inde-
pendent. Thus the set of all tangent vectors at P is a vector space (Lemma
1.16) of dimension at least two. It will have dimension two if we can show
that x 1(a, b) and xz(a, b) span it.
Let X be tangent to x at P and let y be a curve in x('U.)with y(O) = P
and y(O) = X. There are functions 7 1(t), 72 (t) such that y(t) = x(7 1(t), 72 (t)).
((71 (t), 72 (t)) is defined by x- 1(y(t)).) By the chain rule we have
dy - ax ~
2dtax ~ - t!1:..
(1-7)
dt - ou1dt + au - L x, dt
Thus
(l-8)
where
X' = 71(0).
Equation (1-8) says that x 1(a, b) and x 2 (a, b) span the set of all tangent
vectors at P. Thus the dimension of this vector space is two.
The tangent plane at Pis perpendicular to n(a, b) by definition. n(a, b),
which is a multiple of x 1(a, b) x xz(a, b), is certainly perpendicular to
x 1(a, b) and x 2 (a, b). Hence n(a, b) is perpendicular to the plane spanned
by x 1(a, b) and x 2 (a, b) and these two planes are parallel. I
We quite often identify the vector space of tangent vectors to x at P
with the tangent plane at P by viewing the tail of a tangent vector to be at P.
In the above proof we showed that any vector X tangent to a surface x
can be written in the form X = :E X'x,. Suppose/: 'O .- 'U.is a coordinate
transformation and y = x of. Then X = :E X"y,,.. How are the coefficients
{X1 , X 2 } and {X1 , X2} related? Since y,,.= :Ex, (au
1/av•),
:E Xix,= X = :E X•y,,.
= :E x·(~x,) = :E ( X"'~)x,.
av• Tv2
Note that we also have
(1-11)
88 Local Surface Theory Chap.4
PROBLEMS
1.1. Let 'll = {(u1, u2) E R 2 I -1t < u• < n, -n < u2 < n} and define
x(u 1, u2 ) = ((2 + cos u 1) cos u2 , (2 + cos u 1) sin u2 , sin u 1).
(a) Prove that x is a simple surface. (x('ll) looks like the surface of a
donut or innertube.)
(b) Compute x 1, x 2 , and n as functions of u• and u2 •
This problem is a special case of the next one, which we shall investigate
in detail throughout the chapter.
*1.2. Consider a curve in the (r, z) plane given by r = r(t) > 0, z = z(t). If
this curve is rotated about the z-axis, we obtain a surface of revolution.
(See Figure 4.6.) We may parametrize this surface in the following
FIGURE 4.6
1.3. Let 'U. = {(u1 , u 2 )IO < u 1, 0 < u2 < 2n} and
x(u 1, u 2) = (u cos u2, u 1 sin u2, u 1
1 +u 2 ).
(0, 0, l)
FIGURE 4.8
4-2 . SURFACES
EXAMPLE 2.1. The function that sends the open rectangle (0, 2) x (0, 1)
onto the surface in Figure 4.9 is not proper. Any e-neighborhood of the
point P is mapped in a discontinuous fashion by x- 1, if E is sufficiently
small.
FIGURE 4.9
•
DBFINIDON. A Ck surface in R 3 is a subset Mc R 3 such that for every point
P e M there is a proper C" coordinate patch whose image is in Mand
which contains an E-neighborhood of P for some E > 0. Furthermore,
if both x: 'U.- R 3 and y: 'U - R 3 are such coordinate patches with
'U.' = x('U.),'l)' = y('U),theny- 1 0 x: cx- 1('U.' (') '{)')) - (y- 1('U.' (') '{)'))
is a Ck coordinate transformation. (See Figure 4.10.)
'l1
~----y-••x
FIGURE 4.10
The images of the patches are (respectively) the upper, lower, right, left,
front, and back hemispheres. Note every point of S2 belongs to at least
one of these hemispheres. We should show that on each overlap the
appropriate composite function is a Ck coordinate transformation. We
shall only do this for x+ and y+. Example 1.12 did it for x+ and y-. We
leave the other cases to the reader. We omit all+ signs on x+, 'U +, etc.
'U' n 'O' = {(x, y, z) E R 3 IY> 0, z > 0} so that
x-l('U.' n 'O') = {(ul' uz) E 'U Iuz > O}.
Now
y-1 0 x(ur, uz) = y-•(u1, uz, ,JI _ (u1)2 _ (u2)2)
= (u1, ,JI _ (u1)2 _ (u2)2),
which is certainly a Ck function for any k :2:::I since (u 1) 2 + (u 2) 2 < I.
We need also show that y- 1 o xis a one-to-one function on x- 1('U.' n 'O').
If (y- 1 o x)(a, b) = (y- 1 o x)(c, d), then
(a, ,JI - a 2 - b2) = (c, ,JI - c 2 - d 2)
so that a = c and b = ±d. However, since both (a, b) and (c, d) belong
to x- 1('U.' n 'O'), both b and dare positive and b = d. Thus y- 1 o x is
one-to-one. The inverse function is x- 1 o y given by
x-• o y(v1, vz) = (v•, ,JI - (v1)2 - (v2)2)
which is differentiable. Hence y- 1 o x is a coordinate transformation.
overlap consists of two separate pieces, a left piece and a right piece.
Note that on the right piece both (J and if, are between n/4 and 3n/4.
Hence on this piece y- 1 o x(fJ, t) = (0, t), which is certainly a coordinate
transformation. (We may also write this as if, = (J and s = t.) On the
left piece (J lies between -3n/4 and -n/4 whereas if, lies between Sn/4
and 7n/4, so that it is impossible for (J = if,.In fact, since cos (J = cos if,
+
and sin (J = sin if,, we have y- 1 o x(fJ, t) = (8 2n, t) (or if,= (J 2n +
ands= t). This is also a coordinate transformation. See Figure 4.11.
FIGURE 4.11
( - 31! 3
4 ' 4
2:) x (0 l)
'
SI X (0, l)
EXAMPLE 2.6.
x2 y2 z2
f(x,y, z) = 2 + b2 + 2 - I
a c
gives a surface called an ellipsoid.
EXAMPLE 2.8.
ExAMPLE 2.9.
f(x,y,z)=-,-
x2 l.:
b -
z2
- I
2 2
a c
gives a surface called a hyperboloid of two sheets.
PROBLEMS
2.1. The coordinate patch of Problem 1.2 does not cover the entire surface
of revolution-it omits points that would correspond to 8 = ±n.
Define a second coordinate patch with O < if, < 2,r, check the overlap
condition, and thus show that a surface of revolution is a surface as in
Example 2.3.
2.2. Problem 1.1 gave one coordinate patch for a torus (or inner tube; see
Figure 4.12). Find three more patches.making the entire torus a surface
(including the points where u 1 = n and those where u2 = n).
FIGURE 4.12
2.3. Note that every point of S 2 is either in the image of the patch in Example
1.7 or the patch in Problem 1.10. Show that these two patches make S2
into a surface by computing the coordinate transformation on the
overlap.
2.4. Describe some possible parametrizations of the ellipsoid
x2 l.: z2
2a + b2 +2 c = I.
2.S. Give another coordinate patch for the surface in Problem 1.9 so that the
curve 8 = ±n is included, thus making that example into a surface.
Note that Problem 1.9 says that it is impossible to make a choice of unit
normal at each point of this surface in a continuous fashion.
Sec. 4-3 The First Fundamental Form and Arc Length 93
(3-1)
The functions g,1 define a symmetric matrix at each point in the image of
x. It is important to note that g,1 is a function defined on 'll and depends
critically on which coordinate patch we have picked. SeeExample 3.1. The
functions g11 are sometimes referred to as the metric coefficients,the coeffi-
cients of the metric tensor, or the coefficientsof the Riemannianmetric. Their
definition is due to K. Gauss (1827) and, in a more abstract formulation, to
G. F . B. Riemann (1854).
Propositions 1.13 and 1.18 show that this is the same as the tangent plane
at P to any of the coordinate patches whose image contains P. The standard
inner product< , ) of R 3 can be restricted to this vector space, where it is
still an inner product . The matrix (g,1) is the representation of the restricted
inner product with respect to the basis {x,, x 2 }. Thus (g,1) is a nonsingular
positive definite matrix. (Recall that a two by two matrix ( a,1) is positive
definite if and only if a 12 = a21t a 11 > 0, and det (a,,) > 0.)
The rule which assigns to any two tangent vectors X, Y e TPM their
94 Local Surface Theory Chap.4
inner product is called the first fundamental form of the surface. The termi-
nology "form" refers to the fact that an inner product is a bilinear form in the
sense of linear algebra.
EXAMPLE
3.1. Consider the coordinate patch of Example 1.7:
x(ut, u2) = (u1, u2, ,v"l _ (u1)2 _ (u2)2)
-u2 )
X2 = ( 0, 1, ,v"l - (u1)2 - (u2)2 .
Then
EXAMPLE 3.2. Consider the Monge patch x(u1, u 2) = (u1, u2, f(u 1, u 2)) of
Example 1.6. x 1 = (1, 0,/ 1) and x 2 = (0, l,/ 2). g11 = 1 + U1) 2,
g 12 = g21 = fi/2, and g22 = 1 + (/2) 2. Also,
det (g,1) = 1 + U1>2 + U2) 2 > o.
EXAMPLE3.3. Consider the surface x(u, v) = (u2, uv, v 2), where u > 0 and
v > 0. Then x 1 = (2u, v, 0) and x 2 = (0, u, 2v). g 11 = 4u 2 + v2,
Sec. 4-3 The First Fundamental Form and Arc length 95
The term "metric" used with the functions g,1 refers to the fact that they
play an important role in measuring. They obviously help to measure lengths
and angles in TPM. We shall see below that they appear in formulas for the
lengths of curves and (later) for areas of regions.
Let cz(t) be a regular curve whose image is contained in that of a coor-
dinate patch x: 'U-----+R3 so that cz(t) = x(ix'(t), ix2(t)) for some real-valued
functions ix'(t) and ix2(t) defined by (ix'(t), ix2(t)) = x-• o cz(t). If we wish to
know the length of the segmentcz: [a, b]-----+ R 3 , we must compute f0bldcz/dtl dt.
But dcz/dt = :Ex, dix'/dt so that
Idcz
dt
I= J\dt/dcz, dcz)
dt
I dix' dix'
='VLK,; dt dt.
Hence the length of the segment is J:
,./!:, g,i(dix'/dt)(dix 1/dt) dt. Thusifa
curve segment cz is defined in terms of local coordinates by ix• and ix2, it is
easy (at least theoretically) to compute its length with the use of the metric
coefficients Ki;·
NOTATION.
(3-2)
(3-3)
LEMMA 3.4. For a coordinate patch x: 'U ___.R 3
(a) g = Ix, x x 2 12 ;
(b) g 11 = K22/g,g 12 = g 21 = -g12/g, g22 = K11/g;and
2
(c) for all i and j, ~ g,kgki = ~/.
tt:"1
Proof·
(a) Let 8 be the angle between x 1 and x 2 so that
Ix I x x 2 l2 = Ix 1'2 1x 2 12 sin 2 8 = Ix, 121
X2l2 ( I - cos 2 8)
Ym-
- av-'
ay
g = det Cir1.,),and (irl) = Cir1.ir)-
1•
Thus
(3-4)
gll
(3-5) (
g2l
is the Jacobian of g: 'll - 'U and the inverse of the Jacobian of/: 'U -+ 'll.
(See Equation (1-2) of Chapter 1 and the preceding discussion.)
g = det (g,1) = det ((J- 1)'(i ..pXJ- 1))
= det(J- 1)det(i ..p)det(J- 1) = g(det(J- 1)) 2 •
Thus
(3-7) g=g av")2
(deta,7 ·
Finally
(gkl) = (g,,tt = [(J-l)'(g,.p)(J-1))-1 = J(g,.p)-IJt = J(gr6)J'.
Thus
(3-8)
(3-11)
and
(3-12)
(3-11 ')
and
(3 - 12') -ra ~ kl av1ava
g = ~g auk au'·
dinates if we know how to write the analogous expression in the 'l) system,
some involve the Jacobian of/: 'U - 'll ((3-9) and (3-12)) and some involve
the Jacobian of g: 'll - 'U ((3-10) and (3-11)). Classically, transformation
laws (3-9) and (3-12) are called contravariant transformations, while (3-10)
is called a covariant transformation. Transformation (3-11) is neither covari-
ant nor contravariant because it does not involve matrix multiplication. We
shall not belabor the difference between covariant and contravariant. How-
ever, from time to time we may mention whether a given quantity is
covariant, contravariant, or neither. In the abstract approach of Chapter 7
it is easy to distinguish between covariant and contravariant.
Our notation (due to Ricci, Levi-Civita, and Einstein, circa 1900) is
designed to aid in remembering such formulas. Whenever we are summing
an expression, such as :EX'x,, it is with an upper index versus a lower index.
In any transform~tion equation (like (3-9) or (3-10)) the dummy summation
indices are upper versus lower. All other indices appear on both sides of the
equation in the same position (upper or lower). We shall use Latin indices
(i,j, k) in the 'll-coordinate system and Greek indices (iz, p, 7) in the 'l)
system. With these rules in mind it is easy to recall Equations (3-9), (3-10),
(3-11), (3-12). In some texts the summation sign is omitted completely and
one must remember to sum whenever there is a repeated index.
EXAMPLE 3.6. Consider the sphere S 2 and, in particular, the overlap of the
coordinate patches in Examples 1.7 and 1.8. To make the following
computation a little easier to read, we set r = u 1, 9 = u'-,a = v 1, and
b= v2 ,
f(a, b) = (a, -,v'l - a 2 - 62) = (r, 9)
and
g(r, 9) = (r, ,v'l - r2 - 9 2) = (a, b).
~r 0
-9 ) .
(
,v'l - r2 - 92 ,v'l - r2 - 92
1 - b2
_ ( 1 - a 2 - b2 1 - aab2 - b2)
(i.,) = ab
1 - a2
1 - a2 - b2 1 - a 2 - b2
r2 + 92
( 92
The Fim Fundamental Form and Arc Length 99
Thus
,vii - -rr 2 - s2 )
v-•Y<i.,iv-•i -(: -s
,vii - r 2 - s2
r2 + 92 r,v11- , 2 - s 2)
92 92
(
I - r
_s_2_
2
-s0 )
,vll - r 2 - s2
I - s2
= ( I - r2 - s2 I - rrs2 - s 2)
= (g,1)·
rs I - r2
I - r 2 - s2 1 + r2 - 92
If we accept the fact that the symbols du1du' are independent, then
ds 2 = l; 1 11 du1 du'
must yield
Local Surface Theory Chap.4
Classically the expressions du1 and du2 expressed the difference in the
coordinates of two infinitesimally close points. The modern viewpoint is to
view them as linear functions on TpM. Before we indicate how this is done, let
us review some more linear algebra.
The set of all linear functionals defined on V forms a vector space under
the usual concepts of function addition and multiplication by real numbers:
(r,f, + IJl)(v}= r(,f,(v}) + IJl(v). This vector space is called the dual space of
V, and is denoted V*.
Proof: By the previous observation we need only show that V* has dimension
n. Let {ui, u 2 , ••• , Un}be a basis of V. Define a linear functional ,f,1 : V--+ R
by ,f,1(u1) = 611. Then ,/,'(~ a'u,) = ~ a1,f,1(ui) = ~ al6 11 = a'. We claim
{,f,1, ••• , ,f,n}is a basis of V*. First we show that the ,f,1 are independent. Sup-
pose there are real numbers a, with l; a1,f,t being the zero function. Then
0 = (l; a 1,f,1)(u1) = l; a 1(,f,1(u1)) = ~ a,6 11 = a1. Hence the ,f,1 are indepen-
dent. Now we need to show that they span V*. Let p E V* and let c1 = p(u,).
Then a straightfoward calculation shows that l; c,,/,'(v) = p(v) for any v E V
so that p = ~ c,,f,t.Hence {,f,1, ••• , ,f,n} is a basis and V* has dimension n. I
(of TpM*) with respect to {xi, x 2 }. This is also consistent with the manner in
which dual bases transform:
X1 =L ov"y,.
T'""' while dui = L oui
~ dv".
uu' uv°'
Note that (ou 1/ov") is the inverse of (oi,"/oui) as required by Equation (3-15).
It thus makes sense to call ds 2 = L g 11 dui dul the first fundamental form
because it is a bilinear form:
ds 2 (X, Y) = L g; 1 du1 dul(X, Y) = L g 11 du1(X) dul(Y)
= L gijX y1 = (X, Y).
1
PROBLEMS
*3.1. Show that the metric coefficients for a surface of revolution (Problem
1.2) are given by the matrix
·2
(r
+z ·2 0)
0 ,2 .
3.2. Compute the metric coefficients for the parametrization of S 2 in Prob-
lem I.IO.
3.3. Compute the inverse of metric coefficients in Examples 3.2 and 3.3.
3.4. A coordinate patch x: 'l1----+R 3 is called an orthogonal net if the
u 1-curves meet the u2 -curves at right angles, that is, x 1 is perpendicular
to x 2 everywhere. Prove that the meridians and circles of latitude of
a surface of revolution form an orthogonal net.
*3.5. For a coordinate patch x: 'll-> R 3 show that u 1 is arc length on the
u 1-curves if and only if g 11 = I.
3.6. Let x and y be cartesian coordinates of the plane while rand (J are polar
coordinates. Show that x = r cos(}, y = r sin (J is a C 1 coordinate
transformation for r > 0. Show that the metric coefficient matrix for
n=(o.y,¥) at 1(~)=(0.~,v7)=x(o.-y-)·
See Figure 4.13.
FIGURE 4.13
(4-1)
(4-2)
(4-3)
Sec. 4-4 Normal Curvature,Geodesic Curvature,and Gauss's Formulas 103
(4-6)
In Section 4-7 we will see that the normal curvature helps measure how
M is curving in R 3 • In Section 4-5 we will see that the geodesic curvature
measures how y is curving in M.
104 Local Surface Theory Chap. 4
(4-8)
(b) for any unit speed curve, y(s) = x(y 1(s), y 2 (s))
(4-9)
and
(4-10)
Proof·
(a) Since n, x 1 , x 2 are linearly independent, and hence a basis ofR3, we
may express any arbitrary vector as a linear combination of these three vec-
tors . In particular, there are functions, a,1 and h,/", defined on 'll such that
+
x,1 = a,1n I; b,,"'x,,..Thus L,1 = <xii, n) = a,1 since <x,,.,n) = 0. Also
Sec. 4-4 Normal Curvature. Geodesic Curvature. and Gauss's Formulas 105
<x,i, x 1) = L b,/"g,n1so
that <x,1, x 1)g'k = L b,/"g,,,,g'k. If we sum this
"'
equation over I and apply Lemma 3.4, we obtain
"'
r,/ = '°"'
-6r
<x,,, x,)g'k = '°"'bl/"'g,n1g'k= L b,,"'li,,,k= b,/.
~ ,n
Thus a,1 = Lil and b,/ = r,/, which proves Gauss's formulas.
(b) Substitute Equation (4-8) into Equation (4-5) to get
1" = L xk<t)" + L xkr,/(1')'(11>' + L nL,h'>'<11>'
or
'Y"= L [(yk)" + L r,/(r)'(y1)']xk + (L L,,(y')'(y1)')n.
Since x 1 and x 2 are tangent to the surface, a comparison of this equation with
Equation (4-6) completes the proof. I
(4-11)
Proof: This proof (which is due to Gauss) makes use of a classical technique
called "cyclic permutation of indices."
Since we assume that xis of class C 3 , x,1 = x 1,. Hence, we may combine
(4-12), (4-13), and (4-14) to obtain
(4-15)
108 Local Surface Theory Chap. 4
2 ~
_!_~ oiil"_ ~g~
gk'(OK1k U
+ alk')
UI
=~
~
(x IJ• ·xk )gkl = r.•J'. I
Note that this formula shows that r,/ is completely determined by the
metric coefficients. We say that the r,l are intrinsic. This means that they can
be determined by measurements within the surface. More generally, an
intrinsic concept is one which depends only on (g,1). If we were two-dimen-
sional beings living on a surf ace, we would be able to compute lengths and
angles and thus the metric coefficients and anything that depends on them.
The intrinsic concepts would be the only geometric concepts we would have.
We would know nothing about a normal vector. (An amusing interpretation
of this is in E. A. Abbott's Flatland, a story about a two-dimensional creature
in a two-dimensional world with insight into the third dimension.)
Proof: Let E 11 = [n, x,, x1] (see Section 1-3 for triple bracket notation) so
that E11 = E22 = 0 and, by Lemma 3.4, E12 = -E 21 = ,./g.
Since E11 is
either zero or depends only on g, E,1 is intrinsic. Now
"'• = (K 6 S, S) = [K6 S, n, T].
Equation (4-10) shows that
"'• = L (rk" + L r,/'Jl''r'')[xk,n, L :x,r''l
= L <rk"+ L ri,t'Jl''r''>r''[n,x,, xkl
or
(4-16) "'• = L (rk" + L r,/'Jl'''Jl'')'Jl''E,k,
which is intrinsic. I
Although (4-16) gives a formula for"'•• sometimes it is useful to have an
extrinsic formula.
(4-17) "'• = (T', S) = [T', n, T] = {n,T, T'] = (n, T x T')
= (n, T x KN) = K(n, B) = 'ICcos CZ,
where cz is the angle between the unit normal n of the surface, and the
binormal B of the curve. Note that "'• = 'ICcos czmakes sense even when
K = 0 and neither B nor czis defined because "'• = 0 when K = 0.
x 11 = (0, O,f 11), x 12 = x 21 = (0, 0,! 12 ) and x 22 = (0, 0,! 22). By Gauss's
formulas (4-8), X11= L11D+ r11 1X1 + r11 2X2· Thus
L - (x n)- !11
II·- 11, - ,v'I + U1)2 + U2>2
Considering the first coordinate of x 11, we note
0 = L11<-!1> r
+ U1 )2 + U2) 2 +
I
I II·
,V J
Thus we obtain r 111 = fd 11/(l + (! 1) 2 + (! 2) 2). A similar calculation
yields r1i2 = !zf11/(I + U1>2 + U2) 2).
Alternatively we could computer 112 intrinsically by using Equation
(4-11).
12 -!dz d 22 _ 1 + U1) 2
g = I + U1) 2 + UzY an g - I + U1) 2 + U2) 2
agl 1 _
du1 -
ao+auiU1F> -_ •1
2:/1 11,
and
_ 1-[<
-fdz)(2fd11 - 2fd1 + 2fd11) I
- 2 + U1>2 + U2) 2)
(I
+ 0 + U1) 2)U1d2 + !d21 - 2fd12 + !1d2 + fd21)]
(I + U1) 2 + U2) 2)
_ [-2U1) 2fzf11 + 2f1d2 + 2U1>2!1d21
- 2(1 + U1) 2 + U2) 2)
_ !11!2
- 0 + U1>2 + U2) 2)
Notice how much easier it was to computer 112 extrinsically than intrin-
sically.
EXAMPLE 4.6. Consider the upper hemisphere x(r, s) = (r, s, ,v'l - r 2 - s 2).
Let y(t) = (sin t, 0, cost). This is a unit speed curve in x for -n/2 < t <
n/2.
T = (cost, 0, -sin t}, T' = (-sin t, 0, -cost),
and
n = (r, s, ,,.jl - r 2 - 82).
108 Local Surface Theory Chap. 4
PROBLEMS
2 = 'ICn
*4.1. Prove 'IC 2 + '/C112.
*4.2. Show that the matrix (L; 1) for a surface of revolution (Problem 1.2) is
~I (
,.;;2+ z2
;z-i; O)·
O ri
4.3. Prove that for a surface of revolution det (L 0 ) = 0 if and only if each
meridian is a straight line.
4.4. Let L,.,,be the corresponding expression to L 0 in a coordinate system
'U. Let/: 'U - 'l1 be a coordinate transformation. Show that
- iJv" iJvfl
Li} = ± L L,.,,T,ii au1,
where the sign is that of det (iJv"/iJu').This shows that up to sign, the
functions L;1 transform covariantly, (i.e., just like g!J).
4.5. In the Monge patch x(u, v) = (u, v, u 2 + v2 ) find the normal curvature
of the curve y(t) = x(t 2 , t) at t = I.
*4.6. The plane is a simple surface: x(r, s) = (r, s, 0). Show that the geodesic
curvature of a curve in the plane is its plane curvature: 'IC• = k.
4.7. The sphere is a surface of revolution. Find the geodesic curvature of a
circle of latitude w1 = constant in Example 1.9.
*4.8. Prove that if x is a coordinate patch of the sphere and n is the unit
normal, then at any point x(r, s), n(r, s) = ±x(r, s) as vectors.
4.9. Let y be a curve on the sphere. Prove 'ICnis constant.
4.10. Let y be a curve on the sphere with 'IC11 constant. Prove T is a circle.
(Hint: Problem 5.3 of Chapter 2 and Problem 4.9.)
4.11. Let f'.,,/ denote the Christoffel symbols for a coordinate system 'U, anc
'l1 a coordinate transformation. Use Gauss's formulas to provt
/: 'U-----+
- ( iJu'iJul iJ2uk) iJvr
r ..,,r= I: I:r,/~TvP + av"'av,, auk·
This formula is the first example of a transformation law that is no·
well behaved (because of the term (iJ2uk/iJv"'iJvfl)).
Sec. 4-5 Geodesics 109
4.13. Does the sign of the geodesic curvature have any meaning in a coor-
dinate patch? In a surface?
4-5. GEODESICS
In plane geometry, the straight lines play a very important role as the
basis for most constructions and for the formation of most figures studied. We
would like to find curves on an arbitrary surface that play an analogous role.
However, there are several properties of straight lines and it is not clear which
is the most important. That is, it is not clear which of these properties should
be taken as the definition of a "straight line" on an arbitrary surface. For
example:
SLI Straight lines have (plane) curvature zero.
SL2 Straight lines give the shortest path between two points.
SL3 Given two points there is a unique straight line joining them.
SU The tangent vectors to a straight line are all parallel.
We shall generalize each of these properties to curves on surfaces and
explore their interrelationships.
PROPOSITION 5.1. A unit speed curve y(s) in Mis a geodesic if and only if
[n, T, T'] = 0.
(5-1)
Proof: y" = ,cN = "•S + 7'.n. y" 1s normal to the surface if and only if
"• = o. I
EXAMPLE 5.4. Consider the great circle y(s) =(sins, 0, cos s) on S 2 •
y' = (cos s, 0, -sin s), y" = (-sin s, 0, -cos s). Then y"(s) is the
inward pointing normal to S 2 at y(s). By Proposition 5.3, y is a geodesic
since a normal to S 2 at y(s) is ±y(s). Since there is nothing geometrically
special about this particular great circle, every great circle of S 2 is a
geodesic. The converse is true: if y is a geodesic of S 2 then y is an arc
of a great circle (see Problem 5.3).
FIGURE 4.14
EXAMPLE 5.6. Let M be the Monge patch x(u, v) = (u, v, u 2 - v 2 ). Let y(t)
be the (non-unit speed) curve y(t) = (t, 0, t 2) in M. Now
In the plane, a straight line is determined once a point on the line and the
direction of that line (at that point) are given. The next theorem says that this
is true for geodesics in general.
Proof- Let x be a patch about P with P = x(O, 0), and X = ~ X'x,. If there is
a geodesic y(s) = X(}' 1 (s), }'2 (s)), then we must have }'k" = - ~ r,/}"'}'J'
with initial conditions }"(s 0 ) = 0, y1'(s0 ) = X 1• Conversely, any solution to
112 Local Surface Theory Chap. 4
this initial value problem is a geodesic with the required properties, if the
solution is a unit speed curve. Picard's theorem (Theorem 5.1 of Chapter 2)
implies there is a unique solution to this initial value problem, for values of s
near s 0 • We must show that the solution y(s) = x(r1(s), 'Jl2 (s)) to the differen-
EXAMPLE 5.8. Let M be the surface consisting of all the points in R2 except
(2, 0). Let P = (0, 0) and let X = (1, 0) be the unit vector pointing in the
direction of the positive x-axis. The associated geodesic is y(s) = (s, 0)
and is defined for all s < 2. Since y is continuous, it is impossible to
define y(2) as anything but (2, 0), which is not in ¥· It is therefore pos-
sible for the geodesic, which is the solution of the differential equation,
to be defined only for Is I < f < oo.
FIGURE 4.15
(~· ~) = (9s·
~) = l.
114 Local Surface Theory Chap.4
Thus
L'(O) = J"1\osa,
c ot'Ts l ds
oa,)
02
=O
0 a,)lJds
ds\ ot oa,)I
_ f "[.!!_Joa,, _Joa,, 2
- c OS Tt os t=O \ 2 =O
=/oa,,oa,)l
\Tt OS
l"-f"Joa,,0 a.)ld
\Tt ai2 -o s.
=O c c
2
i-l,=o
= :Ev'(s)'.Xt = A(s)S.
EXAMPLE 5.1O. Let M be the surface of Example 5.8. Then there is no geode-
sic joining the points (0, 0) and (4, 0).
EXAMPLE 5.11. Let M be the unit sphere with P and Q the two poles. There
are an infinite number of great circles through the poles. Hence there is
not a unique geodesic from P to Q.
The closest we can come to having property SL3 is the following theorem
which is local in nature (i.e., it says nothing about geodesics between "distant"
points). To get stronger, global theorems requires further topological assump-
tions (e.g., simple connectivity) and further geometric assumptions (e.g., on
curvature). The reader is referred to M. Berger [1965]. The proof of White-
head's theorem below is beyond the scope of this book. It may be found in
Hicks [1965].
Sec. 4-5 Geodesics 116
PROBLEMS
dt 2 + ~ Jk dt dt -
::.L.. =-- for i = I and 2.
dt ds 2 dt
t5.8. Prove that a regular curve y(t) is a geodesic if and only if
d2-y1~ _ d2-y2r!J.:.. (~ I _ <!t 2) efi._ef:i!_
=0
dt 2 dt dt 2 dt + I; dt r,, dt r,i dt dt - ·
5.9. Let Mbe the Monge patch x(u, v) = (u, v, uv). Show that the non-unit
speed curve y(t) = (t, -t, -t 2 ) is a geodesic when parametrized by
arc length. Can you find other geodesics in M?
5.10. Let «x(s)= (j(s), g(s)) be a simple unit speed plane curve. Let x(s, t)
be the surface x(s, t) = (f(s), g(s), t). (This is called a cylinder over
«x(s).)Let P be a fixed constant and let y(O) = (f(O), g(O), (} tan ft).
Prove y is a geodesic (0 is not arc length). Prove y is a helix.
5.11. Let M be the surface given by x 2 + y 2 - z 2 = I (Example 2.8). Find
as many geodesics as you can.
116 Local Surface Theory Chap. 4
5.12. Find as many geodesics as you can on the Monge patch (u, v, u2 - v 2 ).
(Hint: Problems 5.2, 5.4)
5.13. Find as many geodesics as you can on the surface
2
xz +~ - z2 = I.
t5.14. Let x and y be two different coordinate patches for part of a surface M.
Let X = I: X 1x 1 = I: Xflyfl and Y = I: Y'x, = I: f•y,. be two
vector fields. Define symbols Zk and 2,1by
zk ~ ~~xaul
~
~r ,, kY x 1
1 -1 ~ 1
and
z,--
-
~ af,
avfl
~
x/J+ ~ r •fl,f•xfl•
~
EXAMPLE 6.1. Let y(s) be a unit speed curve in M. Then T(s) is a vector field
along y.
EXAMPLE 6.2. Let y(s) be a unit speed curve in a coordinate patch x. Then
S(s) = n x T is a vector field along y. Since T and S are linearly inde-
pendent, any vector field X along y has the form
X(s) - a(s)T(s) + b(s)S(s).
Sec. 4-6 Parallel Vector Fields Along a Curve and Parallelism 117
DEFINITION. A differentiable vector field X(t) along y(t) is parallel along y(t)
if dX/dt is perpendicular to M.
EXAMPLE 6.4. Let M be the unit sphere, y(t) the equator, and X(t) the
unit vector pointing north at each point on T. Then X is parallel since
X(t) = (0, 0, I) and dX/dt = (0, 0, 0) is certainly perpendicular to the
surface.
EXAMPLE 6.5. Let M be the unit sphere, and y(t) the circle of latitude
Let X(t) be the unit vector field that points toward the north pole at each
point of y. Analytically
0=(~~·
x,)= (Ldi,'x"x,)+ (LX'x,,r,,x,):
that is, if and only if
Notice that we did not assume that tis arc length along y. Further note
that the differential equation that X must satisfy depends only on the given
curve 1 and the intrinsic quantities r,/. Hence the concept of parallel along
a curve is intrinsic.
Proof: Let x be a patch about y(t 0 ) . y(t) = x(y 1(t), y 2 (t)). Consider the
initial value problem
d:,k
= - L C/(y 1(t), y 2 (t))X'(t) dJ:' k = I, 2,
Xk(t 0 ) = Xk.
By Picard's Theorem, this has a unique solution for values oft near t 0 • By
Proposition 6.6 this solution is parallel along 1 (where defined) and any
parallel field along 1 whose value at t 0 is X must solve this problem .
Repeated application of this gives a unique X defined along all of y. I
DEFINITION . The unique vector field X(t) parallel along y(t) such that X(t0 )
= X is called the parallel
translate of X along y.
(g,,) = (~
sin~;)
so that r 1l = r 212 = cot;, r 2/ = -sin (JScos;, and all other r,/
are zero. Now y(t) = x(y 1(t), y2 (t)) where 7 1(1) = (JS
0 and 7 2 (t) = t so
that the equations for parallel translation (Equation (6-2)) become
with X 1(0) = I and X 2 (0) = 0 (i.e., X(O)= X). It is easy to check that
X 1(t) = cos ((cos (JS
0 )t) and X 2 (t) = (-sin ((cos (JS
0 )t))/sin (JS
0 are solu-
tions to the system of differential equations which satisfy the initial
conditions . Thus the parallel translate of i is
X(t) = cos ((cos (JS
0 )t)x 1 - sin ((~tpo)t)x 2•
SID o
Note that X(O)=!=X(2n) . See Figure 4.16.
FIGURE 4 .16
PROPOSITION 6.9. Let X(t) and Y(t) both be parallel along a regular curve 1
in M. Then IX(t) I is constant and so is the angle between X(t) and Y(t}.
Comment: This theorem says that when we parallel translate vectors, angles
and lengths are preserved, just as in plane geometry. However, we shall see
120 Local Surface Theory Chap.4
!: 9 = = (~)(;!f + (!I)(~;!)·
Since dt/ds is constant, d 2 t/ds 2 = 0 and dT/ds is normal because d 2 1/dt 2
is. I
We might note that if 1(t) is maximally straight, then to an intrinsic
being 1(t) has no acceleration (the acceleration vector d 21/dt 2 is normal to
the surface) and hence is traveling in uniform or "linear" motion. When
differential geometry is applied to physics, and particularly to general rela-
tivity, the concept of uniform motion mentioned in Newton's first law of
motion (the law of inertia) is translated to motion along a geodesic because
the Euclidean notion of straight line has been lost. (See Misner, Thorne,
and Wheeler [1973].)
We shall now give two examples to show that the notion of parallel
translation depends upon the path. In the first example we take two curves
with the same end points and parallel translate a given vector along each curve
and get different answers. In the second example we translate a vector around
a "geodesic triangle" but do not return to the original vector.
Sec. 4-6 Parallel Vector Fields Along a Curve and Parallelism 121
PROBLEMS
Proof:
(a) It is easy to show that
Il(X 1+ X2 , Y) = II(Xi, Y) + Il(X 2 , Y),
Il(X, Y 1 + Y2) = Il(X, Y 1) + Il(X, Y 2)
and
Il(X, rY) = Il(rX, Y) = rll(X, Y)
(for all r E R and X, Xi, X 2 , Y, Y 1, Y2 E TPM), which is what is meant by
bilinearity. Since L,1 = L 1,, II(X, Y) = Il(Y, X) and II is symmetric.
(b) This is precisely Equation (4-9).
(c) Let T and T denote the (unit) tangent vectors to cz and P at
cz(O)= P(O).Since 4(0) and ~(O)are dependent, T = ± T. Hence, the normal
curvature of cz at t = 0 is Il(T, T) = Il(±T, ±1') = 11(1',T), which is the
normal curvature of pat t = 0. I
PROPOSITION 7.2. Let 1(s) be a unit speed curve in a surface M with normal
curvature "'· at P. Let j be the curve formed by the intersection of M
with the plane IT through P spanned by n and T'· (See Figure 4.19.)
Then I'IC.I is the curvature ic of the plane curve j.
Proof· Part (c) of Proposition 7.1 shows that T and j have the same normal
curvatures. However, j is a plane curve with normal ±n at P. Its plane cur-
vature k satisfies Ik I = ic. On the other hand, k is ±(normal curvature of
j) = ±'IC•. Thus !'IC.I=lkl = ic. I
We now discuss directional derivatives in preparation for the Weingarten
map.
A subset <Rof a surf ace Mis open if for each P E <Rthere is an £-neigh-
borhood of P in M contained in <R.(The image of a proper coordinate patch
124 Local Surface Theory Chap . 4
FIGURE 4.19
Since X' = (da//dt)(O) (Equation (1-8)), the above expression when evaluated
at t = 0 completes the proof. I
(7-3)
Thus
(7-4)
(7-5) I
A classical geometer would say that IJk is obtained from L,k by raising
an index. L (or I}k) is a "tensor oftype(l, })"because it has one upper and one
lower index and behaves in a certain fashion under change of coordinates
(see Problem 7.6). Note that (L'k) is the matrix representing L with respect
to the basis {x1, X2},
(7-6)
n, = t = -L(x 1) = -L Lk 1xk. I
For a surface M, the basis {x1, x 2 , n} ofR 3 plays a role analogous to the
Frenet-Serret frame {T, N, B} of a curve. Gauss's formulas (7-2) and the
Weingarten equations (7-6) give the analogues of the Frenet-Serret equations:
(7-2) Kt, = L,,n + L r,/xk
(7-6) n, = -:E u,xk
EXAMPLE 7.8. Let M = R 2 • We show that L is the zero transformation (at
each point) in two ways. First by the definition of L: n (0, 0, 1) is =
independent of P so that L(X) = 0 for all X E TpM. The second way is
to compute the L,k for M: x(u 1, u 2 ) = (u 1 , u2, 0) and
L,k = (x,k> n) = (0, n) =0
for all i and k. Hence raising an index by (7-5) gives L'k = 0 so that
L=O.
LEMMA
7.10. If PE Mand x, YE TpM, then
ll(X, Y) = (L(X), Y) = (X, L(Y)).
PROBLEMS
7.1. Show that for M = S 2 , Lis a plus or minus the identity by computing
the L,k in a coordinate patch and raising an index.
7.2. Show that for M = S 1 x (0, 1) (Example 2.3) L can be represented by
the matrix (~ ~) ·
We now have two ways to measure how a surface is curving. The first is
through the normal curvature of curves. This is aesthetically unsatisfactory
because it forces us to break up a surface into infinitely many curves. The
second measurement involves the change of the normal, which is given by L.
Since L is a linear transformation, there are two associated numerical
invariants: the determinant of (L',) (the Gaussian curvature) and one-half
the trace of (L'1) (the mean curvature).This section is devoted to understand-
ing the relationship between these different kinds of curvatures.
128 Local Surface Theory Chap.4
Proof: By the preceding discussion we know that the maximum and mini-
mum values of Kn are taken in the direction of eigenvectors of L. Note that if
X(i) is a unit eigenvector of L with eigenvalue ,c 1, then the value of Kn in the
direction of Xcn is
Il(X(I),Xw) = (L(Xcl)),Xw) = ,ci(Xcn,X(i)) = ,c,.
*
Thus the maximum value of Kn is 1C1 and the minimum is ,c2 • lf,c 1 K2 , then
1C1(Xco,Xm) = (L(Xm), Xc2,) = <Xw,L(Xc2,)>= ,c2(Xm, Xm) implies that
(X 0 ,, XC2l)= 0. If ,c 1 = K 2, Lemma 8.1 implies that a unit vector orthogonal
to Xco is also an eigenvector. Hence it may be chosen as Xc2,. In either case
(X 0 ,, XC2l)= 0. I
In Problem 8.5 you will show that the meridians and circles of latitude
of a surface of revolution are lines of curvature.
where O is the angle- between Y and the principal direction Xco corre-
sponding to ,c 1 •
L(Xw) = ,c,Xw.
Thus in terms of the orthonormal basis Xm, Xm, L is represented by
(~I ~J·
Y = cos OXw + sin OXm.
Il(Y, Y) = (L(Y), Y)
= (,c:1 cos OXrn + K 2 sin OXm, cos OXm + sin OXm)
= K 1 cos 2 0 + K 2 sin 2 0. I
Note that this theorem can be used to compute normal curvatures.
130 Local Surface Theory Chap. 4
FIGURE 4.20
The terminology "mean curvature" reflects the fact that His the average
normal curvature (see Problems 8.3 and 8.11). Surfaces for which H= 0 are
called minimal surfaces. A minimal surf ace has the local property that if a
"small" region of the surf ace is deformed slightly without changing the
boundary curve, the area of the region is increased. That is, the given region
has minimal area among all nearby regions . (The concept of area is developed
below.) Such a surface may be made experimentally by dipping a simple
closed curve made out of wire into some liquid soap. The resulting soap film
bounded by the wire frame is a minimal surface. See do Carmo (1976) for a
more extensive study of the differential geometry of minimal surfaces. See
Almgren (1966) for a detailed study of soap films and their geometric prop-
erties.
We shall now give a geometric interpretation of the Gaussian curvature.
This will require the concept of integration on a surf ace.
(8-1)
sion below for a justification of this definition. In this chapter, the concept
of area is used only in Proposition 8.6, which can be omitted.
A(11(CR))
= ff[D 1, Di, D]du 1 du,.,
Then
C(P) = lim A(11(CR))
= [D1, n,.,D].
CR-PA(CR) [x1, x,., DJ
By Problem 8.9 Di x Di = K.,./g n. Thus [D1 , Di, D] = K,,./g and C(P) = K.
I
This theorem gives geometric significance to the sign of K: K negative
means 11reverses orientation at P.
Note that neither the matrix L 11nor the mean curvature is intrinsic. I~ is
a remarkable fact that the Gaussian curvature is intrinsic, as we shall see in
Theorem 9.2.
We have given some geometric meaning to the Weingarten map Lin
terms of its trace 2H and determinant K. We shall now give a further geome-
tric interpretation to the second fundamental form. We know that Il(X, Y)
is a symmetric bilinear form on TpM for each P e M. If we think of II as a
generalization of the length of a vector, then we can ask which vectors have
"generalized length" + 1 and -1 with respect to II. This information (which
is classically called the Dupin indicatrix) provides information about the
geometry of M near P.
FIGURE 4.23
signed distance E from it. Since we wish to know what M n IL is for small
E, we shall examine
system.
134 Local Surface Theory Chap.4
The terminology asymptotic direction is due to the fact that the asymp-
totic directions at a hyperbolic point are the asymptotes of the Dupin in-
dicatrix, which is an hyperbola. See Example 8.9 below. Various properties
of asymptotic and conjugate directions are developed in Problems 8.22
through 8.35.
EXAMPLE 8.9. Let x be the Monge patch x(u, v) = (u, v, u2 - 2v2). Then
x 1 = (1, 0, 2u), x 2 = (0, I, -4v), n = (-2u, 4v, 1)/,v'l + 4u2 + 16v2 ,
X1 1 = (0, 0, 2), X12 = (0, 0, 0) = X21, X22 = (0, 0, -4),
L - 2
i1 - ,JI+ 4u2 + 16v2'
L12 = L21 = 0,
and
-4
L22 = ,v'l + 4u2 + 16v2
At x(O,O) the coordinate axes x 1 and x 2 are orthogonal. The Dupin indicatrix
there is given by
Principal.Gaussian, Mean, and Normal Curvatures 136
FIGURE 4.24
DIGRESSION
We indicate here in a very brief fashion, the origin of the area formula
in a coordinate patch. For a more rigorous foundation seeFulks [1969].
Consider a region ct contained in the image of a coordinate patch
x: 'U.- R 3 bounded by four parameiric curves: u1 = a, u1 =a+ 4u 1,
u2.= b, u2 = b + &2.. In the tangent plane at x(a, b) there is a parallelogram
<Bspanned by 4ul x 1 and 4u2.x2,.If 4u 1 and 4u 2 are quite small, the area
of <Band ct should be almost the same. See Figure 4.25.
Theareaof<Bis 1&1 x 1 x 4u2.x2.I= 4u 1 4u 2 lx 1 x x2.I= 4u14u2 ../ g.
The area of a large region CRin x('U.)should be the sum of lots of small areas of
regions like ct and thus should almost equal the sum of terms 4u 1 4u2.../ g •
In the limit this says
area of CR= ff ,./g du 1 du2.
.,.-•(CR)
FIGURE 4.25
138 Local Surface Theory Chap.4
If <Ris also contained in the 'U coordinate patch we must have area of
<R= J.fr•clll> 2,
,.fg' dv1 dv where i = det (i.,). Since (g 11) = (J- 1)'(i.,)r1,
g= det (g,1) = det (J- 1) det (i.,) det (J- 1) = i(det (J- 1))2 •
Thus ,lg'= ,./g'ldet (J- 1)1.Thus
EXAMPLE 8.10. For a Monge patch x(r, s) = (r, s, f(r, s)) we have
= (1 + /,'-)(1 + !.'")- (/,/.)'- = 1 + 1,2 + !.'-.
g
The area is given by ff ,,/1 + /,'-+ !.'"dr ds. This should be a familiar
formula from Calculus III.
EXAMPLE 8.11. For the upper hemisphere (Example 1.7 of Chapter 4) we have
f(r, a) = ,,/1 - r 2 - s 2• I, = -r/,,/1 - r 2 - s 2, f. = -s/,,/1 - r 2 - s 2,
and ,,/1 + f,2 + /. 2 = ,,/1/(1 - r 2 - s 2). Hence the area of a hemis-
phere must be
= fI
-I
(
arc sin ,,/l '_ 82) 1,/T=',I
ds
-~T=',1
PROBLEMS
General
8.1. Find the Gaussian and mean curvatures of R 2 , S 2 , T 2 (Problems 1.1
and 7.3), and S 1 x (0, I) (Problem 7.2).
8.2. Prove H 2 > K. When does equality hold?
Sec.4-8 Principal. Gaussian. Mean. and Normal Curvatures 137
iJz-v'fu+ K r::- - 0
(c7u')2 "1 Ku - ·
8.8. Determine which points of the Monge patch x(u, v) = (u, v, u 3 + v 3)
have K > 0 and which have K < 0.
*8.9. Prove n 1 x n 2 = K,/g n.
8.10. What are the principal curvatures for a surface of revolution?
8.11. Prove H = (1/2n) J:"Kn d8, where 8 is as in Euler's Theorem (8.4).
This shows that the mean curvature is the average of the normal cur-
vature over all directions.
t8,12. Suppose two surfaces M 1 and M 2 intersect in a curve e. Let K be the
curvature of e, l, the normal curvature of e in Mi, and 8 the angle
between the normals of M 1 and M 2 • Prove
K 2 sin 2 8 = 1 1 2 + 1 2 2 - 21 11 2 cos 8.
8.13. Let y(s) be a unit speed curve on a surface M. The geodetic torsion of
T is T6 = -(S, dn/ds) (where S = n x T).
(a) Prove T6 =0 if and only if 'Yis a line of curvature.
(b) Prove if T is a geodesic then T = T•.
(c) Does T = 1:6 imply 'Y is a geodesic? (Give proof or counter-
example.)
t8.14. Suppose that in a coordinate patch x: 'l1 - M the Weingarten map
satisfies L = f I where f: 'l1 - R and I is the identity linear transfor-
mation. Prove f is a constant in a neighborhood of each point.
8.16. Let M be the surface x(u 1 , u 2 ) = (u 2 cos u 1 , u 2 sin u 1 , pu 1). Show that
M is minimal. M is called a helicoid.
8.17. Prove that a surface is minimal if and only if
g11Lu - 2guLu + gzzLu O. =
t8,18. Prove that Problem 8.15, together with the plane, gives all surfaces of
revolution that are minimal.
=
A ruled surface for which P' 0 is called a cylinder. (See Problem 5.10
for an example.) A ruled surface for which P'(s) *
0 for alls is called non-
cylindrical.
+
8.40. Let x(s, t) = cz(s) tP(s) be a noncylindrical ruled surface. Prove
there exists a unique curve T(s) = cz(s) + r(s)P(s), which in general
=
is not unit speed, such that (T', P') 0. This is called the line of
striction.
8.41. Find the line of striction for the surfaces in Problem 8.36.
8.42. If7(s) is the line ofstriction of the ruled surface x(s, t) = cz(s)+ tP(s),
prove that y(s, u) = 7(s) + uP(s) is a reparametrization, where
u = t- r(s).
8.43. Show that any point on the line of striction where 7' = 0 is a singular
point.
8.44. Show that every singular point of a ruled surface lies on the line of
striction. (Hint: Parametrize as y(s, u) = 1(s) + uP(s).)
(9-1)
(9-2)
142 Local Surface Theory Chap.4
(9-3)
Since the left-hand side of this equation is R,'1k (by the definition), we have
Gauss's equation (9-2). I
Sec. 4-9 Riemannian Curvature and Gauss's Theorema Egregium 143
The important point here is that the Riemann curvature tensor is defined
intrinsically by Equation (9-1). Gauss's equation (9-2) gives an extrinsic
description in terms of the second fundamental form and the Weingarten
map.
We use the above to prove:
PROBLEMS
9.1. Show that if M = R.2 , then R,' 1k = 0 for all 1 ~ i, l,j, k ~ 2 both
intrinsically and extrinsically.
9.2. Prove that the Riemann curvature tensor has the following symmetry
properties :
(a) R,'1" = -Rl1c,, hence Rlu = O;
(b) R,'1k + R/1c,+ R/, 1 O;=
(c) if R,m11c= L Rf ,1cK1m
then R,lflJk= -Rm,Jk; and
(d) R1mJk = R11c1m•
9.3. Compute the Riemann curvature tensor for M = S 2
(a) extrinsically;
(b) intrinsically. (Hint: Use Problem 9.2 to cut down on the calcula-
tions.)
9.4. Compute the Rl,1cfor
(a) T 2 (Problem 1.1);
(b) S 1 x (0, I) (Example 2.3).
The following problems are on the whole more difficult than most of our
exercises. They are intended to introduce some of the modern terminology to
help bridge the gap between this text and. more advanced texts. They may be
omitted if Chapter 7 is not covered.
9.5. Let X and Y be vector fields defined on a surface M. In a coordinate
patch x : 'U.- M define
z, = L (x,oY'_ y,ox'),
J Ttl T,ii
where X = L X 1x 1 and Y = L Y1xr Similarly, in the patchy: '0- M
define
z· = ~ (x,~ _ t,~:':)·
Prove that Z1 = L z•ou1/ov•.This means that L Z'x, = L z•y,,. = z
is a vector field. Z is denoted [X, Y] and is called the Lie bracket of X
and Y. Prove that [x,, x 1] = O. Prove that [X, Y] = -[Y, X]. Show
that [u1x 2 , u 1u 2 x 1] = (u 1) 2 x 1 - u 1u 2 x 2 •
9.6. Recall that in Problem 5.14 we defined the vector field
In this section we shall discuss the question as to when two surfaces are
geometrically the same. There will be two concepts: isometry, which refers
to intrinsic geometry, and rigidity, which refers to both the intrinsic and
extrinsic geometry. In the latter case, two surfaces will be considered the same
if they differ only in their position in space, as for example the two spheres
{x E R 3 I I xi = 1}and {x E R 3 I Ix - (1, 0, 0) I= l}. It is the former concept
that shall be our primary interest.
coid y(v, if,)= (v cos if,,v sin if,,if,) for -1 < v < 1 and O < if, < 2n.
The function y- 1 of o x(u, 0) = (sinh (u), 0) is clearly differentiable and
gives a differentiable function/: M--+ N by /(x(u, 0)) = y(sinh (u), 0).
Note that this particular function is also one-to-one and onto. See
Figure 4.26. The meridians of M are sent to straight lines on N and
the circles of latitude are sent to circular helices.
FIGURE 4.26
Sec. 4-10 lsometries and the Fundamental Theorem of Surfaces 147
0
With respect to the cordinates (v, ;), the metric matrix of N is
(h,,) = (~ 1: v2)·
If T: [c, d] - M is given by T(t) = x(u(t), 9(t)), then d'f/dt has length
cosh (u(t)r/ Cl2 + 82 • Since (f o T)(t) = y(sinh (u(t)), 9(t)), d(f o 1)/dt
has length ,J cosh 2 (u(t))r.i2 + (I + sinh 2 (u(t)))8 2 = cosh (u(t)~
also. Hence T and/ o T must have the same length and/is an isometry.
In the above example we saw that the vectors d'f/dt and d(f o 1)/dt had
the same length for a particular isometry. This is true in general.
Proof· For each t* E (c, d), the curve T: [c, t*] - M has the same length
as IO.,: [c, t*] - N. Hence r ld1/dtl dt = s:·
ld(f O1)/dtl dt. If we dif-
ferentiate with respect to t* and evaluate at t* = t we obtain
PROPOSITION 10.5. Two surfaces Mand N are locally isometric if and only if
for each P E M there is an open set 'U. c: R 2 and coordinate patches
x: 'U.--+ M, y: 'U.--+ N with PE x('U.)such that the metric coefficients
of x and y are the same. Hence locally isometric surfaces have the same
local intrinsic geometry at corresponding points.
Proof· First assume that /: 'U.'--+ 'l)' is a local isometry with P E 'U.'.
Let x: 'U.--+ M be a coordinate patch about P with x('U.) c: 'U.'. Let
y = f o x : 'U.--+ N, which is clearly a coordinate patch about /(P).
(K,1) will denote the metric tensor of x and (h,1) will denote the metric
tensor of y. We shall first show that KtJ(a,b) = h,i(a, b) for all (a, b) E 'U.
when i = j. Let y(t) = x(a + t, b) (i.e., a u 1-curve). By Proposition 10.3,
IT(t)I = 1(/ o y)'(t)I for all t. Since y(O)= x 1(a, b) and (Jo y)'(O) = y 1(a,b),
Ix 1(a, b)I = IY1(a, b)I and Ku(o, b) = hu(a, b). Similarly Ku(a, b) = h22 (a, b)
by using a u2 -curve.
Now we show that Ku(a, b) = h 12 (a, b). Let cz(t) = x(a +
t, b t). +
+ +
ct(O)= x 1(a, b) x 2 (a, b) and (/ o cz)'(O) = y 1(a, b) y 2 (a, b). Proposi-
tion 10.3 implies Ict(O)I = I(/ o cz)"(0) I so that
(x, + X2, X1 + X2) = (y, + Y2, Y1 + Y2)
or
or
Ku + 2Ku + Ku = hu + 2h 12 + hu-
By the previous paragraph Ku(a, b) = hu(a, b) and Ku(a, b) = h22 (a, b) so
that K12(a, b) = h 12 (a, b) also. Hence (K,1) = (h,1).
On the other hand, if there exists an open set 'U.and coordinate patches
x: 'U.--+ Mand y: 'U.--+ N with the same metric coefficients, let 'U.' = x('U.),
'l)' = y('U.) and define /: 'U.'--+ 'l)' by /(x(u 1, u 2)) = y(u 1 , u 2). Then
y- 1 of o x(u 1 , u 2 ) = (u 1, u2 ) is clearly one-to-one, onto, and differentiable.
If T: [c, d]--+ 'U.', y(t) = x('Jl1(t}, 'Jl2 (t)) and (Jo y)(t) = Y('Jl 1 (t}, 'Jl
2 (t)}, then
eOS:z
= U
1 J
+ s~nh2
= (cos:z u
cos~z J,
which is the metric matrix for M in the (u, fJ)coordinates.
By using Proposition 10.5 we shall show in the next section that any two
surfaces of revolution having the same positive constant curvature are locally
isometric. In fact, in Section 6-2, after we have introduced the concept of a
geodesic coordinate patch, we shall prove the more powerful theorem stated
below.
THEOREM 10.7. Let Mand Nbe two surfaces with the same constant curva-
ture K = c. Then for each P e M, X E TpM, Q E N, Y E T0 N with
X and Y unit vectors, there is a local isometry f such that f (P) = Q
and f o 11 = y, where II is the unique geodesic through P in the direction
X and y is the unique geodesic through Q in the direction Y.
Note that the above theorem must hold in particular for M = N and
P = Q. Thus for each P on a surface of constant curvature there is a local
isometry that acts like a rotation about P. Also, if M = N there must be a
local isometry that sends any given point P to any other point Q. This is a
situation that is clear on S 2 and in the plane, where each local isometry is
actually global, i.e., defined on all of S 2 or R 2 • (The isometrics of sz consist
of compositions of rotations about various axes and reflections. The isome-
trics of R 2 are compositions of translations, rotations, and reflections. See
Problem 10.7.)
Gauss's TheoremaEgregiummay be stated in the language of isometrics
(and in fact originally was, using the word "developed" which means mapped
by an isometry):
THEOREM 10.8. If two surfaces are locally isometric, their Gaussian curva-
tures at corresponding points are equal.
160 Local Surface Theory Chap. 4
The analogue of Theorem 10.7 for mean curvature is false (see Problem
10.6). Further, the condition of constant curvature cannot be dropped from
Theorem 10.7. Problem IO.IOgives an example of two surfaces and a func-
tion from one to the other which is not a local isometry yet corresponding
points have the same nonconstant Gaussian curvature.
We now turn to the stronger notion of equivalence of surfaces called
rigidity.
A= (cos; -sin;)·
sin; cos;
lfv = (' CC:s0) E R 2 , then
r sm (J
A,= (cos; -sin;)(' cos (J)
sin; cos; r sin (J
= ('cos; cos (J - r sin·; sin (J)
+
r sin ; cos (J r cos ; sin (J
r cos ((J + ;))
(
= r sin ((J + ;) .
Hence the special orthogonal matrix A rotates ·R2 through an angle of;
radians.
The two surfaces are isometric but not rigidly equivalent. It can be shown that
rigidly equivalent surfaces have the same first and second fundamental forms
at corresponding points so that they must have the same mean curvatures as
well as the same Gaussian curvature. In Problem 10.6 you will give another
example of isometric surfaces which are not rigidly equivalent by exploiting
this idea.
Recall that the Fundamental Theorem of Curves (Theorem 5.2 of Chap-
ter 2) said that the curvature and torsion determine a space curve up to posi-
tion, that is, up to a rigid motion. Further, any differentiable function ic > 0
and continuous function f determine a curve with curvature ic and torsion
f. We now state the analogous theorem for surfaces and give a brief discus-
sion of its proof.
It is clear that conditions (a) and (b) are necessary (this is Proposition
9.1). What is surprising is that these conditions are sufficient! A detailed
proof may be found in the Appendix to Chapter 4 of Do Carmo (1976].
We discussed the analogy between the Frenet-Serret frame {T, N, B} and
the "frame" {:x1 , x 2 , n}just before Proposition 1.13. Because of this, the ideas
of the proof of Theorem 10.9 are very similar to those of the Fundamental
Theorem of Curves, but the technical details are more formidable. The idea is
to set up a system of differential equations for the derivatives of Xi, X2, and n
in terms of g11 and L" and then solve. To actually carry this out for surfaces
requires an existence and uniqueness theorem from partial differential
equations (instead of ordinary differential equations). In general, one cannot
always solve a system of partial differential equations. In the case at hand,
the equations can be solved if and only if condition (b) of the theorem holds l
This once again points out how the theory of differential equations lies at the
heart of geometry. _
The first proof of Theorem 10.9 was given by 0. Bonnet in 1867.
162 Local Surface Theory Chap. 4
PROBLEMS
a11)2+ (af2)2
(T,l Trl
= 1
We also know (Problem 4.2) that the second fundamental form has matrix
r' z" - z'r" 0)
(L,1) = ( .
O rz'
From these equations you can derive (Problem 1l.l) the formula for the
Gaussian curvature K of M:
r"
(11-1) K=--·
r
We shall integrate Equation (ll-1) to find all surfaces of revolution of
constant curvature, handling first the case of positive curvature, then zero,
and finally negative curvature.
FIGURE 4.27
FIGURE 4.28
)
FIGURE 4.29
The extrinsic geometry varies with the parameter A because different values
of A give geometrically distinct surf aces. The intrinsic geometry is independ-
ent of the parameter A (but not a).
Proof· We shall show that there is a change of coordinates so that the metric
matrix for any surface of revolution in the family ( 11-2) takes the form
I 0 ).
a 2 cos2 (as)
The result will then follow from Proposition 10.5.
With respect to the coordinates (s, (}), the metric matrix is
(~ AZ co~2 (as))·
Define new coordinates (s, tf,) by tf, = aAO. Then the metric matrix with
respect to (s, tf,)is
(: .~)(: I 0
a2 cos2 (as)
).
Thus locally, in terms of the coordinates (s, tf,), all members of this family
have the same metric matrix and so are locally isometric by Proposition
10.5. I
Thus all surfaces of revolution with constant curvature a 2 are locally
isometric to the sphere of radius 1/a. However, their global properties are
different. For example, a surface' of revolution given by Equation (II-2)
with A> 1/a cannot be extended past the boundary Isl= (1/a) sin- 1 (1/aA)
and remain a surface of revolution of curvature a 2 • A path around the "equa-
tor" cannot be stretched and deformed to a single point without leaving the
surface. For a sphere the equator can be so shrunk by passing it up over the
north pole. This is a topological difference between the surfaces. See Figure
4.30.
FIGURE 4.30
Case 2: K= 0.
PROPOSITION 11.3. If Mis a surface of revolution of a unit speed curve«
and M has constant curvature zero then M is either
(a) part of a circular cylinder;
(b) part of a plane; or
(c) part of a circular cone.
Furthermore, these surfaces are locally isometric. (See Figures 4.31,
4.32 and 4.33.)
Sec. 4-11 Surfaces of Constant Curvature 167
Case 3: K = -a 2, a > 0.
Equation (11-1) becomes r" - a 2 r = 0. This has the general solution
(see Problem 11.5)
(11-4) r(s) = c, cosh (as)+ c2 sinh (as).
This may be rewritten for some real numbers B, b or C, c as
Bcosh (as+ b) if C1 > C2
(11-5) r(s) = { . A e'" if c, = C2 = A
C sinh (as + c) if C1 < C2,
168 Local Surface Theory Chap.4
By choosing the point from which arc length is measured we may force b = 0
and c = 0 in the above . Thus we get three basic kinds of surfaces.
r(s) = Ae"'
(11-6) {
z(s) = ± f:
,vii - a 2 A 2eiot dt +D
r(s) = B cosh (as)
(11-7) {
z(s) = ± f:
,vf~l---a.,...
2 B= dt + D
2=-s-..in--.h,....
2,....,(,....at"""")
FIGURE 4.34
In Equation (11-7) we must have Isl< (I/a) sinh- 1 (1/aB). The result-
ing surface is pictured in Figure 4.35. The limiting tangent planes as
s--+ ±(1/a) sinh- 1 (1/aB) are perpendicular to the axis.
In Equation (11-8) we must have O < aC < I and then
The resulting surface is pictured in Figure 4.36. Again the limiting tangent
planes are perpendicular to the axis.
In analogy with the case of positive curvature, the surfaces of constant
curvature -a 2 < 0 are locally isometric to the pseudo-sphere of radius I/a .
This result will follow from a more general result to be proved in Section 6-2.
FIGURE 4.35
c
FIGURE 4.36
PROBLEMS
11.t. Let M be the surface of revolution generated by the unit speed curve
ci(s) = (r(s), z(s)) and show that K = -r"/r. (Hint: First show
K = z'(z''r' - r"z')/z and then use the relationship obtained by dif-
ferentiating <ci', ci') = l.)
11.2. In Case 1, if A > l/a, verify that as s--+ ±(I/a) sin- 1 (1/aA) the
tangent to ci becomes perpendicular to the z-axis. Use this to conclude
that the limiting tangent planes are perpendicular to the axis as
claimed.
11.3. In Case I, if A < 1/a, determine the angle between ci' and the z-axis
as s --+ ±n/2a.
11.4. Use the trigonometric substitution aAe"' = sin ¢, to compute
f~,,/1 - a 2 A 2e2.., dt .and then parametrize the tractrix as a function
of,f,.
180 Local Surface Theory Chap.4
11.5. Verify that if K = -a 2 then Equation (11-4) does give the general
solution to K = -r"/r. (You must be able to solve linear differential
equations with constant coefficients.)
11.6. Derive the basic forms of Equation (11-5) from Equation (11-4).
11.7. Verify that the limiting tangent planes for Case 3 behave as described.
For the surface given by Equation (11-8) determine the angle between
the meridian and the axis of revolution at the sharp point.
11.8. Prove that the surface :x:(s,t) = (cos s, 2 sins, t) has constant Gaussian
curvature but is not a surface of revolution. Hence the results of this
section do not give all surfaces of constant curvature.
11.9. Compute the area of each of the surfaces in Cases 1 and 3 in terms of
the arbitrary constants.
5
Global Theory
of Space Curves
FIGURE 5.1
LEMMA 1.1. If «i is a regular closed curve, then its tangent spherical image
does not lie in any open hemisphere.
Proof· Problem I. I. I
Note that the next lemma does not require that the curve 'Y be regular.
Sec. 5-1 Fenchel's Theorem 183
LEMMA1.3. Let "f(I) be a closed C 1 curve on the unit sphere S2. The image
e of "f is contained in an open hemisphere if either of the following two
conditions hold:
(a) the length I of "f is less than 2n; or
(b) I= 2n but the image of "f is not the union of two great semicircles.
Proof:
(a) Assume I< 2n. Let A and B be two points of e which divide "f into
two segments of equal length //2. We say A and B bisect "f. AB:::;;:
1/2 < n since
geodesics (great circles) give the shortest distance between points. Thus A
and B are not antipodal and there is a unique great circle through A and B
(formed by the intersection of the sphere with the plane determined by A,
B, and the center of the sphere). The shorter of the two segments of this circle
has length AB.Let M be the midpoint of this segment. We will show that e
lies in the open hemisphere with pole M. This means we must show that if
X is a point on e then XM< n/2.
Since the spherical distance from X to M is a continuous function and
since AM< n/2, if there is a point Yon e whose distance from Mis not less
than n/2, the Intermediate Value Theorem of calculus (see Fulks [1969D
Y, e e with -
implies that for each real number r with AM< r < 'YMthere is a point
Y,M = r. In the next paragraph we show that if C e e with
-
CM< n/2 then, in fact, CM,::;;:
Y,M = r if //4
//4. This says that there is no Y, e e with
< r < n/2. This contradiction of the Intermediate Value
Theorem implies there is no Y e e with YM ~ n/2.
Suppose C e e with CM< n/2. Let D e S2 be chosen so that C, M,
Dall lie on the same great circle, D =/:.C, and CM=MD.(See Figure 5.2.)
D is called the reflection of C through M. Note that CD= CM+ MDsince
CM< n/2 and that AC= BDsince the spherical triangles AMC and BM D
are congruent. Hence 2CM= CM+ MD= CD:::;;: CB+BD= CB+ AC
FIGURE 6.2 A
184 Global Theory of Space Curves Chap.6
< distance along "f from A to Cto B = //2. Thus CM< //4. Hence there is
no Yon the image of "f with YM~ n/2 and (a) is proved.
(b) Now assume that I= 2n. This time we must choose A and B more
carefully. We first show that there is no pair of antipodal points one. If P
and Q are on e and are antipodal, then P and Q divide "f into two segments
whose lengths are at least 'IT.since PQ= n. Since I = 2n, each of these seg-
ments must have length 'IT.and must give a curve of shortest length joining
P to Q, and so must be a geodesic by Theorem 5.9 of Chapter 4, i.e., a great
semicircle. But this means that e is a union of two great semicircles, which
contradicts the hypothesis. Thus there are no antipodal points on e.
Next we show that there is a pair of points A, B that bisect "f such that
AF+iii< 'IT.for all Fe e. Suppose P, Q bisect "f· If P, Q have the desired
property (i.e., if we can take A = P and B = Q) we are done. Otherwise there
is a point X on e with PX+ XQ= n. Since the distance along "f from P
to X to Q is also n, each of the two segments PX and XQ are great circle
segments (geodesics). They are not part of the same great circle since P and
Q are not antipodal. (See Figure 5.3.)
c FIGURE 6.3
Consider the great circle segment XP. We know that it does not continue
along e past X. However, it may continue along e past P. Let C be the point
of the e beyond which this great circle segment does not continue in e. Like-
wise the great circle segment XQ extends to a point D. a< 'IT.and XD < 'IT.,
Let Y be chosen so that X and Ybisect "f. If X and Y serve as A and B, we are
done. Otherwise there is a point R on e with XR+ RY= n. Then the seg-
ment of "f from X to R to Yis the union of two great circle segments as before.
Thus R = C or R = D. Without the loss of generality we may assume that
R = D. The great circle segment D to Yin e extends to a point E.
If E = C, then "f is a spherical triangle of perimeter 2n. Then the solid
angle at the center O of the sphere has 2n as the sum of its face angles (see
Figure 5.4). Hence it is flat and "f is a great circle, a contradiction. Thus
E=t:.C.
Sec. 5-1 Fenche/'s Theorem 186
FIGURE 5.4
THEOREM 1.4 (Fenchel, 1929). The total curvature of a closed space curve II
is at least 2n. It equals 2n if and only if II is a plane convex curve.
Proof · Let T be the tangent spherical image of 11. Its length is ft K ds. If this
is less than 2n, Lemma 1.3 shows that the image of T lies in an open hemi-
sphere, which contradicts Lemma I.I. Thus ft K ds :2::. 2n.
Now assume that ft K ds = 2n. Then T is the union of two great semi-
circles by Lemma 1.3. If y is not a single great circle, the image of T lies in a
closed hemisphere but not entirely in the boundary, which contradicts Corol-
lary 1.2. Thus T is a single great circle. By Problem 4.20 of Chapter 2, 11 is a
plane curve . ft K ds measures the length of the parametrized curve T and
counts those segments traversed more than once with appropriate (positive)
multiplicity . Since the image set of Tis a great circle whose length is 2n, no
segment of this circle can be traversed twice, or else ft K ds > 2n. If the plane
curvature k = dfJ/dsof II takes on both positive and negative values, then
some segment of the tangent spherical image Tis traversed at least twice, a
contradiction . Hence k does not change sign and , by Theorem 3.2 of Chapter
3, 11 is convex. I
166 Global Theory of Space Curves Chap. 5
Fenchel's Theorem is also true for piecewise smooth curves provided that
the total curvature is defined as f 1e ds + L fj.(}" where the !,.(} 1 are the (posi-
tive) jump angles of T at the junction points. The tangent spherical image 'Y
of such a curve consists of a collection of disconnected segments. These may
be joined by great circle segments of lengths !,.(} 1 to get 11,
whose length is the
total curvature. Lemma 1.1 still holds with virtually the same proof. Lemma
1.3 holds for piecewise smooth curves, in particular p. (A piecewise smooth
curve may be parametrized to be C 1 but need not be regular or unit speed.) It
is possible to have piecewise smooth convex curves, although we have not
made a formal definition. The proof of Theorem 1.4 can be modified to
handle this case. We have not done this because there is a tendency to get
lost in the technicalities.
The proof of Fenchel's Theorem that we have given is due to B. Segre
[1934]and to H. Rutishauser and H. Samelson [1948].A proof due to K. Voss
[1955] may be found in Laugwitz [1965].This proof involves surrounding the
curve with a tubular surface and relating f 1e ds to ffx~o K dA, where K is the
Gaussian curvature of the surface. Both Fary [1949] and Milnor [1950] gave
proofs of Fenchel's Theorem while studying the total curvature of knots.
In Problem 2.3 you will prove the easy part (f 1e ds > 2n) by using Crofton's
Formula.
Fenchel's Theorem is also true for curves in Rn, as has been proved by
Borsuk [1948]. In fact, it was Borsuk who first conjectured the Fary-Milnor
Theorem.
EXAMPLE 1.5. We verify Fenchel's Theorem in the special case where e is the
ellipse ct(t) = (2 cost, sin t, 0) for O < t < 2n. Ifs is arc length one,
i e 1Cds =
r 2"
Jo 1C(s(t)) it dt
d
= 4
rn11e(s(t))dit dt
Jo
2
ds = JezI= ,v"4sin 2 t
dt
+ cos2 t.
By the results of Section 2-6, 1e(s(t))= 2/,v"4 sin2 t + cos2 t 3 • Hence
i
e
1eds=4 1" O
12 2dt
4 sin2 t + cos2 t
=4 f"' +
O
2 2 sec2 t dt ·
1 4 tan 2 t
Let u = 2 tan t so that du = 2 sec2 t dt.
i
e
1Cds = 4 r~l +du
Jo U
2 = 4 tan-I U,~
o
= 4~ = 2,i,
PROBLEMS
(0, v'3)
FIGURE 5.5
c-,.O)w
.. O)
FIGURE 5.6
THEOREM 2.1 (Crofton's Formula). Let e be the image of a regular curve y(t)
on S2 of length /. The measure of the set of oriented great circles that
intersect e, counted with multiplicity, is 4/.
fz..f' Iow x I
OWdt d~.
Jo Jo Tt ~
just as for a regular surface (Equation (8-1) of Chapter 4). However, this is
not the area of the set S, but rather the area counted with multiplicity (w need
not be one-to-one either). Now, if YE S, precisely n(Y) points in [O,/)
x [0, 2n) are mapped to Y. Thus
JLes
n(Y)dA = iz.S:li X ~,dt~.
Sec.5-2 The Fary-Milnor Theorem 169
This last equality can also be derived from Jacobi's rule for change of variables
(Fulks [1969]). By Problem 2.2 we have
awx att,
lai .
awl= lsmt/JI.
Thus
ffsn(Y) dA = fo2,rf:Isin ef,Idt def,= If"lsinef,I def,
=
f"'2
41 Jo sin if,def,= 4/. I
COROLLARY
2.2. Crofton's Formula holds for piecewise smooth curves.
Proof· Use Theorem 2.1 on each segment of the curve and add. I
DEFINITION.D 2 = {(x, y) E R 2 Ix 2 + y 2 < I} is the closed unit disk. S 1 =
{(x, y) E R 2 Ix 2 + y 2 = I} is the unit circle.
THEOREM 2.3 (Fary-Milnor). If~ is a simple knotted regular curve, then the
total curvature of~ is at least 4n.
f
Proof: We shall prove the contrapositive: IC ds < 4n implies~ is unknotted.
f
Assume IC ds < 4n. Let "f be the tangent spherical image of ~. Then
!ffs• ny(W) dA =I= f IC ds < 4n. Then for some point YE S2, n(Y) < 4,
ff
otherwise ! n( W) dA > !4 • 4n = 4n. Let y be the unit vector representing
Y and set f(s) = (y, ~(s)). Then f'(s) = (y, T(s)) = (y, r(s)) and f'(s) = 0
if and only if Y.l intersects eat r(s). Thusf(s) has exactly n(Y) < 4 critical
points. There is an absolute maximum, an absolute minimum, and possibly
an inflection point (if n( Y) = 3). There are no relative extrema other than
the absolute extrema.
We may assume that coordinates for R 3 have been chosen so that
y = (0, 0, 1). If M and m are the maximum and minimum values off and
m < r < M, the plane z = r intersects ~ in exactly two points, or else the
Mean Value Theorem of calculus would imply some more relative extrema.
Join these two points with a straight line segment. The totality of these seg-
ments gives the image of a one-to-one continuous function g: D 2 ----+ R3
making~ unknotted. See Figure 5.7. I
FIGURE 5.7
PROBLEMS
*2.1. Prove that a' = b, b' = -a + le, c' = -lb, as claimed in the proof
of Theorem 2.1.
*2.2. Prove that l(ow/ot)x (ow/oif,)I
= lsinif,I as claimed in the proof of
Theorem 2.1.
2.3. Use Crofton's Formula to prove that f IC ds > 2n for all closed regular
curves.
2.4. Letat(s) be the curve on S 2 given by at(s) = (cos s, sins, 0), 0::::;;s::::;;2n.
Verify that Crofton's Formula is true for this curve.
THEOREM 3.1. The total torsion, f -rds, of a closed unit speed curve at(s) on
S 2 is zero.
Sec. 5-3 Total Torsion 171
FIGURE 5.8
since p(L) = p(O). However, this may not be true. In fact, we shall see below
that p = I whenever the geodesic curvature of Cl is zero, and the choice of
sign depends on the sign of the geodesic curvature.
+ TC.S where S = n x T. If we choose the inward
We have 11" = TC,1.1
pointing normal to S2 as n, then n = -Cl and "• = +I.
"• = <S,11") = <n x T, 11") = -<11 x T, T')
= -<11, T x ,cN) = -,c<ci, B).
On the other hand, <11,B) = -p'u so that "• = ,cp'u or 1' = ,cp'/,c6 if
1' =t=0. Since ,c2 = ,c.2 + ,c6 2 = I + ,c6 2 , we have "• = ±,J,c 2 - I and
"•'" = ±,Jl p 2 • Thus -r = ,cp'/,c6 = p'/(,c.f,c) = ±p'/,Jl p 2 and the
sign ± is that of"•· Note also that p = I if and only if ,c = I, which is true
if and only if,c 6 = 0. Thus -r = ±p'/,.;r=:,;i whenever"• =t= 0 and the sign
is that of"•·
To simplify the proof we shall assume th~re are a finite number of points
0 = So < S1 < ... < s. = L where"• is zero and such that on (s,-i, s,) "• is
either strictly positive, ·strictly negative, or identically zero. (This finiteness
172 Global Theory of Space Curves Chap. 5
need not be true. In order to handle the general situation one needs some
topology and a more sophisticated concept of integration. However, the
basic idea is the same.)
J: T ds = I: J.:\
T ds. At each s11 1C6 is zero, ,c = I and thus p(s1) = I.
If 1C6 > 0 on (s1_ 1, s,), then T = p'/,Jl - p 2 and J.::,-r ds is the improper
integral
J~,JI_p·
1,-1 p
2 ds = sin- 1 (p(s))
I~
,,...
1
= (~ - ~) = O.
Likewise if ,c• < 0 on (s1_ 1, s,), then J.:~.
T ds = 0. If ,c• 0 on (s,_1, s,)
then ,c = 1 on (s,_1, s,). Problem 5.3 of Chapter 2 implies that this segment of
=
II is part of a circle and hence is a plane curve. Thus T =
0 on [s1_ 1, s,] and
J.::,T ds = 0. Therefore J;
T ds = 0. I
PROBLEM
J
3.1. Prove that (-r/,c) ds = 0 for any closed unit speed sphere curve. (This
result and its converse is due to B. Segre [1947a].)
6
Global Theory
of Surfaces
In this section we will be concerned with some simple results relating the
curvature of the surface to its "topology." The first theorem (Theorem 1.2)
shows how a topological assumption (compactness) yields a geometric con-
clusion (that the curvature must be positive at some point). The second
theorem (Theorem 1.3) shows how a geometric assumption (all points are
umbilics) can yield an extremely strong conclusion (Mis a sphere).
DEFINmoN. If P E R3, then !Pl denotes the distance from P to the origin
O of R 3 • (This agrees with the vector notation: if pis the vector from O
to P, IPI = IPI-)
Toe ball B = {P E R 3 I IPI < l} is bounded but not closed. Toe (x, y)
plane in R 3 is closed but not bounded. Observe that if Mis bounded, then (1)
there is a minimum r such that Mc: .B,,and (2) if {Pn}is a sequence in M,
then {Pn}must contain a subsequence which converges in R 3 •
Proof: Let r be the minimum number such that Mc B,. By Lemma 1.1 we
Sec. 6-1 Simple Curvature Results 175
IlnS,
FIGURE 6.1
Proof· We first prove that the curvature is constant in any coordinate patch.
R3 be a coordinate patch of M. Then since every direction is
Let x: CU.----+
principal at an umbilic, (L',) = (K'
O
O)· Weingarten's equations ((7-6) of
K1
Chapter 4) are thus n, = -K 1x 1• Hence n;1 = -(iJKifiJu')x, - K 1X11 and
0 = 0 12 - n21 = (iJK1/iJu1)x 2 - (iJKi/iJu2)x 1 • Since x 1 andx 2 are independent,
iJKi/iJu' = 0 and K 1 is constant. Hence K = K 1K 1 is constant.
In overlapping patches K must have the same (constant) value. Thus K
is constant on M. By Theorem 1.2, K > 0 and K 1 =fa0. In a patch x we have
n = f n 1 du1 = -K, J x 1 du 1 = -K 1(x - c). Take the length of each side
of this equation to obtain I = K(x - c, x - c) so that the patch is con-
178 Global Theory of Surfaces Chap. 6
PROBLEMS
Proof: We may assume· that Clis defined on (c, d) with c <a< b < d.
Choose e,f e R so that c < e < a <b <! < d. For each t, let X(t) = -S,
Sec. 6-2 GeodesicCoordinatePatches 177
FIGURE 6.2
5;
8 2 = f,(x1, X2) = (Xu, X2) + (X1, X21)
or
(2-1)
We note that the first fundamental form in the coordinate patch has as
. . (1 h0)
its matrDC O 2 , where O < h = Ix 2 I.
THEOREM 2.2. Any two surfaces of the same constant Gaussian curvature
K =c are locally isometric.
Proof: Suppose Mand N both satisfy K = c. Let P E M, X E T pM, Q E N,
and Y E TaM, where X and Y are unit vectors. Let er.:(-71, 71)-+ Mand
'Y: (-71, 11)-+ N be the unique geodesics such that cr.(O)= P, a.'(O) = X,
y(O) = Q, and y'(O) = Y. Construct geodesic coordinate patches
x: (-f, f) x (-11, 71)-+ Mandy: (-f, f) X (-71, 71)-+ N along a. and 'Y
respectively, denoting the parameter in (-f, f) by t and that in (-71, 11)bys.
The metric matrices for x and y are
It should be noted that the above proof gives more than is required. In
fact, it shows that for surfaces of the same constant curvature if there are
given any two points P and Q in M and N and geodesics tz and T through
P and Q, then there is a local isometry f of a neighborhood 'll' of P with a
neighborhood 'U' of Q such that f (P) = Q and T = f o ,z, In particular, if
M = N there is a local isometry mapping P to Q (a generalized "translation")
and if P = Q there is a local isometry sending a given geodesic through P to
a second given geodesic through P (a generalized "rotation").
PROBLEMS
(1 - x~ - y2)2
(g,,) = (
0
Show that
r 22 2-r1-r1-
- 12 - 21 - -
r2-
11 - 1 -x 2y
2
-y 2
180 Global Theory of Surfaces Chap.6
and
r 11 1- - r 12 2- - r 21 2_ - r 22 1- - 2x
- 1 -x 2
-y 2
Compute K.
Comment: These last two exercises are a bit misleading because there is no
function x giving the desired properties. They are examples of abstract sur-
faces. Both are models of hyperbolic geometry, just as the sphere is a model
of elliptic geometry. We shall return to them below. Seealso Chapter 7.
FIGURE 6.3
Sec. 6-3 Orientability and Angular Variation 181
EXAMPLE 3.3. The Mobius band is not orientable. See Figure 6.4 and Prob-
lem 2.5 of Chapter 4.
FIGURE 6.4
The following is a very deep topological result and is beyond the scope
of this book. A recent proof may be found in Samelson [1969]:
EXAMPLE 3.7. Let M be the torus T 2 and let CR~ all the points of T 2 except
those on the image ofy, as in Figure 6.5. CRis a region and the boundary
of CRis the image of T but y does not bound CRsince both S and -S
point into <R. ·
182 Global Theory of Surfaces Chap.6
I
I
'\.
\
ExAMPLE 3.8. Let M be S2 and let <Rbe the set pictured in Figure 6.6. <Ris
not a region because there is no curve in <Rjoining A to B.
DEFINITION. Let "( be a closed curve which bounds a region <R.Let a be any
closed curve of period L which is either y or lies in <R.Let a(O) = x 0 •
a is null-homotopic in <Rif for each s E [O, 1) there is a closed curve a,
in M such that
(a) a,(O) = x 0 ;
(b) a 0 (t) = a(t) and a 1(t) = x 0 (i.e., a 1 is the constant curve);
(c) a,(t) E <Rfor all O < s < 1 and t E (0, L); and
(d) the function r: [O,L] x [O, 1) -- M given by r(t, s) = a,(t) is con-
tinuous.
Sec. 6-3 Orientabilityand Angular Variation 183
The a, represent the shrinking and the fourth condition is a precise state-
ment that the shrinking is continuous. Note that the third condition says
that each of the curves a, must lie in <Rifs > 0 (except possibly for the end
point :x:
0 ). The notion of homotopy is discussed more fully in Singer and
Thorpe [1967).
EXAMPLE 3.9. Let M = R2 and y.(t) = (cos t, sin t), 0 ~ t:::;;;2n. Then <R=
{(x,y)lx 2 + y 2 < l}. That Tis null-homotopic is clear from Figure 6.7.
More formally, if a,(t) = (I - s)y(t) + (s, 0), then a, satisfies the defini-
tion above.
Xo = (\, 0)
FIGURE 6.7
ExAMPLE 3.10. Let y(t) be as above with <R= {(x, y) IO< x 2 + y 2 < l} and
M = R 2 - {(O,O)}.Then y(t) is not null-homotopic. This is intuitively
clear because y(t) goes around the hole (i.e., the origin) and so cannot
be shrunk through it. Notice that an attempt to mimic the procedure of
Example 3.9 fails because a 112 (n) = (0, 0) which is not in <Rand so vio-
lates condition (c).
Because the proof of the next lemma is very technical we shall only
sketch it here.
Since V(O) = V(L) and W(O) = W(L), 68 = 2nr for some integer r.
To say that T is null-homotopic means we have a family of curves a,(t)
for O < s < I with a 0 = T, a 1 _. = a very small circle, a,(t) continuous in s
and t, and a,(t) piece:wise differentiable in t. Then 68, = f...(dfJ/dt)dt is
184 Global Theory of Surfaces Chap.6
as in Example 6.8 of Chapter 4. Recall that Z(O) is parallel along "I with
Z(O) = x,. Let V be a field of unit vectors on S 2 defined everywhere
except at the south pole S (see Problem 3.2). We will compute
~a,= .q:(V, Z) and show that ~a,= JfmK dA where CRis the cap of the
sphere bounded by "I and K is the Gaussian curvature. The fact that
~a, = JfmK dA is a special case of the Gauss-Bonnet Formula, which we
prove in Section 6-4.
Note that
(3-1) ~rx= y) + ~.q:(y,Z).
~.q:(V,
We first compute ~.q:(y,Z). Now y = xi{t/,0 , O) and g 22 = sin 2 </,so that
cos (.q:(y,Z)) = <!•Z) = -sin_((cos t/,0)(J)g22
ITIIZ I sm tf,0 ,Jg;";
~.q:(y,Z) = d (3
f dO
2
Jo "; - )
(cos t/,0 )0 dO = -2n cos tf,0 •
since K = 1 on S 2 •
Sec. 6-4 The Gauss-Bonnet Formula 186
PROBLEMS
EXAMPLE 4.3. The entire torus, 1'2, is not simply connected-a circle going
around either "hole" cannot be shrunk to a point while staying in 1'2.
Neither of the curves cz and ISin Figure 6.9 is null-homotopic .
Proof· We first point out that the geodesic coordinate patch referred to in
the hypothesis is not a geodesic coordinate patch along 'Y.It can't be because
'Yis closed.
Recall that for a geodesic coordinate patch, the metric tensor takes the
form (~ Z2 ), where h > 0 is a function of u 1 and u 2 • By Problem 2.3,
2_ 2 _ h1
r12 -r21 -7i'
r 22 I _
-
-hh 2 _ h2
1, r22 -7i,
Note cos (J = <T, P) so that -(sin 0)0' = <T', P) + <T, P') = <T',P).
Sec. 6-4 The Gauss-Bonnet Formula 187
2n = ff K dA + f
CR K 11 ds + :Er,, = 1 area(CR)+ O + 3n - :Ep,.
Thus (:EP,)- n = area(CR).The number (:EP,)- n is called the angular
excess of T. The fact that the angular excess is equal numerically to
area is a standard result of spherical geometry due to Legendre.
2n = ff K ds + {
CR K 11 ds + :Er,, = 1 area(CR)+ 2n cos 4>
0
or
2n(l - cos 4>0 ) = area(CR)
as we found in Example 3.12.
PROBLEMS
4.1. Use the Gauss-Bonnet Formula to prove that the sum of the exterior
angles of a Euclidean polygon is 2n.
188 Global Theory of Surfaces Chap.6
DEFINITION.
A polygon on a surface Mis a piecewise regular curve 1 whose
segments are geodesics and which bounds a simply connected region CR.
Proof· Let the polygonally bounded regions be {CR, F}, the polygons
i::::;;;:
11::::;;;:
i < F}, and {P,
themselves {T,11::::;;;: 1} the interior angles of y,. An application
of the Gauss-Bonnet Formula shows that
fLK dA = t Jf K dA = t (2n -
dlc ~ (n - p,1))
F F
= 2nF- I: I:n
1•1 J
+ f:1
~ I:P,1·
J
Now
I: n = n (number of vertices of 1,) = n (number of edges of 11).
J F F
Since each edge belongs to two polygons, ~ I: n = 2nE. I: I: P,1 is the sum
t=1 J I• 1 J
F
of all interior angles. At each vertex the sum is 2n. Hence~ I: P,1 = 2nV.
t:'1 J
Thus ffMK dA = 2nF- 2nE + 2nV = 2nx. I
The quantity JIM K dA is called the total curvatureof Mor the curvatura
integra. Since it is a well defined number, X cannot depend on how the
poly!lons are chosen, so long as each is small enough to be contained in a
simplj connected geodesic coordinate patch! This fact alone is surprising but
we may also look at the Gauss-Bonnet Theorem the other way. From its
definition x must be an integer, hence (1/2n) JIM K dA is an integer! There is
no a priori reason for this. (It is similar to the situation for plane curves,
where (1/2n) f k dsis an integer.) The Gauss-Bonnet Theorem shows us one
of the beautiful things about global differential geometry (and its present
popularity): the mixing of topological and geometric results in a very unusual
and striking manner. To us, this theorem is even more egregious than the
TheoremaEgregium.
To define X we do not really need geodesic polygons, just piecewise
regular curves. They were chosen to be geodesic so that the terms J,"•ds in
the Gauss-Bonnet Formula would not appear. They would cancel anyway
since each edge is traversed twice and in opposite directions because it bounds
part of two regions.
On the other hand, if M is broken into polygons that are not small
enough to be in simply connected geodesic coordinate patches, we could still
define i = F - E + V, where F, E, V are the number of faces, edges, and
vertices. If a particular polygon is not small enough, let P be a point inside it.
Join P to each of the vertices of that polygon by a regular curve segment.
(Since Mis compact, these curves can even be geodesics.) If the polygon
has r vertices, we have added r edges, 1 vertex, and r - 1 faces (where there
was t face there are now r). F = F + r - 1, E = E + r, V = V + 1.
190 Global Theory of Surfaces Chap.&
DEFINITION.
xis called the Euler characteristic of M.
EXAMPLE
5.2. x(s 2) = 2~ JL K dA = ;: = 2.
FIGURE 6.10
FIGURE 6.11
ff K dA + l "·ds + I; (1t -
(R IX,)= 2nx(CR),
where the IX1 are the interior angles ofy and x(CR)is the Euler character-
istic of CRfound by breaking CRinto polygons and counting those
edges and vertices lying on y in addition to those in CR.
PROBLEMS
S.3. Find an example of a surface with K < 0 that has a closed geodesic 1·
(1 cannot bound a simply connected region by Problem 5.2.)
S.4. Consider a "triangle" in the Poincare disk whose vertices are on the
boundary of the disk ("at infinity"). What do you expect the area to
be? (See Figure 6.14.) What would be the area of an n-gon if all the
vertices are at infinity? (Figure 6.15).
5.5. Prove that a compact surface in R 3 which has K";?:; 0 "looks like" a
sphere. (Hint: You may use Theorem 5.3.)
f.
•
it• dt = J..ds!!...(arc tan .!...)
,c dt
ds dt = J.
,ds
(arc tan .!...)
!!... ,c
ds = 0
Thus the area of CRis 2n and o breaks S 2 into two regions of equal area. I
The next result generalizes Theorem 3.2 of Chapter 3 relating convexity
to the sign of the curvature of a plane curve.
Proof· K > 0 implies O < JIM K dA = 2nx = 2n2(1 - g) and g < I. Hence
g = 0 and JIMK dA = 4n.
Let v: M ----+ S 2 be the Gauss normal map defined by the outward point-
ing normal. We show that vis onto. Let n E S2. Let IT, be the plane in R 3
given by <x, n)=r. Since Mis bounded, there isanr>Owith.-rs(p, n)sr
for all p E M. Let R be the smallest real number such that (p, n) s R
for all p E M. R may be negative. Then M n ITR=I=0. If P E Mn ITR,then
ITRis the tangent plane at P, v(P) = n, and v(M) = S2. Note ffmK dA is the
area of v(CR)counted with multiplicity.
Next we show that v is one-to-one. Suppose v(P) = v(Q) with P =I=Q.
Then there is a small open set 'll about Q such that v(M - 'll) = S 2 also
since v is continuous. Hence JIM-'ll K dA ~ 4n. JI'ILK dA > 0. Hence
JIMK dA = JIM-'IL K dA + JI'IL K dA > 4n, a contradiction. Hence vis one-
to-one.
Now suppose there is a point P on M such that there are points of M
on both sides of the tangent plane at P. Let Q, R be points of Mon opposite
sides of this plane and farthest from the plane. The normals at P, Q, R must
be parallel. Hence two are equal and v is not one-to-one, a contradiction.
Thus M is convex. I
PROBLEM
DEFINITION. The index of Vat Pis ip(V) = (1/2n) «S<X(U,V), where U is any
field of unit vectors in <R.
We know that ip(V) does not depend on U. It" is an integer which does
not really depend on T either-a continuous deformation of T cannot change
the integer.
ExAMPLE 7.1. The vector fields in Figure 6.16 have indices as indicated.
ip =I ip =I ip = -I
,-, -- '\
\/'f /'
----
'l~
~~
, t
{ (........__'t ~'--7L.
7~~
t,/ i '-.../
ip = 2 ip
-
'........
= I
/
ip = -2
FIGURE 6.16
196 Global Theory of Surfaces Chap.6
= _!_ I: l: 64:(W,
21ttriaqles ed1e1
V) = 0,
since each edge is traversed twice, in opposite directions. Thus /(V) = I(W).
I
THEOREM 7.3 (Poincare-Brouwer). If M is a compact surface and V is a
vector field on M with only a finite number of zeros, then /(V) = x(M),
the Euler characteristic of M.
FIGURE 6.17
Sec. 6-7 The Index of a Vector Field 197
This theorem implies that any vector field on S 2 must have a z.ero. This
fact is sometimes referred to by saying "you can't grow hair on a coconut,"
meaning somewhere there will be a swirl or a cowlick.
PROBLEMS
7.1. Let M be a compact surface. Prove that M has a vector field with no
zeros if and only if M "looks like" a torus.
7.2. Prove that on M = R 2 there are vector fields with infinitely many z.eros
Pn such that the sequence {Pn}does not have a convergent subsequence.
7.3. Prove that on M = R 2 there are vector fields with no z.eros.
7.4. Find an example to show that Proposition 7.2 is false if the hypothesis
"compact" is omitted.
7
Introduction
to Manifolds
The next example is inserted to show that "strange looking" spaces can
be higher dimensional surfaces. This example may be skipped on a first
reading.
EXAMPLE 1.2. Let pn be the set of all straight lines through the origin in
Rn+1 • pn is called real projective n-space. P 2 is called the projective plane.
If I E r, then I may be represented by any nonz.ero point in Rn+r (say
a= (a 1 , ••• , an+1)) through which I passes. Note that a and b E Rn+1
represent the same line if and only if there is a O =I=l E R such that
a= lb. Motivated by this fact, we define an equivalence relation on
Rn+i - {O} by a,.., b if there is a O =I= l E R such that a= lb. We write
[a] for the equivalence class of a E Rn+1 • Note thatr = (Rn+i - {O})/,..,.
The coordinates of any a E Rn+i such that I= [a] are called homogene-
ous coordinates for /. (They are only determined up to a real multiple, of
course.) Let / 1 , / 2 E pn and write /1 = [a,] for a, E Rn+i where i = 1, 2.
Define the distance from / 1 to / 2 to be
DEFINITION.If x E X and E > 0 then the (open) ball of radius E about xis
Bix) = {y E XI d(x, y) < E}. A subset S of Xis open in X if for each
x E S there is an E > 0 such that B,(x) c S. If S is open and x E S,
then S is a neighborhood of x.
FIGURE 7.1
For students who have seen the definition, the following proposition is
immediate from the definition of continuity in a metric space. For students
who have not, the following may be taken as the definition of continuity.
We now recall some facts about calculus. If/: R•-> Rm, then /(x) may
be written as (f1(x), ... , /m(x)) for some real-valued functions / 1 , ••• , /"'
of n variables. f is Ck if all partial derivatives of each f' exist and are
continuous up to order k . We will usually omit reference to the k by saying
that f is differentiable. As in the case m = n = 2, we may form the
Jacobian matrix J(f) at each point p e R•:
a11
rxr<P> ~(p)
a12 a12
rxr<P> rx-(p)
J(!Xp) =
af"'
-axr(p)
202 Introduction to Manifolds Chap. 7
THEOREM 1.7 (Inverse Function Theorem). Let Ube an open set in R•, p e U
and/: U - R•. If det J(f)(p) =/:.0, then there are neighborhoods N, of
p and N1c,,of ,f,(p) such that/IN,: N, - N1c,,is a diffeomorphism.
PROBLEMS
EXAMPLE 2.1. Let S" = {(x 1, ••• , xn+1) e R•+ 1 I~ (x') 2 = 1}be the n-
sphere and let p = (0, ... , 1). A proper coordinate chart about p of
dimension n is given by U= {(x1, ••• , xn+1) E s•1xn+ 1 > O} and
4':U - R• by ef,(x1, ••• , x-+ 1) = (x 1 , ••• , X-). Note that
U= 4,(U) =B 1(0),
which is certainly open. Clearly
4,-•cu•,... , un)= (u•,... ,un,,/1 - t.(u') 2)
(c) Ci is maximal with respect to conditions (a) and (b), i.e., Ci contains
all possible charts with these properties. (See Figure 7.2.)
1/1 0 ;- I
FIGURE 7.2
manifold (surface) to Rn (R 2). This change emphasizes the fact that the
manifold is the primary object of study, not Euclidean space.
ExAMPLE 2.2. R• itself is an n-manifold, for example, with the single coordi-
nate chart (Rn, identity). Similarly any open set in Rnis an n-manifold.
EXAMPLE 2.3. snis an n-manif old. This can be seen by using Example 2.1 and
imitating the proof that S2 is a surface. See also the proof of Theorem 2.6
below.
If we write M(n) for the set of all n x n matrices, then we have identified
M(n) and Rn'via the mapping if,.
J..t/)
Y't\
=(a
a,
1
' ••. '
a,_1' a1+ 1' ••.
a, a, '
a.) E
a,
R" fort ~i~n+ 1.
Since u 2 ::;,!:0 on cf,3( U2 n U3 ), which is the domain of cf,2 o cf,3- i, cf,2 o cf,3- 1
is c=.
Although P 2 is a 2-manifold, it is not a surface in R 3 (see Section
7-5).
The next result is really another example, but because it includes so many
familiar examples, we separate it out as a theorem. This theorem is the
rigorous basis for the assertion of Section 4-2 about level surfaces of a
function. Because most students have trouble with the constructions involved
in this theorem, we will carry along (inside bold-face brackets [ ]) the special
case which gives S 2 •
DEFINITION.If/: Rn+i-> R is c= (with k > l), then the gradient off is the
function grad /: Rn+1 -> R"+1 given by
(grad f)(p) _
- (af a1 (p)) •
azii(p), • • • • aun+I
ExAMPLE 2.7. Let SL(n) be the set of all matrices of determinant one. We
may view SL(n) as a subset of R111 by stringing out coordinates as in
Example 2.4. Showing that SL(n) is a manifold of dimension n 2 - I
amounts to investigating the function/ : R111 -+ R given by f (A) = det A.
Since 1- 1(1) = SL(n) we can use Theorem 2.6 once we know that
(grad /)(A)* 0 for all A e SL(n). This computation is done in Guil-
lemin and Pollack [1974).
FIGURE 7.3
208 Introduction to Manifolds Chap. 7
PROBLEMS
+
M 1 X M 2 is a C n-manifold for n = n 1 n 2 • (Hint: If (U,, ~,) is a
00
There are two things to note about this definition. First of all, it is not
circular because cf,(U) is an open set in Rn,where we know already what it
means to be differentiable. Also, the definition does not really depend upon
the choice of chart because if (V, v,) is another chart, then
f o v,-1 = (! o ef,-1)o (ef,o v,-1)
is also of class C'.
ff(M)
DEFINITION. = {!: M-> RI/ is of class c~}.
3.2. The function of Example 3.1 is an element of ff(S2).
EXAMPLE
(a) /(x) = I if x E V;
(b) /(x) = 0 if x ¢ W; and
/(x) < 1 for all x E M.
(c) 0::::;;;;
Proof: Let (U, 4,)be a chart about p with Uc: Wand ef,(p)= 0 E R•. With-
out loss of generality we may assume that B 2 (0) c: 4,(U).Leth be the func-
tion h: R ---+ R of Problem 3.6. Define g: R• ---+ R by g(y) = h(ly 12) and
define/: M ---+ R by
I (x) = { (g o t)(x)
otherwise.
Then this/satisfies the conditions of the lemma if V = 4,-1(B 112 (0)). I
LEMMA3.4. Let W be a neighborhood of p E Mand let F: W---+ R be dif-
ferentiable. Then there exists a differentiable function F: M---+ Rand an
open set V with p E V c: W such that F(x) = F(x) for all x E V.
This example shows that our new concept of tangent vector agrees with
that on surfaces. In Proposition 7.4 of Chapter 4 we showed that a tangent
vector X" to a surface may be viewed as a directional derivative by choosing
212 Introduction to Manifolds Chap. 7
some curve whose velocity vector is X, and then differentiating along the
curve. This is what Example 3.7 is doing.
We now define some important tangent vectors (8/8x'), to M atp. They
will play the same role for manifolds as the x, did in surface theory. In par-
ticular, they will serve as a basis of the tangent space of Mat p.
(3-1)
(_!_)
8x ,
1
(/)= 8(/ o
8u1
f( 1)~
'
o)
= ( 2u 1 ui )( I )
-
j'I _ (u1)2 _ (u2)2 ;:rt ,0
=,./2- I.
Similarly
(3-2) (fx;),
(x') = ~,' i, j ::;;;:n.
for all 1 ::;;;:
where the next to the last equality uses the chain rule and the last equality is
Equation (3-1).
DEFINITION. The tangent space to Mat p, TpM, is the set of all tangent vectors
to M atp.
F(u 1, ••• , un) = F(a 1, ••• , an)+ I; :~(a1, ... an)(u' - a')
+ I;h,i(u 1 , ••• , un)(u1 - a')(u' - a1)
F(u) - F(a) = it I
(F(t(u - a) + a)) dt
= i (I: 1
:~(t(u - a)+ a)(u' - a')) dt
= I; (u' .- a') i 1
°F.(t(u -
a 8 u•
a) + a) dt = I; g,(uXu' - a').
214 Introduction to Manifolds Chap. 7
= F(a) + I: aaF(a)(u' -
u,
a)+ I: h,,(u)(u' - a')(u' - al). I
= 0 + I: X,(x,) (--b),
(/)+ 0,
where the last term is zero by Lemma 3.6(a) because it is X, on the product
of the two functions (h,1 o 4,)(x' - a') and (xi - al) both of which vanish at
p = 4,- 1(a 1, ••• 'a•). Thus
(3-3) X, = I: X,(x') (b),
and <Bspans T,M. Hence <Bis a basis of T,M. I
ExAMPLE 3.12. Let M = R• and p E R•. Since (R•, id) is a chart for all of
Rn, we have {(o/ox'), 11::;;;:
i:::;;:n} is a basis for T,M for each p e R•. If
X, E T ,R•, then X, = I: a'(o/ox'), for some numbers a 1, a 2 , ••• , a•.
Sec. 7-3 Tengent Vectors end the Tengent Space 216
Hence we may associate with X, the 2n-tuple (p; .a', ... , a•). Under this
identification, the effect of (p; a 1, ••• , a•) on a function/is I: a'(of/ou'),,
which is exactly the Euclidean idea of directional derivative. We fre-
quently write X = (p; a 1, ••• , a•) (if XE T,R•) and T~· = R•.
PROBLEMS
3.1. Let/: S 2 -+ Rand p e S 2 as in Example 3.8. Let (V, 1/1)be the chart
defined by V = right hemisphere and 1/f(X,·Y,z) = (x, z). Show that
with respect to this chart (off ox'), = ~ and (of/ox 2 ), = I. Note
that this is a different result than was obtained by using the chart of
Example 3.8.
3.2. Let ct,: S"-+ p• be defined by cl,(a) = the line through the origin and
a. Show that ct, is c1rfor all k and that ct, is two-to-one. (If you have
had some algebraic topology, ct, is actually a (double) covering map.)
*3.3. If X,, Y, E T,M and r E R, prove that both X, + Y, and rX, are in
T,M.
*3.4. If (U, 4,)is a coordinate chart about p, prove that (o/ox'), as defined by
Equation (3-1) is a tangent vector at p for each i.
*3.5. If 11: (-f, f)-+ Mis a curve with 11(0)= p, show that X,• E T,M.
*3.6. The point of this problem is to show that there is a C function h: 00
h(x) :::;;;:
R -+ R such that O :::;;;: t and
I for all x E R, h(x) = I if Ix I :::;;;:
h(x) = 0 if lxl:::::I. The graph of h will look like that of Figure 7.4.
h is called a bump function.
(a) Let
if x> 0
if XS o.
Show that h 1(x) is c1rfor all k.
I
FIGURE 7.4 -1 4
218 Introduction to Manifolds Chap. 7
h3(X) =
r hi(t) dt
J::b,hi(t) dt ·
-1
In this section we introduce two concepts (vector fields and Lie brackets)
which we will need later. Let M be a fixed C n-manifold.
00
and
(fX), = f(p)X,.
The reader is warned: fX is a vector field while Xf is a function.
Note that Xfis a c- function so that Y,(Xf) makes sense.
DEFINmoN.If X, Y E x(M), then the Lie bracket of X and Y, [X, Y], is the
field of vectors defined by
(4-1) [X, Y],f= X,(Yf)- Y,(Xf) for/ E g:(M) andp EM.
Proof: It is immediate from (4-1) that [X, Y],(f + g) = [X, Y],f + [X, Y],g
and [X, Y],(rf) = r[X, Y],f for r E R and f, g E g:(M). To show that
[X, Y], E T,M we compute [X, Y],(fg). Note that since
Y ,(Jg) = f(p)Y ,g + g(p)Y,f,
we have Y(fg) = fYg + g Yf, where we are multiplying the two differentiable
functions in each term of the right-hand side together (i.e., f and Yg are
multiplied as functions). Now
[X, Y],(fg) = X,(Y(fg))- Y,(X(fg))
= X,(!Yg + gYf)- Y ,(!Xg + gXf)
= f(p)X,Yg + (Yg)(p)X,f + g(p)X,Yf + (Yf)(p)X,g
- f(p)Y,Xg - (Xg)(p)Y ,f - g(p)Y,Xf - (Xf)(p)Y ,g
= f (p)[X, Y],g + g(p)[X, Y],f.
Therefore [X, Y], E T ,M.
To show that [X, Y] E x(M) we note that Yfand Xfare in ff(M); then
so are X( Yf), Y(Xf), and their difference [X, Y]f. I
PROBLEMS
*4.1. Let X, E T,M for some point p E M. Show that there is a neighbor-
hood U of p and a vector field X defined on U such that X, = X ,.
(Hint: Use local coordinates.)
*4.2. Let X, E T ,M for some point p E M. Show that there is a vector field,
X, on M such that X, = X,. (Hint: Use Problem 4.1 and Lemma 3.5.)
In particular, there is a nonzero vector field on M.
4.3. Let (U, if,)be a chart with {(a/ax1),, ••• , (a/axn),}
as basis for T,M for
p EU.
LEMMA 5.1. (ct,.), is well defined; that is, if ct,: M - N and X, E T,M, then
(ct,,)*(X,) E T'llc,,N.
= ~ [<"'•>,(fx;},
((b.),(fx;), (y') J (btc,1
a ) , (y' "'>]
= E [( 1xi j
(ay1
a) 0
~(p)
(5-3) ((I).),
a), =
(1xi J~
n a(/)/
N(p)
(a)
oi1'
EXAMPLE 5.5. Let M = M 1 be the hypersurface induced by/: R•+ 1 - R.
(See Theorem 2.6.) Let (I): M - R•+ 1 be inclusion. Let p e M such that
a11au•+1 (p) *
0. In the natural coordinates for R•+ 1 and the coordi-
nates about p given by Theorem 2.6 we see that
The next proposition gives us even more faith in this abstract approach
because it reaffirms our intuition.
or
(5-5) (<'1>.),(-k,); (grad/).,)= :G,(p) + 3:,(p) a:!+
(p).1
Recall, however, that g = g(u 1, ••• , u•) was defined in such a way that
f (u 1, ... , u•, g(u 1, ••• , u•)) = 0. Differentiate this equation with respect to
u1 to obtain
§G+8;{.~=o.
so that the right-hand side of Equation (5-5) is zero. ('1>.),(i/ix), is therefore
in & for each l :::;;;i < n. I
PROBLEMS
What Lemma 6.3 means is that (VxY), depends only on the value of X
at the point p. The Y dependence is not so simple. It depends on the value of
Y along any curve which "fits" X as we see in Lemma 6.6.
DEFINITION.Z is a vector field along the curve ii: I-+ M if Z assigns to each
t E I an element z..
<,>E T,.,,1M such that t-+ z..
<,i(/) is a differentiable
real-valued function oft for each/ E ff(M).
DEFINITION.Let ii: I-+ M be a curve. The tangent vector field to ii, T,., is
given by (T ..) ..<,>= (ii*),(d/dt), where t is the natural coordinate for I.
(6-2) dii1 (
T ..(,) = ~ dt (t) 8x'
a) IX(t)
(see Equation (5-3)) just as in the Euclidean case. This is the reason one often
sees dii/dt used instead of T ... We have no concept of length at this point so
we cannot talk about T.. being a unit vector. Note T,. is a function of t, not
ii(t). This was called the velocity vector field in Chapter 2.
DEFINITION.Let ii: I-+ Mand YE I(M) be given. We shall now define the
covariatJt derivative of Y with respect to ti, Vr Y. Let t O be given and
let X be any vector field on M such that X,.<,,>= T,.<,,>·(Such an X
228 Introduction to Manifolds Chap. 7
Proof· We only show that Vx Y E I(M) and leave the rest as Problem 6.2.
Vx Y E I(M) if and only if (V x Y, N) = 0 (by Proposition 5.6), but this is
clear. I
PROBLEMS
6.1. Prove that flat R• (Example 6.1) is a manifold with linear connection.
*6.2. Prove Proposition 6.7.
6.3. Let H be the hyperbolic upper half plane (Example 6.2) and let
IZ(t)= (t, 1). If
(-b) (h) •
Y(t) = sin t ux· •<t>+ cos t ux- ,.,,,
prove that VT,.Y = 0.
6.4. Prove that Equation (6-3) yields Gauss's formulas when n = 2.
and also compute the geodesics of the classical geometries, R 2 , H, and S2. We
fix a manifold M and linear connection V.
What should we take for the definition of a vector field Y being parallel
along a curve«? For a surface it was that the derivative of Y was normal to
the surface. Equation (6-3) tells us that this happens precisely when VT"Y = 0.
EXAMPLE 7.1. For flat Euclidean space a vector field Y is parallel along« if
and only if Y..1,, = («(t); a 1, ••• , an) for some constants a1 E R. (See
Problem 7.1.)
A review of Section 4-6 will enable you to guess all of the results (and
proofs) of this section (except Proposition 7.6).
THEOREM 7.2 (T. Levi-Civita, 1917). Let «: [c, d]--+ M, p = «(c) and
YJI E TJIM. Then there is a unique vector field Y parallel along« such
= y I>'
that YGC(c)
Proof: The proof proceeds exactly like that of Theorem 6.7 of Chapter 4.
Assume that we are in a chart (U, if,)aboutp and that Y = l: Y'(t)(a/ax') ..1,,
is a vector field along«; where the Y' are differentiable. Y is parallel along«
if and only if
0 = VTY = ~ [ e:;)(a!,)
+ Y'VT a!,J
or
(7-1) o= l: [(dJ,)+ Y r,/] b 1~ 1
where «(t) = ef,-1(« 1(t), ... , «n(t)). Thus Y is parallel along« if and only if
the Y 1 solve the initial value problem
dYk + l: Y' d«' r k= o k = 1, ... , n
(7-2) { di dt JI
Yk(c) = fk.
An application of Picard's Theorem finishes the theorem in a neighborhood
of ix(c). Now repeat this process until we get to ix(d). I
EXAMPLE 7.3. Let H be the hyperbolic upper half plane of Example 6.2 and
let «(t) = (t, 1) with c = 0 (and d > 0) so that p = «(O) = (0, 1). Let
YJI= (a/ax 2 )JI so that in the notation of Equation (7-2), Y1 = 0 and
Y2 = 1. Equation (7-2) becomes
yi dix2 _l __ Y2dlx1 _I_= O
dY 1 _
{ dt dt «2 (t) dt «2(t)
dY + yi dix _l_ _ y2 dix2 _1_ = o
2 1
dt dt «2 (t) dt «2 (t)
Sec. 7-7 P11111/le/
Vector Field, and Geod111ic1
on II M11n,Yold 229
or
(7-3) dY' - Y2 = 0
dt
and dY"'
dt
+ Y1 = 0.
This coupled system (7-3) can be solved by obtaining
(d 2 Y 1'fdt+ Y 2 = 0 so that
2) Y 2 (t) = c 1 sin t c 2 cost. Since +
Y (0) = Y = 1 we see that c2 = 1. Going back to Equation (7-3) yields
2 2
or
Y(t) = sin t(a/ax 1),.,, 1 + cos t(a/1Jx 2),. 111
•
FIGURE 7.6 - - - - - - - - -
p• (-b)
ux-
= sin t (-b) 2
ux· c,,,t>
+ (cos t.,.)(h)
ux- c,,,o
·
It should be pointed out that Example 7.3 was picked with malice afore-
thought; that is, we picked it carefully so that we could actually solve the
initial value problem (7-2). In practice it is often quite difficult to actually
solve this initial value problem.
The next proposition shows either that parallel translation is a global
version of covariant differentiation or covariant differentiation is the infini-
tesimal version of parallel translation, depending on your viewpoint. We feel
that it gives a better intuitive feeling for covariant differentiation.
= (O)Y'(O)r,/(11(0))+ d::
t1":r' (0)
ExAMPLE7.8. Let H be the hyperbolic upper half plane (Example 6.2). With
the given Christoffel symbols, a geodesic iz(t) = (iz1(t), cz2 (t)) must
satisfy
d 2iz1 2 diz1 diz2
F - iz2 (t) cit cit = o
(7-7)
d2iz2
dt 2 + 1Z1(t) (d°'1)2
2 dt -
I (d°'2)2
2 (t) dt
1Z = o,
which results from Equation (7-6). Recall that
e' - e-, 2
tanh t = e' + e-' and sech t = e' + e-,
are the hyperbolic tangent and hyperbolic secant. Solutions of (7-7) are
of the following form:
(7-8) iz1(t) = a+ b tanh (rt) and iz2 (t) = b sech (rt)
or
(7-9) iz1(t) = c and iz2 (t) = de'',
where a, b, c, d,p, r E R.
Those geodesics which are in the form (7-9) are straight lines per-
pendicular to the x-axis. Those geodesics which are in the form (7-8)
are upper semicircles of radius Ib I with center at (a, 0) since
(iz1(t) - a) 2 + (1Z
2(t) - 0) 2 = b 2•
See Figure 7.6.
FIGURE 7.6
on the line there are infinitely many lines through the point which are parallel
to the given line.
PROBLEMS
EXAMPLE 8.3. Let M = H be the hyperbolic upper half plane of Example 6.2.
If X,, Y, E T,H, then (X,, Y,) will denote the dot product of Example
8.1. We define, at the point p = (x, y) e H,
Now assume P"' is an isometry for each curve«. We shall verify Equa-
tion (8-2). Let XP E TPM and let« be the unique geodesic such that «(O) = p
and T,,,coi= X;, as guaranteed by Theorem 7.7. Let {Jf't,U:\,... , Wn} be an
orthonormal basis of T;M and let W, be the parallel translate of W, along
«. The uniqueness of a parallel translate (Proposition 7.2) guarantees that the
W, are linearly independent at each point of « (see Problem 7.6). Hence
{W1 , ••• , Wn} is a basis at each point of«. By hypothesis,
(8-3)
and the W, give an orthonormal basis of the tangent space at each point of«.
Let Y, Z E l:(M). There are differentiable functions Y'(t) and Z'(t) such
= :EY1(t)(W 1),,,c,iand Z,,,c,i= :EZ 1(t)(W 1),,,c,i·By Equation (8-3),
that Y,,,c,>
g,,,<o(Y, Z) = :E Y1Z 1g,,,ct>CW,,
W1) = :E y 1z1t511= :E y1z1.
Then
(8-4) T,,,g(Y, Z) = :ET,,,(Y'Z1).
Since the W 1 are parallel along «,
VT y = :ET(Y')W, + Y'VTWI = :ET(Y 1)W,.
Thus
g(VTY, Z) + g(Y, vTz)= :ET(Y )Z 1g(w1, w,) + :EY'T(Z')g(W,,
1 w,)
= :ET(Y'Z 1)g(W 1, W1) = :ET(Y'Z').
If we combine this result with Equation (8-4) and evaluate at t = 0 (remem-
bering that T,,,101 = X;), we obtain
(8-5) X~( Y, Z) = g(V x. Y, Z) + g( Y, Vx.Z).
Hence V is metrical. I
DEFINITION. A linear connection V is torsion-free (or symmetric) if
VxY- VrX = [X, Y] for all X, YE I(M).
LEMMA
8.5. V is torsion-free if and only if in every coordinate chart,
r,/ = r,/ for all I ~ i,j, k ~ n.
In Problem 8.3 you will verify that (8-7) follows from (8-6). Note that
(8-7) can be used to find the Christoffel symbols for this connection.
EXAMPLE 8.7. The Riemannian connection of Example 8.1 gives flat Eucli-
dean space (Example 6.1). The Riemannian connection of Example 8.2
is given in Problem 8.7. The Riemannian connection of the hyperbolic
upper half plane is given in Example 6.2 as may be seen by computing
the r,/ via Equation (8-7).
l«I = f ,,Jg.c,,(T.c,,,T..c,>)
dt.
If p, q e M, the distance from p to q is d(p, q) = inf III I, where the in-
fimum is taken over all broken C curves joining p to q.
00
The symmetry and the triangle inequality for dare very easy. The hard
part of Proposition 8.8 is showing that d(p, q) = 0 implies p = q. This
requires Theorem 8.11 below. Note that we have assumed that Mis a metric
space to start with. Is the distance defined by g the same as the original
metric? The answer is an emphatic no. The upper half plane is a metric space
(as a subset of R 2). The metric space structure of H coming from a Rieman-
nian metric is entirely different (see Problem 8.8). However, we can show the
topologies are the same. (If you don't know what a topology is, then skip
the next result.)
This says that any curve which minimizes distance is a geodesic. The
converse is false as S 2 with the induced metric shows. (Great circles are
238 Introduction to Manifolds Chap, 7
THEOREM 8.11 (J. H. C. Whitehead, 1932). For every point pin a Rieman-
nian manifold M there is a neighborhood U such that
(a) any two points q and r in U may be joined by a geodesic czwhose
image lies in U;
(b) the geodesic czis the unique geodesic joining q to r which has length
d(q, r); and
(c) there is a local coordinate chart (U, 4,) such that the geodesics
through p take the form cz(t)= 4,-1(a 1t, ... , a"t) for some constants
a 1, ••• ,a• ER.
As mentioned in Chapter 4 it need not be possible to join any two points
by a geodesic but:
We now turn to the notion of curvature. It is not even clear what the
definition of curvature should be on a Riemannian manifold. We cannot use
the Weingarten map L because there is not one on an arbitrary Riemannian
manifold (there is no concept of a normal vector). It is Gauss's Theorema
Egregium that tells us what to do. Indeed, that is the whole point of the
Theorema Egregium.
that if X = 8/8x' and Y = 8/8x1, then R(X, Y)Z measures how much the
"equality of mixed partials" fails to hold for covariant derivatives.
A simple calculation shows that R = 0 in flat Euclidean space, which
intuitively does not curve. On the other hand, R is nonzero in S" (as we have
actually computed in the case of S 2 in Chapter 4). As a hypersurface in R•+ 1,
S" does have an intuitive notion of curvature. Thus in some sense R does mea-
sure curvature, or lack of flatness. (It can be shown that a manifold with
R = 0 cannot be distinguished locally from R• geometrically-about each
point there can be found a coordinate chart in which g,1 is identically equal
to t51J")However, we would prefer to have a numerical invariant for curva-
ture. There are several ways to obtain a numerical invariant from the Rie-
mann-Christoffel tensor. We shall give the definition of three: sectional,
Ricci, and scalar curvatures. Each is defined in terms of the Riemann-
Christoffel curvature tensor of type (l, 3) or type (0, 4).
If we are willing to assume that Mis simply connected, then there is the
following classification.
x
In Section 6-5 we saw that the Euler characteristic was (1/2n) times the
integral of the Gaussian curvature so that K > 0 implies X > 0. There is an
analogous formula in higher even dimensions but the following conjecture,
with the appropriate meaning for Euler characteristic, has remained un-
solved for over fifty years:
Sec. 7-B Riemann/an Metrics, Distance, and Curvature 241
PROBLEMS
R (a:" a:k)
a:,=~ {a;;:' b
- 8{;l+ ~ cr,k'r,/- r11,r,k')}
for all I :::,;;:
i,j, k < n. Compare with Equation (9-1) of Chapter 4.
*8.10. Show that E,(X,, Y,): T,M----,. T,M is a linear transformation for
eachp EM.
8.11. Compute the sectional, Ricci, and scalar curvatures of Rn and sn.
8.12. Let M2 be a surface in R with Gaussian curvature K(p) and mean
3
Historical Notes
243
Historical Notes Appendix
showed, in 1736, that a point mass constrained to lie on a surface and sub-
ject to no other forces must move along a geodesic.
A second major figure in the history of differential geometry was
Gaspard Monge (1746--1818).He also was motivated by practical problems-
in his case, questions of fortification. Monge started the theory of space
curves in a paper he wrote in 1771 and published in 1785. His methods were
very geometric and reflected his interest in partial differential equations. He
published the first text on differential geometry in 1807. An indication of the
importance of this book is the appearance of a fifth edition, thirty years
after his death. Monge is remembered not only for his original contribu-
tions but also for the results of his teaching. Among his pupils were Pierre
Laplace (1749-1827), Jean Meusnier (1754-1793), Joseph Fourier (1768-
1830), Michel Lancret (1774-1807), Andre Ampere (1775-1836), Etienne
Malus (1775-1812), Simeon Poisson (1781-1840), Charles Dupin (1784-
1873),Victor Poncelet (1788-1867), and Olin de Rodrigues ( 1794-1851). Today
the work of the Monge school is hard to read be.cause they thought in
terms of infinitesimals. Although Euler had introduced analytical methods to
the study of space curves just before his death, these were not even used in
Monge's text twenty-five years later. As an example of this awkward language,
we note that Lancret defined the "premiere flexion" (curvature) and "seconde
flexion" (torsion) as the differential of the angles between two consecutive
normal or osculating planes. It was Augustin Cauchy (1789-1857), one of
the founders of group theory and the theory of limits, who first expressed
curvature and torsion in terms of finite quantities as we do today.
Even in the 1840s the theory of space curves was inelegant and difficult
to find. To ameliorate this situation Barre de Saint Venant (1797-1886)
wrote in 1846 a study on space curves. In this study, he included much his-
torical material and collected the available results together in one work. He
is responsible for the term "binormal" and the first proof of Lancret's
Theorem. The theory of space curves finally became unified when F. Frenet
(1816-1868) and Joseph Serret (1819-1885) working independently came up
with what we call the Frenet-Serret equations in 1847 and 1851. Unfor-
tunately, their work was not highly regarded when it appeared. Patt of this
was due to the lack of the language of linear algebra, which we have used
extensively. For example, instead of computing the derivative of the normal
with respect to arc length, they computed the derivatives of the direction
cosines of the line in the direction of the normal. It was Gaston Darboux
(1824-1917) who first unified the theory of curves with his concept of a
moving frame ("triedre mobile"). In this he was motivated by the theory of
mechanics. This is the modern theory which in turn, under the guidance of
Elie Cartan (1869-1951), gave valuable insight into the theory of manifolds.
The contributions of Carl Friedrich Gauss (1777-1855) can be found in
his Disquisitionesgenera/escirca superficiescurvas of 1827, which has been
Appendix Historical Notes
translated into English (Gauss [1965]). Once you overcome the differences in
mathematical language, this translation is not too difficult to read, especially
with the aid of the section "How to Read Gauss" in Spivak [1970, vol. II].
Stroik [1933, p. 164] notes that Gauss "became the teacher of the entire
learned world." The reason for this goes beyond the fact that he proved new
and startling results. He was responsible for an entirely new approach to dif-
ferential geometry, one that has proved fruitful for over 150 years: intrinsic
geometry based upon the first fundamental form. The idea that a surface could
be written parametrically as a function of two variables, at least locally, was
known to Euler, but Gauss emphasized that a surface should be described
this way, rather than as a set of points in R 3 whose coordinates satisfy some
relation. The sphere (or Gauss) map was also known to Euler. Gauss's ap-
proach made heavy use of it. In fact, it is the first concept that he defines in
his book. Rodrigues had earlier found the limit of the ratio between the area
of a surface and the area of the corresponding region on the sphere (Proposi-
tion 8.6 of Chapter 4). Gauss actually was the first to recognize the impor-
tance of this limit and used it as the definition of the curvature of a surface
at a point. This is a second important aspect of Gauss's contributions: his
insight into what was useful and important.
One can say that geometers before Gauss viewed a surface as being made
up of infinitely many curves, whereas Gauss viewed the surface as an entity
in itself. To better understand this, think about computing the curvature of a
surface in two ways. One way would be extrinsic: find the principal directions
and then compute the product of the normal curvatures of the corresponding
lines of curvature, an approach essentially known to Euler. The second way
would be intrinsic: use the Theorema Egregium. The contrast between the
extrinsic and the intrinsic calculations of curvature is a very deep philo-
sophical one, of which Gauss was well aware. His statement of the Theorema
Egregium(Gauss [1965, p. 201) illustrates this, along with his interest in the
surface as a whole: "If a curved surface is developed upon any other surface
whatever, the measure of curvature in each point remains unchanged."
(Here "developed" means mapped in a one-to-one, onto, distance-preserving
fashion.) Although Gauss was making tremendous steps forward with his
intrinsic geometry, it was not completely recognized at the time. While he was
advocating the study of the Gaussian curvature because it was invariant
under a development, a mathematician as good as Sophie Germain (1776-
1831) was advocating the mean curvature as the main object of study. (This
is understandable since it came up constantly in her study of elasticity.)
If there are two key ideas which have permeated the history of geometry
from 1827 to the present, they are (I) the continuing influence of physical
problems in directing various avenues of research and (2) the desire to both
understand and enlarge upon the work of Gauss. These two ideas are not
unrelated. Indeed, Gauss was surveying the Kingdom ·of Hanover from 1821
248 Hlstoric::alNotes Appendix
to 1825 and this practical work combined with his work as a theoretical
geodesist motivated much of his work in differential geometry.
We shall not go into the applications of differential geometry to physics,
mechanics, and the like except to mention those most responsible. Gabriel
Lame (1795-1871) worked in the theory of elasticity and heat, as did de Saint
Venant. Ampere and Lazare Carnot (1753-1823) were guided by their
interest in electricity. Many individuals, including Alexis Clairaut (1713-
1765), Monge, Ampere, and Henri Poincare (1854-1912), studied differential
geometry to gain insight into the theory of partial differential equations.
Malus came to differential geometry from optics (line congruences). Dupin
was interested in the applications of differential geometry to mechanics.
Albert Einstein (1879-1955) based his theory of general relativity on dif-
ferential geometry in 1915. There are still applications of differential geometry
being made in new areas. See Newsweek, January 19, 1976, pp. 54-55 for a
nontechnical account of Rene Thom's catastrophe theory. (It is actually more
topology than geometry.) Catastrophe theory is also covered in Zeeman
[1976].
The idea of the surface itself being an important entity was taken up
again in the brilliant address of Bernard Riemann (1826-1866) in 1854. A
translation of this may be found in Spivak [1970, vol. II], which we urge the
reader to try to read. We have already discussed a part of Riemann's philoso-
phy in the introductions to Chapters 4 and 7. We mentioned the philosophical
importance of his realization that space and geometry are different. Of equal
importance is his realization that a "quadratic differential" (which we now
call the Riemannian metric) is the structure to add to the notion of manifold.
This gives an infinitesimal way to measure distance and an enormous amount
of structure on manifolds. To appreciate Riemann's contribution in this area
we must realize that geometers had been putting a Riemannian metric on
surfaces in R 3 (the induced metric) without realizing that it was an extra
structure. Riemann realized that this notion was extraordinarily important
and separated it out. There are now more general notions of geometry (e.g.,
linear connections or connections on a fiber bundle), but this does not
diminish Riemann's contribution.
In the period between 1854 and 1900 geometers were mostly obsessed
with the language of differential geometry rather than the subject itself. This
tendency for symbolism culminated with the development of the tensor
calculus by Gregorio Ricci (1853-1925) and his student Tullio Levi-Civita
(1873-1941). It was upon Riemann's abstract view of s~ce and this tensor
calculus that Einstein based his theory of gravitation, commonly called gen-
eral relativity. One of the important historical developments during this pe-
riod was the use of group theory in differential geometry. This unifying
concept was introduced by Felix Klein (1849-1925) and Sophus Lie (1842-
1899). It was further developed by Cartan in a plethora of fascinating papers.
Appendix Historical Notes 247
248
Bibliography 249
topology, some of which can be found in Singer and Thorpe [1967] and
Massey [1967).
ALMGREN, F., Plateau's Problem. New York: Benjamin, 1966.
BERGER, M., Lectures on Geodesics in Riemannian Geometry, Tata Institute on Fundamental
Research Lectures in Mathematics, No. 33. Bombay: Tata Institute, 1965.
BERTRAND, J., "La theorie des courbes a double courbure," Journal de Mathematiques Pures
et Appliquees, 15 (1850), 332-350.
BIRKHOFF, G., and G. ROTA, Ordinary Differential Equations (2nd ed.). Waltham, Mass.:
Blaisdell, 1969.
BISHOP, R.,"There is More than One Way to Frame a Curve," American Mathematical
Monthly, 82 (1975), 246-251.
---, and R. CRITTENDEN, Geometry of Manifolds. New York: Academic Press, 1964.
BLASCHKE, w., Vorlesungen iiber Differentialgeometrie, I (3rd ed.). Berlin: Springer, 1930.
BOOTHBY,w., An Introduction to Differentiable Manifolds and Riemannian Geometry. New
York: Academic Press, 1975.
BORSUK, K.,"Sur la courbure totale des courbes fermees," Anna/es de la Societe Polonaise
de Mathematique, 20 (1948), 251-265.
BOYER, c., A History of Mathematics. New York: Wiley, 1968.
BREUER, s., and D. GOTTLIEB, "Explicit Characterizations of Spherical Curves," Proceedings
of the American Mathematical Society, 27 (1971), 126-127.
CHERN, s., "Some New Viewpoints in Differential Geometry in the Large," Bulletin of the
American Mathematical Society, 52 (1946), 1-30.
--, "Curves and Surfaces in Euclidean Space," in Studies in Global Geometry and
Analysis, ed. S. Chern, 16-56. Englewood Oiffs, N.J.: Mathematical Association of America
and Prentice-Hall, 1967.
CODDINGTON, E., and N. LEVINSON, Ordinary Differential Equations. New York: McGraw-
Hill, 1955.
COOLIDGE, J., A History of Geometrical Methods. Oxford, England: Oxford University
Press, 1940.
DO CARMO, M., Differential Geometry of Curves and Surfaces. Englewood Oiffs, N.J.:
Prentice-Hall, 1976.
FARY, 1., "Sur la courbure totale d'une courbe gauche faisant un noeud," Bulletin de la
Societe Mathematique de France, 77 (1949), 128-138.
FENCHEL, w., "Uber Kriinunung and Windung geschlossenen Raumkurven," Mathematische
Annalen, 101 (1929), 238-252.
---, "On the Differential Geometry of Global Space Curves," Bulletin of the American
Mathematical Society, 57 (1951), 44-54.
FULKS, w., Advanced Calculus (2nd ed.). New York: Wiley, 1969.
GAUSS, K.,General Investigations of Curved Surfaces, tr. A. Hiltebertel and J. Morehead.
Hewlett, N.Y.: Raven Press, 1965.
GLUCK, H., "Higher Curvatures of Curves in Euclidean Space, I, II," American Mathe-
matical Monthly, 73 (1966), 699-704; 74 (1967), 1049-1056.
260 Bibliography
---, Morse Theory, Annals of Mathematics Studies No. 51. Princeton: Princeton
University Press, 1963.
--, Topologyfrom the DifferentiableViewpoint.Charlottesville,Va.: University Press
of Virginia, 1965.
MISNER, c., K. THORNE,
and J. WHEELER, Gravitation.SanFrancisco: Freeman, 1973. /
MUKHOPADHYAYA, s., "New Methods in the Geometry of a Plane Arc," Bulletinof the Cul-
cutta Mathematical Society, I (1909), 31-37.
MUNKRES, J., Topology,A First Course.Englewood Qiffs, N.J.: Prentice-Hall, 1975.
o'NEILL,e., Elementary DifferentialGeometry.New York: AcadeinicPress, 1966.
RUTISHAUSER,
H., and u. SAM.ELSON,
"Sur le rayon d'une sphere dont la surface contient une
Bibliography 261
Notational Index
g (determinant of metric
cosh(t) (hyperbolic cosine), 12 coefficients), 95
g,, (metric coefficients), 93,
223
dA (area element), 130 gk' (inverse of metric co-
du; (dual of a basic tangent efficients), 95
vector), 100 ruk (Christoffel symbol), 104
v (connection), 224
VxY (covariant derivative),
116 (5.14), 224 H (hyperbolic half plane),
c5voc (angularvariation), 182 225
c5ii (Kronecker symbol), 3 H (meancurvature), 130
a;ax' (basic tangent vector),
212
11 (second fundamental
form), 123
«J(M) (set of differentiable func- /(V) ( total index of a vector
tions on a manifold), 209 field), 196
266
258 Index
Topical Index
267
268 lnde.
Hyperboliccosine, 12 Isomorphism, 4
Hyperbolic disk (see Poincare disk) lsoperimetric Inequality, 64
Hyperbolic half plane, 179 (2.4),
188 (4.2, 4.3. 4.5)
connection, 225 Jacobian, 79, 201, 220
covariant derivatives, 227 (6.3) Jacobi's identity, 218
distance, 241 (8.8) Jacobi's Theorem, 162
geodesics, 231 Jordan Curve Theorem, 59
parallel translation, 229
parallel vector fields, 228
Riemannian connection, 241 (8.5) Kronecker symbol, 3
Riemannian metric, 234
Hyperbolic paraboloid, 87 (1. 5), 91,
111 Lancret's Theorem, 32
asymptotic curves, 138 (8.27) Left invariant vector field, 223 (5.5)
geodesics, 115(5.9), 116(5.12) Length of a curve, 20, 237
as a ruled surface, 139 (8.37) Length of a vector, 2
Hyperbolicpoint, 132, 138(8.22,8.23) Length minimizing curves, 112
Hyperbolic secant, 231 Levelsurface,91
Hyperholicsine, 12 orientability, 181
Hyperbolic space form, 242 (8.13) Lie bracket, 144(9.5), 217
Hyperbolic tangent, 231 Lie group, 209, 223 (5.5)
Hyperboloid of one sheet,.91 Line:
geodesics, 115(5.11), 116(5.13) as an asymptotic curve, 138 (8.26)
as a ruled surface, 139 (8.38) characterization, 28, 33, 36 (4.12,
Hyperboloid of two sheets, 92 4.16), 48 (6.8)
Hypersurface defined by f, 203, 206, equation,8
221, 241 (8.7) asageodesic, 115(5.4)
tangentspace,222 Line integral, 50
Line of curvature, 129
asanasymptoticcurve, 139(8.33)
Immersion, 223 ofadevelopable surface, 140(8.53)
Implicit Function Theorem, 202 ofa surface ofrevolution, 137 (8.5)
Index of a vector field, 195 Line ofstriction, 140 (8.40)
Inner product, 2 Linear functional, 100
Intrinsicnormal, 103 Linear transformation, 4
Inverse Function Theorem, 202 eigenvalues and eigenvectors, 5
Involute of a curve, 40 Linearly dependent and independent
Isometric, 147 vectors, 2
locally, 147 Logarithmic spiral, 19 (1.6), 45 (5.1)
Isometry, 147, 234
local, 147
orientation preserving, 152 (10.8) Manifold, 204
282 Index