Escolar Documentos
Profissional Documentos
Cultura Documentos
ao `
a Geometria Diferencial
Rui Albuquerque
Pref
acio
O presente trabalho pretende fazer uma apresentac
ao breve e o mais consistente possvel, das
ideias, conceitos e instrumentos que hoje em dia se utilizam e fazem progredir o estudo da
geometria. Mais especficamente, do ramo que e hoje conhecido por geometria diferencial.
Pensamos, naturalmente, que o estudo da geometria nao se pode circunscrever a nenhuma
teoria u
nica ou tratado global e final, e que tambem neste campo da criac
ao humana e
conhecimento cientficos as ideias fluem de forma diversa e tem de ser, e sao, aprendidas de
muitas maneiras. Tanto da parte dos que ensinam como daquela dos que aprendem.
Sem d
uvida, a geometria diferencial joga um papel excepcional, mesmo na matematica
toda se tal se pudesse considerar, porque afinal ela conjuga muitas e variadssimas das
materias da algebra e da analise. Aparece nas soluc
oes de problemas de varias vari
aveis reais
ou complexas, tratadas como espacos geometricos de dimensao qualquer, ou nos problemas
de variaveis discretas, tratadas como abstracc
oes das anteriores (referimo-nos `as variedades
algebricas); informa-nos sobre as propriedades intrnsecas da morfologia do espaco e suas
medidas. Esse e precisamente o caso do globo terrestre como o nome geo+metriaindica.
A geometria diferencial obriga a profunda reflexao sobre os conceitos e leva-nos a formulac
ao
de novas ideias e teorias, `a descoberta de estruturas geometricas antes nao imaginadas ou
sequer procuradas. E finalmente remete-nos para o puro gozo da busca da demonstrac
ao
ou para o recolhimento na procura da mais sincera construc
ao estetica ou da abstracc
ao
intelectual.
Numa interpretacao livre e pessoal da influencia da matematica sobre tudo o que ao
homem diz respeito, a geometria mostra-nos de forma clarividente a forca de uma teoria,
o poder das ideias consolidadas pelo pensamento e ind
ustria humanos na descoberta e
explicacao da realidade que nos rodeia ou como utenslio para a transformar; porque tem
de facto uma correspondencia com a Natureza. Por exemplo, quando falamos da esfera
de dimensao quatropodemos nao saber para o que servem os resultados a que chegamos,
ainda que estes nos permitam de imediato intuir novos caminhos a perseguir dentro da
matematica. Mas um fsico teorico podera utilizar qualquer dos nossos teoremas para
explicar uma experiencia que ocorra num espaco-tempo com condic
oes de curvatura nula
na fronteirae que ele compactificanaquela esfera (ver [Ati79]). A realidade encarrega-se
de mostrar que ambos tinham razao, Fsicos e Matematicos, mas cada um nos seus domnios
e com os seus criterios de verdade assim se tem verificado atraves da historia, de forma
iii
iv
mais preponderante desde que Newton e Leibniz descobriram o calculo diferencial e com
que benefcios! Reafirmamos pois, com confianca num futuro sempre inteligvel e sempre
mais humano, que a geometria diferencial consolida a nossa certeza nos valores do ensino,
da ciencia e da arte, como instrumentos para a elevac
ao da cultura de cada um e melhoria
da condicao e liberdade de todos.
Este livro tem por primeiro objectivo o ensino. Em particular uma apresentac
ao da
geometria diferencial moderna aos alunos dos cursos de matematicas aplicadas da Universi
dade de Evora,
que esperamos cativar para o prosseguimento do estudo no curso do quarto
ano Analise em Variedades.
Tem tambem o objectivo de dar um contributo, ou afirmar a necessidade de, elevar o
grau de conhecimento da geometria e o esforco da sua divulgac
ao em Portugal e entre os
estudantes que nao abdicam de estudar em portugues.
Aparte tudo o que ja se disse de subjectivo, importa estar avisado que os resultados que
se apresentam sao fruto de aturada e persistente busca dos seus autores, pelo que poderao
ser compreendidos sempre melhor se o estudante os acompanhar com incentivo, desejo,
abnegacao e muita vontade crtica.
Conte
udo
Introdu
c
ao
1 Material preparat
orio
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
5
7
9
9
13
14
17
17
19
25
25
25
27
29
30
37
40
44
.
.
.
.
.
.
.
53
53
54
55
58
61
61
64
2.3
2.4
2.5
3 Aplica
c
oes cl
assicas
3.1 Grupos de Lie e algebras de Lie . . . . . . . . . . . .
3.2 Accoes de grupos de Lie em variedades . . . . . . . .
3.2.1 Variedades homogeneas . . . . . . . . . . . .
3.2.2 Variedades quociente . . . . . . . . . . . . . .
3.3 Variedades orientaveis . . . . . . . . . . . . . . . . .
3.3.1 Orientacao de um espaco vectorial . . . . . .
3.3.2 Orientacao de uma variedade diferenciavel . .
3.4 Introducao `a geometria riemanniana . . . . . . . . .
3.4.1 Espacos com produto interno . . . . . . . . .
3.4.2 Variedades riemannianas . . . . . . . . . . . .
3.5 Breve referencia ao estudo das curvas . . . . . . . . .
3.5.1 Definicoes gerais em variedades riemannianas
3.5.2 Estudo local das curvas em R3 ; a curvatura .
3.5.3 Formulas de Frenet-Serret . . . . . . . . . . .
Bibliografia
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
70
70
71
77
77
79
82
83
87
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
93
102
102
107
112
112
113
116
116
120
122
122
123
126
127
Introduc
ao
Este livro de matematica esta pensado da seguinte maneira.
Destina-se a alunos do terceiro ano de uma licenciatura em matematica, que se supoe
ja terem tido contacto razoavel mas nao amadurecido com os temas expostos no primeiro
captulo. Nomeadamente a algebra linear e um pouco da teoria dos grupos, o calculo
diferencial em varias variaveis ate aos teoremas da func
ao implcita e da func
ao inversa, a
topologia e a metrica. Claro que nestes vastos campos se intersecta aqui ou ali com pontos
centrais da analise funcional que o leitor pode estranhar nao serem perseguidos com a mesma
o caso, por exemplo, dos espacos completos1 . E
que pretendemos avancar
profundidade. E
pelas aguas mais calmas desse rio turbulento que e a topologia e a analise para chegar ao
vasto oceano da geometria, onde perigos nao menos avultosos nos poderao surpreender.
Enfim, para ir ao mar convem aprender a nadar.
No captulo 1, a par do material apresentado que deve ser conhecido, tambem se prepara
o caminho para alguns pontos especficos da geometria. Logo no incio, a colecc
ao de
resultados sobre espacos vectoriais dara lugar mais tarde a construc
oes analogas na teoria
dos fibrados vectoriais. Depois, o teorema dos espacos metricos que relaciona conceitos como
(pre-)compacto, completo, limitado, fechado e existencia de subsucessoes convergentes, e
apresentado tendo em vista dar um bom avanco ao leitor no caminho que leva ao teorema
de Hopf-Rinow da geometria riemanniana, que infelizmente ainda esta muito alem das
possibilidades este livro. O conjunto de teoremas sobre topologia mais avancada tem em
vista a introducao de particoes da unidade nas variedades, embora por esta altura apenas
de classe C 0 . O calculo diferencial e exposto da forma mais sucinta que se encontrou. Por
exemplo o teorema de Schwarz podia ser mais facilmente demonstrado se se aligeirasse as
que a demonstrac
hipoteses e introduzisse o integral de Riemann e o teorema de Fubini. E
ao
que se apresenta e que vimos em [DA89] nao pede a continuidade das segundas derivadas,
aparecendo como um resultado de natureza pontual. No fim do captulo 1 temos os famosos
teoremas da funcao inversa e da funcao implcita, que nos permitirao juntamente com os
teoremas da derivada injectiva ou da derivada sobrejectiva, produzir novas variedades ora
por imagem directa ora por imagem recproca.
No segundo captulo temos uma introduc
ao `as variedades que julgamos a mais indicada
1
Pode o leitor interessado ver satisfeita, em parte, a sua curiosidade ficando a conhecer que existe tambem
uma geometria diferencial em dimens
ao infinita, onde se estudam as variedades de Banach, i.e. modeladas
num espaco vectorial de Banach.
Introducao
para os estudantes do terceiro ano. Note-se que a materia central deste livro e precisamente
o estudo das variedades. A nossa introduc
ao permite fazer construc
oes como a garrafa de
Klein que nao sao de descricao facil como subvariedades do espaco euclideano.
Tambem a introducao do espaco tangente se pensa ser a mais conveniente. Vamos do
global, ao local e finalmente ao pontual. Consideramos que o que faz a diferenca em geometria sao as questoes globais, e com isto julgamos estar mais proximos tanto de uma das
perspectivas originais da teoria (aquela de matematicos como H. Weyl na Alemanha e E.
Cartan e A. Weyl em Francanos anos 20 do seculo passado) como das que fizeram escola
durante grande parte do seculo XX e ainda vigoram (as de H. Cartan, Grothendieck, M.
Atiyah). As questoes locais podem sempre ser vistas como questoes da analise e necessitam
de especial atencao no estudo da geometria riemanniana. Esta geometria, ja agora convem
explicar, centra-se no estudo das variedades munidas de uma metrica, i.e. medida de comprimento de vectores e angulos, que se admite poder ser vari
avel de espaco tangente para
espaco tangente. Este estudo antecede cronologicamente o das variedades, tendo surgido
com C. F. Gauss e B. Riemann. Mostrou a sua grandeza nos finais do seculo XIX com matematicos como T. Levi-Civita, Bianchi e Ricci e provou a sua importancia, entre outras,
com a teoria da Relatividade de Einstein que provou a existencia de curvatura no espacotempo (R4 ). Talvez o leitor reconheca a referencia aos exemplos classicos de curvatura 0, 1
e 1, respectivamente, no plano, na esfera e ponto-de-sela. Nos dois u
ltimos trata-se de
exemplos de geometrias nao euclideanas em dimensao dois.
Note-se que a ideia de variedade provem de conceitos fsicos bem reais. Mas se a variedade por vezes tem uma existencia real concreta, o mesmo nao se passa com o espaco
tangente, que sendo uma abstraccao um passo acima, pode ser considerada de diversas
maneiras consoante o gosto do professor ou a necessidade do investigador. Ou seja, o espaco
tangente tem de ser construdo pelo matematico que estuda variedades; ele nao surge de
forma natural. Assim considerando, o que procuramos fazer no captulo 2 deste livro foi
que essa construcao fosse tanto o menos penosa possvel e a mais facil de intuir para o
leitor, como aquela que permitisse fazer as demonstrac
oes dos resultados seguintes com o
indispensavel rigor que se reserva para a matematica.
Captulo 1
Material preparat
orio
1.1
Algebra
linear
Comecamos por recordar alguns fundamentos da geometria cartesiana no quadro mais vasto
da algebra linear. Assumimos que o leitor domina as bases da teoria das matrizes, ate `a
teoria dos determinantes. Uma optima referencia para esta materia e [DA83]. Ao longo
desta seccao K designa um corpo.
1.1.1
Espa
cos vectoriais e aplicac
oes lineares
( + )v = v + v,
(u + v) = u + v,
1v = v
(1.1)
(1.2)
v .
(1.3)
Uma famlia minimal geradora de V chama-se uma base de V . Os vectores de uma base
sao portanto linearmente independentes. Se uma base existe e forem em n
umero finito os
seus elementos, dizemos que V tem dimens
ao finita; senao V tem dimens
ao infinita.
Se V tem dimensao finita, entao quaisquer duas bases tem o mesmo n
umero de elementos
(a demonstracao deste facto nao e nada imediata); n
umero esse designado por dimens
ao
de V ou, abreviando, dim V .
Sejam V, W dois espacos vectoriais sobre o mesmo corpo K. Uma func
ao f : V W
diz-se uma aplica
c
ao (K-)linear ou uma transforma
c
ao linear, se
f (u + v) = f (u) + f (v),
f (v) = f (v)
(1.4)
1.1 Algebra
linear
1.1.2
Constru
c
ao de espacos vectoriais
(1.5)
V W = v + w : v V, w W .
(1.6)
que nao e mais que o produto cartesiano V W . Convem-nos porem utilizar a notac
ao
aditiva, pelo que se atribui o nome de soma directa `aquele conjunto, munido da operac
ao
+
(v1 + w1 ) + (v2 + w2 ) = v1 + v2 + w1 + w2 ,
(1.7)
onde v1 + v2 esta em V e w1 + w2 esta em W , e da operac
ao produto por escalar
(v + w) = v + w.
(1.8)
facil verificar que a soma directa de V e W e um novo espaco vectorial sobre K, cuja
E
dimensao e finita e igual `a soma das dimensoes de V e de W se estas forem finitas. V
introduz-se de forma unvoca e linear na soma directa, e esta projecta-se de novo em V
tambem de modo linear. Claro que V W ' W V .
Seja F V um subespaco vectorial de V . Suponhamos que e imposta a relac
ao em
V:
u v se v u F.
(1.9)
(u + F ) = u + F.
(1.10)
ker f = v V : f (v) = 0
(1.12)
e um subespaco vectorial de V chamado n
ucleo ou kernel de f . Verifica-se sem dificuldade
que f e um monomorfismo se, e so se, ker f = 0. Tambem a imagem de f
imf = f (V ) = f (v) : v V
(1.13)
e um subespaco vectorial de W .
Teorema 1.1.1 (do isomorfismo). Nas condico
es anteriores, suponhamos ainda V, W de
dimens
ao finita. Existe ent
ao um isomorfismo
: V / ker f ' imf.
(1.14)
m
X
bij e0j .
(1.15)
j=1
Donde, a cada escolha de um par de bases temos uma e uma so matriz associada `a aplicac
ao
n
linear dada. Em suma, se fixarmos uma base teremos um isomorfismo V ' K ; se fixarmos
tambem uma base de W teremos um isomorfismo L(V, W ) ' L(Kn , Km ) ' Mnm (K), o
espaco das matrizes n por m e coeficientes em K.
Contudo, para os fins da geometria diferencial, o estudo de Kn e das matrizes nao se
pode identificar com o estudo dos espacos vectoriais e aplicac
oes lineares.
Exerccios
2
1.2 Topologia
7. Dado X Mnn (C), seja X = X . Mostre que Mnn (C) e soma directa (sobre R)
dos subespacos vectoriais reais das matrizes X tais que X = X (matriz hermtica)
e das matrizes Y tais que Y = Y (matriz anti-hermtica).
1.2
Topologia
1.2.1
Espa
cos topol
ogicos
(1.16)
10
(1.17)
facil mostrar que a topologia gerada por B coincide com a original. Estas duas u
E
ltimas
assercoes provam que uma topologia em X fica bem determinada se conhecermos um sistema fundamental de vizinhan
cas de cada um dos seus pontos, isto e, um sistema Bx
3
11
1.2 Topologia
V3,,0 ,
(1.18)
,0 xV1, V2,0
onde os V3,,0 sao dados por (ii), o que prova que qualquer intersecc
ao finita de abertos e
um aberto.
Um subespa
co topol
ogico do espaco topologico X e um subconjunto Y de X munido
da topologia induzida, isto e, os abertos de Y sao intersecc
oes de Y com abertos de X.
4
Enumer
avel , numer
avel ou ainda cont
avel s
ao palavras sin
onimas e significam que se pode contar, isto
e, que um dado conjunto e finito ou que est
a em correspondencia biunvoca com os n
umeros naturais.
12
13
1.2 Topologia
1.2.2
Aplica
c
oes contnuas
(1.19)
Uma vez que o conjunto f 1 (Y \A) e composto de elementos de X que tem imagem
em Y e nao em A, ou seja, e igual a f 1 (Y )\f 1 (A), qualquer que seja o subconjunto A,
tambem podemos enunciar a proposicao anterior dizendo que f e contnua em X se, e so se,
a imagem inversa de um fechado em Y e fechada em X. Supondo dadas func
oes contnuas
g : Y Z e f : X Y , ve-se logo, pela proposic
ao, que g f : X Z e uma func
ao
contnua. Outra propriedade notavel e a que segue.
Proposi
c
ao 1.2.6. Se f : X Y e contnua e X e conexo, ent
ao f (X) com a topologia
induzida de Y e conexo.
Demonstrac
ao. Seja Z f (X) um subconjunto simult
aneamente aberto e fechado, nao
0
00
vazio. Existem entao um aberto Z e um fechado Z de Y tais que Z = f (X) Z 0 =
f (X) Z 00 , como exigem as definicoes. De tais subconjuntos Z 0 e Z 00 descobre-se logo que
as suas imagens inversas sao iguais `a imagem inversa de Z por f . Assim f 1 (Z) = X, por
este ser conexo; o que implica por outro lado que Z = f (X).
14
Proposi
c
ao 1.2.7. Seja f : X Y uma func
ao contnua com espaco de chegada de
Hausdorff. Se X e compacto, ent
ao f (X) com a topologia induzida de Y e compacto.
Com a conhecida topologia da recta real gerada pelos intervalos abertos, temos o importante resultado seguinte generalizando outro de Weierstrass:
Corol
ario 1.2.1 (Weierstrass). Seja f : X R uma func
ao contnua sobre um espaco X
compacto. Ent
ao f admite um m
aximo e um mnimo.
1.2.3
Duas u
ltimas definicoes que permitem produzir novos espacos. Dados dois espacos topologicos X e Y consideramos no produto cartesiano X Y a topologia produto, que e
gerada pelos produtos cartesianos U V de abertos U em X e V em Y . Daqui resulta sem
dificuldade que as duas projeccoes 1 : X Y X e 2 : X Y Y s
ao contnuas e
abertas. Tambem, por exemplo fixando x X, a inclusao
Y X Y
y 7 (x, y)
(1.20)
15
1.2 Topologia
Agora, a famlia dos Ux forma uma cobertura aberta de X, pelo que podemos extrar uma
subcobertura finita Ux1 , . . . , Uxl . Daqui resulta que a famlia finita {Wxj }, j = 1, . . . , l, i =
i
1, . . . , kx , forma uma subcobertura de X Y , como queramos. Deixamos como exerccio a
demonstracao de que, se X, Y sao conexos, ent
ao o produto cartesiano e conexo.
Exerccios
1. Seja B a base de uma topologia A. Mostre que a topologia gerada por B coincide
com A.
2. Sejam A, B dois subconjuntos conexos de um espaco topologico X. Mostre que A B
e conexo se, e so se, A B 6= ou A B 6= . (Referimo-nos `a topologia induzida).
3. Sejam A, B subconjuntos de um espaco topologico X. Suponha A conexo e A B
A. Mostre que B e conexo. Conclua que A e conexo.
4. Seja f : X Y uma aplicacao entre dois espacos topologicos. Seja B uma base de Y .
Prove que f e contnua se, e so se, f 1 (U ) e aberto qualquer que seja U B.
5. Demonstre as proposicoes 1.2.6 e 1.2.7. Agora, sejam X compacto, Y de Hausdorff e
f : X Y bijectiva e contnua. Prove que f e um homeomorfismo.
6. Descreva a topologia produto de Rn . Mostre que as func
oes (u, v) 7 u + v e (, u) 7
n
u sao contnuas, u, v R , R. Caso n = 1, mostre que u/v e contnua (v 6= 0).
16
17
1.3
Espacos m
etricos
A materia apresentada nesta seccao e um subcaptulo da anterior, cujo interesse sera obvio
quando construirmos metricas sobre certos espacos da geometria riemanniana. A teoria
mais geral dos espacos topologicos permite uma introduc
ao rapida dos espacos metricos,
mas uns e outros mais tarde e que se revelar
ao.
1.3.1
No
c
oes principais
(simetria),
(desigualdade triangular ),
(1.21)
18
Todo o espaco metrico e de Hausdorff. Mais ainda, todo o espaco metrico e normal,
ie. e um espaco topologico de Hausdorff tal que quaisquer dois fechados disjuntos possuem
vizinhancas disjuntas. Em geral, um qualquer espaco topologico diz-se metris
avel se a
sua topologia provem de uma metrica. Se isto acontece, ent
ao ele tem de ser normal e
verificar o primeiro axioma da enumerabilidade: todo o ponto tem um sistema fundamental
de vizinhancas enumeravel.
Ja vimos que um espaco topologico com base numer
avel e separavel. No captulo dos
espacos metricos tem-se a recproca.
Proposi
c
ao 1.3.2. Um espaco metrico X tem uma base numer
avel se, e s
o se, X e separ
avel.
19
Demonstrac
ao. Suponhamos que X e separavel, ou seja, existe {xn }nN subconjunto denso
em X. Podemos entao considerar a base de X definida por
1
) : n, m N
B(xn , m
que e numeravel porque N N e equipotente a N.
(1.23)
1.3.2
Espa
cos m
etricos completos
Nos espacos metricos convem abordar as questoes relacionadas com infinitesimos. Dado
um tal espaco X, munido da habitual distancia d, dizemos que uma sucessao {xn }nN de
pontos7 de X converge para x X se d(xn , x) 0 (aqui trata-se da convergencia na
um exerccio, quase
topologia de R). Tambem se pode dizer que x e o limite de xn . E
imediato, verificar que S = {xn }nN X contem alguma subsucessao8 convergente se, e so
se, S admite algum ponto de acumulac
ao.
Numa sucessao convergente os seus pontos aproximam-se uns dos outros, tendo por
limite um determinado ponto. Podemos supor, contudo, que existem sucessoes cujos termos
6
20
se aproximam uns dos outros e das quais se desconhece `a partida se tem ou nao limite. Sao
as chamadas sucess
oes de Cauchy {xn }nN em X:
> 0, p : n, m > p d(xn , xm ) < .
(1.25)
[
X\Sk ,
X=
k=1
(1.26)
Mas isto e absurdo, porque, sendo ki = max{k1 , . . . , kl }, vemos que Ski nao esta contido
no lado direito da igualdade (1.26). S tem de ter algum ponto de acumulac
ao; logo de S
podemos extrair uma subsucessao convergente.
imediato que X e completo, pois uma sucessao de Cauchy, admitindo por
(ii)(iii) E
hipotese uma subsucessao convergente, tem de convergir e para o mesmo limite.
Provemos agora que X e pre-compacto. Seja um real > 0 qualquer. Escolhamos
x1 X, x2 X\B(x1 , ), x3 X\(B(x1 , ) B(x2 , )) e assim por diante. Supondo que
nao se tem pre-compacidade, podemos construir uma sucessao {xn }nN tal que
xn+1
/ B(x1 , ) . . . B(xn , ).
(1.27)
21
Existe, por hipotese, uma subsucessao {xnk }kN da sucessao construda, que e convergente.
Chamando x
X ao seu limite, existe ent
ao uma ordem k0 tal que xnk B(
x, /2), k > k0 .
Mas entao teremos de ter xnk+1 B(xnk , ), porque
d(xnk+1 , xnk ) d(xnk+1 , x
) + d(
x, xnk ) < ,
em contradicao com (1.27).
(iii)(i) Suponhamos que X e pre-compacto e completo. Do lema 1.3.1 vem que X e separavel. Da proposicao 1.3.2 resulta ent
ao que X tem uma base numer
avel, e da proposic
ao
1.2.2 concluimos que nos basta considerar coberturas abertas de X enumer
aveis, para ver
que X e compacto.
Tal como as anteriores, esta demonstrac
ao far-se-a por reduc
ao ao absurdo. Seja X =
n Un uma cobertura enumeravel qualquer. Pensando naquela reuniao como
X=
[
n
[
Ui ,
n=1 i=1
(1)
X = B(y1 , 12 ) . . . B(yk1 , 21 ),
(1)
por X ser pre-compacto. Segue que S tem uma parte infinita S 1 nalgum B(yi1 , 21 ). Usando
de novo a pre-compacidade de X e excluindo logo as bolas distantes, vemos que se pode
considerar de novo uma uniao finita
(1)
(2)
(2)
(1)
e deduzir que S 1 tem uma parte infinita S 2 nalgum B(yi2 , 41 ). Podemos assim construir
uma sucessao de subconjuntos infinitos
(m1)
(m)
1
S m B(yim , 21m ) B(yim1 , 2m2
).
(m)
(p)
(q)
Como os pontos yim se aproximam uns dos outros, d(yip , yiq ) <
(m)
{yim }
1
2p2
se q > p, e como
X\Un .
n=1
22
(1.28)
I = Ze1 + + Zen .
4
4
Existe um subconjunto finito I = {yi } contido em I tal que A yi I B(yi , /2), porque
A e limitado. Supomos desde ja que cada uma das bolas tem intersecc
ao nao vazia com A.
Assim, para cada yi I podemos escolher xi B(yi , /2) A. Ent
ao a uniao das bolas
B(xi , ) cobre A, pois sendo a A, existe algum yi I tal que d(yi , a) < /2. Logo
d(xi , a) d(xi , yi ) + d(yi , a) <
+ =
2 2
como queramos. Encontramos uma cobertura finita formada de bolas de raio ; esta provado
que A e pre-compacto. Como tambem e completo, concluimos que A e compacto pelo
teorema.
23
(1.30)
e um homeomorfismo.
Demonstrac
ao. Por linearidade e pelas observac
oes precedentes, e imediato verificar que
qualquer aplicacao linear e contnua se, e so se, ela e contnua no ponto 0. Vejamos ent
ao
que f e contnua em 0. Tem-se
0 kf (x)k
n
X
|xi |kvi k
i=1
pelo que o limite de f (x) quando x = (x1 , . . . , xn ) 0 e nulo, ou seja igual a f (0). Usando
o criterio dado no exerccio 1, conclumos que f e contnua.
Vejamos a continuidade de f 1 em 0 invocando o criterio anterior. Seja {v k } uma
sucessao em V tal que v k 0 e f 1 (v k ) = xk Rn . Podemos ja supor que todos os v k
sao nao nulos, ou que exclumos os vectores nulos daquela sucessao. Seja tk = max{|xki | :
i = 1, . . . , n}. Vamos denotar ainda pelo mesmo tk uma subsucessao dos tk , supondo que
existe, que nao tem 0 como ponto de acumulac
ao10 . Ent
ao
d
xk
, 0 = max i = 1.
i
tk
tk
xk
kv kj k
v kj
k tk k
0
=0
kuk
o que e absurdo. Concluimos que todas as subsucessoes tem 0 como ponto de acumulac
ao.
k
Pelo exerccio 2 resulta que a sucessao tk 0; o que implica que x tende para 0, como
queramos demonstrar.
10
24
Exerccios
1. Diz-se que uma sucessao S = {xn } num espaco topologico Y converge para x Y
se, vizinhanca V de x, p : n p xn V . Usa-se ent
ao a notac
ao xn x
ou lim xn = x. Suponha agora que Y e um espaco metrico. a) Mostre que as
duas nocoes de convergencia em Y j
a apresentadas coincidem. b) Mostre que uma
sucessao S = {xn } em Y tem alguma subsucessao convergente se, e so se, S admite
algum ponto de acumulacao. c) Prove que entre espacos metricos X, Y a continuidade
de uma funcao f : X Y num ponto a X e equivalente `a seguinte condicao:
{xn }, xn a f (xn ) f (a).
2. Prove que se S = {xn } e uma sucessao num espaco metrico e todas as subsucessoes
de S tem um mesmo ponto x S como ponto de acumulac
ao, ent
ao xn x.
3. Seja (X, d) um espaco metrico, A, B X. Mostre que se A B 6= , ent
ao d(A, B) =
0. Prove a recproca na hipotese de X ser compacto.
4. Seja V um espaco vectorial. Mostre que toda a norma definida em V induz uma
distancia em V (sugestao: reflectir sobre (1.28)). Com essa topologia prove que
(u, v) 7 u + v e (, v) 7 v sao contnuas. Mostre que k(x1 , . . . , xn )k = maxi |xi |
define uma norma em Rn e que a topologia dada por esta norma e a usual (e chamada
a norma do m
aximo).
5. Sejam U, V, W tres espacos vectoriais normados. Seja A L(V, W ) (espaco das
aplicacoes lineares de V para W ). Mostre que
kAk = sup kA(u)k
(1.31)
kuk=1
define uma norma no subespaco vectorial L(V, W ) = {A L(V, W ) : kAk < +}.
Mostre que kA(u)k kAkkuk, u V , e que, se B L(U, V ), ent
ao kA Bk
kAkkBk. Em tendo tempo, mostre ainda que
kAk = inf{a R+ : kA(u)k akuk, u V }.
(1.32)
25
8. Mostre que quaisquer duas normas k k1 , k k2 em V de dimensao finita sao equivalentes, ou seja, existem constantes a, b > 0 tais que akuk1 kuk2 bkuk1 (sugest
ao:
estude Id : V V ). Conclua pelo corolario 1.3.2 que V e completo. Mostre que se
L V e limitado numa norma, ent
ao e limitado na outra.
9. Estude a norma euclidiana em Rn dada por k(x1 , . . . , xn )k2 = x21 + + x2n .
1.4
Por vezes temos de ver as coisas com pormenor e com tempo; por exemplo para considerar
certas propriedades que sao satisfeitas apenas localmente este adverbio sera usado para
criar muitos substantivos , ou para encontrar condic
oes que permitam construir func
oes
entre espacos. Falamos de tempo, alem do mais, porque nesta secc
ao optamos por suprimir
as demonstracoes de certos resultados classicos, que para a geometria nos pareceram de
somenos importancia. O leitor sequioso de progredir na geometria podera dispensar, por
agora, a presente exposicao.
1.4.1
Duas quest
oes sobre conexos
(1.33)
1.4.2
V
arias propriedades definidas localmente
Seja de novo X um espaco topologico. Dizemos que X e localmente conexo (respectivamente, localmente conexo por arcos) se cada ponto tem um sistema fundamental de
26
vizinhancas conexas (respectivamente, conexas por arcos). Note-se que um espaco pode ser
conexo por arcos e nao ser sequer localmente conexo.
Proposi
c
ao 1.4.1. 1. Um espaco topol
ogico e localmente conexo se, e s
o se, as componentes
conexas de qualquer aberto s
ao abertas.
2. Um espaco topol
ogico conexo e localmente conexo por arcos e conexo por arcos.
Demonstrac
ao. 1. A condicao e necessaria: seja U um aberto, A uma das suas componentes
conexas e x A. Por hipotese, existe uma vizinhanca conexa de x contida em U . Logo
contida em A por definicao, donde A e aberto. A condic
ao e suficiente: tomamos para
sistema fundamental de vizinhancas de cada ponto x X as componentes conexas, que
contem x, dos abertos que contem x. Por hipotese elas sao abertas, logo vizinhancas de
cada um dos seus pontos.
2. Fixamos x e consideramos o conjunto
X0 = {y X : existe curva ligando x a y}.
X0 e nao vazio porque x X0 . A sua fronteira e vazia: se esta tivesse algum ponto z,
entao ligavamo-lo ao interior de X0 usando uma vizinhanca V de z conexa por arcos e logo,
por colagem de curvas, qualquer ponto de V seria a fortiori ligado a x. Isto prova que z
estaria no interior de X0 . Como X e conexo e X0 e aberto e fechado, X = X0 .
27
1.4.3
Espa
cos paracompactos
Eis a propriedade que interessa para o desenvolvimento da teoria das variedades topologicas, que afinal a satisfazem de forma muito natural. Esta propriedade previne a ocorrencia
de espacos com uma estrutura muito obstrusa, no sentido em que as func
oes reais e contnuas
deixam de ser raras. Da-se o nome de paracompacto a um espaco topologico X que e
de Hausdorff e tal que, para qualquer cobertura aberta de X, existe uma cobertura que
e ao mesmo tempo um refinamento daquela e localmente finita. Por exemplo, todos os
compactos sao paracompactos.
Apresentamos em seguida um conjunto de resultados fundamentais, cuja demonstrac
ao,
como dissemos, nao nos parece essencial para o que segue.
Teorema 1.4.1 (Dieudonne). Todo o espaco paracompacto e normal.
Teorema 1.4.2 (Dieudonne). Se X e localmente compacto e e a uni
ao numer
avel de subconjuntos compactos, ent
ao X e paracompacto. Em particular, todo o espaco localmente
compacto e com base numer
avel e paracompacto.
Teorema 1.4.3 (Urysohn). Seja X um espaco topol
ogico com base numer
avel. Tem-se que
X e normal se, e s
o se, X e metris
avel.
Teorema 1.4.4 (de extensao de Tietze-Urysohn). Seja Z um espaco metrico, A Z um
fechado e f uma aplicac
ao contnua e limitada de A em R. Ent
ao existe uma aplicac
ao
contnua f : Z R que coincide com f em A (uma extens
ao) e tal que
sup f = sup f,
Z
inf f = inf f.
Z
(1.34)
Corol
ario 1.4.1 (Urysohn). Seja Z um espaco metrico e sejam A, B Z dois fechados,
n
ao vazios e disjuntos. Ent
ao existe uma func
ao contnua f : Z [0, 1] tal que
f (x) = 1, x A,
f (x) = 0, x B.
(1.35)
Demonstrac
ao. Deduz-se este resultado aplicando o teorema anterior `a func
ao definida sobre
A B que vale 1 em A e 0 em B, e que e por isso contnua.
O lema de Urysohn tambem vale num espaco normal com base enumer
avel. A importancia de tomar a classe, com intersecc
ao mais restrita, dos espacos paracompactos
mostra-se a seguir. Vejamos mais um teorema devido a Dieudonne.
Teorema 1.4.5 (do encolhimento). Seja X um espaco normal. Seja I uma famlia de
ndices e {Ui }iI uma cobertura aberta e localmente finita de X. Ent
ao existe uma cobertura
aberta {Vi }iI de X tal que V i Ui , i I.
28
(1.36)
Este conjunto e portanto igual ao mais pequeno fechado fora do qual e nula.
Seja U = {Ui }iI uma cobertura aberta de um espaco topologico X. Uma famlia
{i }iI de funcoes reais definidas em X e contnuas
i : X R
(1.37)
A demonstracao do u
ltimo teorema encontra-se em [Hir95]; ver tambem [Hir95, Die44]
a proposito dos teoremas de J. Dieudonne. Referencias para o teorema de P. S. Urysohn
poderao ser encontradas em [KF82] e o teorema de Tietze-Urysohn esta demonstrado em
[Die66].
Exerccios
1. Verifique as condicoes de partic
ao da unidade das func
oes i encontradas na demonstracao do u
ltimo corolario.
2. Mostre que propriedades topologicas como compacto, conexo, separavel, localmente
conexo ou paracompacto sao invariantes por homeomorfismo. Encontre outras.
29
1.5
C
alculo diferencial
Esta seccao aborda os principais conceitos e teoremas do calculo diferencial, aqui servindo
para fundar a notacao e para posterior referencia.
O espaco vectorial Rn sobre o corpo dos n
umeros reais e um espaco metrico separavel e
completo, com a distancia d entre dois pontos x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) definida
por
p
d(x, y) = kx yk = (x1 y1 )2 + . . . + (xn yn )2 .
(1.38)
Com esta estrutura damos a (Rn , d) o nome de espa
co euclidiano. O surgimento da
notacao kk deve-se ao facto de aquela distancia provir de uma norma (ver exerccios 4,6,8,9
30
(1.39)
1.5.1
o(v)
=0
v0 kvk
lim
(1.41)
(neste limite e claro que se exclui v = 0). Multiplicando (1.41) por kvk, segue de imediato
que tambem se tem limv0 o(v) = 0 = o(0). A aplicac
ao linear e chamada aplica
c
ao
linear derivada, ou diferencial, de f em x e denota-se tanto por df (x) como por dfx .
A equacao (1.40) toma assim o aspecto
f (x + v) = f (x) + dfx (v) + o(v).
(1.42)
v0
11
v0
Relativamente a (1.40), e claro que se considera v suficientemente pequeno de tal modo que x + v ainda
est
a no domnio de f s
o se pretende caracterizar f numa vizinhanca de x. Note-se tambem que a equaca
o
serve para definir a funca
o o e que claramente , o poder
ao mudar de ponto para ponto, isto e, dependem
de x.
12
Relativamente a (1.41), note-se que, pelos exerccios sobre normas anteriormente referidos, fic
amos a
n
saber que todas as normas em R s
ao equivalentes, pelo que o limite ser nulo n
ao depende da norma
esta propriedade que faz
utilisada. Em particular, a noca
o de diferenciabilidade n
ao depende da metrica. E
a geometria diferencial ser independente da geometria riemanniana, onde a metrica em geral varia de
ponto para ponto.
31
entre outros, por todas as aplicacoes lineares entre espacos de dimensao finita serem contnuas.
(1.43)
(1.44)
+
0
(no caso n = 1, denotamos f
x (x) = dfx (1) por f (x)). Com efeito, fazendo v = tei , t R ,
vem que kvk = t e pelas definicoes vem que
1
1
f (x + tei ) f (x) = lim df (x)(tei ) + o(tei )
t0 t
t0 t
o(tei )
= lim df (x)(ei ) +
= df (x)(ei )
t0
t
lim
(1.45)
f g(x + v) = f (x + v)g(x + v) = f (x) + dfx (v) + o(v) g(x) + dgx (v) + o(v)
= f (x)g(x) + dfx (v)g(x) + f (x)dgx (v) +
+dfx (v)dgx (v) + o(v)g(x + v) + f (x + v)
o(v)
e, tendo em conta que f e g sao contnuas em x, deduz-se a diferenciabilidade de f g por se
verificar
dfx (v)dgx (v) + o(v)g(x + v) + f (x + v)
o(v)
v0
kvk
v
o(v)
o(v)
dgx (v) +
g(x + v) + f (x + v)
= 0.
= lim dfx
v0
kvk
kvk
kvk
lim
32
Note-se que os vectores v/kvk estao sobre a esfera S n1 de raio 1, sobre a qual df (x) tem
imagem limitada, e que usamos novamente a continuidade, como aplicac
oes lineares, dos
diferenciais de f e g. Cf. com exerccio 12 da secc
ao 1.2.
(1.47)
ou seja, para qualquer vector v tem-se a igualdade d(g f )x (v) = dgf (x) (dfx (v)).
Demonstrac
ao. Da hipotese de diferenciabilidade de f e g resulta
g f (x + v) = g(f (x) + dfx (v) + o(v))
= g(f (x)) + dgf (x) (dfx (v) + o(v)) + o(dfx (v) + o(v))
= g f (x) + dgf (x) (dfx (v)) + O(v),
onde o, o sao dados por (1.40), e satisfazem (1.41), e onde O(v) = dgf (x) (o(v)) + o(dfx (v) +
o(v)). Falta-nos entao verificar que O(v)/kvk e um infinitesimo com v. Ora, tomando o
limite em v e considerando desde ja que w(v) = dfx (v) + o(v) 6= 0 o u
nico obstaculo
relevante , vem que tambem w(v) 0 e
O(v)
v0 kvk
lim
1
dgf (x) (o(v)) + o(w(v))
v0 kvk
dgx (o(v)) o(w(v)) kw(v)k
= lim
+
v0
kvk
kw(v)k kvk
o(v) o(w(v))
v
+
= lim dgx kvk + kw(v)k dfx kvk
lim
v0
o(v)
kvk
= 0,
f
f
(x) + + vn
(x).
x1
xn
(1.48)
y = f1 (x1 , . . . , xn )
1
..
(1.49)
.
ym = fm (x1 , . . . , xn ).
33
n
n
X
f1
fm
=
vi
(x), . . . ,
vi
(x) .
xi
xi
i=1
(1.50)
i=1
Assim, a matriz da aplicacao linear df (x) : Rn Rm , nas bases canonicas, e dada pela
matriz das derivadas parciais
J(f ) =
f1
x1
fm
x1
f1
xn
(1.51)
fm
xn
a chamada matriz jacobiana de f . Mais ainda, depreende-se logo, observando as definicoes, que a diferenciabilidade de f em x e equivalente `a condic
ao de serem diferenciaveis
em x cada uma das componentes fj , 1 j m.
Em lugar de um exemplo, recuperando o enunciado do teorema 1.5.1 e fazendo
f (x1 , . . . , xn ) = (y1 , . . . , ym ),
(1.52)
g(y1 , . . . , ym ) = (z1 , . . . , zp )
temos a sugestiva equacao representando a regra da derivac
ao da func
ao composta
z1
x1
zp
x1
z1
xn
zp
xn
=
x
z1
y1
zp
y1
z1
ym
zp
ym
f (x)
y1
x1
ym
x1
y1
xn
ym
xn
(1.53)
(1.54)
se n = p = 1.
Repare-se que a aplicacao linear df (x) fica de facto determinada pelas derivadas parciais
mas a mera existencia destas nao implica que f seja diferenciavel em x esta
condicao e mais forte. Veja-se a este proposito o exerccio 1. Temos todavia o resultado
seguinte, muito u
til na pratica.
fi
xj (x),
34
Demonstrac
ao. Vamos assumir logo n = 2; porque o caso geral demonstra-se exactamente
da mesma forma, apenas com muito menos lisura na notac
ao. Suponhamos ent
ao que
f (x1 , x2 ) e uma funcao de duas vari
aveis admitindo derivadas parcias em U , e que, por
f
exemplo, x2 e aquela que e contnua no ponto dado, aqui denotado por a = (a1 , a2 ).
Definimos entao o diferencial de f em a exactamente como aquilo que desejamos que ele
seja:
f
f
(a) + v2
(a).
df (a)(v1 , v2 ) = v1
x1
x2
Recordemos que a existencia de derivadas parciais em U corresponde a podermos escrever
f
(x1 , x2 ) + o1 (t),
x1
f
f (x1 , x2 + t) = f (x1 , x2 ) + t
(x1 , x2 ) + o2 (t),
x2
f (x1 + t, x2 ) = f (x1 , x2 ) + t
1
lim
f (a + v) f (a) df (a)(v) = 0.
v0 kvk
Ora, sendo v = (s, t) R2 , vem
f (a + v) f (a) df (a)(v) = f (a1 + s, a2 + t)
f
f
(a1 , a2 ) t
(a1 , a2 )
x1
x2
f
f
f
f
=t
(a1 + s, a2 ) + o2 (t) + s
(a1 , a2 ) + o1 (s) s
(a1 , a2 ) t
(a1 , a2 ),
x2
x1
x1
x2
f (a1 + s, a2 ) + f (a1 + s, a2 ) f (a1 , a2 ) s
oi (t)
k(s,t)k
oi (t)
t
t k(s,t)k
0 quando (s, t) 0.
f
x2
Note bem: d2 n
ao e o mesmo que d d.
35
Teorema 1.5.3 (de Schwarz ou da igualdade das derivadas mistas). Se f e duas vezes
diferenci
avel em x, ent
ao
d2 f (x)(u, v) = d2 f (x)(v, u)
(1.56)
u, v Rn .
Este teorema, repleto de implicac
oes para a Analise, e facil de constatar em casos
praticos, mas a sua demonstracao nao e nada trivial. Deixamo-la para a subsecc
ao 1.5.2
porque ela requer outro resultado fundamental.
Generalizando o que se fez acima, podemos definir por induc
ao a diferenciabilidade de
0
ordem k de uma funcao. Pomos d f = f por comodidade. Para k 1, diremos que f e
k-vezes diferenci
avel em x se f e k1-vezes diferenciavel em U e se for diferenciavel o diferencial de ordem k1 segundo qualquer multi-vector, ou seja, se x 7 dk1 f (x)(v1 , . . . , vk1 )
for diferenciavel, v1 , . . . , vk1 Rn . Finalmente, e tambem por induc
ao que se prova o
seguinte resultado.
Proposi
c
ao 1.5.3. Suponhamos que f e k-vezes diferenci
avel em x. Ent
ao:
k
1. d f (x)(v1 , . . . , vk ) e linear em cada vi e totalmente simetrico, isto e,
dk f (x)(v1 , . . . , vi , . . . , vj , . . . , vk ) = dk f (x)(v1 , . . . , vj , . . . , vi , . . . , vk ),
i, j.
(1.57)
2. Se a func
ao x 7 dk f (v1 , . . . , vk ) e l-vezes diferenci
avel para todos os vi , ent
ao f e
k + l-vezes diferenci
avel em x, e tem-se
kf
(x),
xi1 xik
(1.59)
k fj
xi1 xik
ate `
a ordem k e estas s
ao contnuas em U .
36
Denota-se por C k (U ; Rm ) ou por CUk (Rm ) o espaco vectorial sobre R das aplicac
oes de
m
k
classe C de U em R (cf. com exerccio 3). Abreviando a notac
ao de forma obvia, resulta
k
k1
do ponto 3 da proposicao 1.5.3 que C C
. Note-se que se podem sempre dar exemplos
m
k
provando que esta inclusao e estrita. Denotamos C (U ; Rm ) =
k C (U ; R ) e dizemos
que os seus elementos sao as funcoes de classe C ou func
oes suaves em U .
Proposi
c
ao 1.5.4. A composic
ao de duas func
oes de classe C k e de classe C k .
Demonstrac
ao. Sejam f, g funcoes de classe C k tais que a imagem de f esta contida no
domnio de g. A demonstracao far-se-a por induc
ao. Para k = 0 o resultado e conhecido.
k1 , para todo o i, admitindo que g (y) e f (x)
Queremos entao ver que gf
e
de
classe
C
xi
yj
xi
sao de classe C k1 . Ora o mesmo se passa logo, por hipotese de induc
ao, com
temos que
g f
g
f1
g
fm
=
(f (x))
(x) + +
(f (x))
(x)
xi
y1
xi
ym
xi
g
yj (f (x))
(1.60)
(1.61)
37
1.5.2
Fun
co
es de Rn em R
t0
f (a + tv) f (a)
,
t
lim
t0+
f (a + tv) f (a)
t
Note-se que a proposicao e valida para extremos locais, ja que a questao da diferenciabilidade e local.
Teorema 1.5.5 (de Rolle). Seja U um aberto de Rn tal que U e compacto. Seja f : U R
uma func
ao diferenci
avel em U e contnua em U . Se f e constante na fronteira de U , ent
ao
existe x0 U tal que df (x0 ) = 0.
Demonstrac
ao. Por f ser contnua num compacto, f admite maximo e mnimo: existem
pontos x1 , x2 para os quais f (x1 ) f (x) f (x2 ), x U . Se x1 , x2 estao ambos na
fronteira, entao f e constante em U , e logo df = 0. Se um deles esta em U , o interior de
U , entao o resultado segue pela proposic
ao anterior.
Teorema 1.5.6 (de Lagrange ou do valor medio). Seja [a, b] um intervalo fechado e limitado
de R e seja f : [a, b] R uma func
ao contnua no intervalo e diferenci
avel no seu interior.
Ent
ao existe c ]a, b[ tal que
f (b) f (a) = dfc (b a) = f 0 (c) (b a).
(1.62)
Demonstrac
ao. Consideremos a funcao (t) = (b a)f (t) (f (b) f (a))t. Vem ent
ao
(a) = bf (a) f (b)a = (b), pelo que o teorema de Rolle garante a existencia de c no
interior ]a, b[ tal que
0 (c) = (b a)f 0 (c) f (b) + f (a) = 0,
como queramos demonstrar.
38
(1.63)
Esta expressao resulta simplesmente de tomar b = a + h. Daqui se deduz logo que qualquer
c ]a, b[ e igual a a + h, com entre 0 e 1. Ao teorema de Lagrange pode-se dar uma
interpretacao geometrica muito intuitiva, se tivermos em conta que a cada derivada f 0 (t)
corresponde uma recta tangente `a curva (t, f (t)). Apresenta-se a recta tangente na figura
1.2.
Como corolario deste celebre teorema, temos que f e crescente se f 0 (t) 0, t ]a, b[,
e decrescente ao longo do mesmo intervalo se f 0 (t) 0. Resulta, mais ainda, que f e
constante se f 0 = 0. As provas destes factos sao triviais, tendo em conta a formula (1.62).
Proposi
c
ao 1.5.7. Seja U aberto de Rn , conexo, e seja f : U R uma func
ao diferenci
avel
em U tal que df (x) = 0, x U . Ent
ao f e constante.
Demonstrac
ao. Da proposicao 1.4.1 ficamos a saber que U e conexo por arcos. Fixemos
x0 U e provemos que f (x) = f (x0 ), x. Para cada x fixado, tomamos um caminho
de x para x0 . Basta agora aplicar as observac
oes anteriores, tendo por base a funcao
0
0
(t) = f (t). Claro que se tem = df ( ) = 0.
39
n
X
ui ei ,
i=1
n
X
n
X
vj ej
n
X
ui vj dfx (ei , ej )
i,j=1
j=1
i,j=1
= f (x + h, y + h) f (x + h, y) f (x, y + h) + f (x, y) ,
das duas formas distintas que se apresenta. Agora, como as func
oes , s
ao claramente
diferenciaveis, o teorema de Lagrange garante-nos a existencia de 1 , 2 ]0, 1[ tais que
(x + h) (x) = h0 (x + 1 h),
(y + h) (y) = h 0 (y + 2 h).
Ou seja,
2 f
= 0 (x + 1 h) = 0 (y + 2 h).
h
(1.65)
40
=
=
=
=
=
f
f
(x + 1 h, y + h)
(x + 1 h, y)
x
x
h f
i
f
f
f
(x + 1 h, y + h)
(x, y)
(x + 1 h, y)
(x, y)
x
x
x
x
f
f
(1 h, h) d
(1 h, 0) + o(h)
d
x (x,y)
x (x,y)
2f
2f
2f
1 h 2 (x, y) + h
(x, y) 1 h 2 (x, y) + o(h)
x
yx
x
2f
h
(x, y) + o(h)
yx
1.5.3
2 f
h2
Fun
c
oes de matrizes
41
linear GL(V )). Recordemos, de passagem, que se tem det(XY ) = det(X) det(Y ), para
quaisquer X, Y Mn .
Vamos denotar por 1 a matriz identidade.
Lema 1.5.1. Seja V Mn tal que kV k < 1, ent
ao 1 + V GLn (R). Mais ainda,
lim (1 + V )1 = 1.
V 0
(1.67)
Demonstrac
ao. Para a primeira parte basta ver que 1 + V e um monomorfismo. Ora, se
(1 + V )u = 0, entao V u = u e daqui resulta que kV k 1 o que e absurdo.
Vejamos a continuidade da funcao (1 + V )1 em 0. Seja V Mn tal que kV k < 12 . Ja
provamos que a funcao esta bem definida nesta bola. Suponhamos ent
ao que para certos
n
1
vectores u, v R da esfera de norma 1 se tem (1 + V ) u = v com ]0, +[. Ent
ao
kV vk = kv u k < 12 , e logo < 2 pois, caso contr
ario, viria
1 = kvk = kv
1 1
u u
+ k< + 1
2
Outra funcao importante e a funcao : GLn GLn de passagem ao inverso, ie. definida
por (g) = g 1 .
Proposi
c
ao 1.5.8. A func
ao e de classe C e
dg (X) = g 1 Xg 1
(1.68)
g GLn , X Mn .
Demonstrac
ao. Analisemos a diferenciabilidade de , num ponto g qualquer, acordando na
derivada dada pela formula (1.68). Sendo
(g + V ) = (g) + dg (V ) + Og (V ),
vem que
Og (V ) = (g + V )1 g 1 + g 1 V g 1
= (1 + g 1 V )1 1 + g 1 V g 1
= 1 + (1 + g 1 V )(1 + g 1 V ) (1 + g 1 V )1 g 1
= 1 + (g 1 V )2 1 (1 + g 1 V )1 g 1 = (g 1 V )2 (1 + g 1 V )1 g 1
42
Logo
kOg (V )k
lim kg 1 k3 kV kk(1 + g 1 V )1 k = 0
V 0
V 0
kV k
lim
devido ao lema 1.5.1. Esta demonstrado que e diferenciavel em GLn . Vejamos a segunda
derivada: fixado V , a funcao g 7 dg (V ) = g 1 V g 1 toma o valor (g)V (g) em g.
Logo esta funcao tambem e diferenciavel em GLn e como a sua derivada se volta a escrever
`a custa de (g) com produtos e somas, deduz-se por uma simples induc
ao que e de classe
i
C , i N, como queramos.
(1.69)
n
X
i,j
vij d det1 (E ij ) =
n
X
vii = tr(V )
i=1
43
Exerccios
1. Estude a diferenciabilidade de 1a e 2a ordem da func
ao f : R2 R definida por
2
2
y
f (x, y) = xx2 +y
2 se (x, y) 6= (0, 0) e f (0, 0) = 0.
2. Encontre uma funcao de duas vari
aveis em C k \C k+1 .
3. Demonstre as proposicoes 1.5.3 e 1.5.5, bem como o teorema 1.5.7. Mostre que
C k (U, R) e um espaco vectorial sobre R, fechado para o produto de func
oes.
4. a) Considere normas quaisquer em Rn , Rm e a norma induzida em L(Rn , Rm ) (ver
exerccios 5 e 8 da seccao 1.3), seja Z um espaco topologico e considere uma func
ao
n
m
z 7 Az de Z em L(R , R ). Mostre que esta e contnua se, e so se, a func
ao z 7 Az (u)
n
n
e contnua, qualquer que seja u R . b) Seja U um aberto de R e f : U Rm
diferenciavel em U . Encarando a func
ao df : U L(Rn , Rm ) como qualquer outra
funcao com valores num espaco normado, mostre que df e diferenciavel se, e so se, f
e duas vezes diferenciavel.
5. Seja B : Rn Rm Rp uma func
ao linear em cada vari
avel: ora do primeiro factor
fixado o segundo, ora do segundo factor fixado o primeiro. Mostre que K 0 :
kB(u, v)k Kkukkvk, u Rn , v Rm . Mostre que B e diferenciavel e deduza a
regra de Leibniz generalizada
dB(x,y) (u, v) = B(u, y) + B(x, v).
(1.70)
f
xi (x)
t |t=0 f (x
+ tei ), na notac
ao
a1 + + ak
k
a1 ak
(1.71)
k
a1 , . . . , ak [0, +[.
8. Mostre que tr(XY ) = tr(Y X) para qualquer par de matrizes quadradas. Agora, seja
V um espaco vectorial de dim n. Mostre que podemos definir o traco de uma aplicac
ao
linear f L(V, V ) como o traco da matriz de f numa base qualquer de V . Idem para
o determinante.
p
9. Considere as coordenadas polares no plano R2 = (, ) = ( x2 + y 2 , arctg xy ). Escolha uma determinacao do arctg e mostre que e um difeomorfismo de R+ R sobre a
44
(1.73)
1.6
Teoremas da func
ao inversa e da func
ao implcita
45
x B(a, ),
h1 (x) h1 (a)
..
=
.
hn (x) hn (a)
h1
x1 (c1 )
hn
(c
)
x1 n
h1
xn (c1 )
hn
xn (cn )
x1 a1
..
xn an
n
X
1
(Id + [ij ])(h1
j (y) hj (b)).
j=1
[
ij ](y b)
= 0.
yb ky bk
lim
Jij
,
|J|
Esta asserca
o e consequencia directa do que foi exposto na secca
o 1.5.3. A demonstraca
o alternativa
vem apenas pretensamente completar o gosto do leitor.
46
1
dfy1 = dff 1 (y)
por ser representada pela composic
ao (J f 1 )1 . Isto significa que f 1 e de classe C k .
Estamos agora em condicoes de provar o teorema da func
ao inversa, cujo alcance parece
ofuscar o do lema anterior: e que localmente, se a derivada for invertvel, teremos a garantia
da invertibilidade de f entao, pelo lema, com inversa de classe C k .
Teorema 1.6.1 (da funcao inversa). Seja U aberto de Rn e seja f : U Rn uma func
ao de
classe C k em U tal que, num certo ponto a U , det df (a) 6= 0. Ent
ao existe um aberto V ,
contendo a, e um aberto W , contendo f (a), tal que a restric
ao de f a V e um difeomorfismo
k
C sobre W .
Demonstrac
ao. Fazendo o mesmo truque que na anterior demonstrac
ao, podemos ja supor
que df (a) = Id. Com efeito, os isomorfismos lineares A sao difeomorfismos, portanto se
provarmos o teorema para A f tambem provamos para f .
Por continuidade da funcao determinante, podemos logo garantir que det df (x) 6= 0
para todo o x numa vizinhanca de a. Ja vimos mesmo que, numa bola de centro em a
suficientemente pequena, se tem J(f )(x) = Id + [ij ] e invertvel, pelo que, se f (x1 ) = f (x2 )
em dois pontos x1 , x2 nessa bola, ent
ao pelo teorema dos acrescimos finitos vem
0 = f (x1 ) f (x2 ) = (Id + [ij ])(x1 x2 )
Daqui resulta que x1 = x2 , por causa da invertibilidade de Id + [ij ]. Fica provado que,
nalguma vizinhanca de a, a aplicac
ao f e injectiva. Nao e assim tao facil a demonstracao
da sobrejectividade de f sobre uma vizinhanca de f (a).
Para cada y B(f (a), ) = W , com > 0 a determinar, consideremos a func
ao
(x) = x + y f (x).
Repare-se que encontraremos uma soluc
ao x da equac
ao y = f (x) se, e so se, encontrarmos
um ponto fixo de , isto e, uma soluc
ao de (x) = x. Esta func
ao e claramente de classe C k
e d (a) = Id df (a) = Id Id = 0. Por continuidade do diferencial e independentemente
de y, existe entao um > 0 tal que
i
(x) <
,
x B(a, ) = V.
xj
2n
Entao, novamente invocando os acrescimos finitos dentro da bola, temos que
n
2
X
X i
k (x0 ) (x00 )k2 =
(i (x0 ) i (x00 ))2 =
(x(i) )(x0j x00j )
xj
i=1
i,j
X 1
1 0
(x0j x00j )2 =
kx x00 k2
2
(2n)
4n
i,j
47
1 cp1q+1
cq
kx1 x0 k
kx1 x0 k.
1c
1c
Fi
(1.74)
yj i,j=1,...,m
e invertvel nesse ponto. Ent
ao existem um aberto U de Rn , com a U , e uma func
ao
m
k
g : U R de classe C , com g(a) = b, tais que
F (x, g(x)) = c,
x U.
(1.75)
48
Rm
F(x,y) =c
g (x)
U
a
xER
yj
i
6 0 no ponto (a, b). O teorema da funcao
donde resulta que det J(E) = (det 1) det F
yj =
contendo (a, b), e D
0 , contendo (a, c), tais
inversa garante entao a existencia de abertos D,
que a restricao de E ao primeiro desses abertos e um difeomorfismo C k sobre o segundo.
Sendo a projeccao para o primeiro factor, 1 : Rn+m Rn , uma aplicac
ao aberta, escre0
(x, g(x)) D
Relembramos que os teoremas anteriores sao validos para o caso suave (C ). A partir
de agora vamos tratar apenas este caso, pois e suficiente para as aplicac
oes da geometria
que temos em vista.
Teorema 1.6.3 (da derivada injectiva). Seja U aberto de Rn e f : U Rm uma aplicac
ao
suave em U tal que, num ponto a, a aplicac
ao linear derivada df (a) e injectiva. Ent
ao
m
0
existem um aberto U U contendo a, um aberto V R contendo f (a) e uma aplicaca
o
n
suave g : V R , tais que
g f (x) = x,
x U 0 .
(1.76)
Demonstrac
ao. Uma vez que o diferencial dfa : Rn Rm e injectivo, temos de ter p =
m n 0. Seja w1 , . . . , wp uma base de um subespaco vectorial de Rm suplementar da
claro que a
imagem de dfa (ie. esta e aquele estao em soma directa isomorfa a Rm ). E
p
aplicacao que transforma y = (y1 , . . . , yp ) R em y = y1 w1 + + yp wp Rm e linear e
49
f (a)
U
a
f (U )
x
(x,o)
R
a
(z, y) V Rnm Rm .
(1.77)
50
f (a)
a
g
V
(z,y)
U Rp Rm
x 7 (
x, f (x)).
Tem-se que
J(h) =
xi1
x1
xip
x1
J(f )
xi1
xn
xip
xn
ei1
.
..
=
.
eip
J(f )
Exerccios
51
a
(x,
g(x)).
a matriz inversa de F
k ik xj
yj
xj
52
Captulo 2
Variedades diferenci
aveis
2.1
Definic
oes e exemplos
Do termo frances varietes, tambem conhecidas por manifolds na literatura inglesa e por mannigfaltigkeiten na alem
a.
17
O Espaco-tempo consiste num espaco afim de dimens
ao 4 (recorde-se que por este se entende um espaco
vectorial a menos do conhecimento da origem). Alguma reflex
ao sobre a teoria da Relatividade levar-nos-
a
a uma
optima explicaca
o de por que e que se devem estudar as variedades em termos abstractos e n
ao
apelando a um famoso teorema de Whitney, que prova que todas as variedades riemannianas abstractas se
mergulham is
ometricamente num espaco euclidiano (de uma dimens
ao muito maior).
53
54
e descrito com quatro variaveis reais e uma metrica especial, mudando-se de posic
ao por
meio das chamadas transformadas de Lorentz pelo que tambem devemos estar aptos a
trabalhar com as funcoes suaves definidas entre duas variedades. Por fim, lembramos que a
Mecanica Quantica ou a teoria do Electromagnetismo (equac
oes de Maxwell) se estudam,
hoje em dia, no contexto das variedades.
Voltando aos problemas da Matematica, nao sobra so o estudo, pois ha muitas questoes
em aberto. Ainda nao se classificaram todos os nos, ie. as subvariedades de dimensao
1 contidas em R3 ou noutra variedade qualquer (que tantas implicac
oes trazem para a
Mecanica Quantica). O mesmo se passa precisamente com as variedades de dimensao 2,
as denominadas superfcies de Riemann: razoavelmente conhecidas enquanto tal, nao se
conhecem todos os seus mergulhos nas outras variedades. Ja as variedades de dimensao 3 e
4, amplamente investigadas hoje em dia, apresentam dificuldades insondaveis em si mesmas.
Finalmente, o proposito deste segundo captulo e tao somente lancar as bases da tal
geometria diferencial, que faz uso pleno do calculo diferencial como estrutura intrnseca
de determinados espacos abstractos. Ideias intuitivas associadas `as de variedade e suas
relacoes, como as de dimensao, de vector tangente ou aplicac
ao suave, serao objecto de
formalizacao.
Desejamos que os fundamentos desta vasta teoria sejam compreendidos de forma tao
rapida quanto fecunda e rigorosa. Isso obrigar-nos-a a escolher alguns caminhos em detrimento de outros.
2.1.1
Definic
ao
55
2.1 Definic
oes e exemplos
(2.2)
sao suaves18 , quaisquer que sejam , . Ao espaco topologico M munido de um atlas A dase o nome de variedade diferenci
avel de classe C 19 ou variedade suave. Chamamos
simplesmente variedade a uma qualquer variedade suave. O n
umero natural n, comum a
todas as cartas, chama-se a dimens
ao de M .
`
A funcao inversa de uma carta da-se o nome de parametriza
c
ao.
2.1.2
Exemplos
1. Os abertos de Rn sao variedades de dimensao n; qualquer espaco vectorial e uma variedade. Mais geralmente, um aberto de uma variedade e uma variedade, e da mesma
dimensao.
2. A esfera de raio r, ja referida na secc
ao 1.5, definida por
(2.4)
56
U,i B(0, r)
(2.5)
esquecendo a coordenada xi , que e nao nula, obtem-se um vector de norma menor que r. E
S
n
tambem facil ver que as aplicac
claro que temos uma cobertura: Srn = i=0 U+,i U,i . E
oes
,i sao homeomorfismos. A inversa e dada por
q
r2 y12 yn2 , yi+1 , . . . , yn ),
(2.6)
1
(y
,
.
.
.
,
y
)
=
(y
,
.
.
.
,
y
,
n
1
i
,i 1
com a raz dando entrada no lugar i + 1. Menos trivial e verificar que a mudanca de cartas
e suave. Ora supondo ja i < j temos que
q
r2 y12 yn2 , . . . , yj1 , yj+1 , . . . , yn )
,j 1
(2.7)
(y
,
.
.
.
,
y
)
=
(y
,
.
.
.
,
n
1
,i 1
e esta funcao e suave se as suas componentes o forem. O u
nico problema que poderia surgir
e na raz de 0. Mas o domnio em causa e ,i (U,i U,j ), que nao contem nenhum ponto
de norma r. Esta provado que Srn e uma variedade suave. Tambem se denota simplesmente
por S n a esfera de raio 1.
3. Se M1 , M2 sao variedades de dimensao n1 , n2 , respectivamente, ent
ao M1 M2 e uma
variedade de dimensao n1 + n2 conhecida como o produto cartesiano de variedades.
Com efeito, este produto tambem e de Hausdorff e admite uma base numer
avel de abertos.
Se A1 = {(U , )} e um atlas de M1 e A2 = {(V , )} e um atlas de M2 , ent
ao os abertos
U V cobrem M1 M2 . Temos tambem que a aplicac
ao
: U V Rn1 Rn2 = Rn1 +n2
(2.8)
(2.9)
57
2.1 Definic
oes e exemplos
(2.10)
e com a topologia quociente vinda da uniao disjunta dos abertos Ui (multiplicou-se cada Ui
pelo seu ndice apenas para os distinguir). Note-se que cada um dos Ui define um aberto em
M , pois a aplicacao de passagem ao quociente Ui {i} Ui M e uma aplicac
ao aberta.
Por esta aplicacao ser injectiva se restringida a cada um dos Ui , tambem denotamos por Ui
a imagem aberta contida em M .
5. Usando o exemplo anterior, podemos chegar a acordo rapida e diligentemente sobre a
viabilidade das seguintes construcoes.
O cilindro e uma variedade quando se pensa no quadrado ]0, 1[]0, 1[ e se faz a colagem
de duas vizinhancas rectangulares e disjuntas de duas arestas opostas. Mas tambem se pode
pensar no cilindro como a variedade S 1 ]0, 1[. Semelhante processo com um triangulo
aberto permite construir o cone (sem vertice). Tomando de novo um cilindro, podemos
ainda considerar vizinhancas das arestas que sobram e cola-las, como na figura 2.8. Obtemos
58
Tn = S 1 S 1
(n factores).
(2.13)
6. Olhando novamente para o quadrado ou, para simplificar os calculos, olhando para
o rectangulo ]0, 4[] 1, 1[ e identificando duas arestas opostas por meio da aplicacao
f :]0, 1[] 1, 1[]3, 4[] 1, 1[, f (x, y) = (x + 3, y), obtemos a chamada banda de
M
obius. Fazendo o mesmo no cilindro, ou seja, identificando as arestas de uma forma que
inverte o sentido numa delas obtemos a garrafa de Klein (figura 2.9).
u
7. E
til considerar as variedades suaves M de dimensao 0. As condic
oes topologicas iniciais
obrigam entao M a ser um conjunto numer
avel, munido da topologia discreta.
2.1.3
Propriedades topol
ogicas
59
2.1 Definic
oes e exemplos
Corol
ario 2.1.1. Qualquer variedade e um espaco topol
ogico paracompacto; logo um espaco
normal e metris
avel.
Demonstrac
ao. As variedades sao espacos topologicos de Hausdorff, tem base numer
avel e
sao localmente compactas. Basta entao aplicar os teoremas de Dieudonne e de Urysohn da
seccao 1.4.
Ou
ltimo corolario esta de acordo com um certo e preciso resultado da geometria riemanniana, que nos leva `a construcao explcita de uma aplicac
ao distancia sobre uma qualquer
variedade (cf. teorema 3.5.1).
Exerccios
1. Justifique as afirmacoes do exemplo 1 acima.
2. Como ja mencionamos, dois atlas A1 , A2 sobre o mesmo espaco topologico M dizem-se
compatveis se A1 A2 e um atlas de M . Mostre que tal relac
ao e de equivalencia.
3. Em X = R2 \{0} cole os vectores v com v. Mostre que obtem uma variedade X/
homeomorfa a X. Tente explicar por que e que nao se pode fazer o mesmo com o
plano todo.
4. Faca a colagem de um disco B(0, 1) R2 a uma banda de Mobius pelas suas arestas
u
nicas. Como interpreta? Justifique que o espaco assim obtido e compacto.
5. (Projec
c
ao estereogr
afica) Considere a esfera S n Rn+1 . Considere a norma
fN (x, t) =
x
1t
(2.14)
60
(2.15)
Mostre que (cos v cos u, cos v sen u, sen v) = (u, sen v) define uma carta de M . Mostre
que a mudanca de cartas desta carta para aquela dos exemplos (exemplo 2) e suave.
Sendo a, k constantes, verifique que a curva { 1 (t, a + kt) : 1 < a + kt < 1}
corta as projeccoes dos meridianos no cilindro sempre pelo mesmo angulo e que, projectada no plano da linha do equador , a curva e fechada. Nota: este exerccio serve
para chamar a atencao da diferenca entre aquela curva e a celebre curva loxodr
omica 21
que, essa sim, corta sempre os meridianos pelo mesmo angulo (este mede-se nas tangentes `as curvas no ponto em questao, sobre S 2 ) e nunca chega aos polos! Devemos
entao concluir que a carta n
ao preserva os angulos mas isto nao e materia para
a geometria diferencial sozinha...
20
2.2
61
Espaco tangente
2.2
2.2.1
Espaco tangente
Defini
c
ao e propriedades
Vamos associar a cada variedade M um espaco que se caracteriza por ser uma reuniao
disjunta de espacos vectoriais variando suavemente com os pontos de M . Tanto esse
espaco total como cada um dos espacos vectoriais tomarao o nome de espaco tangente; mas
o primeiro, T M , esta associado `a variedade como um todo, enquanto o outro e o espaco
tangente em cada ponto x M , denota-se por Tx M , e depende apenas de uma vizinhanca
de x. Ter-se-a entao
[
TM =
Tx M.
(2.16)
xM
n
A construca
o pode-se fazer mesmo quando tomamos uma famlia infinita de abertos, como mostra a
teoria dos limites indutivos. O problema est
a na existencia ou n
ao de um conjunto suporte. Na construca
o
de T M poderamos usar um atlas com um n
umero de cartas n
ao mais que numer
avel, mas convem-nos fazer
o caminho com as cartas todas ao mesmo tempo o leitor, estamos certos, convencer-se-
a por si das
vantagens do infinito!
62
f (x, v) = x, d 1
(x)
(v)
(2.18)
f f (x, u) = f x, d( 1
) (x) (u)
1
= x, d( 1
) (x) d( ) (x) (u)
1
= x, d( 1
) (x) (u)
= x, d( 1
= f (x, u).
) (x) (u)
A primeira equacao resulta entao, de modo trivial, de f f = f = Id. Tendo em conta
o que se disse antes, temos uma relac
ao de equivalencia
(, x, u) (, y, v) se x = y e v = d 1
(x) (u)
F
n
ao disjunta, modulo
e logo um espaco topologico T M =
U R / bem definido (uni
n
). Cada U R e homeomorfo a um aberto de T M (veja-se o exerccio 16 da seccao
1.2). Por isso, se {(Ui , i )}iN e um atlas numer
avel de M , ent
ao {Ui Rn } da lugar a
uma cobertura numeravel de T M . Resulta desta cobertura que T M e de Hausdorff; e se
fizermos ainda o produto cartesiano de uma base numer
avel de abertos de M por uma
base numeravel de abertos de Rn , esta projectar-se-a numa base de abertos de T M que e
numeravel. Estao verificadas as duas condic
oes topologicas exigidas para o espaco tangente
poder ser uma variedade. Finalmente, para ver que assim e, definimos as cartas de T M
como
: U Rn T M Rn Rn
[, x, v]
7 ( (x), v)
(2.19)
1
1
(y,
u)
=
[,
(y),
u]
1
= [, 1
(y), d( )y (u)]
1
= 1
(y), d( )y (u) ,
2.2
63
Espaco tangente
Como ja dissemos, cada aberto U Rn , onde U e o domnio de uma carta, e homeomorfo a um aberto de T M . Entao a projecc
ao de cada {x} Rn em T M d
a lugar a
um espaco Tx M que nao depende da escolha da carta; tendo em vista a linearidade das
funcoes f nas suas segundas componentes, esta bem definida uma soma e um produto por
escalares reais em Tx M que transformam este conjunto num espaco vectorial sobre R. Este
espaco vectorial recebe o nome de espa
co tangente a M no ponto x. Os seus elementos
sao os vectores tangentes. Tendo em conta a cobertura de T M pelos U Rn , vem que
[
TM =
Tx M.
(2.20)
xM
Proposi
c
ao 2.2.1. Tx M depende apenas de uma vizinhanca aberta de x em M . Ou seja,
para qualquer aberto U com x U , tem-se
Tx M T U T M.
(2.21)
Demonstrac
ao. Basta lembrar que obtemos um atlas de U se intersectarmos as cartas de
um atlas de M com U e que, recprocamente, todas as cartas de U s
ao cartas de M . Isso
permite tambem identificar Tx U = Tx M .
Proposi
c
ao 2.2.2. Sejam N, M variedades suaves. Ent
ao T (N M ) = T N T M . Em
particular, T(x,y) (N M ) = Tx N Ty M .
Demonstrac
ao. Tomemos, tal como no exemplo 3 de 2.1.2, um atlas {(U , )} de N
e um atlas {(V , )} de M . Quaisquer vectores tangentes [, x, u] T N e [, y, v]
T M , descritos como na demonstracao do teorema 2.2.1, representam um vector tangente
[(, ), (x, y), (u, v)] T (N M ) por meio da carta (U V , ) do produto cartesiano das duas variedades. Entao podemos dizer que o par ordenado constitudo pelos
dois primeiros vectores e igual ao terceiro (tal ambiguidade nao constitui um verdadeiro
obstaculo). Esta provado que T N T M T (N M ).
Recprocamente, seja : Z (Z) Rn+m uma carta definida num aberto Z de
N M qualquer. Seja (x, y) Z e [(x, y), w] um vector tangente a N M descrito pela
carta (omitimos os ndices por simplicidade). Uma vez que esta variedade tem a topologia
produto, existem vizinhancas abertas U de x em N e V de y em M tais que U V Z.
Podemos mesmo supo-las tao pequenas de tal modo que sejam o domnio de cartas (U, )
de N e (V, ) de M . Visto que (U V, ) e uma carta da variedade produto, o vector
dado [(x, y), w] na carta , escreve-se na nova carta como [(x, y), (w1 , w2 )] onde
(w1 , w2 ) = d ( ) 1 (w) ,
de acordo com a decomposicao canonica Rn Rm = Rn+m e o resultado segue, exprimindo
de novo o vector dado como um par ordenado.
Note-se que a transformacao [(x, y), w] = ([x, w1 ], [y, w2 ]) e linear, fixadas as cartas
, , . Donde a identificacao tambem linear dos espacos tangentes em cada ponto (x, y).
64
2.2.2
Fun
c
oes suaves com valores reais
(2.24)
que e de facto uma aplicacao R-linear: lembrar que [x, v1 ] + c[x, v2 ] = [x, v1 + cv2 ] v1 , v2
Rn , c R. Para que a aplicacao linear dfx esteja bem definida em cada Tx M ela nao pode
depender da escolha das cartas (note-se que depende das cartas, mas no sentido em que ja
Tx M dependia). Com efeito, se : V Rn e outra carta de M tal que x U V , ent
ao a
1
1
1
condicao da aplicacao f ser suave em U V e equivalente a f = f 1
ser suave (recorde que 1 : (U V ) (U V ) e um difeomorfismo), o que concorda
com a definicao dada.
Agora, sendo aquele vector tangente [x, v] igual a [x, u] na carta , portanto verificando
u = d( 1 )(x) (v), resulta
d(f 1 )(x) (u) = d(f 1 )(x) d( 1 )(x) (v) = d(f 1 )(x) (v)
(2.25)
pelo que
dfx ([x, v]) = dfx ([x, u])
(2.26)
A generalizaca
o para classe C k e trivial.
2.2
65
Espaco tangente
denota por
(x), . . . ,
(x).
1
n
(2.27)
f
(x) = df
(x) = df ([x, ei ]) = d(f 1 )(x) (ei )
i
i
(2.28)
Claramente todas estas construcoes generalizam o espaco euclidiano Rn , onde por habito
= Id.
2.2.3
(2.29)
(x); mas este campo vectorial esta so definido sobre o aberto U . Usando a estrutura
x 7
i
de espaco vectorial sobre R em cada espaco tangente Tx M podemos definir a soma X + Y
de dois campos vectoriais X, Y ; basta fazer (X + Y )x = Xx + Yx . Tambem podemos
multiplicar um campo vectorial X por uma func
ao f com o mesmo domnio, fazendo muito
naturalmente (f X)x = f (x)Xx .
Um campo vectorial actua nas func
oes suaves induzindo uma nova func
ao pela formula
X f = df (X)
(2.30)
ou, mais explcitamente, (Xf )(x) = df (Xx ). Dizemos que o campo vectorial X e suave num
ao f CV . Denotamos
aberto V se se verifica a condicao X f CV , para qualquer func
por XV o conjunto dos campos vectoriais suaves sobre V :
66
n
X
i=1
ai
,
xi
W =
n
X
i=1
bi
xi
(2.31)
(2.32)
i,j
2.2
67
Espaco tangente
carta, entao o resultado e igual. Seja : V Rn outra carta qualquer com componentes
(y1 , . . . , yn ). Entao em U V vem
X yj
=
,
xi
xi yj
j
X xi
=
yj
yj xi
i
ai
i,j
Entao, escrevendo a
j =
yj
,
xi yj
[Z, W ] =
a
j
i,j
X
i,j
bi
yj
.
xi yj
yj
i ai xi ,
W =
bi
ai
bj
yj
yj yi
X yj bi xl
yj
ai xi xm
bk
ak
xk xl yj
xk xl yj yi xm
(2.33)
i,j,k,l,m
X bi xl
ai xl xm
ak
bk
.
xl xk
xl xk yi xm
i,k,l,m
ai xm
bk
ak
xk
xk yi xm
i,k,m
X
i,k,m,p
ak
bp yi
ap yi
2 yi
2 yi xm
+ ak bp
bk
bk ap
.
xk xp
xk xp
xk xp
xk xp yi xm
ap yi xm
bp
bk
xk
xk xp yi xm
i,k,m,p
X bp
ap xm
=
ak
bk
xk
xk xp xm
k,m,p
X bm
am
=
ak
bk
,
xk
xk xm
ak
k,m
que e exactamente a expressao que nos da o parentesis de Lie [Z, W ] na carta , como
queramos demonstrar.
68
Dados dois campos vectoriais suaves definidos sobre a variedade M , definimos o seu
par
entesis de Lie como o campo vectorial sobre M que em cada carta da variedade tem a
expressao dada por (2.32). Decorre directamente da proposic
ao acima o resultado seguinte:
Teorema 2.2.2. Se X, Y XM , ent
ao est
a bem definido o parentesis de Lie [X, Y ] XM .
Sejam X, Y, Z campos vectoriais suaves quaisquer sobre M . Vejamos tres propriedades
do parentesis de Lie; primeiro, este actua nas func
oes f C pela formula
[X, Y ]f = X (Y f ) Y (X f )
(2.34)
que nos ajuda a ver rapidamente que o parentesis de Lie e anti-simetrico, ou seja,
[X, Y ] = [Y, X],
(2.35)
(2.36)
Com efeito, um campo vectorial fica determinado pela forma como actua nas func
oes. Deixamos a demonstracao destes factos como exerccio.
Exerccios
M denota sempre uma variedade de classe C e dimensao n. Denotamos por U um
aberto de M .
1. Mostre que para M = Rn resulta da construc
ao do espaco tangente que T U = U Rn .
Identifique o espaco tangente em cada ponto x U . Estude o espaco tangente de uma
variedade de dimensao 0.
2. Mostre que CU e um espaco vectorial sobre R e que sendo f, g CU ent
ao f g CU .
Mostre que d(f + g) = df + dg, d(f ) = df, R.
3. Deduza a regra de Leibniz para o produto de func
oes suaves em U : d(f g) = (df )g +
f dg.
4. Diga se sao verdadeiras ou falsas: a) T M tem dimensao 2n; b) Tx M n
ao depende de
T M mas apenas de uma vizinhanca de x; c) para qualquer aberto U M , T U = U
Rn ; d) a nocao de funcao suave depende das cartas; e) a nocao de funcao suave depende
2.2
69
Espaco tangente
j=1,...,n
Verifique que
f =
e que o referencial e suave. Mostre tambem que um
j
j
campo vectorial X esta em XU se, e so se, X se escreve como combinac
ao linear
X = a1 1 + + an n , com as func
oes ai CU .
7. (Uma notac
ao pr
atica). Sejam , duas cartas de M de domnios U, V , tais que
U V 6= . Denotamos as suas componentes por: (x) = (x1 (x), . . . , xn (x)), (x) =
(y1 (x), . . . , yn (x)). Cada yi e cada xj definem ent
ao func
oes reais e suaves. Mostre
que na interseccao dos seus domnios se tem
n
X yi
=
,
xj
xj yi
dxj =
i=1
n
X
xj
i=1
yi
dyi
(2.37)
Pn f yi
f
e conclua que x
=
i=1 yi xj . Prove que, se tivessemos principiado por definir
j
(2.37) como as regras de mudanca de carta, ent
ao estaria bem definida a expressao
n
X
f
dxi ,
df =
xi
(2.38)
i=1
9. Generalize o teorema de Schwarz `as cartas de uma variedade, ie., mostre que
2f
2f
(x) =
(x)
i j
j i
(2.39)
(2.40)
onde X = y x
+ x y
, Y = x2 y
.
70
2.3
Aplicaco
es suaves entre variedades
Comecamos por ver o caso particular do que se deve entender por curvas ou caminhos suaves
numa variedade. Depois generalizamos estes resultados.
2.3.1
Curvas suaves
df
(t),
dt
(2.41)
n
X
di
i=1
dt
(t)
((t)).
i
(2.42)
claro que este vector esta em T(t) M e que para cada j satisfaz
E
dj (vt ) =
n
X
di
i=1
dt
dj
d
j
,
=
i
dt
d
= d(f 1 )((t))
1 , . . . , n
dt
d
df
1
=
f =
dt
dt
i
Ao vector vt dado pela proposic
ao anterior da-se o nome de velocidade de no ponto
d
0
ao que o caracteriza e simplesmente a regra da
t e denota-se por (t) ou dt (t). A equac
derivada da funcao composta:
d
df
(t) = df(t)
(t) .
dt
dt
(2.43)
71
2.3.2
Aplica
c
oes suaves e suas propriedades
72
e suave.
73
Proposi
c
ao 2.3.4. 1. Um campo vectorial X : U T N e suave se, e s
o se, a aplicac
ao
X e suave.
2. A projecc
ao can
onica : T N N e suave.
Demonstrac
ao. 1. Usamos o exerccio 6 da secc
ao anterior: como campo vectorial, X e
suave se e so se, dada uma carta = (1 , . . . , n ) qualquer, quando X e escrito localmente
como combinacao linear X = a1 1 + + an n as func
oes ai C .
Consideremos a carta de T N induzida por , que ja descrevemos na demonstrac
ao do
teorema 2.2.1, formula (2.19):
: U Rn T N Rn Rn
[x, v]
((x), v).
(2.44)
que, numa carta (U, ) de N tal que x U e numa carta (V, ) de M tal que (x) V ,
satisfaz
m
X
j
d
(x) =
(x)
((x)).
(2.45)
i
i
j
j=1
em V V 0 , temos
=
.
Logo
k=1 j 0
j
k
m
X
j=1
(x)
((x)) =
i
j
=
m
X
0
j
j,k=1
m
X
k=1
25
k0
(x) 0 ((x))
i
k
H
a ainda outra via: resolvendo primeiro o exerccio 4 e em particular a f
ormula (2.48).
74
Alguma literatura denota dx por d(x). Ainda neste contexto, tambem se define o
diferencial total (cf. exerccio 10).
Vejamos dois simples exemplos. Primeiro, sendo {e1 , . . . , en } a base canonica de Rn ,
j=1
p
X
j 1
i
j
j=1
p X
m
X
j k
k
i j
j=1 k=1
= d d
,
i
=
75
Proposi
c
ao 2.3.5. Sejam N, M duas variedades, com N conexa. Seja : N M uma
aplicac
ao suave tal que dx = 0, x N . Ent
ao e constante.
Demonstrac
ao. Basta lembrar o caso real e pensar que, tomando cartas, tem de ser localmente constante, isto e, constante numa vizinhanca aberta de cada ponto de N . Fixando
x0 N , verifica-se entao que o subespaco {x N : (x) = (x0 )} e aberto e fechado, logo
coincidente com N . Daqui resulta que e constante.
(2.47)
j
i
i,j=1,...,n
e invertvel. Ou seja, d( 1 )(a) : Rn Rn e um isomorfismo. Logo, pelo teorema
de 1 entre
da funcao inversa entre abertos de Rn , existe a inversa f 1 : V U
de ((a)) e (a), respectivamente, e essa inversa e suave. Sendo
vizinhancas abertas V , U
1
1
Exerccios
1. Mostre que a nocao de aplicacao suave e local , ie. sendo : N M uma aplicac
ao
entre variedades suaves N e M , tem-se que: (i) se e suave, ent
ao a sua restric
ao
a qualquer aberto U de N e suave (conclua que os diferenciais, neste contexto, sao
os mesmos) e (ii) se {U } e uma cobertura aberta de N e cada uma das restric
oes
|U : U M e suave, entao e suave. (Sugestao: comece pelo caso M = R).
76
(2.48)
(2.49)
77
2.4 Subvariedades
2.4
Subvariedades
2.4.1
Subvariedades imersas
(2.50)
Demonstrac
ao. Basta provar que para cada x0 D existem abertos U e W , o primeiro
contendo x0 , satisfazendo as propriedades pedidas para U e W , respectivamente.
Pelo teorema da derivada injectiva, existe V vizinhanca aberta de (x0 , 0) em D Rp , com
p = m n, existe W vizinhanca aberta de f (x0 ) em Rm e existe um difeomorfismo suave
h : V W tal que h(x, 0) = f (x), (x, 0) V . Logo existe uma vizinhanca aberta U de x0
em Rn tal que f|U : U W e injectiva: U e dada pela condic
ao U {0} = V (Rn {0}).
Finalmente, sendo = h1 : W V , temos que esta e a aplicac
ao suave procurada. E e
1
m
trivial mostrar que f (U ) coincide com i=n+1 i (0).
26
Chama-se a atenca
o que, talvez por as primeiras em geral n
ao serem variedades do modo que se esperaria,
alguns autores preferem fazer outra distinca
o: chamam subvariedades imersas `
as da classe geral e reservam
o nome subvariedade para a classe mais restrita.
78
) = z W
: n+1 (z) = = m (z) = 0 .
f 1 (U
) e W = 1 (W
), resulta que um ponto y W esta em f (U )
Logo, sendo U = 1 (U
se, e so se, n+1 ((y)) = = m ((y)) = 0. Significa isto que = |W e a carta
pretendida.
(2.52)
(y, 2) (0, y)
vemos que a imagem de f nao e uma variedade, embora f seja uma imersao. Aqui, o
problema esta no facto de a aplicac
ao nao ser injectiva: f (0, 1) = f (0, 2). Por tudo o que
esta em causa torna-se conveniente fazer a seguinte definic
ao.
Sejam N, M variedades suaves de dimensoes n e m. Chamamos subvariedade imersa
de M `a imagem f (N ) de uma imersao suave e injectiva f : N M .
2.4 Subvariedades
79
2.4.2
Subvariedades mergulhadas
Sejam N, M variedades suaves de dimensoes n e m respectivamente. Chamamos subvariedade mergulhada de M `a imagem de uma imersao suave f : N M que seja tambem um
homeomorfismo sobre o subespaco f (N ) M (cf. exerccio 1). Tambem se diz que f e um
mergulho. Vamos confirmar que as subvariedades mergulhadas sao de facto variedades.
Teorema 2.4.1. Nas condic
oes acima, seja f um mergulho em M . Ent
ao:
1. f (N ) e uma variedade suave de dimens
ao n e a aplicac
ao de inclus
ao i : f (N )
M, i(y) = y, e suave. Sendo x N e y = f (x), o espaco vectorial Ty (f (N )) identifica-se
com
diy (Ty (f (N ))) = dfx (Tx N ),
(2.53)
que e um subespaco vectorial real do espaco tangente Ty M .
2. Admitindo pelo resultado anterior que T (f (N )) = xN Tf (x) (f (N )) T M , temos
que T (f (N )) e uma subvariedade mergulhada de T M e a restric
ao da projecc
ao can
onica
80
| : T (f (N )) M e suave.
3. Se P for outra variedade e g : P M uma aplicac
ao tal que g(P ) f (N ), ent
ao g e
suave se, e s
o se, a aplicac
ao induzida g : P f (N ) e suave.
Demonstrac
ao. 1. Em f (N ) tomamos a topologia induzida da topologia de M (coincidente
com a topologia quociente transportada de N ). Temos ent
ao um subespaco topologico que
e de Hausdorff e tem uma base numer
avel de abertos. A proposic
ao 2.4.2 da-nos uma
cobertura {U } de N e cartas (W , ) de M cobrindo f (N ) tais que
(2.54)
Por f ser uma aplicacao aberta sobre a sua imagem, f (U ) e um aberto de f (N ) eis
a diferenca essencial. Logo (y) = (,1 (y), . . . , ,n (y)) determina um homeomorfismo
sobre um aberto de Rn , porque as u
ltimas m n coordenadas de (y) sao nulas (cf.
exerccio 3). Temos assim um atlas de f (N ) constitudo por {(f (U ), )}. Vejamos que
sao suaves as aplicacoes de mudanca de cartas. Ora
1 (z1 , . . . , zn ) = 1 1
(z1 , . . . , zn , 0, . . . , 0)
e claramente suave como funcao dos zi s.
Quanto `a aplicacao de inclusao i : f (N ) M temos
i 1 (z1 , . . . , zn ) = i 1
(z1 , . . . , zn , 0, . . . , 0) = (z1 , . . . , zn , 0, . . . , 0),
logo i e suave. Vemos tambem que diy : Ty (f (N )) Ty M satisfaz
di
m
m
X
X
,k i
,k i 1
(y)
=
(y) =
(y)
,j
,j ,k
zj
,k
k=1
n
X
k=1
k=1
zk
(y) =
zj ,k
n
X
kj
k=1
(y) =
(y)
,k
,j
81
2.4 Subvariedades
= (z1 , . . . , zn , 0, . . . , 0, v1 , . . . , vn , 0, . . . , 0).
Nao e preciso muito mais para concluir que di e um homeomorfismo sobre a sua imagem e
claro
uma imersao suave. Logo T (f (N )) T M e uma subvariedade mergulhada de T M . E
que | = di : T (f (N )) M e suave.
3. Se a aplicacao induzida g : P f (N ) e suave, ent
ao i g = g tambem e suave. O
recproco deduz-se pelo mesmo metodo que mostrou ser suave a aplicac
ao f.
Corol
ario 2.4.1. Nas condic
oes anteriores, a estrutura de variedade da subvariedade mergulhada f (N ) coincide com aquela que e dada na proposic
ao 2.4.1. Em particular, f : N
f (N ) e um difeomorfismo.
Demonstrac
ao. Como dissemos na demonstrac
ao do teorema, a aplicac
ao f : N f (N )
induzida de f , tal como a distinguimos na referida proposic
ao, e um difeomorfismo. Logo a
estrutura de variedade e uma e a mesma.
T (f (N )) T M
f (N ) M
composto de aplicacoes suaves.
(2.55)
82
2.4.3
Exemplos e caracterizac
ao
T ((N )) = (v, v) T (N N ) : v T N
(2.56)
R
M,
lZ
(x + lZ) = (x),
(2.57)
83
2.4 Subvariedades
(2.58)
com n independente de .
Demonstrac
ao. A condicao e suficiente por causa da proposic
ao 2.4.2 e por a topologia de
Z ser a induzida. Para ver que tambem e necessaria, primeiro temos de ver que Z tem uma
estrutura de variedade e, depois, que a inclusao em M e suave. Para cartas de Z tomamos
os abertos V = W Z e os homeomorfismos (ja utilizados em (2.54))
= 1 |V : V Rn
(2.59)
Note-se que o enunciado do teorema 2.4.2 poderia mesmo servir como definic
ao de
subvariedade mergulhada27 .
Vejamos um exemplo: consideremos a carta de Rn+1 , definida no aberto W = Rn R+
por (x1 , . . . , xn+1 ) = (x1 , . . . , xn , x21 + + x2n + x2n+1 1) e com imagem
mudanca de carta sao suaves. E claro que as estruturas de variedade suave sobre o espaco
topologico S n dadas antes e agora pelo teorema 2.4.2, coincidem.
2.4.4
Prolongamentos de func
oes e de campos vectoriais
84
Podemos estudar objectos definidos em N de uma forma muito natural. Neste caso
particular, uma vez que T Rm = Rm Rm , temos que a cada x N est
a associado um
m
subespaco vectorial Tx N R de dimensao n (ter em conta a nota de roda-pe28 ).
Suponhamos agora que U e um aberto de N e f : U R e uma dada func
ao. Por
m
um prolongamento de f a um aberto W de R , W contendo U , entendemos uma func
ao
f : W R tal que f (x) = f (x) se x U . Por exemplo, se {(W , )} e uma das cartas
dadas pelo teorema 2.4.2 e U = B N 6= , com B uma bola contida em W , ent
ao
f : B R definida como
f (x) = f (1
(,1 (x), . . . , ,n (x), 0, . . . , 0))
(2.61)
(2.62)
x V U .
Demonstrac
ao. Em virtude do teorema 2.4.2 a condic
ao e necessaria. Falta ver que tambem
e suficiente. Seja i : V W a inclusao, ou seja, a restric
ao a V da inclusao de N em
Rm . Sendo uma propriedade local, a suavidade de i esta assegurada. Agora f i = f|V
2.4 Subvariedades
85
Demonstrac
ao. Tomamos em conta o exerccio 8 da secc
ao 2.2. Denotemos por f o prolongamento suave de uma funcao suave f em U qualquer. Queremos ver que [X, Y ]f = [X, Y ]f
sobre o aberto U . Ora a proposicao 2.4.4 diz-nos que (Xf )x = df (Xx ) = df (Xx ) = (X f )x
em U . Daqui resulta, usando a formula (2.34), que
[X, Y ]f = X (Y f ) Y (X f ) = X Y f Y X f = [X, Y ]f ,
o que e equivalente ao que queramos demonstrar.
Em virtude da sua caracterizacao local, os resultados anteriores generalizam-se a subvariedades mergulhadas de variedades suaves quaisquer.
Exerccios
1. Sejam X, Y espacos topologicos e f : X Y uma aplicac
ao contnua. Qual a topologia mais fina em f (X): a induzida ou a quociente? Justifique. Prove que f e injectiva
e as duas topologias coincidem se, e so se, f : X f (X) e um homeomorfismo sobre
f (X) com a topologia induzida de Y .
2. Justifique que a imagem da imersao (2.52) nao e uma variedade. O mesmo para a
figura 2.14. De um exemplo de uma imersao de um conexo para R2 , cuja imagem nao
e uma variedade (sugestao: mostre que a figura do smbolo e parametrizada por
(cos t, sen 2t)).
3. Seja : W V um difeomorfismo entre abertos W, V de Rm = Rn Rp . Suponha que
tem componentes (1 , 2 ) de acordo com aquele produto cartesiano. Considerando
o subconjunto N = {x W : 2 (x) = 0} mostre que 1 (N ) e um aberto de Rn .
Mostre que N munida da topologia induzida de W e uma subvariedade mergulhada
de W .
4. Mostre que a composicao de dois mergulhos e um mergulho.
5. Mostre N M e uma subvariedade mergulhada de M se, e so se, existe uma famlia
{U } de abertos de M tal que N U e N U e uma subvariedade mergulhada
de M .
6. Prove que um subespaco vectorial de Rn e uma subvariedade mergulhada e descreva
o seu espaco tangente.
7. Tome conta dos pormenores dos exemplos 5 e 6. Generalize este u
ltimo a uma
f
aplicacao suave f : N M . Mostre que N e difeomorfo a . E que esta e difeomorfa a f (N ) se f (N ) e uma subvariedade mergulhada de M .
86
x = 0 ou xy = 1};
87
15. Seja N Rm uma subvariedade e seja c R uma constante nao nula. Mostre que
existe um difeomorfismo de Rm para si mesmo, levando N para cN = {cx : x N }
(esta imagem chama-se uma homotetia de N ).
2.5
Teoremas de construc
ao de variedades
(2.64)
(2.65)
Demonstrac
ao. Tomando a topologia induzida de L em P queremos encontrar uma carta
b de L em torno de cada um dos pontos de P que verifique a condic
c , )
(W
ao do teorema
2.4.2.
Seja x0 P, y0 = f (x0 ) N . Seja (U, ) uma carta de L, com x0 U , e (W, )
uma carta de M , com y0 W e tal que W N = i>n 1
i (0) que sabemos existir
por aquele mesmo teorema. Supomos U tao pequeno de tal modo que f (U ) W . Ent
ao
f 1 : (U ) (W ) e suave. Uma vez que os diferenciais das cartas e d
ao
isomorfismos dos espacos tangentes Tx0 L e Ty0 M , respectivamente, para Rl e Rm , e uma
vez que dfx : Tx L Tf (x) M e sobrejectiva, podemos ja concluir que f 1 tambem e
uma submersao. Entao, pelo teorema da derivada sobrejectiva, cf. secc
ao 1.6, que aplicamos
l
no ponto (x0 ), deduzimos que existe um aberto V R e um difeomorfismo suave g : V
g(V ) (U ) tal que
f 1 g(z1 , . . . , zl ) = (zlm+1 , . . . , zl ),
(z1 , . . . , zl ) V.
88
(2.66)
m
X
j f
=
bi
bi j
j=1
m
0
1
X
b
j f
=
=
zi
j
j=1
ji
se i l m,
caso contr
ario,
com ji tal que l m + ji = i. Como, pelas mesmas razoes que anteriormente, tambem se
tem
tangente a N se j n, vemos que ji n se, e so se, i l m + n = p. Pondo de
j
parte a referencia `as bases, fica provada a condic
ao (2.65).
89
(2.67)
Entao dfx (u1 , . . . , un+1 ) = 2a21 x1 u1 + + 2a2n+1 xn+1 un+1 e por isso f e regular em todos
os x 6= 0. A subvariedade E = f 1 (1) e chamada de elips
oide de dimensao n. No caso em
que todos os ai sao iguais a 1 voltamos a encontrar a esfera e resulta ent
ao que
(2.68)
(2.69)
x P = f 1 (N ). Ent
ao P e uma subvariedade mergulhada em L de dimens
ao l + n m
e
90
Demonstrac
ao. Como e conhecido, com a topologia induzida de L em P , basta provar que
existem abertos U de L cobrindo P e tais que P U e uma subvariedade mergulhada.
Seja x0 P um ponto qualquer. Consideremos primeiramente uma carta (W, ) de M ,
em torno de f (x0 ) e tal que N W = i>n 1
encia o teorema 2.4.2
i (0); carta esta cuja exist
nos assegura. Sendo um difeomorfismo, a aplicac
ao h = (n+1 , . . . , m ) = 2 : W
Rmn e uma submersao porque a projeccao canonica 2 de Rn Rmn para o segundo
factor tem derivada sobrejectiva. Como ja se viu em anteriores demonstrac
oes (e como ate
resulta do teorema 2.5.1), Ty N coincide com o subespaco de Ty M gerado pelos vectores
co tangente a N em y coincide
i , i n, qualquer que seja y N W . Ou seja, o espa
com ker dhy .
Tomemos agora um aberto U L contendo x0 , suficientemente pequeno de tal forma
que f (U ) W , e denotemos fb = h f| : U Rmn . Tem-se que
Corol
ario 2.5.2. Seja L uma variedade suave de dimens
ao l e sejam M, N duas subvariedades mergulhadas em L de dimens
oes m, n respectivamente. Suponhamos que e verificada
a condic
ao de transversalidade:
Tx M + Tx N = Tx L,
x M N.
(2.71)
Ent
ao M N e uma subvariedade mergulhada de L de dimens
ao m + n l e o seu espaco
tangente em cada ponto e igual `
a intersecc
ao dos espacos tangentes de M e de N nesse
mesmo ponto.
Demonstrac
ao. Seja i : M L a aplicac
ao de inclusao. i1 (N ) = M N pelo que o
resultado segue.
Exerccios
91
(2.72)
92
Captulo 3
Aplicac
oes cl
assicas
As quatro seccoes deste captulo afloram temas antigos, muito ilustrativos e fundamentais,
que hoje podem ser vistos `a luz da teoria das variedades diferenciaveis. Trata-se, todavia,
de um conjunto de aplicacoes que nos permitirao mais tarde aprofundar o conhecimento de
todas as variedades. Com isto esperamos justificar a disparidade dos temas abordados.
Nas duas primeiras seccoes introduzem-se os espacos homogeneos, com particular enfase
nos grupos de Lie, que sao indispensaveis para o prosseguimento da geometria seja ela de
que ramo for (afim, algebrica, riemanniana, complexa, simplectica, hiperbolica, etc). Nas
seccoes seguintes damos incio ao estudo da geometria riemanniana com as definic
oes gerais
3
principais e dois casos particulares: os das subvariedades de R de dimensoes 1 e 2.
3.1
Grupos de Lie e
algebras de Lie
Usamos a notaca
o multiplicativa pela raz
ao de que muitos grupos de Lie s
ao subgrupos de GL(Rn ).
93
94
Captulo 3.
Aplicacoes classicas
de Lie sobre K se esta definida em g uma operacao bilinear (ie. K-linear em cada vari
avel)
[ , ] : g g g
(3.1)
(3.2)
(3.3)
Que se h
a-de provar ser igual a
XN .
95
96
Captulo 3.
Aplicacoes classicas
para todo o h G. Agora, pelo que foi visto no exerccio 11 de 2.3, resulta ent
ao que
[X, Y ]g = dLg ([X, Y ]1 )
para X, Y campos vectoriais invariantes `a esquerda, ou seja, [X, Y ] g. Daqui se conclui
que g e uma subalgebra de Lie de XG . Vemos ainda que cada X fica determinado pelo
valor que toma em 1, isto e, pelo vector X1 T1 G. Logo dim g = dim T1 G = dim G como
variedade.
Muito mais ha para dizer sobre algebras e grupos de Lie do que aquilo que podemos
apresentar aqui. Para se perceber um pouco como as duas estruturas estao relacionadas
atente-se no seguinte:
Proposi
c
ao 3.1.4. Se G e um grupo de Lie abeliano ent
ao a sua
algebra de Lie e abeliana,
isto e, [X, Y ] = 0, X, Y g.
97
Passemos de imediato a um resultado pratico que nos permite apresentar e estudar varios
exemplos de grupos de Lie. Considere-se o espaco vectorial Mn = Mnn (R) das matrizes
quadradas de ordem n. Lembremos que a topologia que se usa em Mn permite identificar
2
Mn = L(Rn , Rn ) = Rn , primeiro como espacos topologicos e depois como variedades suaves.
Logo, podemos escrever
T Mn = Mn Mn .
(3.6)
Repare-se ainda que, como espaco vectorial, Mn coincide com gln (R). Recordemos que o
grupo linear GL(Rn ) (definido na secc
ao 1.1) e um grupo com a operac
ao de composic
ao
de aplicacoes. Trata-se de um aberto isomorfo e difeomorfo ao grupo GLn (R) das matrizes
invertveis, que e um aberto de Mn , com o produto usual de matrizes.
Proposi
c
ao 3.1.5. GLn (R) e um grupo de Lie e a sua
algebra de Lie e gln (R).
Demonstrac
ao. Que o produto de matrizes e a passagem ao inverso sao aplicac
oes suaves
ja foi visto na seccao 1.5.3. Provam-se assim as condic
oes (i) e (ii) exigidas para grupos
de Lie. Quanto `a determinacao da algebra de Lie de GLn (R) e prefervel neste momento
introduzir um resultado de caracter geral, cuja demonstrac
ao so requer a suavidade das
aplicacoes referidas acima.
Teorema 3.1.1 (receita para diversos casos praticos). Seja V um espaco vectorial real e
N V uma subvariedade mergulhada. Seja f : Mn V uma aplicac
ao suave. Suponhamos
1
que G = f (N ) e um subgrupo de GLn (R) e que os pontos de G s
ao pontos regulares de
f . Ent
ao:
98
Captulo 3.
Aplicacoes classicas
(3.7)
ou seja, a
algebra de Lie de G e uma sub
algebra de Lie de gln (R).
Demonstrac
ao. Pelo teorema 2.5.1 deduz-se que G e uma subvariedade mergulhada de Mn .
Logo as restricoes a G de quaisquer aplicac
oes suaves em abertos de Mn , como sejam o
produto de matrizes, a passagem ao inverso ou as multiplicac
oes `a esquerda, sao suaves
como aplicacoes definidas em G e com valores em G. Em particular, temos a garantia de
que Lg : G G tem derivada dLg (Xg0 ) = Lg (Xg0 ) = gXg0 , Xg0 Tg0 G, pois o seu
prolongamento natural a Mn e uma aplicac
ao linear. Com efeito, Lg : Mn Mn esta
definida e e linear. So nos resta ent
ao demonstrar 4.
Seja w : G R uma funcao suave qualquer. Vamos comecar por calcular a derivada
da funcao g 7 dwg (gY ) com Y Mn fixo. Tal func
ao e igual `a composic
ao de : G
G Mn , (g) = (g, gY ), com : (g, X) 7 dwg (X) e repare-se que
d(g,X) (U1 , U2 ) = d2 wg (X, U1 ) + dwg (U2 )
por se ter a decomposicao T(g,X) (G Mn ) = Tg G TX Mn = Tg G Mn . Assim, numa
direccao U Mn qualquer,
d g 7 dwg (gY ) g (U ) = d( )g (U ))
= d(g) (dg (U ))
= d(g,gY ) (U, U Y ) = d2 wg (gY, U ) + dwg (U Y ).
Tomemos agora dois campos vectoriais invariantes `a esquerda X, Y . Pelo que ja se viu,
Xg = gX1 , g G, e o mesmo se passa com Y . Para calcularmos [X, Y ], que ja sabemos
ser de novo um campo vectorial suave invariante `a esquerda, basta ver como actua numa
. Basta ent
funcao w CG
ao avaliar o resultado no ponto 1. Tem-se
([X, Y ]w)1 = X (Y w) Y (X w) 1
= d2 w(Y1 , X1 ) + dw(X1 Y1 ) d2 w(X1 , Y1 ) dw(Y1 X1 )
99
Note-se que os resultados do teorema anterior sao validos para todo o subgrupo de GLn
que seja subgrupo de Lie.
Vejamos alguns exemplos:
1. GLn (R) e um grupo de Lie e a sua algebra de Lie e gln (R), a u
nica subalgebra de Lie
de gln (R) que tem dimensao igual `a do grupo. O subconjunto aberto em GLn das matrizes
com determinante positivo e um subgrupo denotado GLn,+ . Este e portanto um grupo de
Lie e da mesma dimensao que o primeiro.
2. O grupo especial e o grupo SLn = {g GLn : det(g) = 1}. Pela proposic
ao 1.5.9
vemos que det e regular sobre SLn . A algebra de Lie do grupo linear especial e denotada
sln e consiste na subalgebra {X gln : trX = 0}, que tem dimensao n2 1.
3. O grupo ortogonal On e formado pelo conjunto das matrizes ortogonais, ou seja,
facil ver que On e um grupo. Seja S o espaco vectorial
On = {g GLn (R) : gg T = 1}. E
das matrizes simetricas (cf. exerccio 6 da secc
ao 1.1) e seja f : GLn S definida por
T
T
T
T
f (g) = gg . Entao dfg (X) = Xg + gX = Xg + (Xg T )T , X Mn . Uma vez que, para
g invertvel, X 7 Xg T e um isomorfismo e que pelo referido exerccio qualquer Y Mn e
soma de uma matriz simetrica e de uma matriz anti-simetrica, vemos que a aplicac
ao linear
dfg : Mn S e uma projeccao e logo uma aplicac
ao sobrejectiva. Ou seja, dado Y S,
fazemos X = Y g/2, e logo vira
dfg (X) =
Yg T
(Y g) T
Y
Y
g +g
= gg T + gg T = Y.
2
2
2
2
(3.8)
Pelo teorema 3.1.1 conclumos que On = f 1 (1) e um grupo de Lie e que a sua algebra
de Lie e son = {X gln (R) : X = X T }, ou seja, o espaco vectorial das matrizes antisimetricas. Logo a dimensao de On e n(n 1)/2.
4. Note-se que, sendo gg T = 1, entao det(g) = 1. Logo SOn = On SLn = On GLn,+
e um grupo de Lie, chamado grupo ortogonal especial. A sua algebra de Lie e son
tambem.
5. Outro grupo de Lie classico e o grupo simplectico Sp2n (R) cuja apresentac
ao relegamos
para o exerccio 10. A sua algebra de Lie denota-se por sp2n (R).
2
6. Pensando em Mnn (C) como R2n e lembrando que o determinante complexo goza das
mesmas propriedades que o determinante real, podemos definir os grupos de Lie GLn (C),
SLn (C), On (C) e Sp2n (C) tal como acima. Tendo em conta o isomorfismo canonico entre C
e R2 , bem como o exerccio 5, as algebras de Lie dos tres primeiros grupos sao as subalgebras
de Lie de gl2n (R), respectivamente, gln (C), sln (C) e son (C). Para o grupo simplectico temos sp2n (C) gl4n (R). Estes grupos de Lie, que sao variedades suaves, recebem o epteto
de complexos 32 .
7. Continuando a pensar na estrutura meramente real de Mnn (C), temos ainda o grupo
unit
ario Un = {g GLn (C) : gg = 1}. (Recorde que g e a matriz transconjugada
32
E s
ao de facto variedades analticas complexas, cujo estudo este livro n
ao abarca. Repare-se que o
determinante complexo e uma funca
o holomorfa...
100
Captulo 3.
Aplicacoes classicas
Exerccios
1. Sejam M, N, P tres variedades suaves e f : M N P uma aplicac
ao suave. Seja
X XM e considere y N e u Ty N fixados. Prove que a aplicac
ao de M em T P
x 7 df(x,y) (Xx , u)
(3.9)
e suave.
2. Mostre que a aplicacao ig : G G, ig (h) = ghg 1 e um homomorfismo de grupos
de Lie. Mostre que e um difeomorfismo.
3. Mostre que On e um grupo e que g T g = 1, g On . Verifique que SO2 e o conjunto
das rotacoes do plano e que O2 = SO2 g0 SO2 onde g0 representa a matriz de uma
simetria de R2 por um eixo, como por exemplo (x, y) 7 (x, y).
4. Descreva as algebras de Lie de SO3 e de SL2 , encontrando uma base {X1 , X2 , X3 } e
calculando os parentesis [Xi , Xj ], i, j = 1, 2, 3.
X Y
Y X
#
.
(3.10)
101
tais que gg = 1. Mostre que SUn e um grupo de Lie e que tem dimensao n2 1.
9. Mostre que SU2 e difeomorfo `a esfera S 3 .
"
#
0 1
10. Seja J =
GL2n (R). Mostre que J 2 = 1 e que J T = J. Seja
1 0
Sp2n (R) = {g GL2n (R) : gJg T = J}. Mostre que este conjunto e um grupo de Lie.
(Sugestao: estude a funcao f : GL2n AS, f (g) = gJg T para o espaco das matrizes
anti-simetricas.) Sp2n (R) e chamado de grupo simpl
ectico. Encontre a sua algebra
de Lie e calcule a sua dimensao.
11. Tendo em conta o exerccio 5, mostre que GLn (C) Sp2n (R) = GLn (C) SO2n = Un .
12. Determine as equacoes do grupo SOn (C) em termos das entradas das matrizes que o
compoem, para n = 1 e n = 2. Serao compactos tal como os grupos ortogonais reais
SOn ?
13. Demonstre a formula Gy = gGx g 1 para uma acc
ao G em M e y Gx.
14. Mostre que a algebra de Lie h de um subgrupo de Lie H G e uma subalgebra de
Lie da algebra de Lie g de G.
15. Um isomorfismo de grupos de Lie e uma aplicac
ao f : G1 G2 entre dois grupos de
Lie que e, simultaneamente, um homomorfismo de grupos e um difeomorfismo entre
variedades. Mostre que se f e um isomorfismo de grupos de Lie, ent
ao df : g1 g2
34
e um isomorfismo de algebras de Lie .
16. Sejam g1 , g2 duas algebras de Lie com parentesis de Lie [ , ]1 e [ , ]2 respectivamente.
Mostre que g1 g2 e uma algebra de Lie com o parentesis dado por
[(X, W ), (Y, Z)] = ([X, Y ]1 , [W, Z]2 ).
(3.11)
102
Captulo 3.
3.2
3.2.1
Aplicacoes classicas
Acco
es de grupos de Lie em variedades
Variedades homog
eneas
(3.12)
tal que
(g1 g2 , x) = (g1 , (g2 , x))
e (1, x) = x,
g1 , g2 G, x M.
(3.13)
(3.14)
ou seja, a orbita de cada ponto x M e igual a M . Tem-se neste caso que o subgrupo de
isotropia de y, digamos tal que y = gx, verifica Gy = gGx g 1 , isto e, e igual ao conjugado
por g do subgrupo de isotropia de x.
Suponhamos agora que G e um grupo de Lie e M e uma variedade suave35 . Denotemos
por M/G o conjunto das orbitas. Existe ent
ao uma projecc
ao natural
: M M/G
(3.15)
x 7 Gx
que permite dar a M/G a topologia quociente. Tem-se ent
ao:
Proposi
c
ao 3.2.1. 1. A aplicac
ao e aberta.
2. M/G tem uma base numer
avel de abertos.
Demonstrac
ao. 1. Seja U um aberto em M . (U ) e aberto se 1 ((U )) for aberto. Ora,
este u
ltimo e igual a
[
{x M : x GU } = GU =
gU
gG
35
103
(3.16)
pelo que G/H esta munido da topologia quociente (vinda de G por ). Define-se em seguida
uma nova accao, agora de G em G/H, escrevendo
: G G/H G/H
(g, g1 H) 7 gg1 H
(3.17)
(se g1 H = g2 H, entao gg1 H = gg1 (g11 g2 )H = gg2 H; logo esta bem definida). Repare-se
que o subgrupo de isotropia de g1 H coincide com g1 Hg11 .
Proposi
c
ao 3.2.2. 1. A acc
ao e contnua e transitiva.
2. G/H tem uma base numer
avel de abertos.
3. Se H e fechado, ent
ao G/H e um espaco topol
ogico de Hausdorff.
Demonstrac
ao. 1. Seja p : G G G a aplicac
ao produto de elementos em G e Id a
aplicacao identidade de G. Temos que
(Id ) = p
como e imediato verificar. Seja V um aberto em G/H. Ent
ao 1 (V ) e aberto em G.
Tem-se que 1 (V ) e aberto em G G/H se, e so se, (Id )1 (1 (V )) e aberto em
G G. Mas este subconjunto e igual a p1 ( 1 (V )) que e aberto. Logo e contnua. A
transitividade da accao e obvia.
consequencia imediata de 3.2.1.
2. E
3. Suponhamos g1 , g2 G tais que g1 H 6= g2 H ou seja g1 H g2 H = . Queremos
encontrar U1 , U2 vizinhancas de g1 , g2 , respectivamente, tais que (U1 ) (U2 ) = , ou
seja, U1 H U2 H = . De novo, seja p a aplicac
ao produto em G. Por continuidade e por
36
104
Captulo 3.
Aplicacoes classicas
H ser fechado, p1 (H) tambem e fechado. Por hipotese, (g1 , g21 ) nao pertence a p1 (H).
Existe entao uma vizinhanca W U2 daquele par ordenado que nao intersecta p1 (H).
Agora, tomando uma vizinhanca U0 de 1 tal que U0 = U01 lembrar que a passagem ao
inverso e um homeomorfismo e que aplica 1 em 1, pelo que existe tal U0 , podemos ja
supor que W = U0 g11 . Temos ent
ao, de forma equivalente, a condic
ao U0 g11 U2 H = .
Note-se que tambem U1 = g1 U0 e uma vizinhanca de g1 . Finalmente, suponhamos que
U1 H U2 H 6= . Entao existem h1 , h2 H, u0 U0 , u2 U2 tais que g1 u0 h1 = u2 h2 . E
1
1
daqui resulta u1
e absurdo.
0 g1 u2 = h1 h2 H, o que
(3.18)
(3.19)
105
(3.20)
Prova-se que o grupo ortogonal transforma subespacos ortogonais em subespacos ortogonais e preserva a norma dos vectores (ver secc
ao 3.3 para recordar estes conceitos e resultados elementares). Se fixarmos o vector u = (0, . . . , 0, 1) e pensarmos noutro vector
v = (v0 , . . . , vn ) S n de norma 1, ent
ao a transformac
ao linear que envia u para v ou v
(conforme o sinal do determinante), que envia v para u e fixa o ortogonal do plano gerado
por u e v, e uma transformacao ortogonal, ou seja, a sua matriz e uma matriz ortogonal. Assim se prova que existe g SOn+1 tal que g(v) = u. Por outras palavras, a acc
ao canonica
de SOn+1 em S n e transitiva. Claramente, uma matriz ortogonal fixa o vector u se, e so se,
a sua u
ltima linha e a sua u
ltima coluna sao iguais a [0, . . . , 0, 1] (porque ela tem de fixar ao
mesmo tempo o hiperespaco ortogonal a u). Logo o subgrupo de isotropia da acc
ao e igual a
n
n+1
SOn , visto como subgrupo das transformac
oes ortogonais de R {0} R
. Conclumos
que tambem se pode ver a superfcie esferica como uma variedade homogenea:
SOn+1 /SOn = S n .
(3.21)
Gr(n, N ) = W RN : dim W = n =
GLN (R)
,
GLn,N n (R)
(3.22)
(3.23)
106
Captulo 3.
Aplicacoes classicas
canonica para a tal base de RN cujos primeiros n vectores formam uma base de W , e um
isomorfismo linear. Portanto, para todo o W existe g GLN tal que g(Re1 + +Ren ) = W ;
logo a accao e transitiva.
Vejamos agora o subgrupo de isotropia e o espaco tangente. Para cada ponto W fixado,
um isomorfismo g GLN fixa W se, e so se, a composic
ao
g|
W RN
RN
W
(3.24)
glN (R)
RN
(3.25)
TW (Gr(n, N )) =
' L W,
{X : X = 0}
W
(3.26)
ou seja, cada ponto identifica a recta por si gerada. Tais coordenadas sao indicadas para
quando se quer estudar, por exemplo, as func
oes homogeneas...
Outro tipo de coordenadas e dado pelo seguinte atlas com m + 1 cartas. Estas estao
definidas nos abertos
Ui = [x0 , . . . , xi , . . . , xm ] Pm (R) : xi 6= 0
(3.27)
onde i = 0, . . . , m. As aplicacoes
[x0 , . . . , xm ] 7
xi
,...,
xi1 xi+1
xm
,
,...,
xi
xi
xi
(3.28)
107
3.2.2
Variedades quociente
Do que se vai expor em seguida podemos dizer que se trata de um caso extremo, distante
do das variedades homogeneas nao na forma mas na essencia. Vamos analisar aqui uma das
mais simples situacoes em que e nao transitiva (se dim M > 0) a acc
ao de um grupo de Lie
sobre uma variedade suave M .
Recordemos da teoria dos grupos que uma acc
ao de um grupo G num espaco M se diz
livre se nao tem pontos fixos, ie., x M, g G, se gx = x, ent
ao g = 1. O mesmo e
108
Captulo 3.
Aplicacoes classicas
U = g : g(U ) U 6= .
(3.29)
Vg
gU
Proposi
c
ao 3.2.4. Se a acc
ao de em M e propriamente descontnua e livre, ent
ao M/
e um espaco topol
ogico de Hausdorff.
Demonstrac
ao. Sejam x, y M tais que xy = , ou seja, (x) 6= (y). Tomamos ent
ao
as vizinhanca U0 de x e V0 de y dadas pelo lema 3.2.2, as quais, por M ser de Hausdorff,
podemos supor tao pequenas de tal modo que U0 V0 = . Em seguida, admitindo ja que
V0 e uma vizinhanca compacta38 , provamos que existe um n
umero finito de g tais que
V0 gU0 6= . Com efeito, se existisse uma sucessao infinita de pontos vi V0 gi U0 , com os
gi distintos, entao existiria uma subsucessao convergente vij em V0 , por este ser compacto.
Mas, entao, a partir de certa ordem j0 ter-se-a gij U0 gij0 U0 6= e logo gij = gij0 , j j0 ,
o que e absurdo.
38
As variedades s
ao localmente homeomorfas ao espaco euclidiano, logo podemos invocar o teorema 1.3.1.
109
Finalmente, se necessario restringindo ainda mais as vizinhancas ja encontradas, podemos concluir que existem vizinhancas U0 de x e V0 de y tais que
U0 V0 =
Como e aberta, isto significa que M/ e de Hausdorff.
(3.31)
Repare-se que M/ pode ser vista como uma colagemde M consigo propria. De facto
a accao de da lugar a difeomorfismos g : M M e podemos afirmar que as equac
oes
(2.10) sao trivialmente satisfeitas. Ou seja, dados x, y M pomos x y se y = gx para
algum g...
110
Captulo 3.
Aplicacoes classicas
Pn (R) =
Sn
{Id}
(3.32)
Exerccios
1. Mostre que o conjunto das matrizes invertveis do tipo (3.23) define um subgrupo de
Lie GLn,N n (R) GLN (R).
2. Mostre que Gr(n, N ) tambem e igual a ON /(On ON n ). (Sugestao: recorra aos conhecimentos sobre ortogonalidade ja invocados.) Sabendo que On e compacto deduza
que Gr(n, N ) e compacto. Mostre que as grassmanianas tem apenas uma componente
conexa, ie. sao conexas (sugestao: lembrar que On tem duas componentes e que a
projeccao para Gr(n, N ) e contnua e logo aplica conexos em conexos).
3. Mostre que Gr(n, N ) e difeomorfo a Gr(N n, N ), para todos os naturais n N .
Explique o isomorfismo (3.25).
111
(3.33)
(3.34)
(3.35)
112
Captulo 3.
Aplicacoes classicas
12. Mostre que um subgrupo de um grupo de Lie G que actua sobre uma variedade M ,
actua propria descontnuamente sobre M se, e so se, tem a topologia discreta.
13. Justifique que P2 (R) contem uma banda de Mobius. Mostre que P2 (R) e a variedade
que se procurava no exerccio 4 da secc
ao 2.1. Prove de novo, usando (3.32), que todos
os espacos projectivos sao compactos e conexos.
14. Mostre que {1} actua livre e propria descontnuamente em SL2n . A variedade
quociente que se obtem denota-se por P SL2n .
15. Prove que o conjunto de todas as rectas de R2 est
a em bijecc
ao com R2 \{0} S 1 .
16. Sejam v1 , . . . , vk Rn vectores linearmente independentes seja = Rv1 + + Rvk .
Mostre que Rn / e difeomorfo a Tk Rnk .
3.3
3.3.1
Variedades orient
aveis
Orienta
c
ao de um espaco vectorial
Dizemos que um espaco vectorial real V de dimensao n esta orientado se nele estiver feita
a escolha de uma base {u1 , . . . , un } e se estiver fixada uma ordenac
ao total deste conjunto
finito.
Outra base qualquer de V dada como um sistema ordenado de vectores v1 , . . . , vn diz-se
orientada no sentido positivo ou directo se a matriz de mudanca da base {ui }1in
para a base {vi }1in tem determinante positivo. Tambem se diz que a base e directa.
Caso contrario, a base diz-se orientada no sentido negativo ou retr
ogrado.
Existe entao uma relacao de equivalencia entre as bases de um espaco vectorial orientado,
com duas classes de equivalencia: dadas duas bases ordenadas elas estao orientadas no
mesmo sentido ou nao; nao ha terceira hipotese (cf. exerccio 1). Damos, finalmente, o
nome de orienta
c
ao de V `a escolha de uma destas classes em princpio, a classe que
contem uma base directa. Chama-se orientac
ao inversa `
a outra classe.
Dado um isomorfismo f : V V de um espaco vectorial orientado V , diz-se que f
preserva a orienta
c
ao se aplica bases directas em bases directas; diz-se, por outro lado,
que f inverte a orienta
c
ao se aplica bases directas em bases retrogradas.
Claro que um isomorfismo preserva a orientac
ao se, e so se, fixada uma base qualquer
em V a matriz de f esta em GLn,+ .
113
3.3.2
Orienta
c
ao de uma variedade diferenci
avel
,..., n
1
(3.36)
e directo (ie. directo em cada ponto), ou retrogrado. Repare-se que se a carta preserva a
orientacao, entao a carta (1 , 2 , . . . , n ) inverte a orientac
ao.
Lema 3.3.1. Uma variedade M e orient
avel se, e s
o se, cada Tx M tem uma orientac
ao e
e verificada a seguinte condicao de continuidade: cada x M tem uma vizinhanca U na
qual est
a definido um referencial X U suave e directo.
Demonstrac
ao. Usando cartas em torno de cada ponto x, ja vimos que a condic
ao descrita
no lema e necessaria. Vejamos que e suficiente. Seja, por hipotese, W um aberto conexo de
M onde esta definido um referencial suave X qualquer. Seja x0 W e suponhamos, sem
perda de generalidade, que esse referencial e directo em x0 . Seja
W 0 = x W : o referencial X e directo em x .
Um ponto x1 W esta em W 0 se, e so se, a componente conexa contendo x1 da vizinhanca
U W , onde U e dado pelo enunciado, esta contida em W 0 . Com efeito, o determinante e
uma funcao contnua, logo a matriz de mudanca do referencial X para o referencial X U tem
determinante positivo num ponto x1 se, e so se, tem determinante positivo na componente
conexa que contem esse ponto. Ou seja, tanto W 0 como o seu complementar em W sao
abertos em W . Como x0 W 0 e W e conexo, conclumos que W 0 = W . Ou seja, conclumos
que o referencial X e directo em todo o seu domnio.
Nao existem d
uvidas sobre o n
umero de orientacoes de uma variedade suave e conexa:
ou ha duas orientacoes, uma inversa da outra, ou nao ha nenhuma! Tal e consequencia do
proximo lema.
114
Captulo 3.
Aplicacoes classicas
(3.37)
satisfazem a condic
ao det(d( 1
)) > 0, , .
Demonstrac
ao. Basta considerar, ou assumir, que as cartas de um tal atlas sao as que
preservam a orientacao.
Proposi
c
ao 3.3.2. Seja M uma variedade orient
avel e M M uma acc
ao livre e
condic
propriamente descontnua em M . E
ao suficiente para M/ ser orient
avel que todos
os difeomorfismos g : M M , com g , preservem a orientac
ao. Se M e conexa, esta
condic
ao e necess
aria.
Demonstrac
ao. Aplicamos a proposic
ao 3.3.1. Olhando para o teorema 3.2.3 e sua demonstracao, vemos que as cartas positivamente orientadas de M induzem cartas positivamente
orientadas de M/ e, pela formula (3.31), conclumos que esta definic
ao e coerente se todos
os g : M M preservam a orientac
ao.
Recprocamente, suponhamos que M e conexa e M/ e orient
avel. Ent
ao o difeomorfismo local : M M/ preserva ou inverte a orientac
ao, localmente. Por M ser conexa,
115
podemos admitir ja que d transforma cada referencial suave e directo num aberto de M em
um outro sobre um aberto de M/. Mas como (gx) = (x) e portanto dgx dgx = dx
para todo o x M , devemos concluir que dgx : Tx M Tgx M preserva a orientac
ao.
Exerccios
1. Prove que e de equivalencia a relac
ao entre as bases de um espaco vectorial real:
B1 B2 se a matriz de mudanca de base M (Id, B1 , B2 ) tem determinante positivo.
2. Mostre que, se M, N sao variedades conexas e f : M N e um difeomorfismo, ent
ao
basta avaliar o sinal de det dfx num ponto x0 para decidir se f preserva ou inverte as
orientacoes.
3. Mostre que se M, N sao variedades orient
aveis, ent
ao M N e uma variedade orientavel.
4. Seja M uma variedade com m componentes conexas e orient
aveis. Calcule o n
umero
de orientacoes possveis de M .
5. Mostre que todo o grupo de Lie e orient
avel.
6. Mostre que a banda de Mobius nao e orient
avel. Usando este resultado verifique de
2
novo que P (R) nao e orientavel.
39
Chamado o antpoda de x.
116
3.4
Captulo 3.
Aplicacoes classicas
Introduc
ao `
a geometria riemanniana
3.4.1
(3.38)
com as propriedades: (i) hu, vi = hv, ui, u, v V , (chamada de simetria) e (ii) hu, ui
0, u V , com igualdade se, e so se, u = 0 (chamada propriedade de definida positiva).
Todo o espaco vectorial de dimensao finita n possui um produto interno, na medida em
que, usando um isomorfismo para Rn , podemos copiar o produto interno euclidiano
h(x1 , . . . , xn ), (y1 , . . . , yn )i = x1 y1 + + xn yn
(3.39)
que e o produto interno canonico do espaco euclidiano. Por esta razao tambem se da o nome
de euclidiano a qualquer espaco vectorial munido de um produto interno (cf. corolario
1.3.2).
Associada a um produto interno esta sempre uma norma. Com efeito, verifica-se imep
diatamente que kuk = hu, ui tem as propriedades requeridas para ser uma norma. Em
particular, a norma associada ao produto interno euclidiano e a norma euclidiana.
Dois vectores u, v V dizem-se perpendiculares ou ortogonais, e denota-se u v,
se hu, vi = 0. Dado um subconjunto F V , denota-se por F = {u V : u v, v F },
que e sempre um subespaco vectorial. Em dimensao finita, se F e um subespaco vectorial,
entao (F ) = F e tem-se a soma directa
V = F F .
(3.40)
117
2. (teorema de Pit
agoras) Se u v, ent
ao ku + vk2 = kuk2 + kvk2 .
3. (desigualdade de Cauchy-Schwarz) Para quaisquer u, v V ,
|hu, vi| kuk kvk,
(3.41)
uj = u
j /k
uj k
onde
j1
X
u
j = vj
hvj , ui iui ,
(3.42)
i=1
(3.43)
118
Captulo 3.
Aplicacoes classicas
(3.45)
n
X
xi ui ,
v=
i=1
Entao
hu, vi =
n
X
yi ui .
(3.46)
i=1
xi yj hui , uj i =
i,j
xi gij yj = X t GY.
(3.47)
i,j
G = [gij ],
x1
X = ... ,
xn
y1
Y = ... .
yn
(3.48)
119
(3.49)
Repare-se que o espaco C dos produtos internos num mesmo espaco vectorial V e um
cone convexo (cf. exerccio 4). Mais ainda, dados dois produtos internos x0 , x1 C fixemos uma base ortonormada para o primeiro; como existe uma base ortonormada para o
segundo e existe uma aplicacao linear de mudanca de base, vemos que GLn actua transitiva
e suavemente40 em C e que o subgrupo de isotropia e On . Em conclusao, temos
C = GLn /On = GLn,+ /SOn
(3.50)
como mais um exemplo de uma variedade homogenea. A segunda igualdade resulta simplesmente de se fixar uma orientacao em V e de pensar que, se existem bases ortonormadas,
tambem existem bases ortonormadas directas.
Corol
ario 3.4.1. O grupo de Lie GLn dos isomorfismos lineares tem duas componentes
conexas: GLn,+ = det1 (]0, +[) e det1 (] , 0[).
Demonstrac
ao. A demonstracao repete a ideia usada na proposic
ao 3.2.3, provando que nao
pode haver mais que uma componente conexa que se projecte no conexo C. Referimo-nos `a
projeccao
: GLn,+ C
40
C est
a contido no espaco das aplicaco
es bilineares simetricas, que e um espaco vectorial e por isso tem
uma topologia can
onica dada por alguma norma.
120
Captulo 3.
Aplicacoes classicas
3.4.2
Variedades riemannianas
Seja M uma variedade diferenciavel de classe C . Dizemos que M possui uma estrutura de
variedade riemanniana se existe, em cada ponto x M , um produto interno no espaco
vectorial tangente no ponto x
h , ix : Tx M Tx M R
verificando a seguinte condicao de suavidade: U aberto de M , X, Y XU , a func
ao
hX, Y i : M R e suave. Claro que esta u
ltima esta definida por hX, Y i(x) = hXx , Yx ix .
` aplicacao bilinear assim definida sobre os campos vectoriais da-se o nome de m
A
etrica.
A metrica tambem induz uma aplicac
ao norma, que mede a norma dos campos vectoriais
p
ponto a ponto, ie. se X XU , falamos de kXk CU definida como kXkx = hXx , Xx ix .
As nocoes descritas nos espacos vectoriais com p.i. generalizam-se `as variedades riemannianas. Podemos falar de campos vectoriais perpendiculares ou ortogonais X e
Y como aqueles para os quais hX, Y i = 0. Podemos tambem falar de um campo vectorial
unit
ario ou de um referencial ortonormado, com definic
oes obvias.
No seguimento do que se disse anteriormente, se A : T M T M e um endomorfismo
do espaco tangente, isto e, A aplica de forma linear cada Tx M em cada Tx M , ent
ao sendo
M uma variedade riemanniana podemos falar do adjunto de A extrapolando da definicao
(3.44). Mais ainda, todas as proposic
oes encontradas na secc
ao 3.4 tem um equivalente no
contexto actual.
Se M, N sao duas variedades riemannianas, podemos somar as suas metricas ponto a
ponto para produzir uma nova metrica na variedade M N , de acordo com a decomposic
ao
do espaco tangente descrita na proposic
ao 2.2.2. Define-se como em (3.43) por
h(X1 , X2 ), (Y1 , Y2 )i = hX1 , Y1 iN + hX2 , Y2 iM ,
(3.51)
121
de acordo com o que se disse acima, faz ser uma isometria. E ent
ao trivial verificar que
P
g = g define uma estrutura de variedade riemanniana sobre M (cf. exerccio 4).
Veremos na seccao seguinte que todas as variedades riemannianas trazem consigo a
estrutura de um espaco metrico. Portanto, em todas as variedades podemos construir
estruturas de espacos metricos.
Exerccios
1. Demonstre a formula de soma directa (3.40). Mostre que o processo de ortonormalizacao de Gram-Schmidt (3.42) e legtimo e conduz ao resultado esperado.
2. Verifique que o produto interno do produto cartesiano, construdo em (3.43), e de
facto um produto interno. Conclua que o p.i. canonico de Rn e a soma de n p.i.s de
R.
3. Mostre que f : V1 V2 e uma aplicac
ao linear isometrica se, e so se, f e uma aplicac
ao
que verifica hf (u1 ), f (u2 )i = hu1 , u2 i, u1 , u2 V1 .
4. Sejam h , i1 , h , i2 dois produtos internos. Mostre que th , i1 + sh , i2 e um produto
interno quaisquer que sejam s, t 0.
122
Captulo 3.
Aplicacoes classicas
5. Mostre que SOn e o subgrupo das isometrias que preservam uma orientac
ao fixada
n
em R . Descreva a accao referida antes do corolario 3.4.1. (Sugestao: sendo G0 a
matriz de uma metrica, mostre que outra metrica qualquer e igual a g t G0 g para algum
g GLn .) Conclua que C tambem e igual a GLn,+ /SOn .
6. Recorrendo a formulas deduzidas no texto, mostre que det f ad = det f . Conclua que
a adjunta de um isomorfismo e um isomorfismo. O mesmo para o traco.
7. Prove que se f : N M e uma imersao de uma variedade suave numa variedade
riemanniana M entao N adquire uma estrutura de variedade riemanniana: pomos
hu, vix = hdfx (u), dfx (v)if (x) , x N, u, v Tx N .
8. Defina a funcao coseno do angulo descrito por dois campos vectoriais numa variedade
riemanniana.
3.5
3.5.1
Breve refer
encia ao estudo das curvas
Definic
oes gerais em variedades riemannianas
Na seccao 2.3 mencionamos a ideia de curva dentro de uma variedade como uma aplicacao
de um intervalo real na variedade, sem cuidar de averiguar o sentido usual dessa noc
ao. Po
deramos pois dizer que uma curva de classe C ou suave e uma subvariedade de dimensao
1 imersa noutra variedade.
Suponhamos que M e uma variedade riemanniana com metrica g = h , i e que r :
[a, b] M e a restricao de uma parametrizac
ao de uma curva im r. Portanto, podemos
falar, de acordo com o exposto na proposic
ao 2.3.1, da velocidade de r em todos os pontos
d
do intevalo fechado. Trata-se da func
ao v = r0 : [a, b] T M definida por dr dt
.
O primeiro invariante da curva im r = e o seu comprimento. Trata-se do escalar
L() = s(b), onde s e a funcao comprimento de arco, ou seja, a primitiva41 da norma da
velocidade:
Z
t
s(t) =
kr0 ( )kd.
(3.52)
Isto e, s e a funcao que tem kr0 k como derivada42 e vale 0 em a. Com efeito, s(b) nao
depende da parametrizacao. Se r1 : [c, d] M e outra dessas aplicac
oes, representando
41
A funca
o primitiva ser
a estudada mais tarde, em particular a prova da sua existencia.
A raz
ao de ser desta definica
o vem do comprimento de uma curva no espaco euclidiano, que e a definido
n
como o supremo dos comprimentos das linhas poligonais com vertices inscritos na imagem R . Faz
sentido falar em linhas poligonais por haver um espaco euclidiano ambiente, sendo
obvio o que se quer dizer
pelo seu comprimento que coincide com o da presente definica
o! Uma vez que tomamos o supremo e que
42
123
(3.53)
inf
x,y ,y,z
L(
x,z ) = inf L(x,y ) + inf L(y,z ) = d(x, y) + d(y, z)
3.5.2
Agora e dada uma curva = im r como uma subvariedade riemanniana de R3 (alguns conceitos fazem sentido noutras dimensoes ou mesmo noutras variedades ambiente). Estamos
a tomar a metrica euclidiana usual, fixa em cada espaco tangente a R3 . Portanto esta
implcita uma carta canonica deste espaco canonico.
as rectas minimizam o comprimento, uma vez que a recta r(b) + t r0 (b) e infitesimalmente pr
oxima da curva
no ponto r(b), teremos
ds
d
d
(b) =
L({r(b) + t r0 (b)}) = tkr0 (b)k = kr0 (b)k,
dt
dt
dt
assim explicando a imposica
o de (3.52).
124
Captulo 3.
Aplicacoes classicas
Os pontos de uma curva onde a sua velocidade se anula dizem-se pontos singulares.
Uma curva diz-se regular se nao tem pontos singulares (cf. ponto crtico e ponto regular na
secccao 2.5) e, de facto, esta definic
ao nao depende da parametrizac
ao escolhida (exerccio
2).
Dada r : [a, b] R3 suave e regular e definido o comprimento de arco s : [a, b]
[0, L()], uma vez que s0 (t) = kr0 (t)k 6= 0, podemos inverter s, obtendo tambem uma
funcao s1 de classe C . Esta permite-nos passar `a parametriza
c
ao por comprimento
3
1
de arco, l = r s : [0, L()] R , que e muito simpatica pelo facto de ter velocidade de
norma unitaria: sendo s(t) = ,
1
l0 ( ) = r0 (t)s1 ( ) = r0 (t)
kr0 (t)k
3
a que mesmo
r2 (t) = ( t, t, 32 t 2 ), mas esta nao e sequer diferenciavel em 0. O leitor verificar
nos exemplos aparentemente mais simples e difcil calcular o comprimento de arco. Porem,
nao e este o caso.
2. Dada f (x, y, z) = (x2 y, yz + z 3 ), temos df(x,y,z) (u, v, w) = (2xyu + x2 v, zv + yw +
3z 2 w), donde (1, 0, 1) e um ponto regular. Perto deste ponto, a curva f 1 (0, 1) tem uma
parametrizacao t 7 (c(t), 0, 1) para cada func
ao c(t) real suave, regular se c0 (t) 6= 0.
3. Em coordenadas polares, no plano, temos descric
oes muito elegantes de algumas curvas
classicas: por exemplo, a cis
oide de Di
ocles = sen tg , a cardi
oide = a(1 + cos ), a
espiral = a (a constante), etc.
Dispomos de outros instrumentos para o estudo das curvas regulares. A curvatura ~k e
a segunda derivada da representacao por comprimento de arco de uma dada curva regular
. Numa qualquer parametrizacao r da mesma curva, temos
00 0 2
0 0 00
~k = r kr k r hr , r i
kr0 k4
(3.54)
125
P1
P0
|(x1 ) (x0 )|
k~kp0 k = lim
x1 x0
Lpd
0 p1
(3.55)
Demonstrac
ao. Note-se que para qualquer parametrizac
ao temos
kp00 k2 kp0 k4 2hp0 , p00 i2 kp0 k2 + kp0 k2 hp0 , p00 i2
kp00 k2 kp0 k2 hp0 , p00 i2
h~k, ~ki =
=
.
kp0 k8
kp0 k6
Em particular para a parametrizacao em causa, uma vez que p0 = (1, y 0 ), p00 = (0, y 00 ), vem
y 002
y 002 (1 + y 02 ) y 02 y 002
=
h~k, ~ki =
(1 + y 02 )3
(1 + y 02 )3
3
Assim temos uma formula k~kk = |y 00 |/(1 + y 02 ) 2 , u
til para certos momentos da pratica.
R x1 p
Note-se tambem que o comprimento Lpd
1 + y 02 dt, pelo que a derivada desta
0 p1 = x0
1
x1 x0
|(x1 ) (x0 )|
|y 00 |
~
=
1 = kkk,
Lpd
0 p1
(1 + y 02 )(1 + y 02 ) 2
126
Captulo 3.
Aplicacoes classicas
3.5.3
F
ormulas de Frenet-Serret
Seja uma curva parametrizada pelo comprimento de arco l. Ja vimos que kl0 k = 1 e que
hl0 , l00 i = 0. Entao denotamos esse mesmo vector unitario l0 por ~t e atribumos-lhe o nome
de vector tangente. Faamos a suposic
ao extra de que 6= 0 em todos os pontos. Ao vector
~
unitario perpendicular `a tangente ~n = k damos o nome de normal. Dito de outra forma,
~t0 = l00 = ~k = ~n.
Em R3 existe ainda um u
nico vector ~b tal que {~t, ~n, ~b} forma uma base ortonormada com
trivial verificar que aquele referencial e suave ao
a orientacao directa. ~b e a binormal. E
longo da curva (definido apenas na condic
ao de 6= 0). Tem-se h~b, ~ti = 0, donde se obtem
0 = h~b0 , ~ti + h~b, ~t0 i = h~b0 , ~ti + h~b, ~ni = h~b0 , ~ti.
Entao so podemos concluir que ~b0 = ~n para alguma func
ao escalar. A esta func
ao
definida sobre a curva da-se o nome de tors
ao; com efeito, e um invariante da parametrizacao e mesmo do sentido em que a curva e percorrida (exerccio 6).
Com raciocnio analogos aos anteriores chegamos `as formulas de Frenet-Serret:
Exerccios
1. Justifique cabalmente que qualquer curva suave r : [a, b] M tem uma orientac
ao
induzida pela orientacao de R, ie. tem um sentido, e que pode ser parametrizada no
sentido inverso, mantendo o comprimento.
2. Mostre que a nocao de curva regular nao depende da escolha da sua carta (ie. da
parametrizacao).
127
128
Bibliografia
[Ahl79] L. V. Ahlfors. Complex analysis. Mc Graw Hill, 1979.
[Ati79] M. Atiyah. Geometry of Yang-Mills fields. Scuola Normale Superiore, Pisa, 1979.
[BG88] M. Berger and B. Gostiaux. Differential geometry: manifolds, curves and surfaces.
Springer, Berlin, 1988.
[Boo86] W. M. Boothby. An introduction to differentiable manifolds and riemannian geometry. Academic Press, 2 edition, 1986.
[DA83] F. R. Dias Agudo. Introduc
ao `
a
algebra linear e geometria analtica I e II. Escolar
Editora, Lisboa, 1983.
[DA89] F. R. Dias Agudo. An
alise real, volume I. Escolar Editora, Lisboa, 1989.
[Die44] J. Dieudonne. Une generalisation des espaces compacts. J. Math. Pures Appl.,
23:6576, 1944.
[Die66] J. Dieudonne. Fundamentos de an
alisis moderno. Reverte, S.A., Argentina, Espanha, Mexico, 1966.
[Hel78] S. Helgason. Differential geometry, Lie groups, and symmetric spaces. Academic
Press, California, 1978.
[Hir95] F. Hirzebruch. Topological methods in algebraic geometry. Springer-Verlag, Berlin,
1995.
[KF82] A. N. Kolmogorov and S.V. Fomin. Elementos da teoria das func
oes e de an
alise
funcional. Mir, Moscovo, 1982.
[Mac91] A. Machado. Geometria diferencial uma introduc
ao fundamental. Cosmos, Lisboa,
1991.
[Pre00] A. Pressley. Elementary Differential Geometry. Springer, 2000.
[Spi65] M. Spivak. Calculus on manifolds. Addison-Wesley, 1965.
[Wol84] J. A. Wolf. Spaces of constant curvature. Publish or Perish, Inc., 1984.
129
Indice
algebra de Lie, 94
abeliana, 96
associada, 96
orbita, 102
cont
avel, 11
enumer
avel, 11
esferas ex
oticas, 55
espaco-tempo, 53
famlia, 10
invariante topol
ogico, 55
limite indutivo, 61
metrica, 30
numer
avel, 11
separada, 12
sucess
ao exacta, 8
totalmente limitado, 19
variedade analtica, 55
1o axioma da enumerabilidade, 18
2o axioma da enumerabilidade, 11
anti-simetrico, 68
definida positiva, 116
endomorfismo, 120
global, 66
homomorfismo, 96
kernel, 8
localmente constante, 75
local, 13, 64, 75
locus, 87
meridiano, 60
n
os, 54
subgrupo normal, 111
superfcies de Riemann, 54
totalmente simetrico, 35
abertos, 10
accao
de um grupo, 102
efectiva, 111
livre, 107
propriamente descontnua, 108
suave, 103
transitiva, 102
aderencia, 10
adicao, 5
adjunta, 118
aplicacao
(K-)linear, 6
aberta, 13
diagonal, 82
linear derivada, 30, 64, 73
atlas, 55
compatveis, 55
automorfismo, 6
banda de Mobius, 58
base
canonica de Rn , 31
directa, 112
orientada, 112
ortonormada, 117
base de um espaco vectorial, 6
binormal, 126
bolas, 18
campo vectorial
relacionados, 76
campo vectorial, 65
suave, 65
unitario, 120
campos vectoriais
perpendi. ou ortogonais, 120
cardioide, 124
carta, 55
cilindro, 57
cisoide de Diocles, 124
classe C k , C , 35
130
131
cobertura, 11
aberta, 11
fechada, 11
finita, 11
localmente finita, 26
subcobertura, 11
combinacao linear, 6
compacto, 12
localmente, 26
completo, 20
comprimento, 122
de arco, 122
de curva sec. C , 123
condicao
de Heine-Borel, 12
de transversalidade, 89, 90
cone, 57
conexo, 12
componente, 25
localmente, 25
por arcos, 25
contnua em X, 13
contnua em x, 13
contraccao, 47, 51
converge, 19, 24
convexo, 30
coordenadas
afins, 106
homogeneas, 106
coordenadas esfericas, 60
coordenadas polares, 43
curva, 122
de rumo, 60
periodica, 82
regular, 124
seccionalmente C , 71
sentido, 126
curvatura, 124, 126
denso, 10
derivada
direccional, 30
parcial, 31
desigualdade de Cauchy-Schwarz, 117
determinante, 40
diametro, 19
difeomorfismo, 36, 75
diferenciavel
k-vezes, 35
em U , 34
em x, 30
estrutura, 55
diferencial, 30, 64, 73
de 2a ordem, 34
de ordem k, 35
total, 74
dimensao, 6
duma variedade, 55
finita, 6
infinita, 6
distancia, 17
entre dois conjuntos, 19
dual, 6
duas vezes diferenciavel, 34
elipsoide, 89
endomorfismo, 6
epimorfismo, 6
equador, 60
escalar, 5
esfera, 30, 55
espaco
euclidiano, 29, 116
metrico, 17
projectivo, 106
tangente, 61
tangente no ponto x, 63
topologico, 9
vectorial, 5
normado, 23
orientado, 112
quociente, 7
espiral, 124
fechados, 10
fecho, 10
forma linear, 118
funcao homogenea, 111
garrafa de Klein, 58
geradora, famlia, 6
grafico, 82
grassmaniana, 105
132
grupo de Lie
complexo, 99
grupo de Lie, 93
grupo linear, 6
especial, 99
geral, 40
grupo ortogonal, 99
especial, 99
grupo simplectico, 101
grupo unitario, 99
helice circular, 126
Hausdorff, 12
homeomorfismo, 13
homomorfismo de a.s de Lie, 94
homomorfismo de grupos de Lie, 96
homotetia, 87
identidade de Jacobi, 68, 94
identidade do paralelogramo, 116
imagem, 8
imersao, 44, 78
invariante `a esquerda, 95
inverte a orientacao, 112
isometrica, 117, 120
isometria, 117, 121
isomorfismo, 6
de grupos de Lie, 101
jacobiana, matriz, 33
Kronecker, smbolo de, 68
Leibniz, regra de, 31, 43, 68, 69
limitado, 19
limite, 16, 19
linearmente
dependentes, 6
independentes, 5
localmente
compacto, 26
conexo, 25
conexo por arcos, 25
fechado, 29
finita, cobertura, 26
loxodromica, 60
metrica, 120
133
fronteiro, 16
interior, 16
regular, 89
singular, 124
pre-compacto, 19
preserva a orientacao, 112, 114
produto interno, 116
euclidiano, 116
produto riemanniano, 120
projeccao canonica, 65
projeccao estereografica, 59
prolongamento, 84, 86
referencial, 66
ortonormado, 120
suave, 66
refinamento, 26
relacionados; campos vectoriais, 76
rotacao, 44
sentido negativo ou retrogrado, 112
sentido positivo ou directo, 112
separavel, 11
soma directa, 7
suave, 36, 64, 70, 71
subalgebra de Lie, 94
subespaco
topologico, 11
vectorial, 7
subgrupo de isotropia, 102
subgrupo de Lie, 93
submersao, 87
subvariedade, 7779
imersa, 78
mergulhada, 79
riemanniana, 121
sucessao
de Cauchy, 20
subsucessao, 19
suporte, 28
tangente, 126
teorema
Bolzano, 29
Bolzano-Weierstrass, 22
Dieudonne, 27
do ponto fixo, 51
Lagrange, 37
Lindelof, 11
Pitagoras, 117
Rolle, 37
Schwarz, 34
Tietze-Urysohn, 27
Urysohn, 27
Weierstrass, 14
Whitney, 53
topologia, 9
base, 10
caotica, 10
de espaco metrico, 18
discreta, 10
gerada por, 10
induzida, 11
produto, 14
quociente, 15
toro, 58
torsao, 126
traco, 42
transformacao
afim, 100
transformacao linear, 6
valor regular, 89, 124
variedade
colagem, 57
de classe C k , 55
diferenciavel de classe C , 55
homogenea, 104
orientavel, 113
produto cartesiano, 56
quociente, 109
riemanniana, 120
suave, 55
topologica, 55
variedade de bandeira, 111
vector, 5
normado, 117
tangente, 63, 126
unitario, 117
vectores
perpendi. ou ortogonais, 116
velocidade, 70, 122
vizinhancas, 10
134