Capitulo 4
Capitulo 4
Capitulo 4
ANDRÉ NEVES
The first step is to show that G is a linear map. Fix a point p and consider
α1 (t) = p + tX, where X is any vector in R3 . Set F (t) = G ◦ α1 (t) − G(q).
By differentiation in the t variable when t = 0 we have
First a). From the previous exercise we know that F is a linear isometry
of R3 , which means that DFp = DF0 for all p in R3 (i.e. F is linear) and
DF0 (X).DF0 (Y ) = X.Y for all vectors X, Y in R3 . In particular for every
p ∈ S we have that DFp = DF0 and DFp (X).DFp (Y ) = X.Y for all X, Y
in Tp S, which means that F is an isometry of S. Technically speaking one
should show that if F is an ambient map of R3 , then the restriction of F to
S has the property that for every X ∈ Tp S, then DFp (X) as it was defined
in class is nothing but DFp (X) as it was defined in multivariable calculus.
This is just the chain rule and so I will not say anything else to avoid the
risk of just ending up making it more confusing.
1
2 ANDRÉ NEVES
Now b). The orthogonal linear transformations are just those 3 × 3 ma-
trices which have AT A = Id, i.e., A−1 = AT . In this case we have
|A(X)|2 = A(X).A(x) = X.AT A(X) = X.X = |X|2
and so A send the unit sphere into the unit sphere. Moreover |A(X) −
A(Y )| = |A(X − Y )| = |X − Y |, and so its distance preserving in the sense
of Exercise 8. Thus a) can be applied to conclude A is an isometry of the
sphere.
Finally c). Take F (x, y, 0) = (cos x, sin x, y) which is an isometry from
part of the plane {z = 0} into part of the cylinder {x2 + y 2 = 1}. F is
not distance preserving because |F (0, 0, 0) − F (θ, 0, 0)| = 2(1 − cos θ) and
|(0, 0, 0) − (θ, 0, 0)| = |θ|.
We have
∂x ∂x
= (cos v, sin v, u−1 ), = (−u sin v, u cos v, 0)
∂u ∂v
and so
∂x ∂x ∂x ∂x ∂x ∂x
E= . = 1 + u−2 , F = . = 0, G = . = u2 .
∂u ∂u ∂u ∂v ∂v ∂v
Because ∂v E = 0 we obtain from Exercise 1
1 ∂ 2u 1
K̄ = − √ √ =−
2 1+u 2 ∂u 1+u 2 (1 + u2 )2
We have
∂ x̄ ∂ x̄
= (cos v, sin v, 0), = (−u sin v, u cos v, 0)
∂u ∂v
and so
∂ x̄ ∂ x̄ ∂ x̄ ∂ x̄ ∂ x̄ ∂ x̄
Ē = . = 1, F̄ = . = 0, G = . = 1 + u2 .
∂u ∂u ∂u ∂v ∂v ∂v
Using the formula in Exercise 1 we have
1 ∂ 2u 1
K̄ = − √ √ =− .
2 1+u 2 ∂u 1+u 2 (1 + u2 )2
Therefore the surfaces have the same curvature.
If the map x̄ ◦ x−1 were an isometry then by Proposition 1, page 220, we
would have E = Ē, F = F̄ , and G = Ḡ. Because this is false the surfaces
are not isometric.
Furthermore
∂ψ ∂φ
(p) = dFφ(p) (p) = λ1 a1 e1 + λ2 b1 e2
∂x ∂x
and
∂ψ ∂φ
(p) = dFφ(p) (p) = λ1 a2 e1 + λ2 b2 e2 .
∂y ∂y
HOMEWORK 4 - SOLUTIONS-2012 5
Thus
∂ψ ∂ψ ∂φ ∂φ
∂x × ∂y = |λ1 λ2 ||a1 b2 − a2 b1 ||e1 × e2 | = |detdFφ(p) | ∂x × ∂y .
above β. Note that R is diffemorphic to a cylinder and thus has zero Euler
characteristic. Using Gauss-Bonnet we obtain that
Z Z Z
~
KdA + k.~ν dσ + ~k.~ν dσ = 0,
R γ φ◦β
where ~ν is the interior unit normal. Because K = 0 and φ ◦ β is a geodesic
we obtain that Z
~k.~ν dσ,
γ
which is what we wanted to show.