Var Base

VARIEDADES
DIFERENCI
AVEIS
introducao breve
V
tor Neves
Departamento de Matematica
Universidade de Aveiro
2
Prefacio
Variedades Diferenciaveis, introducao breve e uma expans ao da materia apre-
sentada na parte Variedades da disciplina Analise Superior I do Mestrado em
Matem
atica da Universidade de Aveiro, no primeiro semestre do ano escolar

1999/2000, portanto anterior ao acordo de Bolonha. O texto foi ampliado recente-
mente por um captulo sobre Equac oes Diferenciais Ordinarias e continuar a a receber
alterac oes durante o ano lectivo.
Dispusemos de aproximadamente dezanove horas para apresentar ideias fundamentais
sobre variedades diferenciaveis de dimensao nita. A larga maioria dos alunos era
composta por docentes do Ensino Secundario inscritos na vertente de Ensino; a minoria
estava inscrita em Geometria Combinat oria; em qualquer dos casos o tema nao seria
continuado no segundo semestre.
Opt amos por apresentar a teoria de forma menos abstracta, da termos iniciado as
lic oes tratando o Captulo 2 como preparac ao para o estudo de subvariedades dos
espacos euclidianos de dimens ao nita R
n
e continuando, no Captulo 3, com transver-
salidade e estabilidade elementares.
No Captulo 4 pretendemos dar uma ideia sum aria de que uma variedade diferenci avel
pode nao ser a priori um subespaco topol ogico de algum espa co R
n
; a referencia a
metricas riemannianas permite terminar o curso com um exemplo simples de geometria
hiperb olica.
Pressupunha-se que os alunos dominavam a An alise Innitesimal e a Topologia basicas
dos espacos euclidianos de dimens ao nita. Veric amos, no entanto, que quase ninguem
tinha alguma vez estudado uma demonstracao quer do Teorema da Func ao Inversa quer
do da Funcao Implcita, e decidimos inclu-las nas lic oes; desde o incio que cont avamos
introduzir os teoremas da Submersao e da Imers ao, pelo que uma revis ao dos grandes
teoremas nem nos parece despropositada. A inclus ao de v arias versoes do Teorema
de Taylor permite rmar linguagem, n ao apenas com vista ao Lema de Morse, mas
tambem para um eventual tratamento futuro de diferencia cao em espacos de Banach
em Analise Superior II (ali as, a formulac ao dos teoremas do segundo captulo tem este
esprito).
No primeiro captulo agrupamos, sem nos preocuparmos com demonstracoes, resul-
tados sobre Topologia que devem constar do conjunto de conhecimentos de qualquer
aluno de um mestrado em matematica anterior ao acordo de Bolonha mas poder ao
estar um tanto ou quanto esquecidos; esperamos que o leitor recorra ao Captulo 1
com pouca frequencia; na verdade pensamos que, excluindo as referencias a paracom-
pacidade e ao Lema de Urysohn, o presente texto pode ser lido sem conhecimentos
especcos da Topologia Geral.
Agradecemos aos estudantes Elisa Fernandes e Nelson Ferreira terem-nos fornecido
os seus apontamentos das aulas, permitindo-nos assim aperfeicoar notas escritas com
alguma pressa.
Registamos ainda os nossos agradecimentos a Andrey Sarychev e Nat alia Martins pela
revis ao que zeram.
Aveiro, Julho de 2011
Vtor Neves
Indice
1 Elementos de Topologia 101
1.1 Topologia Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
1.2 Espacos metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
1.2.1 Teorema do Ponto Fixo . . . . . . . . . . . . . . . . . . . . . . . 106
1.2.2 Lema de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 107
1.3 Parti coes da unidade I . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
1.3.1 Func oes de suporte compacto . . . . . . . . . . . . . . . . . . . 107
1.3.2 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . 108
2 Teorema da Funcao Inversa 201
2.1 F ormula de Taylor. Teorema da Media . . . . . . . . . . . . . . . . . . 201
2.2 Teorema da Func ao Inversa . . . . . . . . . . . . . . . . . . . . . . . . 204
2.3 Teorema da Func ao Implcita . . . . . . . . . . . . . . . . . . . . . . . 208
2.4 Teorema da Submers ao . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
2.5 Teorema da Imers ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
2.6 Lema de Morse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
3 Equacoes Diferenciais Ordinarias 301
3.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301
3.2 Func oes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
3.3 Alguns Operadores Integrais . . . . . . . . . . . . . . . . . . . . . . . . 305
3.4 Existencia e Unicidade de solucoes . . . . . . . . . . . . . . . . . . . . 306
i
3.5 Soluc oes globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
4 Variedades Diferenciaveis 401
4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
4.1.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
4.1.2 Topologia em variedades . . . . . . . . . . . . . . . . . . . . . . 408
4.1.3 Func oes diferenciaveis . . . . . . . . . . . . . . . . . . . . . . . 410
4.2 Fibrado tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411
4.3 Func oes diferenci aveis II . . . . . . . . . . . . . . . . . . . . . . . . . . 414
4.4 Estruturas Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . 418
4.5 Parti coes da unidade II . . . . . . . . . . . . . . . . . . . . . . . . . . . 420
4.5.1 Func oes de suporte compacto . . . . . . . . . . . . . . . . . . . 420
4.5.2 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . 422
4.5.3 Existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
4.6 O plano de Lobachevsky . . . . . . . . . . . . . . . . . . . . . . . . . . 424
4.7 Sub-variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
5 Sub-variedades de Espacos Euclidianos 501
5.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
5.2 Func oes diferenci aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . 505
5.2.1 Espaco Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . 506
5.3 Elementos de geodesicas em superfcies . . . . . . . . . . . . . . . . . . 507
5.4 Transversalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510
5.5 Estabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513
5.6 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518
5.7 O teorema de Whitney . . . . . . . . . . . . . . . . . . . . . . . . . . . 519
Captulo 1
Elementos de Topologia
1.1 Topologia Geral
Uma topologia no conjunto X e um conjunto de subconjuntos de X tal que
1. , X ,
2. Se A, B , entao A B ,
3. Se para todos os i I, A
i
, entao
iI
A
i
.
Um espaco topologico e um par (X, ) em que X e um conjunto n ao vazio e e
uma topologia em X; os elementos de uma topologia dizem-se conjuntos abertos do
espaco topologico respectivo; se x X, uma vizinhanca de x para a topologia e um
subconjunto V X que contem um conjunto aberto ao qual x pertence, i. e., tal que,
para algum A , se tem x A V . Um espaco topologico diz-se separado ou de
Hausdor se elementos distintos tem vizinhancas disjuntas.
Uma base de topologia no conjunto X e um conjunto de subconjuntos de X tal que
1. X =
B
B.
2. Para cada x X, se A, B e x A B, ent ao existe C tal que
x C A B.
101
102 CAP
ITULO 1. ELEMENTOS DE TOPOLOGIA

Entendendo o conjunto vazio como a uni ao da famlia vazia, vale o seguinte teorema
Teorema 1.1.1 O conjunto das unioes arbitrarias dos elementos de uma base de
topologia sobre X e uma topologia em X.
Se (X, ) e um espaco topol ogico e , = Y X, o par (Y,
|Y
) e o subespaco topologico
em que
|Y
= A Y [ A ;
|Y
diz-se a topologia induzida.
Dados espacos topol ogicos (X, ) e (Y,
), uma fun cao f : X Y diz-se contnua se

f
1
(B) sempre que B
.
Por outras palavras
Denicao 1.1.1 Uma funcao entre espacos topologicos e contnua se as imagens
inversas de conjuntos abertos sao conjuntos abertos.
Um homeomorsmo entre espa cos topologicos e uma aplicacao contnua, bijectiva e
com inversa contnua; um homeomorsmo local e uma fun cao f : X Y contnua
entre espacos topol ogicos (X, ) e (Y,
) tal que, seja qual for o elemento x X, existe

uma vizinhan ca V de x, de modo que f(V ) e vizinhanca de f(x) e f : V f(V ) e um
homeomorsmo quando V e f(V ) sao munidos das topologias respectivas de subespaco.
Seja (X, ) um espaco topologico: (X, ) diz-se conexo, se n ao existe uma particao
de X em dois subconjuntos abertos nao vazios de ; um subconjunto de C X
diz-se conexo se o subespaco (C,
|C
) e conexo; uma componente conexa de (X, ) e
um subconjunto conexo de X, que nao est a propriamente contido em qualquer outro
subconjunto conexo. Um espaco topol ogico diz-se localmente conexo se cada um dos
seus pontos tem uma vizinhanca conexa. E vale:
Teorema 1.1.2 Seja (X, ) um espaco topologico.
1. Se (X, ) e localmente conexo, entao as componentes conexas de (X, ) sao con-
juntos abertos (veja-se tambem o teorema 1.1.4).
2. Se (Y,
) e um espaco topologico, uma funcao contnua f : X Y transforma

subconjuntos conexos de X em subconjuntos conexos de Y .
1.1. TOPOLOGIA GERAL 103
Uma famlia / = A
i
[ i I de subconjuntos do conjunto X diz-se uma cobertura do
subconjunto C se C
iI
A
i
.
Se (X, ) e um espaco topol ogico e F X, F diz-se fechado (para ou em ) se XF
e aberto.
Tem-se:
1. X e sao conjuntos fechados.
2. A uniao de um n umero nito de subconjuntos fechados de X e um subconjunto
fechado de X.
3. A interseccao dos elementos de uma famlia de subconjuntos fechados de X e
um subconjunto fechado.
4. Se (Y,
) e um espaco topologico, uma funcao f : X Y e contnua se e apenas

se f
1
(B) e fechado em (X, ) sempre que B e fechado em (Y,
).
5. Se (X, ) e separado, entao os subconjuntos compactos de X sao fechados.
A aderencia ou fecho do conjunto C X no espa co topol ogico (X, ), e o menor
subconjunto fechado de X, para a relac ao de inclusao, que contem C e designa-se por
C.
Pode caracterizar-se a aderencia mais precisamente. Sejam ent ao (X, ) um espaco
topol ogico, A um subconjunto de X e x um elemento de X; x diz-se interior a A se
este e vizinhanca de x; x diz-se exterior a A se XA e vizinhanca de x, i. e., se x e
interior a XA; x diz-se fronteiro a A se n ao e interior nem exterior; o interior (resp.
exterior, fronteira) de A e o conjunto de todos os pontos interiores (resp. exteriores,
fronteiros) a A e designa-se por int(A) (resp. ext(A), fr(A)).
104 CAP

Teorema 1.1.4 Sejam (X, ) um espaco topologico e A um subconjunto de X.
1. X = int(A) fr(A) ext(A) e esta uniao e disjunta.
2.

A = A fr(A) = int(A) fr(A).
3. Sobre conjuntos conexos, vale o seguinte
(a) Se C e um subconjunto conexo de X e C D

C, entao D e conexo.
(b) As componentes conexas de um espaco topologico sao conjuntos fechados.
(c) As componentes conexas de um espaco topologico sao abertas se e apenas
se o espaco e localmente conexo.
Um espaco topologico (X, ) diz-se regular se para cada x X e cada conjunto A
tal que x A, existe B tal que x B B A.
Teorema 1.1.5 Se (X, ) e um espaco topologico localmente separado e regular, entao
e de Hausdor.
Dem. Tomem-se dois elementos distintos x, y X. Se um deles esta na vizinhanca
separada do outro que existe por hipotese existem (sub)vizinhancas disjuntas de
cada um deles. Se, por exemplo, y n ao est a na vizinhanca separada V de x, tome-se
B tal que x b B V ; B e XB s ao vizinhancas disjuntas respectivamente
de x e de y. 2
Se (X, ) e um espa co topol ogico e C X, C diz-se compacto (para ou em ) quando,
de qualquer cobertura de C constituda por conjuntos abertos, se pode extrair uma
subcobertura nita.
Teorema 1.1.6 Seja X um espaco topologico.
1. Se K e um subconjunto compacto de X, F K e F e fechado, entao F e
compacto.
2. Se X e de Hausdor, os sub-conjuntos compactos de X sao fechados.
Tambem para conjuntos compactos vale o seguinte
Teorema 1.1.7 Sejam X e Y espacos topologicos e f : X Y uma funcao contnua.
1. f(K) e compacto em Y se K e compacto em X.
2. Se X e Y sao de Hausdor, X e compacto, se considera f(X) como sub-espaco
topologico de Y e f e injectiva, entao f : X f(X) e homeomorsmo.
1.2. ESPAC OS M
ETRICOS 105
1.2 Espacos metricos
Esta secc ao tem como nalidade principal tratar uma versao do teorema do Ponto
Fixo, de Banach e o Lema de Lebesgue (1.2.6). Quanto ao primeiro, utilizare-
mos apenas uma formulac ao para espacos euclidianos R
p
de dimensao nita (1.2.3);
enunciamo-lo para espa cos metricos completos, ja que tal nao implica um esforco su-
plementar signicativo, para alem da revisao de algumas denic oes (para estudo mais
detalhado, pode utilizar-se, por exemplo, [14]; para um estudo dirigido ao teorema
1.2.5, consulte-se [4]). O Lema de Lebesgue encontra-se tambem demonstrado em [6].
Uma distancia
1
no conjunto nao vazio X e uma func ao
d : X X R
que goza das propriedades seguintes:
1. d(x, y) 0 (x, y X),
2. d(x, y) = 0 x = y (x, y X),
3. d(x, y) = d(y, x) (x, y X),
4. d(x, y) d(x, z) +d(z, y) (x, y, z X).
Um espaco metrico e um par (X, d) em que X e um conjunto n ao vazio e d e uma
dist ancia em X.
A bola aberta de centro a X e raio r R
+
e o conjunto denido por
B
r
(a) = x X[ d(x, a) < r
Podemos comecar por observar que
Teorema 1.2.1 Seja (X, d) um espaco metrico. O conjunto B
r
(a)[ a X & r R
+
e base para uma topologia em X, para a qual (X, ) e separado.

Uma sucess ao (x
n
)
nN
em X diz-se convergente no espaco metrico (X, d) quando, para
certo x X designado por limite de x
n
ou, abreviadamente limx
n
se tem, para
qualquer n umero real positivo , d(x
n
, x) < , para n sucientemente grande. E
convem acrescentar, na sequencia do teorema 1.2.1
1
Reservamos o termo metrica para as estruturas Riemannianas que viremos a tratar no Cap. 4
106 CAP

Teorema 1.2.2 Seja (X, d) um espaco metrico.
1. Se a sucessao (x
n
)
nN
e convergente, tem um so limite.
2. Um subconjunto C de X e fechado se e apenas se contem os limites de qualquer
das suas sucessoes convergentes, i. e., se x
n
C (n N) e x = limx
n
, entao
x C.
3. Um subconjunto C de X e compacto se e apenas se qualquer sucessao de termos
em C tem uma subsucessao convergente para um elemento de C.
A sucess ao (x
n
)
nN
em X dir-se- a de Cauchy se, para qualquer n umero real positivo
, d(x
n
, x
m
) < , para n e m sucientemente grandes. Um espa co metrico dir-se- a
completo se toda a sua sucess ao de Cauchy convergir.
1.2.1 Teorema do Ponto Fixo
Uma contraccao do espaco metrico (X, d) e uma aplica cao f : X X tal que, para
alguma constante k [0, 1[,
d(f(x), f(y)) kd(x, y) (x, y X).
Um ponto xo de uma aplica cao f : X X e um elemento x X tal que f(x) = x.
Teorema 1.2.3 (do Ponto Fixo) Toda a contraccao de um espaco metrico completo
tem um e so um ponto xo.
Uma demonstrac ao pode encontrar-se em [14, 7.24]. Interessa-nos apenas fazer as
seguintes observa coes:
Os espacos euclidianos usuais R
n
(n N) sao completos, portanto, quaisquer dos
seus conjuntos fechados sao completos quando munidos da restric ao da distancia em
R
n
, em particular
Teorema 1.2.4 As bolas fechadas B
r
(a) = x R
n
[ |x a| r (a R
n
, r > 0)
munidas da restricao da distancia euclidiana usual, sao espacos metricos completos.
E ainda mais precisamente, como consequencia do teorema 1.2.3:
Teorema 1.2.5 Se a funcao f : B
r
(a) B
r
(a) verica
|f(x) f(y)| k|x y| (x, y B
r
(a))
para certa constante k [0, 1[, entao existe um e so um elemento x B
r
(a) tal que
f(x) = x.
1.3. PARTIC

OES DA UNIDADE I 107
1.2.2 Lema de Lebesgue
O diametro do subconjunto A do espaco metrico X e designado por di am(A) e denido
por
di am(A) = supd(x, y)[ x, y A R +.
Teorema 1.2.6 (Lema de Lebesgue) Se (X, d) e um espaco metrico, K e um sub-
conjunto compacto de X e / = A
i
[ i I e uma cobertura de K por conjuntos
abertos, entao existe R
+
tal que, se C e um subconjunto de K de diametro infe-
rior a , existe i I tal que C A
i
.
Os n umeros deste teorema dizem-se n umeros de Lebesgue da cobertura / para o
conjunto K.
Dem. (do lema 1.2.6) Suponha-se que, seja qual for > 0 existe um conjunto
C
K tal que diam(C) < , mas C n ao est a contido em qualquer dos A

i
; em
particular, para cada n Z
+
, existem x
n
, y
n
C
1/n
que n ao estao simultaneamente
em qualquer dos A
i
. Como K e compacto, (x
n
) tem uma subsucessao convergente para
um elemento de K, digamos x
k
n
x; como d(x
n
, y
n
) <
1
n
, tambem y
k
n
x K;
mas, como / e uma cobertura de K por abertos, para certo i I, existe > 0 tal
que B
(x) A
i
; ora, para n sucientemente grande, x
k
n
, y
k
n
B
(x), o que contradiz

a escolha de x
n
e y
n
; portanto existem n umeros de Lebesgue da cobertura / para K.
2
1.3 Partic oes da unidade I
1.3.1 Funcoes de suporte compacto
Denicao 1.3.1 Dado um espaco topologico (X, ) e uma funcao f : X R, o
suporte de f e o conjunto supp(f) denido por
supp(f) = x X[ f(x) ,= 0
108 CAP

Exemplo 1.3.1 Se (X, d) e um espaco metrico com pelo menos dois elementos dis-
tintos a, b, e a func ao f
(a,b)
: R R e dada por
f
(a,b)
(t) =
_
_
1 [t[
d(a,b)
3
2d(a,b)3t
d(a,b)
d(a,b)
3
< [t[ <
2d(a,b)
3
,
0 [t[
2d(a,b)
3
,
fazendo r =
d(a,b)
3
, a funcao real x
(a,b)
(x) = f
(a,b)
(d(x, a)) (x X) e contnua e
verica
(a,b)
(x)
_
_
= 1 x B
r
(a)
[0, 1] x B
2r
(a)B
r
(a)
= 0 XB
2r
(a);
em particular,
(a,b)
vale 1 em B
r
(a) e
(a,b)
(b) = 0.
Teorema 1.3.1 Em qualquer espaco euclidiano de dimensao nita R
n
podem denir-
se funcoes contnuas de suporte compacto.
Dem. Basta observar que as bolas fechadas nestes espacos s ao conjuntos compactos
e ter em conta o exemplo que acab amos de estudar. 2
Mas pode exigir-se mais. Por exemplo, deduz-se do Lema de Urysohn (vide [14]),
por exemplo, que
Teorema 1.3.2 Sejam quais forem os subconjuntos de R
n
, respectivamente, fechado,
F ,= , e aberto, A, tais que F A, existe uma funcao contnua : R
n
[0, 1] tal
que (F) = 1 & supp() A.
Quanto ` a diferenciabilidade veja-se a secc ao 4.5.
1.3.2 Paracompacidade
Sejam (X, ) um espaco topol ogico, C um subconjunto de X e ( = C
i
[ i I
cobertura de C; um renamento de ( e uma cobertura (
de C tal que qualquer

elemento de (
esta contido em algum elemento de (; ( diz-se localmente nita se,

para cada c C, existe uma vizinhanca V de c, tal que i I : C
i
V ,= e nito.
1.3. PARTIC

OES DA UNIDADE I 109
Denicao 1.3.2 Um espaco topologico (X, ) diz-se paracompacto se for separado
e qualquer cobertura de X por abertos de tem um renamento localmente nito, cujos
elementos tambem sao conjuntos abertos.
Denicao 1.3.3 Seja (X, ) um espaco topologico. Uma particao da unidade em
(X, ) subordinada à cobertura ( = C
i
[ i I e uma famlia de funcoes contnuas
j
: X R (j J) tal que
1. supp(
j
)[ j J e (uma cobertura) localmente nita (de X).
2. Para cada j J, existe i I, tal que supp(
j
) C
i
.
3.
jJ

j
(x) = 1 para qualquer x X.
A condic ao de nitude local da cobertura considerada nesta deni cao permite dar
sentido à ultima condi cao; vejamos um exemplo simples, para o qual convem ter pre-
sentes mais uma denic ao e alguns resultados cuja demonstracao pode ser encontrada
em [14].
Denicao 1.3.4 Um espaco topologico (X, ) diz-se regular se os conjuntos singu-
lares sao fechados e se verica a condicao
x X V [x V U x U U V ]
1. Se (X, ) e regular, entao e paracompacto sse para qualquer cobertura de X
por conjuntos abertos existe uma outra cobertura por conjuntos abertos cujas
aderencias formam um renamento localmente nito da primeira.
2. Todo o espaco metrico e regular e paracompacto.
Exemplo 1.3.2 Sejam ( uma cobertura do espaco metrico (X, d) por conjuntos aber-
tos, (
um renamento localmente nito de ( nas condicoes do n umero 1 do teorema

anterior. Dena-se
g
V
(x) = d(x, XV ) (V (
; x X)
V
(x) =
g
V
(x)
UC
g
U
(x)
(V (
; x X).
O conjunto
V
[ V (
e uma parti cao da unidade em X, subordinada à

cobertura (.
110 CAP

Captulo 2
Teorema da Funcao Inversa
2.1 F ormula de Taylor. Teorema da Media
No que se segue, o domnio de uma func ao diferenci avel sup oe-se aberto, por denic ao.
Se a func ao f : A R
m
R
n
e uma fun cao diferenci avel no ponto x A, designamos
por derivada de f em x a func ao linear Df
x
: R
m
R
n
tal que
lim
h0
|f(x +h) f(x) Df
x
(h)|
|h|
= 0.
A matriz de Df
x
na base can onica e a matriz Jacobiana de f em x,
_
f
i
x
j
_
nm
tambem
designada por Jac(f, x); a func ao x Df
x
ser a designada por derivada de f ou
derivada global de f. Repare-se que Df
x
e um isomorsmo (resp. monomorsmo ou
epimorsmo) se e apenas se Jac(f, x) e quadrada e tem determinante nao nulo (resp.
tem caracterstica m n ou n m).
Demonstrac oes dos teoremas que se seguem, podem encontrar-se em [4, Vol. 1] ou em
[11].
Comecamos com o teorema da Media para fun coes reais de uma vari avel real e uma
sua generalizac ao.
Teorema 2.1.1 (de Lagrange) Se a funcao f : [a, b] R R e contnua e e
diferenciavel em ]a, b[, entao existe c ]a, b[ tal que
f(b) f(a) = f
(c)(b a). (2.1)

201
202 CAP
ITULO 2. TEOREMA DA FUNC

AO INVERSA
Este teorema generaliza-se por:
Teorema 2.1.2 (de Taylor) Se f :]a , a + [ R R e de classe C
p
e [h[ < ,
entao
f(a +h) = f(a) +
p
i=1
f
(i)
(a)
i!
h
i
+R
p
(a, h), (2.2)
onde R
p
(a, h) pode tomar as seguintes formas
_
1
0
(1 t)
p1
(p 1)!
[f
(p)
(a +th) f
(p)
(a)]h
p
dt
ou, se f
(p+1)
existe em ]a , a +[ e e integravel entre a e a +h,
_
1
0
(1t)
p
p!
[f
(p+1)
(a +th)]h
p+1
dt,
ou
(1)
p
p!
f
(p+1)
(a +h)h
p+1
, para certo ] 1, 1[,
ou ainda, se f
(p+1)
e contnua entre a e a +h,
h
p+1
(p + 1)!
f
(p+1)
(a +h), para certo ] 1, 1[,
Este resultado e tambem um lema para a obtenc ao de uma f ormula de Taylor multi-
dimensional. Para cada func ao f : A R
m
R, dene-se a notac ao seguinte:
x = (x
1
, , x
m
) R
m
= (
1
, ,
m
) N
m
0
[[ =
m
j=1
j
x
= x
1
1
x
m
m
h = (h
1
, , h
m
) R
m
h
= h
1
1
h
m
m
_
i
_
=
i!
1
!
m
!
D
i
f
x
(h) =
_
m
j=1
f
x
j
(x)h
j
_
(i)
=
||=i
_
i
_

i
f
x
(x)h
.
2.1. F
ORMULA DE TAYLOR. TEOREMA DA M
EDIA 203
Teorema 2.1.3 (I F ormula de Taylor) Se a funcao f : B
(a) R
m
R e de
classe C
p
e |h| < , entao
f(a +h) = f(a) +
p
i=1
1
i!
D
i
f
a
(h)
+
_
1
0
(1 t)
p1
(p 1)!
[D
p
f
a+th
D
p
f
a
](h)dt
Em particular, designando por H(f, a) a matriz Hessiana de f em a,
_

2
f
x
i
x
j
(a)
_
mm
,
Teorema 2.1.4 Se a funcao f : B
(a)R
m
R e de classe C
2
e |h| < , entao
f(a +h) = f(a) + Df
a
(h) +
1
2
h
T
H(f, a)h
+
_
1
0
(1 t)h
T
[H(f, a +th) H(f, a)]hdt
Se f = (f
1
, , f
n
) : A R
m
R
n
, h R
m
e e
1
, , e
n
designa a base canonica
de R
n
, a nota cao e, de novo, estendida do seguinte modo:
h
(i)
= (h, h, , h) (R
m
)
i
D
i
f
x
(h
(i)
) =
n
j=1
D
i
f
j
(x)(h)e
j
.
E vale a reformulac ao do teorema 2.1.3:
Teorema 2.1.5 (II Formula de Taylor) Se a funcao f : B
(a) R
m
R
n
e de
classe C
p
e |h| < , entao
f(a +h) = f(a) +
p
i=1
1
i!
D
i
f
a
(h
(i)
)
+
_
1
0
(1 t)
p1
(p 1)!
[D
p
f
(a+th)
D
p
f
a
](h
(p)
)dt
Uma generalizac ao mais imediata do teorema 2.1.1 e a seguinte, onde

J(f, ) designa
a matriz cuja i-esima linha (1 i n) e
f
i
x
1
(a +
i
h)
f
i
x
m
(a +
i
h),
para certos
i
]0, 1[.
204 CAP

AO INVERSA
Teorema 2.1.6 (da Media) Se A e um subconjunto aberto de R
m
, f e diferenciavel
e o segmento de recta [a, a +h] A, entao, para certos
i
]0, 1[ (1 i n),
f(a +h) f(a) =

J(f, )h
2.2 Teorema da Funcao Inversa
Teorema 2.2.1 Sejam A um subconjunto aberto nao vazio de R
n
, f : A R
n
uma
funcao de classe C
p
(1 p ), a A e b = f(a). Se Df
a
e um isomorsmo de
R
n
, entao
1. Existem vizinhancas abertas U de a e V de b tais que
(a) f : U V e bijectiva
(b) f
1
: V U e de classe C
p
2. Para qualquer x U
Df
1
f(x)
= [Df
x
]
1
Uma func ao f : A R
n
B R
n
diz-se um difeomorsmo de classe C
p
se for
bijectiva, de classe C
p
, e a sua inversa f
1
: B A tambem for de classe C
p
; observe-
se que, em particular, o contradomnio de um difeomorsmo e aberto por denic ao.
Dem. (de 2.2.1) A segunda asserc ao vale desde que as v arias func oes descritas
estejam denidas, em virtude do Teorema da Func ao Composta, aplicado à composic ao
f
1
f.
Designe-se a funcao identidade de R
n
por I.
I. Reducao. Basta demonstrar o teorema supondo
a = 0 = b & Df
0
= I (2.3)
Prova: Dena-se
F(x) = [Df
a
]
1
[f(x +a) b] (x A a)
Tem-se que F e uma funcao de classe C
p
, F(0) = 0 e DF
0
= [Df
a
]
1
Df
a
= I.
Observe-se que x x + a e y y b s ao translac oes e portanto func oes bijectivas
de classe C
, digamos T
a
e T
b
respectivamente, com inversas respectivamente T
a
2.2. TEOREMA DA FUNC

AO INVERSA 205
e T
b
. Se U
1
e V
1
s ao vizinhancas de zero e F : U
1
V
1
e bijecc ao de classe C
p
,
ent ao U = U
1
+ a e V = V
1
+ b s ao vizinhan cas respectivamente de a e de b e
f : U (T
b
Df
a
T
b
)(V ) e a bijec cao de classe C
p
, dada por f = T
b
Df
a
F T
a
ou seja f(x) = Df
a
(F(x a)) + b (x U).
Supomos daqui em diante que vale (2.3).
II. Pontos xos
Considerem-se as funcoes g e g
y
denidas por
g(x, y) = y +x f(x) g
y
(x) = g(x, y) (x A, y R
n
)
Para cada y R
n
, a imagem inversa de y por f, x = f
1
(y) e soluc ao da equa cao
em x
g
y
(x) = x
Interessa assim encontrar condic oes em x e y de modo a que g
y
seja contraccao de
algum espa co metrico completo, para podermos aplicar o Teorema do Ponto Fixo
1.2.5.
Pelo Teorema da Media (2.1.6), xando r > 0 tal que

B
r
(0) A, se
M = n m ax[
g
j
x
i
(x)[ : 1 i, j n & x

B
r
(0), (2.4)
M nao depende de y e
|g
y
(x
1
) g
y
(x
2
)| M|x
1
x
2
| (x
1
, x
2

B
r
(0)), (2.5)
pois g e de classe C
1
e

B
r
(0) e um conjunto compacto.
Como
gj
x
i
(0) = 0 (1 i, j n), pois a matriz jacobiana de f em zero e a matriz
identidade (vide (2.3)), tomando r sucientemente pequeno, podemos supor que o
segundo membro em (2.4) e menor que
1
2
, em particular podemos supor
0 M
1
2
< 1. (2.6)
Por outro lado, se x

B
r
(0),
|g
y
(x)| |y| +|x f(x)| = |y| +|x f(x) (0 f(0))|
= |y| +|g
y
(x) g
y
(0)|
|y| +
1
2
|x| (por(2.6) e (2.5))
|y| +
r
2
|x|.
206 CAP

AO INVERSA
Podemos concluir que
g
y
:

B
r
(0)

B
r
(0) e g
y
e contractiva se y

B
r
2
(0)
A func ao f :

B
r
(0)

B
r
2
(0) e ent ao bijectiva e
f
1
:

B
r
2
(0)

B
r
(0)
III. Continuidade
A func ao f
1
:

B
r
2
(0)

B
r
(0) e contnua, pois
|f
1
(y
1
) f
1
(y
2
)| = |x
1
x
2
|
|f(x
1
) f(x
2
)| +|(x
1
f(x
1
)) (x
2
f(x
2
))|
|y
1
y
2
| +
1
2
|x
1
x
2
|
= |y
1
y
2
| +
1
2
|f
1
(y
1
) f
1
(y
2
)|
por (2.5) e (2.6); em virtude do que se obtem
|f
1
(y
1
) f
1
(y
2
)| 2|y
1
y
2
| (|y
1
|, |y
2
|
r
2
). (2.7)
IV. Vizinhancas abertas de zero
A continuidade de f garante que, seja qual for s ]0,
r
2
[, f
1
(B
s
(0)) e um subconjunto
aberto da bola fechada

B
r
(0). Vamos ver que, para algum desses s, a imagem inversa
correspondente e um aberto genuino de R
n
, pois est a contida em B
r
(0). Se isto nao
acontecesse, existiriam sucessoes (y
m
) e (x
m
) tais que, para qualquer m N,
x
m
= f
1
(y
m
) & |y
m
| < s
m
0 & |x
m
| = r
o que contraria a continuidade de f
1
em zero, quando se observa que f
1
(0) = 0.
Podemos ent ao escolher um s apropriado e tomar U = f
1
(B
s
(0)) & V = B
s
(0).

AO INVERSA 207
V. Diferenciabilidade da funcao inversa.
Vamos vericar que
D(f
1
)
y
= [Df
f
1
(y)
]
1
(y V )
Faca-se f(x) = y e, para k sucientemente pequeno, de modo que y + k V , e
f(x +h) = y +k. Tem-se
|f
1
(y +k) f
1
(y) [Df
f
1
(y)
]
1
(k)|
|k|
=
|x +h x [Df
x
]
1
(k)|
|k|
.
O segundo membro pode escrever-se
|h|
|k|
_
_
_
_
[Df
x
]
1
_
Df
x
(h) (f(x +h) f(x))
|h|
__
_
_
_
e, para algum N > 0,
|f
1
(y +k) f
1
(y) [Df
f
1
(y)
]
1
(k)|
|k|
2N
|(f(x +h) f(x)) Df
x
(h)|
|h|
Como da continuidade de f
1
se obtem lim
k0
h = 0, segue-se a diferenciabilidade de
f
1
da diferenciabilidade de f.
VI. A funcao inversa e de Classe C
p
.
Observando que a invertibilidade de uma matriz real nn e equivalente à n ao nulidade
do seu determinante, que o determinante e uma fun cao contnua dos coecientes da
matriz e que inverter uma matriz se traduz em somas de produtos e trocas de coor-
denadas para o c alculo da matriz adjunta divididos pelo determinante, podemos
concluir que a inversao de uma matriz e uma funcao de classe C
. Identicando a
derivada Df
x
com a matriz jacobiana de f em x, podemos ent ao observar que a func ao
y
_
Df
f
1
(y)
1
(2.8)
e contnua e concluir que f
1
e de classe C
1
, pois a sua derivada e composic ao de
func oes contnuas. Tomando em conta que x Df
x
e de classe C
p1
, porque f e, por
hip otese, de classe C
p
, a utilizac ao iterada do Teorema da Funcao Composta permite
concluir que f
1
e de classe C
p
. Observando que f e de classe C
se for de classe C
p
para qualquer p N, o teorema ca demonstrado tambem para p = . 2
208 CAP

AO INVERSA
2.3 Teorema da Funcao Implcita
O teorema seguinte e, de facto, equivalente ao teorema da Funcao Inversa e pode
demonstrar-se independentemente (vide [13]).
Teorema 2.3.1 (da Funcao Implcita) Suponha-se que (a, b) A R
m+n
, que a
funcao (x, y) f(x, y) : A R
n
e de classe C
p
(1 p ) e que D
y
f(a, b): R
n
R
n
e um isomorsmo. Nestas condicoes existem vizinhancas abertas U de a em R
m
e V
de b em R
n
e uma so funcao : U V de classe C
p
que verica
(a) = b & x U f(x, (x)) = f(a, b) (2.9)
Tem-se tambem
D = [D
y
f]
1
D
x
f (2.10)
A condicao de isomorsmo e equivalente a que a matriz jacobiana
_
f
i
y
j
(a, b)
_
1i,jn
tenha determinante nao nulo. A express ao em (2.10) pode tambem
traduzir-se por
_
i
x
j
(x)
_
1in, 1jm
=
_
f
i
y
j
(x, (x))
_
1
1i,jn
_
f
i
x
j
(x, (x))
_
1in, 1jm
.
Dem. Designando por T
v
a translac ao segundo o vector v num espaco euclidiano,
podemos supor que a = b = 0 e f(a, b) = 0, tomando T
f(a,b)
f T
(a,b)
.
Dena-se
F(x, y) = (x, f(x, y)) ((x, y) A).
Repare-se que
F(0, 0) = (0, 0) (2.11)
F : A R
m+n
e uma func ao de classe C
p
e, designando por I a matriz identidade
mm e por 0 a matriz nula mn, tem-se
Jac(F, (0, 0)) =
_
I 0
f
i
x
j
(0, 0)
f
i
y
j
(0, 0)
_
pelo que DF
(0,0)
e um isomorsmo e podemos aplicar o teorema da Func ao Inversa
(2.2.1); existem ent ao vizinhancas U
1
e V
1
de (0, 0) em R
m+n
de modo que F : U
1
V
1

AO IMPL
ICITA 209
e difemorsmo de classe C
p
. Suponhamos que, para certas func oes de classe C
p
,
H
1
: V
1
R
m
e H
2
: V
1
R
n
se tem
F
1
(u, v) = (H
1
(u, v), H
2
(u, v)).
Nestes termos, tem-se
(u, v) = F F
1
(u, v) = F(H
1
(u, v), H
2
(u, v))
= (H
1
(u, v), f(H
1
(u, v), H
2
(u, v)))
Pelo que
H
1
(u, v) = u & f(u, H
2
(u, v)) = v. (2.12)
Em particular
f(u, H
2
(u, 0)) = 0 ((u, 0) V
1
). (2.13)
Tomando vizinhancas abertas de zero V
11
R
m
e V
12
R
n
, de modo que
V
11
V
12
V
1
, denindo (x) = H
2
(x, 0) e tambem
V = V
12
& U = V
11

1
(V ),
obtem-se:
1. : U V e e de classe C
p
.
2. (0) = 0, pois F(0, (0)) = F(H
1
(0, 0), H
2
(0, 0)) = F(F
1
(0, 0)) = (0, 0), por
(2.11) e F : U
1
V
1
ser bijectiva.
3. f(x, (x)) = 0, em face de (2.13).
A unicidade de resulta tambem da bijectividade de F; quanto à formula para as
derivadas (2.10), observe-se que, em virtude do Teorema da Func ao Composta, como
vale (2.9), tem-se
0 = D
x
(x f(x, (x))) = D
x
f
(x,(x))
+D
y
f
(x,(x))
D.
Resolvendo em ordem a D, encontra-se a f ormula pretendida. 2
210 CAP

AO INVERSA
2.4 Teorema da Submersao
Dada uma fun cao diferenci avel f : A R
n
R
m
, um elemento a A dir-se- a regular
se Df
a
: R
n
R
m
e sobrejectiva ou, de outro modo, se a caracterstica da matriz
jacobiana Jac(f, a) e m; um valor b f(A) dir-se- a regular se todos os elementos
de f
1
(b) sao regulares; a func ao e uma submersao em a, se a e ponto regular, e
submersao local, ou simplesmente submersao, se for submers ao em todos os pontos do
seu domnio.
Teorema 2.4.1 (da Submersao) Sejam f : A R
n
R
p
uma funcao de classe
C
k
(1 k ) e a um elemento regular de A. Existem uma vizinhanca V de a e
uma vizinhanca U de 0, em R
n
, e duas mudancas de variaveis : V U, de classe
C
k
, e : R
p
R
p
, de classe C
tais que
1. (a) = 0 & (f(a)) = 0
2. f : [a, b] R R(x
1
, , x
n
) = (x
1
, , x
p
)
Dem. Como a e suposto regular, a matriz jacobiana Jac(f, a) tem caracterstica
p. Designe-se por T
v
a translac ao pelo vector v num espa co euclidiano. Permutando
adequadamente as coordenadas de x R
n
, digamos que por meio de um isomorsmo
: R
n
R
n
, obtem-se Jac(T
f(a)
f T
a
, 0) = [J [M] onde J e uma matriz p p
de caracterstica p. Faca-se = T
f(a)
,
1
= T
a
e

f = f
1
. Seja ainda
F : dom(

f) R
n
= R
p
R
np
R
p
R
np
= R
n
dada por
F(x, y) = (

f(x, y), y)
Por um lado F(0) = 0, por outro, designando por I a matriz identidade (np)(np)
e por 0 a matriz nula (n p) p, tem-se
Jac(F, 0) =
_
J M
0 I
_
Pelo Teorema da Func ao Inversa (2.2.1), existem vizinhancas de zero U
1
e U em R
n
,
tais que F : U
1
U e difeomorsmo de classe C
p
. Sejam V =
1
(U
1
) e = F
1
1
:
V U. A fun cao f
1
verica as condic oes pretendidas, como pode ser vericado
com auxlio do diagrama comutativo seguinte, onde
1
designa a projecc ao canonica
R
p
R
np
R
p
(x, y) x
2.5. TEOREMA DA IMERS
AO 211
6
1
-
f
V
?
R
p
-
f
R
p
U
1
:
F
U
f
1
=
1
2
Uma aplicacao f : A R
n
R
p
diz-se aberta se as imagens f(U) de subconjuntos
abertos U s ao conjuntos abertos.
Corolario 2.4.1 Qualquer submersao local e uma aplicacao aberta.
Dem. Suponha que f : A R
n
R
p
e uma submersao local, que A
1
e um conjunto
aberto e que a A
1
A. Como f e submers ao, n p; vamos ver que existe uma
vizinhanca aberta V
f(a)
A
1
.
Considerem-se as func oes : U V e : R
p
R
p
, dadas como no teorema
anterior para o ponto a; e um difeomorsmo, portanto (U A
1
) e aberto em R
n
,
porque U tambem e; por outro lado, f : [a, b] R R e uma projecc ao, portanto
e aberta, logo f(U A
1
) = f : [a, b] R R((U A
1
)) e e aberto em R
p
;
como e difeomorsmo, f(U A
1
) =
1
((f(U A
1
))) e e aberto em R
p
; tome-se
V
f(a)
= f(U A
1
). 2
2.5 Teorema da Imersao
Uma fun cao diferenciavel f : A R
n
R
m
dir-se- a uma imersao em a se
Df
a
: R
n
R
m
e injectiva ou, de outro modo, se a caracterstica da matriz jaco-
biana Jac(f, a) e n; f e imersao ou imersao local se for imersao em todos os pontos
do seu domnio.
212 CAP

AO INVERSA
Teorema 2.5.1 (da Imersao) Suponha-se que f : A R
m
R
m+n
e uma funcao
de classe C
p
(1 p ), que a A e que Df
a
: R
m
R
m+n
e um monomorsmo.
Entao existem, vizinhancas abertas de a, U
a
A e de f(a), V
f(a)
R
m+n
, vizinhancas
abertas de zero, U R
m
e V R
m+n
e mudancas de coordenadas : U
a
U, de
classe C
, e : V
f(a)
V , de classe C
p
, tais que,
1. (a) = 0 & (f(a)) = 0,
2. para qualquer x U, f : [a, b] R R(x) = (x, 0) R
m+n
.
Dem. Facamos reduc oes iniciais, como no teorema 2.4.1. Designe-se por T
v
a
translac ao pelo vector v num espaco euclidiano. Por meio de uma permutac ao de
coordenadas
1
em R
m+n
, e denindo

f =
1
T
f(a)
f T
a
: Aa R
m+n
, tem-se
f(0) = 0
Jac(

f, 0) =
_
J
M
_
para certas matrizes J /(mm, R) e de caracterstica m, e M /(n m, R).
Dena-se mais uma func ao F : (A a) R
n
R
m+n
R
m+n
por
F(x, y) =

f(x) + (0, y).
Designando por I a matriz identidade n n e por 0 a matriz nula mn, tem-se
Jac(F, (0, 0)) =
_
J 0
M I
_
pelo que podemos utilizar o teorema da Fun cao Inversa (2.2.1) para concluir a exis-
tencia de vizinhancas abertas de zero em R
m+n
,

U (A a) R
n
& V tais que
F :

U V e um difeomorsmo. Tomando nalmente
U = xA a : (x, 0)

U,
U
a
= U +a = T
a
(U),
V
f(a)
= T
f(a)
(
1
1
(V )),
= T
a
[U
a
= F
1

1
T
f(a)
[V
f(a)
,
terminamos a demonstracao. O diagrama comutativo seguinte ilustra esta construc ao;
1
designa o mergulho can onico ou imersao can onica e
2
=
1
T
f(a)
1
: R
m
R
m+n
x (x, 0).
2.6. LEMA DE MORSE 213
U
a
?
U
-
f
V
f(a)
?
2
-
f
V
@
@
@
@R
A
A
A
A
A
A
A
A
A
A
A
A
AU
U
= F
1

2
F
1
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
Pq
1
= f
1
Este teorema pode ser reformulado do seguinte modo
Teorema 2.5.2 Suponha-se que : A R
k
R
n
e uma funcao de classe C
p
(1 p ), que a A e que a matriz jacobiana Jac(, a) tem caracterstica k.
Entao existem, vizinhancas abertas de a, U
a
A, de (a), V
(a)
R
n
e uma funcao
g : V
(a)
U
a
, tais que,
g = id
|U
a
.
Em particular
1. : U
a
(U
a
) e bijectiva
2. a funcao inversa
1
: (U
a
) U
a
e restricao de uma funcao de classe C
p
.
2.6 Lema de Morse
Um elemento a do domnio de uma func ao diferenci avel f dir-se- a crtico ou ponto
crtico, se Df
a
n ao e sobrejectiva; se a e ponto crtico de f, entao f(a) diz-se valor
crtico de f (compare-se com as denicoes de elemento regular e de valor regular na
secc ao 2.4). De facto so nos interessam casos em que a dimens ao do domnio de f e
superior ou igual à do seu contradomnio. Por exemplo, e bastante simples demonstrar:
Teorema 2.6.1 Dada uma funcao diferenciavel f : A R
n
R, um ponto a A e
crtico se e apenas se todas as derivadas parciais
f
x
i
(a) sao nulas.
214 CAP

AO INVERSA
Um ponto crtico a da func ao f dir-se- a degenerado se a matriz Hessiana H(f, a) n ao
for invertvel.
No teorema que se segue, se = 0 o primeiro somat orio entende-se como vazio, ou
valendo zero, se = n o mesmo se deve entender quanto ao segundo somat orio.
Teorema 2.6.2 (Lema de Morse) Seja f : A R
n
R uma funcao de classe
C
. Suponha que a A e um ponto crtico nao degenerado de f. Entao existem uma

vizinhanca de zero, V em R
n
, uma vizinhanca, U, de a, tambem em R
n
, um n umero
inteiro 0 e uma mudanca de variaveis de classe C
, g : U V , tais que
f(x
1
, x
2
, , x
n
) = f(a)
i=1
g
i
(x)
2
+
n
i=+1
g
i
(x)
2
,
ou
f(g
1
(y
1
, y
2
, , y
n
)) = f(a)
i=1
y
2
i
+
n
i=+1
y
2
i
.
O n umero diz-se o ndice do ponto crtico a.
Lema 2.6.1 Seja f : A R
n
R uma funcao de classe C
. Suponha que
0 A, f(0) = 0 e 0 e um ponto crtico f. Entao existem > 0 e funcoes
h
ij
: B
(0) R
n
R (1 i, j n) de classe C
tais que
1. h
i,j
(0) =
1
2
2
f
x
i
x
j
(0) (1 i, j n)
2. h
ij
h
ji
(1 i, j n)
3. f(x
1
, x
2
, , x
n
) =
n
i,j=1
h
ij
(x
1
, , x
n
)x
i
x
j
.
Dem. Observe-se que, se (x
1
, , x
n
) B
(0) A, para algum > 0, entao

f(x
1
, , x
n
) =
_
1
0
d
dt
f(tx
1
, , tx
n
)dt
=
n
i=1
x
i
_
1
0
f
x
i
(tx
1
, , tx
n
)dt
=
n
i,j=1
x
i
x
j
_
[0,1]
2
2
f
x
i
x
j
(tsx
1
, , tsx
n
)tdsdt.
Pelo que, para vericar 3, basta tomar
h
ij
(x
1
, , x
n
) =
_
[0,1]
2
2
f
x
i
x
j
(tsx
1
, , tsx
n
)tdsdt.
A condic ao 1 obtem-se por calculo directo, a condic ao 2 resulta da igualdade de
derivadas mistas para funcoes de classe C
. 2
Lema 2.6.2 Sejam um n umero real positivo e h
ij
: B
(0) R
n
R (1 i, j n)
funcoes de classe C
tais que as matrizes [h

ij
(x
1
, , x
n
)] sao simetricas e [h
ij
(0)]
e invertvel. Entao existem um n umero inteiro 0, um n umero real > 0 e um
difeomorsmo g = (g
1
, , g
n
) : B
(0) R
n
B
(0) R
n
de classe C
tais que
n
i,j=1
h
ij
(x)x
i
x
j
=
i=1
g
i
(x)
2
+
n
i=+1
g
i
(x)
2
Observac oes:
1. De novo somat orios vazios devem entender-se como valendo zero.
2. Pode acontecer g(B
(0)) R
n
.
Dem. Dena-se G
r
= (G
r
1
, , G
r
n
) e
F(x) =
r1
i=1
G
r
i
(x)
2
+
ri,jn
H
ij
(G
r
(x))G
r
i
(x)G
r
j
(x). (2.14)
Tomando r = 1 temos a express ao inicial do enunciado com G
1
igual à func ao iden-
tidade e H
ij
= h
ij
. Seja y = (y
1
, , y
n
) : R
n
R
n
a mudan ca de coordenadas que
diagonaliza H(0) = [H
ij
(0)], i.e.,
x
T
H(0)x =
n
i=1
y
i
(x)
2
.
Como aquela matriz e invertvel, a sua diagonalizada n ao tem zeros na diagonal, em
particular H
11
(0) ,= 0. De facto, para > 0 sucientemente pequeno, y (y) =
_
[H
11
(y)[ e de classe C
e positiva na B
(0).
216 CAP

AO INVERSA
Dena-se ainda g
2
= (g
2
1
, , g
2
n
) por
_
g
2
1
(y) = (y)
_
y
1
+
n
j=2
H
j1
(y)
H
11
(y)
y
j
_
g
2
i
(y) = y
i
se i > 1
A matriz jacobiana de g
2
em 0 verica
Jac(g
2
, 0) =
_
_
(0)
g
2
1
y
2

g
2
1
y
n
0
0
I
_
_
tem determinante n ao nulo e consequentemente, pelo Teorema da Funcao Inversa
(2.2.1), para algum > 0, g
2
: B
(0) g
2
(B
(0)) e um difeomorsmo de classe C
.
Reescrevendo (2.14), em face da simetria H
ij
= H
ji
F(x) = y
1
y
1
H
11
(y) + 2
n
j=2
y
j
y
1
H
j1
(y) +
1<i,jn
H
ij
(y)y
i
y
j
= g
2
1
(y)
2
1
H
11
(y)
_
j>1
H
j1
(y)y
j
_
2
+
1<i,jn
H
ij
(y)y
i
y
j
= g
2
1
(y)
2
+
1<i,jn
H
ij
(y)g
2
i
(y)g
2
j
(y)
para certas fun coes

H
ij
, de classe C
e tambem invariantes para permuta cao dendices

(esta simetria e sempre garantida por
1
2
(

H
ij
+

H
ji
)); o sinal em e determinado pelo
sinal de H
11
. Observando que, por sua vez, x y = y(x) e tambem difeomorsmo de
classe C
, de R
n
em R
n
, foi iniciada a diagonaliza cao de F(x) com G
2
(x) = g
2
(y(x)).
Repare-se ainda que o discriminante da forma em 0 continua a ser nao nulo (o que
pode concluir-se, por exemplo, do facto de as

H
ij
serem combinac oes lineares das H
ij
).
Supondo que esta diagonalizac ao possa ser feita ate ` a forma em (2.14), o raciocnio
anterior pode ser adaptado de acordo com as transformac oes seguintes, partindo
de (2.14): a mudanca de vari aveis y mantem G
r
i
(1 i r 1) e diagonaliza
ri,j
u
i
u
j
H
ij
(0); (y) =
_
[H
rr
(y)[, g
2
passa a g
r+1
e
_
g
r+1
1
(y) = (y)
_
y
1
+
n
j=r+1
H
jr
(y)
H
rr
(y)
y
j
_
g
r+1
i
(y) = y
i
se i ,= r;
a matriz jacobiana passa a ser
_
_
I 0
g
r+1
r
y
1
(0)
g
r+1
r
y
n
0 I
_
_
e tambem
F(x) =
r1
j=1
G
r
j
(x)
2
+y
r
(G
r
(x))y
r
(G
r
(x))H
rr
(y(G
r
(x)))
+2
n
j=r+1
y
j
(G
r
(x))y
r
(G
r
(x))H
jr
(y) +
r<i,jn
H
ij
(y)y
i
(G
r
(x))y
j
(G
r
(x))
=
r1
j=1
G
r
j
(x)
2
g
r
r
(y(G
r
(x)))
2
1
H
rr
(y)
_
j>r
H
jr
(y(G
r
(x)))y
j
(G
r
(x))
_
2
+
r<i,jn
H
ij
(y(G
r
(x)))y
i
(G
r
(x))y
j
(G
r
(x))
=
r
j=1
G
r+1
j
(x)
2
+
r<i,jn
H
ij
(G
r+1
(x))g
r+1
i
(y(G
r
(x))g
r+1
j
(y(G
r
(x));
donde resulta
F(x) =
r
j=1
G
r+1
j
(x)
2
+
r<i,jn
H
ij
(G
r+1
(x))G
r+1
i
(x)G
r+1
j
(x),
com as denic oes adequadas. Pode assim prosseguir-se ate eliminar todos os factores
H. Finalmente separam-se as parcelas negativas e positivas e observa-se que, numa
matriz diagonalizavel de coecientes contnuos os valores proprios mantem localmente
o sinal, pelo que e localmente constante. 2
Dem. (do Lema de Morse) Basta agora observar que nao se perde generalidade
em supor que a = 0 e f(0) = 0 e aplicar os lemas anteriores. 2
218 CAP

AO INVERSA
Captulo 3
Equacoes Diferenciais Ordinarias
3.1 Introducao
Este captulo e essencialmente uma demonstracao do Teorema de Existencia e
Unicidade 3.1.1.
Notacao: pr
i
: R
n
R designa a i-esima projec cao can onica:
pr
i
(x
1
, , x
i
, , x
n
) = x
i
(1 i n).
Denicao 3.1.1 Dado um n umero real nao negativo L, uma funcao f : A B
R
m
R
n
R
k
diz-se Llipschitziana na segunda variavel se
t A x, y B |f(t, x) f(t, y)| L|x y|. (3.1)
A funcao f : A B R
m
R
n
R
k
sera localmente lipschitziana na segunda
variavel se cada (x, y) A B tiver uma vizinhanca, onde f e Llipschitziana na
segunda variavel, para algum L [0, [.
Notacao
R
+
:= R +:=] , +]

R
:= R := [, +[

R:= [, +]
301
302 CAP
ITULO 3. EQUAC

OES DIFERENCIAIS ORDIN
ARIAS
Teorema 3.1.1 Suponha-se que e um subconjunto aberto nao vazio de R
1+n
. Se a
funcao f : R
n
e contnua e localmente Lipschitziana na segunda variavel, para
qualquer (t
0
, x
0
) , existe um intervalo aberto maximal nao vazio ], []a, b[ tal
que t
0
], [ e existe uma e uma so funcao x :], [ R
n
que e solucao do problema
de Cauchy ou de valores iniciais
_
x
(t) = f(t, x(t)) ( < t < )

x(t
0
) = x
0
.
(3.2)
Se R = pr
1
() e a funcao f for limitada, o intervalo maximal e R, i.e., todas as
solucoes estao denidas em R.
A condic ao x(t
0
) = x
0
diz-se condicao inicial do problema.
Repare-se que se f n ao for limitada o intervalo maximal pode n ao ser R, mesmo em
caso aparentemente muito simples:
Exemplo 3.1.1 Se f(t, x) = x
2
as soluc oes x(t) t
1
t+c
(c R) tem intervalo
maximal de denicao ] , c[ ou ] c, +[.
3.2 Funcoes contnuas
Sejam X um conjunto n ao vazio, (Y, d) um espaco metrico completo,
D : (Y
X
)
2
R + a func ao denida por
D(f, g) = sup
xX
d(f(x), g(x)), (3.3)
D : (Y
X
)
2
R a func ao denida por
D(f, g) = min1, D(f, g). (3.4)

3.2. FUNC

OES CONT
INUAS 303
A demonstrac ao do lema seguinte ca ao cuidado do leitor.
Lema 3.2.1 Denam-se

D e D como em (3.4) e (3.3).
1. D verica todas as propriedades de uma metrica exceptuando ter contradomnio
contido em R.
2.

D e metrica.
3. Para qualquer sucessao (f
n
)
nN
em Y
X
,
(a) f
n
f em (Y
X
,

D) sse para n sucientemente grande

D(f
n
, f) = D(f
n
, f)
e limD(f
n
, f) = 0.
(b) (f
n
)
nN
e de Cauchy em (Y
X
,

D) sse para m e n sucientemente grandes
D(f
m
, f
n
) = D(f
m
, f
n
) e lim
m,n+
D(f
m
, f
m
) = 0.
(c) (f
n
)
nN
converge em (Y
X
,

D) sse converge uniformenente.
(d) (f
n
)
nN
e de Cauchy em (Y
X
,

D) sse e uniformemente de Cauchy i.e.
> 0 p N m, n N [m, n p x X |f
m
(x) f
n
(x)| < ].
Teorema 3.2.1 (Y
X
,

D) e um espaco metrico completo.
Dem. Em face do lema anterior (3.2.1) podemos supor que a dist ancia entre func oes
e avaliada apenas por D. Esquematizemos:
Suponhamos que (f
n
)
nN
e uma sucess ao de Cauchy. Nestas condi coes, para cada
x X, (f
n
(x))
nN
e uma sucessao de Cauchy em (Y, d), pelo que converge e pomos
f(x) := limf
n
(x) (x X);
se R
+
e
p N m, n N [m, n p D(f
m
, f
n
) ],
ent ao
x X d(f(x), f
n
(x)) ,
pelo que D(f, f
n
) 0 pois d : Y
2
R e contnua, i.e. f
n
f em (Y
X
, D). 2
Seja B(X, Y ) o conjunto das func oes limitadas de X em Y , i.e., das fun coes f Y
X
tais que f(X) e subconjunto limitado de Y . A restricao de

D a B(X, Y ) e precisamente
D e tem-se
304 CAP
ITULO 3. EQUAC

ARIAS
Teorema 3.2.2 (B(X, Y ), D) e um espaco metrico completo.
Dem. Basta ver que B(X, Y ) e fechado em (Y
X
,

D), i.e., que o limite uniforme de
uma sucessao de func oes limitadas e uma func ao limitada e utilizar o lema 3.2.1. 2
Quando se supoe que X est a munido de alguma topologia, designe-se por ((X, Y ) o
conjunto das func oes em Y
X
que sao contnuas.
Teorema 3.2.3 (((X, Y ),

D) e um espaco metrico completo.
Dem. Basta demonstrar que ((X, Y ) e fechado em (Y
X
,

D), i.e., que o limite uniforme
de uma sucess ao de fun coes contnuas e uma funcao contnua:
Considere-se uma tal sucess ao (f
n
)
nN
, com limite f, e tome-se x
0
X. Dado > 0 e
escolhida uma ordem p, a partir da qual

D(f
n
, f) <

3
, xe-se por exemplo f
2p+1
. Como
f
2p+1
e contnua, existe uma vizinhanca U de x
0
tal que f
2p+1
(U) B
3
(f
2p+1
(x
0
)).
Dado x U, observando que
d(f(x), f(x
0
)) d(f(x), f
2p+1
(x)) + d(f
2p+1
(x), f
2p+1
(x
0
)) + d(f
2p+1
(x
0
), f(x
0
)),
conclumos que f(U) B
(f(x
0
)). 2
Corolario 3.2.1 Nas condicoes do teorema anterior (3.2.3), se (X, ) e um espaco
topologico compacto, ou um subconjunto compacto de um espaco topologico, o espaco
metrico ((((X, ), (Y, d)), D) e completo.
Num caso mais preciso:
Teorema 3.2.4 Suponha-se que a e b designam elementos de

R, que a < b, x
0
R
n
,
r ]0, +[ e B =

B
r
(x
0
). ((([a, b], B), D) e um espaco metrico completo.
3.3. ALGUNS OPERADORES INTEGRAIS 305
3.3 Alguns Operadores Integrais
E um exerccio de rotina vericar que o problema de Cauchy (3.2) e equivalente à

equac ao integral em x ((]a, b[, B)
x(t) = x
0
+
_
t
t
0
f(s, x(s))ds, (3.5)
com a condi cao de que o graco de x seja subconjunto de , pelo que vamos preocupar-
nos de momento com esta equac ao.
Dados a, b R, sendo a < b, B R
n
, (t
0
, x
0
) [a, b] B e uma fun cao f
(([a, b] B, R
n
), dena-se
1
x
0
,t
0
(x)(t) = x
0
+
_
t
t
0
f(s, x(s))ds (x (([a, b], B); a t b). (3.6)
E imediato que 1
x
0
,t
0
: (([a, b], B) (([a, b], R
n
); mas podemos ser mais precisos:
Lema 3.3.1 Suponha-se que r, , L > 0, que B :=

B
r
(0) R
n
, que f : [, ] B
R R
n
R
n
e uma funcao contnua e Llipschitziana na segunda variavel e que
M = m ax|f(t, x)| : (t, x) [, ] B.
Sejam ainda 1
00
o operador integral denido como acima em (3.6) e D a metrica de
convergencia uniforme em (([a, b], R
n
). Se
M r (3.7)
e, para certo n umero real positivo ,
L < 1, (3.8)
entao 1
00
e uma contraccao de ((([, ], B), D).
Dem. (I) 1
00
: ((([, ], B) ((([, ], B).
Temos de vericar que x(t) B se x (([, ], B) e [t[ . Basta observar o
seguinte:
|1
00
(x)(t)|
_
t
0
|f(s, x(s))|ds
[t[M M r (x (([, ], B); [t[ ).

306 CAP
ITULO 3. EQUAC

ARIAS
(II) 1
00
e uma contracc ao.
Dadas func oes x, y (([, ], B), tem-se para cada t [, ],
|1
00
(x)(t) 1
00
(y)(t)|
_
t
0
|f(s, x(s)) f(s, y(s))|ds
_
t
0
L|x(s) y(s)|ds
[t[LD(x, y)
L|D(x, y)| < D(x, y);
assim D(1
00
(x), 1
00
(y)) D(x, y). 2
3.4 Existencia e Unicidade de solucoes
O lema 3.3.1 permite j a concluir o seguinte I Teorema de Existencia e Unicidade
Local
Teorema 3.4.1 Suponha-se que r, , L > 0, que B :=

B
r
(0) R
n
, que f : [, ]
B R R
n
R
n
e uma funcao contnua e Llipschitziana na segunda variavel e
que
M = m ax|f(t, x)| : (t, x) [, ] B.
Se
M r & L < 1, (3.9)
Entao o problema de Cauchy
_
x
(t) = f(t, x(t)) ([t[ < )

x(0) = 0
(3.10)
tem uma e so uma solucao em (
1
(] , [, B).
Dem. Nas condic oes indicadas, a equac ao integral correspondente tem uma e s o uma
soluc ao x : [, ] B, seja qual for ]0, [, pelo que existe uma unica soluc ao de
(3.10) denida em todo o intervalo ] , [: o prolongamento comum a todas elas. 2
E deste o II Teorema de Existencia e Unicidade Local 3.4.2.
3.4. EXIST
ENCIA E UNICIDADE DE SOLUC

OES 307
Teorema 3.4.2 Suponha-se que e um subconjunto aberto de R
1+n
, que (t
0
, x
0
)
e que a funcao f : R
n
e contnua e localmente Lipschitziana na segunda variavel.
Nestas condicoes, para algum n umero real > 0, existe uma e so uma funcao x :
]t
0
, t
0
+ [ R
n
cujo graco e subconjunto de e que e solucao do problema de
Cauchy
_
x
(t) = f(t, x(t)) ([t t

0
[ < )
x(t
0
) = x
0
.
(3.11)
Dem. Em primeiro lugar observe-se que, para certos n umeros reais positivos , r e
L, f e contnua e Llipschitziana em [t
0
, t
0
+ ]

B
r
(x
0
) e existe o m aximo
denido por
M := m ax|f(t, x)| : (t, x) [, ]

B
r
(x
0
).
Escolhendo agora ]0, ] de modo a que se veriquem as condic oes (3.9), podemos
aplicar o teorema 3.4.1 ao problema de Cauchy
_
y
(t) = f(t
0
+t, x
0
+y(t)) ([t[ < )
y(0) = 0
e tomar x(t) = y(t t
0
) + x
0
([t t
0
[ < ). 2
Lema 3.4.1 Suponha-se que a, b, t
0

R, que a < t
0
< b, que e um subconjunto
aberto de R
1+n
, que a funcao f : R
n
e contnua e localmente Lipschitziana na
segunda variavel e que x
1
, x
2
:]a, b[ R
n
sao solucoes da equacao diferencial
x
(t) = f(t, x(t)) (a < t < b) (3.12)

que coincidem em t
0
. Nestas condicoes x
1
e x
2
coincidem em ]a, b[.
Dem. Comecemos por denir x
0
:= x
1
(t
0
)(= x
2
(t
0
)) e tomar e r de acordo com o
teorema anterior (3.4.2). Sejam
S o conjunto dos s ]a, b[ para os quais x
1
e x
2
coincidem em [s, t
0
+[,
T o conjunto dos t ]a, b[ para os quais x
1
e x
2
coincidem em ]t
0
, t],
= inf S & = sup T.
Repare-se que se s S e t T, entao x
1
e x
2
coincidem em [s, t].
308 CAP
ITULO 3. EQUAC

ARIAS
Pelo teorema anterior S ,= , = T, pois t
0

2
S e t
0
+

2
T; segue-se que e
existem de facto e a < b. Por outro lado, se a < (resp. < b) e (s
n
)
nN
(resp. (t
n
)
nN
) e uma sucessao decrescente (resp. crescente) com limite (resp. ),
ent ao x
1
(s
n
) x
1
() e simult aneamente x
2
(s
n
) x
2
() (resp. x
1
(t
n
) x
1
() e
simult aneamente x
2
(t
n
) x
2
()), pelo que x
1
() = x
2
() (resp. x
1
() = x
2
()) pois
x
1
e x
2
coincidem nos s
n
(resp. t
n
); mas ent ao poderamos reaplicar o teorema 3.4.2
com a condi cao inicial x() = x
1
() = x
2
() (resp. x() = x
1
() = x
2
()) para
concluir que x
1
e x
2
s ao a mesma funcao, i.e., a unica soluc ao numa vizinhanca aberta
de (resp. de ) e este n ao seria inf S (resp. sup T).
Em suma: = a, = b e x
1
coincide com x
2
em ]a, b[. 2
1+n
, que a funcao f :
R
n
e contnua e localmente Lipschitziana na segunda variavel e que (t
0
, x
0
) .
Se e o nmo dos tais que < t
0
e o problema (3.2) tem solucao em ], t
0
+[ e
e o supremo dos > t
0
e o problema (3.2) tem solucao em ]t
0
, [, entao existe
uma e so uma solucao do problema denida em ], [ e este e o maior intervalo onde
alguma esta denida.
Dem. A unicidade da solu cao resulta do lema anterior (3.4.1). Considerando ,
R, a existencia e consequencia das propriedades do supremo e donmo e do II Teorema

de Existencia e Unicidade. 2
E a parte do teorema 3.1.1 sobre intervalo maximal de existencia e unicidade de solu cao
ca provada.
3.5 Solucoes globais
Passamos à procura de solucoes do problema de Cauchy (3.2) globalmente denidas
i.e. cujo intervalo maximal de denicao e R.
Recorde-se que se A e subconjunto nao vazio no espa co metrico (X, d) e x X, a
dist ancia de x a A e denida por
d(x, A) := infd(x, y)[ y A,
que fr(A) designa a fronteira de A e que vale o seguinte
Digamos que uma soluc ao de (3.2) e maximal se est a denida num intervalo maximal
de acordo com o teorema 3.4.3..
3.5. SOLUC

OES GLOBAIS 309
Teorema 3.5.1 Suponha-se que e um subconjunto aberto limitado de R
1+n
, que
R e que , = ], [ R, que a funcao f : R
n
e contnua em

e L-
Lipschitziana na segunda variavel em , e que x : ], [ R
n
e solucao maximal do
problema (3.2). Nestas condicoes
lim
t
d((t, x(t)), fr()) = lim
t
d((t, x(t)), fr()) = 0. (3.13)
Dem. Demonstramos apenas a segunda igualdade.
Seja M = m ax|f(t, x)[ (t, x)

. Se (3.13) se n ao verica, existem uma sucessao
(t
n
) e tais que
t
n
& d((t
n
, x(t
n
)), fr()) > > 0.
Revendo o I Teorema de Existencia e Unicidade 3.4.1, e o teorema 3.4.3, podemos
concluir que, se 0 < < min

M
,
1
2L
, entao x est a denida em [t
n
, t
n
+ ], seja
qual for t
n
. Mas ent ao, como t
n
, para algum t
n
, ]t
n
, t
n
+[ e ], [ n ao
e maximal, contrariando a hipotese. Em suma vale (3.13). 2
Recorde-se que se (X, d) e (Y, d
) s ao espacos metricos, uma fun cao f : X Y se diz

uniformemente contnua quando
> 0 > 0 x, y X [d(x, y) < d
(f(x), f(y)) < ]. (3.14)

Lema 3.5.1 Considerem-se um intervalo I = ], [ R como subespaco metrico de
R munido da metrica euclidiana e uma funcao x : I R
n
; suponha-se que R. Se
x for uniformemente contnua, tem uma extensao contnua a [, ].
Dem. Basta ver que
lim
tb
x(t). (3.15)
Basta observar que, pela continuidade uniforme de x, todas as sucess oes (x(t
n
)) s ao
de Cauchy se t
n
b. Ora se n ao se cumprir (3.15), existem duas sucessoes t
n
e s
n
convergentes para b tais que |x(t
n
) x(s
n
)| , 0; mas ent ao a sucessao u
n
denida
por
u
n
=
_
tn+1
2
se n e

impar
s
n
2
se n e par
n ao e de Cauchy, portanto tera de existir o limite procurado. 2
310 CAP
ITULO 3. EQUAC

ARIAS
Teorema 3.5.2 Suponha-se que t
0
], [ R, que a funcao f : R
1+n
R
n
e
contnua, limitada e localmente Lipschitziana na segunda variavel e que x : ], [ R
n
e solucao maximal do problema (3.2); entao ], [ = R.
Dem. Demonstramos apenas que = +.
Em primeiro lugar x e uniformemente contnua pois, se
(t, x) |f(t, x)| M,
ent ao para quaisquer s, t I
|x(t) x(s)| =
_
_
_
_
_
t
s
x
()d
_
_
_
_
_
t
s
|f(, x())|d
M[t s[.
Portanto, se R, x tem extens ao contnua a ], ]; designemos esta extens ao por
x; pela continuidade de f e pelo II Teorema de Existencia e Unicidade 3.4.2 x (ou
x) seria prolong avel como soluc ao de (3.2) para a direita de , contradizendo-se a
maximalidade de I; assim , R. 2
Um outro aspecto
1+n
, que R e que
,= ], [ R, que a funcao f : R
n
segunda variavel em , e que x : ], [ R
n
e solucao maximal do problema (3.2).
Se f for limitada sobre o graco de x, entao
lim
t
d((t, x(t)), fr()) = lim
t
d((t, x(t)), fr()) = 0. (3.16)
Dem. De modo an alogo ao que vimos na demonstrac ao do teorema 3.5.2, podemos
concluir que x e uniformemente contnua e consequentemente tem extens ao contnua
x :], ] R
n
. Se (, x() , x n ao e soluc ao maximal. Segue-se que (, x()
fr() e vale (3.16). 2
3.5. SOLUC

OES GLOBAIS 311
1+n
e que , = ], [
R, que a funcao f : R
n
e contnua e localmente Lipschitziana na segunda variavel
em , e que x : ], [ R
n
1. Se R e existe lim
x
x(t) := x
1
R
n
, entao (, x
1
) fr() e
lim
t
d((t, x(t)), fr()) = 0.
2. Se R e existe lim
x
x(t) := x
2
R
n
, entao (, x
2
) fr() e tambem
lim
t
d((t, x(t)), fr()) = 0.
3. Para qualquer subconjunto compacto K de existe t ], [ tal que (t, x(t)) ,
K.
Dem. Comecemos por provar 3.
Se K e K e compacto, f e limitada em K portanto, se C := (t, x(t))[ t ], [
K, entao f e limitada sobre C; ora, como vimos na demonstracao do teorema 3.5.3,
nestas condic oes ha uma soluc ao de (3.2) denida em ], +[ para algum > 0 e x
n ao e maximal.
2. Se (, x
2
) , podemos aplicar a parte relevante da demonstrac ao da alnea
anterior (3) a um compacto adequado K :=

B
r
(, x
2
) e concluir de novo que x
n ao seria maximal.
A armac ao sobre a distancia resulta de lim
x
(t, x(t)) = (, x
2
).
1. Demonstra-se de forma an aloga ` a de 2. 2
Fica ao cuidado do leitor demonstrar o seguinte:
Corolario 3.5.1 Suponha-se que e um subconjunto aberto de R
1+n
e que ,=
], [ R, que a funcao f : R
n
segunda variavel em , e que x : ], [ R
n
Se R ou lim
t
d((t, x(t)), fr()) = 0 ou x nao e limitada em qualquer intervalo
] , [ ( > 0).
312 CAP
ITULO 3. EQUAC

ARIAS
Captulo 4
Variedades Diferenciaveis
4.1 Introducao
4.1.1 Generalidades
Seja X um conjunto nao vazio e x um elemento de X. Uma carta ou sistema de
coordenadas de X em x com domnio V , notado dom, e uma aplicac ao injectiva
: V X R
n
tal que
1. x V
2. (V ) e aberto em R
n
.
Um atlas de X e um conjunto / = (
, V
) : A tal que
1. Todos os contradomnios de cartas est ao contidos no mesmo espaco euclidiano
R
n
.
2.
: V
R
n
e carta de X
3.
A
V
= X
4. Se (
, V
), (
, V
) / e V
= V
,= , entao
(a)
(V
) e
(V
) sao subconjuntos abertos de R

n
.
(b)
(V
(V
) e um homeomorsmo.
401
402 CAP
ITULO 4. VARIEDADES DIFERENCI
AVEIS
Observacao: A primeira condic ao da denicao anterior pode ser dispensada, j a que
quaisquer dois conjuntos abertos, cada um em seu espaco euclidiano, nunca sao home-
omorfos se as dimensoes destes sao diferentes (resultado que se encontra demonstrado
em qualquer texto de Topologia Algebrica, por exemplo). No entanto, para evitar
demasiados detalhes nas demonstra coes, resolvemos inclu-la.
As func oes inversas de cartas dizem-se cocartas ou parametrizacoes. As composicoes
de cartas com cocartas,
1
, dizem-se funcoes de transicao ou mudancas de coor-
denadas. Uma variedade topologica e um par (X, /), em que / e um atlas maximal
para a relac ao de inclusao, i. e., que nao seja subconjunto proprio de qualquer outro
atlas.
Se todas as mudancas de coordenadas num atlas sao de classe C
, o atlas diz-se de
classe C
. Uma estrutura diferenciavel em X e um atlas de X de classe C
e maximal
para a relac ao de inclusao, i. e., que nao seja subconjunto proprio de qualquer outro
atlas de classe C
.
A existencia de atlas maximais e, por exemplo, consequencia do Lema de Zorn, que
passamos a enunciar e entenderemos como axioma, j a que e equivalente ao Axioma da
Escolha da Teoria de Conjuntos.
Lema 4.1.1 (de Zorn) Se A e um conjunto parcialmente ordenado onde toda a
cadeia tem majorante, entao existe em A um elemento maximal.
Os dois pr oximos teoremas valem tambem para estruturas diferenci aveis, com as
demonstrac oes adaptadas de modo natural, substituindo homeomorsmopor difeo-
morsmo. Vejamos entao:
Teorema 4.1.1 Seja / um atlas do conjunto X e seja | o conjunto de todos os atlas
de X que contem /, parcialmente ordenado pela relacao de inclusao . Existe em |
um atlas maximal.
Dem.

E bastante simples vericar que se

| = U
[ A e um subconjunto de |
totalmente ordenado por , entao
| |, pelo que | e majorante de

|. Pelo Lema
de Zorn, | tem um elemento maximal para . 2
De facto, o atlas maximal referido neste teorema e unico. Tal pode ver-se mediante
uma outra demonstracao do teorema anterior (4.1.1), feita sem recorrer ao Lema de
Zorn, e correspondente ao seguinte enunciado:
4.1. INTRODUC

AO 403
Teorema 4.1.2 Seja / um atlas do conjunto X e seja | o conjunto de todos os atlas
de X que contem /; | e o atlas maximal que contem /.
Dem. Para xar ideias, lembremos que se supoe ser sempre a mesma a dimensao do
espaco euclidiano de projecc ao, digamos que as cartas projectam para R
n
.
Comecemos por mostrar que se /
1
e /
2
s ao atlas de X que contem /, ent ao /
1
/
2
ainda e um atlas de X que, obviamente, contem /.
Suponha-se que (
i
, U
i
) (i = 1, 2) sao cartas respectivamente em /
i
(i = 1, 2) tais que
U
1
U
2
,= ;
1.
i
(U
1
U
2
) e aberto em R
n
: tome-se y =
i
(x)
i
(U
1
U
2
) e seja (, U) / tal
que x U; esta ultima carta esta em qualquer dos atlas /
i
, pelo que (U U
i
) e
subconjunto aberto do conjunto (U), tambem aberto, emR
n
; consequentemente
(U
1
UU
2
) = (U
1
U)(UU
2
) e portanto (U
1
UU
2
) e aberto em (U);
mas ent ao y
i
(U
1
U U
2
) = (
i

1
)((U
1
U U
2
)) e este e subconjunto
aberto em R
n
e contido em
i
(U
1
U
2
); como y foi tomado arbitrariamente, este
ultimo conjunto e de facto aberto em R
n
.
2.
1

1
2
:
2
(U
1
U
2
)
1
(U
1
U
2
) e um difeomorsmo: e concerteza bijectiva;
mais uma vez, tome-se y =
i
(x)
i
(U
1
U
2
) e seja (, U) / tal que x U;
esta ultima carta est a em qualquer dos atlas vcala
i
, pelo que as composi coes
1

1
: (U
1
U)
1
(U
1
U) e
1
2
: (U
2
U) (U
2
U) sao ambas
difeomorsmos; como
1

1
2
= (
1

1
) (
1
2
), podemos concluir como
se pretendia.
Sendo assim, as cartas dos atlas /
i
s ao compatveis no sentido de 4 acima e /
1
/
2
e um atlas.
De facto, acab amos de ver que | e um atlas de X, pois quaisquer dois elementos
desta uniao sao elementos de, quando muito dois, dos atlas parcelas. Aquela uni ao e
necess ariamente atlas maximal unico contendo /, por denic ao. 2
Uma variedade diferenciavel e um par (X, /), em que / e uma estrutura diferenci avel
em X. Uma variedade diferenci avel dir-se-a de dimensao n se todos os contradomnios
de cartas da estrutura diferenci avel s ao subconjuntos do espaco euclidiano R
n
.
Exemplo 4.1.1 1. A Recta. Para cada u R
2
0 e cada p R
2
, o conjunto
P := x R
2
[ < x p, u >= 0
e uma recta estrutur avel por uma s o carta que a cada elemento x de P faz
corresponder as coordenadas de x p numa base xada de u
.
404 CAP
AVEIS
2. A circunferencia S
1
. O conjunto
S
1
:= (x, y) R
2
[ x
2
+y
2
= 1
e estrutur avel por quatro cartas que s ao restric oes de projecc oes de R
2
em R:
2+
1
(x, y) = x ((x, y) S
1
; y > 0) (4.1)
2
1
(x, y) = x ((x, y) S
1
; y < 0) (4.2)
2+
2
(x, y) = y ((x, y) S
1
; x > 0) (4.3)
2
2
(x, y) = x ((x, y) S
1
; x < 0) (4.4)
3. A Figura Oito. A Figura oito e o contradomnio da fun cao f :]0, 2[ R
2
dada
por
f(t) := (3sen(t), 3sen(2t))
e e estrutur avel pela func ao inversa de f.
Exemplo 4.1.2 Superfcies Uma variedade de dimens ao dois diz-se uma superfcie.
1. O Plano. Para cada u R
3
0 e cada p R
3
, o conjunto
P := x R
3
[ < x p, u >= 0
e uma superfcie que pode ser estruturada por uma s o carta que a cada elemento
x de P faz corresponder as coordenadas de x p numa base xada de u
.
2. O cilindro C
2
.
Dena-se para cada i 1, 2, 3 e cada x := (x
1
, x
2
, x
3
) R
3
, x
i
como o par
ordenado de R
2
que se obtem omitindo a coordenada i de x R
3
,
3
i
(x) := x
i
R
2
,
C
2
:= (x
1
, x
2
, x
3
) R
3
[ x
2
1
+x
2
2
= 1.
C
2
admite uma estrura diferenci avel denida pelo atlas formado pelas cartas
denidas, tambem para cada i = 1, 2, 3,
3+
i
:
3
i {(x
1
,x
2
,x
3
)C
2
| x
i
>0}
,
3
i
:
3
i {(x
1
,x
2
,x
3
)C
2
| x
i
<0}
4.1. INTRODUC

AO 405
3. A Esfera S
2
e a superfcie em R
3
de equac ao cartesiana
x
2
+y
2
+z
2
= 1.
a projec coes Estereogr acas
N
: S
2
(0, 0, 1) R
2
, dada por
N
(x, y, z) =
_
x
1 z
,
y
1 z
_
,
e
S
: S
2
(0, 0, 1) R
2
, dada por
S
(x, y, z) =
N
(x, y, z),
denem um atlas de S
2
.
4. O Toro e a superfcie T
2
de R
3
com equac ao cartesiana
(x
2
+y
2
+z
2
5)
2
16(1 z
2
) = 0.
As fun coes inversas das duas parametriza coes seguintes denem um atlas de T
2
.
i
(u, v) = ((2 + cosv)cosu, (2 + cosv) sin u, sin v) (4.5)
((u, v) ]i, i + 2[
2
, i = 0, 1). (4.6)
5. A Fita de Mobius e a superfcie / em e R
3
, contradomnio da func ao
: R] 1, 1[ R
3
dada por
(u, v) = ((2 + vcosu)cosu, (2 +vcosu) sin u, v sin u)
Exemplo 4.1.3
Como ignoraralguns cortes e cantos.
1. Sejam X = R
0
1 R
+
1 e (x, y) = x ((x, y) X).
(a) (, X) e um atlas de X.
(b) Sejam
(x, y) = x
3
((x, y) ] 5, +[1),
1
= [R
1,
1
(x, y) = x
1
3
((x, y) X).
406 CAP
AVEIS
O conjunto (, X), (, ] 5, +[1), (
1
, R
1), (
1
, X) e
um atlas que dene uma variedade topol ogica (X, /); na verdade, basta
considerar / o conjunto de todos as cartas (, U) de X compatveis com as
que acabamos de denir, no sentido de 4 acima, dispensando uma utiliza cao
mais explcita do Lema de Zorn (de modo an alogo ao que zemos acima
com a segunda demonstrac ao do teorema 4.1.1).
(c) N ao existe qualquer estrutura diferenciavel que contenha o atlas que des-
crevemos na alnea anterior porque
1
:] 125, +[] 5, +[ n ao
e um difeomorsmo.
2. Suponha agora que X e o gr aco da func ao [ [ : R R e e dada como acima.
(, X) e tambem um atlas que faz de X uma variedade topologica.
Exerccios 4.1.1 Suponha que m, n N e que : A R
m
R
n
e uma fun cao
diferenci avel. Mostre que
1. Se m n e e imers ao injectiva, ent ao (
1
, (A) e um atlas de classe C
que
faz de (A) uma variedade diferenci avel de dimens ao m, dita variedade para-
metrizada (pela parametrizacao ) (veja tambem o exemplo 5.1.1 adiante).
2. O gr aco de := (x, (x)) R
m+n
[ x A admite a projecc ao
m+n
m
(x, y) := x R
m
((x, y) R
m+n
) convenientemente restringida como
carta para um atlas de uma s o carta para uma estrutura diferenci avel de di-
mens ao m (veja tambem o exemplo 5.1.1 adiante).
3. Variedades de Grassmann.
Seja
ij
o smbolo de Kronecker
ij
=
_
1 i = j
0 i ,= j.
(i, j N)
Designe por e
i
(1 i n) os vectores da base canonica de R
n
. Seja G
k
nk
(n, k N, n k) o conjunto dos sub-espacos vectoriais X de dimens ao k de
R
n
que admitem uma base cujos vectores s ao da forma
_
v
j
(X) =
k
i=1
ij
e
i
+
n
i=k+1
a
ij
(X)e
i
(1 j k).
e dena
(X) = (a
(k+1)1
(X), , a
n1
(X), , a
(k+1)k
(X), , a
nk
(X)) R
k(nk)
.
(, G
k
nk
) e um atlas para uma estrutura diferenciavel sobre G
k
nk
.
4.1. INTRODUC

AO 407
Por vezes e conveniente ter presente o seguinte
Teorema 4.1.3 Qualquer variedade de dimensao n admite
1. um atlas de cartas
i
: V
i
(V
i
) = B
r
i
(0) R
n
(r
i
> 0; i I).
i
: V
i
(V
i
) = B
1
(0) R
n
(i I).
i
: V
i
(V
i
) = R
n
(i I).
Dem. Suponha-se que / := (
j
, U
j
)[ j J e um atlas de X. Cada
j
(U
j
) =
kN
B
r
kj
(a
kj
),
pelo que, denindo T
a
(u) = u +a, V
(k,j)
:= (
j
)
1
(B
r
kj
(a
kj
), I := N J, e
i
:= T
a
kj

j
: V
i
B
r
kj
(0)
B := (
i
, V
i
)[ i I e um atlas para o n umero 1. Quanto às restantes armac oes,
basta compor apropriadamente com homotetias de razao
1
r
i
ou com x
x
1x
2
. 2
De ora em diante, o termo variedade e considerado sinonimo de variedade diferenci avel
e subentenderemos uma estrutura diferenciavel, a menos que seja necessario referi-la.
Exerccios 4.1.2
1. Suponha que X e Y s ao duas variedades diferenci aveis de dimens ao nita, respec-
tivamente m e n. Demonstre que X Y e variedade diferenci avel de dimensao
m +n.
2. Orientabilidade Seja X uma variedade. Diz-se que X e orientavel, se admite
um atlas em que dadas quaisquer duas cartas e cujos domnios se intersectem,
se tem det(Jac(
1
(x)
)) > 0 sempre que denido. Mostre que
(a) O graco de uma func ao diferenci avel f : A R
k
R
p
e variedade
orient avel.
(b) Qualquer variedade parametrizada e orient avel.
408 CAP
AVEIS
4.1.2 Topologia em variedades
Teorema 4.1.4 O conjunto dos domnios de cartas de uma estrutura diferenciavel no
conjunto X e base para uma topologia.
Dem. Sejam c uma estrutura diferenci avel em X e o conjunto dos domnios das
cartas de c.
Como c e atlas de X, X = . Por outro lado, como c e maximal, se U, V tambem
U V , porque e domnio de cartas que s ao restricoes de outras; segue-se que
verica a propriedade de intersecc ao nita, sendo portanto uma base de topologia. 2
Nestes termos
Teorema 4.1.5 Uma variedade de dimensao n e um espaco topologico localmente
homeomorfo a R
n
, cobrvel com domnios de homeomorsmos locais
: V
X (V
) R
n
e tal que as composicoes de homeomorsmos locais
(V
(V
) sao difeomorsmos (de classe C
).
E suporemos sempre cada variedade munida da topologia induzida pela estrutura
diferenci avel. O resultado seguinte e importante.
Teorema 4.1.6 Toda a variedade (diferenciavel ou nao) e um espaco topologico sepa-
rado.
Dem. (do teorema 4.1.6). Este teorema e corolario do teorema 1.1.5. Como cada
domnio de carta e, por denic ao, homeomorfo a algum (subconjunto aberto num)
espaco euclidiano e os domnios de cartas que contem um dado elemento formam uma
base de vizinhacas do elemento, a topologia induzida pela estrutura diferenciavel e
regular e localmente separada. Podemos ent ao utilizar o teorema 1.1.5. 2
Exerccios 4.1.3 1. Suponha que X, Y e X Y s ao variedades orient aveis com a
mesma dimensao e tambem que a terceira e conexa. Mostre que X Y e uma
variedade orient avel.
2. Mostre que a variedade topologica do exemplo 4.1.3.2 n ao e variedade difer-
enci avel.
Exerccios 4.1.4 No que se segue, classes de equivalencia serao designadas por [ ]
como e habitual.
4.1. INTRODUC

AO 409
1. A Garrafa de Klein / como quociente de um rect angulo.
Seja 1 = [0, 2]
2
R
2
.
Dena a relac ao de equivalencia 1
2
por: (s, t) (u, v) sse ocorre pelo
menos um dos casos seguintes.
(s, t) = (u, v) ou (t 0, 2 &s = u) ou (u 0, 2 & (s, t) = (2u, 2v)).
Por denic ao
/ := 1
/
e p(x) := [x] (x 1)
Considere as denicoes de conjuntos e fun coes seguintes.
U := p(]0, 2[
2
) & V := p(]0, 2[[0, 2])
W := p([0, []0, 2[ ], 2]]0, 2[)
Z := p(1 ( [0, 2] [0, 2] )
([g]) := g ([g] U) & ([(u, v)]) := e
u
(cosv, sin v)) ([(u, v)] V )

([(u, v)]) :=
_
e
v
(cosu, sin u) 0 u <

e
2v
(cosu, sin u) < u 2

[(u, v)] W
([(u, v)]) :=
_
_
(u, v) (u, v) [0, [
2
(u 2, v) (u, v) ], 2] [0, [
(u 2, 2 v) (u, v) ], 2]
2
(u, v 2) (u, v) [0, [], 2]
[(u, v)] Z
/ = (, U), (, V ), (, W), (, Z)
(a) Verique que / e um atlas para uma estrutura diferenciavel em /.
(b) Considere / munida da estrutura diferenciavel gerada por /, prove que
i. a func ao p e contnua,
ii. / e compacta.
2. Sera possvel denir um atlas de S
2
com uma s o carta?
3. Mostre que qualquer variedade compacta admite um atlas nito, mas a ama cao
recproca n ao e verdadeira.
410 CAP
AVEIS
4.1.3 Funcoes diferenciaveis
Denicao 4.1.1 Dadas variedades X e Y , uma funcao f : X Y diz-se dife-
renciavel se a representacao com qualquer par de cartas, f : [a, b] R R, for
diferenciavel.
Como as mudan cas de coordenadas numa variedade s ao diferenci aveis, a diferenciabi-
lidade ou nao de uma funcao pode ser vericada apenas com um par de cartas. Note-se
que as pr oprias cartas s ao func oes diferenci aveis.
Teorema 4.1.7 Dadas variedades X, Y e Z e funcoes f : X Y e g : Y Z,
1. Se f e diferenciavel, e contnua.
2. Se f e g sao diferenciaveis, a composicao g f e diferenciavel.
Dem. 1. Suponha-se que f e diferenciavel e que

f := f : [a, b] R R e uma
representa cao de f. Como

f e diferenci avel em (x), tambem e contnua; ora e
s ao homeomorsmos locais e f =
1

f , portanto f e localmente contnua,
portanto e contnua .
2. A equa cao seguinte mostra que a representac ao de g f em e e composi cao de
duas func oes diferenci aveis a saber: as representac oes de f em e de g em e .
(g f)
1
= ( g
1
) ( f
1
).
2
Se uma funcao entre variedades f : X Y diferenci avel e bijectiva e a fun cao inversa
tambem e diferenci avel, diz-se que e um difeomorsmo; duas variedades dizem-se
difeomorfas se entre elas existe um difeomorsmo.
Exerccios 4.1.5
1. Prove que se a variedade X for conexa ent ao e conexa por arcos no sentido
em que para quaisquer x, y X existe uma funcao contnua : [0, 1] X
tal que (0) = x e (1) = y.
4.2. FIBRADO TANGENTE 411
Exerccios 4.1.6 / como quociente do Toro T
2
.
Dena a relac ao de equivalencia e a correspondente projecc ao canonica q : T
2
T
2
/
por
x y sse x = y; q(x) := x, x = [x] (x, y T
2
).
Considere as co-cartas (U
(i,j)
,
(i,j)
) de T
2
denidas por
(i, j) 0, 1, 2, 3 0, 1 := I
U
(i,j)
:= ]i
2
, i
2
+[]j, (j + 2)[
(i,j)
(u, v) := ((2 + cosv)cosu, (2 +cosv) sin u, sin v) ((u, v) U
(i,j)
).
Por deni cao ( := T
2
/
munido da estrutura diferenci avel gerada pelo atlas associado

` a famlia de co-cartas B := (q
(i,j)
, U
(i,j)
)[ (i, j) I.
1. Mostre que os elementos de B s ao de facto co-cartas cujas fun coes inversas e
respectivos domnios constituem um atlas de (.
2. Mostre que / e ( s ao difeomorfas.
4.2 Fibrado tangente
Uma curva na variedade X e uma funcao diferenci avel :]a, b[ R X. Diremos que
a curva passa por x X se existe t
0
]a, b[ tal que (t
0
) = x. Duas curvas
0
,
1
que
passam por x digamos que
0
(t
0
) = x =
1
(t
1
) dizem-se equivalentes se para uma
carta em x e consequentemente para todas se tem (
0
)
(t
0
) = (
1
)
(t
1
).
Para cada x X, ca assim denida uma relac ao de equivalencia no conjunto
(x) das curvas que passam por x. Repare-se que qualquer curva que passe por x e
equivalente a uma que verica (0) = x: basta tomar t (t + t
0
) se (t
0
) = x;
assim, salvo referencia em contrario, suporemos as classes de equivalencia
representadas por curvas que vericam (0) = x.
Denicao 4.2.1 O conjunto cociente (x)
/
diz-se o espaco tangente a X no ponto
x e designa-se por T
x
X. Os elementos de T
x
X designam-se por vectores tangentes
a X em x.
412 CAP
AVEIS
Podemos denir um produto por escalares em T
x
X do seguinte modo:
Sejam [] um vector tangente a X em x e r um n umero real. Por denic ao
r[] = [t (rt)] (4.7)
Seja agora [] outro elemento de T
x
X. Seja ainda uma carta em x. Ponha-se
u = ( )
(0), v = ( )
(0), s(t) = (x) +t(u +v).

Por denic ao
[] + [] = [
1
s] (4.8)
Teorema 4.2.1 O conjunto T
x
X, munido do produto por escalares, dado pela equacao
(4.7), e da soma, dada pela equacao (4.8), e um espaco vectorial real de dimensao n.
De facto tem-se tambem:
1. Para cada carta em x, a funcao
x
: T
x
X R
n
dada por
x
([]) = ()
(0)
e um isomorsmo.
2. Se e sao cartas em x, com correspondentes isomorsmos
x
,
x
: T
x
X R
n
, entao
x
([]) = D(
1
)
(x)
(
x
([])) (4.9)
Dem. I. As operacoes estao bem denidas. Suponhamos que e s ao curvas equi-
valentes tais que (0) = (0) = x, que r R e que e uma carta em x. Dena-se
(t) = (rt) e

(t) = (rt). Tem-se
( )
(0) = r( )
(0) = r( )
(0) = (

)
(0).
Quanto ` a soma, basta observar que esta denida apenas à custa (de cartas em x e) de
derivadas em zero e estas sao identicas para curvas equivalentes.
II. (T
x
X, +) e modulo sobre R. A associatividade e a comutatividade s ao deduzidas
trivialmente das mesmas propriedades da adicao de vectores em R
n
.

E tambem f acil
vericar que
0 = [t x] & [] = [t (t)] & 1[] = [].
As restantes propriedades resultam de forma trivial das correspondentes para R
n
.
III. Isomorsmos. Para provar 1, e suciente mostrar que cada func ao
x
e bijectiva,
pois as denic oes (4.7) e (4.8) est ao apresentadas de modo a garantir a linearidade. A
bijectividade resulta de
x
ser aplicac ao com inversa u [
1
(t (x) +tu)].
4.2. FIBRADO TANGENTE 413
Para provar 2, observe-se o seguinte:
D(
1
)
(x)
(
x
([])) = D(
1
)
(x)
(( )
(0)) = ( )
(0) =
x
([]).
2
Dada uma variedade X de dimensao n, dena-se
TX =
_
xX
x T
x
X
(1)
(4.10)
e para cada carta de X, : V R
n
,
V =
_
xV
x T
x
X se V e aberto em X.
(x, u) = ((x),
x
(u)) se u T
x
X & x V. (4.11)
Repare-se que cada :

V R
2n
e uma carta de TX, tendo-se (
V ) = (V ) R
n
.
De facto, vale o seguinte teorema:
Teorema 4.2.2 Se X e uma variedade de dimensao n e / = (
, V
) : A e
uma estrutura diferenciavel, entao TX admite tambem o seguinte atlas de
dimensao 2n:
/ = (
,

V
) : A (4.12)
Dem. Todas propriedades de atlas sao simples de vericar. A unica talvez menos
obvia tem a ver com as func oes de transi cao; quanto a isso observe-se que
(a, u) = ((x), u) (V ) R
n
(x,
1
x
(u))
dene a fun cao inversa de e, consequentemente, com 2 em 4.2.1,

1
(a, u) = (
1
(a), D(
1
)
a
(u)).
2
Designa-se TX munido da estrutura diferenci avel gerada pelo atlas

/ por brado
tangente da variedade X de estrutura diferenciavel /.
1
Na verdade a nota cao x T
x
X e um artifcio para tornar os espa cos tangentes efectivamente
disjuntos e esquece-la-emos frequentemente, ja que o ndice em T
x
X e disjuntorsuciente.
414 CAP
AVEIS
Exerccios 4.2.1
1. Considere a circunferencia S
1
= (x, y) R
2
[ x
2
+ y
2
= 1 munida da estrutura
diferenci avel gerada pelas projecc oes
2
1
e
2
2
restringidas ` as semi-circunferencias
contidas em cada semiespaco de abcissas ou de ordenadas com sinal xo (exemplo
4.1.1). Mostre que o brado tangente TS
1
e difeomorfo ao cilindro C
2
.
2. Mostre que o brado tangente da gura oito (exemplo 4.1.1) e difeomorfo a R
2
.
(SUG.: comece por mostrar que e difeomorfo a ]0, 2[R).
4.3 Funcoes diferenciaveis II
Qualquer func ao diferenci avel f : X Y induz uma outra df : TX TY do seguinte
modo
df() = df
x
([]) = [f ] se x X & = [] T
x
X (4.13)
A func ao df designa-se por diferencial de f.
Uma func ao diferenci avel naturalmente denida e a projeccao canonica
X
: TX X
dada por
X
(u) = x se u T
x
X (4.14)
e tem-se o seginte diagrama comutativo.
TX
df
TY
Y
X
f
Y
Teorema 4.3.1 (da Funcao Composta) Se f : X Y e g : Y Z sao funcoes
diferenciaveis entre as variedades X, Y e Z, entao g f : X Z e diferenciavel e
d(g f)
x
= dg
f(x)
df
x
Dem. Tomem-se x X e cartas em x, em f(x) e em g(f(x)). Quanto ` a
diferenciabilidade, recorde-se o teorema 4.1.7.
4.3. FUNC

OES DIFERENCI
AVEIS II 415
Tome-se um vector = [] T
x
X. Tem-se
d(g f)
x
() = [(g f) ] = [g (f )]
= dg
f(x)
([f ]) = dg
f(x)
(df
x
())
= (dg
f(x)
df
x
)().
2
Denicao 4.3.1 Sejam X e Y variedades diferenciaveis e f : X Y uma funcao
diferenciavel e x X. f diz-se
imersao em x se df
x
e injectiva.
submersao em x se df
x
e sobrejectiva.
difeomormo em x se df
x
e bijectiva.
difeomormo local se for difeomorsmo em qualquer x X.
f sera uma imersao ou uma submersao se o for em qualquer ponto de X e dir-se-a um
difeomorsmo se for simultaneamente bijectiva e difeomorsmo local (compare com a
denic ao de difeomorsmo da p ag. 410); f diz-se um mergulho se for uma imersao
e f(X) for subespaco topologico de Y i.e. se f : X f(X) e um homeomorsmo
quando se supoe f(X) munido da topologia induzida por Y .
Exerccios 4.3.1 1. O Plano Projectivo Real P
2
Dena
sgn(t) :=
_
1 t > 0
1 t < 0
(t R 0).
Dena tambem, para cada i 1, 2, 3 e cada x := (x
1
, x
2
, x
3
) R
3
x
i
como o par ordenado de R
2
que se obtem omitindo a coordenada i de x R
3
,
2
i
(x) := x
i
R
2
,
i
(x) := x
i
,
X como o conjunto de todas as rectas de R
3
que passam na origem (0, 0, 0),
416 CAP
AVEIS
U
i
:= r X[ r
1
i
(R 0) ,= ,
1
(r) :=
_
x
2
x
1
,
x
3
x
1
_
(x r U
1
),
2
(r) :=
_
x
1
x
2
,
x
3
x
2
_
(x r U
2
),
3
(r) :=
_
x
1
x
3
,
x
2
x
3
_
(x r U
3
)
/ := (
i
, U
i
)[ i = 1, 2, 3
Considere a esfera S
2
:= x R
3
[ |x| = 1 e dena, tambem para cada
i 1, 2, 3 e cada x S
2
antp(x) := x, x Y := antp(x)[ x S
2
B
+
i
:= x S
2
[ x
i
> 0, B
i
:= x S
2
[ x
i
< 0
V
i
:= antp(x)[ x B
+
i
B
i
(y) :=
2
i
(sgn(x
i
)x) se y = antp(x) V
i
B := (
i
, V
i
)[ i = 1, 2, 3
Mostre que
(a) / e B s ao atlas de classe C
respectivamente de X e de Y
(b) Mostre que X e Y s ao variedades difeomorfas quando munidas das estru-
turas diferenciaveis geradas respectivamente por / e B.
NOTA: X e Y s ao duas das representac oes habituais do Plano Projectivo
Real P
2
.
(c) Dena
f(p) := (x
2
1
x
2
2
, x
1
x
2
, x
1
x
3
, x
2
x
3
) (p = antp(x) P
2
)
Mostre que f : P
2
R
4
(est a bem denida e) e um mergulho.
Um primeiro resultado a ter em conta:
Teorema 4.3.2 Sejam X e Y variedades diferenciaveis, f : X Y uma funcao
diferenciavel com representacao f : [a, b] R R em x X e T
x
X.
f(x)
(df
x
()) = D(f : [a, b] R R)
(x)
(
x
()) (4.15)
4.3. FUNC

OES DIFERENCI
AVEIS II 417
Dem. Suponha-se que = []. Tem-se
f(x)
(df
x
()) =
f(x)
([f ]) = ( (f ))
(0)
= D( f
1
)
(x)
(( )
(0))
= D(f : [a, b] R R)
(x)
(
x
()).
2
Este teorema permite caracterizar df
x
por meio da matriz jacobiana de uma repre-
sentacao f : [a, b] R R.

E oportuno recordar que a caracterstica de uma matriz
cujos coecientes sejam func oes reais contnuas da(s) mesma(s) vari avel (variaveis)
n ao diminui em alguma vizinhanca de qualquer ponto do domnio de continuidade, em
particular se a caracterstica e maxima em algum ponto, entao e constante portanto
maxima em alguma vizinhanca desse ponto, pois esta propriedade e fundamental
no que se segue. E valem os teoremas seguintes.
Teorema 4.3.3 Sejam X e Y variedades diferenciaveis. Uma funcao diferenciavel
f : X Y e imersao, submersao ou difeomorsmo em x X se e so se o mesmo
acontece com alguma representacao f : [a, b] R R em (x).
Dem. Fica a cargo do leitor.
Teorema 4.3.4 Sejam X e Y variedades diferenciaveis. Se a funcao diferenciavel
f : X Y e imersao, submersao ou difeomorsmo em x X, entao tem a mesma
propriedade em todos os pontos de alguma vizinhanca de x.
Dem. Sejam m e n respectivamente as dimens oes de X e de Y . Ora, pelo teorema
anterior (4.3.3), f e imers ao, submersao ou difeomorsmo em x se e so se respectiva-
mente a matriz jacobiana em (x) de alguma representac ao f : [a, b] R R, tal
que x dom e f(x) dom, tem caracterstica m, caracterstica n ou caracterstica
m e m = n, portanto o mesmo acontece em alguma vizinhanca U de (x); mas ent ao
a caracterizac ao vale em
1
(U) que e uma vizinhan ca de x. 2
Teorema 4.3.5 (da Submersao) Se f : X Y e submersao, entao e aberta.
Dem. Qualquer representa cao f : [a, b] R R e uma submers ao (teorema 4.3.3),
pelo que, a menos de difeomorsmos, e uma projecc ao (teorema 2.4.1). Ora as pro-
jecc oes sao aplicac oes abertas, portanto pode concluir-se que f e localmente aberta
logo e aberta. 2
418 CAP
AVEIS
Teorema 4.3.6 (da Imersao) Seja f : X Y uma imersao.
1. f localmente injectiva.
2. Se f e injectiva e X e compacta, entao f e um mergulho.
Dem. (1.) Qualquer representa cao f : [a, b] R R e uma imers ao (teorema 4.3.3),
pelo que, a menos de difeomorsmos, e uma injecc ao can onica (teorema 2.5.1). Ora
as injecc oes s ao aplicac oes injectivas, portanto pode concluir-se que f e localmente
injectiva.
(2.) Como f e contnua, f(X) e subconjunto compacto de Y ; mas ent ao, pelo teorema
1.1.7, f : X f(X) e homeomorsmo e f e mergulho. 2
Teorema 4.3.7 (da Funcao Inversa) Se a funcao f : X Y e diferenciavel e a
diferencial df
x
e um isomorsmo, entao f e difeomorsmo local em x.
Dem. An aloga ` as demonstrac oes anteriores em face do teorema 2.2.1. 2
Alertamos o leitor para o facto de um mesmo conjunto poder admitir estruturas dife-
renci aveis diferentes, denindo-se variedades com o mesmo suporte que podem ou nao
ser difeomorfas: por exemplo, em 1982, W. Thurston mostrou que R
4
admite duas e
s o duas estruturas diferenciaveis n ao difeomorfas.
Exemplo 4.3.1 Os atlas / := (id, R) e T := (()
3
, R) denem estruturas difer-
enci aveis diferentes em R, digamos respectivamente c
1
e c
2
. Dena-se X = (R, c
1
) e
Y = (R, c
2
). A funcao f t
3
t : X Y e um difeomorsmo.
4.4 Estruturas Riemannianas
Um campo vectorial em X e uma aplicac ao diferenciavel : V X TX tal que
(x) = x (x V ), sendo V algum subconjunto aberto de X.
Denicao 4.4.1 Uma metrica Riemanniana ou estrutura Riemanniana na
variedade X, e uma funcao < , >
que associa a cada x X um produto escalar

em T
x
X de modo que sejam quais forem os campos vectoriais
1
,
2
cujos domnios
tenham interseccao nao vazia V , funcao x <
1
(x),
2
(x) >
x
: V R e diferen-
ciavel. Uma variedade munida de uma metrica Riemanniana diz-se uma variedade
Riemanniana.
4.4. ESTRUTURAS RIEMANNIANAS 419
Exemplo 4.4.1 1. Uma sub-variedade X de R
n
tem uma estrutura riemanniana
natural induzida pelo produto escalar < , > de R
n
:
< [], [] >
x
=<
(0),
(0) > ([], [] T

x
X).
2. Se X e variedade parametrizada, i. e., admite um atlas com uma s o carta
: X R
n
, e < , > designa o produto escalar usual de R
n
, pode denir-
se uma estrutura riemanniana por
< [], [] >
x
=< ( )
(0), ( )
(0) > ([], [] T

x
X).
Exerccios 4.4.1 Suponha que X e sub-variedade de R
n
com a estrutura Riemanni-
ana induzida como no exemplo 4.4.1. Mostre que se existe uma aplicacao diferenciavel
f : X R
n
0 tal que f(x) e ortogonal a T
x
X, seja qual for x X, entao X e
orientavel. (Sug.: utilize a fun cao f para construir um atlas de X).
Uma subvariedade de uma variedade Riemanniana X, dir-se-` a sub-variedade Rie-
manniana se se suposer munida da estrutura Riemanniana induzida pela de X (con-
sidere o teorema 4.7.2).
Sobre a existencia de metricas Riemannianas, veja-se a subsecc ao 4.5.3.
Teorema 4.4.1 Seja < , >
uma metrica Riemanniana na variedade X. Seja

tambem : V R
n
uma carta de X. Existem funcoes reais diferenciaveis
g
ij
: V R (1 i, j n) tais que
1. As matrizes [g
ij
] sao simetricas e denidas positivas.
2. Para quaisquer u, v T
x
X e x V ,
< u, v >
x
= (
x
(u))
T
[g
ij
(x)]
x
(v) (4.16)
Dem. Basta considerar a base canonica e
k
: 1 k n de R
n
e denir
g
ij
(x) = <
1
x
(e
i
),
1
x
(e
j
) > .
2
As funcoes g
ij
do teorema anterior dizem-se os coecientes da metrica na carta .
Suponhamos xada uma metrica Riemanniana < , >. Em cada espaco T
x
X ca
denida uma norma por
|u|
x
=

< u, u >
x
. (4.17)
420 CAP
AVEIS
E temos tambem um processo de calcular comprimentos de curvas. Dada uma curva
:]a, b[ X
1. Dene-se a derivada de por
(t) =
1
(t)
( )
(t) (t ]a, b[). (4.18)

2. Dados c, d tais que a < c < d < b, dene-se o comprimento de de c a d (ou de
(c) a (d)) como sendo o n umero l
cd
dado por
l
cd
() =
_
d
c
| (t)|
(t)
dt
Uma funcao diferenci avel e bijectiva entre variedades Riemannianas, f : X Y ,
diz-se uma isometria se vericar
< df
x
(u), df
x
(v) >
f(x)
= < u, v >
x
(x X; u, v T
x
X) (4.19)
Exerccios 4.4.2 Mostre que uma isometria entre variedades Riemannianas preserva
o comprimento das curvas, i. e., se f : X Y e isometria
l
f(c)f(d)
(f ) = l
cd
().
4.5 Partic oes da unidade II
4.5.1 Funcoes de suporte compacto
Teorema 4.5.1 Para qualquer n N, existem funcoes : R
n
R de classe C
e
suporte compacto.
Dem. Sigam-se os seguintes passos:
1. As func oes
i
(i = 0, 1, 2, 3) dadas pelas condic oes seguintes s ao de classe C
0
(t) =
_
0 t 0
e
1
t
0 < t
1
(t) =
0
(1 t
2
)
2
(t) =
1
_
1
(s)ds
_
t
1
(s)ds
3
(t) =
2
(
5 2t
3
)
4.5. PARTIC

OES DA UNIDADE II 421
2. A func ao dada por
(x) =
3
(|x|
2
) (x R
n
)
e de classe C
, vale 1 se |x| 1, vale 0 se |x| 2, verica (R

n
) = [0, 1] e
supp() = B
2
(0).
2
Uma forma mais r apida de obter o mesmo resultado e ilustrada no exerccio seguinte.
Exerccios 4.5.1 Prove as armac oes seguintes sobre a funcao f : R R dada por
f(t) =
_
0 [t[ 1
e
t
2
t
2
1
[t[ < 1.
1. f e de classe C
em R.
2. supp(f) = [1, 1].
3. f(R) = [0, 1].
4. Se (x) = f(|x|) (x R
n
),
(a) e de classe C
em R
n
.
(b) supp() = B
1
(0).
(c) (R
n
) = [0, 1].
422 CAP
AVEIS
Repare-se que podemos demonstrar
Teorema 4.5.2 Sejam quais forem r > 0 e a R
n
, existe uma funcao
(r,a)
: R
n
R
tal que
1.
(r,a)
e de classe C
.
2. supp(
(r,a)
) B
2r
(a)
3.
(r,a)
(R
n
) [0, 1].
Podendo ainda exigir-se que
i.
(r,a)
(R
n
) = [0, 1],
ii.
(r,a)
(B
r
(a)) = 1.
Dem. Tome-se uma funcao dada, quer em 2, quer no exerccio 4.5.1 acima, e
dena-se
(r,a)
(x) =
_
1
r
(x a)
_
(x R
n
).
As condi coes 1, 2, 3 e i cam garantidas em qualquer dos casos. A condicao ii garante-
se escolhendo por 2. 2
4.5.2 Paracompacidade
O teorema seguinte pode ser estudado em [1, Cap. 3].
Teorema 4.5.3 Uma variedade diferenciavel X e paracompacta se e apenas se toda
a componente conexa de X admite uma base numeravel para a topologia induzida.
Em particular
Exemplo 4.5.1 As sub-variedades de espacos euclidianos s ao paracompactas.
Uma partic ao da unidade numa variedade dir-se- a diferenciavel se todas as fun coes
forem diferenci aveis.
4.5. PARTIC

OES DA UNIDADE II 423
Teorema 4.5.4 Toda a variedade paracompacta admite uma particao da unidade de
classe C
, subordinada à famlia de domnios de cartas de um subatlas de qualquer

atlas.
Dem. Seja / um atlas da variedade X. Para cada x X escolha-se uma carta
x
: U
x
R
n
tal que x U
x
e tome-se um n umero positivo r
x
tal que
B
x
= B
2r
x
(
x
(x))
x
(U
x
).
De seguida considere-se a cobertura de X por abertos,
( = C
x
=
1
x
(B
x
)[ x X.
Como X e paracompacta, ( tem uma subcobertura localmente nita, digamos
(
= C
x
i
[ i I.
Escolhendo
(r,(x
i
))
pelo teorema 4.5.2, dena-se
i
(x) =
(r,(x
i
))
(
x
i
(x)) (x U
x
i
; i I).
Finalmente, seja
i
(x) =

i
(x)
iI

i
(x)
(x U
x
i
; i I).
A famlia
i
[ i I e uma partic ao da unidade nas condi coes requeridas. 2
4.5.3 Existencia
Teorema 4.5.5 Toda a variedade diferenciavel paracompacta admite uma estrutura
Riemanniana.
Dem. Seja
i
[ i I uma partic ao da unidade subordinada a um atlas
/ = (
i
, U
i
)[ i I da variedade X, de acordo com o teorema 4.5.4. Para cada
i I, o conjunto aberto U
i
e uma (sub)variedade parametrizada (de X) por
1
i
:
i
(U
i
) U
i
, portanto admite uma estrutura riemanniana digamos < , >
i
(vide
exemplo 4.4.1).
A func ao dada por
x
iI
i
(x) < , >
ix
dene uma estrutura riemanniana em X. 2
NOTA: De ora em diante consideraremos que as variedades sao conexas e paracom-
pactas.
424 CAP
AVEIS
4.6 O plano de Lobachevsky
Seja X o semiplano superior de R
2
X = (x, y) R
2
: y > 0 como sub-variedade
trivial de R
2
, munido da metrica Riemanniana cujos coecientes na carta canonica sao
g
11
(x, y) = g
22
(x, y) =
1
y
2
& g
12
g
22
0
Lema 4.6.1 Se :]a, b[ X e uma curva, a < c < d < b, 0 < < , (c) =
(0, ), (d) = (0, ) e (t) = (0, t), entao
l
() l
cd
(). (4.20)
Dem. Designe-se (t) = (x(t), y(t)). Tem-se
l
cd
() =
_
d
c
| (t)|
(t)
dt =
_
d
c
_
(x
)
2
(t) + (y
)
2
(t)
y(t)
dt
_
d
c
[y
(t)[
y(t)
dt
=
_

1
s
ds = l
().
Lema 4.6.2 As transformacoes de Mobius da forma
M
abcd
z
az +b
cz +d
em que a, b, c, d R e ad bc = 1 sao isometrias de X (em X).
Dem. Bastam alguns calculos rotineiros mas, de certo modo fastidiosos, que podem
ser facilitados observando que uma transformacao de Mobius e uma composicao de
translacoes, homotetias e inversoes, que sao tambem transformac oes de M obius e a
condic ao ad bc = 1 garante a invari ancia dos produtos escalares:
az +b
cz +d
=
_
a
d
z +
b
d
se c = 0
a
c
+ (b
ad
c
)
1
cz+d
se c ,= 0.
O estudo de cada uma das transformac oes em particular e mais simples. Observe-se
que uma das isometrias que nos interessa e z
1
z
. 2
4.6. O PLANO DE LOBACHEVSKY 425
Tem-se tambem que
Lema 4.6.3 Dados quaisquer dois pontos p
1
= (x
1
, y
1
), p
2
= (x
2
, y
2
) X existe uma
sequencia (a, b, c, d) tal que p
1
, p
2
M
abcd
(0 R).
Dem. Comece-se por observar que
z z +
1
2
transforma o semi-eixo positivo dos yy na recta de equac ao x =
1
2
,
z
1
z
transforma a recta de equac ao x =
1
2
na semi-circunferencia de equac ao
(x 1)
2
+y
2
= 1 com y > 0,
mediante homotetias apropriadas, esta semi-circunferencia pode ser transfor-
mada em qualquer outra no semi-plano superior, com centro no eixo dos xx.
Finalmente tome-se em atenc ao que, o centro da semi-circunferencia superior denida
por p
1
e p
2
e dado por
y = 0 & x =
x
2
2
x
2
1
+y
2
2
y
2
1
2(x
2
x
1
)
e o raio e
_
x
1
x
2
2
x
2
1
+y
2
2
y
2
1
2(x
2
x
1
)
_
2
+y
2
1
.
2
Teorema 4.6.1 As linhas de mais curta distancia em X sao os segmentos de recta
perpendiculares ao eixo dos xx e os arcos de semi-circunferencia de centro no eixo dos
xx.
Dem. Basta utilizar o lema anterior (4.6.3): dados dois pontos em X a distancia
entre eles e a mesma que a dist ancia entre os que lhes correspondem no semi-eixo
positivo dos yy, o que corresponde a um deslocamento sobre um segmento de recta
perpendicular ao eixo dos xx, se os pontos tem a mesma abcissa, ou sobre um arco de
circunferencia com centro no eixo dos xx, se os pontos tem abcissas diferentes. 2
426 CAP
AVEIS
4.7 Sub-variedades
Denicao 4.7.1 A variedade X diz-se sub-variedade da variedade Y se X Y e
a inclusao inc : X Y x x e um mergulho.
Exerccios 4.7.1 Qualquer subconjunto aberto U de uma variedade X munido das
restric oes a U de cartas de X e sub-variedade de X. Em particular, qualquer domnio
de carta e uma sub-variedade.
De um modo geral, as dimens oes das sub-variedades s ao menores ou iguais ` as da
variedade ambiente, mas podemos ser mais precisos.
Teorema 4.7.1 Quando n < m, X Y , e X e Y sao variedades respectivamente de
dimensao n e dimensao m, as condicoes seguintes sao equivalente
1. X e sub-variedade de Y .
2. A topologia de X e induzida pela de Y e para cada a X, existem uma carta
(, V ) de Y em a e uma carta (, V X) de X tambem em a, tais que
x V [x X (x) = ((x), 0) R
n
R
mn
] (4.21)
3. A topologia de X e induzida pela de Y e X admite um atlas / tal que, para
cada carta (, U) / existe uma carta (, V ) de Y e uma funcao diferenciavel
: (V ) R
n
de modo que = .
Dem. (1 2) Suponhamos ent ao que X e sub-variedade de Y nas condicoes descritas
e tome-se a X; repare-se que, como a inclus ao e mergulho, por denic ao, a topologia
de X j a e induzida pela de Y . Tomemos uma carta qualquer
0
: U
0
X R
n
de X em a, U
0
e por denic ao aberto em X; como inc e mergulho, X e sub-espaco
topol ogico de Y pelo que existe uma carta
0
: V
0
Y R
m
tal que a V
0
X U
0
;
sejam
U
1
:= V
0
X &
1
:=
0
|U
1
: U
1
R
n
e repare-se que esta e uma carta de X em a; alem disso, como inc e imersao tambem
0

1
1
=
0
inc
1
1
:
1
(U
1
) R
n

0
(V
0
) R
m
e imersao; mas ent ao pelo Teorema da Imersao (2.5.1), existem vizinhancas abertas
U
2

1
(U
1
) de
1
(a) em R
n
e V
1

0
(V
0
) de (a) em R
m
e mudan cas de coordenadas
: V
1
R
m
e : U
2
R
n
tais que

0

1
1

1
(p) = (p, 0) R
n
R
mn
(p (U
2
))
4.7. SUB-VARIEDADES 427
ou
(
0
) inc (
1
)
1
(p) = (p, 0) R
n
R
mn
(p (U
2
))
ou ainda
(
0
) inc(x) = ((
1
)(x), 0) R
n
R
mn
(x
1
1
(U
2
)).
Para concluir basta agora tomar :=
0
, V um subconjunto aberto de V
0
tal que
1
1
(U
2
) = V X e :=
1
.
(2 3) Basta formar o atlas com as cartas do n umero anterior e tomar sempre
como a projecc ao nas n primeiras coordenadas.
(3 1) Uma representac ao local da inclus ao pode sempre ser feita nas cartas e
do n umero anterior por ( )
1
; mas ent ao ( ( )
1
) id, pelo que
d d( ( )
1
) id
R
n e d( ( )
1
) e injectiva, logo ( )
1
e uma
imers ao; podemos assim utilizar o teorema 4.3.3 e, com a preserva cao da topologia,
concluir que a inclus ao e mergulho. 2
Alem disto
Teorema 4.7.2 Se X e sub-variedade de Y , entao para cada x X, T
x
X e sub-
espaco vectorial de T
x
Y .
Dem. As diferenciais dinc
x
: T
x
X T
x
Y s ao tambem inclus oes, j a que qualquer
curva em X e curva em Y . 2
Exerccios 4.7.2 Mostre que
1. as rectas, os planos, C
2
, T
2
, e a Fita de M obius sao sub-variedades de R
n
quando
n > 2
2. A circunferencia denida por x
2
+ y
2
= 9 & z = 0 e uma sub-variedade de
dimens ao 1 fechada (e nao aberta) de T
2
.
3. Com a notac ao de 1,
1
(t, t) : t ]0, 2[ e uma sub-variedade nem aberta nem
fechada de T
2
.
Sejam X e Y variedades de dimens ao respectivamente m e n, sendo m n, e
f : X Y uma func ao diferenci avel. Um elemento x X dir-se- a regular se
df
x
: T
x
X T
y
Y e sobrejectiva, i. e., f e submers ao em x. Um valor f(x) dir-se-a
regular se a imagem inversa f
1
(f(x)) for constituida apenas por pontos regulares;
pontos ou valores que n ao sejam regulares dizem-se singulares ou crticos.
428 CAP
AVEIS
Teorema 4.7.3 Dadas variedades X, de dimensao n, Y , de dimensao m, e uma
funcao diferenciavel f : X Y
1. as imagens inversas f
1
(b) de valores regulares de f sao sub-variedades de X de
dimensao mn e
Se f(a) = b, ent ao T
a
[f
1
(b)] = Ker(df
a
). (4.22)
2. Se f e injectiva, f(X) e variedade de dimensao n, mas nao necessariamente
sub-variedade de Y .
Dem. (1.) Suponhamos ent ao que b e valor regular de f e que f(a) = b. Tomem-se
cartas
0
: U
0
R
n
de X em a e
0
: V
0
R
m
de Y em b;
0
f
1
0
:
0
(U
0
)
0
(V
0
) e submers ao em (a) e, pelo teorema da submersao 2.4.1, existem vizinhancas
abertas U
1
de (a) e U
1
de 0 em R
n
, V
1
de (b) e V
1
de 0 em R
m
, e mudan cas de
coordenadas : U
1
U
1
e : V
1
V
1
tais que
U
1

0
(U
0
) & V
1

0
(V
0
)
(
0
(a)) = 0 & (
0
(b)) = 0
e para qualquer (u
1
, , u
n
, , u
m
) U
1
(
0
) f (
0
)
1
(u
1
, , u
n
, , u
m
) = (u
1
, , u
n
)
Sejam ent ao S := f
1
(b) e U := S
1
(U
1
).
x U sse
(u
1
, , u
n
, , u
m
) =
0
(x) U
1
& (u
1
, , u
n
) = (
0
)(f(x)) = 0
sse (0, , 0, u
n+1
, u
m
) =
0
(x) U
1
Designando por a projec cao de R
m
nas mn ultimas coordenadas,
:=
0
: U R
mn
e uma carta de S em a, que e restricao de uma funcao diferenciavel ao conjunto U, o
qual por sua vez e interseccao com S de um conjunto aberto de X, assim, como a e
0
foram tomados arbitrariamente S e sub-variedade de X.
Quanto ao espa co tangente em a Z := f
1
(b): se [] T
a
Z ent ao f b pelo que
[f ] =

0 T
b
Y e [] Ker(df
a
); por outro lado se df
a
([]) = [f ] =

0 T
b
Y ,
4.7. SUB-VARIEDADES 429
ent ao [f ] = [b], pelo que f b, i.e., o contradomnio de Z e [] T
a
Z,
donde Ker(df
a
) T
a
Z.
(2.) Para cada carta (, U) de X, := f
1
: f(U) f(X) R
n
e uma carta de
f(X). As condic oes de compatibilidade entre cartas denidas deste modo resultam das
condic oes de compatibilidade em X: se os domnios das cartas (, f(U)) e (, f(V ))
tem interseccao nao vazia, ent ao
(f(U) f(V )) = (f(U V )) = (U V )
e

1
=
1
.
A armac ao restante pode constatar-se no exemplo seguinte 4.7.1. 2 Mais
precisamente:
Teorema 4.7.4 Se X e sub-variedade de dimensao n da variedade Y de dimensao
m > n e x X, entao existem uma vizinhanca V , de x em Y , e uma submersao,
g : V R
mn
, tais que V X = g
1
(0).
Dem. Tomemos as cartas e da condicao (4.21) no teorema 4.7.1; a submers ao g
pode ser
n+1, ,n
. 2
NOTA: Repare-se que a diferenciabilidade de f n ao e necess aria na segunda parte do
teorema.
Exemplo 4.7.1 Figura Oito Seja :]

2
,
3
2
[ R
2
dada por
(t) = (cos(t), sin(2t)).
1. e imers ao injectiva, no entanto X = (]

2
,
3
2
[) n ao e sub-variedade de R
2
porque (0, 0) X e, seja qual for > 0 a bola B
(0, 0) X n ao e homeomorfa a
um intervalo real.
2. O prolongamento : R R
2
, continua a ser uma imers ao, cujo contradomnio
n ao e sub-variedade de R
2
, porque passa modo, a ter auto-intersec coes.
430 CAP
AVEIS
Captulo 5
Sub-variedades de Espacos
Euclidianos
5.1 Introducao
Os subconjuntos de espacos euclidianos R
n
tem ja mais estrutura herdada do espa co
ambiente, em particular o facto de serem variedades pode ser feito depender mais
claramente da diferenciabilidade das cartas em si mesmas.
Teorema 5.1.1 Uma sub-variedade de R
n
de dimensao k e um subconjunto (nao
vazio) X de R
n
que satisfaz as condicoes seguintes. Para cada elemento x X existem
um conjunto aberto V
x
em R
n
e uma funcao : V
x
R
k
de classe C
tais que
1. x V
x
.
2. A restricao de a V
x
X e injectiva.
3. (V
x
X) e um subconjunto aberto de R
k
.
4. A funcao
1
: (V
x
X) R
n
e de classe C
.
Por outras palavras: X e uma sub-variedade de R
n
, se cada elemento de X tem uma
vizinhanca aberta, V
x
, em R
n
tal que o conjunto V
x
X e difeomorfo a um subconjunto
aberto de R
k
.
Este teorema e corolario de facto uma contextualizacao do teorema 4.7.1 e
deixa-se a demonstracao a cargo do leitor.
501
502 CAP
ITULO 5. SUB-VARIEDADES DE ESPAC OS EUCLIDIANOS

Observac oes.
Term Os termos sub-variedadee sub-variedade de [algum espaco euclidiano]
passam a ser sin onimos, salvo referencia ocasional em contr ario.
Dif1 O facto de x
x
1x
2
ser um difeomorsmo de B
1
(0) R
n
em R
n
pode ser
utilizado para mostrar que se pode supor (V
x
X) = B
1
(0) R
n
ou mesmo
(V
x
X) = R
n
e (x) = 0 na denicao acima (reveja-se a proposito o teorema
4.1.3).
Dif2 Como os difeomorsmos de classe C
p
(1 p ) tambem respeitam os con-
juntos abertos, se X e uma sub-variedade de R
n
, de dimensao k, e e um difeo-
morsmo de R
n
, cujo domnio contem X, entao (X) tambem e sub-variedade
de dimensao k de R
n
.
Dif3 Um conjunto que seja localmente sub-variedade e tambem sub-variedade, ou
seja, X R
n
e sub-variedade sse para cada x X existe uma vizinhanca V
x
de
x em R
n
tal que V
x
X e sub-variedade.
Mais uma adapta cao do teorema 2.5.2:
Teorema 5.1.2 Suponha-se que , = X R
n
. As condicoes seguintes sao equiva-
lentes.
1. X e sub-variedade de dimensao k de R
n
.
2. para cada x X existem um subconjunto aberto A de R
k
, uma funcao : A
R
n
de classe C
e um conjunto aberto W
x
R
n
tais que:
(a) x (A).
(b) (A) = W
x
X.
(c) e imersao injectiva
Dem. I. (1 2) Considere-se o teorema 5.1.1 e dena-se W
x
:= V
x
, A := (W
x
), :=
1
: A R
n
. Basta vericar que e imers ao. Suponha-se que (u) = y W
x
X e
repare-se que
d( )
u
= d
y
d
u
.
Como = id
A
, tem-se
d
y
d
u
= id
R
k
5.1. INTRODUC

AO 503
de onde se conclui que d
u
e injectiva e e imersao no ponto u arbitrariamente
escolhido em A.
II. (2 1) Vamos aplicar o n umero 3 do teorema 4.7.1
(i) X e variedade de dimens ao k, com atlas formado pelas cartas (
1
, W
x
X).
S o falta vericar as condic oes de compatibilidade e estas resultam do teorema 2.5.2.
(ii) A topologia induzida em X pelo estrutura diferenci avel associada ao atlas da
alnea anterior e a euclidiana de R
n
, pois os domnios das cartas daquele s ao abertos
induzidos.
(iii) A partir de uma representac ao u
1
(u) = (u, 0) com difeomorsmos
e (resp. para e no teorema 2.5.1), tomando como a projecc ao de R
n
nas
primeiras k coordenadas e fazendo :=
1
, tem-se que e carta de R
n
e que
=
1
. 2
Uma aplicac ao do teorema anterior e dada no exemplo seguinte.
Exemplo 5.1.1 O graco de uma funcao diferenciavel f : A R
k
R
n
e uma
sub-variedade de dimensao k de R
k+n
.
Vejamos: A e aberto por denic ao de func ao diferenciavel; a func ao dada por
(x) = (x, f(x)) R
k+n
(x A) est a nas condic oes do teorema e (A) e o gr aco
de f.
O exemplo anterior inclui-se numa classe mais vasta de variedades, as variedades
parametrizadas:
Denicao 5.1.1 O subconjunto X de R
n
diz-se uma variedade parametrizada de
dimensao k se e o contradomnio de uma imersao injectiva : A R
k
R
n
.
Convem ter presente que:
Teorema 5.1.3 Se X e sub-variedade de R
n
de dimensao k, entao k n.
504 CAP

Em termos topol ogicos, o teorema 5.1.1 pode enunciar-se
Teorema 5.1.4 Um conjunto X R
n
e uma sub-variedade de dimensao k se e apenas
se
1. e um sub-espaco topologico de R
n
munido da topologia euclidiana usual
localmente difeomorfo a um subconjunto aberto de R
k
, no seguinte sentido:
2. cada elemento de X tem uma vizinhanca, V , aberta (em X) para a qual ex-
istem um subconjunto aberto, A, de R
k
, uma funcao, possivelmente parcial,
: R
n
R
k
, e uma funcao bijectiva : A V R
n
, ambas de classe
C
, tais que e a identidade em A.

Dem. Repare-se que os abertos do subespaco topologico X s ao precisamente as
intersec coes de X com subconjuntos abertos de R
n
, e tome-se V = V
x
X. Por outro
lado, =
|(A)
, e pode utilizar-se o teorema 5.1.1. 2
De ora em diante deixaremos de fazer referencia aos conjuntos abertos do espaco
ambiente cuja intersec cao com a sub-variedade e difeomorfa a um subconjunto aberto
de R
k
.
Como daqui em diante consideraremos apenas sub-variedades de algum espaco euclidi-
ano R
n
, o termo variedade deve entender-se como sin onimo de sub-variedade, a menos
que o contexto determine de outro modo.
O teorema seguinte permitir-nos- a utilizar uma linguagem mais sucinta:
Teorema 5.1.5 Se X e sub-variedade de R
n
de dimensao k e n < m, entao X e
tambem sub-variedade da mesma dimensao de R
m
.
Dem. Basta observar que R
n
pode considerar-se subespaco topologico de R
m
, identi-
cando, por exemplo, atraves de uma inclusao canonica; assim, V
x
e aberto em R
n
sse
existe um aberto

V
x
R
m
de modo que V
x
=

V
x
R
n
, pelo que, V
x
X =

V
x
X. 2
Face a este resultado, podemos deixar de fazer referencia ao espa co euclidiano ambi-
ente, a menos que tal seja necess ario.
Note-se que
Teorema 5.1.6 Se X e uma variedade, qualquer subconjunto aberto de X, enquanto
subespaco topologico do espaco ambiente R
n
, e uma sub-variedade de X.
5.2. FUNC

OES DIFERENCI
AVEIS 505
Dem. Recorde-se o exerccio 4.7.1. 2
Mas nem todas as sub-variedades de uma variedade sao necessariamente triviais. Por
exemplo, as superfcies esfericas s ao sub-variedades possvelmente compactas, mas
nunca abertas da variedade ambiente R
3
. De modo mais preciso, podemos demon-
strar o seguinte.
Teorema 5.1.7 Se n > m, f : A R
n
R
m
e uma funcao diferenciavel, a A e
f(a) e valor regular de f, entao f
1
(f(a)) e uma sub-variedade de R
n
de dimensao
n m.
Dem. Este e um enunciado do teorema 4.7.3 adaptado ao presente contexto. 2
Exerccios 5.1.1 Mostre que
1. O Cilindro, a Esfera, o Toro e a Fita de M obius s ao subvariedades fechadas e
n ao abertas de R
3
.
2. A circunferencia denida por x
2
+ y
2
= 9 & z = 0 e uma sub-variedade de
dimens ao 1 fechada e nao aberta do Toro.
3. Com a notac ao da equac ao 4.5,
1
(t, t) : t ]0, 2[ e uma sub-variedade nem
aberta nem fechada do Toro.
5.2 Funcoes diferenciaveis
Ter presente o resultado seguinte pode facilitar bastante a construc ao de fun coes dife-
renci aveis.
Teorema 5.2.1
1. Se X e sub-variedade de Y e a funcao f : Y Z e diferenciavel, entao a
restricao de f a X tambem e diferenciavel como funcao de X em Z.
2. Se Y e sub-variedade de Z e a funcao f : X Y e diferenciavel, entao tambem
e diferenciavel como funcao de X em Z.
506 CAP

Exemplo 5.2.1
1. Se f : A R
n
R
m
e uma func ao diferenciavel, X e Y s ao sub-variedades
respectivamente de R
n
e de R
m
, X A e f(X) Y , ent ao f
|X
: X Y e
diferenci avel. Em particular, as fun coes diferenciaveis no sentido classico tambem
o sao no sentido das variedades.
2. Sejam
X = (x, x
3
)[ x R, Y = (x, 2x)[ x R
e f a projecc ao horizontal de X em Y . Uma representa cao cartesiana de f pode
ser f(x, x
3
) = (
x
3
2
, x
3
); f e, de facto, a restricao a X da fun cao dada por

f(x, y) =
(
y
2
, y), sendo diferenci avel, em face do exemplo anterior. Se considerarmos as
cartas de X e de Y dadas respectivamente por (x, y) = y e (x, y) = x, ent ao
f : [a, b] R R(t) =
t
2
.
3. Sejam
X = (x, y, z) R
3
[ 2x + 3y + 5z = 7, Y = (x, y, z) R
3
[ 2x 2y z = 11,
e seja f a projecc ao vertical de X em Y . Se : X R
2
e : Y R
2
s ao as
cartas dadas por (x, y, z) = (x, y, z) = (x, y), entao f : [a, b] R R(u, v) =
(u, v), pelo que f e (bijectiva,) diferenci avel e tem inversa diferenciavel.
Representa coes cartesianas de f podem ser dadas, por exemplo, por
f(x, y, z) = (x, y, 2x 2y 11) = (x, y, 4 5(z +y)) se (x, y, z) X.
5.2.1 Espaco Tangente
Teorema 5.2.2 Seja X uma variedade de dimensao k e tome-se x X. Se
: U R
k
e uma carta de X, e x U, entao T
x
X e isomorfo a D
1
(x)
(R
k
).
Dem. O argumento seguinte e uma forma de dizer que
1
x
e identic avel com D
1
(x)
.
Tome-se uma carta, : U R
k
, da variedade X no ponto x. Se v R
k
, > 0 e
(x)+tv (U) quando t ], [, pode denir-se uma curva por =
1
((x)+tv);
neste caso D
1
(x)
(v) =
(0) T
x
X. Por outro lado, se para uma dada curva de
X, (0) = x &
(0) = u, ent ao, reduzindo adequadamente , se necess ario, podemos

supor que (] , [) U; mas entao u = D
1
(x)
(( )
(0)), e a derivada ( )
(0)
est a em R
k
. Como a caracterstica da matriz jacobiana de D
1
(x)
e k, a dimensao de
T
x
X e k e o teorema ca demonstrado. 2
5.3. ELEMENTOS DE GEOD
ESICAS EM SUPERF
ICIES 507
Designar-se- a o conjunto x +T
x
X R
n
por variedade tangente a X em x.
Exemplo 5.2.2 No exemplo 4.7.1 vimos, a proposito da Figura Oito, uma imers ao
que n ao e um mergulho, porque o contradomnio tem auto intersecc oes, mesmo quando
a imersao local e mesmo injectiva. No entanto, a existencia de auto intersecc oes nao e
necess aria para dar um exemplo de uma imers ao injectiva que n ao e mergulho; basta
tomar X = R
+
, Y = R, denir adequadamente uma curva, : R R
2
, de classe C
que tenha contacto

1
de classe C
com x (x, sin

_
1
x
_
) em (
1
) e com o eixo dos

yy em (0, 1) e p or ainda
f(x) =
_
_
(0, (x + 2)) 3 < t < 1
(x) 1 < t <
1
(x, sin
_
1
x
_
)
1
< t < 0.
Seja Z = f(R). Os conjuntos B
(0, t) Z ([t[ 1; 0 < < 1) s ao vizinhan cas dos

pontos (0, t) induzidas pela topologia usual em R
2
e tem uma innidade de compo-
nentes conexas, pelo que Z n ao e sub-variedade de R
2
apesar de n ao ter auto inter-
secc oes.
Terminamos esta secc ao recordando a segunda parte do teorema 4.3.6
Teorema 5.2.3 Se X e variedade compacta e a funcao f : X Y e imersao injec-
tiva, entao f e um mergulho.
5.3 Elementos de geodesicas em superfcies
Os espacos tangentes T
x
S a uma superfcie S que seja sub-variedade de R
3
s ao identi-
c aveis com D
1
(x)
(R
2
), sempre que e carta de S em x; estas superfcies tem ainda
uma estrutura riemanniana natural induzida nos espacos tangentes pelo produto es-
calar de R
3
e as curvas na variedade S s ao de facto func oes diferenci aveis :]a, b[ R
3
,
para certos a, b R com a < b, tais que (]a, b[) S, sendo
l
cd
() =
_
d
c
|
(t)|dt (a < c d < b).

1
Para a no cao de contacto consulte-se [2]; para estudar a possibilidade de construir tais curvas,
consulte-se, por exemplo [8] alguma inspiracao pode encontrar-se na seccao 1.3.
508 CAP

Sejam entao S uma superfcie que e sub-variedade de R
3
e uma curva de S. A
aceleracao de e
:]a, b[ R
3
e diz-se geodesica se a aceleracao de for
ortogonal a S, i.e.,
t ]a, b[
(t) T
(t)
S.
Por outras palavras:
Teorema 5.3.1 A curva na superfcie S e geodesica se e apenas se a projeccao da
aceleracao
(t) no espaco tangente T

(t)
S for sempre nula.
A a projeccao da aceleracao
(t) no espaco tangente T

(t)
S tambem se designa por
derivada covariante de
.
Uma situac ao razoavelmente simples de estudar e aquela em que S e o gr aco, graf(f),
de uma funcao diferenciavel real de duas variaveis reais f : A R
2
R, munido da
estrutura diferenci avel gerada pelo atlas ( = (graf(f),
12
), no qual
12
(x, y, z) =
(x, y); se considerarmos tambem graf(f) munido da estrutura riemanniana natural-
mente induzida pelo produto escalar usual em R
3
, colocamo-nos no contexto de su-
perfcies parametrizadas e, com a notac ao f
w
:=
f
w
, para (u, v) A:
1
12
(u, v) = (u, v, f(u, v)) := (u, v) (5.1)
[g
ij
((u, v))] =
_
_
1 + (f
u
)
2
f
u
f
v
f
u
f
v
1 + (f
v
)
2
_
_
:= M(u, v) (5.2)
det(M(u, v)) = 1 + (f
u
)
2
+ (f
v
)
2
:= (u, v) (5.3)
Em particular, M(u, v) e sempre invertvel. Convem ainda observar que as curvas de
um gr aco, com a notac ao acabada de descrever, s ao da forma t ((t)), em que
e curva em R
2
.
Teorema 5.3.2 Seja S o graco de uma funcao diferenciavel f : A R
2
R com
a estrutura riemanniana que descrevemos em (5.1) e (5.2). Para qualquer x S
e qualquer T
x
S, existem um intervalo nao trivial ]a, b[ R e uma geodesica
:]a, b[ S tais que
a < 0 < b
(0) = x
(0) = .
5.3. ELEMENTOS DE GEOD
ESICAS EM SUPERF
ICIES 509
Dem. Denamos
(t) = ((t)).
Tem-se
(t) = (
(t), Df
(t)
(
(t)))
(t) = (
(t), D
2
f
(t)
(
(t)
(2)
)+ < f
(t)
,
(t)) > .
Tomando (u, v) como em (5.3), de acordo com o teorema 5.3.1, e geodesica sse
(t) +
D
2
f
(t)
(
(t)
(2)
)
((t))
f
(t)
= 0.
De outra forma
(t) =
D
2
f
(t)
(
(t)
(2)
)
((t))
f
(t)
.
Finalmente, denindo
(((t),
(t)) =
D
2
f
(t)
(
(t)
(2)
)
((t))
f
(t)
T((t),
(t)) = (
(t), (((t),
(t)))
(t) = ((t),
(t))
0
= (
12
(x),
12
()),
a demonstrac ao do teorema reduz-se ` a aplicac ao do teorema 3.1.1 ao problema de
Cauchy
_
(t) = T((t))
(0) =
0
.
2
510 CAP

Exerccios 5.3.1
1. Mostre que as geodesicas do plano como sub-variedade Riemanniana de R
3
s ao
segmentos de recta.
2. Mostre que as geodesicas da esfera S
2
como sub-variedade Riemanniana de R
3
s ao arcos de crculo m aximo.
3. Fixe uma descri cao a seu gosto da Fita de Mobius enquanto sub-variedade
riemanniana de R
3
e designe-a por /. Decida se a curva dada por (t) :=
(cos(t), sen(t), 0) (t R) e ou nao geodesica de /.
5.4 Transversalidade
Teorema 5.4.1 Sejam X e Y variedades de dimensao respectivamente m e n, sendo
m n, e f : X Y uma funcao diferenciavel. Se y e valor regular de f e Z = f
1
(y),
entao Z e uma sub-variedade de X de dimensao mn e tambem
T
z
Z = Ker(df
z
) (z Z).
Dem. Esta e uma contextualizac ao do teorema 4.7.3. 2
Teorema 5.4.2 Se Z e sub-variedade de dimensao p de R
m
e z Z, entao existem
uma vizinhanca U de z em R
m
tal que, a menos de uma mudanca de coordenadas,
Z U e o graco de uma funcao diferenciavel de R
p
em R
np
(entendendo-se R
k
=
R
k
0 R
m
, se k N).
Dem. Basta aplicar o teorema da Funcao Implcita (2.3.1) ` a equac ao g(y
1
, , y
m
)=0
do teorema 4.7.4, e permutar adequadamente as coordenadas yy. 2
Dadas variedades X e Y de dimens ao respectivamente m e n a func ao diferenciavel
f : X Y dir-se- a transversal ` a sub-variedade Z de Y indicado por f Z se
df
x
(T
x
X) +T
f(x)
Z = T
f(x)
Y sempre que f(x) Z.
A gura seguinte exemplica transversalidade em R
2
.
5.4. TRANSVERSALIDADE 511
- -
Z T
P
Z T
Q
Z T
R
Z
W
6
f
0
(x) = (x, x
2
)
f
1
(x) = (x, x
2
+
1
4
)
f
2
(x) = (x, x
2
+
1
2
)
x
y
P
Q
R
T
P
W df
00
(R)
df
2 a
(1)
df
b
(1)
f
0
nao e transversal a W; f
0
, f
1
e f
2
sao transversais a Z
Dena-se tambem codimensao de uma sub-variedade Z, de dimens ao k, da variedade
Y , de dimens ao n, como n k. Abrevia-se codimens aopor cod.
Um criterio de transversalidade:
Teorema 5.4.3 A funcao f : X Y e transversal à sub-variedade Z de Y sse para
cada x X f
1
(Z), existe uma vizinhanca de f(x), V
f(x)
em Y , e uma submersao
g : V
f(x)
R
cod(Z)
tal que g
1
(0) = V
f(x)
Z e 0 e valor regular de g f.
Dem. (se) Pelo teorema da Func ao Composta, porque (g f)(x) = g(f(x)) = 0 e
porque 0 e valor regular g f
dg
f(x)
(df
x
(T
x
X)) = d(g f)
x
(T
x
X) = R
cod(Z)
.
Como g e submers ao, dg
f(x)
e sobrejectiva; mas g
1
(0) = V
f(x)
Z, donde
Ker(dg
f(x)
) = T
f(x)
Z;
portanto
T
f(x)
Y = df
x
(T
x
X) + T
f(x)
Z.
(so se) De novo, o teorema 4.7.4, permite tomar, para cada x X, uma vizinhanca
V
f(x)
, de f(x) em Y e uma submersao g : V
f(x)
R
nk
, tais que 0 e valor regular de
g e V
f(x)
Z = g
1
(0). Neste caso, tem-se, por um lado, se U
x
= f
1
(V
f(x)
) e a U
x
,
(g f)(a) = 0
e, por outro lado,
(g f)
a
(T
a
X) = dg
f(a)
(df
a
(T
a
X)) = dg
f(a)
(df
a
(T
a
X) +T
f(a)
Z)
= dg
f(a)
(T
f(a)
Y ) = R
nk
.
e 0 e valor regular de g f. 2
512 CAP

Teorema 5.4.4 Se a funcao diferenciavel f : X Y e transversal à sub-variedade
Z de Y , entao f
1
(Z) e sub-variedade de X e cod(f
1
(Z)) em X e igual a cod(Z) em
Y .
Dem. Pelo teorema anterior (5.4.3), cada elemento de f
1
(Z) tem uma vizinhan ca
induzida que e imagem inversa de um valor de uma submers ao portanto, tomando
respectivamente n, m e k como as dimens oes de X, Y e Z, f
1
(Z) e sub-variedade
de X (teorema 4.7.3) de dimens ao n(mk) e cod(f
1
(Z)) em X e mk = cod(Z)
em Y . 2
Se X e Z s ao sub-variedades da variedade Y , diremos que X e transversal a Z se a
func ao de inclusao x x : X Y e transversal a Z. Designando por i a inclusao,
esta transversalidade traduz-se por
T
x
X + T
x
Z = T
x
Y (x X Z)
que e uma equa cao simetrica em X e Z, e diz-se apenas que X e Z s ao transversais,
notando-se X Z.
Exerccios 5.4.1 Mostre que / S
2
.
Corolario 5.4.1 A interseccao de duas sub-variedades transversais de uma variedade
Y de dimensao n e uma sub-variedade de Y e
cod(X Z) = cod(X) + cod(Z) se X Z.
Dem. Como inc : X Y Z e X Z = inc
1
(Z), pelo teorema 5.4.4,
cod(X Z) em X = cod(Z) em Y.
Tomando respectivamente n, m e k como as dimens oes de X, Y e Z, tem-se
n dim(X Z) = mk = mn + n k
pelo que
mdim(X Z) = mn + mk.
2
5.5. ESTABILIDADE 513
E daqui tambem se deduz
Teorema 5.4.5 Se X e Z sao sub-variedades transversais da variedade Y e y XZ,
entao T
y
(X Z) = T
y
X T
y
Z.
Dem. Como T
y
X T
y
Z, T
y
Y = T
y
X +T
y
Z, pelo que
dim(T
y
X T
y
Z) = [dim(T
y
X) +dim(T
y
Z)] dim(T
y
Y )
= dim(X) +dim(Z) dim(Y )
= dim(Y ) [cod(X) +cod(Z)] = dim(Y ) cod(X Z)
= dim(X Z) = dim(T
y
(X Z))
Como T
y
(X Z) T
y
X T
y
Z de facto T
y
(X Z) = T
y
X T
y
Z 2
Exerccios 5.4.2
1. Dena X = (x, y, z) R
3
[ x
2
+y
2
= z
2
e

X = X(0, 0, 0). Mostre que
(a) X n ao e subvariedade de R
3
mas

X e.
(b) Todos os planos de R
3
que contem o eixo dos zz s ao transversais a

X.
2. Suponha que X, Y, Z s ao sub-variedades de espa cos euclidianos, que W e sub-
variedade de Z, que f : X Y e g : Y Z s ao func oes diferenci aveis e que
g W. Mostre que f g
1
(W) se e apenas se g f W.
5.5 Estabilidade
Dadas variedades X e Y , uma homotopia no conjunto C
(X, Y ), das fun coes dife-

renci aveis de X em Y e uma func ao contnua H : X [0, 1] Y ; se a homotopia H
for uma fun cao diferenci avel designar-se-a por difeotopia .
No que se segue limitar-nos-emos a considerar difeotopias, i. e., entenderemos homo-
topia e difeotopia como sinonimos
de um modo geral, designaremos f
t
a func ao H(, t) : X Y e, tambem poderemos
referir-nos ` a difeotopia (ou homotopia) como famlia de func oes (f
t
)
t[0,1]
ou, simples-
mente como f
t
; duas func oes diferenciaveis f
0
: X Y e f
1
: X Y dizem-se
homotopicas se existe uma difeotopia H : X [0, 1] Y tal que H(, 0) = f
0
e
H(, 1) = f
1
.
514 CAP

Exerccios 5.5.1 Sobre Homotopia. Suponha que X, Y s ao sub-variedades de
espacos euclidianos.
1. Suponha que f, g : X Y s ao func oes diferenci aveis homotopicas. Mostre que
Existe uma homotopia H : X [0, 1] Y tal que
H(x, t) = f(x) (t [0,
1
4
]; x X) & H(x, t) = g(x) (t [
3
4
, 1]; x X).
(SUG.: Comece por construir uma func ao diferenci avel : R [0, 1] tal que
(] ,
1
4
]) = 0 & ([
3
4
, +[) = 1.)
2. Prove que a relacao de homotopia entre funcoes diferenci aveis e de equivalencia.
Um subconjunto T de C
(X, Y ) diz-se estavel, se sempre que f = f

0
T e f
t
e uma
difeotopia, existe > 0 tal que f
t
T quando 0 t < .
Exemplo 5.5.1 1. Dena-se H(x, t) = tx
2
([x[ < 1; t [0, 1]). H e uma difeotopia
em C
(] 1, 1[, R) que transforma a func ao nula na func ao x x

2
(Figura 2.1).
2. Dena-se H(x, t) = x
2
+t ((x, t) R[0, 1]). H e uma difeotopia em C
(R, R)
e tem-se f
0
(x) = x
2
& f
1
(x) = x
2
+ 1. Repare-se que o gr aco de f
0
e tangente
ao eixo dos xx em (0,0), mas os gr acos de f
t
n ao sao tangentes ao eixo dos xx,
seja qual ponto for o valor de t (Figura 2.2).
3. Sejam f(x) = (x, x
2
), (x R), Z = (x, 2x)[ x R (Fig. 5.5).
(a)

E f acil ver que x H(x, t) = (x, x
2
+ t) ((x, t) R [0, 1]) e uma
difeotopia em C
(R, R
2
), que f = f
0
e que f e transversal a Z, pois
f(x) Z sse x = 0 ou x = 2, df
0
(R) = R0, df
2
(R)=(x, 4x)[ xR
e T
(0,0)
Z = T
(2,4)
Z = Z. Por outro lado, s o f
1
n ao e transversal a Z.
(b) Seja agora H(x, t) = (x, x
2
+2t) ((x, t) R[0, 1]), mantendo-se a notac ao
como no exemplo anterior. Neste caso, todas as f
t
(0 t <
1
2
) s ao transver-
sais a Z, mas f1
2
j a n ao e.
-
6
y = x
2
y =
3
4
x
2
y =
1
2
x
2
y =
1
4
x
2
H(x, 1)
H(x,
3
4
)
H(x,
1
2
)
H(x,
1
4
)
x
y
H(x, t) = tx
2
-
6
y = x
2
y = x
2
+
1
4
y = x
2
+
1
2
y = x
2
+ 1
y = f0(x)
y = f1
4
y = f1
2
(x)
y = f1(x)
x
y
1
4
1
2
1
ft(x) = H(x, t) = x
2
+t
Figura 5.1: Homotopias
- -
Z T
P
Z T
Q
Z T
R
Z
W
6
f
0
f
2
f
x
y
P
Q
R
T
P
W df
00
(R)
df
2 a
(1)
df
b
(1)
a
2
+

2
= 2a b
2
+ = 2b
Figura 5.2: Estabilidade f
0
, W, f
0
, f
2
, f
Z
Teorema 5.5.1 Se X e uma variedade compacta e Y e uma variedade, os seguintes
conjuntos sao estaveis (em C
(X, Y )).
1. Das imersoes locais
2. Das submersoes locais
3. Conjunto dos difeomorsmos locais.
4. Das funcoes de X em Y transversais a uma certa sub-variedade xa de Y
5. Dos mergulhos
6. Dos difeomorsmos
Dem. 3. Difeomorsmos locais.
Como um difeomorsmo local e simultaneamente imers ao e submersao local, basta
estudar este dois casos: se f e difeomorsmo local, H : X[0, 1] Y e uma difeotopia
tal que f = f
0
= H(, 0),
i
(i = 1, 2) s ao tais que as f
t
s ao respectivamente imersoes
516 CAP

e submers oes locais para 0 t <
1
e 0 t <
2
, ent ao f
t
e difeomorsmo local para
0 t < = min
1
,
2
.
1. Imers oes locais.
I. Para cada x X, escolham-se cartas
x
: U
1
x
X R
k
, e
x
: V
1
f(x)
Y R
n
tais
que
x
(x) = 0,
x
(f(x)) = 0,
x
f
1
x
(u
1
, , u
k
) = (u
1
, , u
k
, u
k+1
, , u
n
).
II. De seguida, escolham-se vizinhan cas, U
2
x
U
1
x
, de x em X, e V
2
f(x)
de f(x) em Y ,
e
1
x
> 0 tais que
H(x, t) V
2
f(x)
V
1
f(x)
se (x, t) U
2
x
[0,
1
x
[.
e seja
H(u, t) = (H(
1
(u), t)) ((u, t) (U
2
x
) [0,
1
x
[).
III. Todas as coordenadas da matriz jacobiana de

H em ordem a u = (u
1
, , u
k
),
Jac
u
(

H, u, t) =
_

H
i
u
j
_
nk
, sao func oes contnuas de (u, t) e
Jac
u
(

H, 0, 0) =
_
I
0
_
.
Assim, se os
i
x
(i = 2, 3) forem n umeros reais positivos sucientemente pequenos, o
determinante das k primeiras linhas da matriz 5.5 mantem-se nao nulo para
(u, t) B
2
x
(0) [0,
3
x
[ (U
2
x
) [0,
1
x
[ R
k
R.
IV. Repare-se que, localmente,

H(u, t) = f
t

1
Como X e compacta, para certos x
i
(1 i p) tem-se
X
p
i=1
1
x
i
(B
2
x
i
(0)).
Se = min
2
x
i
[ 1 i p, vale que f
t
e imers ao local quando t [0, [.
2. Submers oes locais. Utilizando o teorema da submersao (2.4.1), e trocando
a argumentac ao por linhas e colunas na parte que acab amos de demonstrar, pode
concluir-se a estabilidade das submers oes locais.
4. Transversalidade
Repare-se que a argumentac ao e local, pelo que podemos utilizar o teorema 5.4.3 e
cobrir X com um n umero nito de vizinhan cas U
x
como nesse teorema, raciocinando
de seguida de modo analogo ao que utiliz amos em 1.
5. Mergulhos
Como X e compacta, em face do teorema 5.2.3, basta mostrar que as difeotopias
preservam a injectividade, para t sucientemente pequeno. Se tal n ao acontecesse,
para certa difeotopia, H : X [0, 1] Y e cada > 0, existiriam t ]0, [, a(t) e b(t)
tais que
H(a(t), t) = f
t
(a(t)) = f
t
(b(t)) = H(a(t), t);
em particular,
H(a1
n
,
1
n
) = H(b 1
n
,
1
n
).
Como X e compacto, podemos supor (tomando subsucess oes adequadamente) que
a1
n
a X e b 1
n
b X. Como H e contnua, tem-se que
H(a1
n
,
1
n
) H(a, 0) & H(b 1
n
,
1
n
) H(b, 0)
pelo que
H(a, 0) = H(b, 0)
e, da injectividade de f = f
0
, se concluiria
a = b. (5.4)
Repare-se, no entanto que f e imers ao local, pelo que as funcoes f
t
se mantem imersoes
locais para t sucientemente pequeno. Podemos ent ao cobrir X com conjuntos abertos,
em cada um dos quais cada f
t
e injectiva. Ora, pela condic ao (5.4), para n sucien-
temente grande, se e um n umero de Lebesgue para essa cobertura (vide teorema
1.2.6) e d designa a metrica usual no espaco euclidiano ambiente, d(a1
n
, b 1
n
) < , pelo
que alguma das f
t
n ao seria injectiva no aberto que conteria a1
n
e b 1
n
, o que n ao pode
acontecer.
Em suma, para t sucientemente pequeno f
t
e injectiva. 2
6. Difeomorsmos
Como f e difeomorsmo, as componentes conexas de X s ao transformadas bijectiva-
mente em componentes conexas de Y ; como X e Y s ao localmente conexas (por arcos),
essas componentes conexas s ao relativamente abertas; assim, podemos supor que X e
Y s ao conexas.
Ora todas as f
t
s ao contnuas, pelo que todas as imagens f
t
(X) sao subconjuntos
compactos de Y , logo sao fechados; mas, para t sucientemente pequeno, vimos em 2
acima, que as f
t
s ao submers oes locais, pelo que s ao abertas (teorema 4.3.5); assim,
518 CAP

para t sucientemente pequeno, as func oes f
t
s ao simult anemente mergulhos e tem
contradomnio aberto e fechado num conjunto conexo, sendo portanto sobrejectivas;
como X e compacta, sao difeomorsmos. 2
Exerccios 5.5.2 Faca uma demonstra cao de que a famlia das func oes f : R R
2
transversais ao eixo dos xx em R
2
e est avel sem recorrer ao teorema anterior.
5.6 Exemplos
A hip otese de compacidade da variedade X e necessaria em qualquer das alneas do
teorema 5.5.1.
1. Sejam X = R, Y = R
2
, Z = R 0 e H(x, t) = (x,
1
x
2
+1
sin x + t). Tem-se
f
0
Z, mas se 0 < t
n
=
1
(
3
2
+2n)
2
+1
< , f
t
n
, Z, pois f
t
n
e tangente a Z em
(
3
2
+ 2n, 0).
2. Sejam X = R
+
, Y = R, H(x, t) = log
_
tx+1
x
_
. A func ao f
0
e difeomorsmo, mas
f
t
nunca e se t > 0, pois nesse caso f
t
(x) > log t, logo n ao e sobrejectiva, se bem
que continue a ser difeomorsmo local.
3. Sejam X = R
2
, Y = R, f
t
(x, y) = t(x
2
+ y
2
) + x + y. A fun cao f
0
e submersao
(local). Qualquer das fun coes f
t
(t > 0) tem pontos crticos (
1
2t
,
1
2t
).
4. Sejam X = R
2
= Y, f
t
(x, y) = (tx
3
x, y). A func ao f
0
e um difeomorsmo,
portanto e tambem imersao local; mas se t > 0, tem-se
Jac(f
t
, (x, y)) =
_
3tx
2
1 0
0 1
_
,
pelo que f
t
n ao e imersao local em (
1
3t
, y).
5. SejamX = R, Y = R
2
, f
t
(x) = ((tx)
3
4x, (tx)
2
4). A func ao f
0
e um mergulho
de R na sub-variedade R4 de R
2
; mas, se t > 0, f
t
(
2
t
3/2
) = f
t
(
2
t
3/2
), pelo
que f
t
(R) tem auto-intersecc ao, logo n ao e sub-variedade e f
t
n ao e mergulho.
Exerccios 5.6.1 Seja X uma subvariedade euclidiana de dimensao n N (n 1).
Uma funcao diferenci avel f : X R diz-se de Morse se qualquer das suas repre-
sentac oes em cartas (, V ), f
1
: (V ) R, nao tem pontos crticos degenerados.
Mostre que Se X e compacta, o conjunto das funcoes de Morse em X e estavel
5.7. O TEOREMA DE WHITNEY 519
(SUG.: Comece por mostrar que uma func ao diferenci avel f : A R
n
R, com
matriz hessiana H(f, ), e de Morse sse
x A [detH(f, x)]
2
+
n
i=1
_
f
x
i
(x)
_
2
> 0).
5.7 O teorema de Whitney
Esta secc ao ser a dedicada ` a demonstrac ao do teorema seguinte sobre variedades ar-
bitrarias de dimensao nita.
Teorema 5.7.1 (de Whitney) Toda a variedade compacta de dimensao n se pode
mergulhar em R
2n+1
.
Exerccios 5.7.1 Um mergulho da Garrafa de Klein / em R
4
.
Considere a garrafa de Klein / como quociente de um rectangulo (vide o exerccio
4.1.4).
1. Dena f : R
2
R
4
por
f(u, v) :=
_
(8 + 3cosv)cosu, (8 + 3cosv) sin u, 3 sin vcos
_
u
2
_
, 3 sin v sin
_
u
2
__
(a) Mostre que f
|R
e compatvel com , i.e.,
(s, t) (u, v) f(s, t) = f(u, v) ((s, t), (u, v) 1).
(b) Dena F : / R
4
por F([(u, v)]) := f(u, v) e mostre que F e um mergulho.
Eis um resultado menos preciso que o Teorema 5.7.1.
Lema 5.7.1 Toda a variedade compacta se pode mergulhar em alguma variedade eu-
clidiana R
p
(p N).
Dem. Suponhamos que X e variedade compacta de dimens ao n. X tem entao um
atlas nito (
i
, U
i
)|1 i m e, pelo teorema 4.1.3, podemos supor que
(U
i
) = B
3
(0)
520 CAP

e, com mais precis ao ainda,
X =
m
_
i=1
1
i
(B
1
(0)).
Com a nota cao do teorema 4.5.2 dena-se para 1 i m,
i
=
(1,0)

i
f
i
(x) =
_
i
(x)
i
(x) se x U
i
0 se x , U
i
g
i
= (f
i
,
i
) : X R
n
R
g = (g
1
, , g
m
) : x R
m(n+1)
Deixa-se como exerccio provar que g e imers ao injectiva pelo que, em face do teorema
4.3.6, e tambem um mergulho. 2
Abreviemos medida exterior de Jordan nula por medida nula
Lema 5.7.2 Se f : U R
n
R
n
e uma funcao lipschitziana, e C e um subconjunto
de U com medida nula, o mesmo acontece com f(C).
Dem. Suponhamos que, para certo L 0,
x, y U |f(x) f(y)| L|x y|.
Se I =
n
i=
]a
i
r
2
, a
i
+
r
2
[ U e (b
1
, , b
n
) = f(a
1
, , a
n
), ent ao
f(I)
n
i=
]b
i
nLr
2
, b
i
+
nLr
2
[. (5.5)
Designe-se por v(I) o volume do intervalo (limitado) I R
n
; por (5.5), se C pode
cobrir-se com uma uniao numer avel de cubos I
k
U (k N) tal que
kN
v(I
k
) < ,
ent ao f(C) e cobrvel com uma uni ao numeravel de cubos de R
n
cuja soma de volumes
e inferior a (L
n)
n
, portanto se C tem medida nula o mesmo acontece com f(C).2
Lema 5.7.3 Seja f : U R
n
R
n
uma funcao diferenciavel. Se C e um subconjunto
de U com medida nula, o mesmo acontece com f(C).
Dem. Sendo de classe C
1
, a func ao f e localmente Lipschitziana e consequentemente
U e uniao numer avel de conjuntos abertos onde f e Lipschitziana. Segue-se que qual-
quer subconjunto de U e uni ao numeravel de subconjuntos de conjuntos onde f e
Lipschitzeana. O lema anterior (5.7.2) permite concluir a demonstra cao. 2
Repare-se que
Lema 5.7.4 Um subconjunto de R
n
com medida exterior de Jordan zero nao pode
conter conjuntos abertos.
Dem. ... porque n ao pode conter intervalos abertos. 2
Lema 5.7.5 Se a funcao g : U R
k
R
p
e diferenciavel e k < p entao g(U) tem
medida nula em R
p
.
Dem. Se
k
: R
p
R
k
designa a projecc ao nas primeiras k coordenadas, ent ao
g(U) = (g
k
)(U 0 R
pk
); ora U 0 R
pk
tem medida zero em R
p
e
podemos aplicar o lema 5.7.3. 2
Lema 5.7.6 Sejam X e Y variedades de dimensao respectivamente k e p e f : X Y
uma funcao diferenciavel. Se k < p, entao Y f(X) e denso em Y , i. e., f(X) nao
contem subconjuntos abertos de Y .
Dem. Pelo lema 5.7.4, basta mostrar que se f(X) e : V R
p
e carta de Y , ent ao
(V f(X)) tem medida exterior de Jordan zero (reveja-se a NOTA na pagina 423).
Tomemos ent ao uma carta : V R
p
de Y . Como f e contnua, U := f
1
(V ) =
f
1
(V f(X)) e aberto em X; de novo considerando a NOTA da pagina 423, U e
uni ao numeravel de domnios de cartas
l
: U
l
R
n
(l N), pelo que
(V f(X)) =
_
lN
( f
1
)((U
l
)).
e podemos aplicar o lema 5.7.5 para concluir que cada (f
1
)((U
l
)) tem medida
nula e a fortiori o mesmo acontece com (V f(X)). 2
Passemos ent ao ` a demonstrac ao do teorema de Whitney 5.7.1.
Dem. (5.7.1) Em virtude do lema 5.7.1, podemos supor que, para algum p N,
X R
p
.
522 CAP

Se p 2n + 1 nada h a a provar; se p > 2n + 1, veremos que X e mergulh avel em
R
p1
: R
p1
0 por uma projecc ao
v
segundo um vector
v R
p
R
p1
com |v| = 1.
Se v = (v
1
, , v
p
) estiver nestas condic oes, para que
v
seja injectiva e necess ario e
suciente que z X (z +Rv) X = z ou seja
x, y X [x ,= y
x y
|x y|
,= v , R
p1
]. (5.6)
Para que
v
seja imersao basta que
x X z T
x
X0 v ,=
z
|z|
, (5.7)
pois com x := (x
1
, , x
p
),
v
(x) = x
x
p
v
p
v.
Suponha-se ent ao que
p > 2n + 1. (5.8)
A existencia de v como em (5.6) pode deduzir-se do seguinte modo: sejam :=
(a, a)[ a R
p
a diagonal de R
p
R
p
e C := (x, y) X
2
[ x
p
= y
p
. Como e C
s ao fechados em R
2p
(teorema 5.2.1), podemos concluir do exerccio 4.7.1 e de (5.6)
que X
2
( C) e subvariedade (aberta) de X
2
e que
dim(X
2
) = 2n < p 1. (5.9)
Dena-se
(x, y) :=
x y
|x y|
S
p1
((x, y) X
2
( C)).
Pelo lema 5.7.6 em face de (5.9), (X
2
) S
p1
, pelo que de facto
OBS.: Em qualquer subconjunto aberto de S
p1
existe v nas condicoes
(5.6).
Quanto a (5.7), dena-se
T
1
X = z TX[ |z| = 1.
Se (z) := |z| (z R
p
), e uma func ao diferenci avel cujo unico ponto crtico e zero
donde 1 e valor regular de e, como
T
1
X =
1
(1),
T
1
X e subvariedade compacta de dimens ao 2n 1 de TX. Alem disto
dim(T
1
X) = 2n 1 < p 1 = dim(S
p1
). (5.10)
Mas entao a func ao : T
1
X S
p1
denida por
(z) := u se z (x, u) TX =
_
xX
x T
x
X,
sendo diferenciavel, tem imagem compacta, logo fechada e portanto com complementar
aberto em S
p1
. Considerando a observacao acima podemos concluir que e de facto
imers ao e, como X e compacta e mergulho. 2
Exerccios 5.7.2 1. Nesta questao n, k, p e r designam n umeros naturais maiores
ou iguais a 1, X e subvariedade de dimensao k de R
n
e identica-se R
k
R
k
0 R
k+r
(a) Suponha demonstrado o teorema seguinte
Teorema 5.7.2 Se I e um conjunto nao vazio, ,= A R
n
e a famlia
(A
i
)
iI
, de subconjuntos abertos de R
n
cobre A entao, para algum conjunto
i
n
: n N I, A
nN
A
i
n
.
i. Suponha que ,= A R
n
, f : A R
k
e uma funcao contnua e G
f
designa o gr aco de f. Mostre que, se A e aberto e p n+k, ent ao G
f
tem medida nula em R
p
(SUG: Comece por estudar os casos em que A
e compacto ou uma bola aberta e p = n +k).
ii. Mostre que, se k < n, entao X tem medida nula em R
n
.
(b) Seja c a estrutura diferenci avel de X e suponha que f : X R
k
e uma
func ao diferenciavel sem pontos singulares. Mostre que existe uma famlia
(A
i
)
iI
, de subconjuntos abertos de X tais que (f
|A
i
, A
i
) : i I c e e
um atlas de X
2. Mostre que se X e Y s ao subvariedades de dimensao positiva e transversais de
R
n
e X Y ,= , ent ao X Y n ao e uma variedade.
524 CAP

Bibliograa
[1] Brickell, F. & Clark, R.S. Dierentiable Manifolds, Van Nostrand Reinhold
Co., 1970.
[2] do Carmo, Manfredo P.: Dierential Geometry of Curves and Surfaces,
Prentice-Hall 1976.
[3] do Carmo, Manfredo P.: Geometria Riemanniana, Projecto Euclides 1988.
[4] Dias Agudo, F.R: Analise Real, Vol.1 & 2, Escolar Editora 1989 & 1990.
[5] Cronin, Jane: Dierential equations: introduction and qualitative theory,
Marcel Dekker 1994.
[6] Golubitsky, M. & Guillemin, V.: Stable Mappings and their Singularities,
Springer GTM 14, 1973.
[7] Guillemin, V. & Pollack, A.: Dierential Topology, Prentice-Hall 1974.
[8] Hirsch, Morris W.: Dierential Topology, Springer GTM 33, 1976.
[9] Hirsch, Morris W. & Smale, Stephen: Dierential equations, dynamical
systems and linear algebra, Aca. Press 1974.
[10] Lang, Serge: Real and Functional Analysis, Springer GTM142, 1993.
[11] Marsden, J.E.: Elementary Classical Analysis, Freeman 1974.
[12] Milnor, John W.: Topology from the Dierentiable Viewpoint, Princeton
1997.
[13] Schwartz, Laurent: Cours dAnalyse, Hermann 1968.
[14] Willard, S.: General Topology, Addison-Wesley 1970.
601
Indice remissivo
aberto, 101
acelerac ao, 508
aderencia, 103
aplicac ao aberta, 211
atlas, 401, 501
campo vectorial, 418
can onica
imers ao, 212
projecc ao, 210, 414
carta, 401, 501
cilindro, 404
cobertura, 103
cocarta, 402, 501
codimens ao, 511
compacto, 104
componente conexa, 102
condic ao inicial, 302
conexo, 102
espaco topologico, 102
localmente, 102
contrac cao, 106
coordenadas, 501
mudan ca de, 402
sistema de, 401, 501
crtico
elemento, 214
ponto, 214
degenerado, 214
valor, 214
curva, 411
derivada, 420
di ametro, 107
difeomorsmo, 204, 410, 415
local, 415
difeotopia, 513
diferencial, 414
dimens ao, 403
dist ancia, 105
Esfera, 405
espaco
metrico, 105
completo, 106
topol ogico, 101
de Hausdor, 101
regular, 104
separado, 101
est avel, 514
estrutura
diferenci avel, 402
Riemanniana, 418
exterior, 103
fechado, 103
fecho, 103
Figura Oito, 429
Fita de M obius, 405
fronteira, 103
func ao
contnua, 102
uniformemente, 309
de transic ao, 402
602
INDICE REMISSIVO 603

derivada de ... em ..., 201
derivada global, 201
diferenci avel, 410
lipschitziana, 301
func oes homotopicas, 513
Garrafa de Klein, 409
geodesica, 508
homeomorsmo, 102
local, 102
homotopia, 513
imers ao, 211, 415
local, 415
interior, 103
isometria, 420
Lema
de Morse, 214
de Lebesgue, 107
de Zorn, 402
lema
de Urysohn, 108
limite, 105
localmente nita, 108
metrica
coecientes da, 419
matriz
Hessiana, 203
Jacobiana, 201
mergulho, 415
n umero de Lebesgue, 107
notac ao
C
2
, 404
G
nk
, 406
T
2
, 405
x
i
, 404
3
i
, 404
p
n
, 406
B(X, Y ), 303
/, 409, 519
/, 405
P
2
, 415
S
2
, 405
pr
i
, 301
metrica

D, 302
metrica D, 302
paracompacto, 109
parametrizac ao, 402, 406, 501
partic ao da unidade, 109
ponto
crtico, 427
exterior, 103
fronteiro, 103
interior, 103
singular, 427
ponto xo, 106
problema
de Cauchy, 302
de valores iniciais, 302
projecc ao estereogr aca, 405
regular
elemento, 210, 427
ponto, 210
valor, 210, 427
represnta cao, 410
Riemanniana
estrutura, 418
metrica, 418
variedade, 418
soluc ao
maximal, 308
sub-variedade, 501
dimens ao, 501
subespaco topologico, 102
604

INDICE REMISSIVO
submers ao, 210, 415
local, 415
sucess ao
convergente, 105
de Cauchy, 106
superfcie, 404
suporte, 107
tangente
espaco, 411
brado, 413
vector, 411
Taylor
f ormula de, 202, 203
Teorema
da Fun cao Implcita, 208
da Fun cao Inversa, 204, 418
da Imersao, 212, 418
da Media, 203
da Submersao, 209, 417
de Existencia e Unicidade, 302
de Lagrange, 201
de Whitney, 519
do Ponto Fixo, 106
topologia
base de uma, 101
induzida, 102
Toro, 405
transversal
func ao, 510
variedade, 512
valor
crtico, 427
singular, 427
variedade, 407, 503
compacta, 507
de Grassmann, 406
diferenci avel, 403
orient avel, 407
parametrizada, 406, 503
Riemanniana, 418, 419
tangente, 507
topol ogica, 402
veriedades
difeomorfas, 410
vizinhanca, 101

Var Base

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Var Base

Загружено:

Авторское право:

Доступные форматы

VARIEDADES

atica da Universidade de Aveiro, no primeiro semestre do ano escolar

ITULO 1. ELEMENTOS DE TOPOLOGIA

), uma fun cao f : X Y diz-se contnua se

) tal que, seja qual for o elemento x X, existe

) e um espaco topologico, uma funcao contnua f : X Y transforma

) e um espaco topologico, uma funcao f : X Y e contnua se e apenas

ITULO 1. ELEMENTOS DE TOPOLOGIA

e base para uma topologia em X, para a qual (X, ) e separado.

ITULO 1. ELEMENTOS DE TOPOLOGIA

K tal que diam(C) < , mas C n ao est a contido em qualquer dos A

(x), o que contradiz

ITULO 1. ELEMENTOS DE TOPOLOGIA

de C tal que qualquer

esta contido em algum elemento de (; ( diz-se localmente nita se,

um renamento localmente nito de ( nas condicoes do n umero 1 do teorema

e uma parti cao da unidade em X, subordinada `a

ITULO 1. ELEMENTOS DE TOPOLOGIA

(c)(b a). (2.1)

ITULO 2. TEOREMA DA FUNC

ORMULA DE TAYLOR. TEOREMA DA M

ITULO 2. TEOREMA DA FUNC

ITULO 2. TEOREMA DA FUNC

ITULO 2. TEOREMA DA FUNC

ITULO 2. TEOREMA DA FUNC

ITULO 2. TEOREMA DA FUNC

ITULO 2. TEOREMA DA FUNC

. Suponha que a A e um ponto crtico nao degenerado de f. Entao existem uma

(0) A, para algum > 0, entao

tais que as matrizes [h

ITULO 2. TEOREMA DA FUNC

(0)) e um difeomorsmo de classe C

e tambem invariantes para permuta cao dendices

ITULO 2. TEOREMA DA FUNC

(t) = f(t, x(t)) ( < t < )

D(f, g) = min1, D(f, g). (3.4)

E um exerccio de rotina vericar que o problema de Cauchy (3.2) e equivalente `a

[t[M M r (x (([, ], B); [t[ ).

(t) = f(t, x(t)) ([t[ < )

ENCIA E UNICIDADE DE SOLUC

(t) = f(t, x(t)) ([t t

(t) = f(t, x(t)) (a < t < b) (3.12)

R, a existencia e consequencia das propriedades do supremo e donmo e do II Teorema

) s ao espacos metricos, uma fun cao f : X Y se diz

(f(x), f(y)) < ]. (3.14)

) sao subconjuntos abertos de R

ITULO 4. VARIEDADES DIFERENCI

. Uma estrutura diferenciavel em X e um atlas de X de classe C

| |, pelo que | e majorante de

ITULO 4. VARIEDADES DIFERENCI

ITULO 4. VARIEDADES DIFERENCI

ITULO 4. VARIEDADES DIFERENCI

) sao difeomorsmos (de classe C

(cosv, sin v)) ([(u, v)] V )

(cosu, sin u) 0 u <

(cosu, sin u) < u 2

ITULO 4. VARIEDADES DIFERENCI

munido da estrutura diferenci avel gerada pelo atlas associado

ITULO 4. VARIEDADES DIFERENCI

(0), s(t) = (x) +t(u +v).

ITULO 4. VARIEDADES DIFERENCI

ITULO 4. VARIEDADES DIFERENCI

ITULO 4. VARIEDADES DIFERENCI

que associa a cada x X um produto escalar