Variedades

Captulo 33
Variedades
Conte
udo
33.1
Variedades Topol
ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.1.1 Construindo Variedades Topol
ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2 Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.1 Partic
oes da Unidade Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.2 A Noc
ao de Espaco Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.2.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.3 Tensores em Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.3.1 Tracos de Tensores. Contrac
ao de Indices . . . . . . . . . . . . . . . . . . . . . .
33.2.3.2 Transposic
ao de Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.4 Aplicac
oes Entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . .
33.2.4.1 A Diferencial de Uma Aplicac
ao Entre Variedades. Pullback e Pushforward
33.2.4.2 Imers
oes, Mergulhos e Subvariedades . . . . . . . . . . . . . . . . . . . . . . . .
33.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.3.1 A Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4 Exemplos de Variedades Topol
ogicas e Diferenci
aveis . . . . . . . . . . . . . . . . . .
33.4.1 Uma Variedade Topol
ogica Paracompacta n
ao Segundo-Cont
avel . . . . . . . . . . . .
33.4.2 O Gr
afico de uma Func
ao Real em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.2.1 Cones. E Um Estudo de Caso . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.3 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.4 As Esferas Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.5 Toros (e Algumas Generalizac
oes) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.6 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.7 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33.4.8 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . .
APENDICES
. . . . . . . . . . . . . . . . . . . . .
33.A Derivadas de Lie. Prova das Rela
c
oes (33.70) e (33.81) . . . . . . . . . . . . . . . . .
33.B Derivadas de Lie. Prova da Rela
c
ao (33.88) . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1522
. 1527
1529
. 1533
. 1535
. 1541
. 1543
. 1545
. 1547
. 1548
. 1548
. 1552
1554
. 1557
1562
. 1562
. 1564
. 1566
. 1567
. 1570
. 1572
. 1575
. 1578
. 1578
1580
1580
1581
nocao moderna de variedade diferenci

avel, provavelmente formalizada pela primeira vez por Hassler Whitney1 ,
em 1936, assumiu grande relevancia na Fsica Te
orica (particularmente na Teoria de Campos e na Teoria da
Relatividade Geral), sendo o objeto central de certas areas da Matem
atica, como a Topologia Diferencial, a
Geometria Diferencial e desempenhando um papel importante em outras, como na Teoria dos Grupos de Lie.
Suas origens remontam `
a Geometria Analtica criada por Descartes2 , mas foi com os trabalhos de Gauss3 , Riemann4 ,
5
Poincare e muitos outros que ideias de natureza geometrica entraram o seculo XX acasaladas a ideias de natureza
topol
ogica. De maneira simplificada, podemos dizer que uma variedade e um espaco topologico no qual cada ponto
possui uma vizinhanca aberta na qual cada elemento pode ser identificado por um sistema de coordenadas n
ao-singulares
contnuo (e, eventualmente, diferenci
avel). Essa construcao e inspirada na nocao de superfcie em espacos Rn . Na
realidade, para que uma variedade tenha propriedades n
ao-patol
ogicas e permita certas construcoes matematicas gentis
(como, por exemplo, ser metriz
avel e ter particoes da unidade) e necessario requerer certas condicoes adicionais ao espaco
topol
ogico, como a de ser Hausdorff, segundo-cont
avel ou paracompacto.
1 Hassler
Whitney (19071989).
Descartes (15961650).
3 Johann Carl Friedrich Gau (17771855).
4 Georg Friedrich Bernhard Riemann (18261866).
5 Jules Henri Poincar
e (18541912).
2 Ren
e
1521
JCABarata. Curso de Fsica-Matem

atica
Vers
ao de 27 de junho de 2014.
Captulo 33
1522/2111
O presente captulo pretende introduzir as nocoes de variedade topologica e de variedade diferenci

avel. Tambem
introduziremos aqui algumas nocoes correlatas, como as de espaco tangente, variedade tangente, espaco cotangente,
variedade cotangente, campo vetorial e tensorial. Nocoes de natureza geometrica, como as de metrica Riemanniana e
semi-Riemanniana, geodesica, conex
ao, curvatura etc., serao abordadas no Captulo 34, p
agina 1584.
Sem a pretensao de fornecer uma lista minimamente digna da extensa e variada literatura devotada aos temas aqui
tratados, fornecemos algumas poucas indicacoes bibliograficas ao leitor que valham tanto para o presente captulo quanto
para o Captulo 34. Para a teoria geral de variedades topologicas e diferenci
aveis e para o estudo geral de Topologia
Diferencial e Geometria Diferencial, vide6 [169], [161], [162], [114], [32], [146], [181], [157], [143], [16], [238] ou [239].
Para o estudo de Geometria Riemanniana, vide [177], [39] ou [163]. Para o estudo de Geometria semi-Riemanniana,
vide [198]. Para aplicacoes `
a teoria dos grupos de Lie, vide [260]. Para o estudo de Geometria Diferencial de curvas e
superfcies, vide [176]. Para um extenso tratamento matematico da Teoria da Relatividade Geral, vide [40]. Para temas
matematicos mais especficos da Teoria da Relatividade Geral, vide [259], [102], [242], [44] ou [189]. Para aplicacoes
gerais da Geometria Diferencial `
a Fsica, em estilo semi-matematico, vide [194].
* ** *** ** *
Quanto à organizacao deste captulo, optamos por apresentar primeiramente os conceitos, definicoes e os desenvolvimentos teoricos b
asicos, deixando a apresentacao e discuss
ao de exemplos de variedades topologicas e diferenci
aveis para
a secao final, a Secao 33.4, p
agina 1562. Isso tem a vantagem de n
ao interromper os desenvolvimentos gerais e permite
tratar os exemplos com mais globalidade, sem discuss
oes limitadas a aspectos previamente apresentados. No entanto,
o estudante e estimulado a procurar enfronhar-se gradualmente na Secao 33.4 desde o incio de sua leitura, de modo a
colher alguns exemplos relevantes sobre o material apresentado.
33.1
Variedades Topol
ogicas
Nesta breve secao introduziremos a nocao de variedade topologica, discutiremos as motivacoes que a ela conduzem e
algumas variantes de sua definicao, preparando o caminho para a definicao de variedade diferenci
avel.
Bolas abertas em Rn
No que segue, denotaremos npor Dn (r, x) Rn a o

bola aberta de raio r > 0 centrada em x Rn em relacao à metrica
p

Euclidiana usual: Dn (r, x) := y Rn ky xk < r , com ky xk = (y 1 x1 )2 + + (y n xn )2 .
n
Duas bolas abertas Dn (r, x) e Dn (r , x ) no mesmo
homeomorfas7, com o homeomorfismo f :
R sao sempre
Dn (r, x) Dn (r , x ) dado por f (y) = y + x x , sendo = r /r. E tambem facil ver que a bola Dn (1, 0) e
homeomorfa a Rn , com o homeomorfismo g : Rn Dn (1, 0) dado (por exemplo) por
(0, . . . , 0) ,
se (y 1 , . . . , y n ) = (0, . . . , 0) ,
1
n

g(y , . . . , y ) :=
12
tanh
(y ) ++(y n )2
12
y 1 , . . . , y n , de outra forma.
n 2
(y ) ++(y )
Assim, todas as bolas Dn (r, x) sao homeomorfas entre si e homeomorfas a Rn .

Abertos Euclidianos
Seja (X, ) um espaco topol

ogico. Um -aberto e dito ser um -aberto Euclidiano de dimensao n N0 se for
homeomorfo a uma bola aberta Dn (r, 0) Rn .
Dado um espaco topol
ogico (X, ), denotaremos por E(X, , n) a colecao de todos os -abertos Euclidianos de
dimensao n. Notar que n
ao exclumos a possibilidade de E(X, , n) ser vazio.
O lema tecnico elementar a seguir sera usado posteriormente, mas n

ao tem nenhuma relevancia para o que segue de
imediato.
6A
ordem dos textos

e aleat
oria e n
ao segue nenhuma organizaca
o ou prefer
encia.
a definica
o de homeomorfismo, vide p
agina 1464.
7 Para

atica
Vers
Captulo 33
1523/2111
Lema 33.1 Seja E um aberto Euclidiano de dimens

ao n em um espaco topol
ogico (X, ) e seja h : E Rn um
homeomorfismo. Ent
ao, E pode ser escrito como uni
ao cont
avel da imagem por h1 de bolas abertas em Rn .
Se A com A E 6= , ent
ao tambem A E pode ser escrito como uni
ao cont
avel da imagem por h1 de bolas
n
abertas em R .
2
Prova. Seja D a colecao de todos as bolas abertas Dn (r, q) Rn com r Q+ e q Qn . A colecao D compreende,
claro
portanto, todas as bolas de raio racional positivo centradas em algum ponto de Rn com coordenadas racionais. E
que D e uma colecao cont
avel. Seja G Rn um aberto e seja DG o subconjunto de D composto por bolas inteiramente
claro que DG e tambem uma colecao cont
contidas em G. E
avel e que G pode ser escrito como a uniao cont
avel dos
elementos de DG .
n
Seja E um aberto Euclidiano e h : E h(E)
1 R um homeomorfismo. Segue facilmente que E pode ser escrito
Dn (r, q) , com Dn (r, q) Dh(E) , que e uma colecao cont
avel.
como a uniao da colecao de -abertos BE := h
Seja agora A e suponhamos A E 6= . Afirmamos que tambem A E pode ser escrito como uniao de uma
sub-colecao de BE . De fato, como h e um homeomorfismo, h(AE) e um aberto em Rn contido em h(E). Logo, h(AE)
pode ser escrito como uma uni
ao cont
avel de bolas em Dh(AE) . A imagem dessas bolas por h1 e um subconjunto de
BE , completando a prova.
Cartas locais
Seja (X, ) um espaco topol

ogico e E(X, , n) a colecao de todos os -abertos Euclidianos de dimensao n. Um
par (V, h) com V E(X, , n) e com h sendo um homeomorfismo h : V Dn (rV , 0) para algum rV > 0, e dito ser
uma carta local de coordenadas (do aberto V ). Se (V, h) e uma carta local de coordenadas, o -aberto Euclidiano V e
dito ser uma carta local e o homeomorfismo h e dito ser uma carta de coordenadas de V .
Espa
cos localmente Euclidianos
Um espaco topologico (X, ) e dito ser um espaco localmente Euclidiano de dimens

ao n se possuir ao menos um
recobrimento V por elementos de E(X, , n).
Assim, um espaco topol
ogico (X, ) e localmente Euclidiano de dimensao n se para todo x X existe um -aberto
V , com x V , sendo V homeomorfo a Dn (rV , 0) para algum rV > 0.
O sentido intuitivo dessa definicao afirma que cada x X possui uma vizinhanca aberta V cujos pontos podem
ser parametrizados por um sistema de coordenadas reais, associando bijetivamente a cada y V um conjunto de n
coordenadas reais (y 1 , . . . , y n ) Dn (rV , 0).
E. 33.1 Exerccio. Mostre que se (X, ) e um espaco localmente Euclidiano de dimensao n, entao (X, ) nao pode ser
simultaneamente um espaco localmente Euclidiano de dimensao m com m 6= n.
6
Atlas
Seja (X, ) um espaco localmente Euclidiano de dimensao n. Uma colecao de cartas locais de coordenadas
n
o

A =
V , h , V E(X, , n), h : V Dn (rV , 0),
e dita ser um n-atlas, ou simplesmente um atlas, do espaco topologico (X, ) se a colecao {V , } for um
recobrimento de X e se cada h , , for um homeomorfismo de V E(X, , n) em alguma bola aberta Dn (rV , 0).
Acima e um conjunto em princpio arbitrario de ndices usados para rotular os elementos do atlas.
Por definicao, todo espaco localmente Euclidiano de dimensao n possui ao menos um n-atlas (e vice-versa).

Se A = (V , h ), for um n-atlas, cada par (V , h ) A e dito ser uma carta local de coordenadas do atlas
A. Se (V , h ) A e uma carta local de coordenadas do atlas A, o -aberto V e dito ser uma carta local do atlas A,
ou simplesmente uma carta de A, e o homeomorfismo h e dito ser uma carta de coordenadas de A.
Fun
co
es de transi
c
ao
Dado um atlas A em um espaco localmente Euclidiano (X, ), certas cartas locais U e V de A (com homeomorfismos

atica
Vers
Captulo 33
1524/2111
hU : U Dn (rU , 0) e hV : V Dn (rV , 0), respectivamente) podem ter uma interseccao n

ao-vazia. Em tais casos
podemos definir um homeomorfismo HU,V do aberto hU (U V ) Dn (rU , 0) no aberto hV (U V ) Dn (rV , 0) por
HU,V := hV (hU )1 :
hU (U V ) hV (U V ) .
Os homeomorfismos HU,V sao denominados func

oes de transic
ao. A funcao de transicao HU,V representa uma mudanca
de coordenadas em U V , a saber, a mudanca das coordenadas definidas por hU nas coordenadas definidas por hV .
Como veremos. funcoes de transicao desempenham um papel central na introducao de outras estruturas em variedades
topol
ogicas, por exemplo, estruturas diferenci
aveis.
Espa
cos localmente Euclidianos e compacidade local
Por serem localmente homeomorfos a espacos Euclidianos, os espacos localmente Euclidianos herdam daqueles algumas
propriedades locais, como a compacidade local, atestada adiante. A propriedade de ser Hausdorff, no entanto, e uma
propriedade global de um espaco topol
ogico e n
ao e claro, portanto, que ela deva ser herdada de espacos localmente
Euclidianos. Como veremos no Exemplo 33.1, isso de fato nem sempre e verdade.
Para futura referencia, enunciemos a seguinte proposicao:
Proposi
c
ao 33.1 Todo espaco topol
ogico localmente Euclidiano e localmente compacto.
Prova. Seja (X, ) um espaco topol

ogico localmente Euclidiano. Sejam x X e V uma vizinhanca aberta localmente
Euclidiana de x homeomorfa a uma bola Dn (r, 0) por um homeomorfismo h : V Dn (r, 0). Como h(x) Dn (r, 0)
tem-se kh(x)k < r (aqui k k e a norma Euclidiana usual de Rn ). Assim, tomando 0< r < r kh(x)k
teremos que

h(x) Dn (r , h(x)) Dn (r, 0). O conjunto Dn (r , h(x)) e compacto e, portanto, h1 Dn (r , h(x)) e compacto (pois

1
h1 e contnua e pelo Teorema 32.5, p
agina 1467) e contem a vizinhan
ca aberta
Dn (r , h(x)) .

de x definida por h
Assim, todo x X possui uma vizinhanca compacta, a saber, h1 Dn (r , h(x)) para algum r > 0 pequeno o suficiente,
provando que todo espaco localmente Euclidiano e localmente compacto.
Metrizabilidade local de espa
cos localmente Euclidianos
Todo espaco localmente Euclidiano e localmente metriz

avel, ou seja, cada ponto possui uma vizinhanca homeomorfa
a um espaco metrico (pois cada Dn (r, 0) e um espaco metrico com a metrica Euclidiana usual). Para a nocao de
metrizabilidade e alguns resultados b
asicos, vide Secao 32.7, p
agina 1509.
Espa
cos localmente Euclidianos e espa
cos Hausdorff
Para a continuacao da discuss

ao e interessante observar que nem todo espaco localmente Euclidiano e Hausdorff.
Vejamos um exemplo.
Exemplo 33.1 Seja a chamada reta real com dupla origem (X, ) (com X R {p}) apresentada no Exerccio
E. 32.9, p
agina 1450. O espaco (X, ) e localmente Euclidiano de dimensao 1. De fato, se x R, sua vizinhanca
aberta Vx, r = (x r, x + r) composta de um intervalo aberto de largura 2r > 0 e evidentemente homeomorfa a
Dn (r, 0) = (r, r), com o homeomorfismo h : Vx Dn (r, 0) sendo h(y) = y x. Para o ponto p X tomamos a
vizinhan
ca abertas Vp, r = (r, 0) {p} (0, r), com r > 0, e o homeomorfismo h : Vp Dn (r, 0) sera dado por
y , se y 6= p ,
h(y) =
Deixamos ao leitor a tarefa (elementar) de provar que as funcoes h de acima e suas inversas
0 , se y = p .
sao contnuas.
Tambem deixamos leitor a tarefa (elementar) de provar que a colecao {Vx, r , x R, r > 0} {Vp, r , r > 0} e
um recobrimento por -abertos de X R {p}. Isso mostrou que a reta real com dupla origem (X, ) e um espaco
localmente Euclidiano de dimensao 1.
Apesar de localmente Euclidiano, o espaco topologico (X, ) n
ao e Hausdorff, pois todo aberto que contem p intersecta
todo aberto que contem 0.

atica
Vers
Captulo 33
1525/2111
No Exerccio E. 27.58, p
agina 1311, mostramos que a reta real com dupla origem e segundo-cont
avel.
A reta real com dupla origem e, em resumo, de um espaco localmente Euclidiano, segundo-cont
avel, mas n
aoHausdorff.
Variedades topol
ogicas. Defini
co
es e discuss
ao
Chegamos agora a algumas das definicoes que centralizarao nosso interesse no presente captulo.
Defini
c
ao. Pr
e-Variedade Topol
ogica. Um espaco topologico Hausdorff e localmente Euclidiano de dimensao n e
dito ser uma pre-variedade topol
ogica de dimensao n.
A nocao de pre-variedade topol
ogica, acima, e um tanto minimalista, pois pre-variedades topologicas podem ser
espacos n
ao-metrizaveis e sem particoes da unidade. Para evitar tais patologias e necessario agregar à definicao alguma condicao adicional, de modo a garantir a validade de propriedades topologicas gentis. Uma condicao adicional
costumeiramente agregada e a paracompacidade.
Defini
c
ao. Variedade Topol
ogica Paracompacta. Um espaco topologico Hausdorff, paracompacto e localmente
Euclidiano de dimensao n e dito ser uma variedade topol
ogica paracompacta de dimensao n.
Uma variedade topol
ogica paracompacta possui particoes da unidade subordinadas a recobrimentos por abertos
(Teorema 32.25, p
agina 1497) e e metriz
avel. Essa u
ltima afirmacao decorre do Teorema 32.29, p
agina 1510. Desse
teorema e do fato de todo espaco localmente Euclidiano ser localmente metriz
avel segue que uma variedade topologica
e metriz
avel se e somente se for paracompacta. Assim, e na import
ancia da propriedade de metrizabilidade que reside a
relevancia de garantir-se a propriedade de paracompacidade em uma variedade.
H
a outras raz
oes para desejar-se a propriedade de paracompacidade. Como veremos, existencia de particoes da
unidade e importante por garantir a existencia de metricas Riemannianas em variedades diferenci
aveis e por permitir
uma definicao de integracao de n-formas.
Uma outra definicao de interesse ainda maior e que, como veremos, e um caso particular da definicao anterior, e a
seguinte:
ogica Segundo-Cont
avel. Um espaco topologico Hausdorff, segundo-cont
avel e localDefini
c
ao. Variedade Topol
mente Euclidiano de dimensao n e dito ser uma variedade topol
ogica segundo-cont
avel de dimensao n.
Nota. A condicao de ser Hausdorff nao pode ser dispensada: os Exerccios E. 32.9, E. 27.58 e 33.1 (paginas 1450, 1311 e 1524, respectivamente)
mostram que o espaco topol
ogico denominado reta real com dupla origem
e localmente Euclidiano, segundo-cont
avel, mas n
ao-Hausdorff.
Uma variedade topol
ogica segundo-cont
avel e dotada, dentre outras, das seguintes propriedades gentis:
1. Compacidade local (por ser localmente Euclidiana, conforme a Proposicao 33.1, p
agina 1524).
2. Separabilidade (por ser segundo-cont
avel, de acordo com a Proposicao 27.13, p
agina 1308).
3. Regularidade (por ser Hausdorff e localmente compacta, conforme a Proposicao 32.30, p
agina 1493).
4. Normalidade (por ser Hausdorff, segundo-cont
avel e localmente compacta, de acordo com o Corolario 32.9, p
agina
1494).
5. Paracompacidade (por ser Hausdorff, segundo-cont
avel e localmente compacta, conforme o Teorema 32.26, p
agina
1499).
6. Existencia, para cada recobrimento por abertos, de um refinamento cont
avel e localmente finito por conjuntos
abertos relativamente compactos (tambem pelo Teorema 32.26, p
agina 1499).
7. Existencia de particoes da unidade subordinadas a recobrimentos por abertos (por ser Hausdorff, paracompacta e
pelo Teorema 32.25, p
agina 1497).
8. Metrizabilidade (por ser, Hausdorff, regular e segundo-cont
avel, de acordo com o Teorema 32.31, p
agina 1511).
9. Existencia de imers
oes e mergulhos em certos espacos Rm . Um importante teorema estabelecido em 1936 por
Whitney afirma que toda variedade topol
ogica segundo-cont
avel de dimensao n pode ser mergulhada em um espaco
R2n . Para a formulacao precisa, vide Teoremas 33.3 e 33.4, p
agina 1554 e seguintes.

atica
Vers
Captulo 33
1526/2111
Depreende-se da lista acima que toda variedade topologica segundo-cont

avel e uma variedade topologica paracompacta. Um teorema geral, porem, garante que uma variedade topologica paracompacta e segundo-cont
avel se e somente
se possui um n
umero cont
avel de componentes conexas. N
ao demonstraremos esse teorema aqui, mas o Exemplo 33.3,
p
agina 1562, exibe uma instancia pedag
ogica que ilustra sua validade. Nas variedades topologicas paracompactas n
aosegundo-cont
aveis o supracitado teorema de Whitney pode n
ao ser satisfeito.
Resumindo, pre-variedades topol
ogicas n
ao sao, geralmente, metriz
aveis e n
ao tem, geralmente, particoes da unidade
subordinadas a recobrimentos por abertos e variedades topologicas paracompactas que n
ao sao segundo-cont
aveis possuem
uma colecao n
ao-enumer
avel de componentes conexas. Em verdade, h
a muito poucos resultados interessantes que podem
ser obtidos em espacos localmente Euclidianos que n
ao sejam paracompactos ou Hausdorff.
Como discutimos na Secao 32.3.5.1, p
agina 1490, toda variedade topologica compacta e paracompacta e segundocont
avel, pois todo espaco topol
ogico Hausdorff, localmente Euclidiano e compacto e segundo-cont
avel e paracompacto
(vide, particularmente, a Proposicao 32.28, p
agina 1492).
Presentemente, a maioria dos autores prefere agregar a propriedade de ser segundo-cont
avel à definicao de variedade
topol
ogica, pois essa propriedade garante a exclusao de espacos patol
ogicos sem, no entanto, impedir a validade da
metrizabilidade e da existencia de particoes da unidade subordinadas a recobrimentos (paracompacidade), dois instrumentos sem os quais o trabalho matematico seria deveras dificultado. Alem disso, a validade do teorema de Whitney
sob a condicao de segundo-contabilidade indica que a nocao de variedade topologica segundo-cont
avel e a que mais se
aproxima da nocao intuitiva de superfcie, a qual subjaz à nocao de variedade e motiva sua definicao.
Na Secao 33.4.1, p
agina 1562, apresentamos um exemplo ilustrativo de uma variedade topologica paracompacta mas
n
ao segundo-cont
avel. Sua leitura permitir
a uma melhor apreciacao da distincao entre ambas as definicoes.
Daqui para a frente, salvo mencao em contr
ario, sempre que usarmos a expressao variedade topologica sem mais
qualificativos teremos em mente variedade topol
ogica segundo-cont
avel (e, naturalmente, Hausdorff).
* *** *
Para encerrar essa discuss
ao, facamos um coment
ario sobre a imagem dos homomorfismos h que definem as cartas
locais de coordenadas (V, h), com h : V Dn (rV , 0). Ate o momento, convencionamos padronizar sua imagem como
sendo bolas abertas Dn (rV , 0) Rn de raio rV > 0 centradas na origem. Em verdade, qualquer outro aberto de Rn
homeomorfo a tais bolas (por exemplo, os n-cubos abertos (1, 1)n ou o proprio Rn ) pode ser empregado na definicao.
Daqui por diante deixaremos essas possibilidade em aberto e so especificaremos a imagem de uma carta de coordenadas
h se tal for u
til a algum prop
osito especial.
Atlas em variedades topol
ogicas segundo-cont
aveis
A seguinte proposicao assegura que toda variedade topologica segundo-cont

avel possui ao menos um atlas cont
avel
e localmente finito composto por conjuntos -abertos relativamente compactos. A existencia de tais atlas e um fato
freq
uentemente empregado em demonstracoes de diversos tipos de assertivas em Geometria Diferencial e, em particular,
no estudo de Geometrias Lorentzianas (Relatividade Geral).
Proposi
c
ao 33.2 Toda variedade topol
ogica segundo-cont
avel (W, ) possui um atlas cont
avel {(Vm , hm ), m N} tal
que {Vm , m N} e um recobrimento localmente finito de W composto por conjuntos -abertos relativamente compactos.
2
Prova. Por ser um espaco topol

ogico localmente Euclidiano, (W, ) possui ao menos um atlas U = {(U , h ), }.
Por (W, ) ser um espaco topol
ogico Hausdorff localmente compacto e segundo-cont
avel vale, pelo Teorema 32.26,
p
agina 1499, que {U , } possui um refinamento cont
avel e localmente finito V = {Vm , m N} por conjuntos
-abertos relativamente compactos. Como V e um refinamento de {U , }, existe para cada Vm V um elemento
Um {U , } tal que Vm Um (pelo Teorema 32.26, vale ate mesmo que Vm Vm Um ). Se hm hm e a
ao (Vm , hm ) compoe uma carta local de coordenadas e {(Vm , hm ), m N}
carta de coordenadas associada a Um , ent
compoe um atlas cont
avel de (W, ) com {Vm , m N} sendo um recobrimento localmente finito de W composto por
conjuntos -abertos relativamente compactos.
Um corol
ario imediato da Proposicao 33.2 e da Proposicao 32.34, p
agina 1497, e o seguinte:

atica
Vers
Captulo 33
1527/2111
Corol
ario 33.1 Toda variedade topol
ogica segundo-cont
avel (W, ) possui uma partic
ao da unidade cont
avel composta
por func
oes de suporte compacto.
2
Prova. Pela Proposicao 33.2, W possui um recobrimento localmente finito {Vm , m N} composto por conjuntos abertos relativamente compactos. Pela Proposicao 32.34, p
agina 1497, existe uma particao da unidade {pm , m N}
subordinada a {Vm , m N}, com supp pm Vm para todo m N. Logo, supp pm e um subconjunto -fechado do
-compacto Vm e, pela Proposicao 32.18, p
agina 1467, supp pm e -compacto.
33.1.1
Construindo Variedades Topol

ogicas
Vamos agora brevemente descrever como novas variedades topologicas podem ser obtidas de outras atraves de certas
operacoes, como tomada de produtos, restricao a subconjuntos ou tomada de quocientes.
Produtos de variedades topol
ogicas
Se (X1 , 1 ) e (X2 , 2 ) sao duas variedades topologicas de dimensoes n1 e n2 , respectivamente, definimos a variedade
topol
ogica produto de ambas, denotada por (X1 X2 , 1 2 ), como sendo a variedade topologica (n1 + n2 )-dimensional
constituda pelo produto Cartesiano X1 X2 com a topologia produto 1 2 . Sabemos pelas Proposicoes 27.16, p
agina
1311, e 32.14, p
agina 1462, que as propriedades de ser segundo-cont
avel e de ser Hausdorff sao herdadas por topologias
produto. Assim, a u
nica quest
ao revelante e saber se (X1 X2 , 1 2 ) e localmente Euclidiana.
Sejam (V1 , h1 ) e (V1 , h1 ) cartas locais de coordenadas em (X1 , 1 ) e (X2 , 2 ), respectivamente. Defina-se o
homeomorfismo h1 h2 : V1 V2 Rn1 +n2 de forma que sua imagem para cada (x1 , x2 ) V1 V2 seja o produto
Cartesiano h1 (x1 ) h2 (x2 ) contido no produto de abertos h1 (V1 ) h2 (V2 ) Rn1 +n2 .
Se A1 e A2 sao atlas em (X1 , 1 ) e (X2 , 2 ), respectivamente, definimos A1 A2 , como o conjunto formado por
todas as cartas locais de coordenadas da forma (V1 V2 , h1 h2 ), com (Vk , hk ) sendo cartas locais de coordenadas de
facil ver que A1 A2 e um (n1 + n2 )-atlas em (X1 X2 , 1 2 ).
Ak , k = 1, 2. E
A variedade topol
ogica (X1 X2 , 1 2 ) assim constituida e denominada variedade topol
ogica produto das variedades
claro que a construcao acima pode ser estendida para quaisquer produtos finitos8 de
topol
ogicas (X1 , 1 ) e (X2 , 2 ). E
variedades topologicas.
Subvariedades topol
ogicas
Seja (N, N ) uma variedade topol

ogica de dimensao n e M N com M 6= . Podemos introduzir em M a topologia
I induzida por N , onde os abertos sao os conjuntos da forma A M , com A N . Segundo as Proposicoes 27.15,
p
agina 1311, e 32.13, p
agina 1461, o espaco topol
ogico (M, I ) sera Hausdorff e segundo-cont
avel.
Dizemos que (M, I ) e uma subvariedade topol
ogica de dimensao m de (N, N ) se for tambem um espaco localmente
evidente que toda subvariedade topologica de uma variedade topologica e por si so uma variedade topologica
Euclidiano. E
(por ser localmente Euclidiana, Hausdorff e segundo-cont
avel). Vamos agora reformular essas ideias em termos de
propriedades da chamada funcao inclusao.
Sejam X e Y dois conjuntos n
ao-vazios com Y X. A funcao i iY, X : Y X definida por i(y) := y para todo
y Y , e denominada inclus
ao de Y em X, ou func
ao inclus
ao de Y em X. A Proposicao 30.8, p
agina 1375, ensina-nos
que podemos refrasear a definicao de subvariedade topologica da forma sugerida na seguinte
Proposi
c
ao 33.3 Sejam (X, X ) e (Y, Y ) dois espacos topol
ogicos, sendo que Y X (assumimos X e Y n
ao-vazios).
Suponhamos que (X, X ) seja uma variedade topol
ogica. Ent
ao (Y, Y ) ser
a uma subvariedade topol
ogica de (X, X )
se a func
ao inclus
ao iY, X : Y X for um mergulho topol
ogico de (Y, Y ) em (X, X ) e se (Y, Y ) for localmente
Euclidiano.
2
Prova. Pela hipotese de iY, X : Y X ser um mergulho topologico de (Y, Y ) em (X, X ) segue pela Proposicao (30.8),
p
agina 1375, que Y = I , a topologia induzida por X em Y . Segundo as Proposicoes 27.15, p
agina 1311, e 32.13, p
agina
8 Para
produtos n
ao-finitos a propriedade de ser segundo-cont
avel
e geralmente perdida.

atica
Vers
Captulo 33
1528/2111
1461, o espaco topologico (Y, I ) = (Y, Y ) sera Hausdorff e segundo-cont

avel e, se tambem for localmente Euclidiano,
sera uma subvariedade de (X, X ), segundo a definicao previa.
Ainda relevante e a seguinte reformulacao das afirmacoes de acima, que dispensa demonstracao:
Proposi
c
ao 33.4 Sejam (X, X ) e (Y, Y ) duas variedades topol
ogicas sendo que Y X (assumimos X e Y n
aovazios). Ent
ao, (Y, Y ) ser
a uma subvariedade topol
ogica de (X, X ) se a func
ao inclus
ao iY, X : Y X for um
mergulho topol
ogico de (Y, Y ) em (X, X ).
2
Essa proposicao sera usada mais adiante como inspiracao para a definicao de subvariedade diferenci
avel.
Variedades topol
ogicas quociente
Seja (X, ) uma variedade topol

ogica e seja uma relacao de equivalencia em X. Como discutimos brevemente
na Secao 32.4.3, p
agina 1504, Podemos definir um espaco topologico (X/ , / ) sobre a colecao X/ de classes de
equivalencia por com a topologia quociente / , definida como sendo a maior topologia em X/ para a qual a
aplicacao quociente : X X/ , com (x) := [x], e contnua. Trata-se, portanto, da topologia final (ou forte, ou
indutiva) definida por . Assim, um conjunto A X/ e declarado aberto na topologia / se e somente se 1 (A) .
O espaco topologico (X/ , / ) e denominado espaco topol
ogico quociente.
Um problema importante na construcao de variedades topologicas e que as propriedades de Hausdorff e segundocontabilidade n

ao sao sempre herdadas por uma topologia quociente. Assim, ao examinarmos um espaco quociente de
uma variedade topologica, somos geralmente obrigados a verificar a validade das tres propriedades topologicas definidoras
de uma variedade topol
ogica: a propriedade de Hausdorff, a segundo-contabilidade e a propriedade de ser localmente
Euclidiana. O resultado a seguir (adaptado de [161]) auxilia nessa tarefa.
Lema 33.2 Seja (X, ) um espaco topol
ogico segundo-cont
avel, seja uma relac
ao de equivalencia em X e seja
o espaco topol
ogico quociente (X/ , / ), tal como definido acima. Se (X/ , / ) for localmente Euclidiano de
dimens
ao n, ent
ao tambem ser
a segundo-cont
avel.
2
Prova. Como
Euclidiano,
X/ pode ser recoberto por um conjunto de ( / )-abertos
(X/ , / ) e localmente

Euclidianos E E X/ , / , n , , para algum conjunto de ndices .

evidente que a colecao 1 E ) , e um recobrimento de X por -abertos.
E
Sabemos do Corol
ario 32.2, p
agina 1465, que se (X, ) for segundo-cont
avel, ent
ao e Lindel
of, ou seja, todo recobrimento
de
X
por
-abertos
possui
um
sub-recobrimento
cont
a
vel.
Logo,
existe
um
sub-recobrimento
cont
avel
1

Ek ) , , k N de X. Mas isso implica que Ek E X/ , / , n , k N e um recobrimento

cont
avel de X/ por ( / )-abertos Euclidianos.
Como os conjuntos Ek sao abertos Euclidianos, existem homeomorfismos hk : Ek Rn para cada k N.
Seja A / . Ent
ao, podemos escrever A como a uniao cont
avel de ( / )-abertos da forma A Ek . Pelo Lema
33.1, p
agina 1523, esses conjuntos A Ek , por sua vez, podem ser escritos como uniao cont
avel de imagens por h1
k de
n
uma colecao cont
avel de bolas em R . Segue imediatamente disso que a colecao de toda essas tais imagens para todos os
k N e uma colecao cont
avel que recobre todo aberto A / , provando que (X/ , / ) possui uma base cont
avel
e, portanto, e segundo-cont
avel.
O seguinte corol
ario e imediato e dispensa demonstracoes.
Corol
ario 33.2 Seja (X, ) uma variedade topol
ogica e suponha que o espaco topol
ogico (X/ , / ) seja localmente
Euclidiano e Hausdorff. Ent
ao, (X/ , / ) e uma variedade topol
ogica.
2
Ele afirma que para sabermos se um espaco quociente de uma variedade topologica e tambem uma variedade topologica
basta verificar no espaco quociente a propriedade de Hausdorff e a de ser localmente Euclidiano.

atica
33.2
Vers
Captulo 33
1529/2111
Variedades Diferenci
aveis
Difeomorfismos em Rn
Sejam A e B dois conjuntos abertos de Rn (na topologia metrica usual), A e B sendo supostamente homeomorfos. Um
homeomorfismo f : A B e dito ser um difeomorfismo se f e f 1 forem diferenci
aveis9 . Um difeomorfismo f : A B
e dito ser de classe C r , r N, se f e f 1 forem r-vezes diferenci
aveis. Um difeomorfismo f : A B e dito ser de classe
C , ou infinitamente diferenci
avel, se for de classe C r para todo r N, ou seja, se f e f 1 forem r-vezes diferenci
aveis
para todo r N.
Cartas compatveis

ogica segundo-cont
avel de dimensao n. Dizemos que duas cartas locais de coordenadas
(V1 , h1 ) e (V2 , h2 ) sao cartas compatveis se V1 V2 = ou, caso V1 V2 6= , se a funcao de transicao HV1 , V2 : h2 (h1 )1
evidente que toda carta
for um difeomorfismo infinitamente diferenci
avel de h1 (V1 V2 ) Rn em h2 (V1 V2 ) Rn . E
(V1 , h1 ) e compatvel consigo mesma e que se (V1 , h1 ) e compatvel com (V2 , h2 ), ent
ao (V2 , h2 ) e compatvel com
(V1 , h1 ). Trata-se, portanto, de uma relacao de compatibilidade no sentido da definicao da Secao 1.1.1.2, p
agina 39.
Como veremos logo adiante, essa relacao de compatibilidade entre cartas induz uma relacao de equivalencia entre atlas.
Atlas infinitamente diferenci
aveis. Rela
c
ao de equival
encia entre atlas diferenci
aveis

ogica segundo-cont
avel de dimensao n. Um atlas A = {(V , h ), } em
(X, ) e dito ser um atlas infinitamente diferenci
avel se todas as suas cartas locais de coordenadas forem compatveis,
ou seja, se todas as funcoes de transicao HV , V com V V 6= forem difeomorfismos infinitamente diferenci
aveis de
h (V V ) Rn em h (V V ) Rn .
Dois atlas infinitamente diferenci
aveis A1 e A2 em (X, ) sao ditos ser atlas equivalentes se A1 A2 for um atlas
infinitamente diferenci
avel, ou seja, se todas as cartas locais de coordenadas de A1 forem compatveis com todas as
cartas locais de coordenadas de A2 . Denotamos a equivalencia de dois atlas A1 e A2 por A1 A2 , como usual. Essa e,
de fato, uma relacao de equivalencia entre atlas infinitamente diferenci
aveis. Para ver isso, note-se que e evidente pela
definicao que todo atlas infinitamente diferenci
avel e equivalente a si mesmo e que se um atlas infinitamente diferenci
avel
A1 for equivalente a um atlas infinitamente diferenci
avel A2 , ent
ao A2 e equivalente a A1 . O u
nico ponto sutil e a
transitividade. Sejam tres atlas Ak = {(Vk , hk ), k k }, k = 1, 2, 3, com A1 A2 e A2 A3 . Desejamos provar
que duas cartas (V1 , h2 ) A1 e (V3 , h3 ) A3 quaisquer sao compatveis no sentido da definicao da acima. Caso
ao, V1 V3 6= . Como A2 e um atlas, a famlia de cartas locais
V1 V3 = as cartas sao compatveis. Suponhamos, ent
{V2 , 2 2 } recobre X e, portanto, V1 V3 possui um recobrimento {V2 , 2 M2 } com M2 2 . A funcao de
transicao HV1 , V3 = h3 (h1 )1 : h1 (V1 V3 ) h3 (V1 V3 ) quando restrita a cada aberto h1 (V1 V3 V2 ),

com 2 M2 , pode ser escrita como HV1 , V3 = h3 (h2 )1 h2 (h1 )1 = HV3 , V2 HV2 , V1 , que e um
difeomorfismo infinitamente diferenci
avel, por ser a composicao de dois difeomorfismos infinitamente diferenci
aveis. Com
avel em todo aberto h1 (V1 V3 V2 ), com
isso provamos que HV1 , V3 e um difeomorfismo infinitamente diferenci
2 M2 , e como os V2 com 2 M2 recobrem V1 V3 e h1 e bijetora, conclumos que HV1 , V3 e um difeomorfismo
avel em todo aberto h1 (V1 V3 ). Isso, por fim, estabeleceu que as cartas (V1 , h2 ) e (V3 , h3 )
sao compatveis, provando que A1 A3 .
Estruturas infinitamente diferenci
aveis
Uma classe de equivalencias de atlas infinitamente diferenci

aveis segundo a definicao acima e denominada uma estrutura infinitamente diferenci
avel em (X, ). Denotaremos uma estrutura infinitamente diferenci
avel em (X, ) por
I I(X, ).
A uniao de todos os atlas de uma dada estrutura infinitamente diferenci

avel I e dita ser o atlas maximal de I. Se A e
um atlas em (X, ), sua classe de equivalencia e dita ser a estrutura infinitamente diferenci
avel gerada por A. A uniao
de todos os atlas pertencentes `
a estrutura infinitamente diferenci
avel gerada por A e dito ser o atlas maximal gerado por
A.
9 O leitor deve ser advertido do fato que, lamentavelmente, n

ao h
a uniformidade dessa definica
o na literatura. Alguns autores definem
aveis.
difeomorfismos como sendo aplicaco
es que, junto com suas inversas, s
ao infinitamente diferenci

atica
Vers
Captulo 33
1530/2111
Variedade infinitamente diferenci

avel
Uma variedade topol

ogica segundo-cont
avel que admite ao menos um atlas infinitamente diferenci
avel e dita ser uma
variedade infinitamente diferenci
avel, ou uma variedade de classe C . Mais precisamente, uma variedade infinitamente
diferenci
avel e uma tripla (X, , I), onde (X, ) e uma variedade topologica segundo-cont
avel e I e uma estrutura
avel em (X, ).
Com um certo abuso de linguagem, iremos nos referir freq
uentemente a uma variedade infinitamente diferenci
avel
(X, , I) simplesmente por (X, I) (omitindo a topologia), ou mesmo por X (omitindo tambem a estrutura infinitamente
diferenci
avel). Tais simplificacoes ocorrem tipicamente quando se fazem afirmacoes onde a topologia e a estrutura
avel especificamente consideradas est
ao implcitas. Um outro abuso de linguagem freq
uentemente
adotado e o de denominar variedade infinitamente diferenci
avel simplesmente por variedade diferenci
avel.
Aplica
co
es diferenci
aveis entre variedades diferenci
aveis
A nocao de diferenciabilidade de funcoes de Rm em Rn e bem conhecida e podemos generaliza-la para funcoes

entre variedades diferenci
aveis usando, para tal, o fato de que atraves da introducao de coordenadas locais, podemos
considerar funcoes entre variedades como funcoes de abertos de algum Rm em algum Rn . Sejam M1 e M2 duas variedades
diferenci
aveis de dimensao m1 e m2 , respectivamente. Sejam AM1 = {(A1 , h1 ), 1 } e AM2 = {(A2 , h2 ), 2 }
atlas infinitamente diferenci
aveis em M1 e M2 , respectivamente. Uma funcao contnua : M1 M2 de M1 em M2 e
dita ser diferenci
avel se para todas as cartas locais (A1 , h1 ) AM1 e (A2 , h2 ) AM2 as aplicacoes h2 (h1 )1 dos
abertos h1 (A1 ) Rm1 nos abertos h2 (A2 ) Rm2 forem diferenci
aveis.
facil constatar que se e diferenci
E
avel em relacao aos atlas infinitamente diferenci
aveis AM1 e AM2 ela o sera em
relacao a quaisquer outros atlas das mesmas respectivas estruturas infinitamente diferenci
aveis.
Difeomorfismos entre variedades
Uma nocao de grande relevancia e a de difeomorfismo entre variedades infinitamente diferenci

aveis. Sejam M1 e
M2 duas variedades diferenci
aveis dotadas de estruturas infinitamente diferenci
aveis IM1 e IM2 , respectivamente. Uma
funcao f : M1 M2 e dita ser um difeomorfismo entre (M1 , IM1 ) e (M2 , IM2 ) se for um homeomorfismo e se f e
sua inversa f 1 forem diferenci
aveis (no sentido da definicao acima). Note-se que para que f seja um homeomorfismo e
necessario que M1 e M2 tenham a mesma dimensao.
Um difeomorfismo f : M1 M2 e dito ser um difeomorfismo suave, ou um difeomorfismo infinitamente diferenci
avel,
se f e sua inversa f 1 forem infinitamente diferenci
aveis (no sentido da definicao acima).
Duas variedades diferenci
aveis (M, IM ) e (N, IN ) sao ditas ser variedades difeomorfas se existir um difeomorfismo
f : M N . Dada uma colecao de variedades diferenci
aveis M = {(M , IM ), }, a relacao de difeomorfia estabelece
uma relacao de equivalencia em M, como e f
acil constatar. As classes de equivalencia de M por essa relacao sao ditas
classes de difeomorfia. Muitas propriedades de variedades diferenci
aveis podem ser estabelecidas dentro de classes de
difeomorfia e permitem, assim, uma classificacao de variedades diferenci
aveis de acordo com as mesmas, da a relevancia
dessa nocao.
Nocoes analogas existem para difeomorfismos suaves: duas variedades diferenci
aveis (M, IM ) e (N, IN ) sao ditas
ser variedades suavemente difeomorfas se existir um difeomorfismo suave f : M N . As correspondentes classes sao
denominadas classes de difeomorfia suave.
Hometipos e difeotipos
H
a uma nomenclatura variada a respeito dessas nocoes com a qual o estudante deve se familiarizar, a despeito do
fato de, por vezes, meramente dizer a mesma coisa com palavras distintas.
Diz-se que duas variedades topol
ogicas M1 e M2 sao identicas modulo homoemorfismos, ou que possuem o mesmo
homeotipo, se existir um homeomorfismo f : M1 M2 , ou seja, se forem homeomorfas.
Diz-se que duas variedades diferenci

aveis M1 e M2 sao identicas modulo difeomorfismos (suaves), ou que possuem o
mesmo difeotipo (suave), se existir um difeomorfismo (suave) f : M1 M2 , ou seja, se forem (suavemente ) difeomorfas.
Sejam I1 e I2 duas estruturas diferenci

aveis em uma mesmo conjunto M e suponha que (M, I1 ) e (M, I2 ) sejam
comum nesse caso, dizer, com um certo abuso de linguagem, que as estruturas diferenci
(suavemente) difeomorfas. E
aveis
I1 e I2 sao (suavemente) difeomorfas ou que sao identicas m
odulo difeomorfismos (suaves).

atica
Vers
Captulo 33
1531/2111
Difeomorfismos locais
Sejam M1 e M2 duas variedades diferenci

aveis. Uma funcao f : M1 M2 e dita ser um difeomorfismo local em um
ponto p M1 se existirem vizinhancas V1 de p e V2 de f (p) tais que f : V1 V2 e um difeomorfismo. Aqui, V1 e V2
devem ser entendidas como sub-variedades de M1 e M2 , respectivamente.
Claro est
a que duas variedades diferenci
aveis com o mesmo difeotipo tem tambem o mesmo homeotipo.
Exemplos na reta real R
Vamos discutir um exemplo simples e importante e que deve esclarecer certas ideias. Considere-se a reta real R com
a topologia usual R .
Considere-se o atlas A1 composto de uma u
nica carta local de coordenadas (R, h1 ), onde h1 : R R e a carta de
coordenadas dada por h1 (x) = x (a aplicacao identidade em R). Seja I1 a estrutura diferenci
avel à qual A1 pertence.
Ent
ao, M1 = (R, R , I1 ) compoe uma variedade diferenci
avel, denominada reta real padr
ao.
Considere-se agora uma segunda construcao. Tome-se a reta real R com a topologia usual R , mas considere-se o
atlas A2 composto de uma u
nica carta local de coordenadas (R, h2 ), onde h2 : R R e a carta de coordenadas dada
por h2 (x) = x3 . Seja I2 a estrutura diferenci
avel `
a qual A2 pertence. Ent
ao, M2 = (R, R , I2 ) compoe novamente uma
variedade diferenci
avel.
As variedades diferenci
aveis M1 e M2 , acima, sao distintas, pois possuem estruturas diferenci
aveis distintas. De fato,
a carta local de coordenadas (R, h1 ) e incompatvel com a carta local de coordenadas (R, h2 ), pois a funcao de transicao
1/3
h1 h1
avel de R em R (sua
e dada na carta local comum R por h1 h1
, a qual n
ao e uma funcao diferenci
2
2 (x) = x
derivada diverge em x = 0).
de se notar, porem,
Vemos disso que mesmo a reta real pode admitir mais de uma estrutura diferenci
avel distinta. E
que as duas variedades diferenci
aveis acima sao suavemente difeomorfas, ou seja, possuem o mesmo difeotipo.
facil ver que f e um homeomorfismo (verifique!) e temos que
De fato, seja f : M1 M2 dada por f (x) = x1/3 . E

1
1
h2 f h1
:
R
R
e
sua
inversa
h
h
:
R
R sao dadas por h2 f h1

(x) = x e h1 f 1 h1
(x) =
1
1
2
1
2
x, respectivamente (verifique!). Ambas as funcoes sao infinitamente diferenci
aveis e, portanto, f : M1 M2 e um
difeomorfismo suave.
E. 33.2 Exerccio. Seja a reta real R com a topologia usual R , mas considere-se o atlas Ak, x0 (com k N e x0 R)
composto de uma unica carta local de coordenadas (R, hk, x0 ), onde hk, x0 : R R e a carta de coordenadas dada por
hk, x0 (x) = (xx0 )2k1 . Novamente, seja Ik, x0 a estrutura diferenciavel à qual Ak, x0 pertence e seja Mk, x0 = (R, R , Ik, x0 )
a correspondente variedade diferenciavel. Quando duas cartas locais de coordenadas (R, hk, x0 ) e (R, hk , x0 ) sao compatveis
6
entre si? Mostre que as diferentes variedades Mk, x0 sao suavemente difeomorfas.
Aprendemos do exemplo das variedades M1 e M2 , acima, que um mesmo espaco topologico como (R, R ) pode
admitir mais de uma estrutura diferenci
avel, mas que pode ocorrer que as respectivas variedades diferenci
aveis sejam
suavemente difeomorfas e, portanto, ainda assim equivalentes para os prop
ositos da Analise de Variedades Diferenciaveis.
A quest
ao relevante que se coloca, portanto, e saber se pode haver variedades diferenci
aveis que possuam o mesmo
homeotipo, mas n
ao o mesmo difeotipo. Facamos uma breve discuss
ao sobre essa profunda quest
ao.
Multiplicidade de estruturas diferenci
aveis m
odulo difeomorfismos suaves
Nem toda variedade topol

ogica segundo-cont
avel admite um atlas infinitamente diferenci
avel e, portanto, nem toda
porem, verdade (mas nada
variedade topologica segundo-cont
avel possui uma estrutura infinitamente diferenci
avel. E,
obvio) que pode haver varias estruturas infinitamente diferenci
aveis n
ao-suavemente difeomorfas em uma variedade
topol
ogica segundo-cont
avel.
Segundo teoremas demonstrados por Radon10 e outros (vide [184]), a multiplicidade de estruturas infinitamente
diferenci
aveis n
ao-suavemente difeomorfas so pode ocorrer em variedades diferenci
aveis de dimensao 4 ou mais. Historicamente, o primeiro exemplo encontrado de uma variedade que admite mais de uma estrutura diferenci
avel m
odulo
difeomorfismos suaves foi a esfera S7 , descoberta feita por Milnor11 em 1956. A esfera S7 admite 15 estruturas infini10 Johann
Karl August Radon (18871956).

Willard Milnor (1931). O trabalho original
e John Milnor, On Manifolds Homeomorphic to the 7-Sphere. The Annals of
Mathematics, 64, No. 2, 399-405 (1956).
11 John

atica
Vers
Captulo 33
1532/2111
tamente diferenci
aveis n
ao-difeomorfas (ou 28 se levarmos em conta homeomorfismos que alteram a orientacao de S7 ).
n
Os espacos R com n 6= 4 admitem uma u
nica estrutura diferenci
avel m
odulo difeomorfismos suaves, mas o espaco R4
admite uma colecao n
ao-cont
avel de estruturas diferenci
aveis m
odulo difeomorfismos suaves, um celebre resultado obtido
por Freedman12 e Donaldson13 entre 1982 e 1983. Mais que isso, ocorrem em 4 dimensoes infinitas variedades ditas
ate o presente (2012) uma
ex
oticas, as quais sao (globalmente) homeomorfas a R4 mas n
ao difeomorfas ao mesmo. E
quest
ao em aberto saber quantas estruturas infinitamente diferenci
aveis n
ao-difeomorfas existem na esfera S4 . Para uma
discuss
ao mais detalhada sobre estruturas infinitamente diferenci
aveis, vide [114].
Em Fsica, particularmente no contexto da Teoria da Relatividade Geral, e uma quest
ao em aberto saber se a existencia
de estruturas infinitamente diferenci
aveis n
ao-difeomorfas em uma dada variedade topologica, possui relevancia, mas e
de se acreditar que sim, pois leis fsicas sao usualmente expressas em termos de equacoes diferenci
aveis e, portanto, como
tais, devem ser formuladas em estruturas infinitamente diferenciais especficas. H
a, a respeito desse tema, uma pequena
mas crescente literatura. Vide, e.g., [15] e veja tambem E. Witten, Global Gravitational Anomalies, Commun. Math.
Phys. 100, 197229 (1985) ou Torsten Aelmeyer and Carl H. Brans, Cosmological Anomalies and Exotic Smoothness
Structures, Gen. Rel. Grav. 34, 1767 (2002). Sabe-se hoje, por exemplo, que a existencia de metricas de Einstein
(solucoes das equacoes de Einstein no vacuo) em quatro dimensoes depende do difeotipo (nao do homeotipo) da variedade
considerada e, portanto, da classe de equivalencia das estruturas diferenci
aveis modulo difeomorfismos (para o caso
Riemanniano, vide [22]).
Variedades de classe C k
Na definicao de variedade diferenci

avel que apresentamos acima as funcoes de transicao sao supostas serem infinitamente diferenci
aveis, da denominarmos tais variedades como variedades de classe C . De maneira analoga podemos
definir variedades de classe C k , com k N, como sendo aquelas que admitem funcoes de transicao apenas k-vezes
importante, porem, chamarmos a atencao do leitor para o seguinte resultado:
diferenci
aveis. E
Teorema 33.1 Seja 1 k < . Toda variedade de classe C k e difeomorfa14 a uma variedade de classe C . Seja
1 k < l . Se duas variedades de classe C l forem C k -difeomorfas, ent
ao elas s
ao tambem C l -difeomorfas.
2
A demonstracao desse teorema pode ser encontrada em [114]. Grosseiramente, o mesmo afirma que para a maioria
dos prop
ositos estruturais o estudo de variedades de classe C engloba o de variedades de classe C k . No presente texto
consideraremos apenas variedades de classe C .
Produtos de variedades diferenci
aveis
Se (X1 , 1 , I1 ) e (X2 , 2 , I2 ) sao duas variedades diferenci

aveis de dimensoes n1 e n2 , respectivamente, definimos a
variedade produto de ambas, denotada por (X1 X2 , 1 2 , I1 I2 ), como sendo a variedade (n1 + n2 )-dimensional
constituda pelo produto Cartesiano X1 X2 com a topologia produto 1 2 e com a estrutura infinitamente diferenci
avel
denotada por I1 I2 gerada pelo atlas A1 A2 , onde Ak pertence à estrutura infinitamente diferenci
avel Ik , k = 1, 2.
O produto A1 A2 , por sua vez, e o atlas formado por todas as cartas da forma (V1 V2 , h1 h2 ), com (Vk , hk ) sendo
cartas locais de coordenadas de Ak , k = 1, 2. O homeomorfismo h1 h2 e definido em V1 V2 e sua imagem para cada
(x1 , x2 ) V1 V2 e o produto Cartesiano h1 (x1 ) h2 (x2 ) contido no produto de abertos h1 (V1 ) h2 (V2 ) Rn1 +n2 .
um exerccio simples mostrar, fazendo uso da regra de Leibniz, que as funcoes de transicao associadas ao produto de
E
cartas locais de coordenadas sao diferenci
aveis.
Fun
co
es diferenci
aveis em variedades diferenci
aveis

Seja (X, , I) uma variedade diferenci
avel e seja A = (V , h ), um atlas de I. Uma funcao f : X R e dita
n
ser diferenci
avel segundo a estrutura diferenci
avel I se para toda carta de coordenadas h de A a funcao f h1
:R R
f
for diferenci
avel. E
acil constatar (faca-o!) que essa definicao independe do particular atlas A tomado em I, mas essa
nocao de diferenciabilidade de funcoes depende da estrutura diferenci
avel I adotada.
Analogamente, se (X, , I) uma variedade infinitamente diferenci
avel (ou de classe C k ), dizemos que f : X R e
12 Michael Hartley Freedman (1951). A refer
encia original
e: M. H. Freedman, The topology of four-dimensional manifolds, Journal of
Differential Geometry 17 (3): 357453 (1982).
13 Sir Simon Kirwan Donaldson (1957). A refer
encia original
e: S. K. Donaldson, Self-dual connections and the topology of smooth
4-manifolds. Bull. Amer. Math. Soc. 8 , 8184 (1983).
14 A no
ca
o de difeomorfismo entre variedades encontra-se definida `
a p
agina 1530.

atica
Captulo 33
Vers
1533/2111
n
avel (k-vezes diferenci
avel) segundo a estrutura diferenci
avel I se todas as funcoes f h1
:R R
forem infinitamente diferenci
aveis (k-vezes diferenci
aveis).
Alguns coment
arios gerais
muito comum, e adotaremos essa pratica aqui tambem, que uma variedade diferenci
E
avel seja especificada, n
ao pela
apresentacao de uma estrutura diferenci
avel completa, mas apenas por um atlas, de sorte que fica subentendido que a
estrutura diferenci
avel adotada e aquela que contem o atlas utilizado. Alguns autores optam tambem por assumir que
o atlas utilizado para especificar uma variedade diferenci
avel seja um atlas maximal. Essa precaucao pode ser u
til ao
simplificar certas coisas, mas e freq
uentemente dispens
avel.
33.2.1
Partic
oes da Unidade Diferenci
aveis
Conforme observamos `
a p
agina 1525, item 7, toda variedade topologica segundo-cont
avel possui particoes da unidade
subordinadas a recobrimentos por abertos. No caso particular de variedades diferenci
aveis, e possvel estabelecer a
existencia de particoes da unidade subordinadas a recobrimentos por abertos que tenham adicionalmente a propriedade
de serem compostas por funcoes infinitamente diferenci
aveis . Esse fato e de especial relevancia em diversas consideracoes
de natureza estrutural sobre variedades diferenci
aveis (como na demonstracao de existencia de metricas Riemannianas e
na teoria de integracao de n-formas) e dele trataremos na presente secao. Discussoes semelhantes podem ser encontradas,
e.g., em [260] e [32], as quais seguimos parcialmente. A afirmativa que desejamos fazer e:
Teorema 33.2 Seja M uma variedade diferenci
avel e seja U {U , 0 } um recobrimento de M por abertos. Ent
ao
existe uma partic
ao da unidade cont
avel {Pa : M [0, 1], a N} subordinada a esse recobrimento (para todo a N
existe 0 com supp Pa U ) tal que todas as func
oes Pa , a N, s
aveis e possuem suporte
compacto.
2
Prova. Vamos considerar um refinamento
B {B ,
1 } de U obtido tomando interseccoes dos abertos U de U

com os abertos A de um atlas A = A , h , 2 de M . Como M e paracompacto, B possui um refinamento
localmente finito B {B , 3 }. Note-se que, por construcao, cada B B est
a no domnio de alguma carta local
h de A.
Como observado `
a p
agina 1525, item 6 (vide tambem o Teorema 32.26, p
agina 1499), B possui um refinamento
C {Cm , m N}, cont
avel e localmente finito, por abertos relativamente compactos, de sorte que para cada m N
existe m 3 tal que Cm Cm Bm .
Por construcao, cada B est

a no domnio de uma carta de coordenadas h , 3 e, sem perda de generalidade,
suporemos que para cada a imagem de B por h contenha no seu interior, para algum r > 0, o hipercubo fechado
Kn (2r , 0) de Rn (n sendo a dimensao de M ). Aqui
para todo > 0 denotamos
por Kn (2, 0) Rn o hipercubo

1
n
n
fechado de arestas 2 centrado na origem: Kn (2, 0) := (y , . . . , y ) R |yk | , k {1, . . . , n} .
Para cada r > 0 a funcao fr : R [0, ) dada por
exp 1 2
(x+r)
fr (x) :=
0,
1
(xr)2
se |x| < r ,
se |x| r ,
e contnua, infinitamente diferenci

avel e possui suporte compacto (a saber, o intervalo fechado [r, r]), como facilmente
de se
se constata. O mesmo vale para a funcao gr : Rn [0, ) definida por gr (x1 , . . . , xn ) := fr (x1 ) fr (xn ). E
observar que o suporte de gr e Kn (2r, 0), que e compacto.
Para cada Cm C consideremos um conjunto Bm B como acima contido no domnio de uma carta hm , como
acima, com Cm Cm Bm e seja c Cm Bm . Denotemos hm (c) (as coordenadas de c pela carta de coordenadas
hm ) por hm (c) = (x1c , . . . , xnc ) xc . Escolhendo r r (c, m) > 0 pequeno o suficiente, a funcao gr , c (x) :=
a suporte inteiramente contido em hm (Bm ). Podemos agora considerar a
gr (x xc ) = fr (x1 x1c ) fr (xn xnc ) ter
funcao definida em cada ponto (x1 , . . . , xn ) da imagem de hm (Bm ) por gr , c (x1 , . . . , xn ). Isso permite-nos definir

atica
uma funcao Gr , c, m : M [0, ) por

Gr , c, m (p) :=
com
Vers
Captulo 33
1534/2111

gr , c hm (p) , para p Bm ,
0,
para p 6 Bm ,

= fr 1 hm (p) x1c fr n hm (p) xnc ,
gr , c hm (p) = gr , c 1 hm (p) , . . . , n hm (p)
onde k : Rn R e definida por k (x1 , . . . , xn ) = xk para cada k {1, . . . , n} (k e a projecao sobre a k-esima
coordenada), ou seja, expressando diretamente em termos das coordenadas (x1 , . . . , xn ), Gr , c, m e definida por
gr , c (x) = fr (x1 x1c ) fr (xn xnc ) , com hm (p) = (x1 , . . . , xn ), para p Bm ,

Gr , c, m (p) :=
0,
para p 6 Bm .
Observe-se que Gr , c, m (c) = fr (0)n > 0.
evidente pela construcao que Gr , c, m e infinitamente diferenci

E
avel (pois as funcoes gr , k e h o sao) e que o
e contnua) e est
a contido
suporte de Gr , c, m e compacto (lembrar do Teorema 32.5, p
agina 1467, e do fato que h1
m
em Bm . E tambem claro que o conjunto Ec := {p M | Gr , c, m (p) > 0} e aberto (por ser a pre-imagem de (0, )
pela funcao contnua Gr , c, m ). Como c Ec para cada c Cm (pois Gr , c, m (c) > 0 como observado acima), a colecao
{Ec , c Cm } e um recobrimento por abertos do compacto Cm . Assim, Cm possui um recobrimento por abertos finito
{Ec1 , . . . , Ecj } e, portanto, a funcao Gm : M R definida por Gm (p) := Gr , c1 , m (p) + + Gr , cj , m (p), p M , e
tambem infinitamente diferenci
avel, tem suporte compacto e satisfaz Cm supp (Gm ) Bm .
Conclumos, ent
ao, que para cada m N, e possvel encontrar uma funcao infinitamente diferenci
avel de suporte
compacto Gm : M [0, ) com Cm supp (Gm ) Bm . Note-se tambem que, como os conjuntos Cm recobrem M ,
existe para cada p M algum Gm com Gm (p) > 0.
Como B e C sao localmente finitos, cada p M possui uma vizinhanca Vp que intersecta apenas uma colecao finita
de elementos de B e de C e, portanto, de elementos de { suppP
Gm , m N}. Conforme argumentado na demonstracao do
Teorema 32.25, p
agina 1497, a funcao em M dada pela soma mN Gm est
a bem definida e e infinitamente diferenci
avel,
pois para cada

umero finito de somandos n
ao-nulos. E tambem claro do exposto
P p M comparece na soma apenas um n
acima que mN Gm (p) > 0 para todo p M .
P
aveis, tem suporte
As funcoes Pa : M [0, 1], a N, definidas por Pa := Ga / mN Gm sao infinitamente diferenci
compacto, satisfazemPsupp Pa = supp Ga Ba e, portanto, { supp Pa , a N} e um recobrimento localmente finito
oe uma particao da unidade
de M . Alem disso,
aN Pa (p) = 1 para todo p M e, portanto, {Pa , a N} comp
avel subordinada a B e, portanto, a U.
O seguinte corol
ario imediato e obtido por uma mera juncao de resultados anteriores e o mencionamos aqui para
referencia futura.
Corol
ario 33.3 Se e M uma variedade diferenci
avel, ent
ao M possui um atlas cont
avel {(Vm , hm ), m N} tal que
{Vm , m N} e um recobrimento localmente finito de M composto por conjuntos abertos relativamente compactos e existe
uma partic
ao da unidade cont
avel {Pa : M [0, 1], a N} subordinada a esse recobrimento tal que todas as func
oes
Pa , a N, s
aveis e possuem suporte compacto.
2
Prova. A existencia do atlas {(Vm , hm ), m N} com as propriedades mencionadas foi estabelecida na Proposicao 33.2,
p
agina 1526. A existencia da particao da unidade {Pa : M [0, 1], a N} subordinada ao recobrimento {Vm , m N}
e com as demais propriedades mencionadas decorre do Teorema 33.2.
Estendendo globalmente fun
co
es infinitamente diferenci
aveis
A existencia de particoes da unidade diferenci

aveis expressa no Teorema 33.2, p
agina 1533, e um fato de grande
import
ancia estrutural na teoria das variedades diferenci
aveis. Uma das raz
oes para tal import
ancia encontra-se expressa

atica
Vers
Captulo 33
1535/2111
na proposicao que segue e reside no fato de que a existencia de particoes da unidade diferenci
aveis permite estender a
toda uma variedade diferenci
avel M funcoes diferenci
aveis definidas apenas em cartas locais de um atlas de M .

Proposi
c
ao 33.5 Seja M uma variedade diferenci
avel dotada de um atlas infinitamente diferenci
avel (A , h ),
e seja para cada uma func
ao f : A R
diferenci
avel. Seja Pa : M [0, 1], a N uma
infinitamente

partic
ao da unidade subordinada ao recobrimento A , de M composta por func
oes infinitamente diferenci
aveis
e de suporte compacto, cuja existencia foi garantida no Teorema
33.2,
de
modo
que
a
cada
a
N
existe
um
a
P
a bem definida e e uma func
ao
ao, f : M R dada por f (p) := aN Pa (p)fa (p), p M , est
com supp Pa Aa . Ent
avel em toda M .
2
avel e tem suporte contido em supp Pa , anulando-se fora desse
Prova. Cada funcao Pa fa e infinitamente diferenci
conjunto. Cada ponto p M possui uma vizinhan
c
a
onde
apenas uma colecao finita de Pa s e n
ao-nula (pois {Pa , a N}
P
compoe uma particao da unidade). Logo, aN Pa (p)fa (p) e uma soma finita nessa vizinhanca sendo, portanto, uma
funcao infinitamente diferenci
avel na mesma.
33.2.2
A No
c
ao de Espa
co Tangente
Uma das caractersticas mais importantes das variedades diferenci

aveis e a possibilidade de dotar cada um de seus pontos
de um espaco vetorial especial, de mesma dimensao que a variedade, denominado espaco tangente. Grosso modo, o espaco
tangente a um ponto e o espaco das velocidades de todas as curvas diferenci
aveis que passam por esse ponto. Sobre o
espaco tangente diversas outras estruturas importantes podem ser construdas, como formas diferenciais, campos vetoriais
e tensoriais, tensores metricos, conex
oes, tensores de curvatura etc. Trata-se, portanto, de um objeto de import
ancia
central na Geometria Diferencial e em suas aplicacoes em Fsica.
Espa
co tangente. Uma primeira caracteriza
c
ao
Seja V uma variedade diferenci

avel de dimensao n dotada de um atlas infinitamente diferenci
avel A = {(A , h ),
}. Uma curva contnua em V e uma funcao contnua c : I V , onde I R e um intervalo aberto de R. Se escolhermos
I pequeno o suficiente podemos sempre supor que a curva c n
ao se auto-intercepta, ou seja, que c : I V e injetora.
Seja p V e seja Cp a colecao de todas as curvas contnuas injetoras c : I V que passam por p, com I sendo algum
intervalo aberto de R. Sem perda de generalidade suporemos que 0 I e c(0) = p para toda curva de Cp .
Recordemos que no caso familiar de V ser o espaco Rn (com

a topologia usual), uma curva c : I Rn que passa por

n
p = (p1 , . . . , pn ) R e dada por c(t) = c1 (t), . . . , cn (t) com ck : I R sendo contnuas e satisfazendo ck (0) = pk
para todo k = 1, . . . , n. O vetor tangente a c em p e o vetor de Rn definido por c(0)
= c1 (0), . . . , cn (0) . Para que

essa expressao faca sentido devemos, obviamente, supor que cada funcao ck (e, portanto, c) seja diferenci
avel em t = 0.
Nossa intencao no que segue e considerar curvas em variedades diferenci

aveis gerais e definir a nocao de vetor tangente
a uma curva c em um ponto p pela qual passa. Como no caso das familiares curvas em Rn , a introducao dessa nocao
requer que a curva seja diferenci
avel em p, e precisamos definir o que isso significa. No caso de curvas em Rn , vetores
n
tangentes sao vetores em R , o espaco ambiente no qual a curva passa. Seguindo a filosofia geral da geometria diferencial,
procuraremos definir a nocao de vetor tangente de forma intrnseca, sem referencia a um espaco ambiente Rm onde a
curva esteja mergulhada. H
a diversas maneiras de fazer isso, todas bastante engenhosas, e no que segue descreveremos
duas delas.
O primeiro passo e definirmos a nocao de curva diferenci
avel em uma variedade. Como a nocao de diferenciabilidade
est
a primariamente definida em espacos Rn , a ideia e utilizarmos as cartas locais de coordenadas para transportarmos
essa nocao para dentro das variedades diferenci
aveis. Se c Cp estiver contida em uma carta local A p (o que sempre
pode ser obtido, tomando-se I pequeno o suficiente), dizemos que c e diferenci
avel em p se a curva em Rn definida por
n
de se notar que se houver duas cartas locais A e A que tambem
h c : I h (A ) R for diferenci
avel em t = 0. E
avel se e somente se h c
contem p, a compatibilidade das cartas (A , h ) e (A , h ) implica que h c e diferenci
o for. Nesse sentido, a nocao de uma curva ser diferenci
avel e respeitada por todos os atlas de uma mesma estrutura
avel.
Sejam (A , h ) e (A , h ) duas cartas locais
de coordenadas compatveis. Para fixar algumanotacao, denotaremos
por pontos de h (A ) Rn por x1 , . . . , xn e os pontos de h (A ) Rn por y 1 , . . . , y n . Em A A essas

atica
Captulo 33
Vers
1536/2111

coordenadas sao relacionadas pela funcao de transicao: HA , A x1 , . . . , xn = y 1 , . . . , y n . A derivada de HA , A
sera denotada por DHA , A . O estudante deve recordar-se que a derivada de uma funcao de Rn em Rn e uma matriz
n n composta pelas derivadas parciais de suas componentes por suas coordenadas15. No caso,
y 1
y 1
1
xn
x
.
..
..
.
DHA , A =
(33.1)
.
.
.
,
y n
y n
x1
xn
que e tambem conhecida como a matriz Jacobiana da funcao HA , A .
Se c for uma curva diferenci

avel em p no sentido acima e p pertence
a uma carta local A denotaremos os pontos da

curva (h c)(t), t I, de Rn por (h c)(t) = x1 (t), . . . , xn (t) , o vetor tangente de h c em h (p) sera
(h c)(t)
ec (p)

dt
t=0
x 1 (0)
= ..
.
x n (0)
(33.2)
(Por conveniencia, denotamos aqui os vetores de Rn como vetores-coluna). Se p tambem pertence a uma outra carta
local A denotaremos os pontos da curva (h c)(t), t I, de Rn por (h c)(t) = y 1 (t), . . . , y n (t) , o vetor tangente
de h c em h (p) sera
ec (p)
d
(h
dt

c)(t)

t=0
y 1 (0)
.
.. .
=
n
y (0)
(33.3)
Dado que em
A d A tem-se h = HA , A h podemos empregar a regra da cadeia para relacionar os vetores
d

dt (h c)(t) t=0 e dt (h c)(t) t=0 :

(33.4)
ec (p) = DHA , A h (p) ec (p)
ec (p) =

1

ec (p) .
DHA , A h (p) ec (p) = DHA , A h (p)
(33.5)
Usando as representacoes matriciais (33.1) e (33.2)-(33.3) podemos expressar as relacoes acima em termos das coordenadas
x e y:
n
n
X
X
xj i
y i j
j
x
(0)
e
x
(0)
=
y (0) ,
(33.6)
y i (0) =
xj
y i
i=1
j=1

y i
para todo i = 1, . . . , n, sendo que as derivadas parciais x
ao calculadas em h (p) = x1 (0), . . . , xn (0) ,
j acima, s

j
ao calculadas em h (p) = y 1 (0), . . . , y n (0) . A partir deste ponto e conenquanto que as derivadas parciais x
y i acima, s
veniente introduzir-se a chamada convenc
ao de Einstein16 na qual a ocorrencia de ndices repetidos indica implicitamente
que os mesmos sao somados. Com tal convencao, (33.6) fica simplesmente
y i (0) =
y i j
x (0)
xj
x j (0) =
xj i
y (0) ,
y i
para todo i = 1, . . . , n.
15 Vide
qualquer bom livro de C

alculo de funco
es de v
arias vari
aveis, e.g. [168] ou [50].
Einstein (18791955).
16 Albert
(33.7)

atica
Captulo 33
Vers
1537/2111
O espa
co tangente a uma variedade em um ponto
Uma vez estabelecida a nocao de diferenciabilidade de curvas em uma variedade diferenci

avel, passamos agora à
definicao intrnseca de vetores tangentes. Seja Cpd Cp a colecao das curvas de Cp que sao diferenci
aveis em alguma
d
vizinhanca aberta de p. Podemos estabelecer uma relacao de equivalencia em Cp dizendo que duas curvas c1 e c2
diferenci
aveis em p sao equivalentes, c1 p c2 , se seus vetores tangentes em uma carta local forem iguais (e, portanto, se
forem iguais em todas as cartas locais que contem p). Assim,
c1 p c2 ec1 (p) = ec2 (p)
(33.8)
para algum com A p.
Denotemos por T1p V colecao de todas as classes de equivalencia de Cpd pela relacao de equivalencia acima e, para
c Cpd , denotemos por [c]p a classe de equivalencia de c. O conjunto T1p V e denominado espaco tangente a V em p, ou
simplesmente espaco tangente em p.
O fato crucial e que podemos dotar T1p V de uma estrutura de espaco vetorial real definindo operacoes de soma vetorial
e multiplicacao por escalares (reais) de modo a satisfazerem os postulados gerais de espacos vetoriais apresentados na
Secao 2.1.5, p
agina 90.
Estrutura de espa
co vetorial no espa
co tangente em p
Para introduzirmos uma estrutura de espaco vetorial em T1p V precisamos de alguma notacao.

Seja I = (a, b) um intervalo aberto de R que contem 0. Para R, denotemos por I o intervalo a/||, b/||
caso 6= 0, sendo I0 = R caso = 0. Para R e c Cpd , c : I V , denotemos por c a curva c Cpd , c : I V
definida por c (t) = c(t) para todo t I . Note-se que para = 0 teremos c0 (t) = c(0) = p para todo t R, ou seja,
elementar constatar-se que para todo R vale
c0 e uma curva constante, fixa no ponto p. E
ec (p) = ec (p) .
(33.9)
Para uma carta local de coordenadas (A , h ) com p A e dadas duas curvas c, d Cpd , denotamos por c, d : I V
a curva definida por

1
c,
h (p) + ec (p) + ed (p) t ,
d (t) := h
com t I, sendo que I tem de ser escolhido pequeno o suficiente para que c, d (t) esteja sempre contido na carta local
d
A . Observe-se que c,
e diferenci
avel. Seja (A , h ) uma segunda carta local de
d (0) = p e, portanto, c, d Cp , pois
a uma segunda curva em V definida por
coordenadas com p A que produzir

1
:=
(p)
+
e
(p)
t .
(p)
+
e
h
c,
(t)
h
c
d
d
d
As curvas c,
ser, eventualmente, distintas em outros valores de t.
d e c, d Cp passam por p em t = 0, mas podem
i
h
h i
Porem, sao equivalentes pela relacao de equivalencia acima: c, d = c,

e facilmente demonstravel, pois
d . Isso
p
p

h c,
d (t) = h (p) + ec (p) + ed (p) t, implicando que
Paralelamente, porem, tem-se que h
(t)
= ec (p) + ed (p) .
h c,

d
dt
t=0

h
(p)
+
e
(p)
+
e
(p)
t , implicando que
c,
(t)
=
H
A
,A
d
d

d
ec (p) + ed (p)
= DHA , A h (p)
h c,
d (t)
dt
t=0
provando que c,
amos.
d p c, d , como quer
(33.4)
ec (p) + ed (p)
(33.10)
(33.10)

d
,
h c,
d (t)
dt
t=0
Estamos agora prontos para definir as operacoes de soma vetorial e produto por escalares que fazem de T1p V um
i
h
para
espaco vetorial. Para R e c Cpd , definimos [c]p := [c ]p . Para c, d Cpd , definimos [c]p + [d]p := c,
d
p
elementar demonstrar que T1p V , equipado com essas

qualquer carta local de coordenadas (A , h ) com p A . E
operacoes, e um espaco vetorial real, de acordo os postulados da Secao 2.1.5, p
agina 90.

atica
Vers
Captulo 33
1538/2111
ultima afirmacao.
E. 33.3 Exerccio importante. Justifique essa
E. 33.4 Exerccio importante. Sejam c, d Cpd e , R. Usando (33.9), mostre que

[c]p + [d]p = c,d;
, p ,
onde
(33.11)

1
c,d;
h (p) + ec (p) + ed (p) t .
, (t) := h
(33.12)
A expressao (33.11) pode ser vista como uma definicao alternativa de [c]p + [d]p .
Um isomorfismo entre T1p V e Rn

Seja o espaco tangente T1p V e seja uma carta local de coordenadas (A , h ) com p A . Se c for uma curva dife
renci
avel em p, denotaremos novamente os pontos da curva I t 7 (h c)(t) Rn por (h c)(t) = x1 (t), . . . , xn (t) .
claro por (33.8) que a aplicacao : T1p V Rn dada por
O vetor tangente de h c em p e dado em (33.2). E
T1p V
[c]p 7
(33.2)
ec (p) =
x 1 (0)
..
.
n
x (0)
Rn
i
h
e bijetiva. Como [c]p := [c ]p , segue de (33.9) que ([c]p ) = ([c]p ). Como [c]p + [d]p := c,d
, segue de (33.10)
p
que ([c]p + [d]p ) = ([c]p ) + ([d]p ). Esses fatos mostram que e um isomorfismo entre os espacos vetoriais T1p V
e Rn .
Espa
co tangente. Uma segunda caracteriza
c
ao
Seja V uma variedade diferenci

avel de dimensao n dotada de um atlas infinitamente diferenci
avel A = {(A , h ),
}. Denotemos por Dp a colecao de todas as funcoes f : V R diferenci
aveis em p V (na estrutura infinitamente
diferenci
avel definida de A). Dada uma carta local de coordenadas (A , h ) com p A e uma curva diferenci
avel
c Cpd , c : I V , que passa por p em t = 0, a funcao f c : I R e uma funcao diferenci
avel de uma variavel real
(definida em I) assumindo valores em R.
Para cada c Cpd como acima, vamos denotar por Dp (c) cp a aplicacao que a cada f Dp associa a derivada de
f c calculada em t = 0:

d

(f c)
.
(33.13)
Dp (c)f cp f :=
dt
t=0
Como Dpe um espaco vetorial real, e claro que Dp (c) e um operador linear, pois para f , g Dp (c) e , R teremos
f + g c = (f c) + (g c) e, portanto,
Dp (c) f + g

d
d
d

(f + g) c
= (f c)
+ (g c)
= Dp (c)f + Dp (c)g .
dt
dt
dt
t=0
t=0
t=0
Nosso proximo passo e a constatacao que os operadores Dp (c) sao constantes nas classes de equivalencias de curvas
de Cpd que apresentamos acima. De fato, seja uma carta local de coordenadas (A , h ) com p A . Naturalmente,

n
podemos escrever f c = f h1 h c sendo f h1
definida em R (mais precisamente, em h (A )) com valores
em R e h c definida em I R com valores em Rn (mais precisamente, em h (A )). Portanto, pela regra da cadeia,

h
h

i

i d
d

1
h
c
=
D
f
h
ec (p) ,
(33.14)
(f c)
h
(p)
= D f h1
h
(p)

dt
dt
t=0
t=0

e a derivada de f h1
ao acima para toda f Dp torna evidente a afirmacao
onde D f h1
. A validade da express
d
que se c1 , c2 Cp ent
ao c1 p c2 se e somente se Dp (c1 ) = Dp (c2 ). Passamos, por isso, a denotar Dp (c) por Dp [c]p .

Fixado p V , vamos denotar por T2p V a colecao de todos os operadores Dp [c]p com [c]p variando no espaco tangente
T1p V anteriormente definido. Como veremos, T2p V tambem possui uma estrutura de espaco vetorial real e e isomorfo ao

espaco tangente T1p V . Fazemos notar que, pelo visto acima, a aplicacao : T1p V [c]p 7 Dp [c]p T2p V e bijetora.

atica
Captulo 33
Vers
1539/2111
Como os elementos de T2p V sao operadores lineares, T2p V e naturalmente imbudo de uma estrutura de espaco vetorial

real: para , R e c, d Cpd , definimos, como usual, Dp [c]p + Dp [d]p como o operador que a cada f Dp
associa

Dp [c]p + Dp [d]p f = Dp [c]p f + Dp [d]p f .
Dadas duas curvas c, d Cpd , arbitrarias, e dois n
umeros reais e , arbitrarios, teremos, para toda f Dp ,

Dp [c]p + Dp [d]p f

Dp [c]p f + Dp [d]p f

d
(f c) + (f d)
dt
t=0
h
i

D f h1
e
(p)
+
e
(p)
h
(p)
c
d
=
=
(33.12)
h

i d
D f h1
h
(p)

c,d;
,
dt
t=0
Dp [c,d;
, ]p f

Dp [c]p + [d]p f .

Isso estabeleceu que a aplicacao : T1p V [c]p 7 Dp [c]p T2p V e um isomorfismo de espacos vetoriais entre T1p V e
T2p V .
(33.11)
A base de coordenadas no espa

co tangente
Vamos designar h (p) na forma de uma n-upla de coordenadas reais h (p) = (x1p , . . . , xnp ) no sistema de coordenadas
(x , . . . , xn ) definido pela carta local (A , h ) e, como acima, vamos designar a curva h c em h (A ) Rn pela
n-upla de funcoes (x1 (t), . . . , xn (t)).

De acordo com (33.13), (33.14) e (33.2), podemos escrever Dp [c]p f na forma
1

Dp [c]p f :=

n

h
X

i
f h1
d

1
j
x (0)
(x1p , . . . , xnp ) .
(f c)
= D f h
h (p) ec (p) =
j
dt
x
t=0
j=1
(33.15)

A expressao acima sera interpretada como uma expansao de Dp [c]p em uma certa base de vetores de T2p V . Para
entendermos isso, considere-se para algum j {1, . . . , n}, a curva que passa por h (p) = (x1p , . . . , xnp ) definida por

lj (t) := x1p , . . . , xjp + t, . . . , xnp . Naturalmente, lj (0) = h (p) e a i-esima coordenada de lj (0) e lj (0) i = ij . A
expressao h1
avel em V que passa por p em t = 0 e para essa curva teremos, de
lj cj define uma curva diferenci
acordo com (33.15),

f h1
(x1p , . . . , xnp ) .
Dp [cj ]p f =
xj
n
X

x j (0)Dp [cj ]p f , ou seja,
Fica ent
ao claro que (33.15) pode ser reescrita como Dp [c]p f =
j=1
Dp [c]p
n
X
j=1

x j (0) Dp [cj ]p .
Como as curvas cj sao inequivalentes

para js diferentes (justifique!), essa expressao diz-nos que a colecao de vetores

onica de
{Dp [c1 ]p , . . . , Dp [cn ]p } forma uma base de vetores em T2p V , denominada base de coordenadas (ou base can
coordenadas) associada `
a carta local de coordenadas (A , h ).

atica
Vers
Captulo 33
1540/2111
Inspirada
em (33.15), h
a uma outra notacao muito mais direta e universalmente empregada para os vetores de base

Dp [cj ]p , a saber, a notacao

Dp [cj ]p
.
xj p

n
X

j
x (0)
Com ela escrevemos Dp [c]p =
.
xj p
j=1
Estabelecemos pouco acima que os espacos vetoriais T1p V e T2p V sao isomorfos (e isomorfos ao espaco vetorial Rn ).

Em termos informais, isso significa que os vetores [c]p T1p V e Dp [c]p T2p V , ainda que representando objetos de
natureza distinta (um e uma classe de equivalencia de curvas, o outro um operador entre espacos vetoriais) podem ser
operacionalmente identificados17 . No que segue, iremos freq
uentemente ignorar a distincao entre T1p V e T2p V e sempre
n

o

denotaremos o espaco tangente a V em p por Tp V . Iremos tratar x
como uma base em Tp V , a base
,
.
.
.
,
1
n
x p
p

de coordenadas induzida pela carta (A , h ). Vale notar tambem que [c1 ]p , . . . , [cn ]p compoe uma base em T1p V .
Mudan
cas de bases coordenadas no espa
co tangente
sejam descritas
Se considerarmos uma segunda ncartalocal de coordenadas
(A , h ) com p A , cujas coordenadas
o
n

o

1
n
por n-
uplas (y , . . . , y ). A base y1 , . . . , yn
pode ser linearmente relacionada à base x1 p , . . . , xn p
p
atraves da matriz de transicao (33.1). Tem-se, a saber,

n
X

xl

=
,
y k p
y k h (p) xl p
(33.16)
l=1
para todo k {1, . . . , n}, e

n
X

y k

=
,
xl p
xl h (p) y k p
(33.17)
k=1
para todo l {1, . . . , n}.
E. 33.5 Exerccio. Prove isso. Sugestao: (33.15) e a regra da cadeia.

Temos, assim, as seguintes representacoes para Dp [c]p :
Dp [c]p

n
X

j
y (0)
=
,
x (0)
=
xj p
y j p
j=1
j=1
n
X

onde, como antes, (h c)(t) = (x1 (t), . . . , xn (t)) e (h c)(t) = (y 1 (t), . . . , y n (t)). Como Dp [c]p e um objeto
intrnseco, i.e. independente do sistema de coordenadas
adotado em torno de p, a segunda igualdade atesta que as

Pn
Pn

j
j
expressoes j=1 x (0) xj p e j=1 y (0) yj independem das cartas locais nas quais foram definidas.
p

n
X

j
x (0)
y (0)
=
.
E. 33.6 Exerccio. Usando (33.16)-(33.17) e (33.6), prove novamente que
xj p j=1
y j p
j=1
n
X
O fibrado tangente
Como vimos acima, o espaco tangente Tp V pode ser definido em cada ponto p de uma variedade diferenci
avel V de
dimensao n. O conjunto
G
[
[ [
TV :=
Tp V =
(p, Tp V ) =
(p, v)
pV
pV
pV vTp V
17 Na literatura matem
atica podem ser encontradas ainda ao menos duas outras definico
es equivalentes da noca
o de espaco tangente, ambas
envolvendo certos ideais de
algebras de funco
es definidas sobre a variedade. Essas definico
es alternativas s
ao de interesse no contexto das
chamadas Geometrias N
ao-Comutativas, mas n
ao trataremos de tais assuntos neste texto.

atica
Vers
Captulo 33
1541/2111
constitudo pela uniao disjunta18 de todos os espacos tangentes de V e denominado fibrado tangente de V . O fibrado
tangente TV de uma variedade diferenci
avel V e, ele mesmo, uma variedade diferenci
avel de dimensao 2n. De fato, seja
A = {(U , h ), } um atlas infinitamente diferenci
avel para V e defina-se TU TV por
G
[
[
[
TU :=
Tp V =
(p, Tp V ) =
(p, v) .
pU
pU

Ent
ao, TA := (TU , H ), com H : TU R2n dado por
!
n
X

:= h (p), v 1 , . . . , v n =
vk
H p,
xk
pU vTp V
x1p , . . . , xnp , v 1 , . . . , v n
k=1
R2n ,

define um atlas infinitamente diferenci
avel em TV . Acima, x1p , . . . , xnp h (p) sao as coordenadas de p por h . Os
n
o

vetores x
, . . . , xn p definem uma base em Tp V induzida pelo sistema de coordenadas local {x1 , . . . , xn } de
1
p
U definido por h .
E. 33.7 Exerccio. Verifique as afirmacoes de acima. Determine as funcoes de transicao de TA.
O fibrado tangente e um exemplo de um fibrado vetorial, nocao da qual trataremos adiante. Na Fsica, mais especificamente, na Mecanica, a nocao de fibrado tangente essencialmente coincide com a nocao de espaco de fase, por poder
ser entendida como a colecao de todas as posicoes e velocidades de um sistema mecanico com um n
umero finito de graus
de liberdade.
33.2.2.1
O Espaco Co-Tangente
Como ja mencionamos, dada uma variedade diferenci

avel M de dimensao m podemos associar a cada ponto p M um
espaco vetorial real Tp M , tambem de dimensao m, denominado espaco tangente a M em p. Com isso, diversas outras
construcoes associadas `
a nocao de espaco vetorial podem ser igualmente introduzidas, tais como a de espaco dual, a de
produtos tensoriais etc., construcoes essas que abordamos com certa generalidade nas discuss
oes dos Captulos 2 e 3,
p
aginas 73 e 187, respectivamente. A agregacao de tais estruturas a variedades diferenci
aveis confere às mesmas maior
riqueza, naturalmente, permitindo a introducao de diversas novas nocoes de interesse geometrico e fsico, algumas das
quais iremos abordar no que segue.
Se Tp M e o espaco tangente a M em p M , denotamos por Tp M ou por Tp M o seu espaco dual, que na geometria
diferencial recebe o nome especial de espaco co-tangente a M em p. O espaco co-tangente Tp M e, portanto, a colecao
de todos os funcionais lineares de Tp M . Os elementos de Tp M sao denominados vetores co-tangentes.
Bases duais
n

, ...,
Se x
1
p

xm p
e uma base em Tp M associada a uma carta local de coordenadas (A , h ) com p A , a
correspondente base dual can

onica (para a definicao, vide pagina 139) em Tp M e denotada por {dx1p , . . . , dxm
p }. Com
isso, tem-se, por definicao,
*
+

i
dxp ,
= ij
xj p
para todos i, j {1, . . . , m}.

A notacao dxip para designar o dual de vetores como x
e certamente inspirada no emprego do smbolo dx para
j
p
designar um elemento de integracao (ou medida) na reta real e na ideia da operacao de integracao como inversa à
de diferenciacao. A felicidade dessa notacao ficara mais evidente quando discutirmos a teoria de integracao de formas
diferenciais em variedades diferenci
aveis.

definida no espaco tangente Tp M e seja {dx1 , . . . , dxm }

Para p M , seja uma base de coordenadas x
1 , . . . , xm
a
a correspondente base dual no espaco co-tangente Tp M , com hdxa , x
b i = b.
18 Para
a definica
o de uni
ao disjunta de uma famlia indexada de conjuntos, vide p
agina 36.

atica
Captulo 33
Vers
1542/2111
Vamos considerar uma nova base {e1 , . . . , em } em Tp M com

ek =
m
X
Ek l
l=1
xl
(33.18)
com certos coeficientes Ek l . Para que a nova base seja composta por vetores linearmente independentes a matriz de
(S 1 )ij
mudanca de base S, cujos elementos sao dados por Sij Ei j , deve ser inversvel. Vamos denotar
Pm os elementos
1
1
1
i
1
1
= 1, ou seja, k=1 (S )ik Skj = ij e
da
S
por E j (S )ji . Naturalmente, S S = 1 e SS
Pmmatriz inversa
1
S
(S
)
=
.
Com
a
nota
c
a
o
de
acima,
essas
duas
rela
c
o
es
ficam
ik
kj
ij
k=1
m
X
E k i Ek j
i j ,
(33.19)
Ei k E j k
i j .
(33.20)
k=1
m
X
k=1
Definamos agora uma nova base {e1 , . . . , em } no espaco co-tangente Tp M por

ek =
m
X
E k l dxl .
(33.21)
l=1
Teremos,
a
he , eb i =
m X
m
X
E c Eb
c=1 d=1

dxc ,
xd
m
X
E a c Eb c
(33.20)
ab ,
c=1
de se lembrar (vide coment

mostrando que as bases {e , . . . , e } e {e1 , . . . , em } sao duais. E
ario à p
agina 140) que a
base dual de {e1 , . . . , em } e u
nica.
1

e y1 , . . . ,
Exemplo 33.2 Dadas duas bases de coordenadas x
1 , . . . , xm
Tp M com
m
X
xb
=
a
y
y a xb
y m
definidas no espaco tangente
b=1
teremos Ea b =
x
y a .
Com as convencoes de acima E a b =
y a
,
xb
pois, de fato, valem
m
X
xj
y k xj
=
= i j ,
xi y k
xi
k=1
correspondendo a (33.19), e
m
X
y j
xk y j
=
= i j ,
y i xk
y i
k=1

correspondendo a (33.20). Assim, por (33.21), a base dual de y 1 , . . . , ym sera {dy 1 , . . . , dy m } com
dy k =
m
X
y k
l=1
xl
dxl ,
(33.22)
como facilmente se verifica. De forma totalmente analoga, obtemos

dxl =
m
X
xl k
dy .
y k
(33.23)
k=1

atica
Vers
Captulo 33
1543/2111
O fibrado co-tangente
A nocao de fibrado co-tangente pode ser introduzida como a de fibrado tangente, como fizemos acima. Como vimos
acima, o espaco co-tangente Tp V pode ser definido em cada ponto p de uma variedade diferenci
avel V de dimensao m.
O conjunto
G
[
[ [
T V :=
Tp V =
(p, Tp V ) =
(p, l)
pV
pV
pV lT
pV
constitudo pela uniao disjunta de todos os espacos co-tangentes de V e denominado fibrado co-tangente de V . O fibrado
co-tangente T V de uma variedade diferenci
avel V e, ele mesmo, uma variedade diferenci
avel de dimensao 2m. De fato,
seja A = {(U , h ), } um atlas infinitamente diferenci
avel para V e defina-se T U T V por
G
[
[
[
T U :=
Tp V =
(p, Tp V ) =
(p, l) .
pU
pU
pU lT
pV

Ent
ao, T A := (T U , I ), com I : T U R2m dado por
!
m
X

k
lk dxp := h (p), l1 , . . . , lm = x1p , . . . , xm
R2m ,
I p,
p , l1 , . . . , lm
k=1

define um atlas infinitamente diferenci
avel em T V . Acima, x1p , . . . , xm
h (p) sao as coordenadas de p por h . Os
p
1
m
co-vetores {dx1p , . . . , dxm
p } definem uma base em Tp V induzida pelo sistema de coordenadas local {x , . . . , x } de U
definido por h .
E. 33.8 Exerccio. Verifique as afirmacoes de acima. Determine as funcoes de transicao de T A.
33.2.3
Tensores em Variedades
Para o que segue, alguma familiaridade com a nocao de produto tensorial de espacos vetoriais e requerida. Essa nocao foi
introduzida na Secao 2.3.5, p
agina 148, fazendo uso de resultados previos (notadamente da Secao 2.2.4.3, p
agina 130).
Vide tambem Secao 2.3.6, p
agina 158.
A cada ponto p de uma variedade diferenci
avel V podemos, como vimos, associar o espaco tangente Tp V e o espaco
co-tangente Tp V , ambos espacos vetoriais reais de dimensao igual n, a dimensao a da variedade V . Muito importante e
que podemos tambem considerar produtos tensoriais desses espacos.
Seja m N e sejam W1 , . . . Wm espacos vetoriais sendo que cada Wk ou e o espaco tangente Tp V ou o espaco cotangente Tp V . O produto tensorial W1 R R Wm e dito ser de ordem m e de tipo (a, b) se o fator Tp V comparecer
a-vezes no produto tensorial e o fator Tp V comparecer b-vezes no produto tensorial, sendo que, naturalmente a + b = m.
Um exemplo prototipo de um produto tensorial de tipo (a, b) e
Tp V R R Tp V R Tp V R R Tp V
{z
}
|
|
{z
}
a vezes
b vezes
aR Tp V

bR Tp V
Todos os outros produtos tensoriais de tipo (a, b) sao isomorfos a esse por permutacao de fatores. Por exemplo, os tres
espacos de ordem 3 e de tipo (2, 1) sao Tp V R Tp V R Tp V , Tp V R Tp V R Tp V e Tp V R Tp V R Tp V .
Um elemento de um produto tensorial de ordem m de tipo (a, b) e dito ser um tensor de ordem m tipo (a, b), ou um
tensor de posto (a, b).

Em uma carta (U, h) que contenha p, o espaco aR Tp V
bR Tp V contem uma base de coordenadas locais da
forma19
B U, h, p
19 A
:=
)

ia+b
ia+1
R R
R dxp R R dxp , ik {1, . . . , n} para todo k .
xi1 p
xia p
discuss
ao sobre bases em produtos tensoriais de vetores gerais
e feita `
a p
agina 152. Vide tamb
em Seca
o 2.3.6, p
agina 158.

atica
Assim, um tensor T de
aR Tp V

bR Tp V
T = T i1 iaia+1 ia+b (p)
Captulo 33
Vers
1544/2111
se escreve na forma
R dxipa+1 R R dxpia+b ,
R
R
xi1 p
xia p
(33.24)
onde adotamos novamente a convencao de Einstein. Os nm coeficientes T i1 iaia+1 ia+b (p) sao denominados componentes
do tensor T na base B(U, h, p).
Em textos de Fsica e muito comum tomar um tensor por suas componentes em alguma carta, em frases como seja
o tensor T ijk .... Isso e por vezes denominado notacao de ndices abstratos.
O estudante iniciante deve atentar para a disposicao dos ndices superiores e inferiores nas expressoes de acima. Para
outros tensores de tipo (a, b) adota-se uma notacao semelhante, sempre dotando as componentes de ndices superiores
quando elas provem de um fator Tp V e de ndices inferiores quando elas provem de um fator TVp , e sempre preservando
nos ndices a ordem de aparecimento desses fatores. Assim, por exemplo, se considerarmos tres tensores A, B e C, de
ordem 3 e de tipo (2, 1), em Tp V R Tp V R Tp V , Tp V R Tp V R Tp V e Tp V R Tp V R Tp V , respectivamente, suas
representacoes nas respectivas bases de coordenadas locais serao

R dxkp ,
(33.25)
A = Aij k (p)
R
xi p
xj p

j
dx
,
R
R
p
xi p
xk p
B ij k (p)
Ci jk (p) dxip R
.
R
xj p
xk p
(33.26)
(33.27)
Mais uma vez o estudante iniciante deve atentar para a localizacao e ordenamento dos ndices.
Em uma outra carta (U , h) que tambem contenha o ponto p, teremos em aR Tp V bR Tp V uma nova base local de
coordenadas
(
)

ja+b
ja+1
R R dyp , jk {1, . . . , n} para todo k .
R R
R dyp
B U , h, p =
y j1 p
y ja p
O mesmo tensor T de (33.24) poder
a ser escrito na forma

j1 ja
R R
R dypja+1 R R dypja+b ,
T = T
ja+1 ja+b (p)
y j1 p
y ja p
(33.28)
com novas componentes T j1 ja ja+1 ja+b (p). Por (33.17) e (33.23), e pela multilinearidade do produto tensorial, podemos
retornar de (33.28) à base B U , h, p), obtendo

R dxipa+1 R R dxpia+b
T = T i1 iaia+1 ia+b (p)
R
R
xi1 p
xia p
= T i1 iaia+1 ia+b (p)
k
y ja
y j1
i
x 1
xia

xia+1
xia+b
j
y a+1
y ja+b
R dypja+1 R R dypja+b ,
R
R
y j1 p
y ja p
x
e y
com as derivadas y
k calculadas em h(p) e h(p), respectivamente. Comparando a (33.28), obtemos a importante
xl
regra de transformac
ao de componentes de tensores por mudancas de cartas:
T j1 ja ja+1 ja+b (p) =
y ja xia+1
xia+b i1 ia
y j1
T
ia+1 ia+b (p) .
xi1
xia y ja+1
y ja+b
(33.29)
A expressao (33.29) e empregada com muita freq

uencia na Teoria da Relatividade Geral e na Geometria Diferencial. Um
tanto incorretamente, ela e tomada por alguns autores como definicao da nocao de tensor.

atica
Captulo 33
Vers
1545/2111
Para outros tensores de tipo (a, b) h

a expressoes analogas. Por exemplo, para as componentes dos tensores A, B e
C de (33.25)(33.27), teremos as transformacoes:
Aij k (p) =
y i y j xt rs
A t (p) ,
xr xs y k
B ij k (p) =
y i xs y k r t
B s (p) ,
xr y j xt
C ijk (p) =
xr y j y k
C st (p) .
y i xs xt r
Mais uma vez chamamos a atencao do estudante iniciante para o ordenamento e disposicao dos ndices.
O espaco dual de um produto tensorial como aR Tp V bR Tp V pode ser identificado com o espaco aR Tp V bR Tp V ,
conforme discutimos nas supracitadas Secoes 2.3.5 e 2.3.6. No Captulo 34, p
agina 1584, indicaremos como o uso de um
tensor metrico conduz a uma aplicacao natural entre ambos os espacos e de que forma isso se reflete nas componentes
de tensores.
33.2.3.1
Tracos de Tensores. Contrac

ao de Indices
A nocao de traco, familiar na Algebra

Linear (vide Secao 9.2.3, p
agina 361), pode ser intoduzida tambem para operadores
lineares agindo no espaco tangente ou no espaco cotangente a um ponto de uma variedade diferenci
avel. Descrevemos
aqui como isso e feito em ambos os casos introduzindo tambem a notacao apropriada.
O tra
co de uma aplica
c
ao entre espa
cos tangentes
Seja M uma variedade diferenci

avel de dimensao m e seja V
: Tp M Tp M uma P
aplicacao linear de Tp M em si
m
V ba x
mesmo, de sorte que, em uma base de coordenadas x
1 , . . . , xm , tenhamos V xa =
b . Naturalmente, V
b=1 P
P
m
m
a
define um elemento de Tp M Tp M , um tensor de tipo (1, 1), a saber, podemos identificar V = a=1 b=1 V ba x
b dx .
Se V1 : Tp M Tp M e V2 : Tp M Tp M sao duas tais aplicacoes lineares com componentes (V1 )ba e (V2 )ba ,
respectivamente, em uma base local de coordenadas, e facil ver que, com as convencoes acima, temos
V1 V2
c
m
X
(V1 )cb (V2 )ba ,
(33.30)
b=1
para as componentes de V1 V2 na mesma base local de coordenadas. Verifique!

Se {e1 , . . . , em } e uma base em Tp M e {e1 , . . . , em } e a correspondente base dual no espaco co-tangente Tp M
definimos o traco de V por
m
X
Tr(V ) :=
hek , V ek i .
(33.31)
k=1
A expressao do lado direito independe da

particular base {e1 , . . . , em } escolhida. De fato, expressando os elementos
de {e1 , . . . , em } na base de coordenadas x

como em (33.18) e expressando os elementos da base dual
1 , . . . , xm
{e1 , . . . , em } na base {dx1 , . . . , dxm } como em (33.21), teremos

m
m X
m X
m
X
X
Tr(V ) =
hek , V ek i =
E k c Ek d dxc , V
xd
c=1
k=1
k=1
m X
m
m
X
X
c=1 d=1
d=1
k=1
E c Ek
{z
(33.19)
c d

m
X
dxc , V
,
xc
c=1
!
dxc , V
xd
(33.32)

atica
Captulo 33
Vers
1546/2111
que e a expressao de Tr(V ) na base de coordenadas x

ao depende da particular base
1 , . . . , xm . Assim, Tr(V ) n
escolhida, nem do particular sistema de coordenadas escolhido, possuindo, portanto, uma natureza escalar. Note-se que

m
m X
m
X
X
c
d
c
V c dx ,
=
dx , V
Tr(V ) =
xc
xd
c=1 d=1
c=1
|
{z
}
= cd
e, portanto,
Tr(V ) =
m
X
V cc ,
(33.33)
c=1
claro, por essas

permitindo expressar Tr(V ) em termos dos coeficientes de V em qualquer base de coordenadas. E
consideracoes sobre a invariancia com relacao `
a escolha de base, que Tr(V ) e uma grandeza escalar, ou seja, um tensor
de posto 0.
Como se ve em (33.33), em uma carta local de coordenadas, o processo de tomada do traco de V consiste em tomar-se
as componentes V ab com ndices iguais e somar sobre os mesmos. Esse processo e denomimado contrac
ao de ndices.
Se V1 e V2 sao aplicacoes lineares em Tp M , ent
ao, usando (33.30), temos
Tr(V1 V2 ) =
m
X
a=1
V1 V2
a
m X
m
X
(V1 ) b (V2 )
a=1 b=1
m
m
X
X
b=1
(V2 )
(V1 )
a=1
o que estabelece a chamada propriedade cclica do traco:

Tr(V1 V2 ) = Tr(V2 V1 ) .
m
X
b=1
V2 V1
b
= Tr(V2 V1 ) ,
(33.34)
O tra
co de uma aplica
c
ao entre espa
cos co-tangentes
Seja agora W : Tp M Tp M uma aplicacao linear de Tp M em si mesmo, de sorte que, em uma base de coordenadas
1

P
a
b
dx , . . . , dxm , tenhamos W dxa = m
. Naturalmente, W define um elemento de Tp M Tp M , um tensor
b=1 Wb dx
Pm Pm
de tipo (1, 1), a saber, podemos identificar W = a=1 b=1 Wb a dxb x a .
Se W1 : Tp M Tp M e W2 : Tp M Tp M sao duas tais aplicacoes lineares com componentes (W1 )ba e (W1 )ba ,
respectivamente, em uma base dual local de coordenadas, e facil ver que, com as convencoes acima, temos
W1 W2
m
X
(W1 )cb (W2 )ba ,
(33.35)
b=1
para as componentes de W1 W2 na mesma base dual local de coordenadas. Verifique!

Como acima, se {e1 , . . . , em } e uma base em Tp M e {e1 , . . . , em } e a correspondente base dual no espaco
co-tangente Tp M definimos o traco de W por
Tr(W ) :=
m
X
k=1
hW ek , ek i .
(33.36)
De forma totalmente analoga ao que fizemos acima, podemos provar que Tr(W ) n
ao depende da particular base escolhida
e que, para a base de coordenadas original tem-se
Tr(W ) =
m
X
Wa a .
(33.37)
a=1
Novamente, Tr(W ) e uma grandeza escalar, ou seja, um tensor de posto 0. Mais uma vez vemos em (33.37) o processo
de contrac
ao de ndices.
E. 33.9 Exerccio. Usando (33.35), estabeleca a propriedade cclica do traco:
Tr(W1 W2 ) = Tr(W2 W1 ) ,
valida para quaisquer aplicacoes lineares W1 : Tp M Tp M e W2 : Tp M Tp M .
(33.38)
6

atica
Captulo 33
Vers
1547/2111
Tra
cos de tensores gerais
As definicoes de traco de acima podem ser estendidas a tensores gerais. Tomemos como exemplo um tensor de tipo
(a, b) da forma
T = T i1 iaia+1 ia+b
ia R dxia+1 dxia+b aR Tp M bR Tp M ,
i
1
x
x
(dovavante abandonamos o subndice R nos produtos tnsoriais). Obtemos um tensor de tipo (a 1, b 1) efetuando
o processo de contracao de ndices, contrando um ndice superior com um inferior. H
a diversas formas de faze-lo, uma
delas, a ttulo de ilustracao, e obtida contrando-se o ndice superior ia com o ndice inferior ia+b , resultando em
m
X
i1 ia1 k
ia+1 ia+b1 k
k=1
a1
b1
Tp M R
Tp M .
ia1 R dxia+1 dxia+b1 R
xi1
x
Se escolheremos contrair outro par de ndices, obteramos um outro tensor, em princpio distinto, tambem de tipo
(a 1, b 1). Claro est
a tambem que esse processo de contracao de pares de ndices pode ser repetido, conduzindo a
tensores de tipos ainda menores.
Esses tensores obtidos por contracoes de ndices de T sao denominados tracos parciais do tensor T . Na literatura
fsica, notadamente na Teoria da Relatividade Geral, mas tambem na Teoria de Grupos e na Teoria de Spinores, essas
operacoes de contracao de ndices sao empregadas muito freq
uentemente.
33.2.3.2
Transposic
ao de Tensores

: Tp M Tp M uma aplica
de Tp M em si mesmo, de sorte que,
avel e seja V
P caob linear
, tenhamos V x a = m
.
Naturalmente,
V define um elemento
em uma base de coordenadas x
1 , . . . , xm
b
b=1 V a P
x
Pm
b
de Tp M Tp M , um tensor de tipo (1, 1), a saber, podemos identificar V = m
V
dxa .
b
a x
a=1
b=1
Definimos V T : Tp M Tp M como a aplicacao linear definida por
T

V , p = , V p
(33.39)
para todos Tp M e todos Tp M . A aplicacao linear V T e dita ser a transporta da aplicacao linear V . Em uma

a
base local temos V T dxa = V T b dxb e e elementar constatar da definicao (33.39) que
VT
a
b
= V ab .
Seja agora W : Tp M Tp M uma aplicacao linear de Tp M em si mesmo, de sorte que, em uma base dual de

Pm
coordenadas dx1 , . . . , dxm , tenhamos W dxa = b=1 Wb a dxb . Naturalmente, W define um elemento de Tp M Tp M ,
Pm Pm
um tensor de tipo (1, 1), a saber, podemos identificar W = a=1 b=1 Wb a dxb x a .
Definimos W T : Tp M Tp M como a aplicacao linear definida por

, W T p = W , p
(33.40)
para todos Tp M e todos Tp M . A aplicacao linear W T e dita ser a transporta da aplicacao linear W . Em uma

b
e elementar constatar da definicao (33.39) que
base dual local temos W T x a = W T a x
b e
WT
b
= Wa b .
Com as definicoes acima e trivial provar os seguintes fatos:

VT
T
= V ,
WT
T
= W ,
Tr V T
= Tr(V )
para quaisquer aplicacoes lineares V : Tp M Tp M e W : Tp M Tp M .

E. 33.10 Exerccio. Veriifique!
Tr W T
= Tr(W )
(33.41)

atica
Vers
Captulo 33
1548/2111
E. 33.11 Exerccio. Mostre, usando as definicoes (33.39) e (33.40) que valem

V1 V2
T
= V2T V1T
W1 W2
T
= W2T W1T
para quaisquer aplicacoes lineares Vk : Tp M Tp M , k = 1, 2, e Wk : Tp M Tp M , k = 1, 2,.
(33.42)
6
Note-se que as operacoes de transposicao definidas acima mapeiam elementos de Tp M Tp M em elementos de

Tp M e vice-versa, a saber, da seguinte forma (aqui usamos novamente a convencao de Einstein):
Tp M
V ba
dxa
xb
T
= V ba dxa
xb
T

Wb a dxb a
= Wb a a dxb .
x
x
E. 33.12 Exerccio. Veriifique!
Em particular, valem

dxb
xa
T
= dxb
xa

T
dxa b
dxa .
=
x
xb
Nesse sentido, a operacao de transposicao pode ser generalizada de forma obvia para tensores de ordem superior. N
ao
entraremos nos detalhes aqui, por serem de interesse superficial no caso geral.
Na Secao 34.1.1m p
agina 1594, apresentaremos uma outra nocao de transposicao, a saber, com respeito a um tensor
metrico.
33.2.4
Aplica
c
oes Entre Variedades Diferenci
aveis
A nocao de aplicacao diferenci

avel entre variedades diferenci
aveis foi introduzida à p
agina 1530. Nesta secao vamos
estender um tanto a analise desse conceito.
33.2.4.1
A Diferencial de Uma Aplicac

ao Entre Variedades. Pullback e Pushforward
Sejam M1 e M2 duas variedades diferenci

aveis de dimensoes m1 e m2 , respectivamente. Sejam AM1 = {(A1 , h1 ),
2
2
aveis em M1 e M2 , respectivamente. Toda aplicacao
1 } e AM2 = {(A , h ), 2 } atlas infinitamente diferenci
diferenci
avel : M1 M2 induz naturalmente uma aplicacao entre os espacos tangentes de M1 e M2 , denominada
aplicac
ao diferencial induzida por , ou simplesmente a diferencial de , da qual trataremos no que segue.
Seja p M1 e seja, para algum > 0 conveniente, c1 : (, ) M1 uma curva contnua e diferenci
avel definida em
M1 com c(0) = p. Por simplicidade suporemos que e pequeno o suficiente de modo que toda a imagem de c esteja contida
dentro de uma carta local A1 que contem p. Seja c2 := c1 : (, ) M2 a curva em M2 obtida pela imagem de c1
por . Se for pequeno o suficiente, c2 n
ao ter
a auto-interseccoes (ou seja, sera injetora na sua imagem). Naturalmente,
tem-se c2 (0) = (p). A chamada aplicac
ao diferencial induzida por , denotada por d : Tp M1 T(p) M2 , e a aplicacao
que, para cada curva c1 como acima, associa o vetor tangente c1 (0) à curva c1 em p ao vetor tangente c2 (0) à curva c2
em (p):

(33.43)
dp c1 (0) = c2 (0) .
Como veremos no que segue, essa aplicacao est

a bem definida e e linear, enquanto aplicacao entre os espacos vetoriais
Tp M1 e T(p) M2 . Na Proposicao 33.6, adiante, apresentaremos circunst
ancias sob as quais a aplicacao diferencial e um
isomorfismo.
Seja a carta local de coordenadas (A1 , h1 ) com p A1 , cujas coordenadas denotaremos por (x1 , . . . , xm1 ).
Consideremos tambem em M2 a carta local de coordenadas (A2 , h2 ) com (p) A2 , cujas coordenadas denotaremos
n
o

por (y 1 , . . . , y m2 ). Com essas coordenadas, o conjunto de vetores x
, . . . , xm1 p define uma base em Tp M1 ,
1
p

enquanto que o conjunto de vetores y1
define uma base em T(p) M2 .
, . . . , ym2
(p)
(p)

atica
Captulo 33
Vers
1549/2111
Como e suposta ser diferenci

avel, a funcao h2 (h1 )1 do aberto h1 (A1 ) Rm1 no aberto h2 (A2 ) Rm2 e
diferenci
avel. Coerentemente com a notacao de acima, vamos denota-la por

h2 (h1 )1 (x1 , . . . , xm1 ) = y 1 x1 , . . . , xm1 , . . . , y m2 x1 , . . . , xm1 .
Considere-se as curvas h1 c1 e h2 c2 definidas nos abertos h1 (A1 ) Rm1 e h2 (A2 ) Rm2 , respectivamente.
Coerentemente com a notacao de acima, parametrizaremos essas curvas por

e
(h2 c2 )(t) = y 1 (t), . . . , y m2 (t) ,
(h1 c1 )(t) = x1 (t), . . . , xm1 (t)

respectivamente, com t (, ). Como h2 c2 = h2 c1 = h2 (h1 )1 h1 c1 , podemos escrever
(h2 c2 )(t) =
Pela regra da cadeia, vale

y 1 (t), . . . , y m2 (t) = y 1 x1 (t), . . . , xm1 (t) , . . . , y m2 x1 (t), . . . , xm1 (t) .

d 2
h c2
dt
onde (comparar com (33.1)),

d
= D h2 (h1 )1
h1 c1 ,
dt
D h2 (h1 )1
Ou seja, temos para cada j = 1, . . . , m2 ,

y j (t) =
k=1
Os vetores tangentes
m1
X
k=1
x k (0)
xk
x1
y m2
m1
X
y j
y 1
x1
..
.
..
m1
x (t), . . . , x

xk p
m2
X
k=1
(33.44)
y 1
xm1
..
.
.
y m2
xm1

(t) x k (t) .
y k (0)
(33.45)

y k (p)
associados às curvas c1 e c2 nos pontos p e (p), respectivamente, tem suas componentes relacionadas por (33.45) (em
t = 0).
Essas observacoes acima permitem-nos definir a aplicacao linear dp : Tp M1 T(p) M2 , denominada aplicac
ao
diferencial induzida por em p, ou simplesmente a diferencial de em p, por

(33.46)
dp := D h2 (h1 )1
(em cartas locais), ou seja,
dp
#
"m
!

m2 X
1
X
l

y k 1

:=
.
h
((p))
v
v
xa p
xl
y k (p)
a=1
m1
X
k=1
(33.47)
l=1
n

P m1 a

Em termos das componentes (v 1 , . . . , v m1 ) de v a=1
v xa p na base x
, ...,
1
p
escrever, em notacao matricial,
y 1
y 1
v1
xm1
x1
.
.

.
.
..
..
.
dp v = ..
. ,
y m2
y m2 m1
v
x1
xm1

xm1 p
de Tp M1 , podemos
(33.48)

atica
Captulo 33
Vers
o vetor coluna resultante fornecendo as coordenadas da imagem na base

y 1
(p)
, ...,
1550/2111
y m2
(p)
de T(p) M2 . Como

y i
sao calculadas em h1 (p) .
xj
Como discutiremos abaixo, a aplicacao diferencial dp : Tp M1 T(p) M2 e tambem dita ser o pushforward associado
a : M1 M2 .
acima, as derivadas parciais
E. 33.13 Exerccio importante. Mostre que dp : Tp M1 T(p) M2 , definida acima, nao depende das particulares cartas
locais de coordenadas (A1 , h1 ) e (A2 , h2 ) adotadas, que satisfacam p A1 e (p) A2 . Sugestao: em (33.44) use as
funcoes de transicao e a regra da cadeia.
6
Como se compreende de (33.43) e da discuss
ao acima, se w Tp M1 , podemos determinar dp (w) da seguinte forma:
toma-se uma curva c(t) em M1 com c(0) = p e c(0)
= w e calcula-se o vetor tangente à curva c(t) no ponto t = 0:

d
.
(33.49)
c(t)
dp (w) =
dt
t=0
A aplica
c
ao diferencial e difeomorfismos
Au
til proposicao a seguir estabelece uma relacao entre difeomorfismos e aplicacoes diferenciais que sejam isomorfismos.
Proposi
c
ao 33.6 Sejam M1 e M2 duas variedades diferenci
aveis de mesma dimens
ao m. Seja f : M1 M2 diferenci
avel e seja dfp : Tp M1 Tf (p) M2 a aplicac
ao diferencial induzida por f em p M1 . Valem as seguintes
afirmac
oes:
1. Se f for um difeomorfismo, ent
ao a aplicac
ao diferencial dfp e um isomorfismo para todo p M1 .
2. Se para algum p M1 a aplicac
ao diferencial dfp for um isomorfismo, ent
ao f e um difeomorfismo local em p. 2
Note-se que a afirmacao do item 2, acima, e uma recproca parcial à afirmacao do item 1.
Prova da Proposicao 33.6. Sejam M1 e M2 duas variedades diferenci
aveis e seja f : M1 M2 diferenci
avel. Seja p M1 e
seja a carta local de coordenadas (A1 , h1 ) com p A1 , cujas coordenadas denotaremos por (x1 , . . . , xm ). Consideremos
tambem em M2 a carta local de coordenadas (A2 , h2 ) com f (p) A2 , cujas coordenadas denotaremos por (y 1 , . . . , y m ).
Se f for um difeomorfismo, a funcao h2 f (h1 )1 do aberto h1 (A1 ) Rm no aberto h2 (A2 ) Rm e diferenci
avel
1
1
y
x1
y
xm
y
x1
y
xm
e tem inversa diferenci

avel. Conseq
uentemente, o Jacobiano det .. . . .
.m
isomorfismo para
e recoberto pelas
todo q A1 (por ser descrita por uma matriz

cartas {A1 , }. Isso provou o item 1.
..
e n
ao-nulo, o que implica que dfq e um
.m
m m invertvel) e, portanto, em toda M1 , ja que M1

Por outro lado, se para algum p M1 a aplicacao diferencial dfp for um isomorfismo, ent
ao a matriz D h2 f (h1 )1
tem determinante n
ao nulo em p. O Teorema da Funcao Inversa, Teorema 26.9, p
agina 1285 (para um tratamento em
Rn , vide [167]-[168] ou [50]), garante que existe uma vizinhanca de h1 (p) onde h2 f (h1 )1 e inversvel, sendo essa
inversa diferenci
avel. Isso garante que existe uma vizinhanca de p onde f tem inversa e essa inversa e diferenci
avel, ou
seja, garante que f e um difeomorfismo local em p.
Pontos crticos de aplica

co
es diferenci
aveis
Como acima, sejam M1 e M2 duas variedades diferenci

aveis de mesma dimensao m. Seja f : M1 M2 diferenci
avel
e seja dfp : Tp M1 Tf (p) M2 a aplicacao diferencial induzida por f em p M1 . Tendo em mente a Proposicao 33.6,
ao
p
agina 1550, a seguinte definicao e relevante: um ponto p0 M1 e dito ser um ponto crtico da aplicacao f se dfp0 n
ao f n
ao pode ser um difeomorfismo
for um isomorfismo entre Tp0 M1 e Tf (p0 ) M2 . Se p0 e um ponto crtico de f , ent
local em p0 .

atica
Captulo 33
Vers
1551/2111
Pullback e pushforward
Como antes, seja f : M1 M2 diferenci

avel, mas vamos supor adicionalmente que ela seja injetora em sua imagem
f (M1 ) M2 .
Para cada p M1 , seja dfp : Tp M1 Tf (p) M2 a aplicacao diferencial induzida por f em p M1 .
A aplicacao df induz, para cada q f (M1 ) M2 uma aplicacao dual entre os espacos duais Tq M2 e Tf 1 (q) M1 ,
denotada por dfq : Tq M2 Tf 1 (q) M1 , a qual e definida da seguinte forma: para cada U Tq M2 definimos dfq U como
sendo o elemento de Tf 1 (q) M1 tal que

(33.50)
dfq U, V f 1 (q) = U, dff 1 (q) V q ,
para todo V Tf 1 (q) M1 .
A aplicacao dfq : Tq M2 Tf 1 (q) M1 assim definida e dita ser o pullback de f . A nomenclatura segue a seguinte
ideia: f : M1 M2 leva pontos de M1 em M2 . A aplicacao diferencial dfp leva vetores de Tp M1 em Tf (p) M2 enquanto
que dfq puxa de volta (pulls back) vetores de Tq M2 para Tf 1 (q) M1 .
Seguindo a mesma ideia, a aplicacao diferencial dfp e tambem dita ser o pushforward de f .
O leitor deve ser informado que h
a uma notacao alternativa muito difundida para pullbacks e pushforwards: df e
denotada por f enquanto que df e denotada por f . Ocasionalmente empregaremos tambem essa notacao.
Representa
c
ao de pullbacks em cartas locais
O exerccio que segue mostra como se pode expressar um pullbacks concretamente, em cartas locais.
Obtenha, usando a definicao (33.50), o analogo das expressoes em coordenadas locais (33.47) e
E. 33.14 Exerccio.
(33.48) para o pullback d . A saber, mostre que para dq : Tq M2 T1 (q) M1 , teremos
*
dq dyqb
+

,
xa 1 (q)
=
1 (q)
dxbq
, d1 (q)
(33.47)
do que segue que
+

xa 1 (q)
dyqb
+
m2
X
y k 1 1
h (q)
,
xa
y k q
k=1
=
q
y b 1 1
h (q) ,
xa
y b 1 1 l
(33.51)
h (q) dx |1 (q) .
xl
b=1 l=1
b=1

P m2
Mostre que, em termos das componentes (1 , . . . , m2 ) de b=1
b dy b |q na base dy 1 |q , . . . , dy m2 |q de Tq M2 ,
podemos escrever, em notacao matricial,
y 1
y 1
xm1
x1

..
..
..
(33.52)
dq = 1 m2
.
.
,
.
y m2
y m2
1
x
xm1
o
n
1
o vetor linha resultante fornecendo as coordenadas da imagem na base dx11 (q) , . . . , dxm
1 (q) de T1 (q) M1 . As derivadas

y i
parciais
6
sao calculadas em h1 1 (q) .
j
x
dq
m2
X
b dy |q
Pullbacks e pushforwards de fun

co
es
m1
m2 X
X

avel de dimensao m e seja g : M R uma funcao diferenci
avel. Como M e R
sao variedades diferenci
aveis, as nocoes de pushforward e pullback aplicam-se s g. Seguindo as definicoes, vemos que o

atica
Vers
Captulo 33
1552/2111
pushforward dgp : Tp M Tp R e expresso em uma carta local (U, h) de M como

dgp v =
m
X

g
h(p) v k
xk
(33.53)
k=1
com v = (v1 , . . . , vm ) Tp M . Ja o pullback dgp : Tp R Tp M e expresso em uma carta local como

dgp u = u
m
X

g
h(p) dxlp ,
l
x
(33.54)
l=1
com u R Tp R. Verifique!
Composi
c
ao de pullbacks e pushforwards
O exerccio que segue mostra como compor pullbacks e pushforwards.
E. 33.15 Exerccio. Sejam M1 , M2 e M3 tres variedades diferenciaveis. Seja f : M1 M2 , bijetora e diferenciavel e

seja g : M2 M3 , injetora e diferenciavel. Considere a composicao g f : M1 M3 , injetora e diferenciavel. Mostre que
d(g f )p : Tp M1 T(gf )(p) M3 , com p M1 , e d(g f )q : Tq M3 T(gf )1 (q) M1 , com q (g f )(M1 ) M3 , satisfazem:
d(g f )p = dgf (p) dfp
d(g f )q = dfg1 (q) dgq ,
(33.55)
para todo p M1 e todo q (g f )(M1 ) M3 .

Na outra notacao, essas relacoes ficam
(g f ) = g f
(g f ) = f g .
(33.56)
sendo que aqui omitimos os pontos onde as aplicacoes devem ser calculadas para a preservacao da elegancia.
1
Um caso
interessante
e aquele em que M3 = M1 e g = f . Aqui, g f = idM1 , a aplicacao identidade de M1 . Assim,
1
d f f p = d idM1 p = idTp M1 , a aplicacao identidade em Tp M1 (a ultima igualdade e evidente, mas pode ser vista em

(33.47) ou em (33.48)). Disso segue igualmente que d f 1 f p = idTp M1 . Agora, de (33.55) obtemos com isso que
para todo p M1 .
33.2.4.2

d(f 1 ) f (p) =
(df )p
1

d(f 1 ) p =
(df )f (p)
1
(33.57)
6
Imers
oes, Mergulhos e Subvariedades
Temos agora elementos para apresentar mais algumas definicoes u

teis ao estudo de variedades e suas aplicacoes. Aplicacoes
diferenci
aveis entre variedades diferenci
aveis podem ser classificadas em determinados tipos, como imers
oes, submers
oes
e mergulhos suaves, os quais conduzem a outras nocoes, como a de subvariedade diferenci
avel etc. Nesta breve secao
introduziremos essas definicoes. Alguns exemplos sao discutidos com algum detalhe na Secao 33.4, p
agina 1562.
Imers
oes
Sejam M e N duas variedades diferenci

aveis. Uma aplicacao : M N e dita ser uma imers
ao20 de M em N se
for diferenci
avel e se dp : Tp M T(p) N for injetora para todo p M , ou seja, se o posto21 de dp for sempre igual à
dimensao de M (naturalmente, isso requer que dim M dim N ). A diferenca dim N dim M e denominada codimens
ao
da imersao .
Note-se que uma imers
ao : M N n
ao e necessariamente injetora.
20 Immersion,
21 Recordar
aplicaca
o.
em Ingl
es.
que o posto de uma aplicaca
o linear entre dois espacos vetoriais de dimens
ao finita
e, por definica
o, a dimens
ao da imagem dessa

atica
Vers
Captulo 33
1553/2111
Submers
oes
Sejam M e N duas variedades diferenci

aveis. Uma aplicacao diferenci
avel : M N e dita ser uma submers
ao22
de M em N se dp : Tp M T(p) N for sobrejetora para todo p M , ou seja, se o posto de dp for sempre igual à
dimensao de N (naturalmente, isso requer que dim M dim N ).
Mergulhos
A nocao de mergulho23 no contexto de Topologia Geral ja foi definida à p

agina 1374 e à p
agina 1464: se (X, X )
e (Y, Y ) sao espacos topol
ogicos, uma funcao f : X Y e dita ser um mergulho topol
ogico, ou simplesmente um
mergulho, de (X, X ) em (Y, Y ) se for um homeomorfismo entre X e sua imagem f (X) (adotando neste u
ltimo
conjunto a topologia relativa induzida por Y em f (X)).
Essa nocao topologica de mergulho aplica-se tambem ao caso particular em que (X, X ) e (Y, Y ) sao variedades
topol
ogicas.
Um mergulho topol
ogico : X Y e sempre uma aplicacao injetora, contnua e com inversa 1 : (X) X
contnua (naturalmente, a aplicacao inversa 1 so pode ser definida ma imagem (X) de ).
Mergulhos suaves
Um mergulho topol
ogico entre duas variedades diferenci
aveis e dito ser um mergulho suave se for tambem uma
imers
ao.
Advertimos o leitor para o fato que, no contexto de variedades diferenci
aveis, mergulhos suaves sao por vezes denominados simplesmente mergulhos.
Subvariedades topol
ogicas
Essa nocao ja foi introduzida e discutida na Secao 33.1.1, p

agina 1527, e colocamos aqui a seguinte definicao, inspirada
na Proposicao 33.4, p
agina 1528:
Sejam (X, X ) e (Y, Y ) duas variedades topologicas sendo que Y X (assumimos X e Y n

ao-vazios). Ent
ao,
(Y, Y ) e uma subvariedade topol
ogica de (X, X ) se a funcao inclusao iY, X : Y X for um mergulho topologico de
(Y, Y ) em (X, X ). Como j
a comentamos, uma subvariedade topologica e por si so uma variedade topologica.
Subvariedades diferenci
aveis
Seja N uma variedade diferenci

avel e seja M N com M 6= , sendo M uma subvariedade topologica de N e
possuindo uma estrutura diferenci
avel que faz de si tambem uma variedade diferenci
avel.
Dizemos que M e uma subvariedade diferenci
avel de N se a inclusao iM, N for um mergulho suave de M em N .
Assim, a variedade diferenci

avel M sera uma subvariedade diferenci
avel da variedade diferenci
avel N se M M , se
M for uma subvariedade topol
ogica de N e se a inclusao iM, N for uma imersao da variedade diferenci
avel M em na
variedade diferenci
avel N .
Notas.
Na Seca
o 33.4.2, p
agina 1564, mostramos um exemplo de uma subvariedade diferenci
avel de Rn+1 : o gr
afico de uma funca
o
F : Rn R diferenci
avel.
importante frisar que o fato de uma variedade diferenci
E
avel M ser topologicamente mergulhada em outra variedade diferenci
avel N n
ao
faz com que M seja uma subvariedade diferenci
avel de N . Na Seca
o 33.4.2.1, p
agina 1566, mostramos que o cone n-dimensional pode ser
tomado como uma variedade diferenci
avel (com uma escolha conveniente de estrutura diferenci
avel, apesar de n
ao ser diferenci
avel, enquanto
avel de Rn+1 , onde
superfcie, em seu v
ertice). Mostraremos, por
em, que o cone n-dimensional n
ao
e ipso facto uma subvariedade diferenci
e topologicamente mergulhado.
Superfcies regulares em Rn
Um conjunto S Rn e dito ser uma superfcie regular de dimens

ao m (com m n) se for uma subvariedade de
dimensao m de Rn (com Rn sendo aqui a variedade diferenci
avel Rn padr
ao).
Mais sobre o tema sera apresentado na Secao 33.4.3, p
agina 1567.
22 Submersion,
23 Embedding,
em Ingl
es.
ou ainda imbedding, em Ingl
es. Plongement, em Franc
es. Einbettung em Alem
ao.

atica
Vers
Captulo 33
1554/2111
Variedades suavemente mergulh

aveis
Uma variedade diferenci

avel M e dita ser uma variedade suavemente mergulh
avel em uma variedade diferenci
avel N
se existir um mergulho suave : M N tal que (M ) seja uma subvariedade diferenci
avel de N .
Com isso, podemos dizer que uma uma subvariedade diferenci

avel M de uma variedade diferenci
avel N e uma
variedade suavemente mergulhada em N pela inclusao iM, N .
Dois teoremas de Whitney sobre imers
oes e mergulhos suaves
Mencionamos aqui dois importantes teoremas, ambos devidos a Hassler Whitney24 . Suas demonstracoes est
ao fora
do escopo destas Notas (vide referencias logo abaixo).
Teorema 33.3 (Teorema de Imers
ao de Whitney) Seja M uma variedade diferenci
avel de dimens
ao m. Ent
ao, se
m > 1, existe uma imers
ao de M em R2m1 .
2
Teorema 33.4 (Teorema de Mergulho de Whitney) Seja M uma variedade diferenci
avel de dimens
ao m. Ent
ao,
se m > 0, existe um mergulho suave de M em R2m .
2
Esses teoremas foram apresentados por Whitney entre 1936 e 1944 (para os trabalhos originais, vide [63]). Em
1936 Whitney demonstrou uma versao ligeiramente mais fraca dos teoremas acima: toda variedade diferenci
avel de
dimensao m pode ser imersa em R2m e toda variedade diferenci
avel de dimensao m pode ser mergulhada em R2m+1 .
Uma demonstracao dessa versao mais fraca pode ser encontrada em [162], em [169] ou em [16]. A versao apresentada
nos Teoremas 33.3 e 33.4 data de 1944 e faz uso de metodos muito mais sofisticados que os da versao de 1936. Vide [63].
Para uma demonstracao de um teorema de mergulho para o caso de variedades topologicas compactas, vide Teorema
32.23, p
agina 1490 e seguintes. Vide tambem o Coment
ario à p
agina 1491.
O Teorema 33.4 evidencia um aspecto da nocao de variedade diferenci
avel que merece alguma discuss
ao. Ele nos
informa que toda variedade diferenci
avel de dimensao m e difeomorfa a alguma superfcie regular25 de dimensao m em
um espaco Euclidiano R2m . Com algum abuso de linguagem, isso significa que toda variedade diferenci
avel de dimensao
finita e uma superfcie regular em algum espaco Rn (denominado espaco ambiente).
Assim, variedades diferenci
aveis podem ser abordadas de forma extrnseca, como superfcies regulares em algum
espaco ambiente Rn , ou de forma intrnseca, como espacos topologicos per se, sem referencia a um espaco ambiente onde
as mesmas possam ser mergulhadas.
Duas quest
oes, aparentadas entre si, que aqui se colocam sao: 1. Por que n
ao estudar variedades diferenci
aveis
apenas extrinsecamente, ou seja, apenas como superfcies regulares em algum espaco ambiente? 2. N
ao seria a propria
definicao de variedade diferenci
avel uma definicao superflua ou esp
uria, ja que os objetos abrangidos por ela reduzem-se
a superfcies regulares?
A resposta a ambas as perguntas depende um tanto da inclinacao filosofica de quem a formula e do que se deseja
realizar com a resposta. O fato e que a abordagem extrnseca raramente conduz a resultados e nocoes fundamentais e
u
teis no estudo de propriedades gerais ou particulares de variedades. Na Teoria da Relatividade Geral, por exemplo,
onde assume-se que o espaco-tempo seja uma variedade diferenci
avel, a abordagem extrnseca e esp
uria, pois n
ao h
a
(acredita-se) realidade fsica no espaco ambiente onde o espaco-tempo pode ser mergulhado.
33.3
Campos Vetoriais e Tensoriais
Campos tensoriais
Se M e uma variedade diferenci

avel de dimensao m, define-se um campo tensorial (de tipo (a, b))
uma
em M como

aplicacao que a cada p M associa um elemento de um produto tensorial tal como aR Tp V bR Tp V (outras
permutacoes dos fatores podem, naturalmente, ser tambem consideradas). Assim, um campo tensorial T e descrito por
24 Hassler
25 A
Whitney (19071989).
noca
o de superfcie regular
e discutida na Seca
o 33.4.3, p
agina 1567.

atica
Captulo 33
Vers
1555/2111

uma aplicacao que a cada p M associa um tensor Tp em aR Tp V bR Tp V , expresso em coordenadas locais como

i
i
i1 ia

Tp = T
R R dxha+b
.
(33.58)
R R
R dxha+1
ia+1 ia+b h (p)
(p)
(p)
xi1 h (p)
xia h (p)
Acima, para cada p M , (U , h) compoe uma carta local de coordenadas com p U e h (p) (x1 , . . . , xm ) Rm .
As funcoes T i1 iaia+1 ia+b h (p) T i1 iaia+1 ia+b (x1 , . . . , xm ), k = 1, . . . , m, assumem valores em R e sao ditas
ser as componentes de T na carta local de coordenadas (U , h ). A equacao (33.58) e dita ser a express
ao local de T na
carta (U , h ).
O campo tensorial T e dito ser um campo tensorial diferenci

avel em M se para todo p e para todas as cartas locais
de coordenadas todas as funcoes T i1 iaia+1 ia+b : h (U ) Rm R forem diferenci
aveis como funcao de m variaveis
reais. Muito freq
uentemente assumiremos que as componentes de um campo tensorial sao infinitamente diferenci
aveis e
denotaremos por T (a, b) (M ) a colecao de todos os campos tensoriais infinitamente diferenci
aveis de M .
Um caso de particular interesse e o de campos vetoriais:

Tp M .
M p 7 Ap = ak h (p)
xk h (p)
Denotaremos por X (M ) T (1, 0) (M ) a colecao de todos os campos vetoriais infinitamente diferenci

aveis de M .
Outro caso de interesse e o de campos co-vetoriais, tambem denominados 1-formas:

M p 7 p = k h (p) dxk |h (p) Tp M .
Denotaremos por X (M ) T (0, 1) (M ) a colecao de todos os campos co-vetoriais, ou 1-formas, infinitamente diferenci
aveis de M .
Campos vetoriais e sua
algebra de Lie
Se A X (M ) e f : M R e infinitamente diferenci
avel, denotamos por A(f ) a funcao de M em R definida por
M p 7 A(f )p :=
sendo que,
f
xk p
m
X
k=1

f
,
ak h (p)
xk p
(33.59)
m
denota a derivada parcial na variavel xk da funcao f h1
: h (U ) R R calculada em h (p):
xk p
f h1
xk
!
(h (p)) .
Se g : M R e uma funcao infinitamente diferenci

avel e A X (M ), podemos definir o produto gA X (M ) da
forma obvia: multiplicando cada componente de A em uma carta local por g:

m
X

k
1

:=
h (p)
(gA)p
g h a
.
xk h (p)
k=1
Como A(f ) : M R, acima definida, e tambem uma funcao infinitamente diferenci

avel, podemos proceder à
seguinte construcao. Seja B X (M ) um segundo campo vetorial infinitamente diferenci
avel, cuja expressao local na

m
X

. Podemos determinar B A(f ) pela mesma expressao acima, obtendo,
carta (U , h ) seja Bp =
bl h (p)

l
x h (p)
l=1
pela regra de Leibniz,
#
"

m X
m
X
2f
f

ak
k
l
+ a h (p)
h (p)
h (p) .
b h (p)
B A(f ) p =
xl
xk p
xk xl
l=1 k=1

atica
Vers
Captulo 33
1556/2111
Disso, obtemos facilmente que

"m
#

l

m
X
X

f
bl
a
k
k
.
A B(f ) p B A(f ) p =
a
b
h
(p)
xk
xk
xl p
l=1
k=1
Com essa expressao em mente, podemos definir para todos A, B X (M ) um campo vetorial denotado por [A, B] cuja
expressao local e
"m
#

l

m
X
X

bl
a
k
k
.
[A, B]p :=
a
b
(33.60)
h (p)
xk
xk
xl p
l=1
k=1
Naturalmente, valerao [A, B] X (M ) e [A, B](f ) = A(B(f )) B(A(f )) para toda f infinitamente diferenci
avel. O
smbolo [, ] denota, portanto, uma funcao bin
aria em X (M ), ou seja, uma funcao de X (M ) X (M ) em X (M ).
A seguinte proposicao e relevante no presente contexto:
Proposi
c
ao 33.7 Para quaisquer campos vetoriais A, B, C X (M ) e g : M R, infinitamente diferenci
avel, valem
1. Bi-linearidade: Para quaisquer , , R, constantes, valem [A+B, C] = [A, C]+[B, C] e [A, B+C] =
[A, B] + [A, C].
2. Anti-simetria: [A, B] = [B, A].
3. Identidade de Jacobi:

A, [B, C] + C, [A, B] + B, [C, A] = 0 .
(33.61)
Conclumos das propriedades 1, 2 e 3 que X (M ) e uma

algebra de Lie real com o produto [, ].
4. Regra de Leibniz: A(gB) = A(g)B + gAB e, portanto,
[A, gB] = A(g)B + g[A, B] .
(33.62)
2
A demonstracao e imediata pela definicao (33.60) e deixada como exerccio.

Curva integral de um campo vetorial
Seja A um campo vetorial diferenci

avel definido em M e seja p0 M . Consideremos a quest
ao de determinar uma
curva diferenci
avel c em M satisfazendo o problema de valor inicial
dc (t) = Ac(t) ,
dt
(33.63)
c(0) = p0 ,
para algum intervalo I R contendo 0. Uma tal curva e dita ser uma curva integral do campo A no ponto p0 .
1
m
Em uma carta local (U , h )Pcom p0 U , com
a qual tenhamos h (c(t)) = (x (t), . . . , x (t)), para todo t I I,
m
1
m
k

h (p0 ) = (x0 , . . . , x0 ) e Aq = k=1 a h (q) xk q para todo q U , (33.63) equivale em U a
dxk
(t)
= ak x1 (t), . . . , xm (t) , k = 1, . . . , m ,
dt
(33.64)

x1 (0), . . . , xm (0) = x1 , . . . , xm ,
0
que consiste em um sistema de m equacoes diferenciais ordinarias de primeira ordem sujeitas à condicao inicial disposta
na u
ltima linha. A suposicao de A ser um campo diferenci
avel implica que as funcoes ak sao diferenci
aveis e, portanto,
o sistema acima satisfaz as condicoes do Teorema de Picard-Lindelof (Teorema 11.2, p
agina 503. Vide tambem sua
generalizacao para espacos de Banach, Teorema 26.4, p
agina 1274), que fornece condicoes suficientes para garantir
existencia e unicidade de solucoes para t restrito a um intervalo pequeno o suficiente, intervalo esse que pode depender
de p0 e da carta U adotada. Temos portanto:

atica
Vers
Captulo 33
1557/2111
Proposi
c
ao 33.8 Em uma variedade diferenci
avel M todo campo vetorial diferenci
avel define, para cada p0 M , uma
curva integral c : I M u
nica para algum I R aberto com 0 I e c(0) = p0 .
2
Curva integral completa e fluxo induzido por um campo vetorial
Uma curva integral c : I M : de um campo vetorial diferenci

avel A e dita ser uma curva integral completa se
puder ser definida para todo t R, ou seja, se I = R. O conjunto de todas as curvas integrais completas de um campo
diferenci
avel A e dito ser uma congruencia de A.
Sejam M uma variedade diferenci
avel, A um campo vetorial diferenci
avel em M . Suponhamos que M e A tem a
propriedade de que toda curva integral de A e completa. Designemos por R t 7 cA (p, t) M a curva integral de A
que passa por p M em t = 0, i.e., cA (p, 0) = p. Para todos t1 , t2 R e todo p M vale

(33.65)
cA cA (p, t2 ), t1 = cA (p, t1 + t2 ) .

Para estabelecer isso, seja t2 fixo. Note-se que cA cA (p, t2 ), 0 = cA (p, t2 ) e, portanto, ambos os lados de (33.65)
coincidem ao menos emt1 = 0. Suponhamos agora que haja um valor t1 R tal que cA cA (p, t2 ), t1 = cA (p, t1 + t2)
mas cA cA (p, t2 ), t1 +s 6= cA (p, t1 +s+t2 ) para todo s (0, ) para algum > 0. Defina-se da (s) cA cA (p, t2 ), t1 +s
d
d
da (s) = Ada (s) e ds
db (s) = Adb (s) e tambem valera da (0) =
e db (s) cA (p, t1 + s + t2 ), s [0, ). Teremos, ds
cA cA (p, t2 ), t1 = cA (p, t1 + t2 ) = db (0). Assim, da e db satisfazem a mesma equacao diferencial e a mesma condicao
inicial em s = 0. Se escolhermos pequeno o suficiente, podemos evocar a unicidade da solucao, a qual nos garantira
que da (s) = db (s) para todo s (0, ), uma contradicao com a hipotese que cA cA (p, t2 ), t1 + s 6= cA (p, t1 + s + t2 ),
estabelecendo, portanto, que (33.65) e valida para todos t1 , t2 R e todo p M .
A aplicacao A
e dita ser o fluxo induzido por A em M .
t t : M M dada para cada t R por t (p) := cA (p, t)
de se notar que t1 +t2 = t2 +t1 , que 0 e a identidade e que t1 t2 = t1 +t2 para quaisquer t1 , t2 R. Essa u
ltima
E
identidade decorre de (33.65). Essa u
ltima expressao implica que t t = id para todo t R. Portanto, estabelecemos
que t e inversvel para todo t R com (t )1 = t . Os fatos acima dizem-nos tambem que o fluxo induzido por A e
uma acao do grupo aditivo dos reais (R, +) em M (para a definicao da nocao de ac
ao de um grupo, vide Secao 2.1.9.1,
p
agina 103). Alguns autores denotam o fluxo t induzido por A na forma
A
t (p) t (p) exp(tA)(p) ,
A
A
A
A
sendo essa notacao exponencial naturalmente sugerida pelas propriedades A
t1 t2 = t1 +t2 = t2 +t1 e 0 = id.
Em virtude dessa notacao, o fluxo A

e tambem denominado mapa exponencial induzido pelo campo
t induzido por A
vetorial A.
Observamos, por fim, que o fluxo t : M M pode ser definido mesmo que nem toda curva integral de A seja
completa. Nesse caso, t (p) sera definido apenas para t em um intervalo Ip 0, eventualmente dependente de p. As
ao validas, as primeiras apenas para t1 e t2 pequenos o
propriedades t1 t2 (p) = t1 +t2 (p) e 0 (p) = p continuar
suficiente. Neste caso, o fluxo induzido por A e dito ser uma acao local do grupo aditivo dos reais (R, +) (ou seja, uma
acao apenas em uma vizinhanca da identidade).
33.3.1
A Derivada de Lie
Esta secao e dedicada `

a nocao de derivada de Lie26 em relacao a um campo vetorial diferenci
avel, uma nocao que encontra
diversos usos na Geometria Riemanniana, na Teoria da Relatividade Geral e na Mecanica Classica, particularmente no
estudo de transformacoes de simetria (especialmente aquelas associadas a difeomorfismos gerados por campos vetoriais).
Como vimos acima, se A e um campo vetorial diferenci
avel, ent
ao para cada t, o mapa exponencial A
t exp(tA)
A
define uma aplicacao diferenci
avel de M em M . Seja dt )p : Tp M TA
M
seu
pushforward
(aplica
c
a
o
diferencial)
t (p)
A
e seja dt )A (p) : TA (p) M Tp M seu pullback.

t
Se A e um campo vetorial diferenci

avel, a derivada de Lie em relacao a A de um campo escalar, vetorial, ou tensorial,
consiste grosso modo na taxa de variacao desse campo ao longo do fluxo exp(tA)(p), calculada no ponto inicial p desse
26 Marius
Sophus Lie (18421899).

atica
Captulo 33
Vers
1558/2111
fluxo. Em grau crescente de dificuldade, vamos mostrar como essa ideia e implementada, comecando com campos
escalares e chegando ao caso geral de campos tensoriais.
A derivada de Lie para campos escalares
Seja p M , seja I um intervalo de valores de t em R onde

A
cao
t (p) esteja definido e seja f : M R uma fun

A
diferenci
avel. Para cada p M a funcao I t 7 f t (p) R descreve a evolucao de f ao longo da curva integral
gerada por
A e que passa por p em t = 0. Definimos a derivada de Lie de f em p como sendo a taxa de variacao de
f A
t (p) em t = 0, ou seja,

d

f A
(p)
.
LA f (p) :=
t

dt
t=0
Essa derivada pode ser determinada com auxlio de uma carta local (U, h) com p U (restringindo, se necessario, o
1
m
intervalo I, de modo que A
t (p) U para todo t I). Escrevamos h(p) = (x , . . . , x ) e seja

Ap = aj (x1 , . . . , xm )
xj h(p)

1
m
a expressao local de A na carta U . Seja tambem h A
cao do fluxo A
t (p) = (yt , . . . , yt ). Teremos, pela defini
t ,

dytj
com
y01 , . . . , y0m = x1 , . . . , xm
= aj yt1 , . . . , ytm , j {1, . . . , m},
dt

1 1
(vide (33.64)). Assim, f A
yt , . . . , ytm e, portanto, pela regra da cadeia, temos para t fixo
t (p) = f h

j
f h1
d
1 1
m
1
m dyt
=
f h
yt , . . . , yt
y
,
.
.
.
,
y
t
t
dt
xj
dt
= a
Portanto, conclumos que
yt1 ,
...,
ytm

LA f (p) = A(f )p
f h1
xj
yt1 , . . . , ytm
(33.59)
A(f )A
.
t (p)
(33.66)
imediado por essa relacao que, para campos duas vezes diferenci
para todo p M . E
aveis A e B, tem-se
LA LB f LB LA f = L[A, B] f .
(33.67)
relacao essa que veremos ter validade muito mais geral. Facamos, por fim, a simples porem u
til observacao que se f e g
sao funcoes diferenci
aveis de M em R, ent
ao vale
LA (f g) = f (LA g) + (LA f )g ,
(33.68)
como se ve facilmente com uso da regra de Leibniz.

A derivada de Lie para campos vetoriais
A
Seja p M , seja I um intervalo
de valores
de t em R onde t (p) esteja definido e seja B um campo vetorial

A
A
diferenci
avel. O mapa I t 7 dt A B t (p) Tp M define uma aplicacao de I sobre o espaco tangente Tp M .
t (p)
Para B, um campo vetorial diferenci

avel, a expressao

d A

LA B (p) :=
(p)
dt A B A
t

dt
t (p)
t=0
(33.69)
define a chamada derivada de Lie de B em relacao ao campo A.
As ideias por tras dessa definicao sao as seguintes. Para t variando, a expressao A
cao do
t (p) representa a evolu
ponto p ao longo de uma curva integral definida pelo campo vetorial A. Assim, para t variando, B A
(p)
representa
t

atica
Vers
Captulo 33
1559/2111
a evolucao do campo B ao longo dessa curva integral. Gostaramos de calcular a taxa de variacao no tempo dessa
evolucao de B ao longo da curva integral do campo A, mais
sobre
o ponto p (que corresponde a t = 0).
precisamente,

1
A
Ingenuamente, poderamos para isso tomar o limite limt0 t B t (p) B p . Essa expressao, porem, n
ao faz sentido,

A
pois B t (p) e B p vivem e espacos vetoriais diferentes: o primeiro em TA
M e o segundo em Tp M e, portanto,
t (p)

A
, o qual leva
a diferenca B t (p) B p sequer definida est
a. Para corrigir isso, usamos o pushforward dA
t
A
(p)

t
A
A
= Tp M . Com isso, a expressao 1
B
(p)
B(p)
passa
d
vetores de TA
M
em
vetores
de
T
t
t
A
A
t
t (p)
A
t t
t (p)
a fazer sentido, pois e a diferenca de dois vetores de Tp M . No limite t 0 isso fornece a taxa de variacao procurada e
coincide com a derivada do lado direito de (33.69). Essas sao as ideias expressas na definicao (33.69).
Antes de generalizarmos a definicao da derivada de Lie sobre campos tensoriais gerais apresentemos os seguintes
resultados relevantes:
Proposi
c
ao 33.9 Para campos vetoriais diferenci
aveis A e B, vale
LA B = [A, B] .
(33.70)
Como conseq
uencia disso, valem tambem os seguintes resultados:
1. Para campos vetoriais diferenci
aveis A e B, tem-se
LA B = LB A .
(33.71)
L1 A1 +2 A2 B = 1 LA1 B + 2 LA2 B
(33.72)
LA (1 B1 + 2 B2 ) = 1 LA B1 + 2 LA B2 ,
(33.73)
2. LA B e linear em A e B:
e
com 1 , 2 , 1 , 2 constantes e A, A1 , A2 , B, B1 , B2 campos diferenci
aveis.
3. Para A e B campos diferenci
aveis e para uma func
ao g : M R diferenci
avel, tem-se
LA (gB) = A(g)B + g[A, B] = A(g)B + gLA B =
LA g)B + gLA B
(33.74)
e
L(gA) B = B(g)A + g[A, B] = B(g)A + gLA B = LB g)A + gLA B .
(33.75)
L[A, B] = LA LB LB LA
(33.76)
4. Valem
e

LA [B, C] = LA B, C + B, LA C ,
para A, B e C duas vezes diferenci

aveis.
(33.77)
2
Prova. A prova da igualdade (33.70) e um pouco tecnica e apresentamo-lo em separado no Apendice 33.A, p
agina 1580. A
relacao (33.71) e evidente por (33.70). As relacoes (33.72) e (33.73) seguem trivialmente de (33.70). As relacoes (33.74) e
(33.75) seguem imediatamente de (33.70) e de (33.62),usando tamb
em (33.66).
A eq. (33.75)
tambem pode
ser
obtida de

(33.74) usando (33.71). Por (33.70), valem L[A, B] C = [A, B], C , LA LB C = A, [B, C] eLB LA C = B, [A, C] .
Da identidade de Jacobi (33.61) e da antissimetria do comutador, segue L[A, B] C = LA LB C LB LA C (verifique!),
que e a relacao (33.76). A relacao (33.77) e tambem imediata por (33.70) e pela identidade de Jacobi (33.61). A eq.
(33.77) tambem segue de (33.76) com uso de (33.71).
As relacoes (33.70) e (33.60) fornecem a expressao local de LA B:

l
l

a
b
k
k

b
.
h(p)
LA Bp = a
xk
xk
xl h(p)
(33.78)

atica
Vemos, em particular, que

LA
expressao essa que usaremos mais adiante.
Vers
Captulo 33
1560/2111

j

a

=
h(p)
xi h(p)
xi
xj h(p)
(33.79)
A derivada de Lie para campos co-vetoriais
Nosso primeiro passo e estender a definicao de derivada de Lie a campos de co-vetores. Como antes A e um campo
vetorial em A e A
t o fluxo que o mesmo gera.
A
Seja p M , seja I um intervalo
de

valores de t em R onde t (p) esteja definido e seja um campo covetorial
diferenci
avel. O mapa I t 7 dA
A
Tp M define uma aplicacao de I sobre o espaco co-tangente Tp M .
t
t (p)
A
A expressao
t (p)

d A

dt A A
LA (p) :=
(p)

t
dt
t (p)
t=0
(33.80)
define a chamada derivada de Lie de em relacao ao campo A. A expressao local de LA em uma carta local de
coordenadas h(p) = (x1 , . . . , xm ) e

aj
l
dxl |p .
(33.81)
h(p)
+
h(p)
aj
LA p =
j
xj
xl
A demonstracao encontra-se no Apendice 33.A, p
agina 1580.
Vemos, em particular, que
LA dxi |p =
ai
xj

h(p) dxj |p ,
(33.82)
expressao essa que usaremos mais adiante.

evidente por (33.81) que LA e linear em A e em . Tambem segue facilmente de (33.81) (verifique!) que para
E
uma funcao diferenci
avel g : M R, tem-se

LA (g) = A(g) + gLA
e
L(gA) = gLA + , A dg ,
(33.83)
sendo dgp : Tp R Tp M o pullback de g : M R, expresso em uma carta local como dg =
g
l
xl dx .
Vide (33.54).
E. 33.16 Exerccio. Um exerccio simples, porem util ao estudante, e mostrar que vale
LA LB LB LA = L[A, B]
(33.84)
para campos duas vezes diferenciaveis A, B e . A sugestao e calcular LA LB e LB LB empregando a expressao local
(33.81) e, em seguida, calcular L[A, B] , usando tambem (33.81) e a expressao local (33.60) para o comutador de dois campos.
Apos alguns cancelamentos obtem-se (33.84).
6
O exerccio que segue mostra uma relacao entre a derivada de Lie de campos vetoriais e a derivada de Lie de campos
co-vetoriais.
E. 33.17 Exerccio. Mostre que

, LA B = LA , B + A , B .
(33.85)
para campos vetoriais diferenciaveis A e B e para um campo co-vetorial diferenciavel . Sugestao: use as expressoes locais
para LA B e LA .

Como A h, Bi = LA , B (vide (33.66)), a identidade (33.85) esta dizendo-nos que

(33.86)
LA , B = LA , B + , LA B ,
uma especie de regra Leibniz para a derivada de Lie.
Observacao: A express
ao (33.86) (e, portanto, tambem a

express
ao (33.85)) pode ser alternativamente obtida diretamente
da
definicao de LA , B como derivada de relacao a t de , B A , em t = 0, usando-se ainda a expressao local de , B e
t
a regra de Leibniz usual.
6

atica
Vers
Captulo 33
1561/2111
A derivada de Lie para campos tensoriais

Seja T um campo tensorial de tipo (a, b), mais especificamente, com Tp aR Tp M bR Tp M . Seguindo as
mesmas ideias de acima, definimos a derivada de Lie LA T por

d
A
A
A
A
(LA T )p :=
.
(33.87)

dt A (p) R R dt A (p) R dt A (p) R R dt A (p) TA
(p)
t
t
t
t
t

dt |
|
{z
}
{z
}

a vezes
b vezes
t=0

claro por essa definicao que (LA T )p e novamente um elemento de a Tp M b T M . Para outros tensores de tipo
E
R
R p

A
(a, b) a generalizacao da definicao e
obvia: basta permutar adequadamente os fatores dA
t A (p) e dt A (p) .
t
Em uma carta (U, h), com p U , obtemos
(LA T )p = LA
T i1 iaia+1 ia+b
" a
X
h(p)
T i1 iaia+1 ia+b
k=1
a+b
X
l=a+1
h(p)

ia+b
ia+1
R R dxh(p)
R R
R dxh(p)
xi1 h(p)
xia h(p)

R R
xi1 h(p)
LA
!

ia+b
ia+1
R R dxh(p)
R dxh(p)
R
R
xik h(p)
xia h(p)
#

ia+b
ia+1
il
R R
R dxh(p) R R LA dxh(p) R R dxh(p) . (33.88)
xi1 h(p)
xia h(p)
A demonstracao de (33.88) a partir da definicao (33.87) encontra-se no Apendice 33.B, p

agina 1581.
Com uso das formulas (33.79) e (33.82), a relacao (33.88) fornece uma expressao explcita para o c
alculo da derivada
de Lie de um tensor como T . Vide (33.92), adiante.
h
i
tambem claro pela propria expressao (33.88) que o termo entre colchetes ( as somatorias em k e l na segunda
E
e terceira linhas) representam
!

ia+b
ia+1
LA
R R
R dxh(p) R R dxh(p) .
xi1 h(p)
xia h(p)
Assim, (33.88) diz-nos que
LA
T i1 iaia+1 ia+b
= LA

h(p)
!

ia+b
ia+1
R R
R dxh(p) R R dxh(p)
xi1 h(p)
xia h(p)
T i1 iaia+1 ia+b
+ T i1 iaia+1 ia+b

h(p)

h(p) LA

ia+b
ia+1
R R dxh(p)
R R
R dxh(p)
xi1 h(p)
xia h(p)
!

ia+b
ia+1
R R
R dxh(p) R R dxh(p) . (33.89)
xi1 h(p)
xia h(p)
Com os ingredientes acima os exerccios a seguir devem ser relativamente faceis ao leitor.
E. 33.18 Exerccio. Sejam T1 e T2 dois campos tensoriais diferenciaveis, nao necessariamente de mesmo tipo. Mostre que

(33.90)
LA T1 R T2 = LA T1 R T2 + T1 R LA T2 .
Sugestao: Use (33.88) e/ou (33.89), assim como (33.68).

atica
Vers
Captulo 33
1562/2111
E. 33.19 Exerccio. Mostre, generalizando resultados anteriores, que para um campo tensorial duas vezes diferenciavel T
tem-se
LA LB T LB LA T = L[A, B] T ,
(33.91)
com A e B sendo campos vetoriais duas vezes diferenciaveis. Sugestao: Use (33.88) e (33.89) para determinar a diferenca
LA LB T LB LA T . Apos diversos cancelamentos, mostre que o que resta e a expressao (33.88), porem com LA substituda
l
por LA LB LB LA , agindo nos fatores T i1 iaia+1 ia+b , xik h(p) e dxih(p)
. Use entao o fato ja provado anteriormente que
LA LB LB LA = L[A, B] quando esses operadores agem em campos escalares, vetoriais ou co-vetoriais (relacoes (33.67),
(33.76) e (33.84)).
6
Exerccio.
nE. 33.20

R R
i
x
h(p)
LA T
i1 ia
Usando as f
ormulas (33.88), (33.79)
o e (33.82), mostre que as componentes de LA T na base

ia+b
ia+1
R dxh(p) R R dxh(p) sao

xia h(p)
ia+1 ia+b
= aj
a
a+b
X
X
aik
i1 ia
ajl
i1 jk ia
i1 ia
T
T
+
T
,
ia+1 ia+b
ia+1 ia+b
ia+1 jl ia+b
xj
xjk
xil
k=1
l=a+1
(33.92)
onde T i1 jk iaia+1 ia+b significa que o ndice ik e substitudo pelo ndice jk e analogamente para T i1 iaia+1 jl ia+b .
6
33.4
Exemplos de Variedades Topol

ogicas e Diferenci
aveis
A presente secao e dedicada `

a discuss
ao de exemplos de variedades topologicas e diferenci
aveis e suas construcoes. O
estudante e estimulado a procur
a-la sempre que possvel ou necessario.
Os exemplos mais b
asicos de variedades diferenci
aveis de dimensao n N sao os espacos Rn dotados da topologia
usual e das cartas locais de coordenadas definidas pela funcao identidade. Com essa estrutura temos a chamada variedade
Rn padr
ao. N
ao nos deteremos com mais elaboracoes sobre esses exemplos, mas recordamos o leitor dos seguintes fatos
j
a mencionados: R4 possui uma colecao n
ao-cont
avel de estruturas diferenciaveis distintas da estrutura diferenci
avel do
R4 padr
ao. Em todos os demais espacos Rn com n 6= 4 a estrutura diferenci
avel padr
ao e a u
nica existente.
33.4.1
Uma Variedade Topol

ogica Paracompacta n
ao Segundo-Cont
avel
Nesta secao apresentamos um exemplo ilustrativo de uma variedade topologica paracompacta que n
ao e segundo-cont
avel.
Exemplo 33.3 Seja W um subconjunto n
ao-cont
avel de R (por exemplo, W = R ou W = R \ Q, o conjunto dos
2
n
umeros irracionais).
Seja
X
=
R
R
.
Considere-se
em X a topologia gerada por todos os conjuntos da forma

A {y} := (x, y), com x A , com y W e A R , um aberto na topologia usual de R. Note-se que n
ao coincide
com a topologia induzida em X R2 pela topologia R2 , a topologia usual de R2 .
[

facil constatar que (X, ) possui uma colecao n
E
ao-cont
avel de componentes conexas, pois X =
R {y} ,
yW
uma uniao disjunta, sendo que cada conjunto R {y}, com y W, e um -aberto conexo. Vamos demonstrar as quatro
afirmacoes seguintes: a) o espaco topol
ogico (X, ) e localmente Euclidiano de dimensao 1; b) o espaco topologico (X, )
e Hausdorff; c) o espaco topol
ogico (X, ) n
ao e segundo-cont
avel e d) o espaco topologico (X, ) e paracompacto.
Isso estabelecera que o espaco topol
ogico (X, ) e uma variedade topologica paracompacta mas n
ao segundo-cont
avel.
Vamos às demonstracoes dessas quatro afirmativas.
claro que para qualquer r > 0 tem-se (x, y) (x r, x + r)
a. Seja (x, y) X, com x R e y W, arbitrarios. E
claro que V e uma vizinhanca -aberta de (x, y) X e facil constatar (faca-o!) que a aplicacao
{y} V . E

hV : V R dada por hV (a, y) = a, com x r < a < x + r, e um homeomorfismo de V em (x r, x + r),
que e um aberto em R. Isso estabelece que cada (x, y) X possui ao menos uma vizinhanca aberta localmente
Euclidiana de dimensao 1 e, portanto, que (X, ) e um espaco topologico localmente Euclidiano de dimensao 1.

atica
Vers
Captulo 33
1563/2111
b. Sejam p1 = (x1 , y1 ) e p2 = (x2 , y2 ) dois pontos distintos arbitrarios de X. Tome-se r > 0 e sejam A1 e A2 os
conjuntos -abertos dados por A1 = (x1 r, x1 + r) {y1 } e A2 = (x2 r, x2 + r) {y2 }. Sempre tem-se p1 A1
e p2 A2 . Alem disso, se y1 6= y2 tem-se que A1 A2 = . Se, porem, tivermos y1 = y2 valera tambem A1 A2 =
desde que escolhamos r < |x1 x2 |/2. Esses fatos reunidos estabelecem que o espaco topologico (X, ) tem a
propriedade de Hausdorff.
c. Seja B uma base em . Ent
ao, por definicao, todo elemento de pode ser escrito como uniao de elementos de B.
Assim, para cada y W existe uma colecao n

ao-vazia By de elementos de B cuja uniao e o -aberto (0, 1) {y}. E
evidente que todos os elementos de By sao da forma B {y} com B R (doutra forma sua uniao conteria algum
ponto (x, y ) com y 6= y). Isso
S implica que as colecoes By sao disjuntas para ys diferentes. Assim, B contem a
ao pode ser cont
avel. Isso
uniao disjunta n
ao-cont
avel yW By e, portanto, como nenhum By e vazio, a base B n
estabelece que espaco topol
ogico (X, ) n
ao e segundo-cont
avel.
d. A topologia e a topologia gerada por todos os conjuntos A {y}, com A R e y W. Pela Proposicao 27.3,
p
agina 1297, e f
acil ver que todo -aberto e a uniao de conjuntos da forma A {y}, com A R e y W.

Seja A = B , um recobrimento de X por -abertos. Como os elementos B de A sao -abertos, temos
pelo coment
ario acima que cada B e da forma
[

B =
A {y } ,
com A R e y W, sendo um conjunto de ndices (que pode depender de ). Assim,

A =
A {y } , .
Segue facilmente disso que a colecao de -abertos dada por
[
B := A {y } ,
e umS refinamento de A (justifique!). Como A e B recobrem X, para cada y W deve haver ao menos um
tal que y y. Assim, podemos escrever B como a uniao disjunta
B =
By ,
onde
yW
o
n

S
sendo y := y = y .
By :=
A {y}, y
Claro est
a que cada By deve recobrir o conjunto R {y} (doutra forma B n
ao poderia recobrir X). Logo, para
cada y W a colecao {A , y } e um recobrimento de R por R -abertos. Como (R, R ) e paracompacto (pelo
Corolario 32.10, p
agina 1500), cada {A , y } possui um refinamento localmente finito Cy . Defina-se
[

C :=
C {y}, C Cy .
yW
Agora, C e um refinamento localmente finito de B e de A, pois dado (x, y) X, existe, pela paracompacidade de
(R, R ), uma vizinhanca aberta V {y} de (x, y), com x V R , que intercepta apenas uma colecao finita
de elementos de Cy {y} C. Isso conclui a prova que (X, ) e um espaco topologico paracompacto, mas n
ao
segundo-cont
avel.
Esse exemplo ilustra bem o coment
ario de acima de que toda variedade topologica que e paracompacta mas n
ao e
segundo-cont
avel possui uma colecao n
ao-cont
avel de componentes conexas.

atica
Vers
Captulo 33
1564/2111
E. 33.21 Exerccio. Mostre que se tomarmos W como um conjunto enumeravel no Exemplo 33.3, entao (X, ) sera um
espaco topol
ogico segundo-contavel e, portanto, sera uma variedade topol
ogica segundo-contavel.
Pelo supracitado Teorema de Whitney, X pode neste caso ser mergulhado em R2 . Indiquemos como isso pode ser feito.
Seja W = {yn , n N} uma contagem de W. Defina-se f : X R2 por

1 + tanh(x)
f (x, yn ) := n +
, 0
2

S
para cada x R e n N. O conjunto imagem f (X) de X por f e n=1 (n 1, n) {0} R2 . Mostre que f e um
homeomorfismo em sua imagem e, portanto, que e um mergulho de X em R2 .
6
33.4.2
O Gr
afico de uma Fun
c
ao Real em Rn
No que segue, denotaremos por k km a norma Euclidiana usual em Rm .
Seja O Rn um aberto conexo (na topologia

usual de Rn ) e seja F : O R uma funcao contnua. O conjunto de

1
n
1
n
pontos S := x , . . . , x , F (x , . . . , x ) , com (x1 , . . . , xn ) O Rn+1 , que compoem o grafico de F , define
uma superfcie em Rn+1 . A topologia usual de Rn+1 induz uma topologia em S (a nocao de topologia induzida foi
introduzida na Secao 27.2.3, p
agina 1298). Essa topologia e a topologia induzida pela metrica de Rn+1 em S:
q

2

kx yk2n + F (x) F (y) .
d x, F (x) , y, F (y)
= (x, F (x)) (y, F (y)) n+1 =
Aqui, x (x1 , . . . , xn ) e y (y 1 , . . . , y n ) sao elementos de O.
facil provar,
A topologia em S e, portanto, uma topologia metrica. Assim, o espaco topologico (S, ) e Hausdorff. E
n
usando a continuidade de F que o conjunto cont
avel {(x, F (x)), x O Q } e -denso em S.
E. 33.22 Exerccio. Demonstre essa afirmacao!
Assim, (S, ) e um espaco topol

ogico separ
avel e, pela Proposicao 27.14, p
agina 1309, e tambem segundo-cont
avel.
n

Exemplos de abertos Euclidianos nessa topologia sao os conjuntos F(x0 , r) := x, F (x) , com x O tal que kx
o
x0 kn < r , sendo que x0 O e r e pequeno o suficiente para a bola aberta de raio r centrada em x0 esteja contida em O.
E. 33.23 Exerccio. Use a continuidade de F para mostrar que formalmente que F(x0 , r) e um aberto na topologia
induzida
pela topologia usual de Rn+1 em S. Mostre, para tal que para cada > 0 existe r > 0 tal que x, F (x) y, F (y) n+1 <
+ r sempre que kx ykn < r.
6

As cartas locais de coordenadas para tais abertos Euclidianos sao pares F(x0 , r), hx0 , r , onde as cartas de coor
um exerccio simples demonstrar que a
:= x. E
denadas sao as funcoes hx0 , r : F(x0 , r)

O dadas por hx0 , r x, F (x)
colecao de tais pares F(x0 , r), hx0 , r compoe um n-atlas em S. Note-se tambem que hx0 , r F(x0 , r) = B(x0 , r), a
bola aberta em Rn de raio r centrada em x0 .
Se U F(x0 , r) e V F(x0 , r ) sao duas cartas locais com U V 6= , e facil ver que as correspondentes funcoes de
transicao sao dadas por HU, V (x) = x, com x no seu correspondente domnio aberto.
O espaco topologico (S, ) e, portanto, localmente Euclidiano (e portanto, pela Proposicao 33.1, p
agina 1524) e
localmente compacto.
Por ser Hausdorff, segundo-cont
avel e localmente compacto, o espaco topologico (S, ) e tambem paracompacto (pelo
Teorema 32.26, p
agina 1499). Esse fato j
a poderia ter sido anunciado quando afirmamos que (S, ) e um espaco metrico,
devido ao Teorema de A. H. Stone, Teorema 32.27, da p
agina 1500.
Conclumos dessa discuss
ao que (S, ) e uma variedade topologica.
Nesse exemplo, podemos, em
verdade, considerar um atlas de apenas uma carta, a saber, a carta (S, h), onde
h : S O e dada por h x, F (x) = x.

atica
Vers
Captulo 33
1565/2111
E. 33.24 Exerccio. Mostre que esse atlas e compatvel com o anterior.
Como vimos acima, as funcoes de transicao sao HU, V (x) = x. Como essas funcoes sao infinitamente diferenci
aveis,
segue que (S, ) e tambem uma variedade infinitamente diferenci
avel. Note-se que isso independe do fato de F ser
diferenci
avel ou n
ao, pois apenas assumimos acima que F e contnua.
H
a nisso alguns pontos sutis que queremos apontar ao leitor. A variedade (S, ), acima descrita, e uma subvariedade
topol
ogica de Rn+1 e e ate mesmo uma variedade diferenci
avel (mesmo que F n
ao seja diferenci
avel!). No entanto, se F
n
ao for diferenci
avel, (S, ) n
ao sera uma subvariedade diferenci
avel de Rn+1 ! Na Secao 33.4.2.1, p
agina 1566 discutimos
um tal exemplo, o dos chamados cones n-dimensionais.
Assim, o cone bidimensional com vertice na origem,
o

n
p
K2 :=
x1 , x2 , (x1 )2 + (x2 )2 , (x1 , x2 ) R2 ,
por exemplo, e uma variedade diferenci

avel no sentido exposto acima, para O = R2 e F (x1 , x2 ) =
n
ao e uma subvariedade diferenci
avel de R3 , pois F n
ao e diferenci
avel em (0, 0).
p
(x1 )2 + (x2 )2 , mas
H
a nisso uma ideia geral. Se uma variedade topologica M for homeomorfa a algum Rn , podemos fazer dela uma
variedade diferenci
avel usando o homeomorfismo para induzir em M a estrutura diferenci
avel de Rn . Isso n
ao garante,
m
porem, que M seja difeomorfa a alguma subvariedade de algum R , com m > n. Foi
o
que
fizemos
acima
quando

tratamos da superfcie S: usamos o homeomorfismo h : S O dado por h x, F (x) = x para induzir a estrutura
diferenci
avel de Rn sobre S e isso pode ser feito mesmo quando F n
ao for diferenci
avel, mas nesse caso n
ao resulta uma
subvariedade diferenci
avel de Rn+1 .
O caso em que F
e diferenci
avel
No caso em que F e diferenci

avel, podemos estabelecer que seu grafico e uma subvariedade diferenci
avel da variedade
Rn+1 . Na Secao 33.4.2.1, p
agina 1566, mostramos em um exemplo o que pode ocorrer se F n
ao for diferenci
avel em um
ponto.
Proposi
c
ao 33.10 Seja O um aberto de Rn e seja F : O R diferenci
avel. Ent
ao, o gr
afico de F definido acima,
S := {(x, F ), x O} e uma subvariedade diferenci
avel da variedade Rn+1 padr
ao.
2
Prova. Tudo o que resta a fazer e provar que a inclusao i iS, Rn+1 e uma imersao.
Por simplicidade,
consideremos em S um atlas de apenas uma carta, a saber, (S, h), onde h : S O e dada por

h x, F (x) = x. Aqui x (x1 , . . . , xn ) O.
n+1
2
Para Rn+1 consideremos tambem um atlas de uma u
nica carta local de coordenadas, a saber,
onde
(R 1 , h ), n+1

n+1
n+1
n+1
2 1
n+1
h :R
R
e a carta de coordenadas trivial em R
, definida de sorte que h y , . . . , y
= y , ..., y
.

Seja p x, F (x) S, com o que temos h(p) = x = (x1 , . . . , xn ) O e h2 (p) = x1 , . . . , xn , F (x1 , . . . , xn ) . O
espaco tangente Tp S sera dado por
(
)

1
n
k
Tp S = v
+ + v
, v R, k {1, . . . , n} ,
x1 h(p)
xn h(p)
2
que claramente e isomorfo ao espaco vetorial Rn . Ja para um ponto q = (y 1 , . . . y n+1 ) Rn+1 o espaco tangente sera
)
(

n+1
l
n+1
1
+ + w
, w R, l {1, . . . , n + 1} .
Tq R
= w
y 1 q
y n+1 q

A inclusao i iS, Rn+1 e dada por i (x, F (x) = x,
F (x) , com x (x1 , . . . , xn ) O. Por defini

cao, i sera
diferenci
avel se i h1 : O Rn+1 o for. Mas i h1 (x1 , . . . , xn )) = x1 , . . . , xn , F (x1 , . . . , xn ) . Como F e
diferenci
avel, conclumos que a inclusao i tambem o e.
Temos que h2 i h1 : O Rn+1 e dada por

h2 i h1 x1 , . . . , xn = x1 , . . . , xn , F (x1 , . . . , xn ) =: y 1 (x1 , . . . , xn ), . . . , y n+1 (x1 , . . . , xn ) .

atica
Vers
Portanto, (di)p : Tp S Ti(p) Rn+1 e dada por

!

n
X

(33.47)

(di)p
vk
=
xk 2
k=1
h (p)
evidente por essa expressao que

Verifique! E
Pn
n
X
l=1
k=1
vk

+
vl
y l h2 (p)

k
h(p)
Captulo 33
n
X
k=1
1566/2111
!

F
k

.
v
xk h(p) y n+1 h2 (p)
Tp S e um elemento do n
ucleo de (di)p (o conjunto dos
vetores levados por (di)p no vetor nulo) se e somente se todos os v k s forem nulos. Logo, (di)p e injetora e, portanto
i iS, Rn+1 e uma imers
ao, concluindo que S e uma subvariedade diferenci
avel de Rm+1 .
33.4.2.1
Cones. E Um Estudo de Caso
Para n N o chamado q
n-cone, ou cone n-dimensional, denotado pelo smbolo Kn , e definido como o grafico da funcao
2
2
Rn (x1 , . . . , xn ) 7
x1 + + xn R, ou seja,

q
2
2
1
n
n
1
n
x , ..., x ,
K :=
Rn+1 .
x
+ + x
ogica e, no sentido explicitado acima, e uma

Como Kn e o grafico de uma funcao contnua, Kn e uma variedade
q topol
2
2
1
n :=
variedade diferenci
avel, e isso apesar de a funcao F (x , . . . , x )
ao ser diferenci
avel na origem!
x1 + + xn n
ao
e uma subvariedade diferenci
avel de Rn . Para tornar isso claro, estudemos o caso mais simples do cone
Porem, Kn n
unidimensional K1 .
Um estudo de caso. O cone unidimensional
Para uma melhor compreens

ao de certas nocoes, e por vezes interessante estudarmos alguns casos especiais que sirvam
de exemplo para certas instancias e de contra-exemplo para outras.
Considere-se N = R2 enquanto
diferenci
avel (com a topologia e estrutura diferenci
avel usuais) e seja
n variedade
o

M N definido por M K1 := x, |x| , x R . Claramente, trata-se do cone unidimensional, o grafico da funcao
F (x) = |x|. Podemos adotar em M a topologia induzida pela topologia usual de R2 e, como discutimos, M sera uma
variedade topologica, em verdade uma sub-variedade topologica de R2 com um atlas A{(M, h)} composto
u
nica
de uma

carta local de coordenadas com a carta local M e com a carta de coordenadas h : M R definida por h x, |x| = x.

Tem-se que h e um homeomorfismo e que h1 : R M e dada por h1 (x) = x, |x| , x R.
Como vimos, a funcao de transicao dessa carta nela mesma e a identidade e conclumos que M e, com essas estruturas, uma variedade diferenci
avel. A quest
ao que agora queremos colocar e: sera essa variedade diferenci
avel M uma
avel de N ? Como veremos isso n
ao e o caso e, nisso, o fato de a funcao |x| n
ao ser diferenci
avel
em x = 0 tem um papel decisivo. Precisamos ainda de alguma preparacao.
Uma funcao f : M R sera
diferenci
avel, segundo nossas definicoes previas, se f h1 : R R for diferenci
avel, ou

1
seja, se a funcao f h (x) := f x, |x| for diferenci
avel.

Seja I um intervalo aberto de R e seja I t 7 c(t) x(t), |x(t)| uma curva em M . Aqui I t 7 x(t) e
alguma funcao de R em R. Segundo nossas definicoes previas, c sera uma curva diferenci
avel se I h c for uma
funcao diferenci
avel em R. Agora, h c(t) = x(t). Assim, c e uma curva diferenci
avel se a funcao x(t) for uma funcao
diferenci
avel de I em R.
Assim, para p M e c uma curva diferenci
avel de passa por p em t = 0, temos
d(h c)
(t) = x(0)
.
dt

Ainda segundo nossas definicoes temos, para uma funcao diferenci
avel f : M R e para p = x(0), |x(0)| M ,

1

h
d
d

f h1 (x) h c
.
= x(0)
(f c)
=
(x)
Dp [c]p p f :=

dt
dt
x
t=0
t=0
x(0)

atica
Vers
Captulo 33
1567/2111

Assim, conclumos que para p = x, |x| temos
(
)

Tp M = v
, vR = v
, vR ,
x h(p)
x x
que, muito claramente, e um espaco vetorial isomorfo ao espaco vetorial unidimensional R. Ja o espaco tangente Tq N
com q N na forma q = (y 1 , y 2 ) R2 , temos
)
(

2
1
2
1
+v
, v , v R ,
Tq N = v
y 1 (y1 , y2 )
y 2 (y1 , y2 )
que, muito claramente, e um espaco vetorial isomorfo ao espaco vetorial bidimensional R2 .

importante chamar a atencao do leitor para o fato que Tp M existe mesmo no ponto p = (0, |0|) = (0, 0) M , onde
E
o cone M tem seu vertice. O leitor poder
a achar isso estranho, pois M forma um bico nesse ponto e |x| n
ao e uma
funcao diferenci
avel no mesmo. Porem, com as estruturas que empregamos M e uma variedade diferenci
avel e, portanto,
possui um espaco tangente em cada um de seus pontos. O que est
a ocultamente ocorrendo e que estamos identificando o
conjunto unidimensional M com R, que e uma variedade diferenci
avel e, com essa identificacao, estamos transplantando
toda a estrutura que faz de R uma variedade diferenci
avel para M .
Podemos agora abordar a quest
ao de se M , com a estrutura diferenci
avel de acima, e uma subvariedade diferenci
avel
de N = R2 . Para responder a essa quest
ao precisamos saber se a inclusao iM, N de M em N e uma imersao e, para isso,
avel e 2o se a aplicacao diferencial (diM, N )p : Tp M TiM, N (p) N e
precisamos saber 1o se a inclusao iM, N e diferenci
injetora. Se as respostas a ambas as quest
oes fossem afirmativas, ent
ao M seria uma subvariedade diferenci
avel de N .
1
2
Para responder à 1a quest
ao,lembremos que iM, N e diferenci
avel
se iM, N h : R R o for. Agora, a inclusao
1
(x) = x, |x| . Porem, essa n
ao
e e uma funcao
iM, N e dada por iM, N (x, |x|) = x, |x| . Logo, iM, N h
diferenci
avel de R em R2 no ponto x = 0 (pois, como e bem sabido, a funcao |x| n
ao e diferenci
avel nesse ponto).
Assim, M n
ao
e uma subvariedade diferenci
avel de N .
Note-se que (diM, N )p : Tp M TiM, N (p) N est

a definida para p 6= (0, 0) e tem-se, para v R,
v
se x < 0 ,

1
2

y (x, |x|)
y (x, |x|) ,

=
(diM, N )(x, |x|) v

x x

v 1
+ v y 2
, se x > 0 .
y
(x, |x|)
(x, |x|)
com y , y ) sendo as coordenadas Cartesianas usuais em R .
E. 33.25 Exerccio. Verifique! Constate tambem que (diM, N )(x, |x|) e injetora para x 6= 0.
33.4.3
Superfcies Regulares em Rn
Uma classe importante de variedades diferenci

aveis e composta pelas chamadas superfcies regulares em um espaco
Rn . Trata-se do exemplo-gerador, historicamente falando, da nocao de variedade e muitas variedades diferenci
aveis
encontradas em aplicacoes sao desse tipo.
` p
A
agina 1553, apresentamos a seguinte definicao: um conjunto S Rn e dito ser uma superfcie regular de dimens
ao
m (com m n) se for uma subvariedade de dimensao m de Rn (com Rn sendo aqui a variedade diferenci
avel Rn padr
ao).
Muitas vezes uma superfcie S e dada concretamente, por exemplo, como superfcie de nvel de uma funcao F : Rn R
(i.e., como o conjunto dos pontos satisfazendo F (x1 , . . . , xn ) = c para algum c constante) e, por isso, e u
til termos
condicoes concretas para determinar se S e uma superfcie regular no sentido acima. Para isso, presta-se a definicao
alternativa de superfcie regular que introduzimos logo adiante.
Superfcies regulares de dimens
ao m em Rm . Defini
c
ao
No que segue seguiremos proximamente as definicoes e as estrategias de demonstracao delineadas em [176] e [177],
adicionando alguns esclarecimentos.

atica
Captulo 33
Vers
1568/2111
Defini
c
ao. Sejam m, n N com m n. Seja Sm Rn e consideremos em Sm a topologia I induzida pela topologia
usual de Rn . Recorde-se que, com essa topologia, Sm sera Hausdorff e segundo-cont
avel, pois Rn o e com a topologia
n
usual. Sm e dito ser uma superfcie regular de dimensao m em R se possuir um recobrimento por I -abertos V tal que,
para cada V V podemos associar:
1. Um conjunto U Rm , aberto na topologia usual de Rm ;
2. Uma aplicacao V : U V que satisfaca:
(a) : U V e um homeomorfismo;

(b) e diferenci
avel, i.e., para x (x1 , . . . , xm ) U as funcoes 1 (x1 , . . . , xm ), . . . , n (x1 , . . . , xm )
(x) V sao diferenci
aveis;
1
1
(c) A derivada d : R
R , dada por dx =
x1
..
.
n
x1
(x)
..
(x)
xm
(x)
..
.
n
xm
(x)
, e injetora em todos os pontos de U .
A funcao : U V e dita ser uma parametrizacao de V pelos pontos x = (x1 , . . . , xm ) de U .
No que segue vamos demonstrar que toda superfcie regular segundo essa definicao e uma subvariedade diferenci
avel
de dimensao m de Rn .
Antes de prosseguirmos, facamos algumas observacoes relevantes. Seja A : Rm Rn uma matriz n m, com m n
(como d) que seja injetiva (como d). Ent
ao, afirmamos que A possui exatamente m linhas linearmente independentes.
O argumento e o seguinte: cada linha de A pode ser vista como um vetor de Rm . A matriz A n
ao pode possuir mais
que m linhas linearmente independentes, pois em Rm um conjunto de vetores linearmente independentes n
ao pode ter
mais que m elementos. Se em A h
a p linhas linearmente independentes, elas geram um subespaco linear p-dimensional
em Rm e, portanto, se p < m, poderamos encontrar em Rm ao menos um vetor n
ao-nulo b ortogonal a essas p linhas.
Mas pela regra de produto de matrizes, valeria ent
ao Ab = 0, contrariando o fato de A ser injetora. Portanto devemos
ter p = m, completando o argumento.
Conclumos das hip
oteses acima que em cada ponto x U a matriz dx possui exatamente m linhas linearmente
independentes. Vamos supor, por simplicidade, que em um dado ponto y U as mprimeiras linhas sejam
linearmente
1
1
independentes (o caso geral sera discutido mais adiante). Teremos, portanto, det
x1
..
.
m
x1
(y)
..
(x)
xm
..
.
m
xm
(y)
(y)
6= 0. Como o
lado esquerdo e uma funcao contnua de y, conclumos que deve haver uma vizinhanca aberta U U de y onde esse
determinante tambem n
ao se anula e, portanto, onde as m primeiras linhas de d sao linearmente independentes. Em
verdade esse aberto U deve coincidir com U , como mostra o seguinte argumento. Se U for um subconjunto proprio de
umero
U , ent
ao o determinante acima deve anular-se na parte da fronteira de U , contida em U : U U . Como o n
de linhas linearmente independentes de d e sempre igual a m, deve haver, para um ponto x0 de U U , um outro
conjunto de m linhas de d que sejam linearmente independentes e, portanto, cujo determinante seja n
ao-nulo. Mas ai,
haveria um aberto em torno desse ponto x0 onde esse segundo determinante tambem e n
ao-nulo. Esse aberto tem uma
interseccao n
ao-vazia com U e nessa interseccao haveria dois conjuntos distintos de m linhas linearmente independentes,
o que e um absurdo. Assim, podemos assumir que U = U .
Vamos provisoriamente nos restringir ao caso em que as m primeiras linhas de d sao linearmente independentes e vamos definir uma extensao de : U V Rn , ao conjunto U Rnm , extensao essa que denotamos
1
m
por : (U Rnm ) Rn , da seguinte
forma. Para x (x , . . . , x ) U , escrevamos, como acima, (x) =
1 1
m
n 1
m
(x , . . . , x ), . . . , (x , . . . , x ) V . Definimos, ent
ao,
(x1 , . . . , xm , xm+1 , . . . , xn ) =
:=

1 (x1 , . . . , xn ), . . . , n (x1 , . . . , xn )

1 (x1 , . . . , xm ), . . . , m (x1 , . . . , xm ), m+1 (x1 , . . . , xm ) + xm+1 , . . . , n (x1 , . . . , xm ) + xn . (33.93)
Como se ve, as coordenadas xm+1 , . . . , xn sao sucessivamente adicionadas às funcoes m , . . . , n .

atica
Captulo 33
Vers
Claro est
a que e uma extensao de , pois coincide com quando xm+1 =
e diferenci
avel e e f
acil constatar que sua derivada d : Rn Rn e
1
1
0
x1
xm
1
1
x1
.
xn
..
..
..
..
.
.
.
m
m
0
.
1
x
xm
.
..
..
.. =
d =
.
m+1
m+1
x1
xm
.
..
..
..
.
.
x1
xn
n
n
0
x1
xm
1569/2111
obvio tambem que

= xn = 0. E
..
..
..
.
(33.94)
A descricao e clara: as primeiras m colunas compoem a matriz d. No canto superior à direita temos a matriz m n
composta por zeros e no canto inferior a direita temos a matriz identidade (n m) (n m).
Afirmamos que d e uma matriz inversvel em todo o conjunto U Rnm , o domnio de definicao de . De fato,
por (33.94) e pela Proposicao 9.3, p
agina 354, temos
x1
.

.
det d = det
.
x1
sempre que (x1 , . . . , xm ) U e para quaisquer xm+1 , . . . , xn .
..
1
xm
..
6 0
.
=
xm
Antes de extrarmos as importantes conseq

uencias dessa fato, perguntamos como procederamos se as linhas linearmente independentes de d que escolhemos n
ao fossem as m primeiras. O que fazemos nesse caso e analogo: as
coordenadas xm+1 , . . . , xn sao sucessivamente adicionadas às funcoes j correspondentes a linhas linearmente dependentes de d. O resultado e uma matriz d que difere da de (33.94) pelo fato que os 1s aparecem apenas nas linhas
correspondente a linhas linearmente dependentes de d. Apos uma permutacao de linhas a matriz d pode ser levada à
forma (33.94), sendo que no bloco m m superior à esquerda aparecer
ao as m linhas linearmente independentes de d.
Como uma permutacao de linhas n
ao altera o determinante de uma matriz conclumos que, tambem nesse caso, d sera
n
ao-singular em todo U Rnm .
Seja x U e seja p = (u) Sm . Como d e n

ao-singular em todo U Rnm existe, pelo Teorema da Funcao Inversa,
Teorema 26.9, p
agina 1285, uma vizinhanca aberta Wp Rn de p onde possui inversa e essa inversa e igualmente
diferenci
avel. Denotamos essa inversa por 1 : Wp U Rnm . Note-se que a restricao de 1 a Wp Sm coincide
com a aplicacao inversa de , tambem quando restrita a Wp Sm .
Como se ve, a colecao W := {Wp Sm , p Sm } compoe um recobrimento de Sm . Esse recobrimento e um subrecobrimento de V, dado que, por construcao, cada conjunto Wp Sm est
a contido em algum V V. Se W W e
W V V, denotemos por W a restricao de V a W .

1
Claro est
a que A := (W, W
), W W e um atlas para Sm . Desejamos agora mostrar que, com esse atlas, Sm e
uma variedade diferenci
avel.
Seja q Sm e sejam W1 e W2 dois elementos de W com interseccao W := W1 W2 n
ao-vazia e que contenham q.
1
Sejam 1 : U1 W1 e 2 : U2 W2 as respectivas parametrizacoes. Seja U1 := U1 1

1 (W ) e U2 := U2 2 (W ),
m
nm
nm
dois subconjuntos abertos de R . Sejam 1 : U1 R
e 2 : U 2 R
, tal como definidas acima.
1 :=
Considere-se a funcao de transicao H := 1

1
1 2 : U2 U1 e sua inversa H
2 1 : U1 U2 . Vamos
demonstrar que ambas sao diferenci
aveies (e, portanto, que sao difeomorfismos).
1
1
1
1
Para H, notamos que H := 1

e
1 2 = H := 1 2 , pois 2 (U2 ) W e, em W , 1 e 1 coincidem. Como 1
diferenci
avel em W e 2 e diferenci
avel em U2 , conclumos que H : U2 U1 e diferenci
avel, por ser a composicao de duas
avel.
aplicacoes diferenci
aveis (regra da cadeia). De forma totalmente analoga prova-se que H 1 : U1 U2 e diferenci

atica
Captulo 33
Vers
1570/2111
n
o

Todos esses fatos dizem-nos que Sm e uma variedade diferenci
avel com um atlas W, 1
W , W W . Se supormos
as aplicacoes como infinitamente diferenci
aveis, ent
ao a variedade sera infinitamente diferenci
avel.
Vamos agora mostrar que essa variedade diferenci
avel Sm e uma subvariedade diferenci
avel de Rn . Queremos,
avel Sm na variedade diferenci
avel
portanto, provar que a inclusao iSm , Rn e um mergulho suave da variedade diferenci
ogico e uma imersao.
Rn , ou seja, que iSm , Rn e um mergulho topol
1. iSm , Rn i : Sm Rn e um mergulho topologico. Isso e evidente, pois a imagem de i e Sm Rn e a topologia
definida em Sm e justamente a topologia induzida pela topologia de Rn sobre Sm .
ao. Seja p Sm e suponhamos que p pertenca à carta local W W. Seja
2. iSm , Rn i : Sm Rn e uma imers
1
1 1
(W ) Rm . Naturalmente, temos que
W a correspondente carta local de coordenadas. Seja U
i = e idRn i = i.
avel, por hipotese.

A aplicacao i e diferenci
avel, pois idRn i : U Rn e identica a : U Rn , que e diferenci
Ipso facto, dip = D(idRn i )p = dp : Rm Rn , que e injetora, pos hipotese. Como isso vale para cada p Sm
e Tp Sm Rm e Ti(p) Rn Rn , isso estabeleceu que i e uma imersao.
Assim, estabelecemos que uma superfcie regular de dimensao m de Rn , segundo a definicao da p

agina 1568, e uma
avel de dimensao m de Rn . N
ao e difcil constatar que a recproca e igualmente verdadeira: toda
avel de dimensao m de Rn e uma superfcie regular de dimensao m de Rn .
Alguns dos exemplos de variedades diferenci
aveis que discutiremos adiante, como o das esferas Sn (Secao 33.4.4,
n
p
agina 1570) e o dos toros T (Secao 33.4.5, p
agina 1572), sao exemplos de superfcies regulares.
E. 33.26 Exerccio. Mostre que o grafico de uma funcao F : O R, onde O e um aberto em Rn , exemplo de variedade
diferenciavel discutido na Secao 33.4.2, pagina 33.4.2, corresponde a uma superfcie regular de dimensao n em Rn+1 se e
somente se a funcao F for diferenciavel.
6
* ** *
Em parte por motivos historicos, o estudo de superfcies regulares e uma area propria da Geometria Diferencial. Para
excelentes textos sobre o tema, vide [176] ou [8].
33.4.4
As Esferas Sn
A esfera unit
aria Sn , n N0 , e o lugar geometrico de todos os pontos de Rn+1 situados a uma distancia Euclidiana igual
a 1 da origem:
p
n
o

Sn :=
y 1 , . . . , y n+1 Rn+1
(y 1 )2 + + (y n+1 )2 = 1 .
Note-se que S0 = {1, 1} R. Consideraremos em Sn a topologia relativa induzida pela metrica Euclidiana de Rn+1 .
Com isso, ja sabemos pelas Proposicoes 27.15, p
agina 1311, e 32.13, p
agina 1461, que Sn e Hausdorff e segundo-cont
avel
(vide tambem a discuss
ao sobre subvariedades topologicas à p
agina 1527). Vamos agora mostrar que Sn e localmente
Euclidiana.
Notemos tambem que pelo Teorema 32.14, p
agina 1480, Sn e um espaco topologico compacto na topologia relativa
n+1
induzida pela topologia metrica usual de R
, por ser fechado (Sn e o bordo da bola aberta em Rn+1 de raio 1 centrada
na origem) e limitado.
A esfera Sn possui um recobrimento formado pela colecao de hemisferios abertos
n
o

Hk, :=
y 1 , . . . , y n+1 Sn , y k > 0
=

y 1 , . . . , y n+1 Rn+1 ,
com
n+1
X
(y j )2
j=1
j6=k
v
u
n+1
u
X
k
u
j
2
(y )
.
< 1 e y = t1
j=1
j6=k
(33.95)

atica
Vers
Captulo 33
1571/2111
com k = 1, . . . , n + 1. A uni
ao desses 2(n + 1) conjuntos abertos e igual a Sn . Cada Hk, e homeomorfo a Dn (1, 0), o
disco aberto de raio 1 centrado na origem em Rn , com o homeomorfismo hk : Hk, Dn (1, 0) dado por

(33.96)
hk, (y 1 , . . . , y n+1 ) := y 1 , . . . , yck , . . . , y n+1 Dn (1, 0) ,
onde yck significa que a k-esima coordenada y k e omitida de (y 1 , . . . , y n+1 ). Claro e que
v
u
n
X

u
1
n
h1
(xj )2 , xk , . . . , xn Sn .
= x1 , . . . , xk1 , t1
k, x , . . . , x
(33.97)
j=1
Os conjuntos Hk, sao, portanto, localmente Euclidianos e recobrem Sn . Juntado os fatos supracitados, conclumos
que com a topologia relativa induzida pela topologia usual de Rn+1 , a esfera Sn e uma variedade topologica de dimensao
n e uma subvariedade topol
ogica de dimensao n de Rn+1 . Vide a discuss
ao sobre subvariedades topologicas à p
agina
1527.
sao sinais independentes, as funcoes de transicao k, ; l, associadas às cartas locais Hk, e Hl,
Se l < k e e
sao dadas por k, ; l, = hl, h1
k, , ou seja,

k, ; l, (x1 , . . . , xn ) = x1 , . . . , xl1 , xbl , xl+1 , . . . , xk1 , y k , xk , . . . , xn ,
v
u
n
X
u
k
com y = t1
(xj )2 , sendo suas inversas dadas por
j=1
1
n
1
(x , . . . , x ) =
k, ; l,

ck , xk , . . . , xn .
l , xl+1 , . . . , xk1 , x
x1 , . . . , xl1 , y
1
elementar constatar que as funcoes
Para k < l as expressoes sao analogas. E
ao contnuas e
e k, ; l,
k, ; l,
s
aveis em seus domnios. Isso provou que Ah = {(Hk, , hk, ), k = 1, . . . , n} e um atlas
avel (composto de 2n cartas locais de coordenadas). Com essa estrutura diferenci
avel Sn e uma
variedade diferenci
avel, denominada nesfera padr
ao. Como ja dissemos à p
agina 1531 e comentaremos logo abaixo, para
n 4 pode haver outras estruturas diferenci
aveis distintas em Sn .
E. 33.27 Exerccio. Usando (33.97), mostre que Sn e uma superfcie regular no sentido da definicao da pagina 1568. 6
Proje
co
es estereogr
aficas da esfera Sn
Descreveremos agora um outro atlas infinitamente diferenci

avel das esferas Sn , n 1, obtido com uso da chamada
projec
ao estereogr
afica (tambem denominada projec
ao planisferica). Sejam N e S Sn os pontos com coordenadas
N = (0, . . . , 0, 1) e S = (0, . . . , 0, 1), que denominaremos polo norte e polo sul, respectivamente. Sejam os
abertos A1 = Sn \ {N } e A2 = Sn \ {S}. Esses abertos podem ser mapeados bijetivamente em Rn da seguinte forma.
Para A1 , considera-se p A1 e a linha reta que passa pelos pontos N e p. Essa reta intercepta o plano horizontal
H = {(y 1 , . . . , y n , 0), y k R k = 1, . . . , n} em um ponto com coordenadas (X 1 , . . . , X n ). Defina-se h1 : A1 Rn
como sendo a aplicacao que associa p Sn a (X 1 , . . . , X n ). Se p (x1 , . . . , xn+1 ) Sn , e facil constatar que
h1 (x1 , . . . , xn+1 ) =
1
(x1 , . . . , xn ) (X 1 , . . . , X n ) .
1 xn+1
n
A aplicacao inversa h1
e dada por
1 : R A1

1
2X 1 , . . . , 2X n , (X 1 )2 + + (X n )2 1 .
h11 (X 1 , . . . , X n ) =
1
2
n
2
(X ) + + (X ) + 1
Para A2 temos uma construcao semelhante: considera-se p A2 e a linha reta que passa pelos pontos S e p. Essa reta
intercepta o plano horizontal H em um ponto com coordenadas (X 1 , . . . , X n ). Defina-se h2 : A2 Rn como sendo
a aplicacao que associa p Sn a (X 1 , . . . , X n ). Se p (x1 , . . . , xn+1 ) Sn , e facil constatar que
h2 (x1 , . . . , xn+1 ) =
1
(x1 , . . . , xn ) (X 1 , . . . , X n ) .
1 + xn+1

atica
Vers
Captulo 33
1572/2111
n
A aplicacao inversa h1
e dada por
2 : R A2

1 2

1
1
n
n 2
1
n
.
2X
,
.
.
.
,
2X
,
(X
)
+
+
(X
)
1
h1
(X
,
.
.
.
,
X
)
=
2
(X 1 )2 + + (X n )2 + 1
E. 33.28 Exerccio. Prove todas as afirmacoes feitas acima.
E. 33.29 Exerccio. Prove que as projecoes estereograficas, definidas acima, sao transformacoes conformes, i.e., preservam
angulos entre curvas que se cruzam.
6
um exerccio simples constatar que h1 e h2 sao homeomorfismos. E
tambem elementar verificar que a funcao de
E
1
n
n
transicao h2 h1 e definida em R \ {(0, . . . , 0)} com valores em R \ {(0, . . . , 0)} e e dada por

1
1
n
(X 1 , . . . , X n ) ,
h2 h1
(X
,
.
.
.
,
X
)
=
1
(X 1 )2 + + (X n )2
1
1
sendo que sua inversa, dada por h1 h1
ao infi2 , coincide com h2 h1 . Como facilmente se constata, h2 h1 ne sua inversa s
o
nitamente diferenci
aveis em seus domnios e, portanto, sao difeomorfismos classe C . Assim, Ae = (A1 , h1 ), (A2 , h2 )
e um atlas infinitamente diferenci
avel em Sn (composto de 2 cartas locais de coordenadas). Isso provou novamente que
n
S , n 1, sao variedades diferenci
aveis.
E. 33.30 Exerccio. Prove todas as afirmacoes feitas acima. Interprete geometricamente o que h2 h1
1 representa.
E. 33.31 Exerccio. Mostre que os atlas Ah e Ae definidos acima sao equivalentes, ou seja, que todas as cartas de um sao
compatveis com todas as cartas do outro.
6
A variedade diferenci
avel composta por Sn com a estrutura infinitamente diferenci
avel de Ah ou de Ae (ambas sao
equivalentes, pelo exerccio acima) e por vezes denominada nesfera padr
ao. As variedades compostas por Sn com outras
sabido que
estruturas infinitamente diferenci
aveis que n
ao a padr
ao (se as houver), sao denominadas esferas ex
oticas. E
1
2
3
5
6
7
as esferas S , S , S , S , S possuem apenas uma estrutura infinitamente diferenci
avel. A esfera S tem 28 estruturas
um problema ainda
aveis, S8 tem 2, S9 tem 8, S10 tem 6, S11 tem 992, S12 tem 1, S13 tem 3 etc. E
4
aberto determinar quantas estruturas infinitamente diferenci
aveis h
a em S .
33.4.5
Toros (e Algumas Generaliza

c
oes)
Para n N, o chamado n-toro, ou toro n-dimensional, denotado por Tn , e definido por Tn := S1 S1 S1

|
{z
}
n vezes
n
A topologia usualmente adotada em Tn e a topologia produto (n vezes) da topologia usual de S1 . Como S1 e uma
variedade diferenci
avel unidimensional, Tn e uma variedade topologica ndimensional. Vide discuss
ao sobre o produto
de variedades diferenci
aveis `
a p
agina 1532.
H
a uma outra construcao dos toros Tn que faz uso da construcao de espacos quocientes. Vamos ilustrar essa construcao
no caso dos toros T1 S1 e T2 e mostrar que a ideia pode ser generalizada para a construcao de outras variedades
especiais, como a tira de M
obius, a garrafa de Klein e o espaco projetivo bidimensional RP2 .
O toro T1 S1 como espa
co quociente
O variedade S1 , que coincide com o 1-toro, pode ser alternativamente construda com o seguinte procedimento.
Considere-se o espaco topol
ogico (I, ) formado pelo intervalo fechado I := [0, 2] de R com a topologia relativa
induzida pela topologia usual de R em I, que denotamos por . Introduzamos uma relacao de equivalencia em I da
seguinte forma: dizemos que x y se x = y ou se x = 0 e y = 2 (ou vice-versa). Como sempre, denotemos por I/ o
conjunto das classes de equivalencia de I por essa relacao. Claro deve estar que o que se passa nessa construcao de I/
e que os pontos 0 e 2 de I sao identificados um com o outro (por pertencerem à mesma classe) e esses sao os u
nicos

atica
Vers
Captulo 33
1573/2111
pontos distintos de I a serem identificados, j

a que os demais compoem classes de equivalencia de um u
nico elemento.
Adotemos em I/ a topologia quociente /.

O conjunto das classes de equivalencia e I/ = [], [0, 2) e e elementar constatar que a aplicacao de I/
sobre S1 dada por I/ [] 7 cos(), sen () S1 e bijetora e que, em verdade, e um homeomorfismo. Isso
permite-nos identificar I/ e o 1toro T 1 S1 .
O toro T2 como espa
co quociente
Para T2 tem-se uma construcao semelhante. Seja I 2 = [, ] [, ] R2 munido da topologia relativa induzida
pela topologia usual de R2 . Introduzamos uma relacao de equivalencia em I 2 da seguinte forma:
1. Todo (x, y) I 2 e declarado equivalente a si mesmo.
2. Para todo x I tem-se (x, ) (x, ) e (x, ) (x, ).
3. Para todo y I tem-se (, y) (, y) e (, y) (, y).
elementar constatar que se trata realmente de uma relacao de equivalencia. Com ela sao identificados pares de pontos
E
localizados no bordo de I 2 , de acordo com um esquema representado na Figura 33.1, p
agina 1574.
n

2
facil ver que I 2 / = (1 , 2 ) , 1 , 2
Considere-se o conjunto quociente I / com a topologia quociente. E
o

(, ] e que a aplicacao de I 2 / sobre T2 dada por I 2 / (1 , 2 ) 7 cos(1 ), sen (1 ) cos(2 ), sen (2 )
T2 e bijetora e que, em verdade, e um homeomorfismo. Isso permite-nos identificar I 2 / e o 2toro T2 . A generalizacao

para o caso do ntoro e imediata e dispensa maiores coment
arios.
A Figura 33.1, p
agina 1574, ilustra o esquema de identificacoes nas arestas do quadrado de lado 2 implicado pela
relacao de equivalencia acima. Tambem ilustrados est
ao os esquemas de identificacoes para a tira de M
obius, para a
garrafa de Klein e para o espaco projetivo bidimensional RP2 , generalizacoes das quais trataremos no que segue.
Generaliza
co
es: a tira de M
obius
A chamada tira de M
obius27 e uma variedade bidimensional construda por um procedimento semelhante ao usado
2
para construir T como um espaco quociente. A diferenca, basicamente, e a forma como definimos as relacoes de
equivalencia.
Seja M o subconjunto de R2 definido por
M :=

(, ) (, ) (, y), < y < (, y), < y < .
Consideremos M munido da topologia relativa induzida pela topologia usual de R2 .

Definamos em M uma relacao de equivalencia da seguinte forma:
1. Todo (x, y) M e declarado equivalente a si mesmo.
2. Para todo y (, ) valem (, y) (, y) e (, y) (, y).
elementar constatar que se trata realmente de uma relacao de equivalencia. Para um melhor entendimento das
E
identificacoes implicadas por essa relacao de equivalencia, vide Figura 33.1, p
agina 1574.
A chamada tira de M
obius e definida como o conjunto das classes M/ munida da topologia quociente.
Generaliza
co
es: a garrafa de Klein
A garrafa de Klein28 e uma variedade bidimensional construda da seguinte forma. Seja I 2 = [, ] [, ] no

qual, como antes, adotamos a topologia relativa induzida pela topologia usual de R2 . Seja definida em I 2 a seguinte
relacao de equivalencia:
27 August
Ferdinand M
obius (17901868). A tira de M
obius foi descoberta (ou inventada) simultaneamente em 1858 por M
obius e por
Johann Benedict Listing (18081882). Foi Listing que cunhou a palavra Topologia.
28 Felix Christian Klein (18491925). Klein descreveu essa superf
cie em 1882. Uma curiosidade: o nome garrafa de Klein, hoje universalmente adotado, parece provir de uma confus
ao na traduca
o das palavras alem
as Fl
ache (superfcie) e Flasche (garrafa).

atica
Vers
Captulo 33
1574/2111

2. Para todo y [, ] valem (, y) (, y) e (, y) (, y).
3. Para todo x [, ] valem (x, ) (x, ) e (x, ) (x, ).
E
agina 1574.
A chamada garrafa de Klein e definida como o conjunto das classes I 2 / munida da topologia quociente.
Generaliza
co
es: o espa
co projetivo RP2
O espaco projetivo bidimensional RP2 , o qual sera introduzido na Secao 33.4.6, p

agina 1575, pode ser construdo de
forma semelhante à que empregamos acima.
Seja I 2 = [, ] [, ] no qual, como antes, adotamos a topologia relativa induzida pela topologia usual de R2 .
Seja definida em I 2 a seguinte relacao de equivalencia:
2. Para todo x [, ] valem (x, ) (x, ) e (x, ) (x, ).
3. Para todo y [, ] valem (, y) (, y) e (, y) (, y).
E
agina 1574.
Deixamos ao leitor a tarefa de constatar que I 2 /, munido da topologia quociente, e um espaco topologico homeomorfo
ao espaco projetivo bidimensional RP2 a ser introduzido na Secao 33.4.6. Como ajuda, facamos os seguintes coment
arios.
aria S2 na qual identificamos
Na Secao 33.4.6 mencionamos que RP2 pode ser entendido como a esfera bidimensional unit
os pontos antpodas. Assim, podemos conceber RP2 como o conjunto composto pelo hemisferio superior de S2 unido ao
equador, sendo que neste u
ltimo os pontos antpodas sao identificados. Com essas informacoes, a Figura 33.1, p
agina
1574, pode, ent
ao, ser u
til no sentido de auxiliar na identificacao de I 2 / com RP2 .
Toro
Moebius
Klein
Espao projetivo
Figura 33.1: Os esquemas de identificacoes das arestas dos quadrados de lado 2 que conduzem ao toro T2 , à tira de
M
obius, à garrafa de Klein e ao espaco projetivo bidimensional RP2 , respectivamente. As arestas verticais sao coladas
umas nas outras respeitando a orientacao indicada pelas flechas. Idem para as arestas horizontais. No caso da tira de
M
obius apenas as arestas verticais sao coladas. As Figuras 33.2 e 33.2, p
aginas 1575 e 1576, respectivamente, mostram
o resultado na forma de superfcies mergulhadas ou imersas em R3 .
Como auxlio visual `
a compreens
ao e interessante mencionar que as superfcies bidimensionais supra-construdas
possuem mergulhos ou ao menos imers
oes em R3 . Vide Figuras 33.2 e 33.3, p
aginas 1575 e 1576, respectivamente. O
2
Toro T e a tira de M
obius podem ser mergulhadas em R3 . Ja a garrafa de Klein e o espaco projetivo bidimensional
ao de RP2 exibida na Figura 33.3 e denominada superfcie de Boy29 . Boy
RP2 podem apenas ser imersas em R3 . A imers
encontrou-a em 1902 apos seu orientador, D. Hilbert30 , ter-lhe sugerido provar que RP2 n
ao possuia imersoes em R3 .
Boy, porem, constatou que uma tal imers
ao era, sim, possvel, encontrando o exemplo de superfcie que leva seu nome.
29 Werner Boy (18791914). A refer
encia ao trabalho original

e: W. Boy, Uber
die Curvatura integra und die Topologie geschlossener
Fl
achen, Math. Ann. 57, 151184 (1903).
30 David Hilbert (18621943).

atica
Captulo 33
Vers
1575/2111
Figura 33.2: Mergulhos em R3 do 2-toro (esq.) e da tira de M

obius (dir.).
33.4.6
Espa
cos Projetivos Reais
O espaco projetivo real n-dimensional (n N), denotado por RPn , e a colecao de todos os subespacos unidimensionais de
Rn+1 . Uma forma alternativa de caracterizar RPn e a seguinte. Introduzimos em Rn+1 \ {0} uma relacao de equivalencia
dizendo que x y (para x, y Rn+1 \ {0}) se e somente se existir R n
ao-nulo tal que x = y. Com isso, RPn e
definido como a colecao das classes de equivalencia por essa relacao. A prova da identidade das duas definicoes e deixada
como exerccio ao leitor.
Vamos denotar por [x] a classe de equivalencia de x Rn+1 \ {0}. Seja tambem : Rn+1 \ {0} RPn a aplicacao
quociente, dada por (x) = [x].

Naturalmente, RPn = [x], x Rn+1 \ {0} . O conjunto RPn e feito um espaco topologico de forma natural
adotando-se em Rn+1 \ {0} a topologia usual e em RPn a topologia quociente definida pela relacao de equivalencia de
acima (para a definicao de topologia quociente definida por uma relacao de equivalencia, vide Secao 32.4.3, p
agina 1504).
Trata-se da maior topologia em RPn para a qual a aplicacao quociente e contnua.

Cada elemento x de Rn+1 \ {0} e da forma x = y com y Sn e R \ {0}. Logo, Sn = RPn . Como e contnua
e Sn e compacto, conclumos que RPn e compacto com a topologia quociente. A restricao de a Sn e sobrejetora em
RPn , mas e facil ver que se x, y Sn , ent
ao (x) = (y) se e somente se x = y. Dessa forma, podemos tomar RPn
como o conjunto obtido identificando-se os pontos antpodas de Sn . Isso pode ser obtido formalmente introduzindo-se
em Sn uma relacao de equivalencia: x y se e somente se x = y.
Com a topologia quociente mencionada acima, RPn e um espaco topologico Hausdorff. Uma demonstracao desse fato
e indicada no exerccio que segue.
E. 33.32 Exercciodirigido. Para x Rn+1 \ {0}, seja (x) = [x] o correspondente elemento de RPn e seja {x , x} =

1 [x] Sn o conjunto composto pelos dois pontos da esfera unitaria obtidos pela interseccao da linha reta que passa por

claro que [x] = x, R \ {0} .
x Rn+1 \ {0}. E

Para [x] RPn e (0, /2), defina-se A [x], Sn por
n
o

A [x], = y Sn tais que x, y R > cos .

Constate que A [x], e o conjunto
de todos os pontos de Sn que formam um angulo menor que com x ou com x. Em

particular, {x, x} A [x], . Defina-se tambem B [x], Rn+1 \ {0} por
n
o

B [x], = y , com y A [x], e R \ {0} .

Constate que B [x], e o cone duplo de angulo de abertura 2 com vertice na origem. Observe que se y B [x], , entao

atica
Captulo 33
Vers
1576/2111
Figura 33.3: Imers

oes em R3 da garrafa de Klein (esq.) e do plano projetivo bidimensional RP2 , a chamada superfcie
de Boy (dir.). E claro que se trata de imers

oes, n
ao de mergulhos, pois ambas as superfcies exibem auto-interseccoes.

y B [x], , mas que 0 6 B [x], . Mais importante, mostre que B [x], e um subconjunto aberto de Rn+1 \ {0}.

Defina-se, por fim, C [x], RPn por C [x], := 1 B [x], . Trata-se de um aberto em RPn , pois B [x],

e um subconjunto aberto de Rn+1 \ {0}. Claro esta tambem que C [x], e uma vizinhanca aberta de [x].
os
Vamos agora considerar
[x1 ] e [x2 ], dois elementos distintos de RPn . Afirmamos que para pequeno o suficiente

abertos
C
[x
],
e
C
[x
],
s
a
o
disjuntos.
Para
ver
isso,
suponha
que
exista
[z]
C
[x
],
C
[x
],
.
Ent
a
o,
1
2

2
1
x1 , z > cos e x2 , z > cos , onde xk sao os dois elementos de [xk ] em Sn , k = 1, 2. Como supomos que
R
R

[x1 ] 6= [x2 ], temos que x1 x2 6= 0 para ambos os sinais.

Trocando eventualmente o sinal de x1 e/ou de x2 , podemos garantir que ambos os produtos escalares x1 , z R e x2 , z R
sejam nao-negativos. Com essa escolha, teremos, portanto,

x1 , z R > cos()
e
x2 , z R > cos() .
(33.98)
Agora, como x1 , x2 e z sao vetores de norma 1, tem-se que
xk z 2 =
xk z , xk z

= 2 2 xk , z R
(33.98)
<

2
2 1 cos() = 4 sin(/2)
(33.99)

para ambos k = 1, 2. Logo, xk z < 2 sen (/2) para ambos k = 1, 2 e, portanto,

x1 x2 x1 z + z x2 < 4 sen (/2) .

Porem, como x1 x2 > 0, essa desigualdade e impossvel se (0, /2)
for escolhido pequeno o suficiente. Isso prova
que para tais valores de devemos, em verdade, ter C [x1 ], C [x2 ], = , estabelecendo que o espaco projetivo real
6
RPn tem a propriedade de Hausdorff.
Segundo o Corolario 33.2, p

agina 1528, para demonstrar que o RPn e uma variedade topologica com a topologia
o que faremos no que segue.
quociente basta agora provar que ele e localmente Euclidiano. E
Para cada i = 1, . . . , n + 1, defina-se Ai Rn+1 \ {0} como sendo o conjunto de todos os elementos de Rn+1 \ {0}
evidente que Ai e um aberto em
cuja i-esima coordenada e n
ao-nula: Ai := (x1 , . . . , xn+1 ) Rn+1 \ {0}, xi 6= 0 . E

n
i
i
n+1
i
evidente que A1 , . . . , An+1
compoe
R
\ {0}. Seja A o correspondente aberto em RP , ou seja, A (A ). E
ao ao menos uma das coordenadas de x e n

ao-nula, ou seja
um recobrimento de RPn por abertos pois, se [x] RPn , ent
x Aj para algum j, implicando que [x] Aj .

atica
Vers
Captulo 33
1577/2111
Para cada i = 1, . . . , n + 1, defina-se i : Ai Rn por

1

x
xi1 xi+1
xn+1
:=
i (x1 , . . . , xn+1 )
,
,
.
.
.
,
,
,
.
.
.
,
xi
xi
xi
xi
(x1 , . . . , xn+1 ) Ai . Note-sequea aplicacao i est

a bem definida,
pois se x y com x Ai , ent
ao y Ai e vale

1
i1
i+1
n+1
i1
i+1
n+1
1
x
x
x
x
= yyi , . . . , y yi , yyi , . . . , y yi
(justifique!). A aplicacao i e um homeomorfismo,
xi , . . . , xi , xi , . . . ,
xi
com 1
: Rn Ai dada por
i
1
s1 , . . . , sn
i

= s1 , . . . , si1 , 1, si+1 , . . . , sn .
E. 33.33 Exerccio. Verifique que i e sua inversa sao de fato contnuas.
avel. MosCom isso, estabelecemos que RPn , com a topologia quociente, e uma variedade topologica segundo-cont
tremos que se trata tambem de uma variedade diferenci
avel. Os pares (Ai , i ) compoem cartas locais de coordenadas
em RPn e sua uniao compoe um atlas. As funcoes de transicao de i (Ai Aj ) em j (Ai Aj ) (aqui tomamos i > j, por
conveniencia) sao dadas por j 1
i , sendo que

1

sj1 sj+1
si1 1 si
sn
s
1
n
j 1
,
s
,
.
.
.
,
s
=
,
.
.
.
,
,
,
.
.
.
,
,
,
,
.
.
.
,
i
sj
sj
sj
sj
sj sj
sj

com s1 , . . . , sn i (Ai Aj ). Por essa expressao e facil constatar que j 1
sao difeomorfismos infinitamente
i
diferenci
aveis de i (Ai Aj ) em j (Ai Aj ).
E. 33.34 Exerccio instrutivo. Prove todas as afirmacoes feitas acima.
avel de dimensao n.
Reunindo os resultados, vemos que RPn e uma variedade infinitamente diferenci
RPn e a bola fechada em Rn com a identifica
c
ao dos antpodas de sua superfcie
n
Como antes, seja Dn (1,
raio 1 em Rn e seja
n 0) a bola aberta de P
o Dn (1, 0) a bola fechada de R de raio 1 e centrada
n
j 2
na origem: Dn (1, 0) = (y 1 , . . . , y n ) Rn ,
j=1 (y ) 1 .
claro que Dn (1, 0) = Dn (1, 0) Sn1 , uma uniao disjunta, sendo que Dn (1, 0) e o interior da bola fechada
E
Dn (1, 0) enquanto que Sn1 e a superfcie (ou bordo) de Dn (1, 0). Podemos definir uma relacao de equivalencia
em Dn (1, 0) da seguinte forma:
1. Todo y Dn (1, 0) e declarado equivalente a si mesmo.
2. Dois pontos y1 e y2 em Sn1 sao equivalentes se e somente se y1 = y2 .

Seja Fn := Dn (1, 0)/, a colecao das classes de equivalencia de Dn (1, 0) por essa relacao. Deve ser claro que o que
fazemos ao passar de Dn (1, 0) para Fn e manter os pontos do interior Dn (1, 0) e identificar os pontos antpodas da
superfcie Sn1 .
Em Dn (1, 0) adotamos a topologia relativa induzida pela topologia de Rn e em Fn a correspondente topologia
quociente. O que pretendemos fazer em seguida e mostrar que, para cada n N, o espaco Fn , em verdade, pode ser
identificado com o espaco projetivo real n-dimensional, RPn . Mais precisamente, afirmamos que Fn e RPn sao variedades
diferenci
aveis difeomorfas.
Antes de prosseguirmos, comentemos que encontramos esse objeto em nossa discuss
ao sobre o grupo SO(3) na Secao
21.3.2, p
agina 1024. L
a discute-se que esse grupo pode ser entendido com o conjunto obtido tomando-se a bola fechada de
raio em R3 e identificando-se os pontos antpodas da superfcie. Assim, como mostraremos, SO(3) pode ser entendido
como o espaco projetivo real tridimensional RP3 .
Passemos agora à discuss
ao de como Fn pode ser identificado com RPn . Sejam H Hn+1, + Sn dois hemisferios
n
abertos de S definidos em (33.95). Temos,
v
u
n
X
u
(xj )2 Rn+1 , com (x1 , . . . , xn ) Dn (1, 0) .
H = x1 , . . . , xn , t1
j=1

atica
Vers
Captulo 33
1578/2111
f
E
acil ver disso que H e Dn (1, 0) sao espacos topologicos
podem
ser identificados), sendo o
homeomorfosq(e, portanto,

Pn
1
n
1
n
j
2
homeomorfismo dado por Dn (1, 0) (x , . . . , x ) 7 x , . . . , x , 1 j=1 (x ) H . Vide (33.96)(33.97).
Vamos agora introduzir em Sn uma relacao de equivalencia

da seguinte forma: x
y se e somente se x = y.
Como fizemos anteriormente, podemos afirmar que Mn e obtida de Sn identificando-se os
Definamos Mn := Sn /.
pontos antpodas. O conjunto Sn pode ser escrito como a uniao de H+ , H e do seu equador, que podemos identificar
claro dessa discuss
com Sn1 . Os pontos de H sao exatamente os antpodas dos pontos de H+ . E
ao que Mn pode
n
ser identificado com o conjunto H+ em uni
ao com o equador de S sendo que nesse equador identificamos os pontos
antpodas. O equador de Sn e Sn1 e, portanto, o que dissemos e que podemos identificar Mn com H+ Mn1 . Mas
claro que esse u
isso significa, pelo que vimos mais acima, que Mn pode ser identificado com Dn (1, 0) Mn1 . E
ltimo
n
conjunto consiste na bola unit
aria fechada em R com os antpodas da superfcie identificados, ou seja, trata-se do
conjunto que denominamos Fn anteriormente.
Por outro lado, j

a observamos (`
a p
agina 1575) que o espaco projetivo real RPn pode ser identificado com Mn .
n
n
Conclumos disso que F e RP podem ser identificados, ou seja, o espaco projetivo real n-dimensional pode ser entendido
tambem como o conjunto obtido tomando-se a bola fechada de raio 1 e centrada na origem em Rn+1 e identificando-se
os pontos antpodas de sua superfcie. O que podemos dizer sobre a relacao entre Fn e RPn enquanto variedades? Isso
fica para o leitor:
E. 33.35 Exerccio. Mostre, usando as definicoes e construcoes de acima, que Fn e RPn sao duas variedades diferenciaveis
difeomorfas.
6
E. 33.36 Exerccio. Mostre que M1 e difeomorfo ao crculo S1 e, portanto, que RP1 e S1 sao duas variedades diferenciaveis
difeomorfas.
6
Variedades de Grassmann
Ja dissemos no incio desta secao que o conjunto RPn pode ser identificado com a colecao de todos os subespacos
vetoriais unidimensionais de Rn+1 . Nesse sentido, o espaco projetivo real pode ser generalizado na nocao de variedade
de Grassmann31 , ou Grassmanniana. Para n N e k N com k n, a variedade de Grassmann Gn, k e definida como
a colecao de todos os subespacos vetoriais kdimensionais de Rn . Trata-se de uma variedade diferenci
avel de dimensao
(n k)k. Claro est
a que RPn coincide com Gn+1, 1 . Para mais detalhes sobre Grassmannianas, vide e.g., [162].
33.4.7
Grupos de Lie
Uma classe importante de variedades diferenci

aveis e composta pelos chamados Grupos de Lie. A eles dedicamos o
Captulo 22, p
agina 1109. Um grupo de Lie e uma variedade diferenci
avel que seja tambem um grupo para o qual a
operacao de multiplicacao e de inversao sejam contnuas. Vide Captulo 22 e outras referencias la citadas.
33.4.8
Fibrados, Fibrados Vetoriais e Principais
Um tipo de variedade diferenci

avel de particular import
ancia e composto pelos chamados espacos fibrados, ou simplesmente fibrados. Grosseiramente, podemos dizer que um fibrado e uma variedade diferenci
avel que localmente (mas n
ao
necessariamente globalmente) e o produto de duas variedades diferenci
aveis, sendo que as funcoes de transicao respeitam
a acao de um grupo (de Lie) sobre uma das variedades.
O estudo de espacos fibrados e bastante vasto e nesta breve secao limitamo-nos a apresentar definicoes b
asicas para
futura referencia.
Fibrados coordenados. Fibrados
Comecemos definindo a nocao de fibrado coordenado. Um fibrado coordenado F e uma variedade diferenci
avel formado
pelos seguintes ingredientes:
31 Hermann
G
unther Grassmann (18091877).

atica
Vers
Captulo 33
1579/2111
1. Uma variedade diferenci

avel B, denominada espaco base.
2. Uma variedade diferenci
avel F , denominada fibra.
3. Uma funcao sobrejetora : F B denominada projecao, sendo que a pre-imagem 1 (b) de qualquer b B e
homeomorfa a F .
4. Um grupo de Lie G, denominado grupo de estrutura, dotado de uma acao à esquerda32 contnua : G F F
sobre F . Denotaremos a acao de g G por sobre f F por g (f ) ou por (g, f ).
5. Um recobrimento {B , } de B por abertos (em sua topologia), sendo que para cada existe um
difeomorfismo : B F 1 (B ).
Cada e dito ser uma trivializac

ao local, pois 1 mapeia 1 (B ) sobrejetoramente no produto Cartesiano
B F .
Fora isso, os seguintes requerimentos estruturais sao necessarios:

1. Para cada o difeomorfismo satisfaz (b, f ) = b para todo (b, f ) B F .
2. Para cada e cada b B , a aplicacao F f 7 (b, f ) 1 (b) e um difeomorfismo, que denotaremos por
, b .
ao de transic
ao T1 , 2 , b : F F , definida por T1 , 2 , b := (1 ,b )1 2 , b .
3. Seja B1 B2 6= e seja a chamada func
Ent
ao existe uma funcao contnua t1 , 2 : B1 B2 G tal que T1 , 2 , b (f ) = t1 , 2 (b), f para todo
b B1 B2 e todo f F . Com isso, podemos escrever

2 b, f = 1 b, t1 , 2 (b), f

para todos (b, f ) B1 B2 F .
O u
ltimo ponto descrito acima significa que duas trivializacoes diferem em uma regiao comum apenas pela acao
(contnua) de elementos de G sobre cada fibra. Note-se que os elementos de G podem mudar de um ponto a outro. A
semelhanca com as transformac
oes de calibre, bem conhecidas no Eletromagnetismo e na Fsica Qu
antica, n
ao e casual.
Na definicao acima, um fibrado coordenado F depende do particular recobrimento {B , } da variedade base
B e da particular colecao de difeomorfismos { , } adotados. Seja um segundo fibrado coordenado F , o qual
difere de F por ter um recobrimento {B , } e uma colecao de difeomorfismos { , }. Dizemos que F e
F sao equivalentes se o fibrado coordenado obtido com o recobrimento {B , } {B , } e com a colecao
de difeomorfismos { , } { , } for tambem um fibrado coordenado. (Que se trata de uma relacao
de equivalencia demonstra-se usando os mesmos argumentos usados na relacao de equivalencia entre atlas infinitamente
diferenci
aveis).
Defini
c
ao. Um fibrado e uma classe de equivalencia de fibrados coordenados pela relacao de equivalencia acima.
No caso de variedades topol
ogicas n
ao diferenci
aveis h
a uma nocao correspondente de fibrado onde, ao inves de
difeomorfismos, adotamos homeomorfismos e onde o grupo G pode ser um grupo topologico geral, n
ao necessariamente
um grupo de Lie.
Fibrados vetoriais
Um fibrado vetorial e um fibrado no qual fibra F e um espaco vetorial topologico V e a acao de G se d

a por uma
representacao (contnua) de G em V .
Fibrados principais
Um fibrado principal e um fibrado no qual fibra F e o proprio grupo de estrutura G e a acao de G se d

a por
multiplicacao (do grupo) `
a esquerda.
32 Para
a definica
o da noca
o de ac
ao de um grupo, vide Seca
o 2.1.9.1, p
agina 103.

atica
Vers
Captulo 33
1580/2111
Ap
endices
33.A
Derivadas de Lie. Prova das Rela

co
es (33.70) e (33.81)
Prova de (33.70)
A prova da igualdade (33.70) e mais facilmente realizada em coordenadas locais. Seja (U, h) uma carta contendo p
e escolhamos um intervalo de valores de t pequeno o suficiente para que A
em
t (p) esteja sempre em U . Adotamos tamb
como antes a convencao que A
0 (q) = q para todo q U .
Definamos h(q) = (x1 , . . . , xm ), q U . Seja

yt1 (x1 , . . . , xm ), . . . , ytm (x1 , . . . , xm ) .
ht (q) h A
t (q) =
Por definicao temos y0k (x1 , . . . , xm ) = xk e
d k 1
dt yy (x ,

. . . , xm ) = ak (ht (q)) = ak yt1 (x1 , . . . , xm ), . . . , y m (x1 , . . . , xm ) .
Podemos usar ht (q) como uma carta local de coordenadas, com coordenadas ytk ytk (x1 , . . . , xm ), lembrando que,
k
k
como h0 (q) = h A
0 (q) = h(q), tem-se y0 = x .
Sejam

Ap = ak h(p)
xk h(p)

k

h
(p)
B A
=
b
t
t (p)
ytk ht (p)
as expressoes locais de A e B, nas cartas de coordenadas h e ht respectivamente. Note-se que, em t = 0 a expressao local
de B, acima, fica

k
k

.
Bp = b h(p)
= b h(p)
xk h(p)
y0k h(p)
Por (33.47), temos

dA
t
Assim,

dA
t
Desejamos calcular

dA
t
A
t (p)
A
t (p)

xl
A
k

=
b h t (p)
.
xl h(p)
ytk ht (p)

B A
e, pela u
ltima expressao, dada por
t (p) , a qual

d xl
d k
xl
A
k
A

b h t (p)
+
.
b h t (p)
dt ytk ht (p)
xl h(p)
xl h(p)
ytk ht (p) dt

d xl
dt ytk h (p)
t
d
A1 dt
A A1 , o
O c
alculo de
d 1
dt A
d
dt
A
t (p)
A
t (p)

xl

.
=
ytk ht (p)
ytk ht (p) xl h(p)
pode ser feito da seguinte forma. Se A e uma matriz inversvel que depende de t, ent
ao vale
que facilmente se demonstra do fato que A1 A = 1. Assim, temos

xl
xl
d ytb
d b
d xl
xc
xc
=
=
y
dt ytk ht (p)
ytb ht (p) dt xc ht (p) ytk ht (p)
ytb ht (p) xc dt t ht (p) ytk ht (p)
Para
d k
dt b

h A
temos:
t (p)

xc
xl
ab

ht (p)
=
.
ytb ht (p) xc
ytk ht (p)
d b
b

bk
d k
bk
h A
h A
a (ht (p)) .
=
=
b h A
yt h A
t (p)
t (p)
t (p)
t (p)
b
b
dt
dt
yt
yt

atica
Vers
Captulo 33
1581/2111
Assim,

d A
dt A B A
(p)
t
dt
t (p)

xc

xl
ab
A
k

h
(p)
h
(p)
b
t
t
xl h(p)
ytb ht (p) xc
ytk ht (p)

b

bk
xl
A
h
(p)
a
(h
(p))
.
t
t
xl h(p)
ytk ht (p) ytb
Pela definicao (33.69), LA B e a u

ltima expressao calculada em t = 0. Lembrando que y0a = xa , ficamos com

d A
A
:=
dt A B t (p)
(LA B)(p)
dt
t (p)
t=0

b
xc k

xl bk
xl ab
b h(p)
h(p) a (h(p)) b c h(p)
xk xb
x x
xk
xl h(p)

al

bl
k
ak (h(p))
h(p)
h(p)
b
h(p)
h(p)
k
k
l
x
x
x
(33.60)
[A, B]p ,
demonstrando (33.70).
Prova de (33.81)
Passamos agora à demonstracao de (33.81), a qual segue passos semelhantes. Usaremos a mesma notacao e definicoes
da prova de (33.70), acima. Vamos escrever

k

e
A
= k ht (p) dytk ht (p)
Ap = a h(p)
t (p)
xk h(p)
como expressoes locais de A e , nas cartas de coordenadas h e ht respectivamente. Por (33.51), temos (verifique!)

dA
t
ytb
l
A
A (p) = b (p)
h(p)
dx |p .
t
l
t
x
A
t (p)
Podemos agora calcular a derivada em t usando a regra de Leibniz. Temos, usando a regra da cadeia

b
d
b ht (p) =
ht (p) aj ht (p)
j
dt
yt
Assim, tomando t = 0 e recordando que y0j = xj (o que faz com que

LA
provando (33.81).
33.B

ab
d ytb
h(p) =
h(p) .
l
l
dt x
x
ytb
xl
= bl para t = 0), temos

l
ab

j
dxl |p ,
= a h(p)
h(p) + b h(p)
h(p)
xj
xl
Derivadas de Lie. Prova da Rela

c
ao (33.88)
Em uma carta (U, h), com p U , podemos escrever (vide (33.58))

i1 ia
T A
= T
,
R R dxyia+b
R R
R dxiya+1
ia+1 ia+b (yt )
t
t
t (p)
xi1 yt
xia yt

atica
Captulo 33
Vers
1582/2111

onde usamos a abreviacao yt h A
t (p) , sendo que, naturalmente y0 = h(p)
Observemos agora que

j
= Ki (t)
xi yt
xj h(p)

e um elemento de Tp M . Analogamente, escrevemos,
xi yt
dA
t A
t (p)
para alguma matriz Ki j (t), dado que dA
t
A
t (p)
dA
t
A
t (p)
dxiyt = Lij (t)dxjh(p) .
Note-se que, por raz

oes
obvias, Ki j (0) = i j e Lij (0) = ij
Pela definicao de derivada de Lie para campos vetoriais e co-vetoriais, temos

j
= Mi
e
LA dxih(p) = N ij dxjh(p) ,
LA
xi h(p)
xj h(p)
onde
Mi j :=
dKi j
(0)
dt
N ij :=
dLij
(0) .
dt
As matrizes Mi j e Ni j foram obtidas explicitamente em (33.79) e (33.82), respectivamente:

i
j

a
a
i
h(p)
e
N
=
h(p) .
Mi j =
j
i
j
x
x
Com isso, podemos escrever
dA
t
A
t (p)
R R dA
t
{z
a
R dA
t
|
}
A
t (p)
A
t (p)
R R dA
t
{z
b
A
t (p)
T A
t (p)
= T i1 iaia+1 ia+b (yt )Ki1 j1 (t) Kia j1 (t)L a+1 ja+1 (t) L a+b ja+b (t)
!

ja+b
ja+1
R R
R dxh(p) R R dxh(p) .
xj1 h(p)
xja h(p)
O ponto de termos procurado escrever tudo dessa forma, e que agora toda a dependencia em t aparece no produto de
a + b + 1 fatores da segunda linha, acima. Assim, ao calcularmos a derivada em relacao a t da expressao acima em t = 0,
obteremos, pela regra de Leibniz, uma soma de a + b + 1 termos, cada um correspondente à derivada daqueles a + b + 1
da segunda linha. O termo primeiro sera envolver
a a derivada de T i1 iaia+1 ia+b (yt ), e sera

d i1 ia
i
i

T
(y
)
i1 j1 ia j1 a+1ja+1 a+bja+b .
t
ia+1 ia+b

dt
t=0
Os a termos seguintes envolvem as derivadas de cada um dos fatores Kik jk (t) e serao da forma

i
i
T i1 iaia+1 ia+b h(p) i1 j1 Mik jk ia j1 a+1ja+1 a+bja+b ,
com o fator Mik jk substituindo um fator ik jk na k-esima posicao, com k = 1, . . . , a. Os b termos seguintes envolvem
as derivadas de cada um dos fatores Lil jl (t) e serao da forma

i
i
T i1 iaia+1 ia+b h(p) i1 j1 ia j1 a+1ja+1 N iljl a+bja+b ,
com o fator Nil jl substituindo um fator il jl na l-esima posicao, com l = a + 1, . . . , a + b.

atica
Vers
Captulo 33
1583/2111
Agora, temos que

d i1 ia
i1 ia
i1 ia

T
,
(y
)
=
A
T
=
L
T
t
A
ia+1 ia+b
ia+1 ia+b
ia+1 ia+b

dt
h(p)
h(p)
t=0
que
Mik
jk
Conclumos que

= LA
xjl h(p)
xil h(p)

(LA T )p = LA T i1 iaia+1 ia+b
+
T i1 iaia+1 ia+b
" a
X
h(p)
k=1
a+b
X
h(p)
l
l
.
N iljl dxjh(p)
= LA dxih(p)

ia+b
ia+1
R R dxh(p)
R dxh(p)
R
R
xi1 h(p)
xia h(p)

R R
xi1 h(p)
l=a+1
e que
LA
!

ia+b
ia+1
R R
R R dxh(p)
R dxh(p)
xik h(p)
xia h(p)
#

ia+b
ia+1
il
R R
R dxh(p) R R LA dxh(p) R R dxh(p) ,
xi1 h(p)
xia h(p)
que e a relacao (33.88), como desejavamos provar.

Variedades

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Variedades

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 33

nocao moderna de variedade diferenci

JCABarata. Curso de Fsica-Matem

O presente captulo pretende introduzir as nocoes de variedade topologica e de variedade diferenci

No que segue, denotaremos npor Dn (r, x) Rn a o

Assim, todas as bolas Dn (r, x) sao homeomorfas entre si e homeomorfas a Rn .

Seja (X, ) um espaco topol

O lema tecnico elementar a seguir sera usado posteriormente, mas n

ordem dos textos

JCABarata. Curso de Fsica-Matem

Lema 33.1 Seja E um aberto Euclidiano de dimens

Seja (X, ) um espaco topol

Um espaco topologico (X, ) e dito ser um espaco localmente Euclidiano de dimens

JCABarata. Curso de Fsica-Matem

hU : U Dn (rU , 0) e hV : V Dn (rV , 0), respectivamente) podem ter uma interseccao n

Os homeomorfismos HU,V sao denominados func

Prova. Seja (X, ) um espaco topol

Todo espaco localmente Euclidiano e localmente metriz

Para a continuacao da discuss

JCABarata. Curso de Fsica-Matem

JCABarata. Curso de Fsica-Matem

Depreende-se da lista acima que toda variedade topologica segundo-cont

A seguinte proposicao assegura que toda variedade topologica segundo-cont

Prova. Por ser um espaco topol

JCABarata. Curso de Fsica-Matem

Construindo Variedades Topol

Seja (N, N ) uma variedade topol

JCABarata. Curso de Fsica-Matem

1461, o espaco topologico (Y, I ) = (Y, Y ) sera Hausdorff e segundo-cont

Seja (X, ) uma variedade topol

Um problema importante na construcao de variedades topologicas e que as propriedades de Hausdorff e segundocontabilidade n

Ek ) , , k N de X. Mas isso implica que Ek E X/ , / , n , k N e um recobrimento

JCABarata. Curso de Fsica-Matem

Seja (X, ) uma variedade topol

Seja (X, ) uma variedade topol

Uma classe de equivalencias de atlas infinitamente diferenci

A uniao de todos os atlas de uma dada estrutura infinitamente diferenci

9 O leitor deve ser advertido do fato que, lamentavelmente, n

JCABarata. Curso de Fsica-Matem

Variedade infinitamente diferenci

Uma variedade topol

A nocao de diferenciabilidade de funcoes de Rm em Rn e bem conhecida e podemos generaliza-la para funcoes

Uma nocao de grande relevancia e a de difeomorfismo entre variedades infinitamente diferenci

Diz-se que duas variedades diferenci

Sejam I1 e I2 duas estruturas diferenci

JCABarata. Curso de Fsica-Matem

Sejam M1 e M2 duas variedades diferenci

R sao dadas por h2 f h1

Nem toda variedade topol

Karl August Radon (18871956).

JCABarata. Curso de Fsica-Matem

Na definicao de variedade diferenci

Se (X1 , 1 , I1 ) e (X2 , 2 , I2 ) sao duas variedades diferenci

JCABarata. Curso de Fsica-Matem

Por construcao, cada B est

e contnua, infinitamente diferenci

JCABarata. Curso de Fsica-Matem

uma funcao Gr , c, m : M [0, ) por

gr , c (x) = fr (x1 x1c ) fr (xn xnc ) , com hm (p) = (x1 , . . . , xn ), para p Bm ,

evidente pela construcao que Gr , c, m e infinitamente diferenci

pois para cada

A existencia de particoes da unidade diferenci

JCABarata. Curso de Fsica-Matem

Uma das caractersticas mais importantes das variedades diferenci

A expressao do lado direito independe da