chapter 1, definitions of planes and derivations
chapter 1, definitions of planes and derivations
x(u, v), y(u, v), z(u, v) admit partial derivatives of all orders and the Jacobian
matrix
∂x ∂x
∂u ∂v
∂y ∂y
∂u ∂v
∂z ∂z
∂u ∂v
ϕ−1
i ( B(q, δ) ∩Vi ) ⊂ B(ϕ−1 (q), ǫ) .
| {z } | i {z }
bola em R3 bola em R2
1
2 CHAPTER 1. SURFACES: BASIC DEFINITIONS
1.1 Examples
1. The graph of a smooth function f : U → R, where U ⊂ R2 is open, is a
regular parametrized surface, where the parametrization is given by ϕ(u, v) =
(u, v, f (u, v)). Note that
1 0
(dϕ) = 0 1
∂f ∂f
∂u ∂v
(0, 0, 0). Since (0, 0, 0) 6∈ F −1 (r2 ) for r > 0, we have that the spehre F −1 (r2 )
2 2 2
of radius r > 0 is a surface. Similarly, the ellipsoides xa2 + yb2 + zc2 = 1 (a, b,
c > 0) are surfaces.
6. The hyperboloids x2 + y 2 − z 2 = r2 (one sheet) and x2 + y 2 − z 2 = −r2
(two sheets) are surfaces, r > 0. The cone x2 + y 2 − z 2 = 0 is not a surface in
a neighborhood of its vertex (0, 0, 0). p
7. The tori of revolution are surfaces given by the equation z 2 + ( x2 + y 2 −
a)2 = r2 , where a, r > 0.
8. More generally, one can consider surfaces of revolution. Let γ(t) =
(f (t), 0, g(t)) be a regular parametrized curve, t ∈ (a, b). Define
where (u, v) ∈ (a, b) × (v0 , v0 + 2π). One can cover the surface by varying v0 in
R. But there are conditions on γ for ϕ to be an immersion. One has
∂(x, y) ∂(y, z) ∂(z, x)
= f f ′, = −f g ′ cos v, = −f g ′ sin v,
∂(u, v) ∂(u, v) ∂(u, v)
so 2 2 2
∂(x, y) ∂(y, z) ∂(z, x)
+ + = f 2 ||γ̇||2 ,
∂(u, v) ∂(u, v) ∂(u, v)
and ϕ is an immersion if and only if f > 0. Note also that ϕ is injective if
and only if γ is injective. One also checks that ϕ−1 is continuous by writing its
explicit expression.
Since dΦ(u0 ,v0 ,0) is non-singular, by the inverse function theorem, Φ−1 is defined
and is smooth on some open neighborhood W of ϕ(p) in R3 . Since Φ|U ×{0} = ϕ,
we have that Φ−1 ϕ(U )∩W = ϕ
−1
|ϕ(U )∩W . Since W ∩ ϕ(U ) is open in S and ψ is a
−1
homeomorphism, ψ (W ∩ ϕ(U )) ⊂ V is open. Now
f ◦ ψ −1 = (f ◦ ϕ−1 ) ◦ (ϕ−1 ◦ ψ)
dϕa : R2 → R3 , (1.6)
Proof. Any vector in the image of (1.6) is of the form dϕa (w0 ) for some w0 ∈
R2 and therefore is the tangent vector at 0 of the smooth curve t 7→ ϕ(a + tw0 ).
Conversely, suppose w = γ̇(0) is tangent to a smooth curve γ : (−ǫ, ǫ) → S
such that γ(0) = p. By Corollary 1.3, η := ϕ−1 ◦ γ : (−ǫ, ǫ) → U ⊂ R2 is a
smooth curve in R2 with η(0) = a. Note that γ = ϕ ◦ η. By the chain rule
{ ∂ϕ ∂ϕ
∂u (a), ∂v (a)} (1.9)
is a basis of Tp S.
namely, u′ (0), v ′ (0) are the coordinates of w in the basis (1.9). This remark also
shows that another smooth curve γ̄ : (−ǫ, ǫ) → S represents the same w if and
only if η̄(t) = ϕ−1 ◦ γ̄(t) = (ū(t), v̄(t)) satisfies (ū′ (0), v̄ ′ (0)) = (u′ (0), v ′ (0)).
With the same notation as above, suppose now that f : S → S̃ is a smooth
map at p ∈ S. Note that f ◦ γ is a smooth curve in S̃. The differential of f at
p is the map
dfp : Tp S → Tf (p) S̃
that maps w = γ̇(0) ∈ Tp S to the tangent vector γ̃(0),˙ where γ̃ = f ◦γ. We check
that dfp (w) does not depend on the choice of curve γ. Let ϕ : U → ϕ(U ) = V ,
ϕ̃ : Ũ → ϕ̃(Ũ ) = Ṽ be parametrizations of S, S̃, resp., with p = ϕ(a), a ∈ U ,
f (p) = ϕ̃(ã), ã ∈ Ũ , and such that f (V ) ⊂ Ṽ . Consider the local representation
of f ,
g = ϕ̃−1 ◦ f ◦ ϕ : U → Ũ ,
and write
g(u, v) = (g1 (u, v), g2 (u, v))
6 CHAPTER 1. SURFACES: BASIC DEFINITIONS
so
˙ = ∂g1
u′ (0) + ∂g1
v ′ (0) ϕ̃ũ + ∂g ′ ∂g2
v ′ (0) ϕ̃ṽ .
γ̃(0) ∂u u (0) +
2
∂u ∂v ∂v
˙
This relation shows that γ̃(0) depends only on u′ (0), v ′ (0) and hence has the
same value for any smooth curve representing w. This relation can also be
rewritten as ∂g1 ∂g1 ′
∂u ∂v u (0)
dfp (w) = ,
∂g2
∂u
∂g2
∂v
v ′ (0)
which shows that dfp is a linear map whose matrix with respect to the bases
{ϕu , ϕv }, {ϕ̃ũ , ϕṽ } is the 2 by 2 matrix above.