Introduo Topologia Diferencial

Notas de aula em construo

Fernando Manfio
ICMC USP

Sumrio
1 Superfcies
1.1 Superfcies . . . . . . . . . . . . . . . . . .
1.2 O espao tangente a uma superfcie . . . .
1.3 Aplicaes diferenciveis entre superfcies
1.4 O teorema da aplicao inversa . . . . . .
1.5 As formas locais . . . . . . . . . . . . . .
2 Valores regulares
2.1 Valores regulares . . . . . . . . . .
2.2 O teorema de Sard . . . . . . . . .
2.3 Funes de Morse . . . . . . . . . .
2.4 O grau mdulo 2 de uma aplicao

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

1
1
9
12
15
17

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

20
20
24
28
33

3 Superfcies Orientveis
3.1 Orientao em espaos vetoriais . . . . .
3.2 Superfcies orientveis . . . . . . . . . .
3.3 Superfcies com fronteira . . . . . . . . .
3.4 Orientao em superfcies com fronteira
3.5 O teorema do ponto fixo de Brouwer . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

38
38
40
46
51
55

. . . . .
. . . . .
. . . . .
de Euler
. . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

58
58
63
66
72
75

4 Introduo teoria do grau

4.1 O grau de uma aplicao . . . .
4.2 Campos vetoriais . . . . . . . .
4.3 O ndice de um campo vetorial
4.4 O teorema de Poincar-Hopf e a
4.5 O teorema de Morse . . . . . .

.
.
.
.

.
.
.
.

. . . . . . . .
. . . . . . . .
. . . . . . . .
caracterstica
. . . . . . . .

5 Integrao em Superfcies
78
5.1 lgebra Multilinear . . . . . . . . . . . . . . . . . . . . . . . . 78
5.2 Formas diferenciais . . . . . . . . . . . . . . . . . . . . . . . . 89
i

5.3
5.4

A derivada exterior . . . . . . . . . . . . . . . . . . . . . . . . 95
Integrais de superfcies . . . . . . . . . . . . . . . . . . . . . . 100

6 Teoremas clssicos
6.1 O teorema de Stokes . . . . . . . . . . . . . . .
6.2 Os teoremas da divergncia, rotacional e Green
6.3 A frmula do grau . . . . . . . . . . . . . . . .
6.4 O teorema da curvatura integral . . . . . . . .
A Alguns teoremas do Clculo
A.1 A topologia de Rn . . . . . . . . . .
A.2 O teorema da invarincia do domnio
A.3 A regra da cadeia . . . . . . . . . . .
A.4 O teorema da aplicao inversa . . .
A.5 O teorema de mudana de variveis .
Referncias Bibliogrficas

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

105
105
108
114
116

.
.
.
.
.

120
120
124
126
131
136
140

ii

Captulo 1

Superfcies
1.1

Superfcies

Nesta seo veremos exemplos e formas equivalentes de definir uma superfcie Euclidiana. Em todo o texto, o noo de diferenciabilidade deve ser
entendida como sendo de classe C .
Definio 1.1.1. Um subconjunto M Rn uma superfcie de dimenso
m se, para todo ponto p M , existem um aberto V Rn , com p V , e
uma aplicao : U M V , onde U um aberto de Rm , tais que
(a) : U M V um homeomorfismo;
(b) uma imerso diferencivel.
A aplicao chama-se uma parametrizao de M e o subconjunto M V
chama-se uma vizinhana coordenada de M . O nmero n m chama-se a
codimenso de M em Rn . No caso particular em que n m = 1, M ser
chamada uma hipersuperfcie de Rn .
Na Definio 1.1.1 estamos considerando M com a topologia induzida
de Rn . Assim, a condio (a) implica que toda superfcie uma variedade
topolgica, i.e., para todo p M , existe um aberto V Rn contendo p, tal
que M V homeomorfo a um aberto de Rm .
Observao 1.1.2. A condio de ser uma imerso equivalente a qualquer uma das condies a seguir:
(a) O conjunto {d(p) ei : 1 i m} linearmente independente;
(b) A matriz Jacobiana de d(p) tem posto m.
1

Exemplo 1.1.3. Qualquer subespao vetorial m-dimensional E Rn uma

superfcie de dimenso m em Rn . De fato, seja T : Rm E um isomorfismo
linear. Munindo E com a topologia induzida de Rn , T torna-se um homeomorfismo. Alm disso, como toda transformao linear diferencivel, segue
que T um difeomorfismo.
Exemplo 1.1.4. A esfera S n = {x Rn+1 : |x| = 1} uma hipersuperfcie
de Rn+1 . De fato, denotando por N = (0, . . . , 0, 1) S n seu polo norte,
considere a projeo estereogrfica N : S n \{N } Rn , definida da seguinte
forma. Dado um ponto x S n \ {N }, N (x) o ponto em que a semirreta

N x Rn+1 intercepta o hiperplano xn+1 = 0. Note que os pontos da

semirreta N x so da forma N + t(x N ), com t 0. Assim, um ponto dessa

semirreta est no hiperplano xn+1 = 0 se, e somente se, 1 + t(xn+1 1) = 0,
onde x = (x1 , . . . , xn+1 ). Assim, t = 1x1n+1 e, portanto,
N (x) =

1
(x1 , . . . , xn , 0).
1 xn+1

A expresso acima mostra que N diferencivel. Por outro lado, considerando a aplicao diferencivel : Rn S n \ {N } definida por


2x1
2xn
|x|2 1
(x) =
,..., 2
,
,
|x|2 + 1
|x| + 1 |x|2 + 1
para todo x = (x1 , . . . , xn ) Rn , um clculo simples mostra que N = id
e N = id, ou seja, N um difeomorfismo. De forma inteiramente
anloga, podemos considerar a projeo estereogrfica S relativa ao polo
sul S da esfera S n .
Exemplo 1.1.5. Todo aberto U Rn uma superfcie de dimenso n de
Rn , imagem de uma nica parametrizao , sendo : U U a aplicao
identidade. Reciprocamente, seja M Rn uma superfcie de dimenso n.
Assim, para todo p M , existem um aberto V Rn , com p V , e um
homeomorfismo : U M V , onde U um aberto de Rn . Usando
o teorema da invarincia do domnio, segue que a vizinhana coordenada
M V aberta em Rn . Portanto, o conjunto M , reunio das vizinhanas
coordendas M V , aberto em Rn .
Exemplo 1.1.6. Um subconjunto M Rn uma superfcie de dimenso 0
se, e somente se, para todo p M , existem um aberto V de Rn , com p V ,
e uma parametrizao : U M V , onde U um aberto de R0 = {0}.
Assim, devemos ter U = {0} e V = {p}. Portanto, M Rn uma superfcie
de dimenso 0 se, e somente se, M um conjunto discreto.
2

O teorema a seguir nos d caracterizaes equivalentes da Definio 1.1.1.

Teorema 1.1.7. Seja M um subconjunto de Rn . As seguintes afirmaes
so equivalentes:
(a) M uma superfcie de dimenso m de Rn .
(b) Para todo p M , existem abertos U Rm e V Rn , com p V , e
uma aplicao diferencivel g : U Rnm tal que M V = Gr(g).
(c) Para todo p M , existem um aberto V de Rn , com p V , e uma
submerso f : V Rnm tal que M V = f 1 (0).
(d) Para todo p M , existem um aberto V de Rn , com p V , e um
difeomorfismo : V (V ) que satisfaz (M V ) = (V ) Rm .
Antes de apresentarmos sua prova, vejamos como us-lo a fim de produzir
exemplos de superfcies em Rn . Lembremos que um ponto c Rnm
chamado valor regular de uma aplicao diferencivel f : U Rn Rnm
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.
Corolrio 1.1.8. Seja f : U Rnm uma aplicao diferencivel, definida
no aberto U Rn . Se c Rnm valor regular de f ento M = f 1 (c)
uma superfcie de dimenso m de Rn .
Vejamos alguns exemplos.
Exemplo 1.1.9. A esfera S n = {x Rn+1 : |x| = 1} pode ser descrita
como a imagem inversa f 1 (1) da funo f : Rn+1 R definida por
f (x) = hx, xi, para todo x Rn+1 . Note que f diferencivel e, para
todo ponto p Rn+1 e todo vetor v Rn+1 , temos:
df (p) v = 2hp, vi.
Isso implica que 0 Rn+1 o nico ponto crtico de f . Como f (0) = 0 6= 1,
concluimos que 1 valor regular de f , logo S n = f 1 (1) , como j sabamos,
uma superfcie de dimenso n de Rn+1 .
Exemplo 1.1.10. Seja M R3 o cone de uma folha, i.e.,
M = {(x, y, z) : x2 + y 2 = z 2 , z 0}.
Note que M homeomorfo a R2 . De fato, denotando por a projeo
(x, y, z) = (x, y), a restrio de a M um homeomorfismo. No entanto,
3

M no uma superfcie regular. De fato, caso fosse, existiriam abertos

U R2 e V R3 , com 0 V , e uma funo diferencivel g : U R
tal que M V = Gr(g). Observe que M V no pode ser um grfico em
relao a uma decomposio da forma R3 = R2 R, no qual o segundo fator
seja o eixo-x
p ou o eixo-y. Assim, tem-se necessariamente g = f |U , onde
f (x, y) = x2 + 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 m n, denotado
por M (mn). Dado uma matriz X M (mn), com X = (xij ), a transposta
de X, denotada por X t , a matriz X t = (xji ), que se obtm de X trocandose ordenadamente suas linhas por suas colunas. Assim, X t M (n m). Se
m = n e det X 6= 0, ento det X t 6= 0 e vale (X t )1 = (X 1 )t .
Uma matriz quadrada X M (n) chama-se simtrica se X t = X e antisimtrica se X t = X. As matrizes simtricas e anti-simtricas formam
subespaos vetoriais, S(n) e A(n), de M (n), de dimenso n(n+1)
e n(n1)
,
2
2
respectivamente. Dado uma matriz X M (n), tem-se
X + X t S(n) e X X t A(n).
Assim,
1
1
X = (X + X t ) + (X X t ),
2
2
ou seja,
M (n) = S(n) A(n).
Exemplo 1.1.11. O grupo ortogonal O(n), definido por
O(n) = {X M (n) : XX t = I},
2

uma superfcie compacta de dimenso n(n1)

de M (n) ' Rn . De fato,
2
O(n) pode ser considerado como a imagem inversa f 1 (I) da aplicao
f : M (n) S(n) definida por
f (X) = XX t ,
para toda matriz X M (n). Assim, devemos provar que I S(n) valor
regular de f . A aplicao f diferencivel e sua diferencial dada por
df (X) H = XH t + HX t .
Finalmente, se X O(n) e dada qualquer matriz S S(n), tome V = 21 SX.
Um clculo simples mostra que df (X) V = S, ou seja, df (X) sobrejetora
4

para toda X O(n), logo O(n) uma superfcie de dimenso n(n1)

de
2
1
M (n). Alm disso, como f contnua, segue que O(n) = f (I) fechado

2
em Rn . 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,

2
O(n) fechado e limitado em Rn .
Observao 1.1.12. A imagem inversa f 1 (c) pode ser uma superfcie sem
que c seja valor regular de f . Por exemplo, seja f : R2 R dada por
f (x, y) = y 2 . Note que
f 1 (0) = eixo x,
que uma curva (de classe C ) de R2 . No entanto, 0 R no valor regular
de f , pois df (x, 0) = 0, para todo (x, 0) f 1 (0).
A fim de provarmos o Teorema 1.1.7, faremos uso do seguinte lema.
Lema 1.1.13. Seja E Rn um subespao vetorial real de dimenso m.
Ento existe uma decomposio em soma direta Rn = Rm Rnm tal que a
primeira projeo : Rn Rm , (x, y) = x, transforma E isomorficamente
sobre Rm .
Demonstrao. Dado uma base {v1 , . . . , vm } de E, sejam ej1 , . . . , ejnm vetores da base cannica de Rn tais que {v1 , . . . , vm , ej1 , . . . , ejnm } seja uma
base de Rn . Sejam Rnm = span{ej1 , . . . , ejnm } e Rm gerado pelos vetores
cannicos restantes. Temos, ento, duas decomposies em soma direta:
Rn = Rm Rnm = E Rnm .
Seja : Rm Rnm Rm , (x, y) = x. Dado x Rm , seja x = x1 + y,
onde x1 E e y Rnm . Temos:
x = (x) = (x1 ) + (y) = (x1 ).
Isso implica que |E : E Rm sobrejetora. Como E tem dimenso m,
segue que |E um isomorfismo linear.
Demonstrao do Teorema 1.1.7. (a)(b) Dado p M , seja : U (U )
uma parametrizao de M , com p = (q). Como E = d(q)(Rm ) um
subespao vetorial m-dimensional de Rn existe, pelo Lema 1.1.13, uma decomposio em soma direta Rn = Rm Rnm tal que |E um isomorfismo
linear entre E e Rm . Defina a aplicao
= : U Rm .
5

Como d(q) = d(q) um isomorfismo linear, segue do Teorema da

Aplicao Inversa que existe um aberto W Rm , com q W U , tal que
|W : W (W ) = Z um difeomorfismo. Defina
= (|W )1 : Z W

e = .

uma parametrizao de M e
= ( ) = = id.
Da igualdade acima segue que a primeira coordenada de (x), em relao
decomposio Rn = Rm Rnm , x. Denote por g(x) a segunda coordenada.
Assim,
(Z) = (W ) = {(x, g(x)) : x W }
para alguma aplicao diferencivel g : W Rnm . Como aberta,
tem-se
(W ) = M V = Gr(g),
para algum aberto V Rn , com p V .
(b)(c) Defina a aplicao f : V Rnm pondo
f (x, y) = y g(x),
onde V Rn = Rm Rnm o aberto dado por hiptese. Temos:
M V

= Gr(g)
= {(x, y) Rn : y = g(x)}
= {(x, y) Rn : 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) Rn , 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 Rnm , tem-se
df (x, y) (0, v) = v,
6

ou seja, df (x, y) : Rn Rnm sobrejetora. Portanto, f uma submerso

com M V = f 1 (0).
(c)(d) Dado um ponto p M , considere a submerso f : V Rnm
tal que M V = f 1 (0). Como df (p) : Rn Rnm sobrejetora, o
conjunto {df (p) e1 , . . . , df (p) en } gera Rnm . Assim, podemos escolher
vetores ei1 , . . . , einm tais que {df (p)ei1 , . . . , df (p)einm } seja uma base de
Rnm . Considere a decomposio em soma direta Rn = Rm Rnm tal que
Rnm = span{ei1 , . . . , einm } e Rm gerado pelos demais vetores cannicos.
Assim, df (p)|Rnm um isomorfismo linear. Defina
: V Rn = Rm Rnm
pondo
(x, y) = (x, f (x, y)),
para todo (x, y) V . Temos que uma aplicao diferencivel e d(p)
um isomorfismo. Assim, pelo teorema da aplicao inversa, existe um aberto
Ve Rn , com p Ve V , tal que |Ve : Ve (Ve ) um difeomorfismo.
Podemos supor que (Ve ) = Z W Rm Rnm , onde W um aberto
contendo 0 Rnm . Assim,
(x, y) M Ve

(x, y) = (x, f (x, y))

(x, y) = (x, 0).

Portanto, (M Ve ) = (Ve ) Rm .
(d)(a) Dado p M , considere o difeomorfismo : V (V ) tal que
(M V ) = (V ) Rm , onde V um aberto de Rn , com p V . Como
(V ) aberto em Rn , U = (V ) Rm aberto em Rm . Defina, ento,
1
. Assim, uma parametrizao de M , com
: U Rn pondo = |U
(U ) = M V .
Dados duas parametrizaes 1 : U1 M V1 e 2 : U2 M V2 em
uma superfcie M , com V1 V2 6= , a aplicao
1
1
1
2 1 : 1 (M V1 V2 ) 2 (M V1 V2 )

(1.1)

chamada a mudana de coordenadas entre 1 e 2 . Uma consequncia do

Teorema 1.1.7 se refere aplicao (1.1), como mostra o corolrio seguinte.
Corolrio 1.1.14. Sejam 1 : U1 M V1 e 2 : U2 M V2 parametrizaes de uma superfcie M , com V1 V2 6= . Ento, a mudana de
coordenadas 1
2 1 um difeomorfismo.
7

Demonstrao. Dado p M V1 V2 , seja f : V f (V ) o difeomorfismo

dado pelo Teorema 1.1.7 satisfazendo f (M V ) = f (V ) Rm . Considere um
e1 Rm , com 1 (p) U
e1 U1 , tal que 1 (U
e1 ) M V . Assim,
aberto U
1
e1 ) Rm . Da mesma forma, considere um aberto U
e2 Rm , com
(f 1 )(U
1
m
e
e
2 (p) U2 U2 , tal que (f 2 )(U2 ) R . Assim, no aberto 1
1 (W ),
e
e
onde W = 1 (U1 ) 2 (U2 ), temos
1
1
1
f 1 = (f 2 )1 (f 1 ).
2 1 = 2 f

A composta f 1 diferencivel. Como d(f 2 )(x) um isomorfismo

linear, segue do teorema da aplicao inversa que f 2 , possivelmente
num aberto menor, um difeomorfismo. Segue, em particular, que (f 2 )1
diferencivel, logo 1
2 1 diferencivel. Analogamente se prova a diferenciabilidade da aplicao 1
1 2 .

Exerccios
1. Verifique se os seguintes conjuntos so superfcies de dimenso 1 em R2 .
Caso sejam, determine a classe de diferenciabilidade.
(a) M = {(t, t2 ) : t R} {(t, t2 ) : t R}
(b) M = {(t, t2 ) : t R } {(t, t2 ) : t R+ }
(c) M = {(t2 , t3 ) : t R}
2. Mostre que todo subconjunto aberto de uma superfcie M Rn tambm
uma superfcie em Rn .
3. Sejam M1 Rn1 e M2 Rn2 superfcies de dimenso m1 e m2 , respectivamente. Prove que o produto cartesiano M1 M2 Rn1 +n2 uma
superfcie de dimenso m1 + m2 . Conclua, da, que o toro bidimensional
T 2 = S 1 S 1 uma superfcie de R4 .
4. O grupo linear GL o subconjunto aberto de M (n) formado pelas matrizes
inversveis. O grupo linear especial,
SL(n) = {X GL : det X = 1},
um subgrupo de GL. Prove que SL(n) uma hipersuperfcie de M (n).

1.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 Rn . Fixado um ponto p M ,
dizemos que um vetor v Rn um vetor tangente a M no ponto p se existe
uma curva : (, ) M , diferencivel em t = 0, tal que (0) = p e
0 (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 Tp M .
Exemplo 1.2.1. Se U um subconjunto aberto da superfcie M Rn , ento
Tp U = Tp M para todo p U . De fato, claramente temos Tp U Tp M . Se
v Tp M , existe uma curva : (, ) M , diferencivel em t = 0, com
(0) = p e 0 (0) = v. Podemos restringir o intervalo (, ) de modo que
(, ) U , logo v Tp U . Em particular, se V um subconjunto aberto
de Rn , ento Tp V = Tp Rn = Rn .
Proposio 1.2.2. Seja f : U V uma aplicao diferencivel entre os
abertos U Rm e V Rn . Suponha que existam superfcies M m e N n ,
com M U e N V , tais que f (M ) N . Ento, df (p)(Tp M ) Tf (p) N
para todo p M . Em particular, se f um difeomorfismo, com f (M ) = N ,
ento df (p)(Tp M ) = Tf (p) N para todo p M .
Demonstrao. Dados um ponto p M e um vetor v Tp M , considere uma
curva : (, ) M , diferencivel em t = 0, com (0) = p e 0 (0) = v. A
curva : (, ) N , dada por (t) = f ((t)), diferencivel em t = 0.
Alm disso, temos
(0) = f ((0)) = f (p) e 0 (0) = df ((t)) 0 (0) = df (p) v,
ou seja, df (p)v Tf (p) N . Logo, df (p)(Tp M ) Tf (p) N . A ltima afirmao
segue-se aplicando f 1 parte j provada.
Decorre ento o seguinte
Corolrio 1.2.3. O espao tangente Tp M um subespao vetorial de dimenso m em Rn .
Demonstrao. Do Teorema 1.1.7, existem um aberto V Rn , com p V ,
e um difeomorfismo : V (V ) tais que (M V ) = (V ) Rm . Ento,
9

pela Proposio 1.2.2, temos:

d(p)(Tp M ) = d(p)(Tp (M V )) = T(p) ((V ) Rm )
= T(p) Rm = Rm .
Disso decorre que Tp M = d(p)1 (Rm ) um subespao vetorial de dimenso
m em Rn .
Corolrio 1.2.4. Dado um ponto p M m , considere uma parametrizao
: U (U ) de M , com p = (x). Ento, Tp M = d(x)(Rm ). Em
particular, uma base para Tp M dada por {d(x) ei : 1 i m}.
Demonstrao. Pela Proposio 1.2.2, temos:
d(x)(Rm ) = d(x)(Tx U ) Tp (U ) = Tp M.
Assim, em virtude do Corolrio 1.2.3, segue que Tp M = d(x)(Rm ), uma
vez que ambos so subespaos vetoriais de dimenso m em Rn .
Exemplo 1.2.5. Sejam f : U Rnm uma aplicao diferencivel, definida
no aberto U Rn , e c Rnm um valor regular de f . Ento, o espao
tangente a M = f 1 (c) num ponto p dado por Tp M = ker df (p). De fato,
basta provar que Tp M ker df (p), j que ambos so subespaos vetoriais de
dimenso m em Rn . Ento, dado um vetor v Tp M , seja : (, ) M
uma curva diferencivel em t = 0 tal que (0) = p e 0 (0) = v. A curva
: (, ) Rnm , dada por (t) = f ((t)), constante, igual a c para
todo t (, ). Assim,
df (p) v = df ((0)) 0 (0) =

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

ou seja, v ker df (p).

Exemplo 1.2.6. Uma situao particular do Exemplo 1.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) S(n)
dada por f (X) = XX t (cf. Exemplo 1.1.11). Como a diferencial de f dada
por df (X) H = XH t + HX t , segue do Exemplo 1.2.5 que
TI 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.
10

Exerccios
1. Mostre que o espao tangente esfera S n Rn+1 num ponto p dado
por Tp S n = {v Rn+1 : hv, pi = 0}.
2. Mostre que o espao tangente a SL(n), na matriz identidade, o subespao
das matrizes de trao nulo.
3. Seja f : U Rn uma aplicao diferencivel, definida no aberto U Rm .
Mostre que o espao tangente ao grfico de f no ponto (p, f (p)) o grfico
da diferencial df (p) : Rm Rn .
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 Tp M , suponha que suas expresses, nas bases de Tp M associadas a e
, sejam dadas por
v=

n
X
i=1

onde x
(p) = d(x) ei e
i
v esto relacionadas por

ai

(p) e v =
bi
(p),
xi
yi
i=1

yi (p)

= d(y) ei . Mostre que as coordenadas de

bj =

n
X

ai

i=1

yj
,
xi

onde yj = yj (x1 , . . . , xn ) so as expresses da mudana de coordenadas entre

e .

11

1.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 Euclidiano. O que faremos agora estender este conceito, abrangendo aplicaes
definidas em superfcies.
A fim de reduzir a notao, a partir de agora uma superfcie M de dimenso m do espao Euclidiano Rn ser denotada simplesmente por M m .
Assim, quando considerarmos uma superfcie M m , ficar subentendido que
M um subconjunto de algum espao Euclidiano Rn .
Definio 1.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

(1.2)

diferencivel no ponto x U .
Segue da Definio 1.3.1 que a diferenciabilidade da aplicao f : M N
fica condicionada diferenciabilidade da aplicao (1.2), que uma aplicao
entre abertos do espao Euclidiano, chamada a representao de f em relao
s parametrizaes e , e denotada por fe ou f .
Precisamos mostrar agora que a Definio 1.3.1 independe da escolha das
parametrizaes e . De fato, considere parametrizaes 0 : U 0 0 (U 0 )
de M e 0 : V 0 0 (V 0 ) de N , com p 0 (U 0 ) e f (0 (U 0 )) 0 (V 0 ). Ento,
no aberto 01 ((U ) 0 (U 0 )), temos:
01 f 0 = ( 01 ) ( 1 f ) (1 0 ).
Pelo Corolrio 1.1.14, segue que 01 e 1 0 so diferenciveis. Como
1 f diferencivel por hiptese, concluimos que 01 f 0 tambm
diferencivel.
Observao 1.3.2. No caso particular em que f da forma f : M m Rk ,
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 Rk
diferencivel no ponto x = 1 (p).
12

Proposio 1.3.3. Toda parametrizao : U (U ) de uma superfcie

M m em Rn um difeomorfismo.
Demonstrao. Por definio, a aplicao : U (U ) um homeomorfismo diferencivel. Resta mostrar que a inversa 1 : (U ) U diferencivel. Escrevamos f = 1 . Note que a aplicao f : (U ) Rm
est definida num aberto da superfcie M . Assim, segundo a Observao
1.3.2, devemos mostrar que, para todo p (U ), existe uma parametrizao
: V (V ) de (U ), com (x) = p, tal que f : V Rm diferencivel. Basta considerar a prpria parametrizao : U (U ), pois
f = 1 = id a aplicao identidade em Rm , 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) : Tp M Tf (p) N
definida do seguinte modo. Considere uma parametrizao : U (U )
de M , com p = (x). Dado um vetor v Tp M , temos v = d(x) w, para
algum vetor w Rm . Definimos, ento,
df (p) v = d(f )(x) w.
Devemos mostrar que a transformao linear df (p) est bem definida, 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 1.1.14, que = , onde
: 1 ((U ) (V )) 1 ((U ) (V ))
um difeomorfismo entre abertos de Rm , 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.
Observao 1.3.4. O vetor v Tp M o vetor velocidade, v = 0 (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 (0)
= (f 1 )0 (0) = (f )0 (0),
ou seja, df (p) v o vetor velocidade da curva f : (, ) N , no
instante t = 0.
13

Proposio 1.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 definio, 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.

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. Considere o produto cartesiano M = M1 M2 das superfcies M1 e M2 .
(a) Mostre que as projees i : M Mi 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.
14

1.4

O teorema da aplicao inversa

Um difeomorfismo 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 proposio seguinte que s existe difeomorfismo
entre superfcies de mesma dimenso.
Proposio 1.4.1. Se f : M m N n um difeomorfismo ento, para
cada ponto p M , a diferencial df (p) : Tp M Tf (p) N um isomorfismo.
Decorre, 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 Tp M e df (p)df 1 (q)
a identidade em Tq N , onde q = f (p). Portanto, df 1 (q) = df (p), ou seja,
df (p) : Tp M Tq N um isomorfismo linear para todo p M , cujo inverso
df (p)1 . Decorre, em particular, que m = dim(Tp M ) = dim(Tq N ) = n.
Observao 1.4.2. A fim de concluir que m = n bastaria que a diferencial
df (p) : Tp M Tq N fosse um isomorfismo em apenas um ponto p M .
A recproca da Proposio 1.4.1 falsa, no sentido que temos apenas
difeomorfismo local, como mostra o seguinte
Teorema 1.4.3 (Teorema da aplicao inversa). Considere uma aplicao diferencivel f : M n N n e um ponto p M tal que a diferencial
df (p) : Tp M Tq N seja um isomorfismo 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 difeomorfismo.
Demonstrao. Sejam : U (U ), : V (V ) parametrizaes de M
e N , respectivamente, com p = (x) e f ((U )) (V ). A representao fe
de f diferencivel e, pela regra da cadeia, segue que
d( 1 f )(x) = d 1 (q) df (p) d(x)
um isomorfismo linear. Assim, pelo teorema da aplicao inversa entre
f Rm , com x W
f U , tal que
abertos Euclidianos, existe um aberto W
n
e
e
f
f
f (W ) aberto em R e f |W
f um difeomorfismo. Tome W = (W ). Segue
f )) aberto em N
ento que W aberto em M , com p W , f (W ) = (fe(W
e f |W um difeomorfismo, como composta de difeomorfismos.
Vejamos uma aplicao simples do Teorema 1.4.3.

15

Exemplo 1.4.4. Dado uma superfcie M m Rn , denotemos por x1 , . . . , xn

as funes coordenadas usuais de Rn , ou seja, a i-sima funo coordenada
xi : Rn R dada por xi (x) = xi , para todo x = (x1 , . . . , xn ) Rn . Afirmamos que m dessas funes coordenadas constituem uma parametrizao
local para M . De fato, denotemos por 1 , . . . , n a base dual de Rn , i.e.,
i (ej ) = ij , onde e1 , . . . , en denota a base cannica de Rn . Note que, a
linearidade das funes coordenadas xi implica que
dxi (x) = i ,

(1.3)

para quaisquer x Rn e 1 i n. Alm disso, como Tp M um subespao m-dimensional de Rn , existem inteiros i1 , . . . , im tais que i1 , . . . , im
so linearmente independentes quando restritos a Tp M . Considere ento
a aplicao = (xi1 , . . . , xim ) : M Rm . Em virtude de (1.3), segue
que a diferencial de no ponto p coincide com a restrio dos funcionais
i1 , . . . , im em Tp M . Como tais funcionais so linearmente independentes,
segue que d(p) : Tp M Rm um isomorfismo e o teorema da aplicao
inversa implica que um difeomorfismo local sobre uma vizinhana de p.

Exerccios
1. Dado uma superfcie compacta M m , mostre que no existe um difeomorfismo local f : M Rm .

16

1.5

As formas locais

Nesta seo estudaremos alguns resultados que descrevem a estrutura

local de aplicaes diferenciveis de posto mximo entre superfcies.
Definio 1.5.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) : Tp M Tf (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.
Exemplo 1.5.2. Considere a aplicao incluso f : Rm Rm Rn , dada
por f (p) = (p, 0). Como f linear, segue que df (p) = f para todo p Rm .
Assim, f uma imerso de classe C .
Exemplo 1.5.3. Uma curva diferencivel : I Rn , definida no intervalo
aberto I R, uma imerso se, e somente se, 0 (t) 6= 0 para todo t I. Isso
significa que a imagem (I) possui, em cada ponto (t), uma reta tangente.
Exemplo 1.5.4. Uma imerso pode no ser injetora. Um exemplo simples
a curva : R R2 dada por (t) = (t3 t, t2 ). Um clculo simples
mostra que 0 (t) = (3t2 1, 2t) 6= (0, 0) para todo t R e, alm disso,
(1) = (0, 1) = (1).
O teorema seguinte afirma que, em vizinhanas coordenadas apropriadas,
qualquer imerso f : M N se comporta, localmente, como a incluso
cannica do Exemplo A.4.5.
Teorema 1.5.5 (Forma local das imerses). Seja f : M m N n uma aplicao diferencivel que uma imerso num ponto p M . Ento, dado uma
parametrizao : U (U ) de M , com p = (x), existe um difeomorfismo
: Z U W , onde Z N um aberto contendo f ((U )) e W Rnm
um aberto contendo 0, tais que
( f )(x) = (x, 0) Rm Rnm ,
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
17

das imerses em espaos Euclidianos, restringindo os domnios, se necessrio,

existe um difeomorfismo h : V U W , onde W Rnm um aberto
contendo 0 Rnm , 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 definir = h 1 e fazer Z = (V ).
Definio 1.5.6. 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) : Tp M Tf (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.
Exemplo 1.5.7. Uma funo diferencivel f : M R uma submerso se,
e somente se, df (p) 6= 0 para todo p M . Isso decorre do fato de que um
funcional linear sobrejetor ou nulo.
Exemplo 1.5.8. Dado uma decomposio em soma direta da forma
Rm+n = Rm Rn , seja a projeo sobre o primeiro fator, (x, y) = x.
Como linear, segue que d(x, y) = para todo (x, y) Rm+n , logo
uma submerso. A matriz jacobiana de tem como linhas os m primeiros
vetores da base cannica de Rm+n . Da mesma forma podemos concluir que
a projeo sobre o segundo fator tambm uma submerso.
O teorema seguinte mostra que o Exemplo A.4.11 , localmente, o caso
mais geral de uma submerso.
Teorema 1.5.9 (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 difeomorfismo : V W Z, onde Z M um aberto contendo o
ponto p, com f (Z) (V ), e W Rmn um aberto, tais que
( 1 f )(x, y) = x,
para todo (x, y) V W .
18

Demonstrao. Considere uma parametrizao : U (U ) de M , com

p (U ) e f ((U )) (V ). Como df (p) sobrejetora, segue que a diferencial dfe(a), da representao fe = 1 f de f , tambm sobrejetora, onde
a = 1 (p), com a = (a1 , a2 ) Rn Rmn . Assim, pela forma local das
submerses em espaos Euclidianos, restringindo os domnios, se necessrio,
existe um difeomorfismo h : V W U , onde W Rmn um aberto
contendo a2 , tal que
[( 1 f ) h](x, y) = x
para todo (x, y) V W . Assim, basta considerar = h e Z = (U ).
Observao 1.5.10. Assim como os Teoremas 1.5.5 e 1.5.9, 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 homeomorfismo.
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 Rk , para qualquer k 1.

19

Captulo 2

Valores regulares
2.1

Valores regulares

Nesta seo discutiremos o conceito de valor regular para aplicaes entre

superfcies, apresentando uma demonstrao simples do teorema fundamental 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 1.1.8, agora
no contexto de superfcies.
Proposio 2.1.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 m n. Alm disso, para todo p f 1 (q), tem-se
Tp f 1 (q) = ker df (p).
Demonstrao. Dado um ponto p f 1 (q), seja : V (V ) uma parametrizao de N , com (0) = q. Pela forma local das submerses (cf.
Teorema 1.5.9), existe um difeomorfismo : U (U ), onde U M um
aberto contendo p e (U ) aberto em Rm , tal que
( 1 f 1 )(x1 , . . . , xm ) = (x1 , . . . , xn ),
20

para todo (x1 , . . . , xm ) (U ). Temos:

1


f 1 (q) U = 1 f 1
(0) = (U ) {0}n Rmn .
Seja T : Rm Rm um isomorfismo linear que transforma o subespao
{0}n Rmn sobre Rmn Rm . Ento, T : U T ((U )) um
difeomorfismo tal que





(T ) f 1 (q) U = T (U ) {0}n Rmn
= T ((U )) Rmn ,
ou seja, T transforma f 1 (q)U difeomorficamente sobre T ((U ))Rmn .
Isso prova que f 1 (q) uma superfcie de dimenso m n. A prova da
segunda parte segue de forma anloga ao Exemplo 1.2.5.
Exemplo 2.1.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 finito 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 finita em virtude do Exemplo 2.1.2.
Lema 2.1.3. A funo #f 1 (q) localmente constante quando q percorre
os valores regulares q de f .
Demonstrao. Denotemos por p1 , . . . , pk os pontos do conjunto f 1 (q).
Pelo teorema da aplicao inversa, existem abertos U1 , . . . , Uk M , com
pi Ui , que podemos supor dois a dois disjuntos, que so transformados
difeomorficamente por f sobre abertos V1 , . . . , Vk em N . Considere ento o
subconjunto




V = V1 . . . Vk \ f M \ {U1 . . . Uk }
de N , com q V . Para cada y V , tem-se #f 1 (y) = #f 1 (q).
Uma aplicao simples do Lema 2.1.3 o seguinte:
Teorema 2.1.4 (Teorema fundamental da lgebra). Todo polinmio noconstante admite uma raiz.
21

Demonstrao. A ideia da prova consiste em transferir o problema do plano

complexo C para a esfera S 2 R3 , que uma superfcie compacta. Denotando por N = (0, 0, 1) o polo norte de S 2 , consideremos a projeo estereogrfica
N : S 2 \ {N } C ' R2 .
Aqui, estamos identificando R2 com o subespao R2 {0} R3 . Dado um
polinmio P : C C, P (z) = an z n + . . . + a1 z + a0 , com an 6= 0, denotemos
por f o levantamento de P na esfera S 2 , i.e., f : S 2 S 2 a aplicao dada
por



1
N
P N (x), x 6= N
f (x) =
.
N,
x=N
Observe que f diferencivel em todo ponto x 6= N . A fim de mostrar
que f diferencivel no polo norte N , considere a projeo estereogrfica
S : S 2 \ {S} R2 relativa ao polo sul S = (0, 0, 1). Note que S uma
parametrizao para S 2 . Explicitando as expresses de N e S , obtemos:




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




1
S f S1 (z) = S N
P N S1 (z)
  


1
1
P
= S N
z




1
1
1
= S N
an n + . . . + a1 + a0
z
z
n
z
,
=
an + . . . + a1 z n1 + a0 z n
mostrando que f diferencivel no polo norte N . Logo, f globalmente diferencivel. Observe agora que f tem somente um nmero finito de pontos crticos. De fato, a aplicao f deixa de ser um difeomorfismo local,
P em virtude
0
da regra da cadeia, somente nos zeros da derivada de P , P = kak z k1 , e
estes zeros so em quantidade finita, pois P 0 no identicamente nulo. Denotemos 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.
22

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, definida num subconjunto conexo X Rn . Mostre que f constante.
3. Determine as
das projees estereogrficas N e S , e mostre

expresses
1
1
que N S (z) = z para todo z C.

23

2.2

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 afirma que o conjunto de tais pontos denso em N .
A fim de estabelecer o teorema de Sard, necessitamos de alguns preliminares acerca dos conjuntos de medida nula no espao Euclidiano.
Definio 2.2.1. Dizemos que um subconjunto X Rn tem medida nula
em Rn , e escrevemos (X) = 0, se, para cada  > 0 dado, possvel obter
uma sequncia de cubos abertos C1 , C2 , . . . , Ck , . . . em Rn tais que
X

[
k=1

Ck

vol(Ck ) < .

k=1

Existem vrias propriedades importantes acerca dos conjuntos de medida nula. Apresentaremos apenas algumas delas, que sero usadas quando
necessrio. Para maiores detalhes, o leitor pode consultar o livro [4].
Proposio 2.2.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 Rn uma aplicao diferencivel, definida no aberto
U Rn , e X U tem medida nula em Rn , ento f (X) tambm
tem medida nula em Rn .
(d) Se m < n e f : U Rn uma aplicao diferencivel, definida no
aberto U Rm , ento f (U ) tem medida nula em Rn .
Definio 2.2.3. Dizemos que um subconjunto X Rn localmente de
medida nula em Rn se, para cada x X, existe um aberto Vx em Rn ,
contendo o ponto x, tal que (Vx X) = 0.
Observe que, da cobertura aberta X Vx extraimos, pelo teorema de
Lindelf (cf. [9, Theorem 30.3]), uma subcobertura enumervel X Vk ,
logo X = (Vk X) uma unio enumervel de conjuntos de medida nula e,
portanto, (X) = 0. Assim, um conjunto X Rn localmente de medida
nula se, e somente se, tem medida nula.
24

Exemplo 2.2.4. Seja M m Rn uma superfcie, com m < n. Dado uma

parametrizao : U (U ) em M , segue da Proposio 2.2.2, item (d),
que a vizinhana coordenada (U ) M tem medida nula em Rn . Como
(U ) = A M , onde A Rn aberto, segue que M localmente de medida
nula e, assim, (M ) = 0 em Rn .
Estudaremos agora os conjuntos de medida nula em uma superfcie M .
Definio 2.2.5. Sejam M m uma superfcie e : U (U ) uma parametrizao de M . Dizemos que um subconjunto X (U ) tem medida nula em
M se o conjunto 1 (X) tem medida nula em Rm , 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 Rm em virtude
da Proposio 2.2.2, item (c), pois 1 um difeomorfismo em Rm .
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 Definio 2.2.5.
Os conjuntos de medida nula em uma superfcie M satisfazem propriedades anlogas daquelas dos conjuntos de medida nula do espao Euclidiano.
Por exemplo, temos a seguinte
Proposio 2.2.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.2.2, item (d), usando parametrizaes para M e N .
O teorema seguinte, provado por Arthur Sard [10] em 1942, se refere
aplicaes diferenciveis entre duas superfcies M m e N n . Em virtude da
Proposio 2.2.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 [7] in 1939.
Teorema 2.2.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 isomorfismo. 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 Rn
(fe(1 (S (U )))) = 0 em Rn ,
25

onde fe 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 Rn uma aplicao diferencivel, definida no aberto U Rn , e
S o conjunto dos pontos x U tais que det(df (x)) = 0, ento f (S) tem
medida nula em Rn . 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 Rn . Fixemos a norma Euclidiana em Rn .
Subdividindo cada uma de suas arestas em k partes iguais, obtemos uma
partio de C, cujos blocos so k n cubos Ci , de mesma aresta ka = e
volume igual a n . Se x, y Ci , temos kx yk n. Em cada pequeno
cubo Ci tal que Ci T 6= , escolha um ponto xi Ci T . A imagem da
transformao linear df (xi ) : Rn Rn est contida num subespao vetorial
Ei Rn , de dimenso n 1. Todos os pontos f (xi ) + df (xi ) v, v Rn ,
pertencem ao subespao afim Li = f (xi ) + Ei , de dimenso n 1 em Rn .
Para cada x Ci , podemos escrever
f (x) = f (xi ) + df (xi ) (x xi ) + ri (x),
onde ri (x) o resto da definio de diferenciabilidade. Dado  > 0, podemos escolher o inteiro k suficientemente grande tal que, para todo cubo Ci
contendo pontos de T e todo x Ci , tenhamos
kri (x)k < kx xi k n.
Fazendo c = sup{kdf (x)k : x C}, temos:
kdf (xi ) (x xi )k ckx xi k < nc,
para todo x Ci . Assim, para todo x Ci , o ponto f (xi ) + df (xi ) (x xi )
pertence ao cubo de centro f (xi ) e aresta 2nc em Li . Considerando o
paraleleppedo retangular Pi em Rn que tem esse cubo como seo mdia e
altura 2n, temos:
vol(Pi ) = 2n nn cn1 n  = A n ,
onde A = 2n nn cn1 . A imagem f (T ) est contida na unio de, no mximo, k n desses paraleleppedos Pi , cuja soma dos volumes no ultrapassa
Ak n n  = Aan . Como  > 0 arbitrrio, concluimos que f (T ) tem medida
nula em Rn .
26

Uma consequncia direta do Teorema de Sard o seguinte

Corolrio 2.2.8. O conjunto dos valores regulares de uma aplicao diferencivel 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.2.2.
2. Prove que Rm tem medida nula em Rn , com m < n.

27

2.3

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 difeomorfismos. O objetivo agora estudar o comportamento local de f nos pontos crticos.
Consideremos inicialmente funes diferenciveis f : Rn R, definidas
em Rn . Nosso interesse inicial reside na diferencial segunda d2 f (x) da funo
f no ponto x. Mais precisamente, esta diferencial fica associada uma matriz
de ordem n n
 2

f
Hf (x) =
(x) ,
xi xj
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 significa que
df (x) = 0, i.e.,
f
f
(x) = . . . =
(x) = 0.
x1
xn
Definio 2.3.1. Dizemos que o ponto crtico x no-degenerado quando
a matriz Hessiana nesse ponto inversvel, i.e., det Hf (x) 6= 0.
O comportamento local de uma funo em um ponto crtico no-degenerado completamente determinado, a menos de difeomorfismos, 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.3.2 (Morse). Sejam f : Rn R uma funo diferencivel e x Rn
um ponto crtico no-degenerado para f . Ento, existe um difeomorfismo
: V W , com 0 V , p W e (0) = x, tal que
f ((y)) = f (x) +

n
X

hij (y)yi yj ,

i,j=1

para todo y = (y1 , . . . , yn ) V , onde (hij (x)) denota a matriz Hessiana de

f no ponto x.
28

Disso decorre que toda funo diferencivel, em torno de um ponto crtico

no-degenerado, localmente equivalente a um polinnio quadrtico, onde
os coeficientes so dados pela matriz Hessiana.
Considere agora uma funo diferencivel f : M R, definida na superfcie 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 verificar que essa definio independe da escolha da parametrizao. Para isso, seja : V (V ) outra parametrizao de M , com
(0) = p. Ento
f = (f ) ,
onde = 1 . Devemos ento provar o seguinte
Lema 2.3.3. Sejam f : Rn R uma funo diferencivel e : Rn Rn um
difeomorfismo tal que (0) = 0. Se 0 Rn ponto crtico no-degenerado
para f ento tambm o para a funo g = f .
Demonstrao. Denotemos por Hf , Hg as matrizes Hessianas de f e g, respectivamente, no ponto 0. Usando a regra da cadeia, obtemos
n

X f
g
k
(x) =
((x))
(x),
xj
yk
xj
k=1

onde y = (x). Assim,

n
n
X
X
2g
2 k
2f
l
k
f
(0)
(0) =
(0)
(0)
(0) +
(0).
xi xj
yi yj
xi
xj
yk
xi xj
k,l=1

k=1

Como 0 ponto crtico de f , cada termo no segundo somatrio nulo. Assim,

n
X
2g
2f
l
k
(0) =
(0)
(0)
(0).
xi xj
yi yj
xi
xj
k,l=1

Usando a notao de multiplicao de matrizes, a igualdade acima pode ser

escrita como
Hg (0) = (d(0))t Hf (0) (d(0)).
Como difeomorfismo, temos que det(d(0)) 6= 0, logo det(d(0))t 6= 0.
Portanto, como det Hf (0) 6= 0, concluimos que det Hg (0) 6= 0, i.e., 0 ponto
crtico no-degenerado para g = f .
29

Definio 2.3.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 diferenciveis so funes de Morse.
Consideremos uma funo diferencivel f : M R, definida na superfcie
Rn . Dado um ponto a = (a1 , . . . , an ) Rn , definimos uma nova
funo fa : M R pondo

Mm

fa (p) = f (p) + a1 x1 + . . . + an xn ,
para todo p = (x1 , . . . , xn ) M .
Teorema 2.3.5. O conjunto dos pontos a Rn , para os quais a funo
fa : M R uma funo de Morse, denso em Rn .
Demonstrao. Consideremos dois casos:
Caso 1: Seja f : Rn R uma funo diferencivel, definida em Rn . Associada a f , considere a aplicao g : Rn Rn dada por


f
f
g(x) =
(x), . . . ,
(x) .
x1
xn
A diferencial da funo fa num ponto x Rn dada por
dfa (x) = g(x) + a.
Assim, x ponto crtico para f se, e somente se, g(x) = a. Alm disso,
como f e fa 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)) 6= 0. Disso
decorre que x ponto crtico no-degenerado para fa . No entanto, o teorema
de Sard nos diz que o conjunto dos pontos a Rn , para os quais a valor
regular para g, denso em Rn .
Caso 2: Para o caso de uma funo f : M R, definida numa superfcie
M m Rn , fixe um ponto p M e sejam x1 , . . . , xn as coordenadas usuais de
Rn . Segue do Exemplo 1.4.4 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 x1 , . . . , xn
30

constituem uma parametrizao. Pelo teorema de Lindelf, podemos assumir

que os abertos U so em quantidade enumervel. Fixado um aberto U ,
suponha que (x1 , . . . , xm ) seja uma parametrizao em U . Para cada ponto
c = (cm+1 , . . . , xn ) Rnm , considere a funo f(0,c) : M R dada por
f(0,c) = f + cm+1 xm+1 + . . . + cn xn .
Pelo Caso 1, o conjunto dos pontos b Rm para os quais a funo
f(b,c) = f(0,c) + b1 x1 + . . . + bm xm
uma funo de Morse em U , denso em Rm . Denotemos por S o conjunto
dos pontos a Rn para os quais fa no funo de Morse em U . Assim,
cada faixa horizontal S (Rm {c}) tem medida nula, considerado como
um subconjunto de Rm . Por outro lado, um subconjunto de Rn , cujas faixas
horizontais tm medida nula em Rm , tem medida nula em Rn . Assim, cada
S tem medida nula em Rn . 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 Rn para os quais fa 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 R3 .
Exemplo 2.3.6. Seja M R3 uma superfcie regular orientvel. Dado um
ponto p M , consideremos a funo altura h : M R em relao ao plano
tangente Tp M , dada por
h(q) = hq p, N (p)i,
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 Tp M e uma curva : (, ) M , diferencivel
em t = 0, tal que (0) = p e 0 (0) = w, ento
IIp (w) =

d2
(h )(0).
dt2

Disso decorre, em particular, que p M ponto crtico no-degenerado

para h se, e somente se, K(p) 6= 0, onde K denota a curvatura Gaussiana da
superfcie M .
31

Provaremos no Captulo 4, como uma aplicao do teorema de PoincarHopf, o seguinte

Teorema 2.3.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 (0) + t2 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-degenerado para uma funo f : M R, ento existe uma parametrizao
(x1 , . . . , xm ) em torno de p tal que
f = f (p) +

m
X

i x2i ,

i = 1.

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 .
5. Prove que a funo altura f : S n1 R, dada por f (x1 , . . . , xn ) = xn ,
definida 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 R3 uma superfcie. Dados um ponto q R3 e um vetor unitrio
v R3 , considere a funo altura h : M R em relao ao plano ortogonal
a v, passando por q, dada por
h(p) = hp q, vi,
para todo p M . Mostre que p ponto crtico de h se, e somente se, v
ortogonal a Tp M .

32

2.4

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 finita 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 deg2 f .
Faremos, inicialmente, algumas consideraes sobre o conceito de homotopia diferencivel.
Definio 2.4.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 Ft : M N , dada por Ft (p) = F (p, t).
Assim, considerar uma homotopia F equivale a definir uma famlia diferencivel a 1-parmetro
t [0, 1] 7 Ft C (M ; N )
de aplicaes de M em N , com F0 = f e F1 = g. A diferenciabilidade da
famlia significa que (p, t) 7 Ft (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 Ft fornecem os estgios intermedirios da deformao.
Exemplo 2.4.2. Quaisquer duas aplicaes diferenciveis f, g : M m Rn
so homotpicas. De fato, basta definir a aplicao F : M [0, 1] Rn
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 Rn homotpica aplicao nula,
atravs da homotopia F (p, t) = (1 t)f (p).
33

Exemplo 2.4.3. Considere duas aplicaes diferenciveis f, g : M m S n ,

tais que f (p) 6= 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) 6= 0 para quaisquer t [0, 1] e p M .
Obtemos, ento, uma homotopia F : M [0, 1] S n entre f e g, definindo
F (p, t) =

(1 t)f (p) + tg(p)

.
k(1 t)f (p) + tg(p)k

Quando t percorre o intervalo [0, 1], F (p, t) descreve um arco de crculo

ligando f (p) a g(p).
Proposio 2.4.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 ' reflexiva. Considere agora F : M [0, 1] N uma homotopia entre
f e g. Definindo 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 31 , e (t) = 1, se 32 t 1. Defina, ento
H : M [0, 1] N pondo

F (p, (2t)),
0 t 12
H(p, t) =
.
G(p, (2t 1)), 21 t 1
A aplicao H uma homotopia entre f e h, logo ' transitiva.
Proposio 2.4.5. Sejam f, f 0 : M N e g, g 0 : N P aplicaes
diferenciveis. Se f ' f 0 e g ' g 0 ento g f ' g 0 f 0 , i.e., a composio de
aplicaes preserva homotopia.
Demonstrao. Sejam F : M [0, 1] N uma homotopia entre f e f 0 , e
G : N [0, 1] P uma homotopia entre g e g 0 . Definimos uma homotopia
H : M [0, 1] P entre g f e g 0 f 0 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.4.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)
34

mod 2.

Demonstrao. Seja F : M [0, 1] N uma homotopia entre f e g. Suponhamos, 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 par1 , logo #f 1 (y) #g 1 (y) mod 2. Suponha agora
que y N no seja valor regular para F . Do Lema 2.1.3 temos que #f 1 (y)
e #g 1 (y) so funes localmente constantes de y. Assim, existe uma vizinhana 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 fim de provar o resultado central dessa seo, faremos uso de um novo
termo topolgico, envolvendo superfcies M e N de mesma dimenso.
Definio 2.4.7. Dizemos que dois difeomorfismos f, g : M N so isotpicos se existe uma homotopia F : M [0, 1] N entre f e g tal que, para
cada t [0, 1], a aplicao Ft : M N , dada por Ft (p) = F (p, t), seja um
difeomorfismo.
A homotopia F , neste caso, chamada uma isotopia entre f e g. O lema
seguinte, conhecido como Lema da isotopia, diz respeito aos difeomorfismos
com suporte compacto. Lembre que um difeomorfismo 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 difeomorfismos, o intervalo fechado ou o crculo. Veremos mais detalhes
no captulo seguinte.

35

Lema 2.4.8 (Isotopia). Seja M uma superfcie conexa. Dados quaisquer

dois pontos p, q M , existe um difeomorfismo f : M M , com suporte
compacto, tal que f (p) = q e f isotpica aplicao identidade.
Demonstrao. Cf. [2, pg. 142].
Usando os lemas anteriores, podemos agora provar o resultado central
dessa seo.
Teorema 2.4.9. Seja f : M N uma aplicao diferencivel entre superfcies 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 deg2 f , depende somente da classe de homotopia de f .
Demonstrao. Dados dois valores regulares y, z N para f , segue do Lema
2.4.8 que existe um difeomorfismo h : N N tal que h(y) = z e h isotpico
aplicao identidade id : N N . Como h difeomorfismo, z tambm
valor regular para h f . Alm disso, como f ' f e h ' id, segue da
Proposio 2.4.5 que h f homotpica a f . Assim, segue do Lema 2.4.6
que
#(h f )1 (z) #f 1 (z) mod 2.
Como
(h f )1 (z) = f 1 (h1 (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
deg2 f #f 1 (y) #g 1 (y) deg2 g

mod 2

mostra que deg2 f um invariante homotpico, e isso completa a demonstrao.

Observao 2.4.10. Calcular o grau mdulo 2 de uma aplicao diferencivel f simples: escolha um valor regular arbitrrio y para f e conte os
pontos da pr-imagem f 1 (y). Assim, deg2 f #f 1 (y) mod 2.
36

Exemplo 2.4.11. Considere a aplicao diferencivel f : S 1 S 1 definida

por f (z) = z n , com n 0. Para cada z S 1 , temos
df (z) v = nz n1 v
para todo v Tz 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 deg2 f 0 mod 2, se n par,
e deg2 f 1 mod 2, se n mpar.
Vejamos algumas aplicaes simples da invarincia homotpica do grau
mod 2.
Exemplo 2.4.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.4.13. O Exemplo 2.4.12 pode ser usado para mostrar a noretrao da esfera S n1 Dn , ou seja, no existe uma aplicao diferencivel
f : Dn 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 fixos, 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) 6= 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.
5. Uma superfcie M dita simplesmente conexa se toda aplicao diferencivel : S 1 M homotpica aplicao constante. Prove que a esfera
S n , com n > 1, simplesmente conexa.

37

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
E = {e1 , . . . , en } e F = {f1 , . . . , fn } em E, denotemos por A = (aij ) a
nica matriz real n n inversvel tal que
fj =

n
X

aij ei ,

i=1

para todo 1 j n. A matriz A chama-se a matriz de passagem da base E

para a base F.
Definio 3.1.1. Dizemos que as bases E e F definem a mesma orientao
em E se det A > 0 e, neste caso, escrevemos E F.
Esta propriedade define 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, fixemos uma base E O. Se as matrizes
de passagem de E para as bases F e G so A e B, respectivamente, ento a
matriz de passagem de F para G BA1 . Se det A < 0 e det B < 0 ento
det(BA1 ) > 0. Ou seja, se F e G no pertencem orientao O, ento
F G. Isso mostra que a relao possui duas classes de equivalncia. Em
outras palavras, o espao vetorial E admite duas orientaes.

38

Definio 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.
Definio 3.1.3. Um isomorfismo 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 isomorfismo 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 Rn ser considerado orientado pela
exigncia de que sua base cannica seja positiva. Assim, em relao base
cannica de Rn , um isomorfismo T : Rn Rn positivo se, e somente se,
det T > 0.
Observao 3.1.5. Seja T : E F um isomorfismo entre os espaos vetoriais 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 definem a orientao em F so as imagens
das bases positivas de E por T .

Exerccios
1. Mostre que a relao define uma relao de equivalncia no conjunto
de todas as bases de E.

39

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 ) 6= ,
a matriz Jacobiana J( 1 )(x) tem determinante positivo em todos os
pontos x 1 ((U ) (V )).
Observao 3.2.1. Se (U ) (V ) 6= , a mudana de coordenadas
1 : 1 ((U ) (V ) 1 ((U ) (V ) tem determinante jacobiano 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 ) Rm .
Um atlas numa superfcie M uma coleo A de parametrizaes cujas
imagens constituem uma cobertura para M . Um atlas A chamado coerente
quando quaisquer duas parametrizaes , A so coerentes. Um atlas
coerente numa superfcie M chama-se maximal se no est contido propriamente em nenhum outro atlas coerente em M .
Note que todo atlas coerente A est contido num nico atlas coerente
maximal. De fato, basta considerar o atlas constitudo de todas as parametrizaes de M que so coerentes com todas as parametrizaes de A.
Definio 3.2.2. Uma superfcie M chamada orientvel quando existe nela
pelo menos um atlas coerente. Uma superfcie orientada um par (M, A),
onde M uma superfcie e A um atlas coerente maximal. O atlas A, neste
caso, chamado uma orientao para M . As parametrizaes A so
chamadas positivas.
Assim, uma superfcie orientada uma superfcie orientvel na qual se
fez a escolha de uma orientao A.
Exemplo 3.2.3. O espao Euclidiano Rn uma superfcie orientvel, pois o
atlas em Rn determinado pela aplicao identidade coerente. A orientao
definida por este atlas chamada a orientao cannica de Rn .
Exemplo 3.2.4. Todo subconjunto aberto U de uma superfcie orientvel
M tambm orientvel. De fato, fixado um atlas coerente A em M , o
atlas em U definido pelas restries a U das parametrizaes positivas de M
40

tambm um atlas coerente, logo define uma orientao em U , chamada de

orientao induzida.
Observao 3.2.5. Uma orientao A em uma superfcie M determina uma
orientao Op em cada espao tangente Tp 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) e1 , . . . , d(x) em } Tp M
pertena a Op , ou seja, exigimos que o isomorfismo d(x) : Rm Tp M
preserva orientao. Observe que esta orientao independe da escolha da
parametrizao . De fato, se : V (V ) outra parametrizao em A,
com p = (y), temos:
d(y) = d( 1 )(y) = d(x) d(1 )(y).
O isomorfismo d(1 )(y) preserva orientao, pois e so coerentes,
e d(x) preserva orientao por hiptese, logo {d(y) e1 , . . . , d(y) em }
tambm uma base positiva de Tp M .
Observao 3.2.6. Reciprocamente, suponha que seja dada uma orientao
Op em cada espao tangente Tp 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) : Rm T(x) M preserva orientao, para todo
x U . Ento, o atlas A formado por tais parametrizaes um atlas
coerente em M e, portanto, M orientvel. De fato, sejam : U (U )
e : V (V ) parametrizaes em A, com (U ) (V ) 6= . 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 isomorfismos
que preservam orientao.
Definio 3.2.7. Um difeomorfismo local f : M N , entre duas superfcies
orientadas M e N , dito positivo se df (p) : Tp M Tf (p) N um isomorfismo
positivo, para todo p M .
Diremos que f negativo quando, para todo p M , o isomorfismo linear
df (p) negativo. Se M desconexa, bem possvel que um difeomorfismo
local f : M N no seja positivo nem negativo. No entanto, veremos que
isso no ocorre quando M conexa.

41

Proposio 3.2.8. Seja f : M N um difeomorfismo local entre duas

superfcies orientadas, M e N . Ento, o conjunto
A = {p M : df (p) preserva orientao}
um aberto em M .
Demonstrao. Sejam A, B os atlas que definem as orientaes em M e N ,
respectivamente. Dado p A, considere parametrizaes : U (U ) em
A 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 Rm , 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 parametrizaes : 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.
Definio 3.2.12. Um campo normal a uma superfcie M uma aplicao
: M Rn tal que, para todo p M , o vetor (p) ortogonal ao subespao
Tp M .
Os conceitos de continuidade e diferenciabilidade se aplicam naturalmente a campos normais.
Proposio 3.2.13. Seja M m Rn uma superfcie e suponha que existam
nm campos normais contnuos 1 , . . . , nm : M Rn que so linearmente
independentes. Ento, M orientvel.
42

Demonstrao. Para cada ponto p M , definimos uma orientao em Tp M

do seguinte modo: uma base {v1 , . . . , vm } de Tp M positiva se, e somente
se,
{v1 , . . . , vm , 1 (p), . . . , nm (p)}
uma base positiva de Rn . Dado uma parametrizao : U (U ) em
M , com p (U ) e U conexo, trocando o sinal de (basta, por exemplo,
compor com um isomorfismo de Rm que inverte orientao), caso necessrio,
podemos supor que
{d(x) e1 , . . . , d(x) em , 1 ((x)), . . . , nm ((x))}
seja uma base positiva de Rn , para todo x U . Portanto, para cada p M ,
podemos escolher uma parametrizao : U (U ) em M , com p (U ),
tal que d(x) : Rm T(x) M seja um isomorfismo que preserva orientao,
para todo x U . Logo, pela Observao 3.2.6, segue que M orientvel.
No caso de hipersuperfcies em Rn , vale a recproca da Proposio 3.2.13.
Teorema 3.2.14. Uma hipersuperfcie M Rn+1 orientvel se, e somente
se, existe um campo contnuo no-nulo : M Rn+1 , normal a M .
Demonstrao. A condio suficiente segue da Proposio 3.2.13, observando
que o campo determina, em cada ponto p M , uma base {(p)} de Tp M .
Reciprocamente, se M orientvel, definimos um campo normal (unitrio)
: M Rn+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) e1 , . . . , d(x) en , ((x))}

(3.1)

seja positiva em Rn+1 , i.e., a matriz A (x) cujas n + 1 colunas so os vetores a indicados tem determinante positivo. Essa definio no depende
da escolha da parametrizao positiva . De fato, se : V (V ) outra 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


J( 1 ) 0
A=
.
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
43

conexa de p em M que a imagem inversa f 1 (c) de um valor regular. Assim,

em V , est definido um campo normal unitrio contnuo : V Rn+1 dado
por (p) = gradf (p)/kgradf (p)k. Se : U (U ) uma parametrizao
positiva de M , com U conexo, ou se tem


det d(x) e1 , . . . , d(x) en , ((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 Rn+1 . Basta considerar o campo posio : S n Rn+1 dado por
(p) = p. O campo contnuo e, pelo Exerccio 1.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 , definida pelo campo
posio (p) = p, de acordo com o Teorema 3.2.14, faz com que uma base
{v1 , . . . , vn } de Tp S n seja positiva se, e somente se, {v1 , . . . , vn , p} uma
base positiva de Rn+1 , ou seja, se, e somente se det(v1 , . . . , vn , p) > 0, onde
(v1 , . . . , vn , p) a matriz (n + 1) (n + 1) cujas colunas esto a indicadas.
Portanto, escolhida uma base positiva {v1 , . . . , vn } de Tp S n , o isomorfismo
dA(p) = id preserva orientao se, e somente se,
det(v1 , . . . , vn , p) = (1)n+1 det(v1 , . . . , vn , 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 Rn+1 orientvel. O leitor interessado em
maiores detalhes pode consultar o livro [11, p. 433].

Exerccios
1. Mostre que o produto M N de duas superfcies orientvel se, e somente
se, cada uma das superfcies M e N orientvel.
44

2. Prove que numa superfcie orientvel conexa existem, exatamente, duas

possveis orientaes.
3. Dado uma funo diferencivel f : U R, definida no aberto U Rn ,
o gradiente de f no ponto x U , denotado por gradf (x), o vetor em Rn
definido por
hgradf (x), vi = df (x) v,
para todo v Rn . Se c R valor regular para f , prove que gradf (p)
ortogonal a Tp M , para todo p M = f 1 (c).
4. Sejam f : Rm Rn uma aplicao diferencivel e c Rn um valor regular
para f . Prove que M = f 1 (c) uma superfcie orientvel.
5. Seja f : M N um difeomorfismo local. Prove que se N uma superfcie
orientvel ento o mesmo vale para M .
6. Considere a aplicao f : S n R Rn+1 definida por f (x, t) = et x.
Prove que f um difeomorfismo do cilindro S n R sobre o aberto Rn+1 \{0}
de Rn+1 , e conclua da que S n orientvel.
7. Considere uma superfcie M que admite um atlas formado por duas parametrizaes : 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 R6 .

45

3.3

Superfcies com fronteira

Nesta seo ampliaremos o conceito de superfcie, de modo a incluir, por

exemplo, as bolas fechadas de Rm . O ponto de partida admitir que as
parametrizaes sejam definidas no apenas em abertos de Rm mas tambm
em abertos de semi-espaos.
Um semi-espao em Rm um conjunto do tipo
H = {x Rm : (x) 0},
onde : Rm R um funcional linear no-nulo. A fronteira de H, denotada
por H, definida como sendo o hiperplano
H = {x Rm : (x) = 0}.
Assim, H um subespao vetorial de dimenso m 1 em Rm . O semiespao H unio disjunta H = int(H) H do seu interior em Rm com a
sua fronteira. Os subconjuntos abertos A H so de dois tipos:
(i) A int(H);
(ii) A H 6= .
No primeiro caso, A tambm aberto em Rm enquanto que no segundo caso
A no aberto em Rm , pois nenhuma bola aberta com centro num ponto
x H pode estar contida em H.
A fronteira de um subconjunto aberto A H , por definio, o conjunto
A = A H. Observemos que A uma hipersuperfcie em Rm . De fato,
como A aberto em H, temos A = U H, com U Rm 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 Rn , definida
num subconjunto X Rm , dita diferencivel quando a restrio de uma
aplicao diferencivel F : U Rn , definida num aberto U Rm . Em geral,
a diferencial de uma aplicao diferencivel f : X Rn num ponto x X
no est bem definida, 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 Rm e f : A Rn
diferencivel ento, para cada x A, a diferencial df (x) : Rm Rn est
bem definida.
46

A fronteira de um subconjunto aberto A H invariante por difeomorfismos.

Proposio 3.3.2. Sejam A H e B K subconjuntos abertos em semiespaos de Rm , e f : A B um difeomorfismo. Ento f (A) = B. Em
particular, f |A um difeomorfismo entre as hipersuperfcies A e B.
Demonstrao. Dado um ponto x int(A), considere um aberto U Rm tal
que x U A. Restrito a U , f um difeomorfismo sobre sua imagem f (U ),
que aberto em Rm pelo teorema da aplicao inversa. Como f (U ) B,
segue-se que f (x) int(B). Isso significa que f (int(A)) int(B), logo
f 1 (B) A. Analogamente se mostra que f (A) B. Portanto,
f (A) = B.
Definio 3.3.3. Um subconjunto M Rn chama-se uma superfcie com
fronteira de dimenso m se, para todo ponto p M , existe uma parametrizao : U (U ) de M , com p = (x), tal que U aberto em algum
semi-espao H de Rm .
Lema 3.3.4. Sejam : U (U ) e : V (V ) parametrizaes de
uma superfcie com fronteira M m Rn , com (U ) (V ) 6= . Ento, a
mudana de parametrizao 1 um difeomorfismo.
Demonstrao. Dado um ponto qualquer x 1 ((U ) (V )), sejam
p = (x) e y = 1 (p). Sabemos que se estende a uma aplicao diferencivel G : Z Rn , definida num aberto Z Rm , contendo o ponto y.
Como dG(y) injetora, segue da forma local das imerses que, restringindo
Z se necessrio, G um homeomorfismo de Z sobre sua imagem e o homeomorfismo inverso a restrio a G(Z) de uma aplicao diferencivel F num
aberto de Rn . Assim, pondo A = 1 (G(Z)), segue que A um aberto num
semi-espao de Rn , 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.
Definio 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 .
47

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 6= . 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
m 1.
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 = (x1 , . . . , xm ). 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 Rm1 contendo (x1 , . . . , xm1 ), um intervalo I = (a, a+)
e um difeomorfismo : W I 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 Rm o semi-espao H,
formado pelos pontos cuja ltima coordenada a. Sejam V = (W I)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 , definida na
superfcie com fronteira M , com m n. O teorema seguinte o resultado
anlogo ao da Proposio 2.1.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 .
48

Demonstrao. Como superfcie um conceito local, basta considerar o caso

particular de uma aplicao f : H Rn , com valor regular y Rn , onde
H = {(x1 , . . . , xm ) Rm : xm 0}.
Se x f 1 (y) um ponto interior ento, como no Teorema 1.1.7, 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 Rn , definida numa vizinhana U de x em Rm , 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 m n em Rm .
Seja : g 1 (y) R a projeo sobre a ltima coordenada,
(x1 , . . . , xm ) = xm .
Afirmamos 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) : Rm Rn .
Por hiptese, x ponto regular para f |H . Isso implica que este ncleo
um subespao prprio de Rm1 {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 m n, cuja fronteira dada por 1 (0).
Seja M m Rn uma superfcie com fronteira. Da mesma forma como no
caso M = , temos aqui o espao tangente definido em cada ponto p M .
Mais precisamente, dado um ponto p M , considere uma parametrizao
: U (U ) de M , com p = (x). Definimos o espao tangente a M em p,
denotado por Tp M , como a imagem d(x)(Rm ). Observe que, se p M ,
ento U aberto no semi-espao H Rm , com x = 1 (p) H. A
imagem d(x)(H) = Tp (M ) o espao tangente fronteira M no ponto
p. Temos que Tp (M ) Tp M um subespao vetorial de dimenso m 1.
Observao 3.3.9. A definio de Tp M faz uso da parametrizao
: U (U ), com p = (x). Se : V (V ) outra parametrizao de M , com p = (y), ento = 1 um difeomorfismo, com
= , logo d(x) = d(y) d(x). Como d(x) um isomorfismo linear, segue que d(x)(Rm ) = d(y)(Rm ). Portanto, o espao tangente Tp M
independe da parametrizao utilizada para defin-lo.
49

Exerccios
1. Sejam A, B H subconjuntos abertos e f : A B um homeomorfismo.
Mostre que f (A) = B.
2. Prove que vale a regra da cadeia para aplicaes diferenciveis, definidas
em abertos de semi-espaos. Conclua da que, se A, B so abertos nos semiespaos H Rm e K Rn , respectivamente, e f : A B um aplicao
diferencivel, que possui uma inversa tambm diferencivel, ento a diferencial df (x) : Rm Rn um isomorfismo, para todo x Rm . Em particular,
tem-se m = n.
3. Mostre que a bola fechada unitria B n = {x Rn : kxk 1} uma
superfcie com fronteira n-dimensional, cuja fronteira a esfera S n1 .
4. Considere a funo f : R3 R dada por f (x, y, z) = (x2 + 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) R3 : f (x, y, z) c} um toro
slido, i.e., uma superfcie compacta tridimensional, cuja fronteira um
toro bidimensional.

50

3.4

Orientao em superfcies com fronteira

Nesta seo ampliaremos o conceito de orientabilidade para superfcies

com fronteira. A fim de somente simplificar a notao, consideremos o semiespao
H = {(x1 , . . . , xm ) Rm : x1 0}.
Definio 3.4.1. Dizemos que um vetor v Rm aponta para fora do semiespao H Rm se v 6 H, i.e., se v = (v1 , . . . , vm ) ento v1 > 0.
Este conceito invariante por difeomorfismos.
Lema 3.4.2. Seja f : A B um difeomorfismo entre abertos A e B do
semi-espao H Rm . Se um vetor v Rm 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 difeomorficamente A
sobre B. Assim, para cada x A, a diferencial df (x) transforma H
sobre si mesmo. Assim, dado w = (w1 , . . . , wm ) Rm , tem-se df1 (x) w = 0
se, e somente se, w1 = 0, onde f = (f1 , . . . , fm ). Como v aponta para
fora de H, i.e., v1 > 0, basta mostrarmos que df1 (x) v 0. Se t < 0
ento x + tv H, logo para t < 0 suficientemente prximo de zero, temos
x + tv int(A), logo f (x + tv) int(B), i.e., f1 (x + tv) < 0. Para tais
valores de t, temos
f1 (x + tv) f1 (x)
f1 (x + tv)
=
> 0.
t
t
Tomando o limite quando t 0 , obtemos df1 (x) v 0.
Definio 3.4.3. Considere uma superfcie com fronteira M m Rn . Dado
um ponto p M , dizemos que um vetor v Tp M aponta para fora de M
se existe uma parametrizao : U (U ) de M , com U aberto no semiespao H Rm , tal que p = (x) e v = d(x) w, onde w Rm aponta
para fora de H.
Seja : V (V ) outra parametrizao de M , definida no aberto
V H, com p = (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 Definio 3.4.3 independe da escolha da
parametrizao.
Definio 3.4.4. Dizemos que uma superfcie com fronteira M orientvel
se M admite um atlas coerente.
51

Mostraremos agora que se M orientvel ento sua fronteira M tambm

orientvel.
Teorema 3.4.5. Se M m Rn uma superfcie com fronteira orientvel,
ento sua fronteira M tambm orientvel.
Demonstrao. Seja A o conjunto das parametrizaes : U (U ) em
M com as seguintes propriedades:
(a) U conexo;
(b) U aberto no semi-espao H Rm ;
(c) positiva em relao orientao de M .
O conjunto A, acima caracterizado, um atlas em M . De fato, dado uma parametrizao : U (U ), cumprindo (a) e (b), se no for positiva, consideremos o isomorfismo T : Rm Rm , T (x1 , . . . , xm ) = (x1 , . . . , xm1 , xm );
e (U ), onde U
e = T 1 (U ), uma parametrizao
assim, = T : U
cumprindo (a), (b) e (c), o que mostra que A um atlas em M . Denotemos
agora por Ae o conjunto das restries
e = |U , das parametrizaes A
tais que U = U H 6= . Por construo, Ae um atlas em M . Afirmamos que Ae um atlas coerente em M . De fato, sejam
e : U ((U ))
e com ((U )) ((V )) 6= .
e e : V ((V )) parametrizaes em A,
A mudana de coordenadas e = e1
e a restrio do difeomorfismo
= 1 fronteira do seu domnio. Como o atlas A coerente, temos
det(d(x)) > 0 para todo x 1 ((U )(V )). Alm disso, como 1
um difeomorfismo, segue da Proposio 3.3.2 que d( 1 )(x)(H) = H.
Decorre, em particular, que d( 1 )(x) ei = (0, a2i , . . . , ami ) para todo
2 i m. Finalmente, como e1 = (1, 0, . . . , 0) aponta para fora de H,
segue do Lema 3.4.2 que d( 1 )(x) e1 = (a11 , . . . , am1 ) tambm aponta
para fora de H, i.e., a11 > 0. Assim, a matriz de d( 1 )(x) tem a forma

a11
0 ...
0
a21 a22 . . . a2m

d( 1 )(x) = .
..
..
..
.
.
am1 am2 . . . amm
e
com a11 > 0. Segue ento que det(d( 1 )(x)) = a11 det(d(x)),
logo
e
e
det(d(x)) > 0 e, portanto, A coerente. A orientao definida pelo atlas
Ae em M chamada orientao induzida pela orientao de A.

52

Em relao orientao induzida em M por M , uma base {v1 , . . . , vn1 }

de Tp (M ) positiva se, e somente se, para qualquer vetor v Tp M , que
aponte para fora de M , {v, v1 , . . . , vn1 } uma base positiva de Tp M . Em
particular, se v(p) Tp M o vetor unitrio, tangente a M e normal a M
no ponto p, que aponta para fora de M , ento {v1 , . . . , vn1 } Tp (M )
uma base positiva se, e somente se, a base {v(p), v1 , . . . , vn1 } Tp M
positiva.
Exemplo 3.4.6. O intervalo [0, 1] uma superfcie com fronteira de dimenso 1. Mostremos que [0, 1] orientvel. De fato, considere as parametrizaes : [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, A = {, } um
atlas coerente, que define a orientao natural de [0, 1].
Observao 3.4.7. A definio 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 dim M = 0, i.e., M um conjunto de pontos
isolados. Orientar uma superfcie de dimenso zero , por definio, 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 Tp 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 A, 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
e1 , igual a 1, e neste caso, e1 aponta para fora de M . Assim, ao ponto p = 1
atribuimos o sinal +. No ponto p = 0, uma base positiva para Tp M tambm
gerada pelo vetor e1 , 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 A e B, respectivamente, ento o produto M N uma superfcie orientvel (cf. Exerccio
3.2.1). As parametrizaes , onde A e B, constituem um atlas
coerente, que define em M N a orientao produto. De forma mais precisa, a orientao do espao tangente a M N no ponto (p, q) determinada
53

pela exigncia de que {v1 , . . . , vm , w1 , . . . , wn } seja uma base positiva, onde

{v1 , . . . , vm } e {w1 , . . . , wn } so bases positivas de Tp M e Tq N , respectivamente. 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 (M N ) = M N . Basta observar que se
: U (U ) e : V (V ) so parametrizaes para M e N , respectivamente, com U aberto no semi-espao H Rm e V aberto em Rn , ento
U V um aberto no semi-espao H Rn Rm+n , com (U V ) = U V .
Alm disso, se M e N so orientveis, o produto M N uma superfcie
com fronteira orientvel, e a orientao produto definida, como no caso em
que M = N = , pelo atlas P constitudo das parametrizaes ,
onde A 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]) = M0 M1 , onde M0 = M {0} e
M1 = M {1}. Consideremos em M0 e M1 , respectivamente, as orientaes
segundo as quais os difeomorfismos cannicos f0 : M M0 e f1 : M M1 ,
dados por f0 (p) = (p, 0) e f1 (p) = (p, 1), so positivos. Afirmamos que a
orientao induzida na fronteira (M [0, 1]) = M0 M1 , pela orientao
produto de M [0, 1], coincide com a de M1 , e a oposta a de M0 . De fato,
em cada ponto (p, t) M [0, 1], uma base positiva de
T(p,t) (M [0, 1]) = Tp M R,
relativo orientao produto, tem a forma {v1 , . . . , vn , e1 }, onde {v1 , . . . , vn }
uma base positiva de Tp M na orientao de M , e e1 o vetor da base
cannica de R, igual a 1. No ponto t = 1, o vetor e1 aponta para fora de
[0, 1], logo e1 T(p,1) (M [0, 1]) aponta para fora de M [0, 1] no ponto
(p, 1). Como {v1 , . . . , vn , e1 } uma base positiva de T(p,1) (M [0, 1]), segue
que {v1 , . . . , vn } uma base positiva na orientao induzida em (M [0, 1])
no ponto (p, 1), ou seja, em M1 . Por outro lado, e1 aponta para dentro de
[0, 1] no ponto t = 0 e, assim, segue que a mesma base {v1 , . . . , vn } negativa
no ponto (p, 0) M0 .

54

3.5

O teorema do ponto fixo de Brouwer

O teorema de Brouwer estabelece que qualquer aplicao contnua do

disco fechado unitrio Dn Rn sobre si mesmo tem, pelo menos, um ponto
fixo. O teorema usualmente provado usando tcnicas de topologia algbrica. A demonstrao que apresentaremos aqui faz uso apenas dos resultados das sees anteriores e de uma consequncia da classificao das
superfcies unidimensionais.
A menos de difeomorfismos, as nicas superfcies compactas, conexas,
unidimensionais so o intervalo fechado e o crculo. O leitor interessado na
demonstrao desse resultado pode consultar os livros [5] ou [2].
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 finita
de suas componentes conexas, temos o seguinte corolrio:
Corolrio 3.5.2. A cardinalidade da fronteira de qualquer superfcie compacta 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 Dn , que uma superfcie compacta, cuja
fronteira a esfera S n1 . Assim, segue da Proposio 3.5.3 que a aplicao identidade id : S n1 S n1 no pode ser estendida a uma aplicao
diferencivel f : Dn S n1 .
Podemos agora enunciar e provar o Teorema de Brouwer.
55

Teorema 3.5.5 (Verso diferencivel). Qualquer aplicao diferencivel

f : Dn Dn tem, pelo menos, um ponto fixo.
Demonstrao. Suponha que f no tenha ponto fixo. Dado um ponto
x Dn , como f (x) 6= x, os pontos x e f (x) determinam uma reta. Denotemos 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 : Dn 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 determinado 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


t2 kx f (x)k2 + 2tf (x) x f (x) + kf (x)k2 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 : Dn Dn por
uma aplicao diferencivel.
Teorema 3.5.6 (Verso contnua). Toda aplicao contnua f : Dn Dn
tem, pelo menos, um ponto fixo.
Demonstrao. Dado  > 0 existe, pelo teorema de aproximao de Weierstrass (cf. [1, Theorem 7.4.1]), uma aplicao polinomial P1 : Rn Rn tal
que
kP1 (x) f (x)k < 
para todo x Dn . Entretanto, P1 pode transformar pontos do disco Dn em
pontos fora de Dn . A fim de corrigir, considere
P (x) =

1
P1 (x).
1+

A aplicao P transforma Dn sobre Dn e satisfaz kP (x) f (x)k < 2 para

todo x Dn . Suponha ento que f (x) 6= x para todo x Dn . Ento,
56

a funo contnua g(x) = kf (x) xk admite um mnimo c > 0 em Dn .

Escolhendo P como acima, com kP (x) f (x)k < c para todo x Dn , temos
P (x) 6= x para todo x Dn . Assim, P uma aplicao diferencivel do
disco Dn sobre Dn sem pontos fixos, contradizendo o Teorema 3.5.5.

Exerccios
1. Mostre que o Teorema de Brouwer falso para o disco aberto
B n = {x Rn : kxk < 1}.
2 (Teorema de Frobenius). Se as entradas aij de uma matriz A M (n) so
tais que aij 0 para todo 1 i, j n, mostre que A admite um autovalor
no-negativo.

57

Captulo 4

Introduo teoria do grau

4.1

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, definimos o
grau de f da seguinte forma. Seja p M um ponto regular para f , de modo
que df (p) um isomorfismo linear entre os espaos vetoriais orientados Tp M
e Tf (p) N . Definimos 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 , definimos
X
deg(f ; q) =
sign df (p).
pf 1 (q)

Afirmamos 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 fim de
provar a afirmao, consideremos alguns resultados preliminares.
Proposio 4.1.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.1.3.
Seja f 1 (q) = {p1 , . . . , pk }. Pelo teorema da aplicao inversa, existem abertos U1 , . . . , Uk M , com pi Ui , e que podemos supor dois a dois disjuntos,
que so transformados difeomorficamente por f sobre abertos V1 , . . . , Vk em
N , com q Vi 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 pi tal que df (pi ) preserva (inverte)
58

orientao, podemos supor, diminuindo o aberto Ui se necessrio, que df (p)

preserva (inverte) orientao para todo p Ui . Considere ento o subconjunto




V = V1 . . . Vk \ f M \ {U1 . . . Uk }
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 4.1.2. Se uma aplicao diferencivel f : M N admite uma extenso diferencivel F : X N , ento deg(f ; q) = 0 para todo valor regular
q N.
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 finita 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}.
Afirmamos 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 {v1 , . . . , vn+1 } uma base positiva de Tp X, com v1
tangente a A em p. Ento, declaramos o vetor v1 sendo positivo em Tp A se,
e somente se, dF (p) transforma {v2 , . . . , vn+1 } sobre uma base positiva de
Tq N . Denotemos por v1 (p) o nico vetor unitrio, tangente ao arco A no
ponto p, na orientao induzida. Temos que v1 (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 4.1.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.
59

O lema seguinte nos diz que o grau de uma aplicao um invariante

homotpico.
Lema 4.1.3 (Homotopia). Se f, g : M N so duas aplicaes homotpicas, 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 4.1.2, deve ser igual a zero.
Finalmente, podemos enunciar e provar o resultado principal desta seo.
Teorema 4.1.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
difeomorfismo 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),

(4.1)

em virtude do Lema 4.1.3. Por outro lado, como h preserva orientao,

temos:
X
X
deg(f ; y) =
sign df (p) =
sign d(h f )(p)
1
1
pf (y)
p(hf ) (z)
(4.2)
= deg(h f ; z).
Assim, de (4.1) e (4.2), obtemos que deg(f ; y) = deg(f ; z).
Vejamos alguns exemplos.
Exemplo 4.1.5. Se f : M N a aplicao constante, ento deg f = 0.
Exemplo 4.1.6. A aplicao identidade id : M M tem sempre grau igual
a 1. Disso decorre, em particular, que um difeomorfismo f : M M que
inverte orientao (cf. Exerccio 1), onde M fechada, no homotpica
aplicao identidade.
60

Exemplo 4.1.7. Dado 1 i n + 1, considere a reflexo Ri : S n S n em

torno do hiperplano xi = 0, i.e.,
Ri (x1 , . . . , xn+1 ) = (x1 , . . . , xi , . . . , xn+1 ).
Dados p S n e v Tp S n , com v = (v1 , . . . , vn+1 ) Rn+1 , temos
dRi (p) v = (v1 , . . . , vi , . . . , vn+1 ).
No ponto p = (0, . . . , 1, . . . , 0), a base {e1 , . . . , ei1 , ei+1 , . . . , en } positiva
em Tp S n pois, fazendo v = p, a base {e1 , . . . , ei1 , v, ei+1 , . . . , en } positiva
em Rn+1 . No entanto, no ponto q = f (p) = (0, . . . , 1, . . . , 0), a mesma
base {e1 , . . . , ei1 , ei+1 , . . . , en } negativa em Tq S n pois, se v = q, ento
{e1 , . . . , ei1 , v, ei+1 , . . . , en } base negativa em Rn+1 . Disso decorre que
dRi (p) inverte orientao, logo deg Ri = 1.
Exemplo 4.1.8. A aplicao antpoda A : S n S n pode ser escrita como
composta de n + 1 reflexes:
A(p) = p = (R1 R2 . . . Rn+1 )(p).
Assim, usando o Exerccio 2, concluimos que deg A = (1)n+1 . Disso decorre, 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, afirmando que todo campo em S 2n anula-se em algum ponto.
Teorema 4.1.9 (Brouwer). A esfera S n admite um campo de vetores tangente no-nulo em todo ponto se, e somente se, n mpar.
Demonstrao. Seja X : S n Rn+1 um campo de vetores tangente a S n tal
que X(p) 6= 0 para todo p S n . Sem perda de generalidade, podemos supor
e
que X unitrio pois, do contrrio, o campo X(p)
= X(p)/kX(p)k tambm
satisfaz as hipteses. Assim, sendo X unitrio, definimos 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 . Porm, pelo Exemplo 4.1.8, isso s ocorre quando n mpar. Reciprocamente,
se n = 2k 1, a aplicao X : S n Rn+1 , dada por
X(x1 , . . . , x2k ) = (x2 , x1 , x4 , x3 , . . . , x2k , x2k1 )
define um campo de vetores tangente a S n no-nulo em todo ponto.
61

Exerccios
1. Prove que um difeomorfismo 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 considere aplicaes diferenciveis f : M N e g : N P . Prove que vale a
relao deg(g f ) = deg f deg g.
3. Se o grau deg f (resp. deg2 f ) de uma aplicao diferencivel f : M N
no-nulo, prove que f sobrejetora.
4. Sejam M n uma superfcie compacta e f : M S n uma aplicao diferencivel. Prove que deg(f ) = 0.
5. Calcule o grau da funo f : R R dada por f (x) = x2 .
6. Calcule o grau da aplicao f : S 1 S 1 dada por f (z) = z n , com n Z.
7. Seja f : S n S n uma aplicao diferencivel tal que f (p) = f (p), para
todo p S n . Prove que n mpar.
8. Se m < n, prove que toda aplicao diferencivel f : M m S n homotpica aplicao constante.
9. Prove que qualquer aplicao diferencivel f : S n S n com grau diferente de (1)n+1 deve ter um ponto fixo.
10. Sejam f, g : S n S n duas aplicaes diferenciveis no-ortogonais, i.e.,
hf (x), g(x)i =
6 0, para todo x S n . Prove que deg(f ) = deg(g).

62

4.2

Campos vetoriais

Nesta seo iremos somente relembrar as definies bsicas e generalidades dos campos vetoriais definidos em superfcies.
Um campo vetorial X, sobre uma superfcie M Rn , uma aplicao
X : M Rn que associa a cada ponto p M um vetor X(p) Tp M . Se
: U (U ) uma parametrizao de M , podemos escrever
X(p) =

m
X

ai (x)

i=1

(p),
xi

(4.3)

para todo p = (x) (U ). Assim, em cada vizinhana coordenada (U ),

o campo X fica determinado por m funes ai : U R que do, em todo
ponto x U , as m coordenadas de X(p) relativamente base



(p), . . . ,
(p)
x1
xm
de Tp M . Diremos que o campo X diferencivel no ponto p M se as
funes a1 , . . . , am , relativamente parametrizao , so diferenciveis no
ponto x U . Note que essa definio independe da parametrizao escolhida. De fato, se : V (V ) outra parametrizao de M , com
p = (y), e
m
X

X(p) =
bi (y)
(p),
yi
i=1

para todo p = (y), segue do Exerccio 1.2.4 que

bj =

m
X

ai

i=1

yj
,
xi

onde yj = yj (x1 , . . . , xm ) so as expresses da mudana de coordenadas

entre as parametrizaes e . O conjunto de todos os campos vetoriais
diferenciveis, tangentes a M , ser denotado por X(M ).
Definio 4.2.1. Uma curva integral de um campo vetorial X X(M )
uma curva diferencivel : I M , definida num intervalo aberto I R,
tal que 0 (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
63

de (4.3) que:
0 (t) = X((t)) d((t))1 0 (t) = d((t))1 X((t))
m
X
d 1

( )(t) =
(ai 1 )(t) ei .
dt
i=1

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

d 1
( ) = ai 1 ,
dt i
para 1 i m, que constitui um sistema de equaes diferenciais ordinrias
de 1a ordem. O teorema fundamental de existncia e unicidade para solues
de tais sistemas tem a seguinte consequncia neste contexto:
Teorema 4.2.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 definida
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 afirma que a soluo
de um sistema depende diferenciavelmente das condies iniciais, ou seja,
denotando por t 7 (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 curvas integrais esto definidas 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 define uma translao t : M M ao longo das
curvas integrais, dada por t (p) = (p, t), para todo p M .
Proposio 4.2.3. Dado um campo completo X X(M ), as translaes
t : M M , ao longo de suas curvas integrais, so difeomorfismos de M .
Demonstrao. Tem-se, evidentemente, que 0 = id. Afirmamos que
t+s = t s ,
para quaisquer t, s R. Da segue-se que
s t = t s

e t t = t t = id,
64

donde t um difeomorfismo, cujo inverso t . A igualdade t+s = t s

decorre da unicidade da curva integral que tem origem num ponto. Ela
significa 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 fim de provar isso, seja : R M a
curva integral de origem p, (t) = (p, t). Dado t0 R arbitrrio, definimos
: R M pondo (s) = (t0 + s). Devemos provar que a curva integral
de origem (t0 ). Temos (0) = (t0 ). Alm disso, para todo s0 R, temos
d
d
(s0 ) =
(t0 + s) = X((t0 + s0 )) = X((s0 )).
ds
dt
Pela unicidade, a curva integral de origem (t0 ).
Dessa forma, todo campo completo X X(M ) determina um grupo de
difeomorfismos {t : t R}, formado pelas translaes ao longo das curvas
integrais de X. Reciprocamente, dado um grupo a 1-parmetro de difeomorfismos {t : t R} de uma superfcie M Rn , definimos uma aplicao
X : M Rn pondo
d
X(p) = (t (p))(0),
dt
para todo p M . Isso define um campo X X(M ), que tem {t : t R}
como grupo a 1-parmetro associado.

Exemplo 4.2.4. Em R2 , considere o campo X = x x

y y
.
(t) = (x(t), y(t)) uma curva integral de X se, e somente se,

Ento,

dy
dx
=x e
= y.
dt
dt
Assim, devemos ter x(t) = Aet e y(t) = Bet , com A, B R. Portanto, a
curva integral maximal de X, passando pelo ponto p = (p1 , p2 ), dada por
p (t) = (p1 et , p2 et ), para todo t R.

Exerccios
1. Considere um campo X X(Rn ) tal que kX(p)k c, para todo p Rn ,
onde c > 0. Prove que X completo.

2. Determine as curvas integrais em R2 do campo vetorial X = ex y

+
e verifique se o campo completo.

3. Quais curvas integrais do campo X = x2 x

+ y y
esto definidas em todo
R?

4. Determine as curvas integrais em R2 do campo vetorial X = x2 x

+xy y
.

65

4.3

O ndice de um campo vetorial

Nesta seo estudaremos o ndice de uma singularidade isolada de um

campo vetorial definido numa superfcie, como uma aplicao do conceito de
grau, definido anteriormente.
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 influencia fortemente no comportamento 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 : Rn Rn , definido
em Rn , e suponhamos que x0 Rn seja uma singularidade isolada de X.
Escolha um nmero  > 0 tal que X(x) 6= 0, para todo 0 < kx x0 k .
Denotando por Sn1 Rn a esfera centrada em x0 e de raio , a aplicao
G : Sn1 S n1 , dada por
G(x) = X(x)/kX(x)k,

(4.4)

est bem definida, e chamada a aplicao de Gauss associada a X em x0 .

Definio 4.3.1. O ndice do campo X na singularidade isolada x0 , denotado por indx0 (X), definido como o grau da aplicao de Gauss em (4.4).
Observe que, pela invarincia do grau por homotopia, a definio do
ndice no depende da escolha do raio . Esta definio tem um carter
geomtrico bem simples. Para campos X : R2 R2 , o nmero indx0 (X)
simplesmente o nmero de voltas positivas que a aplicao G faz em torno
de S 1 , menos o nmero de voltas negativas.
Observao 4.3.2. No caso de campos X : R2 R2 , 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 S1 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 4.3.3. Podemos construir campos vetoriais cujas singularidades
tm ndice prescrito. Por exemplo, o campo X : R2 R2 , definido por
X(z) = z k , tem uma singularidade isolada na origem, cujo ndice k.
66

Nosso objetivo agora provar que o ndice invariante por difeomorfismos. Faremos uso do seguinte lema.
Lema 4.3.4. Todo difeomorfismo f : Rn Rn , que preserva orientao,
isotpico aplicao identidade.
Demonstrao. Podemos assumir que f (0) = 0. Como a diferencial de f na
origem dada por
f (tv)
df (0) v = lim
,
t0
t
para todo v Rn , natural definirmos uma aplicao F : Rn [0, 1] Rn
pondo
 f (tv)
se t 6= 0
t ,
.
F (v, t) =
df (0) v, se t = 0
Afirmamos que F uma isotopia entre df (0) = F (, 0) e f = F (, 1). De
fato, pondo
f (x) = (f1 (x), . . . , fn (x)),
com x = (x1 , . . . , xn ) Rn , podemos escrever
Z
fi (x) =
0

X
dfi (tx)
dt =
xi
dt
j=1

Definindo ento
Z
hij (x) =
0

fi
(tx)dt.
xj

fi
(tx1 , . . . , txn )dt,
xj

segue que hij so funes diferenciveis e satisfazem

hij (0, . . . , 0) =

fi
(0, . . . , 0),
xj

para quaisquer 1 i, j n. Assim, podemos escrever

F (x1 , . . . , xn , t) =

n
X

xi h1i (tx), . . . ,

i=1

n
X

!
xi hni (tx) ,

i=1

mostrando que F diferencivel. Portanto, f isotpica aplicao linear

df (0). Como f um difeomorfismo positivo, segue que df (0) GL+ (n).
Assim, como GL+ (n) conexo por caminhos, existe uma curva diferencivel
: [0, 1] GL+ (n) tal que (0) = df (0) e (1) = id, ou seja, existe uma
isotopia deformando df (0) sobre a aplicao idendidade.
67

Lema 4.3.5. Dado um difeomorfismo f : Rn Rn , considere campos vetoriais X, Y X(Rn ) que so f -relacionados, ou seja, df (x) X(x) = Y (f (x)),
para todo x Rn . Se x0 uma singularidade isolada de X, ento
indx0 (X) = indf (x0 ) (Y ).
Demonstrao. Assumimos, sem perda de generalidade, que x0 = f (x0 ) = 0.
Se f preserva orientao, segue do Lema 4.3.4 que f isotpica aplicao
identidade. Ou seja, existe uma famlia a 1-parmetro de difeomorfismos
ft : Rn Rn tais que f0 = id, f1 = f e ft (0) = 0, para todo t [0, 1]. Para
cada t [0, 1], consideremos o campo vetorial
Xt = dft X ft1 .
Como x0 = 0 uma singularidade isolada do campo X, o mesmo ocorre com
todos os campos Xt . Em particular, x0 = 0 uma singularidade isolada
de Y . Alm disso, denotando por Gt a aplicao de Gauss associada ao
campo Xt concluimos, em particular, que G0 e G1 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 reflexo R. Neste caso, os campos X e Y esto
relacionados por
Y = R X R1 ,
de modo que as aplicaes de Gauss associadas a X e Y satisfazem a mesma
relao
GY = R GX R1 .
Disso decorre que GY tem o mesmo grau que GX .
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 .
Definio 4.3.6. O ndice do campo X no ponto p, denotado por indp (X),
definido pondo
indp (X) = indx ( X),
onde X o pull-back de X atravs de uma parametrizao de M , com
p = (x). Segue do Lema 4.3.5 que tal ndice est bem definido.
68

Dado uma parametrizao : U (U ) de M , escrevamos

X(p) =

m
X

ai (x)

i=1

(p),
xi

para todo p = (x) (U ), onde ai : U R so funes diferenciveis.

Calculando a diferencial de X num ponto p = (x), obtemos:

m
m
X
X

ai

dX(p) =
(x)
(x) + ai (x) d
(p) .
xj
xi
xi
i=1

j=1

Em particular, se p uma singularidade de X, temos

m
X

ai
(x)
(p).
dX(p) =
xj
xi
i,j=1

Ou seja, na singularidade p = (x), fica associada uma matriz



ai
(x) .
dX(p) =
xj
Disso decorre, em particular, que a diferencial dX(p) pode ser vista como
uma aplicao de Tp M em si mesmo.
Definio 4.3.7. Uma singularidade p M de um campo X X(M ) diz-se
simples se a diferencial dX(p) : Tp M Tp M um isomorfismo.
Observao 4.3.8. Na Definio 4.3.7 exigimos que det(dX(p)) 6= 0 em
relao a uma parametrizao de M , com (x) = p. Esta definio independe da parametrizao pois, se
e outra parametrizao de M , com
e
(y)
e
= p, ento a nova matriz dX(p),
em relao a ,
e dada por
e
dX(p)
= d(x) dX(p) (d)1 (y),
onde a mudana de coordenadas entre e .
e
Proposio 4.3.9. Seja p M uma singularidade simples de um campo
vetorial X X(M ). Ento:

+1, se det(dX(p)) > 0
indp (X) =
.
1, se det(dX(p)) < 0
69

Demonstrao. Como o ndice de X uma caracterstica local, basta mostrarmos que o resultado vlido quando M = Rn . Suponhamos, sem perda
de generalidade, que p = 0 Rn . Assim, X : Rn Rn uma aplicao
diferencivel, com X(0) = 0. Como provado no Lema 4.3.4, a aplicao
F : Rn [0, 1] Rn , dada por

F (v, t) =

X(tv)
t ,

se t 6= 0
,
dX(0) v, se t = 0

uma homotopia entre os campos dX(0) = F (, 0) e X = F (, 1). Disso

decorre, em particular, que X e dX(0) tm o mesmo ndice. Como dX(0)
um isomorfismo, concluimos que ind0 dX(0) = 1, se det(dX(0)) > 0, e
ind0 dX(0) = 1, se det(dX(0)) < 0.
Exemplo 4.3.10. Considere o campo vetorial X : R3 R3 dado por
X(x, y, z) = (y, x, 0).
O campo X tangente a S 2 , logo define 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 R2 , 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 R2 . Alm disso, a diferencial do
campo X, na singularidade (0, 0), dada por


0 1

d( X)(u, v) =
.
1 0
Disso decorre que N e S so singularidades simples do campo X e da Proposio 4.3.9 concluimos que
indN (X) = indS (X) = 1.
Observao 4.3.11. Se n N par, podemos construir, de forma anloga
ao Exemplo 4.3.10, um campo vetorial X X(S n ) cujas nicas singularidades simples so os polos norte e sul, ambos de ndice igual a 1.

70

Exerccios
1. Prove que as singularidades simples de um campo vetorial X X(M ) so
isoladas.
2. Considere os campos vetoriais X, Y, Z, W X(R2 ) dados por
X(x, y) = (x, y), Y (x, y) = (x, y), Z(x, y) = (x, y), W (x, y) = (y, x).
Determine as singularidades dos campos, calcule o ndice de cada singularidade isolada e esboce as curvas integrais de cada campo.

71

4.4

O teorema de Poincar-Hopf e a caracterstica

de Euler

Nesta seo discutiremos aplicaes do teorema de Poincar-Hopf, segundo 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 4.4.1 (Poincar-Hopf). Sejam M uma superfcie compacta e orientada, e X X(M ) um campo vetorial cujas singularidades so todas isoladas. Ento, a soma global dos ndices do campo X um invariante topolgico
da superfcie M . Mais precisamente, se p1 , . . . , pk denotam as singularidades
de X, ento o nmero inteiro
k
X

indpi (X) = (M )

i=1

independe da escolha do campo X, e ser chamado a caracterstica de Euler

da superfcie M .
O Teorema 4.4.1, em dimenso 2, foi provado por H. Poincar em 1885.
A vero geral, como acima apresentado, foi provada por H. Hopf em 1926.
O leitor interessado na demonstrao do Teorema 4.4.1 pode consultar [2]
ou [5]. O principal problema associado a este invariante consiste em calcular
(M ) quando se tm informaes sobre M .
Exemplo 4.4.2. Para a esfera S n , temos:

0, se n mpar
n
.
(S ) =
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 4.3.10 (cf. Observao 4.3.11), 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 4.4.3. Se a dimenso de M mpar, ento (M ) = 0. De fato,
considere um campo vetorial X X(M ), cujas singularidades isoladas sejam

72

p1 , . . . , pr . Observe que estes mesmos pontos so tambm singularidades

isoladas do campo vetorial X. Assim, segue do Teorema 4.4.1 que
r
X

ind(X, pi ) =

i=1

r
X

ind(X, pi ).

(4.5)

i=1

Por outro lado, considere uma parametrizao i : Ui M de M , com

pi i (Ui ). Na vizinhana coordenada i (Ui ), podemos escrever
X(q) =

m
X

aij (q)di (x) ej ,

j=1

para todo q i (Ui ), onde x = 1

i (q). Assim, o ndice do campo X no
ponto pi o sinal do determinante
!
aij
(pi ) ,
det
xk
enquanto que o ndice do campo X no ponto pi o sinal do determinante
!
!
aij
aij
m
det
(pi ) = (1) det
(pi ) .
xk
xk
Assim,
r
X

ind(X, pi ) = (1)

i=1

r
X

ind(X, pi ).

(4.6)

i=1

Como m um nmero mpar, concluimos de (4.5) e (4.6) que

r
X

ind(X, pi ) = 0

i=1

e, portanto, (M ) = 0.
Exemplo 4.4.4. Seja M 2 R3 uma superfcie compacta e nela considere
uma triangulao, i.e., uma coleo de tringulos curvilneos (imagens difeomorfas 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. Definiremos
73

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 difinir X explicitamente, daremos suas curvas integrais. Inicialmente, subdividimos baricentricamente cada tringulo de M , i.e., subdividimos cada tringulo de M em seis outros, traando suas 3 medianas. Em
seguida, enchemos cada tringulo com as linhas integrais do campo, da seguinte 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 4.4.5. Para a esfera S 2 obtemos, em virtude do Exemplo 4.4.4,
que V A+F = 2, que o teorema clssico de Euler para poliedros convexos,
justificando 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 .

74

4.5

O teorema de Morse

Nesta seo apresentaremos um teorema para superfcies M 2 R3 , devido a Marston Morse, relacionando os pontos crticos de uma funo de
Morse com a caracterstica de Euler da superfcie. Inicialmente, relembraremos alguns fatos sobre formas quadrticas.
Uma forma quadrtica em Rn uma funo H : Rn R cujo valor num
vetor v = (v1 , . . . , vn ) dado por
H v =

n
X

hij vi vj ,

i,j=1

onde (hij ) uma matriz simtrica n n. Dado uma funo diferencivel

f : U R, definida no aberto U Rn , temos uma forma quadrtica Hf (x)
associada diferencial segunda de f em x, chamada a forma Hessiana da
funo f no ponto x. Mais precisamente,
Hf (x) v = d2 f (x) v =

n
X
i,j=1

2f
(x)vi vj ,
xi xj

para todo v = (v1 , . . . , vn ) Rn . Como visto na Seo 2.3, a matriz Hessiana


 2
f
(x)
xi xj
tambm ser denotada por Hf (x).
Recordemos tambm que um ponto crtico x U de uma funo diferencivel 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 funo diferencivel f : Rn R so no-degenerados, ento em cada compacto
K Rn existe apenas um nmero finito deles.
Seja H : Rn R uma forma quadrtica. Dizemos que H positiva se
H v > 0 para todo v 6= 0 em Rn . Se H v < 0 para todo v 6= 0, dizemos que
H uma forma quadrtica negativa. Se uma forma quadrtica for positiva
ou negativa, diremos que ela uma forma definida. H ser dita uma forma
quadrtica indefinida se existem vetores v, w Rn tais que H v > 0 e
H w < 0.

75

Observao 4.5.1. Se uma forma quadrtica H definida, ento sua matriz

(hij ) inversvel. De fato, denotemos por T : Rn Rn a transformao
linear cuja matriz, em relao base cannica de Rn , (hij ), ou seja,
H v = hT (v), vi.
Assim, como H definida, tem-se hT (v), vi 6= 0 para todo v 6= 0, logo
T (v) 6= 0 para todo v 6= 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 4.5.2. Sejam f : U R uma funo diferencivel, x U um ponto
crtico de f e Hf (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 definida. Alm disso, se Hf (x) positiva,
x um ponto de mnimo local para f ; se Hf (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 indefinida, e x um ponto de sela.
A partir de agora nos restringiremos superfcies M 2 R3 .
Proposio 4.5.3. Seja p M um ponto crtico de uma funo diferencivel
f : M R. Ento, p ponto crtico no-degenerado para f se, e somente
se, p uma singularidade simples do campo gradf .
Demonstrao. Considere uma parametrizao : U (U ) de M , com
(0, 0) = p, tal que h x 1 (p), x 2 (p)i = 0. Nessa parametrizao, escrevamos

(p) +
(p).
x1
x2
D
E
e x 2 , x 2 = g22 , e lembrando que

gradf (p) =
Pondo

x1 , x1

= g11

hgradf (p), vi = df (p) v,

um clculo simples mostra que podemos escrever
gradf (p) =

(f ) 1

(f ) 1

.
x1
g11 x1
x2
g22 x2
76

Se escolhermos a parametrizao de modo que, no ponto p, tenhamos

g11 (p) = g22 (p) = 1, ento a parte linear do campo gradf dada, nessa
parametrizao, pela matriz
2

(f )
x21
2 (f )
x2 x1

(f )
x1 x2
2 (f )
x22

(0, 0).

Basta observar agora que as afirmaes da Proposio so, ambas, equivalentes ao determinante da matriz acima ser diferente de zero.
Teorema 4.5.4 (Morse). Considere uma funo de Morse f : M 2 R,
definida numa superfcie compacta M 2 R3 . 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 4.5.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 4.5.5 (Reeb). Suponha que a superfcie compacta M 2 R3
admita uma funo de Morse f : M 2 R com 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.

77

Captulo 5

Integrao em Superfcies
5.1

lgebra Multilinear

Nesta seo apresentaremos os fundamentos algbricos necessrios ao estudo das formas diferenciais. Definiremos algumas generalizaes do espao
dual de um espao vetorial E.
Seja E um espao vetorial real de dimenso n. Dizemos que uma aplicao : E . . . E R, definida no produto cartesiano de r fatores iguais
a E, r-linear se linear em cada uma de suas variveis. Denotaremos
por Lr (E) o espao vetorial real formado por todas as aplicaes r-lineares.
Em particular temos L1 (E) = E , onde E denota o espao dual de E.
O produto tensorial de Lr (E) e Ls (E), denotado por , a
aplicao Lr+s (E) definida por
(v1 , . . . , vr , w1 , . . . , ws ) = (v1 , . . . , vr ) (w1 , . . . , ws )
para quaisquer v1 , . . . , vr , w1 , . . . , ws E. Observe que esta operao no
comutativa, porm associativa e distributiva em relao adio.
Proposio 5.1.1. Seja {f1 , . . . , fn } uma base para E . Ento o conjunto
dos produtos tensoriais {fi1 fi2 . . .fir : 1 i1 . . . . ir n} constitui
uma base para o espao Lr (E). Decorre, em particular, que dim Lr (E) = nr .
Demonstrao. Denotando por {e1 , . . . , en } E a base dual de {f1 , . . . , fn },
temos:

1, se j1 = i1 , . . . , jr = ir
fi1 . . . fir (ej1 , . . . , ejr ) =
.
0, nos demais casos

78

Assim, dados v1 , . . . , vr E, com vi =

(v1 , . . . , vr ) =

n
X

aij ej , e Lr (E), temos:

(ej1 , . . . , ejr ) (fj1 . . . fjr ) (v1 , . . . , vr ).

j1 ,...,jr =1

Isso mostra que os elementos fi1 . . . fir geram o espao Lr (E). Alm
disso, tais elementos so linearmente independentes. De fato, considere uma
combinao linear nula
n
X

ai1 ,...,ir fi1 . . . fir = 0.

(5.1)

i1 ,...,ir =1

Aplicando (ei1 , . . . , eir ) a ambos os membros de (5.1), obtemos ai1 ,...,ir = 0

para toda sequncia (i1 , . . . , ir ), provando que os elementos fi1 . . . fir
so linearmente independentes.
Definio 5.1.2. Uma aplicao Lr (E) dita uma r-forma linear se
(v1 , . . . , vr ) = 0 sempre que a sequncia (v1 , . . . , vr ) possuir repeties, ou
seja, existirem i 6= j tais que vi = vj .
Segue do Exerccio 2 que Lr (E) uma r-forma linear se, e somente
se, anti-simtrica. O conjunto das r-formas lineares ser denotado por
Ar (E), que um subespao de Lr (E). Convencionaremos aqui A0 (E) = R.
Exemplo 5.1.3. Todo funcional E uma 1-forma linear, j que no
possvel violar a condio de anti-simetria. Portanto, A1 (E) = E .
Exemplo 5.1.4. O determinante de uma matriz n n pode ser considerado
como uma n-forma linear
det : Rn . . . Rn R
se, para cada v1 , . . . , vn Rn , o nmero det(v1 , . . . , vn ) o determinante da
matriz n n, cujas colunas so os vetores v1 , . . . , vn .
Queremos agora determinar uma base para o espao Ar (E). Denotaremos por Sr o conjunto de todas as permutaes do conjunto {1, 2, . . . , r}.
Uma permutao Sr uma transposio se existe um par (ij) em
{1, 2, . . . , r} tal que (i) = j, (j) = i e (k) = k para todos os demais
ndices k 6= i, j. Toda permutao Sr se escreve como um produto
= 1 . . . t de transposies. Alm disso, se
= 1 . . . t = 1 . . . u ,
79

tem-se t u mod 2, ou seja, a paridade da fatorao de como produto de

transposies sempre a mesma. Uma permutao Sr chamada uma
permutao par (resp. mpar) se se escreve como produto de um nmero
par (resp. mpar) de transposies. O sinal de , denotado por sign ,
definido pondo

+1, se par
sign =
.
1, se mpar
Definio 5.1.5. O alternador de uma aplicao Lr (E) a aplicao
r-linear Alt() definida por
Alt()(v1 , . . . , vr ) =

1 X
sign (v(1) , . . . , v(r) ),
r!
Sr

para quaisquer vetores v1 , . . . , vr E.

Proposio 5.1.6. O alternador satisfaz as seguintes propriedades:
(a) Alt() Ar (E), para toda Lr (E).
(b) Se Ar (E) ento Alt() = .
Demonstrao. (a) Dado uma permutao Sr , seja 0 = (ij), onde
(ij) uma transposio fixada. A fim de simplificao, dados v1 , . . . , vr E,
escrevamos v = (v1 , . . . , vi , . . . , vj , . . . , vr ) e v 0 = (v1 , . . . , vj , . . . , vi , . . . , vr ).
Assim, temos:
Alt()(v 0 ) =
=
=

1 X
sign v(1) , . . . , v(j) , . . . , v(i) , . . . , v(r)
r!
Sr
1 X
sign (v0 (1) , . . . , v0 (i) , . . . , v0 (j) , . . . , v0 (r) )
r!
Sr
1 X
sign 0 (v0 (1) , . . . , v0 (r) )
r! 0
Sr

= Alt()(v),
ou seja, Alt() anti-simtrica, provando que Alt() Ar (E).
(b) Se = (ij), temos
(v(1) , . . . , v(r) ) = sign (v1 , . . . , vr ),

80

pois Ar (E). Agora, como qualquer permutao Sr pode ser expressa

como produto de transposies (ij), a expresso acima vlida para toda
permutao Sr . Assim,
Alt()(v1 , . . . , vr ) =
=

1 X
sign (v(1) , . . . , v(r) )
r!
Sr
1 X
sign sign (v1 , . . . , vr )
r!
Sr

= (v1 , . . . , vr ),
e isso conclui a demonstrao.
Decorre da Proposio 5.1.6 que o alternador pode ser visto como uma
aplicao linear
Alt : Lr (E) Ar (E)
satisfazendo Alt(Alt()) = Alt() para toda Lr (E). Propriedades
adicionais do alternador podem ser encontradas no Exerccio 5.
A fim de determinar a dimenso do espao Ar (E), gostaramos de obter
um resultado anlogo ao da Proposio 5.1.1. Observe, inicialmente, que se
Ar (E) e As (E), o produto tensorial , em geral, no pertence
ao espao Ar+s (E). Em razo disso, introduziremos a noo de produto
exterior de formas lineares. De forma mais precisa,
Definio 5.1.7. O produto exterior de duas formas lineares Ar (E) e
As (E), denotado por , a (r + s)-forma linear definida por
=

(r + s)!
Alt( ).
r!s!

(5.2)

O fato de que Ar+s (E) segue da Proposio 5.1.6. Alm disso,

vale a comutatividade e a distributiva em relao adio. A propriedade
comutativa permite-nos denotar o produto exterior ( ) , bem como
( ), simplesmente por , o mesmo valendo para o produto
exterior de ordem superior 1 2 . . . k .
Considere agora dois funcionais lineares , E . Um clculo simples
mostra que
= .
Disso decorre que
=
81

(5.3)

e
= 0.

(5.4)

A no-comutatividade do produto exterior em A1 (E) = E pode ser

usada para obter algumas relaes no conjunto de geradores para Ar (E).
De fato, dado uma base {f1 , . . . , fn } de E e uma sequncia de ndices
I = (i1 , . . . , ir ) do conjunto {1, 2, . . . , n}, denotemos por fI o produto exterior
fI = fi1 . . . fir .

(5.5)

Assim, se duas sequncias de ndices I e J diferem somente na ordem de seus

ndices, segue de (5.3) que fI = fJ . Alm disso, se pelo menos dois ndices
de I forem iguais, segue de (5.4) que fI = 0. Consequentemente, podemos
descartar alguns produtos em (5.5), considerando apenas aqueles fI para
os quais os ndices da sequncia I foram enumerados em ordem crescente.
Usaremos a notao I = {i1 < . . . < ir }, e diremos que I uma r-lista. Note
n!
que existem, exatamente, r!(nr)!
dessas r-listas.
Podemos ento agora caracterizar a base para o espao Ar (E).
Teorema 5.1.8. Se {f1 , . . . , fn } uma base de E , ento as r-formas lineares
fI = fi1 . . . fir ,

(5.6)

onde I percorre o conjunto de todas as r-listas, constituem uma base para o

n!
espao Ar (E). Decorre em particular que dim Ar (E) = r!(nr)!
.
Demonstrao. Dado uma r-forma Ar (E), segue da Proposio 5.1.1
que
n
X
=
ai1 ,...,ir fi1 . . . fir .
i1 ,...,ir =1

Assim,
= Alt() =

n
X

ai1 ,...,ir Alt(fi1 . . . fir ).

i1 ,...,ir =1

Porm, cada uma das r-formas Alt(fi1 . . . fir ) igual a uma constante
multiplicada por um dos elementos fi1 . . . fir , logo os elementos em (5.6)
geram Ar (E). O fato que as r-formas lineares em (5.6) so linearmente
independentes segue de forma anloga Proposio 5.1.1.
82

Corolrio 5.1.9. O produto exterior satisfaz a seguinte propriedade anticomutativa:

= (1)rs ,

(5.7)

onde Ar (E) e As (E).

Demonstrao. Se I = {i1 < . . . < ir } e J = {j1 < . . . < jr }, segue da
propriedade anti-comutativa (5.3) que
fI fJ = (1)rs fJ fI .
Assim, como os produtos tensoriais fI e fJ geram os espaos Ar (E) e As (E),
respectivamente, a relao (5.7) segue por linearidade.
Observao 5.1.10. Decorre do Teorema 5.1.8 que dim An (E) = 1. Isso
significa que, a menos de uma constante, existe apenas uma n-forma linear
sobre o espao E. Alm disso, quando r > n, temos Ar (E) = {0}.
Exemplo 5.1.11. Vimos no Exemplo 5.1.4 que o determinante uma
n-forma linear em Rn . Assim, devido unicidade, seque que, a menos de
uma constante, o determinante a nica n-forma linear em Rn .
A proposio seguinte mostra que o determinante , a menos de uma
constante, a nica n-forma em qualquer espao vetorial de dimenso n.
Proposio 5.1.12. Dados An (E) e uma base {v1 , . . . , vn } de E, temos
(w1 , . . . , wn ) = det(aij ) (v1 , . . . , vn ),
para quaisquer w1 , . . . , wn E, onde aij a matriz tal que wi =

(5.8)
P

aij vj .

Demonstrao. Considere a aplicao Ln (Rn ) definida por

X

X
((a11 , . . . , a1n ), . . . , (an1 , . . . , ann )) =
a1j vj , . . . ,
anj vj .
O fato que alternada em E implica que alternada em Rn , i.e.,
An (Rn ). Assim, pelo Exemplo 5.1.11 segue que = det, para algum
R. Alm disso,
= (e1 , . . . , en ) = (v1 , . . . , vn ),
onde {e1 , . . . , en } a base cannica de Rn , provando a igualdade (5.8).
83

Observao 5.1.13. Segue da Proposio 5.1.12 que uma n-forma linear

no-nula An (E) divide as bases de E em dois grupos disjuntos, aquelas
para os quais (v1 , . . . , vn ) > 0 e aquelas para os quais (v1 , . . . , vn ) < 0. Se
v1 , . . . , vn ePw1 , . . . , wn so duas bases de E e A = (aij ) a matriz definida
por wi =
aij vj , ento as bases v1 , . . . , vn e w1 , . . . , wn esto no mesmo
grupo se, e somente se, det A > 0. Esse critrio, que independe de , pode
ser usado para definir a noo de orientao no espao vetorial E.
Exemplo 5.1.14 (Elemento de volume). Suponha que o espao vetorial
E esteja orientado e munido de um produto interno h,i. Definiremos uma
n-forma linear , chamada o elemento de volume de E, da seguinte forma.
Fixe uma base ortonormal positiva {e1 , . . . , en } E. Dados v1 , . . . , vn E,
escrevamos
n
X
vj =
aij ei ,
i=1

para cada 1 j n. Denotando por A = (aij ) a matriz assim obtida,

definimos
(v1 , . . . , vn ) = det A.
Do Exemplo 5.1.4 segue que An (E). Resta mostrar que independe da
escolha da base de E. Para isso, considere a matriz de Gramm g = (hvi , vj i).
Como
* n
+
n
n
X
X
X
aki ek ,
asj es =
aki akj ,
hvi , vj i =
k=1

At

s=1

k=1

At

segue que g =
A, onde
denota a transposta da matriz A. Assim,
det g = (det A)2 . Decorre, em particular, que det g 0, sendo det g = 0 se,
e somente se, v1 , . . . , vn so linearmente dependentes. Concluimos ento que
q
(v1 , . . . , vn ) = det(hvi , vj i),
(5.9)
onde o sinal + ou o sinal de det a. Portanto, (v1 , . . . , vn ) > 0 quando
os vetores v1 , . . . , vn formam, nesta ordem, uma base positiva para E e
(v1 , . . . , vn ) < 0
se a base v1 , . . . , vn negativa. Alm disso, a igualdade
(v1 , . . . , vn ) = det g mostra que a definio de independe da escolha
de uma base para E.
Observao 5.1.15. No caso particular em que E = Rn , o nmero | det A|
o volume do paraleleppedo que tem como arestas os vetores v1 , . . . , vn , de
modo que (v1 , . . . , vn ) o volume orientado desse paraleleppedo, i.e., um
volume dotado sinal.
84

Para cada aplicao linear : E F , associamos uma nova aplicao

linear : F E , chamada a transposta de , definida por
(f )(v) = f ((v))
para quaisquer f F e v E. A noo de transposta se generaliza no
contexto de formas lineares.
Definio 5.1.16. Para cada r, a aplicao linear : E F determina
uma aplicao linear : Ar (F ) Ar (E) definida por
()(v1 , . . . , vr ) = ((v1 ), . . . , (vr )),
para quaisquer Ar (F ) e v1 , . . . , vr E. A r-forma linear () chama-se
o pull-back de para o espao E atravs de .

Exerccios
1. Prove que o produto tensorial satisfaz as seguintes propriedades:
(a) ( + ) = + ,
(b) ( + ) = + ,
(c) ( ) = ( ) = ( ),
(d) ( ) = ( ).
2. Mostre que uma aplicao Lr (E) uma r-forma linear se, e somente
se, anti-simtrica.
3. Se v1 , . . . , vr E so vetores linearmente dependentes, mostre que
(v1 , . . . , vr ) = 0 para toda r-forma linear Ar (E). Dualizando, se
f1 , . . . , fr E so funcionais lineares linearmente dependentes, mostre que
f1 . . . fr = 0.
4. Se r > dim E, mostre que Ar (E) = {0}.
5. Prove que o alternador satisfaz as seguintes propriedades adicionais:
(a) Se Lr (E) tal que Alt() = 0, ento, para qualquer Ls (E),
Alt( ) = 0 = Alt( ).
(b) Alt (Alt( ) ) = Alt( ) = Alt ( Alt( )) para
quaisquer Lr (E), Ls (E) e Lk (E).
85

6. Prove que o produto exterior satisfaz as seguintes propriedades:

(a) ( + ) = + ,
(b) ( + ) = + ,
(c) () = () = ( ),
(d) Para quaisquer Ar (E), As (E) e Ak (E), tem-se:
( ) = ( ) =

(r + s + k)!
Alt( ).
r!s!k!

7. Sejam f1 , . . . , fn E e v1 , . . . , vn E. Mostre que

fi1 . . . fir (vi1 , . . . , vir ) = det(fi (vj )).
Em particular, se {f1 , . . . , fn } base de E , dual base {v1 , . . . , vn } E,
ento f1 . . . fn (v1 , . . . , vn ) = 1.
8. Sejam {fi }, {hi } bases de E , duais s bases {f i } e {hi }, respectivamente,
de E. Mostre que


f1 . . . fn = det fi (hj ) h1 . . . hn .
9. Dado um operador linear T : E E, considere sua transposta
T : An (E) An (E). Mostre que T simplesmente a multiplicao por
uma constante c. possvel saber quem a constante c?
10. Sejam E um espao vetorial orientado e T : Rn E um isomorfismo
linear positivo. No espao E, considere o produto interno induzido de Rn ,
i.e., T = h, i. Se denota a forma de volume de E, mostre que T = det.
11. Prove a identidade de Lagrange: se A = (aij ) uma matriz de ordem
n r, com n r, mostre que
X
det(At A) =
(det(aI )) ,
I

onde I percorre todas as sequncias com r elementos do conjunto {1, 2, . . . , n}

e aI a matriz r r obtida de a escolhendo-se as r linhas cujos ndices
pertencem a I.

86

12. Considere bases {e1 , . . . , en } e {f 1 , . . . , f n } para um espao vetorial E,

com respectivas bases duais {e1 , . . . , en } e {f1 , . . . , fn }, relacionadas por
ej =

n
X

aij f i

e fi =

i=1

n
X

aij ej .

j=1

(a) Se I e J so r-listas, com

fI =

IJ eJ ,

e indicando com aIJ a submatriz r r que consiste em selecionar da

matriz (aij ) cada elemento aij tal que i I e j J, prove que
IJ = det(aIJ ).

(5.10)

(b) Se uma forma linear Ar (E) admite expresses

X
X
=
J e J e =
I fI ,
J

em relao s bases {eJ } e {fI }, prove que

X
J =
det(aIJ )I .

(5.11)

(c) Conclua, usando a Observao 5.1.10, que se uma n-forma linear em

E se escreve, em termos das bases {eI } e {fJ }, como
= e1 . . . en = f1 . . . fn ,
ento = det(aij ).
13. Prove que a aplicao : Ar (F ) Ar (E) satisfaz as seguintes propriedades operatrias:
(a) ( + ) = () + (),
(b) ( ) = (), R,
(c) ( ) = () ().
14. Considere bases {e1 , . . . , em } E e {f 1 , . . . , f n } F , e suas respectivas
bases duais {e1 , . . . , em } E e {f1 , . . . , fn } F .
87

(a) Se A = (aij ) denota a matriz nm de uma aplicao linear : E F ,

mostre que
m
X

(fi ) =
aij ej , 1 i n.
j=1

(b) Se I e J so r-listas, mostre que

X
(fI ) =
det(aIJ )eJ .

(5.12)

Conclua da que, dado uma forma linear Ar (F ), escrita como

X
=
I fI ,
I

tem-se
() =

I det(aIJ )eJ .

(5.13)

I,J

(c) Na situao particular em que m = n = r, mostre que

(f1 . . . fn ) = det A e1 . . . en .
Conclua da que, na situao mais particular, quando : E E
um operador linear, o operador linear induzido : Ar (E) Ar (E)
dado por
() = det A
para qualquer Ar (E).

88

5.2

Formas diferenciais

Nesta seo estudaremos o conceito de formas diferenciais de grau r,

que sero os integrandos das integrais em superfcies. Grosso modo, o que
faremos aqui globalizar os conceitos estudados na seo anterior, ou seja, estudaremos objetos definidos numa superfcie que produzem, em cada ponto,
uma r-forma linear no respectivo espao tangente.
Definio 5.2.1. Uma forma diferencial de grau r em uma superfcie M n
uma aplicao que, a cada ponto p M , associa uma r-forma linear
(p) Ar (Tp M ).
Com as operaes usuais de soma e multiplicao por escalar
( + )(p) = (p) + (p),
( )(p) = (p),
o conjunto das formas diferenciais de grau r torna-se um espao vetorial
real. Uma forma diferencial de grau zero simplesmente uma funo real
: M R.
Seja : U (U ) uma parametrizao de M . Em cada ponto p = (x)
do aberto (U ) em M , temos a base {d(x) e1 , . . . , d(x) en } do espao
tangente Tp M . Denotaremos por
{du1 (p), . . . , dun (p)} (Tp M )
a base dual de Tp M . A parametrizao determina, no aberto (U ) M , n
formas diferenciais de grau 1, denotadas por du1 , . . . , dun . Para cada ponto
p (U ), os funcionais lineares du1 (p), . . . , dun (p) constituem uma base
para o espao dual (Tp M ) .
Para cada r-lista I = (i1 < . . . < ir ), segue do Teorema 5.1.8 que as
r-formas lineares
duI (p) = dui1 (p) . . . duir (p)
constituem uma base para o espao Ar (Tp M ). Alm disso, se uma forma
diferencial de grau r, podemos escrever
X
(p) =
aI (p)duI (p)
(5.14)
I

para todo ponto p (U ), onde as funes aI : (U ) R so chamadas as

funes coordenadas de em relao a .
89

Definio 5.2.2. Dizemos que uma forma diferencial diferencivel se,

em cada vizinhana coordenada de M , as funes coordenadas de , dadas
em (5.14), so diferenciveis.
A Definio 5.2.2 independe da escolha da parametrizao . De fato,
seja : V (V ) outra parametrizao em M , com (U )(V ) 6= . Dado
um ponto p (U )(V ), com p = (x) = (y), temos as respectivas bases
{d(x) e1 , . . . , d(x) en } e {d(y) e1 , . . . , d(y) en }
do espao tangente Tp M . Denotando por (ij ) a matriz da mudana de
coordenadas = 1 entre e , temos:
d(x) ej =

n
X

ij (x) d(y) ei

i=1

(cf. Exerccio 1). Assim, as respectivas bases duais {du1 (p), . . . , dun (p)} e
{dv1 (p), . . . , dvn (p)} se relacionam por
dvi (p) =

n
X

ij duj (p).

(5.15)

j=1

Na vizinhana coordenada (V ), podemos escrever

X
(p) =
bJ (p)dvJ (p),
J

para cada p (V ). Portanto, segue de (5.11) e (5.15)

X
aJ (p) =
det(IJ )bI (p),

(5.16)

ou seja, se as funes coordenadas de numa parametrizao so funes

diferenciveis, ento elas ainda o sero em qualquer outra parametrizao ,
com (U ) (V ) 6= . O conjunto das formas diferenciais de grau r que so
diferenciveis em M ser denotado por r (M ).
Analogamente como definimos o produto exterior de formas lineares, definiremos agora o produto wedge de formas diferenciais.
Definio 5.2.3. Dados duas formas r (M ) e s (M ), definimos
uma forma diferencial de grau r + s, denotada por , pondo
(p) = (p) (p)
para todo p M , onde (p) (p) o produto exterior das formas lineares
(p) e (p). A forma diferencial chamada o produto wedge de e .
90

Analogamente s propriedades satisfeitas pelo produto exterior em formas lineares, temos a seguinte
Proposio 5.2.4. O produto wedge satisfaz as seguintes propriedades:
(a) ( + ) = + ,
(b) ( + ) = + ,
(c) (f ) (g ) = f g( ), para quaisquer f, g C (M ),
(d) = (1)rs ,
(e) ( ) = ( ).
Demonstrao. A verificao de tais propriedades consequncia do fato de
que toda forma diferencial , pontualmente, uma forma linear e, para estas,
as propriedades so verdadeiras.
Seja f : M N uma aplicao diferencivel entre duas superfcies. Dado
uma forma diferencial r (N ), podemos definir uma forma diferencial de
grau r em M , denotada por f , pondo
f (p)(v1 , . . . , vr ) = (f (p))(df (p) v1 , . . . , df (p) vr )
para quaisquer p M e v1 , . . . , vr Tp M . A forma diferencial f chamada o pull-back de atravs de f . Para o caso de formas diferenciais de
grau zero, i.e., funes g C (N ), definimos f g como sendo a funo
diferencivel g f : M R.
Analogamente s propriedades satisfeitas pelo pull-back de aplicaes
lineares, temos a seguinte
Proposio 5.2.5. O pull-back de formas diferenciais, atravs de uma aplicao diferencivel f : M N , satisfaz as seguintes propriedades:
(a) f ( + ) = f + f ,
(b) f ( ) = f f ,
(c) f (g ) = f g f ,
(d) (g f ) = f g , onde g : N P uma aplicao diferencivel.
Demonstrao. A verificao de tais propriedades segue do fato que, pontualmente, a aplicao f um aplicao linear, onde as propriedades se
verificam.
91

Vejamos agora como interpretar o pull-back, atravs de uma aplicao

diferencivel f : M N , em termos de parametrizaes. Dado um ponto
p M , considere parametrizaes : U (U ) de M e : V (V ) de
N , com p (U ) e f ((U )) (V ). Qualquer forma diferencial r (N )
pode ser expressa, no aberto (V ) N , como
X
=
aI dvI .
I

Assim, usando a relao (5.13), obtemos:

X
det(IJ ) (aI f )duI ,
f =

(5.17)

I,J

onde (IJ ) denota a matriz da representao = 1 f de f , em relao

s parametrizaes e .
Vejamos alguns exemplos.
Exemplo 5.2.6. Denotemos por {dx1 , . . . , dxn } a base cannica de (Rn ) ,
dual base cannica {e1 , . . . , en } de Rn . Dado uma forma r (M ),
onde M uma superfcie de dimenso n, considere uma parametrizao
: U (U ) de M . Assim, no aberto (U ) M , podemos escrever
X
=
aI duI .
I

Por outro lado,

dui (x)(ej ) = dui ((x))(d(x) ej ) = ij .
Isso mostra que dui = dxi . Mais geralmente, se I = (ei1 < . . . < eir )
uma r-lista, obtemos:
(x)(ei1 , . . . , eir ) = ((x))(d(x) ei1 , . . . , d(x) eir )
= aI ((x)).
Portanto, concluimos que
=

(aI )dxI .

(5.18)

Observe que, interpretando a parametrizao como uma aplicao diferencivel, a expresso (5.18) simplesmente um caso particular de (5.17).
92

Exemplo 5.2.7. Sejam M e N superfcies, com M N , e i : M N a

aplicao incluso, i(p) = p para todo p M . Se r (N ), ento i
chamada a restrio de a M . Para cada ponto p M , o espao Tp M
um subespao de Tp N e i (p) a restrio de (p) a r-listas de vetores
pertencentes a Tp M . Por exemplo, considere N = R3 e M = {(x, y, 0) R3 }.
Se = dx dz, ento i = 0.
Exemplo 5.2.8. Seja M n uma superfcie orientada. Assim, cada espao
tangente Tp M est munido de uma orientao, induzida por parametrizaes positivas : U (U ), com p (U ). Alm disso, podemos induzir
o produto interno Euclidiano em cada Tp M . Dessa forma, podemos introduzir uma forma de volume na superfcie M , da seguinte forma. Para
cada ponto p M , definimos (p) sendo a forma de volume do espao
Tp M , como no Exemplo 5.1.14. Ou seja, dados v1 , . . . , vn Tp M , o nmero
(p)(v1 , . . . , vn ) representa o volume orientado do paraleleppedo gerado pelos vetores v1 , . . . , vn . Observe que, em relao parametrizao , temos
(p) = a(p)du1 (p) . . . dun (p),
em cadap
ponto p = (x). Usando a expresso de , dada em (5.9), obtemos
a(p) = g(p), onde g(p) = det(gij (p)) e gij (p) = hd(x) ei , d(x) ej i.
Portanto, concluimos que
p
(p) = g(p)du1 (p) . . . dun (p).
(5.19)
Isso mostra que diferencivel, ou seja, n (M ).
Exemplo 5.2.9. No caso particular em que n = 2, usual denotar por
E = hd(x) e1 , d(x) e1 i,
F

= hd(x) e1 , d(x) e2 i,

G = hd(x) e2 , d(x) e2 i.
Assim, a forma de rea da superfcie M se escreve como
p
= EG F 2 du1 du2 .
Finalizaremos esta seo analizando a relao entre orientabilidade e formas diferenciais de grau mximo numa dada superfcie.
Proposio 5.2.10. Uma superfcie M n orientvel se, e somente se, existe
uma forma diferencial contnua de grau n, definida em M , tal que (p) 6= 0
para todo p M .
93

Demonstrao. Se M orientvel, basta considerar a forma de volume

dada em (5.19). Reciprocamente, suponha que exista uma forma diferencial
contnua de grau n em M , tal que (p) 6= 0 para todo p M . Denotemos
por A o conjunto formado por todas as parametrizaes : U (U ) de
M , com U conexo, tal que para todo p (U ) tem-se
(p) = a(p)du1 (p) . . . dun (p),
com a(p) > 0, para algum p (U ). Como a contnua e (U ) conexo,
tem-se a > 0 em (U ). O conjunto A, assim construdo, um atlas em
M . Alm disso, se : U (U ) e : V (V ) pertencem a A, com
(U ) (V ) 6= , segue de (5.16) que
a(p) = det(d( 1 )(x))b(p)
para todo p (U ) (V ) e x = 1 (p). Como a(p) > 0 e b(p) > 0, segue
que det(d( 1 )(x)) > 0 para todo x 1 ((U ) (V )), logo o atlas
A coerente.

Exerccios
1. Sejam : U (U ) e : V (V ) parametrizaes em M , com
(U ) (V ) 6= . Em cada ponto p (U ) (V ), com p = (x) = (y),
considere as respectivas bases {d(x) ei } e {d(y) ej } do espao tangente
Tp M . Mostre que
d(x) ej =

n
X

ij (x) d(y) ei ,

i=1

onde (ij ) denota a matriz da mudana de coordenadas = 1 .

2. Sejam , 1 (R3 ). Se (x) 6= 0 para todo x R3 e = 0, mostre
que = f , onde f : R3 R uma funo diferencivel.
3. Seja f : M N um difeomorfismo entre as superfcies M e N . Mostre
que o pull-back
r (N ) 7 f r (M )
define uma correspondncia biunvoca entre as formas diferenciais dos espaos r (M ) e r (N ).

94

5.3

A derivada exterior

O objetivo desta seo estender a noo de diferencial de uma aplicao diferencivel, ou seja, definiremos uma aplicao d que transforma cada
forma diferencial de grau r numa forma diferencial de grau r + 1.
Dado uma funo diferencivel f : Rn R, a diferencial de f num ponto
x Rn pode ser expressa como
df (x) =

n
X
f
(x)dxi ,
xi
i=1

onde {dx1 , . . . , dxn } (Rn ) denota a base dual da base cannica de Rn .

Observe que df (x) A1 (Rn ) para todo x Rn e, como f diferencivel, as
f
funes coordenadas x
so diferenciveis. Isso mostra que a diferencial df
i
da funo f uma forma diferencial de grau 1, i.e., df 1 (Rn ). Portanto,
a cada forma diferencial de grau zero f C (Rn ), podemos associar uma
forma diferencial de grau 1 df 1 (Rn ). Note que este argumento no
s vale para funes definidas em Rn como tambm para funes definidas
numa superfcie M .
Consideremos inicialmente uma forma r (U ), onde U um aberto
de Rn . Podemos ento escrever
X
=
aI dxI ,
I

onde as funes coordenadas aI : U R so diferenciveis. Definimos uma

forma diferencial de grau r + 1 no aberto U , denotada por d, pondo
X
d =
daI dxI
I

n
XX
aI
I

onde

i=1

xi

(5.20)
dxi dxI ,

aI
(x) = daI (x) ei .
xi

Como as funes aI so diferenciveis, tem-se d r+1 (U ).

Definio 5.3.1. A forma diferencial de grau r + 1, dada em (5.20),
chamada a derivada exterior de .
95

Exemplo 5.3.2. Se f uma forma diferencial de grau zero, i.e., f : Rn R

uma funo diferencivel, ento
n
X
f
dxi .
df =
xi
i=1

Ou seja, a derivada exterior de uma funo diferencivel f : Rn R coincide

com a diferencial de f .
Exemplo 5.3.3. Se 1 (Rn ), com
=

n
X

ai dxi ,

i=1

ento
d =

n
X

n
X
ai
dai dxi =
dxj dxi
xj

i=1

i,j=1

X ai
X ai
=
dxj dxi +
dxj dxi
xj
xj
j<i

i<j

X aj

X ai
dxj dxi
dxi dxj
=
xi
xj
i<j
i<j

X  aj
ai
=

dxi dxj .
xi
xj
i<j

Proposio 5.3.4. A derivada exterior satisfaz as seguintes propriedades:

(a) d( + ) = d + d.
(b) d( ) = d + (1)r d.
(c) d2 = 0, i.e., d(d) = 0.
Demonstrao. Para provarmos o item (a), sejam , r (U ), com
X
X
=
aI dxI e =
bI dxI .
I

Ento:
d( + ) =

d(aI + bI ) dxI =

X
(daI + dbI ) dxI
I

daI dxI +

X
I

96

dbI dxI = d + d.

Para provar o item (b) basta, em virtude do item (a), considerar o caso em
que = f dxI e = gdxJ , onde I uma r-lista e J uma s-lista. Como
= f gdxI dxJ , temos:
d( ) = d(f g) dxI dxJ
= (df g) dxI dxJ + (f dg) dxI dxJ
= df dxI (gdxJ ) + (1)r f dxI (dg dxJ )
= d + (1)r d,
provando o item (b). Finalmente, para provar o item (c), consideremos,
como no item (b), o caso em que = f dxI . Temos
d = df dxI =

n
X
f
dxi dxI ,
xi
i=1

de modo que
d(d) =

n
X
i=1

n
2
X
f

dxj dxi dxI .

xj xi
j=1

Porm, na soma acima, os termos

2f
dxj dxi dxI
xj xi

2f
dxi dxj dxI
xi xj

cancelam-se aos pares, em virtude do Teorema de Schwarz, logo d(d) = 0

para toda forma r (U ). Portanto, d2 = 0.
A proposio seguinte relaciona o pull-back da derivada exterior.
Proposio 5.3.5. Sejam f : U Rm uma aplicao diferencivel, definida
no aberto U Rn , e r (Rm ). Ento
d(f ) = f (d).
Demonstrao. Provemos por induo em r. Se r = 0, ento : Rm R
uma funo diferencivel. Ento, dados x U e v Rn , segue da Regra da
Cadeia, que
d(f )(x)(v) = d( f )(x)(v) = d(f (x)) df (x) v
= f (d)(x)(v).
97

Logo, d(f ) = f (d). Suponha agora o resultado vlido para formas de

grau r e seja uma forma de grau r + 1. Devido linearidade de d, podemos
supor que = aI dxI , onde I uma (r + 1)-lista. Temos:
d(f ) = d(f (aI dxI )) = d(f (aI dxi1 . . . dxir+1 ))
= d(f (aI dxi1 . . . dxir ) f (dxir+1 ))
= d(f (aI dxJ )) f (dxir+1 ) + (1)r f (aI dxJ ) d(f (dxir+1 )),
onde J = (i1 < . . . < ir ). Porm,
f (dxir+1 ) = d(f xir+1 ) = d(xir+1 f ).
Assim,
d(f (dxir+1 )) = d(d(xir+1 )) = 0.
Portanto, usando a hiptese indutiva, temos:
d(f ) = d(f (aI dxi1 . . . dxir )) f (dxir+1 )
= f (d(aI dxJ )) f (dxir+1 )


= f d(aI dxJ ) dxir+1
= f (d(aI dxI )) = f (d),
como queramos.
As consideraes feitas sobre a derivada exterior em Rn permitem-nos
definir a derivada exterior numa superfcie M . Dado uma parametrizao
: U (U ) em M , o pull-back
r ((U )) 7 r (U )
nos d uma bijeo entre as formas diferenciais definidas no aberto
(U ) M e as formas diferenciais definidas no aberto U Rn . Assim,
dado uma forma diferencial r (M ), existe uma nica forma diferencial
d de grau r + 1, definida no aberto (U ), tal que
(d ) = d( ).
Observe que, se
=

aI duI

no aberto (U ) ento, em virtude do Exemplo 5.2.6, temos

X
=
aI dxI .
I

98

(5.21)

Assim,
d( ) =

daI dxI .

Portanto, a igualdade (5.21) significa que

X
d =
daI duI .
I

Gostaramos de concluir que d independa da parametrizao . Para

isso, seja : V (V ) outra parametrizao em M , com (U ) (V ) 6= .
Fazendo = 1 , temos = e, assim, = . Portanto, na
interseo (U ) (V ), temos:
(d ) = (d ) = d( ) = d( )
= d( ) = (d ),
ou seja, d = d em (U ) (V ).
Definio 5.3.6. A derivada exterior de uma forma r (M ) a forma
diferencial de grau r + 1 em M , denotada por d, cujo valor em cada ponto
p M dado por d(p) = d (p), onde qualquer parametrizao de
M , com p = (x).

Exerccios
1. Seja n1 (Rn ) dada por
=

n
X
(1)i+1 ai dx1 . . . b
dxi . . . dxn .
i=1

Mostre que
d =

n
X
ai
i=1

xi

!
dx1 . . . dxn .

2. Dizemos que uma forma r (M ) fechada se d = 0; dizemos que

exata se existe r1 (M ) tal que = d. Mostre que toda forma
exata fechada.
3. Mostre que a forma de volume em Rn exata.
4. Sejam 1 (R2 {(0, 0)}) dada por
1
(xdy ydx),
= 2
x + y2
e f : U R2 a aplicao definida por f (r, ) = (r cos , r sin ), onde
U = {(r, ) : r > 0 e 0 < < 2}. Mostre que f = d.
99

5.4

Integrais de superfcies

O objetivo desta seo discutir a noo de integrao em superfcies,

e veremos que os integrandos apropriados so as formas diferenciais. O que
est por trs o teorema de mundaa de variveis em Rn .
O suporte de uma forma diferencial r (M ), denotado por supp ,
o fecho do conjunto dos pontos p M tais que (p) 6= 0. Assim, p supp
significa que toda vizinhana de p contm pontos q tais que (q) 6= 0. Por
outro lado, p 6 supp significa que existe alguma vizinhana V de p em M
tal que (q) = 0 para todo q V .
Consideremos inicialmente o caso em que uma forma diferencial contnua de grau n, com suporte compacto, definida num aberto U Rn . Ento,
(x) = a(x)dx1 . . . dxn
para todo x U , onde a : U R uma funo contnua, com suporte
compacto igual a supp . Definimos a integral de sobre o aberto U pondo
Z
Z
=
a,
(5.22)
U

onde K qualquer conjunto compacto J-mensurvel, com supp K; por

exemplo, considere uma cobertura para supp constituda por um nmero
finito de blocos e chame de K a unio desses blocos.
Sejam h : U V um difeomorfismo positivo entre os abertos U, V Rn
e uma forma diferencial contnua de grau n, definida no aberto V . Segue
de (5.17) que
h (x) = a(h(x)) det(dh(x)) dx1 . . . dxn .
Assim, usando o teorema de mudana de variveis, obtemos:
Z
Z
Z
=
a(y)dy =
a(h(x)) det(dh(x))dx
V
K
h1 (K)
Z
=
h .
U

Considere agora uma superfcie orientada M n e seja uma forma diferencial contnua de grau n, com suporte compacto, definida em M , tal que
supp esteja contido na imagem de uma parametrizao positiva
: U (U ) de M . Em termos dessa parametrizao, podemos escrever
(p) = a(p)du1 (p) . . . dun (p)
100

para todo p (U ), onde a funo contnua a : (U ) R tem suporte

compacto, igual a supp . Por definio, pomos
Z
Z
.
(5.23)
=
M

Note que a igualdade (5.23) significa, em virtude de (5.22), que

Z
Z
a ,
=
M

onde K Rn qualquer subconjunto compacto J- mensurvel tal que

supp K U .
Devemos mostrar que a integral de , definida em (5.23), independe
da escolha da parametrizao . Seja ento outra parametrizao positiva
: V (V ) de M , com supp ((U ) (V )), tal que
(p) = b(p)dv1 (p) . . . dvn (p)
para todo p (V ); a funo contnua b : (V ) R tem suporte compacto
igual a supp . Denotemos por = 1 a mudana de coordenadas entre
e . Assim, = e de (5.17), temos
(x) = b(((x))) det(d(x)) dx1 . . . dxn .

(5.24)

Considere um subconjunto compacto J-mensurvel K 1 ((U ) (V )).

Usando o teorema de mudana de variveis e a relao (5.24), obtemos:
Z
Z
Z

=
(b )(y)dy =
b(((x))) det(d(x))dx
V
(K)
K
Z
Z
=
(x)dx =
.
K

Isso mostra que a integral de superfcie M est bem definida, sempre que
seja uma forma diferencial contnua de grau n, com suporte compacto,
contido na imagem de uma parametrizao positiva de uma superfcie orientada M n .
Observao 5.4.1. A escolha de uma orientao para a superfcie M fixa
um sinal para a integral de , o qual muda com a mudana da orientao.
Ou seja, se : U (U ) uma parametrizao negativa de M , qual se
tem
(p) = a(p)du1 (p) . . . dun (p)
101

para todo p (U ), ento

Z

Z
(a )(x)dx =

,
M

onde K qualquer compacto J-mensurvel tal que 1 (supp ) K U .

De fato, compondo com o difeomorfismo h : Rn Rn , que muda o sinal
na primeira coordenada, h(x1 , . . . , xn ) = (x1 , x2 , . . . , xn ), obtemos uma
e (U ), onde U
e = h1 (U ). Em
parametrizao positiva = h : U
relao parametrizao , a forma se escreve como
(p) = a(p)dv1 (p) . . . dvn (p)
para todo p (U ). Como o determinante jacobiano de h tem valor absoluto
igual a 1 em todos os pontos, segue do teorema de mudana de variveis que
Z
Z
Z
(a )(x)dx =
a((h(y)))dy =
(a )(y)dy
K
h1 (K)
h1 (K)
Z
Z
=
a((h(y)))dy =
.
h1 (K)

Observao 5.4.2. Se as formas 1 , . . . , r tm suportes compacto, contidos na mesma vizinhana coordenada (U ), segue da aditividade da integral
no espao Euclidiano que, se = 1 + . . . + r , ento
Z
Z
Z
=
1 + . . . +
r .
M

Queremos agora definir a integral M no caso em que supp um subconjunto compacto qualquer em M . Para isso, consideremos uma partio
da unidade diferencivel
X
i = 1,
i

estritamente subordinada a uma cobertura aberta M = Wi , onde cada Wi

imagem de uma parametrizao positiva i : Ui Wi . Para cada ndice
i, seja i = i . Ento
!
X
X
i =
i = .
i

O suporte de , sendo compacto, tem interseo no-vazia com apenas um

nmero finito de suportes das funes i , pois estes constituem uma famlia
102

localmente finita. Assim,

P i = i = 0, exceto para um nmero finito de
ndices i, ou seja, = i i , na realidade, uma soma finita.
O suporte de cada forma diferencial i est contido na vizinhana coordenada
Wi e, sendo um subconjunto fechado de supp , compacto. Assim,
R

est
bem definida. Definimos, ento,
M i
Z
XZ
=
i .
(5.25)
M

Devemos mostrar que a definio dada em (5.25) independe da partio da

unidade
escolhida. Considere ento outra partio da unidade diferencivel
P
j = 1, estritamente subordinada a uma cobertura aberta M = Vj , onde
cada Vj imagem de uma parametrizao positiva de M . Para cada ndice
j, seja j = j . Seja tambm ij = i j . Temos:

X
X
X
ij =
i j = i
j = i = i .
j

Analogamente, temos
X

ij = j

para qualquer ndice j. Alm disso, para todo ndice i, supp ij Ui e, para
todo ndice j, supp ij Vj . Assim,
Z
Z
XZ
XZ
i =
j =
ij e
ij .
M

Portanto,
XZ
i

i =

XZ

provando que a definio de

lhida.

ij =

X XZ

R
M

!
ij

XZ
j

j ,

independe da partio da unidade esco-

A proposio seguinte resume algumas propriedades da integral de uma

forma diferencial contnua de grau n, com suporte compacto, definida numa
superfcie orientada M n .

103

Proposio 5.4.3. So vlidas as seguintes propriedades:

R
R
R
(a) M ( + ) = M + M .
R
R
(b) Se c R ento M c = c M .
Demonstrao. Estas propriedades so vlidas quando o suporte de est
contido numa vizinhana coordenada. O caso geral segue-se por adio.
Teorema 5.4.4. Sejam M n , N n superfcies orientadas e f : M N um
difeomorfismo positivo. Dado uma forma diferencial n (N ), tem-se
Z
Z

f =
.
M

Demonstrao. Considere uma cobertura aberta M = i Wi , onde cada

Wi imagem de uma parametrizao positiva i : Ui Wi . Assim,
N = f (Wi ), onde
positiva
Pcada f (Wi ) imagem da parametrizao
P f i .
Escrevamos =
i , onde supp i f (Wi ). Assim, f =
f i , com

supp f i Wi para cada ndice i. Disso decorre que:

Z
Z
Z
Z
Z

(f i ) i =
i f i =
f i
i =
i =
Ui
Wi
N
f (Wi )
Ui
Z
f i .
=
M

Portanto,
Z
=

XZ

i =

XZ
i

f i =

X
i

f i =

f ,

como queramos.

Exerccios
1. Seja n (M )R com suporte compacto. Se 0 e (p) > 0, para algum
p M , prove que M > 0.

104

Captulo 6

Teoremas clssicos
6.1

O teorema de Stokes

O objetivo Rcentral dessa seo apresentar um teorema que relaciona

os operadores
e d, sobre as formas diferenciais, e a operao , que a
cada superfcie com fronteira associa sua fronteira. Observe que R uma
operao de natureza totalmente geomtrica, enquanto que d e
so de
natureza analtica. Em dimenso 1, este teorema reproduz, basicamente, o
Teorema Fundamental do Clculo; no caso de dimenso 2 e 3, o teorema
corresponde aos clssicos teoremas de Green, Gauss e Stokes.
Lembremos que se M n uma superfcie com fronteira, ento sua fronteira
M uma superfcie de dimenso n 1. Alm disso, uma orientao na
superfcie M induz uma orientao em M , conforme visto no Teorema
3.4.5.
Teorema 6.1.1 (Stokes). Seja M n uma superfcie orientada com fronteira,
onde M est munida da orientao induzida. Ento, para qualquer forma
diferencial n1 (M ), com suporte compacto, vale a frmula:
Z
Z
d =
i ,
(6.1)
M

onde i : M M denota a aplicao incluso. Alm disso, o lado direito

de (6.1) deve ser interpretado sendo igual a zero caso M = .
Corolrio 6.1.2. Se n1 (M ) tal que supp M = , ento
Z
d = 0.
M

105

Demonstrao. Como supp M = , segue que (p) = 0 para todo

p M . Disso decorre que i = 0, e a concluso segue do Teorema de
Stokes.
Nos exemplos e exerccios a seguir veremos algumas aplicaes do Teorema de Stokes.
Exemplo 6.1.3. Sejam M n uma superfcie compacta, orientada, com
M = , e f, g : M N aplicaes diferenciveis homotpicas. Afirmamos que, para qualquer forma diferencial fechada n (N ), temos
Z
Z

f =
g .
M

De fato, seja F : M [0, 1] N uma homotopia entre f e g. Do Exemplo

??, temos (M [0, 1]) = (M0 )M1 , onde M0 = M {0} e M1 = M {1}.
Como F (p, 0) = f (p) e F (p, 1) = g(p) para todo p M , podemos escrever,
usando o Teorema de Stokes:
Z
Z
Z
Z
Z

g
f =
F
F =
F
M
M
M
M0
(M0 )M1
Z 1
Z
=
F =
d(F )
(M [0,1])
M [0,1]
Z
F d = 0,
=
M [0,1]

pois d = 0.
Exemplo 6.1.4. Seja M R2 uma superfcie compacta de dimenso 2,
com fronteira. Consideremos em M a orientao natural, induzida de R2 . A
forma
1
= (xdy ydx)
2
tal que d = dx dy. Assim, a rea A de M dada por
Z
Z
1
A=
dx dy =
(xdy ydx),
(6.2)
2 M
M
onde a fronteira M tem a orientao induzida de M . Note que o lado direito
de (6.2) simplesmente uma integral curvilnea ao longo da curva M .

106

Exerccios
1. Se M n uma superfcie orientada, compacta, com fronteira, prove que
no existe retrao diferencivel de M sobre M .
2. Seja M uma superfcie compacta, orientvel, com M = . Mostre que
no existe uma homotopia entre a aplicao identidade de M e uma aplicao
constante.
3. Mostre que a aplicao antpoda A : S n S n homotpica aplicao
identidade de S n se, e somente se, n mpar.
4. Mostre, por meio de um exemplo, que o Teorema de Stokes no vlido
para formas diferenciais com suportes no-compacto.

107

6.2

Os teoremas da divergncia, rotacional e Green

Nesta seo reformularemos o Teorema de Stokes nos casos clssicos estudados, tradicionalmente, num segundo curso de Clculo, os quais se referem
integral de um campo de vetores ao longo de uma hipersuperfcie orientada.
Antes de obtermos as frmulas clssicas, discutiremos a forma de volume,
vista no Exemplo 5.2.8, na situao particular em que M uma hipersuperfcie.
Exemplo 6.2.1. Seja M n Rn+1 uma hipersuperfcie orientada. Denotando por : M Rn+1 o campo unitrio de vetores normais, que define a
orientao de M , segue que {v1 , . . . , vn } uma base positiva de Tp M se, e
somente se, det((p), v1 , . . . , vn ) > 0. Por outro lado, como (p) unitrio e
ortogonal a Tp M , o volume do paraleleppedo gerado por vetores arbitrrios
v1 , . . . , vn igual a | det((p), v1 , . . . , vn )|. Assim, se a forma de volume
de M , temos
(p)(v1 , . . . , vn ) = det((p), v1 , . . . , vn )
para quaisquer p M e v1 , . . . , vn Tp M , j que o sinal do determinante
coincide com o da definio de . Desenvolvendo este determinante ao longo
de sua primeira coluna (p) = (1 (p), . . . , n+1 (p)), obtemos:
(p)(v1 , . . . , vn ) =

n+1
X

(1)i+1 i (p) Ai ,

i=1

onde Ai denota o determinante da matriz nn, obtida omitindo-se a i-sima

linha da matriz (n+1)n cujas colunas so v1 , . . . , vn . Como o determinante
Ai dado por
Ai = dx1 . . . b
dxi . . . dxn+1 (v1 , . . . , vn ),
obtemos a seguinte expresso para a forma de volume de M :
(p) =

n+1
X

(1)i+1 i (p)dx1 . . . b
dxi . . . dxn+1 .

i=1

Interpretemos o Exemplo 6.2.1 na situao particular em que M uma

esfera.

108

Exemplo 6.2.2. Seja M n a esfera centrada no ponto a de raio r > 0, i.e.,

M = {x Rn+1 : kx ak = r}.
Para cada ponto p M , consideremos
1
(p) = (p a)
r
a normal unitria, exterior a M . Neste caso, obtemos:
=

n+1
X
i=1

1
dxi . . . dxn+1 .
(1)i+1 (pi ai )dx1 . . . b
r

Quando n = 3 e M R3 a esfera centrada no ponto (a, b, c) e raio r > 0,

a forma de volume de M dada por
1
1
1
= (x a)dy dz + (y b)dx dz + (z c)dx dy.
r
r
r
Sejam M n Rn+1 uma hipersuperfcie orientada e : M Rn+1 o
campo contnuo de vetores normais unitrios, que define a orientao de M .
Dado um campo diferencivel de vetores F : U Rn+1 , onde U Rn+1
um aberto contendo M , definimos a integral do campo F sobre M pondo
Z
Z
F =
hF, i,
M

onde a forma de volume da hipersuperfcie M . A integral

mente chamada o fluxo do campo F atravs de M .

R
M

F usual-

O teorema seguinte, conhecido como Teorema da Divergncia, uma

aplicao do Teorema de Stokes.
Teorema 6.2.3. Seja Rn+1 um domnio compacto com fronteira regular
M n = . Dado um campo diferencivel de vetores F : U Rn+1 , definido
no aberto U Rn+1 contendo , vale a seguinte frmula:
Z
Z
hF, idM =
divF dx,
(6.3)
M

onde : M Rn+1 o campo contnuo de vetores normais unitrios que

define a orientao de M , induzida de , e dM a forma de volume de M .

109

Demonstrao. Observemos inicialmente que uma superfcie compacta

com fronteira, de dimenso n + 1, contida em U . Neste caso, a orientao
de Rn+1 induz, naturalmente, uma orientao em , pois Tx = Rn+1 para
todo x . Assim, sua fronteira M = uma hipersuperfcie compacta,
orientada, em Rn+1 . Escrevendo F = (F1 , . . . , Fn+1 ), definimos uma forma
diferencial F n (U ) pondo
F (x) =

n+1
X

(1)i+1 Fi dx1 . . . b
dxi . . . dxn+1 .

(6.4)

i=1

Seguindo o Exemplo 6.2.1, obtemos

F (x)(v1 , . . . , vn ) = det(F (x), v1 , . . . , vn ),
onde (F (x), v1 , . . . , vn ) a matriz (n + 1) (n + 1), cujas colunas so os
vetores F (x), v1 , . . . , vn . Mostremos agora que
hF, i = i F ,

(6.5)

onde i : M a aplicao incluso e a forma de volume de M . De

fato, dado qualquer base positiva {v1 , . . . , vn } Tp M , temos:
F (x)(v1 , . . . , vn ) = det(F (x), v1 , . . . , vn )
= hF (x), v1 . . . vn i
= hF (x), (x)ikv1 . . . vn k
= hF (x), (x)i(x)(v1 , . . . , vn ),
pois o produto vetorial v1 . . . vn um vetor normal a Tp M , na direo da
normal positiva (x). Finalmente, a derivada exterior da forma F dada
por
dF

n+1
X

n+1
X

i=1

j=1

(1)i+1

n+1
X
i=1

Fi
dxj dx1 . . . b
dxi . . . dxn+1
xj

Fi
dx1 . . . dxn+1
xi

= divF dx1 . . . dxn+1 .

Portanto, a frmula (6.3) segue agora do Teorema de Stokes.

110

Considere agora um campo de vetores diferencivel F : U R3 , definido

no aberto U R3 . O rotacional do campo F , denotado por rotF , o campo
de vetores diferencivel rotF : U R3 definido por


F3 F2 F1 F3 F2 F1
rotF =

,
y
z z
x x
y
onde F = (F1 , F2 , F3 ). O teorema seguinte a verso clssica do Teorema
de Stokes apresentado, usualmente, num segundo curso de Clculo.
Teorema 6.2.4. Sejam F : U R3 um campo de vetores diferencivel,
definido no aberto U R3 , e M 2 R3 uma superfcie compacta, orientada,
com fronteira, contida em U . Ento
Z
Z
hrotF, idM =
hF, ids,
(6.6)
M

onde o vetor unitrio tangente curva M , que aponta no sentido positivo de M , e : M R3 o campo normal unitrio que define a orientao
em M .
Demonstrao. Ao campo F associamos a forma diferencial F 1 (U ),
dada por
F = F1 dx + F2 dy + F3 dz,
cuja derivada exterior dada por
dF = dF1 dx + dF2 dy + dF3 dz.
Substituindo as expresses
dFi =

Fi
Fi
Fi
dx +
dy +
dz
x
y
z

1 i 3, em (6.7), obtemos:




F3 F2
F1 F3
dF =

dy dz +

dz dx
y
z
z
x


F2 F1
+

dx dy
x
y
= rotF .
Assim, segue de (6.5) que
hrotF, i = i rotF ,
111

(6.7)

onde i : M R3 denota a aplicao. Denotando por j : M M a incluso

natural, obtemos do Teorema de Stokes que:
Z
Z
Z
Z

di F
i dF =
i rotF =
hrotF, idM =
M
M
M
M
Z
j (i F ).
=
M

Denotando por k : M R3 a composta das incluses, i.e., k = i j, temos

(k F )(x)(v) = F (x)(v).
Por outro lado, como
F (v) = hF, vi
para todo v R3 , obtemos
k F ( ) = hF, i,
logo k F = hF, ids, provando a frmula (6.6).
O teorema seguinte, devido a Green, a verso do Teorema de Stokes
em R2 .
Teorema 6.2.5 (Green). Seja M 2 R2 um domnio compacto com fronteira
regular M . Se f, g : M R so funes diferenciveis, vale a seguinte
frmula:

Z 
Z
g
f
(f dx + gdy).
(6.8)

dxdy =
x y
M
M
Demonstrao. O domnio M tem a orientao natural induzida de R2 , e sua
fronteira M tem a orientao induziada de M : em cada ponto x M , um
vetor tangente no-nulo v Tx (M ) aponta na direo positiva se, e somente
se, {(x), v} uma base positiva de R2 , onde (x) a normal unitria que
aponta para fora de M . Assim, a frmula (6.8) segue diretamente do Teorema
de Stokes aplicado forma diferencial
= f dx + gdy,
definida em M .

112

Finalmente, interpretando o Teorema de Stokes em dimenso 1, obtemos

o Teorema Fundamental do Clculo:
Teorema 6.2.6. Se f ; [a, b] : R uma funo derivvel, ento
Z

f 0 (x)dx = f (b) f (a).

Demonstrao. Basta aplicar o Teorema de Stokes forma diferencial

f 0 ([a, b]).

Exerccios
1. Mostre que o Teorema de Green pode ser obtido a partir do Teorema da
Divergncia.

113

6.3

A frmula do grau

Nesta seo apresentaremos uma aplicao importante do teorema de

Stokes, que relaciona a operao analtica de integrao e o comportamento
topolgico de aplicaes.
Teorema 6.3.1 (Frmula do grau). Sejam f : M N uma aplicao diferencivel entre duas superfcies compactas, orientadas e n-dimensionais, e
n (N ). Ento
Z
Z
f = deg(f )
.
(6.9)
M

Demonstrao. Dividiremos a prova em duas etapas.

Verso local: seja q N um valor regular para f . Como f um difeomorfismo local em cada ponto da imagem inversa f 1 (q), existe uma vizinhana V de q em N tal que f 1 (V ) consiste de conjuntos abertos disjuntos
U1 , . . . , Uk tais que f : Uj V um difeomorfismo, para cada 1 j k.
Se tem suporte contido em V , ento f tem suporte contido em f 1 (V ).
Assim,
Z
k Z
X
f =
f .
M

j=1

Uj

Como cada f : Uj V um difeomorfismo, temos

Z
Z

f = sign df (pj )
,
V

Uj

onde {p1 , . . . , pk } = f 1 (q). Como deg(f ) =

est provada nesse caso.

sign df (pj ), a frmula (6.9)

Caso geral: seja y N um valor regular para f e considere uma vizinhana

V de y em N dada pela verso local. Pelo lema da isotopia segue que,
para cada ponto z N , existe um difeomorfismo h : N N , isotpico
identidade, tal que h(y) = z. Assim, a coleo de todos os abertos h(V ),
onde h : N N um difeomorfismo isotpico identidade, uma cobertura
para N . Como N compacta, existem h1 , . . . , hk tais que
N = h1 (V ) . . . hk (V ).
Usando uma partio da unidade, podemos escrever como uma soma de
formas, cada uma destas tendo suporte contido em um dos conjuntos hj (V ).
Como os dois lados de (6.9) so lineares em , basta provar a frmula para
114

formas com suporte contido em algum aberto h(V ). Assuma ento que
supp () h(V ). Em virtude do Exerccio 2, temos
Z
Z
Z

f =
(h f ) =
f h .
(6.10)
M

Como supp (h ) V , a verso local implica que

Z
Z

f (h ) = deg(f )
h .
M

(6.11)

Finalmente, como h id, h preserva orientao, logo deg(h) = +1. Assim,

Z
Z

h =
.
(6.12)
N

A frmula (6.9) segue agora de (6.10), (6.11) e (6.12).

Exerccios
1. Sejam M , N e Z superfcies compactas orientadas, tais que M = Z e
dim M = dim N = n. Se f : M N uma aplicao diferencivel que
admite uma extenso diferencivel a Z, prove que
Z
f = 0,
M

para toda n (N ).
2. Sejam f, g : M N duas aplicaes homotpicas entre superfcies compactas, orientadas e de mesma dimenso n. Prove que
Z
Z
f =
g ,
M

para toda n (N ).
3. Construa uma forma n (S n ) tal que

115

Sn

6= 0.

6.4

O teorema da curvatura integral

Nesta seo provaremos o teorema da curvatura integral de Hopf, segundo

o qual a integral da curvatura Gaussiana de uma hipersuperfcie compacta
M n Rn+1 de dimenso par igual metade da caracterstica de Euler
de M . Este teorema constitui um dos mais simples e expressivos exemplos
de relaes existentes entre Topologia e Geometria Diferencial. No caso
particular de uma superfcie compacta M 2 R3 , o teorema em questo
decorre diretamente do clssico teorema de Gauss-Bonnet.
Seja M n uma superfcie compacta e orientvel. Assim, de acordo com o
Exemplo 5.2.8, temos uma forma de volume em M . Mais precisamente,
uma n-forma em M tal que, em cada ponto p M e a cada base
positiva {v1 , . . . , vn } de Tp M , o nmero (p)(v1 , . . . , vn ) representa o volume
do paraleleppedo gerado pelos vetores v1 , . . . , vn . Alm disso, a integral
Z
v(M ) =

definida como sendo o volume da superfcie M .

Gostaramos aqui de chamar a ateno do leitor para o seguinte ponto.
O volume no um conceito topolgico, mas sim geomtrico; ele depende
da maneira como a superfcie est imersa no espao Euclidiano. Consequentemente, a integral de funes no uma operao topolgica, ou seja, no
uma operao preservada por difeomorfismos.
A fim de entender melhor o que est ocorrendo, consideremos um difeomorfismo f : M n N n entre duas superfcies orientadas, com fronteira.
Denotando por N a forma de volume de N , segue que f N uma n-forma
em M , de modo que, em cada ponto p M , (f N )(p) um mltiplo escalar
de M (p), ou seja,
(f N )(p) = (p) M (p).

(6.13)

Definio 6.4.1. O mltiplo escalar em (6.13) ser chamado o Jacobiano

do difeomorfismo f no ponto p, e ser denotado por Jf (p).
Observao 6.4.2. A fim de compreenso, note que a n-forma linear M (p)
associa, a cada base {v1 , . . . , vn } de Tp M , o volume orientado do paraleleppedo gerado por estes vetores. Por outro lado, (f N )(p) associa o volume
orientado do paraleleppedo gerado pelos vetores {df (p) v1 , . . . , df (p) vn }
em Tf (p) N . Dessa forma, o valor de Jf (p) o fator pelo qual df (p) aumenta
ou diminiu o volume; seu sinal reflete se df (p) preserva ou inverte orientao.
Neste sentido, Jf mede a mudana do volume e orientao realizada por f .
116

A partir de agora, fixemos uma hipersuperfcie compacta M n Rn+1 . De

acordo com a Observao 3.2.17, M automaticamente orientvel. Assim,
em virtude do Teorema 3.2.14, existe um campo normal diferencivel nonulo : M Rn+1 . Definiremos agora a aplicao normal de Gauss g :
M n S n da hipersuperfe M , transladando a origem do campo para a
origem do Rn+1 , e fazendo
g(p) = ponto final do transladado de (p).

(6.14)

O Jacobiano da aplicao normal de Gauss, denotado por Jg (p) = (p), ser

chamado a curvatura de M no ponto p.
Exemplo 6.4.3. Quando M = Rn , tem-se 0 pois, neste caso, a aplicao
de Gauss constante.
Exemplo 6.4.4. Consideremos o caso em que M n = Srn , i.e., a esfera centrada na origem de raio r. Consideremos a orientao da esfera dada pelo
campo normal (p) = p, para todo p Srn . Neste caso, a aplicao de Gauss
dada por
1
1
g(p) = (p) = p.
r
r
Sua diferencial portanto dada por
1
dg(p) = id.
r
Denotando por Srn e S n as formas de volume das esferas Srn e S n , respectivamente, temos:
(g S n )(p)(v1 , . . . , vn ) = S n (g(p))(dg(p) v1 , . . . , dg(p) vn )
1
=
S n (p)(v1 , . . . , vn ).
n+1
r
Assim,
g S n =

1
rn+1

S n .

Por outro lado, como S n = r Srn , concluimos que

g S n =
logo (p) =

1
rn ,

1
S n ,
rn r

para todo p Srn .

117

Baseado nos Exemplos 6.4.3 e 6.4.4, podemos concluir que o valor de (p)
mede o quo curvada a hipersuperfcie M no ponto p; quanto mais curvada
for M maior a variao do campo normal . Alm disso, a curvatura
um conceito geomtrico da hipersuperfcie, ou seja, no preservada por
transformaes topolgicas.
Proposio 6.4.5. Se M n Rn+1 uma hipersuperfcie compacta de dimenso par, ento o grau da aplicao de Gauss g : M S n dado por
1
deg(g) = (M ).
2

(6.15)

Demonstrao. Considere um ponto a S n tal que a e a sejam valores

regulares para a aplicao de Gauss. Como n par, segue do Exemplo 4.3.10
que existe um campo Y X(S n ), cujas nicas singularidades so os pontos
a e a, com ndices iguais a +1. Definimos um campo vetorial X X(M )
pondo
X(p) = Y (g(p)),
para todo p M . Como Tg(p) S n = Tp M , segue que X est bem definido.
Como Y anula-se apenas nos pontos a, a S n , segue que X anula-se
somente nos pontos p M tais que g(p) = a. Ou seja, os zeros de X em
M so os pontos dos conjuntos
{p1 , . . . , pr } = g 1 (a) e {q1 , . . . , qs } = g 1 (a).
Em uma vizinhana de cada um dos pontos pi e qj , g um difeomorfismo,
pois a e a so valores regulares para g. Segue-se que os pontos pi e qj so
todos zeros simples do campo X. Da Proposio 4.3.9 segue que o ndice
do campo X em cada um desses pontos +1 ou 1 se, e somente se, a
aplicao de Gauss preserva ou inverte, respectivamente, a orientao no
respectivo ponto. Concluimos, ento, que o nmero algbrico de zeros de X
igual ao nmero algbrico de pontos pi mais o nmero algbrico de pontos
qj relativamente aplicao g. Assim, segue do teorema de Poincar-Hopf
que
X
X
X
(M ) =
ind(X, p) =
ind(X, p) +
ind(X, p)
X(p)=0

g(p)=a

= deg(g, a) + deg(g, a) = 2 deg(g),

provando a equao (6.15).

118

g(p)=a

Embora a curvatura seja um conceito geomtrico da hipersuperfcie, a

integral global da curvatura em uma hipersuperfcie compacta, de dimenso
par, um invariante topolgico. Esse o contedo do resultado central dessa
seo.
Teorema 6.4.6 (Hopf). Seja M n Rn+1 uma hipersuperfcie compacta de
dimenso par. Ento
Z
1
= v(S n ) (M ),
2
M
onde (M ) a caracterstica de Euler de M e a constante v(S n ) o volume
da esfera unitria S n .
Demonstrao. Considerando a aplicao de Gauss (6.14) e usando o Teorema 6.3.1, obtemos:
Z
Z
Z
Z

=
Jg M =
g S n = deg(g)
S n
M

Sn

= deg(g) v(S n ).
A concluso segue agora da Proposio 6.4.5.
Observao 6.4.7. Quando a dimenso n da hipersuperfcie M n mpar,
o grau da aplicao normal de Gauss g : M n S n no um invariante
topolgico da superfcie M , depende da maneira como M n est imersa em
Rn+1 . Mais precisamente, se for possvel obter uma imerso M n Rn+1 tal
que g tem grau par, ento possvel obter imerses de M n em Rn+1 que
do como grau qualquer outro nmero par escolhido. Da mesma forma, se
existe uma imerso M n Rn+1 tal que o grau de g mpar ento, dado um
nmero mpar qualquer, existe uma imerso de M n em Rn+1 que tem esse
nmero como grau de g.

Exerccios
1. Seja M n Rn+1 uma hipersuperfcie compacta. Prove que a caracterstica de Euler sempre um nmero par.

119

Apndice A

Alguns teoremas do Clculo

A.1

A topologia de Rn

O espao Euclidiano de dimenso n, denotado por Rn , o conjunto das

n-uplas x = (x1 , . . . , xn ), cujas coordenadas x1 , . . . , xn so nmeros reais. O
espao Rn , munido das operaes de soma e produto, dadas por
x + y = (x1 + y1 , . . . , xn + yn ),
x = (x1 , . . . , xn ),
com x, y Rn e R, torna-se um espao vetorial real de dimenso n.
O comprimento de um vetor x Rn , denotado por kxk, definido como
o nmero real
q
kxk = x21 + . . . + x2n .
O nmero kxk tambm chamado de norma Euclidiana, uma vez que provm
do produto interno Euclidiano
hx, yi = x1 y1 + . . . + xn yn .
Existem outras normas que podemos considerar em Rn . A norma Euclidiana, por exemplo, motivada pela frmula do comprimento de um vetor
no plano em coordenadas cartesianas. Outras duas normas em Rn de manipulao simples so as normas do mximo e da soma, dadas respectivamente
por
kxkM = max{|x1 |, . . . , |xn |},
kxkS = |x1 | + . . . + |xn |.
120

(A.1)

Essas trs normas se relacionam atravs das seguintes desigualdades:

kxkM kxk kxkS n kxkM ,

(A.2)

para qualquer x Rn . As desigualdades em (A.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 definida pondo
d(x, y) = kx yk.
Observao A.1.1. Uma norma arbitrria kk 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:


kx + yk2 + kx yk2 = 2 kxk2 + kyk2 .
Observe que esta identidade no vlida para toda norma. Por exemplo, as
normas dadas em (A.1) em Rn no a cumprem, logo no provm de produto
interno algum em Rn . Quando no dissermos explicitamente qual a norma
que estamos considerando em Rn , ficar subentendido que se trata da norma
Euclidiana.
A bola aberta de centro no ponto p Rn e raio r > 0, denotada por
B(p; r), o conjunto dos pontos x Rn cuja distncia ao ponto p menor
do que r, ou seja,
B(p; r) = {x Rn : kx pk < r}.
Analogamente definimos a bola fechada B[p; r] de centro p e raio r > 0,
pondo
B[p; r] = {x Rn : kx pk r}.
Definio A.1.2. Um subconjunto X Rn chama-se aberto se, para cada
ponto p X, existe r > 0 tal que B(p; r) X. Um subconjunto X Rn
chama-se fechado quando seu complementar for aberto.

121

Dados um subconjunto X Rn e um ponto x Rn , apenas uma das

trs possibilidades seguintes se verifica:
(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) Rn \ 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 Rn \ 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 Rn um
conjunto aberto.
Definio A.1.3. Seja f : X Rn uma aplicao definida no conjunto
aberto X Rm . Dizemos que f contnua no ponto p X se, para
qualquer  > 0, existe > 0 tal que:
x X, kx pk < kf (x) f (p)k < .
Em outras palavras, f contnua no ponto p se dado  > 0, existe > 0
tal que
f (B(p, )) B(f (p), ).
Se f : X Rm Rn contnua em todos os pontos de X, diremos simplesmente que f uma aplicao contnua.
Observao A.1.4. A definio de continuidade da aplicao f : Rm Rn
faz uso de uma norma em Rm e outra em Rn . 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
Rm e Rn (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 Rm Rn contnua no ponto p. Caso
p seja um ponto de acumulao de X, ento f contnua em p se, e somente
se,
lim f (x) = f (p).
xp

122

Exerccios
1. Prove que uma bola aberta B(p; r) um conjunto aberto em Rn , enquanto
que uma bola fechada B[p; r] um conjunto fechado. Alm disso, todo
subconjunto de Rn que possui um nmero finito de elementos tambm
fechado.
2. Duas normas kk1 e kk2 num espao vetorial E so chamadas equivalentes
se existem constantes a > 0 e b > 0 tais que
kxk1 a kxk2

e kxk2 b kxk1

para todo x E. Prove que:

(a) A equivalncia entre normas uma relao de equivalncia.
(b) As trs normas usuais de Rn so equivalentes umas s outras.
(c) Duas normas quaisquer em Rn so equivalentes.
3. Sejam kk1 e kk2 duas normas arbitrrias em Rn . Prove que
lim kx pk1 = 0 lim kx pk2 = 0.

xp

xp

4. Prove que a continuidade de uma aplicao f : Rm Rn , no sentido da

Definio A.1.3, independe das normas escolhidas.
5. Prove que uma aplicao f : Rm Rn contnua se, e somente se, a
imagem inversa f 1 (V ) de todo aberto V Rn um aberto em Rm .
6. Seja L : Rm Rn uma transformao linear. Mostre que existe uma
constante c > 0 tal que kL(x)k ckxk, para todo x Rm . Conclua da que
L uma aplicao Lipschitziana, logo contnua.
7. Seja : Rm Rn Rk uma aplicao bilinear. Mostre que existe uma
constante c > 0 tal que k(v, w)k ckvkkwk, para quaisquer v Rm e
w Rn .
8. No espao vetorial L(Rm ; Rn ) das transformaes lineares L : Rm Rn ,
considere a funo kk : L(Rm ; Rn ) R dada por
kLk = sup{kL(v)k : v Rm , kvk = 1},
para todo L L(Rm ; Rn ). Mostre que a funo kk uma norma em
L(Rm ; Rn ) e satisfaz a seguinte propriedade:
kL(v)k kLkkvk,
para todo v Rm .
123

A.2

O teorema da invarincia do domnio

Nesta seo discutiremos o problema de saber quando dois conjuntos

Euclidianos so ou no homeomorfos.
Definio A.2.1. Um homeomorfismo entre dois conjuntos X Rm e
Y Rn uma bijeo contnua f : X Y , cuja inversa f 1 : Y X
tambm contnua. Dizemos neste caso que X e Y so conjuntos homeomorfos.
Um exemplo simples de homeomorfismo de Rn sobre si mesmo dado
por uma transformao linear inversvel L : Rn Rn . De fato, sua inversa
L1 : Rn Rn linear e, portanto, contnua. A composta de dois homeomorfismos um homeomorfismo, bem como o inverso de um homeomorfismo.
Um problema bsico da topologia dos espaos Euclidianos determinar
se dois conjuntos X Rm e Y Rn so ou no homeomorfos. No existe
uma resposta geral para este problema. A fim de garantir que X e Y so
homeomorfos necessrio exibir um homeomorfismo 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
refinados.
Vejamos a situao seguinte.
Exemplo A.2.2. Considere o intervalo fechado X = [a, b] R e a bola
fechada Y = B[p; r] R2 . 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. Assim, se existisse um homeomorfismo f : X Y , escolheramos um ponto
x (a, b), escreveramos q = f (x) e teramos, por restrio, um homeomorfismo 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; ] R2 no homeomorfa a uma bola fechada Y = B[q; ] R3
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 Rm s homeomorfa a uma bola
aberta de Rn quando m = n. Essa afirmao verdadeira, e a demonstrao
desse fato faz uso de um importante teorema de Topologia:

124

Teorema A.2.3 (Invarincia do domnio). Seja f : U Rn uma aplicao

injetora e contnua, definida no aberto U Rn . Ento f (U ) aberto em Rn
e f um mergulho, i.e., f : U f (U ) um homeomorfismo.
O Teorema A.2.3 devido a Luitzen Brouwer, publicado em 1912. Uma
demonstrao acessvel ao leitor, fazendo uso de ferramentas de Topologia
Algbrica, pode ser encontrada em [8, Theorem 36.5]. Usando ento o teorema da invarincia do domnio, podemos responder a afirmao acima.
Corolrio A.2.4. Se uma bola aberta de Rm homeomorfa a uma bola
aberta de Rn , ento m = n.
Demonstrao. Em virtude do Exerccio 1, podemos supor que as bolas abertas sejam os espaos Rm e Rn . Suponha, por absurdo, que m > n, e considere
o homeomorfismo : Rm Rn entre os espaos Euclidianos. Denotando
por i : Rn Rm o mergulho cannico
(x1 , . . . , xn ) Rn 7 (x1 , . . . , xn , 0, . . . , 0) Rm ,
obtemos um mergulho = i : Rm Rm que a cada ponto x Rm
associa o ponto (x) = ((x), 0) Rm . No entanto, a imagem de Rm pelo
mergulho no um aberto em Rm , contradizendo o Teorema A.2.3.

Exerccios
1. Prove que toda bola aberta em Rn homeomorfa ao espao Rn .
2. Prove que a projeo estereogrfica : S n \ {N } Rn um homeomorfismo entre o espao Euclidiano Rn e a esfera S n menos seu polo norte.

125

A.3

A regra da cadeia

Lembremos que uma funo f : I R, definida no intervalo aberto

I R, derivvel no ponto p I se existe um nmero real f 0 (p) para o qual
f (p + h) f (p)
= f 0 (p).
h0
h
lim

(A.3)

Observemos que a relao (A.3) no faz sentido no contexto de aplicaes

f : Rm Rn . A fim de estender essa definio ao caso geral, faamos
inicialmente algumas consideraes. Definimos uma transformao linear
L : R R pondo L(h) = f 0 (p)h, e escrevemos r(h) = f (p+h)f (p)L(h).
Ento, para todo h 6= 0, tal que p + h I, temos
f (p + h) f (p) = L(h) + r(h),

(A.4)

r(h)
= 0.
h0 h

(A.5)

com
lim

Em virtude da relao (A.5), dizemos que o resto r(h) tende para zero mais
rapidamente do que h. A relao (A.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 definio para dimenses maiores.
Ou seja, gostaramos de dizer que uma aplicao f : U Rn , definida no
aberto U Rm , 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,
Definio A.3.1. Dizemos que uma aplicao f : U Rn , definida no
aberto U Rm , diferencivel no ponto p U se existe uma transformao
linear L : Rm Rn tal que, para todo v Rm , com p + v U , tenhamos
f (p + v) f (p) = L(v) + r(v),

(A.6)

onde
lim

v0

r(v)
= 0.
kvk

126

(A.7)

Diremos que f : U Rm Rn diferencivel se f diferencivel em

todos os pontos de U . Observe que, como a validez da condio (A.7) independe das normas escolhidas em Rm e Rn , segue que o fato de uma aplicao
ser ou no diferencivel num determinado ponto tambm no depende das
normas (cf. Exerccio A.1.3).
Um clculo simples mostra que a transformao linear L : Rm Rn que
ocorre em (A.6) dada por
f
f (p + tv) f (p)
(p) = lim
.
t0
v
t
Disso decorre, em particular, que a transformao linear que fornece a aproximao 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).
L(v) =

Observao A.3.2. Quando m = n = 1, a funo linear df (p) : R R

identificada com o nmero f 0 (p)1 e, para todo v R, df (p)v simplesmente
o produto do nmero f 0 (p) pelo nmero v.
A transformao linear df (p) : Rm Rn possui, em relao s bases
cannicas de Rm e Rn , 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


f
f1
fn
df (p) ej =
(p) =
(p), . . . ,
(p) ,
xj
xj
xj
onde f1 , . . . , fn : U R so as funes coordenadas de f . Assim,


fi
Jf (p) =
(p) .
xj
Proposio A.3.3. Uma aplicao f : U Rn , definida no aberto U Rm ,
diferencivel no ponto p U se, e somente se, cada uma de suas funes
coordenadas f1 , . . . , fn : 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
fi (p + v) fi (p) = dfi (p) v + ri (v),
onde ri (v) = (r1 (v), . . . , rn (v)), enquanto que o limite vetorial lim

v0

ri (v)
= 0.
v0 kvk

corresponde aos n limites numricos lim

127

r(v)
=0
kvk

Vejamos a seguir alguns exemplos de aplicaes diferenciveis.

Exemplo A.3.4. Toda aplicao constante f : Rm Rn diferencivel, e
sua diferencial, em cada ponto, identicamente nula.
Exemplo A.3.5. Considere uma transformao linear L : Rm Rn . Para
cada ponto p Rm , temos
L(p + v) L(p) = L(v) = L(v) + 0.
Disso decorre que a diferencial dL(p) igual a L, para todo p Rm , logo L
diferencivel.
Exemplo A.3.6. Seja : Rm Rn Rk uma aplicao bilinear. Dados
um ponto (p, q) Rm Rn e um vetor (v, w) Rm Rn , 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 k(v, w)k ckvkkwk,
para quaisquer v Rm e w Rn (cf. Exerccio A.2.7). Fazendo uso da
norma da soma, temos k(v, w)k = kvk + kwk. Assim,
k(v, w)k
ckvkkwk

c kvk,
k(v, w)k
kvk + kwk
logo
(v, w)
= 0.
k(v,
w)k
(v,w)0
lim

Isso mostra que diferencivel em cada ponto (p, q) Rm Rn , sendo sua

diferencial d(p, q) : Rm Rn Rk dada por
d(p, q) (v, w) = (v, q) + (p, w),
com r(v, w) = (v, w).
Observao A.3.7. O mesmo raciocnio mostra que se
: Rm1 . . . Rmk Rn
uma aplicao k-linear, ento diferencivel no ponto p = (p1 , . . . , pk )
de Rm1 . . . Rmk , sendo sua diferencial a transformao k-linear
d(p) : Rm1 . . . Rmk Rn
128

dada por
d(p) (v1 , . . . , vk ) =

k
X

(p1 , . . . , pi1 , vi , pi+1 , . . . , pk ).

i=1

Exemplo A.3.8. Casos particulares importantes de aplicaes bilineares

so o produto interno : Rm Rm R, dado por
(p, q) = hp, qi,
e a multiplicao de matrizes : Rkn Rnm Rkm dada por
(X, Y ) = X Y.
Suas diferenciais so dadas por
d(p, q) (v, w) = hv, qi + hp, wi e d(X, Y ) (V, W ) = V Y + XW.
Outro exemplo importante de aplicao n-linear a funo determinante
2

det : Rn . . . Rn = Rn R.
Aqui, escrevamos
det(X) = det(X1 , . . . , Xn ),
para salientar que det(X) depende linearmente de cada uma das n linhas
Xi da matriz X = (X1 , . . . , Xn ). Sua diferencial no ponto X o funcional
linear
2
d det(X) : Rn R,
cujo valor na matriz V = (V1 , . . . , Vn ) dado por
d det(X) V =

n
X

det(X1 , . . . , Xk1 , Vk , Xk+1 , . . . , Xn ).

k=1

O teorema seguinte a verso intrnseca da regra da cadeia, que relaciona

a derivada da composio de aplicaes diferenciveis.
Teorema A.3.9 (Regra da cadeia). Sejam f : U Rn uma aplicao
diferencivel no ponto p U e g : V Rk uma aplicao diferencivel no
ponto q = f (p), onde supomos que U Rm e V Rn so abertos, com
f (U ) V . Ento, a composta g f : U Rk diferencivel no ponto p e
vale a regra:
d(g f )(p) = dg(q) df (p).
129

Corolrio A.3.10. A composta de duas aplicaes diferenciveis uma

aplicao diferencivel.
Corolrio A.3.11. Seja f : U Rn uma aplicao, definida no aberto
U Rm , diferencivel no ponto p U e que admite uma inversa
g : V Rm , definida no aberto V Rn e diferencivel no ponto q = f (p).
Ento, df (p) : Rm Rn um isomorfismo. 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 : Rm Rm e df (p) dg(q) = id : Rn Rn .
Disso decorre que dg(q) = df (p)1 .
Corolrio A.3.12. Sejam f, g : U Rn aplicaes definidas no aberto
U Rm 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 final, 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 Rn uma aplicao definida no aberto U Rm . Mostre que
as seguintes afirmaes so equivalentes:
(a) f de classe C 1 ;
(b) As funes coordenadas f1 , . . . , fn : U R da aplicao f possuem
fi
derivadas parciais contnuas x
: U R.
j
2. Prove que se uma aplicao f : U Rn , definida no aberto U Rm ,
diferencivel no ponto p U ento f contnua em p.
3. Considere as funes f, g : R2 R dadas por
f (x, y) = x + y

e g(x, y) = x y,

para todo (x, y) R2 . Mostre que f e g so diferenciveis e calcule suas

derivadas.

130

A.4

O teorema da aplicao inversa

Dados dois abertos U, V Rn , dizemos que uma aplicao f : U V

um difeomorfismo se f uma bijeo diferencivel cuja inversa tambm
diferecivel. Em particular, f um homeomorfismo entre U e V . No entanto,
um homeomorfismo pode ser diferencivel sem que seu inverso o seja. Um
exemplo simples a funo f : R R dada por f (x) = x3 . Sua inversa

f 1 (x) = 3 x no derivvel em x = 0.
Se f : U V um difeomorfismo, a regra da cadeia nos garante que
sua diferencial df (p) : Rn Rn , em cada ponto p U , um isomorfismo
(cf. Corolrio A.3.11). Em termos do determinante jacobiano, isso significa
que det Jf (p) 6= 0, para todo p U . Antes de analisarmos a recproca dessa
concluso, vejamos alguns exemplos.
Exemplo A.4.1. Uma funo derivvel f : I J, de um intervalo I R
sobre o intervalo J R, um difeomorfismo se, e somente se, f 0 (x) 6= 0,
para todo x I. De fato, se f 0 (x) 6= 0 para todo x I, ento f 0 (x) > 0 para
todo x I, e neste caso f um homeomorfismo crescente, ou f 0 (x) < 0 para
todo x I, e neste caso f um homeomorfismo decrescente. Em qualquer
caso, segue do teorema da funo inversa do Clculo I que f 1 : J I
derivvel.
Exemplo A.4.2. Considere a aplicao f : R2 R2 definida por
f (x, y) = (ex cos y, ex sin y).
Claramente f de classe C . A matriz jacobiana de f no ponto (x, y)
dada por

 x
e cos y ex sin y
.
Jf (x, y) =
ex sin y ex cos y
Disso decorre que det Jf (x, y) = e2x 6= 0. No entanto, f sequer injetora.
De fato, observe que f transforma cada reta vertical x = x0 sobre o crculo
de raio ex0 e centro na origem, com perodo 2.
Uma aplicao diferencivel f : U Rn , definida no aberto U Rn ,
dita um difeomorfismo local se para cada ponto p U existem um aberto Vp ,
com p Vp U , tal que f |Vp um difeomorfismo sobre um aberto Wp Rn .
Se f : U Rn um difeomorfismo local de U sobre V = f (U ) ento, para
cada p U , a diferencial df (p) : Rn Rn um isomorfismo.
Todo difeomorfismo um difeomorfismo local. Alm disso, todo difeomorfismo local uma aplicao aberta. Disso decorre que um difeomorfismo
131

local f : U Rn um difeomorfismo (global) sobre sua imagem V = f (U )

se, e somente se, f uma aplicao bijetora.
Teorema A.4.3 (Aplicao inversa). Considere uma aplicao diferencivel
f : U Rn , definida no aberto U Rn , e um ponto p U de modo
que a diferencial df (p) : Rn Rn seja um isomorfismo. Ento f um
homeomorfismo 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

1
df 1 (q) = df (f 1 (q)) , para todo q W .
Veremos agora algumas aplicaes deste teorema no contexto de aplicaes diferenciveis de posto mximo.
Definio A.4.4. Dizemos que uma aplicao diferencivel f : U Rn ,
definida no aberto U Rm , uma imerso no ponto p U se a diferencial
df (p) : Rm Rn 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 A.4.5. Considere a aplicao incluso f : Rm Rm Rn , dada
por f (p) = (p, 0). Como f linear, segue que df (p) = f para todo p Rm .
Assim, f uma imerso de classe C .
Exemplo A.4.6. Uma curva diferencivel : I Rn , definida no intervalo
aberto I R, uma imerso se, e somente se, 0 (t) 6= 0 para todo t I. Isso
significa que a imagem (I) possui, em cada ponto (t), uma reta tangente.
Exemplo A.4.7. Uma imerso pode no ser injetora. Um exemplo simples
a curva : R R2 dada por (t) = (t3 t, t2 ). Um clculo simples
mostra que 0 (t) = (3t2 1, 2t) 6= (0, 0) para todo t R e, alm disso,
(1) = (0, 1) = (1).
O teorema seguinte afirma que, para qualquer imerso f : U Rn ,
possvel introduzir novas coordenadas na vizinhana de cada ponto da
imagem de modo que f assuma, localmente, a forma do Exemplo A.4.5.
Teorema A.4.8 (Forma local das imerses). Seja f : U Rm+n uma
imerso definida no aberto U Rm . Para cada ponto p U , existe um
difeomorfismo h : Z V W , de um aberto Z Rm+n contendo f (p) sobre
o aberto V W Rm Rn contendo (p, 0), tal que h(f (x)) = (x, 0) para
todo x V .

132

Demonstrao. Denotando por E a imagem da diferencial df (p), i.e.,

E = df (p)(Rm ), considere vetores linearmente independentes v1 , . . . , vn em
Rm+n , que geram um subespao vetorial F Rm+n , de modo que tenhamos
Rm+n = E F . Defina uma aplicao : U Rn Rm+n pondo
(x, y) = f (x) +

n
X

yi v i ,

i=1

onde y = (y1 , . . . , yn ) Rn . Temos que diferencivel, e sua diferencial

no ponto (p, 0)
d(p, 0) (v, w) = df (p) v +

n
X

wi v i ,

i=1

onde v Rm e w = (w1 , . . . , wn ) Rn . Como df (p) injetora e Rm+n

a soma direta da imagem de df (p) com o subespao gerado por v1 , . . . , vn ,
segue que d(p, 0) injetora, logo um isomorfismo. Pelo teorema da aplicao inversa, transforma difeomorficamente um aberto contendo (p, 0),
que podemos supor ser da forma V W Rm Rn , com p V , sobre um
aberto Z Rm+n contendo f (p) = (p, 0). Defina h = 1 : Z V W .
Como (x, 0) = f (x), temos que h(f (x)) = (x, 0) para todo x V , como
queramos.
Definio A.4.9. Dizemos que uma aplicao diferencivel f : U Rn ,
definida no aberto U Rm , uma submerso no ponto p U se a diferencial
df (p) : Rm Rn 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 A.4.10. Uma funo diferencivel f : U R uma submerso
se, e somente se, df (x) 6= 0 para todo x U . Isso decorre do fato de que
um funcional linear sobrejetor ou nulo.
Exemplo A.4.11. Dado uma decomposio em soma direta da forma
Rm+n = Rm Rn , seja a projeo sobre o primeiro fator, (x, y) = x.
Como linear, segue que d(x, y) = para todo (x, y) Rm+n , logo
uma submerso. A matriz jacobiana de tem como linhas os m primeiros
vetores da base cannica de Rm+n . Da mesma forma podemos concluir que
a projeo sobre o segundo fator tambm uma submerso.

133

Observao A.4.12. Se T : Rm+n Rm uma aplicao linear sobrejetora, podemos obter uma decomposio em soma direta da forma Rm+n =
Rm Rn tal que a restrio T |Rm : Rm Rm seja um isomorfismo. De fato,
como os vetores T (e1 ), . . . , T (em+n ) geram Rm , possvel escolher dentre eles
uma base {T (ej1 ), . . . , T (ejm )}. Sejam J = {j1 , . . . , jm } e I = {i1 , . . . , in }
o conjunto dos ndices restantes. A partio {1, . . . , m + n} = I J fornece a decomposio em soma direta Rm+n = Rm Rn . A restrio T |Rm
isomorfismo pois transforma uma base em outra base.
O teorema seguinte mostra que o Exemplo A.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 A.4.13 (Forma local das submerses). Seja f : U Rm uma
aplicao diferencivel, definida no aberto U Rm+n , que uma submerso
num ponto a U . Se a diferencial df (a) : Rm+n Rm sobrejetora ou,
mais precisamente, se dado uma decomposio em soma direta do tipo
Rm+n = Rm Rn tal que a = (a1 , a2 ) e a derivada parcial
f
(a) = df (a)|Rm : Rm Rm
x1
um isomorfismo, ento existem abertos V , W , Z, com a Z Rm+n ,
a2 W Rn , f (a) V Rm , e um difeomorfismo h : V W Z tal que
(f h)(x, y) = x
para todo (x, y) V W .
Demonstrao. Considere a aplicao : U Rm Rn definida por
(x, y) = (f (x, y), y);
diferencivel e sua diferencial d(a) : Rm+n Rm Rn dada por


f
f
d(a) (v, w) = (df (a) (v, w), w) =
(a) v +
(a) w, w .
x1
x2
Observe que a aplicao linear

(v, w) 7

1 
 !
f
f
(a)
v
(a) w , w
x1
x2
134

 uma inversa para d(a), logo d(a) um isomorfismo. Pelo teorema da

aplicao inversa, um difeomorfismo de um aberto contendo o ponto
a sobre um aberto contendo (f (a), a2 ), que podemos supor ser da forma
V W , com V aberto em Rm e W aberto em Rn . Sejam Z = 1 (V W )
e h = 1 : V W Z. Como deixa fixa a segunda coordenada, seu
inverso h tem a mesma propriedade:
h(x, y) = (h1 (x, y), y)
para todo (x, y) V W . Ento, dado (x, y) V W , temos:
(x, y) = ( h)(x, y) = (h1 (x, y), y)
= (f (h1 (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 difeomorfismo um homeomorfismo.
2. Mostre que todo difeomorfismo local uma aplicao aberta.
3. A curva : R R2 , dada por (t) = (t sin t, 1 cos t), uma imerso?
Justifique.
4. Considere a curva f : (1, +) R2 dada por f (t) = (t3 t, t2 ). Mostre
que f uma imerso injetora.
5. Encontrar uma imerso f : R R2 e uma funo descontnua g : R R
tais que f g seja diferencivel.
6. Mostre que toda submerso uma aplicao aberta.

135

A.5

O teorema de mudana de variveis

Um bloco de dimenso n em Rn um produto cartesiano

n
Y
A=
[ai , bi ] Rn

(A.8)

i=1

de intervalos compactos [ai , bi ]. O volume do bloco A, como em (A.8), denotado por vol(A) , por definio,
n
Y
vol(A) =
(bi ai ).
i=1

Uma partio de um bloco A um conjunto finito do tipo

P = P1 . . . Pn ,
onde cada Pi uma partio do intervalo [ai , bi ]. Dado uma funo limitada
f : A R, definida no bloco A Rn , considere uma partio P de A. Para
cada bloco B determinado pela partio P , associamos os nmeros
mB = inf{f (x) : x B} e MB = sup{f (x) : x B}.
A partir destes, definimos a soma inferior e a soma superior de f em relao
partio P , pondo
X
X
s(f, P ) =
mB vol(B) e S(f, P ) =
MB vol(B),
BP

BP

onde as somas acima estendem-se a todos os blocos B da partio P . Como

mB MB para todo bloco B, tem-se
s(f, P ) S(f, P ).
R
f e a integral superior A f de uma funo limitada
A integral inferior
A
f : A R so definidas pondo
Z
Z
f = sup s(f, P ) e
f = inf S(f, P ),
R

onde o supremo e o nfimo 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
Z
Z
f M vol(A).
m vol(A)
f
A

136

Definio A.5.1. Seja f : A R uma funo limitada no bloco A Rn .

Dizemos que f integrvel se a sua integral inferior coincide com sua integral
superior. Definimos ento a integral de f como
Z
Z
Z
f=
f.
f=
A

Como no caso de uma varivel, temos a seguinte

Proposio A.5.2. Toda funo contnua f : A R integrvel.
O resultado seguinte um importante critrio de integrabilidade.
Teorema A.5.3 (Lebesgue). Uma funo limitada f : A R integrvel
se, e somente se, o conjunto Df dos seus pontos de descontinuidade tem
medida nula.
Dizemos que um subconjunto limitado X Rn J-mensurvel se, dado
um bloco A Rn contendo X, a funo caracterstica X : A R
integrvel. No caso afirmativo, definimos o volume de X pondo
Z
vol(X) =
X .
A

Exemplo A.5.4. Uma bola aberta ou fechada em Rn J-mensurvel pois

sua fronteira uma esfera, que tem medida nula em Rn . Um bloco, como
em (A.8), outro exemplo de conjunto mensurvel. Conjuntos que no so
J-mensurveis so, por exemplo, aqueles cuja fronteira coincide com o prprio conjunto, como o caso do conjunto de Cantor.
Uma consequncia do Teorema de Lebesgue a seguinte caracterizao
dos conjuntos J-mensurveis.
Proposio A.5.5. Um subconjunto limitado X Rn J-mensurvel se,
e somente se, sua fronteira X tem medida nula.
Queremos agora definir a integral de uma funo limitada f : X R,
definida num conjunto J-mensurvel X Rn . Para isso, considere um bloco
A Rn contendo X. Defina a funo f : A R pondo

f (x), x X
f (x) =
.
0, x A \ X

137

Definio A.5.6. Dizemos que a funo limitada f : X R integrvel se

a funo f : A R for integrvel. Neste caso, definimos
Z
Z
f=
f.
X

Analogamente ao Teorema de Lebesgue, temos o seguinte

Teorema A.5.7. Seja X Rn um conjunto J-mensurvel. Uma funo
limitada f : X R integrvel se, e somente se, o conjunto Df 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 A.5.8. Seja f : A R uma funo integrvel, definida no produto
A = A1 A2 dos blocos A1 Rm e A2 Rn . Ento


Z
Z Z
Z Z
f (x, y)dxdy =
f (x, y)dy dx =
f (x, y)dx dy.
A

A1

A2

A2

A1

Corolrio
A.5.9. Seja f : A R uma funo contnua, definida no bloco
Qn
A = i=1 [ai , bi ]. Ento

Z
Z Z bi
f (x1 , . . . , xn )dxi dx1 . . . b
dxi . . . dxn ,
f (x)dx =
A

Ai

ai

onde

n
Y

Ai =

[ai , bi ].

i6=j=1

Exemplo A.5.10. Considere n funes diferenciveis a1 , . . . , an : A R,

definidas no bloco A Rn , e defina a funo
f=

n
X
ai
i=1

xi

Temos que f contnua e

Z
Z X
n
ai
f (x)dx =
dx
A
A i=1 xi

n Z Z bi
X
ai
=
(x1 , . . . , xn )dxi dx1 . . . b
dxi . . . dxn
x
i
A
a
i
i
i=1
n Z
X
=
[ai (x1 , . . . , bi , . . . , xn ) ai (x1 , . . . , ai , . . . , xn )] b
dxi ,
i=1

Ai

138

onde b
dxi = dx1 . . . b
dxi . . . dxn .
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
Z

h(b)

f (y)dy =

f (h(x))h0 (x)dx.

h(a)

A frmula de mudana de variveis para integrais mltiplas torna-se:

Teorema A.5.11 (Mudana de variveis). Sejam h : U V um difeomorfismo entre os abertos U, V Rn , 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:
Z
Z
f (y)dy =
f (h(x)) | det dh(x)|dx.
h(X)

139

Referncias Bibliogrficas
[1] J. Dieudonn, Foundations of Modern Analysis, Academic Press, 1960.
[2] V. Guillemin, A. Pollack, Differential topology, AMS Chelsea Publishing, 2000.
[3] M. W. Hirsch, Differential Topology, Springer, vol. 33, 1976.
[4] E. L. Lima, Curso de Anlise, vol. 2, Projeto Euclides, IMPA, 1999.
[5] J. W. Milnor, Topology from the Differentiable Viewpoint, Princeton
University Press, 1997.
[6] J. W. Milnor, Morse Theory, Annals Studies, vol. 51, Princeton Univ.
Press, 1963.
[7] A. P. Morse, The behaviour of a function on its critical set, Annals of
Mathematics 40 (1), (1939), 6270.
[8] J. R. Munkres, Elements of Algebraic Topology, Addison-Wesley Publishing Company, Inc., 1984.
[9] J. R. Munkres, Topology, Second edition, Prentice Hall, 2000.
[10] A. Sard, The measure of the critical values of differentiable maps, Bulletin of the American Mathematical Society 48 (12), (1942), 883890.
[11] H. Seifert, W. Threlfall, Lecciones de Topologia, Publicaciones del Instituto Jorge Juan de Matemticas, Madrid, 1951.

140