Académique Documents
Professionnel Documents
Culture Documents
3 Superfcies Regulares 81
1. Superfcies Regulares; Pr e-imagens de valores regulares . . . . . . . . . . . . . 81
2. Mudanca de Par ametros; Func oes Diferenci aveis sobre Superfcies . . . . . . . 100
3. Plano Tangente; Diferencial de uma Aplicac ao . . . . . . . . . . . . . . . . . . . 118
4. Primeira Forma Fundamental;
Area . . . . . . . . . . . . . . . . . . . . . . . . . 126
79
J. Delgado - K. Frensel 80
Superfcies Regulares; Pr e-imagens de valores regulares
3
Superfcies Regulares
Em contraste ao tratamento dado ` as curvas nos Captulos 1 e 2, as superfcies regulares
ser ao denidas como conjuntos e n ao como aplicac oes. As curvas tamb empodemser tratadas
a partir desse ponto de vista, isto e, como subconjuntos de R
3
(ou R
2
). Faremos um breve
coment ario sobre isso na sec ao 2 deste captulo.
1. Superfcies Regulares; Pr e-imagens de valores regulares
A grosso modo, uma superfcie regular em R
3
e obtida tomando-se pedacos do plano,
deformando-os e colando-os entre si de tal modo que a fugura resultante n ao apresente
v ertices, arestas ou auto-intersec oes, e que tenha sentido falar em plano tangente nos pontos
desta gura.
Denic ao 1.1 Um subconjunto S R
3
e uma superfcie regular se, para cada p S, existe
um aberto V R
3
, com p V, e uma aplicac ao X : U V S, denida num aberto U de R
2
tal que:
(1) X : U V S, X(u, v) = (x(u, v), y(u, v), z(u, v)), e diferenci avel, isto e, as func oes
x, y, z : U R t em derivadas parciais contnuas de todas as ordens em U.
(2) X : U V S e um homeomorsmo, isto e, X e uma bijec ao contnua cuja inversa
X
1
: V S U e contnua.
(3) dX
q
: R
2
R
3
e injetora para todo q U.
A aplicac ao X e chamada uma parametrizac ao ou um sistema de coordenadas (locais) em
(uma vizinhanca de) p, e V S e chamada uma vizinhanca coordenada de S em p.
Instituto de Matem atica - UFF 81
Geometria Diferencial
Fig. 1: Vizinhanca coordenada do ponto p S
Observac ao 1.1
A condic ao (1) e natural se esperamos fazer alguma geometria diferencial sobre S. Por
exemplo, permite denir o conceito de plano tangente.
Fig. 2: O cone Sn ao possui uma parametrizac ao diferenci avel numa vizinhanca do v ertice p.
A injetividade de X na condic ao (2) tem como objetivo excluir a possibilidade de auto-
intersec oes em superfcies regulares, que e necess ario para podermos falar, por exemplo,
sobre o plano tangente em um ponto de S.
A continuidade da inversa na condic ao (2) serve para provar que certos conceitos que de-
pendem aparentemente da parametrizac ao, na realidade s o dependem do ponto p S, isto e,
independem da parametrizac ao X : U S V com p S V.
A condic ao (3) garante a exist encia de um plano tangente em todos os pontos de S.
J. Delgado - K. Frensel 82
Superfcies Regulares; Pr e-imagens de valores regulares
Vamos agora calcular a matriz da aplicac ao linear dX
q
nas bases can onicas {e
1
= (1, 0), e
2
=
(0, 1)} de R
2
, com coordenadas (u, v), e {f
1
= (1, 0, 0), f
2
= (0, 1, 0), f
3
= (0, 0, 1) de R
3
, com
coordenadas (x, y, z).
Seja q = (u
0
, v
0
). O vetor e
1
e tangente ` a curva u (u, v
0
), cuja imagem por X e a curva na
superfcie S
u (x(u, v
0
), y(u, v
0
), z(u, v
0
)) ,
chamada curva coordenada v = v
0
. O vetor tangente desta curva em X(q) e o vetor
dX
q
(e
1
) =
X
u
(q) =
_
x
u
(q),
y
u
(q),
z
u
(q)
_
.
Analogamente, o vetor tangente ` a curva coordenada u = u
0
,
v (x(u
0
, v), y(u
0
, v), z(u
0
, v)) ,
imagem por X da curva v (u
0
, v), e o vetor
dX
q
(e
2
) =
X
v
(q) =
_
x
v
(q),
y
v
(q),
z
v
(q)
_
.
Fig. 3: Vetores tangentes ` as curvas u (u,v
0
) e v (u
0
,v).
Portanto, a matriz da aplicac ao linear dX
q
(que designamos pela mesma notac ao para simpli-
car) nas bases can onicas de R
2
e R
3
e
dX
q
=
_
_
_
_
_
_
_
x
u
(q)
x
v
(q)
y
u
(q)
y
v
(q)
z
u
(q)
z
v
(q)
_
_
_
_
_
_
_
.
A condic ao (3), da denic ao 1.1, nos diz que dX
q
: R
2
R
3
e injetora, o que signica que os
dois vetores coluna da matriz Jacobiana acima s ao linearmente independentes, ou seja, que o
Instituto de Matem atica - UFF 83
Geometria Diferencial
seu produto vetorial e diferente de zero:
X
u
(q)
X
v
(q) ,= 0 .
Ou ainda, que um dos menores de ordem 2 da matriz de dX
q
, isto e, um dos determinantes:
(x, y)
(u, v)
(q) =
x
u
(q)
x
v
(q)
y
u
(q)
y
v
(q)
;
(y, z)
(u, v)
(q) =
y
u
(q)
y
v
(q)
z
u
(q)
z
v
(q)
;
(x, z)
(u, v)
(q) =
x
u
(q)
x
v
(q)
z
u
(q)
z
v
(q)
,
e diferente de zero.
Exemplo 1.1 Vamos mostrar que a esfera de centro na origem e raio 1,
S
2
= {(x, y, z) R
3
| x
2
+y
2
+z
2
= 1}
e uma superfcie regular.
Seja a aplicac ao X
+
3
: U R
3
dada por
X
+
3
(u, v) = (u, v,
_
1 (u
2
+v
2
)) ,
denida no aberto U = {(u, v) R
2
| u
2
+v
2
< 1} .
Ent ao X
+
3
satisfaz as condic oes da denic ao 1.1. De fato:
(1) X
+
3
(U) = S
2
H
+
3
, onde H
+
3
= {(x, y, z) R
3
| z > 0} e um aberto de R
3
.
(2) X
+
3
e diferenci avel, pois 1 (u
2
+v
2
) > 0 para todo (u, v) U.
(3)
(x, y)
(u, v)
(q) =
1 0
0 1
= 1 ,= 0 para todo q U.
(4) X
+
3
e um homeomorsmo, pois X
+
3
e uma bijec ao contnua sobre S
2
H
+
3
e (X
+
3
)
1
= |
S
2
H
+
3
e contnua, onde : R
3
R
2
e a projec ao sobre o plano-xy dada por (x, y, z) = (x, y).
J. Delgado - K. Frensel 84
Superfcies Regulares; Pr e-imagens de valores regulares
Podemos cobrir a esfera com seis parametrizac oes similares a esta. Para isso, consideramos
as aplicac oes:
X
+
1
, X
1
, X
+
2
, X
2
, X
+
3
, X
3
: U R
3
dadas por:
X
1
(u, v) = (
_
1 (u
2
+v
2
), u, v) ;
X
2
(u, v) = (u,
_
1 (u
2
+v
2
), v) ;
X
3
(u, v) = (u, v,
_
1 (u
2
+v
2
)) .
De modo an alogo ao feito para X
+
3
, podemos provar que X
1
, X
2
e X
3
s ao parametrizac oes de
S
2
sobre S
2
H
1
, S
2
H
2
, S
2
H
3
, respectivamente, onde
H
+
1
= {(x, y, z) R
3
| x > 0} ; H
1
= {(x, y, z) R
3
| x < 0} ;
H
+
2
= {(x, y, z) R
3
| y > 0} ; H
2
= {(x, y, z) R
3
| y < 0} ;
H
+
3
= {(x, y, z) R
3
| z > 0} ; H
3
= {(x, y, z) R
3
| z < 0} ,
s ao abertos de R
3
. Como
X
+
1
(U) X
1
(U) = S
2
{(x, y, z) S
2
| y
2
+z
2
= 1 e x = 0} ;
X
+
2
(U) X
2
(U) = S
2
{(x, y, z) S
2
| x
2
+z
2
= 1 e y = 0} ;
X
+
3
(U) X
3
(U) = S
2
{(x, y, z) S
2
| x
2
+y
2
= 1 e z = 0} .
temos que
S
2
= X
+
1
(U) X
1
(U) X
+
2
(U) X
2
(U) X
+
3
(U) X
3
(U) .
Logo, S
2
e uma superfcie regular.
Fig. 4: Cobertura da esfera pelas 6 parametrizac oes X
+
1
(U), X
1
(U), X
+
2
(U), X
2
(U), X
+
3
(U) e X
3
(U).
Instituto de Matem atica - UFF 85
Geometria Diferencial
Podemos tamb em cobrir a esfera com duas parametrizac oes usando as coordenadas
geogr acas de S
2
.
De fato, seja a aplicac ao X : U R
3
dada por
X(, ) = (sen cos , sen sen, cos ) ,
denida no aberto
U = {(, ) R
2
| 0 < < e 0 < < 2} .
Ent ao X : U X(U) e uma parametrizac ao de S
2
sobre X(U) = S
2
(R
3
A), onde
A = {(x, y, z) R
3
| x 0 e y = 0} e fechado em R
3
.
Fig. 5: Coordenadas esf ericas do ponto p S
2
.
Ou seja, X(U) = R
3
C, onde C e o semi-crculo
C = {(x, y, z) S
2
| x 0 e y = 0} .
De fato, X e diferenci avel e dX
(,)
: R
2
R
3
e injetora para todo (, ) U, pois:
X
)(, ) = (sen
2
cos , sen
2
sen, cos sen) ,
e
|X
|
2
(, ) = sen
4
cos
2
+ sen
4
sen
2
+ cos
2
sen
2
= sen
2
,= 0 ,
J. Delgado - K. Frensel 86
Superfcies Regulares; Pr e-imagens de valores regulares
j a que (0, ). Logo X satisfaz as condic oes (1) e (3) da denic ao 1.1.
Observamos que dado (x, y, z) S
2
C, ca determinado de maneira unica por = arccos z
uma vez que 0 < < .
Conhecendo o valor de , temos que cos =
x
sen
e sen =
y
sen
, o que determina de
maneira unica, pois (0, 2). Segue-se ent ao que X tem uma inversa X
1
.
Como j a sabemos que S
2
e uma superfcie regular, obteremos, pela proposic ao 1.4 que de-
monstraremos em breve, que X
1
e contnua.
Logo, X : U S
2
C e uma parametrizac ao de S
2
que cobre toda a esfera menos o semi-
crculo C.
Podemos cobrir a esfera toda considerando outra parametrizac ao. De fato, seja Y : V R
3
a
aplicac ao
Y(, ) = (sen cos , cos , sen sen) ,
onde
V = {(, ) R
2
| < < 0 e 0 < < 2}.
Ent ao Y(V) = S
2
C
, onde C
e o semi-crculo:
C
= {(x, y, z)
2
| x 0 e z = 0} .
De modo an alogo ao feito para X, podemos provar que Y e uma parametrizac ao de S
2
. Temos
tamb em que X(U) Y(V) = S
2
.
1 0
0 1
,= 0 .
Al em disso, X e uma bijec ao e X
1
= |
S
e contnua, onde : R
3
R
2
, (x, y, z) = (x, y), e a
projec ao sobre o plano-xy.
Logo, S = Graf (f) e uma superfcie regular.
(x, y, z) R
3
| z =
x
2
a
2
+
y
2
b
2
,
onde a e b s ao constantes positivas, e uma superfcie regular.
J. Delgado - K. Frensel 88
Superfcies Regulares; Pr e-imagens de valores regulares
De fato, T = Graf (f), onde f : R
2
R e a func ao diferenci avel dada por
f(x, y) =
x
2
a
2
+
y
2
b
2
.
(x, y, z) R
3
| z =
y
2
b
2
x
2
a
2
,
onde a e b s ao constantes positivas, e uma superfcie regular.
Com efeito, H e o gr aco da func ao diferenci avel f : R
2
R dada por
f(x, y) =
y
2
b
2
x
2
a
2
.
.
Ent ao F
1
: W V, dada por
F
1
(u, v, t) = (x(u, v, t), y(u, v, t), z(u, v, t)) ,
J. Delgado - K. Frensel 90
Superfcies Regulares; Pr e-imagens de valores regulares
e diferenci avel e x(u, v, t) = u, y(u, v, t) = v, pois
(u, v, t) = F F
1
(u, v, t) = (x(u, v, t), y(u, v, t), f(x(u, v, t), y(u, v, t), z(u, v, t))) ,
para todo u, v, t W.
Armac ao. F(f
1
(a) V) = W {(u, v, t) | t = a}
Fig. 9:
De fato, seja (u, v, a) W {(u, v, t) | t = a}.
Ent ao existe (x, y, z) V tal que (u, v, a) = F(x, y, z) = (x, y, f(x, y, z)). Logo, f(x, y, z) = a, ou
seja, (x, y, z) f
1
(a) V.
Portanto, (u, v, a) = F(x, y, z) F(f
1
(a) V).
Seja (x, y, z) f
1
(a) V. Assim, F(x, y, z) = (x, y, a) W {(u, v, t) | t = a}.
Diminuindo V, se necess ario, podemos tomar W = (x
0
, x
0
+)(y
0
, y
0
+)(a, a+),
onde > 0.
Seja h : U
0
R a func ao diferenci avel dada por h(x, y) = z(x, y, a), onde
U
0
= (x
0
, x
0
+) (y
0
, y
0
+) .
Logo, f
1
(a) V e o gr aco da func ao h, pois
f
1
(a) V = F
1
(W {(x, y, t) R
3
| t = a}) = {F
1
(x, y, a) | (x, y) U
0
}
= {(x, y, h(x, y)) | (x, y) U
0
} = Graf (h) .
Assim, f
1
(a) V e um aberto de f
1
(a) e a aplicac ao X : U
0
f
1
(a) V, dada por
X(x, y) = (x, y, h(x, y)) e, pela proposic ao 1.1, uma parametrizac ao de f
1
(a) em p
0
.
Portanto, f
1
(a) e uma superfcie regular, pois todo ponto p f
1
(a) pode ser coberto por uma
vizinhanca coordenada.
2x
a
2
,
2y
b
2
,
2z
c
2
_
= (0, 0, 0)
se, e somente se, x = y = z = 0, e (0, 0, 0) / f
1
(0), temos que 0 e valor regular de f.
Fig. 11: Hiperbol oide de duas folhas H
Portanto, H = f
1
(0) e uma superfcie regular que e desconexa, pois
H = H
+
H
,
onde
H
+
= H {(x, y, z) R
3
| z > 0} e H
= H {(x, y, z) R
3
| z < 0}
s ao abertos disjuntos de H.
(y a)
2
+z
2
= r
2
x = 0
de centro (0, a, 0) e raio r > 0, a > r, no plano-yz, em torno do eixo-Oz.
J. Delgado - K. Frensel 94
Superfcies Regulares; Pr e-imagens de valores regulares
Fig. 12: Construc ao do toro de revoluc ao
Ent ao P = (x, y, z) T se, e s o se, existe P
= (0, y
, z
) ( tal que P e P
est ao sobre o
mesmo paralelo de centro c
= (0, 0, z) = (0, 0, z
).
Logo z = z
e d(P, c
) = d(P
, c
), ou seja,
_
x
2
+y
2
= |y
| = y
, pois y
, z
) C.
Assim, como (y
a)
2
+ (z
)
2
= r
2
, temos que
_
_
x
2
+y
2
a
_
2
+z
2
= r
2
e a equac ao cartesiana de T .
Consideremos a func ao F : R
3
{0} R de classe C
dada por
F(x, y, z) =
_
_
x
2
+y
2
a
_
2
+z
2
.
Ent ao, como
F
x
(x, y, z) =
2
_
_
x
2
+y
2
a
_
x
_
x
2
+y
2
,
F
y
(x, y, z) =
2
_
_
x
2
+y
2
a
_
y
_
x
2
+y
2
,
F
z
(x, y, z) = 2z ,
segue que
F
x
(x, y, z) =
F
y
(x, y, z) =
F
z
(x, y, z) = 0 se, e s o se, x
2
+ y
2
= a
2
e z = 0, ou seja,
se, e s o se, F(x, y, z) = 0.
Logo, r
2
e um valor regular de F e F
1
(r
2
) = T e uma superfcie regular.
A proposic ao abaixo fornece uma recproca local da proposic ao 1.1, isto e, toda superfcie
regular e localmente o gr aco de uma func ao diferenci avel.
Instituto de Matem atica - UFF 95
Geometria Diferencial
Proposic ao 1.3 Sejam S R
3
uma superfcie regular e p S. Ent ao existe um aberto V em
S, com p V, tal que V e o gr aco de uma func ao diferenci avel que tem uma das seguintes
formas:
z = f(x, y) , y = g(x, z) , x = h(y, z) .
Prova.
Seja X : U S uma parametrizac ao de S em p. Ent ao um dos Jacobianos
(x, y)
(u, v)
(q) ,
(y, z)
(u, v)
(q) ou
(x, z)
(u, v)
(q)
e diferente de zero, onde X(q) = p.
Suponhamos que
(x, y)
(u, v)
(q) ,= 0 e consideremos a aplicac ao diferenci avel
X : U R
2
, X(u, v) = (x(u, v), y(u, v)) .
Como
(x, y)
(u, v)
(q) ,= 0, temos que d
q
( X) : R
2
R
2
e um isomorsmo. Logo, pelo Teorema
da Aplicac ao Inversa, existem abertos V
1
U e V
2
R
2
, com q V
1
e X(q) V
2
tais que
X : V
1
V
2
e um difeomorsmo de classe C
Fig. 13:
Ent ao X(V
1
) = V e um aberto de S com p V e |
X(V
1
)
: X(V
1
) V
2
e um homeomorsmo,
pois X : V
1
X(V
1
) = V e um homeomorsmo.
Seja ( X)
1
: V
2
V
1
, ( X)
1
(x, y) = (u(x, y), v(x, y)).
Ent ao, como ( X)
1
e um difeomorsmo C
, = X ( X)
1
: V
2
X(V
1
) = V e um
homeomorsmo diferenci avel sobre X(V
1
) = V, tal que
(x, y) = (x, y, z(u(x, y), v(x, y))) ,
J. Delgado - K. Frensel 96
Superfcies Regulares; Pr e-imagens de valores regulares
para todo (x, y) V
2
.
Isto e, V e o gr aco da func ao diferenci avel f : V
2
R dada por
f(x, y) = z(u(x, y), v(x, y)) .
Exemplo 1.9 Uma parametrizac ao para o toro T do exemplo 1.7 pode ser dada pela aplicac ao
X : (0, 2) (0, 2) R
3
, onde
X(u, v) = ( (a +r cos u) cos v, (a +r cos u) senv, r senu) .
De fato, X e diferenci avel e
dX
(u,v)
=
_
_
_
r senucos v (a +r cos u) senv
r senusenv (a +r cos u) cos v
r cos u 0
_
_
_
.
Logo
|X
u
X
v
|
2
= |((a +r cos u)r cos ucos v, (a +r cos u)r cos usenv, (a +r cos u)r senu)|
2
= (a +r cos u)
2
r
2
> 0 ,
para todo (u, v) (0, 2) (0, 2), pois a > r > 0.
Portanto, dX
(u,v)
: R
2
R
3
e injetora para todo (u, v).
Provaremos agora que X e injetora.
Sejam (u
1
, v
1
), (u
2
, v
2
) (0, 2) (0, 2) tais que X(u
1
, v
1
) = X(u
2
, v
2
), isto e,
(a +r cos u
1
) cos v
1
= (a +r cos u
2
) cos v
2
(1)
(a +r cos u
1
) senv
1
= (a +r cos u
2
) senv
2
(2)
r senu
1
= r senu
2
. (3)
Ent ao, por (1) e (2), temos que:
(a +r cos u
1
)
2
(cos
2
v
1
+ sen
2
v
1
) = (a +r cos u
2
)
2
(cos
2
v
2
+ sen
2
v
2
)
(a +r cos u
1
)
2
= (a +r cos u
2
)
2
a > r
a +r cos u
1
= a +r cos u
2
cos u
1
= cos u
2
Logo u
1
= u
2
, pois senu
1
= senu
2
, por (3) e u
1
, u
2
(0, 2).
Assim, como a + r cos u
1
= a + r cos u
2
,= 0, temos, por (1) e (2), que cos v
1
= cos v
2
e
senv
1
= senv
2
. Logo v
1
= v
2
, pois v
1
, v
2
(0, 2).
J. Delgado - K. Frensel 98
Superfcies Regulares; Pr e-imagens de valores regulares
Como j a provamos que T e uma superfcie regular no exemplo 1.7, temos, pela proposic ao
1.4, que X : U V
1
= T (C
1
C
2
) e uma parametrizac ao de T , onde
C
1
= {(x, y, z) R
3
| y = 0 e (x a)
2
+z
2
= r
2
} ,
e C
2
= {(x, y, z) R
3
| z = 0 e x
2
+y
2
= (a +r)
2
} .
Fig. 15: As curvas u=const s ao os paralelos e as crvas v =const s ao os meridianos do toro T . O paralelo u=u
0
e o crculo de centro
(0,0,rsen u
0
) e raio a+rcos u
0
contido no plano z =rsen u
0
. Se u
0
h
2
,
3
2
i
, a+rcos u
0
[ar,a], e se u
0
0,
h
3
2
,2
i
,
a+rcos u
0
[a,a+r]
Observac ao 1.6 O toro T pode ser coberto por tr es parametrizac oes do tipo acima.
De fato, a aplicac ao X
2
: (, 3)
_
2
,
2
+2
_
V
2
, dada por
X
2
(u, v) = ((a +r cos u) cos v, (a +r cos u) senv, r senu) ,
Fig. 16: Parametrizac ao X
2
de T com V
2
=T (D
1
D
2
). A parametrizac ao X
3
e visualizada de maneira similar
Instituto de Matem atica - UFF 99
Geometria Diferencial
e uma parametrizac ao de T tal que V
2
= T (D
1
D
2
), onde
D
1
= {(x, y, z) R
3
| x = 0 e (y a)
2
+z
2
= r
2
}
D
2
= {(x, y, z) R
3
| z = 0 e x
2
+y
2
= (a r)
2
} .
Logo, V
1
V
2
= {(ar, 0, 0) , (0, a+r, 0)}. Para cobrir todo o toro, basta tomar a parametrizac ao
X
3
:
_
2
,
2
+2
_
(, 3) V
3
,
X
3
(u, v) = ((a +r cos u) cos v, (a +r cos u) senv, r senu) ,
onde V
3
= T (E
1
E
2
), onde
E
1
= {(x, y, z) R
3
| z = r e x
2
+y
2
= a
2
}
E
2
= {(x, y, z) R
3
| y = 0 e (x +a)
2
+z
2
= 0} .
2. Mudanc a de Par ametros; Func oes Diferenci aveis sobre
Superfcies
Pela denic ao de superfcie regular, cada ponto P de uma superfcie regular S pertence a
uma vizinhanca coordenada. Os pontos de uma tal vizinhanca coordenada s ao caracterizados
pelas suas coordenadas. Assim sendo, deveramos, em princpio, poder denir as proprieda-
des locais de uma superfcie em termos dessas coordenadas.
Mas, como um ponto p de S pode pertencer a v arias vizinhancas coordenadas, para que
uma denic ao dada em func ao de suas coordenadas locais faca sentido, e necess ario que
ela n ao dependa do sistema de coordenadas escolhido. Para isto, e fundamental mostrar que
quando um ponto pertence a duas vizinhancas coordenadas, com par ametros (u, v) e (, ),
e possvel passar de um destes pares de coordenadas ao outro atrav es de uma aplicac ao
diferenci avel.
Seja p um ponto de uma superfcie regular S e sejam X : U R
2
R
3
, Y : V R
2
R
3
duas parametrizac oes de S tais que p X(U) Y(V) = W.
Como X e Y s ao homeomorsmos, temos que W e um aberto de S e, portanto, X
1
(W) e
Y
1
(W) s ao abertos de R
2
.
J. Delgado - K. Frensel 100
Mudanca de Par ametros; Func oes Diferenci aveis sobre Superfcies
Fig. 17: Coordenadas diferentes em torno do ponto p
Se X e Y s ao dadas por
X(u, v) = (x(u, v), y(u, v), z(u, v)) , (u, v) U,
Y(, ) = (x(, ), y(, ), z(, )) , (, ) V ,
ent ao a mudanca de par ametros h = X
1
Y : Y
1
(W) X
1
(W), dada por
h(, ) = (u(, ), v(, )) ,
e um homeomorsmo com inversa h
1
= Y
1
X : X
1
(W) Y
1
(W) ,
h
1
(u, v) = ((u, v), (u, v)) .
Proposic ao 2.1 (Mudanc a de Par ametros)
A aplicac ao h = X
1
Y : Y
1
(W) X
1
(W) e um difeomorsmo C
.
Prova.
Seja r Y
1
(W) e tome q = h(r) X
1
(W). Ent ao Y(r) = X(q) W.
Como X : U X(U) e uma parametrizac ao, temos que
(x, y)
(u, v)
(q) ,= 0 ou
(x, z)
(u, v)
(q) ,= 0 ou
(y, z)
(u, v)
(q) ,= 0 .
Suponhamos que
(x, y)
(u, v)
(q) ,= 0.
Estendemos X a uma aplicac ao F : UR R
3
dada por
F(u, v, t) = (x(u, v), y(u, v), z(u, v) +t) .
Instituto de Matem atica - UFF 101
Geometria Diferencial
Fig. 18: Extens ao de Xa F
Geometricamente, F aplica um cilindro vertical C sobre U em um cilindro verticalsobre X(U),
levando cada sec ao de C com altura t na superfcie X(u, v) +te
3
, onde e
3
= (0, 0, 1).
Ent ao F e diferenci avel, F(u, v, 0) = X(u, v) para todo (u, v) U, e o determinante da diferencial
dF
(q,0)
e diferente de zero, pois
x
u
x
v
0
y
u
y
v
0
z
u
z
v
1
(q) =
(x, y)
(u, v)
(q) ,= 0 .
Pelo Teorema da Aplicac ao Inversa, existem um aberto U
0
U R
2
, com q U
0
, > 0 e um
aberto M R
3
tais que
F : U
0
(, ) M
e um difeomorsmo C
.
Ent ao X(U
0
) = F(U
0
{0}) e um aberto de S contido no aberto M de R
3
, tal que X(q) X(U
0
).
Al em disso, X
1
= F
1
|
X(U
0
)
: X(U
0
) U
0
, onde : R
3
R
3
, (u, v, t) = (u, v), pois
_
F
1
|
X(U
0
)
_
X(u, v) = F
1
|
X(U
0
)
(F(u, v, 0)) = (u, v, 0) = (u, v) .
Logo X
1
: X(U
0
) U
0
e a restric ao a X(U
0
) da aplicac ao F
1
diferenci avel denida no
aberto M R
3
.
Tomemos U
1
= X
1
(W) U
0
.
Ent ao q U
1
, W
1
= X(U
1
) W e um aberto de S e V
1
= Y
1
(W
1
) e um aberto de R
2
tal que
V
1
Y
1
(W), r V
1
e Y(V
1
) = X(U
1
) = W
1
.
Logo, h : V
1
U
1
e dada por h = F
1
Y.
Como Y : V
1
R
3
e F
1
: M R
3
s ao aplicac oes diferenci aveis (C
Daremos agora uma denic ao do que se entende por func ao diferenci avel em uma su-
perfcie regular.
Denic ao 2.1 Seja f : V R uma func ao denida num subconjunto aberto V de uma
superfcie regular S. Dizemos que f : V R e diferenci avel em p V se, para alguma
parametrizac ao X : U R
2
R
3
de S em p, com X(q) = p, q U, e X(U) V, a composta
f X : U R
2
R e diferenci avel em q = X
1
(p).
A func ao f : V R e diferenci avel em V se e diferenci avel em todos os pontos de V.
Observac ao 2.1 A denic ao acima independe da escolha da parametrizac ao X.
De fato, seja Y : U
1
R
2
R
3
uma outra parametrizac ao de S em p, com Y(r) = p, r U
1
e
Y(U
1
) V.
Sejam W = X(U) Y(U
1
), p W, U
1
= Y
1
(W) e U
= X
1
(W).
Ent ao, se h = X
1
Y : U
1
U
, temos que f Y = f X h em U
1
, com r U
1
.
Como, por hip otese, fX : U
1
U
e
um difeomorsmo C
, temos que fY : U
1
R e diferenci avel em r. Portanto, fY : U
1
R
e diferenci avel em r.
Observac ao 2.2 Na demonstrac ao da proposic ao 2.1, utilizamos o fato de que a inversa de
uma parametrizac ao e contnua. Como precisamos da proposic ao 2.1 para podemros denir
func oes diferenci aveis em superfcies, n ao podemos prescindir desta condic ao na denic ao de
uma superfcie regular.
Observac ao 2.3 Sejam S uma superfcie regular, V um subconjunto aberto de R
3
tal que
S V e f : V R uma func ao diferenci avel.
Ent ao f : S R e uma func ao diferenci avel.
De fato, sejam p S e X : U R
2
X(U) uma parametrizac ao de S em p.
Ent ao f X : U R e uma func ao diferenci avel, pois e a composta de duas func oes dife-
renci aveis denidas em abertos do espaco euclidiano (R
2
e R
3
, respectivamente).
Instituto de Matem atica - UFF 103
Geometria Diferencial
Exemplo 2.1 A func ao altura relativa a um vetor unit ario v R
3
, h : S R, dada por
h(p) = p, v), e uma func ao diferenci avel em qualquer superfcie regular S de R
3
, pois
h : R
3
R e diferenci avel em R
3
.
Fig. 19: Altura h(p) do ponto p S
h(p) e a altura de p S relativa ao plano normal a v que passa pela origem.
1
V
1
tal que p V
1
e (V
1
) X
2
(U
2
). Basta, ent ao, considerar o aberto U
1
= X
1
1
(X
1
(U) V
1
) para
termos p X
1
(U
1
), X
1
(U
1
) V
1
e
(X
1
(U
1
)) = (X
1
(U) V
1
) (V
1
) X
2
(U
2
) .
Observac ao 2.5 A denic ao dada acima n ao depende das parametrizac oes X
1
e X
2
.
De fato, sejam Y
1
: W
1
Y
1
(W
1
) uma parametrizac ao de S
1
em p e Y
2
: W
2
Y
2
(W
2
) uma
parametrizac ao de S
2
em (p) tais que (Y
1
(W
1
)) Y
2
(W
2
).
Seja W
1
= Y
1
1
(Y
1
(W
1
) X
1
(U
1
)). Ent ao W
1
e um subconjunto aberto de W
1
que cont em
Y
1
1
(p) e (Y
1
2
X
2
) X
1
2
X
1
(X
1
1
Y
1
) est a bem denida em W
1
= Y
1
1
(W
0
), onde
W
0
= Y
1
(W
1
) X
1
(U
1
), pois X
1
1
Y
1
est a denida em W
1
= Y
1
1
(W
0
), e Y
1
2
X
2
est a denida
em X
1
2
(
W
0
), onde
W
0
= Y
2
(W
2
) X
2
(U
2
),
X
1
2
X
1
(X
1
1
Y
1
)(W
1
) = X
1
2
(W
0
) X
1
2
(
W
0
) ,
j a que
(W
0
) = (Y
1
(W
1
) X
1
(U
1
)) Y
2
(W
2
) X
2
(U
2
) =
W
0
.
Ent ao, como
Y
1
2
Y
1
= (Y
1
2
X
2
) X
1
2
X
1
(X
1
1
Y
1
) , em W
1
= Y
1
1
(W
0
),
X
1
1
Y
1
e diferenci avel em W
1
= Y
1
1
(W
0
), Y
1
2
X
2
e diferenci avel em X
1
2
(
W
0
) e, por hip otese,
X
1
2
X
1
e diferenci avel em q = X
1
1
(p), temos que Y
1
2
Y
1
: W
1
X
1
2
(
W
0
) e
diferenci avel em (X
1
1
Y
1
)
1
(q) = Y
1
1
(X
1
(q)) = Y
1
1
(p) .
Logo, Y
2
Y
1
: W
1
W
2
e diferenci avel em Y
1
1
(p).
Denic ao 2.3 Dizemos que duas superfcies regulares S
1
e S
2
s ao difeomorfas quando
existe uma bijec ao diferenci avel : S
1
S
2
com inversa
1
: S
2
S
1
diferenci avel.
Uma tal e chamada um difeomorsmo de S
1
em S
2
.
Instituto de Matem atica - UFF 105
Geometria Diferencial
Observac ao 2.6 Toda parametrizac ao X : U X(U) de S e um difeomorsmo entre o
aberto U de R
2
e o aberto X(U) de S.
De fato, como X : U X(U) e uma parametrizac ao de S e id : U U, id(x) = x, e
parametrizac ao de R
2
, temos que X : U X(U) e diferenci avel em U, pois a aplicac ao
X
1
X id = id : U U e diferenci avel, e X
1
: X(U) U e diferenci avel em X(U), pois
id X
1
X = id : U U e diferenci avel.
Isto mostra que toda superfcie regular e localmente difeomorfa ao plano R
2
.
Observac ao 2.7 Sejam S
1
, S
2
superfcies regulares, V um aberto de R
3
e f : V R
3
uma
aplicac ao diferenci avel tais que S
1
V e f(S
1
) S
2
. Ent ao a restric ao f : S
1
S
2
e uma
aplicac ao diferenci avel de S
1
em S
2
.
De fato, como f : V R
3
e diferenci avel, temos que f : S
1
S
2
e contnua.
Sejam p
1
S
1
, X
1
: U
1
X
1
(U
1
) parametrizac ao de S
1
em p
1
e X
2
: U
2
X
2
(U
2
)
parametrizac ao de S
2
em f(p) tais que f(X
1
(U
1
)) X
2
(U
2
).
Podemos supor (ver demonstrac ao da proposic ao 2.1) que X
1
2
= F|
X
2
(U
2
)
, onde F : W R
2
e uma aplicac ao diferenci avel denida num aberto W de R
3
tal que X
2
(U
2
) W.
Logo, X
1
2
fX
1
= FfX
1
e diferenci avel emU
1
, pois e a composta de aplicac oes diferenci aveis
denidas em abertos de R
2
, R
3
e R
3
respectivamente.
Exemplo 2.3 Seja S uma superfcie regular sim etrica em relac ao ao plano xy, isto e,
(x, y, z) S se, e s o se, (x, y, z) S.
Seja : R
3
R
3
a aplicac ao dada por (x, y, z) = (x, y, z).
Ent ao e um difeomorsmo tal que
1
= .
Como (S) = S, temos que : S S e tamb em um difeomorsmo.
(x, y, z) R
3
|
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1
(t) ,= 0
para todo t I.
Observac ao 2.9 A mudanca de par ametro e um difeomorsmo.
Vamos provar este resultado para o caso em que ( e uma curva de R
3
. Quando ( e uma curva
plana, a demonstrac ao e similar e ca como exerccio.
De fato, sejam : I R (I) e : J (J) parametrizac oes de ( em p e W = (I)(J)
um aberto de ( que cont em p.
Mostraremos que h =
1
:
1
(W)
1
(W) e um difeomorsmo C
do aberto
1
(W)
da reta sobre o aberto
1
(W) da reta.
Seja t
0
1
(W) e considere s
0
= h(t
0
)
1
(W) J.
Como
(s
0
) = (x
(s
0
), y
(s
0
), z
(s
0
)) ,= (0, 0, 0), temos que x
(s
0
) ,= 0, y
(s
0
) ,= 0 ou z
(s
0
) ,= 0.
Vamos supor que z
(s
0
) ,= 0.
Estendemos a uma aplicac ao F : J R
2
R
3
dada por F(s, , ) = (x(s) +, y(s) +, z(s)).
Ent ao F e diferenci avel, F(s, 0, 0) = (s) para todo s J e o determinante da diferencial dF
(s
0
,0,0)
e diferente de zero, pois
(s
0
) 1 0
y
(s
0
) 0 1
z
(s
0
) 0 0
= z
(s
0
) ,= 0
Logo, pelo Teorema da Aplicac ao inversa, existem um intervalo aberto J
0
J, com s
0
J
0
,
um aberto U de R
2
com (0, 0) U e um aberto M de R
3
tais que F : J
0
U M e um
difeomorsmo de classe C
.
Ent ao (J
0
) = F(J
0
{(0, 0)}) e um aberto de ( contido no aberto M de R
3
tal que (s
0
) (J
0
).
Al em disso,
1
= F
1
|
(J
0
)
: (J
0
) J
0
, onde : R
3
R, (x, y, z) = x, pois
F
1
|
(J
0
)
((s)) = ( F
1
)(F(s, 0, 0)) = (s, 0, 0) = s. Ou seja,
1
: (J
0
) J
0
e a restric ao a
(J
0
) da aplicac ao diferenci avel F
1
denida no aberto M de R
3
.
Podemos tomar o intervalo aberto J
0
de modo que J
0
1
(W) e s
0
J
0
. Ent ao W
0
= (J
0
) e
um aberto de (, pois :
1
(W) W e um homeomorsmo.
Seja I
0
=
1
(W
0
). Ent ao I
0
e um subconjunto aberto de R tal que I
0
1
(W), t
0
I
0
e
(I
0
) = W
0
= (J
0
).
Logo, como h =
1
= F
1
em I
0
, temos que h e diferenci avel em t
0
.
J. Delgado - K. Frensel 108
Mudanca de Par ametros; Func oes Diferenci aveis sobre Superfcies
Como t
0
1
(W) e arbitr ario, temos que h =
1
:
1
(W)
1
(W) e diferenci avel.
De modo an alogo, podemos provar que h
1
=
1
:
1
(W)
1
(W) e diferenci avel, e,
portanto, a mudanca de par ametro h :
1
1
(W) e um difeomorsmo C
.
Observac ao 2.10 Se uma propriedade de uma curva regular obtida a partir de uma pa-
rametrizac ao independer desta parametrizac ao, dizemos que ela e uma propriedade local da
curva.
Observac ao 2.11 (Exemplo 15, p ag. 97)
O comprimento de arco, denido nos captulos 1 e 2, independe da parametrizac ao escolhida,
e e, portanto, uma propriedade local da curva.
Fig. 21: p
0
e p
1
na mesma componente conexa de W
De fato, sejam : I R (I) e : J (J)
parametrizac oes de uma curva ( num ponto p ( e
seja W = (I) (J).
Sejamp
0
,= p
1
pontos distintos de uma das componen-
tes conexas de W; t
0
, t
1
1
(W); s
0
, s
1
1
(W)
tais que (t
0
) = (s
0
) = p
0
e (t
1
) = (s
1
) = p
1
.
Seja h =
1
:
1
(W)
1
(W) a mudanca de par ametro. Vamos supor t
0
< t
1
e denir
I
= [t
0
, t
1
], J
= [s
0
, s
1
] ou J
= [s
1
, s
0
], conforme h
ou h
.
Como (t) = h(t) para todo t I
, temos que
(t) =
(h(t)) h
(t) e, portanto,
([t
0
, t
1
]) =
t
1
t
0
|
(t)| dt =
t
1
t
0
|
(h(t))| |h
(t)| dt
e ([s
0
, s
1
]) =
s
1
s
0
|
(s)| ds, se s
0
< s
1
, ou
s
0
s
1
|
(s)| ds, se s
0
> s
1
.
Logo,
s
1
s
0
|
(s)| ds =
h(t
1
)
h(t
0
)
|
(s)| ds =
1
t
0
|
(h(u))| h
(u) du
=
t
1
t
0
|
()| d , se h
ou
t
1
t
0
|
()| d , se h
.
Em qualquer caso, os comprimentos coincidem.
Instituto de Matem atica - UFF 109
Geometria Diferencial
Denic ao 2.5 Sejam ( uma curva regular de R
3
, p ( e : I (I) uma parametrizac ao
de ( em p, com (t
0
) = p, t
0
I. Dizemos, ent ao, que
(t
0
) e a curvatura (p) de ( em p e
(t
0
) e a tors ao (p) de ( em p.
Observac ao 2.12 As denic oes acima independem da parametrizac ao em p.
Com efeito, seja : J (J) outra parametrizac ao da curva ( em p com (s
0
) = p.
Seja W = (I) (J) (um aberto em ( que cont em p), I
o intervalo aberto de
1
(W) que
cont em t
0
e J
= h(I
), onde h =
1
:
1
(W)
1
(W) e a func ao de mudanca de
par ametro, com h(t
0
) = s
0
, isto e, (t
0
) = (s
0
) = p.
Armac ao.
(t
0
) =
(s
0
) e
(t
0
) =
(s
0
).
De fato, como
(t) =
(h(t)) h
(t) =
(h(t)) h
(t)
2
+
(h(t)) h
(t).
Ent ao,
(t)
(t) = (
(h(t))
(h(t))) h
(t)
3
e |
(t)| = |
(h(t))| |h
(t)|.
Logo,
(t
0
) =
|
(t
0
)
(t
0
)|
|
(t
0
)|
3
=
|
(h(t
0
))
(h(t
0
))| |h
(t
0
)|
3
|
(h(t
0
))|
3
|h
(t
0
)|
3
=
|
(s
0
)
(s
0
)|
|
(s
0
)|
3
=
(s
0
) .
Temos, tamb em,
(t) =
(h(t)) h
(t)
3
+2
(h(t)) h
(t) h
(t) +
(h(t)) h
(t) h
(t) +
(h(t)) h
(t) .
Logo,
(t
0
) =
(t
0
)
(t
0
) ,
(t
0
))
|
(t
0
)
(t
0
)|
2
=
(h(t
0
))
(h(t
0
)) ,
(h(t
0
))) h
(t
0
)
6
|
(h(t
0
))
(h(t
0
))|
2
|h
(t
0
)|
6
=
(s
0
)
(s
0
) ,
(s
0
))
|
(s
0
)
(s
0
)|
2
=
(s
0
) .
Um breve coment ario: e um fato conhecido que toda curva regular e difeomorfa a um intervalo
aberto ou ao crculo S
1
.
Usando esse resultado podemos construir uma aplicac ao t : ( R
3
(ou R
2
) de classe C
tal
que t(p) e tangente a ( em p e |t(p)| = 1 para todo p (. Isto e, podemos orientar a curva (.
J. Delgado - K. Frensel 110
Mudanca de Par ametros; Func oes Diferenci aveis sobre Superfcies
Fig. 22: C n ao-compacta (esquerda) e compacta (direita)
De fato, se f : I ( e um difeomorsmo, denimos t(p) =
f
(f
1
(p))
|f
(f
1
(p))|
para todo p (, no
caso em que ( n ao e compacto. Quando ( e compacta, existe um difeomorsmo g : S
1
(.
Denimos, ent ao t(p) =
(g exp)
(t)
|(g exp)
(t)|
, onde exp(t) = (cos t, sent) e g(exp(t)) = p.
Pode-se provar, usando o fato, que g e um difeomorsmo e que as func oes sen e cos s ao
peri odicas de perodo 2, que a func ao t : ( R
3
(ou R
2
) est a bem denida.
Com isto, no caso de ( ser uma curva plana, podemos denir um campo normal unit ario
n : ( R
2
diferenci avel, isto e, n(p) t(p) e |n(p)| = 1 para todo p (, tal que {t(p), n(p)}
e uma base ortonormal positiva para todo p (.
Assim, denimos a curvatura da curva ( em p com sinal como sendo (p) =
(s
0
), onde
: I (I) e uma parametrizac ao de ( em p pelo comprimento de arco tal que (s
0
) = p e
(s
0
) e b(p) = b
(s
0
), onde : I (I) e uma parametrizac ao de ( em p pelo
comprimento de arco tal que (s
0
) = p e
(v) cos u, f
(v) senu, g
(v))|
2
= |(f(v) g
(v))|
2
= f(v)
2
(f
(v)
2
+g
(v)
2
) > 0 ,
para todo (u, v) U.
(4) X : U X(U) e injetora e X
1
: X(U) U e contnua.
De fato, seja (x, y, z) = (f(v) cos u, f(v) senu, g(v)).
Ent ao z = g(v) e f(v) =
_
x
2
+y
2
. Como : (a, b) ((a, b)), (v) = (f(v), 0, g(v)), e
um homeomorsmo, v e determinado de maneira unica por v =
1
_
_
x
2
+y
2
, 0, z
_
e e uma
func ao contnua de
_
x
2
+y
2
e z e, portanto, uma func ao contnua de x, y e z.
Al em disso, como cos u =
x
f(v)
=
x
_
x
2
+y
2
, senu =
y
f(v)
=
y
_
x
2
+y
2
e u (0, 2), o
par ametro u e determinado de modo unico.
Logo, X e injetora.
Para provar que X
1
e contnua, temos que mostrar ainda que u e uma func ao contnua de x,
y e z.
Seja (x, y, z) = (f(v) cos u, f(v) senu, g(v)) X(U). Como u (0, 2), temos que
u
2
(0, )
e, portanto, cotg
u
2
est a denida para todo u (0, 2) e
cotg
u
2
=
cos
u
2
sen
u
2
=
2 cos
u
2
sen
u
2
2 sen
u
2
sen
u
2
=
senu
1 cos u
=
y
f(v)
1
x
f(v)
=
y
_
x
2
+y
2
x
.
Observe que
_
x
2
+y
2
x ,= 0, pois X(U) R
3
{(x, y, z) R| y = 0 e x 0} .
Ent ao u = 2 arc cotg
_
y
_
x
2
+y
2
x
_
e uma func ao contnua de x, y e z.
Como S pode ser coberta inteiramente por parametrizac oes similares, segue-se que S e uma
superfcie regular.
em p, onde (
= ( (
s
e (
s
e
o sim etrico de ( em relac ao ao eixo Oz.
Como f(x) = f(x) para todo x (, ), temos que todas as derivadas de ordem mpar
de f na origem s ao nulas. Em particular, o vetor tangente ` a curva ( no ponto p (ou q) e
perpendicular ao eixo Oz.
Reciprocamente, a curva ( gera uma superfcie regular S se existe uma vizinhanca V de p (e
de q) em ( que e o gr aco sobre o eixo Ox de uma func ao f : [0, ) R diferenci avel, isto e,
V = {(x, 0, f(x)) | x [0, )}, e a func ao F(x, y) = f
_
_
x
2
+y
2
_
, (x, y) D
(x, 0, f(x))
x [0, 1)
,
e uma vizinhanca do ponto p = (1, 0, 0), e
F(x, y) = f
_
_
x
2
+y
2
_
=
_
1 (x
2
+y
2
) , (x, y) D
1
(0) ,
e uma func ao diferenci avel.
Para Q = (1, 0, 0), f(x) =
_
1 x
2
, x [0, 1), e F(x, y) =
_
1 (x
2
+y
2
), para todo
(x, y) D
1
(0).
Uma superfcie regular obtida girando uma curva ( de um plano em torno de uma reta
r , tal que r ( , = ser a chamada superfcie de revoluc ao estendida.
Instituto de Matem atica - UFF 115
Geometria Diferencial
Denimos uma superfcie regular como um subconjunto de R
3
. Mas de modo an alogo ao
caso das curvas, podemos denir uma superfcie como uma superfcie parametrizada. N ao h a
problema com esse ponto de vista, desde que apenas quest oes locais sejam consideradas.
Denic ao 2.6 Uma aplicac ao X : U R
3
diferenci avel, denida num subconjunto aberto
U de R
2
, e uma superfcie parametrizada. O conjunto X(U) e o traco de X e X e regular se
a diferencial dX
q
: R
2
R
3
e injetora para todo q U. Um ponto q U onde dX
q
n ao e
injetora e chamado um ponto singular de X.
Observac ao 2.14 Uma superfcie parametrizada, mesmo quando e regular, pode ter um
traco com auto-intersec oes.
Exemplo 2.7 Seja : I R
3
uma curva parametrizada regular. Dena X : I R R
3
por
X(t, v) = (t) +v
(t).
Ent ao X e uma superfcie parametrizada, chamada superfcie tangente de .
Fig. 28: Superfcie tangente ` a curva C
Suponhamos que (t) ,= 0 para todo t I. Ent ao
X
t
(t, v) =
(t) +v
(t) e
X
v
(t, v) =
(t)
e, portanto,
_
X
t
X
v
_
(t, v) = v (
(t)
(t)) .
J. Delgado - K. Frensel 116
Mudanca de Par ametros; Func oes Diferenci aveis sobre Superfcies
Como (t) =
|
(t)
(t)|
|
(t)|
3
,= 0 para todo t I, temos que
_
X
t
X
v
_
(t, v) ,= 0 ,
para todo t I e todo v R {0}. Ou seja, X : I (R {0}) R
3
e uma superfcie
parametrizada regular, cujo traco tem duas componentes conexas, tendo (I) como fronteira
comum.
).
Sendo X(u, v) = F(u, v, 0) para todo (u, v) U
0
, temos que X : U
0
X(U
0
) e uma bijec ao e
X
1
: X(U
0
) U
0
e contnua, pois X
1
= F
1
|
X(U
0
)
, onde (u, v, t) = (u, v).
(0) = v.
Podemos supor que (, ) X(U) e X
1
= F|
X(U)
, onde F : V R
2
e uma func ao dife-
renci avel denida num aberto V de R
3
tal que X(U) V.
J. Delgado - K. Frensel 118
Plano Tangente; Diferencial de uma Aplicac ao
Logo = X
1
: (, ) U, (t) = (u(t), v(t)), e uma curva diferenci avel e
(t) = X (t) = X(u(t), v(t))
para todo t (, ).
Assim, (0) = q e v =
(0) = dX
q
(
(0)) = u
(0)X
u
(q) +v
(0)X
v
(q) .
Seja agora v = dX
q
(w), w R
2
, e considere a curva diferenci avel : (, ) U dada por
(t) = q +tw. Ent ao (0) = q e
(0) = w.
Logo = X : (, ) X(U) S e uma curva diferenci avel com (0) = p e
(0) =
dX
q
(
(0)) = dX
q
(w) = v.
3
e uma aplicac ao diferenci avel
em f(p), ent ao g f : S
1
S
3
e uma aplicac ao diferenci avel em p.
De fato, existem uma parametrizac ao X : U
1
X(U
1
) de S
1
em p, uma parametrizac ao
X
2
: U
2
X
2
(U
2
) de S
2
em f(p) e X
3
: U
3
X
3
(U
3
) uma parametrizac ao de S
3
em g(f(p))
tais que: f(X
1
(U
1
)) X
2
(U
2
), g(X
2
(U
2
)) X
3
(U
3
), X
1
2
f X
1
: U
1
U
2
e diferenci avel em
X
1
1
(p) e X
1
3
g X
2
: U
2
U
3
e diferenci avel em X
1
2
(f(p)). Logo
X
1
3
g f X
1
= X
1
3
g X
2
X
1
2
f X
1
: U
1
U
3
e diferenci avel em X
1
1
(p).
Assim, g f : S
1
S
3
e diferenci avel em p.
Vamos agora denir a diferencial de uma aplicac ao diferenci avel entre superfcies regu-
lares.
Sejam S
1
e S
2
superfcies regulares e seja f : V S
2
uma aplicac ao diferenci avel em
p V, onde V e um aberto de S
1
. Sejam v T
p
S e : (, ) V uma curva diferenci avel
em 0 com (0) = p e
(0) e linear.
Prova.
Como f : V S
2
e diferenci avel em p, existem uma parametrizac ao X : U X(U) V
de S
1
em p, com X(q) = p, e uma parametrizac ao X : U X(U) S
2
de S
2
em f(p), com
X(q) = f(p), tais que f(X(U)) X(U).
J. Delgado - K. Frensel 120
Plano Tangente; Diferencial de uma Aplicac ao
Seja
f = (X)
1
f X : U U. Ent ao
f e diferenci avel em q e
f(q) = q.
Podemos supor que (, ) X(U).
Ent ao X
1
(t) = (u(t), v(t)) e diferenci avel em t = 0 e v =
(0) = u
(0)X
u
(q) +v
(0)X
v
(q).
Como (t) = f (t), temos que
(t) = X
_
(X)
1
f X
_
_
X
1
_
(t) =
_
X
f
_
(u(t), v(t)) = X(f
1
(u(t), v(t)), f
2
(u(t), v(t))) ,
onde
f(u, v) = (f
1
(u, v), f
2
(u, v)).
Logo,
(0) =
_
f
1
u
(q)u
(0) +
f
1
v
(q)v
(0)
_
X
u
(q) +
_
f
2
u
(q)u
(0) +
f
2
v
(q)v
(0)
_
X
v
(q) (4)
Ent ao
(0), v
(0)) de v =
(0) = v.
Al em disso, por (4), a aplicac ao df
p
: T
p
S
1
T
f(p)
S
2
e dada por:
df
p
(v) = df
p
(aX
u
(q) +bX
v
(q)) =
(0)
= a
_
f
1
u
(q)X
u
(q) +
f
2
u
(q)X
v
(q)
_
+b
_
f
1
v
(q)X
u
(q) +
f
2
v
(q)X
v
(q)
_
.
Portanto df
p
: T
p
S
1
T
f(p)
S
2
e linear e a sua matriz em relac ao ` as bases {X
u
(q), X
v
(q)} de
T
p
S
1
e {X
u
(q), X
v
(q)} de T
f(p)
S
2
e dada por
_
_
_
f
1
u
(q)
f
1
v
(q)
f
2
u
(q)
f
2
v
(q)
_
_
_
(0) = w.
Ent ao (t) = h (t) = (t) , v) e, portanto, dh
p
(w) =
(0) =
(0) , v) = w, v).
(0) = v, e = R
z,
. Ent ao, como R
z,
e linear,
d(R
z,
)
p
(v) =
(0) = (R
z,
)
(0) = R
z,
(
(0)) = R
z,
(v) ,
isto e, d(R
z,
)
p
: T
p
S
2
T
R
z,
(p)
S
2
e dada por d(R
z,
)
p
(v) = R
z,
(v).
Como R
z,
(N) = N, onde N = (0, 0, 1) e o p olo norte de S
2
, temos que d(R
z,
)
N
: T
N
S
2
T
N
S
2
e a rotac ao de um angulo em torno do ponto N, no plano T
N
S
2
que e paralelo ao plano xy.
(0) = v, onde
v T
p
S.
Ent ao df
p
(v) =
(0), onde = g : (, ) S
3
e uma curva
diferenci avel em 0 com (0) = g f(p).
Por outro lado, d(g f)
p
(v) =
(0), pois
(g f) (t) = g (f )(t) = g (t) = (t)
para todo t (, ).
Logo d(g f)
p
= dg
f(p)
df
p
, isto e, vale a regra da cadeia para a composta de aplicac oes
diferenci aveis entre superfcies.
Em particular, se X : U X(U) e uma parametrizac ao de uma superfcie S em p, ent ao
X
1
: X(U) U e diferenci avel e X
1
X = id. Logo,
dX
1
X(q)
dX
q
= d(X
1
X)
q
= did
q
: R
2
R
3
.
Isto e, dX
1
X
(q) : T
X(q)
S R
2
e um isomorsmo e dX
1
X
(q) = (dX
q
)
1
.
Prova.
(do Teorema da Aplicac ao Inversa) Sejam X
1
: U
1
X
1
(U
1
) U uma parametrizac ao
de S
1
em p e X
2
: U
2
X
2
(U
2
) S
2
uma parametrizac ao de S
2
em f(p) tais que f(X
1
(U
1
))
X
2
(U
2
).
Ent ao
f = X
1
2
f X
1
: U
1
U
2
e diferenci avel e, pela observac ao ,
d
f
q
= d(X
1
2
)
f(p)
df
p
d(X
1
)
q
: R
2
R
2
.
Portanto, pela observac ao , d
f
q
: R
2
R
2
e um isomorsmo.
Logo, pelo Teorema da Aplicac ao Inversa, existem um aberto W
1
U
1
, q W
1
, e um aberto
W
2
U
2
, q = X
1
2
(f(p)) W, tais que
X
1
2
f X
1
: W
1
W
2
Instituto de Matem atica - UFF 123
Geometria Diferencial
e um difeomorsmo, isto e, X
1
2
f X
1
: W
1
W
2
e uma bijec ao diferenci avel e X
1
f X
2
:
W
2
W
1
e diferenci avel.
Como, pela observac ao , X
1
: W
1
X
1
(W
1
) e X
2
: W
2
X
2
(W
2
) s ao difeomorsmos,
temos, pela observac ao , que f : X
1
(W
1
) X
2
(W
2
) e um difeomorsmo, onde X
1
(W
1
) e
um aberto de S
1
que cont em p e X
2
(W
2
) e um aberto de S
2
que cont em f(p).
(0) = w.
Ent ao = X : (, ) X(U) S e diferenci avel em0, (0) = X(q) e
(0) = v dX
q
(R
2
).
Logo, pela denic ao de plano tangente, temos que v =
(0) T
p
S.
Portanto dX
q
(R
2
) T
p
S.Como dimdX
q
(R
2
) = dimT
p
S = 2, temos que dX
q
(R
2
) = T
p
S e
dX
q
: R
2
T
p
S
e um isomorsmo para todo q U, pois dX
q
: R
2
R
3
e injetora.
Dado q U, existem, pelo Teorema da Aplicac ao inversa, um aberto U
q
U, q U
q
, e um
aberto W
p
X(U) S de S, onde X(q) = p W
p
, tais que
X : U
q
W
p
e um difeomorsmo.
Logo, X(U) =
pX(U)
W
p
e um aberto de S. Al em disso, X
1
: X(U) U e contnua. De fato,
seja Y : V Y(V) uma parametrizac ao de S emX(q) = p, q U, tal que Y(V) X(U
q
) = W
p
.
Ent ao
X
1
Y : V U
q
e diferenci avel e, portanto, e contnua.
Logo, como Y
1
: V Y(V) e contnua, temos que
X
1
= X
1
Y Y
1
: Y(V) X
1
(Y(U))
J. Delgado - K. Frensel 124
Plano Tangente; Diferencial de uma Aplicac ao
e contnua, onde Y(U) e um aberto de S tal que Y(V) X(U) e p = X(q) Y(V).
Ent ao, como p X(U) e arbitr ario, X
1
: X(U) U e contnua, ou seja, X : U X(U) e um
homeomorsmo e, portanto, X : U X(U) e uma parametrizac ao de S.
Faremos agora algumas observac oes antes de nalizar esta sec ao.
Observac ao 3.6 O plano tangente nos permite falar do angulo entre duas superfcies, que
se intersectam, em um ponto de intersec ao.
De fato, dado um ponto p em uma superfcie regular, existem dois vetores unit arios em R
3
que
s ao normais ao plano tangente T
p
S. Cada um deles e chamado vetor unit ario normal a S em p,
e a reta que passa por p e tem a direc ao dada por esses vetores normais a S em p e chamada
reta normal a S em p.
Fig. 31: O angulo entre S
1
e S
2
e o angulo entre T
p
S
1
e T
p
S
2
O angulo entre duas superfcies que se in-
tersectam em um ponto p e o angulo entre
os respectivos planos tangentes (ou entre
as retas normais) em p.
Dada uma parametrizac ao X : U X(U)
de S em p, podemos denir a escolha de
um vetor unit ario normal em cada ponto p
X(U) da seguinte maneira:
N(p) =
X
u
(q) X
v
(q)
|X
u
(q) X
v
(q)|
,
onde X(q) = p, q U. Obtemos, assim,
uma aplicac ao N : X(U) R
3
diferenci avel. Veremos na sec ao 5 que nem sempre e possvel
estender essa aplicac ao, de maneira contnua, ` a superfcie S.
Observac ao 3.7 A denic ao dada para superfcie regular exige que as parametrizac oes
sejam de classe C
, na denic ao, foi adotada para evitarmos o estudo das condic oes mnimas de
diferenciabilidade em cada caso particular, que podem obscurecer a natureza geom etica do
problema.
Instituto de Matem atica - UFF 125
Geometria Diferencial
Exemplo 3.3 (Exemplo de uma superfcie de classe C
1
).
Sejam a curva regular de classe C
1
( =
(x, y, z) R
3
| x = 0 e z = y
4/3
(x, y, z) R
3
| z =
3
_
(x
2
+y
2
)
2
,
isto e, S e o gr aco da func ao f : R
2
R de classe C
1
dada por f(x, y, z) =
3
_
(x
2
+y
2
)
2
.
Como f
x
(0, 0) = f
y
(0, 0) = 0, temos que T
0
S =plano xy, pois X(x, y) = (x, y, f(x, y)) e uma
parametrizac ao de S e {X
x
(0, 0), X
y
(0, 0)} = {(1, 0, 0), (0, 0, 1)} gera o espaco tangente a S em
(0, 0, 0).
(0) = u
(0) X
u
(q) + v
(0) X
v
(q), onde X(q) = p e
q U.
Ent ao
I
p
(v) =
(0) ,
(0))
p
= u
(0)X
u
(q) +v
(0)X
v
(q) , u
(0)X
u
(q) +v
(0)X
v
(q))
p
= u
(0)
2
X
u
(q) , X
u
(q))
p
+2u
(0)v
(0)X
u
(q) , X
v
(q))
p
+v
(0)
2
X
v
(q) , X
v
(q))
p
= u
(0)E(q) +2u
(0)v
(0)F(q) +v
(0)
2
G(q) ,
onde
E(u, v) = X
u
(u, v) , X
u
(u, v))
p
,
F(u, v) = X
u
(u, v) , X
v
(u, v))
p
,
G(u, v) = X
v
(u, v) , X
v
(u, v))
p
.
s ao os coecientes da primeira forma fundamental na base {X
u
(u, v), X
v
(u, v)} de T
p
S, sendo
q = (u, v) e X(u, v) = X(q) = p.
Instituto de Matem atica - UFF 127
Geometria Diferencial
Observac ao 4.1 As func oes E, F, G : U R s ao de classe C
, X(R
2
) = H, X : R
2
H e um homeomorsmo
e dX
q
: R
2
R
3
e injetora para todo q R
2
(exerccio). Logo H e uma superfcie regular.
Como X
u
(u, v) = (v senu, v cos u, a) e X
v
(u, v) = (cos u, senu, 0, temos que E(u, v) = a
2
+v
2
,
G 1 e F 0. Logo,
I
p
(AX
u
+BX
v
) = (a
2
+v
2
)A
2
+B
2
.
t
t
0
|
(t)| dt =
t
t
0
_
I(
(t)) dt .
Em particular, se (t) = X(u(t), v(t)) est a contida numa vizinhanca coordenada de uma
parametrizac ao X : U X(U) S, temos que
s(t) =
t
t
0
_
u
(t)
2
E(u(t), v(t)) +2u
(t)v
(t)
2
G(u(t), v(t)) , dt .
O angulo que duas curvas parametrizadas regulares , : I S que se intersectam em
(t
0
) = (t
0
) fazem neste ponto e dado por
cos =
(t
0
) ,
(t
0
))
|
(t
0
)| |
(t
0
)|
.
Em particular, o angulo de intersec ao das curvas coordenadas de uma parametrizac ao
X : U X(U) e:
cos =
X
u
, X
v
)
|X
u
| |X
v
|
=
F
EG
.
**************** Figura pag 97
Instituto de Matem atica - UFF 129
Geometria Diferencial
Ent ao, as curvas coordenadas de uma parametrizac ao s ao ortogonais se, e somente se,
F(u, v) = 0 para todo (u, v) U. Uma tal parametrizac ao e chamada uma parametrizac ao
ortogonal.
Exemplo 4.4 Seja S
2
= {(x, y, z) R
3
| x
2
+y
2
+z
2
= 1} a esfera unit aria de centro na origem
e seja
X : (0, 2) (0, ) S
2
,
X(, ) = (sen cos , sen sen, cos ), uma parametrizac ao de S
2
dada por suas coorde-
nadas esf ericas.
Como
X
+bX
) = a
2
E +2abF +b
2
G = a
2
+b
2
sen
2
. (6)
Como aplicac ao, vamos determinar as curvas nesta vizinhanca coordenada da esfera que
fazem um angulo constante com os meridianos =const. que s ao chamadas curvas
exodr omicas da esfera.
Podemos supor que a curva procurada (t) e a imagem por X de uma curva t
((t), (t)), isto e, (t) = X((t), (t)).
No ponto X((t), (t)) a curva intersecta o meridiano = (t) =const. Ent ao, por (5) e
(6),
cos =
X
((t), (t)) ,
(t))
|X
((t), (t))| |
(t)|
=
(t)
_
(t)
2
+
(t)
2
sen
2
(t)
,
pois |X
((t), (t))| = 1 e
(t) =
(t) X
((t), (t)) +
(t) X
((t), (t)).
J. Delgado - K. Frensel 130
Primeira Forma Fundamental;
Area
Logo, para [0, ] {0, /2, }, temos:
(t)
cos
=
_
(t)
2
+
(t)
2
sen
2
(t)
(t)
2
sec
2
(t)
2
(t)
2
sen
2
(t) = 0
(t)
2
tan
2
(t)
2
sen
2
(t) = 0
(t)
sen(t)
=
(t)
tan
.
Por integrac ao, obtemos que
log
_
tan
_
(t)
2
__
= cotg((t) +C) ,
onde C e uma constante.
Fazendo (t) =
2
t, t
_
2
,
2
_
, temos
cotg((t) +C) = log
_
tan
_
4
t
2
__
.
Logo,
cotg((0) +C) = log
_
tan
4
_
= 0 ,
isto e, C = (0).
Assim, C e determinada pelo meridiano como o qual se encotra quando ela passa pelo
equador ( = /2) .
***************** Figura p ag 100
Uma outra quest ao m etrica que pode ser tratada com a primeira forma fundamental e o
c alculo da area de uma regi ao limitada de uma superfcie regular S.
Denic ao 4.2 Umdomnio (regular) emS e umsubconjunto aberto e conexo de S tal que sua
fronteira e a imagem de um crculo por uma aplicac ao que e um homeomorsmo diferenci avel
regular (isto e, sua diferencial n ao se anula) exceto num n umero nito de pontos.
Uma regi ao de S e a uni ao de um domnio com a sua fronteira. Uma regi ao de S e limitada se
est a contida em alguma bola de R
3
.
******************* Figura p ag 101
Instituto de Matem atica - UFF 131
Geometria Diferencial
Vamos considerar regi oes limitadas R que est ao contidas em uma vizinhanca coordenada X(U)
de uma parametrizac ao X : U X(U) de S. Isto e, R = X(Q), onde Q e uma regi ao limitada
de R
2
contida em U.
Denic ao 4.3 Seja R S uma regi ao limitada de uma superfcie S contida emuma vizinhanca
coordenada X(U) de uma parametrizac ao X : U X(U) S. O n umero positivo
A(R) =
Q
|X
u
X
v
| dudv
e chamado area de R, onde Q = X
1
(R).
Observac ao 4.2 Na sec ao daremos uma justicativa geom etrica para esta denic ao.
Observac ao 4.3 A integral
Q
|X
u
X
v
| dudv
independe da parametrizac ao X : U X(U) de S com R X(U).
De fato, seja X : U X(U) uma outra parametrizac ao de S tal que R X(U) e seja Q =
(X)
1
(R), isto e, X(Q) = R.
Seja h = X
1
X : (X)
1
(W) (X)
1
(W), h(u, v) = (u(u, v), v(u, v)), a mudanca de
par ametros, onde W = X(U) X(U). Ent ao h e um difeomorsmo tal que h(Q) = Q, pois
R W.
Logo, como X(u, v) = X(h(u, v)) = X(u(u, v), v(u, v)), temos que
X
u
(u, v) = X
u
(h(u, v))
u
u
(u, v) + X
v
(h(u, v))
v
u
(u, v) ,
e
X
v
(u, v) = X
u
(h(u, v))
u
v
(u, v) + X
v
(h(u, v))
v
v
(u, v) .
Portanto,
(X
u
X
v
)(u, v) = (X
u
X
v
)(h(u, v))
_
u
u
v
v
u
v
v
u
_
(u, v)
= (X
u
X
v
)(h(u, v))
(u, v)
(u, v)
= (X
u
X
v
)(h(u, v)) det
_
dh
(u,v)
_
.
J. Delgado - K. Frensel 132
Primeira Forma Fundamental;
Area
Assim, pelo Teorema de Mudanca de Vari aveis para integrais m ultiplas, temos que
Q
|X
u
X
v
|(u, v) dudv =
Q
|X
u
X
v
| h((u, v))
(u, v)
(u, v)
(u, v)
dudv
=
Q
|X
u
X
v
|(u, v) dudv .
Exemplo 4.5 Seja T o toro de revoluc ao obtido girando o crculo
( = {(x, y, z) R
3
| (x a)
2
+z
2
= r
2
e y = 0} , a > r > 0,
em torno do eixo Oz.
Seja X : (0, 2) (0, 2) T a parametrizac ao de T dada por
X(u, v) = ( (a +r cos u) cos v , (a +r cos u) senv , r senu) ,
que cobre o toro T menos um meridiano (v = 0) e um paralelo (u = 0).
Como
X
u
(u, v) = (r senucos v, r senusenv, r cos u)
e
X
u
(u, v) = ((a +r cos u) senv, (a +r cos u) cos v, 0) ,
temos que:
E(u, v) = r
2
, G(u, v) = (a +r cos u)
2
e F(u, v) = 0 .
Seja R
= X(Q
= { (u, v) R
2
| u 2 e v 2 }
***************** Figura pag 104
Ent ao, como |X
u
X
v
| =
_
EGF
2
= r(a +r cos u), obtemos:
A(R
) =
|X
u
X
v
|(u, v) dudv =
) = 4
2
ar .