Lecture Notes 8: 2 Surfaces
Lecture Notes 8: 2 Surfaces
Lecture Notes 8
2 Surfaces
2.1 Definition of a regular embedded surface
An n-dimensional open ball of radius r centered at p is defined by
1
from the south pole gives a homeomorphism between R2 and S2 − (0, 0, −1);
x y x y
π+ (x, y, z) := ( 1−z , 1−z , 0), and π− (x, y, z) := ( z−1 , z−1 , 0)).
Exercise 3. (Surfaces as graphs) Let U ⊂ R2 be an open subset and
f : U → R be a continuous map. Then
graph(f ) := {(x, y, f (x, y)) | (x, y) ∈ U }
is a surface. (Hint: Show that the orthogonal projection π(x, y, z) := (x, y)
gives the desired homeomorphism).
Note that by the above exercise the cone given by z = x2 + y 2 , and
the troughlike surface z = |x| are examples of embedded surfaces. These
surfaces, however, are not “regular”, as we will define below. From the point
of view of differential geometry it is desirable that a surface be without sharp
corners or vertices.
Let U ⊂ Rn be open, and f : U → Rm be a map. Note that f may be
regarded as a list of m functions of n variables: f (p) = (f 1 (p), . . . , f m (p)),
f i (p) = f i (p1 , . . . , pn ). The first order partial derivatives of f are given by
f i (p1 , . . . , pj + h, . . . , pn ) − f i (p1 , . . . , pj , . . . , pn )
Dj f i (p) := lim .
h→0 h
If all the functions Dj f i : U → R exist and are continuous, then we say
that f is differentiable (C 1 ). We say that f is smooth (C ∞ ) if the partial
derivatives of f of all order exist and are continuous. These are defined by
Dj1 , j2 , . . . , jk f i := Dj1 (Dj2 (· · · (Djk f i ) · · · )).
Let f : U ⊂ Rn → Rm be a differentiable map, and p ∈ U . Then the
Jacobian of f at p is an m × n matrix defined by
D1 f 1 (p) · · · Dn f 1 (p)
.. ..
Jp (f ) := . . .
D1 f (p) · · · Dn f (p)
m m
2
If f is a differentiable function, then we define,
Conclude then that (ii) dfp is a linear map, and (iii) p is a regular value of f
if and only if dfp is one-to-one. Further, (iv) show that if f is a linear map,
then dfp (x) = f (x), and (v) Jp (f ) coincides with the matrix representation
of f with respect to the standard basis.
By a regular patch we mean a pair (U, X) where U ⊂ R2 is open and
X : U → R3 is a one-to-one, smooth, and regular mapping. Furthermore, we
say that the patch is proper if X −1 is continuous. We say a subset M ⊂ R3
is a regular embedded surface, if for each point p ∈ M there exists a proper
regular patch (U, X) and an open set V ⊂ R3 such that X(U ) = M ∩ V .
The pair (U, X) is called a local parameterization for M at p.
Exercise 7. Let f : U ⊂ R2 → R be a smooth map. Show that graph(f ) is
a regular embedded surface, see Exercise 4.
Exercise 8. Show that S2 is a regular embedded surface (Hint: (Method
1) Let p ∈ S2 . Then p1 , p2 , and p3 cannot vanish simultaneously. Suppose,
for instance, that p3 = 0. Then, we may set U := {u ∈ R2 | u < 1},
and let X(u1 , u2 ) := (u1 , u2 , ± 1 − (u1 )2 − (u2 )2 ) depending on whether p3
is positive or negative. The other cases involving p1 and p2 may be treated
similarly. (Method 2) Write the inverse of the stereographic projection, see
Exercise 2, and show that it is a regular map).
3
The following exercise shows that smoothness of a patch is not sufficient to
ensure that the corresponding surface is without singularities (sharp edges or
corners). Thus the regularity condition imposed in the definition of a regular
embedded surface is not superfluous.
Exercise 10. Let U := {(u, v) ∈ R2 | −π < u < π, 0 < v < 1}, define
X : U → R3 by X(u, v) := (sin(u), sin(2u), v), and set M := X(U ). Sketch
M and show that X is smooth, one-to-one, and regular, but X −1 is not
continuous.