Você está na página 1de 46

Relatrio Cientfico de Progresso Iniciao Cientfica

Superfcies mnimas cclicas

Aluno: Andr Scandar Prata Orientador: Prof. Dr. Fernando Manfio Processo FAPESP: 2010/07529-9

Sumrio:

Contedo
1. 2. 3. 4. Introduo ............................................................................................................................ 1 Objetivos do projeto ............................................................................................................. 2 Plano de trabalho ................................................................................................................. 3 Curvas ................................................................................................................................... 4 4.1. 4.2. 4.3. 5. Curvas Parametrizadas ............................................................................................... 4 Curvas Regulares; Comprimento de Arco .................................................................. 5 Teoria Local das Curvas Parametrizadas pelo Comprimento de Arco .................... 7 Superfcies Regulares; Imagens inversas de valores regulares ............................. 11 Mudana de Parmetros; Funes Diferenciveis sobre superfcies .................... 17 Plano Tangente; Diferencial de uma Aplicao ....................................................... 20 Primeira forma fundamental; rea .......................................................................... 22 6. Aplicao de Gauss ............................................................................................................. 25 6.1. 6.2. 6.3. 7. Propriedades fundamentais ..................................................................................... 25 A aplicao de Gauss em Coordenadas Locais......................................................... 30 Superfcies Regradas e Superfcies Mnimas ........................................................... 34

Superfcies Regulares ......................................................................................................... 11 5.1. 5.2. 5.3.

Bibliografia ......................................................................................................................... 43

1. Introduo Uma superfcie regular, cuja curvatura mdia nula em todos os seus pontos, chamada de superfcie mnima. A palavra mnima, neste caso, est relacionada com o seguinte problema proposto por Joseph Louis Lagrange em 1760:

Dado uma curva fechada , sem auto-intersees, achar a superfcie de rea mnima que tem esta curva como fronteira.
Lagrange apresentou este problema sumariamente, como um mero exemplo de um mtodo, por ele desenvolvido, para determinar curvas ou superfcies que minimizassem certas quantidades como, por exemplo, rea, comprimento, energia, etc. Estes mtodos constituem hoje o chamado Clculo das Variaes. Um exemplo simples de superfcie mnima so as pelculas de sabo. Imaginemos uma curva fechada feita de um arame fino, e mergulhemos em uma soluo de gua com sabo. Retirando cuidadosamente o contorno da soluo, surge uma pelcula fina de lquido, que tem em geral a forma de uma superfcie regular tendo como fronteira, e que est em equilbrio sob a ao da tenso superficial do lquido. possvel provar que esta superfcie de equilbrio tem curvatura mdia . Isso decorre de uma frmula, devida a Laplace, estabelecendo que a presso em casa ponto exercida pela superfcie sobre o meio ambiente dirigida na direo normal superfcie e proporcional a . Como a superfcie est em equilbrio, tal presso, e assim , se anula em todos os seus pontos.

2. Objetivos do projeto
O objetivo deste projeto realizar um estudo sobre as superfcies mnimas que so folheadas por curvas de curvatura constante, ou seja, por retas e crculos. Em uma primeira etapa, estudaremos as superfcies regulares que so folheadas por retas, conhecidas como superfcies regradas. De forma mais precisa, uma superfcie regrada descrita como segue. Uma famlia a 1-parmetro de retas uma correspondncia que associa a cada t I R um ponto e um vetor , , de modo que e dependem diferenciavelmente em t. Para cada t I, a reta que passa por na direo de chama-se a reta da famlia em t. Ento, dado uma famlia a 1-parmetro de retas , a superfcie parametrizada x( , ) = ; t I; u ;

a superfcie regrada gerada pela famlia ; a curva chama-se a diretriz da superfcie x. O objetivo principal desta primeira etapa estudar o resultado que afirma que as nicas superfcies mnimas regradas so o plano e o helicide. A segunda etapa do projeto consiste em estudar as superfcies regulares que so folheadas por crculos, conhecidas como superfcies cclicas. Em nosso estudo, estaremos supondo que os crculos esto contidos em planos paralelos. Assim, uma tal superfcie pode ser parametrizada, localmente, por ,

onde a projeo dos centro dos crculos que geram a superfcie e o raio de um crculo, para cada . O principal objetivo nesta etapa estudar o resultado que afirma que as nicas superfcies mnimas cclicas so o catenide e a superfcie de Riemann.

3. Plano de trabalho
O desenvolvimento do projeto, at o momento, foi realizado atravs de seminrios semanais, onde a teoria e os exerccios relacionadas com o assunto eram debatidos. Os seminrios foram apresentados pelo aluno. Como o curso de Eng. Civil da USP- So Carlos no oferece a disciplina de Geometria Diferencial, foi necessrio estudar todos os pr-requisitos necessrios para poder abordar o problema proposto no projeto. O ponto de partida foi realizar um estudo em alguns tpicos de Clculo Avanado, onde usamos a bibliografia [4]: Continuidade e diferenciabilidade em O teorema da funo Inversa. , , utilizando as

Em seguida, realizamos um estudo sobre curvas regulares em referncias [1] e [3]: Curvas parametrizadas, A teoria local de curvas regulares, O teorema fundamental da teoria local de curvas.

Posterior, realizamos um estudo profundo em vrios tpicos de Geometrial Diferencial local, utilizando as referncias [1], [6]: Superfcies regulares, A geometria de aplicao de Gauss, Tpicos de geometria intrnseca de superfcies, Superfcies regradas e cclicas.

O ltimo tpico acima contempla o estudo do primeiro problema proposto no projeto, de que as nicas superfcies mnimas que so regradas so o plano e o helicide. O segundo problema, por ser de uma complexidade maior, ser estudado nesta segunda etapa de desenvolvimento do projeto, e ser apresentado no relatrio final. A seguir, faremos uma apresentao do contedo estudado nesta primeira etapa. Daremos nfase parte da Geometria Diferencial, onde os pr-requisitos do Clculo Avanado sero usados naturalmente.

4. Curvas 4.1. Curvas Parametrizadas

Definio 1 : Uma curva diferencivel parametrizada uma aplicao diferencivel , definida em um intervalo aberto de . Observao: A palavra diferencivel na definio 1 significa que uma correspondncia que associa a cada um ponto , de modo que as funes reais so diferenciveis. Denomina-se a varivel como o parmetro da curva. O intervalo dado em sentido amplo, no excluindo os casos onde . Tambm convm elucidar que denotando a derivada de por em um ponto t, e utilizando notaes anlogas para as funes , , o vetor chamado o vetor tangente(ou vetor velocidade) da curva em t. A imagem chamada o trao da curva . Exemplo 1: A aplicao dada por ), no uma curva diferencivel parametrizada, pois no diferencivel em Porm a restrio de a um intervalo real que no contm a origem uma curva diferencivel. Exemplo 2: As duas curvas parametrizadas distintas

onde

, possuem o mesmo trao, a saber, o crculo . Observe que o vetor velocidade da segunda curva o dobro da primeira, calculando o valor de e conclumos que . Proposio 1: Seja uma curva parametrizada e um vetor fixado tais que seja ortogonal a , para todo . Se ortogonal a ento ortogonal a , para todo Prova: Queremos provar que definida por Derivando , obtemos: , Considere a funo

para todo logo, ortogonal a , tem-se

, para alguma constante . Usando a hiptese que

i.e., . Portanto como queramos.

, para todo , ou seja,

para todo ,

4.2.

Curvas Regulares; Comprimento de Arco

Definido o conceito de curva diferencivel parametrizada, deseja-se que para cada , tal que , exista uma reta contendo o ponto e o vetor , sendo esta reta chamada a reta tangente a em t. Assim, um ponto tal que ser chamado um ponto singular de e, portanto, estudaremos aqui apenas as curvas sem pontos singulares. Definio 1: Uma curva diferencivel parametrizada se para todo . chamada regular

Exemplo 1: A curva regular, pois e as funes e nunca se anulam simultaneamente. Por outro lado a curva Tal ponto chamado de ponto singular da curva. Podemos ver e para , , o que caracteriza um ponto singular. Exemplo 2: onde o angulo que o vetor faz com o eixo-y O h tractriz. Neste caso, uma curva diferencivel parametrizada, regular exceto em e o comprimento constante e igual a 1. De fato, temos . Assim, dado por Logo, intercepta o eixo-y para se, e somente se, . Alm disso, a reta tangente a em

Segue que o ponto de interseo da reta tangente com o eixo-y :

Assim a distncia a ser calculada dada por: .

Definio 2: Dado , o comprimento de arco de uma curva parametrizada regular , a partir do ponto , por definio

onde

o comprimento do vetor funo diferencivel de t e

Como .

, o comprimento de arco s uma

Observao: Pode ocorrer que o parmetro t j seja o comprimento de arco medido a partir de um certo ponto. Neste caso, , isto , o vetor velocidade tem comprimento constante igual a 1. Para simplificar a exposio, nos restringiremos s curvas parametrizadas pelo comprimento de arco s. Exemplo 3: O comprimento do arco da ciclide, dado por dado por: .

Exemplo 4: Considere a catenria parametrizada por: h O comprimento de arco, de at , dado por h

4.3.

Teoria Local das Curvas Parametrizadas pelo Comprimento de Arco

Seja uma curva parametrizada pelo comprimento de arco s. Como o vetor tangente unitrio, o mdulo da derivada segunda mede a taxa de variao do ngulo que as tangentes vizinhas fazem com a tangente em s. Definio 1: Seja . O nmero uma curva parametrizada pelo comprimento de arco chama-se curvatura de em .

Observao: Observe que mudando-se a orientao, o vetor tangente muda de sentido, isto , se , ento

Portanto, orientao. Nos pontos onde vetor unitrio derivando

e a curvatura permanecem invariantes por mudanas de , fica bem definido pela equao na direo de Alm disso, normal a , obtemos . um pois

Assim normal a e chamado de vetor normal em . O plano determinado por e chamado o plano osculador em . Nos pontos onde , o vetor normal (e portanto o plano osculador) no est definido. Portanto, conveniente dizer que um ponto singular de ordem 1 se (neste contexto, os pontos onde so chamados pontos singulares de ordem 0). Indicaremos por o vetor tangente unitrio de em . Temos ento O vetor unitrio normal ao plano osculador e ser chamado o vetor binormal em . Como unitrio, o mdulo mede a taxa de variao do ngulo do plano osculador em com os planos osculadores vizinhos; isto , indica quo rapidamente a curva se afasta, em uma vizinhana de , do plano osculador em . Para calcular lado, observamos que, por um lado, normal a e, por outro

Isto , normal a podemos escrever

Decorre da que ,

paralelo a

e, assim

Seja

uma curva parametrizada pelo comprimento de arco para todo . O nmero , definido por chamado a toro de em .

tal que ,

Observao: Mudando-se a orientao, o vetor binormal muda de sinal, pois . Decorre da que , e, conseqentemente, a toro, permanecem invariantes por uma mudana de orientao. Em suma, a cada valor do parmetro s associamos trs vetores unitrios e ortogonais , . O triedro assim construdo chama-se triedro de Frenet em . As derivadas , dos vetores e quando expressas na base , fornecem entidades geomtricas (curvatura e toro ) que informam sobre o comportamento de em uma vizinhana de . A procura de outros entes geomtricos locais nos levaria a calcular Entretanto, como , teremos , e obtemos novamente a curvatura e a toro. Destacando as equaes encontradas, temos:

que so chamadas formulas de Frenet (emitimos o por comodidade). usual chamar o plano de plano retificante e o plano de plano normal. As retas passando por , e contendo e , so chamadas a normal principal e a binormal,respectivamente, em . A inversa da curvatura chamada raio de curvatura em Pode-se verificar facilmente que um crculo de raio r possui um raio de curvatura igual a . Fisicamente, podemos pensar uma curva em como sendo obtida a partir de uma reta quando esta entortada (curvatura) ou torcida (toro). Mais precisamente, o teorema seguinte mostra que a curvatura e a toro descrevem completamente o comportamento local de uma curva. Teorema fundamental da teoria Local das curvas: Dadas duas funes diferenciveis e , , existe uma curva parametrizada regular tal que o comprimento de arco, a curvatura e a toro de . Alm disso, qualquer outra curva , satisfazendo s mesmas condies, difere de por um movimento rgido, isto , existe uma transformao linear ortogonal de , com determinante positivo, e um vetor c tal que

Exemplo 1: Dado

, consideremos a curva ,

ou seja, uma parametrizao pelo comprimento de arco do crculo de raio e centro em . Desejamos encontrar a curvatura desse crculo. Para isso, observamos que

Logo,

Proposio 1: Seja identicamente nula

uma curva regular. Ento sua curvatura for

D h z identicamente nula, ento, pelas equaes de Frenet, temos que: .

Portanto, existem (com ) tais que . Logo, um subconjunto da reta paralela a e que passa por . Reciprocamente, se o trao de est contido em uma reta e parametrizada pelo comprimento de arco, ento Logo, sendo Proposio 2: Seja circunferncia de raio , conclumos que v se, e somente se, . E um subconjunto de uma

Demonstrao: Do exemplo 1.3.1, sabemos que uma circunferncia de raio tem curvatura .R v q z pelo comprimento de arco e que , isto , . Definindo a curva

Temos: . Conclumos ento que para todo est contida numa circunferncia com centro em e raio vale supondo . , isto , A mesma concluso

Exemplo 2: Seja uma curva regular tal que as suas retas tangentes se interceptam em um ponto fixo . Ento, um subconjunto de uma reta. De fato, suponha q z E x uma funo diferencivel tal que: Derivando a expresso acima e usando as frmulas de Frenet, temos que: . Como os vetores t(s) e n(s) so linearmente independentes, a igualdade acima ocorre se, e somente se: Portanto, para todo e a concluso segue da proposio 1 de 4.3.. uma curva regular tal que toda . Ento z tal que: Ou seja, paralelo a e ainda: e, portanto, ortogonal a . Assim temos que E x De fato,

Exemplo 3: Seja por um ponto fixado suponha que funo diferencivel

Conclumos ento que e, portanto,

Se teremos e a curva no ser regular. Logo, um arco de crculo centrado em p e de raio a.

10

5. Superfcies Regulares

5.1.

Superfcies Regulares; Imagens inversas de valores regulares

Introduziremos a noo de uma superfcie regular em Em linhas gerais, uma superfcie regular em obtida tomando-se pedaos do plano, deformandoos e colando-os entre si, de tal modo que a figura resultante no apresente pontas, arestas ou auto-intersees, e que tenha sentido falar em plano tangente nos pontos desta figura. A idia definir um conjunto que seja, em certo sentido, bidimensional e que seja tambm suave de forma que as noes usuais do Clculo possam ser estendidas a um tal conjunto. Definio 1: Um subconjunto existe uma vizinhana sobre tal que a. uma superfcie regular se, para cada , e uma aplicao de um aberto

diferencivel, ou seja, se escrevemos tm derivadas parciais contnuas de todas as contnua pela condio (a), a condio que contnua.) uma transformao linear

as funes ordens em . b. um homeomorfismo. (Como (b) implica que tem uma inversa c. Para todo injetora. , a diferencial

Observao: A aplicao chamada uma parametrizao ou um sistema de coordenadas em . A vizinhana chamada uma vizinhana coordenada. Com o intuito de apresentar a condio (c) de uma forma mais familiar, iremos calcular a matriz da aplicao linear nas bases cannicas de , com coordenadas coordenadas . Seja cuja imagem por a curva , com . O vetor tangente curva

Esta ltima curva, chamada curva coordenada vetor tangente

, est em S e tem em

11

, onde as derivadas so calculadas em ( e um vetor indicado pelas suas componentes na base . Pela definio de diferencial, temos . Analogamente, usando a curva coordenada , obtemos: . Portanto, a matriz da aplicao linear nas bases consideradas dada por , imagem de da curva

A condio (c) pode agora ser expressa exigindo-se que dois vetores coluna desta matriz sejam linearmente independentes, ou, de forma equivalente, que o produto vetorial Jacobianos seja diferente de zero. Ou ainda, que um dos determinantes

seja diferente de zero em

Exemplo 1: A esfera unitria uma superfcie regular. Primeiro verificaremos que a aplicao dada por onde parametrizao de xy. Como . Observe que , a funo a parte (aberta) de , uma acima do plano ,

tem derivadas parciais contnuas

12

de todas as ordens. Portanto, diferencivel e a condio a satisfeita. A condio c verificada facilmente, uma vez que

Para verificar a condio (b), observamos que bijetora e que a restrio da projeo(contnua) ao conjunto . Assim, contnua em . Podemos cobrir a esfera inteira utilizando parametrizaes similares. Procedemos da seguinte maneira. Definimos por De forma anloga se mostra que cobre a esfera a menos o equador Utilizando ento os planos , definimos as seguintes parametrizaes uma parametrizao, e que

que juntamente com uma superfcie regular.

, cobrem inteiramente

. Mostramos, assim, que

Proposio 1: Se uma funo diferencivel em um conjunto aberto U de , ento o grfico de , isto , o subconjunto de dado por x y f x y para , uma superfcie regular. Demonstrao: Basta mostrar que a aplicao , uma parametrizao do grfico, cuja vizinhana coordenada cobre todos os pontos do grfico. A condio (a) satisfeita pois cada coordenada uma funo diferencivel. A condio (c) tambm se verifica, uma vez que Finalmente, cada ponto (x,y,z) do grfico a imagem por . de um nico ponto ,dada por

13

grfico de

. Conseqentemente, bijetiva, e como a restrio ao da projeo (contnua) de sobre o plano xy, contnua.

Definio 2: Dada uma aplicao diferencivel definida em um conjunto aberto , dizemos que um ponto crtico de se a diferencial no uma aplicao sobrejetiva. A imagem de um ponto crtico chamado um valor crtico de . Um ponto de que no um valor crtico chamado um valor regular de . Observao: Se uma funo diferencivel, ento vetor (1,0,0) obtida calculando-se o vetor tangente em curva . Decorre da que . Analogamente, obtemos: . Conclumos que a matriz de na base (1,0,0), (0,1,0), (0,0,1) dada por aplicada ao

Note que, nesse caso, dizer que no sobrejetiva equivalente a dizer que Portanto, um valor regular de se, e somente se, no se anulam simultaneamente em qualquer ponto da imagem inversa Proposio 2: Se regular de , ento uma funo diferencivel e uma superfcie regular em . um valor

Demonstrao: Seja um ponto de . Como a um valor regular de , podemos admitir, trocando os nomes dos eixos coordenados se necessrio, que Definimos uma aplicao por

e indicamos por (u,v,t) as coordenadas de um ponto do valores. A diferencial de em dada por

onde

toma seus

14

donde

Podemos ento aplicar o teorema da funo inversa que garantir a existncia de vizinhanas tais que inversvel e a inversa diferencivel. Segue-se que as funes coordenadas de , i.e., as funes so diferenciveis. Em particular, diferencivel definida na projeo de sobre o plano-xy. Como uma funo

conclumos que o grfico de uma vizinhana coordenada de regular. Exemplo 2: O elipside

. Pela Proposio 1 de 5.1., . Conseqentemente, uma superfcie

uma superfcie regular. De fato, o elipside o conjunto

onde

uma funo diferencivel e 0 um valor regular de . Isso segue do fato de que as derivadas parciais ponto (0,0,0), que no pertence a caso particular ( se anulam simultaneamente apenas no Este exemplo inclui a esfera como um

Proposio 3: Sejam uma superfcie regular e Ento existe uma vizinhana V de p em S tal que V o grfico de uma funo diferencivel que tem uma das seguintes formas: Demonstrao: Seja um dos determinantes Jacobianos uma parametrizao de S em p, e escreva Pela condio (c) da Def. 1 de 5.1,

15

no se anula em onde , e, como

Suponha que a projeo de

e considere a aplicao . Ento

, podemos aplicar o teorema da funo

inversa para garantir a existncia de vizinhanas de q e de tais que transforma difeomorficamente sobre . Decorre da que restrita a bijetiva e tem uma inversa diferencivel ( . Observe que, como um homeomorfismo, V uma vizinhana de p em S. Agora, considerando a composio da aplicao ( com a funo podemos notar que V o grfico de uma funo diferencivel e isso conclui a demonstrao deste primeiro caso. Os casos que restam poder ser tratados da mesma maneira, fornecendo-nos Exemplo 3: O cone de uma folha C, dado por no uma superfcie regular. Observe que no podemos concluir isto somente pelo f z no ser diferencivel; poderiam existir outras parametrizaes satisfazendo a condio(a) da def.1 de 5.1. Para mostrar que isto no acontece, utilizamos a Proposio 3 de 5.1. Se C fosse uma superfcie regular, ento, em uma vizinhana de , o grfico de uma funo diferencivel tendo uma das trs formas: As duas primeiras formas podem ser descartadas pelo simples fato de que as projees de C sobre os planos xz e yz no so injetivas. A forma restante teria que coincidir, em uma vizinhana do (0,0,0), com impossvel, j que Exemplo 4: O cilindro x y z fato, considere a funo Como no diferencivel em (0,0). dada por uma superfcie regular. De . Mas isso

as derivadas parciais se anulam simultaneamente somente em (0,0,0) e visto que segue que 0 um valor regular de . Portanto,
16

uma superfcie regular.

Exemplo 5: Seja ainda assim,

Temos que 0 no um valor regular de , mas uma superfcie regular. De fato, como

as derivadas parciais se anulam simultaneamente em (0,0,0). Dado que conclumos que 0 no um valor regular de Finalmente, observe que uma superfcie regular. ,

5.2.

Mudana de Parmetros; Funes Diferenciveis sobre superfcies

Nesta seo, definiremos o conceito de funo diferencivel definida em uma superfcie regular S. Proposio 1: Seja p um ponto de uma superfcie regular S, e sejam duas parametrizaes de S, tais que E

um difeomorfismo, isto , diferencivel e tem uma inversa diferencivel e so dadas por ento a mudana de coordenadas dada por tal que as funes Alm disso, a aplicao tm derivadas parciais contnuas de todas as ordens. pode ser invertida, fornecendo
17

Em outras palavras, se

onde as funes ordens. Como e tambm possuem derivadas parciais contnuas de todas as

isso implica que os determinantes Jacobianos, tanto de diferentes de zero em todos os pontos.

como de

so

Demonstrao: A aplicao sendo a composio de homeomorfismos, um homeomorfismo. No possvel concluir, por um argumento anlogo, que diferencivel, j que est definida em um subconjunto aberto de S, e no sabemos ainda o que vem a ser uma funo diferencivel definida em S. Procedemos da seguinte maneira. Seja e defina Como uma parametrizao, podemos supor, renomeando os eixos, caso necessrio, que

Estendemos

a uma aplicao

definida por

Geometricamente, transforma v C b U v b levando cada seo de C com altura t na superfcie onde um vetor unitrio do eixo . claro que F diferencivel e que a restrio Calculando o determinante da diferencial

obtemos:

Podemos ento aplicar o teorema da funo inversa, que garante a existncia de uma vizinhana M de em tal que existe e diferencivel em M. Pela continuidade de , existe uma vizinhana N de r em V tal que Observe que, restrita a N, a composio de aplicaes diferenciveis. Assim sendo, podemos aplicar a regra da cadeia para aplicaes e concluir que diferncivel em . Como arbitrrio, diferencivel em (W). Aplicando exatamente o mesmo argumento, pode-se mostrar que a aplicao diferencivel, e portanto um difeomorfismo.
18

Definio 1: Seja uma funo, definida em um subconjunto aberto V de um superfcie regular S. Ento f diferencivel em se, para alguma parametrizao , com , a composio diferencivel em . A funo diferencivel em V se diferencivel em todos os pontos de V. Observao: A definio acima no depende da escolha do sistema de coordenadas. De fato, como foi visto na proposio 1, independentemente da parametrizao escolhida, a definio ser satisfeita. Exemplo 1: Seja S uma superfcie regular e um conjunto aberto tal que Seja uma funo diferencivel. Ento a restrio de a S uma funo diferencivel sobre S. De fato, para qualquer e qualquer parametrizao em p, a funo diferencivel. Em particular, temos os seguintes exemplos de funes diferenciveis: a)A funo altura relativa a um vetor unitrio onde o ponto denota o produto interno usual em altura de relativa a plano normal a e passando pela origem de b)O quadrado da distncia a um ponto fixo necessidade de considerar o quadrado vem do fato da distncia diferencivel em . dada por a A no ser

A definio de diferenciabilidade pode ser estendida a aplicaes entre superfcies. Diremos que uma aplicao contnua , de um conjunto aberto de uma superfcie regular em uma superfcie regular , diferencivel em se, dadas parametrizaes , Com e , a aplicao

diferencivel em A aplicao diferencivel se, quando expressa em coordenadas locais como , as funes e tm derivadas parciais contnuas de todas as ordens. conveniente elucidar que a noo natural de equivalncia associada diferenciabilidade a noo de difeomorfismo. Duas superfcies regulares e so difeomorfas se existe uma aplicao diferencivel com uma inversa diferencivel , logo chamada um difeomorfismo de em .

19

Observao: A noo de difeomorfismo desempenha para as superfcies regulares o mesmo papel que a noo de isomorfismo para os espaos vetoriais, ou o mesmo papel que a noo de congruncia para a geometria Euclidiana. Do ponto de vista da diferenciabilidade , duas superfcies difeomorfas so indistinguveis. Exemplo 2: A aplicao antpoda A: , dada por , onde denota a esfera unitria, um difeomorfismo. De fato, considere a aplicao definida por

diferencivel e

i.e.,

logo,

difeomorfismo e como

diferencivel. Alm disso, dado , ou seja, . Assim, a restrio , um difeomorfismo.

, tem-se um

5.3.

Plano Tangente; Diferencial de uma Aplicao

Um vetor tangente a uma superfcie , no ponto , o vetor tangente de uma curva parametrizada regular , com . O conjunto de todos os vetores tangentes a em caracterizado pela proposio seguinte. Proposio 1: Seja uma parametrizao de uma superfcie regular e seja . O subespao vetorial de dimenso 2, , coincide com o conjunto de todos os vetores tangente a em Demonstrao: Seja .

Portanto,

o vetor tangente em , isto , seja , onde diferencivel e . Tem-se a curva diferencivel . Pela definio de diferencial, temos . . . claro que . . Isso mostra que um o vetor velocidade da

Por outro lado, seja , onde curva dada por

Pela definio de diferencial, vetor tangente. O plano da escolha de , passando pelo ponto , ser denotado por

, onde

, que pela proposio 1 independe . A escolha de uma parametrizao


20

determina uma base , tem-se diferencivel dada por

de , com

. De forma mais precisa, dado um vetor , onde uma curva , com Assim, , para .

Ou seja, na base

tem coordenadas

Considere agora uma aplicao diferencivel entre duas superfcies regulares. Gostaramos de definir a diferencial de . Dados e , temse , onde uma curva diferencivel tal que .A curva diferencivel tal que e, portanto, .A proposio seguinte mostra que esta uma boa definio. Proposio 2: Dado um vetor A aplicao pg. 100, Prop. 2 Exemplo 1: Seja um vetor unitrio e seja a funo altura definida no exemplo 1 de 5.2. Dados e , para calcular escolha uma curva diferencivel com . Como , obtemos: , o vetor definida por h linear. Dem: cf.[1],

Portanto,

Proposio 3: Se e so superfcies regulares e uma aplicao diferencivel de um conjunto aberto tal que a diferencial , um isomorfismo, ento um difeomorfismo local em . Exemplo 2: Seja . Ento, dada por tal que , onde . De fato, se e um ponto fixado de , ento

, Como queramos.
21

5.4.

Primeira forma fundamental; rea

O produto interno usual do induz, em cada plano tangente de uma superfcie regular S, um produto interno, que indicaremos por da seguinte forma: dados definido como o produto interno de como vetores em . Associado a esse produto, que uma forma bilinear, simtrica definida positiva, corresponde uma forma quadrtica dada por Definio 1: A forma quadrtica em forma fundamental da superfcie regular . (1)

definida por (1) chamada a primeira

A primeira forma fundamental simplesmente a expresso de como a superfcie S herda o produto interno natural do . Expressaremos a primeira forma fundamental na base { associada a uma parametrizao Como um vetor tangente o vetor tangente a uma curva parametrizada , com obtemos:

onde os valores das funes envolvidas so calculados em , , ,

,e

so os coeficientes da primeira forma fundamental na base { de . Fazendo variar na vizinhana coordenada correspondente a , obtemos funes que so diferenciveis nessa vizinhana. Exemplo 1: O cilindro circular de raio unitrio reto admite a parametrizao dada por

onde, Para calcular a primeira frmula fundamental, notamos que


22

Portanto, .

Exemplo 2: Considere a hlice dada por . Por cada ponto da hlice, trace uma reta paralela ao plano e que intersecta o eixo . A superfcie gerada por essas retas chamada um helicide. Uma parametrizao do helicide dada por: . aplica uma faixa aberta de largura 2 do plano sobre a parte do helicide que corresponde a uma rotao de ao longo da hlice. O clculo dos coeficientes da primeira frmula fundamental nesta parametrizao nos d . Definio 2: Seja uma regio limitada de uma superfcie regular, contida em uma vizinhana coordenada de uma parametrizao . O nmero positivo , chamado rea de R, onde .

Observe que como , o integrando de pode ser escrito em termos dos coeficientes da primeira forma fundamental como sendo . Exemplo 2: Vamos calcular a rea do toro. Para isto, consideramos a vizinhana coordenada correspondente parametrizao:

Onde e , que cobre o toro, exceto por um meridiano e um paralelo. Os coeficientes da primeira forma fundamental so: ,

23

logo

Considere agora a regio q ,

dada pela imagem por

da regio .

dada por

Utilizando a definio 2, obtemos

. Fazendo na expresso acima, obtemos .

Exerccio 2: A rea de uma regio limitada R da superfcie uma funo diferencivel, dada por

, onde

onde Q a projeo ortogonal de R sobre o plano xy. De fato, uma parametrizao que cobre toda superfcie. Assim,

, logo .

24

6. Aplicao de Gauss

6.1.

Propriedades fundamentais

Dado uma parametrizao de uma superfcie regular S em um ponto , podemos escolher, para cada ponto , um vetor normal unitrio pela regra .

Assim, temos uma aplicao diferencivel que associa a cada um vetor normal unitrio . De maneira geral, se um conjunto aberto em e uma aplicao diferencivel que associa a cada um vetor normal unitrio em , dizemos que um campo diferencivel de vetores normais unitrios em V. Diremos que uma superfcie regular orientvel se ela admite um campo diferencivel de vetores normais unitrios definido em toda a superfcie. A escolha de um tal campo chamada uma orientao de S. Uma orientao em induz uma orientao em cada plano tangente , da seguinte maneira. Definimos uma base como sendo positiva se positivo. Definio 1: Seja uma superfcie com uma orientao toma seus valores na esfera unitria. A aplicao , assim definida, chamada a aplicao de Gauss de S. da aplicao de Gauss no ponto uma . Como e so planos paralelos, . A aplicao

Observao: A diferencial aplicao linear de em

pode ser vista como uma aplicao linear de em , operando da seguinte maneira. Para cada curva parametrizada em S, com , consideramos a curva parametrizada na esfera ; isso equivale a restringir o vetor normal curva . O vetor tangente um vetor de . Ele mede a taxa de variao do vetor normal , restrito curva , em . Assim, mede quanto se afasta de em uma vizinhana de . No caso de curvas, esta medida dada por um nmero, a curvatura. Para as superfcies, esta medida caracterizada por uma aplicao linear. Exemplo 1: Para um plano P dado por unitrio constante. Portanto, , o vetor normal

Exemplo 2: Considere a esfera unitria


25

Se uma curva parametrizada em , mostrando que o vetor

. , ento

normal esfera no ponto . Assim so campos de vetores normais unitrios em . Fixamos uma orientao para escolhendo como um campo normal. Note que aponta para o centro da esfera. Restrito curva o vetor normal

uma funo vetorial de t e, portanto,

isto , escolha de

, para todo e todo como um campo normal, teramos obtido

. Observe que com a

Exemplo 3: Considere o cilindro Com um argumento anlogo ao do exemplo anterior, vemos que so vetores normais unitrios em Fixe uma orientao escolhendo como o campo de vetores normais. Considerando a curva contida no cilindro, isto , = 1, podemos ver que, ao longo dessa curva, e portanto,

Conclumos o seguinte: se ento

um vetor tangente ao cilindro e paralelo ao eixo ;

se um vetor tangente cilindro e paralelo ao plano , ento Segue que os vetores so auto-vetores de com auto-valores 0 e -1, respectivamente. Uma propriedade importante sobre a diferencial proposio. Proposio 1: A diferencial linear auto-adjunta. Demonstrao: Como dada pela seguinte

da aplicao de Gauss uma aplicao linear, para uma base


26

basta de

verificar . Seja

que uma

parametrizao de e a base associada de . Se uma curva parametrizada em , com , temos

, em particular, e auto-adjunta, suficiente mostrar que . Portanto, para provar que . Para ver isto, derivamos respectivamente, e obtemos e , , Assim, . Definio 2: A forma quadrtica , definida em por v , chamada a segunda forma fundamental de S em p. Definio 3: Dado um ponto , seja uma curva regular em , passando por com curvatura em . Se o vetor normal a em e o vetor normal a em , seja o ngulo entre e . O nmero chama-se a curvatura normal de em . Observao: o comprimento da projeo do vetor superfcie em , com um sinal dado pela orientao sobre a normal , em relao a v e u,

Para dar uma interpretao da segunda forma fundamental , considere uma curva regular parametrizada por , onde o comprimento de arco de C, com . Se indicarmos por a restrio do vetor normal curva , teremos , donde . Portanto,

.
27

Em outras palavras, o valor da segunda forma fundamental em um vetor unitrio igual curvatura normal de uma curva regular passando por p e tangente a . Segue, em particular, o seguinte resultado: Proposio 2: (Meusnier). Todas as curvas de uma superfcie que tm, em um ponto , a mesma reta tangente tm, neste ponto, a mesma curvatura normal. Definio 4: Como um operador linear auto-adjunto, segue do de e

Teorema Espectral (cf. [5]) que existe uma base ortonormal escalares tais que ,

Os nmeros e curvaturas normais . O produto ser denotada por

so, respectivamente, os valores mnimo e mximo das , , e so chamados de curvaturas principais de chamado a curvatura Gaussiana de e . A mdia . , com , , chamada de curvatura mdia de

e denotada por Se

uma base arbitrria de

ento , , , , ou seja, . Calculando o determinante de ambos os membros da equao acima, obtemos: . (+)
28

Observao: No plano, todas as direes em todos os pontos so principais, o mesmo com uma esfera (segunda forma fundamental, restrita a vetores unitrios, constante). No cilindro os vetores fornecem as direes principais em , correspondendo s curvaturas principais 1 e 0, respectivamente. No parabolide hiperblico, os eixos esto nas direes principais com curvaturas principais 2 e -2, respectivamente. Definio 5: Se uma curva regular e conexa C em S tal que para todo a reta tangente a C uma direo principal em , ento dizemos que C uma linha de curvatura de S. Proposio 3: (Olinde Rodrigues). Uma condio necessria e suficiente para que uma curva conexa e regular seja uma linha de curvatura de S que

para qualquer parametrizao funo diferencivel de t. Nesse caso, Demonstrao: Basta observar que se ento um auto-vetor de e

onde uma a curvatura principal segundo est contido em uma direo principal, .

Definio 6: Um ponto 1. 2. Hiperblico se 3. Parablico se 4. Planar se 5. Umblico se

de uma superfcie S chamado

em ; em particular os pontos planares so umblicos.

Observao: Pontos elpticos possuem curvatura Gaussiana positiva (pontos de uma esfera). Pontos Hiperblicos possuem curvatura Gaussiana negativa(ponto (0,0,0) do parabolide hiperblico). Pontos parablicos possuem curvatura Gaussiana nula, mas uma das curvaturas principais diferente de zero(pontos de um cilindro).Pontos planares apresentam todas as curvatura principais nulas(pontos de um plano). A proposio seguinte nos d uma classificao das superfcies umblicas, i.e., aquelas cujos pontos so todos umblicos. Proposio 4: Seja uma superfcie regular conexa umblica. Ento, um subconjunto aberto de um plano ou um subconjunto aberto de uma esfera. Demonstrao: cf. [1], pg. 173, Proposio 4.

29

6.2.

A aplicao de Gauss em Coordenadas Locais

Obteremos aqui as expresses da segunda forma fundamental e da diferencial da aplicao de Gauss em um sistema de coordenadas locais. Dado uma parametrizao em um ponto de uma superfcie S, seja uma curva parametrizada em S, com . Para simplificar a notao, convencionaremos que todas as funes que aparecem abaixo indicam seus valores no ponto O vetor tangente a em p e

Como

pertencem a

, podemos escrever

. Portanto, , isto ,

Isto mostra que, na base { dada pela matriz ( esta matriz no necessariamente simtrica, a no ser que { ortonormal.

Note que seja uma base

Por outro lado, a expresso da segunda forma fundamental na base { dada por

, onde, , ,

, acima determinados, so chamados os coeficientes da segunda forma fundamental de S relativo parametrizao . As constantes

30

Encontrando os valores de (

, chegamos a seguinte matriz: (*)

E da decorrem as seguintes expresses para os coeficientes ( na base { :

da matriz de

As equaes acima so conhecidas como equaes de Weingarten. Da equao (*) obtemos:

Para o clculo da curvatura mdia, lembremos que

e ,

satisfazem equao

para algum

no

onde I aplicao identidade. Decorre que a aplicao linear invertvel logo, tem determinante nulo. Assim, , ou seja, . Como so as razes da equao quadrtica acima, conclumos que

donde

e, portanto,
31

A partir da relao acima, segue-se que, escolhendo as funes so contnuas em S. Alm disso, so diferenciveis em S, com a possvel exceo dos pontos umblicos de S. Proposio 1: Seja um ponto elptico de uma superfcie S. Ento existe uma vizinhana em S tal que todos os pontos de V esto do mesmo lado do plano tangente Seja um ponto hiperblico. Ento em cada vizinhana de existem pontos de ambos os lados de . Demonstrao: conferir na pg.186 de [1]. Observao: Uma curva regular conexa em uma vizinhana coordenada de uma linha de curvatura se e somente se para uma parametrizao qualquer de temos: . Segue-se que as funes , satisfazem o sistema de equaes: , . Eliminando curvatura, no sistema acima, obtemos a equao diferencial das linhas de

Utilizando o fato das direes principais serem ortogonais, decorre da equao acima que uma condio necessria e suficiente para que as curvas coordenadas de uma parametrizao sejam linhas de curvatura que . Exemplo 1: Considere a superfcie de revoluo parametrizada por . Os coeficientes da primeira forma fundamental so dados por . Convm supor que a curva geratriz parametrizada pelo comprimento de arco, isto , que . O clculo dos coeficientes da segunda forma fundamental fornece .
32

Como ( vista que

, conclumos que os paralelos ( ) e os meridianos de uma superfcie de revoluo so linhas de curvatura. Tendo em

e que positiva, segue-se que os pontos parablicos so dados por (a reta tangente curva geratriz perpendicular ao eixo de revoluo) ou (a curvatura da curva geratriz zero). Um ponto que satisfaz s duas condies um ponto planar, j que essas condies implicam que . Convm exibir ainda uma outra expresso para a curvatura Gaussiana. Diferenciando , obtemos . Assim, . A equao acima uma expresso conveniente para a curvatura Gaussiana de uma superfcie de revoluo. Para o clculo das curvaturas principais, faremos primeiro uma observao geral: se a parametrizao de uma superfcie regular tal que

, ento as curvaturas principais so dadas por


a curvatura Gaussiana e a curvatura mdia so dadas por . A nossa afirmao decorre imediatamente do fato de das curvaturas principais.

e . De fato, nesse caso,

ser o produto e

a soma

Assim, as curvaturas principais de uma superfcie de revoluo so dadas por

, da, a curvatura mdia de uma tal superfcie .

Proposio 2: Seja p um ponto de uma superfcie S tal que a curvatura Gaussiana , e seja V uma vizinhana conexa de p onde no muda de sinal. Ento

33

Onde A a rea de uma regio A B aplicao de Gauss , o limite tomado atravs de uma seqncia de regies que convergem para p, no sentido em que toda esfera centrada em p contm todos os pontos , para suficientemente grande.

6.3.

Superfcies Regradas e Superfcies Mnimas

Este tpico ser destinado ao estudo da teoria das superfcies regradas e a uma introduo teoria das superfcies mnimas. Definio 1: Uma famlia diferencivel a 1-parmetro de retas uma correspondncia que associa a cada um ponto e um vetor , tais que ambos sejam diferenciveis em . Para cada , a reta passando por e que gerada por chamada a reta da famlia em . Dada uma famlia a 1-parmetro de retas parametrizada , , a superfcie

chamada superfcie regrada gerada pela famlia . As retas so chamadas as geratrizes, e a curva chamada uma diretriz da superfcie . A expresso superfcie regrada s vezes usada significando o trao de . Deve-se observar que estamos admitindo a possibilidade de que tenha pontos singulares, isto , pontos onde . Exemplo 1: O exemplo mais simples se superfcie regrada o plano, onde uma reta e constante, para todo .

Exemplo 2: Outros exemplos simples de superfcies regradas so as superfcies tangentes a uma curva regular, os cilindros e os cones. Um cilindro uma superfcie regrada gerada por uma famlia a 1-parmetro de retas , onde est contida em um plano paralelo a uma direo fixa em . Um cone uma superfcie regrada gerada por uma famlia onde e todas as geratrizes passam por um ponto . Exemplo 3: O helicide (cf. exemplo 2, Seo 5.4) uma superfcie regrada, gerada pela famlia , onde uma hlice e so direes ortogonais ao eixo da hlice, passando por cada ponto de .

34

Exemplo 4: Sejam o crculo unitrio no plano-xy, e parametrizao de pelo comprimento de arco. Para cada , seja , onde o vetor unitrio do eixo . Ento ,

uma

uma superfcie regrada. Podemos coloc-la em uma forma mais familiar escrevendo

e observando que . Isto mostra que o trao de um hiperbolide de revoluo. interessante observar que se tomarmos , teremos novamente a mesma superfcie. Isto mostra que o hiperbolide de revoluo tem duas famlias geratrizes. Proposio 1: Se S uma superfcie regrada ento , para todo . Alm disso, se, e somente se, as retas forem linhas de curvatura de associadas curvatura principal 0. Demonstrao: Escolha um vetor unitrio de modo que reta que passa por contida em . Ento, derivando , em , obtemos: , onde e que . Alm disso, se, e somente se, , ou seja, as retas so linhas de curvatura de associadas curvatura principal 0. Definio 2: Uma superfcie parametrizada regular dita mnima se a sua curvatura mdia identicamente nula. Uma superfcie regular mnima se cada uma de suas parametrizaes mnima. Vamos agora introduzir a noo de variao, com o intuito de entender melhor a noo de superfcies mnimas. Seja domnio limitado uma superfcie parametrizada regular. Escolhendo um e uma funo diferencivel , onde a unio do
35

seja tangente

uma parametrizao pelo comprimento de arco da reta , com . Assim, se ortonormal, segue da frmula (+)

domnio D e sua fronteira aplicao dada por,

. A variao normal de

, determinada por , a

Para cada fixado, a aplicao dada por

uma superfcie parametrizada com , . Assim, denotando por , obtemos os coeficientes da primeira forma fundamental de , , . Utilizando o fato de que , e que a curvatura mdia dada por , obtemos

, onde . Segue-se que se suficientemente pequeno, de uma

superfcie parametrizada regular. Alm disso, a rea

36

onde derivada em

. Assim, se pequeno, A uma funo diferencivel e a sua


. (1)

Estamos agora preparados para justificar o uso da palavra mnima em conexo com as superfcies com curvatura mdia nula. Proposio 2: Seja uma superfcie parametrizada regular e seja um domnio limitado em . Ento mnima se, e somente se, para todo tal e toda variao normal de . Demonstrao: Se mnima, e claro que a condio satisfeita. Reciprocamente, suponha que a condio satisfeita e que para algum . Escolha tal que , , e seja identicamente nula fora de uma pequena vizinhana de . Ento para a variao determinada por essa funo , o que uma contradio. conveniente introduzir, para uma superfcie parametrizada regular, o vetor curvatura mdia definido por . O significado geomtrico da direo de pode ser obtido a partir da equao (1). De fato, escolhendo , temos que para essa variao particular, . Isto significa que se deformarmos na direo do vetor , a rea inicialmente decrescente. Agora vamos obter outra interpretao para o vetor curvatura mdia. Uma superfcie parametrizada regular chamada isotrmica se

Proposio 3: Seja que isotrmica. Ento

uma superfcie parametrizada regular e suponha ,

onde Demonstrao: Como Derivando, obtemos:

. isotrmica, e .

. Logo, .
37

Analogamente, . Segue-se que paralelo a . Como isotrmica, . Assim, ; donde, . Exemplo 5: A superfcie mnima mais simples o plano, pois como, suas curvaturas principais so nulas, temos que .

Exemplo 6: O helicide uma superfcie mnima. De fato, considerando uma hlice dada por o helicide pode ser parametrizado por . ,

Calculando os coeficientes das primeira e segunda forma fundamentais, obtemos:

. Portanto, pela frmula da curvatura mdia, obtemos superfcie mnima. , i.e., o helicide uma

Nosso objetivo agora provar que o helicide a nica superfcie mnima, alm do plano, que tambm regrada. Para isso, necessitamos de dois resultados. Proposio 4: Seja uma famlia de curvas com curvatura e toro no nulas. Suponha que toda reta normal a uma curva seja normal a todas as demais curvas da famlia. Ento, as curvas da famlia so hlices circulares. Demonstrao: Sejam escrever e duas curvas da famlia . Da hiptese, podemos

38

, onde n o vetor normal curva . Mostremos que constante. De fato como , temos

. Logo .

Considere ento e parametrizadas pelo comprimento de arco (denotaremos os comprimentos das curvas por , respectivamente). Sejam os vetores unitrios tangentes s respectivas curvas. Como

, temos: . Temos ento

e, consequentemente,

.
Tomando , segue que

onde e uma constante que depende somente de e do ngulo (constante) entre as curvas. Sejam ento e duas curvas distintas de (i.e., Conforme obtido, existem constantes e tais que

39

, observe que (caso contrrio, ). Diferenciando ambas as expresses, obtemos e . Portanto, e . Como a hlice circular satisfaz essas equaes, segue da unicidade do Teorema Fundamental da Teoria Local das curvas, as curvas de devem ser hlices. O segundo resultado nos d informaes sobre a curvatura gaussiana de uma superfcie mnima. Sua prova ser encontrada em [2]. Proposio 5: A curvatura Gaussiana de uma superfcie mnima no-positiva e, a menos que a superfcie seja um plano, os zeros de so pontos isolados. Podemos agora provar o seguinte: Teorema 1: O plano e o helicide so as nicas superfcies mnimas e regradas. Prova: Seja uma vizinhana da superfcie na qual . Como , coberta por duas famlias de curvas assintticas ortogonais em cada ponto de . Dado que a superfcie , por hiptese regrada, uma dessas famlias formada pelas geratrizes. Supondo que a superfcie no um plano, existe um tal que a curva assinttica em que no a geratriz tem toro que no se anula em (com efeito, dado que a curva assinttica tem curvatura no nula, por hiptese, pelo Teorema de Beltrami-Enneper, a toro dessa curva , em mdulo, igual a ). Dado que a curvatura normal na direo do vetor tangente a essa curva zero, as normais principais coincidem com as geratrizes da superfcie. Conforme a proposio 4, tais curvas assintticas devem ser hlices circulares. Como a toro dessa curva constante, toda a superfcie, supondo-a contnua, deve estar contida em um helicide. Exemplo 7: O catenide, parametrizado por h com h

e , a superfcie de rotao obtida pela rotao da catenria em torno do eixo-z. Um clculo simples mostra que h ,

e . Assim, usando a Proposio 3, conclumos que , ou seja, o catenide uma superfcie mnima. O catenide caracterizado como a nica superfcie de rotao que mnima.

40

A afirmao acima pode ser provada da seguinte maneira. Queremos encontrar uma curva tal que, ao ser girada em torno do eixo , descreva uma superfcie mnima. Como os paralelos e meridianos de uma superfcie de revoluo so linhas de curvatura da superfcie, necessrio que a curvatura da curva seja o negativo da curvatura normal do crculo gerado pelo ponto . Como a curvatura de

e a curvatura normal do crculo a projeo da sua curvatura usual ( vetor normal superfcie, obtemos . Mas , e como , obtemos

) sobre o

,
como a equao a ser satisfeita pela curva . claro que existe um ponto onde . Trabalharemos em uma vizinhana deste ponto onde . Multiplicando ambos os membros da equao acima por , obtemos

.
Colocando , logo , temos , que, por integrao, nos d, sendo uma constante:

ou . Essa ltima expresso pode ser escrita como , que, novamente por integrao, nos d, sendo c uma constante: h
41

ou h .

Assim, em uma vizinhana de um ponto onde , a curva uma catenria. Mas ento pode ser zero apenas para , e se queremos uma superfcie conexa, ela , por continuidade, um catenide, como havamos afirmado.

42

7.

Bibliografia
[1] do Carmo, M., Geometria Diferencial de Curvas e Superfcies, SBM,2005. [2] OSSERMAN, R., A survey of minimal surfaces, Mineola, New York: Dover, 2002. [3] K. Tenemblat, Introduo Geometria Diferencial, 2 edio, Ed. Edgard Blucher, 2006. [4] Lima, E. L., Curso de Anlise, vol. 2, Projeto Euclides, IMPA, 1981. [5] Lima, E. L., lgebra Linear, Coleo Matemtica Universitria, IMPA, 1996. [6] Struik, D.J., Lectures on Classical Differencial Geometry, Addison-Wesley, Reading, Mass., 1950.

43