Professional Documents
Culture Documents
3 Superfcies Regulares
81
1.
2.
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies . . . . . . . 100
3.
4.
5.
de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Orientacao
6.
Uma Caracterizacao
. . . . . . . . . . . 147
7.
Geometrica
Uma Definicao
da Area
. . . . . . . . . . . . . . . . . . . . . . . . . 153
81
. . . . . . . . . . . . . . . . . . . . . . . . . 126
79
80
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
Captulo 3
Superfcies Regulares
` curvas nos Captulos 1 e 2, as superfcies regulares
Em contraste ao tratamento dado as
definidas como conjuntos e nao
como aplicacoes.
2 deste captulo.
comentario
sobre isso na secao
1.
vertices,
arestas ou auto-intersecoes,
e que tenha sentido falar em plano tangente nos pontos
desta figura.
as funcoes
Instituto de Matematica
- UFF 81
Geometria Diferencial
1.1
Observacao
(1) e natural se esperamos fazer alguma geometria diferencial sobre S. Por
A condicao
exemplo, permite definir o conceito de plano tangente.
intersecoes
em superfcies regulares, que e necessario
para podermos falar, por exemplo,
sobre o plano tangente em um ponto de S.
(2) serve para provar que certos conceitos que de A continuidade da inversa na condicao
na realidade so dependem do ponto p S, isto e,
A condicao
de um plano tangente em todos os pontos de S.
82
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
X
(q) =
u
x
u
(q),
y
z
(q), (q) .
u
u
X
(q) =
v
x
v
(q),
y
z
(q), (q) .
v
v
x
u (q)
dXq = y (q)
u
z
(q)
u
x
(q)
v
y
.
(q)
z
(q)
v
(3), da definicao
1.1, nos diz que dXq : R2 R3 e injetora, o que significa que os
A condicao
linearmente independentes, ou seja, que o
dois vetores coluna da matriz Jacobiana acima sao
Instituto de Matematica
- UFF 83
Geometria Diferencial
um dos determinantes:
Ou ainda, que um dos menores de ordem 2 da matriz de dXq , isto e,
x
(q) x (q)
(x, y)
v
(q) = u
;
(u, v)
y
y
(q)
(q)
u
y
(q) y (q)
(y, z)
v
(q) = u
;
(u, v)
z
z
(q)
(q)
u
x
(q) x (q)
(x, z)
v
(q) = u
,
(u, v)
z
z
(q)
(q)
u
e diferente de zero.
X+
3 (u, v) = (u, v,
p
1 (u2 + v2 )) ,
diferenciavel,
(2) X+
pois 1 (u2 + v2 ) > 0 para todo (u, v) U.
3 e
1 0
(x, y)
(3)
(q) =
= 1 6= 0 para todo q U.
(u, v)
0 1
1
um homeomorfismo, pois X+
uma bijecao
contnua sobre S2 H3+ e (X+
(4) X+
= |S2 H3+
3)
3 e
3 e
84
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
as aplicacoes:
3
X+
1 , X1 , X2 , X2 , X3 , X3 : U R
dadas por:
p
(u,
v)
=
(
1 (u2 + v2 ), u, v) ;
X
1
p
(u,
v)
=
(u,
X
1 (u2 + v2 ), v) ;
2
p
2
2
X
3 (u, v) = (u, v, 1 (u + v )) .
parametrizacoes
de
De modo analogo
ao feito para X+
3 , podemos provar que X1 , X2 e X3 sao
H1 = {(x, y, z) R3 | x < 0} ;
H2 = {(x, y, z) R3 | y < 0} ;
H3 = {(x, y, z) R3 | z < 0} ,
abertos de R3 . Como
sao
2
2
2
2
X+
1 (U) X1 (U) = S {(x, y, z) S | y + z = 1 e x = 0} ;
2
2
2
2
X+
2 (U) X2 (U) = S {(x, y, z) S | x + z = 1 e y = 0} ;
2
2
2
2
X+
3 (U) X3 (U) = S {(x, y, z) S | x + y = 1 e z = 0} .
temos que
S 2 = X+
1 (U) X1 (U) X2 (U) X2 (U) X3 (U) X3 (U) .
X+
Fig. 4: Cobertura da esfera pelas 6 parametrizacoes
1 (U), X1 (U), X2 (U), X2 (U), X3 (U) e X3 (U).
Instituto de Matematica
- UFF 85
Geometria Diferencial
Podemos tambem
usando as coordenadas
geograficas
de S2 .
X : U R3 dada por
De fato, seja a aplicacao
X(, ) = (sen cos , sen sen , cos ) ,
definida no aberto
U = {(, ) R2 | 0 < <
e 0 < < 2} .
De fato, X e diferenciavel
e dX(,) : R2 R3 e injetora para todo (, ) U, pois:
X (, ) = (cos cos , cos sen , sen ) ,
e
X (, ) = ( sen sen , sen cos , 0) ,
portanto:
(X X )(, ) = (sen2 cos , sen2 sen , cos sen ) ,
e
kX X k2 (, ) = sen4 cos2 + sen4 sen2 + cos2 sen2 = sen2 6= 0 ,
86
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
y
x
e sen =
, o que determina de
sen
sen
1.4 que deComo ja sabemos que S2 e uma superfcie regular, obteremos, pela proposicao
monstraremos em breve, que X1 e contnua.
de S2 que cobre toda a esfera menos o semiLogo, X : U S2 C e uma parametrizacao
crculo C.
De fato, seja Y : V R3 a
Podemos cobrir a esfera toda considerando outra parametrizacao.
aplicacao
Y(, ) = (sen cos , cos , sen sen ) ,
onde
V = {(, ) R2 | < < 0 e 0 < < 2}.
Y(V) = S2 C 0 , onde C 0 e o semi-crculo:
Entao
C 0 = {(x, y, z) 2 | x 0 e z = 0} .
de S2 . Temos
De modo analogo
ao feito para X, podemos provar que Y e uma parametrizacao
que X(U) Y(V) = S2 .
tambem
O exemplo 1.1 mostra que verificar que um dado subconjunto S de R3 e uma superfcie
pode ser muito trabalhoso. Antes de prosseguirmos com os
regular, a partir da definicao,
que simplificarao
essa tarefa.
exemplos, apresentaremos duas proposicoes
Proposicao
definida no aberto U de R2 ,
o seu grafico
entao
Graf (f) = {(x, y, z) R3 | (x, y) U e z = f(x, y)} ,
e uma superfcie regular.
Prova.
X : U S = S R3 dada por X(u, v) = (u, v, f(u, v)).
Sejam S = Graf (f) e a aplicacao
Instituto de Matematica
- UFF 87
Geometria Diferencial
a aplicacao
X e diferenciavel
Entao
e dX(u,v) : R2 R3 e injetora para todo (u, v) U, pois
1 0
(x, y)
6 0.
(u, v) =
=
(u, v)
0 1
disso, X e uma bijecao
e X1 = |S e contnua, onde : R3 R2 , (x, y, z) = (x, y), e a
Alem
sobre o plano-xy.
projecao
Logo, S = Graf (f) e uma superfcie regular.
o plano
Exemplo 1.2 Sejam p0 R3 e a, b R3 vetores LI. Entao
= {p0 + a + b | , R} ,
que passa pelo ponto p0 e e paralelo aos
vetores a e b, e uma superfcie regular.
De fato, seja N = a b o vetor normal ao
plano .
Entao
= {p R3 | hp p0 , Ni = 0} .
Sendo N = (A, B, C), temos que
= {(x, y, z) R3 | Ax + By + Cz = D} ,
DAxBy
.
C
diferenciavel
D Ax By
.
C
x2
y2
(x, y, z) R | z = 2 + 2
a
b
88
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
diferenciavel
Fig. 7: Paraboloide
elptico P grafico
de f(x, y) =
x2
a2
x2
y2
+
.
a2
b2
y2
b2
Fig. 8: Paraboloide
hiperbolico
H grafico
de f(x, y) =
y2
b2
x2
a2
y2
x2
(x, y, z) R | z = 2 2
b
a
3
diferenciavel
y2
x2
2.
2
b
a
Definicao
definida no aberto U de Rn .
e sobrejeDizemos que p0 U e um ponto crtico de F se a diferencial dFp0 : Rn Rm nao
tora.
Um ponto b Rm e um valor crtico de F se existe um ponto crtico p0 U tal que F(p0 ) = b.
e um valor crtico de F e chamado um valor regular de F, isto e,
dFp
Um ponto a Rm que nao
e sobrejetora para todo p F1 (a).
se a
a e um valor regular de F.
Observacao
definicao,
/ F(U), entao
Instituto de Matematica
- UFF 89
Geometria Diferencial
Proposicao
definida no aberto U de R3 e
f1 (a) e uma superfcie regular em R3 .
a f(U) e um valor regular de f, entao
Prova.
Seja p0 = (x0 , y0 , z0 ) um ponto de f1 (a). Como a e um valor regular de f, temos que
grad f(p0 ) = (fx (p0 ), fy (p0 ), fz (p0 )) 6= (0, 0, 0) .
F : U R3 dada por
Suponhamos que fz (p0 ) 6= 0 e consideremos a aplicacao
F(x, y, z) = (x, y, f(x, y, z)) .
Como
dFp0 =
,
fx (p0 ) fy (p0 ) fz (p0 )
0
90
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
e diferenciavel
e x(u, v, t) = u, y(u, v, t) = v, pois
(u, v, t) = F F1 (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.
F(f1 (a) V) = W {(u, v, t) | t = a}
Afirmacao:
Fig. 9:
Diminuindo V, se necessario,
podemos tomar W = (x0 , x0 +)(y0 , y0 +)(a, a+),
onde > 0.
diferenciavel
Seja h : U0 R a funcao
dada por h(x, y) = z(x, y, a), onde
U0 = (x0 , x0 + ) (y0 , y0 + ) .
h, pois
Logo, f1 (a) V e o grafico
da funcao
f1 (a) V = F1 (W {(x, y, t) R3 | t = a}) = {F1 (x, y, a) | (x, y) U0 }
= {(x, y, h(x, y)) | (x, y) U0 } = Graf (h) .
X : U0 f1 (a) V, dada por
Assim, f1 (a) V e um aberto de f1 (a) e a aplicacao
pela proposicao
1.1, uma parametrizacao
de f1 (a) em p0 .
X(x, y) = (x, y, h(x, y)) e,
Portanto, f1 (a) e uma superfcie regular, pois todo ponto p f1 (a) pode ser coberto por uma
vizinhanca coordenada.
Instituto de Matematica
- UFF 91
Geometria Diferencial
(y y0 )2
(z z0 )2
(x x0 )2
+
+
= 1,
a2
b2
c2
(x x0 )2
(y y0 )2
(z z0 )2
+
+
1.
a2
b2
c2
Entao
grad F(x, y, z) =
= (0, 0, 0)
pertence a F1 (0).
ponto crtico de F, (x0 , y0 , z0 ), nao
reuniao
92
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
por caminhos de S, pois B(p; ) e convexo (logo, conexo por caminhos) e X e uma aplicacao
aberta, uma vez que e um homeomorfismo.
Corolario
1.1 Seja S R3 uma superfcie regular. Entao
S e conexa S e conexa por caminhos .
do Valor Intermediario,
que
[t0 , t1 ] f ([0, 1]) = f(([0, 1])) f(S) ,
provando, assim, que f(S) e um intervalo da reta.
x2
y2
z2
+
= 1,
a2
b2
c2
Instituto de Matematica
- UFF 93
Geometria Diferencial
diferenciavel
x2
y2
z2
+
1.
a2
b2
c2
Como
2x 2y 2z
grad f(x, y, z) = 2 , 2 , 2 = (0, 0, 0)
a
H = H {(x, y, z) R3 | z < 0}
abertos disjuntos de H.
sao
T e a superfcieobtida pela rotacao
do crculo
Exemplo 1.7 O toro de revolucao
(y a)2 + z2 = r2
C:
x = 0
de centro (0, a, 0) e raio r > 0, a > r, no plano-yz, em torno do eixo-Oz.
94
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
do toro de revolucao
p
x2
y2
2
+ z2 .
como
Entao,
F
(x, y, z) =
x
segue que
p
x2 + y2 a x
p
,
x2 + y2
F
(x, y, z) =
y
p
x2 + y2 a y
p
,
x2 + y2
F
(x, y, z) = 2z ,
z
F
F
F
(x, y, z) =
(x, y, z) = (x, y, z) = 0 se, e so se, x2 + y2 = a2 e z = 0, ou seja,
x
y
z
diferenciavel.
Instituto de Matematica
- UFF 95
Geometria Diferencial
diferenciavel
y = g(x, z) ,
x = h(y, z) .
Prova.
de S em p. Entao
um dos Jacobianos
Seja X : U S uma parametrizacao
(x, y)
(q) ,
(u, v)
(y, z)
(q) ou
(u, v)
(x, z)
(q)
(u, v)
(x, y)
diferenciavel
X : U R2 ,
Como
(x, y)
(q) 6= 0, temos que dq ( X) : R2 R2 e um isomorfismo. Logo, pelo Teorema
(u, v)
Fig. 13:
96
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
diferenciavel
Isto e,
da funcao
f : V2 R dada por
f(x, y) = z(u(x, y), v(x, y)) .
abaixo, que ja utilizamos no exemplo 1.1, so sera provada na secao
2.
A proposicao
X : U R3 e diferenciavel;
dXq : R2 R3 e injetora para todo q U;
x2 + y2
Nao
naturalde C dada por
(x, y) 7 (x, y,
x2 + y2 )
ser diferenciavel
nao
na origem, pois poderia existir outra
em p = (0, 0, 0) satisfazendo as condicoes
parametrizacao
1.1. Provaremos que isto nao
ocorre, utilizando
da definicao
1.3.
a proposicao
De fato, se C fosse uma superfcie regular, existiria, pela
1.3, um aberto V S com (0, 0, 0) V, que
proposicao
diferenciavel
formas:
seria o grafico
de uma funcao
de uma das tres
z = f(x, y) ,
y = g(x, z) ,
ou
x = h(y, z) ,
Instituto de Matematica
- UFF 97
Geometria Diferencial
pode ser da forma z = f(x, y) numa vizinhanca da origem, pois teramos f(x, y) =
e diferenciavel
que nao
em (0, 0).
x2 + y2
De fato, X e diferenciavel
e
dX(u,v)
Logo
kXu Xv k2 = k((a + r cos u)r cos u cos v, (a + r cos u)r cos u sen v, (a + r cos u)r sen u)k2
= (a + r cos u)2 r2 > 0 ,
para todo (u, v) (0, 2) (0, 2), pois a > r > 0.
Portanto, dX(u,v) : R2 R3 e injetora para todo (u, v).
Provaremos agora que X e injetora.
Sejam (u1 , v1 ), (u2 , v2 ) (0, 2) (0, 2) tais que X(u1 , v1 ) = X(u2 , v2 ), isto e,
(a + r cos u1 ) cos v1 = (a + r cos u2 ) cos v2
(1)
(2)
r sen u1 = r sen u2 .
(3)
a + r cos u1 = a + r cos u2
cos u1 = cos u2
98
J. Delgado - K. Frensel
Superfcies Regulares; Pre-imagens
de valores regulares
Como ja provamos que T e uma superfcie regular no exemplo 1.7, temos, pela proposicao
de T , onde
1.4, que X : U V1 = T (C1 C2 ) e uma parametrizacao
C1 = {(x, y, z) R3 | y = 0 e (x a)2 + z2 = r2 } ,
C2 = {(x, y, z) R3 | z = 0 e x2 + y2 = (a + r)2 } .
3
(0, 0, r sen u0 ) e raio a + r cos u0 contido no plano z = r sen u0 . Se u0
,
,
a
+
r
cos u0 [a r, a], e se u0 0,
3
, 2 ,
2 2
2
2
a + r cos u0 [a, a + r]
, + 2 V2 , dada por
2 2
Instituto de Matematica
- UFF 99
Geometria Diferencial
Logo, V1 V2 = {(ar, 0, 0) , (0, a+r, 0)}. Para cobrir todo o toro, basta tomar a parametrizacao
X3 :
, + 2 (, 3) V3 ,
2 2
2.
Mudanca de Parametros;
Funcoes
Diferenciaveis
sobre
Superfcies
uma definicao
que
dependa do sistema de coordenadas escolhido. Para isto, e fundamental mostrar que
ela nao
diferenciavel.
Seja p um ponto de uma superfcie regular S e sejam X : U R2 R3 , Y : V R2
de S tais que p X(U) Y(V) = W.
R3 duas parametrizacoes
homeomorfismos, temos que W e um aberto de S e, portanto, X1 (W) e
Como X e Y sao
abertos de R2 .
Y 1 (W) sao
100
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
dadas por
Se X e Y sao
X(u, v) = (x(u, v), y(u, v), z(u, v)) ,
(u, v) U ,
(, ) V ,
a mudanca de parametros
h = X1 Y : Y 1 (W) X1 (W), dada por
entao
h(, ) = (u(, ), v(, )) ,
e um homeomorfismo com inversa h1 = Y 1 X : X1 (W) Y 1 (W) ,
h1 (u, v) = ((u, v), (u, v)) .
Proposicao
h = X1 Y : Y 1 (W) X1 (W) e um difeomorfismo C .
A aplicacao
Prova.
Y(r) = X(q) W.
Seja r Y 1 (W) e tome q = h(r) X1 (W). Entao
temos que
Como X : U X(U) e uma parametrizacao,
(x, y)
(x, z)
(y, z)
(q) 6= 0 ou
(q) 6= 0 ou
(q) 6= 0 .
(u, v)
(u, v)
(u, v)
Suponhamos que
(x, y)
(q) 6= 0.
(u, v)
F : U R R3 dada por
Estendemos X a uma aplicacao
F(u, v, t) = (x(u, v), y(u, v), z(u, v) + t) .
Instituto de Matematica
- UFF 101
Geometria Diferencial
de X a F
Fig. 18: Extensao
Entao
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 x
u v 0
y y
(x, y)
u v 0(q) = (u, v) (q) 6= 0 .
z z
1
u
a X(U0 ) da aplicacao
F1 diferenciavel
Como Y : V1 R3 e F1 : M R3 sao
(C ) tais que Y(V1 ) =
102
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
De modo analogo,
podemos provar que h1 = Y 1 X : X1 (W) Y 1 (W) e diferenciavel
em
X1 (W). Logo h : Y 1 (W) X1 (W) e um difeomorfismo C .
do que se entende por funcao
diferenciavel
f X : U R2 R e diferenciavel
em q = X1 (p).
f : V R e diferenciavel
A funcao
em V se e diferenciavel
em todos os pontos de V.
2.1 A definicao
acima independe da escolha da parametrizacao
X.
Observacao
de S em p, com Y(r) = p, r U1 e
De fato, seja Y : U1 R2 R3 uma outra parametrizacao
Y(U1 ) V.
Sejam W = X(U) Y(U1 ), p W, U10 = Y 1 (W) e U 0 = X1 (W).
se h = X1 Y : U10 U 0 , temos que f Y = f X h em U10 , com r U10 .
Entao,
2.1, h : U10 U 0 e
Como, por hipotese,
fX : U 0 R e diferenciavel
em q e, pela proposicao
e diferenciavel
em r.
2.2 Na demonstracao
da proposicao
2.1, utilizamos o fato de que a inversa de
Observacao
e contnua. Como precisamos da proposicao
2.1 para podemros definir
uma parametrizacao
diferenciaveis
S V e f : V R uma funcao
f : S R e uma funcao
diferenciavel.
Entao
de S em p.
De fato, sejam p S e X : U R2 X(U) uma parametrizacao
f X : U R e uma funcao
diferenciavel,
Entao
pois e a composta de duas funcoes
dife
renciaveis
definidas em abertos do espaco euclidiano (R2 e R3 , respectivamente).
Instituto de Matematica
- UFF 103
Geometria Diferencial
h : R3 R e diferenciavel
em R3 .
e diferenciavel
em R3 .
g : S R, g(p) = kp p0 k, e diferenciavel
Mas a funcao
na superfcie S se, e so se, p0 6 S,
e diferenciavel
pois g : R3 R e diferenciavel
em todos os pontos p R3 {p0 } e nao
em p0 .
de diferenciabilidade pode
A definicao
entre superfcies.
ser estendida a aplicacoes
: V1 S2 e diferenciavel
em p V se
existem parametrizacoes
X1 : U1 R2 S1 e X2 : U2 R2 S2
X1 (U1 ) V1 ,
tais que
p X1 (U1 ),
X1
2 X1 : U1 U2
e diferenciavel
em q = X1
1 (p).
104
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
2.4 A existencia
Observacao
de parametrizacoes
X1 e X2 que satisfazem a condicao
.
(X1 (U1 )) X2 (U2 ) segue da continuidade da aplicacao
de S1 em p e X2 : U2 X2 (U2 ) uma
De fato, sejam X1 : U X1 (U) uma parametrizacao
de S2 em (p).
parametrizacao
(p), existe um aberto V10 V1
Como e contnua e X2 (U2 ) e um aberto de S2 que contem
0
considerar o aberto U1 = X1
tal que p V10 e (V10 ) X2 (U2 ). Basta, entao,
1 (X1 (U) V1 ) para
2.5 A definicao
dada acima nao
depende das parametrizacoes
X1 e X2 .
Observacao
de S1 em p e Y2 : W2 Y2 (W2 ) uma
De fato, sejam Y1 : W1 Y1 (W1 ) uma parametrizacao
de S2 em (p) tais que (Y1 (W1 )) Y2 (W2 ).
parametrizacao
ja que
f0 .
(W0 ) = (Y1 (W1 ) X1 (U1 )) Y2 (W2 ) X2 (U2 ) = W
como
Entao,
Y21 Y1 = (Y21 X2 ) X21 X1 (X1
1 Y1 ) ,
f
diferenciavel
X1
em W10 = Y11 (W0 ), Y21 X2 e diferenciavel
em X1
1 Y1 e
2 (W0 ) e, por hipotese,
1
1 f
0
diferenciavel
X1
em q = X1
2 X1 e
1 (p), temos que Y2 Y1 : W1 X2 (W0 ) e
1
1
1
diferenciavel
em (X1
1 Y1 ) (q) = Y1 (X1 (q)) = Y1 (p) .
Logo, Y2 Y1 : W1 W2 e diferenciavel
em Y11 (p).
Instituto de Matematica
- UFF 105
Geometria Diferencial
parametrizacao
em U, pois a aplicacao
X1 X id = id : U U e diferenciavel,
e X1 : X(U) U e diferenciavel
em X(U), pois
id X1 X = id : U U e diferenciavel.
Isto mostra que toda superfcie regular e localmente difeomorfa ao plano R2 .
a restricao
f : S1 S2 e uma
aplicacao
tais que S1 V e f(S1 ) S2 . Entao
diferenciavel
aplicacao
de S1 em S2 .
diferenciavel
e uma aplicacao
definida num aberto W de R3 tal que X2 (U2 ) W.
diferenciavel
diferenciaveis
Entao
dada por
Exemplo 2.5 Seja : R3 R3 a aplicacao
(x, y, z) = (ax, by, cz) ,
onde a, b, c R {0}.
106
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
: R3 R3 e um difeomorfsmo.
Entao
Sejam
S2 = {(x, y, z) R3 | x2 + y2 + z2 = 1}
a esfera unitaria
e
E=
x2
y2
z2
(x, y, z) R | 2 + 2 + 2 = 1
a
b
c
3
: S2 E e
o elipsoide,
duas superfcies regulares. Como (S2 ) = E, temos que a restricao
um difeomorfismo.
Entao
em p V se, e so se, existem um aberto W de R3 , p W, e
F : W R diferenciavel
uma funcao
em p tal que f|VW = F|VW .
F : W R
De fato, suponhamos que existem um aberto W R3 , com p W, e uma funcao
diferenciavel
em p tal que f|VW = F|VW .
de S em p tal que X(U) V W. Entao
fX = FX
Seja X : U X(U) uma parametrizacao
2.1, f e diferenciavel
e diferenciavel
em X1 (p) e, portanto, pela definicao
em p.
aplicacao
definida num aberto W0 de R3 tal que X(U) W0 . Seja W = W0 V0 ,
V W = V V0 W = X(U) W.
onde V0 S = X(U) e V0 e um aberto de R3 . Entao
Logo, como f|VW = f|X(U)W = f X X1 |X(U)W , temos que f|VW = f X G|VW , ou seja,
a V W da funcao
diferenciavel
f|VW e a restricao
f X G : W R definida no aberto W
de R3 .
Instituto de Matematica
- UFF 107
Geometria Diferencial
Observacao
e um difeomorfismo.
Vamos provar este resultado para o caso em que C e uma curva de R3 . Quando C e uma curva
e similar e fica como exerccio.
plana, a demonstracao
de C em p e W = (I) (J)
De fato, sejam : I R (I) e : J (J) parametrizacoes
p.
um aberto de C que contem
Mostraremos que h = 1 : 1 (W) 1 (W) e um difeomorfismo C do aberto 1 (W)
da reta sobre o aberto 1 (W) da reta.
Seja t0 1 (W) e considere s0 = h(t0 ) 1 (W) J.
Como 0 (s0 ) = (x 0 (s0 ), y 0 (s0 ), z 0 (s0 )) 6= (0, 0, 0), temos que x 0 (s0 ) 6= 0, y 0 (s0 ) 6= 0 ou z 0 (s0 ) 6= 0.
Vamos supor que z 0 (s0 ) 6= 0.
F : J R2 R3 dada por F(s, , ) = (x(s) + , y(s) + , z(s)).
Estendemos a uma aplicacao
F e diferenciavel,
Entao
F(s, 0, 0) = (s) para todo s J e o determinante da diferencial dF(s0 ,0,0)
e diferente de zero, pois
x 0 (s0 ) 1 0
0
y (s0 ) 0 1 = z 0 (s0 ) 6= 0
z 0 (s0 ) 0 0
inversa, existem um intervalo aberto J0 J, com s0 J0 ,
Logo, pelo Teorema da Aplicacao
um aberto U de R2 com (0, 0) U e um aberto M de R3 tais que F : J0 U M e um
difeomorfismo de classe C .
(J0 ) = F(J0 {(0, 0)}) e um aberto de C contido no aberto M de R3 tal que (s0 ) (J0 ).
Entao
disso, 1 = F1 |(J0 ) : (J0 ) J0 , onde : R3 R, (x, y, z) = x, pois
Alem
a
F1 |(J0 ) ((s)) = ( F1 )(F(s, 0, 0)) = (s, 0, 0) = s. Ou seja, 1 : (J0 ) J0 e a restricao
diferenciavel
(J0 ) da aplicacao
F1 definida no aberto M de R3 .
W0 = (J0 ) e
Podemos tomar o intervalo aberto J0 de modo que J0 1 (W) e s0 J0 . Entao
um aberto de C, pois : 1 (W) W e um homeomorfismo.
I0 e um subconjunto aberto de R tal que I0 1 (W), t0 I0 e
Seja I0 = 1 (W0 ). Entao
(I0 ) = W0 = (J0 ).
108
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
De modo analogo,
podemos provar que h1 = 1 : 1 (W) 1 (W) e diferenciavel,
e,
2.10 Se uma propriedade de uma curva regular obtida a partir de uma paObservacao
independer desta parametrizacao,
dizemos que ela e uma propriedade local da
rametrizacao
curva.
parametrizacoes
de uma curva C num ponto p C e
seja W = (I) (J).
Sejam p0 6= p1 pontos distintos de uma das componentes conexas de W; t0 , t1 1 (W); s0 , s1 1 (W)
tais que (t0 ) = (s0 ) = p0 e (t1 ) = (s1 ) = p1 .
Z s1
e `([s0 , s1 ]) =
t0
Z s0
s1
Logo,
Z s1
Z h(t1 )
k (s)k ds =
s0
Z1
0
k 0 (h(u))k h 0 (u) du
k (s)k ds =
h(t0 )
t0
Z t1
t0
=
ou
t1 0
Instituto de Matematica
- UFF 109
Geometria Diferencial
Definicao
que (t0 ) e a curvatura (p) de C em p e
de C em p, com (t0 ) = p, t0 I. Dizemos, entao,
(p) de C em p.
(t0 ) e a torsao
2.12 As definicoes
acima independem da parametrizacao
em p.
Observacao
da curva C em p com (s0 ) = p.
Com efeito, seja : J (J) outra parametrizacao
p), I 0 o intervalo aberto de 1 (W) que
Seja W = (I) (J) (um aberto em C que contem
t0 e J 0 = h(I 0 ), onde h = 1 : 1 (W) 1 (W) e a funcao
de mudanca de
contem
(t0 ) = (s0 ) = p.
parametro,
com h(t0 ) = s0 , isto e,
(t0 ) = (s0 ) e (t0 ) = (s0 ).
Afirmacao.
De fato, como 0 (t) = 0 (h(t)) h 0 (t), temos que 00 (t) = 00 (h(t)) h 0 (t)2 + 0 (h(t)) h 00 (t).
0 (t) 00 (t) = ( 0 (h(t)) 00 (h(t))) h 0 (t)3 e k 0 (t)k = k 0 (h(t))k |h 0 (t)|.
Entao,
Logo,
(t0 ) =
k 0 (t0 ) 00 (t0 )k
k 0 (t0 )k3
k 0 (s0 ) 00 (s0 )k
= (s0 ) .
k 0 (s0 )k3
Temos, tambem,
000 (t) = 000 (h(t)) h 0 (t)3 + 2 00 (h(t)) h 0 (t) h 00 (t) + 00 (h(t)) h 0 (t) h 00 (t) + 0 (h(t)) h 000 (t) .
Logo,
(t0 ) =
Um breve comentario:
e um fato conhecido que toda curva regular e difeomorfa a um intervalo
aberto ou ao crculo S1 .
t : C R3 (ou R2 ) de classe C tal
Usando esse resultado podemos construir uma aplicacao
podemos orientar a curva C.
que t(p) e tangente a C em p e kt(p)k = 1 para todo p C. Isto e,
110
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
f 0 (f1 (p))
para todo p C, no
kf 0 (f1 (p))k
(g exp) 0 (t)
, onde exp(t) = (cos t, sen t) e g(exp(t)) = p.
k(g exp) 0 (t)k
Com isto, no caso de C ser uma curva plana, podemos definir um campo normal unitario
unitario
diferenciavel
n : C R3 e um campo binormal diferenciavel
b : C R3 fazendo
de C em p pelo
n(p) = n (s0 ) e b(p) = b (s0 ), onde : I (I) e uma parametrizacao
comprimento de arco tal que (s0 ) = p e 0 (s) = t((s)) para todo s I.
diferenciavel,
para
(c) Toda curva regular plana C e localmente o grafico
de uma funcao
isto e,
Instituto de Matematica
- UFF 111
Geometria Diferencial
f : I R diferenciavel
tais que V C = {(x, f(x)) R2 | x I} ou V C = {(f(x), x) | x I}.
e uma curva regular.
(d) O conjunto C = {(x, y) R2 | x2 = y3 } nao
Sejam um plano, L uma reta e C uma
Exemplo 2.6 (Superfcies de Revolucao)
intersecta a reta L.
curva regular que nao
posicoes
de C sobre a superfcie S (intersecoes
de S com os planos que
de S e as varias
o eixo de revolucao)
sao
denominadas meridianos de S.
contem
Vamos considerar o caso em que = plano xz e L = eixo Oz.
de C,
Seja : (a, b) ((a, b)) = V C, (v) = (f(v), 0, g(v)), f(v) > 0, uma parametrizacao
112
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
De fato:
(1) X(U) = S R3 {(x, y, z) R3 | y = 0 e x 0} e um aberto de S.
funcoes
diferenciaveis.
(2) X e diferenciavel,
pois f, g : (a, b) R sao
(3) dX(u,v) : R2 R3 e injetora para todo (u, v) U, pois
kXu Xv k2 (u, v) = k(f(v) sen u, f(v) cos u, 0) (f 0 (v) cos u, f 0 (v) sen u, g 0 (v))k2
= k(f(v) g 0 (v) cos u, f(v) g 0 (v) sen u, f(v) f 0 (v))k2
= f(v)2 (f 0 (v)2 + g 0 (v)2 ) > 0 ,
para todo (u, v) U.
(4) X : U X(U) e injetora e X1 : X(U) U e contnua.
De fato, seja (x, y, z) = (f(v) cos u, f(v) sen u, g(v)).
p
z = g(v) e f(v) = x2 + y2 . Como : (a, b) ((a, b)), (v) = (f(v), 0, g(v)), e
Entao
p
um homeomorfismo, v e determinado de maneira unica
por v = 1
x2 + y2 , 0, z e e uma
p
contnua de x2 + y2 e z e, portanto, uma funcao
contnua de x, y e z.
funcao
disso, como cos u =
Alem
y
x
y
x
, sen u =
e u (0, 2), o
= p
= p
2
2
2
f(v)
f(v)
x +y
x + y2
parametro
u e determinado de modo unico.
Logo, X e injetora.
contnua de x,
Para provar que X1 e contnua, temos que mostrar ainda que u e uma funcao
y e z.
Seja (x, y, z) = (f(v) cos u, f(v) sen u, g(v)) X(U). Como u (0, 2), temos que
e, portanto, cotg
u
(0, )
2
u
esta definida para todo u (0, 2) e
2
y
u
u
u
cos
2 cos sen
u
sen
u
y
f(v)
2 =
2
2 =
cotg =
=
=p
.
u
u
u
x
2
1 cos u
x2 + y2 x
sen
2 sen sen
1
2
2
2
f(v)
x2 + y2 x
Instituto de Matematica
- UFF 113
Geometria Diferencial
diferenciavel
sobre os planos
Como numa vizinhanca de p (ou de q) S nao
de uma funcao
xz e yz, deve existir um aberto V de S com p V (ou q V), um disco aberto D de centro na
diferenciavel
p
f : (, ) R e diferenciavel
114
J. Delgado - K. Frensel
Diferenciaveis
Mudanca de Parametros;
Funcoes
sobre Superfcies
p
x2 + y2 , 0, F
p
sobre o mesmo paralelo.
x2 + y2 , 0 estao
f e simetrica
ao eixo Oz e
Logo f(x) = f(x) para todo x (, ), isto e,
em relacao
de C 0 em p, onde C 0 = C Cs e Cs e
x 7 (x, 0, f(x)), x (, ), e uma parametrizacao
ao eixo Oz.
o simetrico
de C em relacao
Como f(x) = f(x) para todo x (, ), temos que todas as derivadas de ordem mpar
nulas. Em particular, o vetor tangente a` curva C no ponto p (ou q) e
de f na origem sao
perpendicular ao eixo Oz.
Reciprocamente, a curva C gera uma superfcie regular S se existe uma vizinhanca V de p (e
f : [0, ) R diferenciavel,
de q) em C que e o grafico
sobre o eixo Ox de uma funcao
isto e,
p
F(x, y) = f
x2 + y2 , (x, y) D (0) e diferenciavel.
V = {(x, 0, f(x)) | x [0, )}, e a funcao
Por exemplo, se C = {(x, 0, z) | x2 + z2 = 1 e x 0} e o semi-crculo de centro (0, 0, 0) e raio 1
a superfcie S obtida girando C em
contido no semi-plano {(x, y, z) R3 | y = 0 e x 0}, entao
torno do eixo Oz e uma superfcie regular, pois S e a esfera de centro na origem e raio 1.
diferenciavel
(x, 0, f(x)) x [0, 1) ,
p
p
x2 + y2 = 1 (x2 + y2 ) ,
(x, y) D1 (0) ,
diferenciavel.
e uma funcao
Para Q = (1, 0, 0), f(x) =
p
p
1 x2 , x [0, 1), e F(x, y) = 1 (x2 + y2 ), para todo
(x, y) D1 (0).
Uma superfcie regular obtida girando uma curva C de um plano em torno de uma reta
estendida.
r , tal que r C =
6 sera chamada superfcie de revolucao
Instituto de Matematica
- UFF 115