A Conjectura de Poincare em Dimensoes Altas

A Conjectura de Poincar
e
em Dimens
oes Altas
Tatiana Fernandes Sodero
Dissertacao de Mestrado apresentada ao

Programa de Pos-graduacao do Instituto
de Matematica, da Universidade Federal do
Rio de Janeiro, como parte dos requisitos
necessarios à obtencao do ttulo de Mestre
em Matematica.
Orientador: Alexander Eduardo Arbieto Mendoza
Rio de Janeiro
Setembro de 2009
e
em Dimens
oes Altas

Dissertacao de Mestrado submetida ao Programa de Pos-graduacao do Instituto de

Matematica, da Universidade Federal do Rio de Janeiro - UFRJ, como parte dos requisitos necessarios à obtencao do ttulo de Mestre em Matematica.
Aprovada por:
Presidente, Prof. Alexander Eduardo Arbieto Mendoza - IM/UFRJ
Prof. Leonardo Macarini - IM/UFRJ
Prof. Paul Alexander Schweitzer - PUC/RJ
Profa. Walcy Santos - IM/UFRJ
Rio de Janeiro
Setembro de 2009
Agradecimentos
Agradeco ao meu orientador, Professor Alexander Eduardo Arbieto Mendoza, por

todo seu apoio, incentivo e paciencia.
` minha orientadora na graduacao, Professora Alice Kimie Miwa Libardi, por me
A
guiar nos meus primeiros passos.
` minha famlia e aos meus amigos.
A
` Capes pelo apoio financeiro na realizacao deste trabalho.
A
iii
Ficha Catalografica
Sodero, Tatiana Fernandes.

A Conjectura de Poincare em Dimensoes Altas/ Tatiana Fernandes
Sodero. - Rio de Janeiro: UFRJ/ IM, 2009.
ix, 135f; 30cm.
Dissertacao (mestrado) - UFRJ/ IM/ Programa de Posgraduacao do Instituto de Matematica, 2009.
Referencias Bibliograficas: f.134-135.
1. Topologia. 2. Cobordismo. 3. Teoria de Morse - Tese
I.Arbieto, Alexander Eduardo II. Universidade Federal do Rio de Janeiro,
Instituto de Matematica, Programa de Pos-graduacao do
Instituto de Matematica. III. Ttulo.
iv
A Conjectura de Poincare em Dimensoes Altas
O principal objetivo deste trabalho foi demonstrar a conjectura de Poincare Generalizada em dimensoes altas. A conjectura de Poincare afirma que qualquer variedade de
dimensao 3, compacta, sem bordo e simplesmente conexa e homeomorfa a S 3 . A conjectura generalizada de Poincare diz que qualquer n-variedade compacta, sem bordo, com
o mesmo tipo de homotopia de uma n-esfera S n e homeomorfa a S n . Em 1960 Stephen
Smale demonstrou a conjectura generalizada de Poincare para o caso n 5 em seu artigo
entitulado Generalized Poincares Conjecture in Dimension Greater than Four [18].
Neste trabalho, introduziremos o conceito de cobordismo e, usando uma versao do Teorema de Cancelamento de Pontos Crticos, demonstraremos o teorema de h-cobordismo.
O Teorema de Cancelamento de Pontos Crticos de Smale e, originalmente, enunciado para
handlebodies, a versao deste teorema sera dada na linguagem da teoria de Morse como
apresentada por Milnor. Como corolario, obteremos a prova da conjectura de Poincare
generalizada no caso citado acima.
The Poincares Conjecture in High Dimensions
Advisor: Alexander Eduardo Arbieto Mendoza
The main purpose of this work was to prove the Generelizad Poincares Conjecture
in high dimensions. The Poincares Conjecture states that any manifold of dimension 3,
closed, simply connected is homeomorphic to S 3 . The Generalized Poincares Conjecture
states that any n-manifold, closed, with the same homotopy type of S n is homeomorphic
to S n . Stephen Smale, in 1960, proved the conjecture for the case n 5 in his paper
Generalized Poincares Conjecture in Dimension Greater than Four [18].
In this work, we introduce the concept of cobordism and, using a version of Critical
Points Cancellation Theorem, we prove the h-cobordism theorem. The Critical Points
Cancellation Theorem due to Smale is, originally, set to handlebodies, a version of this
theorem is given in the language of the Morse Theory as presented by Milnor. As a
corollary, we obtain the proof of the generalized Poincares conjecture for the case above.
vi
Sum
ario
Introduc
ao
1 Identificando esferas
1.1 Funcoes de Morse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 O Teorema de Reeb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2 Cobordismo
21
2.1 Funcoes de Morse Sobre Trades . . . . . . . . . . . . . . . . . . . . . . . . 21

2.1.1
Colares e Cobordismos . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Cobordismo Visto Como Categoria . . . . . . . . . . . . . . . . . . . . . . 36

2.3 Isotopia e Pseudo-isotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 Cobordismos Elementares e Rearranjo de Cobordismos
41
3.1 Cobordismos Elementares e Cirurgias . . . . . . . . . . . . . . . . . . . . . 41

3.2 Rearranjo de Cobordismos . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Como Atacar a Conjectura de Poincar
e em Dimens
ao Alta?
56
4 O Primeiro Teorema do Cancelamento
58
4.1 Um Pouco Sobre Transversalidade . . . . . . . . . . . . . . . . . . . . . . . 60

vii
4.2 O Primeiro Teorema do Cancelamento . . . . . . . . . . . . . . . . . . . . 70

5 O Segundo Teorema do Cancelamento
75
5.1 Cancelando Pontos Crticos com N

umeros de Intersecao Opostos . . . . . . 76
5.2 O Segundo Teorema do Cancelamento
6 Interl
udio: A Homologia de Morse
. . . . . . . . . . . . . . . . . . . . 88
92
6.1 Construindo a Homologia de Morse . . . . . . . . . . . . . . . . . . . . . . 92

6.2 A Dualidade de Poincare e o Teorema da Base . . . . . . . . . . . . . . . . 100
7 Cancelando Pontos Crticos
107
7.1 Cancelando Pontos Crticos de Indices

Intermediarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
7.2 Cancelando Pontos Crticos de Indices 0 e 1 . . . . . . . . . . . . . . . . . 109
8 Teorema do h-Cobordismo e Aplicac
oes
114
8.1 O Teorema do h-Cobordismo . . . . . . . . . . . . . . . . . . . . . . . . . . 115

8.2 Identificando n-Discos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
8.3 A Conjectura de Poincare em Dimensoes Altas . . . . . . . . . . . . . . . . 117
A Ap
endice
119
A.1 Algumas Consideracoes em Equacoes

Diferenciais Ordinarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A.2 Algumas Consideracoes em Topologia . . . . . . . . . . . . . . . . . . . . . 120
A.2.1 Homologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
A.2.2 CW-complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
viii
A.2.3 Fibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128

A.2.4 Teorema de Van Kampen . . . . . . . . . . . . . . . . . . . . . . . 130
A.2.5 C r -proximidade e C r -continuidade
. . . . . . . . . . . . . . . . . . 132
A.2.6 Funcao Bump e Particao da Unidade . . . . . . . . . . . . . . . . . 132
ix
Introdu
c
ao
A conjectura de Poincare afirma que qualquer variedade de dimensao 3, compacta, sem
bordo e simplesmente conexa e homeomorfa a S 3 . A conjectura inicial formulada por Henri
Poincare em 1900 afirmava que qualquer variedade de dimensao 3 compacta, sem bordo
e com a homologia da esfera era homeomorfa a S 3 , porem esta foi refutada pelo proprio
Poincare em 1904 com um exemplo de variedade nestas condicoes mas nao homeomorfa
a uma esfera, esta foi entao denominada a esfera homologica de Poincare. A conjectura
generalizada de Poincare diz que qualquer n-variedade compacta, sem bordo, com o mesmo
tipo de homotopia de uma n-esfera S n e homeomorfa a S n . Em 1960 Stephen Smale
demonstrou a conjectura generalizada de Poincare para o caso n 5 em seu artigo
entitulado Generalized Poincares Conjecture in Dimension Greater than Four [18].
Neste trabalho, introduziremos o conceito de cobordismo e, usando uma versao do Teorema de Cancelamento de Pontos Crticos, demonstraremos o teorema de h-cobordismo.
O Teorema de Cancelamento de Pontos Crticos de Smale e, originalmente, enunciado para
handlebodies, a versao deste teorema sera dada na linguagem da teoria de Morse como
apresentada por Milnor. Como corolario, obteremos a prova da conjectura de Poincare
generalizada no caso citado acima.
No decorrer deste texto, essencialmente nos captulos 5 e 6, serao destacados alguns
momentos onde a hipotese dimensional e necessaria para a prova, ou seja, poderemos
verificar porque esta demonstracao nao pode ser utilizada para dimensoes menores.
No primeiro captulo deste trabalho definiremos funcoes de Morse sobre uma variedade e mostraremos que algumas caractersticas topologicas desta variedade podem ser
determinadas apenas conhecendo propriedades destas funcoes.
1
No segundo captulo provaremos a existencia e a densidade de funcoes de Morse e

introduziremos os conceitos de cobordismo, isotopia e pseudo-isotopia.
No terceiro captulo demonstraremos resultados que nos permitirao, sob determinadas
condicoes, reordenar pontos crticos em uma variedade perturbando a funcao de Morse.
Ao final deste captulo provaremos a existencia de uma funcao de Morse f tal que para
todo ponto crtico p, f (p) = ndice(p). Esta funcao sera denominada funcao de Morse
boa e tera sua importancia verificada nos teoremas de cancelamento.
No captulo 4 sera introduzida a teoria de transversalidade e esta nos auxiliara a
demonstrar o Primeiro Teorema do Cancelamento que tera, no captulo 5, suas hipoteses
enfraquecidas. Para isso usaremos, alem de teoria de transversalidade, resultados de
topologia algebrica e de geometria.
No sexto captulo definiremos homologia de Morse e usaremos resultados ate aqui
demonstrados para finalmente cancelar pontos crticos em variedades com caractersticas
especficas.
E finalmente no u
ltimo captulo enunciaremos e demonstraremos o teorema do hcobordismo obtendo, como corolario, a Conjectura de Poincare Generalizada para o caso
n 5.
Captulo 1
Identificando esferas
Neste captulo, primeiramente, definiremos as funcoes de Morse e provaremos o lema de
Morse, esta sera uma ferramenta basica e fundamental no desenvolvimento deste texto.
Provaremos, em seguida, o teorema de Reeb que e um teorema de classificacao topologica,
este teorema tera grande importancia na demonstracao da conjectura de Poincare
1.1
Fun
c
oes de Morse
Seja f : U R uma funcao diferenciavel em um aberto U Rn . Um ponto a U chamase ponto crtico de f quando df (a) = 0 e a imagem de tal ponto e denominado valor crtico
de f. Dizemos que o n
umero real c e um valor regular de f quando nao existirem pontos
crticos de f no nvel c, isto e, em f 1 (c). O ponto crtico diz-se nao-degenerado quando
2
f
(a)) 6= 0.
a matriz Hessiana neste ponto e invertvel, isto e, det( xi x
j
Um sistema de coordenadas de classe C k num aberto U Rn e um difeomorfismo

: V U, de classe C k , definido num aberto V Rn . As coordenadas de um ponto
p U no sistema de coordenadas sao os n
umeros y1 , , yn tais que y = (y1 , , yn ) V
e (y) = p.
Por exemplo, seja = {(x, 0) R2 ; x 0}. Em U = R2 podemos introduzir
um sistema de coordenadas : V U, definido em V = (0, +) (0, 2) por (r, ) =
3
(r cos , r sin ), onde r e a distancia de p à origem e mede em radianos, o angulo 0p com

o semi-eixo positivo das absissas. Os n
umeros r, sao chamados as coordenadas polares
de p = (x, y).
O Lema de Morse nos diz que na vizinhanca de um ponto crtico nao-degenerado
de uma funcao f , e possivel obter um sistema de coordenadas que simplifica bastante a
funcao, na verdade, podemos exprimir f como uma forma quadratica com coeficientes
constantes. Para este fim, precisamos analisar a seguinte aplicacao:
2
Exemplo 1.1.1. Seja f : Rn Rn definida por f (X) = X k , k N fixado e X k
a k-esima potencia da matriz Xnn . A aplicacao f e de classe C e sua derivada,

2
em cada ponto X, e a transformacao linear df (X) : Rn Rn dada por df (X).V =

Pk
i1
V X k1 . No ponto X = I temos df (I).V = kV , entao vemos claramente que
n=1 X
2
df (I) : Rn Rn e um isomorfismo. Pelo Teorema da Funcao Inversa, existem abertos

2
U e W Rn , ambos contendo I = f (I), tais que f : U W e um difeomorfismo de
classe C . Entao, se a matriz Y esta suficientemente proxima da identidade, Y W ,

ela possui uma raiz k-esima X U que, como f e um difeomorfismo, e u
nica.
Teorema 1.1.2. (Lema de Morse) Seja a um ponto crtico nao degenerado de uma
func
ao f : U R de classe C k (k 3) num aberto U Rn . Existe um sistema de
coordenadas : V W , de classe C k2 , com a W U, 0 V e (0) = a, tal que
f ((y)) f (a) =
para todo y = (y1 , . . . , yn ) V , onde aij =
n
X
aij yi yj
i,j=1
1 2f
(a).
2 xi xj
Demonstracao. Para simplificar, suporemos a = 0 = f (a).

Seja W = B(0, r) U, para algum r > 0. Pela Formula de Taylor com resto integral,
R1
temos que f (a+v) = f (a)+df (a).v +r1(v) onde r1 (v) = 0 (1t)d2 f (a+tv)v 2 dt, sabendo
P
2f
(a)xi xj . Entao, se x W , temos que o segmento que liga 0
que d2 f (a)v 2 = ni,j=1 xi x
j
a x pertence a W e como f e de classe C k temos que
f (x) = r1 (x) =
n
X
2f
(1 t)
(tx).xi xj
x
x
i
j
i,j=1
4
dt =
n
X
xi xj
i,j=1
R1
onde aij (x) =
1
0
n
X
2f
(1 t)
(tx)dt =
aij (x)xi xj
xi xj
i,j=1
f
(tx)dt. Note que cada aij (x) e uma funcao de classe C k2
(1 t) xi x
j
definida na bola W .
Devido ao Teorema de Schwarz, a matriz A(x) = (aij ) e simetrica. Note que podemos
escrever f (x) = hA(x) x, xi x W.
2

2

f
f
Seja A0 = A(0) = (aij (0)) = 21 xi x
(0)
,
onde
(0)
e a Hessiana de f em 0.
xi xj
j
Como 0 e um ponto crtico nao-degenerado, temos que det Hess(0) 6= 0, logo e invertvel
e consequentemente A0 e simetrica e invertvel.
Entao, para cada x W , podemos escrever A(x) como A(x) = A0 D(x), onde
D(x) = A1
e uma matriz que depende de x em classe C k2 e
0 A(x), note que, D(x)
quando x = 0 temos D(0) = A1
0 A0 = I.
2
Seja g : Rn Rn definida por g(x) = x2 . Pelo exemplo anterior sabemos que existem
2
abertos M e N contidos em Rn tal que g : M N e um difeomorfismo C e portanto,

se a matriz X N estiver suficientemente proxima de I entao existe um u
nico Y M tal
que Y 2 = X. Basta que tomemos o raio da bola W tao pequeno tal que D(x) N para
podermos concluir que existe B(x) M tal que A(x) = A0 B(x)2 , com B : W Rn
sendo de classe C k2 .
Como A0 e A(x) sao simetricas, tomando transpostas temos que
A = A = (A0 B 2 ) = (B )2 A0 = (B )2 A0 ,
1
2
2
portanto B 2 = A1
0 (B ) A0 = (A0 (B ) A0 ) .
1
Ora, D(x) = B 2 (x) = (A1

0 B (x) A0 ) , como A0 B (x) A0 M temos, pela
unicidade imposta pelo difeomorfismo, que B(x) = A1

0 B (x) A0 , ou seja, A0 B(x) =
B (x) A0 e A(x) = A0 B 2 (x) = B (x) A0 B(x). Assim se x W entao
f (x) = hA(x) x, xi = hB (x) A0 B(x) x, xi = hA0 B(x) x, B(x) xi .

Afirma
c
ao: Se o raio da bola W for tomado suficientemente pequeno, a aplicacao :
W Rn definida por (x) = B(x) x e um difeomorfismo de classe C k2 sobre sua
5
imagem.
Supondo provada a afirmacao, f (x) = hA0 (x), (x)i para todo x W e = 1 :
V W e um sistema de coordenadas de classe C k2 , como (0) = B(0) 0 = 0, temos
que (0) = 1 (0) = 0 e f ((y)) = hA0 ((y)), ((y))i = hA0 y, yi . Isto prova o Lema
de Morse.
Demonstracao da Afirmacao. Para todo x W e todo v Rn , temos

(x) v =
B
(x)
=
x + B(x) v,
v
v
se x = 0 temos (0) v = B(0) v = v.

Notemos que (0) : Rn Rn e a aplicacao identidade que e um isomorfismo, logo,
pelo Teorema da Funcao Inversa, se o raio de W for tomado suficientemente pequeno,
obteremos um difeomorfismo : W V de classe C k2 com (x) = B(x) x e (0) = 0.
Corol
ario 1.1.3. Nas condicoes do Lema de Morse, existe um sistema de coordenadas
: V0 W de classe C k2, com a W U, 0 V0 , (0) = a e
f ((y)) f (a) = y1 2 . . . yi 2 + yi+12 + . . . + yn 2
Demonstracao. Basta compor o sistema de coordenadas com uma mudanca linear de
P
coordenadas que torna a forma quadratica
aij yi yj uma soma de quadrados.
Sabemos pelo teorema espectral que dada uma matriz simetrica A0 existe uma base
ortonormal {u1 , . . . , un } tal que A0 uj = j uj (j = 1, . . . , n). Como A0 e invertvel

temos que j 6= 0 j. Seja i tal que 1 < 0, . . . , i < 0 e i+1 > 0, . . . , n > 0. Seja uma
u
base = {v1 , . . . , vn } tal que vj = j
u
se j i e vj = j se j > i. Desta forma
j
hA0 vj , vk i = 0
se j 6= k,
hA0 vj , vj i = 1 se j i,
hA v , v i = 1
se j > i
0
j j
6
Seja T : Rn Rn a transformacao linear (invertvel) tal que T e1 = v1 , . . . , T en = vn .
Pondo V0 = T 1 (V ) onde V e o aberto obtido pelo Lema de Morse, o difeomorfismo

= T : V0 W cumpre:
f ((y)) = f ((T y)) = hA0 T y, T yi

D
E X
X
X
= A0
yj vj ,
yk vk =
yi yk hA0 vj , vk i
=
X
j
j,k
yj 2 hA0 vj , vj i = y1 2 . . . yi 2 + yi+12 + . . . + yn 2
O n
umero i que aparece no corolario anterior e denominado ndice do ponto crtico a.
Quando i = n, o ponto a e um maximo local para f ; se i = 0, a e um ponto de mnimo
local; para 0 < i < n, tem-se um ponto de sela de ndice i.
Figura 1.1: Figura A
Figura 1.2: Figura B
Seja f : U R uma funcao suave definida num aberto U do plano. Seja a U o
ponto crtico de f . Se i = 0 ou i = 2 entao f ((y)) f (a) = (y1 2 + y22 ) e as curvas

de nvel na vizinhanca deste ponto tem a forma da figura A, pois proximas de a essas
curvas sao imagens pelo difeomorfismo dos crculos y1 2 + y2 2 = constante. Se i = 1

entao f ((y)) f (a) = y1 2 + y2 2 e as curvas de nvel na vizinhanca de a tem a forma
da Figura B.
7
Proposic
ao 1.1.4. Dado 0 < n existe uma aplicacao suave g : Rn R tal que,
fora de um conjunto compacto, g(x1 , . . . , xn ) = x1 e tal que g possui apenas dois pontos
crticos p1 , p2 , nao-degenerados, de ndices , + 1 respectivamente com g(p1 ) < g(p2 ).
Demonstracao. Identificaremos Rn com R R Rn1 , denotaremos por (x, y, z) um
ponto generico de Rn e por y 2 o quadrado do comprimento de y em R .
Seja s(x) uma funcao com suporte compacto tal que x+s(x) tenha dois pontos crticos
nao degenerados x0 e x1 .
x + s(x)
x0
x1
Figura 1.3:
Primeiro considere a funcao h(x, y, z) = x + s(x) y 2 + z 2 em Rn . Como h =
(1 + s (x), 2y, 2z) temos que os pontos crticos de h sao (x0 , 0, 0) e (x1 , 0, 0) e estes sao
nao-degenerados.
Os pontos crticos de x + s(x) tem ndice 0 e 1. Suponha que o ndice de x0 e 0 e o de

x1 e 1, entao, pelo lema de Morse, em uma vizinhanca destes pontos podemos mudar o
sistema de coordenadas de modo que e funcao possa ser escrita com x2 (proximo de x0 )
ou x2 (proximo de x1 ) e desta forma h(x) tem pontos crticos (x0 , 0, 0) com ndice e
(x1 , 0, 0) com ndice + 1.
Tome tres funcoes , , : R R+ com suporte compacto tais que:
1. (t) = 1 para |t| 1
8
2. |(t)| <
1
max |s(x)|
para todo t
3. (t) = 1 sempre que (t) 6= 0

4. (x) = 1 sempre que s (x) 6= 0
5. | (x)| <
1
max(t(t))
Agora tome
g(x, y, z) = x + s(x)(y 2 + z 2 ) + (x)(y 2 + z 2 )(y 2 + z 2 )
e observe que:
a)
g x tem suporte compacto
b)
no interior da regiao onde = 1 e = 1 temos que g = h e possui os pontos crticos

(x0 , 0, 0) e (x1 , 0, 0).
c)
gx = 1 + s (x)(y 2 + z 2 ) + (x)(y 2 + z 2 )(y 2 + z 2 ).

O terceiro termo de gx tem valor absoluto menor que 1 pois | (x)| <
1
,
max(t(t))
assim
se s (x) = 0 ou (y 2 + z 2 ) = 0 teremos gx 6= 0. Logo temos que verificar apenas a regiao

onde s (x) 6= 0 (nesse caso = 1) e (y 2 + z 2 ) = 0 (nesse caso = 1) para sabermos
quais sao os pontos crticos.
d)
Na regiao = 1, = 1 temos
g = (1 + s (x)(y 2 + z 2 ), 2y(s(x)(y 2 + z 2 ) 1), 2z(s(x) (y 2 + z 2 ) + 1)).
Mas s(x) (y 2 + z 2 ) 1 6= 0 pois |(t)| <
1
.
max |s(x)|
Assim o gradiente pode ser nulo
apenas quando y = 0, z = 0 e, portanto, = 1. Mas esse caso ja foi descrito na

segunda observacao.
Com essas consideracoes segue o lema.
Defini
c
ao 1.1.5. Seja M uma variedade diferenciavel n-dimensional. Uma funcao suave
f : M R e dita ser uma Funcao de Morse se todos os seus pontos crticos sao naodegenerados.
Uma consequencia imediata do Lema de Morse e que pontos crticos de uma funcao
de Morse sao isolados. Se a variedade e compacta entao a funcao possui no maximo um
n
umero finito de pontos crticos.
1.2
O Teorema de Reeb
O objetivo desta secao e provar um teorema de classificacao topologica, ou seja, dadas

certas condicoes em uma variedade n-dimensional, podemos mostrar que esta e homeomorfa a` esfera S n . Na verdade podemos provar ainda mais, a variedade e difeomorfa à
S n a menos, possivelmente, de um u
nico ponto.
Proposic
ao 1.2.1. Sejam M uma variedade diferenciavel n-dimensional , f : M R
suave e a < b. Suponha que o conjunto f 1 ([a, b]) e compacto e nao possui pontos crticos
de f . Entao M a := f 1 ((, a]) = {p M : f (p) a} e difeomorfo a M b .
Demonstracao. Escolha uma metrica Riemanniana em M e seja hX, Y i o produto interno
de dois vetores tangentes, como determinado por essa metrica. O gradiente de f e o
campo de vetores f em M que e caracterizado pela identidade hX, f i = X(f ), onde
X(f ) e a derivada direcional de f ao longo de X para algum campo de vetores X.
Note que este campo de vetores f se anula precisamente nos pontos crticos de
f , e tambem que se c : R M e uma curva com velocidade
dc
d(f c)
,
f
= dt .
dt
Seja : M R uma funcao suave que e igual a
1
hf,f i
dc
dt
temos a identidade
por todo conjunto compacto
f 1 ([a, b]), que se anula fora de uma vizinhanca compacta deste conjunto. Entao o campo
de vetores X definido por Xq = (q)f (q) gera um u
nico grupo de difeomorfismos a
1-parametro t : M M.
10
Para q M fixado considere a funcao t 7 f (t (q)). Se t (q) esta no conjunto
f 1 ([a, b]) entao
df (t (q))
=
dt
dt (q)
, f
dt
= hX, f i =
1
f, f
hf, f i
=1
Desta forma vemos que f (t (q)) = t+k e que f (t (q)) e monotona crescente. Mas sabemos
que 0 (q) = q e portanto f (t (q)) = t + f (q). Seja x f 1 {a} entao f (ba (x)) = b e
assim concluimos que ba leva M a difeomorficamente em M b .
Defini
c
ao 1.2.2. Uma deformacao retratil do espaco X no subespaco A e definida como
sendo uma famlia de aplicacoes t : X X, t [0, 1] contnua tal que 0 = Id,
1 (X) = A e t |A = Id t [0, 1]. Neste caso A e chamado retrato por deformacao de
X.
Corol
ario 1.2.3. M a e um retrato por deformacao de M b .
Demonstracao. Defina:
t : M b M b
por
q
t (q) =

se f (q) a,
t(af (q)) (q)
se a f (q) b.
entao 0 = id , t |M a = id e, se q f 1 ([a, b]), f (1 (q)) = f ((af (q)) (q)) = a f (q) +

f (q) = a. Sendo assim segue o resultado.
Defini
c
ao 1.2.4. Dizemos que duas variedade M e N tem o mesmo tipo de homotopia
se existirem aplicacoes f : M N e g : N M tais que g f : M M e f g : N N
sao homotopicas às aplicacoes identidade correspondentes. Neste caso f chama-se uma
equivalencia homotopica e g a sua inversa homotopica.
Note que se t : X X e uma deformacao retratil sendo A X o retrato por
deformacao de X entao X e A possuem o mesmo tipo de homotopia. De fato, seja
i : A X a aplicacao inclusao, entao 1 i : A A e a aplicacao identidade em A
11
e i 1 : X X que e igual a 1 : X X e homotopica à identidade em X, basta

definirmos
H : [0, 1] X X
(t, x) 7 H(t, x) = t (x)
e lembrarmos que 0 = Id.
Proposic
ao 1.2.5. Seja f : M R uma funcao suave e seja p um ponto crtico nao
degenerado com ndice . Sendo f (p) = c, suponha que para algum > 0, f 1 ([c
, c + ]) e compacto e nao contem pontos crticos de f alem de p. Entao para algum
suficientemente pequeno, o conjunto M c+ tem o mesmo tipo de homotopia de M c com
uma -celula anexada.
Demonstracao. Sabemos pelo corolario do Lema de Morse 1.1.3 que existe uma vizinhanca
U de p e um sistema de coordenadas u1 , . . . , un tal que
f (q) = c (u1 (q))2 . . . (u (q))2 + (u+1 (q))2 + . . . + (un (q))2
para todo q U.
Defina , : U [0, ) por:
= (u1 )2 + . . . + (u )2
= (u+1 )2 + . . . + (un )2
assim f |U = c + .
Escolha > 0 tal que:
1. A regiao f 1 ([c , c + ]) seja compacta e nao contenha pontos crticos de f alem
de p ;
2. A imagem de U pelo mergulho difeomorfo
(u1 , . . . , un ) : U Rn
contenha a bola fechada de raio 2 , ou seja, se q e tal que (q) + (q) 2, entao
q U.
12
Agora definimos a -celula fechada e como sendo o conjunto de pontos em U tais que
e (u+1 )2 = . . . = (un )2 = 0
O diagrama a seguir ilustra esquematicamente os conjuntos M c , f 1 ([c , c]),
f 1 ([c, c + ]) e e .
eixo (u+1 , . . . , un )
aaaaaaaaaaaaaaaaaaaaaaaa
f =c+
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
f =c
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
e
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
paaaaaaaaaaaa
eixo (u , . . . , u )
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
f =c
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
f =c
f =c
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
aaaaaaaaaaaa
f =c+
aaaaaaaaaaaa
aaaaaaaaaaaa
O O O O O O O O O O
O O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
Figura 1.4: Diagrama 1
As linhas coordenadas representam os planos u+1 = . . . = un = 0 e u1 = . . . = u = 0.
O crculo representa o bordo da bola de raio 2 . As hiperboles representam as hiperfcies

f 1 (c ) e f 1 (c + ). A regiao M c e representada pela regiao coberta de bolinhas,
f 1 ([c , c]) e representada pela regiao quadriculada e f 1 ([c, c + ]) e representada pela
regiao hachurada. A linha preta horizontal passando por p representa a celula e .
O conjunto e M c = {q M : (q) = e (u+1 )2 = . . . = (un )2 = 0} e o bordo
de e , portanto e esta anexado em M c como queramos. Queremos agora mostrar que
e M c e um retrato por deformacao de M c+ .
Para isso construiremos uma funcao auxiliar F : M R como segue.
Seja : R R suave tal que:
13
Agora seja F tal que:
(0) >
(r) = 0
se r 2
1 < d(r) 0 r R.
dr
f (q)
se q
/U
F (q) =
f (q) ((q) + 2 (q)) se q U.
Denote F 1 ((, c ]) por M c H onde H = F 1 ((, c ]) M c .

Afirma
c
ao 1:
F 1 ((, c + ]) = M c+ .
Afirma
c
ao 2:
Em F 1 ([c , c + ]) nao existem pontos crtico de F .
Afirma
c
ao 3:
M c e e um retrato por deformacao de M c H.
Supondo provadas as Afirmacoes 1 e 2 e usando o Teorema 1.2.1 e seu corolario vemos

que a regiao M c H e um retrato por deformacao de M c+ . Agora supondo provada a
Afirmacao 3 verifica-se que M c e e de fato um retrato por deformacao de M c+ como
queramos demonstrar.
Provemos agora as afirmacoes:
Demonstracao da Afirmacao 1: Se x e tal que 2 2 , entao F (x) = f (x).
Suponha agora que x seja tal que 2 < 2 . Entao f (x) = c + c + 21 + <
c + e assim F 1 ((, c + ]) M c+ . Se x M c+ e como F f , temos que

F (x) f (x) c + , logo F 1 ((, c + ]) M c+ .
Demonstracao da Afirmacao 2: Provemos primeiramente que os pontos crticos de F sao

os mesmos de f .
14
Note que dF =
F
d
F
d
e que
= 1 ( + 2 ) < 0
= 1 2 ( + 2 ) 1
Portanto dF = 0 se, e so se, d e d forem simultaneamente nulos. Este fato so ocorre

quando u1 (x) = . . . = un (x) = 0, logo, somente quando x = p. Desta forma F e f tem os
mesmos pontos crticos em U e consequentemente em M ja que F = f fora de U.
Agora considere a regiao F 1 ([c, c+]). Pela Afirmacao 1, F 1 ([c, c+]) M c+ .
Como F f temos que c F (x) f (x), portanto F 1 ([c, c+]) f 1 ([c, c+]).
Consequentemente esta regiao e compacta e nao pode conter pontos crticos de F exceto
possivelmente p. Mas F (p) = c (0) < c . Disto segue a afirmacao.
Demonstracao da Afirmacao 3: Primeiramente provemos que e H.

Note que x H F (x) c e f (x) c .
Se x e entao f (x) = c (x) + (x) c .
Agora, como
< 0 temos que F (x) F (p) < c .
A deformacao retratil rt : M c H M c e e indicada esquematicamente pelas

setas verticais no diagrama acima. mais precisamente seja rt a identidade fora de U e
defina rt dentro de U como segue.
necessario distinguir 3 casos como indicado na figura abaixo.
E
Caso 1: Dentro da regiao .
Seja rt (x) = (u1 (x), . . . , u(x), tu+1 (x), . . . , tun (x)) para t [0, 1].
Como e decrescente temos que ( + 2 ) ( + 2 t2 ) 0, entao c + ( + 2 )
(+2 t2 ) c. Mas (+2 ) ++, logo c+(+2 t2 ) c e portanto

F (rt ) = c + t2 ( + 2 t2 ) c e disto concluo que rt leva F 1 ((, c ])
nele mesmo.
Note que r1 e a identidade e r0 leva toda a regiao em e .
15
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
f = F =c+
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
O O O O O O O O O O
Caso 2: Dentro da regiao + .

Seja rt (x) = (u1 (x), . . . , u(x), st u+1 (x), . . . , st un (x)) onde
1
st = t + (1 t)(
) 2 para t [0, 1].
Note que st 1 e usando a mesma ideia do caso 1 e facil ver que rt leva F 1 ((, c])
nele mesmo.
Neste caso, r1 e novamente a identidade e r0 leva toda regiao dentro da hiperfcie
f 1 (c ) pois
f (r0 (x)) = c (x) +
(x)
(x) = c .
(x)
Observe que esta definicao coincide com o caso 1 quando = .

Caso 3: Dentro da regiao + , isto e, dentro de M c .
Seja rt a identidade. Esta coincide com a definicao precedente quando = + .
Podemos concluir entao que M c e possui o mesmo tipo de homotopia que M c+ ,

e com isso termina a prova do teorema.
16
caso 3
caso 1
}
caso 2
Observac
ao 1.2.6. Uma simples modificacao na demonstracao anterior mostra que o
conjunto M c e tambem um retrato por deformacao de M c+ .
De fato, M c e um retrato por deformacao de F 1 ((, c]), que por sua vez e retrato
por deformacao de M c+ . Combinando este fato com a proposicao anterior obtemos que
M c e e retrato por deformacao de M c .
Corol
ario 1.2.7. Mais geralmente suponha que existem k pontos crticos nao degenerados
p1 , . . . , pk com ndices 1 , . . . , k em f 1 (c). Entao uma demonstracao similar nos mostra
que M c+ tem o mesmo tipo de homotopia de M c e1 . . . ek .
Proposic
ao 1.2.8. Seja M uma variedade diferenciavel, n-dimensional e f : M R
uma funcao suave possuindo apenas um ponto de mnimo p onde p e um ponto crtico naodegenerado. Entao existe > 0 tal que para a (f (p), f (p) + ) o conjunto f 1 ((, a])
e difeomorfo a uma bola fechada de dimensao n.
Demonstracao. Pelo Lema de Morse podemos encontrar uma vizinhanca aberta U de p
em M e um difeomorfismo (representacao local) : U V em uma vizinhanca aberta
V da origem em Tp M tal que f 1 (v) = f (p) + x21 + x22 + . . . + x2n para todo v =
(x1 , x2 , . . . , xn ) V . Como x21 + x22 + . . . + x2n > 0 e f (p) e mnimo, entao existe > 0 tal
que x21 + x22 + . . . + x2n < implica (x1 , x2 , . . . , xn ) V . Entao:
f 1 ((, f (p) + ]) = f 1 ((, f (p) + ]) U = 1 (B),

17
onde B V representa a bola fechada:

= {v Tp M : x2 + x2 + . . . + x2 }
B
1
2
n
Tomando a = f (p) + segue o resultado.
Observac
ao 1.2.9. Uma demonstracao analoga nos mostra que se f possui apenas um
ponto de maximo q, onde q e um ponto crtico nao-degenerado. Entao existe > 0 tal
que para b (f (q) , f (q)) o conjunto f 1 ([b, +)) e difeomorfo a uma bola fechada de
dimens
ao n.
Corol
ario 1.2.10. Seja M uma variedade diferenciavel, n-dimensional e f : M R
uma funcao suave cujos pontos de mnimo sao pontos crticos nao-degenerados. Entao
existe > 0 tal que para a (m, m + ) o conjunto f 1 ((, a]) e homeomorfo a soma
topol
ogica de r bolas fechadas de dimensao n, onde m = minf e r e o n
umero de pontos
de mnimo pi tais que f (pi ) = m.
Teorema 1.2.11. (Teorema de Reeb) Sejam M uma variedade diferenciavel, compacta, n-dimensional e sem bordo e f : M R uma funcao suave com apenas dois
pontos crticos, sendo eles nao-degenerados. Entao M e homeomorfa à n-esfera S n .
Demonstracao. Como M e uma variedade compacta sem bordo e f e contnua, entao
f admite maximo e mnimo e consequentemente estes sao exatamente os u
nicos pontos
crticos da hipotese.
Sejam p e q M tais que f (p) = e f (q) = os pontos de maximo e de mnimo
respectivamente.
Sabemos pela Proposicao 1.2.8 e a observacao 1.2.9 que existem < b < a < tais
que f 1 ([, b]) e f 1 ([a, ]) sao difeomorfos ao disco unitario n-dimensional D n .
Sabemos tambem pela Proposicao 1.2.1 que, como em f 1 ([a, b]), f nao possui pontos
crticos, entao f 1 ([a, ]) e difeomorfa a f 1 ([b, ]) que e, portanto difeomorfa ao D n .
Agora temos algo semelhante na esfera S n , ou seja, sendo pn e ps os polos norte e sul
respectivamente e Cn e Cs as calotas superior e inferior fechadas da esfera, temos que Cn
e Cs sao difeomorfas ao D n .
18
Defina os difeomorfismos: h1 : f 1 ([, b]) D n ; h2 : f 1 ([b, ]) D n ; h3 : Cn D n

e h4 : Cs D n . Note que estas aplicacoes levam bordo em bordo difeomorficamente, que
f 1 ([, b]) = f 1 ([b, ]) e que Cn = Cs = S n1 .

Afirma
c
ao:
Um homeomorfismo g0 : S n1 S n1 pode ser estendido a um homeo-
morfismo g : D n D n .
Seja entao h : M S n definido da seguinte maneira:
h 1 h (x)
se x f 1 ([, b])
1
4
h(x) =
h 1 g h (x) se x f 1 ([b, ])
2
3
onde g e uma extensao de g0 : S n1 S n1 com
g0 = h3 |Cn h41 |Dn h1 |f 1 ([,b]) h21 |Dn .

Agora e facil notar que h e um homeomorfismo de M em S n ja que h41 h1 e
h31 g h2 sao homeomorfismos e estes coincidem nos bordos de f 1 ([, b]) e f 1 ([b, ])
respectivamente.
Demonstracao da Afirmacao: O homeomorfismo g0 pode ser estendido do seguinte modo:
|x| g ( x ) se |x| =
6 0
0 |x|
g(x) =
0
se |x| = 0
Observac
ao 1.2.12. Note que, nesta demonstracao poderamos usar que S n = (S n
{pn }) {pn } e M = (M {}) {} ao inves de S n = Cn Cs e M = f 1 ([, b])
f 1 ([b, ]). Neste caso provamos que M e difeomorfa a S n a menos, possivelmente, de

um ponto. E mais, se g0 = id, M e, de fato, difeomorfa a S n .
Nao e sempre possvel encontrar um difeomorfismo entre M e S n . Em 1956, John
Milnor [13] encontrou um exemplo de uma variedade de dimensao 7 que e homeomorfa
mas nao e difeomorfa à S 7 .
19
Porem, como veremos no Captulo 2, existe uma condicao mais fraca para g0 que
garante o difeomorfismo entre M e S n .
Um resultado mais descritivo que o teorema de Reeb, porem em categoria homotopica
e o teorema a seguir:
Teorema 1.2.13. Se f e uma funcao diferenciavel em uma variedade M compacta cujos
pontos crticos sao todos nao-degenerados, entao M tem o mesmo tipo de homotopia de
um CW-complexo, com uma celula de dimensao para cada ponto crtico de ndice .
Este teorema e quase uma generalizacao do teorema de Reeb ja que este conclui
equivalencia homotopica que e uma condicao mais fraca que o homeomorfismo concluido em Reeb. Mas quando se trata de grupos de homologia, equivalencia homotopica e
suficiente para concluir isomorfismos entre os respectivos grupos, e e nesse ponto que o
teorema sera importante. Sabendo que grupos de homologia celular e singular de CWcomplexos sao isomorfos, concluimos que os grupos de homologia singular de M sao
isomorfos aos grupos de homologia celular do CW-complexo associado.
A demonstracao completa deste teorema sera dada no apendice.
20
Captulo 2
Cobordismo
2.1
Fun
c
oes de Morse Sobre Trades
Seja W uma variedade n-dimensional, compacta e suave. Denotaremos por Bd(W ) (bordo
de W ) o conjunto de todos os pontos em W que nao tem vizinhanca homeomorfa a Rn .
Se W e tal que Bd(W ) e a uniao disjunta de duas subvariedades abertas e fechadas
V0 e V1 , definimos (W ; V0 , V1 ) como sendo uma trade de variedades suaves.
Defini
c
ao 2.1.1. Dadas duas n-variedades suaves fechadas (compactas sem bordo) M0 e
M1 , definimos o cobordismo de M0 a M1 como sendo uma quntupla (W ; V0 , V1 ; h0 , h1 ) onde
(W ; V0, V1 ) e uma trade de variedades suaves e hi : Vi Mi , i = 0, 1 sao difeomorfismos.
W
V0
M0
V1
M1
h1
h0
Figura 2.1:
Defini
c
ao 2.1.2. Uma funcao de Morse sobre uma trade de variedades suaves (W ; V0, V1 )
e uma funcao suave f : W [a, b] tal que
21
1. f 1 (a) = V0 , f 1 (b) = V1
2. Todo ponto crtico de f e ponto interior e sao todos nao-degenerados.
Como consequencia do Lema de Morse, os pontos crticos de uma funcao de Morse sao
isolados, e se a variedade for compacta existirao, no maximo, um n
umero finito de pontos
crticos.
Defini
c
ao 2.1.3. O n
umero de Morse de (W ; V0 , V1 ) e a quantidade mnima de pontos
crticos de f sobre todas as funcoes de Morse f .
Exist
encia de Fun
c
oes de Morse
Lema 2.1.4. Existe uma funcao suave f : W [0, 1] com f 1 (0) = V0 , f 1 (1) = V1 , tal
que f nao possui pontos crticos em uma vizinhanca do bordo de W .
Demonstracao. Sejam U1 , . . . , Uk uma cobertura de W por vizinhancas coordenadas. Assumiremos que para todo i = 1, . . . , k se Ui V0 6= entao Ui V1 = e se Ui V1 6= entao
Ui V0 = . Assumiremos tambem que se Ui Bd(W ) 6= entao a funcao coordenada
hi : Ui Rn+ leva Ui na intersecao da bola unitaria aberta com Rn+ .
Em cada conjunto Ui definimos a aplicacao fi : Ui [0, 1] como segue:
Se Ui V0 6= (respectivamente V1 ) entao fi = Lhi onde L e a aplicacao Lx = xn
(respectivamente 1 xn ), onde x = (x1 , . . . , xn ).
Se Ui V0 = e Ui V1 = entao fi 12 .
Escolha uma particao da unidade {i } subordinada a cobertura {Ui } e defina a
aplicacao f : W [0, 1] por f (p) = 1 (p)f1 (p) + + k (p)fk (p) . Assim f e uma
funcao suave bem definida com f 1 (0) = V0 e f 1 (1) = V1 .
Verifiquemos agora que df 6= 0 em Bd(W ).
Seja q V0 (respectivamente q V1 ). Entao, para algum i, i (q) > 0 e q Ui . Seja
hi (p) = (x1 (p), . . . , xn (p)). Entao
k
X j
f
f1
fk
=
fj
+ {1
+ + k
}.
xn
x
x
x
n
n
n
j=1
22
Ja sabemos que fj (z) tem o mesmo valor 0, (respectivamente 1) para todo j e

P
{ kj=1 j } = 0. Entao, em q, o primeiro somatorio e zero.

xn
A derivada
entao
f
(q)
xn
fi
(q)
xn
Pk
i
j=1 xn
= 1 (respectivamente 1) e estas possuem todas o mesmo sinal,
6= 0. Segue entao que df 6= 0 em Bd(W ) e assim df 6= 0 numa vizinhanca de
Bd(W ) por continuidade.

Teorema 2.1.5. Toda trade de variedades suaves (W ; V0 , V1 ) possui uma funcao de
Morse.
Primeiramente mostraremos que em um caso particular, quando a variedade e compacta sem bordo, as funcoes de Morse formam um subconjunto aberto denso de F (M, R)
na topologia C 2 onde F (M, R) e o conjunto das funcoes suaves a valores reais definidas
na variedade compacta M. Disto seguira a existencia neste caso.
No caso com bordo ja sabemos que existe uma funcao f : W [0, 1] tal que f 1 (0) =
V0 , f 1 (1) = V1 e f nao possui pontos crticos numa vizinhanca de Bd(W ). Perturbaremos
f de modo a encontrar uma funcao que preserve as propriedades acima, porem nao possua
pontos crticos degenerados, ou seja, encontraremos uma funcao de Morse definida na
trade provando sua existencia.
Lema 2.1.6. Se f e uma aplicacao C 2 de um subconjunto aberto U Rn na reta real,
ent
ao, para quase todo funcional linear L : Rn R, a funcao f + L possui apenas pontos
crticos nao degenerados.
Por quase toda aplicacao entendemos: exceto num conjunto de medida nula em
HomR (Rn , R)
= Rn .
Demonstracao. Consideremos a variedade U HomR (Rn , R). Esta possui uma subvariedade M = {(x, L)/d(f (x) + L(x)) = 0}.
Em M, L(x) = df (x) e a correspondencia x 7 (x, df (x)) e um difeomorfismo de
U em M.
Cada (x, L) M corresponde a um ponto crtico de f + L, e este e degenerado
2
f
precisamente quando a matriz ( xi x
) e singular.
j
23
Temos tambem uma projecao : M Hom(Rn , R) levando (x, L) em L. Esta
projecao nada mais e que a correspondencia x 7 df (x), e note que e C 1 . Assim e

2
f
) e singular.
crtico em (x, L) M precisamente quando a matriz d = ( xi x
j
Desta forma, f + L tem um ponto crtico degenerado (para algum x) se e so se L e a

imagem de um ponto crtico de . Mas, pelo Teorema de Sard, a imagem do conjunto de
pontos crticos de tem medida nula em Rn e disto segue o lema.
Lema 2.1.7. Seja K um subconjunto compacto de um conjunto aberto U Rn . Se
f : U R e C 2 e possui apenas pontos crticos nao-degenerados em K, entao existe
> 0 tal que se g : U R e C 2 e Dg e -C 1 -proximo de Df , entao g possui apenas

pontos crticos nao degenerados em K.
Demonstracao. Como f possui apenas pontos crticos nao-degenerados em K, kdf k +
2
f
f 2
f 2 2
|det( xi x
)| > 0 onde kdf k = [( x
) + + ( x
) ] , e seja > 0 seu mnimo em K.
n
1
j
Escolha > 0 tao pequeno tal que o fato de Dg ser -C 1 -proximo de Df implica
kkdf k kdgkk <
f
g
e | |det( xix
)| |det( xi x
)| | < 2 .
j
j
2
g
f
Entao kdgk + |det( xi x
)| > kdf k + |det( xi x
)| 2 2 0 para todos os pontos em
j
j
K. Assim segue o resultado.

Lema 2.1.8. Suponha h : U U um difeomorfismo de um subconjunto aberto de Rn
sobre outro que leva o compacto K U em K U . Entao a aplicacao

: C (U , R) C (U, R)
f
f h
e C 2 -contnua em f 0.
Demonstracao. Seja
A max { sup |Dh(p)|, sup |D 2h(p)|, 1}.
pK
pK
. Entao, se f C (U , R) e tal que |f (p)| < , kDf (p)k < e

2A
kD 2 f (p)k < para p K , temos que, como h(q) K para q K, |f h(q)| <
Dado > 0 seja =
24
q K.
kD(f h)(q)k = kD(f (h)(q)) Dh(q)k kDf (h(q))kkDh(q)k A < q K
e
kD 2 (f h)(q)k kD 2 f (h(q))kkDh(q)k + kDf (h(q))kkD 2h(q)k < 2A = q K.
Provando assim a C 2 -continuidade da .
Defini
c
ao 2.1.9. Seja f : M R. Dizemos que f e nao degenerada em S M se f nao
possui pontos crticos degenerados em S.
Um caso particular
Antes de demonstrar o Teorema 2.1.5 consideraremos um caso particular onde M e
uma variedade compacta sem bordo, isto e, M e a trade (M; , ).
Teorema 2.1.10. Se M e uma variedade compacta sem bordo, as funcoes de Morse
formam um subconjunto aberto denso de F (M, R) na topologia C 2 .
Demonstracao. Sejam (U1 , h1 ), . . . , (Uk , hk ) uma cobertura finita de M por vizinhancas
coordenadas. Podemos encontrar conjuntos compactos Ci Ui tais que C1 , C2 , . . . , Ck ,
cubram M.
1. O conjunto de funcoes de Morse e aberto.
Se f : M R e uma funcao de Morse, o Lema 2.1.7 nos diz que, em uma vizinhanca
Ni de f em F (M, R), toda funcao sera nao degenerada em Ci . Assim, na vizinhanca
N = N1 Nk de f , toda funcao sera nao degenerada em C1 Ck = M,
ou seja, toda funcao sera de Morse.
2. O conjunto de funcoes de Morse e denso.
Seja N uma vizinhanca dada de f F (M, R). Seja uma funcao suave : M
[0, 1] tal que 1 numa vizinhanca de C1 e 0 numa vizinhanca de M U1 .
Pelo Lema 2.1.6, para quase toda escolha de aplicacao linear L : Rn R, a funcao
f1 (p) = f (p) + (p)L(h1 (p)) sera nao degenerada em C1 U1 .
25
Afirmac
ao: Se os coeficientes da aplicacao linear L sao suficientemente pequenos,
entao f1 pertencera a uma dada vizinhanca N de f .
Demonstracao da Afirmacao: Primeiramente note que f1 difere de f apenas em um
conjunto compacto K = supp() U1 .
P
Sendo L(x) = L(x1 , . . . , xn ) =
li xi , note que
f1 (h11 (x)) f (h11 (x)) = (h11 (x))
li xi
para todo x h1 (K). Entao, escolhendo li suficientemente pequeno, podemos

garantir que esta diferenca, junto com a primeira e a segunda derivada, e menor
que algum > 0 pre determinado no conjunto h1 (K). Agora, se e suficientemente
pequeno, entao segue do Lema 2.1.8 que f1 pertence a vizinhanca N.
Encontramos entao, uma funcao f1 em N que e nao degenerada em C1 . Aplicando
o Lema 2.1.7 novamente, podemos escolher uma vizinhanca N1 de f1 , N1 N, tal
que qualquer funcao em N1 e ainda nao degenerada em C1 .
Agora repetimos o processo com f1 e N1 , para obter uma funcao f2 em N1 nao
degenerada em C2 , e uma vizinhanca N2 de f2 N2 N1 , tal que qualquer funcao em
N2 e ainda nao degenerada em C2 . A funcao f2 e automaticamente nao degenerada
em C1 .
Repetindo o processo encontramos uma funcao fk Nk Nk1 N1 N
que e nao degenerada em C1 Ck = M.
O caso com bordo

Demonstracao do Teorema 2.1.5. Pelo Lema 2.1.4, existe uma fucao f : W [0, 1] que
satisfaz:
(1) f 1 (0) = V0 , f 1 (1) = V1 e
(2) f nao possui pontos crticos numa vizinhanca de Bd(W ).
26
O objetivo e eliminar os pontos crticos degenerados em W Bd(W ), sempre preservando

as propriedades (1) e (2) da f .
Seja U uma vizinhanca aberta de Bd(W ) onde f nao possui pontos crticos. Como W e
normal1 podemos encontrar uma vizinhanca aberta V de Bd(W ) tal que V U. Seja {Ui }
uma cobertura finita de W por vizinhancas coordenadas tal que o conjunto Ui ou esta em
U ou em W V . Tome um refinamento compacto {Ci } de {Ui } e seja C0 a uniao de todos
os Ci s que estao em U. Assim como para a variedade compacta e sem bordo do teorema
2.1.10, podemos usar o Lema 2.1.7 para mostrar que numa vizinhanca suficientemente
pequena N de f , nenhuma funcao pode possuir pontos crticos degenerados em C0 .
Temos tambem que 0 < f < 1 no compacto W V . Assim, em uma vizinhanca N
de f , toda funcao g satisfaz a condicao 0 < g < 1 em W V .
Seja N0 = N N e sejam U1 , . . . , Uk as vizinhancas coordenadas em W V . Agora
procedemos exatamente da mesma maneira que no teorema 2.1.10. Usando o Lema 2.1.6
podemos encontrar uma funcao f1 em N0 que e nao degenerada em C1 e uma vizinhanca
N1 de f1 , N1 N0 a qual toda funcao e nao degenerada em C1 . Repetindo esse processo
k vezes encontramos uma funcao fk Nk Nk1 N0 que e nao degenerada em
C0 C1 Ck = M.
Como fk N0 N e fk |V = f |V , fk satisfaz as condicoes 1 e 2. Logo fk e uma
funcao de Morse em (W ; V0 , V1 ).
Observac
ao 2.1.11. Agora nao e difcil mostrar que, na topologia C 2 , as funcoes de
Morse formam um subconjunto aberto e denso do conjunto das aplicacoes suaves f :
(W ; V0, V1 ) ([0, 1]; 0, 1).
Para propositos futuros sera conveniente obter uma funcao de Morse que nao possui
pontos crticos no mesmo nvel.
Lema 2.1.12. Seja f : W [0, 1] uma funcao de Morse da trade (W ; V0 , V1 ) com
pontos crticos p1 , . . . , pk . Entao podemos aproximar f por uma funcao de Morse g com
os mesmos pontos crticos, tal que g(pi ) 6= g(pj ) quando i 6= j.
1
Um espaco topol
ogico X chama-se normal quando dados subconjuntos de X fechados F e G, com
F G = , existem subconjuntos de X abertos U e V tais que F U , G V e U V = .
27
Demonstracao. Construa uma funcao suave : W [0, 1] tal que = 1 numa vizinhanca
nico
U de p1 e = 0 fora de uma grande vizinhanca N, onde N W Bd(W ) e o u
ponto crtico de f contido em N e p1 .
Escolha 1 > 0 tao pequeno tal que f0 = f + 1 assume valores em [0, 1] e f0 (p1 ) 6=
f0 (pi ), i 6= 1.
Introduza uma metrica Riemanniana para W e encontre c e c tais que 0 < c kf k
em todo compacto K = 1 ((0, 1)) e kk c em K.
Seja 0 < < min{1 , cc }. Entao f1 = f + e novamente uma funcao de Morse,

f1 (p1 ) 6= f1 (pi ) para i 6= 1 e f1 possui exatamente os mesmo pontos crticos de f , pois,
em K
k(f + )k kf k kk c c > 0
e, fora de K, kf k = 0, entao kf1 k = kf k.
Encontramos assim, uma funcao de Morse f1 com os mesmo pontos crticos de f e que
f1 (p1 ) 6= f1 (pi ), i 6= 1. Continuando indutivamente encontramos uma funcao g de Morse
que separa todos os pontos crticos. Isso completa a prova.
2.1.1
Colares e Cobordismos
Definiremos agora um campo de vetores que e uma generalizacao do campo gradiente.

Provaremos que, dada uma funcao de Morse numa trade, existe um campo deste tipo
associado. Por isso e devido às interesantes propriedades deste campo, ele sera frequentemente usado no decorrer deste texto.
Defini
c
ao 2.1.13. Seja f uma funcao de Morse para a trade (W n ; V, V ). Um campo de
vetores em W n e um campo de vetores tipo gradiente de f se:
1. (f ) > 0 no complemento do conjunto de pontos crticos de f e
2. Dado qualquer ponto crtico p de f existem coordenadas (x1 , . . . , x , x+1 , . . . , xn ) =
(x, y) numa vizinhanca U de p de modo que f = f (p) kxk2 + kyk2 e tem
coordenadas (x1 , . . . , x , x+1 , . . . , xn ) em U.
28
Lema 2.1.14. Para toda funcao de Morse f na trade (W n ; V, V ) existe um campo de

vetores tipo gradiente .
Demonstracao. Para simplificar a prova assumiremos que f possui apenas um ponto
crtico, a demonstracao do caso geral e analoga ja que o conjunto de pontos crticos e
discreto.
Podemos escolher coordenadas (x, y) = (x1 , . . . , x , x1 , . . . , xn ) numa vizinhanca U0
de p de modo que f = f (p) kxk2 + kyk2 em U0 devido ao Lema de Morse. Seja U uma
vizinhanca de p tal que U U0 .
Cada ponto p W U0 nao e ponto crtico de f . Usando a Forma Local da Submersao,
vemos que existem coordenadas x1 , . . . , xn numa vizinhanca U de p tal que f = c + x1

em U onde c e uma constante.
Usando isso e o fato que W U0 e compacto, encontramos vizinhancas U1 , . . . , Uk tais

que:
1. W U0 U1 Uk ;
2. U Ui = , i = 1, . . . , k;
3. Ui possui coordenadas xi1 , . . . , xin e f = c + xi1 em Ui , i = 1, . . . , k.
Existe um campo de vetores cujas coordenadas sao (x1 , . . . , x , x+1 , . . . , xn ) em U0 ,
e em Ui existe um campo
xi1
com coordenadas (1, 0, . . . , 0), i = 1, . . . , k. Juntando esses
campos e usando particao da unidade subordinada à cobertura U0 , U1 , . . . , Uk , obtemos

um campo em W .
O campo encontrado e o campo de vetores tipo gradiente requerido.
Observac
ao 2.1.15. Daqui em diante identificaremos a trade (W ; V0 , V1 ) com o cobordismo (W ; V0, V1 ; i0 , i1 ) onde i0 : V0 V0 e i1 : V1 V1 sao as aplicacoes identidade.
Defini
c
ao 2.1.16. A trade (W ; V0, V1 ) e dita ser um cobordismo produto se esta e difeomorfa a` trade (V0 [0, 1]; V0 {0}, V0 {1}).
29
Corol
ario 2.1.17. Se o n
umero de Morse da trade (W ; V0, V1 ) e zero, entao (W ; V0, V1 )
e um cobordismo produto.
Demonstracao. Da demonstracao da Proposicao 1.2.1, sabemos que existe um u
nico grupo
de difeomorfismos a 1-parametro t : W W e que este satisfaz f (t (q)) = t + f (q).
Seja entao h : W V0 [0, 1] onde h(y) = (f (y) , f (y)) e h1 (y0 , s) = s (y0 ). a
aplicacao h e o difeomorfismo requerido.
Teorema 2.1.18 (O Colar de uma Variedade). Seja W uma variedade suave compacta
com bordo. Existe uma vizinhanca de Bd(W ) (chamado o colar de W ) difeomorfa a
Bd(W ) [0, 1).
Demonstracao. Pelo Lema 2.1.4, existe uma funcao suave f : W R+ tal que f 1 (0) =
Bd(W ) e df 6= 0 numa vizinhanca U de Bd(W ).
Entao f e uma funcao de Morse em f 1 ([0, 2 ]), onde > 0 e uma cota inferior para f
no conjunto compacto W U.
Assim o Corolario 2.1.17 garante um difeomorfismo de f 1 ([0, 2 )) com Bd(W ) [0, 1).
Uma subvariedade fechada conexa M n1 W n Bd(W ) tem dupla face se alguma

vizinhanca de M n1 em W n e dividida em duas componentes quando M n1 e retirada.
Teorema 2.1.19 ( Bicolar). Suponha que toda componente de uma subvariedade suave
M de W e dupla face. Entao existe uma vizinhanca de M em W (chamado bicolar)
difeomorfa a M (1, 1) de tal modo que M corresponde a M 0.
Demonstracao. Como as componentes conexas de M podem ser cobertas por conjuntos
abertos disjuntos em W , e suficiente considerar o caso onde M possui uma u
nica componente conexa.
Seja U uma vizinhanca aberta de M em W Bd(W ) tal que U e compacto e pertence
a uma vizinhanca de M a qual e dividida em duas componentes quando M e retirada.
30
Entao U claramente se divide como uma uniao de duas subvariedades U1 e U2 tais que
U1 U2 = M e o bordo de cada. Como na demonstracao do Lema 2.1.4 podemos usar
coberturas coordenadas e uma particao da unidade para construir uma aplicacao suave
: U R tal que d 6= 0 em M, < 0 em U U1 , = 0 em M e > 0 em U U2 .
Podemos escolher uma vizinhanca aberta V de M, com V U, na qual nao possui
pontos crticos.
Seja 2 > 0 o nfimo de no compacto U 1 V .
Seja 2 < 0 o supremo de no compacto U 2 V .
Entao 1 ([ , ]) e um compacto n-dimensional de V com bordo 1 ( ) 1 ( ), e
e uma funcao de Morse em 1 ([ , ]).
O Corolario 2.1.17 diz que 1 (( , )) e um bicolar de M em V e, assim, em W .
Se (W ; V0, V1 ), (W ; V1 , V2 ) sao duas trades e h : V1 V1 e um difeomorfismo, entao
podemos formar uma terceira trade (W h W ; V0 , V2 ) onde W h W e o espaco formado
pela uniao de W e W identificando os pontos de V1 e V1 por h, de acordo com o seguinte

lema.
Lema 2.1.20. Sejam M uma C r -variedade compacta e W uma vizinhanca de M 0 em

M R+ . Seja f um mergulho C r de W em M R+ tal que f |M 0 = id. Existe um
difeomorfismo C r f de W em f (W ) que e igual a f numa vizinhanca do complemento de

W , e igual a identidade numa vizinhanca de M 0.
Demonstracao. Denotemos um ponto qualquer em M R+ por (x, t). Assumiremos que
W e o conjunto de pontos (x, t) para o qual 0 t < (x), onde (x) < 1 e uma funcao
positiva C r em M.
Seja f (x, t) = (X(x, t), T (x, t)). Temos que X(x, 0) = 0. Para todo t > 0, T (x, t) 0
entao, proximo de zero, T (x0 , t) e crescente ou constante para x0 fixado. Mas, pela nao
singularidade de f , temos que
T (x,0)
t
> 0.
31
Escolha uma funcao C r positiva (x) < 1 em M tal que
T (x,t)
t
(x,0)
e 1 > (x) T t
> 0 para 0 t (x).
> 0 para 0 t (x)
Defina uma aplicacao g : W W pela equacao g(x, t) = (x, (x, t)), onde:

t
t
(x, t) = 1
(x)t +
t
(x)
(x)
Aqui (t) e uma funcao monotona C que e igual a zero para t
1
3
e igual a 1 para
t 23 .
Note que g(x, 0) = (x, 0), g(x, t) = (x, t) para t
2(x)
,
3
(x, t)
= (1 ) (x) + + (1 (x))
t
para t <
2(x)
,
3
t
(x)
> 0
assim, pelo Teorema da Funcao Inversa, g e um difeomorfismo local. Mas
como g e tambem uma bijecao, g e um difeomorfismo global.

Seja f1 = f g. Entao f1 e um difeomorfismo de W em f (W ) que e igual a f perto
de W W . Alem disso, se tomarmos f1 (x, t) = (X1 , T1 ), entao
0<
(x)
T1 (x, t)
< 1 para t <
t
3
Isso segue do fato que T1 (x, t) = T (x, (x)t) para t <
(x)
,
3
entao
T1 (x, t)
T (x, (x)t)
= (x)
t
t
que e positivo e menor que 1 pela escolha de .
Definiremos agora uma aplicacao h : W W pela equacao h(x, t) = (x, (x, t)), onde

2t
2t
(x, t) =
t+ 1
T1 (x, t).
(x)
(x)
De novo, h e um difeomorfismo pois (x, 0) = 0, (x, t) = t para t
(x)
3
(x, t)
(x)
> 0 para t <
.
t
3
Esta u
ltima desigualdade segue do fato que

(x, t)
T1 (x, t)
T1 (x, t)
= + (1 )
+ 1
2t
t
t
t
32
que e positivo pois
T1 (x,t)
t
> 0 e pelo Teorema do Valor Medio
T1 (x, t) T1 (x, 0)
T1 (x, t )
T1 (x, t)
=
=
<1
t
t0
t
onde 0 < t < t.
Seja f2 = f1 h1 . Entao f2 e um difeomorfismo C r de W em f (W ) que e igual a f
perto de W W . Alem disso, se tomarmos f2 (x, t) = (X2 , T2 ), entao T2 (x, t) t em uma
vizinhanca Y de M 0 em M R+ .
Sendo M compacto, escolha suficientemente pequeno para que M [0, ] esteja
contido em Y e defina f3 (x, t) = (X3 , T3 ), onde T3 = T2 e X3 (x, t) = X2 (x, ( t )t).
Note que proximo de t = 0, X3 e identidade e note tambem que f3 e um difeomorfismo

pois a aplicacao x 7 X(x, t0 ) e um difeomorfismo de M em t0 < e T3 (x, t) = t para
t < .
Sendo assim f3 e o difeomorfismo requerido.
Teorema 2.1.21. Sejam (W ; V0 , V1 ), (W ; V1 , V2 ) duas trades e h : V1 V1 um difeo-
morfismo. Entao existe uma estrutura suave S para W h W compatvel com as estru-
turas dadas em W e W . A estrutura S e u

nica a menos de difeomorfismo deixando V0 ,
h(V1 ) = V1 e V2 fixados.
Demonstracao.
Exist
encia:
Pelo Teorema 2.1.18, existem vizinhancas U1 , U1 de V1 , V1 em W , W respectivamente
e difeomorfismos g1 : V1 (0, 1] U1 , g2 : V1 [1, 2) U1 tais que g1 (x, 1) = x, x V1
e g2 (y, 1) = y, y V1 .
Sejam j : W W h W , j : W W h W as aplicacoes inclusao.

Defina a aplicacao g : V1 (0, 2) W h W por:
j(g (x, t))

se 0 < t 1,
1
g(x, t) =
j (g (h(x), t)) se 1 t < 2.
2
33
Para definir uma estrutura diferenciavel na variedade e suficiente definir estruturas

suaves compatveis nos abertos de uma cobertura da variedade. Temos que W h W e
coberta por j(W V1 ), j (W V1 ) e g(V1 (0, 2)) e queremos mostrar que a estrutura
suave definida nesses conjuntos por j, j e g, respectivamente, sao compatveis.
Todas as vizinhancas coordenadas em j(W V1 ) tem intersecao vazia com as em
j (W V1 ), logo estas sao compatveis.
Sejam (g(U), g 1) e (j(V ), h j 1 ) vizinhancas coordenadas quaisquer em g(V1

(0, 2)) e j(W V1 ) respectivamente , onde (U, ) e (V, h) sao vizinhancas coordenadas em
V1 (0, 2) e W respectivamente. Suponha que g(U) j(V ) 6= . A aplicacao
h j 1 g 1 : g 1 (g(U) j(V )) h j 1 (g(U) j(V ))
e suave ja que a aplicacao g restrita a tal intersecao e igual a j(g1 (x, t)) que e suave.
Logo j(W V1 ) e g(V1 (0, 2)) sao compatveis. Analogamente temos que j (W V1 ) e
g(V1 (0, 2)) sao compatveis. Isso completa a prova da existencia.
Unicidade:
Seja S a estrutura diferenciavel construda acima e seja S uma outra estrutura
qualquer de W h W que e compatvel com as estruturas dadas em W e W .
Pelo Teorema do Bicolar 2.1.19, existem bicolares V e V de V1 em (W h W , S ) e
(W h W , S ) respectivamente.
Note que que em j (W V1 ) e em j(W V1 ) as vizinhancas coordenadas de S e S

coincidem.
Sejam P : V V1 (1, 1) e P : V V1 (1, 1) os difeomorfismos dos bicolares
acima. Tome U uma vizinhanca de V1 0 em V1 (1, 1) tal que P 1 (U) V e seja a

aplicacao P P 1 |U : U V1 (1, 1). Note que P P 1 |V1 0 id e e um difeomorfismo
quando restrito aos subconjuntos (V1 [0, 1) U) = U+ e (V1 (1, 0]) U) = U de U.

Pelo Lema 2.1.20, existe um homeomorfismo de U com P P 1 (U) que e igual a
P P 1 numa vizinhanca do complemento de U, e um difeomorfismo quando restrito a

U+ e U , e e igual a identidade numa vizinhanca de V1 0.
34
Entao f = (P )1 P esta definida na vizinhanca P 1 (U) de V1 em W h W e e
igual a identidade numa vizinhanca do complemento de P 1 (U).
Assim, f pode ser estendida a um homeomorfismo de (W h W , S ) em (W h W , S )
sendo a identidade fora de P 1(U).
Note que, na realidade, f e um difeomorfismo e isso completa a demonstracao do

teorema.
V0
V1
V0
V1
W h W
Figura 2.2:
Suponha agora que sao dadas as trades (W ; V0 , V1 ) e (W ; V1 , V2 ) com funcoes de

Morse f e f em [0, 1] e [1, 2] respectivamente. Construa campos de vetores tipo gradiente
e em W e W , respectivamente, normalizados tais que (f ) = 1 e (f ) = 1 exceto
numa pequena vizinhanca de cada ponto crtico. Feita tal construcao podemos provar o
Lema a seguir:
Lema 2.1.22. Dado um difeomorfismo h : V1 V1 existe uma u
nica estrutura suave em
W h W , compatvel com as estruturas em W e W dadas, tal que f e f geram uma
func
ao suave em W h W e e geram um campo de vetores suave.
Demonstracao. A prova e a mesma que a do teorema 2.1.21 acima, exceto que a estrutura
35
suave no bicolar deve ser escolhida de modo a colar as curvas integrais de e nas
vizinhancas colares de V1 e V1 . Esta condicao tambem prova a unicidade.
Esta construcao nos fornece uma demonstracao para o resultado seguinte.

valida a seguinte desigualdade: (W h W ; V0 , V ) (W ; V0, V1 )+
Corol
ario 2.1.23. E
2
(W ; V1 , V2 ) onde e o n
umero de Morse da trade.
2.2
Cobordismo Visto Como Categoria
Defini
c
ao 2.2.1. Dizemos que dois cobordismos (W ; V0 , V1 ; h0 , h1 ) e (W ; V0 , V1 ; h0 , h1 )
sao equivalentes se existe um difeomorfismo g : W W levando V0 em V0 , V1 em V1 tal
que o seguinte diagrama comuta.
Vi 2
g|Vi
Vi
22

22

22

h
hi 22

22
i
22

Mi
Desta forma obtemos uma categoria onde os objetos sao variedades fechadas e os
morfismos sao classes de equivalencia c de cobordismos. Isso significa que cobordismos
satisfazem as duas seguintes condicoes que seguem imediatamente do Teorema 2.1.21 e
do Teorema 2.1.18 respectivamente:
1. Dados classes de equivalencia c de cobordismo de M0 a M1 e c de M1 a M2 , existe
uma classe bem definida cc de M0 a M2 . Esta operacao composicao e associativa.
2. Para toda variedade fechada M existe a classe de cobordismo identidade lM que e
a classe de equivalencia de (M I; M 0, M 1; p0 , p1 ), com pi (x, i) = x, x M e
i = 0, 1.
36
Assim, se c e uma classe de cobordismo de M1 a M2 , entao lM1 c = c = clM2 .

Dado um difeomorfismo h : M M , defina ch como a classe de (M I; M 0, M
1; j, h1 ) onde j(x, 0) = x e h(x, 1) = x, x M.
Teorema 2.2.2. Para quaisquer dois difeomorfismos h : M M e h : M M vale
que ch ch = ch h .
Demonstracao. Seja W = M I h M I e sejam jh : M I W jh : M I W
as aplicacoes inclusao. Defina a aplicacao g : M I W como segue:
j (x, 2t)
se 0 t 12 ,
h
g(x, t) =
j (h(x), 2t 1) se 1 t 1.
h
Entao g esta bem definida e e a equivalencia requerida.
Observac
ao 2.2.3. Seja f : (W ; V0, V1 ) ([0, 1]; 0, 1) uma funcao de Morse, e suponha
que 0 < c < 1 onde c nao e um valor crtico de f . Entao ambos f 1 ([0, c]) e f 1 ([c, 1])
s
ao variedades suaves com bordo. Assim o cobordismo (W ; V0, V1 ; id, id) de V0 a V1 pode
ser expresso como a composicao de dois cobordismos, um de V0 a f 1 (c) e outro de f 1 (c)
a V1 .
A observacao acima junto com o Lema 2.1.12 nos mostra o importante resultado:
Corol
ario 2.2.4. Qualquer cobordismo pode ser expresso como uma composicao de cobordismos com n
umero de Morse 1.
2.3
Isotopia e Pseudo-isotopia
Defini
c
ao 2.3.1. Dois difeomorfismos h0 , h1 de M a M sao suavemente isotopicos se
existe uma aplicacao f : M I M tal que:
1. a aplicacao f e suave;
37
2. cada ft , definido por ft (x) = f (x, t), e um difeomorfismo e

3. f0 = h0 , f1 = h1 .
Dois difeomorfismos h0 , h1 de M a M sao pseudo-isotopicos se existe um difeomorfismo
g : M I M I tal que g(x, 0) = (h0 (x), 0) e g(x, 1) = (h1 (x), 1).
Observac
ao 2.3.2. Se h0 : M M e h1 : M M sao isotopicos, entao sao pseudo-
isot
opicos. De fato, seja f : M I M a isotopia entre h0 e h1 . Defina f : M I
M I de modo que f(x, t) = (ft (x), t). Temos, pelo Teorema da Funcao Inversa, que
f e um difeomorfismo e note tambem que f(x, 0) = (f0 (x), 0) = (h0 (x), 0) e f(x, 1) =
(f1 (x), 1) = (h1 (x), 1), o que mostra que h0 e h1 sao pseudo-isotopicos.
Lema 2.3.3. Isotopia e pseudo-isotopia sao relacoes de equivalencia.
Demonstracao. A simetria e a reflexividade sao claras tanto na isotopia quanto na pseudoisotopia.
Transitividade da isotopia:
Sejam h0 , h1 , h2 : M M difeomorfismos e f, g : M I M as isotopias entre h0
e h1 e entre h1 e h2 respectivamente.
Seja m : I I uma aplicacao monotona suave tal que m(t) = 0 para 0 t
m(t) = 1 para
2
3
1
3
t 1.
A isotopia entre h0 e h1 sera dada por k : M I M definida por:
f (x, m(2t))
se 0 t 12 ,
k(x, t) =
g(h(x), m(2t 1)) se 1 t 1.
2
Note que foi preciso usar a funcao auxiliar m para garantir a suavidade de k e, desta
forma, da existencia da isotopia.
Transitividade da pseudo-isotopia:
A fim de demonstrar a transitividade da pseudo-isotopia nao podemos usar a mesma
tecnica usada acima pois a funcao auxiliar m e constante em 0 t
38
1
3
e em
2
3
t 1,
logo, se contrussemos k (x, t) com a mesma tecnica, esta seria constante em 0 t

e em
5
6
1
6
t 1, por essa razao k nao seria uma bijecao e portanto nao teramos uma
pseudo-isotopia. Para que possamos provar a transitividade neste caso usaremos o lema
2.1.20 como segue.
Sejam, novamente, h0 , h1 , h2 : M M difeomorfismos e f, g : M I M I as
pseudo-isotopias entre h0 e h1 e entre h1 e h2 respectivamente.
1
1
Defina h1
1 1 : M I M I por h1 1(x, t) = (h1 (x), t). Note que esta
aplicacao e um difeomorfismo.
Seja g = (h1
e difeomorfismo e portanto e um mergulho onde
1 1) g. Note que g
g|M 0 = id.
Pelo Lema 2.1.20 existe um difeomorfismo g de M I em g(M I) que e igual a
g numa vizinhanca do complemento de M I em M R+ e igual a identidade numa
vizinhanca de M 0
Defina agora g = (h1 1) g onde (h1 1)(x, y) = (h1 (x), t).
A aplicacao g e um difeomorfismo que e igual a h1 1 numa vizinhanca de M 0 e
que em M 1, g = h2 .
Usando raciocnio analogo em f , encontramos f tal que em M 0, f = h0 e numa
vizinhanca de M 1, f = h1 1. Defina k : M I M I por:
f (x, 2t)
se 0 t 21 ,
k(x, t) =
g (x, 2t 1) se 1 t 1.
2
Esta aplicacao k e a pseudo-isotopia requerida.
Teorema 2.3.4. As classe de equivalencia ch0 e ch1 sao iguais se, e somente se, os
difeomorfismos h0 e h1 sao pseudo-isotopicos.
Demonstracao. Seja g : M I M I a pseudo isotopia entre h0 e h1 .
1
1
Defina h1
0 1 : M I M I por h0 1(x, t) = (h0 (x), t).
39
1
Seja f = (h1
e difeomorfismo temos que, pelo Teorema da Funcao
0 1) g. Como h0
Inversa, h1
e um difeomorfismo, logo f e a equivalencia desejada.
0 1
Suponha agora que f e uma equivalencia entre ch0 e ch1 . Seja h0 1 : M I M I

definida por h0 1(x, t) = (h0 (x), t) e seja g = (h0 1) f .
Note que g e um difeomorfismo e que este define a pseudo-isotopia entre h0 e h1 .
Lema 2.3.5. Sejam f, g : Q P difeomorfismos isotopicos. Entao existe um difeomorfismo entre P f Q e P g Q.

A demonstracao deste resultado esta feita em [4] captulo 8, secao 2.
Na observacao 1.2.12 mostramos que se g0 = id entao M e, na verdade, difeomorfa à
esfera. Mostraremos agora que basta que g0 seja isotopica à identidade para termos tal
difeomorfismo.
Lembremos que
g0 = h3 |Cn h41 |Dn h1 |f 1 ([,b]) h21 |Dn : S n1 S n1 .
Suponha que g0 seja isotopico à identidade, entao
k = h11 |Dn h4 |Cs h31 |Dn h2 |f 1 ([b,])
e tambem isotopico à identidade. Note que M = M1 id M2 onde M1 = f 1 ([b, ]) e M2 =
f 1 ([, b]). Pelo Lema 2.3.5 conclumos que M e difeomorfa a M1 k M2 . Usando a mesma
demonstracao do Teorema de Reeb 1.2.11 para verificar que M1 k M2 e homeomorfa a

S n obtemos que, na verdade, estes sao difeomorfos. Logo M e difeomorfa a S n .
40
Captulo 3
Cobordismos Elementares e
Rearranjo de Cobordismos
O objetivo deste captulo e provar a existencia de funcoes boas. Uma funcao boa f e
uma funcao de Morse definida em uma trade com a propriedade que se p e um ponto
crtico, entao f (p) = ndice(p). Esta funcao sera construda a partir de uma funcao de
Morse qualquer atraves de perturbacoes do campo de vetores tipo gradiente. Mas para
isso precisaremos estudar os cobordismos com n
umero de Morse 1 e com eles poderemos
rearranjar os cobordismos de modo a obter a funcao desejada.
Este captulo esta, entao, dividido em duas secoes. A primeira estuda os cobordismos
com n
umero de Morse 1 e a segunda os utiliza para encontrar as funcoes boas.
3.1
Cobordismos Elementares e Cirurgias
Nesta secao estudaremos cobordismos com n

umero de Morse 1. O objetivo aqui e mostrar
que se a trade (W ; V, V ) e um cobordismo que possui uma funcao de Morse f com
exatamente um ponto crtico p de ndice , entao tal cobordismo tem n
umero de Morse
1, ou seja, nao e um cobordismo produto, e o ndice esta bem definido, ou seja, independe
da escolha da f .
41
Seja (W ; V, V ) uma trade com funcao de Morse f : W R e um campo de vetores

tipo gradiente para f . Suponha que p W e um ponto crtico e c0 , c1 R valores
regulares tais que c0 < f (p) < c1 e f (p) = c e o u
nico valor crtico no intervalo [c0 , c1 ].
Sejam V0 = f 1 (c0 ) e V1 = f 1 (c1 ). Denotaremos por 0Drp a bola aberta de raio r com
centro 0 em Rp , e 0D1p = 0D p .
Sendo um campo de vetores tipo gradiente para f , existe, pelo lema de Morse,
n
uma vizinhanca U de p em W , e um difeomorfismo coordenado g : 0D2
U tal que
f g(x, y) = c kxk2 + kyk2 e tem coordenadas (x1 , . . . , x , x+1 , . . . , xn ) em U, para
algum 1 n e algum > 0. Aqui x = (x1 , . . . , x ) R e y = (x+1 , . . . , xn ) Rn .
Defino V = f 1 (c 2 ) e V = f 1 (c + 2 ). assumiremos que 42 < min(|c c0 |, |c c1|),

tal que V fica entre V0 e f 1 (c) e V fica entre V1 e f 1 (c).
R
W
c1
f 1 (c1 ) = V1
f
c + 2
f (p) = c
c 2
f 1 (c0 ) = V0
c0
Figura 3.1:
Denotemos por S p1 o bordo de um disco unitario fechado D p em Rp .

Defini
c
ao 3.1.1. O mergulho caracterstico L : S 1 0D n V0 e definido como
segue. Primeiramente definimos um mergulho : S 1 0D n V por (u, v) =
g(u cosh , v sinh ) para u S n1 , v S n1 e 0 < 1.
Comecando do ponto (u, v) em V , a curva integral de e uma curva nao singular
que vai de (u, v) em algum ponto bem definido L (u, v) em V0 . Definimos a esfera
42
a esquerda SL de p em V0 pela imagem L (S 1 0). Note que SL nada mais e que a

intersecao de V0 com toda curva integral de na direcao do ponto crtico p. O disco a
esquerda DL e um disco mergulhado suavemente com bordo SL , definido pela uniao dos
segmentos destas curvas integrais comecando em SL e terminando em p.
Similarmente, o mergulho caracterstico R : 0D S n1 V1 e obtido pelo mergulho 0D S n1 V por (u, v) 7 g(u sinh , v cosh ) e entao transladando a
imagem ate V1 . A esfera a direita SR de p em V1 e definida sendo R (0 S n1 ). Este
e o bordo do disco a direita DR , definido como sendo a uniao dos segmentos das curvas
integrais de comecando em p e terminando em SR .
SR
SL
Figura 3.2:
Defini
c
ao 3.1.2. Um cobordismo elementar e uma trade (W ; V, V ) possuindo uma
funcao de Morse com exatamente um ponto crtico.
Defini
c
ao 3.1.3. Dada uma variedade V de dimensao n 1 e um mergulho : S 1
0D n V , (V, ) denota a variedade quociente obtida a partir da soma disjunta
(V (S 1 0))+(0D S n1 ) identificando (u, v) com (u, v) para cada u S 1 ,
v S n1 , 0 < < 1. Se V denota alguma variedade difeomorfa a (V, ) entao dizemos
que V pode ser obtida a partir de V por uma cirurgia do tipo (, n ).
Exemplo 3.1.4. Dois crculos disjuntos podem ser obtidos a partir de um crculo V por
uma cirurgia do tipo (1, 1)
43
S 0 {0}
0D 1 S 0
0
1
0
V (S 0 {0}) (V (S {0})) + 0D S
Figura 3.3: Cirurgia do tipo (1, 1)
Exemplo 3.1.5. Um bitoro pode ser obtido a partir de um toro V por uma cirurgia do
tipo (1, 2)
V
V (S 0 {0})
S 0 {0}
0D 1 S 1
(V (S 0 {0})) + 0D 1 S 1
Exemplo 3.1.6. Uma esfera pode ser obtida a partir de um toro V por uma cirurgia do
tipo (2, 1)
V
S 1 {0}
0D 2 S 0
V (S 1 {0}) (V (S 1 {0})) + 0D 2 S 0
44
Os proximos dois resultados mostram que fazer esta cirurgia corresponde a obter um
ponto crtico de ndice de uma funcao de Morse numa n-variedade.
Teorema 3.1.7. Se V = (V, ) pode ser obtida de V a partir de uma cirurgia do
tipo (, n ), entao existe um cobordismo elementar (W ; V, V ) e uma funcao de Morse
f : W R com exatamente um ponto crtico de ndice .
Demonstracao. Denote por L o conjunto de pontos (x, y) em R Rn = Rn que satisfaz
as inequacoes:
1 |x|2 + |y|2 1
|x||y| < (sin 1)(cos 1)
y
Figura 3.6: Esquematizacao de L . Os tracados pontilhados indicam |x||y| = (sin 1)(cos 1)

e os tracados grossos indicam |x|2 + |y|2 = 1 e |x|2 + |y|2 = 1.
Assim L e uma variedade diferenciavel com dois bordos.
O bordo a esquerda, |x|2 + |y|2 = 1, e difeomorfo a S 1 0D n pela correspondencia
(u, v) 7 (u cosh , v sinh ),
0 < 1.
O bordo a direita, |x|2 + |y|2 = 1, e difeomorfa a oD S n1 pela correspondencia

(u, v) 7 (u sinh , v cosh ),
45
0 < 1.
Considere as trajetorias ortogonais das superfcies |x|2 + |y|2 = constante.

A trajetoria que passa atraves do ponto (x, y) pode ser parametrizada na forma
t 7 (tx, 1t y). Se x ou y for zero essa trajetotia sera um segmento de reta tendendo a
origem. Para x e y diferentes de zero sera uma hiperbole que sai de algum ponto bem
definido (u cosh , v sinh ) do bordo a esquerda de L a vai ao ponto correspondente
(u sinh , v cosh ) no bordo a direita.
y
Figura 3.7: Esquematizacao da trajetoria t 7 (tx, 1t y).

Construa uma n-variedade W = (v, ) como segue. Comece com a soma disjunta
(V (S 1 {0})) D 1 + L .
Para cada u S 1 , v S n1 , 0 < < 1 e c D 1 identifique o ponto ((u, v), c)
da primeira parcela da soma com o u
nico ponto (x, y) L tal que:
1. |x|2 + |y|2 = c
2. (x, y) pertence ao conjunto dos pontos na trajetoria ortogonal que passa pelo ponto
(u cosh , v sinh ).
Nao e difcil ver que esta correspondencia define um difeomorfismo
(S 1 (oD n {0})) D 1 7 L (R {0}) (Rn {0}).
46
Segue disto que (V, ) e uma variedade suave bem definida. Esta variedade possui dois
bordos, correspondendo aos valores c = |x|2 + |y|2 = +1 ou 1. O bordo a esquerda,
c = 1, pode ser identificado com V , levando z V a:
(z, 1) (V (S 1 {0})) D 1 para z

/ (S 1 {0})
(u cosh , v sinh ) L para z = (u, v)
O bordo a direita pode ser identificado com (v, ) levando z V (S 1 {0}) a

(z, +1) e levando (u, v) 0D S n1 a (u sinh , v cosh ).
Uma funcao f : (V, ) R e definida por:
f (z, c) = c
para (z, c) (V (S 1 {0})) D 1
f (x, y) = |x|2 + |y|2 para (x, y) L
facil checar que f e uma funcao de Morse bem definida com um ponto crtico de ndice
E
. Isto completa a demonstracao.
Teorema 3.1.8. Seja (W ; V, V ) um cobordismo elementar com mergulho caracterstico

L : S 1 0D n V . Entao (W ; V, V ) e difeomorfa a trade ((V, L ); V, (V, L ))
onde (V, L ) esta definida na demonstracao anterior.
Demonstracao. Usando a notacao da definicao 3.1.1 com V = V0 e V = V1 , sabemos pelo
teorema 2.1.17 que (f 1 ([c0 , c 2 ]); V, V ) e (f 1 ([c + 2 , c1 ]); V , V ) sao cobordismos
produto. Assim (W ; V, V ) e difeomorfo a (W ; V , V ), onde W = f 1 ([c 2 , c + 2 ]).
Como ((V, L ); V, (V, L )) e difeomorfa a ((V, ); V , (V , )), e suficiente

mostrar que (W ; V , V ) e difeomorfo a ((V , ); V, (V , )).
Defina uma aplicacao k : (V , ) W como segue. Para cada (z, t) (V
(S 1 {0})) D 1 seja k(z, t) o u

nico ponto de W tal que k(z, t) esta na curva integral
que passa atraves do ponto z e tal que f (k(z, t)) = 2 t + c. Para cada (x, y) L
seja k(x, y) = g(x, y). Segue das definicoes de e de (V , ), e do fato que g leva
47
trajetorias ortogonais de L em curvas integrais em W , que obtemos um difeomorfismo

bem definido de (V , ) a W . Isto completa a prova.
Corol
ario 3.1.9. Seja (W ; V, V ) um cobordismo elementar possuindo uma funcao de
Morse com um ponto crtico de ndice . Seja DL o disco a esquerda associado a um
campo de vetores tipo gradiente fixado. Entao V DL e um retrato por deformacao de
W.
Demonstracao. Este resultado segue do fato de V DL ser o mesmo que V com uma
-celula anexada. Usando a Proposicao 1.2.5 segue o resultado.
Corol
ario 3.1.10. H (W, V )
= Z em dimensao e e zero caso contrario. Sendo assim
DL representa um gerador para H (W, V ).
Demonstracao. Temos que
H (W, V )
= H (V DL , V ) (equivalencia homotopica)
= H (DL , SL ) (excisao)

DL
f
= H
SL
Z em dimensao
=
0 caso contrario
Observac
ao 3.1.11. Segue do corolario acima que um cobordismo elementar (W ; V, V )
nao e um cobordismo produto ja que, se (W ; V0 , V1 ) e um cobordismo produto, entao:
H (W , V )
= H (V0 [0, 1], V0 {0})
= H (V0 {0}, V0 {0})
= H ({}) = 0
em qualquer dimensao.
48
Segue tambem que (W ; V, V ) = 1 pelo Corolario 2.1.17 e que o ndice do ponto

crtico p com respeito a funcao de Morse f esta bem definido, ou seja, independe da
escolha da f .
Desta forma posso definir:
Defini
c
ao 3.1.12. O ndice do cobordismo elementar (W ; V, V ) e definido como sendo
o ndice do ponto crtico p de uma funcao de Morse f .
3.2
Rearranjo de Cobordismos
A partir de agora iremos utilizar c para denotar cobordismo ao inves de uma classe
de equivalencia como no captulo anterior. Se a composicao cc de dois cobordismos
elementares e equivalente a composicao dd de outros dois cobordismos elementares tal
que :
ndice(c) = ndice(d )
ndice(c ) = ndice(d)
entao dizemos que a composicao cc pode ser rearranjada.
Quando isso e possvel?
Lembre que na trade (W ; V0 , V1 ) para cc existe uma funcao de Morse f : W [0, 1]
com dois pontos crticos p e p , ndice(p) = ndice(c), ndice(p ) = ndice(c ), tal que
f (p) <
1
2
< f (p ). Dado um campo de vetores tipo gradiente para f , como definido na
secao anterior, as trajetorias que iniciam em p encontram V = f 1 ( 12 ) na esfera a direita

SR de p, e as trajetorias indo para p encontram V na esfera a esquerda SL de p .
Provaremos nesta secao que, dado um cobordismo cc , se ndice(c) ndice(c ), entao
e possvel alterar o campo de vetores tipo gradiente para tal que SR SL = . A
seguir provaremos que se SR SL = entao e possvel reordenar o cobordismo. Sendo
assim, dado um cobordismo qualquer, sabemos que este pode ser expresso pela composicao
finita de cobordismos elementares (corolario 2.2.4), reordenaremos os cobordismos para
obter uma composicao tal que ndice(c1 ) ndice(ci+1 ) se f (ci ) < f (ci+1 ). Para finalizar,
49
reordenaremos novamente tal que f (ci ) = ndice(ci ). Obteremos, assim, uma funcao de
Morse que definiremos como funcao boa que, por possuir tal propriedade, sera muito
importante na obtencao de nossos futuros resultados.
Defini
c
ao 3.2.1. Uma vizinhanca aberta U de uma subvariedade M m V v , a qual e
difeomorfa a M m Rvm de tal modo que M m corresponde a M m {0}, e chamada
vizinhanca produto de M m em V v .
Lema 3.2.2. Suponha que M e N sao duas subvariedades de dimensoes m e n respectivamente na variedade V de dimensao v. Se M possui uma vizinhanca produto em V , e
m + n < v, entao existe um difeomorfismo h : V V suavemente isotopico a identidade,
tal que h(M) N = .
Demonstracao. Seja k : M Rvm U V tal que k(M {0}) = M o difeomorfismo
dado pela vizinhanca produto U de M em V . Seja N0 = U N e considere a composicao
g = k 1 |N0 onde : M Rvm Rvm e a projecao natural.
Note que a variedade k(M {x}) V intersecta N se e so se x g(N0 ).

Temos que
Dg(p) = D(k 1(p)) Dk 1 (p) = (k 1 (p)) Dk 1 (p).
Como k e um difeomorfismo, Dk 1 e um isomorfismo, logo os pontos crticos p de g
serao tais que a aplicacao (k 1 (p)) nao e sobrejetiva. Ora, se N0 nao e vazio, temos que
dim N0 = n < v m, segue que todo ponto de N0 e ponto crtico de g, logo, pelo Teorema
de Sard, g(N0 ) possui medida nula em Rvm . Desta forma podemos escolher um ponto
u Rvm g(N0 ). Note que k(M {u}) nao intersecta N.
Contruiremos um difeomorfismo h : V V que leva M em k(M {u}) e e isotopico
a` identidade.
Podemos construir um campo de vetores tipo gradiente suave (x) em Rvm tal que
(x) = u para kxk kuk e (x) = 0 para kxk 2kuk. Como possui suporte compacto
e Rvm nao tem bordo, as curvas integrais (t, x) estao definidas para todo t R. Entao
(0, x) e a identidade em Rvm , (1, x) e um difeomorfismo levando 0 a u e (t, x),
0 t 1, nos da uma isotopia suave de (0, x) a (1, x).
50
Como esta isotopia deixa todos os pontos fixos fora de um conjunto compacto em
Rvm podemos usar isso para definir uma isotopia
ht : V V
da seguinte forma:
k(q, (t, x)) se = k(q, x) U

ht () =
se V U
Entao h = h1 e o difeomorfismo desejado.
Sejam = ndice(c), = ndice(c ) e n = dimW . Note que dimSR +dimSL < dimV =
n 1 se, e somente se .
Teorema 3.2.3. Se , entao e possivel alterar o campo de vetores tipo gradiente da
f em uma pequena vizinhanca de V tal que as correspondentes novas esferas SR e SL em
V n
ao se intersectam.
Demonstracao. Como a esfera SR possui uma vizinhanca produto em V (veja mergulho
caracterstico na definicao 3.1.1), o lema 3.2.2 nos da um difeomorfismo h : V V
suavemente isotopico à identidade tal que h(SR ) SL = . Esta isotopia sera usada a
seguir para alterar o campo de vetores tipo gradiente da f .
Seja a <
1
2
suficientemente proximo de
1
2
tal que f 1 ([a, 21 ]) esta contido em uma
vizinhanca pre-determinada de V . As curvas integrais de =

morfismo
(f )
determinam um difeo-

1
1
1
: a,
V f
a,
2
2
tal que f ((t, q)) = t e ( 21 , q) = q V .
Defina um difeomorfismo H : [a, 12 ] V [a, 12 ] V tal que H(t, q) = (t, ht (q)), onde
ht (q) e uma isotopia suave [a, 12 ] V V da identidade a h ajustada tal que ht e a
identidade para t perto de a e ht = h para t perto de 12 .

51
Defina = ( H 1 ) o campo de vetores suave em f 1 ([a, 12 ]) que coincide com
perto de f 1 (a) e f 1 ( 21 ) = V , e satisfaz (f ) 1. Assim o campo de vetores em W
que coincide com (f ) em f 1 ([a, 12 ]) e com fora de f 1 ([a, 12 ]) e um novo campo suave
de vetores tipo gradiente para f .
Agora, para cada q V fixado, (t, ht (q)) descreve uma curva integral de a partir
de (a, q) em f 1 (a) ate ( 12 , h(q)) = h(q) em f 1 ( 12 ) = V . Segue que a esfera a direita
({a} SR ) de p em f 1 (a) e levada a h(SR ) em V . Entao h(SR ) e a nova esfera a direita
SR de p. Note que SL = SL .
Entao SR SL = como gostaramos. Isto completa a prova do teorema.
f 1 (a) V
SR
SR
p
p
SL = SL
Figura 3.8:
Observac
ao 3.2.4. Mais geralmente, se c e um cobordismo com varios pontos crticos
p1 , . . . , pk de ndice de f , e c e um cobordismo com varios pontos crticos p1 , . . . , pl de
ndice de f , , entao e possvel alterar o campo de vetores tipo gradiente da f em
uma pequena vizinhanca de V tal que as correspondentes novas esferas em V sao duas a
duas disjuntas.
Com o mesmo argumento usado na demonstracao do teorema 3.2.3 podemos demonstrar o lema a seguir, o qual sera frequentemente usado em demonstracoes futuras.
52
Lema 3.2.5. Sejam dados uma trade (W ; V0, V1 ) com uma funcao de Morse f , um campo
de vetores tipo gradiente para f , um nvel nao crtico V = f 1 (b) e um difeomorfismo
h : V V isotopico à identidade. Se f 1 ([a, b]), a < b, nao contem pontos crticos, entao
e possvel construir um novo campo de vetores tipo gradiente para f tal que
a) coincide com fora de f 1 (a, b)
b) = h
onde e sao difeomorfismos f 1 (a) V determinados pelas trajetorias de e ,

respectivamente.
Teorema 3.2.6. Seja (W ; V0 , V1 ) uma trade com funcao de Morse f possuindo dois
pontos crticos p e p . Suponha que para alguma escolha de campo de vetores tipo gradiente
, o conjunto compacto Kp dos pontos nas trajetorias indo para ou saindo de p e disjunto
do conjunto compacto Kp de pontos nas trajetorias indo para ou saindo de p .
Se f (W ) = [0, 1] e a, a (0, 1), entao existe uma nova funcao de Morse g tal que:
1. e um campo de vetores tipo gradiente para g,
2. os pontos crticos de g sao ainda p, p e g(p) = a, g(p) = a ,
3. a funcao g e identica a f numa vizinhanca de V0 V1 e e igual a f mais uma
constante em alguma vizinhanca de p e em alguma vizinhanca de p .
Demonstracao. Note que todas as trajetorias que tem como ponto inicial x
/ K = Kp
Kp , partem de V0 e terminam em V1 .
A funcao : W V0 , que leva cada ponto q W K na u
nica intersecao da sua
trajetoria com V0 , e suave e quando q fica perto de K, (q) tambem fica perto de K.
Segue que se : V0 [0, 1] e uma funcao suave, zero perto da esfera a esquerda Kp V0 e
1 perto da esfera a esquerda Kp V0 , entao se estende unicamente a uma funcao suave
: W [0, 1] que e constante em cada trajetoria, zero perto de Kp e 1 perto de Kp .
Defina uma nova funcao de Morse g : W [0, 1] por g(q) = G(f (q), (q)) onde G(x, y)
e alguma funcao suave G : [0, 1] [0, 1] [0, 1] com as propriedades:
53
}
}
Kp
Kp
V1
V0
Figura 3.9:
i) Para todo x e y,
G
(x, y)
x
> 0 e G(x, y) cresce de 0 a 1 quando x cresce de 0 a 1.
ii) G(f (p), 0) = a, G(f (p ), 1) = a

iii) G(x, y) = x para x perto de 0 ou 1 e para todo y
iv)
v)
G
(x, 0)
x
G
(x, 1)
x
= 1 para x numa vizinhanca de f (p)
= 1 para x numa vizinhanca de f (p )
Desta forma, a funcao g satisfaz as hipoteses como desejavamos.
Observac
ao 3.2.7. Se, mais geralmente, a funcao de Morse f do Teorema 3.2.6 admite
dois conjuntos de pontos crticos p = {p1 , . . . , pn }, p = {p1 , . . . , pl } com todos os pontos
de p no mesmo nvel f (p) e todos os pontos de p no mesmo nvel f (p ), entao o Teorema
3.2.6 continua valido.

Com estes teoremas em maos, obtemos, como corolario, o Teorema do Rearranjo de
Cobordismos a seguir.
Teorema 3.2.8 (Teorema do Rearranjo de Cobordismos). Qualquer cobordismo c pode
ser expresso como uma combinac
ao
c = c0 c1 . . . cn ,
54
n = dim(c), onde cada cobordismo ck admite uma funcao de Morse com apenas um nvel
crtico de ndice k.
Sem usar a nocao de cobordismo, enunciaremos a seguinte proposicao:
Teorema 3.2.9 (Versao alternativa do Teorema 3.2.8). Dada uma funcao de Morse em
uma trade (W ; V0 , V1 ), existe uma nova funcao de Morse f , que possui os mesmos pontos
crticos, cada um com o mesmo ndice e e tal que f (V0 ) = 12 , f (V1 ) = n +
1
2
e f (p) =
ndice(p) para cada ponto crtico p de f .

Defini
c
ao 3.2.10. A funcao de Morse obtida acima sera denominada funcao boa.
55
Como Atacar a Conjectura de

Poincar
e em Dimens
ao Alta?
O objetivo deste texto e demonstrar a Conjectura de Poincare para dimensoes altas:
Teorema: Se uma variedade fechada, suave M n , n 5 e uma n-esfera homotopica,
ent
ao M n e homeomorfa a S n .
Vimos no teorema de Reeb que se uma n-variedade fechada e suave possui uma funcao
de Morse com apenas dois pontos crticos, entao esta variedade e homeomorfa a S n . Desta
forma, se provarmos que uma variedade como na hipotese da conjectura de Poincare possui
uma funcao de Morse com apenas dois pontos crticos, demonstramos a conjectura.
Ora, uma funcao de Morse definida em uma variedade compacta possui pelo menos
dois pontos crticos: maximo e mnimo. Como pontos crticos de uma funcao de Morse
sao disjuntos, existem vizinhancas V1 e V2 desses pontos que possuem apenas um ponto
crtico. Se retirarmos estas vizinhancas da variedade teremos uma trade (M (V1
V2 ); V, V ) onde V e V sao os bordos de V1 e V2 respectivamente. Se provarmos que
esta trade e um cobordismo produto, teremos nosso objetivo. Mas nada nos garante
que a funcao de Morse escolhida nao possui pontos crticos em M (V1 V2 ). Para este
fim, procuraremos mecanismos que perturbem funcoes de Morse arbitrarias e produzam
funcoes de Morse com menos pontos crticos. Tais mecanismos sao conhecidos como os
teoremas de cancelamento. Tais teoremas permitirao obter uma serie de perturbacoes,
sob certas hipoteses, que irao se encaixar perfeitamente na estrategia citada acima, de
modo a produzir uma funcao sem pontos crticos.
Desta forma, os proximos captulos deste texto serao dedicados a teoremas de cance56
lamento. A restricao dimensional sera justificada no decorrer destes teoremas.
57
Captulo 4
O Primeiro Teorema do
Cancelamento
O objetivo deste e do proximo captulo e descobrir quando uma composicao cc de cobordismos elementares de ndices e + 1 respectivamente e equivalente a um cobordismo
produto.
Seja f uma funcao de Morse na trade (W n ; V0 , V1 ) para cc possuindo pontos crticos
p, p de ndices e + 1 respectivamente tal que f (p) <
1
2
< f (p ). Um campo de vetores
tipo gradiente para f determina em V = f 1 ( 12 ) uma esfera a direita SR de p e uma

esfera a esquerda SL de p . Note que dim SR + dim SL = (n 1) + = n 1 = dim V .
Defini
c
ao 4.0.1. Duas subvariedades M m , N n em V v tem intersecao transversal se, para
cada ponto q M N, o espaco tangente de V em q e gerado pelos vetores tangentes de
M e de N. (Se m+ n < v isto e impossvel entao ter intersecao transversal e simplesmente
M N = ).
Sejam M e M subvariedades suaves de dimensoes r e s em uma variedade suave V de
dimensao r + s que se intersectam nos pontos p1 , . . . , pk transversalmente. Suponha que
M e orientada e que o fibrado normal (M ) de M em V e orientado. Em pi escolha um
r-referencial 1 , . . . , r positivamente orientado de vetores linearmente independentes que
geram o espaco tangente Tpi M de M em pi . Sendo a intersecao transversal, os vetores
58
1 , . . . , r representam uma base para a fibra em pi do fibrado normal (M ).

Defini
c
ao 4.0.2. O n
umero de intersecao de M e M em pi e definido ser +1 ou 1
de acordo com o fato de os vetores 1 , . . . , r representarem uma base positiva ou negativamente orientada para a fibra em pi do fibrado normal (M ). O n
umero de intersecao
M M de M e M e a soma dos n
umeros de intersecao dos pontos pi .
Neste texto sera convencionado que, na expressao M M, escreveremos a variedade
que possui o fibrado normal orientado primeiro.
Observac
ao 4.0.3. Note que se V e orientada, qualquer subvariedade N e orientada
se, e s
o se seu fibrado normal e orientado, basta observar que dada uma orientacao para
N existe uma maneira natural de dar uma orientacao a (N) e vice-versa usando a
orientacao de V . Podemos exigir adicionalmente que em um ponto de N, um referencial
tangente a N positivamente orientado, seguido de um referencial positivamente orientado
em (N) seja um referencial positivamente orientado em V . Sendo assim existe um modo
natural de orientar (M) e M se V for orientada e teremos que M M = (1)rs M M. Se
a orientacao e a orientacao do fibrado normal nao necessariamente obedecerem a exigencia
acima, teremos ainda M M = (1)M M.
O Primeiro Teorema do Cancelamento, que e o teorema principal deste captulo, afirma
que se a intersecao entre SR e SL for transversal e consistir de apenas um ponto, entao o
cobordismo e na verdade um cobordismo produto.
A primeira secao deste captulo e destinada a:
1. garantir que e sempre possvel aplicar uma isotopia h a SR de modo que h(SR ) e SL
se intersectam transversalmente.
2. demonstrar um teorema que garantira a existencia de uma vizinhanca da trajetoria
de p a p com convenientes caractersticas quando SR e SL tem intersecao transversal
u
nica.
Na segunda secao demonstraremos o Primeiro Teorema do Cancelamento utilizando
os resultados obtidos na primeira secao.
59
Este teorema e de suma importancia ja que este resultado e essencial na demonstracao

do Teorema do h-Cobordismo.
4.1
Um Pouco Sobre Transversalidade
Lema 4.1.1. Se M possui uma vizinhanca produto em V , entao existe um difeomorfismo

h : V V suavemente isotopico à identidade tal que h(M) e transversal a N.
Demonstracao. Como no lema 3.2.2, seja k : M Rvm U V tal que k(M {0}) = M
o difeomorfismo dado pela vizinhanca produto U de M em V . Seja N0 = U N e considere
a composicao g = k 1 |N0 onde : M Rvm Rvm e a projecao natural.
Note que a variedade k(M {x}) nao tem intersecao transversal com N se, e so se
x Rvm e a imagem por g de algum ponto q N0 tal que g nao possui posto maximal
v m, ou seja, quando q e um ponto crtico de g.
Sendo assim, de acordo com o teorema de Sard, a imagem g(C) do conjunto C N0
de todos os pontos crticos de g possui medida nula em Rvm . Assim podemos escolher
um ponto u Rvm g(C) e, como no lema 3.2.2, construir uma isotopia da identidade
de V a um difeomorfismo h : v V que leva M a k(M {u}).
Teorema 4.1.2. O campo de vetores tipo gradiente pode ser escolhido de modo que SR
e transversal a SL em V .
Demonstracao. O lema 4.1.1 nos da um difeomorfismo h : V V suavemente isotopico à
identidade, tal que h(SR ) intersecta SL transversalmente. Usando o lema 3.2.5 podemos
alterar o campo de vetores tipo gradiente de tal modo que a nova esfera a direita e
h(SR ), e a esfera SL nao se altera. Isso completa a prova.
A partir de agora, neste captulo, assumiremos que SR possui intersecao transversal com SL . Como dim SR + dim SL = dim V , a intersecao consiste em um n
umero
60
finito de pontos isolados. Se q0 SR SL entao existem funcoes coordenadas locais

x1 (q), . . . , xn1 (q) em uma vizinhanca U de q0 em V tal que xi (q0 ) = 0, i = 1, . . . , n 1
e U SR e onde x1 (q) = = x (q) = 0, enquanto que U SL e onde x+1 (q) = =
xn1 (q) = 0. Assim o u

nico ponto em SR SL U e q0 . Como consequencia existem
apenas um n
umero finito de trajetorias indo de p a p , uma para cada ponto de SR SL .
Agora que ja garantimos que e sempre possvel escolher um campo de vetores tipo
gradiente tal que SR e transversal a SL em V , enunciaremos e demonstraremos tres
resultados tecnicos que nos auxiliarao a encontrar uma vizinhanca de uma trajetoria
de p a p com propriedades importantes para a demonstracao do Primeiro Teorema do
Cancelamento.
Seja n = a + b. Um ponto x Rn pode ser escrito como x = (u, v), u Ra , v Rb .
Identificamos u Ra com (u, 0) Rn e v Rb com (0, v) Rn .
Lema 4.1.3. Suponha que h : Rn Rn e um mergulho que preserva orientacao , h(0) = 0
onde 0 denota a origem em Rn , h(Ra ) encontra Rb apenas na origem, esta intersecao e
transversal e o n
umero de intersecao e +1. Entao existe uma isotopia suave ht : Rn Rn ,
0 t 1 tal que h0 = h e h1 e a aplicacao identidade de Rn e para cada t [0, 1],
ht (Ra ) Rb = 0 e a intersecao e transversal.
Demonstracao. Como h(0) = 0, temos que h(x) pode ser expresso na forma h(x) =
x1 h1 (x) + + xn hn (x), x = (x1 , . . . , xn ) onde hi (x) e uma funcao vetorial suave de x e
hi (0) =
h
(0),
xi
i = 1, . . . , n.
Se definirmos ht por:
1
h1t (x) = h(tx) = x1 h1 (tx) + + xn hn (tx)
t
0t1
entao ht (x) e a isotopia suave de h a aplicacao linear h1 (x) = x1 h1 (0) + + xn hn (0).

Como h(Ra ) e ht (Ra ) possuem precisamente a mesma base orientada h1 (0), . . . , ha (0)
de vetores tangentes em 0 Rn , segue que para todo t, 0 t 1, ht (Ra ) possui intersecao
transversal positiva com Rb em 0. Note que ht (Ra ) Rb = 0. Assim se h1 for a aplicacao
linear identidade concluimos o resultado.
Se nao, provaremos que h1 e homotopica à identidade.
61
Considere a famlia GL(n, R) consistindo de todas as transformacoes lineares

L de Rn nao singulares que preservam orientacao e L(Ra ) possui intersecao transversal
positiva com Rb , isto e, toda transformacao linear com matrizes na forma
L=

onde A e uma matriz a a, det L > 0 e det A > 0.
Afirmo que para cada L existe uma isotopia Lt , 0 t 1, deformando L na

identidade, tal que Lt para todo t, ou equivalentemente, existe um caminho suave
em de L ate a identidade.
Note que a soma do m
ultiplo escalar de uma das primeiras a linhas (colunas) com uma
das b u
ltimas linhas (colunas) pode ser realizada atraves de uma deformacao suave em .
De fato, dada uma matriz L em , fazer a operacao descrita acima, ou seja, obter L a
partir de L, e o mesmo que multiplicar uma certa matriz K a esquerda (se a operacao e
feita nas linhas) ou a direita (se a operacao e feita nas colunas). Esta matriz K e a soma
da identidade com uma matriz K cujas entradas sao todas nulas exceto uma, kij , que nao
pertence a diagonal (i 6= j). Seja k : [0, 1] R uma funcao real suave tal que k(0) = 0 e
k(1) = kij . Defino a aplicacao t 7 K(t), t [0, 1] e K(t) e a matriz que so possui uma
entrada nao nula k(t). Desta forma K(0) = 0 e K(1) = K. Sendo K(t) = K(t) + Id, a
multiplicacao de K(t) por L nos dara L em t = 0 e L em t = 1. Note que para todo t,
det K(t) = 1, logo det(K(t)L) = det(L) nos mostrando que esta e uma deformacao suave
em .
Por exemplo, para deformar a matriz
a b
a
b
em
B=
c d
a + c b + d
suavemente em , basta multiplicar
K(t) =
k(t) 0
1 0
0 1
a esquerda, onde k : [0, 1] R e suave, k(0) = 0 e k(1) = .

62
Um n
umero finito de tais operacoes reduzira a matriz L na forma
A
0
L =
0 B
onde B e uma matriz b b e det B > 0.
Note que um n
umero finito de operacoes elementares na matriz A, cada uma realizavel
atraves de uma deformacao em GL(a, R), serve para reduzir A a matriz identidade. Uma
afirmacao semelhante vale para B. Assim existem deformacoes suaves At e Bt , t [0, 1],
de A e B às matrizes identidade com det At > 0 e det Bt > 0. Isto nos da uma deformacao
em de L ate a identidade. Sendo assim o lema esta provado.
Teorema 4.1.4. Seja h : Rn Rn uma aplicacao nas hipoteses do Lema 4.1.3. Entao
dada alguma vizinhanca N da origem, existe uma isotopia suave ht : Rn Rn , 0 t 1,
com h0 = h tal que
1. ht (x) = h(x) para x = 0 e para x Rn N, 0 t 1,

2. h1 (x) = x para x em alguma vizinhanca N1 N de zero,
3. h1 (Ra ) Rb = 0.
Demonstracao. Seja ht , 0 t 1 a isotopia dada no lema 4.1.3. Seja E N uma
bola aberta em torno de 0 e seja d a distancia de 0 a Rn h(E). Como ht (0) = 0 e
[0, 1] e compacto, existe uma pequena bola aberta E1 ao redor de 0 com E 1 E tal que
kht (x)k < d para todo x E 1 .
Defino
h (x) para x E
t
1
ht (x) =
h(x) para x Rn E
Esta e uma isotopia de h|E 1 (Rn E) .
Primeiramente a estenderemos a uma isotopia de h que satisfaz pelo menos a primeira

e a segunda condicao.
63
Observe que qualquer isotopia ht , 0 t 1 de h corresponde a um mergulho suave

que preserva a primeira coordenada:
H : [0, 1] Rn [0, 1] Rn
(t, x)
7 (t, ht (x))
=
O mergulho H determina, na imagem, um campo de vetores (t, y) = H(t, x) t
t (x)
) onde (t, y) = H(t, x), isto e, y = ht (x). Este campo de vetores junto com o
(1, ht
mergulho h0 , determinam completamente ht e assim H. De fato, (t, y) = (t, ht h1

e
0 (y))
uma famlia de curvas integrais com valores iniciais (0, y) {0} h0 (Rn ). A suavidade
de ht garante que o campo (t, y) e lipschitziana na segunda variavel e, desta forma, e
u
nica.
Agora podemos estender a isotopia ht por todo [0, 1] Rn .
t
Primeiramente estenderemos o campo de vetores (t, y) = (1, h
(h1
t (y))) a um campo
t
de vetores em [0, 1] Rn na forma (1, (t, y)).

Temos, pelo teorema de Tietze diferenciavel ( veja [6] pag. 202), que ht admite uma
extensao a uma pequena vizinhanca do domnio fechado [0, 1] {E 1 (Rn E)}. Isso
da uma extensao de (t, y) a uma vizinhanca U deste domnio fechado. Pelo Lema de
Urysohn diferenciavel ( veja [6] pag. 197) existe uma funcao suave f : Rn [0, 1] tal que
f 1 em [0, 1] {E 1 (Rn E)} e f 0 fora de U. Multiplicando f pela extensao
de ht produzimos uma extensao a [0, 1] Rn suave. Finalmente, tomando a primeira
coordenada igual a 1 temos a extensao suave (t, y) = (1, (t, y)).
Note que a famlia de curvas integrais (t, y) esta definida para y Rn e para todo
t [0, 1]. Para y Rn h(E) e trivial. Para y h(E) segue do fato que a curva integral
deve permanecer no conjunto compacto [0, 1] h(E).
A famlia nos da um mergulho suave que preserva a primeira coordenada
: [0, 1] Rn
(t, y)
[0, 1] Rn
7 (t, ht h1 (y))
e esta nos serve para definir a requerida extensao de ht em uma isotopia suave de h que
satisfaz ao menos a primeira e a segunda condicao.
64
Usando um argumento semelhante podemos provar o seguinte teorema:

Teorema 4.1.5. Seja M uma subvariedade compacta suave de uma variedade suave N
sem bordo. Se ht , 0 t 1, e uma isotopia suave de i : M N, entao ht e a restricao
de uma isotopia suave ht , 0 t 1, da aplicacao identidade N N tal que ht fixa
pontos fora de um subconjunto compacto de N.
Seja ht denotando a isotopia estendida. A terceira condicao do teorema e violada se
ht introduz novas intersecoes da imagem de Ra com Rb . Assim podemos usar ht apenas
para pequenos valores de t, digamos t t , onde nenhuma nova intersecao pode ocorrer.
Note que podemos escrever a isotopia ht do lema 4.1.3 na forma
ht (x) = x1 h1 (t, x) + . . . + xn hn (t, x)
onde hi (t, x) e uma funcao suave de t e x, i = 1, . . . , n e hi (t, 0) =
(4.1)
ht
(0).
xi
Observac
ao 4.1.6. Existem constantes positivas K e k tais que para todo x em uma
vizinhanca da origem em Rn e todo t [0, 1]
t (x)
1. k ht
k < Kkxk
2. ka ht (x)k > kkxk para x Ra , onde a : Rn Rn e a projecao natural.

Demonstracao. Para provar a primeira desigualdade basta derivar a equacao 4.1. A segunda desigualdade segue do fato que ht (Ra ) e transversal a Rb em todo t no intervalo
compacto [0, 1].
Com essa observacao terminaremos a demonstracao do teorema com um passo indutivo
a seguir.
: Rn Rn isotopico a h tal
Suponha que temos algum modo de obter um mergulho h
que:
t coincide com ht (x) para todo x perto de 0 e com
1. Para algum t0 , 0 t0 1, h
0
h(x) para todo x fora de N.
65
a ) Rb = 0.
2. h(R
no lugar de h, [t0 , 1] no
Repetimos a construcao de ht feita anteriormente tomando h
lugar de [0, 1] e fazendo duas escolhas especiais como segue:
a)
Escolha a bola E N tao pequena que, para todo ponto x E, h(x)

= ht0 (x) e as
inequacoes da observacao 4.1.6 acontecem.
Note que no conjunto [t0 , 1] {E 1 (Rn E)} onde ht e a definida inicialmente temos

ht (x)

(4.2)
t < Kr, r = raio de E.
Agora
ht (x)
t
e a Rn -componente de (t, y). Usando a mesma tecnica da construcao
anterior podemos fazer a segunda escolha especial:

b)
Escolha a Rn -componente (t, y) que e a extensao de (t, y) de modo a ter o modulo

menor que k1 r em todo lugar.
Entao ht satisfaz a equacao 4.2 em todo [t0 , 1] Rn .

Afirmamos que ht nao introduz novas intersecoes na imagem de Ra com Rb para
t0 t t0 +
k
.
K
De fato, se x Ra (E E1 ) a distancia de ht0 (x) de Rb e:

ka ht (x)k = ka ht0 (x)k > kr
Assim a equacao 4.2 mostra que para t0 t t0 +
k
K
temos
ka ht (x)k > kr (t t0 )Kr 0.

Finalmente, para tornar possvel a composicao com isotopias similares, devemos ajustar o parametro t tal que a isotopia ht , t0 t t0 = min(1, t0 +
ht (x) =
h(x)
para t perto de t0
h (x) para t perto de t

t0
0
66
k
),
K
satisfaz:
Como a constante
k
K
depende apenas de ht , a requerida isotopia suave e a composicao de
um n
umero finito de isotopias construdas da maneira acima. Desta forma o teorema esta
completo.
De posse desses resultados tecnicos, demonstremos agora a existencia de uma vizinhanca de uma trajetoria de p a p que denominaremos por vizinhanca Morse heteroclnica
UT . Esta e uma vizinhanca de uma orbita heteroclnica T unida com {p, p } tal que
proximo a p e p a vizinhanca e do tipo dado pelo lema de Morse.
Teorema 4.1.7 (Teorema da Vizinhanca Morse Heteroclnica). Quando SR e SL tem

intersecao transversal u
nica e sempre possvel escolher um novo campo de vetores tipo
gradiente tal que, dada uma trajetoria T de p a p , existe uma vizinhanca Morse heteroclnica UT de T e uma carta coordenada g : UT Rn tal que
1. p e p correspondem aos pontos (0, . . . , 0) e e1 = (1, 0, . . . , 0),
2. g (q) = (x) = (v(x1 ), x2 , . . . , x , x+1 , x+2 , . . . , xn ) para g(q) = x e onde
v(x1 ) e uma funcao suave de x1 , positiva em (0, 1), zero em 0 e 1 e negativa caso
contrario. Tambem |v (x1 )| = 1 perto de 0 e 1.
y
y = v(x1 )
1
Figura 4.1:
Demonstracao. Seja (x) um campo de vetores em Rn que e da forma descrita acima,
67
com singularidades na origem e no ponto unitario e1 do eixo x1 . A funcao

Z x1
F (x) = f (p) + 2
v(t)dt x21 . . . x2+1 + x2+2 + . . . + x2n
0
e uma funcao de Morse em Rn para o qual (x) e um campo de vetores tipo gradiente.
Escolhemos de forma apropriada a funcao v(x1 ) de modo a termos que F (e1 ) = f (p ), isto
R1
e, 2 0 v(t)dt = f (p ) f (p).
De acordo com a definicao de campo de vetores tipo gradiente, existe um sistema de
coordenadas (x1 , . . . , xn ) numa vizinhanca de cada ponto crtico p e p onde f corresponde

a funcao x21 . . . x2n de ndice apropriado, e possui coordenadas (x1 , . . . , xn ).
Entao existem nveis b1 e b2 , a1 = f (p) < b1 < b2 < f (p ) = a2 e difeomorfismos g1 , g2 das

vizinhancas fechadas e disjuntas L1 , L2 de 0 e e1 em vizinhancas de p e p respectivamente
tais que:
1. Os difeomorfismos levam a , F a f e pontos do segmento 0e1 em pontos de T .
2. Seja pi denotando T f 1 (bi ), i = 1, 2. A imagem de L1 e uma vizinhanca em
f 1 ([a1 , b1 ]) do segmento pp1 de T , enquanto que a imagem de L2 e uma vizinhanca
em f 1 ([b2 , a2 ]) do segmento p2 p de T .
x1
L1
g1
p
f 1 (b1 )
U1
p1
L0
T
p2
f 1 (b2 )
0
L2
p
g2
Figura 4.2:
68
U2
Observe que as trajetorias de (x) com pontos iniciais em uma pequena vizinhanca U1
de g 1 (p1 ) em g 1 (f 1 (b1 )) vao a pontos em g21(f 1 (b2 )) e estes formam uma imagem
difeomorfa U2 de U1 em g21(f 1 (b2 )). O conjunto de tais trajetorias e um conjunto L0
difeomorfo a U1 [0, 1] tal que L1 L0 L2 e uma vizinhanca de 0e1 . Temos que existe
uma u
nica extensao de g1 a um mergulho suave g1 de L1 L0 em W tal que g1 leva as
trajetorias de nas trajetorias de e nveis de F ate nveis de f .
Agora suponha um caso particular onde os dois mergulhos de U2 em f 1 (b2 ) dados
por g1 e g2 coincidem ao menos em alguma pequena vizinhanca de g21 (p2 ) em U2 . Entao
g1 e g2 juntos geram um difeomorfismo g de uma pequena vizinhanca V de 0e1 em uma
vizinhanca de T em W que preserva trajetorias e nveis. Isto implica que existe uma
funcao suave k a valores reais positiva, definida em g(V ) tal que para todo ponto em g(V )
g = k .
Escolhendo a vizinhanca V de 0e1 suficientemente pequena podemos assumir que a
funcao k esta definida, e suave e positiva em todo W . Entao = k e o campo de vetores
tipo gradiente que procuravamos. Entao para este caso particular a demonstracao esta
completa.
No caso geral, o campo de vetores determina um difeomorfismo h : f 1 (b1 ) f 1 (b2 )
e o campo de vetores determina um difeomorfismo h : U1 U2 .
A suposicao feita acima acontece se, e somente se, h coincide com h0 = g2 h g11
proximo de p1 .
a partir de
O teorema 4.1.4 nos fornece uma deformacao de h no difeomorfismo h
1
uma isotopia de h1
ca de p1 e coincide
0 h que deforma h0 h numa pequena vizinhan
com a identidade em uma vizinhanca ainda menor de p1 . Observe que, depois de uma
alteracao de g2 se necessario, h1
cao em p1 = h1
0 h preserva orienta
0 h(p1 ) e ambas
h1
umero de intersecao com SL (b1 ) em p1 (b1 ou b2
0 h(SR (b1 )) e SR (b1 ) tem o mesmo n
coincide com h0 perto

aqui indicam o nvel onde a esfera esta). Desta forma temos que h
de p1 e h(SR (b1 )) ainda possui intersecao transversal u
nica com SL (b2 ).
Ora, mas pelo lema 3.2.5, qualquer difeomorfismo isotopico a h corresponde a um novo
69
campo de vetores tipo gradiente que difere de apenas em f 1 ((b1 , b2 )). Com esse novo
campo recaimos no caso particular acima e desta forma o teorema esta provado.
4.2
O Primeiro Teorema do Cancelamento
Mostraremos, finalmente, o Primeiro Teorema do Cancelamento.

Teorema 4.2.1 (Primeiro Teorema do Cancelamento). Se a intersecao de SR com SL e
transversal e consiste em um u
nico ponto, entao o cobordismo e um cobordismo produto.
De fato, e possvel alterar o campo de vetores tipo gradiente em uma pequena vizinhanca
da u
nica trajetoria T de p a p produzindo um campo de vetores nao singular na qual
todas as trajetorias vao de V0 a V1 . Alem disso e um campo de vetores tipo gradiente
para uma funcao de Morse f sem pontos crticos que e igual a f perto de V0 V1 .
Provaremos primeiramente que, dada uma vizinhanca U qualquer da u
nica trajetoria
T de p a p , podemos encontrar uma vizinhanca menor U tal que nao existem trajetorias
que partem de U , deixam U e voltam a U . Em seguida escolheremos uma vizinhanca U
tal que U UT a vizinhanca Morse heteroclnica onde, em um compacto de U , podemos
alterar o campo de vetores tipo gradiente afim de obter um novo campo de vetores
onde toda curva integral que passa por algum ponto de U, estava fora de U em um tempo
anterior e estara fora de U novamente em um tempo posterior. Disto seguira que todas
as trajetorias deste novo campo vai de V0 a V1 e que e, de fato, um campo de vetores
tipo gradiente de uma funcao de Morse g em W sem pontos crticos que e igual a f em
uma vizinhanca de V0 V1 .
Demonstracao. Sendo o campo de vetores tipo gradiente, denote por (t, q) as curvas
integrais de . Seja U uma vizinhanca aberta de T tal que U UT (vizinhanca Morse
heteroclnica) e seja U uma outra vizinhanca aberta de T contida em U de tal forma que,
se q U e tal que para algum t > 0 temos (t , q) W U entao para todo t > t ,
(t , q) W U. Ou seja, nao existem trajetorias que partem de U , deixam U e voltam

a U .
70
Provemos que esta vizinhanca U existe.

Suponha que nao, logo para toda vizinhanca Uk U existe uma trajetoria t (rk )
onde 0 (rk ) = rk Uk , para algum t > 0, t (rk ) = sk W U e para algum t > t ,

t (rk ) = tk Uk .
Tome uma sequencia U1 U2 U3 . . . Uk . . . tal que rk e tk
/ Uk+1 . Desta
forma as sequencias de pontos {rk } e {tk } se aproximam de T e, como W U e compacto,
podemos assumir que {sk } converge para s W U.
A curva integral (t, s) deve vir de V0 , ir a V1 ou ambos, o outro caso seria uma
segunda trajetoria ligando p a p que sabemos nao ser o caso. Suponha que (t, s) vem de
V0 , pela dependencia contnua de solucoes concluimos que todas as trajetorias que passam
por pontos proximos de s sao tambem originados em V0 .
As trajetorias parciais Ts de V0 a pontos s proximos de s sao compactas, assim a
menor distancia d(s ) de T a Ts (em alguma metrica) depende continuamente de s e o
conjunto A = {d(s ), s proximo de s} e limitado fora de uma vizinhanca de zero, ou seja,
min A > > 0.
Como rk Tsk , os pontos rk nao podem se aproximar de T quando k , um
absurdo. Portanto a vizinhanca U nas condicoes descritas acima realmente existe.

Lembremos do campo induzido encontrado no teoremas 4.1.7
(x) = (v(x1 ), x2 , . . . , x , x+1 , x+2 , . . . , xn ).
Modifiquemos (x) encontrando (x) = (v (x1 , ), x2 , . . . , xn ) onde = [x22 + . . . + x2n ] 2

e
i)
ii)
v (x1 , (x)) = v(x1 ) fora de uma vizinhanca compacta de g(T ) em g(U )

v (x1 , 0) e negativo para qualquer x1 .
O campo , nestas condicoes, determina um campo de vetores nao singular em W .
Em coordenadas locais, as equacoes diferenciais que sao satisfeitas pelas curvas integrais
71
de em UT sao:
x2
x+1
x+2
xn
x1
= v (x1 , ),
= x2 , . . . ,
= x+1 ,
= x+2 , . . . ,
= xn
t
t
t
t
t
Considere a curva integral x(t) = (x1 (t), . . . , xn (t)) com valor inicial (x01 , . . . , x0n ). Vejamos o que acontece quando t cresce:
a)
Se um dos x0+2 , . . . , x0n e diferente de zero, digamos x0n 6= 0, entao |xn (t)| = |x0n et |
cresce exponencialmente e x(t) eventualmente deixa g(U) (g(U) e compacto e portanto e limitado).
b)
Se x0+2 = . . . = x0n = 0, entao (x(t)) = [(x01 )2 + . . . + (x+1 )2 ] 2 et decresce

exponencialmente. Suponha que x(t) permanece em g(U). Como v (x1 , (x)) e
negativo para x no eixo x1 , existe > 0 tao pequeno que v (x1 , (x)) e negativo no
conjunto compacto K = {x g(U); (x) }. Assim v (x1 , (x)) tem uma cota
superior negativa < 0 em K .
Eventualmente (x(t)) , e entao
dx1 (t)
dt
. Assim x(t) deve, eventualmente,
deixar o conjunto limitado g(U).

Um argumento similar nos mostra que x(t) tambem sai de g(U) quando t decresce.
Sendo assim, acabamos de provar que podemos alterar em um subconjunto compacto
de U produzindo um campo de vetores nao singular , tal que toda curva integral x(t)
de que passa por algum ponto de U, estava fora de U em algum tempo anterior e estara
fora de U novamente em algum tempo posterior.
Concluimos entao que se uma curva integral de passa por U no tempo t, existe
t > t tal que x(t ) W U. Estando fora de U, esta curva segue trajetorias de , logo
para todo t > t temos que x(t ) W U, consequentemente deve seguir uma trajetoria
de ate V1 quando t cresce.
Um argumento paralelo mostra que existe t < t tal que x( t) W U, que para todo
t < t, x( t) W U e esta curva segue uma trajetoria de ate V0 quando t decresce.
Por outro lado, se uma curva integral de nunca esta em U , ela e uma curva integral de
que vai de V0 a V1 . Logo toda trajetoria do campo vai de V0 a V1 .
72
Seja agora (t, q) a famlia de curvas integrais de . Como nunca e tangente a

Bd(W ), uma aplicacao do teorema da funcao implcita mostra que a funcao 1 (q) [respectivamente 0 (q)] que associa a cada ponto q W o tempo que (t, q) alcanca V1
[respectivamente menos o tempo quando ele alcanca V0 ] depende suavemente de q. Entao
a projecao : W V0 dada por (q) = (0 (q), q) tambem e suave. O campo de
vetores suave 1 ((q)) (q) possui curvas integrais que vao de V0 a V1 no tempo unitario.
Por simplificacao assumiremos que tem essa propriedade desde o incio, entao existe
um difeomorfismo
: ([0, 1] V0 ; {0} V0 , {1} V0 ) (W ; Vo, V1 )
7
(t, q0 )
(t, q0 )
e 1 (q) = (0 (q), (q)). O que nos prova que o cobordismo (W ; V0 , V1 ) e, de fato, um

cobordismo produto.
Desta forma o Primeiro Teorema do Cancelamento esta essencialmente provado. Mas o
campo de vetores obtido para que pudessemos encontrar o difeomorfismo e, na realidade,
mais do que isso, ele e uma campo de vetores tipo gradiente de uma funcao de Morse g
em W , sem pontos crticos, que e igual a f em uma vizinhanca de V0 V1 .
De fato, basta exibir uma funcao de Morse g : [0, 1] V0 [0, 1] tal que
g
t
>0eg
e igual a f1 = f perto de {0} V0 {1} V0 (estamos assumindo que v0 = f 1 (0)

e V1 = f 1 (1)). Note que se pudermos exibir g nestas condicoes teremos imediatamente
que e um campo de vetores tipo gradiente para g a partir da definicao deste tipo de
campo.
Exibiremos agora tal funcao g:
Sabemos que existe > 0 tal que para todo q V0 ,
f1
(t, q)
t
> 0 se t < ou t > 1 ,
ou seja, para (t, q) proximo de um dos bordos de W . Seja : [0, 1] [0, 1] uma funcao
suave que e zero para t [, 1 ] e 1 para t perto de 0 e 1. Defino g da seguinte forma:
Z u
f1
g(u, q) =
(t)
(t, q) + [1 (t)]K(q)dt
t
0
onde
K(q) =
R1
R 01
0
1
(t) f
(t, q)dt
t
1 (t)dt
73
Escolhendo suficientemente pequeno podemos assumir que K(q) > 0 para todo
q V0 . Assim g possui as propriedades requeridas e o teorema esta finalmente completo.
74
Captulo 5
O Segundo Teorema do
Cancelamento
No captulo anterior demonstramos o Primeiro Teorema do Cancelamento 4.2.1 que nos
diz que se a intersecao de SR e SL e transversal e consiste num u
nico ponto entao o
cobordismo e um cobordismo produto. Este e um resultado muito importante, ja que estamos cancelando pontos crticos, mas sera que as hipoteses nao podem ser enfraquecidas?
Provamos tambem no captulo anterior o teorema 4.1.2 que diz que o campo de vetores
tipo gradiente pode ser reajustado para que SR e SL tenham intersecao transversal.
Sendo assim e natural nos perguntarmos se nao ha como enfraquecermos as hipoteses do
Primeiro Teorema do Cancelamento nao pedindo que haja intersecao transversal. So que
existe um problema: depois de tornar a intersecao transversal nada nos garante que ela
seja u
nica. A pergunta agora e: podemos enfraquecer esta condicao ?
Provaremos neste captulo que a resposta a essa pergunta e sim. Para isso definiremos, na primeira secao, n
umero de intersecao mesmo que nao haja intersecao transversal
e provaremos algumas proposicoes preliminares para que possamos, na segunda secao,
cancelar pontos crticos com hipoteses sobre o n
umero de intersecao, sobre a topologia da
trade e sobre o ndice dos pontos crticos. Este sera o Segundo Teorema do Cancelamento.
75
5.1
Cancelando Pontos Crticos com N

umeros de Interse
c
ao Opostos
Sejam M e M subvariedades suaves de dimensoes r e s em uma variedade suave V de

dimensao r + s. Assumiremos que M, M e V sao compactas, conexas e sem bordo.
Provaremos uma proposicao que implica que o n
umero de intersecao M M nao muda
por deformacoes de M ou isotopia de M , isso nos dara uma definicao de n

umero de
intersecao de duas subvariedades fechadas conexas de V , de dimensoes complementares,

mas nao necessariamente se intersectando transversalmente. A proposicao e baseada no
lema a seguir:
Lema 5.1.1. Sendo M e V como acima, existe um isomorfismo natural
: H0 (M ) Hr (V, V M ).
Demonstracao. Tome uma vizinhanca tubular fechada W de M em V . Ora, por excisao
teremos que Hr (V, V M )
= Hr (W, W M ), assim basta mostrar o isomorfismo entre
H0 (M ) e Hr (W, W M ).
A vizinhanca tubular W e o espaco total de um fibrado vetorial com base M e secaonula tambem M . Visto desta forma basta usar o isomorfismo de Thom que segue o
resultado.
Seja o gerador canonico de H0 (M )

= Z, e seja [M] Hr (M) o gerador orientacao.
Note que a classe () e representada por um r-disco D r orientado, que intersecta M

em um ponto x transversalmente com n
umero de intersecao M D r = +1.
O lema anunciado acima e:
Lema 5.1.2. Na sequencia
g
Hr (M) Hr (V ) Hr (V, V M )
onde g e g sao induzidas pela inclusao, temos que g g([M]) = M M().
76
Demonstracao. Sejam p1 , . . . , pk os k pontos de intersecao entre M e M . Escolha r-discos

abertos disjuntos U1 , . . . , Uk em M contendo p1 , . . . , pk respectivamente. Note que cada
Ui e o espaco total de um fibrado com base e secao-nula pi . Pelo isomorfismo de Thom,
i : H0 ({pi }) Hr (Ui , Ui {pi }) e um isomorfismo e a naturalidade do isomorfismo de
Thom nos garante a comutatividade do diagrama abaixo
Hr (Ui , Ui {pi })
Hr (V, V M )
O
H0 ({pi })
H0 (M )
onde i e j sao induzidos pela inclusao.

Sendo i , j e isomorfismos, a comutatividade do diagrama nos garante que i e
um isomorfismo e todos os quatro grupos sao isomorfos a Z. Seja i o gerador orientacao
de Hr (Ui , Ui {pi }), o isomorfismo i e dado por i 7 i () onde, pelo isomorfismo de
Thom, i e o n
umero de intersecao de M e M em pi .
O diagrama abaixo onde h e um isomorfismo vindo da excisao e os outros homomorfismos sao induzidos pela inclusao e comutativo:
Hr (M)
Hr (M, M M
Logo g g([M]) =
Pk
/ Hr (V, V M )
O
jj5
jjj
j
j
j
jjj
jjj
j
j
j
jjjj
jjj
j
j
j
jjj
jjj
Pk
/
M )
H (U , U {p
i=1 i ()
Hr (V )
i=1
i })
como queramos.
Sabendo que os grupos de homologia sao invariantes por deformacoes e que Hr (V, V
M ) e Hr (V, V h1 (M )) sao isomorfos se ht e uma isotopia ambiente, podemos concluir,
do lema acima, que o n

umero de intersecao e tambem invariante sob tais condicoes. Lembrando tambem que se a intersecao de M e M nao for transversal podemos aplicar uma
isotopia de M de tal modo que M e h1 (M ) se intersectam transversalmente, podemos
definir n
umero de intersecao para M e M mesmo que estas nao se intersectem transversalmente.
77
Seja (M n ; V0 , V1 ) uma trade com funcao de Morse f possuindo um campo de vetores

tipo gradiente , e p, p com f (p) <
1
2
< f (p ) sao os dois pontos crticos de f , de ndices
, + 1 respectivamente. Suponha que uma orientacao e dada à esfera a esquerda SL em

V = f 1 ( 21 ) e tambem ao fibrado normal em V da esfera a direia SR .
O Primeiro Teorema do Cancelamento 4.2.1 nos diz que se a intersecao de SR com SL e
transversal e consiste em um u
nico ponto, entao o cobordismo e um cobordismo produto.
Note que se a intersecao e transversal e u
nica entao SR SL = 1. Se nao exigirmos que
haja intersecao transversal entre SR e SL nada nos garantira que, apos isotopias de SL ,
SR h(SL ), que agora e transversal, seja tambem u
nica. Mas podemos garantir que se
SR SL for diferente de 1 entao a intersecao nao sera u
nica. Agora, exigindo apenas que
SR SL = 1 nao garantimos unicidade de intersecao mas garantimos um n

umero mpar
de intersecoes, todas transversais. Provaremos em breve que, se 2 n 4, W, V0 , V1
forem simplesmente conexas e SR SL = 1 entao a intersecao, apos isotopias, nao sera

somente transversal mas tambem u
nica e, desta forma, podemos enfraquecer as hipoteses
do teorema 4.2.1.
Mas antes disso provaremos alguns resultados que nos auxiliarao. O proximo resultado
e um teorema muito importante e com demonstracao bem delicada que e essencialmente
devida a Whitney.
Teorema 5.1.3. Sejam M e M subvariedades suaves, fechadas, que se intersectam
transversalmente, de dimensao r e s em uma (r + s)-variedade suave V sem bordo.
Suponha que M e orientada e que o fibrado normal de M em V e orientado. Suponha
tambem que r + s 5, s 3, e, no caso r = 1 ou r = 2, suponha que a aplicacao inclusao
induzida 1 (V M ) 1 (V ) e injetiva.
Sejam p, q M M pontos com n

umero de intersecao opostos tal que exista um
laco L contratil em V que consiste em um arco de p a q mergulhado suavemente em
M seguido por um arco de q a p mergulhado suavemente em M , onde ambos arcos nao
atingem M M {p, q}.
Ent
ao existe uma isotopia ht , 0 t 1, da identidade idV : V V tal que
1. a isotopia fixa idV perto de M M {p, q}
78
2. h1 (M) M = M M {p, q}
M
Figura 5.1:
Demonstracao. Suponha que os n

umeros de intersecao de p e q sao +1 e 1 respectivamente. Sejam C e C os arcos suavemente mergulhados em M e M de p a q estendidos
um pouco em ambas extremidades. Sejam C0 e C0 arcos abertos no plano se intersectando
nos pontos a e b fechando um disco D como na figura abaixo.
C0
C0
Figura 5.2:
Escolha um mergulho 1 : C0 C0 M M tal que 1 (C0 ) e 1 (C0 ) sao os arcos C
e C , com a e b correspondendo a p e q.
Lema 5.1.4. Para alguma vizinhanca U de D podemos estender 1 |U (C0 C0 ) a um
mergulho : U Rr1 Rs1 V tal que 1 (M) = (U C0 ) Rr1 {0} e

1 (M ) = (U C0 ) {0} Rs1 .
79
Assumindo o lema 5.1.4 construiremos uma isotopia Ft : V V tal que F0 e a
identidade, F1 (M) M = M M {p, q} e Ft e a identidade fora da imagem de ,

0 t 1, provando assim o teorema.
Seja W = (U Rr1 Rs1 ) e defina Ft como sendo a identidade em V W . Defina
Ft em W como segue:
Tome uma isotopia Gt : U U no plano tal que
1. G0 e a aplicacao identidade
2. Gt e a identidade em uma vizinhanca do bordo de U, 0 t 1
3. G1 (U C0 ) Co =
C0
G1 (U C0 )
D
b
Gt (U C0 )
C0
Figura 5.3:
Seja : Rr1 Rs1 [0, 1] uma funcao suave tal que para x Rr1 e y Rs1
1 se kxk2 + kyk2 1
(x, y) =
0 se kxk2 + kyk2 2.
Defina agora uma isotopia Ht : U Rr1 Rs1 U Rr1 Rs1 da seguinte forma:
Ht (u, x, y) = (Gt(x,y) (u), x, y),
A isotopia desejada e
Ft (w) = Ht 1 (w)
80
u U.
se w W e, como dito anteriormente Ft (v) = v se v V W .

Sendo assim, supondo que o lema 5.1.4 esteja provado, este teorema esta completo.
Na verdade a dificuldade do teorema 5.1.3 esta exatamente na demonstracao do lema

5.1.4. A ideia para demonstrar tal lema sera estender 1 |U (C0 C0 ) gradativamente. Construiremos uma metrica Riemanniana em V que nos permitira estender 1 |U (C0 C0 ) ,
atraves de argumentos em geometria, a um mergulho 2 de N em V onde N sera uma
vizinhanca anelar de Bd(D). Em seguida, usando teoria de homotopia, estenderemos 2
a um mergulho 3 em todo U. Para finalizar construiremos campos de vetores com propriedades convenientes e, usando a aplicacao exponencial, estenderemos 3 a um mergulho
de U Rr1 Rs1 em V como desejado.
Mas antes de comecarmos a demonstracao enunciaremos alguns resultados, o primeiro
deles e a construcao de uma metrica Riemanniana em V .
Lema 5.1.5. Existe uma metrica Riemanniana em V tal que:
1. na conexao associada, M e M sao subvariedades totalmente geodesicas de V (isto
e, se uma geodesica em V e tangente a M ou a M em algum ponto, entao ela esta
inteiramente em M ou M respectivamente).
2. existem vizinhancas coordenadas Np e Nq de p e q onde a metrica e a euclidiana e
que Np C, Np C , Nq C e Nq C sao segmentos de reta.
Demonstracao. Sabemos que M intersecta M transversalmente nos pontos p1 , . . . , pk com
p = p1 e q = p2 . Cubra M M com vizinhancas coordenadas W1 , . . . , Wm em V com
difeomorfismos coordenados hi : Wi Rr+s , i = 1, . . . , m, tal que satisfacam as seguintes
propriedades:
a)
existem vizinhancas coordenadas disjuntas N1 , . . . , Nk com pi Ni N i Wi , e

Ni Wj = para i = 1, . . . , k e j = k + 1, . . . , m.
b)
hi (Wi M) Rr {0} e hi (Wi M ) {0} Rs , i = 1, . . . , k.

81
c)
hi (Wi C) e hi (Wi C ) sao segmentos de reta em Rr+s , i = 1, 2.

Construa uma metrica Riemanniana hv, wi no conjunto aberto W0 = W1 . . . Wm
colando as metricas em Wi induzidas por hi , i = 1, . . . , m, usando particao da unidade.

Esta metrica e a euclidiana em Ni , i = 1, . . . , k devido a primeira propriedade das vizinhancas e dos difeomorfismos coordenados.
Com esta metrica construa vizinhancas tubulares abertas T e T de M e M em W0
usando a aplicacao exponencial. Tomando T e T finas o suficiente podemos assumir que
T T N1 , . . . , Nk e que
hi (T T Ni ) = ODr ODs Rr Rs = Rr+s ,
i = 1, . . . , k
para , > 0 dependendo de i.

Seja A : T T a involucao suave (A2 = A A = id) que e a aplicacao antpoda em
cada fibra de T . Defina uma nova metrica Riemanniana hv, wiA em T por
1
hv, wiA = (hv, wi + hA v, A wi).
2
Com respeito a essa nova metrica, M e uma subvariedade totalmente geodesica de T .
Com efeito, note que A e uma isometria de T na metrica h , iA pois 21 (hA v, A wiA(p) +
h(A A) v, (A A) wiAA(p) ) = 12 (hA v, A wi + hv, wi) = hv, wiA . Isso implica que A leva
geodesicas em geodesicas. Seja w uma geodesica em T tangente a M em algum ponto

z M, como M e o conjunto de pontos fixos de A segue que A(w) e w sao geodesicas
com o mesmo vetor tangente em A(z) = z. Pela unicidade das geodesicas segue que A e
a identidade em w, logo w M.
Similarmente defina uma nova metrica hv, wiA em T . Segue da segunda propriedade
e da forma de T T que estas duas novas metricas coincidem com a antiga em T T e

assim, juntas, defino uma metrica em T T . Estendendo para todo V a restricao desta
metrica ao conjunto aberto O O T T , completamos a construcao de uma metrica

em V satisfazendo as duas condicoes do lema.
82
A seguir enunciaremos tres resultados de topologia diferencial sem demonstracao. O

primeiro deles pode ser encontrado em [16] e os outros dois em [15].
Lema 5.1.6. Seja A0 um subconjunto fechado de um espaco metrico compacto A. Seja
f : A B um homeomorfismo local tal que f |A0 e injetiva. Entao existe uma vizinhanca
W de A0 tal que f |W e injetiva.
Lema 5.1.7. Seja f : M1 M2 uma aplicacao contnua de variedades suaves que e suave
em um subconjunto fechado A de M1 . Entao existe uma aplicacao suave g : M1 M2 tal
que g f (g e homotopico a f ) e g|A = f |A .
Lema 5.1.8. Seja f : M1 M2 uma aplicacao suave de variedades suaves que e um
mergulho no subconjunto fechado A de M1 . Assuma que dim M2 2 dim M1 + 1. Entao
existe um mergulho g : M1 M2 proximo de f tal que g f e g|A = f |A .
O lema a seguir e um resultado em teoria de homotopia que sera usado para ajudar a
estender 1 |U (C0 C0 ) na demosntracao do lema 5.1.4. Observe que a restricao dimensional
no teorema 5.1.3 e devido a este lema.
Lema 5.1.9. Se V1n , n 5, e uma variedade suave, M1 e uma subvariedade suave de
codimensao ao menos 3, entao um laco em V1 M1 que e contratil em V1 e tambem
contr
atil em V1 M1 .
Demonstracao. Seja g : (D 2 , S 1 ) (V1 , V1 M1 ) uma contracao em V1 do laco em
V1 M1 . Como dim(V1 M1 ) 5, os lemas 5.1.7 e 5.1.8 nos fornecem um mergulho
h : (D 2 , S 1 ) (V1 , V1 M1 ) tal que g|S 1 e homotopico a h|S 1 em V1 M1 .
O fibrado normal sobre h(D 2 ) e trivial ja que h(D 2 ) e contratil. Assim existe um
mergulho H de D 2 Rn2 em V1 tal que H(u, 0) = h(u) para u D 2 . Tome > 0
tao pequeno tal que kxk < , x Rn2 , implica que H(S 1 {x}) V1 M1 . Como
a codimensao de M1 e ao menos 3, pelo lema 3.2.2 existe x0 Rn2 , kx0 k < , tal que
H(D 2 {x0 }) M1 = . Agora, em V1 M1 temos:
g|S 1 h|S 1 = H|S 1 {0} H|S 1{x0 } constante.

Isso completa a prova do lema.
83
Demonstracao do lema 5.1.4. Tome a metrica Riemanniana dada no lema 5.1.5. Sejam
(p), (q), (p) e (q) os vetores unitarios tangentes a C e C (orientados de p a q) em
p e q. Como C e um espaco contratil, o fibrado vetorial sobre C de vetores ortogonais
a M e trivial. Usando esse fato construa um campo de vetores unitarios ao longo de C
ortogonais a M e igual ao transporte paralelo de (p) e de (q) ao longo de Np C e
Nq C respectivamente, note que este campo de vetores e uma secao do fibrado.
Lembrando dos arcos C0 e C0 no plano que se intersectam transversalmente nos pontos
a e b e do mergulho 1 : C0 C0 M M dados na demonstracao do teorema 5.1.3,
contrua um campo de vetores ao longo de C0 correspondente ao construido acima.
C0
D0
C0
Figura 5.4:
Desejo agora estender o mergulho 1 |C0 a um mergulho de uma vizinhanca aberta

de C0 em V . Usando a aplicacao exponencial e os campos definidos acima podemos
f0 de C0 e estender 1 |C0 a uma aplicacao
encontrar uma vizinhanca W
e1 que e localmente
um mergulho desta vizinhanca em V . Usando o lema 5.1.6 encontramos uma vizinhanca
f0 tal que
W0 de C0 , W0 W
e1 |W0 e um mergulho de W0 em V .
Similarmente estenda 1 |C0 a um mergulho de uma vizinhanca de C0 usando o campo
de vetores unitarios ao longo de C ortogonal a M o qual, ao longo de Np C e Nq C
consiste no transporte paralelo de (p) e (q) respectivamente. Quando r = 1 isto e

84
possvel pois o n
umero de intersecao em p e em q sao opostos.
Usando a segunda propriedade da metrica em V dada no lema 5.1.5 vemos que os
mergulhos coincidem numa vizinhanca de C0 C0 e assim definimos um mergulho
2 : N V
1
de uma vizinhanca anelar fechada N de Bd(D) tal que 1

2 (M) = N C0 e 2 (M ) =
N C0 .
Seja S o bordo interior de N e seja D0 D o disco limitado por S no plano. Como

o laco L e homotopico a 2 (S), este u
ltimo e contratil em V . Afirmo que, na realidade,
2 (S) e contratil em V (M M ). De fato, se r 3, pelo lema 5.1.9 temos que
2 (S) e contratil em V M e, se r = 2, esse fato segue da hipotese que a aplicacao

1 (V M ) 1 (V ) e injetiva. Como s 3 usando o lema 5.1.9 novamente teremos que
2 (S) e contratil em (V M ) M = V (M M ).
Com isso podemos escolher uma extensao contnua de 2 a U = N D0

2 : U V
que leva D em V (M M ).
Aplicando os lemas 5.1.7 e 5.1.8 em 2 | podemos obter um mergulho suave
D
3 : U V
coincidindo com 2 em uma vizinhanca de U D , e tal que 3 (u)

/ M M para u
/
C0 C0 .
Nos resta agora estender 3 a U Rr1 Rs1 como desejado, para isso enunciarei
um lema abaixo que sera demonstrado no final desta secao.
Seja U = 3 (U) e denotaremos por conveniencia C, C , C0 e C0 no lugar de C U ,
C U , C0 U e C0 U respectivamente.
Lema 5.1.10. Existem campo de vetores suaves 1 , . . . , r1, 1 , . . . , s1 ao londo de U

tal que:
1. 1 , . . . , r1 e 1 , . . . , s1 sao ortonormais e sao ortogonais a U
85
2. 1 , . . . , r1 ao longo de C sao tangentes a M

3. 1 , . . . , s1 ao longo de C sao tangentes a M
Defina uma aplicacao U Rr1 Rs1 V por
(u, x1 , . . . , xr1 , y1 , . . . , ys1) exp
" r1
X
xi i (3 (u)) +
i=1
s1
X
yj j (3 (u)) .
j=1
Segue do lema 5.1.6 e do fato que esta aplicacao e localmente um difeomorfismo que
existe uma -vizinhanca aberta N da origem em Rr+s2 = Rr1 Rs1 tal que se
4 : U N V
denota esta aplicacao restrita a U N entao 4 e um mergulho.
Defina um mergulho

por (u, z) = 4 u, p
: U Rr1 Rs1 V

.
1 + kzk2
Entao (C0 Rr1 {0}) M e (C0 {0} Rs1 ) M ja que M e M sao
subvariedades totalmente geodesicas de V . Como (U {0}) = U intersecta M e M
precisamente em C e C transversalmente, segue que, para > 0 suficientemente pequeno,

Im() intersecta M e M precisamente nas vizinhancas produto de C e C . Isto significa
que 1 (M) = C0 Rr1 {0} e 1 (M ) = C0 {0} Rs1. Assim e o mergulho que
queramos.
Demonstracao do lema 5.1.10. A ideia e construir 1 , . . . , r1 em passos, primeiro ao

longo de C pelo transporte paralelo, entao estender a C C por um argumento no
fibrado e entao a U por outro argumento no fibrado. Os detalhes a seguir.
Sejam e os vetores velocidade normalizados ao longo de C e C e seja o campo

de vetores unitarios ao longo de C que sao tangentes a U e ortogonais a C de modo que
(p) = (p) e (q) = (q).
86
C
(p) = (p)
q
(q)
(q)
Figura 5.5:
Escolha r 1 vetores 1 (p), . . . , r1 (p) que sao tangentes a M em p, sao ortogonais
a U e sao tais que o r-referencial (p), 1 (p), . . . , r1 (p) e positivamente orientado em

Tp M. Fazendo o transporte paralelo destes r 1 vetores ao longo de C teremos r 1
campos de vetores 1 , . . . , r1 ao longo de C.
Estes campos de vetores satisfazem a primeira condicao pois, como sabemos, transporte paralelo preserva produto interno. Eles satisfazem a segunda condicao pois transporte paralelo ao longo de uma curva em uma subvariedade totalmente geodesica leva
vetores tangentes a M em vetores tangentes a M. Finalmente, pela continuidade, o
r-referencial , 1, . . . , r1 e positivamente orientado em T M em todo ponto de C.
Agora transporte paralelamente 1 (p), . . . , r1 (p) ao longo de Np C e ao longo
de Nq C . Pela hipotese o n
umero de intersecao de M e M em p e q e +1 e 1
respectivamente. Isso significa que (p), 1 (p), . . . , r1(p) e positivamente orientado em

(M ) em p enquanto que (q), 1 (q), . . . , r1 (q) e negativamente orientada em (M ) em
q. Como (p) = (p) e (q) = (q), concluimos que em todos os pontos de ambos Np C
e Nq C , o referencial , 1 , . . . , r1 e positivamente orientado em (M ).
O fibrado sobre C de (r 1)-referenciais 1 , . . . , r1 ortogonais a M e a U , e tal que
, 1 , . . . , r1 e positivamente orientado em (M ) e trivial (pois C e contratil) com fibra

SO(r 1) que e conexa. Assim podemos estender 1 , . . . , r1 atraves de uma secao do
fibrado a um campo de vetores suaves de um (r 1)-referencial em C C que satisfaz a
primeira e a segunda condicoes.
87
O fibrado sobre U de (r 1)-referenciais ortogonais a U e um fibrado trivial (U e

contratil) com fibra O(r + s 2)/O(s 1) = Vr1 (Rr+s2), a variedade Stiefel do (r 1)referenciais em Rr+s2 .
Ate agora temos construido uma secao transversal suave 1 , . . . , r1 deste fibrado sobre
C C . Compondo 1 , . . . , r1 com a projecao na fibra obtemos uma aplicacao suave de
C C em O(r + s 2)/O(s 1) que e simplesmente conexa ja que s 3. Desta forma

existe uma extensao contnua a U e pelo lema 5.1.7 existe uma extensao suave. Assim
podemos definir 1 , . . . , r1 por todo U satisfazendo a primeira e a segunda condicoes.
Para definir os outros campos de vetores desejados observe que o fibrado sobre U de
referenciais ortonormais 1 , . . . , s1 em T V tal que cada i e ortogonal a U e a 1 , . . . , r1
e um fibrado trivial (U contratil). Seja uma secao transversal a este fibrado os campos
1 , . . . , s1 . Entao 1 , . . . , r1, 1 , . . . , s1 satisfazem a primeira condicao. Alem disso,
como 1 , . . . , r1 sao ortogonais a M ao longo de C , segue que 1 , . . . , s1 satisfaz a
terceira condicao. Entao 1 , . . . , s1 sao os campos de vetores desejados e assim o lema
esta provado.
5.2
O Segundo Teorema do Cancelamento
Podemos agora reforcar o Primeiro Teorema do Cancelamento 4.2.1. Seja (W n ; V0 , V1 )

uma trade com funcao de Morse f possuindo um campo de vetores tipo gradiente ,
e p, p com f (p) <
1
2
< f (p ) sendo os dois pontos crticos de f , de ndices , + 1
respectivamente. Suponha que uma orientacao e dada à esfera a esquerda SL em V =

f 1 ( 21 ) e tambem ao fibrado normal em V da esfera a direita SR .
Proposic
ao 5.2.1. Suponha que W , V0 e V1 sao simplesmente conexas e 2 n 4.
Se SR SL = 1, entao V = f 1 ( 21 ) e tambem simplesmente conexa.
Demonstracao. Usaremos nesta demonstracao o Teorema de Van Kampen.

n
Afirmacao 1: 1 (DR
(p) DL+1 (q)) = 1
88
Com efeito, pelo teorema de Van Kampen temos que

n
n
1 (DR
(p) DL+1 (q))
(p)) 1 (Dn (p)D+1 (q)) 1 (DL+1 (q)).
= 1 (DR
R
n
Mas 1 (DR
(p)) e 1 (DL+1 (q)) sao triviais devido a hipotese nas dimensoes dos discos e
disto segue esta afirmacao.

n
Afirmacao 2: 1 (V )
(p) V DL+1 (q))
= 1 (DR
Com efeito, novamente pelo teorema de Van Kampen temos que

n
n
1 (DR
(p) V DL+1 (q))
(p) DL+1 (q)).
= 1 (V ) 1 ((Dn (p)D+1 (q))V ) 1 (DR
R
n
Seja N o subgrupo normal de 1 (V ) gerado pela imagem de 1 (V (DR
(p) DL+1 (q)))
pela aplicacao induzida da inclusao. Entao, da afirmacao anterior temos que

n
1 (DR
(p) V DL+1 (q))
=
1 (V )
.
N
Mas
n
n
1 (V (DR
(p)DL+1 (q))) = 1 ((V DR
(p))(V DL+1 (q))) = 1 (SRn1 (p)SL (q))
e como 2 e n 1 2 segue que as esferas possuem dimensao maior que 2 sendo
entao simplesmente conexas, usando Van Kampen novamente temos que 1 (SRn1 (p)
SL (q)) = 1. Logo N = 1 e assim segue a afirmacao.
Do teorema 3.1.9 temos que a inclusao DR (p) V DL (q) W e uma equivalencia
homotopica. Combinando esses dois resultados obtemos que 1 (V ) = 1.
O teorema a seguir mostra que, sob certas hipoteses, se SR SL = 1, entao pode ser
alterado perto de V tal que SR e SL se intersectem em um u

nico ponto, transversalmente
assim, a conclusao do teorema 4.2.1 pode ser aplicada.
Teorema 5.2.2 (Segundo Teorema do Cancelamento). Suponha que W n , V0 e V1 sao

simplesmente conexas e 2, + 1 n 3. Se SR SL = 1, entao W n e difeomorfa
a V0 [0, 1]. Note que nas hpoteses esta contido que n 6.
89
Demonstracao. De acordo com o teorema 4.1.2 podemos fazer um ajuste preliminar de

perto de V tal que SR e SL se intersectem transversalmente. Se SR SL nao e um u
nico
ponto, entao o fato de SR SL = 1 implica que existe um par de pontos p1 e q1 em
SR SL com n
umero de intersecao opostos. Se pudermos mostrar que o teorema 5.1.3
se aplica a esta situacao, entao, usando o lema 3.2.5, ajustaremos perto de V para que
SR e SL tenham dois pontos de intersecao a menos. Assim, se repetirmos tal processo
finitamente, SR e SL terao intersecao transversal em um u
nico ponto e entao o teorema
estara demonstrado.
Primeiramente verifiquemos que o laco contratil em V que consiste de dois arcos, um
ligando p a q contido em SR e o outro ligando q a p contido em SL existem. Tome uma
curva qualquer em SR de p = p1 a q = p2 , sejam p3 , . . . pl os pontos de intersecao de SR
e SL tais que a curva os intersecte e pl+1 , . . . pk os pontos de intersecao de SR e SL tais
que a curva nao os intersecte. Como os pontos pi sao isolados posso tomar, para cada
pi , abertos Ai pi disjuntos em SR . Usando cartas locais, a forma local das imersoes e
a funcao bump, podemos perturbar a curva nos abertos A3 , . . . , Al de modo que a nova
curva intersecte p e q mas nao intersecte mais pi , i = 3, . . . , l nem passe a intersectar em
pl+1 , . . . , pk . Note que isso so e possvel pois a dim SR 2. Como dim SL 2 podemos
fazer o mesmo em SL . Ja que V e simplesmente conexo como visto na proposicao 5.2.1,
obtemos assim o laco contratil requerido.
Como V e simplesmente conexo, se 3 todas as condicoes do teorema 5.1.3 sao
satisfeitas (lembrando que r = e s = n 1). Se = 2 nos resta mostrar que a
aplicacao 1 (V SR ) 1 (V ) = 1 e injetiva, ou seja, que 1 (V SR ) = 1.
Ja sabemos que as trajetorias de determinam um difeomorfismo de V0 SL em V SR
onde SL denota a 1-esfera de p em V0 . Seja N uma vizinhanca produto de SL em V0 , como
a dimensao de V0 e n 1 temos que U e difeomorfa a SL Rn2 . Sendo assim N SL
e difeomorfa a SL (Rn2 {0}) que e homeomorfa a S 1 S n3 . Sabendo tambem que

n 1 = n 3 3, temos 1 (N SL )
= 1 (S 1 S n3 )
= 1 (S 1 ) 1 (S n3 )
= Z.
90
O diagrama do grupo fundamental correspondente às inclusoes

V0
jj5
j
j
j
jj
jjjj
jjjj
i1
SGL
(VO SL ) N = N SL
TTTT
TTTT
TTTT
TTTT
i2
TT)
GG
GGj1
GG
GG
G#
; V0
vv
v
v
vv
vv j2
v
v
e
1 (V0
s9
i1 sss
s
sss
s
s
s
LLL
LLL
LL
i2 LLL
L%
SL )
KKK
KKjK1
KKK
KK
%
r9 1
r
rr
rr
rrj2
r
r
rr
Como i2 e um isomorfismo e j1 e sobrejetiva, segue de um corolario do teorema de

Van Kampen que j1 1 (V0 SL ) = 1.
E com isso provamos o teorema.
Corol
ario 5.2.3. O teorema 5.2.2 e tambem valido se as dimensoes da hipotese forem
3, + 1 n 2.
Demonstracao. Oriente SR e o fibrado normal (SL ) de SL em V . Como W e simplesmente
conexa segue que e orientavel. Assim V e orientavel e assim SL SR = SR SL = 1.
Se aplicarmos o teorema 5.2.2 à trade (W ; V1, V0 ) com funcao de Morse f e campo de
vetores tipo gradiente concluimos a demonstracao.
Observac
ao 5.2.4. Observe que se = 0 temos dim DL+1 (q) = 1 e no caso = n 1
n
temos dim DR
(p) = 1, logo as respectivas esferas consistem de dois pontos em V , desta
forma, se o n
umero de intersecao e 1, existe apenas um ponto de intersecao e assim a
conclus
ao do teorema e verdade. Sendo assim, se exigirmos apenas a hipotese n 6, os
u
nicos casos nao verificados serao = 1 e = n 2.
91
Captulo 6
Interl
udio: A Homologia de Morse
Faremos uma breve pausa nas ideias acima para introduzir uma ferramenta poderosa que
sera usada no cancelamento de pontos criticos, a homologia de Morse.
Tal homologia e determinada por uma funcao de Morse, ou seja, e a homologia dos
complexos cujas cadeias sao combinacoes lineares formais dos discos à esquerda determinados pelo campo de vetores tipo gradiente da funcao de Morse dada.
Mostraremos o isomorfismo entre a homologia singular de uma variedade suave compacta com a homologia de Morse. Em seguida provaremos importantes resultados utilizando a estrutura desta homologia.
6.1
Construindo a Homologia de Morse
Defini
c
ao 6.1.1. Suponha que W e uma variedade n-dimensional compacta, suave e
orientada, e seja X = Bd(W ). Para X e dada uma orientacao bem definida, denominada
orientacao induzida, da seguinte maneira: dizemos que um (n 1)-referencial 1 , . . . , n1
de vetores tangentes a X em algum ponto x X e positivamente orientada se o nreferencial , 1 , . . . , n1 e positivamente orientado em Tx W , onde e algum vetor em x
tangente a W mas nao à X e apontando para fora de W .
Alternativamente dizemos que [X] Hn1 (X) e o gerador orientacao induzido para X
92
se [X] e a imagem do gerador orientacao W Hn (W, X) pelo homomorfismo de conexao

Hn (W, X) Hn1 (X) da sequencia exata do par (W,X).
Existe uma correspondencia natural entre uma orientacao de uma variedade compacta
M n especificada pela orientacao do fibrado tangente e uma orientacao de M especificada
pelo gerador [M] de Hn (M; Z). Desta correspondencia natural temos que as duas maneiras
de orientar X dadas acima sao equivalentes.
Suponha agora que sao dadas (W ; V, V ), (W ; V , V ) e (W W ; V, V ) trades n-
dimensionais. Suponha tambem que f e uma funcao de Morse em W W com pontos
crticos q1 , . . . , ql W e q1 , . . . , qm
W tais que q1 , . . . , ql estao todos no mesmo nvel e
tem ndice enquanto que q1 , . . . , qm

estao todos tambem no mesmo nvel e tem ndice
+ 1 e V e um nvel nao crtico entre eles. Escolha um campo de vetores tipo gradiente
para f e oriente os discos a esquerda DL (q1 ), . . . DL (ql ) em W e DL (q1 ), . . . , DL (qm

) em
W .
W
W
DL (p1 )
DL (p1 )
p1
p1
p2
p2
p3
p3
p4
V
Figura 6.1:
Orientemos os fibrados normais (DR (qi )) dos discos a direita em W de modo que
DL (qi )DR (qi ) = +1. O fibrado normal (SR (qi )) de SR (qi ) em V e naturalmente isomorfo
a restricao de (DR (qi )) a SR (qi ). Assim uma orientacao de (DR (qi )) determina uma
orientacao para (SR (qi )).
Sendo assim, se orientarmos os discos a esquerda em W e W , existira uma maneira
natural de orientar as esferas a esquerda em V e os fibrados normais das esferas a direita
93
em V . Consequentemente os n
umeros de intersecao SR (qi ) SL (qj ) em V estarao bem
definidos.
No corolario 3.1.9 vimos que se a trade (W ; V , V ) tiver apenas um ponto crtico q,

entao V DL (q) e um retrato por deformacao de W . Na verdade, usando as mesmas ideias,
podemos generalizar para k pontos crticos q1 , . . . , qk obtendo que V DL (q1 ). . .DL (qk )
e um retrato por deformacao de W . Se, mais que isso, o ndice de todos esses pontos
crticos forem iguais a , entao
H (W , V )
= H (V DL (q1 ) . . . DL (qk ), V ) (deformacao retratil)
= H (DL (q1 ) . . . DL (qk ), SL (q1 ) . . . SL (qk )) (excisao)
f ((DL (q1 ) . . . DL (qk ))/(SL (q1 ) . . . SL (qk )))

= H
Z . . . Z (k somandos) em dimensao
0
caso contrario.
Os geradores de H (W , V ) sao representados por DL (q1 ), . . . , DL (qk ), ou seja, esses

discos a esquerda representam uma base para H (W , V ). Na verdade os geradores de
H (W , V ) sao completamente determinados pela funcao de Morse sem necessitar fazer
referencia ao campo de vetores tipo gradiente como pudemos verificar em A.2.26.
Desta observacao segue que H (W, V ) e H+1 (W W , W )
= H+1 (W , V ) (excisao)
sao grupos abelianos livres com geradores [DL (q1 )], . . . , [DL (ql )] e [DL (q1 )], . . . , [DL (qm
)]
respectivamente.
Nosso objetivo neste momento e construir a homologia de Morse. Para isso determinaremos como age o homomorfismo de bordo : H+1 (W W ) H (W, V ) para a
tripla V W W W , em seguida olharemos para uma trade qualquer, determinare-
mos o grupo graduado e mostraremos que este grupo junto com forma um complexo
de cadeias, ou seja, que e, de fato, um operador de bordo. Com isso feito poderemos
definir uma homologia que e conhecida como homologia de Morse e verificaremos sua
importancia nos teoremas de cancelamento deste captulo.
Para que possamos determinar como age o homomorfismo de bordo precisaremos do
proximo lema.
94
Lema 6.1.2. Seja M uma variedade suave fechada de dimensao mergulhada em V com
[M] H (M) o gerador orientacao, e seja h : H (M) H (W, V ) a aplicacao induzida
pela inclusao. Entao h([M]) = SR (q1 )M[DL (q1 )]+. . .+SR (ql )M[DL (ql )] onde SR (qi )M
denota o n
umero de intersecao de SR (qi ) e M em V .
Demonstracao. Assumiremos que l = 1, a demonstracao para o caso geral e similar.
Denotemos entao q = q1 , DL = DL (q1 ), DR = DR (q1 ) e SR = SR (q1 ). Queremos mostrar
que h([M]) = SR M[DL ].
Considere o diagrama de espacos topologicos e aplicacoes contnuas abaixo
i0
/ (V , V SR ))
ii4
i
i2 iiiii
i
r|V
i1
i
iiii

iiiiiii
(V DL , V (DL {q}))
r|V
(V DL , V )
W UUUUU
UUUU
UUUiU4
UUUU
i3
UUUU

U*
(W, V )
A aplicacao r : W V DL e a deformacao retratil dada em 1.2.5. Note que r leva V
em V DL e V SR em V (DL {q}) e que a aplicacao r|V : V W e homotopica à
inclusao j : V W . Note tambem que V e o retrato por deformacao de V (DL {q}),

assim r representa tal aplicacao. As aplicacoes i0 , i1 , . . . , i4 sao inclusoes.
Dado x M note que i4 r|V i1 (x) = i3 r r|V i0 (x), portanto este diagrama
comuta.
Consideremos agora o diagrama dos respectivos grupos de homologia com homomorfismos induzidos das aplicacoes acima, notando que, dos axiomas de teoria de homologia,
r|V ser homotopica a j indica que os homomorfismos induzidos r|V e j sao iguais. Desta
forma temos que o diagrama abaixo comuta
95
i0 = h0
/ H (V , V SR ))
DD
hh4
DD
i2 hhhhhh
h
DD
h
r|V = h1
i1
h
D hhhh

hhhDhDD
h
DD
H (V )
DD H (V DL , V (DL q))
DD
DD
j
r = h2
h DDD

DD
DD H (V DL , V )
H (W ) VVV
DD
VVVV
DD
VVVVi4
D
VVVV
VVVV DDD i3 = h3
VV*
!
H (M)
H (W, V )
Assim obtemos que h([M]) = h3 h2 h1 h0 ([M]). Do lema 5.1.2 sabemos que

h0 ([M]) = (SR M)() onde H0 (SR ) e o gerador canonico e : H0 (SR )
H (V , V SR ) e o isomorfismo de Thom. Assim, a fim de provar que h([M]) = SR M[DL ],

pela comutatividade do diagrama e suficiente mostrar que h3 h2 h1 (()) = [DL ].
A classe () e representada por um disco orientado D que intersecta SR em um

ponto x, transversalmente com n
umero de intersecao SR D = +1.
Lembrando, no teorema 1.2.5, de como se da a deformacao retratil r, podemos ver
1
que a imagem r(D ) representa DR D vezes o gerador orientacao h1
2 h3 ([DL ]) para
H (V DL , V (DL {q})).
Do modo como o DR foi orientado temos que DR D = SR D = +1. Segue entao
1
que h1 (()) = h1
amos.
2 h3 ([DL ]), logo h3 h2 h1 (()) = [DL ] como quer
Com isso podemos determinar como age .

Corol
ario 6.1.3. Com respeito às bases representadas pelos discos à esquerda orientados,
o homomorfismo de bordo : H+1 (W W , W ) H (W, V ) para a tripla V W
W W e dada pela matriz (aij ) dos n
umeros de intersecao aij = SR (qi ) SL (qj ) em V ,
naturalmente determinados pela orientacoes dadas aos discos à esquerda.

Demonstracao. Tome [DL (qj )] H+1 (W W , W ) um dos elementos da base. Podemos
fatorar o homomorfismo como no diagrama abaixo
96
H (SL (qj ))
i
e
/ H+1 (W , V ) bordo1 / H (V )
MMMTTTT
MMM TTTT
MMM TTTT
MMM TTTTbordo
TTTT2
j
MMM
TTTT
MMM
TTTT
MMM
TTTT
M
TT)

MMMM
MMM
H
(W
)
MMM
MMM
MMM k
MM&

H+1 (W W , W )
H (W, V )
onde e e a inversa da excisao e i e induzida pela inclusao.

Para a tripla V W W W existe uma sequencia exata
i
. . . Hq (W, V )
Hq (W W , V )
Hq (W W , W ) Hq1 (W, V )
...
onde i e j sao induzidos pela inclusao e e o homomorfismo de conexao. Esta sequencia

e chamada de sequencia exata de homologia para a tripla (W W , W, V ). Para a tripla
W W W , esta sequencia fica
bordo
bordo
. . . 2 Hq (W )
Hq (W W )
Hq (W W , W ) 2 Hq1 (W )
...
e esta sequencia e chamada sequencia exata de homologia para o par (W W , W ). Sabe-
se que o homomorfismo de conexao : Hq (W W , W ) Hq1 (W, V ) da tripla e a

bordo
composicao Hq (W W , W ) 2 Hq1 (W )
Hq1 (W, V ) onde k e induzido pela
inclusao (W, ) (W, V ).Note que o seguinte diagrama comuta

bordo1
H+1 (W , V )
H (V )
j
e1
H+1 (W W , W )
bordo2
H (W )
Assim, da sequencia exata de homologia para a tripla e da comutatividade acima

temos que ([DL (qj )]) = k bordo2 ([DL (qj )]) = k j bordo1 e([DL (qj )]).
97
Note que k j i ([DL (qj )]) = h([DL (qj )]) onde h e o homomorfismo definido no
lema anterior tomando SL (qj ) = M.
Pela definicao de orientacao para SL (qj ) temos que bordo1 e([DL (qj )]) = i ([SL (qj )]).
Disto temos que ([DL (qj )]) = h([SL (qj )]).
Notando que qualquer elemento de H+1 (W W , W ) e homologo a uma combinacao

linear de elementos da base e lembrando de como age h, concluimos o resultado.
Dado um cobordismo c representado pela trade (W ; V, V ), de acordo com o teorema

3.2.8 podemos fatorar c = c0 c1 . . . cn onde em c todos os pontos crticos estao no mesmo
nvel e possuem o mesmo ndice . Seja c0 c1 . . . c representado pela variedade W W ,
= 0, 1, . . . , n, e tome W1 = V , temos entao
V = W1 W0 . . . Wn = W
Defina C = H (W , W1 ) e seja : C C1 o homomorfismo de bordo para a
sequencia exata da tripla W2 W1 W .
Teorema 6.1.4. Tome o grupo graduado {C }Z para C como dado acima. C =
{C , } e um complexo de cadeias, ou seja 2 = 0 e H (C )
= H (W, V ).
Demonstracao. Sabendo que homologia singular e celular sao isomorfas, utilizaremos

nesta demonstracao resultados em homologia celular. Na nossa notacao teremos C =
H (W , W1 )
= HCW (W , W1 ).
Sejam os pares (W+1 , W ), (W , W1 ) e (W1 , W2 ), junto com suas respestivas
sequencias exatas longas. Provaremos que 2 = 0 usando o diagrama abaixo onde e
+1 sao homomorfismos de conexao das sequencias exatas longas dos pares e 1 e 2 sao
definidos pela composicao j +1 e j1 respectivamente.
98
ll5 0
lll
l
l
lll
lll
lll
H (W+1 , V )
0 LLL
nn6
nnn
n
n
nn
nnn
LLL
LLL
LLL
%
H8 (W , VP)
PPP
+1 rrrr
PPj
...
/
C+1
rrr
rrr
PPP
PPP
PP(
/ C R
RRR
RRR
RRR
RRR
RRR
1
l5
lll
l
l
l
l
ll
lll
lll
/ C1
7
o
o
oo
o
o
oo
ooo j1
/
...
(W1 , V )
Ora, 2 1 = j1 j +1 e esta composicao inclui duas aplicacoes sucessivas

de uma sequencia exata, assim e zero.
Provemos agora o isomorfismo entre H (C ) e H (W, V ). Considere o diagrama abaixo
0
k1
H+1 (W+1 , W ) Q= C+1
i1
H (W , W2 )
QQQ
QQQ
QQQ
QQQ
QQQ
QQQ
1
QQQ
QQQ
QQQ
(
i2
H (W+1 , W2 )
i3
k2
H (W , W1 ) = C
2
H1 (W1 , W2 ) = C1
A linha horizontal e dada pela sequencia exata da tripla W2 W W+1 e a linha
vertical e dada pela sequencia exata da tripla W2 W1 W .
Note que H (W , W2 )
= H (W , V ) e que H (W+1 , W2 )
= H (W+1 , V )
=
H (W, V ).
99
Desta forma o diagrama comuta, logo Im(1 ) = Im(k2 ii ). Mas k2 e injetivo e assim
temos que Im(k2 )

= H (W , W2 ). Assim Im(1 )
= Im(i1 ) = Ker(i2 ).
Temos tambem que Ker(1 ) = Im(k2 )

= H (W , W2 ) e assim concluimos que
H (C ) =
Ker(2 ) H (W , W2 )
.
=
Im(1 )
Ker(i2 )
Este u
ltimo e isomorfo a H (W+1 , W2 ) pelo teorema dos isomorfismos e disto segue
que H (C )
= H (W, V ) como queramos.
Com isso acabamos de definir a homologia de Morse e demonstramos que esta e isomorfa a` homologia singular.
6.2
A Dualidade de Poincar
e e o Teorema da Base
Fazendo uso da estrutura construda na secao anterior, provaremos dois resultados importantes a seguir.
Teorema 6.2.1 (Dualidade de Poincare). Se (W ; V, V ) e uma trade de variedades suaves
de dimensao n e W e orientada, entao H (W, V ) e isomorfa a H n(W, V ) para todo .
Demonstracao. Sejam c = c0 c1 . . . cn e C = {C , } definidos com respeito à funcao
de Morse f com feito acima e fixe um campo de vetores tipo gradiente para f . Com
orientacoes fixadas, os discos a esquerda de c formam uma base para C = H (W , W1 ).
Do corolario 6.1.3 sabemos que, com respeito a esta base, o operador de bordo : C
C1 e dado pela matriz dos n
umeros de intersecao das esferas a esquerda orientadas de
c com as esferas a direita de c1 possuindo os seus fibrados normais orientados.
Similarmente representemos cn cn+1 . . . cn pela variedade W W , = 0, 1, . . . , n
e seja W1
= V . Definimos C = H (W , W1
) e : C C1
como acima. Para
algum disco DR a direita, a orientacao de (DR ) vinda da orientacao dada ao disco a

esquerda junto com a orientacao de W nos da naturalmente uma orientacao para DR .
100

Entao : C C1
e dado pela matriz dos n
umeros de intersecao das esferas a direita
orientadas com as esferas a esquerda possuindo seus fibrados normais orientados.
Seja C = {C , } o complexo dual de cocadeias do complexo de cadeias C =
{C , } (entao C = Hom(C , Z)). Escolha como base para C a base dual da base de
C a qual e determinada pelos discos a direita orientados de cn .
Um isomorfismo C C
e induzido pela correspondencia de cada disco a esquerda
orientado com o dual do disco a direita orientado de mesmo ponto crtico. Como ja
sabemos, : C C1 e dado pela matriz (aij ) = (SR (pi ) SL (pj )). De modo analogo
: C
C n+1 e dado pela matriz (bij ) = (SL (pj )SR (pi )). Mas como W e orientada
temos que bij = aij . Assim corresponde a e disto segue que o isomorfismo dos
grupos de cadeias induz um isomorfismo H (C )

= H n (C ). Do teorema 6.1.4 temos
que H (C )
= H (W, V ) e H (C )
= H (W, V ) para todo e . Sabendo que se dois
complexos de cadeias tem homologias isomorfas entao os complexos duais de cocadeias
possuem cohomologias isomorfas, concluimos que H (C )

= H (W, V ) para cada .
Assim temos que H (W, V )

= H n (W, V ) como queramos.
= H n (C )
= H (C )
Ate agora sabemos que se nos for dada uma trade (W ; V, V ) com uma funcao de
Morse e um campo de vetores tipo gradiente tal que todos os pontos crticos tem o
mesmo ndice e estao no mesmo nvel, entao os discos a esquerda representam uma base
para H (W, V ). Mas sera que se, dada uma base para H (W, V ), existe uma funcao de
Morse e um campo de vetores tipo gradiente tal que os discos a esquerda representam a
base dada? A resposta a essa pergunta e sim sob certas condicoes e verificaremos isso no
proximo teorema.
Teorema 6.2.2 (Teorema da Base). Suponha que (W ; V, V ) e uma trade de dimensao
n possuindo uma funcao de Morse f com todos os pontos crticos de ndice e no mesmo
nvel, e seja um campo de vetores tipo gradiente para f . Assuma que 2 n 2
e que W e conexo. Entao dada uma base para H (W, V ), existe uma funcao de Morse f
e um campo de vetores tipo gradiente que coincidem com f e respectivamente numa
vizinhanca de V V . A funcao f possui os mesmos pontos crticos que f , todos tambem
101
no mesmo nvel, e os discos a esquerda dados por , quando convenientemente orientados,

determinam a base dada.
Demonstracao. Sejam p1 , . . . , pk os pontos crticos da f e seja {b1 , . . . , bk } a base de
H (W, V )
= Z . . . Z (k vezes) representada por discos a esquerda DL (p1 ), . . . , DL (pk )
com alguma orientacao fixada.
Sejam os fibrados normais dos discos a direita DR (p1 ), . . . , DR (pk ) orientados de modo
que a matriz (DR (pi ) DL (pj )) dos n
umeros de intersecao seja a matriz identidade.
V
V
b1
b2
b3
p1
p2
p3
Figura 6.2:
Considere primeiramente algum -disco D suavemente mergulhado em W tal que

Bd(D) V . O disco D pode ser representado como uma combinacao linear da base
{b1 , . . . , bk }, isto e, existem inteiros 1 , . . . , k tal que D = 1 b1 + . . . + k bk H (W, V ),
ou seja, D e homologo a 1 DL (p1 )+. . .+k DL (pk ). Disto segue que para cada j = 1, . . . , k
DR (pj ) D = DR (pj ) [1 DL (p1 ) + . . . + k DL (pk )]
= 1 (DR (pj ) DL (p1 )) + . . . + k (DR (pj ) DL (pk ))
= j .
Assim D representa o elemento (DR (p1 ) D)b1 + . . . + (DR (pk ) D)bk .
Seja {B1 , . . . , Bk } a base que queremos obter. Ora, cada Bi e uma combinacao linear
de elementos da base {b1 , . . . , bk }. Se soubermos como construir uma nova funcao de
Morse f e um campo de vetores tipo gradiente para f tal que f e sao iguais
a f e numa vizinhanca de V V , f possui os mesmo pontos crticos da f , todos
102
no mesmo nvel e os discos orientados a esquerda sao DL (p1 ), DL (p2 ), . . . , DL (pk ) com
DR (p1 ) DL (p1 ) = DR (p2 ) DL (p1 ) = +1 e DR (pj ) DL (p1 ) = 0 para j = 3, 4, . . . , n
obteremos que a base dada por esses discos e, na realidade, {b1 + b2 , b2 , . . . , bk } pois, pelas
consideracoes feitas acima, DL (p1 ) pode ser representada por
(DR (p1 ) DL (p1 ))b1 + . . . + (DR (pk ) DL (pi ))bk = b1 + b2 .

E se revertermos a orientacao do disco a esquerda DL (pi ), trocaremos a base original
{b1 , . . . , bi , . . . , bk } pela base {b1 , . . . , bi , bi+1 , . . . , bk }. Desta forma, se procedermos com
estas operacoes finitas vezes, encontraremos f e de modo que os discos a esquerda dados
por determinam a base {B1 , . . . , Bk } provando o teorema.
Assim, o objetivo a partir de agora e provar a existencia de f e como descrita acima,
essa demonstracao sera feita por construcao a partir da f e da dadas.
Usando o teorema 3.2.6 encontramos uma funcao de Morse f1 que e igual a f fora
de uma pequena vizinhanca de p1 tal que f1 (p1 ) > f (p1 ) e f1 possui os mesmos pontos
crticos e campo de vetores tipo gradiente da f . Escolha t0 tal que f1 (p1 ) > t0 > f (p1 ) e
tome V0 = f11 (t0 ).
V0
V
p1
p2
p3
p4
Figura 6.3:
A ( 1)-esfera a esquerda SL de p1 em V0 e as (n 1)-esferas a direita SR (pi )

de pi , 2 i k em V0 sao disjuntas. Escolha pontos a SL e b SR (p2 ). Como W
e conexo, V0 tambem o e e assim existe um mergulho 1 : (0, 3) V0 tal que 1 ((0, 3))
intersecta SL e SR (p2 ), cada esfera em um u
nico ponto transversalmente em 1 (1) = a e
1 (2) = b, e tal que 1 ((0, 3)) (SR (p3 ) . . . SR (pk )) = .
103
Lema 6.2.3. Existe um mergulho : (0, 3) R1 Rn1 V0 tal que:

1. (s, 0, 0) = 1 (s) para s (0, 3)
2. 1 (SL ) = {1} R1 {0} e 1 (SR (p2 )) = {2} {0} Rn1
3. a imagem de nao intersecta as outras esferas. Mais ainda, pode ser escolhida de
modo que leva {1}R1 {0} em SL com orientacao positiva e ((0, 3)R1 {0})
intersecta SR (p2 ) em (2, 0, 0) = b com n
umero de intersecao +1.
Supondo o lema verdadeiro usaremos para contruir uma isotopia de V0 que move SL
sobre SR (p2 ), como segue.
Fixe um n
umero > 0 e seja : R [1, 25 ] uma funcao suave tal que (u) = 1 para
u 2 e (u) > 2 para u . Como na demonstracao do teorema 5.1.3, construa uma
isotopia Ht de (0, 3) R1 Rn1 tal que
a) Ht e a identidade fora de algum conjunto compacto, 0 t 1
b) Ht (1, x, 0) = (t(kxk2 ) + (1 t), x, 0) para x R1
Defina uma isotopia Ft de V0 por Ft (v) = Ht 1 (v) para v Im() e Ft (v) = v
caso contrario. Pela primeira propriedade de Ht vemos que Ft esta bem definida.
Usando o teorema 2.1.18 encontramos uma vizinhanca produto V0 [0, 1] mergulhada
em W do lado direito de V0 tal que nao possui pontos crticos e V0 {0} = V0 . Usando
a isotopia Ft , alteraremos o campo de vetores tipo gradiente nesta vizinhanca como no
lema 3.2.5, obtendo um novo campo de vetores em W tal que coincide com fora
da vizinhanca produto e = F1 onde e sao os difeomorfismos de V0 {1} V0
determinados pelas trajetorias de e respectivamente.
Como e sao iguais a esquerda de V0 , segue que as esferas a direita em V0 associadas

a continuam sendo SR (p2 ), . . . , SR (pk ). A esfera a esquerda de p1 associada a e
SL = F1 (SL ). Da segunda propriedade de Ht sabemos que SL nao intersecta nenhuma
das esferas a seguir SR (p3 ), . . . , SR (pk ). Assim, pelo teorema 3.2.7 podemos encontrar
104
H1 ({1} R1 {0})
{1} R1 {0}
1
SR
F1 (SL )
a
b
SL = F0 (SL )
Figura 6.4:
uma funcao de Morse f igual a f1 em uma vizinhanca de Bd(W ) (consequentemente

igual a f nesta vizinhanca), possuindo como campo de vetores tipo gradiente associado
e tendo apenas um valor crtico.
Isto completa a construcao de f e , mas resta verificar que os novos discos a esquerda
representam a base desejada.
Os discos a esquerda de p2 , . . . , pk associados a sao ainda DL (p2 ), . . . , DL (pk ) pois
= a esquerda da vizinhanca V0 [0, 1], isto e, em f11 ((, t0 ]). Como =
tambem a direita de V0 [0, 1], o novo disco a esquerda DL (p1 ) intersecta DR (p1 ) em
p1 = DL (p1 ) DR (p1 ) com n
umero de intersecao DR (p1 ) DL (p1 ) = +1. Segue da segunda
propriedade de Ht que DL (p1 ) intersecta DR (p2 ) em um u
nico ponto, transversalmente,
com n
umero de intersecao DR (p2 ) DL (p1 ) = +1. A terceira propriedade de implica que
DL (p1 ) e disjunta de DR (p3 ), . . . , DR (pk ) e assim DR (pi ) DL (p1 ) = 0 para i = 3, . . . , k.
Assim a base para H (W, V ) representada pelos discos a esquerda associados a e

{b1 + b2 , b2 , . . . , bk } e isso completa a prova.
105
Demonstracao do Lema 6.2.3. Escolha uma metrica Riemanniana para V0 tal que o arco
A = 1 ((0, 3)) seja ortogonal a SL e a SR (p2 ) e e tal que estas esferas sao subvariedades
totalmente geodesicas (veja demonstracao do lema 5.1.4).
Sejam (a) e (b) os ( 1)-referenciais ortonormais em a e b tais que (a) e tangente
a SL em a com orientacao positiva e (b) e ortogonal a SR (p2 ) em b com n
umero de
intersecao +1.
Como A e contratil, o fibrado vetorial sobre A dos ( 1)-refeenciais ortogonais a A
e trivial com fibra a variedade de Stiefel V1 (Rn2 ) que e conexa ja que 1 < n 2.
Assim podemos estender a uma secao definida em todo A.
O fibrado vetorial sobre A dos (n 1)-referenciais ortogonais a A e a e um
fibrado trivial com fibras Vn1 (Rn1 ). Seja uma secao transversal suave. Usando
a aplicacaop exponencial associada a esta metrica definimos o mergulho desejado . Os
detalhes sao similares aos do final da demonstracao do lema 5.1.4. Sendo assim o lema
esta provado.
106
Captulo 7
Cancelando Pontos Crticos
O objetivo deste captulo e determinar sob quais hipoteses podemos perturbar uma funcao
de Morse f definida numa trade de modo a cancelar os pontos crticos desta.
Primeiramente iremos supor que uma funcao de Morse em uma dada trade (W ; V, V )
nao possui pontos crticos de ndices 0, 1, n e n 1. Desta forma, com algumas hipoteses
sob a` trade, poderemos perturbar a f tal que a funcao de Morse resultante nao possua
pontos crticos. Isso nos dara que a trade e difeomorfa a (V [0, 1]; V {0}, V {1}).
Em seguida determinaremos sob quais hipoteses podemos cancelar os pontos crticos
de ndices 0 e 1 perturbando uma funcao de morse f definida em uma trade. Consequentemente poderemos cancelar tambem os pontos crticos de ndices n e n 1 tomando
a funcao f .
Com esses resultados somados, poderemos determinar quando uma trade e um cobordismo produto, este resultado sera nomeado, no proximo captulo, como o Teorema do
h-Cobordismo que e um teorema muito importante deste trabalho.
107
7.1
Cancelando Pontos Crticos de Indices

Intermedi
arios
Teorema 7.1.1 (Teorema de Cancelamento de Pontos Crticos de Indices Intermediarios).

Suponha que (W ; V, V ) e uma trade de dimensao n 6 possuindo uma funcao de Morse
sem pontos crticos de ndices 0, 1, n e n 1. Assuma que W , V e V sao todos simplesmente conexos (portanto orientaveis) e que H (W, V ) = 0. Entao (W ; V, V ) e um
cobordismo produto.
Demonstracao. Seja c denotando o cobordismo (W ; V, V ). Do teorema 3.2.8 temos que
podemos fatorar c = c2 c3 . . . cn2 tal que c admite uma funcao de Morse na qual a restricao
a cada c e uma funcao de Morse tendo todos os pontos crticos no mesmo nvel e tendo
o mesmo ndice .
Como na notacao do teorema 6.1.4 temos a sequencia de grupos abelianos livres
n2
n3
+2
+1
Cn2 Cn3 . . . C+1 C

C2 .
. . .
para o n
ucleo de +1 : C+1 C .
Para cada , escolha uma base z1+1 , . . . , zk+1
+1
Como H (W, V ) = 0 segue do teorema 6.1.4 que para todo , H (C ) = 0, ou seja,
Ker( )
Im(+1 )
= 0 e isso implica que a sequencia e exata.
Assim podemos escolher b+1

, . . . , b+1
C+1 tal que +1 (b+1
) = zi para i =
1
i
k
1, . . . , k . Entao (z1+1 , . . . , zk+1 , b+1

, . . . , b+1
e uma base para C+1 .
1
k )
Como 2 < + 1 n 2, podemos usar o teorema da base 6.2.2 e encontrar
uma funcao de Morse f e um campo de vetores tipo gradiente em c tal que os discos a
esquerda de c e de c+1 representam as bases escolhidas para C e C+1 respectivamente.
Sejam p e q pontos crticos em c e c+1 tais que seus discos a esquerda representam
z1 e b+1
respectivamente. Usando os teoremas 3.2.6 e 3.2.7 podemos perturbar f numa
1
vizinhanca de p e numa vizinhanca de q de modo a obtermos c c+1 = c cp cq c+1 , onde cp
possui apenas o ponto crtico p e cq possui apenas o ponto crtico q. Tome as subvariedades
V0 como sendo o nvel entre cp e cq , V1 o nvel entre c e cp e V2 o nvel entre cq e c+1 .
108
Usando a mesma ideia da demonstracao da proposicao 5.2.1 temos que V0 , V1 e V2

sao simplesmente conexas e assim, usando novamente o Teorema de Van Kampen, temos
que cp cq e simplesmente conexo. Como (b+1
) = z1 , as esferas SR (p) e SL (q) em V0
1
tem n
umero de intesecao 1. Entao podemos usar o Segundo Teorema do Cancelamento
5.2.2 ou seu corolario 5.2.3 para termos que cp cq e um cobordismo produto e que f e seu
campo de vetores tipo gradiente podem ser alterados no interior de cp cq tal que f nao
possui nenhum ponto crtico.
Repetindo tal processo tantas vezes quanto possvel eliminaremos todos os pontos
crticos. Sendo assim, pelo teorema 2.1.17 obtemos o resultado.
7.2
Cancelando Pontos Crticos de Indices 0 e 1
Seja (W n ; V, V ) uma trade suave com funcao de Morse f e o campo de vetores tipo
gradiente associado a f . Nesta secao assumiremos que f e uma funcao boa e com isso
denotaremos Wk = f 1 ([ 12 , k + 21 ]), k = 1, . . . , n e Vk+ = f 1 (k + 12 ).
5
2
V2+
2
3
2
V1+
W2
W1
1
2
V0+
W0
0
12
Figura 7.1:
109
Sabendo, pelo teorema 4.1.2, que podemos sempre alterar tal que a intersecao entre
SR e SL seja transversal em Vk+ , consideraremos que esta intersecao e sempre transversal.
Teorema 7.2.1. Se H0 (W, V ) = 0, entao os pontos crticos de ndice 0 podem ser cancelados junto com um n
umero igual de pontos crticos de ndice 1.
Demonstracao. Sejam p e q pontos crticos de ndices 0 e 1 respectivamente. Primeiramente mostraremos que se H0 (W, V ) = 0 entao SRn1 (p) e SL0 (q) em Vk+ se intersectam
em um u
nico ponto.
Consedere a homologia com coeficientes em Z2 . Como H0 (W, V ) = 0 segue do teorema
6.1.4 que H1 (W1 , W0 , Z2 ) H0 (W0 , V, Z2 ) e sobrejetiva. Como notamos na secao anterior

e determinado pela matriz de n
umeros de intersecao das (n 1)-esferas a direita e das
0-esferas a esquerda em V0+ e, neste caso, as entradas desta matriz sao 0 ou 1. Da
sobrejetividade segue que, para cada SRn1 existe ao menos um SL0 com SRn1 SL0 = 1(
mod 2). Sendo assim, dado um ponto crtico p de ndice 0 existe pelo menos um ponto
crtico q de ndice 1 onde SL0 (q) e SRn1 (p) se intersectam em um n
umero mpar de pontos
em V0+ , mas SL0 (q) possui apenas dois pontos e assim concluimos que a intersecao e u
nica.
Com isso e usando a observacao 3.2.7, podemos alterar f sem alterar nos interiores
de f 1 ([ 21 , 12 ]) e de f 1 ([ 21 , 32 ]) aumentando o nvel de p e diminuindo o nvel de q tal que
para algum > 0
< f (p) <
1
< f (q) < 1 .
2
Agora podemos usar o Primeiro Teorema do Cancelamento 4.2.1 para alterar f e em

f 1 ([, 1 ]) de modo a cancelar os pontos p e q.
Usando esse procedimento finitas vezes podemos cancelar pontos crticos de ndice 0
com um n
umero igual de pontos crticos de ndice 1 como queramos.
Observe que se tivermos mais pontos crticos de ndice 0 que de ndice 1, ao final
do processo acima, sobrariam pontos crticos de ndice 0. Mas, se isso acontecesse, a
sobrejetividade de seria contrariada, logo podemos concluir que existe um n
umero menor
ou igual de pontos crticos de ndice 0 que pontos crticos de ndice 1.
110
Nosso objetivo agora e cancelar os pontos crticos de ndice 1 restantes. Para isso,
para cada esfera a direita SR (p) de um ponto crtico p de ndice 1 em V1+ , provaremos a
existencia de uma 1-esfera mergulhada em V1+ que intersecta SR (p) em um u
nico ponto e
nao intersecta nenhuma outra esfera a direita. Levaremos tal esfera, atraves de trajetorias
de ate V2+ , em seguida adicionaremos dois pontos crticos de ndices 2 e 3 à direita de
V2+ . Usaremos o fato da dimensao ser maior ou igual a 5 para alterar de modo que a
esfera a esquerda do ponto crtico de ndice 2 ser exatamente a 1-esfera mergulhada em
V1+ e transladada a V2+ . Depois disso faremos o mesmo que na demosnstracao acima e
cancelaremos estes dois pontos crticos resultando na substituicao dos pontos crticos de
ndice 1 por pontos crticos de ndice 3.
Mas antes de enunciar e demonstrar este cancelamento, provaremos alguns resultados.
Lema 7.2.2. Seja a trade suave (W n ; V, V ) com n 4 e V conexa. Se SRn2 e uma
esfera a direita em V1+ , existe uma 1-esfera mergulhada em V1+ que possui intersecao
transversal com SRn2 e nao intersecta nenhuma outra esfera a direita.
Demonstracao. Como dim V1+ = n 1 e dim SRn2 = n 2 existe um pequeno disco
D V1+ tal que seu ponto medio q0 intersecta SRn2 transversalmente e D nao intersecta
nenhuma outra esfera a direita. Translademos os pontos finais de D ao longo de trajetorias

de a um par de pontos em V .
Como V e conexo e dim V = n 1 2, estes pontos podem ser unidos por um
caminho suave em V que nao intersecta as 0-esferas a esquerda em V . Este caminho
pode ser levado de volta a um caminho suave em V1+ ligando os pontos finais de D. Note
que este nao intersecta nenhuma outra esfera a direita. Agora podemos construir uma
aplicacao suave g : S 1 V1+ tal que:
- g 1(q0 ) e um ponto a S 1 e g mergulha suavemente uma vizinhanca fechada A de a
em uma vizinhanca de q0 em D.
- g(S 1 a) nao encontra nenhuma (n 2)-esfera a direita.
Como dim V = n1 3, o lema 5.1.8 nos da um mergulho suave com estas propriedades.
Isso completa a demonstracao.
111
Teorema 7.2.3. Se dois mergulhos suaves de uma variedade suave M m em uma variedade
suave N n sao homotopicas, entao elas sao suavemente isotopicas desde que n 2m + 2.
O teorema acima e devido a Whitney em seu artigo Differentiable Manifolds. Nao
apresentaremos aqui a sua demonstracao mas destacaremos sua importancia. Durante
a demonstracao do cancelamento de pontos crticos de ndice 1 precisaremos que duas
1-esferas em V2+ , que sao homotopicas, sejam suavemente isotopicas. Entao, para que
possamos fazer uso do teorema acima, precisaremos que dim V2+ 4. Ou seja, esse e um
dos fatores para que o proximo teorema seja valido apenas em dimensao maior ou igual
que cinco.
Teorema 7.2.4. Suponha que W e V sao conexas, simplesmente conexas e n 5. Se
n
ao existe ponto crtico de ndice 0 podemos substituir cada ponto crtico de ndice 1 por
um ponto crtico de ndice 3.
Demonstracao. Primeiramente verifiquemos que V2+ e sempre simplesmente conexo. De
fato, a inclusao V2+ W pode ser fatorada em uma sequencia de inclusoes que sao
alternadas entre a anexacao de celulas e equivalencias homotopicas (veja o corolario 3.1.9).
As celulas anexadas sao de dimensao n 2 e n 3 a esquerda e de dimensao 3, 4, . . . a
direita, todas elas de dimensao maior que 1. Como W e conexo, temos que V2+ tambem o
e pois anexar celulas de dimensao maior que 1 nao conecta componentes conexas. Usando
a conexidade de V2+ podemos aplicar o teorema de Van Kampen como na proposicao
5.2.1 e concluir que 1 (V2+ )
= 1 (W ) = 1.
Dado algum ponto crtico p de ndice 1, podemos construir uma 1-esfera S em V1+
como a do lema 7.2.2. Caso seja necessario, ajustemos a direita de V1+ usando os lemas
3.2.2 e 3.2.5 tal que S nao intersecta nenhuma 1-esfera a esquerda em V1+ . Assim S e
uma 1-esfera em V1+ que intersecta transversalmente SRn2 (p) em um u
nico ponto, nao
intersecta nenhuma outra esfera a direita e nenhuma 1-esfera a esquerda. Sendo assim
podemos transladar S atraves de trajetorias de a uma 1-esfera S1 em V2+ .
Seja C uma vizinhanca colar a direita de V2+ . Como em C nao existem pontos crticos,
para cada ponto em V2+ , pelo teorema da funcao implcita, existe uma vizinhanca A do
112
ponto em C e um sistema de coordenadas x1 , . . . , xn tal que se g : U Rn+ A C e

o difeomorfismo local dado pelas coordenadas, temos f |g(U ) = x1 . Usando o lema 1.1.4
podemos alterar f em um subconjunto compacto de A = g(U) inserindo um par de pontos
crticos q, r, com f (q) < f (r) de ndices 2 e 3 respectivamente.
V3+
V2+
V1+
V0+
r
q
S1
Figura 7.2:
Seja S2 a 1-esfera a esquerda de q em V2+ . Como dim V2+ 4 e V2+ e simplesmente

conexo, o teorema 7.2.3 implica que existe uma isotopia suave ht , 0 t 1, de i1 : S2
V2+ em i2 : S1 V2+ , agora podemos usar o teorema 4.1.5 e obter que esta isotopia e
a restricao de uma isotopia suave ht , 0 t 1, da identidade V2+ V2+ que leva S2
em S1 . Entao, usando o lema 3.2.5 podemos ajustar a direita de V2+ tal que S1 = S2 .
Sendo assim a esfera a esquerda de q em V1+ e S que, por construcao, intersecta a esfera
a direita de p em um u
nico ponto transversalmente.
Usando a observacao 3.2.7 podemos alterar f sem alterar nos interiores de f 1 ([ 21 , 23 ])
e de f 1 ([ 32 , k]), k =
f (q)+f (r)
,
2
aumentando o nvel de p e diminuindo o nvel de q tal que
para algum > 0:

1 + < f (p) <
3
< f (q) < 2 .
2
Usamos agora o Primeiro Teorema do Cancelamento 4.2.1 alteramos f e em f 1 ([1 +

, 2 ]) e cancelamos os pontos crticos p e q. Em seguida aumentamos o nvel de r tal
que f (r) = 3 usando novamente a observacao 3.2.7.
O procedimento feito acima substituiu o ponto p pelo ponto r e pode ser repetido ate
eliminarmos os pontos crticos de ndice 1 restantes. Isso completa a prova.
113
Captulo 8
Teorema do h-Cobordismo e
Aplica
c
oes
Este captulo e a finalizacao deste texto. Na primeira secao demonstraremos o Teorema
do h-Cobordismo, este teorema nos afirma que, dadas certas caractersticas topologicas
em uma trade, entao esta e, na realidade, um cobordismo produto.
Ainda nesta secao definiremos h-cobordismo e, usando o Teorema do h-Cobordismo,
mostraremos que, sob certas condicoes apenas topologicas, duas variedades de dimensao
maior ou igual a cinco sao difeomorfas.
Este resultado e muito interessante e nos da muitas aplicacoes as quais duas delas
serao demonstradas no resto do captulo.
A primeira delas, que sera o tema da segunda secao, e a caracterizacao do n-disco suave
de dimensao maior ou igual a seis. Decidiremos, a partir de informacoes topologicas de
uma variedade suave, quando esta e difeomorfa a um n-disco.
A segunda aplicacao, tema da terceira secao e objetivo deste trabalho, e a Conjectura
de Poincare generalizada para dimensao maior ou igual a cinco. Tal conjectura foi enunciada por Poincare para dimensao tres em 1904, foi demonstrada por Stephen Smale em
1961 para dimensao maior ou igual a cinco e este resultado lhe rendeu a medalha Fields.
Mostraremos neste texto a versao apresentada por Milnor que usa teoria de Morse que e
114
o nosso contexto.
8.1
O Teorema do h-Cobordismo
Teorema 8.1.1 (Teorema do h-Cobordismo). Suponha que a trade (W n ; V, V ) possui

as seguintes propriedades:
(1) W , V e V sao simplesmente conexas,
(2) H (W, V ) = 0,
(3) dimW = n 6
Ent
ao W e difeomorfa a V [0, 1].
Proposic
ao 8.1.2. Se Hn1 (X, A) e Hn (X, A) sao finitamente gerados, entao temos que
H n (X, A, Z) tambem o e. Alem disso vale a igualdade:
H n (X, A, Z)
= F Hn (X, A) T Hn1 (X, A)
Observac
ao 8.1.3. A condicao (2) e equivalente a H (W, V ) = 0. De fato,
H (W, V ) = 0 H (W, V ) = 0 (dualidade de Poncare 6.2.1)
H (W, V ) = 0 (Proposicao 8.1.2)
Demonstracao do Teorema 8.1.1. Escolha uma funcao de Morse boa f0 para (W ; V, V ).
Os Teoremas 7.2.1 e 7.2.4 providenciam a eliminacao de pontos crticos de ndices 0 e 1 e,
desta forma, obtemos uma funcao de Morse boa f1 sem pontos crticos de ndices 0 e 1.
A funcao n f1 e uma funcao de Morse onde os pontos crticos de f1 de ndice terao,
em n f1 , ndice n e se x W e tal que f1 (x) = , entao n f1 (x) = n , logo
n f1 e de Morse, boa e nao possui pontos crticos de ndices n e n 1.
Usando novamente os Teoremas 7.2.1 e 7.2.4 encontramos f2 , uma funcao de Morse
boa sem pontos crticos de ndices 0, 1, n 1 e n. Agora o Teorema 7.1.1 nos da a
conclusao.
115
Defini
c
ao 8.1.4. Um cobordismo c entre V e V (W ; V, V ) e um h-cobordismo e V e
dito ser h-cobordante a V se V e V sao deformacoes retrateis de W .
Dada esta definicao segue uma importante consequencia do Teorema 8.1.1.
Teorema 8.1.5. Duas n-variedades suaves fechadas simplesmente conexas com n 5
que s
ao h-cobordantes sao difeomorfas.
Demonstracao. Se V e V sao h-cobordantes, entao existe W tal que V e V sao deformacoes retrateis de W . Como dim V 5 e dim V 5 entao dim W 6. Sendo V
simplesmente conexa e deformacao retratil de W , entao 1 (W ) = 1 (V ) = 0, logo V , V

e W sao simplesmente conexas. Temos tambem que:
H (W, V )
= H (V, V ) (deformacao retratil)
f ({}) = 0
= H
logo a trade (W ; V, V ) esta nas hipoteses do Teorema do h-Cobordismo 8.1.1 e portanto

(W ; V, V ) (V [0, 1]; V {0}, V {1}). Logo V V como queramos.
8.2
Identificando n-Discos
Uma importante aplicacao do Teorema do h-Cobordismo sera apresentada a seguir:

Teorema 8.2.1 (Caracterizacao do n-disco suave com n 6). Suponha que W ne uma
variedade suave, compacta, simplesmente conexa, n 6, com bordo simplesmente conexo.
Ent
ao sao equivalentes:
(1) W n e difeomorfa a D n onde D n denota o n-disco
(2) W n e homeomorfa a D n
(3) W n e contratil
(4) W n tem a homologia de um ponto
116
Demonstracao. :
(1) (2) e evidente.
(2) (3) Se W n e homeomorfa a D n , em particular e homotopicamente equivalente,
mas D n e homotopicamente equivalente a um ponto, logo W n e contratil.
(3) (4) Por definicao de ser contratil, W n e homotopicamente equivalente a um
ponto, logo W n tem a homologia do ponto.
(4) (1) Seja D0 um n-disco suavemente mergulhado em W . Temos que W D0
tem dimensao maior ou igual a seis, W D0 , Bd(D0 ) e V = Bd(W ) sao simplesmente

conexas e
H (W D0 , Bd(D0))
= H (W, D0 ) (excisao)
f (W ) = 0.
= H
Sendo assim, a trade (W D0 ; Bd(D0 ), V ) satisfaz as hipoteses do Teorema 8.1.1, logo
(W D0 ; Bd(D0 ), V ) (Bd(D0 ) [0, 1]; Bd(D0) {0}, Bd(D0) {1}).

Note que o cobordismo (W n ; , V ) e uma composicao de (D0 ; , Bd(D0)) com o cobor
dismo (W D0 ; Bd(D0 ), V ). Pela demonstracao do teorema 2.1.21 notamos que compor
(D0 ; , Bd(D0)) com o (W D0 ; Bd(D0 ), V ) e o mesmo, a menos de isomorfismo, que

compor (D0 ; , Bd(D0)) com (Bd(D0 ) [0, 1]; Bd(D0 ) {0}, Bd(D0) {1}) e esta tem
como trade resultante (D0 , , Bd(D0)), ou seja W n e difeomorfa a D0 .
8.3
e em Dimens
oes Altas
E finalmente demonstraremos a conjectura de Poincare generalizada. Esta e tambem,

em partes, uma aplicacao do Teorema do h-Cobordismo, mais precisamente, segue como
corolario de um teorema um pouco mais geral, que utiliza, em sua prova, a caracterizacao
do n-disco e o Teorema de Reeb 1.2.11 para o caso de dimensao maior ou igual a seis e, em
dimensao cinco, utiliza, alem da caracterizacao do n-disco, um resultado que apresentarei
a seguir sem demonstracao.
117
Teorema 8.3.1. Suponha que M n e uma variedade suave, fechada, simplesmente conexa
com a homologia da n-esfera. Entao, se n = 4, 5 ou 6, M n limita uma variedade suave,
compacta e contratil.
Teorema 8.3.2. Se M n , n 5 e uma variedade suave, fechada, simplesmente conexa com
a homologia da n-esfera S n , entao M n e homeomorfa a S n . Mais ainda, se n = 5 ou 6,
M n e difeomorfa a S n .
Demonstracao. Suponha primeiro que n 6. Se D0 M e um n-disco suave, M D0
satisfaz as condicoes do teorema 8.2.1 pois Bd(M D0 ) = Bd(D0 ) que e simplesmente

conexa.
Hi (M D0 )
= H ni (M D0 , Bd(D0 )) (dualidade de Poincare 6.2.1)
= H ni (M, D0 ) (excisao)
0 se i > 0
=
Z se i = 0.
Consequentemente M D0 e difeomorfa a um disco n-dimensional D1 e assim M =
(M D0 ) D0 D1 D0 .
Tal variedade D1 D0 e chamada esfera torcida. Na demonstracao do Teorema de Reeb
1.2.11 mostramos que esferas torcidas sao homeomorfas a S n e, desta forma, obtemos o
resultado desejado para n 6.
Do Teorema 8.3.1 concluimos que, para n = 5, 6, M n e o bordo de uma variedade N n+1
suave, compacta e contratil. Entao, pelo teorema 8.2.1 temos que N n+1 e difeomorfa a
D n , logo M n e difeomorfa a S n .
Corol
ario 8.3.3 (Conjectura de Poincare Generalizada). Se uma variedade fechada,
suave M n , n 5 e uma n-esfera homotopica, entao M n e homeomorfa a S n .
118
Ap
endice A
Ap
endice
A.1
Algumas Considerac
oes em Equac
oes
Diferenciais Ordin
arias
O proximo teorema e um resultado basico para resolucao de EDOs.

Teorema A.1.1. (Teorema de Picard) Sejam f : U Rn uma aplicacao contnua no
aberto U Rn+1 , (t0 , x0 ) U um ponto e a > 0, b > 0 tais que Ra,b = Ia Bb U. Se
f (t, x) e lipschitziana no retangulo Ra,b entao existe uma u
nica solucao do problema de
valor inicial
x = f (t, x)
x(t ) = x
0
0
definida no intervalo fechado [t0 , t0 + ] onde > 0 e dado por = min{a, Mb }, com
M > 0 uma cota superior qualquer de kf (t, x)k no retangulo Ra,b .
Se f (t, x) = f (x) independe de t e e de classe C 1 entao temos o seguinte resultado
Teorema A.1.2. Se o campo f : E Rn e de classe C 1 , no aberto E Rn entao, dados
t0 R e x0 E quaisquer, existe uma u
nica solucao do problema de valor inicial
x = f (x)
x(t ) = x
0
definida num intervalo aberto (t0 , t0 + ), para certo = (t0 , x0 ) > 0.

119
Defini
c
ao A.1.3. Um grupo de difeomorfismos a 1-parametro de uma variedade M e
uma aplicacao C
:RM M
tal que:
para cada t R a aplicacao t : M M definida por t (q) = (t, q) e um
difeomorfismo de M em M.
para todo t, s R temos t+s = t s .
Dado um grupo de difeomorfismos a 1-parametro de M definimos uma campo de vetores
X em M como segue. Para toda funcao suave a valores reais f seja
f (h (q)) f (q)
.
h0
h
Xq (f ) = lim
Este campo de vetores e dito gerado pelo grupo .

Proposic
ao A.1.4. O fluxo : R E Rn de um campo f : E Rn de classe C 1 e
uma aplicacao C 1 que satisfaz a equacao
(t, x) = f ((t, x))

t
e e um grupo de difeomorfismos a 1-parametro de Rn .
Proposic
ao A.1.5. Um campo de vetores suave em M que se anula fora de um compacto
K M gera um u
nico grupo de difeomorfismos a 1-parametro.
Defini
c
ao A.1.6. Dizemos que x0 E e uma singularidade do campo f se f (x0 ) = 0
Rn .
A.2
A.2.1
Algumas Considerac
oes em Topologia
Homologia
Defini
c
ao A.2.1. Um grupo graduado e uma colecao de grupos abelianos Ci indexados
pelos inteiros.
120
Defini
c
ao A.2.2. Um complexo de cadeias e um grupo graduado {Ci} junto com uma
sequencia de homomorfismos : Ci Ci1 tais que 2 : Ci Ci2 e zero. O operados
e chamado um operador de bordo.
Defini
c
ao A.2.3. Se C = ({Ci }, ) e um complexo de cadeias, entao definimos sua
homologia como sendo o grupo graduado
Hi (C ) =
Ker : Ci Ci1
.
: Ci+1 Ci
Defini
c
ao A.2.4. Se A e B sao complexos de cadeias entao uma aplicacao de cadeias
f : A B e uma colecao de homomorfismos f : Ai Bi tais que f = f .
j
Defini
c
ao A.2.5. Uma sequencia de grupos A B C e denominada exata se
Im(i) = Ker(j).
Teorema A.2.6. Uma sequencia exata curta
j
0 A B C 0
de complexos de cadeia e aplicacoes de cadeias induz uma sequencia exata longa
. . .
Hp (A )
Hp (B ) Hp (C )
Hp (A )
...
onde ([c]) = [i1 j 1 (c)] e este e denominado homomorfismo de conexao.

Defini
c
ao A.2.7. O p-simplexo standard e p = {x =
onde {e0 , . . . , ep } e a base canonica de Rp .
Pp
i=0
i ei ;
i = 1, 0 i 1}
Defini
c
ao A.2.8. Dados pontos vo , . . . , vn em Rn , o n-simplexo singular afim [vo , . . . , vn ]
e definido pela aplicacao
n Rn
X
X
i ei 7
i vi .
i
Defini
c
ao A.2.9. O simplexo singular afim [v0 , . . . , ei , . . . , ep ] : p1 p e denominado
a i-esima aplicacao de face e e denotada por Fip .
Defini
c
ao A.2.10. Se X e um espaco topologico entao um p-simplexo singular de X e
uma aplicacao p : p X. O grupo de p-cadeias singular ou p-cadeias p (X) e um
grupo abeliano livre.
121
Defini
c
ao A.2.11. Se : p X e um p-simplexo singular, entao a i-esima face de
P
P
e (i) = Fip . O bordo de e p = pi=0 (1)i (i) , uma (p 1)-cadeia. Se c = n
P
P
e uma p-cadeia, entao p c = p ( n ) = n p . Isto e, p e estendido a p (X)
como sendo o homomorfismo p : p (X) p1 (X).
Proposic
ao A.2.12. A composicao p p+1 = 0.
Disto segue que (X) = ({i (X)}, ) e um complexo de cadeias e Hi ( (X)) e uma
homologia definida como homologia singular.
Defini
c
ao A.2.13. Seja A X um par de espacos topologicos. Note que i (A) e um
subgrupo de i (X) e a inclusao e uma aplicacao de cadeias. Seja i (X, A) =
i (X)
.
i (A)
Entao
0 (A) (X) (X, A) 0
e uma sequencia exata de complexos de cadeia e aplicacoes de cadeias. Definimos a
homologia relativa do par (X, A) como sendo Hp (X, A) = Hp ( (X, A)).
Defini
c
ao A.2.14. Seja M m uma variedade diferenciavel. Diz-se que M e orientavel
se M admite uma estrutura diferenciavel {(U , x )} tal que para todo par , com
x (U ) x (U ) = W 6= , a diferencial da mudanca de coordenadas x x1

tem
determinante positivo. Caso contrario diz-se que M e nao orientavel. Se M e orientavel,
a escolha de uma estrutura diferenciavel satisfazendo as condicoes acima e chamada uma
orientac
ao de M e M e, entao, orientada.
Equivalentemente, para cada U , uma orientacao e definida
Se M e orientavel e conexa, entao existem exatamente duas orientacoes em M, uma
oposta a` outra.
Proposic
ao A.2.15. Uma n-variedade M compacta e conexa e orientavel se, e somente
se, Hn (M)
= Z. Neste caso a classe [M] e denominada gerador orientacao.
Se p 0 e um inteiro, entao definimos uma celula de dimensao p (ou p-celula) ep por
um espaco topologico que e homeomorfo a uma bola fechada de dimensao p, e denominamos por e p o bordo de ep .
122
Seja K 0 e denomine por complexo celular 0-dimensional, um conjunto discreto de

pontos (0-celulas). Suponha que K n1 esteja definida e sejam A um conjunto de ndices
e {f }A uma colecao de aplicacoes contnuas f : S n1 K n1 . Tais aplicacoes sao
denominados mapas anexadores.
Defina Y como a uniao disjunta de discos fechados de dimensao n, Dn , e tambem B a
uniao disjunta dos seus bordos, Bd(Dn ), de maneira que a colecao {f } induza a aplicacao
f : B K n1 .
Defina K n , o complexo celular n-dimensional, indutivamente por
K n = K n1 f Y = K n1 Y /
onde x x se x = f (x), com x K n1 e x B Y .
Defini
c
ao A.2.16. Um CW-complexo e a uniao K = n K n munida da topologia fraca,
ou seja, A K e aberta se, e somente se, A K n e aberta para todo n.
Para cada , a aplicacao fe : Dn K tal que fe|S n1 = f e chamada a aplicacao carac-
terstica da celula e en = Im{fe} e a n-celula fechada em K. A aplicacao caracterstica

restrita ao disco aberto e um homeomorfismo sobre sua imagem.
Um subcomplexo em K e uma uniao de celulas fechadas em K que tambem e um

CW-complexo e possui os mesmos mapas anexadores. O subcomplexo K n e denominado
o n-esqueleto de K.
Uma celula com uma orientacao e denotada por < e >. Fixemos um inteiro q 0
representando a dimensao. Suponha que o CW-complexo X possui kq q-celulas, para cada
uma e dada uma orientacao arbitraria: < eq1 >, . . . , < eqkq >.
Defini
c
ao A.2.17. Uma soma formal com coeficientes inteiros destas celulas orientadas e
denominada uma q-cadeia de X e o conjunto destas q-cadeias formam um grupo abeliano
Cq (X).
Seja < eqk > uma q-celula orientada em X (k = 1, 2, . . . , kq ). Uma orientacao < e qk >
para e qk e naturalmente induzida pela orientacao < eqkq > de eqkq .
123
Defini
c
ao A.2.18. O homomorfismo de bordo e definido por
p (< eqk >) = deg(f1 ) < eq1
> + . . . + deg(fkq1 ) < eq1
1
kq1 >
onde fi e o mapa anexador e i = 1, . . . , kq1.
Proposic
ao A.2.19. A composicao q1 q = 0.
Disto segue que C (X) = ({Ci (X)}, ) e um complexo de cadeias e Hi (C (X)) e uma
homologia definida como homologia celular.
Teorema A.2.20. Se X e um CW-complexo entao os grupos de homologia celular e
singular sao isomorfos.
Proposic
ao A.2.21. Se duas aplicacoes contnuas f, g : X Y sao homotopicas, entao
as aplicacoes induzidas nos respectivos grupos de homologia f , g : Hq (X) Hq (Y ) sao
iguais para todo q.
A.2.2
CW-complexos
Mostraremos aqui que se M e uma variedade compacta e existe uma funcao de Morse
definida em M, entao M tem o mesmo tipo de homotopia de um determinado CWcomplexo.
Defini
c
ao A.2.22. Uma aplicacao f : K L entre CW-complexos e dita ser celular se
f (K n ) Ln para todo n.
Teorema A.2.23 (Teorema da Aproximac
ao Celular). Toda aplicacao f : X Y
entre CW-complexos e homotopica a uma aplicacao celular.
Lema A.2.24. Sejam 0 e 1 aplicacoes homotopicas da esfera e em X. Entao a
aplicac
ao identidade de X se estende à equivalencia homotopica
k : X 0 e X 1 e .
Demonstracao. Seja t a homotopia entre 0 e 1 .
124
Sejam u um vetor unitario e t [0, 1]. Note que, para todo em e existem u
nicos u
e t tais que = tu e, se t = 1 temos que u = e .
Defina k da seguinte maneira:
k(x) = x
se x X
k(tu) = 2tu
se 0 t 12
1
k(tu) =
22t (u) se 2 t 1
Seja l : X 1 e X 0 e definida da seguinte forma:
l(x) = x
se x X
l(tu) = 2tu
se 0 t 12
1
k(tu) =
2t1 (u) se 2 t 1
Provaremos que kl e lk sao homotopicas à identidade. Primeiro verifiquemos como

estao definidas estas aplicacoes:
kl(x) = x
kl(tu) = 4tu
kl(tu) = 24t (u)
kl(tu) =
2t1 (u)
lk(x) = x
lk(tu) = 4tu
lk(tu) = 4t1 (u)
lk(tu) =
22t (u)
se x X
se 0 t
se
1
4
se
1
2
se 0 t
1
4
se
1
2
1
2
t1
se x X
se
1
4
1
4
1
2
t1
A homotopia H1 : I X 1 e X 1 e que leva kl na identidade e definida abaixo:
H1 (s, y)
H (s, tu) = (3s + 1)tu

1
H1 (s, tu) = (1 s)tu + s 24t (u)
H (s, tu) = (1 s)tu + s

1
2t1 (u)
125
se y X
se 0 t
se
1
4
se
1
2
1
4
1
2
t1
e a homotopia H2 : I X 0 e X 0 e que leva lk na identidade e definida abaixo:
H2 (s, y)
se y X
H (s, tu) = (3s + 1)tu

se 0 t 41
2
H2 (s, tu) = (1 s)tu + s 4t1 (u) se 41 t 12
1
H (s, tu) = (1 s)tu + s
2
22t (u) se 2 t 1
Com estas aplicacoes definidas segue o resultado.
Lema A.2.25. Seja : e X um mapa anexador. Qualquer equivalencia homotopica

f : X Y se estende a uma equivalencia homotopica
F : X e Y f e .
Demonstracao. Defina F pelas condicoes:
f (x) se x X
F (x) =
x
se x e
Queremos mostrar que F e uma equivalencia homotopica. Ora, f e equivalencia
homotopica, entao existe g : Y X sua inversa homotopica. Definimos G : Y f e

X gf e por:
g(x) se x Y
G(x) =
x
se x e
Como gf e homotopico à identidade, entao gf : e X e homotopico à .

Assim, pelo Lema A.2.24, sabemos que existe uma equivalencia homotopica K : X gf
e X e .
Primeiramente provemos que a composicao
KGF : X e X e
e homotopica à identidade.
Seja ht a homotopia entre gf e a identidade (h0 = gf , h1 = id). Usando as definicoes
de K , G e F , notemos que KGF e definida por:
126
KGF (x) = gf (x)

se x X
KGF (tu) = 2tu

se 0 t 12 , u e
1
KGF (tu) = h
22t ((u)) se 2 t 1, u e
Definimos a homotopia q : X e X e por:
q (x) = h (x)
se x X
2
tu
se 0 t 1+
, u e
q (tu) = 1+
2
1+
q (tu) = h
t 1, u e
22t+ (u) se
2
Notemos que q0 = KGF e q1 = id mostrando assim que KGF e homotopica à identidade. Ora, entao F tem inversa homotopica à esquerda.
Afirma
c
ao: Se a aplicacao F tem uma inversa homotopica L à esquerda e uma inversa
homot
opica R à direita, entao F e uma equivalencia homotopica.
Supondo provada a afirmacao notemos que a relacao KGF id afirma que F tem
uma inversa homotopica à esquerda. Uma prova similar mostra que G tem uma inversa
homotopica à esquerda tambem.
Como K(GF ) id e sabemos que K tem inversa à esquerda, segue que (GF )K id.
Mas sabemos que G tem inversa à esquerda tambem, logo (F K)G id. Portanto F
e uma equivalencia homotopica como queramos.
Demonstracao da Afirmacao: As relacoes LF id e F R id implicam que L L(F R) =

(LF )R R, consequentemente RF LF id, o que prova a afirmacao.
Teorema A.2.26. Se f e uma funcao diferenciavel em uma variedade M compacta cujos

pontos crticos sao todos nao-degenerados, entao M tem o mesmo tipo de homotopia de
um CW-complexo, com uma celula de dimensao para cada ponto crtico de ndice .
127
Demonstracao. A prova deste teorema se da por inducao.

Sejam c1 < c2 < . . . < cn os valores crticos de f : M R e sejam a0 , a1 , . . . , an1 R
tais que a0 < c1 < a1 < c2 < . . . < an1 < cn . Sendo c1 o menor valor crtico, temos que
M a0 = .
Pela Proposicao 1.2.8, M a1 e difeomorfa à uniao finita de discos D n , mas esta uniao ,
pela Observacao 1.2.6, e homotopicamente equivalente à uniao finita de pontos que, por
definicao, e um CW-complexo. Assim podemos dizer que M a1 possui o mesmo tipo de
homotopia de um CW-complexo.
Suponha que M ai1 para algum i = 2, 3, . . . , n e homotopicamente equivalente a um
CW-complexo K e h : M ai1 K e a equivalencia homotopica. Sabemos, pelo Corolario
1.2.7, que M ci + tem o mesmo tipo de homotopia de M ci 1 e1 . . . j(ci ) ej(ci ) para

certas aplicacoes 1 , . . . , j(ci) onde e suficientemente pequeno e, pela Proposicao 1.2.1,
que existe h : M ci M ai1 uma equivalencia homotopica.
Para cada h h j : e j K temos que, pelo Teorema da Aproximacao Celular
A.2.23, existe j : e j K homotopico a h h j , onde j e uma aplicacao celular.
Desta forma j (e j ) K (j 1) onde este u

ltimo e o (j 1)- esqueleto de K. logo
1
j(c)
j : e j K (j 1) e K 1 e . . . j(c) e
e um CW-complexo ja que j e um mapa
anexador.
Ora, pelo Lema A.2.25, M ci 1 e1 . . . j(ci ) ej(ci ) e homotopicamente equivalente
a K h h1 e1 . . . h hj(ci ) ej(ci ) e , pelo Lema A.2.24, este e homotopicamente

equivalente a K 1 e1 . . . j(ci ) ej(ci ) .
Sendo assim, M ci + possui o mesmo tipo de homotopia de um CW-complexo provando

assim o teorema, ja que M e compacto e portanto e homotopicamente equivalente a
M cn + .
A.2.3
Fibrados
Defini
c
ao A.2.27. Seja K um grupo topologico agindo efetivamente em um espaco de
Hausdorff F como um grupo de homeomorfismos. Sejam X e B espacos de Hausdorff.
128
Por um fibrado sobre a base B, com espaco total X, fibra F e grupo estrutural K,
queremos dizer uma projecao p : X B junto com uma colecao de trivializacoes
: U F p1 (U), de p sobre U, chamadas cartas sobre U, tais que:
1. Cada ponto de B tem uma vizinhanca sobre a qual existe uma carta em
2. Se : U F p1 (U) pertence a e V U, entao |V F
3. Se , sao cartas sobre U entao existe : U K tal que (u, y) = (u, (u)y)
4. O conjunto e maximal dentre colecoes satisfazendo as condicoes acima.
Defini
c
ao A.2.28. Um fibrado vetorial e um fibrado onde a fibra e um espaco euclidiano
e o grupo estrutural e o grupo linear deste espaco euclidiano ou algum subgrupo deste.
Defini
c
ao A.2.29. Por secao do fibrado e uma aplicacao contnua f : B X tal que
p f (x) = x para todo x X.
Defini
c
ao A.2.30. Um fibrado e dito ser trivial se o espaco total X e difeomorfo a B F .
Defini
c
ao A.2.31. Um espaco topologico e dito ser contratil se e homotopicamente
equivalente a um ponto.
Teorema A.2.32. Se B e um espaco de Hausdorff contratil entao um fibrado sobre B e
trivial.
Defini
c
ao A.2.33. Denotando por X0 a secao-nula definimos o isomorfismo de Thom
como sendo a composicao de dois isomorfismos
Hk+n (X, X0 ) Hk (X) Hk (B).
Defini
c
ao A.2.34. Um k-referencial e um conjunto ortonormal de k vetores em um
espaco n-dimensional.
Defini
c
ao A.2.35. Definimos a variedade de Stiefel e denotamos por Vn,k a variedade
dos k-referenciais em um espaco n-dimensional. Vn,k
= O(n)/O(n k) onde O(n) e o
espaco das matrizes n n ortogonais.
Proposic
ao A.2.36. A variedade de Stiefel Vn,k e conexa por caminhos e i (Vn,k ) = 1
para i < n k.
Desta proposicao segue que se s 3, entao 1 (Vn,k ) = 1.
129
A.2.4
Teorema de Van Kampen
Seja {G ; S} uma colecao disjunta de grupos. Entao o produto livre destes grupos
e denotado por G = {G ; S} (ou G1 G2 . . .). Este produto e definido como o
conjunto de palavras reduzidas w = x1 x2 . . . xn onde xi G para algum , xi 6= 1 para
todo i e letras adjacentes pertencem a diferentes G s. a operacao em G e a justaposicao
e entao reducao (depois da justaposicao, a u
ltima letra da primeira palavra pode estar
no mesmo grupo da primeira letra da segunda palavra, entao podem ser combinadas). O
elemento unitario e a palavra vazia denotada por 1.
Suponha agora que sao dados os grupos G1 , G2 e A e homomorfismos 1 : A G1 e
1 2 : A G2 . Entao definimos o produto livre com amalgamacao G1 A G2 como
G1 G2
N
onde N e o subgrupo normal gerado pelas palavras 1 (a)2 (a)1 para a A.

Existe um diagrama comutativo:
> G1 JJJ
JJ
~~
~
JJ
~
~
JJJ
~
$
~~
/ G1
A@
:
@@
tt
@@
tt
t
@@
ttt
2
@
tt
1
A G2
G2
Teorema A.2.37 (Van Kampen). Seja X = U V com U, V e U V todos abertos,

n
ao vazios e conexos por caminho. Tome o ponto base de todos eles como algum ponto
x0 U V . Entao as aplicacoes canonicas de 1 (U), 1 (V ) e 1 (U V ) em 1 (X) induzem
um isomorfismo : 1 (U) 1 (U V ) 1 (V ) 1 (X) e o diagrama abaixo comuta
1 (U) TT
9
rrr
r
r
rr
rrr
1
1 (U V )
LLL
LLL
L
2 LLL%
1 (V )
TTTT
TTTT
TTTT
TTT)
/ 1 (U) (U V )
1
jjj5
j
j
j
jjj
jjjj
j
j
j
j
1 (V )
= 1 (X)
Equivalentemente podemos enunciar o Teorema de Van Kampen do seguinte modo:

Teorema A.2.38 (Van Kampen). Seja H um grupo qualquer e 1 , 2 , 3 tres homomor130
fismos quaisquer tais que o diagrama a seguir comuta

1 (U)
8
rrr
r
r
rr
rrr
DD
DD 1
DD
DD
D"
/H
<
z
zz
z
z
zz
zz 2
1 (U V )
LLL
LLL
L
2 LLL
&
1 (V )
Ent
ao existe um u
nico homomorfismo : 1 (X) H tal que os seguintes 3 diagramas
comutam:
1 (X)
u:
uu
u
u
uu
uu
1
1 (U)
1 (X)
u:
uu
u
u
uu
uu
1 (X)
JJ
JJ
JJ
1 JJJ
J$
8
rrr
r
r
rr
rrr
3
1 (V )
1 (U V )
JJ
JJ
JJ
2 JJJ
J$
MMM
MMM
3 MMM
MM&
Onde X = U V e 1 , 2 , 3 , 1 , 2 , 3 sao induzidos pela inclusao.

Corol
ario A.2.39. Se U V e simplesmente conexo, entao 1 (X)
= 1 (U) 1 (V ).
Corol
ario A.2.40. Se V e simplesmente conexo, entao 1 (X)
=
1 (U )
N
onde N e o
subgrupo normal de 1 (U) gerado pela imagem de 1 (U V ).

Corol
ario A.2.41. Se 2 for um isomorfismo e 1 for sobrejetiva entao 1 e um isomorfismo.
Demonstracao. Tome H = 1 (U), 1 = id e 2 = 1 1 1
2 .
facil ver que o primeiro diagrama comuta.
E
Assim, existe um u
nico homomorfismo : 1 (X) 1 (U) tal que o diagrama abaixo
comuta:
1 (X)
u:
uu
u
u
uu
uu
1
1 (U)
II
II
II
1 III
$
1 (U)
131
Ora, temos entao que 1 = id. Como id e um isomorfismo concluimos desta composta que 1 e injetiva e e sobrejetiva. Como, por hipotese, 1 e sobrejetiva conclumos
que esta e um isomorfismo mostrando o resultado.
A.2.5
C r -proximidade e C r -continuidade
Sejam M e N variedades de classe C r . Denotemos por C r (M, N) = {f : M N; f e C r }

com 0 r < .
Defini
c
ao A.2.42. Seja f C r (M, N), uma vizinhanca fraca basica de f e da forma
r
N := NW
(f ; (; U); (; V ); K; ) onde os parametros sao (; U) uma carta de M, (; V )
uma carta de N, K U um compacto tal que f (K) V e > 0 um n

umero real. Os
elementos de N sao as funcoes g : M N de classe C r tal que g(K) V e para todo
x (K) e j = 0, . . . , r temos que:
kD j ( f 1 )(x) D j ( g 1 )(x)k < .
Neste caso dizemos que f e g estao C r --proximas.
r
Defini
c
ao A.2.43. CW
(M, N) e o conjunto C r (M, N) munido com a topologia fraca,
isto e, a topologia gerada pelas vizinhancas fracas basicas.

Defini
c
ao A.2.44. Dizemos que f e C r -contnua em x0 se dado > 0 existe > 0 tal que
se kx x0 k < entao kD j ( f 1 )(x0 ) D j ( f 1 )(x)k < para j = 0, 1, . . . , r.
A.2.6
Func
ao Bump e Partic
ao da Unidade
Proposic
ao A.2.45. Existe uma aplicacao C : Rn [0, 1] com as seguintes propriedades: Dados b > a > 0
1. (x) = 1 se |x| a,
2. 1 > (x) > 0 se a < |x| < b,
132
3. (x) = 0 se |x| b.
Tal aplicacao e denominada funcao bump.
Seja M uma variedade diferenciavel. Uma famlia de abertos V M com
V = M
e localmente finita se todo ponto p M possui uma vizinhanca U tal que U V 6=

apenas para um n
umero finito de ndices. O suporte de uma funcao f : M R e o fecho
do conjunto de pontos onde f e diferente de zero.
Defini
c
ao A.2.46. Dizemos que uma famlia {f } de funcoes diferenciaveis f : M R
e uma particao da unidade se:
1. Para todo , f 0 e o suporte de f esta contido em uma vizinhanca coordenada
V = x (U ) de uma estrutura diferenciavel {(U , x )} de M
2. A famlia {V } e localmente finita
3.
f (p) = 1, para todo p M.
Teorema A.2.47. Uma variedade diferenciavel M possui uma particao da unidade se, e
s
o se, toda componente conexa de M e de Hausdorff e tem base enumeravel.
133
Refer
encias Bibliogr
aficas
[1] Bredon G. E., Topology and Geometry, Graduate Text in mathematics; 139, Springer,
1993.
[2] Doering C. I., Lopes A. O., Equacoes Diferenciais Ordinarias, Colecao Matematica
Universitaria , Instituto de Matematica Pura e Aplicada, 2007.
[3] Hatcher A., Algebraic Topology, Cambridge University Press , 2002.
[4] Hirsch M. W., Differential Topology, Graduate Text in mathematics; 33, SpringerVerlag , 1976.
[5] Lima E. L., Grupo Fundamental e Espacos de Recobrimento, Projeto Euclides , Instituto de Matematica Pura e Aplicada, 2006.
[6] Lima E. L., Variedades Diferenciaveis, Publicacoes Matematicas , Instituto de
Matematica Pura e Aplicada, 2007.
[7] Lima E. L., Curso de Analise vol. 2, Projeto Euclides , Instituto de Matematica Pura
e Aplicada, 2005.
[8] Kosinski A. A.,Differential Manifolds, Academy Pres, 1993.
[9] do Carmo M. P., Geometria Riemanniana, Projeto Euclides, Instituto de Matematica
Pura e Aplicada, 2008.
[10] Matsumoto Y., An Introduction to Morse Theory, Translations of Mathematical
Monographs vol 208 , American Mathematical Society, 2002.
134
[11] Milnor J., Stasheff J. D.,Characteristic Classes, Annals of Mathematics Studies Number 76, Princeton University Pres, 1974.
[12] Milnor J., Lectures on the h-Cobordism Theorem, Princeton University Pres, 1965.
[13] Milnor J., Manifolds Homeomorphic to the 7-Sphere, The Annals of Mathematics, 64
(1956), pp. 399-405.
[14] Milnor J., Morse Theory, Annals of Mathematics Studies Number 51 , Princeton
University Pres, 1963.
[15] Milnor J., Differential topology; lectures by John Milnor, Princeton University Pres,
Fall term 1958. Notes by James Munkres.
[16] Munkres J. R., Elementary Differential Topology, Annals of Mathematics Studies
Number 54, Princeton University Pres, 1966.
[17] Nicolaescu L. I., An Invitation to Morse Theory, Universitext, Springer, 2007.
[18] Smale S., Generalized Poincares Conjecture in Dimension Greater than Four, The
Annals of Mathematics, 74 (1961), pp. 391-406.
[19] Spanier E. H., Algebraic Topology, Springer, 1966.
[20] Steenrod N., The Topology of Fibre Bundles, Princeton University Pres, 1951.
[21] Tausk D. V., Mercuri F., Piccione P., Notes on Morse Theory, Publicacoes
Matematicas , Instituto de Matematica Pura e Aplicada, 2001.
135

A Conjectura de Poincare em Dimensoes Altas

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

A Conjectura de Poincare em Dimensoes Altas

Enviado por

Direitos autorais:

Formatos disponíveis

A Conjectura de Poincar

Tatiana Fernandes Sodero

Dissertacao de Mestrado apresentada ao

Orientador: Alexander Eduardo Arbieto Mendoza

Tatiana Fernandes Sodero

Dissertacao de Mestrado submetida ao Programa de Pos-graduacao do Instituto de

Presidente, Prof. Alexander Eduardo Arbieto Mendoza - IM/UFRJ

Prof. Leonardo Macarini - IM/UFRJ

Prof. Paul Alexander Schweitzer - PUC/RJ

Profa. Walcy Santos - IM/UFRJ

Agradeco ao meu orientador, Professor Alexander Eduardo Arbieto Mendoza, por

Sodero, Tatiana Fernandes.