Sei sulla pagina 1di 122

Bruna Nunes

Geometria Diferencial de Superfcies e o Teorema de Gauss-Bonnet

Florianpolis 2010

Bruna Nunes

Geometria Diferencial de Superfcies e o Teorema de Gauss-Bonnet

Trabalho de concluso de curso apresentado na Universidade Federal de Santa Catarina para a obteno do ttulo de licenciada em Matemtica
Eliezer Batista

Orientador:

Universidade Federal de Santa Catarina

Florianpolis 2010

Esta Monograa foi julgada adequada como TRABALHO DE CONCLUSO DE CURSO no Curso de Matemtica  Habilitao Licenciatura, e aprovada em sua forma nal pela Banca Examinadora designada pela Portaria n 02/CCM/11.
o

Banca Examinadora:

Prof. Nereu Estanislau Burin Professor da disciplina

Prof. Eliezer Batista Orientador

Prof. Fernando de Lacerda Mortari

Prof. Gustavo Adolfo Torres Fernandes da Costa

Sumrio

Introduo 1 Superfcies Regulares Parametrizadas

p.5 p.7 p.7 p.17 p.20 p.20 p.23 p.25

1.1 Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Mudana de Parmetros . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Funes Diferenciveis em Superfcies . . . . . . . . . . . . . . . . . . . 1.3.1 Funes reais diferenciveis em superfcies . . . . . . . . . . . . 1.3.2 Funes diferenciveis entre superfcies . . . . . . . . . . . . . . 1.4 Plano Tangente e diferencial de uma aplicao . . . . . . . . . . . . . .

2 Primeira Forma Fundamental, Aplicao Normal e Segunda Forma Fundamental

p.33 2.1 Primeira Forma Fundamental . . . . . . . . . . . . . . . . . . . . . . . p.33 2.2 Aplicao Normal de Gauss . . . . . . . . . . . . . . . . . . . . . . . . p.42 2.3 Segunda Forma Fundamental . . . . . . . . . . . . . . . . . . . . . . . p.49 p.54 3.1 Curvatura Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p.54 3.2 Curvatura Gaussiana e Mdia . . . . . . . . . . . . . . . . . . . . . . . p.62 p.76 4.1 Isometrias e o Teorema Egregium(Gauss) . . . . . . . . . . . . . . . . . p.76 4.2 Derivada Covariante e Transporte Paralelo . . . . . . . . . . . . . . . . p.87 4.3 Geodsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p.93

3 Curvaturas

4 Geometria Intrnseca das Superfcies

4.3.1 Curvatura Geodsica . . . . . . . . . . . . . . . . . . . . . . . . p.95


5 Teorema de Gauss-Bonnet

p.99 5.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p.99 5.2 Teorema de Gauss-Bonnet (Verso Local) . . . . . . . . . . . . . . . . . p.113 p.120 p.121

Consideraes Finais Referncias

Introduo

A geometria diferencial o estudo da geometria usando as tcnicas do clculo diferencial e integral. Neste trabalho faremos um estudo sobre a geometria diferencial de superfcies, provavelmente a parte mais interessante e representativa da geometria diferencial, entretanto, algumas propriedades das curvas aparecem de maneira natural no estudo das superfcies. Curvas e superfcies so objetos que qualquer pessoa pode ver, e muitas das questes que podem ser levantadas sobre estes objetos so bvias e naturais. A geometria diferencial preocupa-se com a formulao matemtica de algumas dessas questes e usando as tcnicas do clculo diferencial, procura encontrar respostas para elas. Nosso trabalho est organizado em 5 captulos no primeiro captulo, na seo 1.1, apresentamos a denio de superfcie regular e a partir desse conceito comeamos a caracterizar o comportamento dessas superfcies, demonstramos alguns resultados e identicamos algumas superfcies regulares. Na seo 1.2, mostramos que um ponto pode ser coberto por mais de uma parametrizao. Na seo 1.3, apresentamos duas aplicaes diferenciveis sobre e entre superfcies. Com a denio de superfcies regulares podemos garantir a existncia de um plano tangente em todos os pontos da superfcie na seo 1.4, denimos plano tangente. O estudo das propriedades locais de uma superfcie regular est diretamente ligado ao estudo de duas formas quadrticas, a primeira e segunda forma fundamentais, que sero apresentadas no segundo captulo. A primeira forma fundamental, seo 2.1, nos permite o clculo de algumas questes mtricas, tais como, comprimento de arco, ngulo entre curvas e reas de regies sobre a superfcie. Na seo 2.2, comeamos nosso estudo sobre a geometria da aplicao de Gauss e na seo 2.3, apresentamos a denio da segunda forma fundamental sobre um specto algbrico. No captulo 3, na seo 3.1, apresentamos a interpretao geomtrica da segunda forma fundamental, as curvaturas. Na seo 3.2, denimos as curvaturas de mdias e gaussianas. No captulo 4, comeamos o estudo da geometria intrnseca das superfcies, ou seja, a

parte da geometria diferencial que depende apenas da primeira forma fundamental. Na seo 4.1, denimos isometria e demonstramos o famoso teorema egregium de Gauss, que mostra que a curvatura gaussiana uma caracterstica intrnseca da superfcie. Na seo 4.2, denimos a derivada covariante e transporte paralelo e na 4.3, denimos geodsica e curvatura geodsica. No ltimo captulo, demonstramos a verso local do teorema de Gauss-Bonnet, mas antes disso, na seo 5.1, denimos ndice de rotao, homotopia e demonstramos o teorema do ndice de rotao e por m, na seo 5.2, demonstramos a verso local do teorema de Gauss-Bonnet. Para concluir, podemos dizer que objetivo maior do nosso trabalho estudar as superfcies regulares de modo que possamos entender alguns conceitos e resultados, para por m, demonstrarmos o teorema de Gauss-Bonnet.

Superfcies Regulares Parametrizadas

Neste captulo, comearemos o nosso estudo das superfcies regulares. Inicialmente, podemos dizer que uma superfcie um subconjunto de R que se assemelha a uma parte de R numa vizinhana de qualquer ponto, tal como a superfcie da Terra, embora esfrica, parece plana a um observador nela colocado, que consegue ver somente at linha do horizonte. Na seo 1.1 vamos denir superfcies regulares utilizando o conceito de parametrizao local, ou seja, tomamos um ponto p de uma superfcie e uma vizinhana aberta desse ponto contida na superfcie e assim construmos uma aplicao com domnio em um aberto do R e imagem em pontos da vizinhana de p. A partir da, comearemos a caracterizar e identicar superfcies regulares, demonstrando alguns resultados e fazendo alguns exemplos. No entanto, dado um ponto p de uma superfcie regular S, esse pode ser coberto por mais de uma parametrizao. Assim, na seo 1.2 mostraremos como fazer a troca de coordenada, ou seja, como passar de uma parametrizao para outra. Na seo 1.3, mostraremos que possvel denir a noo de diferenciabilidade para uma funo denida sobre uma superfcie regular e assim, na seo 1.4 deniremos plano tangente e diferencial de uma aplicao.
3 2 2

1.1

Superfcies Regulares

Denio 1.1. Seja S R3 um subconjunto de R3 , diz-se que S uma superfcie regular se as trs condies a seguir so satisfeitas:
(i) Se p S , V R3 , vizinhana de p e uma aplicao X : U V S diferencivel,

onde U R2 um aberto. Ou seja, se


X(u, v) = (x(u, v), y(u, v), z(u, v))

ento as funes componentes de X , x(u, v), y(u, v), z(u, v) possuem derivadas parciais de todas as ordens em U ; (ii) A aplicao X do item (i) um homeomorsmo entre U e V S , ou seja, X possui uma inversa X 1 : V S U que contnua, isto , existe um aberto W R3 contendo V S e uma funo contnua f : W R2 cuja restrio X 1 ; (iii) Para todo q = (u, v) U , a diferencial dXq : R2 R3 injetiva.

Figura 1: O ponto q U levado pela aplicao X em um ponto da vizinhana de p S. A aplicao X uma parametrizao local ou um sistema de coordenadas locais em uma vizinhana V S de p, chamada de vizinhana coordenada. Vamos analisar o que a denio 1.1 nos diz sobre o comportamento de uma superfcie regular. A condio de diferenciabilidade em (i) bastante natural se nossa inteno tratar de geometria diferencial em S. A condio (ii) impe que a aplicao X um homeomorsmo e sua injetividade exclui a possibilidade de autointersees em superfcies regulares. Em (iii), temos que e so derivadas parciais das componentes de X calculadas no ponto q = (u , v ), que correspondem s colunas da matriz Jacobiana JX(u, v), que a matriz da aplicao linear relativa as bases cannicas de R e R .
X u X v 0 0 2 3

JX(u, v) =

x u y u z u

x v y v z v

=
X u X v

Por comodidade vamos denotar por X e por X . A condio (iii) equivalente as seguintes armaes:
X u u X v v

Os vetores coluna, X e X , da matriz Jacobiana so linearente independentes; X X = 0(vetor nulo); A matriz JX(u, v) tem posto 2, ou seja um dos determinantes jacobianos

u v u v

(x, y) = (u, v)

deve ser diferente de zero em q = (u, v).

x u y u

x v y v

(y, z) = (u, v)

y u z u

y v z v

(x, z) = (u, v)

x u z u

x v z v

Ento, a condio (iii) exclui a possibilidade de existir bicos em uma superfcie regular e assim garante a existncia de um plano tangente em todo os pontos de S, veremos isso na seo 1.4. Vejamos um exemplo de uma superfcie regular.
Exemplo 1.1. A esfera unitria S2 = {(x, y, z) R3 : x2 + y2 + z 2 = 1} uma superfcie regular.
Mostraremos que X1 : U R2 R3 , dada por X1 (u, v) = (u, v, + 1 (u2 + v2 )), com U = {(u, v) R2 : u2 + v2 < 1}, uma parametrizao de S2 . Podemos observar que a imagem da parametrizao X1 a parte aberta de S2 acima do plano xy. Podemos observar que as funes componentes de X1 so diferenciveis, j que temos que u2 + v2 < 1, logo a condio (i) da denio de superfcie regular vericada. Seja um ponto qualquer (x, y, z) X1 (U ) S 2 , com X1 (U ) S 2 = {(x, y, z) S 2 : 1 x2 + y 2 < 1 e z > 0} e zermos X1 (x, y, z) (x, y) temos u e v bem denidos de 1 maneira nica por u = x e v = y, logo X1 bijetiva. E X1 a projeo de X1 (U ) S em U , que contnua. Logo a condio (ii) vericada.

10

Para vericar a condio (iii) basta observar que a matriz jacobiana


JX1 (u, v) = 1 0
u 1(u2 +v 2 )

0 1
v 1(u2 +v 2 )

tem posto 2. Agora cobriremos toda esfera utilizando parametrizaes similares, como a parametrizao X2 : U R2 R3 dada por X2 (u, v) = (u, v, 1 (u2 + v2 )), (u, v) U . Podemos observar que X1 (U ) X2 (U ) cobre a esfera menos o equador {(x, y, z) R3 /x2 + y2 = 1, z = 0}. Para cobrir toda a esfera, juntamente com X1 e X2 , utilizamos os planos xz e zy e denimos as seguintes parametrizaes:
X3 (u, v) = (u, + 1 (u2 + v 2 ), v), X4 (u, v) = (u, X5 (u, v) = (+ 1 (u2 + v 2 ), v), 1 (u2 + v 2 ), u, v),

X6 (u, v) = ( 1 (u2 + v 2 ), u, v).

Figura 2: Parametrizaes locais da esfera.


Assim, vericamos que a esfera uma superfcie regular.

Nem sempre fcil mostrar que uma superfcie regular utilizando a denio 1.1, sendo assim, demonstraremos alguns resultados que facilitam na vericao se uma superfcie ou no regular. Antes disso vamos denir alguns conceitos.
Denio 1.2. Dada uma aplicao diferencivel F : V R3 R, com V aberto,

11

dizemos que p V um se dFp no sobrejetora, que equivalente a dizer que Fx = Fy = Fz = 0 calculadas em p. E F (p) dito ser um .

ponto singular

Denio 1.3. Dada F : V R3 se a no um valor singular de F .

valor singular R e a R, dizemos que a um valor regular de F

Figura 3: Valor regular de f .


Proposio 1.1. Se f : U R2 R uma funo diferencivel em um conjunto aberto U , ento o grco da f , isto , o subconjunto de R3 dado por {(u, v, f (u, v)) : (u, v) U } uma superfcie regular.
Demonstrao.
2 3

Seja X(u, v) = (u, v, f (u, v)), vamos mostrar que a aplicao X : U R R uma parametrizao do grco, cuja vizinhana coordenada cobre todos os pontos do grco. A parametrizao X , dada por X(u, v) = (u, v, f (u, v)), possui todas as suas componentes diferenciveis, logo a condio (i) vericada. Para vericar a condio (ii), podemos inicialmente observar que cada ponto (x, y, z) do grco imagem por X de um nico ponto q = (u, v) U , onde (u, v) = (x, y). Portanto X bijetiva. Mas X a restrio ao grco de f da projeo de R sobre o plano xy, que contnua, logo X contnua. A condio (iii) tambm vericada, pois a matriz Jacobiana de X igual a
1 3 1

1 fu

JX(u, v) = 0

1 fv

12

e tem posto 2 para todo (u, v) U . Portanto o grco da f uma superfcie regular. Antes de demonstrarmos a prxima proposio vamos enunciar o teorema da aplicao inversa. Teorema 1.1 (Teorema da aplicao inversa). Seja F : U R R de classe C
n n k

(k 1) e seja p U tal que F (p) um isomorsmo linear em Rn . Ento existem

abertos V U vizinhana de p e W Rn vizinhana de F (p) tal que F |V : V W um difeomorsmo de classe C k .

Proposio 1.2. Dada uma funo f : V R3 R diferencivel e a f (U ) um valor regular de f , ento a imagem inversa f 1 (a) uma superfcie regular.

Seja p = (x , y , z ) um ponto de f (a) = {(x, y, z) R : f (x, y, z) = a}. Como a um valor regular de f , temos que alguma das derivadas parcias no nula, vamos supor sem perda de generalidade que (p) = 0. Denimos agora uma aplicao
Demonstrao.
0 0 0 1 3 f z

: V R3 R3 (x, y, z) (x, y, f (x, y, z)).

A diferencial de em p dada por


dp =
f z

1 0
f (p) x

0 1
f (p) y

0 0
f (p) z

e det(d ) = (p) = 0. Ento pelo Teorema da Funo Inversa, existem abertos W V e W (V ), contendo p e (p), respectivamente, tal que : W W inversvel e : W W diferencivel (ver gura 4). As funes coodenadas de so diferenciveis e dadas por X(u, v, t), y(u, v, t) e z(u, v, t). Como
p 1 2 1 2 1 2 1 1

(u, v, t) = 1 (u, v, t) = (x(u, v, t), y(u, v, t), z(u, v, t)) = (x, y, f (x, y, z)),

13

vemos que x(y, v, t) = u e y(u, v, t) = v. Em particular, como z(u, v, t) diferencivel, a funo w denida na interseco de W com o plano xy, dada por
1

w(x, y) = z(u, v, a)

tambm diferencivel.

Figura 4: Os pontos da superfcie f

(a)

so levados por F no plano z = a.


1 1 1

Pela proposio 1.1, o grco de w uma superfcie regular. Ora, observando-se que o grco de w nada mais do que o conjunto f (a) W , segue-se que f (a) W uma vizinhana coordenada de p. Como p foi tomado arbritariamente, conclu'-se que f (a) uma superfcie regular, como desejado.
1 1

Exemplo 1.2. Seja o elipside dado por x2 + y2 + z2 = 1. Vamos denir uma funo a b c y2 x2 z2 diferencivel f (x, y, z) = a2 + b2 + c2 1. Podemos notar que 0 um valor regular de f, j que as derivadas parciais fx = 2x , fy = 2y e fz = 2z se anulam simultaneamente a2 b2 c2 1 somente no ponto (0, 0, 0), que no pertence a f (0).
2 2 2

Ento, o elipside dado por S = f 1 (0) uma superfcie regular.

Exemplo 1.3. Seja o hiperbolide de duas folhas dado por x2 y2 + z 2 = 1. Vamos denir uma funo diferencivel f (x, y, z) = x2 y2 + z 2 1. Podemos notar que 0 um valor regular de f , j que as derivadas parciais fx = 2x, fy = 2y e fz = 2z se anulam simultneamente somente no ponto (0, 0, 0), que no pertence a f 1 (0).
Ento, o hiperbolide de duas folhas dado por S = f 1 (0) uma superfcie regular.

No exemplo acima podemos notar que uma superfcie regular pode ser desconexa.

14

Antes de demonstrarmos a seguinte proposico vamos enunciar o Teorema da Funo Implcita.


Teorema 1.2. Seja V R3 e F (x, y, z) uma funo real com derivadas parciais contnuas em V . Seja (x0 , y0 , z0 ) V tal que F (x0 , y0 , z0 ) = 0 e Fz (x0 , y0 , z0 ) = 0. Ento existem vizinhanas B de (x0 , y0 ) e J de z0 , tais que B J V e uma nica funo g : B J satisfazendo F (x, y, g(x, y)) = 0, (x, y) B . Alm disso, g possui derivadas parciais dadas por:
gx = Fx ; Fz gy = Fy . Fz

A proposio seguinte apresenta ferramentas para mostrarmos que um conjunto de R no uma superfcie regular. Tambm podemos ver essa proposio como se fosse a recproca local da proposico 1.1.
3

Proposio 1.3. Dada uma superfcie regular S R3 , qualquer ponto p S possui uma vizinhana V em S , tal que V o grco de uma funo diferencivel que tem uma das seguintes formas:
z = f (x, y), y = f (x, z), x = f (y, z).

Demonstrao.
2 3

Se S uma superfcie regular, ento dado p S, U R e X : U R R dada por X(u, v) = (x(u, v), y(u, v), z(u, v)) tal que p X(U ) e q = X (p), como na denio 1.1. Pela condio (iii) da denio 1.1, um dos determinantes jacobianos , , no se anula em X (p) = q. Suponhamos sem perda de generalidade que = 0, e consideremos a seguinte aplicao: X : U R , onde a projeo (x, y, z) = (x, y). Ento X(u, v) = (x(u, v), y(u, v), z(u, v)) = (x(u, v), y(u, v)), mas = 0, logo pelo teorema da funo inversa existem abertos W U e W X(U ), vizinhana de q e de X(q) respectivamente, tal que
2 1 (z,x) (u,v) 1 (x,y) (y,z) (u,v) (u,v) (x,y) (u,v) 2 (x,y) (u,v) 1 2

( X)1 : W2 W1 (x, y) (u(x, y), v(x, y))

diferencivel (ver gura 5).

15

Figura 5: A aplicao leva pontos de R em R .


3 2

Considere agora
x x x X ( X)1 (, y ) = X(u(, y ), v(, y )) = (x(u(, y ), v(, y )), y(u(, y ), v(, y )), z(u(, y ), v(, y ))). x x x x x x

Mas
( X) ( X)1 (, y ) = (, y ) x x = (x(u(, y ), v(, y )), y(u(, y ), v(, y ))), x x x x

portanto x = x(u(, y), v(, y)) e y = y(u(, y), v(, y)). x x x x Logo,
X ( X)1 (, y ) = X(u(, y ), v(, y )) x x x = (, y , z(u(, y ), v(, y ))), x x x

Seja V = X(W ), ento temos


1

X ( X)1 : W2 V (x, y) (x, y, z(x, y)).

Logo V localmente um grco. Mostramos para um dos casos, os outros so de forma anloga, porm ao invs de considerarmos : (x, y, z) = (x, y), utilizamos : (x, y, z) (x, z) e : (x, y, z) (y, z).
1 2

Exemplo 1.4. Seja o cone de uma folha C dado por z = + x2 + y2 , com (x, y) R2 .

16

Vamos supor que C seja uma superfcie regular, logo pela proposio 1.3 ele deve ser em uma vizinhana V do ponto (0, 0, 0) C o grco de uma funo diferencivel com uma das seguintes formas: x = f (y, z), y = g(x, z), z = h(x, y). Mas as duas primeiras formas podem ser descartadas, j que as projees do cone sobre os planos xz e yz no so injetivas. Basta ento analisar a ltima forma, z = h(x, y) = + x2 + y2 que no diferencivel em (0, 0). Ento C no uma superfcie regular.

Proposio 1.4. Seja p S um ponto de uma superfcie regular S e seja uma aplicao X : U R2 R3 com p X(U ) tal que as condies (i) e (iii) da denio1.1 sejam satisfeitas. Suponha que X seja bijetiva. Ento X 1 contnua.
Demonstrao.

Seja X(u, v) = (x(u, v), y(u, v), z(u, v)), com (u, v) U e q U arbitrrio. Podemos armar que (q) = 0, j que X satisfaz as condies (i) e (iii) da denico 1.1. Vamos considerar a projeo
(x,y) (u,v)

: R3 R2 (x, y, z) (x, y)

Pelo teorema da funo inversa, existem W vizinhana de q U e W vizinhana X(q) R tal que X aplica W difeomorcamente sobre W . Usando agora a suposio que X bijetiva. Ento, restrita a X(W ),
1 2 2 1 2 1

X 1 = ( X)1 . X 1 X
1

a composio de aplicaes contnuas, logo contnua em q. Como q arbitrio, contnua.

Exemplo 1.5. Seja uma circunferncia C no plano xz centrada no ponto (a, 0, 0), com raio r, onde 0 < r < a dada por C = {(x, y, z) : (x a)2 + z 2 = r2 , y = 0}. Se rotacionarmos essa circunferncia em torno do eixo z obtemos um toro,dado por:
X(, ) = ((a + r cos ) cos , (a + r cos ) sin , r sin ),

onde U = {(, ) : 0 < < 2, 0 < < 2}. Sabendo que o toro uma superfcie regular vamos mostrar que a aplicao X uma parametrizao do toro.

17

A condio (i) da denio 1.1 vericada, visto que as funes componentes de X so diferenciveis. Temos que
X = (r sin cos , r sin sin , r cos ) X = ((a + r cos )( sin ), (a + r cos ) cos , 0),

ento
||X X || = = = r2 (a + r cos )2 cos2 cos2 + r2 (a + r cos )2 sin2 cos2 + r2 (a + r cos )2 sin2 r2 (a + r cos )2 (cos2 cos2 + sin2 cos2 + sin2 )

= r(a + r cos ).

Como 0 < r < a temos que X e X so vetores linearmente independentes, vericando a condio (iii). Basta agora vericarmos a condio (ii), no entanto pela proposio 1.4 isso equivalente a mostrar que X bijetiva. Podemos observar que, se x2 + y2 a, ento < < 3 , e se x2 + y2 a, 2 2 ento 0 < ou 3 2. Logo, dado (x, y, z), isto determina de maneira nica, 2 2
0 < < 2.

Conhecendo , x e y determinamos sin e cos . Isto determina de maneira nica, 0 < < 2 . Logo X bijetiva. Portanto X uma parametrizao do toro.

1.2

Mudana de Parmetros

Pela denio de superfcie regular, todo ponto p S est coberto por uma parametrizao X : U R S que um homeomorsmo, mas nem sempre existe uma nica parametrizao que cubra determinado ponto p S. Nosso objetivo descobrir como estas parametrizaes esto relacionadas, ou seja, dado um ponto p pertencente a duas vizinhanas coordenadas com parmetros (u, v) e (u, v), vamos mostrar como transformar de (u, v) para (u, v) e vice-versa.
2

18

interressante ver como fazer troca de um sistema de coordenadas para outro, pois nos prximos captulos vamos apresentar conceitos que no dependem do sistema de coordenadas escolhido.
Proposio 1.5. Seja S uma superfcie regular e duas parametrizaes X1 : U1 R2 S e X2 : U2 R2 S de S , com p S tal que p X1 (U1 )X2 (U2 ) = V . Ento a mudana de coordenadas h = X 1 X2 um difeomorsmo, isto , h diferencivel e tem uma inversa diferencivel h1 .

A aplicao h = X X a composio de homeomorsmos, logo h um homeomorsmo. Sejam as duas parametrizaes X e X dadas por:
Demonstrao.
1 2 1 2

X1 (u, v) = (x(u, v), y(u, v), z(u, v)) X2 (, v ) = (x(, v ), y(, v ), z(, v ) u u u u

Vamos provar que h diferencivel. Seja r X (V ) e dena q = h(r). Como X (u, v) = (x(u, v), y(u, v), z(u, v)) uma parametrizao, podemos supor, renomeando os eixos caso necessrio, que (q) = 0. Estendemos X a uma aplicao F : U R R denida por
1 2 1 (x,y) (u,v) 1 1 3

F (u, v, t) = (x(u, v), y(u, v), z(u, v) + t),

com (u, v) U e t R. Ou seja, F leva um cilindro vertical C sobre U em uma espcie de cilndro vertical sobre X (U ). A restrio F | = F (u, v, 0) = X (u, v).
1 1 1 1 U1 {0} 1

A matriz Jacobiana dada por:


det(JF ) =
1

JF (u, v, t) =

x u y u z u

x v y v z v

0 1

, e seu determinante

x y x y (x, y) = . u v v u (u, v)
q (x,y) (u,v)

Em particular, se q = (q, 0) U R, ento det(JF ) = (q) = 0. Pelo teorema da funo inversa existem abertos W e W , com W vizinhana de q = (q, 0) U R e W vizinhana de F (q ) = X (q) tal que F : W W existe e
1 2 1 1 2 1 1 2 1

19

Figura 6: A aplicao h = X
2

1 1

X2

.
2

diferencivel em W . Provemos que h diferencivel em r: observe que W vizinhana de X (r), pois


2

X1 (q) = X1 (h(r)) = X1 X1 1 X2 (r) = X2 (r).

Temos que X contnua em U e r U , logo existe uma vizinhana W de r em U tal que X (W ) W . Pelo teorema da funo inversa, existem abertos W e W , com W vizinhana de q U e W vizinhana de r U , tal que F : W W existe e diferencivel em W . Ento h = F X diferencivel em r U , j que X uma parametrizao de S. Como h| = F X | , h restrito a W uma composio de aplicaes diferenciveis e portanto diferencivel. Em particular, h diferencivel em r.
2 2 2 2 2 2 2 2 1 2 1 1 2 2 1 2 2 1 1 1 2 2 W2 1 2 W2 2

Exemplo 1.6. Seja uma esfera S2 unitria, parametrizada de duas formas:


Pelas coordenadas esfricas (, ), onde o complemento da latitude e a longintude, sendo
X1 (, ) = (sin cos , sin sin , cos )

e U = {(, ) : 0 < < , 0 < < 2}. Pela projeo estereogrca : S2 {PN } R2 , que leva pontos p = (x, y, z) da esfera menos o plo norte PN = (0, 0, 1) sobre o plano xy. Seja (x, y, z) = (u, v), ento

20

obtemos uma parametrizao X2 fazendo 1 : R2 S2 {PN }, dada por


X2 (u, v) = 2v u2 + v 2 1 2u , , u2 + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1 ,

com (u, v) R2 {(0, 0)}. Vamos considerar a parte da esfera S2 onde y > 0. Ento, usando essas duas parametrizaes, temos
1 X1 (x, y, z) = 1 X2 (x, y, z) =

arccos(z), arccotg y x , 1z 1z .

x y

Logo,
h = X1 1 X2 = X 1 (X2 (u, v)) =
1 1 h1 = X2 X1 = X2 (X1 (, )) =

u2 + v 2 1 u , arcotg 2 + v2 + 1 u v sin cos sin sin , . 1 cos 1 cos arccos

que so diferenciveis.

1.3

Funes Diferenciveis em Superfcies

Nesta seo vamos tratar de dois tipos de aplicaes sobre S, uma funo f e uma aplicao , dadas por f : V S R e : V S S , com S, S , S superfcies regulares. Primeiramente vamos denir sob que condies essas aplicaes so diferenciveis em um ponto p da superfcie e em seguida vamos mostrar que a diferenciabilidade de f e de no dependem da escolha da parametrizao.
1 2 1 2

1.3.1

Funes reais diferenciveis em superfcies

Denio 1.4. Uma funo f : V S R,com S uma superfcie regular, diferencivel em p S se dada uma parametrizao X : U R2 S com p X(U ) V , temos que f X : U R2 R diferencivel em X 1 (p) = q .

21

Figura 7: A aplicao f diferencivel em p se f X diferencivel em X Vejamos um exemplo de uma funo f : S R diferencivel.

(p)

Exemplo 1.7. Seja p0 = (x0 , y0 , z0 ) um ponto xo de uma superfcie regular S , a distncia euclidiana em R3 desse ponto a qualquer ponto p S dado por
d:S R p (x x0 )2 + (y y0 )2 + (z z0 )2 .

No entanto, d no diferencivel em (x0 , y0 , z0 ), ento vamos considerar a funo d2 distncia ao quadrado, dada por

d2 : S R p (x x0 )2 + (y y0 )2 + (z z0 )2 .

Seja um cilindro parametrizado por


X : U R2 R3 X(u, v) = (cos u, sin u, v),

com U : {(u, v) R2 : 0 < u < 2, < v < }. Seja um ponto xo p0 = (0, 1, 0) do cilndro, fazendo a composio
d2 X = (cos u)2 + (sin u 1)2 + v 2 = cos2 u + sin2 u 2 sin u + 1 + v 2 = 2 2 sin u + v 2 ,

22

nota-se que d2 X diferencivel para qualquer (u, v) U e em particular, em X 1 (p) para p um ponto qualquer do cilindro.

Proposio 1.6. A denio de funo diferencivel independe da escolha da parametrizao.


Demonstrao.

Sejam
X1 : U1 R2 S X2 : U2 R2 S

duas parametrizaes de S. Seja f : S R diferencivel em p X (U ) X (U ) = W , em relao a X . Ento f X diferencivel em X (p) X (W ) U . Mas pela proposio 1.5, h = X X : X (W ) X (W ) tambm diferencivel, logo a composta f X h = f X X X = f X diferencivel em X (p)
1 1 2 2 1 1 1 1 1 1 1 1 1 2 1 2 1 1 2 1 1 2 1 2 1 X2 (W ) U2 .

Figura 8: A aplicao diferencivel f independe da parametrizao de S.

23
1.3.2 Funes diferenciveis entre superfcies

Denio 1.5. Seja : V1 S1 S2 , com S1 e S2 superfcies regulares e V1 conjunto aberto de S1 . Dizemos que diferencivel em p V1 se dada duas parametrizaes
X1 : U1 R2 S1 X2 : U2 R2 S2
1 com p X1 (U1 ), e (p) X2 (U2 ), temos que : X2 X1 : U1 U2 diferencivel 1 em X1 (p).

Figura 9: A aplicao diferencivel em p se diferencivel em X

(p)

24

Exemplo 1.8. Seja a esfera unitria R2 dada por x2 + y2 + z 2 = 1, com parametrizao X1 , onde x = sin cos , y = sin sin , z = cos e U1 = (0, ) (0, 2).
Vamos denir a seguinte funo
: R3 R3 (x, y, z) = (ax, by, cz),

ou seja, os pontos da esfera so levados em pontos sobre o elipside dado por x2 + y2 + a b z2 = 1, com parametrizao X2 , onde x = a sin cos , y = b sin sin , z = c cos e c2 U2 = (0, ) (0, 2).
2 2

Ento fazendo a composio (, ) = X2 1 X1 (, ) = X2 1 X2 (, ) = (, ), logo diferencivel.

Proposio 1.7. A denio de diferenciabilidade entre superfcies regulares independe da escolha da parametrizao.

Sejam S , S superfcies regulares e : S S uma aplicao diferencivel em um ponto p de S de acordo com as parametrizaes X de S e Y de S . Suponha que X , Y sejam outras parametrizaes de S , S respectivamente. Vamos mostrar que, de acordo com estas parametrizaes, tambm diferencivel em p. De fato, observe que Y X = Y Y Y X X X = h Y X h . Como h , h e Y X so diferenciveis, sua composio tambm o . Logo, Y X diferencivel em X (p), donde diferencivel em p com relao s parametrizaes X e Y .
Demonstrao.
1 2 1 2 1 1 1 1 2 2 2 1 2 1 2 2 1 2 1 1 1 1 1 1 2 2 1 1 1 1 1 1 1 2 1 1 1 1 2 2 1 2 2 2

25

Figura 10: A aplicao diferencivel independe da parametrizao.


1.4 Plano Tangente e diferencial de uma aplicao

Como havamos mencionado anteriormente a condio (iii) da denio de superfcie regular nos garante a existncia de um plano tangente em p S. Nessa seo mostraremos que para cada ponto p S, o conjunto de vetores tangentes as curvas parametrizadas de S passando por p, constituem um plano, que denotaremos por T S . Vamos analisar o que acorre com as curvas sobre superfcies. Sejam, Entendemos por vetor tangente a S em um ponto p S, o vetor tangente (0) de uma curva parametrizada : ( , ) S, com (0) = p.
p

X : U R2 S

, uma parametrizao de S : ( , ) U , curva em U : ( , ) S , curva em S passando por p, onde = X

Se X uma parametrizao de S e curva U tal que = , ento esse vetor (0) dado por:
(0) = X (0) (0) = dX((0)) (0) = d (X )(0). dt

Portanto, a derivada dXq mapeia os vetores velocidade de curvas passando por (0) =

26

em vetores velocidade das suas respectivas imagens em p = X(q), vejamos a gura a seguir:
q

Figura 11: O vetor (0) tangente curva no ponto p = (0).


Denio 1.6. O plano tangente a uma superfcie regular S em p o conjunto de vetores velocidade das curvas em S passando por p, com p S , denotado por Tp S . Proposio 1.8. Seja uma parametrizao X : U R2 S de uma superfcie regular S em p, tal que X(q) = p. Ento o conjunto de vetores tangentes S em p o subespao vetorial Tp S = dXq(R2 ) R3 de dimenso 2.

Primeiramente vamos mostrar que T S = dXq(R ) R . Seja w T S, logo existe uma curva : ( , ) S, com (0) = p e (0) = w. Por denio tambm temos uma curva : ( , ) U , com (0) = q e (0) = v, tal que = X . Temos
Demonstrao.
p 2 3 p

(0) = X (0) d (X )(0) = dX(0) (0) (0) = dt = dXq(v) dXq (R2 ).

Portanto, T S dXq(R ) R . Por outro lado seja w = dXq(v), (t) = vt + q em U , com t ( , ), (0) = q e
p 2 3

27

(0) = v

. Considere = X (t), ento


(0) = X (0) = X((0)) = X(q) = p (0) = dX((0))( (0)) = dXq(v) = w Tp S.

Portanto, dXq(R ) T S. Logo T S = dXq(R ) R . Precisamos mostrar agora que T S um espao vetorial. Sejam W e W vetores de T S, ento
2 p p 2 3 p 1 2 p

1 : ( , ) S; 2 : ( , ) S;

1 (0) = p, 2 (0) = p,

1 (0) = w1 2 (0) = w2

e
1 : ( , ) U ; 2 : ( , ) S; dXq(1 (0)) = w1 dXq(2 (0)) = w2

Como X um homeomorsmo temos que X(q) = p. Seja uma curva (t) = q + t( (0) + (0)) em U , com t (, ) e > 0. Consideramos a curva em S
1 2

: (, ) S (t) = X (t)

Ento,
(0) = X (0) = X((0)) = X(q) = p (0) = dX((0))( (0)) = dXq( (0)) = dXq(1 (0) + 2 (0)) = dXq(1 (0)) + dXq(2 (0)) = w1 + w2 Tp S

Seja a curva (t) = q + t (0) em U , com t (, ), e consideramos a curva


: (, ) S

28

(t) = X (t)

Ento,
(0) = X (0) = X((0)) = X(q) = p (0) = dX((0))( (0)) = dXq( (0)) = W1 Tp S

Logo T S um espao vetorial. Como S uma superfcie regular, a condio (iii) da denio1.1 nos diz que dXq injetiva, logo ker(dXq) = 0. Logo, T S tem dimenso 2.
p p

Uma equao paramtrica de um plano tangente a S em um ponto p = (x , y , z ) dada por (x, y, z) = (x , y , z ) + rX (p ) + sX (p ), com r, s R. O plano ca bem denido pela juno de um de seus pontos a dois vetores linearmente independentes. E a escolha de uma parametrizao X determina uma base {X (p), X (p)} para o plano tangente, chamada de base coordenada a X . No entanto, T S no depende da escolha de X.
0 0 0 0 0 0 0 u 0 v 0 u v p

Exemplo 1.9. Sabemos pela proposio 1.1, que se a um valor regular de uma funo : V R3 R diferencivel ento f 1 (a) o grco de uma superfcie regular. Ento vamos escrever a equao do plano tangente a f 1 (a) em um ponto p da superfcie. Para isso precisaremos utilizar o gradiente de de f em p, denotado por f (p).
Temos que f (p) ortogonal a Tp f 1 (a) em p f 1 (a). Vamos mostrar que Tp f 1 (a) = ker f (p). Seja w Tp f 1 (a), logo
: ( , ) f 1 (a); t (t) f : ( , ) R (0) = p; (0) = w

Mas, (f )(t) = a ento


(f ) (0) = f ((0)).( (0)) = f (p)(w) = 0.

Portanto, w ker f (p) e Tp f 1 (a) ker f (p).

29

Seja agora w ker f (p), logo f (p)(w) = 0. Vamos supor sem perda de generalidade que
f z

= 0, ento existe uma funo

: U R2 R. (x, y) (x, y),

tal que, localmente a superfcie seja o grco de . Dena a parametrizao local


X : U R2 R3 (x, y) (x, y, (x, y))

e
: R3 R2 (x, y, z) (x, y)

Seja p = (x0 , y0 , z0 ) e w = (w1 , w2 , w3 ), logo (w) : (w1 , w2 ). Sejam as curvas


: ( , ) U t (x0 , y0 ) + t(w1 , w2 ) = (x0 + tw1 , y0 + tw2 )

e
= X. : ( , ) f 1 (a) t (x0 + tw1 , y0 + tw2 , (x0 + tw1 , y0 + tw2 ))

tal que f (t) = a , t e


(0) = (x0 , y0 , (x0 , y0 )) = p (0) = (w1 , w2 , (x0 , y0 )w1 + (x0 , y0 )w2 ). x y

Podemos observar que (0) Tp f 1 (a), ento precisamos mostrar que (x0 , y0 )w1 + x (x0 , y0 )w2 = w3 . No entanto, w kerf (p), logo w e f (p) so ortogonais, ento y
< f (p), w >= 0 f f f (p)w1 + (p)w2 + (p)w3 = 0 x y z
f x f z

w3 =

w1

f y f z

w2 .

30

Pelo teorema da funo implcita Logo kerf (p) Tp f 1 (a).

x = f e z

y = f , portanto w3 = z

w + w2 x 1 y

Portanto, Tp f 1 (a) = ker f (p). Em outras palavras, Tp f 1 (a) formada precisamente pelos vetores de R3 que so ortogonais a f (p). Ento, w Tp f 1 (a) temos que w f (p), tomando p = (x0 , y0 , z0 ) e w = (x x0 , y y0 , z z0 ) temos a equao de Tp f 1 (a) em p dada por
< f (p), w >= 0 f f f (p)(x x0 ) + (p)(y y0 ) + (p)(z z0 ) = 0. x y z

Quando provamos a igualdade Tp f 1 (a) = ker f (p) podemos garantir a recproca, que se < f (p), w >= 0, ou seja, se w satisfaz a sua equao f (p)(x x0 ) + f (p)(y y0 ) + x y f (p)(z z0 ) = 0, ento necessriamente w Tp S . Esta equao poderia a priori ser z satisfeita por vetores de fora do plano tangente, mas mostrando que Tp f 1 (a) = ker f (p) garantimos que no.

Como j denimos plano tangente, podemos falar da diferencial das aplicaes denidas na seo 1.3.
Denio 1.7. Seja uma superfcie regular S e uma funo f : V S R diferencivel em V , a cada p V associamos uma aplicao linear df p : Tp S R que chamada a diferencial de f em p, que denimos:
Seja wp Tp S e : t ( , ) S uma curva diferencivel tal que (0) = p e d (0) = wp , ento a curva = f diferencivel e df p(wp ) = (0) = dt (f )(0), com (0) = f (p).

Denio 1.8. Sejam S1 e S2 superfcies regulares e uma aplicao : V1 S1 S2 contnua e diferencivel em V1 , a cada p V1 denimos a aplicao linear
dp : Tp S1 T(p) S2

atuando em um vetor wp Tp S1 da seguinte forma: Seja : t ( , ) S1 diferencivel, com (0) = p e (0) = wp , ento
dp (wp ) = (0) = d ( )(0), dt

com = , (0) = (p).

31

As denies 1.7 e 1.8 so anlogas, assim a proposio a seguir ser demonstrada para um dos casos, o outro pode ser feito usando o mesmo raciocnio.
Proposio 1.9. A diferencial dp : Tp S1 T(p) S2 linear e no depende da escolha da curva que passa por p com vetor tangente wp .

Seja uma curva : ( , ) S , com (0) = p e = , seja tambm X parametrizao de S em uma vizinhana de p e X uma parametrizao de S em uma vizinhana de (p). Primeiramente vamos mostrar que no depende da escolha da curva que passa por p. Sejam
Demonstrao.
1 1 1 2 2

1 : ( , ) R3 ; 2 : ( , ) R3 ;

1 (0) = p; 2 (0) = p;

1 (0) = w 2 (0) = w

d1 (0) (1 (0)) = dp (1 (0)) = dp (w) d2 (0) (2 (0)) = dp (2 (0)) = dp (w)

Portanto, d no depende da curva passando por p. Podemos reescrever = X X X X , mas sabemos que X a mudana de parmetros, logo = X h X . Seja agora a curva = X (t), com t ( . ). Ento
p 2 1 2 1 2 1 1 1 1 1 1

1 2 X1

=h

= X2 h (t) (0) =

d (X2 h )(0) = dX2(r) dhq (0) dt

Sejam w , w
1

Tp S1 R

e as curvas
w1 = 1 (0), w2 = 2 (0),

1 : ( , ) S1 , 2 : ( , ) S2 , 1 : ( , ) U, 2 : ( , ) U,

32

ento
dp (w1 + w2 ) = dp dX1(q) (1 (0) + 2 (0)) = dX2(r) dhq (1 (0) + 2 (0)) = dX2(r) (dhq (1 (0)) + dX2(r) (dhq (2 (0)) = dp dX1(q) (1 (0)) + dp dX1(q) (2 (0)) = dp (w1 ) + d(w2 ).

Portanto a diferencial d linear.


p

33

Primeira Forma Fundamental, Aplicao Normal e Segunda Forma Fundamental

A primeira coisa que um habitante de uma superfcie, com alguma curiosidade pela geometria, talvez queira saber, como medir a distncia entre dois pontos da superfcie. Logo, na seo 2.1 iremos apresentar a primeira forma fundamental, permitindo o clculo de medidas sobre a superfcie sem fazer meno ao espao ambiente onde est a superfcie. Assim como a taxa de variao do vetor tangente a uma curva mede o quo essa curva deixa de ser reta, na seo 2.1 estenderemos essa idia para superfcies regulares, isto , tentaremos medir o quo rapidamente uma superfcie S deixa de ser plana, introduzindo ento a aplicao normal de Gauss. Na seo 2.3 apresentaremos a segunda forma fundamental, uma forma quadrtica que est relacionada com a aplicao normal de Gauss.
2.1 Primeira Forma Fundamental

At aqui, estudamos as superfcies regulares do ponto de vista da diferenciabilidade. Nessa seo apresentaremos a primeira forma quadrtica, denominada primeira forma fundamental, que nos permite efetuar alguns clculos geomtricos, tais como o comprimento de arcos, ngulos entre curvas e reas de regies na superfcie.
Denio 2.1. Seja S uma superfcie regular e Tp S o plano tangente a S no ponto p. A forma quadrtica Ip denida por:
Ip : Tp S R w Ip (w) =< w, w >p = ||w||2 0

chamada de

primeira forma fundamental.

34

Como podemos observar, a primeira forma fundamental basicamente o produto interno usual do R restrito aos vetores tangentes a S. Vamos agora expressar a primeira forma fundamental na base {X , X } associada a parametrizao X(u, v) em p. Seja o vetor w T S, faamos uma curva tal que (0) = p e (0) = w e
3 u v p

: ( , ) U R2 t (t) = (u(t), v(t))

dada por = X , tal que (0) = q, com X(q) = p. Notemos ainda que t ( , ) teremos (t) = X ((t)) (t) = X ((t))u (t) + X ((t))v (t), onde (t) = (u (t), v (t)). Assim,
1 u v

Ip (w) = < w, w >p = < (0), (0) >(0) = < Xu ((0))u (0) + Xv ((0))v (0), Xu ((0))u (0) + Xv ((0))v (0) >p = < Xu , Xu >p u + 2 < Xu , Xv > u v + < Xv , Xv > v .
2 2

Vamos denotar E =< X , X >, F =< X , X > e G =< X , X >, que chamaremos de coecientes da primeira forma fundamental. Vejamos agora alguns exemplos.
u u u v v v

Exemplo 2.1. O plano que passa por um dado ponto p e tem a direo dos vetores w1 = (a, b, c) e w2 = (d, e, f ) unitrios e ortogonais parametrizado por X(u, v) = p+uw1 +vw2 .
Logo, Xu = w1 e Xv = w2 . Assim
E = < Xu , Xu >=< w1 , w1 >= 1 F = < Xu , Xv >=< w1 , w2 >= 0 G = < Xv , Xv >=< w2 , w2 >= 1

Exemplo 2.2. Seja um cilindro vertical, parametrizado por X(u, v) = (cos u, sin u, v), com U = {(u, v) R2 : 0 < u < 2, < v < }.

35

Logo, Xu = ( sin u, cos u, 0) e Xv = (0, 0, 1). Assim


E = < Xu , Xu >= sin2 u + cos2 u = 1 F = < Xu , Xv >= 0 G = < Xv , Xv >= 1

Exemplo 2.3. A esfera S parametrizada em coordenadas esfricas dada por


X(, ) = (r sin cos , r sin sin , r cos ),

com 0 < < e 0 < < 2. Logo, X = (r cos cos , r cos sin , r sin ) e X = (r sin sin , r sin cos , 0). Assim
E = < X , X >= r2 F = < X , X >= 0 G = < X , X >= r2 sin2

Agora que conhecemos a primeira forma fundamental podemos estudar questes geomtricas sobre uma superfcie regular, como havamos citado anteriormente. Vejamos ento como calcular comprimentos de arcos, ngulos e reas em S. O comprimento de arco de uma curva denida em um intervalo dado por:
b

L() =
a

|| (t)||dt.

Vamos considerar uma superfcie regular S e uma parametrizao X : U S, com U R . E sejam as curvas
2

(t) : (a, b) U (t) : (a, b) S

tal que (t) = X (t) = X(u(t), v(t)), ento (t) = X u (t) + X v (t) Ento
u v

|| (t)|| = = =

< (t), (t) > I(t) ( (t)) < Xu , Xu > (u (t))2 + 2 < Xu , Xv > u (t)v (t)+ < Xv , Xv > (v (t))2

36

Usando os coecientes da primeira forma fundamental temos:


|| (t)|| = E(u (t))2 + F u (t)v (t) + G(v (t))2 .

Ento,
L() =
a

E(u (t))2 + F u (t)v (t) + G(v (t))2 dt.

Exemplo 2.4. Seja a esfera S de raio r dada no exemplo anterior. Temos os seguintes coecientes da primeira forma fundamental E = r2 ,F = 0 e G = r2 sin2 . Ento o comprimento de arco de uma curva contida na esfera
b

L((t)) =
a b

E( (t))2 + 2F (t) (t) + G( (t))2 dt r2 ( (t))2 + r2 sin2 ( (t))2 dt.


a

Vamos xar = Logo,

e e variar = t, com t (0, 2), ento (t) = 0 e (t) = 1.


2 2

r2 sin2 dt = r 2 0 que o comprimento do equador de S . L((t)) =

dt = rt|2 = 2r 0
0

Exemplo 2.5. Seja o cilindro vertical, parametrizado por X(u, v) = (r cos u, r sin u, v) que vimos no exemplo 2.2. Temos os seguintes coecientes da primeira forma fundamental: E = r2 , F = 0 e G = 1.
Vamos considerar a curva (t) contida no cilindro, com u(t) = t, 0 < t < 2 e v(t) = v0 xo, dessa forma teremos uma circunferncia contida no cilindro. Seja v(t) = 0 e u(t) = t, 0 < t < 2, ento o comprimento de arco
2

L() =
0

Eu (t)2 + Gu (t)v (t) + F v (t)2 dt,

mas u (t) = 1 e v (t) = 0 ento


2

L() =
0

r2 dt = rt|2 = 2r 0

No caso anterior a varivel v era xa e a u variava, no entanto podemos tomar

37

u(t) = u0 xo e v(t) = t, com a < t < b e a, b R. Assim, u (t) = 0 e v (t) = 1, ento
b

Gdt =
a

L() =
a

dt = t|b = (b a) a

que o comprimento de um segmento vertical contido no cilindro.

Nos exemplos 2.1 e 2.2 podemos perceber que os coecientes da primeira forma fundamental so os mesmos no plano e no cilindro de raio unitrio. Isso no mera coincidncia, esse assunto ser tratado na seo 4.1. Vamos dar agora apenas uma justicativa geomtrica para isso. Seja uma folha de papel plana, por exemplo, se enrolarmos a folha teremos um cilindro, de modo bvio, sem deformaes. Se traarmos uma curva na folha plana, depois de enrolada, torna-se uma curva no cilndro e como no houve deformaes, o comprimento de ambas as curvas coincidem. Com efeito, a transformao geomtrica do plano no cilndro que referimos acima um difeomorsmo especial, como veremos na seo 4.1.

Figura 12: Curva no plano transformada numa curva no cilndro. Vejamos agora como medir ngulos entre curvas em uma superfcie. Seja S uma superfcie regular e X uma parametrizao de S. Sejam (t) = X e (t) = X curvas em S que se interceptam em um ponto t = t , no ponto p = X(q) = (t ) = (t ). O ngulo entre curvas em p, denido como o ngulo entre 0 e formado pelos vetores (t ) e (t ), ou seja, o ngulo entre 0 e tal que:
1 1 2 2 0 1 0 2 0 1 0 2 0

cos =

< 1 (t0 ), 2 (t0 ) > ||1 (t0 )||||2 (t0 )||

Agora vamos reescrever a denio acima usando os coecientes da primeira forma fudamental.

38

Temos
1 (t) = (u1 (t), v1 (t))2 (t) = (u2 (t), v2 (t)),

1 (t0 ) = Xu u1 (t0 ) + Xv v1 (t0 ) 2 (t0 ) = Xu u2 (t0 ) + Xv v2 (t0 )

ento
= Eu1 (t0 )u2 (t0 ) + F (u1 (t0 )v2 (t0 ) + v1 (t0 )u2 (t0 )) + Gv1 (t0 )v2 (t0 ).

< 1 (t0 ), 2 (t0 ) > = < Xu , Xu > u1 (t0 )u2 (t0 )+ < Xu , Xv > (u1 (t0 )v2 (t0 ) + v1 (t0 )u2 (t0 ))+ < Xv , Xv

Temos ainda que


||1 (t0 )|| = = = < 1 (t0 ), 1 (t0 ) > < Xu , Xu > (u1 (t0 ))2 + 2 < Xu , Xv > u1 (t0 )v1 (t0 )+ < Xv , Xv > (v1 (t0 ))2 E(u1 (t0 ))2 + 2F u1 (t0 )v1 (t0 ) + G(v1 (t0 ))2

e
||2 (t0 )|| = = = < 2 (t0 ), 2 (t0 ) >
2 2 Xu (u2 (t0 ))2 + 2Xu Xv u2 (t0 )v2 (t0 ) + Xv (v2 (t0 ))2

E(u2 (t0 ))2 + 2F u2 (t0 )v2 (t0 ) + G(v2 (t0 ))2 .

Obtemos assim o ngulo , por comodidade vamos omitir o ponto de aplicao t da frmula abaixo,
0

= arccos

Eu1 u2 + F (u1 v2 + v1 u2 ) + Gv1 v2 (E(u1 )2 + 2F u1 v1 + G(v1 )2 )(E(u2 )2 + 2F u2 v2 + G(v2 )2 )

Exemplo 2.6. Dada uma superfcie regular S e uma parametrizao X de S em uma vizinhana do ponto p S passando por p, tais que seus vetores tangentes so Xu e Xv . Ento ca denido por:
= arccos < Xu , Xv > F = arccos . ||Xu ||||Xv || EG

Uma outra questo mtrica que podemos tratar com a primeira forma fundamental

39

a denio de rea de uma regio limitada de uma superfcie regular S. Seja S uma superfcie regular, X : U R S uma parametrizao de S e R S uma regio limitada de S, de forma que, R a imagem por X de uma regio Q U limitada. Vamos considerar uma partio P que divide Q em um nmero nito de regies Q e consequentemente teremos um nmero nito de R parties de R. Ento X(Q ) = R . Temos que:
2 ij ij ij ij

ui = ui ui1 vj = vj vj1

Agora vamos aproximar a rea da regio X(Q ) pela rea do paralelogramo em T S, onde p = (u , v ). Os vetores w e w em T S, so imagens dos lados dos retngulos Q , tal que
ij p i1 j1 1 2 p ij

w1 = ui Xu w2 = vj Xv

A rea do paralelogramo gerado por w e w :


1 2

Aij = ||w1 w2 || = ||ui Xu vj Xv || = ui vj ||Xu Xv ||

Figura 13: A rea R aproximada pela rea do paralelogramo T S com lados w e w .


ij p 1 2

A rea da superfcie ser dada quando o nmero de parties Q tenderem a innito,


ij

40

ou seja, quando a norma das parties tenderem a zero. Logo,


A = = =
Q |P |0

lim lim

Aij
Rij P

|P |0

ui vj ||Xu Xv ||
Rij P

du dv||Xu Xv ||,

onde |P | = sup{u v : R P } Podemos mostrar que a rea de regies contidas em S independente da parametrizao X , mas para isso precisamos utilizar o seguinte teorema de mudana de variveis para integrais mltiplas, cuja demonstrao no ser feita neste trabalho.
i j ij

Teorema 2.1. Seja f uma aplicao integrvel sobre Q,sendo Q uma regio fechada e limitada do plano uv. Seja Q uma regio fechada e limitada do plano uv e uma aplicao (u,v) h : Q Q. Se h for uma bijeo com derivadas parciais contnuas em Q e se (,) no uv , ento se anula em Q
f (u, v) du dv =
Q Q

f (u(, v ), v(, v )) u u

(u, v) d d. u v (, v ) u

Temos que h : Q Q.

(u,v) (,) uv

a matriz jacobiana da mudana de parmetros h = X 1 X , com

Assim, usando o teorema 2.1 temos


u v ||Xu Xv || d d =
Q Q

||Xu Xv ||

(u, v) d d u v (, v ) u

=
Q

||Xu Xv || du dv.

Ento a integral envolvida para calcular rea de regies contidas numa superfcie independe da parametrizao.
Denio 2.2. Seja R S uma regio limitada de uma superfcie regular, contida em uma vizinhana coordenada de uma parametrizao X : U R2 S .

41

O nmero positivo dado por


A(R) =
Q

||Xu Xv || du dv,

com X(Q) = R, chamado

rea de R.

Agora que denimos a rea de R, podemos escrev-la usando os coecientes da primeira forma fundamental. Primeiramente podemos notar que
||Xu Xv || = ||Xu ||||Xv || sin(u, v)

e
< Xu , Xv >= ||Xu ||||Xv || cos(u, v).

Ento,
||Xu Xv ||2 + < Xu , Xv >2 = ||Xu ||2 ||Xv ||2 sin2 (u, v) + ||Xu ||||Xv || cos2 (u, v) = ||Xu ||2 ||Xv ||2

Assim,
||Xu Xv || = ||Xu ||2 ||Xv ||2 < Xu , Xv >2 =

EG F

Logo,
A(R) =

EG F 2 du dv.

Exemplo 2.7. Seja S uma esfera de raio r dada por X(, ) = (r sin cos , r sin sin , r cos ), com 0 < < e 0 < < 2.
Vamos calcular a rea total da esfera:
2 0 2

A(R) =
0

EG F 2 d d r2 sin d d

=
0 0 2

= r2
0 2

(
0

sin d) d

= r2
0 2

( cos + cos 0) d 2 d = 4r2 .


0

= r2

Exemplo 2.8. Seja T2 um toro dado por X(, ) = ((a+r cos ) cos , (a+r cos ) sin , r sin ),

42

onde U = {(, ) R2 : 0 < < 2, 0 < < 2}. Vamos calcular a rea dessa superfcie. Primeiramente vamos calcular os coecientes da primeira forma fundamental:
X = (r sin cos , r sin sin , r cos ) X = ((a + r cos ) sin , (a + r cos ) cos , 0).

Logo
E =< X , X > = r2 sin2 cos2 + r2 sin2 sin2 + r2 cos2 = r2 sin2 (cos2 + sin2 ) + r2 cos2 = r2 F =< X , X > = r(a + r cos ) sin cos sin r(a + r cos ) sin sin cos = 0 G =< X , X > = (a + r cos )2 sin2 + (a + r cos )2 cos2 = (a + r cos )2 .

Portanto, EG F 2 = Ento a rea do toro

r2 (a + r cos )2 = r(a + r cos ).

A(R) =
0 2 0

r(a + r cos )dd


2

= r
0 2 0 2

(a + r cos )d d
2

= r
0 2 0

ad +
0

cos d d

= r
0 2

a| + sin |2 d 0 0 a2d
0

= r

= 2ar(|2 ) 0 = 4 2 ar.

2.2

Aplicao Normal de Gauss

Comearemos essa seo discutindo em que sentido e quando possvel orientar uma superfcie regular.

43

Temos que {X , X } formam uma base para o plano tangente T S. Ento para todo ponto p X(U ) S, podemos encontrar um vetor normal unitrio a T S, dado por:
u v p p

N (p) =

Xu Xv . ||Xu Xv ||

Denio 2.3. Seja S uma superfcie regular, V S um conjunto aberto. Chamamos a aplicao N : V S R3 de campo diferencial de vetores normais. Denio 2.4. Uma superfcie S dita orientvel se existe um campo de vetores unitrios denidos em toda a superfcie. Ou seja, existe uma aplicao diferencivel e contnua
N : S S2 p N (p), p S

Denio 2.5. A aplicao normal de Gauss a aplicao N : S S2 R3 dada X localmente por N (p) = ||Xu Xv || , onde S2 a esfera unitria. u Xv

A aplicao normal de Gauss une todos os vetores normais unitrios a superfcie S, fazendo com que tenham a mesma origem, formando um subconjunto da esfera unitria, como mostra a gura a seguir.

Figura 14: Aplicao normal de Gauss. O vetor N (p) normal a T S em p e a T S , ou seja T S e T S so paralelos, logo podem ser identicados como os mesmos espaos vetoriais. Vamos estudar agora a variao de N , ou seja, a derivada de N . Como T S e T S so paralelos, ento a derivada de aplicao normal dN (p) : T ST S pode ser vista como uma aplicao linear em T S . E age sobre a superfcie da seguinte forma:
p N (p) 2 p N (p) 2 p N (p) 2 p N (p) 2 p

44

Seja : ( , ) S, com (0) = p e consideramos a curva parametrizada N (t) = N (t), equivale a restringir o campo vetorial N a curva (t), formando assim um curva em S , dada pelos extremos dos vetores N (t). Temos que N (t) = N (t), ento o vetor tangente a N (t) em N (p) dado por:
2

N (t) = dN(t) (t) N (0) = dNp (0),

mede a taxa de variao do vetor normal N restrita a curva (t), medindo o quanto a superfcie se afasta do plano tangente T S, em um vizinhana de p S.
p

Figura 15: A aplicao dN (p) mede a variao de N (p). Vejamos alguns exemplos:
Exemplo 2.9. Seja um plano com a seguinte parametrizao, ax + by + cz + d = 0, sabemos que o vetor (a,b,c) um vetor normal ao plano , logo o vetor normal unitrio ao plano em p dado por:
N (p) = (a, b, c) (a, b, c) = , 2 + b2 + c 2 ||(a, b, c)|| a

que o mesmo vetor para todo p S . Portanto dN (p) = 0, p S .

45

Figura 16: No plano o vetor N (p) constante para todo ponto p, logo dN

=0

Exemplo 2.10. Seja S2 uma esfera de raio r dada por {(x, y, z) R3 : x2 +y2 +z 2 = r2 }. Vamos considerar apenas a parametrizao do hemisfrio norte da esfera, X(u, v) = (u, v, r2 (u2 + v 2 )), com (u, v) U e U = {(u, v) R2 : u2 + v 2 < r2 }.
u v Temos que Xu = 1, 0, r2 (u2 +v2 ) e Xv = 0, 1, r2 (u2 +v2 ) .

O vetor normal unitrio


N= Xu Xv = ||Xu Xv || u v , , r r r2 (u2 + v 2 ) r .

Seja p = (x, y) X(U ), ento N ( x , y , z ). Esse resultado tambm vlido para todo r r r 2 pS . Vamos considerar a curva em S2 dada por (t) = (x(t), y(t), z(t)), com (0) = p e (0) = w. Restrito a curva temos que
1 N ((t)) = N (t) = (x(t), y(t), z(t)) r 1 dN ( (0)) = dN (w) = N (0) = (w), p S, w Tp S. r

No entanto, para cobrir a esfera precisamos das outras cinco parametrizaes, que obteremos o mesmo resultado.

46

Figura 17: Na esfera de raio r, temos dN (w) =

1 (w) r

Exemplo 2.11. Seja um cilindro dado por {(x, y, z) R3 : x2 + y2 = 1}. Temos a seguinte parametrizao do cilindro: X(u, v) = cos u, sin u, v, onde U = {(u, v) R2 : 0 < u < 2, < v < }. Logo,
Xu = ( sin u, cos u, 0) Xv = (0, 0, 1).

Fazendo os devidos cculos, obtemos N = (cos u, sin u, 0), ou seja, N = (x, y, 0). Considerando uma curva qualquer no cilindro, (t) = (x(t), y(t), z(t)), temos que (t) = (x (t), y (t), z (t)). Se restringirmos o vetor normal N (t) = (x(t), y(t), 0) temos dN ( (t)) = N (t) = (x (t), y (t), 0). Se a curva for uma reta no cilindro paralela ao eixo Oz , teremos que o vetor w1 tangente a curva tambm ser paralelo ao eixo Oz , logo dN (w1 ) = 0.

47

Figura 18: Se a curva paralela ao eixo Oz o vetor N (p) constante para todo ponto p , logo dN = 0.
p

Agora se a curva for paralela ao plano xy, teremos o vetor w2 tangente a curva, onde dNp (w2 ) = w2 .

Figura 19: Se a curva paralela ao eixo xy, dN (w ) = w .


p 2 2

Vamos usar a seguinte notao, se w T S e {X , X } uma base de T S, ento w pode ser escrito como combinao linear dos vetores da base
p u v p

w = w u X u + w v Xv ,

wu , wv R

e
dNp (w) = dNp (wu Xu + wv Xv ) = wu dNp (Xu ) + wv dNp (Xv ) = wu Nu + wv Nv .

Proposio 2.1. A diferencial dNp : Tp S Tp S da aplicao normal de Gauss uma aplicao linear auto-adjunta.
Demonstrao.
p

Seja S uma superfcie regular com X(u, v) uma parametrizao de S em

48

J sabemos pela proposio 1.9 que dN linear, ento temos apenas que mostrar que dN auto-adjunta. Temos que {X , X } a base associada a T S e sejam w e w vetores de T S que tambm formam uma base {w , w } para T S. Teremos que mostrar que
p p u v p 1 2 p 1 2 p

< dNp (w1 ), w2 >=< w1 , dNp (w2 ) > .

Mas
u v w 1 = w 1 Xu + w 1 Xv , u v w 2 = w 2 Xu + w 2 Xv , u v w1 , w1 R u v w2 , w2 R

combinao linear dos vetores da base. E


u v dNp (w1 ) = w1 Nu + w1 Nv u v dNp (w2 ) = w2 Nu + w2 Nv ,

ento temos
u v < dNp (w1 ), w2 > = < dNp (w1 ), w2 Xu + w2 Xv > u v = w2 < dNp (w1 ), Xu > +w2 < dNp (w1 ), Xv > u u v v u v = w2 < w1 Nu + w1 Nv , Xu > +w2 < w1 Nu + w1 Nv , Xv > u u u v v u = w2 w1 < Nu , Xu > +w2 w1 < Nv , Xu > +w2 w1 < Nu , Xv > v v + w2 w1 < Nv , Xv >

e
u v < dNp (w2 ), w1 > = < dNp (w2 ), w1 Xu + w1 Xv > v u u v v u = w1 < w2 Nu + w2 Nv , Xu > +w1 < w2 Nu + w2 Nv , Xv > u u u v v u = w1 w2 < Nu , Xu > +w1 w2 < Nv , Xu > +w1 w2 < Nu , Xv > v v + w1 w2 < Nv , Xv >

Para que < dN (w ), w


p 1

>=< dNp (w2 ), w1 >

, pelas expresses acima temos que


u

< Nv , Xu >=< Nu , Xv > .

Sabemos que N ortogonal a X e X ento < N, X


u v

>= 0

e < N, X

>= 0

49

derivando e
uv

< N, Xv >=< Nu , Xv > + < N, Xvu >= 0 u < N, Xv >=< Nv , Xu > + < N, Xuv >= 0. v

Mas < N, X >=< N, X >, ento < N , X Ento dN uma aplicao auto-adjunta.
vu v p

>=< Nu , Xv >

Agora que provamos que a diferencial dN p = T S T S auto-adjunta, podemos associar a ela uma forma bilinear simtrica, ou seja B : T S T S R, dada porB(u, v) =< dN (u), w > e assim associar uma forma quadrtica, nesse caso Q : T S R dada por Q(v) = B(v, v) =< dN p(v), v >.
p p p p p p

2.3

Segunda Forma Fundamental

Nesta seo vamos denir a segunda forma fundamental sob um aspecto algbrico, e no prximo captulo veremos uma interpretao geomtrica.
Denio 2.6. A forma quadrtica IIp , denida em Tp S por IIp = < dN p(v), v > chamada a segunda forma fundamental de S em p.

Podemos observar que na denio da segunda forma fundamental utilizamos a forma quadrtica Q apenas por conveno, veremos o porqu mais adiante. A partir de agora vamos considerar que todas as parametrizaes X : U R S so compatveis com a orientao de S, ou seja, em X(U ), N = . Vamos calcular a segunda forma fundamental em um vetor (t) em T S. Sejam X(u, v) uma parametriza de p S e (t) = X(u(t), v(t)) uma curva parametrizada em S, com (0) = p. Para simplicar a notao, convencionaremos que todas as funes que aparecem abaixo indicam seus valores no ponto p. Temos que = X u + X v e
2 Xu Xv ||Xu Xv || p u v

N (t) = N ((t)) = N (u(t), v(t)) dN ( ) = N (u (t), v (t)) = Nu u + Nv v .

50

Mas N , N
u

Tp S

ento
Nu = a11 Xu + a21 Xv Nv = a12 Xu + a22 Xv

portanto
dN ( ) = (a11 Xu + a21 Xv )u + (a12 Xu + a22 Xv )v = Xu (a11 u + a12 v ) + Xv (a21 u + a22 v )

isto ,
dN u v
u v

a11 a12 a21 a22

u v

Isso mostra que na base {X , X }, dN dada pela matriz (a ), i, j = 1, 2, chamada de matriz de Weingarten. Note que esta matriz no necessariamente simtrica, a no ser que {X , X } seja uma base ortonormal. Por outro lado, a expresso da segunda forma fundamental na base {X , X } dada por
ij u v u v

IIp ( ) = < dN p( ), > = < Nu u + Nv v , Xu u + Xv v > = (u < Nu , Xu > +u v < Nu , Xv > +v u < Nv , Xu > +v < Nv , Xv >).
2 2

No entanto, < N , X
u

>=< Nv , Xu >
2

, ento
2

IIp ( ) = (u < Nu , Xu > +2u v < Nu , Xv > +v < Nv , Xv >).

Vamos denotar
e = < Nu , Xu >, f = < Nu , Xv >, f = < Nv , Xu >, g = < Nv , Xv >,

51

que chamaremos de coecientes da segunda forma fundamental. Ento temos a seguinte expresso:
IIp ( ) = eu + 2f u v + gv
2 2

Vamos obter agora os valores de a em termos dos coecientes da primeira e da segunda forma fundamental.
ij

e = < Nu , Xu >=< a11 Xu + a21 Xv , Xu >= a11 < Xu , Xu > +a21 < Xv , Xu > f = < Nu , Xv >=< a11 Xu + a21 Xv , Xv >= a11 < Xu , Xv > +a21 < Xv , Xv > f = < Nv , Xu >=< a21 Xu + a22 Xv , Xu >= a21 < Xu , Xu > +a22 < Xv , Xu > g = < Nv , Xv >=< a21 Xu + a22 Xv , Xv >= a21 < Xu , Xv > +a22 < Xv , Xv > .

Substituindo os coecientes da primeira forma fundamental nas expresses acima obtemos:


e = a11 E + a21 F f = a11 F + a21 G f = a21 E + a22 F g = a21 F + a22 G

As relaes acima podem ser expressas em forma matricial:


e f f g = a11 a21 a12 a22 E F F G ,

logo,
1

a11 a21 a12 a22

e f f g

E F F G

No entanto,
1

E F F G

1 EG F 2

G F

F E

52

ento podemos calcular a ,a ,a e a :


11 21 12 22

a11 =

f F eG EG F 2

a12 =

gF f G EG F 2

a21 =

eF f E EG F 2

a22 =

f F gE EG F 2

Para efeito de futuros clculos, o procedimento para encontrar os coecientes da segunda forma fundamental ser o seguinte: Temos que < N, X >=< N, X >= 0, ento
u v

< N, Xu > = < Nu , Xu > + < N, Xuu >= 0 u < N, Xv > = < Nv , Xv > + < N, Xvv >= 0 v < N, Xu > = < Nv , Xu > + < N, Xuv >= 0. v

Das equaes acima temos que:


< Nu , Xu >= < N, Xuu > < Nv , Xv >= < N, Xvv > < Nv , Xu >= < N, Xuv > .

Logo podemos escrever os coecientes da segunda forma fundamental da seguinte forma:


e = < N, Xuu >= = f = = g = = Xu X v 1 , Xuu = Xu Xv , Xuu ||Xu Xv || ||Xu Xv || det (Xu , Xv , Xuu ) EG F 2 Xu Xv 1 < N, Xuv >= , Xuv = Xu Xv , Xuv ||Xu Xv || ||Xu Xv || det (Xu , Xv , Xuv ) EG F 2 Xu X v 1 < N, Xvv >= , Xvv = Xu Xv , Xvv ||Xu Xv || ||Xu Xv || det (Xu , Xv , Xvv ) . EG F 2
u v uu u v uu u v uv v

Utilizamos a notao < X X , X >= det(X , X , X ), < X X , X >= det(X , X , X ) e < X X , X >= det(X , X , X ), onde (X , X , X ), (X , X , X ) e (X , X , X ) so matrizes formadas pelas componentes dos vetores X ,X e X , X ,X e X , X ,X e X , respectivamente, na base cannica do R .
u v uv u v vv u v vv u v uu u uv u v vv v u v uu u v uv u vv 3

53

Vejamos um exemplo:
Exemplo 2.12. Seja um cilindro C dado por X(u, v) = (cos u, sin u, v), com U = {(u, v) R2 : 0 < u < 2, < v < }.
Vamos calcular os coecientes da segunda forma fundamental. Primeiramente temos que Xu = ( sin u, cos u, 0) e Xv = (0, 0, 1), ento
Xuu = ( cos u, sin u, 0) Xuv = (0, 0, 0) Xvv = (0, 0, 0).

Logo,
det(Xu , Xv , Xuu ) = det(Xu , Xv , Xuv ) = 0 det(Xu , Xv , Xvv ) = 0 sin u 0 cos u 0 0 1 = cos2 u sin2 u = 1 cos u sin u 0

Portanto, os coecientes da segunda forma fundamental so


det(Xu , Xv , Xuu ) = 1 EG F 2 f = 0 e = g = 0.

No prximo captulo iremos apresentar uma interpretao geomtrica para a segunda forma fundamental e fazer alguns exemplos.

54

Curvaturas

3.1

Curvatura Normal

Antes de denirmos curvatura para superfcies, vamos analisar a denio de curvatura de uma curva. Primeiramente vamos denir o que uma curva parametrizada pelo comprimento de arco. Denio 3.1. Uma curva diferencivel parametrizada : I R chamada regular
3

se (t) = 0 para todo t I .

Denio 3.2. Seja : (a, b) R3 uma curva parametrizada diferencivel, ou seja, para cada t (a, b) existe um vetor no nulo (t). Diz-se que parametrizado pelo comprimento de arco se, para cada t0, t1 (a, b), com t0 t1, o comprimento de arco da curva de t0 a t1 igual a t1 t0 . Ou seja,
t1

s(t) =
t0

|| (t)||dt = t1 t0 ,

assim || (t)|| = 1, t (a, b).

Se considerarmos como a posio de uma partcula, ento ser parametrizado pelo comprimento de arco signica que essa partcula esta se movendo com velocidade constante igual a 1. Seja : (a, b) R uma curva parametrizada pelo comprimento de arco s, como o vetor tangente (t) unitrio, o mdulo da derivada segunda || (s)|| mede a variao do ngulo que as tangentes vizinhas fazem com a tangente em s. Ou seja, || (s)|| d uma medida do quo rapidamente a curva se afasta, em uma vizinhana de s, da tangente em s.
3

55

Figura 20: Vetores velocidade de uma curva. Ento vamos denir curvatura de uma curva em s.
Denio 3.3. Seja : (a, b) R3 uma curva parametrizada pelo comprimento de arco s (a, b). O numero || (s)|| = k(s) chama-se curvatura de em s.

Agora vamos considerar uma curva parametrizada pelo comprimento de arco contida em uma superfcie regular S, tal que (s) = p, (s) o vetor tangente a em p e k(s) = || (s)|| a curvatura de em s. Seja o ngulo entre N (s), vetor normal a S em p, e (s).
Denio 3.4. A curvatura normal denida por em p S dada por Kn = k cos , ou seja Kn (, s) =< N (s), (s) >.

Podemos observar que K o comprimento da projeo do vetor (s) sobre a normal a superfcie em p, com sinal dado pela orientao N de S em p.
n

56

Figura 21: A curvatura normal K .


n

Como K d a componente do vetor curvatura (s) de segundo a normal N (s) superfcie, se esses vetores forem colineares, isto , se a normal principal curva no instante s tiver a direo normal superfcie em (s), ento o valor absoluto de K igual a curvatura de nesse ponto. Vamos agora expressar Kn em termos dos coecientes da segunda forma fundamental. Seja uma curva parametrizada pelo comprimento de arco s contida em uma superfcie S. Podemos notar que (s) pertence a T S e ortogonal a N (s) = N (s), ento < (s), N (s) >= 0, derivando temos
n n (s)

< (s), N (s) > + < (s), N (s). (s) > = 0 Kn(, s) = < (s), dN(s) ( (s)) > Kn(, s) = +II(s) ( (s)).

Podemos dizer ento que a curvatura normal no ponto (s) de uma curva regular contida em S, cuja tangente nesse ponto o vetor (s), igual ao valor que obtemos aplicando a segunda forma fundamental II em (s). Isso mostra o porque que usamos o sinal () na denio 2.7. Teorema 3.1 (Teorema de Meusnier). Todas as curvas que possuem o mesmo vetor
(s)

velocidade em p S , possuem a mesma curvatura normal em p. Demonstrao.

J demonstramos na aplicao acima. Note que a curvatura normal K

57

em p S s depende da direo tangente a curva passando por p. O teorema acima nos permite falar em curvatura normal ao longo de uma dada direo em p. Vejamos a seguinte denio: Denio 3.5. Uma seo normal C a uma superfcie S determinada por v T S a
v p

curva de interseo de S com o plano Pv gerado por v e N (p).

Figura 22: Seo normal C a uma superfcie S.


v

Em uma vizinhana de p, uma seo normal de S em p uma curva regular plana em S , cujo vetor normal em p N (p) ou zero, portanto a sua curvatura igual ao valor absoluto da curvatura normal segundo v em p. Alm disso, o sinal de K muda conforme a concavidade da superfcie no ponto, ou seja, se a concavidade aponta no sentido de N (p) ento positiva, se aponta no sentido oposto negativa. Assim o teorema de Meusnier arma que o valor absoluto da curvatura normal em p de uma curva (s) igual a curvatura da seo normal de S em p, segundo (0). Logo para estudar as curvaturas normais em p S basta analisar as curvaturas das sees normais. Vejamos alguns exemplos:
n

Exemplo 3.1. Como vimos no exemplo 2.8, num plano temos dNp = 0 para qualquer curva passando por p em . E para qualquer p obtemos um plano formado por N (p) e vp , cujas sees normais so retas em , que possuem curvatura nula.
Tambm temos que a segunda forma fundamental o numero resultante do produto interno de dN (p) aplicada ao vetor tangente a p, que ser nulo em todos os pontos p , estando de acordo com o fato de dNp = 0.

58

Figura 23: Sees normais no plano so retas, tendo assim curvatura nula.
Exemplo 3.2. No cilindro reto, dado por {(x, y, z) R3 : x2 +y2 = 1}, as sees normais em um ponto p variam de uma reta paralela ao eixo do cilindro, de uma famlia de elpses at a um crculo perpendicular ao eixo do cilindro. Assim as curvaturas normais variam de 0, na reta, a 1, no crculo. Caso fosse um cilindro de raio r, iria variar de 0 a 1 . r
Como vimos exemplo 2.11 os vetores w1 e w2 correspondem s direes das curvaturas normais 0 e 1, respectivamente, logo a segunda forma fundamental assume seu valor mximo em w1 e mnimo em w2 .

Figura 24: Sees normais no cilindro variam de uma reta paralela ao eixo do cilindro, uma famlia de elpses at a um crculo perpendicular ao eixo do cilindro. Podemos observar no exemplo acima que a segunda forma fundamental assume um mximo e um mnimo, vamos deixar isso mais claro. Seja um plano P que contm v e N (p), girando em torno de N (p). Como v um vetor unitrio, quando giramos P em torno de N (p), v descreve em T S um crculo de raio 1.
v v p

59

Figura 25: Circunferncia S descrita pelo vetor unitrio v em T S.


1 p

Para contrurmos uma seo normal basta tomarmos uma direo em T S, ento K pode ser visto como uma aplicao contnua
p

Kn (p) : S1 Tp S R v Kn (p)(v) = IIp (v).

Vamos usar agora o seguinte teorema:


Teorema 3.2. Seja D R2 um conjunto fechado e limitado, ou seja compacto, e seja uma funo f : D R contnua em D. Ento f assume seu valor mximo absoluto e mnimo absoluto.

Sabemos que S um compacto, assim se K est denida em S , ento pelo teorema acima existem e ,e T S tal que K (p)(e ) valor mximo e K (p)(e ) valor mnimo. Voltemos a aplicao linear dN : T S T S. Sabemos que dN esta associado a uma forma bilinear simtrica B : T S T S R, dada por B (v, w) = < dN (v), w >, e
1 n 1 1 2 p n 1 n 2 p p p p p p p p p

Bp (v, v) = IIp (v) = < dNp (v), v >,

onde II (v) : T S R. Usando o resultado que dN um operador auto-adjunto, conclumos que B simtrica, pois v, w T S, temos que
p p p p p

B(v, w) = < dNp (v), w >= < v, dNp (w) >= < dNp (w), v >= B(w, v).

Seja e

Tp S

vetor unitrio tal que B(e , e ) = < dN (e ), e


1 1 1

>= K1

, onde K o
1

60

mximo da funo K . Seja tambm e T S um vetor unitrio tal que e e e {e , e , N } seja uma base orientada positivamente. Temos que v T S com ||v|| = 1 pode ser escrito como v = cos te + sin te . Logo, B(v, v) = cos t(B(e , e )) + 2 cos t sin t(B(e , e )) + sin t(B(e , e )), mas
n 2 p 1 2 1 2 p 1 2 2 1 1 1 2 2 2 2

B(e1 , e1 ) = K1 = b11 B(e1 , e2 ) = b12 B(e2 , e2 ) = b22 .

Ento dena a funo b(t) = cos tb + 2 cos t sin tb + sin tb = B (v, v). Em t = 0 a funo b atinge seu valor mximo, portanto b (0) = 0. Logo,
2 11 12 2 22 p

b (t) = 2 cos t sin tb11 + 2( sin2 t + cos2 t)b12 + 2 sin t cos tb22 .

Portanto,
b (0) = 2b12 = 0 b12 = 0 B(v, v) = b(t) = cos2 tb11 + sin2 tb22 .

Como K o mximo, ento b(t) = cos tK


1 2 2 2 22 2 22 2

+ sin2 tb22 K1

, mas
2 22

cos2 tK1 + sin2 tb22 cos2 K1 + sin2 tK1 sin2 t(K1 b22 ) 0 K1 b22 .

Ento, t, B(e , e ) = b = cos tb + sin tb cos tK + sin b = b(t) = B(v, v). Logo, a curvatura normal K (p)(e ) a menor possvel, ento, K (p)(e ) = K , onde K o mnimo da funo K . Temos ento que {e , e } uma base ortonormal, tal que, II atinge o mximo K em e e mnimo K em e . Finalmente, vejamos que e e e so autovetores de dN . Temos que,
22 2 1 n 2 n 2 2 2 n 1 2 p 1 1 2 2 1 2 p

dNp (e1 ) = a11 e1 + a12 e2 dNp (e2 ) = a21 e1 + a22 e2 .

61

Mas,
K1 = B(e1 , e1 ) =< dNp (e1 ), e1 > = < a11 e1 + a12 e2 , e1 > = a11

Temos que,
B(e1 , e2 ) = 0 = < dNp (e1 ), e2 > = < a11 e1 + a12 e2 , e2 > = a12

e
B(e2 , e1 ) = 0 = < dNp (e2 ), e1 > = < a21 e1 + a22 e2 , e1 > = a21 .

Tambm temos que


K2 = B(e2 , e2 ) =< dNp (e2 ), e2 > = < a21 e1 + a22 e2 , e2 > = a22

Logo, dN (e ) = a e = K e , dN (e ) = a e = K e , o que mostra que e , e so autovetores de dN como armado. Seus autovalores so K e K respectivamente. Alm disso, K e K , com K K , so valores extremos da curvatura normal em p, ou seja, o mximo e o mnimo que a segunda forma fundamental II restrita ao crculo unitrio de T S pode assumir. Denio 3.6. O mximo K e o mnimo K da curvatura normal, so chamados curvaturas principais em p. As direes correspondentes, isto , as direes dadas pelos autovetores e e e so chamadas direes principais em p. No plano e na esfera, todas as direes em todos os pontos so principais, isto vem do
p 1 11 1 1 1 p 2 22 2 2 2 1 2 p 1 2 1 2 1 2 p p 1 2 1 2

62

fato que a segunda forma fundamental, em todos os pontos, restrita a vetores unitrios constante. Assim, todas as direes so extremos para a curvatura normal. J no caso do cilindro, os autovetores v e w fornecem as direes principais em p, correspondendo s curvaturas principais 1 e 0, respectivamente. Denio 3.7. Uma curva regular e conexa dita uma linha de curvatura de S se,
para todo ponto p , digamos (t0 ) = p, temos que (t0 ) uma direo principal.

Teorema 3.3 (Olinde Rodrigues). Uma condio necessria e suciente para que uma curva regular e conexa em S seja uma linha de curvatura de S existir uma curva : s [0, 1] R tal que N (s) = (s) (s).
Demonstrao.

Se N (s) = (s) (s) ento (s) autovetor de dN , portanto temos que (s) direo principal, logo (s) linha de curvatura. Agora se (s) linha de curvatura temos que (s) = K ou (s) = K .
(s) 1 2 1 2 p

Agora que conhecemos as curvaturas principais K e K em p S, podemos calcular facilmente a curvatura normal segundo uma direo v T S. Vejamos como fazer isso: Se v T S e ||v|| = 1, como e e e formam uma base ortonormal de T S, temos v = e cos + e sin , onde o ngulo de e a v na orientao de T S . A curvatura normal K na direo de v dada por
p 1 2 p 1 2 1 p n

Kn = IIp (v) = < dNp (v), v > = < dNp (e1 cos + e2 sin ), e1 cos + e2 sin > = + < e1 K1 cos + e2 K2 sin , e1 cos + e2 sin > = K1 cos2 < e1 , e1 > +K1 cos sin < e1 , e2 > + K2 cos sin < e2 , e1 > +K2 sin2 < e2 , e2 > = K1 cos2 + K2 sin2 .

Essa ltima expresso conhecida como a frmula de Euler.


3.2 Curvatura Gaussiana e Mdia
p p p 1 2

Dada a diferencial da aplicao normal de Gauss dN : T S T S e a base {e , e } de T S de autovetores de dN . J vimos que podemos associar uma matriz a dN relacionada
p p p

63

a essa base, que nesse caso ser dada por uma matriz diagonal, e os elementos da diagonal so os autovalores associados a e e e .
1 2

Denio 3.8. Seja p S e seja dNp : Tp S Tp S a diferencial da aplicao de Gauss. O determinante de dNp chamado curvatura Gaussiana K de S em p. Em termos das curvaturas principais
K = K1 K2

Denio 3.9. Seja p S e seja dNp : Tp S Tp S a diferencial da aplicao de Gauss. O oposto da metade do trao de dNp chamado de curvatura mdia H de S em p. Em termos das curvaturas principais
H= K1 + K2 2

Podemos expressar a curvatura Gaussiana K e a curvatura mdia H em termos da primeira e da segunda formas fundamentais. Primeiramente vamos lembrar que a matriz [a ] relacionada a dN tem os seguintes coecientes:
ij p

a11 =

f F eG EG F 2

a12 =

gF f G EG F 2

a21 =

eF f E EG F 2

a22 =

f F gE EG F 2

Assim,
det [aij ] = = = = = f F gE gF f G eF f E f F eG 2 2 2 EG F EG F EG F EG F 2 f 2 F 2 f gEF ef F G + egEG egF 2 + f gEF + ef F G f 2 EG (EG F 2 )2 f 2 F 2 + egEG egF 2 f 2 EG (EG F 2 )2 f 2 (GE F 2 ) + eg(EG F 2 ) (EG F 2 )2 eg f 2 . EG F 2

Logo,
K=

eg f 2 . EG F 2
1 2

Para o clculo da curvatura mdia, lembremos que K e K so autovalores de dN . Portanto, K satisfaz dN (e ) = K e e K satisfaz dN (e ) = K e . Logo
1 p 1 1 1 2 p 2 2 2

64

det[dNp + KI] = 0 det

, ou seja,
a11 a12 a21 a22 + k 0 0 k = det a11 + k a21 a12 a22 + k =0

(a11 + k)(a22 + k) a21 a12 = 0 a11 a22 + a11 k + a22 k + k 2 a21 a12 = 0 k 2 + k(a11 + a22 ) + (a11 a22 a21 a12 ) = 0

Como K e K so razes da equao acima, conclumos que


1 2

1 1 H = (K1 + K2 ) = (a11 + a22 ) 2 2 1 f F eG f F gE = + 2 2 EG F EG F 2 eG 2f F + gE = . 2(EG F 2 )

Sabemos que H =

a11 +a22 2

, logo 2H = a

11

+ a22

, substituindo na equao acima temos

k 2 + 2Hk + K = 0, k= 2H 4H 2 4K k = H H 2 K. 2

Com essa relao podemos notar que conhecendo a curvatura mdia e Gaussiana podemos obter facilmente as curvaturas principais. Agora usando as curvaturas principais K e K podemos classicar os pontos de uma superfcie S.
1 2

Denio 3.10. Um ponto de uma superfcie S chamado


1. 2. 3.

Elptico se det(dN ) > 0, ou seja, K(p) > 0. Logo, K


p

e K2 so ambas negativas

ou ambas positivas;

contrrios;

Hiperblico se det(dN ) < 0, ou seja, K(p) < 0.


p p p

Logo, K1 e K2 possuem sinais

Parablico se det(dN ) = 0, com dN

= 0, ou seja K(p) = 0 e H(p) = 0. Logo,

uma das curvaturas principais no nula e a outra nula;

4. Planar se dNp = 0, ou seja K(p) = 0 e H(p) = 0. Logo, K1 e K2 so ambas nulas.

65

Figura 26: Classicao dos pontos sobre uma superfcie.


Denio 3.11. Se em p S , K1 = K2 , ento p chamado ponto umblico de S , em particular, os pontos planares (K1 = K2 = 0) so pontos umblicos.

Vamos ver como Gauss introduziu o conceito de curvatura, dando uma interpretao geomtrica da curvatura em termos da aplicao normal N : S S . Vejamos algumas denies: Denio 3.12. Diz-se que uma base {w , w } T S positiva se {w , w , w w }
2 1 2 p 1 2 1 2

tem a mesma orientao da base cannica em R3 , caso contrrio {w1 , w2 } uma base .

negativa

Denio 3.13. Sejam S e S duas superfcies regulares orientadas e seja : S S uma aplicao diferencivel e suponha que para algum p S , dp seja no singular. Dizemos que preserva a orientao em p se dada uma base positiva {w1 , w2 } Tp S , ento {dp (w1 ), dp (w2 )} uma base positiva em T(p) S . Se {dp (w1 ), dp (w2 )} no uma base positiva, dizemos que reverte a orientao em p.

Como a superfcie S e a esfera unitria pertencem a R , assim uma orientao N em S induz uma orientao N em S .
3 2

66

Seja p S tal que dN no singular. Como para uma base {w , w },


p 1 2

dNp (w1 ) dNp (w2 ) = det(dNp )(w1 w2 ) = Kw1 w2 ,

a aplicao de Gauss N preserva a orientao em p S se K(p) > 0 e reverte a orientao em p S se K(p) < 0. Ou seja, dada uma orientao para T S, essa induz uma orientao para pequenas curvas fechadas em S, ao redor de p, quando aplicada N a essas curvas pode acontecer duas coisas:
p

1. Se p um ponto elptico em S, seja V uma vizinhana conexa de p tal que K(q) > 0, q V e seja : [0, l] V um curva fechada ao redor de p. Neste caso a imagem de por N ter a mesma orientao.

Figura 27: Em pontos elpticos a aplicao de Gauss preserva a orientao. 2. Se p um ponto hiperblico em S, seja V uma vizinhana conexa de p tal que K(q) < 0, q V e seja : [0, l] V uma curva fechada ao redor de p. Neste caso a imagem de por N ter orientao oposta.

Figura 28: Em pontos hiperblicos a aplicao de Gauss inverte a orientao. Agora vamos mostrar a interpretao geomtrica da curvatura Gaussiana K .

67

Faremos a conveno de que a rea de uma regio contida em uma vizinhana conexa V , onde K = 0, e a rea da sua imagem por N tem o mesmo sinal se K > 0 em V , e sinais opostos se K < 0 em V , usando o fato acima.
Proposio 3.1. Seja S uma superfcie regular, p S tal que a curvatura Gaussiana K(p) = 0, e seja V uma vizinhana conexa de p onde K no muda de sinal. Ento
K(p) = lim A , A0 A

onde A a rea de uma regio conexa B V contendo p, A a rea da imagem de B pela aplicao normal de Gauss N : S S2 , e o limite tomado atravs de uma sequncia de regies Bn que convergem para p, no sentido em que para toda bola centrada B(p, r) em p, existe n sucientemente grande, tal que, Bn B(p, r) S .

Figura 29: Sequncia de regies B que convergem para p.


n

Demonstrao.

Seja X : U R S uma parametrizao de S, tal que p X(U ) V. Sabemos que a rea A de B dada por
2

A=
B

||Xu Xv ||dudv.

E a rea A de N (B) dada por


A =
B

||Nu Nv ||dudv.

68

Figura 30: A regio N (B) imagem de B pela aplicao normal de Gauss.


a11

J vimos que como N e N so vetores de T S, podemos escrev-los como N X + a X e N = a X + a X . Usando a denio de K , temos
u v p u 21 v v 12 u 22 v

A =
B

||Nu Nv ||dudv =
B

||(a11 Xu +a21 Xv )(a12 Xu +a22 Xv )||dudv =


B

K||Xu Xv ||dudv.

Ento,
A lim B A0 A B

limB0 =
B

K||Xu Xv ||dudv ||Xu Xv ||dudv


B

limB0

K||Xu Xv || = K. ||Xu Xv ||

Vejamos agora alguns exemplos:


Exemplo 3.3. Temos que os coecientes da primeira forma fundamental e da segunda forma fundamental do plano, so E = 1, F = 0, G = 1 e e = 0, f = 0, g = 0, respectivamente. Usando esses coecientes podemos calcular a curvatura Gaussiana e Mdia 2
K= eg f =0 EG F 2 e H= eG 2f F + gE = 0. 2(EG F 2 )

Exemplo 3.4. Seja T2 um toro dado por X(, ) = ((a+r cos ) cos , (a+r cos ) sin , r sin ), onde U = {(, ) R2 : 0 < < 2, 0 < < 2}. Vamos calcular a curvatura Gaussiana dos pontos do toro T2 .
Do exemplo 2.8 temos que os coecientes da primeira forma fundamental so E = r2 , F = 0 e G = (a + r cos )2 . Basta agora calcular os coecientes da segunda forma

69

fundamental.
X = (r sin cos , r sin sin , r cos ) X = ((a + r cos ) sin , (a + r cos ) cos , 0) X = (r cos cos , r cos sin , r sin ) X = ((a + r cos ) cos , (a + r cos ) sin , 0) X = (r sin sin , r sin cos , 0)

Logo, E agora os coecientes da segunda forma fundamental:


r sin cos det(X , X , X ) = r cos cos r sin sin r cos sin r cos 0 r sin (a + r cos ) sin (a + r cos ) cos

= r2 cos2 sin2 (a + r cos ) + r2 cos2 sin2 (a + r cos ) + + r2 cos2 cos2 (a + r cos ) + r2 sin2 sin2 (a + r cos ) = r2 cos2 (a + r cos ) + r2 sin2 (a + r cos ) = r2 (a + r cos ),

r sin cos det(X , X , X ) = r sin sin

r sin sin r sin cos

r cos 0 0

(a + r cos ) sin (a + r cos ) cos

= r(a + r cos ) sin sin cos r(a + r cos ) sin sin cos = 0, r sin cos det(X , X , X ) = (a + r cos ) sin r sin sin (a + r cos ) cos

r cos 0 0

(a + r cos ) cos (a + r cos ) sin = r(a + r cos )2 cos .

= r(a + r cos )2 sin2 cos + r(a + r cos )2 cos2 cos

70

Logo os coecientes da segunda forma fundamental so


det(X , X , X ) r2 (a + r cos ) = =r r(a + r cos ) EG F 2 det(X , X , X ) f = =0 EG F 2 det(X , X , X ) r(a + r cos)2 cos g = = = (a + r cos ) cos r(a + r cos ) EG F 2 e =

A curvatura Gaussiana,
K= eg f 2 cos r(a + r cos ) cos = . = 2 2 (a + r cos )2 EG F r(a + r cos ) r

Da expresso acima podemos notar que:


Se 0 < < Se = Se
2 3 2 2

ou

3 2

< < 2 , ento a curvatura Gaussiana K > 0;

ou = , ento a curvatura Gaussiana K = 0; 2


3 2

<<

, ento a curvatura Gaussiana K < 0.

Logo o Toro uma superfcie que tem pontos elpticos, parablicos e hiperblicos.

Figura 31: Curvatura Gaussiana no toro.


A curvatura mdia,
eG 2f F + gE r(a + r cos )2 + r2 (a + r cos ) cos a + 2r cos H= = = . 2) 2 (a + r cos)2 2(EG F 2r(a + r cos ) r

Para calcular as curvaturas principais podemos usar a seguinte expresso k = H

71

H 2 K que usa a curvatura Gaussiana e Mdia, que calculamos acima, logo a + 2r cos k = 2r(a + r cos ) = = a + 2r cos 2r(a + r cos ) a + 2r cos 2r(a + r cos ) a + 2r cos 2 cos 2r(a + r cos ) r(a + r cos ) a2 + 4ar cos + 4r2 cos2 4ra cos 4r2 cos2 4r2 (a + r cos )2 a2 4r2 (a + r cos )2
2

Sendo assim as curvaturas principais so


K1 = K2 a + 2r cos a 2(a + r cos ) 1 + = = 2r(a + r cos ) 2r(a + r cos ) 2r(a + r cos ) r a + 2r cos a 2r cos cos = = = . 2r(a + r cos ) 2r(a + r cos ) 2r(a + r cos ) a + r cos a11 a12 a21 a22

Sabemos que os coecientes da matriz dNp =


a11 = a12 a21 a22 f F eG EG F 2 gF f G = EG F 2 eF f E = EG F 2 f F gE = EG F 2 = =0 =0 =

so

r(a + r cos ) 1 2 = r r2 (a + r cos )

cos r2 (a + r cos ) cos = . 2 (a + r cos )2 a + r cos r

Portanto a matriz dNp uma matriz diagonal, ento os autovetores que correspondem as direes principais so
e1 = X = ( sin cos , sin sin , cos ), ||X || e2 = X = ( sin , cos , 0), ||X ||

portanto as linhas de curvatura so linhas de coordenadas.

Exemplo 3.5. A sela de macaco uma superfcie dada por X(u, v) = (u, v, u3 3v2 u). Assim como o parabolide hiperblico chamado de sela, pois uma pessoa pode sentarse confortavelmente, a sela de macaco assim chamada pois um macaco pode sentar-se confortavelmente, j que possui espao para o rabo, como mostra a gura abaixo.

72

Figura 32: Sela de macaco.


Vamos calcular a curvatura Gaussiana dos pontos da sela de macaco. Primeiramente vamos calcular os coecientes da primeira forma fundamental E , F e G. Temos que
Xu = (1, 0, 3u2 3v 2 ) Xv = (0, 1, 6vu) Xuu = (0, 0, 6u) Xvv = (0, 0, 6u) Xuv = (0, 0, 6v).

Logo,
E = < Xu , Xu >= 1 + (3u2 3v 2 )
2

F = < Xu , Xv >= 6vu(3u2 3v 2 ) G = < Xv , Xv >= 1 + 36v 2 u2 .

Ento, EG F 2 = 1 + 9u4 + 18u2 v2 + 9v4 .

73

Agora vamos calcular os coecientes da segunda forma fundamental:


1 0 3u2 3v 2 det(Xu , Xv , Xuu ) = 0 1 0 0 6vu 6u = 6u,

1 0 3u2 3v 2 det(Xu , Xv , Xuv ) = 0 1 0 0 6vu 6v = 6v,

1 0 3u2 3v 2 det(Xu , Xv , Xvv ) = 0 1 0 0 6vu 6u = 6u.

Logo
det(Xu , Xv , Xuu ) 6u , = 2 4 + 18u2 v 2 + 9v 4 EG F 1 + 9u det(Xu , Xv , Xuv ) 6v f = , = 2 4 + 18u2 v 2 + 9v 4 EG F 1 + 9u det(Xu , Xv , Xvv ) 6u g = = . 2 4 + 18u2 v 2 + 9v 4 EG F 1 + 9u e =

A curvatura Gaussiana
K= 36(u2 + v 2 ) eg f 2 = EG F 2 (1 + 9u4 + 18u2 v 2 + 9v 4 )2

Podemos notar da expresso acima que no ponto (0, 0) a curvatura Gaussiana K = 0, ou seja (0, 0, 0) um ponto planar. E todos os outros pontos hiperblicos, pois K < 0. A curvatura mdia dada por:
H = = = = eG 2f F + gE 2(EG F 2 ) 6u(1 + 36v 2 u2 ) + (12v)(6vu(3u2 3v 2 )) + (6u)(1 + (3u2 3v 2 ) ) 2(1 + 9u4 + 18u2 v 2 + 9v 4 ) 2 6u + 216v 2 u3 72v 2 u(3u2 3v 2 ) (6u)(1 + 9u4 18u2 v 2 + 9v 4 ) 2(1 + 9u4 + 18u2 v 2 + 9v 4 ) 2 6u + 216v 2 u3 216v 2 u3 + 216v 4 u 6u 54u5 + 108u3 v 2 54uv 4
3 3 3

2(1 + 9u4 + 18u2 v 2 + 9v 4 ) 2 27u5 + 81v 4 u + 54u3 v 2 = 3 . (1 + 9u4 + 18u2 v 2 + 9v 4 ) 2

74

Exemplo 3.6. Seja uma superfcie dada pelo grco de uma funo diferencivel, com a seguinte parametrizao X(u, v) = (u, v, f (u, v)), com (u, v) R2 .
Temos que
Xu = (1, 0, fu ) Xv = (0, 1, fv ) Xuu = (0, 0, fuu ) Xvv = (0, 0, fvv ) Xuv = (0, 0, fuv ).

Logo, E =< Xu , Xu >= 1 + (fu )2 1 + (fv )2 . Temos que

F =< Xu , Xv >= fu fv

G =< Xv , Xv >=

1 0 det(Xu , Xv , Xuu ) = 0 1

fu fv = fuu ,

0 0 fuu 1 0 det(Xu , Xv , Xuv ) = 0 1 fu fv = fuv ,

0 0 fuv 1 0 fu det(Xu , Xv , Xvv ) = 0 1 fv = fvv . 0 0 fvv

Logo os coecientes da segunda forma fundamental so


e = det(Xu , Xv , Xuu ) = EG F 2 det(Xu , Xv , Xuv ) = EG F 2 det(Xu , Xv , Xvv ) = EG F 2 fuu 1 + (fu )2 + (fv )2 fuv 1 + (fu )2 + (fv )2 fvv 1 + (fu )2 + (fv )2

f =

g =

A curvatura Gaussiana
K= eg f 2 fuu fvv fuv = 2. 2 EG F (1 + (fu )2 + (fv )2 )

75

A curvatura mdia
H= eG 2f F + gE fuu (1 + fv 2 ) 2fuv fu fv + fvv (1 + (fu )2 ) = . 3 2(EG F 2 ) 2(1 + (f )2 ) + (f )2 ) 2
u v

76

Geometria Intrnseca das Superfcies

4.1

Isometrias e o Teorema Egregium(Gauss)

Os coecientes da primeira forma fundamental no plano e no cilindro so os mesmos, como vimos nos exemplos 2.1 e 2.2 . Como j havamos comentado isso no mera coincidncia, essa transformao geomtrica do plano no cilindro que referimos anteriormente se trata de um difeomorsmo especial, como veremos em seguida. Denio 4.1. Uma aplicao : S S uma isometria se um difeomor1 2

smo e para todo ponto p S e todos os pares w1 , w2 Tp S temos < w1 , w2 >p = < dp (w1 ), dp (w2 ) >(p) . Diz-se que as superfcies S1 e S2 so isomtricas.

Em outras palavras, uma isometria se a diferencial d preserva o produto interno:


Ip (w) =< dp (w), dp (w) >= Ip (dp (w)), w Tp S.

Denio 4.2. Uma aplicao : V1 S1 S2 denida em uma vizinhana V1 de p, com p S1 , uma isometria local em p se V2 vizinhana de (p) S2 tal que : V1 V2 seja uma isometria. Se p S1 for possvel estabelecer uma isometria local, ento S1 e S2 so localmente isomtricas.

Podemos mostrar que se : S S um difeomorsmo e existe uma isometria local para todo ponto p S , ento uma isometria global. No entanto, podem existir duas superfcies que sejam localmente isomtricas, sem que sejam globalmente isomtricas. Vejamos um exemplo:
1 2 1

Exemplo 4.1. Seja um plano dado por X(u, v) = p0 + uw1 + vw2 e um cilindro C dado por, X(u, v) = (cos u, sin u, v), com U = {(u, v) R2 : 0 < u < 2, < v < }.
Vamos mostrar que : X X 1 : X(U ) X(U ) uma isometria.

77

Figura 33: A aplicao uma isometria.


Temos que Xu = w1 e Xv = w2 . Os coecientes da primeira forma fundamental so E = 1, F = 0 e G = 1, como vimos no exemplo 2.1. Tambm temos que X u = ( sin u, cos v, 0) e X v = (0, 0, 1). Os coecientes da primeira forma fundamental so E = 1, F = 0 e G = 1, como vimos no exemplo 2.2. Seja um ponto p X(U ), sejam os vetores v1 , v2 Tp X(U ) e p0 = (u0 , v0 ). Logo,
1 2 1 2 v1 = v1 Xu + v1 Xv = dX(u0 , v0 )(v1 , v1 ) 1 2 1 2 v2 = v2 Xu + v2 Xv = dX(u0 , v0 )(v2 , v2 ).

E d(p) = dX(X 1 (p))dX 1 (p) = dX(u0 , v0 )dX 1 (p). Ento


1 2 1 2 d(p)(v1 ) = dX(u0 , v0 )(v1 , v1 ) = v1 X u + v1 X v 1 2 1 2 d(p)(v2 ) = dX(u0 , v0 )(v2 , v2 ) = v2 X u + v2 X v

Temos ento que


1 2 1 2 I(p)(d(p)(v1 ), d(p)(v2 )) = < v1 X u + v1 X v , v2 X u + v2 X v > 1 1 1 2 = v1 v2 < X u , X u > +v1 v2 < X u , X v > 2 1 2 2 + v1 v2 < X v , X u > +v1 v2 < X v , X v > 1 1 2 2 = v1 v2 + v1 v2 .

78

Por outro lado


1 2 1 2 Ip (v1 , v2 ) = < v1 Xu + v1 Xv , v2 Xu + v2 Xv > 2 2 2 1 1 2 1 1 = v1 v2 < Xu , Xu > +v1 v2 < Xu , Xv > +v1 v2 < Xv , Xu > +v1 v2 < Xv , Xv > 1 1 2 2 = v1 v2 + v1 v2 .

Com as expresses acima podemos concluir que Ip (v1 , v2 ) = I(p) (d(p)(v1 ), d(p)(v2 )). Logo o plano localmente isomtrico ao cilindro.

O plano no globalmente isomtrico ao cilindro, j que o cilindro nem mesmo homeomorfo a um plano. Vejamos um argumento intuitivo: Qualquer curva simples e fechada no plano pode ser encolhida continuamente at torna-se um ponto sem deixar o plano. Tal propriedade preservada por homeomossmos. No entanto, o cilindro no possui essa propriedade, o que contradiz a existncia de um homeomorsmo entre o plano e o cilindro.

Figura 34: C pode ser deformada continuamente em um ponto sem abandonar p, o que no ocorre com C S Vamos pensar no plano como uma folha de papel, quando transformamos essa folha em um cilindro, a folha foi simplesmente arqueada, tendo modicado apenas sua relao com o ambiente em que esta inserido, R . Ou seja, sua caracterstica intrnseca preservada. Vamos agora generalizar o argumento dado acima para obter um critrio para isometrias locais em termos de coordenadas locais.
3

Proposio 4.1. Se existirem parametrizaes X : U R2 S e X : U R2 S tais que E = E , F = F e G = G em U ento a aplicao = X X 1 : X(u) S uma isometria local.

79

Demonstrao.

Seja p X(U ) e v, w T S, logo


p

v = v1 Xu + v2 Xv = dX(X 1 (p)) (v1 , v2 ) w = w1 Xu + w2 Xv = dX(X 1 (p)) (w1 , w2 ).

Temos que d(p) = dX(X

(p))dX 1 (p)

, logo

d(p)(v) = dX(X 1 (p))(v1 , v2 ) = v1 X u + v2 X v d(p)(w) = dX(X 1 (p))(w1 , w2 ) = w1 X u + w2 X v .

Ento
Ip (v, w) = < v1 Xu + v2 Xv , w1 Xu + w2 Xv > = v1 w1 < Xu , Xu > +v1 w2 < Xu , Xv > +v2 w1 < Xv , Xu > +v2 w2 < Xv , Xv > = v1 w1 E + (v1 w2 + v2 w1 )F + v2 w2 G

e
I(p) (d(p))(v), d(p))(w)) = < v1 w1 < X u , X u > +v1 w2 < X u , X v > + v2 w1 < X v , X u > +v2 w2 < X v , X v > = v1 w1 E + (v1 w2 + v2 w1 )F + v2 w2 G.

Como E = E, F = F e G = G, ento I (v, w) = I uma isometria local.


p

(p) (d(p)(v), d(p)(w))

. Logo

Exemplo 4.2. Seja um catenide e um helicide dados por


X(u, v) = (a cosh v cos u, a cosh v sin u, av),

com U = {(u, v) R2 : 0 < u < 2, < v < } e


X(u, v) = (cos u, v sin u, au),

com {U : (u, v) R2 : 0 < u < 2, < v < }, respectivamente. Vamos fazer a seguinte mudana de parmetros, u = u, v = a sinh v, com 0 < u < 2 e < v < . Que possvel, visto que X bijetiva e o Jacobiano
(u, v) = (u, v)
u u v u u v v v

= a cosh v,

0 a cosh v

80

que nunca se anula. Assim uma nova parametrizao do helicide X(u, v) = (a sinh v cos u, a sinh v, au). Temos que
Xu = (a cosh v sinh u, a cosh v cosh u, 0) Xv = (a sinh v cos u, a sinh v sin u, a) X u = (a sinh v sinh u, a sinh v cosh u, a) X v = (a cosh v cos u, a cosh v sin u, 0).

Ento os coecientes da primeira forma fundamental do catenide e do helicide so E = a2 cosh2 v , F = 0, G = a2 cosh2 v e E = a2 cosh2 v , F = 0, G = a2 cosh2 v , logo pela proposio 4.1 temos que o catenide e o helicide so localmente isomtricos.1

1 Retirado

de [2]

81

Figura 35: Transformao do Helicide no Catenide.


Exemplo 4.3. Seja um cone C de uma folha, dado por z = +K x2 + y2 , com (x, y) = 0.

z Temos que cot = x2 +y2 = K.

82

O cone menos uma geratriz pode ser "rolado"sobre um pedao de um plano formando um setor plano, que dado por um conjunto aberto U : {(, ) R2 , 0 < < , 0 < <
2 sin }
E seja X(, ) = ( sin cos( sin ), sin sin( sin ), cos ). Podemos perceber que X(U ) cobre todos os pontos do cone exeto a geratriz = 0, visto que quando percorre o intervalo (0, 2 sin ), sin percorre o intervalo (0, 2).

Seja tambm a seguinte parametrizao X(, ) = ( cos , sin , 0), com 0 < < 2 e 0 < < 2, como pedaos de plano, ver gura a seguir:

Temos que
X = X X , sin sin sin sin = sin , cos ,0 sin sin = (cos , sin , 0) sin cos , cos

X = ( sin , cos , 0).

Logo os coecientes da primeira forma fundamental so E = 1,F = 0,G = 2 e E = 1,F = 0,G = 2 so iguais, assim pela proposio 4.1 temos que o plano e o cone C so localmente isomtricos.

Agora vamos demonstrar o teorema Egregium de Gauss, um dos teoremas mais importantes da geometria diferencial. Muitos matemticos j usavam a curvatura Gaussiana, mas apenas como o produto de curvaturas principais, dependendo assim da segunda forma fundamental, ou seja, do modo particular de como a superfcie esta mergulhada em R , no havendo motivo at ento para que a curvatura Gaussiana tivesse um crater intrnseco. At que Gauss demonstrou no seu famoso teorema Egregium que a curvatura Gaussiana uma caracterstica intrnseca da superfcie. Vamos associar a cada ponto de uma superfcie um triedro e estudar as derivadas de
3

83

seus vetores. Temos {X , X , N } formam uma base em R , ento vamos expressar as derivadas dos vetores X , X e N nessa base:
u v 3 u v

Xuu = 1 Xu + 2 Xv + L1 N 11 11 Xuv = 1 Xu + 2 Xv + L2 N 12 12 Xvu = 1 Xu + 2 Xv + L2 N 21 21 Xvv = 1 Xu + 2 Xv + L3 N 22 22 Nu = a11 Xu + a21 Xv Nv = a12 Xu + a22 Xv ,

onde os coecientes a , a , a e a foram calculados anteriormente. Sabemos que X = X X X = 0 ( )X + ( L )N = 0, logo = , = e L = L . Alm disso,
11 12 21 22 uv vu uv vu 1 12 1 21 u 2 12 2 1 12 1 21 2 12 2 21 2 2

2 21 )Xv

+ (L2

e = < Xuu , N >= L1 f = < Xuv , N >= L2 g = < Xvv , N >= L3 .

Denio 4.3. Os coecientes k para i, j, k = 1, 2 so chamados de smbolos de Christofij fel.

Agora vamos calcular os smbolos de Christoel em termos dos coecientes da primeira forma fundamental. Temos que
1 < Xuu , Xu > = < 1 Xu + 2 Xv + L1 N, Xu >= 1 E + 2 F = Eu 11 11 11 11 2 1 < Xuu , Xv > = < 1 Xu + 2 Xv + L1 N, Xv >= 1 F + 2 G = Fu Ev 11 11 11 11 2

Assim,

1 11 2 11

F Fu 1 Ev Eu G 2F Fu Ev 2 = = EG F 2 2(EG F 2 ) 1 E Fu 1 Ev F 2 Eu 2EFu EEv F Eu 2 = = . 2 EG F 2(EG F 2 )

1 E G 2 u

84

Tambm temos
1 < Xuv , Xu > = < 1 Xu + 2 Xv + L2 N, Xu >= 1 E + 2 F = Ev 12 12 12 12 2 1 < Xuv , Xv > = < 1 Xu + 2 Xv + L2 N, Xv >= 1 F + 2 G = Gu 12 12 12 12 2

Assim,

1 = 12 2 12

GEv F Gu 2(EG F 2 ) EGu F Ev = . 2(EG F 2 )

E
1 < Xvv , Xu > = < 1 Xu + 2 Xv + L3 N, Xu >= 1 E + 2 F = Fv Gu 22 22 22 22 2 1 < Xvv , Xv > = < 1 Xu + 2 Xv + L3 N, Xv >= 1 F + 2 G = Gv 22 22 22 22 2

Assim,

1 = 22 2 22

2GFv GGu F Gv 2(EG F 2 ) EGv 2F Fv + F Gu = . 2(EG F 2 )

O fato de podermos resolver os sistemas acima e encontrar os smbolos de Christoel em termos dos coecientes da primeira forma fundamental nos permite armar que conceitos geomtricos e propriedades em termos dos smbolo de Christoel so invariantes por isometrias.
Exemplo 4.4. Seja S2 uma esfera parametrizada por X(, ) = (sin cos , sin sin , cos ), com U = {(, ) R2 : 0 < < , 0 < < 2}. Temos do exemplo 2.3 que os coecientes da primeira forma fundamental da esfera so: E = r2 , F = 0 e G = r2 sin2 , logo E = E = 0, F = F = 0, G = 0 e G = 2r2 sin cos .
Vamos calcular os smbolos de Christoel para esfera usando as equaes obtidas

85

acima:
1 = 11 2 = 11 1 = 12 2 = 12 1 = 22 2 = 22 Eu G 2F Fu Ev = 0, 2(EG F 2 ) 2EFu EEv F Eu = 0, 2(EG F 2 ) GEv F Gu = 0, 2(EG F 2 ) EGu F Ev 2 sin cos cos = = = cot , 2 2) 2(EG F sin 2 sin 2GFv GGu F Gv 2 sin3 cos = = sin cos , 2(EG F 2 ) 2 sin2 EGv 2F Fv + F Gu = 0. 2(EG F 2 )

Teorema 4.1 (Egregium de Gauss). A curvatura Gaussiana K de uma superfcie invariante por isometrias locais.
Demonstrao.

Temos as seguintes expresses:


Xuu = 1 Xu + 2 Xv + eN 11 11 Xuv = 1 Xu + 2 Xv + f N 12 12 Xvu = 1 Xu + 2 Xv + f N 21 21 Xvv = 1 Xu + 2 Xv + gN 22 22 Nu = a11 Xu + a21 Xv Nv = a12 Xu + a22 Xv .

E sejam
(Xuu )v = 1 Xu + 1 Xuv + 2 Xv + 2 Xvv + ev N + eNv 11v 11 11v 11 (Xuv )u = 1 Xu + 1 Xuu + 2 Xv + 2 Xvu + fu N + f Nu . 12 12v 12 12u

Substituindo X , X , X , X , N e N :
uu uv vu vv u v

(Xuu )v = 1 Xu + 1 (1 Xu + 2 Xv + f N ) + 2 Xv 11 12 12 11v 11v + 2 (1 Xu + 2 Xv + gN ) + ev N + e(a12 Xu + a22 Xv ) 11 22 22 (Xuv )u = 1 Xu + 1 (1 Xu + 2 Xv + eN ) + 2 Xv 12u 12 11 11 12u + 2 (1 Xu + 2 Xv + f N ) + fu N + f (a11 Xu + a21 Xv ). 12 21 21

86

Colocando X , X e N em evidncia temos:


u v

(Xuu )v = Xu (1 + 1 1 + 2 1 + ea12 ) + Xv (2 + 1 2 + 2 2 + ea22 ) 11v 11 12 11 22 11v 11 12 11 22 + N (ev 1 f + 2 g) 11 11 (Xuv )u = Xu (1 + 1 1 + 2 1 + f a11 ) + Xv (2 + 1 2 + 2 2 + f a21 ) 12u 12 11 12 21 12v 12 11 11 21 + N (fu 1 e + 2 f ) 12 12

No entanto, sabemos que (X Ento

uu )v

= (Xuv )u

, logo

1 + 1 1 + 2 1 + ea12 = 1 + 1 1 + 2 1 + f a11 . 11v 11 12 11 22 12u 12 11 12 21

Substituindo os coicientes a e a j calculados na seo 2.3:


11 12

1 1 + 1 1 1 1 + 2 1 2 1 = f a11 ea12 11v 12u 11 12 12 11 11 22 12 21

1 1 + 1 1 1 1 + 2 1 2 1 = f 11v 12u 11 12 12 11 11 22 12 21

gF f G f F eG e 2 EG F EG F 2 f 2 F f eG egF + ef G = EG F 2 F (eg f 2 ) = EG F 2 = F K.

Logo, podemos concluir que a curvatura Gaussiana s depende da primeira forma fundamental. De modo anlogo, da igualdade (X ) = (X ) , possvel formular F K e GK em funo dos smbolos de Christoel e das suas derivadas. Como E, F , G no se anulam simultaneamente, podemos concluir que a curvatura Gaussiana K de uma superfcie regular s depende dos coecientes E, F , G e das suas derivadas, sendo assim, invariante por isometria.
uu v uv u

Pelas denies de ponto elptico e de ponto hiperblico, estes s dependem da curvatura gaussiana, logo uma isometria transforma pontos elpticos em pontos elpticos e pontos hiperblicos em pontos hiperblicos. O que j no ocorre com os pontos parablicos e planares, j que na sua denio K = 0 e dependem da curvatura mdia H .

87

4.2

Derivada Covariante e Transporte Paralelo

Nessa seo iremos apresentar alguns conceitos sob um aspecto intuitivo, fazendo interpretaes envolvendo o espao exterior da superfcie. No entanto, mostraremos que em cada caso esses conceitos introduzidos dependem apenas da primeira forma fundamental. Primeiramente vamos denir derivada covariante de um campo de vetores, que o anlogo para superfcies da derivao usual de vetores no plano. Seja S uma superfcie regular e lembramos que um campo de vetores tangentes em um conjunto aberto V S uma correspondncia w, que associa a cada p V um vetor w(p) T S . Alm disso, um campo de vetores diferencivel em p, se para alguma parametrizao X(u, v) em p, w = aX +bX na base {X , X }, tivermos que a, b so funes diferenciveis em p. Se w for diferencivel para todo ponto p V , dizemos que w diferencivel em V .
p u v u v

Denio 4.4. Dada uma superfcie S , um vetor v Tp S e um campo de vetores w sobre um conjunto aberto V S contendo p. Considere uma curva parametrizada : ( , ) V , com (0) = p e (0) = v , e um campo de vetores w restrito a curva , ou seja, w(t) com t ( , ). O vetor obtido pela projeo de dw (0) sobre o plano Tp S chamado dt de derivada covariante em p do campo de vetores w em relao ao vetor v.

NOTAO: Vamos denotar derivada covariante em p do campo de vetores w em relao a v por (0).
Dw dt

Figura 36: Derivada covariante

Dw dt

Denimos a derivada covariante relacionada a uma curva , no entanto podemos mostrar que a derivada covariante independe da escolha de e que um conceito da

88

geometria intrnseca. Vamos mostrar isso: Considere uma parametrizao X(u, v) de S em p e seja X(u(t), v(t)) a expresso da curva . Podemos escrever o campo de vetores restrito a curva como
w(t) = a(u(t), v(t))Xu + b(u(t), v(t))Xv = a(t)Xu + b(t)Xv .

Ento
dw = a (t)Xu + Xu a(t) + b (t)Xv + Xv b(t) dt = a Xu + b Xv + a(Xuu u + Xuv v ) + b(Xuv u + Xvv v )

observe que ' denota a derivao em relao a t. Vamos substituir X , X , X pelas expresses vistas na seo 4.2:
uu uv vv

dw = a Xu + b Xv + a(1 Xu u + 2 Xv u + eN u + 1 Xu v + 2 Xv v + gN v ) 11 11 12 12 dt + b(1 Xu u + 2 Xv u + f N u + 1 Xu v + 2 Xv v + gN v ) 21 21 22 22 = Xu (a + a1 u + a1 v + b1 u + b1 v ) 11 12 21 22 + Xv (b + a2 u + a2 v + b2 u + b2 v ) + N (aeu + af v + bf u + bgv ). 11 12 21 22

Como

Dw (0) dt

a projeo de sobre o plano T S, temos que


dw dt p

que depende apenas do vetor (u , v ) = y e dos smbolos de Christoel, no da segunda forma fundamental.
Exemplo 4.5. Seja um plano, temos do exemplo 2.1 que os coecientes da primeira forma fundamental so E = 1, F = 0 e G = 1. Com isso podemos calcular os smbolos de Christoel, como j vimos. Fazendo os devidos clculos, obtemos que k = 0, ij i, j, k = 1, 2. Substituindo os smbolos de Christoel na equao (1) obtemos que a derivada covariante Dw (0) = a Xu + b Xv . dt
Podemos notar que a derivada covariante coincide com a derivada usual de vetores no plano.

Dw (0) = Xu (a +a1 u +a1 v +b1 u +b1 v )+Xv (b +a2 u +a2 v +b2 u +b2 v ) 11 12 21 22 11 12 21 22 dt

(1)

A derivada covariante , portanto, uma generalizao da derivada usual de vetores no

89

plano. Usando a equao (1) podemos denir a derivada covariante relacionada apenas a um campo de vetores que esteja denido apenas em pontos de uma curva parametrizada. Ou seja, dada uma curva : I R S um campo vetorial a pode ser visto como uma aplicao diferencivel
w : I T(t) S t w(t) Tp S.

Vejamos algumas denies:


Denio 4.5. Uma curva parametrizada : [0, l] S a restrio a [0, l] de uma aplicao diferencivel de (0 , l + ), > 0, em S . Se (0) = p e (l) = q, dizemos que liga p a q . Denio 4.6. Seja : I S uma curva parametrizada em S . O campo de vetores w ao longo de diferencivel em t0 I se para alguma parametrizao X(u, v) em (t0 ) as componentes a(t), b(t) de w(t) = aXu + bXv so funes diferenciveis de t a t0 . O campo w diferencivel em I se diferencivel t I . Denio 4.7. Seja w um campo diferencivel de vetores ao longo de uma curva S . A expresso
Dw = Xu (a +a1 u +a1 v +b1 u +b1 v )+Xv (b +a2 u +a2 v +b2 u +b2 v ), 11 12 21 22 11 12 21 22 dt t I est bem denida chamada de derivada covariante de w em t. (1)

Ento para obtermos a derivada covariante de um campo de vetores w ao longo de uma curva : I S, em t I , consideramos a derivada usual de w em relao a t, , e projetamos este vetor ortogonalmente sobre o plano T S. Podemos observar que se duas supefcies so tangentes ao longo de uma curva parametrizada , a derivada covariante do campo w ao longo de a mesma para as duas superfcies. Agora vamos considerar a curva como uma trajetria de um ponto que se move sobre uma superfcie S. Sabemos que o vetor (t) o vetor velocidade e (t) a acelerao desse ponto. Logo a derivada covariante do campo (t) a componente tangencial da acelerao (t), intuitivamente acelerao do ponto (t), "como vista da superfcie S ".
dw dt (t) D dt D dt

90

Denio 4.8. Um campo vetorial w ao longo de : I S dito ser paralelo se


Dw (t) dt

= 0.
Dw (t) dt

Exemplo 4.6. Como vimos no exemplo anterior do plano


Se
Dw (t) dt

= a X u + b Xv .

= 0 a Xu + b Xv = 0, logo a e b so constantes, ou seja, o campo

w(t) = w0 constante.

Portanto, a noo de campo paralelo ao longo de uma curva parametrizada no plano, reduz-se a noo de campo paralelo ao longo da curva, ou seja, o comprimento do vetor e o ngulo que ele faz com uma direo xa so constantes.

Figura 37: Campo paralelo de uma curva no plano. No entanto, a noo de paralelismo nem sempre intuitiva como no exemplo acima, vejamos o exemplo a seguir.
Exemplo 4.7. Dada uma esfera unitria S2 , o campo tangente a um meridiano parametrizado pelo comprimento de arco um campo pararelo em S2 .
Temos que o meridiano uma curva (t) = X((t), 0 ) e (t) = X . Tambm temos um campo de vetores w = X , com a = 1 e b = 0. Ento pela denio de derivada covariante temos
Dw = dt = Xu (a + a1 u + a1 v + b1 u + b1 v ) 11 12 21 22 +Xv (b + a2 u + a2 v + b2 u + b2 v ), 11 12 21 22 = 1 X + 2 X . 11 11 (1)

No entanto, vimos no exemplo 4.4 que 1 = 2 = 0, logo 11 11

Dw dt

= 0.

Ento o campo de vetores tangentes a um meridiano da esfera unitria um campo paralelo. Tambm podemos vericar isso percebendo que a derivada usual desse campo w normal a S2 , e assim sua derivada covariante nula.

91

Figura 38: Campo paralelo a um meridiano da esfera unitria.


Proposio 4.2. Seja : I S uma curva regular e sejam v e w campos de vetores paralelos ao longo de . Ento < v(t), w(t) >, ||v(t)||, ||w(t)|| e o ngulo entre v(t) e w(t) so constantes.
Demonstrao.

Por hiptese v e w so paralelos, ou seja = = 0, t I . Isso tambm signica que e so normais ao plano que tangente a superfcie em (t), logo < w (t), v(t) >= 0. Ento < v(t), w(t) >=< v (t), w(t) > + < v(t), w (t) >= 0, assim obtemos que < v(t), w(t) >= cte. Tambm temos que < w (t), w(t) >= 0 e < v (t), v(t) >= 0, logo
Dw dt Dv dt dw dt dv dt d dt

d d < w ,w > ||w|| = < w, w > = = 0, dt dt < w, w >

assim obtemos que ||w|| = cte. De forma anloga obtemos que ||v|| = cte. O ngulo entre v e w dado por cos =

<v,w> ||v||||w||

= cte.

Proposio 4.3. Seja : I S uma curva regular e w0 T(to ) S . Ento existe um nico campo paralelo w ao longo de tal que w(t0 ) = w0 .

Um campo paralelo com estas condies tem que ser soluo da equao diferencial = 0 com a condio inicial w(t ) = w . Analisando suas componentes
Demonstrao.
Dw dt 0 0

e colocando (t) =

Dw Dw 1 Dw 2 =( ) Xu + ( ) Xv dt dt dt
1

Xu + 2 Xv

temos que as componentes satisfazem ao seguinte

92

sistema de EDO:
w w
1 2

= (w1 1 + w1 1 + w2 1 + w2 1 ) 22 12 12 11 = (w1 2 + w1 2 + w2 2 + w2 2 ). 11 22 12 12
1 2 1 2

Pelo teorema de existncia e unicidade de solues para sistemas lineares de EDO'S temos que existe w(t) satisfazendo equao com w(t ) = w .
0 0

A existncia de um nico campo paralelo w ao longo da curva com w(t ) = w nos permite denir transporte paralelo de um vetor ao longo de uma curva parametrizada.
0 0

Denio 4.9. Seja : I S uma curva regular e w0 T(t0 ) S , com t0 I . Seja w um campo paralelo ao longo de , com w(t0 ) = w0 . O vetor w(t1 ), com t1 I chamado de transporte paralelo de w0 ao longo de no ponto (t1 ).

Se duas superfcies S e S tangenciam-se ao longo de uma curva regular , ento dado um vetor w T S = T S. De fato, pois em todos os pontos (t) temos que T S = T S assim
0 (t0 ) (t0 ) (t) (t)

Dw |s = T(t) S dt

dw dt

= T(t) S

dw dt

Dw | . dt S

Essa propriedade muito til para efetuarmos transportes paralelos, vejamos um exemplo:
Exemplo 4.8. Seja uma esfera unitria S2 orientada e seja C um paralelo da colatitude , na qual existe um vetor unitrio w0 tangente a C em um ponto p.
Vamos determinar o transporte paralelo de w0 ao longo de C , parametrizado pelo comprimento de arco s, com s = 0 em p. Para isso vamos usar uma superfcie tangente a esfera, nesse caso vamos usar um cone tangente a esfera ao longo de C . O ngulo no vertice do cone dado por =
2

0 .

O transporte paralelo de w0 ao longo de C , se resume a determinar o transporte paralelo ao longo de C relativo ao cone tangente. Como j vimos, o cone menos uma geratriz isomtrico a um conjunto U R2 , dado em coordenadas polares 0 < < , 0 < < 2 sin .

93

Como no plano o transporte paralelo coincide com a noo usual, obtemos um deslocamento s de p, correspondendo ao ngulo central , que o ngulo orientado formado pelo vetor tangente t(s) com o transporte paralelo w(s) dado por 2 . O transporte paralelo em S2 ao m de uma volta completa ao paralelo = 0 faz cada vetor rodar um ngulo de 2 sin 0 .

Se uma curva : [a, b] S regular por partes, ento o transporte paralelo ao longo de efetuado substituindo-se o intervalo [a, b], em subintervalos [a, a ], [a , a ], ..., [a , b], onde seja regular em cada um dos sub-intervalos. Dado w T S, o transporte paralelo feito em cada sub-intervalo e a condio em um sub-intervalo igual a condio inicial no outro.
1 1 2 i 0 (t0 )

4.3

Geodsicas

Nessa seo vamos denir um dos conceitos mais importantes da geometria diferencial, o conceito de Geodsicas. Denio 4.10. Uma curva regular, no constante, : I S chamada geodsica
D (t) dt

em t I se seu campo de vetores tangentes (t) paralelo ao longo de em t, isto ,


= 0.

Dizemos que uma geodsica parametrizada se geodsica para todo t I . Seja (s) uma reta parametrizada pelo comprimento de arco contida em uma superfcie regular, temos que || (s)|| = 1, logo = = 0, ento = 0. Diante disso podemos concluir que se em uma superfcie existe uma reta, est ser geodsica sobre a superfcie. Intuitivamente uma geodsica o que mais se aproxima de uma "reta"sobre uma superfcie. Seja uma esfera, imagine que traamos um grande crculo na esfera e faamos com que ela role sobre o plano sem encorregar, descrevendo essa curva no plano. Podemos perceber que essa curva uma reta, isso uma idia intuitiva de geodsica sobre uma superfcie. Se uma geodsica ento = 0, logo = N (t). Alm disso, se = N (t), t I , ento dados X , X base de T S temos que < , X >=< , X >= 0, logo = 0.
d ds D dt D dt 1 2 (t) 1 2 D dt

94

Usando isso vamos identicar geometricamente algumas geodsicas.


Exemplo 4.9. Vamos mostrar que as geodsicas nas esferas so grandes crculos.
Seja (s) uma curva parametrizada pelo comprimento de arco sobre a esfera S2 e seja SP AN { (s0 ), n(s0 )}, o plano formado por (s0 ) e n(s0 ) vetor normal e unitrio, chamamos de plano osculador. A acelerao (s) s ter componente normal se N spam{ (s), n(s)}. Mas se n SP AN { (s), n(s)}, ento o plano passa pelo centro da esfera. Logo, obtemos grandes crculos intersectando a esfera com o plano que passa pelo centro da esfera, assim vericamos que as geodsicas nas esferas so grandes crculos, ou seja, circunferncias de mximo dimetro.

Exemplo 4.10. Seja um cilindro reto sobre um crculo x2 + y2 = 1.


Podemos notar que os crculos obtidos pela interseco do cilindro com planos normais ao eixo do cilindro so geodsicas, j que a normal principal em qualquer ponto paralela normal superfcie neste ponto. De forma anloga, podemos mostrar que as geratrizes do cilindro so geodsicas. Agora vamos encontrar outras geodsicas sobre o cilindro. Seja a seguinte parametrizao,
X(u(t), v(t)) = (cos u(t), sin u(t), v(t)),

com 0 < u < 2 e v R. Sabemos que o cilindro e o plano so localmente isomtricos (exemplo 4.1), e a condio de ser geodsica invariante por isometrias. Portanto X preserva as geodsicas, mas no plano as geodsicas so retas. Portanto, exclundo os casos j considerados, temos
u(t) = u0 + at, v(t) = v0 + bt.

Ento,
= (cos (u0 + at), sin (u0 + at), v0 + bt) = (sin(u0 + at)a, cos (u0 + at)a, b).

E || ||2 = a2 + b2 = 1. Ento a curva , que uma hlice, uma geodsica sobre o cilindro.

95

Podemos observar que dados dois pontos sobre um cilindro que no esto sobre um circulo horizontal, possivel conect-los por uma innidade de hlices, isso signica que dois pontos de um cilindro podem em geral ser conectados por uma innidade de geodsicas, diferentemente do que ocorre no plano. As retas so geodsicas de um plano, tambm so caracterizadas como curvas regulares de curvatura zero, note que a curvatura de uma curva plana e orientada dada pelo valor absoluto da derivada do campo de vetores unitrios tangentes curva, associado a um sinal que denota a concavidade da curva em relao a orientao do plano. Para levar em considerao o sinal, convm introduzir a seguinte denio.
Denio 4.11. Seja w um campo diferencivel e unitrio de vetores ao longo de uma curva parametrizada : I S sobre uma superfcie orientada S . Como w(t), t I , um campo de vetores unitrio, dw (t) normal a w(t), e portanto dt
Dw = (N w(t)). dt

O numero real = (t), denotado por covariante de w em t.


4.3.1 Curvatura Geodsica

Dw dt

, chamado valor algbrico da derivada

Seja : I S uma curva regular, T (t) = seu vetor tangente unitrio, N (t) o vetor unitrio normal a superfcie em (t) e T = N T. Temos que {T, N, N T } uma base ortonormal de R em (t) e {T, N T } uma base orientada positivamente em T S. Poderemos vericar facilmente que est na direo de T :
(t) || (t)|| 2 3 (t) DT dt 2

d ||T ||2 = 2 dt

dT ,T dt

= 0.

Mas = aN + bT , ento Seja o vetor n = N + T .


dT dt 2 2

DT dt

= bT2

96

Figura 39: {T, N, T } uma base ortonormal.


2

Se s o parmetro do comprimento de arco no entanto vimos que = bT , logo = || ||KT . Usando isso vamos denir curvatura geodsica. Denio 4.12. Denominaremos curvatura geodsica da curva a funo K (t), tal que
DT dt 2 DT dt 2 g DT dt

dT ds dT = = || ||K = || ||K(N + T2 ), n dt ds dt

= || ||Kg (t)T2 (t).

Proposio 4.4. Se k a curvatura da curva ento k2 = Kg 2 + Kn 2 , onde Kg a curvatura geodsica e Kn a curvatura normal.
Demonstrao.
1.

Temos que K

= k(N +T2 )

e que ||n||
2

= 1 ||N + ||2 = 2 + 2 =

No entanto, k = Kn e k = K , logo Kn
g

+ Kg 2 = k 2 (2 + 2 ) = k 2

.
dT ,N T dt .

Da expresso
Kg (t) = 1 || ||
|| ||

DT dt

= || ||Kg (t)T2 (t) = 1 || ||

, podemos tirar que


= 1 || || DT , T2 dt = 1 || ||

DT , T2 dt

DT ,N T dt

Mas T = , ento
Kg (t) = 1 d ( ), N || || dt || || || || 1 d = ( ), N 2 dt || || || || 1 = , N . |||| 3

Proposio 4.5. A curvatura geodsica a menos de um sinal, independe da parametrizao da curva.

97

Demonstrao.

Sejam as curvas
(t) : [a, b] S t (t) (t) : [c, d] S t (t),

contidas em uma superfcie S, tal que (t) = (t). Seja : [d, c] [a, b] e = . Veja a gura a seguir:

Figura 40: As aplicaes e . Temos que = || (t)||K (t)T Por outro lado temos que
DT dt g 2

(1)

DT DT DT dt = = (t) dt dt dt dt || (t)|| = d dt = d dt dt dt

(2) (3)

= || (t)|||| ||

Colocando (2) e (3) em (1):


DT = || (t)|||| ||Kg (t)T2 dt (t)|| ||Kg (t)T2 = ||(t)|||| ||Kg (t)T2 (t) Kg = Kg (t). || (t)|| (t)

Ou seja, K (t) e K (t) a menos de um sinal, que dado por


g g

(t) || (t)||

, independe da

98

parametrizao.
Proposio 4.6. Uma curva regular : I S uma geodsica se e somente se, sua curvatura geodsica Kg (t) = 0, t I.

Se a curva uma geodsica ento = 0 o que implica = 0. Mas = || ||K (t)T , logo K (t)|| || = 0 e como regular || || = 0, ou seja, K (t) = 0. Agora se K = 0, podemos escolher um parmetro de comprimento de arco para a curvatura e K (0) = 0, j que a curvatura geodsica independe da parametrizao da curva (proposio 4.5). Se parametrizada pelo comprimento de arco ento = T e assim = = K (s)T = 0. Portanto uma geodsica.
Demonstrao.
DT dt g D dt DT dt 2 g g g g D ds DT ds g 2

Exemplo 4.11. Seja uma esfera S2 e seja um paralelo dado (t) = X(0 , (t)) = (sin 0 cos , sin 0 sin , cos ).
Temos que (t) = ( sin 0 sin , sin 0 cos , 0), N = (sin 0 cos , sin 0 sin , cos 0 ), ento
e1 N = sin 0 cos e2 e3 0 sin 0 cos 0 cos sin 0 sin sin cos = sin 0 cos 0 sin . 2 sin 0

sin 0 sin cos 0

Tambm temos que (t) = (sin 0 cos , sin 0 sin , 0) e que


|| || = sin2 0 sin2 + sin2 0 cos2 = sin 0 .

Logo,
< , N >= sin2 cos2 cos 0 sin2 0 sin2 cos 0 = sin2 0 cos 0 .

Ento
Kg = 1 1 sin2 0 cos 0 3 < , N > = 3 sin 0 || || cos 0 = sin 0 = cot 0 .
2

Logo apenas o equador uma geodsica, Kg (0 ) = 0 se 0 =

99

Teorema de Gauss-Bonnet

5.1

Preliminares

Seja S uma regio limitada por uma curva : [0, L] S, simples, fechada e regular por partes, ou seja, que satisfaa as seguintes condies:
(i) (0) = (L), que signica que (ii) t1 = t2 , t1 , t2

seces; (iii) Existe uma partio 0 = t < t < ... < t < t = L de [0,L], tal que diferencivel e regular em cada [t , t ], com i = 0, ..., k. Ou seja, deixa de ter uma reta tangente em um nmero nito de pontos.
0 1 i k k+1 i+1

uma curva fechada; [0, L], ento (t ) = (t ), ou seja, a curva no possui autointer1 2

Figura 41: Regio limitada pela curva . Os pontos (t ), i = 0, ..., k, so chamados vrtices de e os traos ([t , t chamados arcos regulares de , ou arestas de .
i i i+1 ])

so

100

Figura 42: Vrtices e arcos regulares de . A condio de regularidade nos garante que em cada vrtice (t ) existe o limite esquerda (t ) = lim (t) e o limite direita, (t ) = lim (t). A curva = ser orientada positivamente, ou seja, a base ortonormal positiva { , N } tal que N "aponta"para , portanto, : [a, b] , com (a) = (t ) e (a) = (t), ento (a), N > 0. Intuitivamente, isso signica que ao andarmos pela curva na direo positiva com a cabea apontada para N , a regio est a nossa esquerda.
i i tt i + i tt+ i 0

Figura 43: A curva orientada positivamente.


Denio 5.1. O ngulo externo i no vrtice (ti ) o ngulo orientado de (t ) para i + (ti ).

Se o vrtice no uma cspide, o sinal de dado pela orientao da superfcie S.


i

101

Figura 44: Sinal do ngulo externo quando o vrtive no uma cspide. Se (t ) uma cspide, ou seja, | | = , que signica que (t ) = (t ), o sinal dado da seguinte forma: positivo se para > 0 sucientemente pequeno o trao de ([t , t ]) car do mesmo lado que em relao curva ([t , t ]); negativo se para > 0 sucientemente pequeno o trao de ([t , t ]) e tiverem lados opostos em relao curva ([t ]).
i i i + i i i i+ i+ i i i i+ i ,ti

Figura 45: Sinal do ngulo externo quando o vrtive uma cspide. Seja ainda as funes contnuas : [t , t ] S , (t) = arccos (t), ((t)) , ou seja, so funes que medem em cada t [t , t ] o ngulo positivo de X a (t)
i i1 i 1 i X u E i i+1 u

Exemplo 5.1. Seja uma esfera unitria e seja uma curva S2 qualquer dada por
sin (t) cos (t) (t) = X((t), (t)), ou seja, (t) = sin (t) sin (t) , logo cos (t) cos cos sin sin

(t) = cos sin + sin cos . sin

102

Figura 46: ngulo positivo entre X e (t) .


u

cos cos sin

Temos que X ((t)) = cos sin , ento

< , X > = cos2 cos2 sin cos cos sin + cos2 sin2 + sin cos cos sin + sin2 cos2 + sin2 =
2 2 2 2

No entanto, temos que normalizar , logo


|| || = cos2 2 + sin2 2 + sin2 2 = 2 + sin2 2 .

Ou seja, o ngulo
= arccos < (t), Xu ((t)) > E = arccos 2 2 + sin2 2 (1)

sin cos 0 cos cos 0 temos = cte, logo (t) = sin sin 0 e (t) = cos sin 0 , logo || || = . cos sin

Vamos considerar um caso particular geodsica da vertical (t) = ((t), 0 ), ou seja,

No entanto, parametrizada pelo comprimento de arco, ou seja, || || = 1 o que implica que = 1. Pela forma geral (1), temos nesse caso = arccos
2 2

= arccos = 0 cos 0

Vamos considerar agora uma geodsica horinzontal, temos que = , (t) = sin 2

103

sin cos , logo || || = , mas sabemos que || || = 1, ou seja, = 1. e (t) = 0

Logo, o ngulo = arccos


= . 2

2 2

+sin2

= arccos 0, j que = 0, ento =

ou

Vamos demonstrar em seguida o teorema do ndice de rotao, mas antes disso vamos introduzir alguns conceitos e enunciar um teorema que ser usado na demonstrao desse teorema. O ndice de rotao de uma curva regular fechada , por denio, o numero de rotao da curva , ou seja, mede o numero de voltas orientadas que o vetor tangente d em torno da origem, quando percorremos a curva . Portanto, o ndice de rotao fornece uma importante informao sobre o comportamento global de , que a princpio, no tem por que ser parecido com o comportamento global de . Vejamos alguns exemplos:

Exemplo 5.2. Seja : [0, 2] R2 uma curva dada por (t) = (r cos nt, r sin nt), com n Z, n = 0. A curva representa um crculo de raio r que d |n| voltas em torno da origem, no sentido anti-horrio, se n > 0 e, no sentido horrio, se n < 0.
Podemos perceber que o vetor tangente T a curva , d n voltas quando percorremos a curva . Logo o ndice de rotao = n.

Figura 47: A curva descreve o crculo que d n voltas em torno do seu centro e seu ndice de rotao n .
Exemplo 5.3. Seja uma lemniscata : [0, 2] R2 , tal que (t) = (sin t, sin 2t).
notvel que o vetor tangente T ao longo de no percorre uma volta completa, ou seja, o ndice de rotao = 0.

104

Figura 48: A lemniscata possui ndice de rotao igual a zero. Para entendermos o comportamento de , quando deformamos , vamos introduzir o conceito de homotopia regular:

Denio 5.2. Sejam duas curvas fechadas e regulares


: [0, L] R2 : [0, L] R2 ,

so ditas regularmentes homotpicas, se existe uma aplicao H : [0, 1] [0, L] R2 , tal que:

(i) H(, t) contnua em [0, 1] [0, L]; (ii) Para cada [0, 1], a curva (t) = H(, t), t [0, L] uma curva fechada regular; (iii) H(0, t) = (t) e H(1, t) = (t).
A aplicao H dita uma homotopia regular entre e .

Vamos enunciar um Teorema que relaciona a homotopia regular ao ndice de rotao.


Teorema 5.1. Duas curvas fechadas e regulares , : [0, L] R2 so regularmentes homotpicas, se e somente se = . Exemplo 5.4. O ndice de rotao da lemniscata (t) = (sin t, sin 2t), t [0, 2], = 0 e o ndice de rota de um crculo unitrio (t) = (cos t, sin t), t [0, 2], = 1.
Usando o teorema acima, temos que a lemniscata e o crculo unitario no so homotpicos. Podemos observar isso geometricamente, vejamos a gura abaixo: No possvel eliminar o lao a esquerda da curva acima, usando uma sequncia de deformaes, uma vez que o vetor tangente ao longo desse lao muda muito de direo, independente do tamanho do lao.

105

Figura 49: A lemniscata e o crculo no so homotpicos.


Teorema 5.2 (Teorema do ndice de Rotao). Seja : [0, L] R2 uma curva regular, fechada e simples. Ento = 1.
Demonstrao.

Seja uma reta que no intersecta a curva e deslocamos essa reta paralelamente a si mesma at que ela seja tangente curva em um ponto p. Vamos escolher agora uma nova parametrizao : [0, L] R para curva de forma que (0) = p e denir um sistema de coordenadas tal que p = (0, 0) e T = (1, 0) = e.
2 1

Figura 50: Deslocamento da curva . Como uma curva parametrizada pelo comprimento de arco, podemos reescrever o vetor tangente T da seguinte forma:
T (s) = (cos (s), sin (s)) T (s) = (sin(s), cos (s)) (s) = N (s) (s).

Ento k(s) = T (s), N (s) = (s). Logo, k(s)ds = (s)ds = (L) (0) = 2I , onde I o ndice da curva T . A idia agora deformar a curva T , que a princpio, complicada, at uma curva T , cujo numero de rotao seja fcil de determinar. Seja um tringulo = {(t, s) [0, L] [0, L] : 0 t s L}, e seja a seguinte
L 0 L 0 1

106

aplicao F :

R2

, dada por
(t)(s) , ||(t)(s)|| T (t) = || (t) , (t)|| T (0) = || (0) , (0)||

s<t

t=s; (t,s)=(L,0).

e (t, s) = (L, 0)

Figura 51: O tringulo . Vamos vericar a continuidade de F . Como a curva regular, v-se facilmente que no interior do tringulo , F contnua. No entanto, no sabemos se F contnua nos pontos da diagonal e em (L, 0). Vamos vericar a continuidade nos pontos (a, a) na hipotenusa de . Seja uma sequncia (t , s ) no interior do tringulo convergindo para (a, a), temos que F (t , s ) = , aplicando o teorema do valor mdio a cada um das funes coordenadas x, y de , temos que existem s < < t e s < < t , tais que
n n n n (tn )(sn ) ||(tn )(sn )|| n n n n n n

(tn ) (sn ) = (x(tn ) x(sn ), y(tn ) y(sn )) = (x (n )(tn sn ), y (n )(tn sn )) (x (n ), y (n )) = . (x (n )2 + (y (n ))2

Visto que, lim t = lim do confronto temos que lim Logo,


n n n

sn = a sn < n < tn
n

n n

, = a e lim

es = a.

< n < tn

, usando o teorema

lim F (tn , sn ) = lim

(x (n ), y (n )) (x (n ))2 + (y (n ))2

(x (a), y (a)) (x (a))2 + (y (a)2 )

= T (a) = F (a, a).

Portanto, F contnua nos pontos (a, a). Vamos vericar agora a continuidade nos pontos (L, 0).

107

0 Seja uma curva : [0, 2L] R , tal que (t) = (t), L), L tt L . (t 2L Tomamos uma sequncia (t , s ) (L, 0), denamos = t , com < e L + s , com (t , s ) = (L, 0). Note que < e que
2 n n n n n n n n n n n n

lim n =

lim tn = L

lim n = limn L + sn = L L) = (sn )

Como ( ) = (t ) e ( ) = (
n n n

, temos que

F (tn , sn ) =

(n ) (n ) (n ) (n ) (tn ) (sn ) = = ||(tn ) (sn )|| ||(n ) (n )|| ||(n ) (n )|| x (n ), y (n ) = (x (n ))2 + y (n )2
n n n

para < < e < < . Sabemos que lim = lim = L, alm disso Ento, usando o teorema do confronto temos que lim Assim,
n n n n n n n n

n n

< n < n

< n < n

= limn n = L

lim F (t, s) =

lim

x (n ), y (n ) (x (n ))2 + y (n )2

x (L), y (L)) (x (L))2 + (y (L))2

= T (L) = T (0) = F (L, 0).

Portanto, F contnua nos pontos (L, 0) e assim, contnua em todos os pontos do tringulo . Vamos utilizar a funo F para obter uma deformao de T para um curva T , para a qual o numero de rotao seja mais fcil de calcular. Considerando as curvas D e D , respectivamente, a hipotenusa e os catetos de ,
1 0 1

108

dadas por:
D0 : [0, L] t (t, t) D1 : [0, L] t (2t, 0), (L, 2t L),

0t
L 2

L 2

;
0 1

t L.

Dena a curva D

: [0, L]

, 0 1, por D (t) = (1 )D (t) + D (t).

Figura 52: A aplicao D .

Considere a aplicao H : [0, 1] [0, L] , dada por H(, t) = F D (t). Vamos mostrar que H uma homotopia regular entre T e T , com T (t) = H(1, t), em R {(0, 0)}. Primeiramente podemos notar que H contnua, pois a composio de funes contnuas. Alm do mais em cada [0, 1], H(, t) uma curva regular, se = 0,
1 1 2

H(0, t) = F (t, t) = T (t)

e se = 1,
T1 (t) = H(1, t) = F (2t, 0), F (L, 2t L), 0t
L 2 L 2

t L.

Ou ainda,
H(1, t) =
(2t) , ||(2t)||

0t t=
L 2 L 2

L 2

T (0),
(2tL) ||(2tL)|| ,

< t L.

109

e para 0 < < 1, H(, t) = F (, t) = F (D (t)). Agora vericaremos o ndice de rotao da curva T , se t [0, ], ento
1 L 2

H = F D1 (t) = F (2t, 0) =

(2t) (2t) (0) = . ||(2t) (0)|| ||(2t)||

E se t [

L , L] 2

, ento
(L) (2t L) (2t L) = . ||(L) (2t L)|| ||(2t L)||
1

H = F D1 (t) = F (L, 2t L) =

Portanto, a curva T d uma volta completa em torno da origem,logo I(F D ) = 1, mas I(F D ) = I(F D ) = I(T ) = I() = 1. Portanto, k(s)ds = 2.
1 1 0 L 0

Sejam X(U ) e = X X preserva a orientao.

curvas simples e fechadas, cuja parametrizao

Figura 53: A aplicao X preserva a orientao.

110

Temos que as bases (e , , e ) e (e , , N ) possuem a mesma orientao, logo s [0, L] temos que |(s) (s)| < , caso contrrio, essas bases no teriam a mesma orientao. Alm disso, como simples e fechada (L) (0) = 2. Vamos analisar a seguinte diferena:
1 || || 3 u

| |(L) (0)| 2 | = | |(L) (0)| |(L) (0)| | |(L) (0) ((L) (0))| = |((L) (L)) ((0) (0))| |(L) (L)| + |(0) (0)| < 2.

Temos
: [0, L] R, : [0, L] S1

e (0) = (L). Logo, (L) (0) = 2I, com I Z. Mas, pelo clculo acima e (L) (0) = 2I, ento (L) (0) = 2. Seja : [0, L] S uma curva parametrizada pelo comprimento de arco, simples, fechada e regular por partes, onde s = 0 < s < ... < s = L so seus vrtices. Vamos aproximar por curvas : [0, L ] S, > 0, tal que:
0 1 n

de classe C ; parametrizada pelo comprimento de arco, fechada, simples e com a mesma orientao de ; [a , b ] [0, L ] sub-intervalos tal que | = |

2 i i [ai ,bi ] [ai ,bi ]

|L L | <

Como vimos, (L) (0) = 2, logo


(L) (bk )+ (bk ) (ak ) + (ak ) (bk1 ) +...+ (b1 ) (a1 ) + (a1 ) (0) = 2

Escrevendo como um somatrio:


k k

(L) (bk ) + (a1 ) (0) +


i=1

(bi ) (ai ) +
i=2

(ai ) (bi1 ) = 2

(5.1)

111

Figura 54: A curva . Vamos analisar os termos da expresso acima, observe que:

No limite

0 (L) (bk ) + (a1 ) (0) = k = 0 .

No limite

0 (bi ) (ai ) = (si ) (si1 ).

No limite

0 (ai ) (bi1 ) = i1

112

Voltando a expresso (5.1), temos


k k

i +
i=1 i=1

(si ) (si1 ) = 2

(5.2)

Agora vamos demonstrar um lema que ser usado na demonstrao do teorema de Gauss-Bonnet(verso local).
Lema 5.1. Seja (s) uma curva regular parametrizada pelo comprimento de arco, w(s) um campo vetorial paralelo unitrio ao longo de e o ngulo entre (s) e w(s), ento (s) = Kg (s).

Temos que {T, T = N T } uma base ortonormal positiva em T S, logo podemos escrever w nessa base w = cos T + sin T . Como w um campo paralelo, = 0, ento Dw DT DT = sin T + cos + cos T + sin (5.3) ds ds ds Temos que < T, T >= 1 e assim , T = 0, ento = (s)T , mas || || = 1, sendo assim (s) = K , j que = || ||K T . Da mesma forma < T , T >= 1 e , T = 0, ento = (s)T . No entanto, temos que < T, T >= 0, derivando
Demonstrao.
Dw ds 2 (s) 2 2 2 DT ds DT ds 2 g DT ds 2 g 2 2 DT2 ds 2 DT2 ds 2

DT , T2 ds

+ T,

DT2 ds

=0

DT , T2 ds

= T,

DT2 ds

= Kg .

Substituindo em (5.3):
sin T + cos Kg T2 + cos T2 sin Kg T = 0 ( + Kg )(cos T2 sin T ) = 0 = Kg .

113

5.2

Teorema de Gauss-Bonnet (Verso Local)

Teorema 5.3 (Teorema de Gauss-Bonnet(verso local)). Seja uma regio delimitada por uma curva simples, parametrizada pelo comprimento de arco e regular por partes. Sejam i (i = 1, ..., K) os ngulos externos de . Ento
k

KdA +

Kg (s)ds +
i=1

i = 2.

Seja w um campo de vetores unitrios paralelo ao longo de = , (s), com s (s , s ), so os ngulos entre (s) e w(s) neste intervalo, (s) ngulo entre e (s) neste intervalo. Vamos denir (s) como o ngulo entre e w(s).
Demonstrao.
i1 i i X u E X u E

Observando a gura acima temos que (s) = (s) (s). Usando a expresso (2),
i k k k

i +
i=1 i i1 i=1 si si 1

(si ) (si1 )
i=1

(si ) (si1 ) = 2.

Mas, (s ) (s ) = Podemos observar que


k i=1

(s)ds =

si si1

Kg ds

, lema anterior.

(si ) (si1 ) = (s1 ) (0) + (s2 ) + (s1 ) + (s3 ) (s2 ) + ... + (L) (sk1 ) = (L) (0).

Logo,
k k si

i + (L) (0) +
i=1 k i=1 si1 L

Kg ds = 2 Kg ds = 2
0

i + (L) (0) +
i=1

114

Agora, basta mostrarmos que (L) (0) = KdA. Sabemos que (s) o ngulo entre e w. Sejam v = e v = N V , temos que {v , v } uma base ortonormal positiva em T S , logo podemos escrever w = cos v + sin v . De < v , v >= 1, temos que , V = , v , portanto, = av . Analogamente, , v = , v = 0 e = av . Derivando < v , v >= 0,temos < v , v > + < v , v >= 0 < v , v >= < = av + bN , ento v , v >, mas v =
X u E 1 X u E 2 1 1 2 (s) 1 2 1 1 Dv2 ds 2 dv2 ds 2 2 Dv1 ds Dv2 ds 1 dv1 ds 1 Dv1 ds 2 1 1 1 2 1 2 1 2 1 2 1 dv1 ds 2

< v1 , v2 >=< av2 + bN, v2 >< v1 , v2 >= a.

Logo, Tambm temos que v Portanto,


2

Dv1 =< v1 , v2 > v2 . ds =


dv2 ds

= av1 + bN

, ento

< v1 , v2 >=< v1 , av1 + >< v1 , v2 = a > . bN

Dv2 = < v1 , v2 > v1 . ds


Dw ds

Como w um campo paralelo

=0

, ento

Dw Dv1 Dv2 = sin v1 + cos + cos v2 + sin ds ds ds = sin v1 + cos < v1 , v2 > v2 + cos v2 + sin < v1 , v2 > v1 = ( + < v1 , v2 >)(cos v2 sin v1 ) = 0,

sendo assim, = < v Temos que

, v2 >

.
L L

(L) (0) =
0

(s)ds =
0 L

< v1 , v2 > ds v1 , v2 v v dudv.

=
0

v1 , v2 u + u

115

Pelo teorema de Green,


(L) (0) =
X 1 ()

no entanto,

X 1 ()

v1 v1 , v2 , v2 u v v u v1 v2 v1 v2 , , , u v v ududv

Ento,

v1 = v2 + u v2 = v1 + v

v1 ,N N u v2 , N N. v

v1 v2 , u v v1 v2 , v u

= = >= 0

v1 ,N u v1 ,N v

v2 ,N v v2 ,N u

Note que, N = v e < N, v Mas


2

v2

e < N, v

, ento
v1 u ,

< Nu , v1 > + N, >= 0

, logo
< Nu , v2 > + N,

v1 u

= 0 < Nu , v1 >= N,

v2 u

= 0 < Nu , v2 >= N,

v2 u

Nu =< Nu , v1 > v1 + < Nu , v2 > v2 = N,

analogamente,
Nv =< Nv , v1 > v1 + < Nv , v2 > v2 = N,

v1 u

v1 N,

v2 u

v2 ,

Sendo assim,
Nu Nv = = N,

v1 v

v1 N,

v2 v

v2 .

v1 v2 v2 N, N N, u v u v1 v2 v1 v2 , , N. u v v u

N,

v1 v

116

Alm disso,
< N, Nu Nv > = < N, K(Xu Xv ) > = < N, K EG F 2 N > = K EG F 2 .

Por outro lado,


< N, Nu Nv >=

Logo,
(L) (0) = = =

v1 v2 , u v

v1 v2 , v u

v1 v2 v1 v2 , , u v v u X 1 () K EG F 2 dudv
X 1 ()

dudv

KdA.

Com isso mostramos que


k

KdA +

Kg (s)ds +
i=1

i = 2.

Nesse trabalho no iremos demonstrar a globalizao do teorema de Gauss-Bonnet, iremos apenas apresentar alguns conceitos topolgicos e proposies que so usadas na demonstrao deste teorema. Vamos considerar uma superfcie S regular. Dizemos que uma regio conexa S regular se compacta e a sua fronteira uma regio nita de curvas regulares por partes fechadas e simples que no se intersectam. Por convenincia, vamos considerar uma superfcie compacta como uma regio regular, cuja fronteira o conjunto vazio. Vejamos algumas denies:
Denio 5.3. Uma regio simples que tem apenas trs vrtices com ngulos externos i = 0, i = 1, 2, 3 um tringulo. Denio 5.4. Uma tringulao de uma regio regular S uma famlia nita T

117

de regies (i) =

, i {1, 2, ..., n} tais que:


i

n i=1

(ii) Para cada i {1, 2, ..., n}, a curva i tem trs vrtices. Aos arcos de curvas compreendidos entre 2 vrtices consecutivos denominamos arestas e as regies i so denominados faces da tringulao; (iii) Se i = j , i, j {1, 2, ..., n}, ento i j pode ser uma das trs coisas: ou i j = ou tem um vrtice em comum ou uma aresta em comum.

Dada uma triangulao T de uma regio S de uma superfcie S, denotaremos por V , A e F , aos nmeros de vrtices, arestas e faces, respectivamente.
Denio 5.5. O numero F E + V = chamado caracterstica de Euler-Poincar da triangulao.

As proposies abaixo sero apresentadas sem demonstrao.


Proposio 5.1. Toda regio regular de uma superfcie regular admite uma triangulao.

O resultado seguinte mostra que podemos obter uma triangulao de uma regio de S em que cada tringulo est contido em uma vizinhana coordenada.
Proposio 5.2. Seja S uma superfcie orientada e {x }, A, uma famlia de parametrizaes compatveis com a orientao de S . Seja S uma regio regular de S . Ento existe uma tringulao T de tal que todo tringulo T est contido em uma vizinhana coordenada da famlia {x }. Alm disso, se a fronteira de todo tringulo de for orientada positivamente, triangulos adjacentes determinam orientaes opostas na aresta comum a eles.

118

Proposio 5.3. Se S uma regio regular de uma superfcie S , a caracterstica de Euler-Poincar no depende da triangulao de . Vamos denot-lo por X().

A proposio anterior mostra que a caracterstica de Euler-Poincar um invariante topolgico de uma regio regular R. Este fato possibilita uma classicao topolgica das superfcies compactas em R . Um clculo direto mostra que a caracterstica de Euler-Poincar da esfera 2, a do toro (esfera com uma ala) zero, a do bi-toro(esfera com duas alas) 2, em geral a de um n-toro (esfera com n alas) 2(n 1).
3

A proposio abaixo mostra que esta a "lista topolgica"de todas as superfcies compactas em R .
3

Teorema 5.4. Seja S R3 uma superfcie compacta e conexa. Ento um dos valores 2, 0, 2, ..., 2n... assumido pela caracterstica de Euler-Poincar (S). Alm disto, se S R3 uma outra superfcie compacta, conexa e orientvel (S) = (S ), ento S homeomorfa a S .

Este o teorema de classicao de superfcies compactas conexas e orientveis. Em outras palavras, toda superfcie compacta e conexa S R homeomorfa a uma esfera com um nmero g de alas. O numero
3

g=

chamado o gnero de S. Vamos considerar uma regio S regular de uma superfcie orientada e seja uma triangulao de tal que todo tringulo de T , j = 1, ..., k esteja contido em
j

2 (S) 2

119

uma vizinhana coordenada X (U ) de uma famlia de parametrizaes {X }, A, compatveis com a orientao de S. Seja f uma funo diferencivel em S. A proposio a seguir mostra que faz sentido falar sobre a integral de f sobre a regio .
j j

Proposio 5.4. Com a notao acima, a soma


k
1 Xj (Tj )

f (uj , vj )

Ej Gj Fj 2 duj dvj

j=1

no depende da tringulao nem da famlia {X } de parametrizaes de S .

Essa soma tem um signicado geomtrico e chamada a integral de f sobre a regio regular . comum denot-la por f d. Com as denies e os resultados podemos enunciar o teorema de Gauss-Bonnet Global. Teorema 5.5 (Teorema de Gauss-Bonnet Global). Seja S uma regio regular de uma

superfcie orientada e sejam C1 , ..., Cn as curvas fechadas, simples e regulares por partes que formam a fronteira de de . Suponha que cada Ci orientada positivamente e sejam 1 , ..., p o conjunto de ngulos externos das curvas Ca , ..., Cn . Ento
n p

kg (s)ds +
i=1 Ci

Kd +
l=1

l = 2(),

onde s denota o comprimento de arco de Ci , e a integral sobre Ci signica a soma das integrais em todos os arcos de Ci

Com esse teorema incrvel, que relaciona a caracterstica de Euler de uma superfcie compacta, que um conceito puramente topolgico, e sua curvatura gaussiana que encerramos nosso estudo neste trabalho.

120

Consideraes Finais

No trabalho de concluso de curso a primeira vez nos apronfudamos sobre um assunto, quando realmente comeamos a escrever o que estudamos formalmente, o momento em que a pesquisa se torna essencial e que o gosto pelo estudo torna-se fascinante. Estudar geometria diferencial de superfcies foi um grande desao, j que no curso de licenciatura em matemtica no temos essa disciplina. No entanto, foi muito prazeroso poder estudar conceitos nunca vistos e usando os conhecimentos de clculo e lgebra linear estudados durante o curso, conseguir obter um bom aprendizado. Poder construir o conhecimento desde a simples denio de superfcie regular at a demonstrao do teorema de Gauss-Bonnet, passando por denies e resultados importantssimos muito graticante e nos mostra quanta coisa existe para estudar sobre a geometria diferecial e sobre a prpria matemtica. Por m, esperamos que o estudo abordado neste trabalho possa ser til a outras pessoas que desejam estudar geometria diferencial.

121

Referncias

[1] P.V. Arajo and Instituto de Matemtica Pura e Aplicada (Rio de Janeiro). Geometria Diferencial. Matemtica Universitria. IMPA, 1998. [2] M.P. Carmo and P. Roitman. Geometria diferencial de curvas e superfcies. Sociedade Brasileira de Matemtica, 2008. [3] E.L. Lima. Curso de anlise. Number v. 1. Instituto de Matemtica Pura e Aplicada, 1995. [4] E.L. Lima. Anlise no espao Rn. Coleo matemtica universitria. IMPA, 2000.