Introduo Topologia Diferencial

Fernando Mano
ICMC USP
Sumrio
1 Clculo diferencial 1
1.1 A topologia de R
n
. . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 O teorema da invarincia do domnio . . . . . . . . . . . . . . 5
1.3 A regra da cadeia . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 O teorema da aplicao inversa . . . . . . . . . . . . . . . . . 12
1.5 O teorema de mudana de variveis . . . . . . . . . . . . . . . 17
2 Superfcies 21
2.1 Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 O espao tangente a uma superfcie . . . . . . . . . . . . . . . 30
2.3 Aplicaes diferenciveis entre superfcies . . . . . . . . . . . 33
2.4 As formas locais . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.5 Valores regulares . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.6 O teorema de Sard . . . . . . . . . . . . . . . . . . . . . . . . 43
2.7 Funes de Morse . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.8 O grau mdulo 2 de uma aplicao . . . . . . . . . . . . . . . 53
3 Superfcies Orientveis 58
3.1 Orientao em espaos vetoriais . . . . . . . . . . . . . . . . . 58
3.2 Superfcies orientveis . . . . . . . . . . . . . . . . . . . . . . 60
3.3 Superfcies com fronteira . . . . . . . . . . . . . . . . . . . . . 66
3.4 Orientao em superfcies com fronteira . . . . . . . . . . . . 71
3.5 O teorema do ponto xo de Brouwer . . . . . . . . . . . . . . 75
3.6 O grau de uma aplicao . . . . . . . . . . . . . . . . . . . . . 78
3.7 Campos vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.8 O ndice de um campo vetorial . . . . . . . . . . . . . . . . . 86
3.9 O teorema de Poincar-Hopf e a caracterstica de Euler . . . . 91
3.10 O teorema de Morse . . . . . . . . . . . . . . . . . . . . . . . 94
i
Referncias Bibliogrcas 97
ii
Captulo 1
Clculo diferencial
1.1 A topologia de R
n
O espao Euclidiano de dimenso n, denotado por R
n
, o conjunto das
n-uplas x = (x
1
, . . . , x
n
), cujas coordenadas x
1
, . . . , x
n
so nmeros reais. O
espao R
n
, munido das operaes de soma e produto, dadas por
x +y = (x
1
+y
1
, . . . , x
n
+y
n
),
x = (x
1
, . . . , x
n
),
com x, y R
n
e R, torna-se um espao vetorial real de dimenso n.
O comprimento de um vetor x R
n
, denotado por |x|, denido como
o nmero real
|x| =
_
x
2
1
+. . . +x
2
n
.
O nmero |x| tambm chamado de norma Euclidiana, uma vez que provm
do produto interno Euclidiano
x, y = x
1
y
1
+. . . +x
n
y
n
.
Existem outras normas que podemos considerar em R
n
. A norma Eucli-
diana, por exemplo, motivada pela frmula do comprimento de um vetor
no plano em coordenadas cartesianas. Outras duas normas em R
n
de mani-
pulao simples so as normas do mximo e da soma, dadas respectivamente
por
|x|
M
= max[x
1
[, . . . , [x
n
[,
|x|
S
= [x
1
[ +. . . +[x
n
[.
(1.1)
1
Essas trs normas se relacionam atravs das seguintes desigualdades:
|x|
M
|x| |x|
S
n |x|
M
, (1.2)
para qualquer x R
n
. As desigualdades em (1.2) servem, na verdade, para
mostrar que essas trs normas so equivalentes (cf. Exerccio 2).
Uma norma num espao vetorial E d origem a uma noo de distncia.
Mais precisamente, dados x, y E, a distncia de x a y denida pondo
d(x, y) = |x y|.
Observao 1.1.1. Uma norma arbitrria || num espao vetorial E pode
no provir de um produto interno. De fato, se a norma provm de um
produto interno, vale a regra do paralelogramo:
|x +y|
2
+|x y|
2
= 2
_
|x|
2
+|y|
2
_
.
Observe que esta identidade no vlida para toda norma. Por exemplo, as
normas dadas em (1.1) em R
n
no a cumprem, logo no provm de produto
interno algum em R
n
. Quando no dissermos explicitamente qual a norma
que estamos considerando em R
n
, car subentendido que se trata da norma
Euclidiana.
A bola aberta de centro no ponto p R
n
e raio r > 0, denotada por
B(p; r), o conjunto dos pontos x R
n
cuja distncia ao ponto p menor
do que r, ou seja,
B(p; r) = x R
n
: |x p| < r.
Analogamente denimos a bola fechada B[p; r] de centro p e raio r > 0,
pondo
B[p; r] = x R
n
: |x p| r.
Denio 1.1.2. Um subconjunto X R
n
chama-se aberto se, para cada
ponto p X, existe r > 0 tal que B(p; r) X. Um subconjunto X R
n
chama-se fechado quando seu complementar for aberto.
2
Dados um subconjunto X R
n
e um ponto x R
n
, apenas uma das
trs possibilidades seguintes se verica:
(1) Existe uma bola aberta B(p; r) tal que x B(p; r) X.
(2) Existe uma bola aberta B(p; r) tal que x B(p; r) R
n
X.
(3) Dado qualquer bola aberta B(p; r) contendo x, a bola B(p; r) contm
pontos tanto de X como de seu complementar R
n
X.
Os pontos que satisfazem (1) formam o interior do conjunto X; aqueles
que satisfazem (2) formam o exterior de X; a fronteira do conjunto X
o conjunto dos pontos que satisfazem a propriedade (3). Segue ento das
propriedades acima que o interior de qualquer subconjunto X R
n
um
conjunto aberto.
Denio 1.1.3. Seja f : X R
n
uma aplicao denida no conjunto
aberto X R
m
. Dizemos que f contnua no ponto p X se, para
qualquer > 0, existe > 0 tal que:
x X, |x p| < |f(x) f(p)| < .
Em outras palavras, f contnua no ponto p se dado > 0, existe > 0
tal que
f(B(p, )) B(f(p), ).
Se f : X R
m
R
n
contnua em todos os pontos de X, diremos simples-
mente que f uma aplicao contnua.
Observao 1.1.4. A denio de continuidade da aplicao f : R
m
R
n
faz uso de uma norma em R
m
e outra em R
n
. No entanto, se alterarmos uma
dessas normas ou ambas, a continuidade persistir (cf. Exerccio 4). Alm
disso, a continuidade de f pode ser interpretada em termos dos abertos de
R
m
e R
n
(cf. Exerccio 5).
Analogamente ao caso de funes de uma varivel real, a continuidade
se exprime em termos de limite da seguinte forma: se p X um ponto
isolado ento toda aplicao f : X R
m
R
n
contnua no ponto p. Caso
p seja um ponto de acumulao de X, ento f contnua em p se, e somente
se,
lim
xp
f(x) = f(p).
3
Exerccios
1. Prove que uma bola aberta B(p; r) um conjunto aberto emR
n
, enquanto
que uma bola fechada B[p; r] um conjunto fechado. Alm disso, todo
subconjunto de R
n
que possui um nmero nito de elementos tambm
fechado.
2. Duas normas ||
1
e ||
2
num espao vetorial E so chamadas equivalentes
se existem constantes a > 0 e b > 0 tais que
|x|
1
a |x|
2
e |x|
2
b |x|
1
para todo x E. Prove que:
(a) A equivalncia entre normas uma relao de equivalncia.
(b) As trs normas usuais de R
n
so equivalentes umas s outras.
(c) Duas normas quaisquer em R
n
so equivalentes.
3. Sejam ||
1
e ||
2
duas normas arbitrrias em R
n
. Prove que
lim
xp
|x p|
1
= 0 lim
xp
|x p|
2
= 0.
4. Prove que a continuidade de uma aplicao f : R
m
R
n
, no sentido da
Denio 1.1.3, independe das normas escolhidas.
5. Prove que uma aplicao f : R
m
R
n
contnua se, e somente se, a
imagem inversa f
1
(V ) de todo aberto V R
n
um aberto em R
m
.
6. Seja L : R
m
R
n
uma transformao linear. Mostre que existe uma
constante c > 0 tal que |L(x)| c|x|, para todo x R
m
. Conclua da que
L uma aplicao Lipschitziana, logo contnua.
7. Seja : R
m
R
n
R
k
uma aplicao bilinear. Mostre que existe uma
constante c > 0 tal que |(v, w)| c|v||w|, para quaisquer v R
m
e
w R
n
.
8. No espao vetorial /(R
m
; R
n
) das transformaes lineares L : R
m
R
n
,
considere a funo || : /(R
m
; R
n
) R dada por
|L| = sup|L(v)| : v R
m
, |v| = 1,
para todo L /(R
m
; R
n
). Mostre que a funo || uma norma em
/(R
m
; R
n
) e satisfaz a seguinte propriedade:
|L(v)| |L||v|,
para todo v R
m
.
4
1.2 O teorema da invarincia do domnio
Nesta seo discutiremos o problema de saber quando dois conjuntos
Euclidianos so ou no homeomorfos, dando ateno especial ao teorema da
invarincia do domnio.
Denio 1.2.1. Um homeomorsmo entre dois conjuntos X R
m
e
Y R
n
uma bijeo contnua f : X Y , cuja inversa f
1
: Y X
tambm contnua. Dizemos neste caso que X e Y so conjuntos homeo-
morfos.
Um exemplo simples de homeomorsmo de R
n
sobre si mesmo dado
por uma transformao linear inversvel L : R
n
R
n
. De fato, sua inversa
L
1
: R
n
R
n
linear e, portanto, contnua. A composta de dois homeo-
morsmos um homeomorsmo, bem como o inverso de um homeomorsmo.
Um problema bsico da topologia dos espaos Euclidianos determinar
se dois conjuntos X R
m
e Y R
n
so ou no homeomorfos. No existe
uma resposta geral para este problema. A m de garantir que X e Y so
homeomorfos necessrio exibir um homeomorsmo entre eles. Para garantir
que X e Y no so homeomorfos, a ideia estudar invariantes topolgicos,
como a compacidade, a conexidade e, eventualmente, outros invariantes mais
renados.
Vejamos a situao seguinte.
Exemplo 1.2.2. Considere o intervalo fechado X = [a, b] R e a bola
fechada Y = B[p; r] R
2
. Ambos so compactos e conexos. No entanto,
seja qual for o ponto q Y , o conjunto Y q ainda conexo enquanto
que, para qualquer ponto a < x < b, o conjunto X x desconexo. As-
sim, se existisse um homeomorsmo f : X Y , escolheramos um ponto
x (a, b), escreveramos q = f(x) e teramos, por restrio, um homeomor-
smo g : X x Y q, g = f[
X\{x}
, entre um conjunto conexo e um
conjunto desconexo, o que uma contradio.
Se tentarmos repetir esse raciocnio para provar que uma bola fechada
X = B[p; ] R
2
no homeomorfa a uma bola fechada Y = B[q; ] R
3
no chegaremos a lugar nenhum, pois X e Y permanecem conexos depois da
retirada de qualquer um de seus pontos.
intuitivo que uma bola aberta de R
m
s homeomorfa a uma bola
aberta de R
n
quando m = n. Essa armao verdadeira, e a demonstrao
desse fato faz uso de um importante teorema de Topologia:
5
Teorema 1.2.3 (Invarincia do domnio). Seja f : U R
n
uma aplicao
injetora e contnua, denida no aberto U R
n
. Ento f(U) aberto em R
n
e f um mergulho, i.e., f : U f(U) um homeomorsmo.
O Teorema 1.2.3 devido a Luitzen Brouwer [1], publicado em 1912. Uma
demonstrao acessvel ao leitor, fazendo uso de ferramentas de Topologia
Algbrica, pode ser encontrada em [10, Theorem 36.5]. Usando ento o
teorema da invarincia do domnio, podemos responder a armao acima.
Corolrio 1.2.4. Se uma bola aberta de R
m
homeomorfa a uma bola
aberta de R
n
, ento m = n.
Demonstrao. Em virtude do Exerccio 1, podemos supor que as bolas aber-
tas sejam os espaos R
m
e R
n
. Suponha, por absurdo, que m > n, e considere
o homeomorsmo : R
m
R
n
entre os espaos Euclidianos. Denotando
por i : R
n
R
m
o mergulho cannico
(x
1
, . . . , x
n
) R
n
(x
1
, . . . , x
n
, 0, . . . , 0) R
m
,
obtemos um mergulho = i : R
m
R
m
que a cada ponto x R
m
associa o ponto (x) = ((x), 0) R
m
. No entanto, a imagem de R
m
pelo
mergulho no um aberto em R
m
, contradizendo o Teorema 1.2.3.
Exerccios
1. Prove que toda bola aberta em R
n
homeomorfa ao espao R
n
.
2. Prove que a projeo estereogrca : S
n
N R
n
um homeomor-
smo entre o espao Euclidiano R
n
e a esfera S
n
menos seu polo norte.
6
1.3 A regra da cadeia
Lembremos que uma funo f : I R, denida no intervalo aberto
I R, derivvel no ponto p I se existe um nmero real f

(p) para o qual

lim
h0
f(p +h) f(p)
h
= f

(p). (1.3)
Observemos que a relao (1.3) no faz sentido no contexto de aplicaes
f : R
m
R
n
. A m de estender essa denio ao caso geral, faamos
inicialmente algumas consideraes. Denimos uma transformao linear
L : R R pondo L(h) = f

(p)h, e escrevemos r(h) = f(p+h)f(p)L(h).

Ento, para todo h ,= 0, tal que p +h I, temos
f(p +h) f(p) = L(h) +r(h), (1.4)
com
lim
h0
r(h)
h
= 0. (1.5)
Em virtude da relao (1.5), dizemos que o resto r(h) tende para zero mais
rapidamente do que h. A relao (1.4) usualmente interpretada dizendo
que L + f(p) uma aproximao para f no ponto p. Em outras palavras,
para pequenos valores de h, o acrscimo f(p+h)f(p) , aproximadamente,
uma aplicao linear de h.
O que faremos agora generalizar essa denio para dimenses maiores.
Ou seja, gostaramos de dizer que uma aplicao f : U R
n
, denida no
aberto U R
m
, diferencivel no ponto p U quando, para pequenos
valores de v, o acrscimo f(p+v) f(p) , aproximadamente, uma aplicao
linear de v. De forma mais precisa,
Denio 1.3.1. Dizemos que uma aplicao f : U R
n
, denida no
aberto U R
m
, diferencivel no ponto p U se existe uma transformao
linear L : R
m
R
n
tal que, para todo v R
m
, com p +v U, tenhamos
f(p +v) f(p) = L(v) +r(v), (1.6)
onde
lim
v0
r(v)
|v|
= 0. (1.7)
7
Diremos que f : U R
m
R
n
diferencivel se f diferencivel em
todos os pontos de U. Observe que, como a validez da condio (1.7) inde-
pende das normas escolhidas em R
m
e R
n
, segue que o fato de uma aplicao
ser ou no diferencivel num determinado ponto tambm no depende das
normas (cf. Exerccio 1.1.3).
Um clculo simples mostra que a transformao linear L : R
m
R
n
que
ocorre em (1.6) dada por
L(v) =
f
v
(p) = lim
t0
f(p +tv) f(p)
t
.
Disso decorre, em particular, que a transformao linear que fornece a apro-
ximao para o acrscimo f(p +v) f(p) na vizinhana do ponto p nica,
e chamada a diferencial de f no ponto p, e ser denotada por df(p).
Observao 1.3.2. Quando m = n = 1, a funo linear df(p) : R R
identicada com o nmero f

(p)1 e, para todo v R, df(p)v simplesmente

o produto do nmero f

(p) pelo nmero v.

A transformao linear df(p) : R
m
R
n
possui, em relao s bases
cannicas de R
m
e R
n
, uma matriz de ordem n m, chamada a matriz
Jacobiana de f no ponto p, denotada por Jf(p). Suas m colunas so os
vetores
df(p) e
j
=
f
x
j
(p) =
_
f
1
x
j
(p), . . . ,
f
n
x
j
(p)
_
,
onde f
1
, . . . , f
n
: U R so as funes coordenadas de f. Assim,
Jf(p) =
_
f
i
x
j
(p)
_
.
Proposio 1.3.3. Uma aplicao f : U R
n
, denida no aberto U R
m
,
diferencivel no ponto p U se, e somente se, cada uma de suas funes
coordenadas f
1
, . . . , f
n
: U R diferencivel nesse ponto.
Demonstrao. Basta observar que a igualdade vetorial
f(p +v) f(p) = df(p) v +r(v)
equivale s n igualdades numricas
f
i
(p +v) f
i
(p) = df
i
(p) v +r
i
(v),
onde r
i
(v) = (r
1
(v), . . . , r
n
(v)), enquanto que o limite vetorial lim
v0
r(v)
|v|
= 0
corresponde aos n limites numricos lim
v0
r
i
(v)
|v|
= 0.
8
Vejamos a seguir alguns exemplos de aplicaes diferenciveis.
Exemplo 1.3.4. Toda aplicao constante f : R
m
R
n
diferencivel, e
sua diferencial, em cada ponto, identicamente nula.
Exemplo 1.3.5. Considere uma transformao linear L : R
m
R
n
. Para
cada ponto p R
m
, temos
L(p +v) L(p) = L(v) = L(v) + 0.
Disso decorre que a diferencial dL(p) igual a L, para todo p R
m
, logo L
diferencivel.
Exemplo 1.3.6. Seja : R
m
R
n
R
k
uma aplicao bilinear. Dados um
ponto (p, q) R
m
R
n
e um vetor (v, w) R
m
R
n
, a bilinearidade de
nos d
(p +v, q +w) (p, q) = (v, q) +(p, w) +(v, w).
Por outro lado, existe uma constante c > 0 tal que |(v, w)| c|v||w|,
para quaisquer v R
m
e w R
n
(cf. Exerccio 1.2.7). Fazendo uso da
norma da soma, temos |(v, w)| = |v| +|w|. Assim,
|(v, w)|
|(v, w)|

c|v||w|
|v| +|w|
c |v|,
logo
lim
(v,w)0
(v, w)
|(v, w)|
= 0.
Isso mostra que diferencivel em cada ponto (p, q) R
m
R
n
, sendo sua
diferencial d(p, q) : R
m
R
n
R
k
dada por
d(p, q) (v, w) = (v, q) +(p, w),
com r(v, w) = (v, w).
Observao 1.3.7. O mesmo raciocnio mostra que se
: R
m
1
. . . R
m
k
R
n
uma aplicao k-linear, ento diferencivel no ponto p = (p
1
, . . . , p
k
)
de R
m
1
. . . R
m
k
, sendo sua diferencial a transformao k-linear
d(p) : R
m
1
. . . R
m
k
R
n
9
dada por
d(p) (v
1
, . . . , v
k
) =
k

i=1
(p
1
, . . . , p
i1
, v
i
, p
i+1
, . . . , p
k
).
Exemplo 1.3.8. Casos particulares importantes de aplicaes bilineares so
o produto interno : R
m
R
m
R, dado por
(p, q) = p, q,
e a multiplicao de matrizes : R
kn
R
nm
R
km
dada por
(X, Y ) = X Y.
Suas diferenciais so dadas por
d(p, q) (v, w) = v, q +p, w e d(X, Y ) (V, W) = V Y +XW.
Outro exemplo importante de aplicao n-linear a funo determinante
det : R
n
. . . R
n
= R
n
2
R.
Aqui, escrevamos
det(X) = det(X
1
, . . . , X
n
),
para salientar que det(X) depende linearmente de cada uma das n linhas
X
i
da matriz X = (X
1
, . . . , X
n
). Sua diferencial no ponto X o funcional
linear
d det(X) : R
n
2
R,
cujo valor na matriz V = (V
1
, . . . , V
n
) dado por
d det(X) V =
n

k=1
det(X
1
, . . . , X
k1
, V
k
, X
k+1
, . . . , X
n
).
O teorema seguinte a verso intrnseca da regra da cadeia, que relaciona
a derivada da composio de aplicaes diferenciveis.
Teorema 1.3.9 (Regra da cadeia). Sejam f : U R
n
uma aplicao dife-
rencivel no ponto p U e g : V R
k
uma aplicao diferencivel no ponto
q = f(p), onde supomos que U R
m
e V R
n
so abertos, com f(U) V .
Ento, a composta g f : U R
k
diferencivel no ponto p e vale a regra:
d(g f)(p) = dg(q) df(p).
10
Corolrio 1.3.10. A composta de duas aplicaes diferenciveis uma apli-
cao diferencivel.
Corolrio 1.3.11. Seja f : U R
n
uma aplicao, denida no aberto
U R
m
, diferencivel no ponto p U e que admite uma inversa
g : V R
m
, denida no aberto V R
n
e diferencivel no ponto q = f(p).
Ento, df(p) : R
m
R
n
um isomorsmo. Em particular, tem-se m = n.
Demonstrao. Das igualdades g f = id[
U
e f g = id[
V
, segue da regra da
cadeia que dg(q) df(p) = id : R
m
R
m
e df(p) dg(q) = id : R
n
R
n
.
Disso decorre que dg(q) = df(p)
1
.
Corolrio 1.3.12. Sejam f, g : U R
n
aplicaes denidas no aberto
U R
m
e diferenciveis no ponto p U, e c um nmero real. Ento, as
aplicaes f +g e c f so diferenciveis no ponto p e vale:
d(f +g)(p) = df(p) + dg(p) e d(c f)(p) = c df(p).
Como comentrio nal, gostaramos de mencionar que no entraremos
em detalhes sobre a classe de diferenciabilidade de uma dada aplicao. A
menos de meno explcita em contrrio, as aplicaes diferenciveis, a partir
de agora consideradas, sero sempre de classe C

.
Exerccios
1. Seja f : U R
n
uma aplicao denida no aberto U R
m
. Mostre que
as seguintes armaes so equivalentes:
(a) f de classe C
1
;
(b) As funes coordenadas f
1
, . . . , f
n
: U R da aplicao f possuem
derivadas parciais contnuas
f
i
x
j
: U R.
2. Prove que se uma aplicao f : U R
n
, denida no aberto U R
m
,
diferencivel no ponto p U ento f contnua em p.
3. Considere as funes f, g : R
2
R dadas por
f(x, y) = x +y e g(x, y) = x y,
para todo (x, y) R
2
. Mostre que f e g so diferenciveis e calcule suas
derivadas.
11
1.4 O teorema da aplicao inversa
Dados dois abertos U, V R
n
, dizemos que uma aplicao f : U V
um difeomorsmo se f uma bijeo diferencivel cuja inversa tambm
diferecivel. Em particular, f um homeomorsmo entre U e V . No entanto,
um homeomorsmo pode ser diferencivel sem que seu inverso o seja. Um
exemplo simples a funo f : R R dada por f(x) = x
3
. Sua inversa
f
1
(x) =
3

x no derivvel em x = 0.
Se f : U V um difeomorsmo, a regra da cadeia nos garante que
sua diferencial df(p) : R
n
R
n
, em cada ponto p U, um isomorsmo
(cf. Corolrio 1.3.11). Em termos do determinante jacobiano, isso signica
que det Jf(p) ,= 0, para todo p U. Antes de analisarmos a recproca dessa
concluso, vejamos alguns exemplos.
Exemplo 1.4.1. Uma funo derivvel f : I J, de um intervalo I R
sobre o intervalo J R, um difeomorsmo se, e somente se, f

(x) ,= 0,
para todo x I. De fato, se f

(x) ,= 0 para todo x I, ento f

(x) > 0 para

todo x I, e neste caso f um homeomorsmo crescente, ou f

(x) < 0 para

todo x I, e neste caso f um homeomorsmo decrescente. Em qualquer
caso, segue do teorema da funo inversa do Clculo I que f
1
: J I
derivvel.
Exemplo 1.4.2. Considere a aplicao f : R
2
R
2
denida por
f(x, y) = (e
x
cos y, e
x
sin y).
Claramente f de classe C

. A matriz jacobiana de f no ponto (x, y)

dada por
Jf(x, y) =
_
e
x
cos y e
x
sin y
e
x
sin y e
x
cos y
_
.
Disso decorre que det Jf(x, y) = e
2x
,= 0. No entanto, f sequer injetora.
De fato, observe que f transforma cada reta vertical x = x
0
sobre o crculo
de raio e
x
0
e centro na origem, com perodo 2.
Uma aplicao diferencivel f : U R
n
, denida no aberto U R
n
,
dita um difeomorsmo local se para cada ponto p U existem um aberto V
p
,
com p V
p
U, tal que f[
Vp
um difeomorsmo sobre um aberto W
p
R
n
.
Se f : U R
n
um difeomorsmo local de U sobre V = f(U) ento, para
cada p U, a diferencial df(p) : R
n
R
n
um isomorsmo.
Todo difeomorsmo um difeomorsmo local. Alm disso, todo difeo-
morsmo local uma aplicao aberta. Disso decorre que um difeomorsmo
12
local f : U R
n
um difeomorsmo (global) sobre sua imagem V = f(U)
se, e somente se, f uma aplicao bijetora.
Teorema 1.4.3 (Aplicao inversa). Considere uma aplicao diferencivel
f : U R
n
, denida no aberto U R
n
, e um ponto p U de modo
que a diferencial df(p) : R
n
R
n
seja um isomorsmo. Ento f um
homeomorsmo de um aberto V contendo p sobre um aberto W contendo
f(p), cuja inversa f
1
: W V diferencivel, e sua derivada dada por
df
1
(q) =
_
df(f
1
(q))
_
1
, para todo q W.
Veremos agora algumas aplicaes deste teorema no contexto de aplica-
es diferenciveis de posto mximo.
Denio 1.4.4. Dizemos que uma aplicao diferencivel f : U R
n
,
denida no aberto U R
m
, uma imerso no ponto p U se a diferencial
df(p) : R
m
R
n
uma aplicao linear injetora. Se f uma imerso em
todo ponto p U, diremos simplesmente que f uma imerso.
Observe que isso s ocorre quando m n.
Exemplo 1.4.5. Considere a aplicao incluso f : R
m
R
m
R
n
, dada
por f(p) = (p, 0). Como f linear, segue que df(p) = f para todo p R
m
.
Assim, f uma imerso de classe C

.
Exemplo 1.4.6. Uma curva diferencivel : I R
n
, denida no intervalo
aberto I R, uma imerso se, e somente se,

(t) ,= 0 para todo t I. Isso

signica que a imagem (I) possui, em cada ponto (t), uma reta tangente.
Exemplo 1.4.7. Uma imerso pode no ser injetora. Um exemplo simples
a curva : R R
2
dada por (t) = (t
3
t, t
2
). Um clculo simples
mostra que

(t) = (3t
2
1, 2t) ,= (0, 0) para todo t R e, alm disso,
(1) = (0, 1) = (1).
O teorema seguinte arma que, para qualquer imerso f : U R
n
,
possvel introduzir novas coordenadas na vizinhana de cada ponto da
imagem de modo que f assuma, localmente, a forma do Exemplo 1.4.5.
Teorema 1.4.8 (Forma local das imerses). Seja f : U R
m+n
uma
imerso denida no aberto U R
m
. Para cada ponto p U, existe um
difeomorsmo h : Z V W, de um aberto Z R
m+n
contendo f(p) sobre
o aberto V W R
m
R
n
contendo (p, 0), tal que h(f(x)) = (x, 0) para
todo x V .
13
Demonstrao. Denotando por E a imagem da diferencial df(p), i.e.,
E = df(p)(R
m
), considere vetores linearmente independentes v
1
, . . . , v
n
em
R
m+n
, que geram um subespao vetorial F R
m+n
, de modo que tenhamos
R
m+n
= E F. Dena uma aplicao : U R
n
R
m+n
pondo
(x, y) = f(x) +
n

i=1
y
i
v
i
,
onde y = (y
1
, . . . , y
n
) R
n
. Temos que diferencivel, e sua diferencial
no ponto (p, 0)
d(p, 0) (v, w) = df(p) v +
n

i=1
w
i
v
i
,
onde v R
m
e w = (w
1
, . . . , w
n
) R
n
. Como df(p) injetora e R
m+n

a soma direta da imagem de df(p) com o subespao gerado por v

1
, . . . , v
n
,
segue que d(p, 0) injetora, logo um isomorsmo. Pelo teorema da apli-
cao inversa, transforma difeomorcamente um aberto contendo (p, 0),
que podemos supor ser da forma V W R
m
R
n
, com p V , sobre um
aberto Z R
m+n
contendo f(p) = (p, 0). Dena h =
1
: Z V W.
Como (x, 0) = f(x), temos que h(f(x)) = (x, 0) para todo x V , como
queramos.
Denio 1.4.9. Dizemos que uma aplicao diferencivel f : U R
n
,
denida no aberto U R
m
, uma submerso no ponto p U se a diferencial
df(p) : R
m
R
n
uma aplicao linear sobrejetora. Se f uma submerso
em todo ponto p U, diremos simplesmente que f uma submerso.
Note que uma condio necessria para que isso ocorra que m n.
Exemplo 1.4.10. Uma funo diferencivel f : U R uma submerso
se, e somente se, df(x) ,= 0 para todo x U. Isso decorre do fato de que
um funcional linear sobrejetor ou nulo.
Exemplo 1.4.11. Dado uma decomposio em soma direta da forma
R
m+n
= R
m
R
n
, seja a projeo sobre o primeiro fator, (x, y) = x.
Como linear, segue que d(x, y) = para todo (x, y) R
m+n
, logo
uma submerso. A matriz jacobiana de tem como linhas os m primeiros
vetores da base cannica de R
m+n
. Da mesma forma podemos concluir que
a projeo sobre o segundo fator tambm uma submerso.
14
Observao 1.4.12. Se T : R
m+n
R
m
uma aplicao linear sobrejetora,
podemos obter uma decomposio em soma direta da forma R
m+n
= R
m
R
n
tal que a restrio T[
R
m : R
m
R
m
seja um isomorsmo. De fato, como os
vetores T(e
1
), . . . , T(e
m+n
) geram R
m
, possvel escolher dentre eles uma
base T(e
j
1
), . . . , T(e
jm
). Sejam J = j
1
, . . . , j
m
e I = i
1
, . . . , i
n
o
conjunto dos ndices restantes. A partio 1, . . . , m + n = I J fornece
a decomposio em soma direta R
m+n
= R
m
R
n
. A restrio T[
R
m
isomorsmo pois transforma uma base em outra base.
O teorema seguinte mostra que o Exemplo 1.4.11 , localmente, o caso
mais geral de uma submerso. Mais precisamente, dado uma submerso f,
possvel considerar novas coordenadas de modo que f seja, localmente, a
projeo sobre as primeiras coordenadas.
Teorema 1.4.13 (Forma local das submerses). Seja f : U R
m
uma
aplicao diferencivel, denida no aberto U R
m+n
, que uma submerso
num ponto a U. Se a diferencial df(a) : R
m+n
R
m
sobrejetora ou,
mais precisamente, se dado uma decomposio em soma direta do tipo
R
m+n
= R
m
R
n
tal que a = (a
1
, a
2
) e a derivada parcial
f
x
1
(a) = df(a)[
R
m : R
m
R
m
um isomorsmo, ento existem abertos V , W, Z, com a Z R
m+n
,
a
2
W R
n
, f(a) V R
m
, e um difeomorsmo h : V W Z tal que
(f h)(x, y) = x
para todo (x, y) V W.
Demonstrao. Considere a aplicao : U R
m
R
n
denida por
(x, y) = (f(x, y), y);
diferencivel e sua diferencial d(a) : R
m+n
R
m
R
n
dada por
d(a) (v, w) = (df(a) (v, w), w) =
_
f
x
1
(a) v +
f
x
2
(a) w, w
_
.
Observe que a aplicao linear
(v, w)
_
_
f
x
1
(a)
_
1

_
v
f
x
2
(a) w
_
, w
_
15
uma inversa para d(a), logo d(a) um isomorsmo. Pelo teorema da
aplicao inversa, um difeomorsmo de um aberto contendo o ponto
a sobre um aberto contendo (f(a), a
2
), que podemos supor ser da forma
V W, com V aberto em R
m
e W aberto em R
n
. Sejam Z =
1
(V W)
e h =
1
: V W Z. Como deixa xa a segunda coordenada, seu
inverso h tem a mesma propriedade:
h(x, y) = (h
1
(x, y), y)
para todo (x, y) V W. Ento, dado (x, y) V W, temos:
(x, y) = ( h)(x, y) = (h
1
(x, y), y)
= (f(h
1
(x, y), y), y)
= ((f h)(x, y), y),
donde concluimos que (f h)(x, y) = x para todo (x, y) V W.
Exerccios
1. Mostre que todo difeomorsmo um homeomorsmo.
2. Mostre que todo difeomorsmo local uma aplicao aberta.
3. A curva : R R
2
, dada por (t) = (t sin t, 1cos t), uma imerso?
Justique.
4. Considere a curva f : (1, +) R
2
dada por f(t) = (t
3
t, t
2
). Mostre
que f uma imerso injetora.
5. Encontrar uma imerso f : R R
2
e uma funo descontnua g : R R
tais que f g seja diferencivel.
6. Mostre que toda submerso uma aplicao aberta.
16
1.5 O teorema de mudana de variveis
Um bloco de dimenso n em R
n
um produto cartesiano
A =
n

i=1
[a
i
, b
i
] R
n
(1.8)
de intervalos compactos [a
i
, b
i
]. O volume do bloco A, como em (1.8), deno-
tado por vol(A) , por denio,
vol(A) =
n

i=1
(b
i
a
i
).
Uma partio de um bloco A um conjunto nito do tipo
P = P
1
. . . P
n
,
onde cada P
i
uma partio do intervalo [a
i
, b
i
]. Dado uma funo limitada
f : A R, denida no bloco A R
n
, considere uma partio P de A. Para
cada bloco B determinado pela partio P, associamos os nmeros
m
B
= inff(x) : x B e M
B
= supf(x) : x B.
A partir destes, denimos a soma inferior e a soma superior de f em relao
partio P, pondo
s(f, P) =

BP
m
B
vol(B) e S(f, P) =

BP
M
B
vol(B),
onde as somas acima estendem-se a todos os blocos B da partio P. Como
m
B
M
B
para todo bloco B, tem-se
s(f, P) S(f, P).
A integral inferior
_
A
f e a integral superior
_
A
f de uma funo limitada
f : A R so denidas pondo
_
A
f = sup s(f, P) e
_
A
f = inf S(f, P),
onde o supremo e o nmo estendem-se a todas as parties P do bloco A.
Se m, M R so tais que m f(x) M para todo x A, ento
m vol(A)
_
A
f
_
A
f M vol(A).
17
Denio 1.5.1. Seja f : A R uma funo limitada no bloco A R
n
.
Dizemos que f integrvel se a sua integral inferior coincide com sua integral
superior. Denimos ento a integral de f como
_
A
f =
_
A
f =
_
A
f.
Como no caso de uma varivel, temos a seguinte
Proposio 1.5.2. Toda funo contnua f : A R integrvel.
O resultado seguinte um importante critrio de integrabilidade.
Teorema 1.5.3 (Lebesgue). Uma funo limitada f : A R integrvel
se, e somente se, o conjunto D
f
dos seus pontos de descontinuidade tem
medida nula.
Dizemos que um subconjunto limitado X R
n
J-mensurvel se, dado
um bloco A R
n
contendo X, a funo caracterstica
X
: A R
integrvel. No caso armativo, denimos o volume de X pondo
vol(X) =
_
A

X
.
Exemplo 1.5.4. Uma bola aberta ou fechada em R
n
J-mensurvel pois
sua fronteira uma esfera, que tem medida nula em R
n
. Um bloco, como
em (1.8), outro exemplo de conjunto mensurvel. Conjuntos que no so
J-mensurveis so, por exemplo, aqueles cuja fronteira coincide com o pr-
prio conjunto, como o caso do conjunto de Cantor.
Uma consequncia do Teorema de Lebesgue a seguinte caracterizao
dos conjuntos J-mensurveis.
Proposio 1.5.5. Um subconjunto limitado X R
n
J-mensurvel se, e
somente se, sua fronteira X tem medida nula.
Queremos agora denir a integral de uma funo limitada f : X R,
denida num conjunto J-mensurvel X R
n
. Para isso, considere um bloco
A R
n
contendo X. Dena a funo f : A R pondo
f(x) =
_
f(x), x X
0, x A X
.
18
Denio 1.5.6. Dizemos que a funo limitada f : X R integrvel se
a funo f : A R for integrvel. Neste caso, denimos
_
X
f =
_
A
f.
Analogamente ao Teorema de Lebesgue, temos o seguinte
Teorema 1.5.7. Seja X R
n
um conjunto J-mensurvel. Uma funo
limitada f : X R integrvel se, e somente se, o conjunto D
f
dos seus
pontos de descontinuidade tem medida nula.
Em algumas situaes til usar o smbolo diferencial, como no resultado
seguinte, conhecido como o teorema da integrao repetida.
Teorema 1.5.8. Seja f : A R uma funo integrvel, denida no produto
A = A
1
A
2
dos blocos A
1
R
m
e A
2
R
n
. Ento
_
A
f(x, y)dxdy =
_
A
1
__
A
2
f(x, y)dy
_
dx =
_
A
2
__
A
1
f(x, y)dx
_
dy.
Corolrio 1.5.9. Seja f : A R uma funo contnua, denida no bloco
A =

n
i=1
[a
i
, b
i
]. Ento
_
A
f(x)dx =
_
A
i
__
b
i
a
i
f(x
1
, . . . , x
n
)dx
i
_
dx
1
. . .

dx
i
. . . dx
n
,
onde
A
i
=
n

i=j=1
[a
i
, b
i
].
Exemplo 1.5.10. Considere n funes diferenciveis a
1
, . . . , a
n
: A R,
denidas no bloco A R
n
, e dena a funo
f =
n

i=1
a
i
x
i
.
Temos que f contnua e
_
A
f(x)dx =
_
A
n

i=1
a
i
x
i
dx
=
n

i=1
_
A
i
__
b
i
a
i
a
i
x
i
(x
1
, . . . , x
n
)dx
i
_
dx
1
. . .

dx
i
. . . dx
n
=
n

i=1
_
A
i
[a
i
(x
1
, . . . , b
i
, . . . , x
n
) a
i
(x
1
, . . . , a
i
, . . . , x
n
)]

dx
i
,
19
onde

dx
i
= dx
1
. . .

dx
i
. . . dx
n
.
Para funes reais de uma varivel real, tem uma frmula de mudana
de variveis para integrais simples. Se h : [a, b] R uma funo derivvel
e f : R R uma funo contnua, ento
_
h(b)
h(a)
f(y)dy =
_
b
a
f(h(x))h

(x)dx.
A frmula de mudana de variveis para integrais mltiplas torna-se:
Teorema 1.5.11 (Mudana de variveis). Sejam h : U V um difeo-
morsmo entre os abertos U, V R
n
, X U um subconjunto compacto
J-mensurvel e f : h(X) R uma funo integrvel. Ento, a funo
composta f h : X R integrvel e vale a frmula:
_
h(X)
f(y)dy =
_
X
f(h(x)) [ det dh(x)[dx.
20
Captulo 2
Superfcies
2.1 Superfcies
Nesta seo estudaremos as superfcies Euclidianas, que so generaliza-
es naturais dos objetos estudados no curso usual de Geometria Diferencial.
Quando falarmos a respeito de uma aplicao diferencivel, car subenten-
dido que esta aplicao diferencivel de classe C

.
Denio 2.1.1. Um subconjunto M R
n
uma superfcie de dimenso
m se, para todo ponto p M, existem um aberto V R
n
, com p V , e
uma aplicao : U M V , onde U um aberto de R
m
, tais que
(a) : U M V um homeomorsmo;
(b) uma imerso diferencivel.
A aplicao chama-se uma parametrizao de M e o subconjunto MV
chama-se uma vizinhana coordenada de M. O nmero n m chama-se a
codimenso de M em R
n
. No caso particular em que n m = 1, M ser
chamada uma hipersuperfcie de R
n
.
Observao 2.1.2. Na denio 2.1.1 estamos considerando M com a topo-
logia induzida de R
n
. Alm disso, a condio (a) implica que toda superfcie
de dimenso m uma variedade topolgica de dimenso m (em relao
topologia induzida de R
n
), i.e., para todo p M, existe um aberto V R
n
contendo p, tal que M V homeomorfo a um aberto de R
m
.
21
Observao 2.1.3. A condio de ser uma imerso equivalente a qual-
quer uma das condies a seguir:
(a) d(p) : R
m
R
n
injetora;
(b) O conjunto de vetores d(p) e
i
: 1 i m linearmente indepen-
dente, onde e
1
, . . . , e
m
a base cannica de R
m
;
(c) A matriz jacobiana de ordem n m,
J(p) =
_

i
x
j
(p)
_
tem posto m, onde 1 i n, 1 j m e = (
1
, . . . ,
n
), ou seja,
algum de seus determinantes menores mm diferente de zero.
Exemplo 2.1.4. Qualquer subespao vetorial m-dimensional E R
n
uma
superfcie de dimenso m em R
n
. De fato, seja T : R
m
E um isomorsmo
linear. Munindo E com a topologia induzida de R
n
, T torna-se um homeo-
morsmo. Alm disso, como toda transformao linear diferencivel, segue
que T um difeomorsmo.
Exemplo 2.1.5. A esfera S
n
= x R
n+1
: [x[ = 1 uma hipersuperfcie
de R
n+1
. De fato, denotando por N = (0, . . . , 0, 1) S
n
seu polo norte,
considere a projeo estereogrca
N
: S
n
N R
n
, denida da seguinte
forma. Dado um ponto x S
n
N,
N
(x) o ponto em que a semirreta

Nx R
n+1
intercepta o hiperplano x
n+1
= 0. Note que os pontos da
semirreta

Nx so da forma N +t(xN), com t 0. Assim, um ponto dessa
semirreta est no hiperplano x
n+1
= 0 se, e somente se, 1 +t(x
n+1
1) = 0,
onde x = (x
1
, . . . , x
n+1
). Assim, t =
1
1x
n+1
e, portanto,

N
(x) =
1
1 x
n+1
(x
1
, . . . , x
n
, 0).
A expresso acima mostra que
N
diferencivel. Por outro lado, conside-
rando a aplicao diferencivel : R
n
S
n
N denida por
(x) =
_
2x
1
[x[
2
+ 1
, . . . ,
2x
n
[x[
2
+ 1
,
[x[
2
1
[x[
2
+ 1
_
,
para todo x = (x
1
, . . . , x
n
) R
n
, um clculo simples mostra que
N
= id
e
N
= id, ou seja,
N
um difeomorsmo. De forma inteiramente
anloga, podemos considerar a projeo estereogrca
S
relativa ao polo
sul S da esfera S
n
.
22
Exemplo 2.1.6. Todo aberto U R
n
uma superfcie de dimenso n de
R
n
, imagem de uma nica parametrizao , sendo : U U a aplicao
identidade. Reciprocamente, seja M R
n
uma superfcie de dimenso n.
Assim, para todo p M, existem um aberto V R
n
, com p V , e um
homeomorsmo : U M V , onde U um aberto de R
n
. Usando
o teorema da invarincia do domnio, segue que a vizinhana coordenada
M V aberta em R
n
. Portanto, o conjunto M, reunio das vizinhanas
coordendas M V , aberto em R
n
.
Exemplo 2.1.7. Um subconjunto M R
n
uma superfcie de dimenso 0
se, e somente se, para todo p M, existem um aberto V de R
n
, com p V ,
e uma parametrizao : U M V , onde U um aberto de R
0
= 0.
Assim, devemos ter U = 0 e V = p. Portanto, M R
n
uma superfcie
de dimenso 0 se, e somente se, M um conjunto discreto.
O teorema a seguir nos d caracterizaes equivalentes da Denio 2.1.1.
Teorema 2.1.8. Seja M um subconjunto de R
n
. As seguintes armaes
so equivalentes:
(a) M uma superfcie de dimenso m de R
n
.
(b) Para todo p M, existem abertos U R
m
e V R
n
, com p V , e
uma aplicao diferencivel g : U R
nm
tal que M V = Gr(g).
(c) Para todo p M, existem um aberto V de R
n
, com p V , e uma
submerso f : V R
nm
tal que M V = f
1
(0).
(d) Para todo p M, existem um aberto V de R
n
, com p V , e um
difeomorsmo : V (V ) que satisfaz (M V ) = (V ) R
m
.
Antes de apresentarmos sua prova, vejamos como us-lo a m de produzir
exemplos de superfcies em R
n
. Lembremos que um ponto c R
nm

chamado valor regular de uma aplicao diferencivel f : U R

n
R
nm
se a diferencial df(p) sobrejetora para todo ponto p f
1
(c). Um ponto
p U chamado ponto crtico da aplicao f se df(p) = 0.
Decorre diretamente do Teorema 2.1.8 o seguinte
Corolrio 2.1.9. Seja f : U R
nm
uma aplicao diferencivel, denida
no aberto U R
n
. Se c R
nm
valor regular de f ento M = f
1
(c)
uma superfcie de dimenso m de R
n
.
Vejamos alguns exemplos.
23
Exemplo 2.1.10. A esfera S
n
= x R
n+1
: [x[ = 1 pode ser des-
crita como a imagem inversa f
1
(1) da funo f : R
n+1
R denida por
f(x) = x, x, para todo x R
n+1
. Note que f diferencivel (cf. Exemplo
1.3.8) e, para todo ponto p R
n+1
e todo vetor v R
n+1
, temos:
df(p) v = 2p, v.
Isso implica que 0 R
n+1
o nico ponto crtico de f. Como f(0) = 0 ,= 1,
concluimos que 1 valor regular de f, logo S
n
= f
1
(1) , como j sabamos,
uma superfcie de dimenso n de R
n+1
.
Exemplo 2.1.11. Seja M R
3
o cone de uma folha, i.e.,
M = (x, y, z) : x
2
+y
2
= z
2
, z 0.
Note que M homeomorfo a R
2
. De fato, denotando por a projeo
(x, y, z) = (x, y), a restrio de a M um homeomorsmo. No entanto,
M no uma superfcie regular. De fato, caso fosse, existiriam abertos
U R
2
e V R
3
, com 0 V , e uma funo diferencivel g : U R
tal que M V = Gr(g). Observe que M V no pode ser um grco em
relao a uma decomposio da forma R
3
= R
2
R, no qual o segundo fator
seja o eixo-x ou o eixo-y. Assim, tem-se necessariamente g = f[
U
, onde
f(x, y) =
_
x
2
+y
2
. Como f no diferencivel em (0, 0), obtemos uma
contradio. Portanto, M apenas uma superfcie topolgica.
Consideremos agora o espao vetorial das matrizes reais mn, denotado
por M(mn). Dado uma matriz X M(mn), comX = (x
ij
), a transposta
de X, denotada por X
t
, a matriz X
t
= (x
ji
), que se obtm de X trocando-
se ordenadamente suas linhas por suas colunas. Assim, X
t
M(n m). Se
m = n e det X ,= 0, ento det X
t
,= 0 e vale (X
t
)
1
= (X
1
)
t
.
Uma matriz quadrada X M(n) chama-se simtrica se X
t
= X e anti-
simtrica se X
t
= X. As matrizes simtricas e anti-simtricas formam
subespaos vetoriais, o(n) e /(n), de M(n), de dimenso
n(n+1)
2
e
n(n1)
2
,
respectivamente. Dado uma matriz X M(n), tem-se
X +X
t
o(n) e X X
t
/(n).
Assim,
X =
1
2
(X +X
t
) +
1
2
(X X
t
),
ou seja,
M(n) = o(n) /(n).
24
Exemplo 2.1.12. O grupo ortogonal O(n), denido por
O(n) = X M(n) : XX
t
= I,
uma superfcie compacta de dimenso
n(n1)
2
de M(n) R
n
2
. De fato,
O(n) pode ser considerado como a imagem inversa f
1
(I) da aplicao
f : M(n) o(n) denida por
f(X) = XX
t
,
para toda matriz X M(n). Assim, devemos provar que I o(n) valor
regular de f. Sabemos que f diferencivel (cf. Exemplo 1.3.8) e sua
diferencial dada por
df(X) H = XH
t
+HX
t
.
Finalmente, se X O(n) e dada qualquer matriz S o(n), tome V =
1
2
SX.
Um clculo simples mostra que df(X) V = S, ou seja, df(X) sobrejetora
para toda X O(n), logo O(n) uma superfcie de dimenso
n(n1)
2
de
M(n). Alm disso, como f contnua, segue que O(n) = f
1
(I) fechado
em R
n
2
. Como cada vetor linha de X O(n) unitrio tem-se [X[ =

n,
logo O(n) est contido na esfera centrada na origem e de raio

n. Portanto,
O(n) fechado e limitado em R
n
2
.
Observao 2.1.13. A imagem inversa f
1
(c) pode ser uma superfcie sem
que c seja valor regular de f. Por exemplo, seja f : R
2
R dada por
f(x, y) = y
2
. Note que
f
1
(0) = eixo x,
que uma curva (de classe C

) de R
2
. No entanto, 0 R no valor regular
de f, pois df(x, 0) = 0, para todo (x, 0) f
1
(0).
A m de provarmos o Teorema 2.1.8, faremos uso do seguinte lema de
lgebra Linear.
Lema 2.1.14. Seja E R
n
um subespao vetorial real de dimenso m.
Ento existe uma decomposio em soma direta R
n
= R
m
R
nm
tal que a
primeira projeo : R
n
R
m
, (x, y) = x, transforma E isomorcamente
sobre R
m
.
Demonstrao. Dado uma base v
1
, . . . , v
m
de E, sejam e
j
1
, . . . , e
j
nm
ve-
tores da base cannica de R
n
tais que v
1
, . . . , v
m
, e
j
1
, . . . , e
j
nm
seja uma
25
base de R
n
. Sejam R
nm
= spane
j
1
, . . . , e
j
nm
e R
m
gerado pelos vetores
cannicos restantes. Temos, ento, duas decomposies em soma direta:
R
n
= R
m
R
nm
= E R
nm
.
Seja : R
m
R
nm
R
m
, (x, y) = x. Dado x R
m
, seja x = x
1
+ y,
onde x
1
E e y R
nm
. Temos:
x = (x) = (x
1
) +(y) = (x
1
).
Isso implica que [
E
: E R
m
sobrejetora. Como E tem dimenso m,
segue que [
E
um isomorsmo linear.
Demonstrao do Teorema 2.1.8. (a)(b) Dado p M, seja : U (U)
uma parametrizao de M, com p = (q). Como E = d(q)(R
m
) um
subespao vetorial m-dimensional de R
n
existe, pelo Lema 2.1.14, uma de-
composio em soma direta R
n
= R
m
R
nm
tal que [
E
um isomorsmo
linear entre E e R
m
. Dena a aplicao
= : U R
m
.
Como d(q) = d(q) um isomorsmo linear, segue do Teorema da
Aplicao Inversa que existe um aberto W R
m
, com q W U, tal que
[
W
: W (W) = Z um difeomorsmo. Dena
= ([
W
)
1
: Z W e = .
uma parametrizao de M e
= ( ) = = id.
Da igualdade acima segue que a primeira coordenada de (x), em relao
decomposio R
n
= R
m
R
nm
, x. Denote por g(x) a segunda coordenada.
Assim,
(Z) = (W) = (x, g(x)) : x W
para alguma aplicao diferencivel g : W R
nm
. Como aberta,
tem-se
(W) = M V = Gr(g),
para algum aberto V R
n
, com p V .
(b)(c) Dena a aplicao f : V R
nm
pondo
f(x, y) = y g(x),
26
onde V R
n
= R
m
R
nm
o aberto dado por hiptese. Temos:
M V = Gr(g)
= (x, y) R
n
: y = g(x)
= (x, y) R
n
: f(x, y) = 0
= f
1
(0).
Resta provar que df(x, y) sobrejetora, para todo (x, y) V . De fato, dados
(x, y) V e (u, v) R
n
, temos:
df(x, y) (u, v) = df(x, y) (u, 0) + df(x, y) (0, v)
= Id(0) dg(x) u + Id(v) dg(x) 0
= v dg(x) u.
Portanto, dado v R
nm
, tem-se
df(x, y) (0, v) = v,
ou seja, df(x, y) : R
n
R
nm
sobrejetora. Portanto, f uma submerso
com M V = f
1
(0).
(c)(d) Dado um ponto p M, considere a submerso f : V R
nm
tal que M V = f
1
(0). Como df(p) : R
n
R
nm
sobrejetora, o
conjunto df(p) e
1
, . . . , df(p) e
n
gera R
nm
. Assim, podemos escolher
vetores e
i
1
, . . . , e
i
nm
tais que df(p) e
i
1
, . . . , df(p) e
i
nm
seja uma base de
R
nm
. Considere a decomposio em soma direta R
n
= R
m
R
nm
tal que
R
nm
= spane
i
1
, . . . , e
i
nm
e R
m
gerado pelos demais vetores cannicos.
Assim, df(p)[
R
nm um isomorsmo linear. Dena
: V R
n
= R
m
R
nm
pondo
(x, y) = (x, f(x, y)),
para todo (x, y) V . Temos que uma aplicao diferencivel e d(p)
um isomorsmo. Assim, pelo teorema da aplicao inversa, existe um aberto

V R
n
, com p

V V , tal que [

V
:

V (

V ) um difeomorsmo.
Podemos supor que (

V ) = Z W R
m
R
nm
, onde W um aberto
contendo 0 R
nm
. Assim,
(x, y) M

V (x, y) = (x, f(x, y))
(x, y) = (x, 0).
27
Portanto, (M

V ) = (

V ) R
m
.
(d)(a) Dado p M, considere o difeomorsmo : V (V ) tal que
(M V ) = (V ) R
m
, onde V um aberto de R
n
, com p V . Como
(V ) aberto em R
n
, U = (V ) R
m
aberto em R
m
. Dena, ento,
: U R
n
pondo = [
1
U
. Assim, uma parametrizao de M, com
(U) = M V .
Dados duas parametrizaes
1
: U
1
M V
1
e
2
: U
2
M V
2
em
uma superfcie M, com V
1
V
2
,= , a aplicao

1
2

1
:
1
1
(M V
1
V
2
)
1
2
(M V
1
V
2
) (2.1)
chamada a mudana de coordenadas entre
1
e
2
. Uma consequncia do
Teorema 2.1.8 se refere aplicao (2.1), como mostra o corolrio seguinte.
Corolrio 2.1.15. Sejam
1
: U
1
M V
1
e
2
: U
2
M V
2
para-
metrizaes de uma superfcie M, com V
1
V
2
,= . Ento, a mudana de
coordenadas
1
2

1
um difeomorsmo.
Demonstrao. Dado p M V
1
V
2
, seja f : V f(V ) o difeomorsmo
dado pelo Teorema 2.1.8 satisfazendo f(MV ) = f(V )R
m
. Considere um
aberto

U
1
R
m
, com
1
1
(p)

U
1
U
1
, tal que
1
(

U
1
) M V . Assim,
(f
1
)(

U
1
) R
m
. Da mesma forma, considere um aberto

U
2
R
m
, com

1
2
(p)

U
2
U
2
, tal que (f
2
)(

U
2
) R
m
. Assim, no aberto
1
1
(W),
onde W =
1
(

U
1
)
2
(

U
2
), temos

1
2

1
=
1
2
f
1
f
1
= (f
2
)
1
(f
1
).
A composta f
1
diferencivel. Como d(f
2
)(x) um isomorsmo
linear, segue do teorema da aplicao inversa que f
2
, possivelmente
num aberto menor, um difeomorsmo. Segue, em particular, que (f
2
)
1
diferencivel, logo
1
2

1
diferencivel. Analogamente se prova a dife-
renciabilidade da aplicao
1
1

2
.
Exerccios
1. Verique se os seguintes conjuntos so superfcies de dimenso 1 em R
2
.
Caso sejam, determine a classe de diferenciabilidade.
(a) M = (t, t
2
) : t R (t, t
2
) : t R
(b) M = (t, t
2
) : t R

(t, t
2
) : t R
+

28
(c) M = (t
2
, t
3
) : t R
2. Mostre que todo subconjunto aberto de uma superfcie M R
n
tambm
uma superfcie em R
n
.
3. Sejam M
1
R
n
1
e M
2
R
n
2
superfcies de dimenso m
1
e m
2
, res-
pectivamente. Prove que o produto cartesiano M
1
M
2
R
n
1
+n
2
uma
superfcie de dimenso m
1
+ m
2
. Conclua, da, que o toro bidimensional
T
2
= S
1
S
1
uma superfcie de R
4
.
4. O grupo linear GL(n) o subconjunto aberto de M(n) formado pelas
matrizes inversveis. O grupo linear especial,
SL(n) = X GL(n) : det X = 1,
um subgrupo de GL(n). Prove que SL(n) uma hipersuperfcie de M(n).
29
2.2 O espao tangente a uma superfcie
Nesta seo discutiremos a noo de espao tangente a uma superfcie.
Veremos que este espao admite uma estrutura natural de espao vetorial,
aquela que induzida do espao Euclidiano atravs das parametrizaes da
superfcie.
Seja M uma superfcie de dimenso M em R
n
. Fixado um ponto p M,
dizemos que um vetor v R
n
um vetor tangente a M no ponto p se existe
uma curva : (, ) M, diferencivel em t = 0, tal que (0) = p e

(0) = v. O conjunto de todos os vetores tangentes a M no ponto p ser

chamado o espao tangente a M em p e ser denotado por T
p
M.
Exemplo 2.2.1. Se U um subconjunto aberto da superfcie M R
n
, ento
T
p
U = T
p
M para todo p U. De fato, claramente temos T
p
U T
p
M. Se
v T
p
M, existe uma curva : (, ) M, diferencivel em t = 0, com
(0) = p e

(0) = v. Podemos restringir o intervalo (, ) de modo que

(, ) U, logo v T
p
U. Em particular, se V um subconjunto aberto
de R
n
, ento T
p
V = T
p
R
n
= R
n
.
Proposio 2.2.2. Seja f : U V uma aplicao diferencivel entre os
abertos U R
m
e V R
n
. Suponha que existam superfcies M
m
e N
n
,
com M U e N V , tais que f(M) N. Ento, df(p)(T
p
M) T
f(p)
N
para todo p M. Em particular, se f um difeomorsmo, com f(M) = N,
ento df(p)(T
p
M) = T
f(p)
N para todo p M.
Demonstrao. Dados um ponto p M e um vetor v T
p
M, considere uma
curva : (, ) M, diferencivel em t = 0, com (0) = p e

(0) = v. A
curva : (, ) N, dada por (t) = f((t)), diferencivel em t = 0.
Alm disso, temos
(0) = f((0)) = f(p) e

(0) = df((t))

(0) = df(p) v,
ou seja, df(p)v T
f(p)
N. Logo, df(p)(T
p
M) T
f(p)
N. A ltima armao
segue-se aplicando f
1
parte j provada.
Decorre ento o seguinte
Corolrio 2.2.3. O espao tangente T
p
M um subespao vetorial de di-
menso m em R
n
.
Demonstrao. Do Teorema 2.1.8, existem um aberto V R
n
, com p V ,
e um difeomorsmo : V (V ) tais que (M V ) = (V ) R
m
. Ento,
30
pela Proposio 2.2.2, temos:
d(p)(T
p
M) = d(p)(T
p
(M V )) = T
(p)
((V ) R
m
)
= T
(p)
R
m
= R
m
.
Disso decorre que T
p
M = d(p)
1
(R
m
) um subespao vetorial de dimenso
m em R
n
.
Corolrio 2.2.4. Dado um ponto p M
m
, considere uma parametrizao
: U (U) de M, com p = (x). Ento, T
p
M = d(x)(R
m
). Em
particular, uma base para T
p
M dada por d(x) e
i
: 1 i m.
Demonstrao. Pela Proposio 2.2.2, temos:
d(x)(R
m
) = d(x)(T
x
U) T
p
(U) = T
p
M.
Assim, em virtude do Corolrio 2.2.3, segue que T
p
M = d(x)(R
m
), uma
vez que ambos so subespaos vetoriais de dimenso m em R
n
.
Exemplo 2.2.5. Sejam f : U R
nm
uma aplicao diferencivel, denida
no aberto U R
n
, e c R
nm
um valor regular de f. Ento, o espao
tangente a M = f
1
(c) num ponto p dado por T
p
M = ker df(p). De fato,
basta provar que T
p
M ker df(p), j que ambos so subespaos vetoriais de
dimenso m em R
n
. Ento, dado um vetor v T
p
M, seja : (, ) M
uma curva diferencivel em t = 0 tal que (0) = p e

(0) = v. A curva
: (, ) R
nm
, dada por (t) = f((t)), constante, igual a c para
todo t (, ). Assim,
df(p) v = df((0))

(0) =
d
dt
(f )(0) =

(0) = 0,
ou seja, v ker df(p).
Exemplo 2.2.6. Uma situao particular do Exemplo 2.2.5 pode ser vista
no grupo ortogonal O(n). Lembre que O(n) pode ser considerado como a
imagem inversa O(n) = f
1
(I) da aplicao diferencivel f : M(n) o(n)
dada por f(X) = XX
t
(cf. Exemplo 2.1.12). Como a diferencial de f dada
por df(X) H = XH
t
+HX
t
, segue do Exemplo 2.2.5 que
T
I
O(n) = ker df(I) = H M(n) : H
t
+H = 0,
ou seja, o espao tangente ao grupo ortogonal O(n) na matriz identidade
o subespao das matrizes anti-simtricas.
31
Exerccios
1. Mostre que o espao tangente esfera S
n
R
n+1
num ponto p dado
por T
p
S
n
= v R
n+1
: v, p = 0.
2. Mostre que o espao tangente a SL(n), na matriz identidade, o subespao
das matrizes de trao nulo.
3. Seja f : U R
n
uma aplicao diferencivel, denida no aberto U R
m
.
Mostre que o espao tangente ao grco de f no ponto (p, f(p)) o grco
da diferencial df(p) : R
m
R
n
.
4. Dados uma superfcie M e um ponto p M, considere parametrizaes
: U (U) e : V (V ) de M, com p = (x) = (y). Dado um vetor
v T
p
M, suponha que suas expresses, nas bases de T
p
M associadas a e
, sejam dadas por
v =
n

i=1
a
i

x
i
(p) e v =
n

i=1
b
i

y
i
(p),
onde

x
i
(p) = d(x) e
i
e

y
i
(p) = d(y) e
i
. Mostre que as coordenadas de
v esto relacionadas por
b
j
=
n

i=1
a
i
y
j
x
i
,
onde y
j
= y
j
(x
1
, . . . , x
n
) so as expresses da mudana de coordenadas entre
e .
32
2.3 Aplicaes diferenciveis entre superfcies
A noo de diferenciabilidade para aplicaes at agora s faz sentido
quando o domnio da aplicao um subconjunto aberto do espao Euclidi-
ano. O que faremos agora estender este conceito, abrangendo aplicaes
denidas em superfcies.
A m de reduzir a notao, a partir de agora uma superfcie M de di-
menso m do espao Euclidiano R
n
ser denotada simplesmente por M
m
.
Assim, quando considerarmos uma superfcie M
m
, car subentendido que
M um subconjunto de algum espao Euclidiano R
n
.
Denio 2.3.1. Uma aplicao f : M N, entre duas superfcies M
m
e N
n
, dita diferencivel no ponto p M se existem parametrizaes
: U (U) de M e : V (V ) de N, com p = (x) e f((U)) (V ),
tais que

1
f : U V (2.2)
diferencivel no ponto x U.
Segue da Denio 2.3.1 que a diferenciabilidade da aplicao f : M N
ca condicionada diferenciabilidade da aplicao (2.2), que uma aplicao
entre abertos do espao Euclidiano, chamada a representao de f em relao
s parametrizaes e , e denotada por

f ou f

.
Precisamos mostrar agora que a Denio 2.3.1 independe da escolha das
parametrizaes e . De fato, considere parametrizaes

: U

(U

)
de M e

: V

(V

) de N, com p

(U

) e f(

(U

))

(V

). Ento,
no aberto
1
((U)

(U

)), temos:

1
f

= (
1
) (
1
f ) (
1

).
Pelo Corolrio 2.1.15, segue que
1
e
1

so diferenciveis. Como

1
f diferencivel por hiptese, concluimos que
1
f

tambm
diferencivel.
Observao 2.3.2. No caso particular em que f da forma f : M
m
R
k
,
segue que f diferencivel no ponto p M se existe uma parametrizao
: U (U) de M, com p = (x), tal que a aplicao
f : U R
k
diferencivel no ponto x =
1
(p).
33
Proposio 2.3.3. Toda parametrizao : U (U) de uma superfcie
M
m
em R
n
um difeomorsmo.
Demonstrao. Por denio, a aplicao : U (U) um homeomor-
smo diferencivel. Resta mostrar que a inversa
1
: (U) U dife-
rencivel. Escrevamos f =
1
. Note que a aplicao f : (U) R
m
est denida num aberto da superfcie M. Assim, segundo a Observao
2.3.2, devemos mostrar que, para todo p (U), existe uma parametrizao
: V (V ) de (U), com (x) = p, tal que f : V R
m
dife-
rencivel. Basta considerar a prpria parametrizao : U (U), pois
f =
1
= id a aplicao identidade em R
m
, que diferencivel.
Dado uma aplicao f : M
m
N
n
, diferencivel no ponto p M, a
diferencial de f no ponto p a transformao linear df(p) : T
p
M T
f(p)
N
denida do seguinte modo. Considere uma parametrizao : U (U)
de M, com p = (x). Dado um vetor v T
p
M, temos v = d(x) w, para
algum vetor w R
m
. Denimos, ento,
df(p) v = d(f )(x) w.
Devemos mostrar que a transformao linear df(p) est bem denida, ou
seja, independe da escolha da parametrizao . De fato, seja : V (V )
outra parametrizao de M, com p = (y) e v = d(y) u. Sabemos, pelo
Corolrio 2.1.15, que = , onde
:
1
((U) (V ))
1
((U) (V ))
um difeomorsmo entre abertos de R
m
, com (y) = x. Temos:
d(x) w = v = d(y) u = d( )(y) u
= d(x) d(y) u.
Como d(x) injetora, segue que d(y) u = w. Assim,
d(f )(y) u = d(f )(y) u = d(f )(x) d(y) u
= d(f )(x) w,
como queramos.
Observao 2.3.4. O vetor v T
p
M o vetor velocidade, v =

(0), de
uma curva : (, ) M, diferencivel em t = 0, tal que (0) = p. Assim,
df(p) v = d(f )(x) w = d(f )(x) (
1
)

(0)
= (f
1
)

(0) = (f )

(0),
34
ou seja, df(p) v o vetor velocidade da curva f : (, ) N, no
instante t = 0.
Os resultados seguintes so as verses, para superfcies em espaos Eu-
clidianos, dos resultados clssicos vlidos para abertos em R
n
.
Proposio 2.3.5 (Regra da cadeia). Sejam M
m
, N
n
, P
k
superfcies e
f : M N, g : N P aplicaes tais que f diferencivel no ponto p M
e g diferencivel no ponto f(p). Ento a aplicao composta g f : M P
diferencivel no ponto p e vale a regra:
d(g f)(p) = dg(f(p)) df(p).
Demonstrao. Considere parametrizaes : U (U), : V (V )
e : W (W) de de M, N e P, respectivamente, tais que p = (x) e
f(p) = (y). Como f diferencivel em p M, segue que
1
f
diferencivel em x, e como g diferencivel em f(p),
1
g diferencivel
em y. Assim,

1
(g f) = (
1
g ) (
1
f )
diferencivel no ponto x, como composta de aplicaes diferenciveis entre
abertos Euclidianos logo, por denio, g f diferencivel em p. Para a
segunda parte, temos:
dg(f(p)) df(p) = d(g )(y) d(f )(x)
= d(g )(
1
(f(p))) d(f )(x)
= d(g f )(x)
= d(g f)(p),
como queramos.
Um difeomorsmo entre duas superfcies M e N uma aplicao bijetora
f : M N, que diferencivel e sua inversa f
1
: N M tambm
diferencivel. Decorre da regra da cadeia o seguinte
Corolrio 2.3.6. Se f : M
m
N
n
um difeomorsmo ento, para cada
ponto p M, a diferencial df(p) : T
p
M T
f(p)
N um isomorsmo. De-
corre, em particular, que m = n.
Demonstrao. Das igualdades f
1
f = id[
M
e f f
1
= id[
N
, decorre da
regra da cadeia que df
1
(q)df(p) a identidade em T
p
M e df(p)df
1
(q)
a identidade em T
q
N, onde q = f(p). Portanto, df
1
(q) = df(p), ou seja,
df(p) : T
p
M T
q
N um isomorsmo linear para todo p M, cujo inverso
df(p)
1
. Decorre, em particular, que m = dim(T
p
M) = dim(T
q
N) = n.
35
Observao 2.3.7. A m de concluir que m = n bastaria que a diferencial
df(p) : T
p
M T
q
N fosse um isomorsmo em apenas um ponto p M.
A recproca do Corolrio 2.3.6 falsa, no sentido que temos apenas di-
feomorsmo local, como mostra o seguinte
Teorema 2.3.8 (Teorema da aplicao inversa). Considere uma aplica-
o diferencivel f : M
n
N
n
e um ponto p M tal que a diferencial
df(p) : T
p
M T
q
N seja um isomorsmo linear, onde q = f(p). Ento
existe um aberto W M, com p W, tal que f(W) aberto em N e
f[
W
: W f(W) um difeomorsmo.
Demonstrao. Sejam : U (U), : V (V ) parametrizaes de M
e N, respectivamente, com p = (x) e f((U)) (V ). A representao

f
de f diferencivel e, pela regra da cadeia, segue que
d(
1
f )(x) = d
1
(q) df(p) d(x)
um isomorsmo linear. Assim, pelo teorema da aplicao inversa (cf. Teo-
rema 1.4.3), existe um aberto

W R
m
, com x

W U, tal que

f(

W)
aberto em R
n
e

f[

W
um difeomorsmo. Tome W = (

W). Segue ento

que W aberto em M, com p W, f(W) = (

f(

W)) aberto em N e f[
W
um difeomorsmo, como composta de difeomorsmos.
Vejamos uma aplicao simples do Teorema 2.3.8.
Exemplo 2.3.9. Dado uma superfcie M
m
R
n
, denotemos por x
1
, . . . , x
n
as funes coordenadas usuais de R
n
, ou seja, a i-sima funo coordenada
x
i
: R
n
R dada por x
i
(x) = x
i
, para todo x = (x
1
, . . . , x
n
) R
n
. Ar-
mamos que m dessas funes coordenadas constituem uma parametrizao
local para M. De fato, denotemos por
1
, . . . ,
n
a base dual de R
n
, i.e.,

i
(e
j
) =
ij
, onde e
1
, . . . , e
n
denota a base cannica de R
n
. Note que, a
linearidade das funes coordenadas x
i
implica que
dx
i
(x) =
i
, (2.3)
para quaisquer x R
n
e 1 i n. Alm disso, como T
p
M um subes-
pao m-dimensional de R
n
, existem inteiros i
1
, . . . , i
m
tais que
i
1
, . . . ,
im
so linearmente independentes quando restritos a T
p
M. Considere ento
a aplicao = (x
i
1
, . . . , x
im
) : M R
m
. Em virtude de (2.3), segue
que a diferencial de no ponto p coincide com a restrio dos funcionais

i
1
, . . . ,
im
em T
p
M. Como tais funcionais so linearmente independentes,
segue que d(p) : T
p
M R
m
um isomorsmo e o teorema da aplicao
inversa implica que um difeomorsmo local sobre uma vizinhana de p.
36
Exerccios
1. Mostre que toda aplicao diferencivel f : M N, entre as superfcies
M e N, contnua.
2. Se U um aberto de uma superfcie M
m
, mostre que a aplicao incluso
i : U M diferencivel.
3. Se f : M N uma aplicao diferencivel, mostre que a restrio de f
a qualquer aberto U de M tambm diferencivel.
4. Dados duas superfcies M
1
e M
2
, considere o produto cartesiano
M = M
1
M
2
.
(a) Mostre que as projees
i
: M M
i
so aplicaes diferenciveis.
(b) Se N outra superfcie, mostre que uma aplicao f : N M
diferencivel se, e somente se, as aplicaes coordenadas
i
f so
diferenciveis, i = 1, 2.
5. Dado uma superfcie compacta M
m
, mostre que no existe um difeomor-
smo local f : M R
m
.
37
2.4 As formas locais
Nesta seo estudaremos alguns resultados que descrevem a estrutura
local de aplicaes diferenciveis de posto mximo entre superfcies. Mais
precisamente, veremos as verses para superfcies das formas locais Euclidia-
nas, estudadas na Seo 1.4.
Denio 2.4.1. Sejam M
m
, N
n
superfcies e f : M N uma aplicao
diferencivel. Dizemos que f uma imerso no ponto p se a diferencial
df(p) : T
p
M T
f(p)
N uma aplicao linear injetora. Se f uma imerso
em todo ponto p M, diremos simplesmente que f uma imerso.
Note que se f : M
m
N
n
uma imerso em p M, devemos ter,
necessariamente, m n. Analogamente ao Teorema 1.4.8, provaremos que
toda imerso f : M N se comporta, localmente, como a incluso do
Exemplo 1.4.5.
Teorema 2.4.2 (Forma local das imerses). Seja f : M
m
N
n
uma apli-
cao diferencivel que uma imerso num ponto p M. Ento, dado uma
parametrizao : U (U) de M, com p = (x), existe um difeomorsmo
: Z U W, onde Z N um aberto contendo f((U)) e W R
nm
um aberto contendo 0, tais que
( f )(x) = (x, 0) R
m
R
nm
,
para todo x U.
Demonstrao. Sejam : U (U) e : V (V ) parametrizaes de
M e N, respectivamente, com p = (x) e f((U)) (V ). Como df(p)
injetora, segue que d(
1
f )(x) tambm injetora. Pela forma local
das imerses em espaos Euclidianos (cf. Teorema 1.4.8), restringindo os
domnios, se necessrio, existe um difeomorsmo h : V U W, onde
W R
nm
um aberto contendo 0 R
nm
, tal que
h (
1
f ) : U U W
a aplicao incluso, i.e.,
[h (
1
f )](x) = (x, 0)
para todo x U. Agora, basta denir = h
1
e fazer Z = (V ).
38
Denio 2.4.3. Sejam M
m
, N
n
superfcies e f : M N uma aplicao
diferencivel. Dizemos que f uma submerso no ponto p se a diferencial
df(p) : T
p
M T
f(p)
N uma aplicao linear sobrejetora. Se f uma
submerso em todo ponto p M, diremos que f uma submerso.
Neste caso, se f : M
m
N
n
uma submerso em p M, devemos ter,
necessariamente, m n. Analogamente ao Teorema 1.4.13, provaremos que
toda submerso f : M N se comporta, localmente, como a projeo do
Exemplo 1.4.11.
Teorema 2.4.4 (Forma Local das Submerses). Seja f : M
m
N
n
uma
aplicao diferencivel que uma submerso num ponto p M. Ento,
dado uma parametrizao : V (V ) em N, com f(p) (V ), existe
um difeomorsmo : V W Z, onde Z M um aberto contendo o
ponto p, com f(Z) (V ), e W R
mn
um aberto, tais que
(
1
f )(x, y) = x,
para todo (x, y) V W.
Demonstrao. Considere uma parametrizao : U (U) de M, com
p (U) e f((U)) (V ). Como df(p) sobrejetora, segue que a dife-
rencial d

f(a), da representao

f =
1
f de f, tambm sobrejetora,
onde a =
1
(p), com a = (a
1
, a
2
) R
n
R
mn
. Assim, pela forma local
das submerses em espaos Euclidianos (cf. Teorema 1.4.13), restringindo
os domnios, se necessrio, existe um difeomorsmo h : V W U, onde
W R
mn
um aberto contendo a
2
, tal que
[(
1
f ) h](x, y) = x
para todo (x, y) V W. Assim, basta considerar = h e Z = (U).
Observao 2.4.5. Assim como os Teoremas 2.4.2 e 2.4.4, outros resultados
vlidos em abertos Euclidianos podem ser provados no contexto de superfcies
como, por exemplo, o teorema da funo implcita e o teorema do posto.
Exerccios
1. Seja f : M N uma imerso injetora. Prove que se M compacta ento
f um mergulho, ou seja, sobre a imagem f um homeomorsmo.
2. Prove que qualquer submerso f : M N, com M compacta e N conexa,
sobrejetora.
3. Seja M
n
uma superfcie compacta. Prove que no existe uma submerso
f : M R
k
, para qualquer k 1.
39
2.5 Valores regulares
Nesta seo discutiremos o conceito de valor regular para aplicaes entre
superfcies, apresentando uma demonstrao simples do teorema fundamen-
tal da lgebra.
Seja f : M
m
N
n
uma aplicao diferencivel. Dizemos que um ponto
p M ponto regular de f se a diferencial df(p) tem posto n, i.e., se
df(p) uma transformao linear sobrejetora. Neste caso, devemos ter,
necessariamente, m n. Um ponto q N chamado valor regular de f
se f
1
(q) contm apenas pontos regulares. Se a diferencial df(p) tem posto
menor do que n, i.e., se df(p) no sobrejetora, diremos que p um ponto
crtico de f, e a imagem f(p) chamada um valor crtico de f.
A proposio seguinte um resultado anlogo ao Corolrio 2.1.9, agora
no contexto de superfcies.
Proposio 2.5.1. Sejam f : M
m
N
n
uma aplicao diferencivel e
q N um valor regular para f. Ento o conjunto f
1
(q) M uma
superfcie de dimenso mn. Alm disso, para todo p f
1
(q), tem-se
T
p
f
1
(q) = ker df(p).
Demonstrao. Dado um ponto p f
1
(q), seja : V (V ) uma pa-
rametrizao de N, com (0) = q. Pela forma local das submerses (cf.
Teorema 2.4.4), existe um difeomorsmo : U (U), onde U M um
aberto contendo p e (U) aberto em R
m
, tal que
(
1
f
1
)(x
1
, . . . , x
m
) = (x
1
, . . . , x
n
),
para todo (x
1
, . . . , x
m
) (U). Temos:

_
f
1
(q) U
_
=
_

1
f
1
_
1
(0) = (U)
_
0
n
R
mn
_
.
Seja T : R
m
R
m
um isomorsmo linear que transforma o subespao
0
n
R
mn
sobre R
mn
R
m
. Ento, T : U T((U)) um
difeomorsmo tal que
(T )
_
f
1
(q) U
_
= T
_
(U)
_
0
n
R
mn
__
= T((U)) R
mn
,
ou seja, T transforma f
1
(q)U difeomorcamente sobre T((U))R
mn
.
Isso prova que f
1
(q) uma superfcie de dimenso m n. A prova da
segunda parte segue de forma anloga ao Exemplo 2.2.5.
40
Exemplo 2.5.2. Sejam f : M
n
N
n
uma aplicao diferencivel, com
M compacta, e q N um valor regular para f. Ento, a imagem inversa
f
1
(q) um subconjunto nito de M (possivelmente vazio). De fato, como
f
1
(q) fechado em M, e M compacta, f
1
(q) tambm compacta. Alm
disso, f
1
(q) discreto, pois f injetora em uma vizinhana de cada ponto
p f
1
(q), devido ao teorema da aplicao inversa.
Dados uma aplicao diferencivel f : M
n
N
n
, com M compacta, e
q N um valor regular para f, denotemos por #f
1
(q) a cardinalidade do
conjunto f
1
(q), que nita em virtude do Exemplo 2.5.2.
Lema 2.5.3. A funo #f
1
(q) localmente constante quando q percorre
os valores regulares q de f.
Demonstrao. Denotemos por p
1
, . . . , p
k
os pontos do conjunto f
1
(q).
Pelo teorema da aplicao inversa, existem abertos U
1
, . . . , U
k
M, com
p
i
U
i
, que podemos supor dois a dois disjuntos, que so transformados
difeomorcamente por f sobre abertos V
1
, . . . , V
k
em N. Considere ento o
subconjunto
V =
_
V
1
. . . V
k
_
f
_
M U
1
. . . U
k

_
de N, com q V . Para cada y V , tem-se #f
1
(y) = #f
1
(q).
Uma aplicao simples do Lema 2.5.3 o seguinte:
Teorema 2.5.4 (Teorema fundamental da lgebra). Todo polinmio no-
constante admite uma raiz.
Demonstrao. A ideia da prova consiste em transferir o problema do plano
complexo C para a esfera S
2
R
3
, que uma superfcie compacta. Deno-
tando por N = (0, 0, 1) o polo norte de S
2
, consideremos a projeo estereo-
grca

N
: S
2
N C R
2
.
Aqui, estamos identicando R
2
com o subespao R
2
0 R
3
. Dado um
polinmio P : C C, P(z) = a
n
z
n
+. . . +a
1
z +a
0
, com a
n
,= 0, denotemos
por f o levantamento de P na esfera S
2
, i.e., f : S
2
S
2
a aplicao dada
por
f(x) =
_ _

1
N
P
N
_
(x), x ,= N
N, x = N
.
Observe que f diferencivel em todo ponto x ,= N. A m de mostrar
que f diferencivel no polo norte N, considere a projeo estereogrca
41

S
: S
2
S R
2
relativa ao polo sul S = (0, 0, 1). Note que
S
uma
parametrizao para S
2
. Explicitando as expresses de
N
e
S
, obtemos:
_

N

1
S
_
(z) =
1
z
=
_

S

1
N
_
(z).
Assim, a representao de f na parametrizao
S
dada por
_

S
f
1
S
_
(z) =
_

S

1
N
P
N

1
S
_
(z)
=
_

S

1
N
_
_
P
_
1
z
__
=
_

S

1
N
_
_
a
n
1
z
n
+. . . +a
1
1
z
+a
0
_
=
z
n
a
n
+. . . +a
1
z
n1
+a
0
z
n
,
mostrando que f diferencivel no polo norte N. Logo, f globalmente dife-
rencivel. Observe agora que f tem somente um nmero nito de pontos cr-
ticos. De fato, a aplicao f deixa de ser um difeomorsmo local, em virtude
da regra da cadeia, somente nos zeros da derivada de P, P

ka
k
z
k1
, e
estes zeros so em quantidade nita, pois P

no identicamente nulo. De-

notemos por X o conjunto dos pontos crticos de f e seja Y = f(X). Assim,
o conjunto dos valores regulares de f, S
2
Y , conexo. Portanto, a funo
localmente constante #f
1
(q) constante em todo o conjunto S
2
Y . No
entanto, esta constante no pode ser a identicamente nula, pois o polinnio
P no constante. Disso decorre que S
2
Y f(S
2
X) e, portanto, f
sobrejetora. Logo, existe z C tal que P(z) = 0, provando o teorema.
Exerccios
1. Seja f : M R uma funo diferencivel, onde M uma superfcie
compacta. Mostre que f tem, pelo menos, dois pontos crticos.
2. Seja f : X R uma funo localmente constante, denida num subcon-
junto conexo X R
n
. Mostre que f constante.
3. Determine as expresses das projees estereogrcas
N
e
S
, e mostre
que
_

N

1
S
_
(z) =
1
z
para todo z C.
42
2.6 O teorema de Sard
Nesta seo apresentaremos o clssico teorema de Sard a respeito dos
valores regulares de uma dada aplicao diferencivel f : M N. Mais
precisamente, o teorema arma que o conjunto de tais pontos denso em N.
A m de estabelecer o teorema de Sard, necessitamos de alguns prelimi-
nares acerca dos conjuntos de medida nula no espao Euclidiano.
Denio 2.6.1. Dizemos que um subconjunto X R
n
tem medida nula
em R
n
, e escrevemos (X) = 0, se, para cada > 0 dado, possvel obter
uma sequncia de cubos abertos C
1
, C
2
, . . . , C
k
, . . . em R
n
tais que
X

_
k=1
C
k
e

k=1
vol(C
k
) < .
Existem vrias propriedades importantes acerca dos conjuntos de me-
dida nula. Apresentaremos apenas algumas delas, que sero usadas quando
necessrio. Para maiores detalhes, o leitor pode consultar o livro [6].
Proposio 2.6.2. So vlidas as seguintes propriedades:
(a) Todo subconjunto de um conjunto de medida nula tambm tem medida
nula.
(b) Qualquer unio enumervel de conjuntos de medida nula ainda um
conjunto de medida nula.
(c) Se f : U R
n
uma aplicao diferencivel, denida no aberto
U R
n
, e X U tem medida nula em R
n
, ento f(X) tambm
tem medida nula em R
n
.
(d) Se m < n e f : U R
n
uma aplicao diferencivel, denida no
aberto U R
m
, ento f(U) tem medida nula em R
n
.
Denio 2.6.3. Dizemos que um subconjunto X R
n
localmente de
medida nula em R
n
se, para cada x X, existe um aberto V
x
em R
n
,
contendo o ponto x, tal que (V
x
X) = 0.
Observe que, da cobertura aberta X V
x
extraimos, pelo teorema de
Lindelf (cf. [11, Theorem 30.3]), uma subcobertura enumervel X V
k
,
logo X = (V
k
X) uma unio enumervel de conjuntos de medida nula e,
portanto, (X) = 0. Assim, um conjunto X R
n
localmente de medida
nula se, e somente se, tem medida nula.
43
Exemplo 2.6.4. Seja M
m
R
n
uma superfcie, com m < n. Dado uma
parametrizao : U (U) em M, segue da Proposio 2.6.2, item (d),
que a vizinhana coordenada (U) M tem medida nula em R
n
. Como
(U) = AM, onde A R
n
aberto, segue que M localmente de medida
nula e, assim, (M) = 0 em R
n
.
Estudaremos agora os conjuntos de medida nula em uma superfcie M.
Denio 2.6.5. Sejam M
m
uma superfcie e : U (U) uma parame-
trizao de M. Dizemos que um subconjunto X (U) tem medida nula em
M se o conjunto
1
(X) tem medida nula em R
m
, i.e., se (
1
(X)) = 0.
Se : V (V ) for outra parametrizao de M, com X (V ), ento

1
(X) = (
1
)(
1
(X)) tambm tem medida nula em R
m
em virtude
da Proposio 2.6.2, item (c), pois
1
um difeomorsmo em R
m
.
No caso geral, dizemos que um subconjunto X M tem medida nula em
M se, para toda parametrizao : U (U) de M, o conjunto (U) X
tiver medida nula em M de acordo com a Denio 2.6.5.
Os conjuntos de medida nula em uma superfcie M satisfazem proprieda-
des anlogas daquelas dos conjuntos de medida nula do espao Euclidiano.
Por exemplo, temos a seguinte
Proposio 2.6.6. Se f : M
m
N
n
uma aplicao diferencivel, com
m < n, ento f(M) tem medida nula em N.
Demonstrao. Segue diretamente da Proposio 2.6.2, item (d), usando pa-
rametrizaes para M e N.
O teorema seguinte, provado por Arthur Sard [12] em 1942, se refere
aplicaes diferenciveis entre duas superfcies M
m
e N
n
. Em virtude da
Proposio 2.6.6, resta mostrar o caso em que m n. A demonstrao
que apresentaremos aqui para o caso particular em que m = n. Apenas
comentamos que o caso n = 1 foi provado por Anthony Morse [9] in 1939.
Teorema 2.6.7 (Sard). Dado uma aplicao diferencivel f : M
n
N
n
,
denotemos por S o conjunto dos pontos p M tais que a diferencial df(p)
no isomorsmo. Ento f(S) tem medida nula em N.
Demonstrao. Dado p S, considere parametrizaes : U (U) de M
e : V (V ) de N, com p (U) e f((U)) (V ). Basta provar que
f(S (U)) tem medida nula em N. Por outro lado,
(f(S (U))) = 0 (
1
(f(S (U)))) = 0 em R
n
(

f(
1
(S (U)))) = 0 em R
n
,
44
onde

f a representao de f em termos de e . Assim, o teorema de Sard
para superfcies se reduz ao problema Euclidiano. Ou seja, devemos provar:
se f : U R
n
uma aplicao diferencivel, denida no aberto U R
n
, e
S o conjunto dos pontos x U tais que det(df(x)) = 0, ento f(S) tem
medida nula em R
n
. De fato, pelo teorema de Lindelf, podemos expressar
U como unio enumervel de cubos fechados. Assim, basta provar que se C
um cubo fechado, de aresta a > 0, contido em U, e
T = x C : det(df(x)) = 0,
ento f(T) tem medida nula em R
n
. Fixemos a norma Euclidiana em R
n
.
Subdividindo cada uma de suas arestas em k partes iguais, obtemos uma
partio de C, cujos blocos so k
n
cubos C
i
, de mesma aresta
a
k
= e
volume igual a
n
. Se x, y C
i
, temos |x y| n. Em cada pequeno
cubo C
i
tal que C
i
T ,= , escolha um ponto x
i
C
i
T. A imagem da
transformao linear df(x
i
) : R
n
R
n
est contida num subespao vetorial
E
i
R
n
, de dimenso n 1. Todos os pontos f(x
i
) + df(x
i
) v, v R
n
,
pertencem ao subespao am L
i
= f(x
i
) + E
i
, de dimenso n 1 em R
n
.
Para cada x C
i
, podemos escrever
f(x) = f(x
i
) + df(x
i
) (x x
i
) +r
i
(x),
onde r
i
(x) o resto da denio de diferenciabilidade. Dado > 0, pode-
mos escolher o inteiro k sucientemente grande tal que, para todo cubo C
i
contendo pontos de T e todo x C
i
, tenhamos
|r
i
(x)| < |x x
i
| n.
Fazendo c = sup|df(x)| : x C, temos:
|df(x
i
) (x x
i
)| c|x x
i
| < nc,
para todo x C
i
. Assim, para todo x C
i
, o ponto f(x
i
) +df(x
i
) (xx
i
)
pertence ao cubo de centro f(x
i
) e aresta 2nc em L
i
. Considerando o
paraleleppedo retangular P
i
em R
n
que tem esse cubo como seo mdia e
altura 2n, temos:
vol(P
i
) = 2
n
n
n
c
n1

n
= A
n
,
onde A = 2
n
n
n
c
n1
. A imagem f(T) est contida na unio de, no m-
ximo, k
n
desses paraleleppedos P
i
, cuja soma dos volumes no ultrapassa
Ak
n

n
= Aa
n
. Como > 0 arbitrrio, concluimos que f(T) tem medida
nula em R
n
.
45
Uma consequncia direta do Teorema de Sard o seguinte
Corolrio 2.6.8. O conjunto dos valores regulares de uma aplicao dife-
rencivel f : M N sempre denso em N.
Demonstrao. De fato, se existisse um aberto V N que no intercepta o
conjunto dos valores regulares de f, V seria constitudo somente de valores
crticos e no teria medida nula em N, contradizendo o teorema de Sard.
Exerccios
1. Demonstre a Proposio 2.6.2.
2. Prove que R
m
tem medida nula em R
n
, com m < n.
46
2.7 Funes de Morse
Nesta seo apresentaremos uma aplicao do teorema de Sard, onde
estudaremos o comportamento local de funes diferenciveis f : M R.
Dado um ponto p M, ou p ponto regular de f ou df(p) = 0. Se p
ponto regular para f, ento f uma submerso em p. Assim, pela forma
local das submerses, existe uma parametrizao em torno de p tal que,
nesta vizinhana coordenada, f simplesmente a projeo sobre a primeira
coordenada. Neste caso, conhecemos o comportamento local de f nos pontos
regulares, a menos de difeomorsmos. O objetivo agora estudar o compor-
tamento local de f nos pontos crticos.
Consideremos inicialmente funes diferenciveis f : R
n
R, denidas
em R
n
. Nosso interesse inicial reside na diferencial segunda d
2
f(x) da funo
f no ponto x. Mais precisamente, esta diferencial ca associada uma matriz
de ordem n n
H
f
(x) =
_

2
f
x
i
x
j
(x)
_
,
chamada a matriz Hessiana de f no ponto x. Note que o teorema de Schwarz
garante que essa matriz simtrica.
Suponhamos agora que f admita um ponto crtico x. Isso signica que
df(x) = 0, i.e.,
f
x
1
(x) = . . . =
f
x
n
(x) = 0.
Denio 2.7.1. Dizemos que o ponto crtico x no-degenerado quando
a matriz Hessiana nesse ponto inversvel, i.e., det H
f
(x) ,= 0.
O comportamento local de uma funo em um ponto crtico no-de-
generado completamente determinado, a menos de difeomorsmos, pelo
chamado Lema de Morse. Este lema descreve completamente a funo, em
uma parametrizao apropriada, em termos da matriz Hessiana do respectivo
ponto.
Lema 2.7.2 (Morse). Sejam f : R
n
R uma funo diferencivel e x R
n
um ponto crtico no-degenerado para f. Ento, existe um difeomorsmo
: V W, com 0 V , p W e (0) = x, tal que
f((y)) = f(x) +
n

i,j=1
h
ij
(y)y
i
y
j
,
para todo y = (y
1
, . . . , y
n
) V , onde (h
ij
(x)) denota a matriz Hessiana de
f no ponto x.
47
Disso decorre que toda funo diferencivel, em torno de um ponto crtico
no-degenerado, localmente equivalente a um polinnio quadrtico, onde
os coecientes so dados pela matriz Hessiana.
Considere agora uma funo diferencivel f : M R, denida na super-
fcie M
n
, e p M um ponto crtico para f. Diremos que p ponto crtico
no-degenerado para f se existe uma parametrizao : U (U) de M,
com (0) = p, tal que 0 seja ponto crtico no-degenerado para a funo
f . Devemos vericar que essa denio independe da escolha da para-
metrizao. Para isso, seja : V (V ) outra parametrizao de M, com
(0) = p. Ento
f = (f ) ,
onde =
1
. Devemos ento provar o seguinte
Lema 2.7.3. Sejam f : R
n
R uma funo diferencivel e : R
n
R
n
um
difeomorsmo tal que (0) = 0. Se 0 R
n
ponto crtico no-degenerado
para f ento tambm o para a funo g = f .
Demonstrao. Denotemos por H
f
, H
g
as matrizes Hessianas de f e g, res-
pectivamente, no ponto 0. Usando a regra da cadeia, obtemos
g
x
j
(x) =
n

k=1
f
y
k
((x))

k
x
j
(x),
onde y = (x). Assim,

2
g
x
i
x
j
(0) =
n

k,l=1

2
f
y
i
y
j
(0)

l
x
i
(0)

k
x
j
(0) +
n

k=1
f
y
k
(0)

2

k
x
i
x
j
(0).
Como 0 ponto crtico de f, cada termo no segundo somatrio nulo. Assim,

2
g
x
i
x
j
(0) =
n

k,l=1

2
f
y
i
y
j
(0)

l
x
i
(0)

k
x
j
(0).
Usando a notao de multiplicao de matrizes, a igualdade acima pode ser
escrita como
H
g
(0) = (d(0))
t
H
f
(0) (d(0)).
Como difeomorsmo, temos que det(d(0)) ,= 0, logo det(d(0))
t
,= 0.
Portanto, como det H
f
(0) ,= 0, concluimos que det H
g
(0) ,= 0, i.e., 0 ponto
crtico no-degenerado para g = f .
48
Denio 2.7.4. Uma funo diferencivel f : M R, cujos pontos crticos
so todos no-degenerados, chamada uma funo de Morse.
Uma das razes para destacarmos os pontos crticos no-degenerados
que a ocorrncia de pontos crticos degenerados rara. Mais precisamente,
usando o teorema de Sard, provaremos que a maioria das funes diferenci-
veis so funes de Morse.
Consideremos uma funo diferencivel f : M R, denida na superfcie
M
m
R
n
. Dado um ponto a = (a
1
, . . . , a
n
) R
n
, denimos uma nova
funo f
a
: M R pondo
f
a
(p) = f(p) +a
1
x
1
+. . . +a
n
x
n
,
para todo p = (x
1
, . . . , x
n
) M.
Teorema 2.7.5. O conjunto dos pontos a R
n
, para os quais a funo
f
a
: M R uma funo de Morse, denso em R
n
.
Demonstrao. Consideremos dois casos:
Caso 1: Seja f : R
n
R uma funo diferencivel, denida em R
n
. Asso-
ciada a f, considere a aplicao g : R
n
R
n
dada por
g(x) =
_
f
x
1
(x), . . . ,
f
x
n
(x)
_
.
A diferencial da funo f
a
num ponto x R
n
dada por
df
a
(x) = g(x) +a.
Assim, x ponto crtico para f se, e somente se, g(x) = a. Alm disso,
como f e f
a
tm as mesmas derivadas parciais de segunda ordem, a matriz
Hessiana de f em x a matriz (dg(x)). Assuma que o ponto a seja valor
regular para g. Como g(x) = a, concluimos que det(dg(x)) ,= 0. Disso
decorre que x ponto crtico no-degenerado para f
a
. No entanto, o teorema
de Sard nos diz que o conjunto dos pontos a R
n
, para os quais a valor
regular para g, denso em R
n
.
Caso 2: Para o caso de uma funo f : M R, denida numa superfcie
M
m
R
n
, xe um ponto p M e sejam x
1
, . . . , x
n
as coordenadas usuais de
R
n
. Segue do Exemplo 2.3.9 que m dessas funes coordenadas constituem
uma parametrizao de M em torno de p. Assim, a superfcie M pode
ser coberta por abertos U

onde, em cada U

, m das funes x
1
, . . . , x
n
49
constituem uma parametrizao. Pelo teorema de Lindelf, podemos assumir
que os abertos U

so em quantidade enumervel. Fixado um aberto U

,
suponha que (x
1
, . . . , x
m
) seja uma parametrizao em U

. Para cada ponto

c = (c
m+1
, . . . , x
n
) R
nm
, considere a funo f
(0,c)
: M R dada por
f
(0,c)
= f +c
m+1
x
m+1
+. . . +c
n
x
n
.
Pelo Caso 1, o conjunto dos pontos b R
m
para os quais a funo
f
(b,c)
= f
(0,c)
+b
1
x
1
+. . . +b
m
x
m
uma funo de Morse em U

, denso emR
m
. Denotemos por S

o conjunto
dos pontos a R
n
para os quais f
a
no funo de Morse em U

. Assim,
cada faixa horizontal S

(R
m
c) tem medida nula, considerado como
um subconjunto de R
m
. Por outro lado, um subconjunto de R
n
, cujas faixas
horizontais tm medida nula em R
m
, tem medida nula em R
n
. Assim, cada
S

tem medida nula em R

n
. Agora, um ponto p ponto crtico degenerado
para uma funo em M se, e somente se, o para a mesma funo restrita a
um aberto U

. Assim, o conjunto dos pontos a R

n
para os quais f
a
no
funo de Morse em M unio dos S

, que tem medida nula por ser unio

enumervel de conjuntos de medida nula.
Vejamos um exemplo no contexto de superfcies em R
3
.
Exemplo 2.7.6. Seja M R
3
uma superfcie regular orientvel. Dado um
ponto p M, consideremos a funo altura h : M R em relao ao plano
tangente T
p
M, dada por
h(q) = q p, N(p),
onde N o campo unitrio, normal a M. Do Exerccio 6 segue que p ponto
crtico de h. Um clculo simples mostra que a segunda forma fundamental
da superfcie M no ponto p coincide com a Hessiana da funo altura h em p.
Ou seja, dado um vetor w T
p
M e uma curva : (, ) M, diferencivel
em t = 0, tal que (0) = p e

(0) = w, ento
II
p
(w) =
d
2
dt
2
(h )(0).
Disso decorre, em particular, que p M ponto crtico no-degenerado
para h se, e somente se, K(p) ,= 0, onde K denota a curvatura Gaussiana da
superfcie M.
50
Para nalizar essa seo, queremos apenas fazer alguns comentrios. A
teoria de Morse pode ser pensada como um dos pr-requisitos bsicos da
teoria de ponto crtico, que, grosso modo, uma teoria dedicada a encon-
trar invariantes topolgicos para os pontos crticos de uma dada aplicao
diferencivel e desenvolver tcnicas para estimar o valor de tais invariantes.
O ponto interessante que a maioria dos resultados da teoria de ponto cr-
tico apresenta uma relao entre anlise e geometria. Apenas para dar um
exemplo simples, consideremos a seguinte armao analtica: Se M uma
superfcie compacta e f : M R uma aplicao diferencivel, ento f tem
pelo menos dois pontos crticos (cf. Exerccio 2.5.1). Uma recproca geom-
trica da armao acima o seguinte: Suponhamos que M uma superfcie
tal que que cada funo diferencivel f : M R tem, pelo menos, dois
pontos crticos. Ento M compacta. Em um certo sentido, a propriedade
topolgica de compacidade para a superfcie produz o invariante dois para o
nmero de pontos crticos de praticamente qualquer funo diferencivel, e
vice-versa.
Por m, apenas para despertar a curiosidade do leitor, queremos men-
cionar um teorema no sentido da armao geomtrica acima.
Teorema 2.7.7 (Reeb). Suponha que uma superfcie compacta M admita
uma funo de Morse f : M R tendo, exatamente, dois pontos crticos.
Ento M homeomorfa a uma esfera.
Exerccios
1. Dado uma funo derivvel f : R R, prove que existe outra funo
derivvel g : R R tal que
f(t) = f(0) +tf

(0) +t
2
g(t).
2. Usando o Exerccio 1, prove o Lema de Morse para funes f : R R.
3. Usando o Lema de Morse, prove que se p um ponto crtico no-de-
generado para uma funo f : M R, ento existe uma parametrizao
(x
1
, . . . , x
m
) em torno de p tal que
f = f(p) +
m

i=1

i
x
2
i
,
i
= 1.
4. Prove que a funo f do Exerccio 3 admite um mximo em p se todos os

i
so negativos, e admite um mnimo em p se todos os
i
so positivos. Alm
disso, prove que se os
i
admitem sinais contrrios, ento p no mximo
nem mnimo para f.
51
5. Prove que a funo altura f : S
n1
R, dada por f(x
1
, . . . , x
n
) = x
n
,
denida na esfera S
n1
, uma funo de Morse com dois pontos crticos,
seus polos. Alm disso, um dos polos ponto de mximo para f e o outro
ponto de mnimo.
6. Seja M R
3
uma superfcie. Dados um ponto q R
3
e um vetor unitrio
v R
3
, considere a funo altura h : M R em relao ao plano ortogonal
a v, passando por q, dada por
h(p) = p q, v,
para todo p M. Mostre que p ponto crtico de h se, e somente se, v
ortogonal a T
p
M.
52
2.8 O grau mdulo 2 de uma aplicao
Considere uma aplicao diferencivel f : M N entre duas superfcies
de mesma dimenso, com M compacta. Dado um ponto q N, lembre que
#f
1
(q) denota a cardinalidade do conjunto soluo da equao f(p) = q,
o qual nita quando q valor regular para f. Nesta seo mostraremos
que, quando N conexa, #f
1
(q) mod 2 o mesmo para todo valor regular
q N de f. Este valor comum ser chamado o grau de f mdulo 2, e ser
denotado por deg
2
f.
Faremos, inicialmente, algumas consideraes sobre o conceito de homo-
topia diferencivel.
Denio 2.8.1. Duas aplicaes diferenciveis f, g : M
m
N
n
so ditas
homotpicas se existe uma aplicao diferencivel F : M[0, 1] N tal que
F(p, 0) = f(p) e F(p, 1) = g(p),
para todo p M. A aplicao F chama-se uma homotopia entre f e g, e
escrevemos, neste caso, f g.
Dada uma homotopia F : M [0, 1] N, consideremos, para cada
t [0, 1], a aplicao diferencivel F
t
: M N, dada por F
t
(p) = F(p, t).
Assim, considerar uma homotopia F equivale a denir uma famlia diferen-
civel a 1-parmetro
t [0, 1] F
t
C

(M; N)
de aplicaes de M em N, com F
0
= f e F
1
= g. A diferenciabilidade da
famlia signica que (p, t) F
t
(p) uma aplicao diferencivel.
Intuitivamente, uma homotopia pode ser pensada como um processo de
deformao diferencivel da aplicao f sobre g. Essa deformao ocorre
durante uma unidade de tempo; no instante t = 0 temos f, e no instante
t = 1 temos a aplicao g. Nos instantes intermedirios, 0 < t < 1, as
aplicaes F
t
fornecem os estgios intermedirios da deformao.
Exemplo 2.8.2. Quaisquer duas aplicaes diferenciveis f, g : M
m
R
n
so homotpicas. De fato, basta denir a aplicao F : M [0, 1] R
n
pondo F(p, t) = (1 t)f(p) + tg(p) para obter uma homotopia entre f e g.
Neste caso, F chamada uma homotopia linear. Decorre, em particular, que
qualquer aplicao diferencivel f : M R
n
homotpica aplicao nula,
atravs da homotopia F(p, t) = (1 t)f(p).
53
Exemplo 2.8.3. Considere duas aplicaes diferenciveis f, g : M
m
S
n
,
tais que f(p) ,= g(p) para todo M, i.e., f(p) e g(p) nunca so pontos
antpodas. Ento, sob esta condio, f e g so homotpicas. De fato, essa
hiptese implica que (1t)f(p)+tg(p) ,= 0 para quaisquer t [0, 1] e p M.
Obtemos, ento, uma homotopia F : M [0, 1] S
n
entre f e g, denindo
F(p, t) =
(1 t)f(p) +tg(p)
|(1 t)f(p) +tg(p)|
.
Quando t percorre o intervalo [0, 1], F(p, t) descreve um arco de crculo
ligando f(p) a g(p).
Proposio 2.8.4. A relao de homotopia uma relao de equivalncia
no conjunto das aplicaes diferenciveis de M em N.
Demonstrao. Dado uma aplicao diferencivel f : M N, a aplicao
F : M [0, 1] N, dada por F(p, t) = f(p), uma homotopia entre f e f,
logo reexiva. Considere agora F : M[0, 1] N uma homotopia entre
f e g. Denindo G : M [0, 1] N pondo G(p, t) = F(p, 1 t), obtemos
uma homotopia enre g e f, assim a relao simtrica. Finalmente, se
F : M [0, 1] N uma homotopia entre f e g, e G : M [0, 1] N
uma homotopia entre g e h, considere uma funo auxiliar : [0, 1] [0, 1]
tal que (t) = 0, se 0 t
1
3
, e (t) = 1, se
2
3
t 1. Dena, ento
H : M [0, 1] N pondo
H(p, t) =
_
F(p, (2t)), 0 t
1
2
G(p, (2t 1)),
1
2
t 1
.
A aplicao H uma homotopia entre f e h, logo transitiva.
Proposio 2.8.5. Sejam f, f

: M N e g, g

: N P aplicaes
diferenciveis. Se f f

e g g

ento g f g

, i.e., a composio de
aplicaes preserva homotopia.
Demonstrao. Sejam F : M [0, 1] N uma homotopia entre f e f

, e
G : N [0, 1] P uma homotopia entre g e g

. Denimos uma homotopia

H : M [0, 1] P entre g f e g

ponto H(p, t) = G(F(p, t), t).

O lema seguinte nos diz que o grau mdulo 2 de uma aplicao depende
somente de sua classe de homotopia.
Lema 2.8.6 (Homotopia). Sejam f, g : M N aplicaes homotpicas
entre superfcies de mesma dimenso, onde M fechada. Se y N valor
regular para f e g, ento
#f
1
(y) #g
1
(y) mod 2.
54
Demonstrao. Seja F : M [0, 1] N uma homotopia entre f e g. Supo-
nhamos, inicialmente, que y N tambm seja valor regular para F. Ento
F
1
(y) uma superfcie compacta de dimenso 1, cuja fronteira o conjunto
F
1
(y)
_
M 0 M 1
_
=
_
f
1
(y) 0
_

_
g
1
(y) 1
_
.
Assim, a cardinalidade dos pontos na fronteira de F
1
(y)
#f
1
(y) + #g
1
(y),
que um nmero par
1
, logo #f
1
(y) #g
1
(y) mod 2. Suponha agora
que y N no seja valor regular para F. Do Lema 2.5.3 temos que #f
1
(y)
e #g
1
(y) so funes localmente constantes de y. Assim, existe uma vizi-
nhana V de y em N, consistindo de valores regulares para f, tal que
#f
1
(z) = #f
1
(y)
para todo z V . Analogamente, existe uma vizinhana W de y em N,
consistindo de valores regulares para g, tal que
#g
1
(z) = #g
1
(y)
para todo z W. Escolha um valor regular z para F pertencente interseo
V W. Ento,
#f
1
(y) = #f
1
(z) #g
1
(z) = #g
1
(y),
completando a demonstrao.
A m de provar o resultado central dessa seo, faremos uso de um novo
termo topolgico, envolvendo superfcies M e N de mesma dimenso.
Denio 2.8.7. Dizemos que dois difeomorsmos f, g : M N so isot-
picos se existe uma homotopia F : M [0, 1] N entre f e g tal que, para
cada t [0, 1], a aplicao F
t
: M N, dada por F
t
(p) = F(p, t), seja um
difeomorsmo.
A homotopia F, neste caso, chamada uma isotopia entre f e g. O lema
seguinte, conhecido como Lema da isotopia, diz respeito aos difeomorsmos
com suporte compacto. Lembre que um difeomorsmo f : M N tem
suporte compacto se existe um subconjunto compacto K M com f(p) = p
para todo p M K.
1
Isso decorre do fato de que as nicas superfcies compactas e conexas, de dimenso 1
so, a menos de difeomorsmos, o intervalo fechado ou o crculo. Veremos mais detalhes
no captulo seguinte.
55
Lema 2.8.8 (Isotopia). Seja M uma superfcie conexa. Dados quaisquer
dois pontos p, q M, existe um difeomorsmo f : M M, com suporte
compacto, tal que f(p) = q e f isotpica aplicao identidade.
Demonstrao. Cf. [3, pg. 142].
Usando os lemas anteriores, podemos agora provar o resultado central
dessa seo.
Teorema 2.8.9. Seja f : M N uma aplicao diferencivel entre super-
fcies de mesma dimenso, onde M fechada e N conexa. Se y, z N
so valores regulares para f, ento
#f
1
(y) #f
1
(z) mod 2.
Essa classe comum, denotada por deg
2
f, depende somente da classe de ho-
motopia de f.
Demonstrao. Dados dois valores regulares y, z N para f, segue do Lema
2.8.8 que existe um difeomorsmo h : N N tal que h(y) = z e h isotpico
aplicao identidade id : N N. Como h difeomorsmo, z tambm
valor regular para h f. Alm disso, como f f e h id, segue da
Proposio 2.8.5 que h f homotpica a f. Assim, segue do Lema 2.8.6
que
#(h f)
1
(z) #f
1
(z) mod 2.
Como
(h f)
1
(z) = f
1
(h
1
(z)) = f
1
(y),
temos #(h f)
1
(z) = #f
1
(y). Portanto,
#f
1
(y) #f
1
(z) mod 2.
Suponha agora que f homotpica a uma aplicao diferencivel g : M N.
Pelo Teorema de Sard, existe y N que valor regular para f e g. A
congruncia
deg
2
f #f
1
(y) #g
1
(y) deg
2
g mod 2
mostra que deg
2
f um invariante homotpico, e isso completa a demons-
trao.
Observao 2.8.10. Calcular o grau mdulo 2 de uma aplicao diferen-
civel f simples: escolha um valor regular arbitrrio y para f e conte os
pontos da pr-imagem f
1
(y). Assim, deg
2
f #f
1
(y) mod 2.
56
Exemplo 2.8.11. Considere a aplicao diferencivel f : S
1
S
1
denida
por f(z) = z
n
, com n 0. Para cada z S
1
, temos
df(z) v = nz
n1
v
para todo v T
z
S
1
. Assim, df(z) = 0 se, e somente se, z = 0. Disso decorre
que todo ponto z S
1
ponto regular para f. Como a equao f(z) = w
admite n solues distintas, concluimos que deg
2
f 0 mod 2, se n par,
e deg
2
f 1 mod 2, se n mpar.
Vejamos algumas aplicaes simples da invarincia homotpica do grau
mod 2.
Exemplo 2.8.12. Uma aplicao constante f : M M tem sempre grau
mod 2 par. A aplicao identidade id : M M, no entanto, tem grau mod
2 mpar. Assim, a aplicao identidade de uma superfcie fechada M no
pode ser homotpica a uma aplicao constante.
Exemplo 2.8.13. O Exemplo 2.8.12 pode ser usado para mostrar a no-
retrao da esfera S
n1
D
n
, ou seja, no existe uma aplicao diferencivel
f : D
n
S
n1
tal que f[
S
n1 = id. De fato, se tal aplicao f existisse,
obteramos uma homotopia F : S
n1
[0, 1] S
n1
, dada por
F(x, t) = f(tx),
entre uma aplicao constante e a aplicao identidade de S
n1
.
Exerccios
1. Se f : S
n
S
n
uma aplicao diferencivel sem pontos xos, mostre
que f homotpica aplicao antpoda A : S
n
S
n
.
2. Se f : S
n
S
n
uma aplicao diferencivel tal que f(p) ,= p para
todo p S
n
, mostre que f homotpica aplicao identidade de S
n
.
3. Se n mpar, mostre que a aplicao antpoda A : S
n
S
n
homotpica
aplicao identidade de S
n
.
4. Seja f : M
m
S
n
uma aplicao diferencivel que no sobrejetora.
Mostre que f homotpica a uma aplicao constante.
57
Captulo 3
Superfcies Orientveis
3.1 Orientao em espaos vetoriais
Nesta seo introdutria falaremos sobre orientao em espaos vetoriais,
que ser fundamental ao discutirmos orientao em superfcies.
Seja E um espao vetorial real de dimenso n. Dados duas bases
c = e
1
, . . . , e
n
e T = f
1
, . . . , f
n
em E, denotemos por A = (a
ij
) a
nica matriz real n n inversvel tal que
f
j
=
n

i=1
a
ij
e
i
,
para todo 1 j n. A matriz A chama-se a matriz de passagem da base c
para a base T.
Denio 3.1.1. Dizemos que as bases c e T denem a mesma orientao
em E se det A > 0 e, neste caso, escrevemos c T.
Esta propriedade dene uma relao de equivalncia no conjunto de todas
as bases de E. Cada classe de equivalncia, segundo esta relao, chama-se
uma orientao no espao vetorial E.
Dado uma orientao O em E, xemos uma base c O. Se as matrizes
de passagem de c para as bases T e ( so A e B, respectivamente, ento a
matriz de passagem de T para ( BA
1
. Se det A < 0 e det B < 0 ento
det(BA
1
) > 0. Ou seja, se T e ( no pertencem orientao O, ento
T (. Isso mostra que a relao possui duas classes de equivalncia. Em
outras palavras, o espao vetorial E admite duas orientaes.
58
Denio 3.1.2. Um espao vetorial orientado um par (E, O), onde O
uma orientao em E.
Fixada uma orientao O em E, a outra orientao de E ser chamada
a orientao oposta e a denotaremos por O. No espao vetorial orientado
E, as bases pertencentes a O sero chamadas positivas, enquanto as outras
de negativas.
Denio 3.1.3. Um isomorsmo T : E F, entre os espaos vetoriais
orientados E e F, dito positivo se transforma bases positivas de E em bases
positivas de F.
Observe que, para que um isomorsmo T : E F seja positivo, basta
que T transforme uma base positiva de E numa base positiva de F. No
caso contrrio, diremos que T negativo. Se T : E F positivo, ento
T
1
: F E tambm o . Alm disso, se T : E F e S : F G so
positivos, o mesmo ocorre com S T : E G.
Exemplo 3.1.4. O espao Euclidiano R
n
ser considerado orientado pela
exigncia de que sua base cannica seja positiva. Assim, em relao base
cannica de R
n
, um isomorsmo T : R
n
R
n
positivo se, e somente se,
det T > 0.
Observao 3.1.5. Seja T : E F um isomorsmo entre os espaos veto-
riais E e F, e suponha que um deles, digamos E, orientado. A exigncia de
que T seja positivo determina, univocamente, uma orientao no espao F.
Mais precisamente, as bases que denem a orientao em F so as imagens
das bases positivas de E por T.
Exerccios
1. Mostre que a relao dene uma relao de equivalncia no conjunto
de todas as bases de E.
59
3.2 Superfcies orientveis
Nesta seo trataremos de estender a noo de orientabilidade, vista
na seo anterior, a cada espao tangente de uma dada superfcie. Para o
caso de hipersuperfcies, veremos que isso equivalente a fazer uma escolha
consistente de um campo normal global hipersuperfcie.
Dizemos que duas parametrizaes : U (U) e : V (V ) de
uma superfcie M so coerentes se (U) (V ) = ou, se (U) (V ) ,= ,
a matriz Jacobiana J(
1
)(x) tem determinante positivo em todos os
pontos x
1
((U) (V )).
Observao 3.2.1. Se (U) (V ) ,= , a mudana de coordenadas

1
:
1
((U) (V )
1
((U) (V ) tem determinante jaco-
biano diferente de zero em todos os pontos x
1
((U) (V )). Como
det J(
1
)(x) uma funo contnua de x, seu sinal constante em cada
componente conexa do aberto
1
((U) (V ) R
m
.
Um atlas numa superfcie M uma coleo / de parametrizaes cujas
imagens constituem uma cobertura para M. Um atlas / chamado coerente
quando quaisquer duas parametrizaes , / so coerentes. Um atlas
coerente numa superfcie M chama-se maximal se no est contido propria-
mente em nenhum outro atlas coerente em M.
Note que todo atlas coerente / est contido num nico atlas coerente
maximal. De fato, basta considerar o atlas constitudo de todas as parame-
trizaes de M que so coerentes com todas as parametrizaes de /.
Denio 3.2.2. Uma superfcie M chamada orientvel quando existe nela
pelo menos um atlas coerente. Uma superfcie orientada um par (M, /),
onde M uma superfcie e / um atlas coerente maximal. O atlas /, neste
caso, chamado uma orientao para M. As parametrizaes / so
chamadas positivas.
Assim, uma superfcie orientada uma superfcie orientvel na qual se
fez a escolha de uma orientao /.
Exemplo 3.2.3. O espao Euclidiano R
n
uma superfcie orientvel, pois o
atlas em R
n
determinado pela aplicao identidade coerente. A orientao
denida por este atlas chamada a orientao cannica de R
n
.
Exemplo 3.2.4. Todo subconjunto aberto U de uma superfcie orientvel
M tambm orientvel. De fato, xado um atlas coerente / em M, o
atlas em U denido pelas restries a U das parametrizaes positivas de M
60
tambm um atlas coerente, logo dene uma orientao em U, chamada de
orientao induzida.
Observao 3.2.5. Uma orientao / em uma superfcie M determina uma
orientao O
p
em cada espao tangente T
p
M, da seguinte forma. Dado um
ponto p M, considere uma parametrizao positiva : U (U) de M,
com p = (x), e exigimos que a base d(x) e
1
, . . . , d(x) e
m
T
p
M
pertena a O
p
, ou seja, exigimos que o isomorsmo d(x) : R
m
T
p
M
preserva orientao. Observe que esta orientao independe da escolha da
parametrizao . De fato, se : V (V ) outra parametrizao em /,
com p = (y), temos:
d(y) = d(
1
)(y) = d(x) d(
1
)(y).
O isomorsmo d(
1
)(y) preserva orientao, pois e so coerentes,
e d(x) preserva orientao por hiptese, logo d(y) e
1
, . . . , d(y) e
m

tambm uma base positiva de T

p
M.
Observao 3.2.6. Reciprocamente, suponha que seja dada uma orientao
O
p
em cada espao tangente T
p
M de uma superfcie M de tal modo que,
para cada p M, exista uma parametrizao : U (U) em M, com
p (U), tal que d(x) : R
m
T
(x)
M preserva orientao, para todo
x U. Ento, o atlas / formado por tais parametrizaes um atlas
coerente em M e, portanto, M orientvel. De fato, sejam : U (U)
e : V (V ) parametrizaes em /, com (U) (V ) ,= . Ento, a
mudana de coordenadas

1
:
1
((U) (V ))
1
((U) (V ))
tem determinante jacobiano positivo em todos os pontos do domnio

1
((U) (V )), pois d(
1
)(x) a composta de dois isomorsmos
que preservam orientao.
Denio 3.2.7. Um difeomorsmo local f : M N, entre duas superfcies
orientadas M e N, dito positivo se df(p) : T
p
M T
f(p)
N um isomorsmo
positivo, para todo p M.
Diremos que f negativo quando, para todo p M, o isomorsmo linear
df(p) negativo. Se M desconexa, bem possvel que um difeomorsmo
local f : M N no seja positivo nem negativo. No entanto, veremos que
isso no ocorre quando M conexa.
61
Proposio 3.2.8. Seja f : M N um difeomorsmo local entre duas
superfcies orientadas, M e N. Ento, o conjunto
A = p M : df(p) preserva orientao
um aberto em M.
Demonstrao. Sejam /, B os atlas que denem as orientaes em M e N,
respectivamente. Dado p A, considere parametrizaes : U (U) em
/ e : V (V ) em B, tais que p = (x) e f((U)) (V ). Como
df(p) preserva orientao, o mesmo ocorre com a mudana de coordenadas
d(
1
f )(x). Por continuidade da funo determinante, existe um
aberto W R
m
, com x W U, tal que d(
1
f )(y) preserva
orientao, para todo y W. Portanto, df(q) preserva orientao para
todo q (W) (U). Isso mostra que (W) um aberto em M tal que
p (W) A, i.e., A aberto.
Observao 3.2.9. Segue de forma inteiramente anloga que o conjunto
B = p M : df(p) inverte orientao
tambm um aberto em M.
Corolrio 3.2.10. Se M conexa, ento ou f preserva orientao ou inverte
orientao.
Corolrio 3.2.11. Suponhamos que em uma superfcie M existam parame-
trizaes : U (U) e : V (V ) tais que em dois pontos distintos de

1
((U) (V )) a mudana de coordenadas
1
tenha determinante,
nestes dois pontos, com sinais contrrios. Ento, M no orientvel.
Observe que, nas condies do Corolrio 3.2.11, a interseo (U)(V )
necessariamente desconexa.
Denio 3.2.12. Um campo normal a uma superfcie M uma aplicao
: M R
n
tal que, para todo p M, o vetor (p) ortogonal ao subespao
T
p
M.
Os conceitos de continuidade e diferenciabilidade se aplicam natural-
mente a campos normais.
Proposio 3.2.13. Seja M
m
R
n
uma superfcie e suponha que existam
nm campos normais contnuos
1
, . . . ,
nm
: M R
n
que so linearmente
independentes. Ento, M orientvel.
62
Demonstrao. Para cada ponto p M, denimos uma orientao em T
p
M
do seguinte modo: uma base v
1
, . . . , v
m
de T
p
M positiva se, e somente
se,
v
1
, . . . , v
m
,
1
(p), . . . ,
nm
(p)
uma base positiva de R
n
. Dado uma parametrizao : U (U) em
M, com p (U) e U conexo, trocando o sinal de (basta, por exemplo,
compor com um isomorsmo de R
m
que inverte orientao), caso necessrio,
podemos supor que
d(x) e
1
, . . . , d(x) e
m
,
1
((x)), . . . ,
nm
((x))
seja uma base positiva de R
n
, para todo x U. Portanto, para cada p M,
podemos escolher uma parametrizao : U (U) em M, com p (U),
tal que d(x) : R
m
T
(x)
M seja um isomorsmo que preserva orientao,
para todo x U. Logo, pela Observao 3.2.6, segue que M orientvel.
No caso de hipersuperfcies em R
n
, vale a recproca da Proposio 3.2.13.
Teorema 3.2.14. Uma hipersuperfcie M R
n+1
orientvel se, e somente
se, existe um campo contnuo no-nulo : M R
n+1
, normal a M.
Demonstrao. A condio suciente segue da Proposio 3.2.13, observando
que o campo determina, em cada ponto p M, uma base (p) de T
p
M

.
Reciprocamente, se M orientvel, denimos um campo normal (unitrio)
: M R
n+1
do seguinte modo. Dado um ponto p M, considere uma
parametrizao positiva : U (U) de M, com p = (x). Considere o
nico vetor unitrio (p) = ((x)) tal que a base
d(x) e
1
, . . . , d(x) e
n
, ((x)) (3.1)
seja positiva em R
n+1
, i.e., a matriz A

(x) cujas n + 1 colunas so os ve-

tores a indicados tem determinante positivo. Essa denio no depende
da escolha da parametrizao positiva . De fato, se : V (V ) ou-
tra parametrizao positiva de M, com p = (y), ento a matriz A

(y),
considerada como em (3.1), tal que A

(x) = A

(y) A, onde
A =
_
J(
1
) 0
0 I
_
.
Como e so coerentes, temos det J(
1
) > 0, logo det A > 0. Assim,
det A

(x) > 0 se, e somente se, det A

(y) > 0. Resta mostrar que o campo

contnuo. Para isso, dado p M, seja V uma vizinhana coordenada
63
conexa de p em M que a imagem inversa f
1
(c) de um valor regular. Assim,
em V , est denido um campo normal unitrio contnuo : V R
n+1
dado
por (p) = gradf(p)/|gradf(p)|. Se : U (U) uma parametrizao
positiva de M, com U conexo, ou se tem
det
_
d(x) e
1
, . . . , d(x) e
n
, ((x))
_
> 0
para todo x U, ou esse determinante negativo em todos os pontos de U.
No primeiro caso, temos (p) = (p) para todo p = (x) V e, no segundo
caso, temos (p) = (p) para todo p = (x). Em qualquer caso,
contnuo em V . Como as vizinhanas coordendas V realizam uma cobertura
para M, concluimos que globalmente contnuo.
Exemplo 3.2.15. Um exemplo simples de superfcie orientvel a esfera
S
n
R
n+1
. Basta considerar o campo posio : S
n
R
n+1
dado por
(p) = p. O campo contnuo e, pelo Exerccio 2.2.1, normal a S
n
.
Uma aplicao simples do Teorema 3.2.14 analisar a orientabilidade da
esfera atravs da aplicao antpoda.
Exemplo 3.2.16. Consideremos a aplicao antpoda A : S
n
S
n
, dada
por A(p) = p para todo p S
n
. A orientao de S
n
, denida pelo campo
posio (p) = p, de acordo com o Teorema 3.2.14, faz com que uma base
v
1
, . . . , v
n
de T
p
S
n
seja positiva se, e somente se, v
1
, . . . , v
n
, p uma
base positiva de R
n+1
, ou seja, se, e somente se det(v
1
, . . . , v
n
, p) > 0, onde
(v
1
, . . . , v
n
, p) a matriz (n + 1) (n + 1) cujas colunas esto a indicadas.
Portanto, escolhida uma base positiva v
1
, . . . , v
n
de T
p
S
n
, o isomorsmo
dA(p) = id preserva orientao se, e somente se,
det(v
1
, . . . , v
n
, p) = (1)
n+1
det(v
1
, . . . , v
n
, p) > 0,
ou seja, se, e somente se, n mpar. Portanto, a aplicao antpoda A
preserva a orientao de S
n
quando n mpar e inverte quando n par.
Observao 3.2.17. Gostaramos de observar, sem demonstrao, que toda
hipersuperfcie compacta M
n
R
n+1
orientvel. O leitor interessado em
maiores detalhes pode consultar o livro [13, p. 433].
Exerccios
1. Mostre que o produto MN de duas superfcies orientvel se, e somente
se, cada uma das superfcies M e N orientvel.
64
2. Prove que numa superfcie orientvel conexa existem, exatamente, duas
possveis orientaes.
3. Dado uma funo diferencivel f : U R, denida no aberto U R
n
,
o gradiente de f no ponto x U, denotado por gradf(x), o vetor em R
n
denido por
gradf(x), v = df(x) v,
para todo v R
n
. Se c R valor regular para f, prove que gradf(p)
ortogonal a T
p
M, para todo p M = f
1
(c).
4. Sejam f : R
m
R
n
uma aplicao diferencivel e c R
n
um valor regular
para f. Prove que M = f
1
(c) uma superfcie orientvel.
5. Seja f : M N um difeomorsmo local. Prove que se N uma superfcie
orientvel ento o mesmo vale para M.
6. Considere a aplicao f : S
n
R R
n+1
denida por f(x, t) = e
t
x.
Prove que f um difeomorsmo do cilindro S
n
R sobre o aberto R
n+1
0
de R
n+1
, e conclua da que S
n
orientvel.
7. Considere uma superfcie M que admite um atlas formado por duas pa-
rametrizaes : U (U) e : V (V ), com (U) (V ) conexo.
Mostre que M orientvel. Conclua, em particular, que a esfera S
n
uma
superfcie orientvel.
8. Seja M M(2 3) o subconjunto das matrizes de ordem 2 3, cujo
posto igual a 1. Mostre que M uma superfcie no-orientvel em R
6
.
9. Prove que qualquer difeomorsmo f : R
n
R
n
, que preserva orientao,
isotpico aplicao identidade.
65
3.3 Superfcies com fronteira
Nesta seo ampliaremos o conceito de superfcie, de modo a incluir, por
exemplo, as bolas fechadas de R
m
. O ponto de partida admitir que as
parametrizaes sejam denidas no apenas em abertos de R
m
mas tambm
em abertos de semi-espaos.
Um semi-espao em R
m
um conjunto do tipo
H = x R
m
: (x) 0,
onde : R
m
R um funcional linear no-nulo. A fronteira de H, denotada
por H, denida como sendo o hiperplano
H = x R
m
: (x) = 0.
Assim, H um subespao vetorial de dimenso m 1 em R
m
. O semi-
espao H unio disjunta H = int(H) H do seu interior em R
m
com a
sua fronteira. Os subconjuntos abertos A H so de dois tipos:
(i) A int(H);
(ii) A H ,= .
No primeiro caso, A tambm aberto em R
m
enquanto que no segundo caso
A no aberto em R
m
, pois nenhuma bola aberta com centro num ponto
x H pode estar contida em H.
A fronteira de um subconjunto aberto A H , por denio, o conjunto
A = A H. Observemos que A uma hipersuperfcie em R
m
. De fato,
como A aberto em H, temos A = U H, com U R
m
aberto. Ento,
U H = U (H H) = (U H) H = A H = A,
logo A um subconjunto aberto da hipersuperfcie H.
Observao 3.3.1. Lembremos que uma aplicao f : X R
n
, denida
num subconjunto X R
m
, dita diferencivel quando a restrio de uma
aplicao diferencivel F : U R
n
, denida num aberto U R
m
. Em geral,
a diferencial de uma aplicao diferencivel f : X R
n
num ponto x X
no est bem denida, pois as possveis extenses de f em vizinhanas de X
podem ter diferentes diferenciais no ponto x. Queremos apenas mencionar
aqui que, se A H aberto no semi-espao H R
m
e f : A R
n

diferencivel ento, para cada x A, a diferencial df(x) : R

m
R
n
est
bem denida.
66
A fronteira de um subconjunto aberto A H invariante por difeomor-
smos.
Proposio 3.3.2. Sejam A H e B K subconjuntos abertos em semi-
espaos de R
m
, e f : A B um difeomorsmo. Ento f(A) = B. Em
particular, f[
A
um difeomorsmo entre as hipersuperfcies A e B.
Demonstrao. Dado um ponto x int(A), considere um aberto U R
m
tal
que x U A. Restrito a U, f um difeomorsmo sobre sua imagem f(U),
que aberto em R
m
pelo teorema da aplicao inversa. Como f(U) B,
segue-se que f(x) int(B). Isso signica que f(int(A)) int(B), logo
f
1
(B) A. Analogamente se mostra que f(A) B. Portanto,
f(A) = B.
Denio 3.3.3. Um subconjunto M R
n
chama-se uma superfcie com
fronteira de dimenso m se, para todo ponto p M, existe uma parametri-
zao : U (U) de M, com p = (x), tal que U aberto em algum
semi-espao H de R
m
.
Lema 3.3.4. Sejam : U (U) e : V (V ) parametrizaes de
uma superfcie com fronteira M
m
R
n
, com (U) (V ) ,= . Ento, a
mudana de parametrizao
1
um difeomorsmo.
Demonstrao. Dado um ponto qualquer x
1
((U) (V )), sejam
p = (x) e y =
1
(p). Sabemos que se estende a uma aplicao di-
ferencivel G : Z R
n
, denida num aberto Z R
m
, contendo o ponto y.
Como dG(y) injetora, segue da forma local das imerses que, restringindo
Z se necessrio, G um homeomorsmo de Z sobre sua imagem e o homeo-
morsmo inverso a restrio a G(Z) de uma aplicao diferencivel F num
aberto de R
n
. Assim, pondo A =
1
(G(Z)), segue que A um aberto num
semi-espao de R
n
, contendo o ponto x. Alm disso, (
1
)[
A
= (F )[
A

diferencivel. Assim,
1
diferencivel numa vizinhana de cada ponto
x
1
((U)(V )), implicando que
1
diferencivel. Analogamente
se prova que
1
diferencivel.
Denio 3.3.5. Seja M uma superfcie com fronteira. A fronteira de M,
denotada por M, o conjunto formado pelos pontos p M tais que,
para toda parametrizao : U (U) de M, com p = (x) tem-se,
necessariamente, x U.
Observe que, pela Proposio 3.3.2, juntamente com o Lema 3.3.4, dado
p M, basta que exista uma parametrizao : U (U) de M, com
p = (x) e x U, para que se tenha p M.
67
Observao 3.3.6. Se M uma superfcie com fronteira de dimenso m,
sua fronteira M uma superfcie sem fronteira de dimenso m 1. As
parametrizaes que caracterizam M como superfcie so as restries
fronteira U = U H das parametrizaes : U (U) que tm como
imagem o aberto (U) de M tal que (U) M ,= . Assim, a restrio
[
U
: U ((U)) tem ((U)) = (U) M como imagem e seu
domnio o subconjunto aberto U do espao vetorial H, cuja dimenso
m1.
O teorema seguinte fonte de exemplos de superfcies com fronteira.
Teorema 3.3.7. Sejam M
m
uma superfcie e f : M R uma funo
diferencivel. Se a R valor regular para f ento o conjunto
N = p M : f(p) a
uma superfcie de dimenso m, cuja fronteira dada por N = f
1
(a).
Demonstrao. O conjunto A = p M : f(p) > a aberto em M, pois
a imagem inversa do conjunto aberto (a, +) em R, logo uma superfcie
de dimenso m. Assim, basta parametrizarmos as vizinhanas dos pontos
p N tais que f(p) = a. Dado um tal ponto p, seja : U (U) uma
parametrizao de M tal que p = (x) e x = (x
1
, . . . , x
m
). Como a valor
regular de f e, portanto, valor regular da funo f : U R, podemos
supor que
(f)
xm
(x) > 0. Assim, pela forma local das submerses, existem
um aberto W R
m1
contendo (x
1
, . . . , x
m1
), um intervalo I = (a, a+)
e um difeomorsmo : WI Z sobre um aberto Z U contendo o ponto
x, tais que
f : W I R
tem a forma (f )(z, t) = t. Consideremos em R
m
o semi-espao H,
formado pelos pontos cuja ltima coordenada a. Sejam V = (WI)H
e = ( )[
V
. Ento, : V (V ) uma parametrizao do aberto
((V )) N, com p ((V )).
Considere agora uma aplicao diferencivel f : M
m
N
n
, denida na
superfcie com fronteira M, com m n. O teorema seguinte o resultado
anlogo ao da Proposio 2.5.1, caracterizando a imagem inversa de valor
regular como superfcie com fronteira.
Teorema 3.3.8. Se q N valor regular, tanto para f quanto para sua
restrio f[
M
, ento a imagem inversa f
1
(q) M uma superfcie de
dimenso m n com fronteira. Alm disso, sua fronteira (f
1
(q)) a
interseo f
1
(q) M.
68
Demonstrao. Como superfcie um conceito local, basta considerar o caso
particular de uma aplicao f : H R
n
, com valor regular y R
n
, onde
H = (x
1
, . . . , x
m
) R
m
: x
m
0.
Se x f
1
(y) um ponto interior ento, como no Teorema 2.1.8, f
1
(y)
uma superfcie numa vizinhana de x. Suponha agora que x f
1
(y)
seja um ponto da fronteira de H. Considere uma aplicao diferencivel
g : U R
n
, denida numa vizinhana U de x em R
m
, que coincide com
f em U H. Podemos supor, diminuindo U se necessrio, que g no tem
pontos crticos. Assim, g
1
(y) uma superfcie de dimenso mn em R
m
.
Seja : g
1
(y) R a projeo sobre a ltima coordenada,
(x
1
, . . . , x
m
) = x
m
.
Armamos que 0 R valor regular para . De fato, o espao tangente a
g
1
(y) em um ponto x
1
(0) coincide com o ncleo da diferencial
dg(x) = df(x) : R
m
R
n
.
Por hiptese, x ponto regular para f[
H
. Isso implica que este ncleo
um subespao prprio de R
m1
0. Assim, segue do Teorema 3.3.7, que
o conjunto
g
1
(y) H = f
1
(y) U,
constitudo de todos os pontos x g
1
(y) tais que (x) 0, uma superfcie
de dimenso mn, cuja fronteira dada por
1
(0).
Seja M
m
R
n
uma superfcie com fronteira. Da mesma forma como no
caso M = , temos aqui o espao tangente denido em cada ponto p M.
Mais precisamente, dado um ponto p M, considere uma parametrizao
: U (U) de M, com p = (x). Denimos o espao tangente a M em p,
denotado por T
p
M, como a imagem d(x)(R
m
). Observe que, se p M,
ento U aberto no semi-espao H R
m
, com x =
1
(p) H. A
imagem d(x)(H) = T
p
(M) o espao tangente fronteira M no ponto
p. Temos que T
p
(M) T
p
M um subespao vetorial de dimenso m1.
Observao 3.3.9. A denio de T
p
M faz uso da parametrizao
: U (U), com p = (x). Se : V (V ) outra parametriza-
o de M, com p = (y), ento =
1
um difeomorsmo, com
= , logo d(x) = d(y) d(x). Como d(x) um isomorsmo li-
near, segue que d(x)(R
m
) = d(y)(R
m
). Portanto, o espao tangente T
p
M
independe da parametrizao utilizada para den-lo.
69
Exerccios
1. Sejam A, B H subconjuntos abertos e f : A B um homeomorsmo.
Mostre que f(A) = B.
2. Prove que vale a regra da cadeia para aplicaes diferenciveis, denidas
em abertos de semi-espaos. Conclua da que, se A, B so abertos nos semi-
espaos H R
m
e K R
n
, respectivamente, e f : A B um aplicao
diferencivel, que possui uma inversa tambm diferencivel, ento a diferen-
cial df(x) : R
m
R
n
um isomorsmo, para todo x R
m
. Em particular,
tem-se m = n.
3. Mostre que a bola fechada unitria B
n
= x R
n
: |x| 1 uma
superfcie com fronteira n-dimensional, cuja fronteira a esfera S
n1
.
4. Considere a funo f : R
3
R dada por f(x, y, z) = (x
2
+y
2
1)
2
+z
2
.
Mostre que todo nmero real diferente de zero valor regular para f e que,
se 0 < c < 1, o conjunto M = (x, y, z) R
3
: f(x, y, z) c um toro
slido, i.e., uma superfcie compacta tridimensional, cuja fronteira um
toro bidimensional.
70
3.4 Orientao em superfcies com fronteira
Nesta seo ampliaremos o conceito de orientabilidade para superfcies
com fronteira. A m de somente simplicar a notao, consideremos o semi-
espao
H = (x
1
, . . . , x
m
) R
m
: x
1
0.
Denio 3.4.1. Dizemos que um vetor v R
m
aponta para fora do semi-
espao H R
m
se v , H, i.e., se v = (v
1
, . . . , v
m
) ento v
1
> 0.
Este conceito invariante por difeomorsmos.
Lema 3.4.2. Seja f : A B um difeomorsmo entre abertos A e B do
semi-espao H R
m
. Se um vetor v R
m
aponta para fora de H ento,
para cada x A, o vetor df(x) v tambm aponta para fora de H.
Demonstrao. Pela Proposio 3.3.2, f transforma difeomorcamente A
sobre B. Assim, para cada x A, a diferencial df(x) transforma H
sobre si mesmo. Assim, dado w = (w
1
, . . . , w
m
) R
m
, tem-se df
1
(x) w = 0
se, e somente se, w
1
= 0, onde f = (f
1
, . . . , f
m
). Como v aponta para
fora de H, i.e., v
1
> 0, basta mostrarmos que df
1
(x) v 0. Se t < 0
ento x + tv H, logo para t < 0 sucientemente prximo de zero, temos
x + tv int(A), logo f(x + tv) int(B), i.e., f
1
(x + tv) < 0. Para tais
valores de t, temos
f
1
(x +tv) f
1
(x)
t
=
f
1
(x +tv)
t
> 0.
Tomando o limite quando t 0

, obtemos df
1
(x) v 0.
Denio 3.4.3. Considere uma superfcie com fronteira M
m
R
n
. Dado
um ponto p M, dizemos que um vetor v T
p
M aponta para fora de M
se existe uma parametrizao : U (U) de M, com U aberto no semi-
espao H R
m
, tal que p = (x) e v = d(x) w, onde w R
m
aponta
para fora de H.
Seja : V (V ) outra parametrizao de M, denida no aberto
V H, comp = (y) e v = d(y)u. Assim, escrevendo u = d(
1
)(x)v,
segue do Lema 3.4.2 que o vetor u tambm aponta para fora de H, pois v
aponta para fora de H. Assim, a Denio 3.4.3 independe da escolha da
parametrizao.
Denio 3.4.4. Dizemos que uma superfcie com fronteira M orientvel
se M admite um atlas coerente.
71
Mostraremos agora que se M orientvel ento sua fronteira M tambm
orientvel.
Teorema 3.4.5. Se M
m
R
n
uma superfcie com fronteira orientvel,
ento sua fronteira M tambm orientvel.
Demonstrao. Seja / o conjunto das parametrizaes : U (U) em
M com as seguintes propriedades:
(a) U conexo;
(b) U aberto no semi-espao H R
m
;
(c) positiva em relao orientao de M.
O conjunto /, acima caracterizado, um atlas em M. De fato, dado uma pa-
rametrizao : U (U), cumprindo (a) e (b), se no for positiva, consi-
deremos o isomorsmo T : R
m
R
m
, T(x
1
, . . . , x
m
) = (x
1
, . . . , x
m1
, x
m
);
assim, = T :

U (U), onde

U = T
1
(U), uma parametrizao
cumprindo (a), (b) e (c), o que mostra que / um atlas em M. Denotemos
agora por

/ o conjunto das restries = [
U
, das parametrizaes /
tais que U = U H ,= . Por construo,

/ um atlas em M. Arma-
mos que

/ um atlas coerente em M. De fato, sejam : U ((U))
e

: V ((V )) parametrizaes em

/, com ((U)) ((V )) ,= .
A mudana de coordenadas

=

1
a restrio do difeomorsmo
=
1
fronteira do seu domnio. Como o atlas / coerente, temos
det(d(x)) > 0 para todo x
1
((U)(V )). Alm disso, como
1

um difeomorsmo, segue da Proposio 3.3.2 que d(
1
)(x)(H) = H.
Decorre, em particular, que d(
1
)(x) e
i
= (0, a
2i
, . . . , a
mi
) para todo
2 i m. Finalmente, como e
1
= (1, 0, . . . , 0) aponta para fora de H,
segue do Lema 3.4.2 que d(
1
)(x) e
1
= (a
11
, . . . , a
m1
) tambm aponta
para fora de H, i.e., a
11
> 0. Assim, a matriz de d(
1
)(x) tem a forma
d(
1
)(x) =
_
_
_
_
_
a
11
0 . . . 0
a
21
a
22
. . . a
2m
.
.
.
.
.
.
.
.
.
a
m1
a
m2
. . . a
mm
_
_
_
_
_
com a
11
> 0. Segue ento que det(d(
1
)(x)) = a
11
det(d

(x)), logo
det(d

(x)) > 0 e, portanto,

/ coerente. A orientao denida pelo atlas

/ em M chamada orientao induzida pela orientao de /.

72
Em relao orientao induzida emM por M, uma base v
1
, . . . , v
n1

de T
p
(M) positiva se, e somente se, para qualquer vetor v T
p
M, que
aponte para fora de M, v, v
1
, . . . , v
n1
uma base positiva de T
p
M. Em
particular, se v(p) T
p
M o vetor unitrio, tangente a M e normal a M
no ponto p, que aponta para fora de M, ento v
1
, . . . , v
n1
T
p
(M)
uma base positiva se, e somente se, a base v(p), v
1
, . . . , v
n1
T
p
M
positiva.
Exemplo 3.4.6. O intervalo [0, 1] uma superfcie com fronteira de dimen-
so 1. Mostremos que [0, 1] orientvel. De fato, considere as parametriza-
es : [0, 1) [0, 1) e : (1, 0] (0, 1] dadas por (t) = t e (t) = t+1.
O domnio de um aberto da semi-reta [0, +), que um semi-espao de
R, e o domnio de um aberto do semi-espao (, 0] R. A mudana
de coordenadas
1
: (0, 1) (1, 0) dada por (
1
)(t) = t 1,
cuja derivada igual a 1 em todos os pontos. Portanto, / = , um
atlas coerente, que dene a orientao natural de [0, 1].
Observao 3.4.7. A denio de orientao induzida na fronteira para
superfcies M
n
, com n 2, no se adapta para o caso de dimenso 1.
Quando n = 1, tem-se dimM = 0, i.e., M um conjunto de pontos
isolados. Orientar uma superfcie de dimenso zero , por denio, atribuir
um sinal, + ou , a cada um de seus pontos. Se n = 1 e M est orientada, a
orientao induzida no ponto p M ser +p se cada vetor que forma uma
base positiva de T
p
M apontar para fora de M, e ser p caso contrrio.
Vejamos o seguinte exemplo.
Exemplo 3.4.8. Orientemos o intervalo fechado M = [0, 1] por meio do
atlas /, dado no Exemplo 3.4.6. Neste caso, temos M = 0, 1. No ponto
p = 1, uma base positiva para o espao tangente a M gerada pelo vetor
e
1
, igual a 1, e neste caso, e
1
aponta para fora de M. Assim, ao ponto p = 1
atribuimos o sinal +. No ponto p = 0, uma base positiva para T
p
M tambm
gerada pelo vetor e
1
, que neste caso aponta para dentro de M. Assim,
ao ponto p = 0 atribuimos o sinal . Portanto, a orientao induzida na
fronteira M = 0, 1 atribui o sinal + ao ponto 1 e o sinal ao ponto 0, e
escrevemos, neste caso, [0, 1] = 0 +1.
Se M e N so duas superfcies orientadas, com orientaes / e B, respec-
tivamente, ento o produto MN uma superfcie orientvel (cf. Exerccio
3.2.1). As parametrizaes , onde / e B, constituem um atlas
coerente, que dene em M N a orientao produto. De forma mais pre-
cisa, a orientao do espao tangente a MN no ponto (p, q) determinada
73
pela exigncia de que v
1
, . . . , v
m
, w
1
, . . . , w
n
seja uma base positiva, onde
v
1
, . . . , v
m
e w
1
, . . . , w
n
so bases positivas de T
p
M e T
q
N, respectiva-
mente. No caso em que M e N possuem fronteira, o produto M N no
uma superfcie com fronteira. Por exemplo, o quadrado [0, 1] [0, 1] no
uma superfcie, pois possui quatro singularidades.
Se apenas uma delas, digamos M, tiver fronteira, o produto M N
uma superfcie com fronteira e (MN) = MN. Basta observar que se
: U (U) e : V (V ) so parametrizaes para M e N, respecti-
vamente, com U aberto no semi-espao H R
m
e V aberto em R
n
, ento
UV um aberto no semi-espao HR
n
R
m+n
, com (UV ) = UV .
Alm disso, se M e N so orientveis, o produto M N uma superfcie
com fronteira orientvel, e a orientao produto denida, como no caso em
que M = N = , pelo atlas T constitudo das parametrizaes ,
onde / e B.
Vejamos a seguinte situao particular.
Exemplo 3.4.9. Considere o produto M [0, 1], onde M uma superfcie
sem fronteira orientada. Consideremos o intervalo [0, 1] orientado como na
Observao 3.4.7. Temos (M [0, 1]) = M
0
M
1
, onde M
0
= M 0 e
M
1
= M1. Consideremos em M
0
e M
1
, respectivamente, as orientaes
segundo as quais os difeomorsmos cannicos f
0
: M M
0
e f
1
: M M
1
,
dados por f
0
(p) = (p, 0) e f
1
(p) = (p, 1), so positivos. Armamos que a
orientao induzida na fronteira (M [0, 1]) = M
0
M
1
, pela orientao
produto de M [0, 1], coincide com a de M
1
, e a oposta a de M
0
. De fato,
em cada ponto (p, t) M [0, 1], uma base positiva de
T
(p,t)
(M [0, 1]) = T
p
M R,
relativo orientao produto, tem a forma v
1
, . . . , v
n
, e
1
, onde v
1
, . . . , v
n

uma base positiva de T

p
M na orientao de M, e e
1
o vetor da base
cannica de R, igual a 1. No ponto t = 1, o vetor e
1
aponta para fora de
[0, 1], logo e
1
T
(p,1)
(M [0, 1]) aponta para fora de M [0, 1] no ponto
(p, 1). Como v
1
, . . . , v
n
, e
1
uma base positiva de T
(p,1)
(M [0, 1]), segue
que v
1
, . . . , v
n
uma base positiva na orientao induzida em (M[0, 1])
no ponto (p, 1), ou seja, em M
1
. Por outro lado, e
1
aponta para dentro de
[0, 1] no ponto t = 0 e, assim, segue que a mesma base v
1
, . . . , v
n
negativa
no ponto (p, 0) M
0
.
74
3.5 O teorema do ponto xo de Brouwer
O teorema de Brouwer estabelece que qualquer aplicao contnua do
disco fechado unitrio D
n
R
n
sobre si mesmo tem, pelo menos, um ponto
xo. O teorema usualmente provado usando tcnicas de topologia alg-
brica. A demonstrao que apresentaremos aqui faz uso apenas dos re-
sultados das sees anteriores e de uma consequncia da classicao das
superfcies unidimensionais.
A menos de difeomorsmos, as nicas superfcies compactas, conexas,
unidimensionais so o intervalo fechado e o crculo. O leitor interessado na
demonstrao desse resultado pode consultar os livros [7] ou [3].
Teorema 3.5.1. Qualquer superfcie compacta, conexa, unidimensional
difeomorfa ao intervalo fechado [0, 1] ou ao crculo S
1
.
Como toda superfcie compacta unidimensional a unio disjunta nita
de suas componentes conexas, temos o seguinte corolrio:
Corolrio 3.5.2. A cardinalidade da fronteira de qualquer superfcie com-
pacta unidimensional com fronteira par.
Uma consequncia do Corolrio 3.5.2 a seguinte
Proposio 3.5.3. Seja M uma superfcie compacta com fronteira. Ento,
no existe aplicao diferencivel f : M M tal que f[
M
: M M
seja a aplicao identidade.
Demonstrao. Suponha que exista uma tal aplicao f e seja q M um
valor regular para f (tal ponto existe pelo Teorema de Sard). Ento f
1
(q)
uma superfcie compacta unidimensional com fronteira. Como f[
M
a
identidade, temos
(f
1
(q)) = f
1
(q) M = q,
contradizendo o Corolrio 3.5.2.
Exemplo 3.5.4. Uma situao particular da Proposio 3.5.3 pode ser vista
considerando-se o disco unitrio D
n
, que uma superfcie compacta, cuja
fronteira a esfera S
n1
. Assim, segue da Proposio 3.5.3 que a aplica-
o identidade id : S
n1
S
n1
no pode ser estendida a uma aplicao
diferencivel f : D
n
S
n1
.
Podemos agora enunciar e provar o Teorema de Brouwer.
75
Teorema 3.5.5 (Verso diferencivel). Qualquer aplicao diferencivel
f : D
n
D
n
tem, pelo menos, um ponto xo.
Demonstrao. Suponha que f no tenha ponto xo. Dado um ponto
x D
n
, como f(x) ,= x, os pontos x e f(x) determinam uma reta. Denote-
mos por g(x) S
n1
o ponto onde a semi-reta, iniciando em f(x) e passando
por x, intercepta S
n1
. Obtemos, assim, uma aplicao g : D
n
S
n1
tal
que g[
S
n1 = id. Resta mostrar que g diferencivel, obtendo assim uma
contradio com a Proposio 3.5.3. Como x pertence ao segmento deter-
minado por f(x) e g(x), podemos escrever o vetor g(x) f(x) como um
mltiplo t do vetor x f(x), onde t 1. Assim,
g(x) = tx + (1 t)f(x).
Resta mostrar que t depende diferenciavelmente de x. Para isso, tome o
produto interno em ambos os lados da frmula acima, obtendo
t
2
|x f(x)|
2
+ 2tf(x)
_
x f(x)
_
+|f(x)|
2
1 = 0.
A expresso acima uma equao quadrtica, com uma nica raiz positiva;
a outra raiz com t 0 corresponde ao ponto onde a semi-reta iniciando em
x, passando por f(x), intercepta S
n1
. Isolando t, obtemos uma expresso
para t em termos de funes diferenciveis de x.
A verso contnua do teorema de Brouwer consiste em reduzir o problema
ao caso diferencivel, aproximando a aplicao contnua f : D
n
D
n
por
uma aplicao diferencivel.
Teorema 3.5.6 (Verso contnua). Toda aplicao contnua f : D
n
D
n
tem, pelo menos, um ponto xo.
Demonstrao. Dado > 0 existe, pelo teorema de aproximao de Weiers-
trass (cf. [2, Theorem 7.4.1]), uma aplicao polinomial P
1
: R
n
R
n
tal
que
|P
1
(x) f(x)| <
para todo x D
n
. Entretanto, P
1
pode transformar pontos do disco D
n
em
pontos fora de D
n
. A m de corrigir, considere
P(x) =
1
1 +
P
1
(x).
A aplicao P transforma D
n
sobre D
n
e satisfaz |P(x) f(x)| < 2 para
todo x D
n
. Suponha ento que f(x) ,= x para todo x D
n
. Ento,
76
a funo contnua g(x) = |f(x) x| admite um mnimo c > 0 em D
n
.
Escolhendo P como acima, com |P(x) f(x)| < c para todo x D
n
, temos
P(x) ,= x para todo x D
n
. Assim, P uma aplicao diferencivel do
disco D
n
sobre D
n
sem pontos xos, contradizendo o Teorema 3.5.5.
Exerccios
1. Mostre que o Teorema de Brouwer falso para o disco aberto
B
n
= x R
n
: |x| < 1.
2 (Teorema de Frobenius). Se as entradas a
ij
de uma matriz A M(n) so
tais que a
ij
0 para todo 1 i, j n, mostre que A admite um autovalor
no-negativo.
77
3.6 O grau de uma aplicao
Considere duas superfcies orientadas M e N, de mesma dimenso, e
f : M N uma aplicao diferencivel. Se M compacta, denimos o
grau de f da seguinte forma. Seja p M um ponto regular para f, de modo
que df(p) um isomorsmo linear entre os espaos vetoriais orientados T
p
M
e T
f(p)
N. Denimos o sinal da diferencial df(p), denotado por sign df(p),
como sendo +1, se df(p) preserva orientao, ou sendo 1, se df(p) inverte
orientao. Dado um valor regular q N para f, denimos
deg(f; q) =

pf
1
(q)
sign df(p).
Armamos que, quando N conexa, o nmero inteiro deg(f; q) no depende
da escolha do valor regular q, e sim da classe de homotopia de f. Este inteiro
ser chamado o grau da aplicao f, e ser denotado por deg f. A m de
provar a armao, consideremos alguns resultados preliminares.
Proposio 3.6.1. O inteiro deg(f; q) uma funo localmente constante
quando q percorre os valores regulares de f.
Demonstrao. A demonstrao essencialmente a mesma do Lema 2.5.3.
Seja f
1
(q) = p
1
, . . . , p
k
. Pelo teorema da aplicao inversa, existem aber-
tos U
1
, . . . , U
k
M, com p
i
U
i
, e que podemos supor dois a dois disjuntos,
que so transformados difeomorcamente por f sobre abertos V
1
, . . . , V
k
em
N, com q V
i
para todo 1 i k. Por outro lado, pela Proposio 3.2.8,
o conjunto dos pontos p M tais que df(p) preserva (inverte) orientao
aberto em M. Assim, se o ponto p
i
tal que df(p
i
) preserva (inverte)
orientao, podemos supor, diminuindo o aberto U
i
se necessrio, que df(p)
preserva (inverte) orientao para todo p U
i
. Considere ento o subcon-
junto
V =
_
V
1
. . . V
k
_
f
_
M U
1
. . . U
k

_
de N, com q V . Para cada y V , temos deg(f; y) = deg(f; q).
Consideremos agora a situao em que a superfcie M a fronteira de
uma superfcie compacta orientada X, no qual M est munida da orientao
induzida de X, conforme o Teorema 3.4.5.
Lema 3.6.2. Se uma aplicao diferencivel f : M N admite uma ex-
tenso diferencivel F : X N, ento deg(f; q) = 0 para todo valor regular
q N.
78
Demonstrao. Suponhamos, inicialmente, que q N seja tambm valor
regular para F. Assim, F
1
(q) uma superfcie compacta de dimenso 1 em
X, constituda de uma unio nita de arcos e crculos; os pontos da fronteira
de F
1
(q) so os pontos da fronteira dos arcos, e esses pertencem fronteira
M = X de X. Seja A F
1
(q) um desses arcos, com A = a b.
Armamos que
sign df(a) + sign df(b) = 0,
logo, somando sobre todos os arcos, obtemos deg(f; q) = 0. As orientaes
de X e N determinam uma orientao no arco A da seguinte forma. Dado
um ponto p A, seja v
1
, . . . , v
n+1
uma base positiva de T
p
X, com v
1
tangente a A em p. Ento, declaramos o vetor v
1
sendo positivo em T
p
A se,
e somente se, dF(p) transforma v
2
, . . . , v
n+1
sobre uma base positiva de
T
q
N. Denotemos por v
1
(p) o nico vetor unitrio, tangente ao arco A no
ponto p, na orientao induzida. Temos que v
1
(p) aponta para fora em um
ponto da fronteira, digamos o ponto b, e aponta para dentro no outro ponto
da fronteira, o ponto a. Segue ento que
sign df(a) = 1 e sign df(b) = +1,
cuja soma zero. Realizando essa soma sobre todos tais arcos A, obtemos
deg(f; q) = 0. Suponha agora que q seja valor regular para f mas no para
F. Pela Proposio 3.6.1, a funo deg(f; q) constante numa vizinhana V
de q em N. Assim, escolhendo um valor regular z para F em V , obtemos
deg(f; q) = deg(f; z) = 0,
pelo caso anterior.
O lema seguinte nos diz que o grau de uma aplicao um invariante
homotpico.
Lema 3.6.3 (Homotopia). Se f, g : M N so duas aplicaes homotpi-
cas, ento deg(f; z) = deg(g; z) para todo valor regular comum z N.
Demonstrao. Seja F : M [0, 1] N uma homotopia entre f e g. A
superfcie produto M [0, 1] pode ser orientada com a orientao produto.
A fronteira de M [0, 1] consiste de M 1 (com a orientao positiva)
e M 0 (com a orientao oposta). Assim, o grau de F[
M[0,1]
em um
valor regular z N igual a diferena
deg(f; z) deg(g; z),
que, de acordo com o Lema 3.6.2, deve ser igual a zero.
79
Finalmente, podemos enunciar e provar o resultado principal desta seo.
Teorema 3.6.4. Seja f : M
n
N
n
uma aplicao diferencivel, com M
fechada e N conexa. Ento o inteiro deg(f; z) no depende da escolha do
valor regular z N, e sim da classe de homotopia de f.
Demonstrao. Dados y, z N dois valores regulares para f, considere um
difeomorsmo positivo h : N N, isotpico aplicao identidade, tal que
h(y) = z. Como f homotpica a h f,
deg(f; z) = deg(h f; z), (3.2)
em virtude do Lema 3.6.3. Por outro lado, como h preserva orientao,
temos:
deg(f; y) =

pf
1
(y)
sign df(p) =

p(hf)
1
(z)
sign d(h f)(p)
=deg(h f; z).
(3.3)
Assim, de (3.2) e (3.3), obtemos que deg(f; y) = deg(f; z).
Vejamos alguns exemplos.
Exemplo 3.6.5. Se f : M N a aplicao constante, ento deg f = 0.
Exemplo 3.6.6. A aplicao identidade id : M M tem sempre grau igual
a 1. Disso decorre, em particular, que um difeomorsmo f : M M que
inverte orientao (cf. Exerccio 1), onde M fechada, no homotpica
aplicao identidade.
Exemplo 3.6.7. Dado 1 i n+1, considere a reexo R
i
: S
n
S
n
em
torno do hiperplano x
i
= 0, i.e.,
R
i
(x
1
, . . . , x
n+1
) = (x
1
, . . . , x
i
, . . . , x
n+1
).
Dados p S
n
e v T
p
S
n
, com v = (v
1
, . . . , v
n+1
) R
n+1
, temos
dR
i
(p) v = (v
1
, . . . , v
i
, . . . , v
n+1
).
No ponto p = (0, . . . , 1, . . . , 0), a base e
1
, . . . , e
i1
, e
i+1
, . . . , e
n
positiva
em T
p
S
n
pois, fazendo v = p, a base e
1
, . . . , e
i1
, v, e
i+1
, . . . , e
n
positiva
em R
n+1
. No entanto, no ponto q = f(p) = (0, . . . , 1, . . . , 0), a mesma
base e
1
, . . . , e
i1
, e
i+1
, . . . , e
n
negativa em T
q
S
n
pois, se v = q, ento
e
1
, . . . , e
i1
, v, e
i+1
, . . . , e
n
base negativa em R
n+1
. Disso decorre que
dR
i
(p) inverte orientao, logo deg R
i
= 1.
80
Exemplo 3.6.8. A aplicao antpoda A : S
n
S
n
pode ser escrita como
composta de n + 1 reexes:
A(p) = p = (R
1
R
2
. . . R
n+1
)(p).
Assim, usando o Exerccio 2, concluimos que deg A = (1)
n+1
. Disso de-
corre, em particular, que se n par a aplicao antpoda no homotpica
aplicao identidade de S
n
.
Uma aplicao dessa teoria um teorema devido a Brouwer, the hairy
ball theorem, armando que todo campo em S
2n
anula-se em algum ponto.
Teorema 3.6.9 (Brouwer). A esfera S
n
admite um campo de vetores tan-
gente no-nulo em todo ponto se, e somente se, n mpar.
Demonstrao. Seja X : S
n
R
n+1
um campo de vetores tangente a S
n
tal
que X(p) ,= 0 para todo p S
n
. Sem perda de generalidade, podemos supor
que X unitrio pois, do contrrio, o campo

X(p) = X(p)/|X(p)| tambm
satisfaz as hipteses. Assim, sendo X unitrio, denimos uma aplicao
F : S
n
[0, ] S
n
pondo
F(p, t) = p cos t +X(p) sin t.
F diferencivel e tem-se que
F(p, 0) = p e F(p, ) = p,
i.e., F uma homotopia entre a aplicao antpoda e a identidade de S
n
. Po-
rm, pelo Exemplo 3.6.8, isso s ocorre quando n mpar. Reciprocamente,
se n = 2k 1, a aplicao X : S
n
R
n+1
, dada por
X(x
1
, . . . , x
2k
) = (x
2
, x
1
, x
4
, x
3
, . . . , x
2k
, x
2k1
)
dene um campo de vetores tangente a S
n
no-nulo em todo ponto.
Exerccios
1. Prove que um difeomorsmo f : M N tem grau +1 ou 1 de acordo
se f preserva ou inverte, respectivamente, orientao.
2. Sejam M, N, P superfcies fechadas, orientadas de dimenso n, e consi-
dere aplicaes diferenciveis f : M N e g : N P . Prove que vale a
relao deg(g f) = deg f deg g.
81
3. Se o grau deg f (resp. deg
2
f) de uma aplicao diferencivel f : M N
no-nulo, prove que f sobrejetora.
4. Calcule o grau da funo f : R R dada por f(x) = x
2
.
5. Calcule o grau da aplicao f : S
1
S
1
dada por f(z) = z
n
, com n Z.
6. Prove que o grau de uma aplicao diferencivel f : S
n
S
n
tal que
f(p) = f(p) mpar.
7. Se m < n, prove que toda aplicao diferencivel f : M
m
S
n
homo-
tpica aplicao constante.
8. Prove que qualquer aplicao diferencivel f : S
n
S
n
com grau dife-
rente de (1)
n+1
deve ter um ponto xo.
82
3.7 Campos vetoriais
Nesta seo iremos somente relembrar as denies bsicas e generalida-
des dos campos vetoriais denidos em superfcies.
Um campo vetorial X, sobre uma superfcie M R
n
, uma aplicao
X : M R
n
que associa a cada ponto p M um vetor X(p) T
p
M. Se
: U (U) uma parametrizao de M, podemos escrever
X(p) =
m

i=1
a
i
(x)

x
i
(p), (3.4)
para todo p = (x) (U). Assim, em cada vizinhana coordenada (U),
o campo X ca determinado por m funes a
i
: U R que do, em todo
ponto x U, as m coordenadas de X(p) relativamente base
_

x
1
(p), . . . ,

x
m
(p)
_
de T
p
M. Diremos que o campo X diferencivel se as funes a
1
, . . . , a
m
,
relativamente parametrizao , so diferenciveis em U. Note que essa
denio independe da parametrizao escolhida. De fato, se : V (V )
outra parametrizao de M, com (U) (V ) ,= , e
X(p) =
m

i=1
b
i
(y)

y
i
(p),
para todo p = (y), segue do Exerccio 2.2.4 que
b
j
=
n

i=1
a
i
y
j
x
i
,
onde y
j
= y
j
(x
1
, . . . , x
n
) so as expresses da mudana de coordenadas entre
as parametrizaes e . O conjunto de todos os campos vetoriais diferen-
civeis, tangentes a M, ser denotado por X(M).
Denio 3.7.1. Uma curva integral de um campo vetorial X X(M)
uma curva diferencivel : I M, denida num intervalo aberto I R,
tal que

(t) = X((t)), para todo t I.

Considere um campo X X(M) e uma parametrizao : U (U)
de M. Se : I M uma curva integral de X, com (I) (U), segue
83
de (3.4) que:

(t) = X((t)) d((t))

1

(t) = d((t))
1
X((t))

d
dt
(
1
)(t) =
m

i=1
(a
1
)(t) e
i
.
Assim, a condio

(t) = X((t)), para todo t I, d a expresso local

d
dt
(
1
i
) = a
i

1
,
para 1 i m, que constitui um sistema de equaes diferenciais ordinrias
de 1
a
ordem. O teorema fundamental de existncia e unicidade para solues
de tais sistemas tem a seguinte consequncia neste contexto:
Teorema 3.7.2. Sejam M uma superfcie e X X(M). Ento, para cada
p M, existe um intervalo aberto I = (a, b) contendo 0 onde est denida
a nica curva integral : I M tal que (0) = p.
Neste caso, dizemos que a curva integral : I M tem origem no ponto
p. Outro resultado bsico sobre equaes diferenciais arma que a soluo
de um sistema depende diferenciavelmente das condies iniciais, ou seja,
denotando por t (p, t) a curva integral de X que tem origem em p, ento
o ponto (p, t) M depende diferenciavelmente de p e t.
Dizemos que um campo vetorial X X(M) completo quando suas
trajetrias esto denidas em toda reta (esse o caso, por exemplo, quando
a superfcie compacta). Nesse caso, obtemos uma aplicao diferencivel
: M R M onde, para cada p M e cada t R, (p, t) o ponto de
parmetro t na curva integral de X que tem origem no ponto p. Fixado um
valor t R, a aplicao dene uma translao
t
: M M ao longo das
curvas integrais, dada por
t
(p) = (p, t), para todo p M.
Proposio 3.7.3. Dado um campo completo X X(M), as translaes

t
: M M, ao longo de suas curvas integrais, so difeomorsmos de M.
Demonstrao. Tem-se, evidentemente, que
0
= id. Armamos que

t+s
=
t

s
,
para quaisquer t, s R. Da segue-se que

s

t
=
t

s
e
t

t
=
t

t
= id,
84
donde
t
um difeomorsmo, cujo inverso
t
. A igualdade
t+s
=
t

s
decorre da unicidade da curva integral que tem origem num ponto. Ela
signica que (p, t +s) = ((p, t), s), i.e., o ponto de parmetro s na curva
integral de origem (p, t) o mesmo que o ponto de parmetro t + s na
curva integral de origem p = (p, 0). A m de provar isso, seja : R M a
curva integral de origem p, (t) = (p, t). Dado t
0
R arbitrrio, denimos
: R M pondo (s) = (t
0
+s). Devemos provar que a curva integral
de origem (t
0
). Temos (0) = (t
0
). Alm disso, para todo s
0
R, temos
d
ds
(s
0
) =
d
dt
(t
0
+s) = X((t
0
+s
0
)) = X((s
0
)).
Pela unicidade, a curva integral de origem (t
0
).
Dessa forma, todo campo completo X X(M) determina um grupo de
difeomorsmos
t
: t R, formado pelas translaes ao longo das curvas
integrais de X. Reciprocamente, dado um grupo a 1-parmetro de difeo-
morsmos
t
: t R de uma superfcie M R
n
, denimos uma aplicao
X : M R
n
pondo
X(p) =
d
dt
(
t
(p))(0),
para todo p M. Isso dene um campo X X(M), que tem
t
: t R
como grupo a 1-parmetro associado.
Exemplo 3.7.4. Em R
2
, considere o campo X = x

x
y

y
. Ento,
(t) = (x(t), y(t)) uma curva integral de X se, e somente se,
dx
dt
= x e
dy
dt
= y.
Assim, devemos ter x(t) = Ae
t
e y(t) = Be
t
, com A, B R. Portanto, a
curva integral maximal de X, passando pelo ponto p = (p
1
, p
2
), dada por

p
(t) = (p
1
e
t
, p
2
e
t
), para todo t R.
Exerccios
1. Considere um campo X X(R
n
) tal que |X(p)| c, para todo p R
n
,
onde c > 0. Prove que X completo.
2. Determine as curvas integrais em R
2
do campo vetorial X = e
x
y
+

x
e verique se o campo completo.
3. Quais curvas integrais do campo X = x
2
x
+y

y
esto denidas em todo
R?
4. Determine as curvas integrais em R
2
do campo vetorial X = x
2
x
+xy

y
.
85
3.8 O ndice de um campo vetorial
Nesta seo estudaremos o ndice de uma singularidade de campos veto-
riais sobre superfcies em termos do grau da aplicao de Gauss associada.
Uma singularidade de um campo vetorial X X(M) um ponto p M
para o qual X(p) = 0. Em uma vizinhana prxima de uma singularidade p
a direo do campo pode mudar radicalmente. Por exemplo, o campo pode
circular em torno de p, ter um comportamento de convergncia, divergncia,
espiral, sela ou, eventualmente, algo mais complicado. Algo interessante,
neste contexto, que a topologia da superfcie inuencia fortemente no com-
portamento do campo. O que faremos a partir de agora investigar a relao
entre um campo vetorial X X(M) e a topologia da superfcie M.
Consideremos inicialmente um campo vetorial X : R
n
R
n
, denido
em R
n
, e suponhamos que x
0
R
n
seja uma singularidade isolada de X.
Escolha um nmero > 0 tal que X(x) ,= 0, para todo 0 < |x x
0
| .
Denotando por S
n1

R
n
a esfera centrada em x
0
e de raio , a aplicao
G : S
n1

S
n1
, dada por
G(x) = X(x)/|X(x)|, (3.5)
est bem denida, e chamada a aplicao de Gauss associada a X em x
0
.
Denio 3.8.1. O ndice do campo X na singularidade isolada x
0
, deno-
tado por ind
x
0
(X), denido como o grau da aplicao de Gauss em (3.5).
Observe que, pela invarincia do grau por homotopia, a denio do
ndice no depende da escolha do raio . Esta denio tem um carter
geomtrico bem simples. Para campos X : R
2
R
2
, o nmero ind
x
0
(X)
simplesmente o nmero de voltas positivas que a aplicao G faz em torno
de S
1
, menos o nmero de voltas negativas.
Observao 3.8.2. No caso de campos X : R
2
R
2
, o sentido de percurso
da aplicao G descrito da seguinte forma. Se a aplicao G percorre
a circunferncia S
1
no sentido anti-horrio, quando o campo X percorre
a circunferncia S
1

no sentido anti-horrio, dizemos que G percorre S

1
no
sentido positivo. Caso contrrio, dizemos que G percorre S
1
no sentido
negativo.
Exemplo 3.8.3. Podemos construir campos vetoriais cujas singularidades
tm ndice prescrito. Por exemplo, o campo X : R
2
R
2
, denido por
X(z) = z
k
, tem uma singularidade isolada na origem, cujo ndice igual a
k. Se denirmos X(z) = z
k
, obtemos um campo com uma singularidade de
ndice k.
86
O ndice, acima denido, invariante por difeomorsmos.
Lema 3.8.4. Dado um difeomorsmo f : R
n
R
n
, considere campos veto-
riais X, Y X(R
n
) que so f-relacionados, ou seja, df(x) X(x) = Y (f(x)),
para todo x R
n
. Se x
0
uma singularidade isolada de X, ento
ind
x
0
(X) = ind
f(x
0
)
(Y ).
Demonstrao. Assumimos, sem perda de generalidade, que x
0
= f(x
0
) = 0.
Se f preserva orientao, segue do Exerccio 2.8.9 que f isotpica aplica-
o identidade. Ou seja, existe uma famlia a 1-parmetro de difeomorsmos
f
t
: R
n
R
n
tais que f
0
= id, f
1
= f e f
t
(0) = 0, para todo t [0, 1]. Para
cada t [0, 1], consideremos o campo vetorial
X
t
= df
t
X f
1
t
.
Como x
0
= 0 uma singularidade isolada do campo X, o mesmo ocorre com
todos os campos X
t
. Em particular, x
0
= 0 uma singularidade isolada
de Y . Alm disso, denotando por G
t
a aplicao de Gauss associada ao
campo X
t
concluimos, em particular, que G
0
e G
1
so homotpicas, i.e., as
aplicaes de Gauss de X e Y so homotpicas. Portanto, essas aplicaes
tm o mesmo grau. Para o caso no-orientvel, basta considerar o caso
especial em que f uma reexo R. Neste caso, os campos X e Y esto
relacionados por
Y = R X R
1
,
de modo que as aplicaes de Gauss associadas a X e Y satisfazem a mesma
relao
G
Y
= R G
X
R
1
.
Disso decorre que G
Y
tem o mesmo grau que G
X
.
Considere agora uma superfcie M e um campo vetorial X X(M) com
uma singularidade isolada p M. Dado uma parametrizao : U (U)
de M, com p = (x), consideremos o campo vetorial

X dado por
(

X)(x) = d(x)
1
X((x)),
para todo x U. O campo

X chamado o pull-back do campo X atravs

da parametrizao .
Denio 3.8.5. O ndice do campo X no ponto p, denotado por ind
p
(X),
denido pondo
ind
p
(X) = ind
x
(

X),
onde

X o pull-back de X atravs de uma parametrizao de M, com

p = (x). Segue do Lema 3.8.4 que tal ndice est bem denido.
87
Dados um campo X X(M) e uma parametrizao : U (U) de
M, escrevamos
X(p) =
m

i=1
a
i
(x)

x
i
(p),
para todo p = (x) (U), onde a
i
: U R so funes diferenciveis.
Calculando a diferencial de X num ponto p = (x), obtemos:
dX(p) =
m

i=1
_
_
m

j=1
a
i
x
j
(x)

x
i
(x) +a
i
(x) d

x
i
(x)
_
_
.
Se p uma singularidade de X, podemos representar a diferencial de X em
p, associada parametrizao , como sendo
dX(p) =
m

i,j=1
a
i
x
j
(x)

x
i
(x),
pois, no ponto x, tem-se a
i
(x) = 0, para todo 1 i m. Ou seja, na
singularidade p = (x), ca associada uma matriz
dX(p) =
_
a
i
x
j
(x)
_
.
Disso decorre, em particular, que a diferencial dX(p) pode ser vista como
uma aplicao de T
p
M em si mesmo.
Denio 3.8.6. Uma singularidade p M de um campo X X(M) diz-se
simples se a diferencial dX(p) : T
p
M T
p
M um isomorsmo.
Observe que, na denio acima, estamos exigindo que det(dX(p)) ,= 0,
em relao a uma parametrizao de M, com (x) = p. Esta denio
independe da parametrizao pois, se outra parametrizao de M, com
(y) = p, ento a nova matriz d

X(p), em relao a , dada por

d

X(p) = d(x) dX(p) (d)

1
(y),
onde a mudana de coordenadas entre e .
Proposio 3.8.7. Seja p M uma singularidade simples de um campo
vetorial X X(M). Ento:
ind
p
(X) =
_
+1, se det(dX(p)) > 0
1, se det(dX(p)) < 0
.
88
Demonstrao. Como o ndice de X uma caracterstica local, basta mos-
trarmos que o resultado vlido quando M = R
n
. Suponhamos, sem perda
de generalidade, que p = 0 R
n
. Assim, X : R
n
R
n
uma aplicao
diferencivel, com X(0) = 0, e a diferencial de X na origem dada por
dX(0) v = lim
t0
X(tv)
t
,
para todo v R
n
. Denimos uma aplicao F : R
n
[0, 1] R
n
pondo
F(v, t) =
_
X(tv)
t
, se t ,= 0
dX(0) v, se t = 0
.
Armamos que F uma homotopia entre os campos dX(0) = F(, 0) e
X = F(, 1). De fato, pondo
X(x) = (f
1
(x), . . . , f
n
(x)),
com x = (x
1
, . . . , x
n
) R
n
, podemos escrever
f
i
(x) =
_
1
0
df
i
(tx)
dt
dt =
n

i=1
x
i
_
1
0
f
x
i
(tx)dt.
Denindo ento
h
ij
(x) =
_
1
0
f
i
x
j
(tx
1
, . . . , tx
n
)dt,
segue que h
ij
so funes diferenciveis e satisfazem
h
ij
(0, . . . , 0) =
f
i
x
j
(0, . . . , 0),
para quaisquer 1 i, j n. Assim, podemos escrever
F(x
1
, . . . , x
n
, t) =
_
n

i=1
x
i
h
1i
(tx), . . . ,
n

i=1
x
i
h
ni
(tx)
_
,
mostrando que F diferencivel. Da homotopia entre as aplicaes X e
dX(0) segue, em particular, que X e dX(0) tm o mesmo ndice. Como
dX(0) um isomorsmo, concluimos que ind
0
dX(0) = 1, se det(dX(0)) > 0,
e ind
0
dX(0) = 1, se det(dX(0)) < 0.
89
Exemplo 3.8.8. Considere o campo vetorial X : R
3
R
3
dado por
X(x, y, z) = (y, x, 0).
O campo X tangente a S
2
, logo dene um campo vetorial X X(S
2
),
que possui duas singularidades: o polo norte N = (1, 0, 0) e o polo sul
S = (1, 0, 0). Por outro lado, a projeo : S
2
R
2
, dada por (x, y, z) =
(x, y), uma parametrizao de S
2
em torno do polo norte ( tambm em
torno do polo sul). Denotando por =
1
, temos:
(

X)(u, v) = (v, u),

onde (u, v) denotam as coordenadas de R
2
. Alm disso, a diferencial da
aplicao

X num ponto (u, v) tem matriz Jacobiana igual a

d(

X)(u, v) =
_
0 1
1 0
_
.
Disso decorre que N e S so singularidades simples do campo X e da Pro-
posio 3.8.7 concluimos que
ind
N
(X) = ind
S
(X) = 1.
Observao 3.8.9. Se n N par, podemos construir, de forma inteira-
mente anloga, um campo vetorial X X(S
n
) cujas nicas singularidades
simples so os polos norte e sul, ambos de ndice igual a 1.
Exerccios
1. Prove que as singularidades simples de um campo vetorial X X(M) so
isoladas.
90
3.9 O teorema de Poincar-Hopf e a caracterstica
de Euler
Nesta seo discutiremos aplicaes do teorema de Poincar-Hopf, se-
gundo o qual a soma dos ndices das singularidades isoladas de um campo
vetorial sobre uma superfcie compacta no depende do campo, mas sim da
topologia da superfcie.
Teorema 3.9.1 (Poincar-Hopf). Sejam M uma superfcie compacta e ori-
entada, e X X(M) um campo vetorial cujas singularidades so todas isola-
das. Ento, a soma global dos ndices do campo X um invariante topolgico
da superfcie M. Mais precisamente, se p
1
, . . . , p
k
denotam as singularidades
de X, ento o nmero inteiro
k

i=1
ind
p
i
(X) = (M)
independe da escolha do campo X, e ser chamado a caracterstica de Euler
da superfcie M.
O Teorema 3.9.1, em dimenso 2, foi provado por H. Poincar em 1885.
A vero geral, como acima apresentado, foi provada por H. Hopf [5] em 1926.
O leitor interessado na demonstrao do Teorema 3.9.1 pode consultar [3]
ou [7]. O principal problema associado a este invariante consiste em calcular
(M) quando se tm informaes sobre M.
Exemplo 3.9.2. Para a esfera S
n
, temos:
(S
n
) =
_
0, se n mpar
2, se n par
.
De fato, para n mpar, segue do teorema de Brouwer que existe sobre S
n
um
campo vetorial diferencivel sem singularidades. Para n par, foi construdo
sobre S
n
, no Exemplo 3.8.8 (cf. Observao 3.8.9), um campo diferencivel
com duas singularidades simples, ambas com ndice igual a 1.
O fato que (S
n
) = 0, para n mpar, pode ser visto de uma situao
mais geral, como mostra o exemplo seguinte.
Exemplo 3.9.3. Se a dimenso de M mpar, ento (M) = 0. De fato,
considere um campo vetorial X X(M), cujas singularidades isoladas sejam
91
p
1
, . . . , p
r
. Observe que estes mesmos pontos so tambm singularidades
isoladas do campo vetorial X. Assim, segue do Teorema 3.9.1 que
r

i=1
ind(X, p
i
) =
r

i=1
ind(X, p
i
). (3.6)
Por outro lado, considere uma parametrizao
i
: U
i
M de M, com
p
i

i
(U
i
). Na vizinhana coordenada
i
(U
i
), podemos escrever
X(q) =
m

j=1
a
i
j
(q)d
i
(x) e
j
,
para todo q
i
(U
i
), onde x =
1
i
(q). Assim, o ndice do campo X no
ponto p
i
o sinal do determinante
det
_
a
i
j
x
k
(p
i
)
_
,
enquanto que o ndice do campo X no ponto p
i
o sinal do determinante
det
_

a
i
j
x
k
(p
i
)
_
= (1)
m
det
_
a
i
j
x
k
(p
i
)
_
.
Assim,
r

i=1
ind(X, p
i
) = (1)
m
r

i=1
ind(X, p
i
). (3.7)
Como m um nmero mpar, concluimos de (3.6) e (3.7) que
r

i=1
ind(X, p
i
) = 0
e, portanto, (M) = 0.
Exemplo 3.9.4. Seja M
2
R
3
uma superfcie compacta e nela considere
uma triangulao, i.e., uma coleo de tringulos curvilneos (imagens difeo-
morfas de tringulos do plano) que cobrem M, de modo que dois quaisquer
deles, ou no se interceptam, ou tm somente um vrtice em comum, ou
ento tm exatamente um lado em comum. Seja V o nmero de vrtices, A
o nmero de arestas e F o nmero de faces desta triangulao. Deniremos
92
um campo vetorial X sobre M e provaremos que a soma das singularidades
de X igual a V A +F, ou seja, qualquer que seja a triangulao de M,
teremos
(M) = V A+F.
Em vez de dinir X explicitamente, daremos suas curvas integrais. Inicial-
mente, subdividimos baricentricamente cada tringulo de M, i.e., subdivi-
dimos cada tringulo de M em seis outros, traando suas 3 medianas. Em
seguida, enchemos cada tringulo com as linhas integrais do campo, da se-
guinte forma. Cada linha integral parte sempre do centro de um elemento
de dimenso menor para o centro de um elemento de dimenso maior, ou
seja, de um vrtice para o meio de um lado, de um vrtice para o centro do
tringulo, ou do meio de um lado para o centro do tringulo. Cada elemento
(vrtice, aresta ou face) contribui precisamente com uma singularidade do
campo. O centro deste elemento uma singularidade. Assim, o campo X
ter V +A+F singularidades. Porm, num vrtice as curvas integrais todas
saem daquele ponto; j no centro de um tringulo, todas as curvas integrais
entram. Em qualquer caso, o ndice da singularidade 1. No meio de um
lado, h curvas integrais que entram e outras que saem. Tem-se a um ponto
de sela, e seu ndice 1. Assim, a soma dos ndices das singularidades do
campo X igual a V A+F.
Observao 3.9.5. Para a esfera S
2
obtemos, em virtude do Exemplo 3.9.4,
que V A+F = 2, que o teorema clssico de Euler para poliedros convexos,
justicando assim o nome dado a (M).
Exerccios
1. Sejam M e N duas superfcies compactas e orientadas. Prove que
(M N) = (M) (N).
2. Calcule a caracterstica de Euler do toro T
2
.
93
3.10 O teorema de Morse
Nesta seo apresentaremos um teorema para superfcies M
2
R
3
, de-
vido a Marston Morse, relacionando os pontos crticos de uma funo de
Morse com a caracterstica de Euler da superfcie. Inicialmente, relembrare-
mos alguns fatos sobre formas quadrticas.
Uma forma quadrtica em R
n
uma funo H : R
n
R cujo valor num
vetor v = (v
1
, . . . , v
n
) dado por
H v =
n

i,j=1
h
ij
v
i
v
j
,
onde (h
ij
) uma matriz simtrica n n. Dado uma funo diferencivel
f : U R, denida no aberto U R
n
, temos uma forma quadrtica H
f
(x)
associada diferencial segunda de f em x, chamada a forma Hessiana da
funo f no ponto x. Mais precisamente,
H
f
(x) v = d
2
f(x) v =
n

i,j=1

2
f
x
i
x
j
(x)v
i
v
j
,
para todo v = (v
1
, . . . , v
n
) R
n
. Como visto na Seo 2.7, a matriz Hessiana
_

2
f
x
i
x
j
(x)
_
tambm ser denotada por H
f
(x).
Recordemos tambm que um ponto crtico x U de uma funo dife-
rencivel f : U R dito no-degenerado se a matriz Hessiana nesse ponto
inversvel. Todo ponto crtico no-degenerado x U um ponto crtico
isolado. Decorre, em particular, que se todos os pontos crticos de uma fun-
o diferencivel f : R
n
R so no-degenerados, ento em cada compacto
K R
n
existe apenas um nmero nito deles.
Seja H : R
n
R uma forma quadrtica. Dizemos que H positiva se
H v > 0 para todo v ,= 0 em R
n
. Se H v < 0 para todo v ,= 0, dizemos que
H uma forma quadrtica negativa. Se uma forma quadrtica for positiva
ou negativa, diremos que ela uma forma denida. H ser dita uma forma
quadrtica indenida se existem vetores v, w R
n
tais que H v > 0 e
H w < 0.
94
Observao 3.10.1. Se uma forma quadrtica H denida, ento sua ma-
triz (h
ij
) inversvel. De fato, denotemos por T : R
n
R
n
a transformao
linear cuja matriz, em relao base cannica de R
n
, (h
ij
), ou seja,
H v = T(v), v.
Assim, como H denida, tem-se T(v), v ,= 0 para todo v ,= 0, logo
T(v) ,= 0 para todo v ,= 0, i.e., T inversvel. Disso decorre, em particular,
que se a forma Hessiana de uma funo diferencivel, num ponto x, positiva
ou negativa, o ponto crtico em questo no-degenerado.
O lema a seguir relaciona os conceitos de ponto crtico e a forma Hessiana.
Lema 3.10.2. Sejam f : U R uma funo diferencivel, x U um ponto
crtico de f e H
f
(x) a forma Hessiana de f no ponto x. Ento:
(a) Se a matriz Hessiana de f em x tem determinante positivo, ento a
forma Hessiana de f em x denida. Alm disso, se H
f
(x) positiva,
x um ponto de mnimo local para f; se H
f
(x) negativa, x um
ponto de mximo local para f.
(b) Se a matriz Hessiana de f em x tem determinante negativo, ento a
forma Hessiana de f em x indenida, e x um ponto de sela.
A partir de agora nos restringiremos superfcies M
2
R
3
.
Proposio 3.10.3. Seja p M um ponto crtico de uma funo diferen-
civel f : M R. Ento, p ponto crtico no-degenerado para f se, e
somente se, p uma singularidade simples do campo gradf.
Demonstrao. Seja : U(U) uma parametrizao de M, com (0, 0) = p,
tal que

x
1
(x),

x
2
(x) = 0, para todo x U. Nessa parametrizao,
escrevamos gradf =

x
1
+

x
2
. Dado um vetor v T
p
M, escrito como
v = v
1

x
1
(x) +v
2

x
2
(x), e lembrando que gradf(p), v = df(p) v, temos:
v
1
_

x
1
,

x
1
_
+v
2
_

x
2
,

x
2
_
=
(f )
x
1
v
1
+
(f )
x
2
v
2
.
Pondo
_

x
1
,

x
1
_
= g
11
e
_

x
2
,

x
2
_
= g
22
, obtemos:
gradf =
(f )
x
1

1
g
11

x
1
+
(f )
x
2

1
g
22

x
2
.
95
Se escolhermos a parametrizao de modo que, no ponto p, tenhamos
g
11
(p) = g
22
(p) = 1, ento a parte linear do campo gradf dada, nessa
parametrizao, pela matriz
_
_

2
(f)
x
2
1

2
(f)
x
1
x
2

2
(f)
x
2
x
1

2
(f)
x
2
2
_
_
(0, 0).
Basta observar agora que as armaes da Proposio so, ambas, equiva-
lentes ao determinante da matriz acima ser diferente de zero.
Teorema 3.10.4 (Morse). Sejam M
2
R
3
uma superfcie compacta orien-
tada e f : M
2
R uma funo de Morse. Ento
M s +m = (M
2
),
onde M, m, s denotam o nmero de pontos de mximo local, mnimo local
e sela, respectivamente, de f.
Demonstrao. Como os pontos crticos de f so no-degenerados, segue
da Proposio 3.10.3 que as singularidades do campo gradf so isoladas e
simples. Assim, nos pontos de mximo local ou mnimo local, o ndice de
gradf +1, e nos pontos de sela de f, o ndice de gradf 1. A frmula
segue agora do Teorema de Poincar-Hopf.
Corolrio 3.10.5 (Reeb). Sejam M
2
R
3
uma superfcie compacta ori-
entada e f : M
2
R uma funo de Morse. Se f tem apenas dois pontos
crticos, ento M homeomorfa a uma esfera.
Demonstrao. Basta observar que (S
2
) = 2 e usar o Teorema de Morse.
Exerccios
1. Seja M
2
uma superfcie orientada homeomorfa a um n-toro. Prove que
qualquer funo de Morse em M
2
tem, pelo menos, 2n pontos de sela.
96
Referncias Bibliogrcas
[1] L. E. J. Brouwer, Zur Invarianz des n-dimensionalen Gebiets, Math.
Ann. 72 (1912), no. 1, 5556.
[2] J. Dieudonn, Foundations of Modern Analysis, Academic Press, 1960.
[3] V. Guillemin, A. Pollack, Dierential topology, AMS Chelsea Pu-
blishing, 2000.
[4] M. W. Hirsch, Dierential Topology, Springer, vol. 33, 1976.
[5] H. Hopf, Vektorfelder in n-dimensionalen Mannigfaltigkeiten, Math. An-
nalen 96 (1926), 225250.
[6] E. L. Lima, Curso de Anlise, vol. 2, Projeto Euclides, IMPA, 1999.
[7] J. W. Milnor, Topology from the Dierentiable Viewpoint, Princeton
University Press, 1997.
[8] J. W. Milnor, Morse Theory, Annals Studies, vol. 51, Princeton Univ.
Press, 1963.
[9] A. P. Morse, The behaviour of a function on its critical set, Annals of
Mathematics 40 (1), (1939), 6270.
[10] J. R. Munkres, Elements of Algebraic Topology, Addison-Wesley Pu-
blishing Company, Inc., 1984.
[11] J. R. Munkres, Topology, Second edition, Prentice Hall, 2000.
[12] A. Sard, The measure of the critical values of dierentiable maps, Bul-
letin of the American Mathematical Society 48 (12), (1942), 883890.
[13] H. Seifert, W. Threlfall, Lecciones de Topologia, Publicaciones del Ins-
tituto Jorge Juan de Matemticas, Madrid, 1951.
97