Curves and Surfaces: Lecture Notes For Geometry 1
Curves and Surfaces: Lecture Notes For Geometry 1
Curves and Surfaces: Lecture Notes For Geometry 1
Henrik Schlichtkrull
Department of Mathematics
University of Copenhagen
i
ii
Preface
The topic of these notes is differential geometry. Differential geometry
is the study of geometrical objects using techniques of differential calculus,
in particular differentiation of functions. The objects that will be studied
here are curves and surfaces in two- and three-dimensional space, and they
are primarily studied by means of parametrization. The main properties
of these objects, which will be studied, are notions related to the shape.
We will study tangents of curves and tangent spaces of surfaces, and the
notion of curvature will be introduced. These notions are defined through
differentiation of the parametrization, and they are related to first and second
derivatives, respectively.
The notion of curvature is quite complicated for surfaces, and the study
of this notion will take up a large part of the notes. The culmination is a
famous theorem of Gauss, which shows that the so-called Gauss curvature of
a surface can be calculated directly from quantities which can be measured on
the surface itself, without any reference to the surrounding three dimensional
space. This theorem has played a profound role in the development of more
advanced differential geometry, which was initiated by Riemann.
The theory developed in these notes originates from mathematicians of
the 18th and 19th centuries. Principal contributors were Euler (1707-1783),
Monge (1746-1818) and Gauss (1777-1855), but the topic has much deeper
roots, since it builds on the foundations laid by Euclid (325-265 BC).
In these notes a significant emphasis is placed on the interplay between
intuitive geometry and exact mathematics. Ideas are explained by numerous
illustrations, but they are also given rigorous proofs. It is my hope that the
student of the text will perceive the importance of both viewpoints. The
notes are adapted to an intensive course which runs over 7 weeks, so that
each chapter corresponds approximately to one week of teaching.
The notes were written and used for the first time in 2005. The present
version, intended for 2011, has been improved and corrected thanks to the
suggestions of many students. Undoubtedly there are places where further
revision would be desirable, and I will appreciate all comments and correc-
tions. The drawings are made with Anders Thorup’s program SPLINES,
downloadable from http://www.math.ku.dk/∼thorup/splines/.
Henrik Schlichtkrull
March 2011
iii
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . -2
Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . -3
1. Parametrized curves and surfaces. . . . . . . . . . . . . . . 1
1.1 Curves . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Surfaces . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Graphs . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Level sets . . . . . . . . . . . . . . . . . . . . . . . 6
1.5 The implicit function theorem, two variables . . . . . . . . 7
1.6 The implicit function theorem, more variables . . . . . . . 11
1.7 The implicit function theorem, more equations . . . . . . . 12
1.8 Exercises . . . . . . . . . . . . . . . . . . . . . . . 16
2. Tangents . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1 Regular curves and tangent lines . . . . . . . . . . . . . 19
2.2 The tangent line of a level set . . . . . . . . . . . . . . 21
2.3 The tangent plane of a regular surface . . . . . . . . . . 22
2.4 Curves on a surface . . . . . . . . . . . . . . . . . . . 25
2.5 Reparametrization of curves . . . . . . . . . . . . . . . 26
2.6 Reparametrization of surfaces . . . . . . . . . . . . . . 27
2.7 Invariance under reparametrization . . . . . . . . . . . . 28
2.8 The unit normal, orientation . . . . . . . . . . . . . . . 29
2.9 Regular curves as graphs . . . . . . . . . . . . . . . . 30
2.10 The inverse function theorem . . . . . . . . . . . . . . 31
2.11 Regular surfaces as graphs . . . . . . . . . . . . . . . . 33
2.12 Exercises . . . . . . . . . . . . . . . . . . . . . . . 34
3. The first fundamental form . . . . . . . . . . . . . . . . . 39
3.1 Arc length . . . . . . . . . . . . . . . . . . . . . . . 39
3.2 Lines as shortest curves . . . . . . . . . . . . . . . . . 41
3.3 Unit speed parametrization . . . . . . . . . . . . . . . 42
3.4 The first fundamental form . . . . . . . . . . . . . . . 43
3.5 Introduction to areas and plane integrals . . . . . . . . . 46
3.6 Null sets . . . . . . . . . . . . . . . . . . . . . . . 55
3.7 Double integrals . . . . . . . . . . . . . . . . . . . . 50
3.8 Transformation of integrals . . . . . . . . . . . . . . . 52
3.9 Surface area . . . . . . . . . . . . . . . . . . . . . . 53
3.10 Exercises . . . . . . . . . . . . . . . . . . . . . . . 55
4. Curvature . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.1 Curvature of plane curves . . . . . . . . . . . . . . . . 59
4.2 Curvature of unit speed curves . . . . . . . . . . . . . . 61
4.3 The tangent angle . . . . . . . . . . . . . . . . . . . 63
4.4 Curvature of space curves . . . . . . . . . . . . . . . . 64
4.5 Torsion . . . . . . . . . . . . . . . . . . . . . . . . 66
iv
In this chapter the basic concepts of curves and surfaces are introduced,
and examples are given. These concepts will be described as subsets of R2 or
R3 with a given parametrization, but also as subsets defined by equations.
The connection from equations to parametrizations is drawn by means of the
implicit function theorems (Theorems 1.5, 1.6 and 1.7).
1.1 Curves
It is well known from elementary geometry that a line in R2 or R3 can be
described by means of a parametrization t 7→ p + tq where q 6= 0 and p are
fixed vectors, and the parameter t runs over the real numbers. Likewise, a
circle in R2 (say with center 0) can be parametrized by t 7→ (r cos t, r sin t)
where t ∈ R. The common nature of these examples is expressed in the
following definition.
Definition 1.1. A parametrized continuous curve in Rn (n = 2, 3, . . . ) is a
continuous map γ: I → Rn , where I ⊂ R is an open interval (of end points
−∞ ≤ a < b ≤ ∞).
y
γ
a b x
Example 1.1.3. Let γ(t) = (a cosh t, b sinh t) where a, b > 0 and (see
Appendix E)
et + e−t et − e−t
cosh t = , sinh t = .
2 2
Using the equation cosh2 t − sinh2 t = 1 we see that γ is a parametrization
2 2
of the hyperbola (branch) C = {(x, y) | xa2 − yb2 = 1, x > 0}.
y
x
Parametrized curves and surfaces 3
Example 1.1.4. The space curve γ(t) = (λt, r cos(ωt), r sin(ωt)), where
r > 0 and λ, ω 6= 0 are constants, is called a helix. It is the spiraling motion
of a point which moves along the x-axis with velocity λ while at the same
time rotating around this axis with radius r and angular velocity ω.
y
1.2 Surfaces
v z
σ σ(U )
U σ(p)
p
u y
x
S 2 = {(x, y, z) ∈ R3 | x2 + y 2 + z 2 = 1}.
The parameters u and v are called latitude and longitude, and together they
are called spherical coordinates.
z
σ(u, v)
u
y
v
x
y
x
1.3 Graphs
By definition, the graph of a map h: A → B, where A and B are arbitrary
sets, is the set of all pairs (x, h(x)) ∈ A × B, where x ∈ A.
Let h: I → R be a smooth function, where I ⊂ R is an open interval. The
map t 7→ (t, h(t)) from I to R2 parametrizes the graph and makes it into a
parametrized plane curve. We shall always regard the graph as being this
parametrized curve.
y
γ(t) = (t, h(t))
x
I
Likewise we shall regard the graph of a smooth function h: I → R2 as the
parametrized curve t 7→ (t, h(t)) = (t, h1 (t), h2 (t)) in R3 .
Example 1.3.1. The graph of an affine linear function h(t) = at+b, R → R
(where a, b ∈ R), is the line in R2 parametrized by (t, at + b). All lines which
are not perpendicular to the x-axis can be parametrized in this fashion.
Similarly the graph of an affine linear function h(t) = at + b, R → R2
(where a = (a1 , a2 ), b = (b1 , b2 ) ∈ R2 ), is the line in R3 parametrized by
(t, a1 t + b1 , a2 t + b2 ). All lines of direction not perpendicular to the x-axis
can be parametrized in this fashion.
Example 1.3.2. The helix in Example 1.1.4 with λ = 1 is the 3-dimensional
graph of the map h: R → R2 defined by h(t) = (r cos(ωt), r sin(ωt)).
6 Chapter 1
C = {x ∈ Ω | f (x) = c}
y0 W
p
C
x0
f >0
y0 +δ f =0
y0 p
y0 −δ f <0
x0 −η x0 x0 +η
is zero both for t = 0 and t = 1. By the mean value theorem (Rolle’s theorem)
there exists a number θ ∈ (0, 1) (depending on ∆x) such that
ϕ′ (θ) = 0.
The formula on the left gives two expressions, each with y a function of x.
Only one of these is relevant in a neighborhood of a given point (x, y) ∈
C, provided |x| > 1. However, at the points where x = ±1, these two
expressions for y collapse, and neither of them gives a well-defined function
in a neighborhood, because |x| < 1 is not allowed in the square root. Notice
that these are exactly the two points where ∂f∂y = 0.
The expression for x, on the other hand, is defined and smooth for all
y 6= 0 (and y = 0 never occurs in C).
y
p = (1, 1)
q = (−1, −1)
Only the first one of these belongs to C, and this point is therefore the only
critical point in C.
Parametrized curves and surfaces 11
C = {(x, y) ∈ Ω | f (x, y) = c}
∂fi
A= (p),
∂yj
We see that the last m columns of D(A−1 ◦ f )(p) comprise a unit matrix
δkj . By the replacement of f with A−1 ◦ f we thus obtain a function whose
Jacobian matrix at p has a unit matrix in its last m columns, and for which
the solution set C is unaltered. From now on we assume this replacement has
been carried out, that is, we assume ∂fk /∂yj = δkj .
In particular, for the function fm whose derivatives are in the last row
of Df , we have that ∂fm /∂ym (p) = 1. We will apply Theorem 1.6 to the
equation fm (x, y) = 0. The effect of the theorem is that the last variable,
ym , can be written as a smooth function of the remaining variables. We
write the remaining variables as (x, y ′ ) ∈ Rn−1 where y ′ = (y1 , . . . , ym−1 ).
More precisely, it then follows that there exists an interval neighborhood
W1 = I1 × J1 around p, where I1 ⊂ Rn−1 and J1 ⊂ R, and a smooth function
h: I1 → J1 such that for (x, y) = (x, y ′ , ym ) ∈ W1 we have fm (x, y) = 0 if
and only if
ym = h(x, y ′ ).
Let the function F : I1 ⊂ Rn−1 → Rm−1 be defined by
W = W1 ∩ {(x, y) | (x, y ′ ) ∈ W2 }.
(x, y) ∈ C
Parametrized curves and surfaces 15
if and only if
fk (x, y) = 0, k = 1, . . . , m
if and only if
if and only if
F (x, y ′ ) = 0 and ym = h(x, y ′ )
if and only if
y ′ = g(x) and ym = h(x, y ′ )
if and only if
y = (g(x), h(x, g(x))).
The function x 7→ (g(x), h(x, g(x))) is thus seen to be the desired function
whose graph is C in a neighborhood of p.
Corollary 1.7. Let f : Ω → R2 be smooth, where Ω ⊂ R3 is open. Let c ∈ R2
and
p ∈ C = {(x, y, z) ∈ Ω | f (x, y, z) = c}.
Assume the rows of Df (p) (a 2 × 3 matrix) are linearly independent.
Then there exist an open interval W ⊂ Ω around p, such that C ∩ W can
be parametrized as a smooth curve in the form of a graph, considered either
as (y, z) = h(x), as (x, z) = h(y) or as (x, y) = h(z).
Proof. At least one of the three 2 × 2 submatrices of Df (p) has non-zero
determinant. With suitable reorganization of variables the theorem can be
applied.
x + xy + z 2 = 3 ∧ x3 + 2xz − y 2 z 2 = 2 (4)
In the point (1, 1, 1) the equations (4) are satisfied and the Jacobian is
2 1 2
.
5 −2 0
16 Chapter 1
The determinant of the last two columns is det A = 4. Since this determinant
is not zero, the implicit function theorem assures that the equations can
be solved for (y, z) as function of x, in a neighborhood of (1,1,1). In this
neighborhood the set of solutions can thus be parametrized as a smooth curve
in the form of a 3-dimensional graph (t, h(t)) where h(t) = (y(t), z(t)) ∈ R2 .
This example demonstrates the theoretical power of the implicit function
theorem, since the explicit solving of (4) for y and z as functions of x is
clearly a difficult task.
1.8 Exercises
Tangents
y
γ(t) = (t3 , t2 )
Example 2.1.2 A graph γ(t) = (t, h(t)) (Section 1.3) is a regular curve in
R , since γ ′ (t) = (1, h′ (t)) 6= (0, 0) (also if h′ (t) = 0). Hence, by Corollary
2
In other words, the unit tangent vector v is the limit position of the direction
from γ(t0 ) to γ(t), as t approaches t0 from above, and the limit position of
the direction from γ(t) to γ(t0 ), as t approaches t0 from below.
γ(t)
v
γ(t0 )
Proof. By definition
γ(t) − γ(t0 )
γ ′ (t0 ) = lim .
t→t0 t − t0
In particular, since γ ′ (t0 ) 6= 0 it follows that γ(t) 6= γ(t0 ) for all t ∈ I
sufficiently close to (but different from) t0 . Thus the denominator of the
fraction in (1) is not zero. Moreover for t > t0 ,
curve γ(t) = (t3 , 0) which has the x-axis as its trace, is singular at t0 = 0,
but nevertheless both limits in (1) exist and are equal to the unit vector
v = (1, 0).
Example 2.1.4 A sophisticated example of a non-regular point on a smooth
curve can be constructed as follows. Let φ: R → R be the function defined
by
exp(− 1t ) if t > 0
φ(t) =
0 otherwise
then it can be shown that φ is smooth (the derivatives up to all orders vanish
at 0). The graph of φ is shown to the left in the figure below.
y y
x x
1
y = φ(x) (x, y) = γ(t)
Define γ(t) = (φ(t), φ(−t)) for t ∈ R. This is a smooth curve whose trace
consists of the line segment from 1 to 0 on the y-axis followed by the line
segment from 0 to 1 on the x-axes. It is not regular at the origin, which is
in accordance with the sharp turn of the curve in that point.
Proof. We shall be using the following simple fact from plane geometry. The
line with normal vector (a, b) 6= (0, 0) through (x0 , y0 ) is given by the equation
a(x − x0 ) + b(y − y0 ) = 0.
Write γ(t) in coordinates as γ(t) = (x(t), y(t)). Since γ maps into the
level set we have f (x(t), y(t)) = c for all t. By differentiation with the chain
rule we obtain
∂f ∂f
x′ (t0 ) (p) + y ′ (t0 ) (p) = 0,
∂x ∂y
∂f
which exactly shows that ( ∂x (p), ∂f
∂y (p)) is perpendicular to the tangent vec-
′ ′ ′
tor γ (t0 ) = (x (t0 ), y (t0 )).
Notice that it follows from the theorem that the tangent line depends on
the level set through the function f , but it is independent of the chosen
parametrization γ.
Notice that σu′ (p) and σv′ (p) are the tangent vectors at t = 0 to the curves
t 7→ σ(u0 + t, v0 ) and t 7→ σ(u0 , v0 + t), respectively.
v z
σ σv′ σ(U )
p U σu′
u y
x
we derive
− sin u cos v − cos u sin v
σu′ = − sin u sin v , σv′ = cos u cos v
cos u 0
and hence
σu′ × σv′ = (− cos2 u cos v, − cos2 u sin v, − cos u sin u) = − cos u σ(u, v). (2)
In particular, since σ(u, v) 6= 0 (it has length 1), we see that σu′ × σv′ = 0
if and only if cos u = 0, that is u = ± π2 (up to multiples of 2π). The
points σ(p) on the sphere, where σ is singular at p, are thus the two poles
(0, 0, ±1). Notice however that by choosing a different parametrization of
the sphere, we can arrange that these points are in the regular range (at the
cost of some other points becoming singular). For example with (u, v) 7→
(cos u cos v, sin u, cos u sin v), which differs from σ by an interchange of y and
z, the points σ(p) with p singular are (0, ±1, 0).
Example 2.3.2 The graph σ(u, v) = (u, v, h(u, v)) (Section 1.3) of a func-
tion of two variables is a regular surface in R3 , since
∂h ∂h
σu′ = (1, 0, ) and σv′ = (0, 1, )
∂u ∂v
are linearly independent (also if the partial derivatives of h are 0). Hence, by
Corollary 1.6, a level surface f (x, y, z) = c can be parametrized as a regular
surface in a neighborhood of each point which is not critical.
σv′
σu′
form a basis for Tp σ, and the use of the word ‘plane’ for the tangent plane is
justified.
Example 2.3.3 Let σ be the standard parametrization of the unit sphere,
as in the Example 2.3.1. At (u0 , v0 ) = (0, 0) we have σ(0, 0) = (1, 0, 0) and
σu′ = e3 and σv′ = e2 (where e1 , e2 , e3 are the standard basis vectors in R3 ).
The tangent space at (0, 0) is therefore the span of e2 and e3 (the yz-plane),
and the tangent plane is the plane through (1, 0, 0) parallel to this plane. On
the other hand, if u0 = π2 (and v0 is arbitrary) so that σ(u0 , v0 ) = (0, 0, 1),
then σu′ = (− cos v0 , − sin v0 , 0) and σv′ = 0, so in this singular case the
tangent space at (u0 , v0 ) is one-dimensional. However, the degeneracy of the
tangent space at this point is caused by the singularity of the parametrization,
and it has no geometric significance for the sphere.
It is convenient to have the notion of tangent space because of its structure
as a linear space. On the other hand the tangent plane is more easy to
visualize, because it passes through the given point on S = σ(U ).
For a level set we have the following analogue of Theorem 2.2.
Theorem 2.3. Let S ⊂ R3 be a level set of a smooth function f , and let
p = (x0 , y0 , z0 ) ∈ S be non-critical. Let σ: U → R3 be any parametrized
surface with image σ(U ) ⊂ S and with σ(u0 , v0 ) = p for some (u0 , v0 ) ∈ U ,
in which σ is regular. Then the tangent plane of σ at (u0 , v0 ) is characterized
by the equation
∂f ∂f ∂f
(p)(x − x0 ) + (p)(y − y0 ) + (p)(z − z0 ) = 0.
∂x ∂y ∂z
p σ σ(p)
µ γ
u
U σ(U )
µ γ
I
R
where u(t) and v(t) are the coordinates of µ(t) = (u(t), v(t)) ∈ U .
Proof. This follows from the chain rule for D(G◦F ) with G = σ: U → R3 and
F = µ: I → U , see Appendix B, equation (B.2). The 3 × 2 matrix DG = Dσ
has columns σu′ , σv′ , and the derivative F ′ (t) = µ′ (t) has the elements u′ (t)
and v ′ (t). Their product DG(F (t))F ′ (t) is exactly the linear combination
u′ σu′ + v ′ σv′ , as in (3).
26 Chapter 2
Theorem 2.4. The tangent space Tp σ is equal to the set of tangent vectors
γ ′ (t0 ) of all parametrized curves γ = σ ◦ µ on σ with µ(t0 ) = p for some
t0 ∈ I.
Proof. It follows from (3) that γ ′ (t0 ) belongs to the span Tp σ of σu′ and σv′
for all parametrized curves on σ with µ(t0 ) = p.
Conversely, let a linear combination aσu′ + bσv′ ∈ Tp σ be given. Let p =
(u0 , v0 ) and define µ(t) = (u(t), v(t)) = (u0 + at, v0 + bt) for t sufficiently
close to 0, so that µ(t) ∈ U . Let γ = σ ◦ µ. Then u′ (t) = a and v ′ (t) = b,
hence it follows from the expression (3) for γ ′ (t) that γ ′ (0) = aσu′ + bσv′ .
γ β
φ
I J
R R
where q = φ−1 (p). Here Dφ is the Jacobi matrix of φ, and the inverse on
the right side is that of a matrix. This formula follows by application of the
28 Chapter 2
det(Dφ(q)) 6= 0
for all q ∈ W .
Definition 2.6.2. Let σ: U → R3 be a parametrized surface, and let φ: W →
U be a diffeomorphism (U and W being open sets in R2 )). The surface
τ = σ ◦ φ: W → R3 is called a reparametrization of σ.
σ(U ) = τ (W )
σ τ =σ◦φ
φ
φ(q) q
U W
Proof. It follows from the chain rule that the partial derivatives of τ are
related to those of σ through
These identities show that τs′ and τt′ are linear combinations of σu′ and σv′ ,
hence they belong to the tangent space Tφ(q) σ. It follows that Tq τ ⊂ Tφ(q) σ.
Since σ = τ ◦ φ−1 is also a reparametrization, the same argument with
reversed roles of τ and σ shows that Tφ(q) σ ⊂ Tq τ . Thus the equality of the
tangent spaces follows.
Now τ is regular in q if and only if Tq τ is two-dimensional, and σ is
regular in φ(q) if and only if Tφ(q) σ is two-dimensional. The equivalence of
the regularity of σ and τ follows.
σu′ × σv′
N = N(p) =
kσu′ × σv′ k
is called the unit normal of the parametrization in p.
σ(p)
Example 2.8.1 It follows from (2) that the unit normal for the unit sphere
with spherical coordinates is
which is the unit vector pointing from σ(u, v) towards the center of the sphere.
The unit normal is perpendicular to the tangent plane in p and has unit
length. These properties determine it uniquely up to multiplication with ±1.
Let τ = σ ◦ φ be a reparametrization as in Theorem 2.7. Since σu′ × σu′ =
σv′ × σv′ = 0 and σv′ × σu′ = −σu′ × σv′ , it follows from (6) that
for all u ∈ J, or
γ(φ(u)) = (h(u), u)
for all u ∈ J.
γ(t0 )
y
γ
I′
a t0 b x
J
Proof. Write γ(t) = (x(t), y(t)). The assumption is that (x′ (t0 ), y ′ (t0 )) 6=
(0, 0). We are going to prove that if x′ (t0 ) 6= 0, so that the tangent vector
is not vertical, then the curve allows a reparametrization as a graph of the
form y = h(x). An exchange of x and y then implies that if y ′ (t0 ) 6= 0, then
the curve allows a reparametrization as a graph of the form x = h(y).
Assume x′ (t0 ) 6= 0. By continuity, there exists an open interval I ′ around
t0 in which x′ (t) 6= 0. Let J = {x(t) | t ∈ I ′ }. It follows from Theorem 2.5
that the function t 7→ x(t) from I ′ to J is bijective with a smooth inverse.
When we use this inverse function φ: J → I ′ for reparametrization we obtain
τ (u) = γ(φ(u)) = (x(φ(u)), y(φ(u))) = (u, h(u)) where h(u) = y(φ(u)).
Example 2.9.1 Let γ(t) = (cos t, sin t) with t ∈ R be the standard para-
metrisation of the circle, then γ ′ (t) = (− sin t, cos t). On the upper half
circle, where t ∈]0, π[, we have x′ (t) 6= 0. Then t 7→ x(t) = cos t is bi-
jective I ′ =]0, π[→] − 1, 1[ and has a smooth inverse cos−1 : J → I ′ . The
reparametrization of γ is then
p
γ(φ(u)) = (u, sin(cos−1 u)) = (u, 1 − u2 ), u ∈ J =] − 1, 1[.
F
q F (q)
W V = F (W )
y1 x1
U
has non-zero determinant for all q = (x, y) 6= (0, 0), hence the inverse func-
tion theorem implies that for each q ∈ U , the restriction of F to a suitable
neighborhood of q is invertible. However, since F (−q) = F (q) for all q, F
itself is not injective.
Corollary 2.10. Let F : U → Rm be smooth, where U ⊂ Rm is open, and
suppose that det(DF (q)) 6= 0 for each q ∈ U . Then F (U ) is open. If in
addition F is injective, then F is a diffeomorphism of U onto F (U ).
Proof. Let p ∈ F (U ) be given, and write p = F (q). According to the theorem
above there exists an open set W ⊂ U around q such that F (W ) open. This
open set F (W ) is then an open neighborhood of p in F (U ), hence F (U ) is
open.
If F is injective, it has an inverse map F −1 : F (U ) → U . According to the
theorem, F −1 is smooth in a neighborhood p. Since p was arbitrary, F −1 is
smooth.
F = π ◦ σ: U → R2 .
It follows that det DF (p) 6= 0. By the inverse function theorem there exists
an open neighborhood W of p in U such that F is a diffeomorphism of W
onto the open set V = F (W ) = π(σ(W )) ⊂ R2 .
Let φ = F −1 : V → W , then π ◦ σ ◦ φ = F ◦ φ is the identity map on V ,
that is, the first two coordinates of σ(φ(s, t)) are exactly s and t. We define
the function ψ(s, t) as the third coordinate of σ(φ(s, t)), then σ(φ(s, t)) =
(s, t, ψ(s, t)) as desired.
Corollary 2.11. A regular parametrized surface σ is locally injective, that is,
there exist around each point p ∈ U a neighborhood such that the restriction
of σ to this neighborhood is injective.
2.12 Exercises
1 The following curve is called the cardioid (because of its heart-like shape):
x
Tangents 35
2 Let γ(t) be a parametrized curve which does not pass through the origin,
and let γ(t0 ) be a point of the trace which is closest to the origin. Show
that the position vector γ(t0 ) is orthogonal to the tangent vector γ ′ (t0 ).
3 Let γ: I → R3 be a parametrized curve in the xz-plane, that is γ(u) =
(f (u), 0, g(u)), and assume that f (u) > 0 for all u ∈ I. This curve, called
the profile curve, is rotated around the z-axis. The result is a so-called
surface of revolution :
σ(u, v) = (f (u) cos v, f (u) sin v, g(u)),
z
y
x
a. Explain how the parameter v describes the rotation around the z-axis.
b. Examples: γ(u) = (1, 0, u) and γ(u) = (u, 0, u) (the last case requires
u > 0). Describe the corresponding surfaces of revolution.
c. Describe a sphere, minus two poles, as a surface of revolution. Which
is the profile curve, and which coordinates on the sphere are obtained?
d. Assume that γ is a regular parametrized curve. Show that σ is a
regular parametrized surface.
4 Let σ(u, v) = (cos u cos v, cos u sin v, sin u), the standard spherical coordi-
nates.
a. Show that the tangent space of σ at p = (0, π) is Tp σ = Span(e2 , e3 ).
Determine also the tangent space at p = ( π4 , 0).
c. Let w = (1, 1, −1). Show that w ∈ Tp σ where p = ( π4 , 0), and determine
a curve on σ through p and with w as its tangent vector.
5 Consider the surface σ(u, v) = (u3 , v 3 , uv), (u, v) ∈ R2 .
a. For which points p = (u, v) is it regular?
b. Determine the tangent space Tp σ ⊂ R3 for each of the points p1 =
(1, 0), p2 = (1, 1) and p3 = (0, 0). Determine also the tangent plane in p1
and p2 . Why not in p3 ?
c. Show that σ is a bijection of R2 onto S = {(x, y, z) | xy − z 3 = 0}.
d. Use Theorem 2.3 to determine the tangent plane in p1 .
e. The vector v = (3, 6, 3) belongs to Tp σ where p = p2 . Find a curve γ
on σ with γ(t0 ) = σ(p) and γ ′ (t0 ) = v (it exists by Theorem 2.4).
36 Chapter 2
(−h′u , −h′v , 1)
N(u, v) = p .
1 + (h′u )2 + (h′v )2
9 Let σ(u, v), (u, v) ∈ R2 be a smooth surface and put τ (s, t) = σ(−t, s).
Show that τ is obtained from σ by a reparametrization. Does it preserve
or reverse orientations?
10 Let σ(u, v) = (u, uv, 12 v 2 ), (u, v) ∈ R2 . Determine σu′ , σv′ and σu′ × σv′ . For
which (u, v) is σ regular? Determine the unit normal N at (u, v) = (4, 2).
11 Let σ(u, v) = (u, uv, 21 v 2 ) for (u, v) ∈ U = {(u, v) ∈ R2 | u 6= 0}. Show
that (u, v) 7→ (u, uv) is a diffeomorphism U → U , and determine the
inverse map φ: U → U . Show that the reparametrization σ ◦ φ: U → R3 of
σ is a graph of the form z = h(x, y), (x, y) ∈ U .
12 Let again σ(u, v) = (u, uv, 21 v 2 ). Find two open sets U, W ⊂ R2 (non-
empty), and a diffeomorphism φ: W → U , such that the reparametrization
σ ◦ φ of σ|U is a graph of the form x = h(y, z), where (y, z) ∈ W .
13 Let U = {(u, v) ∈ R2 | u > v} and σ(u, v) = ( 21 (u + v), 21 (u2 + v 2 ), uv) for
(u, v) ∈ U . Let p = (2, 0).
a. Show that σ is regular at p, and determine Tp σ.
b. Let W = {(s, t) ∈ R2 | s2 > t} and define φ: W → R2 by
p p
φ(s, t) = (s + s2 − t, s − s2 − t).
The derivation we gave for this formula is not a rigorous proof. Rather than
carrying out such a proof we will take the formula as a definition, and regard
the derivation as motivation.
n
Definition 3.1. LetR t2γ: I′ → R be a smooth curve. The arc-length of γ from
t1 ∈ I to t2 ∈ I is t1 kγ (t)k dt.
40 Chapter 3
if t1 < t2 .
Example 3.1.2 A circle of radius r is parametrized by γ(t) = (r cos t, r sin t),
for which the speed kγ ′ (t)k = k(−r sin t, r cos t)k = r is constant. Hence the
arc-length from 0 to t is
Z t
kγ ′ (t)k dt = rt.
0
Example 3.1.3 For the helix given by γ(t) = (λt, r cos(ωt), r sin(ωt)) (see
Example 1.1.4)
√ we have γ ′ (t) = (λ, −rω sin(ωt), rω cos(ωt)) and the speed
kγ ′ (t)k = λ2 + r 2 ω 2 is again constant. Hence the arc-length measured
from 0 is this constant times t.
γ β
φ
R R
t1 t2 u1 u2
The first fundamental form 41
where in the last step we have used the substitution t = φ(u). The sign in
front is positive if φ′ is positive, and otherwise negative.
kγ(t2 ) − γ(t1 )k
γ(t1 )
γ(t2 )
L
x
Proof. Let P1 = γ(t1 ), P2 = γ(t2 ) and w = P2 −P1 , and consider the function
ϕ(t) = γ(t) · w.
We have ϕ(t2 ) − ϕ(t1 ) = (P2 − P1 ) · w = kwk2 , hence by the fundamental
theorem of calculus Z t2
kwk2 = ϕ′ (t) dt.
t1
′ ′
It is easily seen that ϕ (t) = γ (t) · w, hence
ϕ′ (t) ≤ |ϕ′ (t)| ≤ kγ ′ (t)k kwk.
We conclude Z t2
2
kwk ≤ kγ ′ (t)k kwk dt = Lkwk
t1
Proof. Let ℓ(t) be an arbitrary arc-length function for γ, that is, a primitive
of the speed function t 7→ kγ ′ (t)k. The speed function is smooth since γ ′ (t) is
smooth and never zero. Hence ℓ is smooth. Notice that ℓ′ (t) = kγ ′ (t)k > 0.
We apply Theorem 2.5 to the function ℓ. It follows that ℓ is bijective
onto its image. Furthermore, the inverse function φ = ℓ−1 is smooth, and its
derivative is given by
1 1
φ′ (s) = = >0
ℓ′ (t) kγ ′ (t)k
′ ′ γ ′ (t)
′
(γ ◦ φ) (s) = γ (φ(s))φ (s) = ′
kγ (t)k
s s s
β(s) = γ( ) = (r cos , r sin ),
r r r
s s s
β(s) = (λ , r cos(ω ), r sin(ω ))
c c c
√
where c = λ2 + r 2 ω 2 .
The first fundamental form 43
E(p) = kσu′ (p)k2 , F (p) = σu′ (p) · σv′ (p), G(p) = kσv′ (p)k2 ,
σv′
w=
aσu′ + bσv′
σu′
By noting that σu′ and σv′ are the columns of the Jacobian matrix Dσ, we
see that the definition of E, F and G amounts to the matrix identity
E F
= (Dσ)t Dσ (3)
F G
where t denotes transposition. The formula for the first fundamental form
can also be put in matrix form
t
a E(p) F (p) a
Ip (w) = .
b F (p) G(p) b
44 Chapter 3
E = kq1 k2 , F = q1 · q2 , G = kq2 k2 .
E = 1, F = 0, G = r2 .
E = 1, F = 0, G = cos2 u.
Notice that in this case the component function G(p) is not constant.
The following theorem illustrates how the first fundamental form enters in
the computation of arc lengths on surfaces. Recall from Section 2.4 that γ(t)
is called a parametrized curve on σ if it has the form γ(t) = σ(u(t), v(t)) for
a pair of smooth functions with (u(t), v(t)) ∈ U , and that in this case (see
Lemma 2.4)
γ ′ = u′ σu′ + v ′ σv′ . (4)
Theorem 3.4. The arc length of a parametrized curve γ(t) = σ(u(t), v(t))
on σ is given with respect to the coordinates (u(t), v(t)) as follows:
Z t2
(Eu′ 2 + 2F u′ v ′ + Gv ′ 2 )1/2 dt
t1
where the component functions E, F, G are evaluated in (u(t), v(t)) and the
derivatives u′ , v ′ are evaluated in t.
Proof. This is immediate from Definition 3.1, since by (4)
Example 3.4.4 On the unit sphere consider the circle γ(t) = σ(u, t) with a
fixed latitude u. Since u is constant, we have u′ = 0, and since v(t) = t, we
have v ′ = 1.
z
γ
σ(u, t)
u
y
t
x
With the values of E, F and G from Example 3.4.3 we obtain the total length
of γ:
Z 2π Z 2π
′2 ′ ′ ′ 2 1/2
(Eu + 2F u v + Gv ) dt = cos u dt = 2π cos u.
0 0
The first fundamental form can also be used to determine the angle be-
tween (non-zero) tangent vectors, say between
F
cos θ = √ .
EG
A parametrized surface σ(u, v) is called orthogonal, if F (p) = 0 for all
p ∈ U , or equivalently, if σu′ (p) and σv′ (p) are perpendicular for all p.
Example 3.4.5 Let γ(t) be a curve on the unit sphere, which in spherical
coordinates is described by γ(t) = σ(u(t), v(t)). We will determine the angle
θ between the tangent vector γ ′ (t) and the direction (North) of the meridians.
46 Chapter 3
γ θ
The coordinates of γ ′ (t) with respect to (σu′ , σv′ ) are determined from (4).
They are a = u′ (t) and b = v ′ (t). The meridians are characterized by having
a fixed longitude v, hence the tangent vector of a meridian has direction
σu′ (with coordinates ã = 1, b̃ = 0). With the values of E, F and G from
Example 3.4.3 inserted in (5) we obtain
u′
cos θ = .
((u′ )2 + cos2 u(v ′ )2 )1/2
be called a partition of the block set. In general, the same block-set may
have several different partitions, as in the following figure.
The area A(K) is defined as the R sum of the areas of the rectangles in a
chosen partition, and the integral K f dA of a continuous function f over K
is defined as the sum of the integrals over these rectangles. Since the partition
of K is not unique, a proper treatment would require that it is verified that
these notions are independent of the choice of partition. Intuitively this is
quite clear, and we are not going to verify it here. Notice that it follows from
these definitions that the area of K is the integral over K of the constant
function 1, and that in general
Z
| f dA | ≤ A(K) sup |f (p)|,
K p∈K
y
∂D
D
x
An elementary domain
48 Chapter 3
where in the last line D1 and D2 are assumed to intersect only with their
boundaries.
The first fundamental form 49
k⊂D D⊂K⊂U
R
R If k ⊂ D and K ⊃ D are block-sets, then k ⊂ K
R and R k f dA ≤
hence
K
f dA. It then follows from Definition 3.5.2 that D f dA ≤ K f dA, and
hence the inequality ≤ holds in (7).
Let ǫ > 0 be given. The boundary ∂D is a null set, according to Lemma
3.6. Hence there exists a block-set L around ∂D with area A(L) ≤ ǫ.
v
v = ψ(u)
D
v = φ(u)
u
a b
is an elementary domain.
Theorem 3.7. The set D has the area
Z b
A(D) = [ψ(u) − φ(u)] du,
a
We will not prove this. The formula for the area is well known from
elementary calculus. When it comes to computation of plane integrals in
practice, it is this formula which is used (not the definition given earlier).
More complicated sets are treated by means of a disjoint division into subsets
of this form (possibly with u and v interchanged).
Example 3.7.1 The triangle D = {(u, v) | 0 ≤ u, 0 ≤ v, 2u + v ≤ 2}, has
the form as above with inequalities
0 ≤ u ≤ 1, 0 ≤ v ≤ 2 − 2u.
v
2
v = 2 − 2u
D
u
1
The set D is bounded above and below by the graphs of ψ(u) = 2 − 2u and
φ(u) = 0. The area is then
Z 1
A(D) = (2 − 2u) du = 1.
0
52 Chapter 3
Of course, the corresponding formulas for the area and the integral lead
to the same results as above,
Z 2
1
A(D) = (1 − v) dv = 1
0 2
and Z Z Z Z
2 1− 21 v 2
1 2
v dA = v du dv = v(1 − v) dv = .
D 0 0 0 2 3
for f : U → R continuous.
We shall not prove this theorem here. In particular, with f = 1 we obtain
the following formula for the area
Z
A(φ(D)) = | det(Dφ)| dA.
D
The first fundamental form 53
v
σ
D σ(D)
u
U S = σ(U )
Recall that σu′ × σv′ is a normal vector to the tangent plane. Its length
can be expressed by means of the first fundamental form as follows
by which we see that the new notion of area coincides with the previous one
for plane sets.
The definition of area can be motivated by the following geometrical con-
sideration, which is analogous to the motivation that was given for the defi-
nition of arc length. Consider a small rectangle in D with (u, v) as its lower
left corner and with sides of length ∆u and ∆v. This rectangle is mapped
approximately to the parallelogram in R3 placed at σ(u, v) and with the
54 Chapter 3
vectors ∆u σu′ and ∆v σv′ as its sides, according to the first order (linear)
approximation of σ.
v
D σ σv′ σ(D)
∆v
∆u σu′
u
U σ(U )
Adding up all these areas and taking the limit (∆u, ∆v) → (0, 0) leads to
the formula (8).
Further justification that our definition of surface area is reasonable can
be found in the following theorem, which is analogous to Theorem 3.1.
Theorem 3.9. Surface area is invariant under reparametrization.
Proof. Let τ = σ ◦ φ: W → R3 be a reparametrization (see Section 2.5),
and let E ⊂ U be an elementary domain. Then D = φ−1 (E) ⊂ W is an
elementary domain. The statement of the theorem amounts to the identity
A(τ, D) = A(σ, E).
Since τ = σ ◦ φ we have τ (D) = σ(E), and the statement that these
sets have the same area thus appears to be a tautology. However, as we
noted earlier, in the definition (8) of the area, reference is made to both the
parametrization and the domain, not just their image. For the area of τ (D),
we have Z
A(τ, D) = kτs′ × τt′ k dA.
D
Inserting this expression in the formula for A(τ (D)) and using the substitu-
tion of variables in Theorem 3.8, we see that A(τ, D) = A(σ, E).
The first fundamental form 55
3.10 Exercises
1 Let γ(t) = (3t, 3t2 , 2t3 ). Show that the speed of the curve is kγ ′ (t)k =
3(1 + 2t2 ), and determine the arc length of γ from t = 0 to t.
2 Let γ(t) = (t, 34 t3/2 , t2 ) for t > 0. Determine that value t0 for which the
length of γ from t = t0 to t = 1 is equal to the length from t = 1 to t = 32 .
3 Let γ(t) = (t cos t, t sin t), t ∈ R. The section of the curve where t ≥ 0
(drawn below) is called the spiral of Archimedes, because it was described
in a book by Archimedes. Determine the arc length of the curve, measured
from t = 0. The following formula can be used
Z p
xp 1 p
1 + x2 dx = 1 + x2 + ln(x + 1 + x2 ) + c.
2 2
4 The parametrized curve γ(t) = (ect cos t, ect sin t), t ∈ R, where c > 0 is a
constant, is called a logarithmic spiral. Determine an arc length function
s(t) for γ, and show that s(t) has a limit s0 for t → −∞. Show that
s(t) − s0 , which can be interpreted as the arc length from γ(−∞) =
(0, 0) to γ(t), is proportional to kγ(t)k. This curve appears in nature, for
example in the shape of snail shells. The natural appearance is explained
by proportionality in the growth of the diameter of the shell and the length
of the snail.
y y
5 Determine a unit speed parametrization of the line through (0, 1, −3) and
(3, 3, 3).
6 Show that the curve γ(t) = (cos t sin t, sin2 t, 43 t) has constant speed, and
determine a constant k for which the reparametrization t 7→ γ(kt) has unit
speed.
8 Let γ(t) = (et cos t, et sin t), t ∈ R, be the logarithmic spiral with c = 1
(see exercise 4). Determine a reparametrization β(s), s > 0, with unit
speed such that β(s) → (0, 0) for s → 0 (the solution explains the name
of the curve).
Show that σ is regular at all (u, v) ∈ R2 , and that the coefficients of the
first fundamental form are E = 1, F = 0 and G = a2 + u2 .
12 Show that the coefficients E, F and G for the surface of revolution (see
page 35) σ(u, v) = (f (u) cos v, f (u) sin v, g(u)) are given by
D = {(u, v) | a ≤ u ≤ b, −π ≤ v ≤ π}
and assume that [a, b] is contained in the interval on which the profile
curve is defined.
58 Chapter 3
Determine the area of the belt on a sphere of radius 1, where the latitude
satisfies |u| ≤ π4 . Determine also the area of the cap, where π4 ≤ u ≤ π2 .
17 Let σ denote the graph of a smooth function z = h(x, y), and let D ⊂ R2
be an elementary domain. Verify the formula
Z q
A(σ, D) = 1 + (h′x )2 + (h′y )2 dA
D
19 Let σ(u, v) = (u cos v, u sin v, v) (the helicoid, see Exercise 10). Determine
the area of σ over D = {(u, v) | 0 ≤ v ≤ 1, v ≤ u ≤ 1}.
Chapter 4
Curvature
γ ′′ (t)
γ ′ (t)
The idea behind the definition is that the turning at t is described by the
position and size of the vector γ ′′ (t) relative to γ ′ (t). This relative position of
the two vectors is described through their determinant, which measures the
area of the parallelogram that they span. For example, if γ ′′ (t) has the same
direction as γ ′ (t), then the curve is not turning at all, and the determinant is
zero. The power 3 in the denominator will be explained shortly by our desire
to have a quantity independent of reparametrization (see Theorem 4.1).
Example 4.1.1 For a straight line with arbitrary parametrization, the vec-
tors γ ′ and γ ′′ will both have the same direction as the line, hence their
determinant is zero. Thus κ = 0 for a line.
60 Chapter 4
and
det[γ ′ (t) γ ′′ (t)] 1
κ(t) = ′ 3
= .
kγ (t)k r
Similar computations show that the circle with the clockwise parametrization
γ(t) = (r cos t, −r sin t) has curvature κ = − 1r .
Example 4.1.3 For an ellipse
we have
and
ab
κ(t) = 2 .
(a2 sin t + b2 cos2 t)3/2
Say for example that a > b. Then κ attains its maximal value ba2 when
sin t = 0 (where the denominator is minimal), and it attains its minimal
value ab2 when cos t = 0 (where the denominator is maximal).
y κ minimal
κ maximal
x
Example 4.1.4 Let γ(t) = (t, h(t)) be the graph of a smooth function h,
defined on an open interval I ⊂ R. Then γ ′ (t) = (1, h′ (t)) and γ ′′ (t) =
(0, h′′ (t)), and we obtain
h′′ (t)
κ(t) = .
(1 + h′ (t)2 )3/2
and
β ′′ (u) = φ′′ (u)γ ′ (φ(u)) + φ′ (u)2 γ ′′ (φ(u)). (3)
Hence
det[β ′ (u) β ′′ (u)] = φ′ (u)3 det[γ ′ (φ(u)) γ ′′ (φ(u))]
and
kβ ′ (u)k = |φ′ (u)| kγ ′ (φ(u))k.
By insertion in the definition (1), applied to the curve β, we see that the
curvature of β at u is ǫκ(φ(u)).
Notice that the power 3 in the denominator of (1) was crucial in the
preceding proof.
γ ′′ = κγb′ . (4)
γb′ · γ ′′ = det[γ ′ γ ′′ ] = κ.
Notice that if κ > 0 then γ ′′ and γb′ have the same direction and the curve
turns towards the left, and if κ < 0 they have opposite direction and the
curve turns to the right.
γ ′′ (s)
γ ′ (s)
γ ′′ (s)
γ ′ (s)
κ positive κ negative
F (t) · F (t) = 1.
Observe that the ordinary rule for differentiation of products also holds for
the differentiation of a dot product, that is, if f and g are differentiable maps
I → Rn , then
(f · g)′ = f ′ · g + f · g ′ .
Notice that Theorem 4.2 suggests a way to determine a plane unit speed
curve from its curvature function κ(s). With γ(s) = (x(s), y(s)), equation
(4) is equivalent with the system of differential equations x′′ = −κy ′ and
y ′′ = κx′ . By solving this system we can determine x′ and y ′ (up to some
constants), and after an integration we obtain x and y (up to further con-
stants). A simple example of this procedure is given in the following proof.
Proof. We may assume that the curve has unit speed. Assume that κ(s) = 0
for all s, then γ ′′ (s) = 0 by (4). Integrating twice we obtain γ(s) = p + sq
where p and q are constant vectors.
The statement ‘only if’ was seen in Example 4.1.1.
Curvature 63
Theorem 4.3. Assume that θ(s) is a smooth tangent angle for a plane curve
γ(s) with unit speed. Then the curvature of γ at s is given by
κ(s) = θ ′ (s).
kγ ′ (t) × γ ′′ (t)k
κ(t) =
kγ ′ (t)k3
The simpler expression for a curve with unit speed is derived from the fact
that in this case γ ′′ (s) is perpendicular to the unit vector γ ′ (s) (by Lemma
4.2) and hence
kγ ′ × γ ′′ k = kγ ′′ k.
Note that kγ ′ (t) × γ ′′ (t)k is easily computed by means of Appendix C (iii).
The motivation is similar to the one given in Section 4.1 for plane curves.
It will be shown below that the curvature κ is unchanged by reparametri-
sation. For a unit speed curve (6) shows that κ describes the rate of change
of the direction of the curve. Notice that the conclusions of Example 4.1.1
and Corollary 4.2 are valid for space curves as well, with similar proofs.
Notice however that in contrast with the situation for plane curves in
Section 4.1, the curvature of a space curve is always ≥ 0. This is related to
the fact that the curvature for a space curve does not contain information
about the direction to which the curve is turning. For a plane curve there
are only two possibilities, left and right, which can be determined by the sign
Curvature 65
of the curvature, but for a space curve there are infinitely many possibilities,
and it would be impossible to distinguish them just by a sign.
In connection with this, it should be remarked that if we apply the present
definition to a plane curve, viewed as a space curve in the xy-plane, we obtain
the absolute value of the previous definition. Indeed, if γ(t) = (x(t), y(t), 0)
then ′
′ ′′ ′ ′ ′′ ′′ x x′′
γ × γ = (x , y , 0) × (x , y , 0) = (0, 0, det )
y ′ y ′′
′
x x ′′
and hence kγ × γ k = det
′ ′′ .
y ′ y ′′
The notion of curvature for space curves is thus more primitive than that
for plane curves. This is also reflected when the following theorem is com-
pared with Theorem 4.1.
Theorem 4.4. The curvature of a space curve is unchanged under repara-
metrisation.
Proof. We use the notation in the proof of Theorem 4.1 (but now applied to
a space curve). It follows from (2) and (3) that
rω 2
κ(t) = .
r 2 ω 2 + λ2
4.5 Torsion
For space curves with non-zero curvature it is possible to define a ‘higher
curvature’ called torsion, which is associated with the third derivative γ ′′′ . It
describes the ‘twisting’ of the curve. For a plane curve, regarded as a curve
in R3 , the torsion is 0.
Let γ: I → R3 be a regular parametrized curve with curvature κ(t).
Definition 4.5. Let t ∈ I and assume that κ(t) 6= 0. The number
Hence
λω
τ= .
r2 ω 2+ λ2
Again we obtain a constant, which is reasonable by the same argument as in
Example 4.4.1.
Theorem 4.5. The torsion of a space curve is unchanged under a repara-
metrisation.
Proof. It follows by differentiation of equation (3) in the proof of Theorem
4.1 that
β ′′′ (u) = φ′′′ (u)γ ′ (φ(u)) + 3φ′′ (u)φ′ (u)γ ′′ (φ(u)) + φ′ (u)3 γ ′′′ (φ(u)). (8)
Curvature 67
det[β ′ (u) β ′′ (u) β ′′′ (u)] = φ′ (u)6 det[γ ′ (φ(u)) γ ′′ (φ(u)) γ ′′′ (φ(u))].
1
γ(t + ∆t) ≃ γ(t) + ∆tγ ′ (t) + (∆t)2 γ ′′ (t),
2
where the right hand side belongs to the osculating plane for all ∆t. We will
show that the torsion describes the rate of change of the osculating plane.
It follows from equations (2) and (3) that the osculating plane is unchanged
if the curve is reparametrized. Because of Theorem 4.5, we may therefore
assume that the given curve has unit speed. We introduce the notation t(s) =
γ ′ (s) for the unit tangent vector. Keeping the assumption that κ(s) 6= 0, let
γ ′′ (s)
n(s) = .
kγ ′′ (s)k
This unit vector, called the principal normal, is orthogonal to t(s) by Lemma
4.2. The unit vector
b(s) = t(s) × n(s),
which is called the binormal of the curve, is orthogonal to t(s) as well.
Notice that the vectors t(s) and n(s) span the directions of the osculating
plane, and that the binormal b(s) is normal to the osculating plane. It
follows that the rate of change of the osculating plane is expressed by the
size of the derivative b′ (s). The following result shows that this is exactly
what the torsion τ measures.
68 Chapter 4
Theorem 4.6. For a curve in R3 with unit speed and non-zero curvature
we have
b′ = −τ n.
In particular, τ = ±kb′ k.
Proof. We first show that b′ is proportional to n. For this it suffices to show
that it is orthogonal to t and b. That b′ ⊥ b is immediate from Lemma 4.2.
By differentiation of the equation b · t = 0 we obtain that b′ · t + b · t′ = 0.
Hence b′ ⊥ t if and only if b ⊥ t′ . By the definition of n we have t′ = κn,
hence b ⊥ t′ follows from b ⊥ n.
We thus conclude that b′ = cn for some constant c, which we now claim
is −τ . Since γ ′′ = κn we have γ ′′′ = (κn)′ = κ′ n + κn′ . Then
It follows that
τ = (t × n) · n′ = b · n′ . (9)
Theorem 4.7. For a curve with unit speed and non-zero curvature
t′ = κn
n′ = −κt + τ b
b′ = −τ n
n′ · t = −n · t′ = −n · κn = −κ.
The formulas in this theorem are called the formulas of Frenet (or of
Frenet-Serret). Since each of the functions t, n and b have three coordinates,
this is essentially a linear system of 9 first order differential equations in these
coordinates. By solving this system one can (at least in principle) determine
a curve from its curvature κ(s) and torsion τ (s), up to integration constants.
σu′ × σv′
N=
kσu′ × σv′ k
m(t) = N(µ(t)),
are called, respectively, the geodesic (or tangential) curvature and the normal
curvature of γ at t with respect to σ. For a unit speed curve, they are
κg (s) = γ ′′ (s) · u(s) and κn (s) = γ ′′ (s) · m(s), (10)
where u(s) = m(s) × t(s) with t(s) = γ ′ (s). The vector u(s) is called the
tangent normal of γ with respect to σ.
The formulas (10) for unit speed curves are easily obtained from the gen-
eral definitions. For a unit speed curve on σ, the three vectors
t(s), u(s), m(s)
again consitute a positively ordered orthonormal basis for R3 , this is called
the moving frame of Darboux. The first two basis vectors span the tangent
space Tµ(s) σ. Since in this case γ ′′ (s) is orthogonal to t(s) = γ ′ (s), it follows
from (10) that the decomposition of γ ′′ (s) according to this basis reads
γ ′′ (s) = κg (s) u(s) + κn (s)m(s). (11)
m=N
γ ′′ = κg u + κn m
u
t
γ
σ(U )
Since κg (s) u(s) ∈ Tµ(s) σ and κn (s)m(s) ⊥ Tµ(s) σ, this explains the reason
behind the terms ‘tangential’ and ‘normal’ curvature for κg and κn .
Theorem 4.8. The geodesic curvature κg is unchanged under a direction-
preserving reparametrisation of γ, and multiplied by −1 under a direction-
reversing reparametrization. The normal curvature κn is unchanged in both
cases.
Both κg and κn are unchanged under orientation-preserving reparametri-
sations of σ, and multiplied by −1 under orientation-reversing reparametriza-
tions.
Proof. The statements concerning reparametrization of γ are easily seen
from (2) and (3), and the statements concerning reparametrization of σ are
straightforward, since σ is only represented in the definitions through the
presence of N (see Section 2.8 for the notion of orientation).
Curvature 71
Corollary 4.8. The curvature, the geodesic curvature and the normal cur-
vature of γ satisfy
κ2 = κ2g + κ2n . (12)
Proof. We may assume the curve has unit speed by the preceding theorem.
The equation then follows from (11) by the theorem of Pythagoras.
Example 4.8.1 A plane curve regarded as a space curve γ(t) = (x(t), y(t), 0)
(as in Section 4.3) is a curve on the surface σ(u, v) = (u, v, 0) (the xy-plane).
The normal vector of this surface is N = (0, 0, 1). It is easily seen that
the definition of κg in this case is identical with the original definition of
curvature of plane curves in Section 4.1, and κn = 0.
Example 4.8.2 We will compute the curvatures κg and κn of a circle on
a sphere of radius 1. Such a curve is the intersection of the sphere and a
plane. It is called a great circle if the plane passes through the center of the
sphere, otherwise a small circle. For simplicity we assume that the plane is
horizontal (this is not a serious restriction, as it can be arranged by a spatial
rotation around the center of the sphere).
γ
σ(u, t)
u
y
t
x
with a fixed latitude u. The radius of the circle is cos u, hence it has curvature
κ = cos1 u (see Example 4.1.2). We find
γ ′ (t) = (− cos u sin t, cos u cos t, 0), γ ′′ (t) = (− cos u cos t, − cos u sin t, 0),
Hence
and
γ ′′ (t) · m(t) = cos2 u.
We conclude that
Proof of the lemma. Equation (13) was established by means of the chain rule
in Lemma 2.4, and Equation (14) is obtained in exactly the same manner.
Proof of the theorem. Since γ ′ (t) belongs to the tangent space at µ(t), we
have γ ′ (t)·m(t) = 0 for all t. By differentiation γ ′′ (t)·m(t)+γ ′ (t)·m′ (t) = 0,
from which it follows that
γ ′′ (t) · m(t) γ ′ (t) · m′ (t)
κn (t) = = − . (15)
kγ ′ (t)k2 kγ ′ (t)k2
Curvature 73
From (13) we see that the coordinates a and b are the same for all curves
with tangent vector γ ′ (t0 ) = w0 , and from (14) we then see that m′ (t0 ) is the
same for all such curves. It then follows from (15) that κn (t0 ) is the same
for all such curves.
Example 4.9.1 For circles on the unit sphere we found in Example 4.8.2
that κn = 1. Since every tangent direction w0 in every point is the tangent
direction of some circle on the sphere (in fact, of a unique great circle), we
conclude from the preceding theorem that κn = 1 at all points on all curves
on the sphere.
It follows from Theorem 4.9 that the normal curvature is a property of the
surface rather than of the curve γ, and the following definition makes sense.
Definition 4.9. Let p and w0 be as in Theorem 4.9. The normal curvature
of σ in p with direction w0 is the normal curvature κn (t0 ) of any parametrized
curve γ = σ ◦ µ on σ with µ(t0 ) = p and γ ′ (t0 ) = w0 .
It follows from Theorem 4.8 that the normal curvature of σ is unchanged
under reparametrizations, except for the sign which changes if orientation is
reversed.
4.10 Geodesics
Corollary 4.6 the curve is contained in a fixed plane. Being in the intersection
of a plane and the sphere, the curve is contained in a great circle or a small
circle. However, the latter possibility was already excluded.
Theorem 4.10. Let γ = σ ◦ µ be a regular parametrized curve on σ. Then
γ is a geodesic and has constant speed if and only if γ ′′ (t) is normal to Tµ(t) σ
for all t.
Proof. If γ has constant speed, a unit speed reparametrization is obtained
by multiplying t with a constant. The second derivative of γ is proportional
to the second derivative of the reparametrized curve. Hence if the curve is a
geodesic, it follows from (11) that γ ′′ (t) is normal to the surface.
Conversely, if γ ′′ (t) is normal to Tµ(t) σ for all t, then γ ′′ (t) · γ ′(t) = 0, and
d
hence dt kγ ′ (t)k2 = 0, from which we conclude there is constant speed. After
reparametrization to unit speed we conclude from (11) that κg = 0.
According to this theorem, a particle which moves on the surface with
no acceleration in the tangent directions of the surface, follows a geodesic.
The only acceleration is that which is necessary to keep the particle on the
surface, and it is normal to the surface.
4.11 Exercises
γ(0) γ ′ (0)
c. Determine two geodesic curves on σ which both have end points (1, 0, 0)
and (1, 0, 1), but which have different trace in between these two points.
Are there other geodesics between the same two points?
12 Let σ(u, v) = (f (u) cos v, f (u) sin v, g(u)) be a surface of revolution (see
pages 35 and 57).
a. Show that the meridians t 7→ σ(t, v) are geodesics.
b. Verify that for the parallel curve t 7→ σ(u, t)
f ′ (u) g ′ (u)
κg (t) = , κn (t) = .
f (u)(f ′ (u)2 + g ′ (u)2 )1/2 f (u)(f ′ (u)2 + g ′ (u)2 )1/2
σu′ × σv′
N=
kσu′ × σv′ k
are exactly the two vectors −N′u and −N′v , but for reasons to be explained,
we prefer to proceed somewhat differently.
Observe that it follows from Lemma 4.2 that −N′u and −N′v are perpen-
dicular to N, hence they both belong to the tangent space Tp σ.
Definition 5.1. Let p = (u0 , v0 ) ∈ U . The linear map
W = Wp : Tp σ → Tp σ,
defined by W (σu′ ) = −N′u and W (σv′ ) = −N′v , and hence
W (aσu′ + bσv′ ) = −aN′u − bN′v (1)
for all a, b ∈ R, is called the shape operator of the surface at p (the derivatives
σu′ , σv′ , N′u and N′v are all evaluated in p).
It follows from the fact that the pair (σu′ , σv′ ) is a basis for Tp σ, that W
is a well defined linear map Tp σ → Tp σ. The motivation for studying this
map rather than just the vectors N′u , N′v is to obtain a notion which behaves
nicely under reparametrizations. The idea is that a reparametrization will
change N′u and N′v , but also σu′ and σv′ , and it turns out that these changes
are always so related that the map remains essentially the same. This will be
seen in the theorem below, and the conclusion is that the shape operator is
more directly related to a geometric property of the surface than the vectors
N′u and N′v .
Example 5.1.1 Let σ(u, v) = p + uq1 + vq2 be the plane through p spanned
by two linearly independent vectors q1 , q2 ∈ R3 . Then N = kqq11 ×q ×q2
2k
is con-
stant, and the shape operator W is the zero operator.
Example 5.1.2 For the unit sphere with standard spherical coordinates
σ(u, v) we have seen in Example 2.8.1 that N(u, v) = −σ(u, v). Hence N′u =
−σu′ and N′v = −σv′ , and it follows that the shape operator Wp is the identity
operator on Tp σ for all p.
Example 5.1.3 Let γ: I → R2 be a plane curve with unit speed and tangent
vector t(s) = γ ′ (s). Since (t̂)′ = tb′ it follows from Theorem 4.2 that
ct̂ = κˆt̂ = −κt,
(t̂)′ = tb′ = κ
where we used that ˆt̂ = −t. Thus it is the negative of the derivative of the
normal vector t̂ which describes the curvature κ.
If we view N and t̂ as analogues of each other, the derivatives of N are
analogous to (t̂)′ . The analogue of the map W defined by (1) is therefore the
linear map aγ ′ 7→ −a(t̂)′ (where a ∈ R is arbitrary) of the 1-dimensional tan-
gent space to itself. By the equation found above this map is multiplication
by κ. In this sense W is a higher dimensional version of κ.
Recall from Section 2.4 that a parametrized curve γ on σ by definition is
a curve of the form γ = σ ◦ µ where µ: I → U is a parametrized plane curve.
The second fundamental form 79
Nσ
γ
σ τ
U V
µ φ ν
for all w1 , w2 ∈ Tp σ.
Theorem 5.5. There exists for each p ∈ U an orthonormal basis w1 , w2 for
Tp σ consisting of principal vectors with corresponding principal curvatures
κ1 , κ2 ∈ R.
With respect to this basis the second fundamental form is given by
for all a, b ∈ R.
Proof. The first statement follows immediately from Corollary D.1 in Ap-
pendix D with U = Tp σ ⊂ R3 .
The expression (12) now follows by evaluation of w · W (w) with w =
aw1 + bw2 .
Corollary 5.5.1. Let w1 , w2 and κ1 , κ2 be as above, and let θ ∈ R. The
normal curvature in direction
is
κn = κ1 cos2 θ + κ2 sin2 θ. (13)
In particular, κn belongs to the interval between κ1 and κ2 , which are the
extremal values of κn .
Proof. It follows from Theorem 5.2 that κn = IIp (w0 ). Then (13) is obtained
from (12). Furthermore, if for example κ1 ≤ κ2 , then from (13)
κn = κ1 cos2 θ + κ2 sin2 θ ≤ κ2 cos2 θ + κ2 sin2 θ = κ2
and similarly κn ≥ κ1 .
The principal curvatures and directions can be explicitly determined by
means of the matrix for W . We summarize the conclusion:
Corollary 5.5.2. The principal curvatures κ1 , κ2 are the roots κ of the equa-
tion −1 !
E F L M 1 0
det −κ = 0.
F G M N 0 1
a
The corresponding principal vectors are aσu′ + bσv′ where b is non-zero and
solves −1
E F L M a a
= κi .
F G M N b b
Proof. This follows from the fact that the shape operator is represented by
−1
E F L M
the matrix according to Theorem 5.4.
F G M N
Example 5.5.1 Let σ(u, v) = (cos v, sin v, u), then σ parametrizes a cylinder
(Example 1.2.3). We will determine the principal curvatures and principal
vectors at the point σ(u, v). We find
σu′ = (0, 0, 1), σv′ = (− sin v, cos v, 0)
and hence E = G = 1, F = 0, and N = (− cos v, − sin v, 0). Furthermore
′′ ′′ ′′
σuu = σuv = 0, σvv = (− cos v, − sin v, 0)
and hence
L = M = 0, N = 1.
The matrix of the shape operator with respect to σu′ , σv′ is therefore
−1
1 0 0 0 0 0
= .
0 1 0 1 0 1
The principal curvatures are the eigenvalues of this matrix, κ1 = 0 and
κ2 = 1. Principal vectors are σu′ and σv′ since the matrix is already diago-
nal. The normal curvature in direction σu′ (vertical) is zero, and the normal
curvature in direction σv′ (horizontal) is 1.
The second fundamental form 85
D = C −1 AC
t t
q(w) = wt Aw = (Cw′ )t A(Cw′ ) = w′ C t ACw′ = w′ Dw′
elliptic paraboloid
If λ1 and λ2 are both non-zero but have different signs, then the graph
is called a hyperbolic paraboloid, because each horizontal cross section of the
The second fundamental form 87
graph is a hyperbola. In this case the graph has the shape of a ‘saddle’, see
below.
hyperbolic paraboloid
If one of the eigenvalues is zero, but not the other one, then the graph
is called a parabolic cylinder (it is a ‘cylinder’ in which the cross section is
a parabola instead of a circle). Finally, if λ1 = λ2 = 0 then q is the zero
function and the graph is a plane.
parabolic cylinder
and since Tp σ is the xy-plane we conclude that h′u (0, 0) = h′v (0, 0) = 0. In
particular, we see that the first fundamental form has
E = G = 1, F =0
We thus see that σ is approximated near p by the graph of 12 IIp , and we can
read off the shape of σ from the shape of this graph. Since IIp is a quadratic
The second fundamental form 89
form, its shape was described in Section 5.6. The conclusion is that after a
suitable rotation of the xy-plane, which brings the principal vectors in the
direction of the axes, the surface will have an appearance like one of the
figures in Section 5.6, depending on the signatures of the numbers κ1 , κ2 .
Definition 5.7. The type of a point p ∈ U is defined as follows. It is called
an elliptic point of the surface if the principal curvatures κ1 , κ2 at p are non-
zero and have the same sign, and a hyperbolic point if they are non-zero with
opposite signs. If one of the principal curvatures is zero, but the other not,
the point is called parabolic, and finally if κ1 = κ2 = 0 the point is called
planar.
Notice that the type of a point does not change by reparametrization,
since the principal curvatures are either unchanged or both change sign.
5.8 Exercises
f ′ g ′′ − f ′′ g ′ f g′
L= p , M = 0, N=p
(f ′ )2 + (g ′ )2 (f ′ )2 + (g ′ )2
Teorema egregium
Notice that the determinant K(p) does not depend on the use of the basis
(σu′ , σv′ ) for Tp σ, which is used in the above expression. It follows that K(p) is
94 Chapter 6
K(p) = κ1 κ2 .
γ ′ (t0 ) = w. Let ℓ(t) denote the arc length of γ from t0 to t, then this function
is determined by measurements of arc lengths. Since
kwk = ℓ′ (t0 )
along the curve. However, we know from Theorem 2.5 that all curves can
be reparametrized to unit arc length, and hence no curves at all can be
distinguished from each other by means of intrinsic invariants. Remarkably,
we shall see in the following sections that the situation is less hopeless for
surfaces.
1 d ′ 1 d ′
γ ′′ (t) · γ ′ (t) = γ (t) · γ ′ (t) = kγ (t)k2 . (1)
2 dt 2 dt
We will now derive the analog for surfaces of this observation.
In order to express coefficients in an efficient way, it is convenient to change
notation and use indices. We number the coordinates u and v by 1 and 2,
thus
σ1′ = σu′ , σ2′ = σv′
and
′′ ′′ ′′ ′′
σ11 = σuu , σ12 = σuv , etc.
The matrices of components of the two fundamental forms are denoted
g11 g12 E F b11 b12 L M
= , = ,
g21 g22 F G b21 b22 M N
that is,
gij = σi′ · σj′ , ′′
bij = σij · N. (2)
The analog of (1) is
′′
Lemma 6.3. The expression σij · σk′ is intrinsic. It can be determined from
the coefficients of the first fundamental form by means of the following for-
mulas
′′ ′ 1 ∂gik ∂gjk ∂gij
σij · σk = + − , (i, j, k = 1, 2). (3)
2 ∂uj ∂ui ∂uk
∂gik ′′
= σij · σk′ + σkj
′′
· σi′ .
∂uj
Teorema egregium 97
We insert this expression in the right side of (3), with proper permutations
of the symbols. The equality with the left side of (3) is obtained by simplifi-
′′ ′′
cation with the symmetry rule σij = σji .
In the following it will be convenient to work with some quantities which
′′
are closely related to the σij · σk′ . These are the so-called Christoffel symbols.
Definition 6.3. The Christoffel symbols associated with σ are the functions
Γkij : U → R defined for i, j, k = 1, 2 by
−1
Γ1ij g11 g12 ′′
σij · σ1′
= ′′ . (4)
Γ2ij g21 g22 σij · σ2′
constitute a basis for R3 , which can be seen as analogous to the moving frame
(t, n, b) of a curve (see Section 4.7), although in general (5) is not orthonor-
mal. The motivation for the symbols Γkij is that together with the coefficients
′′
bij of the second fundamental form they appear in the representation of σij
with respect to the basis (5).
Theorem 6.3. Let coefficients Γkij for i, j, k = 1, 2 be defined as above. Then
′′
σij = Γ1ij σ1′ + Γ2ij σ2′ + bij N. (6)
Thus the vectors on each side of (6) have equal dot products with all elements
of a basis. This implies that they are equal.
The following corollary expresses that the Christoffel symbols can be de-
termined from E, F and G. However, they are not intrinsic invariants, since
in general they change when the surface is reparametrized (see Example
6.3.2).
98 Chapter 6
Corollary 6.3. The Christoffel symbols Γkij are intrinsic. They can be ex-
pressed by a formula which involves only the coefficients of the first funda-
mental form and their (first order) derivatives with respect to u and v.
The actual formula for Γkij is somewhat complicated, and the fact that
it exists is more important than its detailed appearance. Let the inverse
matrix of gij be denoted by g ij , with superscript indices, then it follows from
equations (3) and (4) that
1 X kl ∂gil ∂gjl ∂gij
Γkij = g + − . (7)
2 ∂uj ∂ui ∂ul
l
′′
If we insert this formula (7) into (6), we obtain an expression for σij which
is called the formula of Gauss.
Consider in particular the case where we have an orthogonal parametriza-
tion, that is, where F = 0. In this case the formulas (3) and (7) become
considerably simpler and can be expressed in our original notation of E, F
and G as follows:
′′ 1 ′ 1 ′ 1
σ11 · σ1′ = E , ′′
σ12 · σ1′ = E , ′′
σ22 · σ1′ = − G′u ,
2 u 2 v 2
′′ 1 1 1 ′
σ11 · σ2′ = − Ev′ , ′′
σ12 · σ2′ = G′u , ′′
σ22 · σ2′ = G ,
2 2 2 v
and
1 ′ 1 ′ 1 ′
Γ111 = E , Γ112 = Γ121 = E , Γ122 = − G ,
2E u 2E v 2E u
1 ′ 1 ′ 1 ′
Γ211 =− E , Γ212 = Γ221 = G , Γ222 = G .
2G v 2G u 2G v
Example 6.3.1 It follows from the definition in (4) that the Christoffel
symbols for a plane σ(u, v) = p + uq1 + vq2 are all zero, since all the second
′′
derivatives σij vanish. This can be seen as well from the formulas above,
since E = G = 1 and F = 0 in this case.
Example 6.3.2 Consider the xy-plane with polar coordinates σ(u, v) =
(u cos v, u sin v, 0). Here σu′ = (cos v, sin v, 0) and σv′ = (−u sin v, u cos v, 0),
and hence E = 1, F = 0 and G = u2 . By insertion in the formulas above we
see that the Christoffel symbols are Γ111 = Γ112 = Γ211 = Γ222 = 0, Γ122 = −u
and Γ212 = u1 . In particular, they differ from those of the preceding example.
Teorema egregium 99
det(bij )
K= (8)
det(gij )
it suffices to show that the determinant of the matrix (bij ) can be expressed
in terms of the component functions gij and their derivatives.
From the expression (see Theorem 6.3)
2
X
′′
σij = Γm ′
ij σm + bij N
m=1
2
′′′
X ∂Γm
ij ′ ∂bij
σijk = ( σm + Γm ′′
ij σmk ) + N + bij N′k .
m=1
∂u k ∂u k
It follows that
2
′′′
X ∂Γm
ij
σijk · σl′ = ( gml + Γm ′′ ′ ′ ′
ij σmk · σl ) + bij Nk · σl ,
m=1
∂uk
and since
N′k · σl′ = −N · σlk
′′
= −blk
(see Section 5.3, (9)-(10)) we obtain
2
′′′
X ∂Γm
ij
σijk · σl′ = ( gml + Γm ′′ ′
ij σmk · σl ) − bij blk .
m=1
∂uk
100 Chapter 6
We introduce the abbreviation Rjkil , called the Riemann symbol, for the
difference
2 2
X ∂Γm
ij
X ∂Γm
Rjkil = ( gml + Γm σ ′′
ij mk · σ ′
l ) − ( ik
gml + Γm ′′ ′
ik σmj · σl ), (9)
m=1
∂u k m=1
∂u j
hence
Rjkil = bij blk − bik blj .
In particular,
R1212 = det(bij ). (10)
The Riemann symbol R was introduced as an abbreviation for an ex-
pression involving the quantities Γm ′′ ′
ij , gij and σij · σk (with various indices
i, j, k, m). Hence it follows from Lemma 6.3 and Corollary 6.3 that R can
be expressed by means of the gij . An inspection shows that derivatives up
to order 2 are involved. According to (10) this implies the statement of the
theorem.
From the equation (10) one can derive an explicit, but quite complicated,
expression for the Gauss curvature in terms of the coefficients of the first
fundamental form. If F = 0 it becomes considerably simpler, and reads
′ ′ ′ !
1 Gu Ev′
K=− √ √ + √ . (11)
2 EG EG u EG v
6.5 Isometries
A useful interpretation of the notion of intrinsic geometry is obtained
from the concept of isometries of surfaces. Basically, an isometry from one
surface to another is a distance-preserving map. The definition is simplest
for parametrized surfaces that have a common domain U , so we shall start
by considering this situation.
Definition 6.5.1. Let σ: U → R3 and ρ: U → R3 be parametrized surfaces
defined on a common open set U ⊂ R2 . Then σ and ρ are said to be isometric
if their first fundamental forms are equal, that is if
Eσ = Eρ , Fσ = Fρ , Gσ = Gρ .
Teorema egregium 101
When the surfaces are isometric, this map is said to be a bending of one sur-
face to the other, because the deformation (without stretching) for example
of a piece of paper, provides an example.
Example 6.5.1 Let σ(u, v) = (u, v, 0) and ρ(u, v) = (cos v, sin v, u) be the
plane and the cylinder, both defined on U = R2 . Then σ and ρ both have
E = G = 1, F = 0, hence they are isometric. In this case the bending
Ψ: σ(U ) → ρ(U ) corresponds to the folding of a cylinder from a plane piece
of paper.
We now turn to the general situation of parametrized surfaces defined
on different domains, say σ: U → R3 and ρ: V → R3 . We assume that a
diffeomorphism ψ: U → V is given. Then ρ◦ψ: U → R3 is a reparametrization
of ρ (see Section 2.6) with the same domain U as σ.
σ ρ◦ψ ρ
v
U V
ψ
u
Lemma 6.5. When ψ induces an isometry the arc lengths of γ and δ are
equal. That is, let t1 , t2 ∈ I then the arc length of γ from t1 to t2 is equal to
the arc length of δ from t1 to t2 .
Proof. Let µ(t) = (u(t), v(t)) denote the coordinates of γ(t) in the parametri-
zation γ = σ ◦ µ by means of σ. The arc length of γ is expressed in Theorem
3.4 by means of the functions u(t) and v(t) together with Eσ , Fσ , Gσ .
δ
γ
σ ρ
v
U V
µ ψ◦µ
ψ
u
R
I
The conclusion from the theorem above is then that if k 2 = 1+λ2 then the
cone and the plane have the same Gaussian curvature in points σ(u, v) and
ρ(ku, v/k) (in fact, both Gaussian curvatures are zero, as we knew already).
Ψ
2π/k
σ ρ
v θ
π
π/k
u ψ r
−π/k
−π
Teorema egregium 105
y
x
For the second surface let ρ(s, t) = (s cos t, s sin t, at) where (s, t) ∈ V = R2 .
This surface is called a helicoid (see page 56). We shall verify that the map
ψ(u, v) = (a sinh u, v) induces an isometry from σ to ρ. It is a diffeomorphism
since sinh: R → R is bijective with a smooth inverse (by Theorem 2.5). An
elementary computation shows that the first fundamental forms for σ and
for ρ ◦ ψ are given by E = G = a2 cosh2 u and F = 0 in both cases. Hence ψ
induces an isometry.
Notice that the catenoid is not injective. If we restrict to the subset
{(u, v) | −π < v < π} of U , then σ is injective. The image by ψ of this set
corresponds to one winding of the helicoid.
106 Chapter 6
6.6 Exercises
1 Verify the following formula for the Gauss curvature of a surface of revo-
lution
(f ′ g ′′ − f ′′ g ′ )g ′
K= .
(f ′2 + g ′2 )2 f
′′
Show that if the profile curve has unit speed, then K = − ff .
2 The plane curve γ(t) = (sin t, cos t + ln tan 2t ), where 0 < t < π is called
the tractrix. y
t=π
x
π
t= 2
t=0
π
Show that the curve is regular for t 6= 2. The surface of revolution
u
σ(u, v) = (sin u cos v, sin u sin v, cos u + ln tan ), 0 < u < π, v ∈ R
2
is called a pseudosphere. Verify that K = −1 everywhere, except at u = π2 ,
(so that σ resembles a sphere of radius 1, which has constant K = 1).
3 Compute the coefficients L, M and N for the surfaces σ and ρ in Example
6.5.5 (see also Exercises 2 and 3, page 89), and use these to determine
their Gauss curvatures. Verify the Teorema Egregium for these surfaces.
Teorema egregium 107
4 Show that the surface of revolution τ (s, t) = (s cos t, s sin t, a ln t), where
(s, t) ∈ U = {(s, t) | t > 0} and a > 0 is constant, has the same Gauss
curvature K(s, t) as the helicoid ρ in Exercise 3, restricted to U . Never-
theless, the first fundamental form of τ is different. Does this contradict
the Teorema Egregium?
5 a. Let three numbers e, f, g ∈ R with eg > f 2 and e, g > 0 be given.
Prove that there exists a regular parametrized surface σ: R2 → R3 , the
image of which is the xy-plane, such that E(u, v) = e, F (u, v) = f and
G(u, v) = g for all (u, v) ∈ R2 . Hint: Try a linear map σ : R2 → R3 .
b. Let next σ: U → R3 be an arbitrary regular parametrized surface for
which E, F and G are constant. Prove that there exists a diffeomorphism
which induces an isometry from σ to a parametrized surface of which the
image is contained in the xy-plane.
6 a. Let 0 < a < 1 and let
Z s p
f (s) = a cos s and g(s) = 1 − a2 sin2 r dr.
0
Verify that the curve γ(s) = (f (s), g(s)) has unit speed.
b. Let ρ(s, t) = (f (s) cos t, f (s) sin t, g(s)), be the surface of revolution
with profile curve γ, where
π π
(s, t) ∈ V = {(s, t) | − < s < , −π < t < π}.
2 2
Furthermore, let σ(u, v) denote the part of a unit sphere with standard
spherical coordinates (Example 1.2.2), for which the domain of definition
is reduced to U = {(u, v) | − π2 < u < π2 , −aπ < v < aπ}, that is, a
segment on the back has been removed.
z z
σ(u, v) ρ(s, t)
y y
x x
E = 1 + v2, F = uv, G = u2
for (u, v) ∈ U . Show that ψ induces an isometry from σ to itself (that is,
take V = U and ρ = σ in Definition 6.5.2).
c. Without explicitly computing the Gauss curvature K(u, v) of σ, show
that it does not depend on v (hint: use that c was arbitrary).
8 Prove the following statements (see page 102) by applying the chain rule
and the identity (3) in Section 3.4:
a. If ψ induces an isometry from σ to ρ, then ψ −1 induces an isometry
from ρ to σ.
b. If in addition a third parametrized surface τ : W → R3 is given, together
with a diffeomorphism φ: V → W inducing an isometry from ρ to τ , then
φ ◦ ψ induces an isometry from σ to τ .
Chapter 7
Geodesics
where gij is the first fundamental form of σ at µ(t), u1 , u2 are the coordinates
of µ(t) and (u1 )′ , (u2 )′ are their derivatives with respect to t, and where Λi
denotes the function
2
X
Λi (t) = (ui )′′ (t) + Γijk (µ(t)) (uj )′ (t)(uk )′ (t), i = 1, 2,
j,k=1
Corollary 7.1. Let γ(s) = σ(u1 (s), u2 (s)) be a regular parametrized smooth
curve on σ. Then γ is a geodesic and has constant speed if and only if the
coordinate functions u1 and u2 satisfy the following system of second order
differential equations
2
X
′′
(ui ) + Γijk (uj )′ (uk )′ = 0, i = 1, 2. (2)
j,k=1
γ(s)
p p p
= (k −1 1 + s2 cos(k tan−1 s), k −1 1 + s2 sin(k tan−1 s), λk −1 1 + s2 )
Ψ−1
δ
(i) there exists u0 ∈ I such that γ(v) = σ(u0 , v) for all v, and this curve
is a geodesic on σ,
(ii) all the coordinate curves I ∋ u 7→ σ(u, v) are unit speed geodesics on
σ, which intersect orthogonally with γ (that is, the tangent vector σu′ (u0 , v)
is orthogonal to γ ′ (v) = σv′ (u0 , v) for all v ∈ J).
v
U =I×J
σ γ
J
u
u0
I
Example 7.3.1 The standard coordinates (x, y) on the xy-plane are geodesic
coordinates. Perhaps more interestingly, the spherical coordinates σ(u, v) on
the unit sphere is a geodesic coordinate system. Indeed, the curve γ(v) =
σ(0, v), the ‘equator’, is geodesic, and the meridians u 7→ σ(u, v) are geodesics
that intersect orthogonally with γ. Notice that in this case the curves v 7→
σ(u, v) are small circles if u 6= 0, hence not geodesics.
1 √
K = − √ ( G)′′uu . (6)
G
We shall now give a geometric interpretation of this formula.
Let p = (0, 0) = µ(0) ∈ U . For ǫ > 0 let Dǫ denote the square
Dǫ = [−ǫ, ǫ] × [−ǫ, ǫ]
σ(Dǫ )
is called a square about p on σ. Its area is denoted A(σ, Dǫ ) (see Section 3.9).
v z
σ σ(U )
U
Dǫ σ(Dǫ )
u
y
x
3
K = − lim ǫ−4 (A(σ, Dǫ ) − A(Dǫ )). (7)
2 ǫ→0
that went into the definition of a square (geodesics and right angles) are
also intrinsic, Gauss’ Teorema Egregium is certainly a consequence of this
theorem. However, this serves as a geometric explanation rather than a new
proof of the theorem, since the proof given below of (7) uses Gauss’ formula
for K, of which the Teorema is already an immediate consequence.
In particular we notice the minus in the limit formula for K. Thus, in
an elliptic point, the area of σ(Dǫ ) will be smaller than that of Dǫ , for ǫ
sufficiently small, and in a hyperbolic point it will be larger.
Proof. We shallpuse the Taylor approximation formula for the smooth func-
tion f (u, v) = G(u, v), see Appendix B. With (u0 , v0 ) = (0, 0) it reads
f (u, v) = f (0, 0) + fu′ (0, 0)u + fv′ (0, 0)v
1 ′′
+ (fuu (0, 0)u2 + 2fuv′′ ′′
(0, 0)uv + fvv (0, 0)v 2 ) + R(u, v)
2
where the remainder R(u, v) satisfies |R(u, v)| ≤ Ck(u, v)k3 in a neighbor-
hood of (0, 0) for a constant C.
By Theorem 7.4 we have G(0, v) = 1 and G′u (0, v) = G′v (0, v) = 0. Hence
f (0, v) = 1 and fu′ (0, v) = fv′ (0, v) = 0,
and by differentiation with respect to v,
′′ ′′
fuv (0, v) = fvv (0, v) = 0.
′′
Finally, by the Gauss formula (6), fuu (0, 0) = −K. The Taylor formula is
thus
p 1
G(u, v) = 1 − Ku2 + R(u, v).
2
2
Since EG − F = G, the area of σ(Dǫ ) is by definition
Z √
A(σ, Dǫ ) = G dA
Dǫ
and hence
Z p
A(σ, Dǫ ) − A(Dǫ ) = G(u, v) − 1 dA
Dǫ
Z ǫZ ǫ
1
= − Ku2 + R(u, v) du dv
−ǫ −ǫ 2
Z ǫZ ǫ
2 4
=− ǫ K+ R(u, v) du dv.
3 −ǫ −ǫ
7.6 Exercises
1
µ(s) = (a, es ) or µ(s) = (a + r tanh s, r ),
cosh s
has unit speed, and show that it is a geodesic. Here a ∈ R and r > 0 are
constants, and s is assumed to belong in an interval for which µ(s) ∈ U .
Make a sketch of each curve µ in the (u, v)-plane, say with a = r = 1
(Hint: Notice that tanh2 s + ( cosh1 2
s ) = 1).
d. Suppose in addition that the mentioned surface has coefficients M = 0
1
and N = v −2 (v 2 − 1) 2 in the second fundamental form. Determine L and
the principal curvatures κ1 , κ2 .
2 Let U = R2 , and let σ: U → R3 be a regular parametrized surface for
which E = 1, F = 0 and G = 1 + u2 (see for example Exercise 3.10).
a. Determine the Christoffel symbols.
b. Show that t 7→ σ(t, v) is a geodesic for all v.
c. Find the geodesic curvature of the curve t 7→ σ(u, t) for u ∈ R.
d. Verify that σ is a geodesic coordinate system, and determine the Gauss
curvature by means of equation (6).
3 Let σ: U → R3 be a geodesic coordinate system for which the Gaussian
curvature is constant, K = 0. Show that G = 1 and that σ is isometric
to a part of a plane (Hint: Conclude from (6) that G = (au + b)2 where a
and b are functions of v. Determine a and b from Theorem 7.4).
4 Let σ: U = I × J → R3 be a geodesic coordinate system transversal to
the curve γ(t) = σ(0, t). Assume that the Gaussian curvature is constant,
K = 1. Show that G = cos2 u and that σ is isometric to a part of the unit
sphere (Hint: Conclude from (6) that G = (a cos u + b sin u)2 where a and
b are functions of v. Determine a and b from Theorem 7.4).
118 Chapter 7
Appendices
v · w = v1 w1 + · · · + vn wn ∈ R.
v·w
cos θ = (A.1)
kvk kwk
provided the vectors are non-zero. It follows from the Cauchy-Schwarz in-
equality
|v · w| ≤ kvk kwk
that the right hand side of (A.1) belongs to [−1, 1], so that the angle θ is
well defined.
The vectors v and w are said to be orthogonal if v · w = 0, or equivalently,
if the angle between them is π2 , and they are said to be orthonormal if in
addition they both have length 1. An orthonormal basis for Rn (or for a
subspace) is a basis whose members are pairwise orthonormal, as for example
the standard basis e1 , e2 , e3 for R3 .
For r > 0 and p ∈ Rn the set
Br (p) = {x | kx − pk < r}
For instance, a set in R2 of the form U =]a, b[×]c, d[, with open intervals
]a, b[ and ]c, d[, is open.
The interior of an arbitrary set A ⊂ Rn is the set of points p ∈ A for
which A is a neighborhood. This set is often denoted A◦ , and it is an open
set. It is the largest open set contained in A. In particular, the interior of
an open set is the set itself.
The boundary of A ⊂ Rn is the set of points p ∈ Rn (not necessarily in
A) for which every open ball around p contains at least one point of A and
at least one point of the complement Rn \ A. It is often denoted ∂A. A set
A ⊂ Rn is called closed if ∂A ⊂ A.
For example, the boundary of U =]a, b[×]c, d[ consists of the four line
segments that connect the corners of U .
A set A ⊂ Rn is called bounded if there exists R > 0 such that kxk ≤ R
for all x ∈ A.
We recall that a function f : A → R, where A ⊂ Rn , is called continuous if
for each p ∈ A and each ǫ > 0 there exists δ > 0 such that if kx − pk < δ then
|f (x) − f (p)| < ǫ. A function f : A → Rm is continuous if the components
f1 , . . . , fm : A → R defined by f (x) = (f1 (x), . . . , fm (x)), are continuous.
Exercises
A.1 Determine the angle between (1, 1, 1, 1) and (1, 1, 1, 0) in R4 .
A.2 Let γ(t) = (3t, 3t2 , 2t3 ). Show that the angle between the tangent vector
of γ and the line given by y = 0, z = x, is a constant.
A.3 Verify that u = ( 32 , 32 , 13 ) and v = ( 13 , − 32 , 23 ) are orthonormal vectors.
Find a third vector w ∈ R3 , such that u, v, w is orthonormal basis.
Determine the coordinates for a = (1, 1, 1) with respect to this basis.
A.4 Prove that the set {(u, v) ∈ R2 | u, v > 0} is open in R2 , and that
{(u, v) ∈ R2 | u, v ≥ 0} is not open.
A.5 Assume that f : Rn → R is continuous. Prove that {x ∈ Rn | f (x) < c}
is an open set for every constant c ∈ R.
A.6 Verify that the open ball Br (p) really is open.
t 7→ f (t, a2 , . . . , an ).
Appendices 121
It is easily seen that the Jacobian of this map is exactly the matrix A, that
is, DL(x) = A for all x ∈ Rn .
We call F continuously differentiable if each coordinate function Fj is con-
tinuously differentiable, or in other words, if each entry in the Jacobi matrix
exists and depends continuously on a. Recall the following fundamental the-
orem, which asserts that x 7→ F (a) + DF (a)(x − a) approximates F near a.
Theorem B.1. Let F : Ω → Rm be continuously differentiable and let a ∈ Ω.
Then
kF (x) − [F (a) + DF (a)(x − a)]k
→ 0 for x → a, (B.1)
kx − ak
that is, the vector difference F (x) − [F (a) + DF (a)(x − a)] tends to 0 even
after division by kx − ak.
A function F which satisfies (B.1) is called differentiable at a, and the the-
orem simply asserts that ‘continuously differentiable’ implies ‘differentiable’.
122 Appendix B
Composition
The differentiation of composed maps is governed by the chain rule. For
functions of one variable it is the well known rule
(g ◦ f )′ (a) = g ′ (f (a))f ′(a),
and for functions of several variables it takes the following form.
Theorem B.2 (Chain rule). Let Ω ⊂ Rn and Ω′ ⊂ Rm be open, and let
F : Ω → Ω′ and G: Ω′ → Rl ,
be continuously differentiable. Then
G ◦ F : Ω → Rl
is continuously differentiable and has the Jacobi matrix
D(G ◦ F )(a) = DG(F (a)) DF (a)
for all a ∈ Ω, where the product on the right is given by ordinary matrix
multiplication.
In particular, if n = 1 we can write the chain rule in the following form
(G ◦ F )′ (a) = DG(F (a)) F ′ (a). (B.2)
∂ 2f ∂ 2f
=
∂xi ∂xj ∂xj ∂xi
∂ 3f ∂3f ∂ 3f
= =
∂x21 ∂x2 ∂x1 ∂x2 ∂x1 ∂x2 ∂x21
with the following estimate valid for a C 3 -function f . For a given point
(u0 , v0 ) ∈ Ω there exist constants ǫ > 0 and C > 0 such that
Exercises
B.1 Find fu′ and fv′ for each of the functions f : R2 → R:
1) f (u, v) = u2 + v 2 + 3uv − u − 4v,
2) f (u, v) = e2u−v+1
B.2 Determine the Jacobi matrix √ at (1, 1) for f : {(u, v) | u, v > 0} → R2 ,
given by f (u, v) = (u2 v, 2 uv).
B.3 Let f be a differentiable map R3 → R. Determine the derivative of
t 7→ f (t, t2 , et ).
B.4 Let g: R2 → R be given by g(x, y) = xy, and let ϕ: R2 → R2 be given
by ϕ(x, y) = (x + y, x − y). Determine the Jacobi matrices for g, ϕ, and
for the inverse map f (u, v) = ϕ−1 (u, v). Determine the Jacobi matrix
for g ◦ f in each of the following two ways:
1) By using the chain rule.
2) Through explicit computation of g ◦ f (u, v).
B.5 Let ϕ be an arbitrary differentiable function R → R, and let F (x, y) =
xy − ϕ(y/x) for (x, y) ∈ R2 with x 6= 0. Show that x ∂F
∂x
+ y ∂F
∂y
= 2xy.
B.6 Prove the rule
(f · g)′ = f ′ · g + f · g ′
for f, g: R → Rn (see page 62).
B.7 Let γ: I → Rn be smooth with γ(t) 6= 0 for all t. Show that t 7→ kγ(t)k
is differentiable and has the derivative
γ ′ (t) · γ(t)
.
kγ(t)k
Appendices 125
for all b ∈ R2 , where the dot denotes the standard dot product (see Appendix
A). The map a 7→ â is linear.
The construction of â is particular for R2 . In R3 there is no way to
distinguish a normal vector to a given vector, since there are infinitely many
normal vectors. Instead, the analog of the construction points out a normal
vector to two given vectors.
For two vectors a = (a1 , a2 , a3 ) and b = (b1 , b2 , b3 ) in R3 we define the
cross product, which is again a vector in R3 , by
a b2 a b1 a1 b1
a × b = 2 , − 1 , .
a3 b3 a3 b3 a2 b2
126 Appendix D
det[abc] = (a × b) · c (C.2)
Exercises
C.1 Prove that if three vectors u, v, w ∈ R3 satisfy u + v + w = 0, then
u × v = v × w = w × u.
C.2 Let A be an orthogonal 3 × 3-matrix with det A = 1. Prove
is stated in the theorem below, gives one such condition (but not the most
general one).
The theory of diagonalization is closely connected with the theory of eigen-
vectors and eigenvalues. Recall that an eigenvalue for the matrix A is a
number λ for which there exists a non-zero vector w ∈ Rn such that
Aw = λw.
λ 7→ det(A − λI).
Av · w = (Av)t w = v t At w = v · At w, (D.1)
Av · w = v · Aw (D.2)
for all v, w ∈ Rn .
We first prove that eigenvectors corresponding to different eigenvalues are
orthogonal, that is, if v, w ∈ Rn \ {0} and Av = λv, Aw = µw with λ 6= µ,
then v · w = 0. By (D.2) we have
λv · w = (Av) · w = v · (Aw) = µv · w,
128 Appendix D
3
An eigenvector for λ = 2 is then found as
\
x 1 1
= = .
y −1 1
The proof is based on the following two observations, which are well known
from linear algebra. A vector u = x1 η1 + · · · + xn ηn ∈ U is an eigenvector
for L with eigenvalue λ,
Lu = λu,
if and only if the column of its coordinates
x1
.
x = .. ∈ Rn
xn
is an eigenvector for A,
Ax = λx
130 Appendix E
with the same eigenvalue. The second observation is that the dot product of
two vectors u, v ∈ U is computed as the dot product of their coordinates:
(x1 η1 + · · · + xn ηn ) · (y1 η1 + · · · + yn ηn ) = x1 y1 + · · · + xn yn .
aij = L(ηj ) · ηi ,
The first observation made above implies that v1 , . . . , vn are eigenvectors for
L, and the second observation implies that they form an orthonormal set.
Since the dimension of U is n, they form a basis for U .
Exercises
D.1 Let w = (3, 4) ∈ R2 , and let
a 12
A= .
12 a + 7
Show that w and ŵ are eigenvectors for A, and determine their eigen-
values.
D.2 Let
2 2
A=
2 5
Determine an orthogonal matrix C and a diagonal matrix D, such that
D = C −1 AC. How many pairs of 2 × 2-matrices (C, D) satisfy these
requirements?
D.3 Let A be an n × n-matrix. Show that if there exists an orthogonal
matrix diagonalizing A, then A is symmetric.
et + e−t et − e−t
cosh t = , sinh t = , (E.1)
2 2
Appendices 131
cosh2 t − sinh2 t = 1,
which resembles the well-known cos2 t+sin2 t = 1, is easily derived from (E.1).
It follows that the point (cosh t, sinh t) lies on a hyperbola (see Example
1.1.3), and because of this the functions are viewed as hyperbolic counterparts
to the trigonometric functions cos and sin. The graphs of the two functions
are shown below.
y y
x x
y = cosh x y = sinh x
Notice that cosh is even and sinh is odd. In analogy with the definitions of
the tangent and cotangent one defines
sinh x cosh x
tanh x = , coth x = .
cosh x sinh x
It is easily seen that the derivatives of these functions are
d d
cosh x = sinh x, sinh x = cosh x,
dx dx
d 1 d 1
tanh x = , coth x = − .
dx cosh2 x dx sinh2 x
132 Notation
Notational Index
A: area, 53
b(s): binormal, 67
bij : component matrix of IIp , 96
C: level set, 6
D: Jacobi matrix, 121
E: component of Ip , 43
F : component of Ip , 43
G: component of Ip , 43
gij : component matrix of Ip , 96
Ip : first fundamental form, 43
IIp : second fundamental form, 80
K: Gaussian curvature, 93
L: component of IIp , 80
M : component of IIp , 80
m(s): normal along curve, 69
N : component of IIp , 80
N: unit normal, 29
n(s): principal normal, 67
Rjkil : Riemann symbol, 100
S: level set, 11
Tp σ: tangent space, 23
t(s): unit tangent, 67
u(s): tangent normal, 70
Wp : shape operator, 78, 82
Γkij : Christoffel symbol, 97
γ: a parametrized curve, 1
θ(t): tangent angle function, 63
κ: curvature, 59, 64
κg : geodesic curvature, 70
κn : normal curvature, 70
κ1 , κ2 : principal curvatures, 83
µ(t): plane coordinates of curve, 25
σ: a parametrized surface, 3
σu′ , σv′ : partial derivatives, 22
τ : torsion, 66
φ: a diffeomorphism, 27
Ψ:
R lift of isometry, 101
dA: plane integral, 48
∂: boundary, 120
×: cross product, 125
â: normal vector of a, 125
Index
angle, cross product, 23, 125
in Euclidean space, 119 curvature,
on surface, 45 center of, 74
Archimedes’ spiral, 55 Gaussian, 93
arc-length, 39 geodesic, 70
function, 40 normal, 70, 72
area, normal, of surface, 73
of block-set, 47 of plane curve, 59
of elementary domain, 48 of space curve, 64
of rectangle, 46 tangential, 70
of surface, 53 curve,
basis, positively ordered, 125 constant, 2, 19
bending, 101 on surface, 25
binormal, 67 parametrized, 1
block-set, 46 by arc-length, 42
boundary, 120 regular, 19
C 1 -function, 121 singular, 19
cardioid, 34 smooth, 2
catenoid, 105 cycloid, 16
Cauchy-Schwarz inequality, 119 cylinder, 4
center of curvature, 74 derivative, partial 120
chain rule, 122 diagonalization, 126
characteristic polynomial, 127 diffeomorphism, 27
Christoffel symbols, 97 direction, 27
circle, 1 distance, Euclidean, 119
great, on sphere 71 domain, elementary, 47
osculating, 74 dot product, 119
small, on sphere 71 eigenvalue, 127
cissoid, 16 eigenvector, 127
components, 120 elementary domain, 47
component functions, 43 ellipse, 2
cone, 5 elliptic point, 89
continuous, 120 Euclidean space, 119
coordinate curve, 25 first fundamental form, 43
coordinates, 3 Frenet formula, 69
spherical, 4 form,
cosh, 130 first fundamental, 43
coth, 131 quadratic, 44
critical point, 6 second fundamental, 80, 80
134 Index
Gauss matrix,
curvature, 93, 94 orthogonal, 127
formula, 98 symmetric, 127
theorem, 99 meridian, 57
geodesic, 73 motion, rigid, 90
coordinates, 112 moving frame, 68
equations, 111 neighborhood, 119
graph, 5, 20 norm, 119
helicoid, 56 normal,
first fundamental form, 56 principal, 67
isometry with catenoid, 105 unit, 29
second fundamental form, 89 vector, 125
helix, 3, null set, 49
arclength, 40 orientation, 30, 125
curvature, 65 orthogonal, 119
hyperbolic, 75 parametrization, 45
torsion, 66 orthonormal, 119
hyperbola, 2 osculating circle, 74
hyperbolic plane, 67
functions, 130 parabolic
helix, 75 cylinder, 87
point, 89 point, 89
ideal map, 105 paraboloid, 86
induced isometry, 101 elliptic, 86
integral, hyperbolic, 86
double, 51 parallel curve, 57
over rectangle, 46 partial derivative, 120
plane, 48 partition, of block-set, 47
transformation of, 52 Peano’s curve, 2
interior, 120 planar point, 89
intrinsic, 95 plane, 3
invariant, 28 osculating, 67
isometric, 100 preserve
isometry, 101 direction, 27
Jacobi matrix, 121 orientation, 30
latitude, 4 principal
level set, 6 curvature, 83, 84
lift, 102 normal, 67
line, 1 vector, 83, 84
segment, 41 pseudosphere, 106
logarithmic spiral, 55 rectangle, 46
longitude, 4 reparametrization, 26, 28
Index 135
reverse tanh, 131
direction, 27 Taylor’s theorem, 123
orientation, 30 teorema egregium, 99
revolution, surface of, 35 theorem,
first fundamental form, 57 Gauss, 99
Gauss curvature, 106 implicit function, 7, 11, 13
geodesics, 76 inverse function, 26, 32
second fundamental form, 89 Taylor, 123
Riemann symbol, 100 torsion, 66
rigid motion, 90 torus, 58
second fundamental form, 80 trace, 1
coordinate expression, 80 tractrix, 106
self-intersection, 2 type, of surface, 89
set unit
bounded, 120 normal, 29
closed, 120 speed, 42
open, 119 Weingarten map, 77
shape operator, 78, 82
sinh, 130
smooth function, 123
speed, 39
sphere, 4
spherical coordinates, 4
spiral,
logarithmic, 55
of Archimedes, 55
surface,
of revolution, 35
parametrized, 3
regular, 22
singular, 23
tangent
angle, 63
line, 20
plane, 24
space, 23
vector, 20