Geometria Diferencial de Curvas e Superfı́cies

IMPA, Verão 2022 - Prof. Lucas Ambrozio

Material complementar - Lista de exercı́cios - IV

Favor entregar sua lista até 08 de Fevereiro de 2022, às 10h.

Exercı́cio 1. Suponha que, em uma vizinhança coordenada de um ponto de uma superfı́cie

regular em R3 , o coeficiente F da primeira forma fundamental se anula identicamente. Mostre
que
    
1 Gu Ev
K=− √ √ + √ .
2 EG EG u EG v
Em particular, conclua que, se os coeficientes da primeira forma fundamental são dados em
coordenadas (u, v) por
1
E(u, v) = G(u, v) = e F (u, v) = 0,
v2
então a curvatura Gaussiana da superfı́cie nesta vizinhança coordenada é constante e igual
a −1.
Exercı́cio 2. Seja φ : V ⊂ S → Se uma isometria local entre superfı́cies regulares S e Se em
R3 . Seja γ : I → V uma geodésica de S em V . Mostre que γ e = φ ◦ γ : I → V é uma
geodésica de S.
e

Exercı́cio 3. (Isometrias da esfera) Seja S = S12 (0) a esfera unitária centrada na origem em
R3 .
i) Seja R : R3 → R3 uma transformação ortogonal. Mostre que R(S) = S e que a
restrição de R a S é uma isometria de S.
ii) Seja φ : S → S uma isometria tal que, para algum p0 ∈ S, tem-se φ(p0 ) = p0 e
Dφ(p0 ) · v = v para todo v ∈ Tp S.
Mostre que φ(p) = p para todo p ∈ S.
(Dica: use o Exercı́cio 2, e seu conhecimento sobre as geodésicas de S12 (0)).
iii) Seja φ : S → S uma isometria de S, e denote o polo norte por p0 . Mostre que existe
uma transformação ortogonal R ∈ O(3) tal que φ(p0 ) = R(p0 ) e Dφ(p0 ) · v = R(v)
para todo v ∈ Tp S ⊂ R3 .
iv) Conclua que isometrias da esfera unitária centrada na origem são restrições de trans-
formações ortogonais de R3 .
v) Oriente os planos tangente de S pela seguinte regra: uma base {v, w} ⊂ Tp S é dita
positiva quando hv × w, pi > 0, e negativa caso contrário. Determine as isometrias
φ : S → S que preservam a orientação de S, no sentido que Dφ(p) : Tp S → Tφ(p) S
manda uma base positiva de Tp S em uma base positiva de Tp S, para todo p ∈ S. Dê
um exemplo de uma isometria que não preserva a orientação.
Geometria Diferencial de Curvas e Superfı́cies - IMPA, verão 2022 - Prof. Lucas Ambrozio

Exercı́cio 4. (Geometria de curvas parametrizadas regulares na esfera):

Seja S = S12 (0) a esfera unitária centrada na origem em R3 . Escolha como campo suave
de vetores normais unitários a aplicação
NS : p ∈ S 7→ p ∈ S,
Seja α : I → S uma curva parametrizada pelo comprimento de arco em S. Considere a
base ortonormal em s ∈ I consistindo dos vetores
{T := α0 (s) , NS (s) := NS (α(s)) , D(s) := NS (s) × α0 (s)}.
(Observação: esta base difere em geral do triedro de Frenet de α em s ∈ I).
Mostre que o triedro acima satisfaz as equações
T 0 = −NS + kg D,
NS0 = T,
D0 = −kg T,
onde kg é a curvatura geodésica de α. (Observação: o sinal de kg depende da escolha feita,
de uma vez por todas, da aplicação normal da esfera).
Proponha um enunciado para o “Teorema Fundamental das Curvas na esfera S12 (0)”, e
demonstre este enunciado.
Em particular, classifique as curvas na esfera unitária que têm curvatura geodésica cons-
tante.