GEOMETRIA E TOPOLOGIA

JOS

E R

EGIS AZEVEDO VAR

AO FILHO
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sumario
1 Introducao 3
2 Teoria Preliminar 4
2.1 Calculo Diferencial em R
n
. . . . . . . . . . . . . . . . . . . 4
2.2 Fun coes Holomorfas . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Equacoes Diferenciais . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Derivacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5 Geometria Riemanniana em Abertos de R
n
. . . . . . . . . . 15
2.6 Formas Diferenciais . . . . . . . . . . . . . . . . . . . . . . . . 18
3 Teoria em Variedades 21
3.1 Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 Espaco tangente . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.3 Subvariedade . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.5 Valor Regular . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.6 Variedade com bordo . . . . . . . . . . . . . . . . . . . . . . . 31
3.7 Orientacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.7.1 Recobrimento Duplo Orientavel . . . . . . . . . . . . . 36
3.8 Particoes da Unidade . . . . . . . . . . . . . . . . . . . . . . . 38
3.8.1 Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.9 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.10 Assuntos Diversos . . . . . . . . . . . . . . . . . . . . . . . . 45
4 Fibrados 48
4.1 Fibrado Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2 Fibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3 Fibrado dos k-jatos . . . . . . . . . . . . . . . . . . . . . . . . 56
1
5 Espaco de Funcoes e Transversalidade 58
5.1 Topologia C
r
de Whitney . . . . . . . . . . . . . . . . . . . . 58
5.2 Densidade de Funcoes Suaves . . . . . . . . . . . . . . . . . . 63
5.3 Imersoes e Mergulhos . . . . . . . . . . . . . . . . . . . . . . . 65
6 Teorema Colar e Teoria de Morse 69
6.1 Vizinhanca Tubular e Teorema Colar . . . . . . . . . . . . . . 69
6.2 Campos Gradiente . . . . . . . . . . . . . . . . . . . . . . . . 70
6.3 Fun coes de Morse . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.4 Teoria de Morse . . . . . . . . . . . . . . . . . . . . . . . . . . 73
7 Teoria do grau 77
7.1 Homotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7.1.1 Aplicacao: Variedades Topologica . . . . . . . . . . . . 81
7.2 Fun coes Proprias . . . . . . . . . . . . . . . . . . . . . . . . . 81
8 Teoria de Intersecao 83
8.1

Indice de Campos e Caracterstica de Euler . . . . . . . . . . 84
8.1.1 Calculo da Caracterstica de Euler . . . . . . . . . . . 86
8.2 Teoria de Ponto Fixo . . . . . . . . . . . . . . . . . . . . . . . 88
9 Teorema de Hopf 91
10 Cohomologia de De Rahn 95
A Geometria Hiperbolica e Recobrimento Universal de Superfcies100
A.1 Recobrimento de Variedades . . . . . . . . . . . . . . . . . . . 100
A.2 Enunciados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
A.3 Geometria Hiperbolica . . . . . . . . . . . . . . . . . . . . . . 102
2
1 Introducao
Este trabalho tem por objetivo dar uma visao geometrica dos conceitos da
topologia diferencial. As escolhas dos temas aqui tratados, assim como parte
da ordenacao, foram uma sugestao do professor Welington de Melo.
Na secao Teoria Preliminar apresentamos alguns resultados basicos
da analise no R
n
, por isso mesmo nem todos os resultados serao provados.
Entretanto, os conceitos novos serao tratados com mais detalhes, como por
exemplo o conceito de derivac ao em (2.4). A proxima secao, Teoria em
Variedades, inicia com uma motiva cao sobre o porque de se estudar vari-
edades: sao objetos naturais de se trabalhar. Sao dados alguns exemplos e
tecnicas para se criar variedades (Valor Regular). O fato de se andar sobre
a Faixa de Mobius e retornar do lado oposto ao que se iniciou e uma carac-
terstica da Faixa de Mobius que esta associado ao conceito de orientacao
discutido em (3.7). O recobrimento duplo orientavel sera a maneira usada
para tratar as variedades nao-orientaveis. Dado que trabalhamos sempre
localmente, pare se fazer extensoes precisaremos das Partic oes da Unidade.
Damos sequencia com Fibrados. Um Fibrado Vetorial muito natural
e que sera devidamente apresentado e o brado tangente. Extendemos a
denicao de brado vetorial e terminamos com o brado dos k-jatos.
Introduzimos uma topologia (de Whitney) no espaco das funcoes na
sec ao Espaco de Funcoes e Transversalidade. Dizer que dois obje-
tos estao em posicao geral e formalizado com a nocao de transversalidade.
Tambem falamos de aproximacoes por funcoes suaves na topologia de Whit-
ney. Em Imersoes e Mergulhos aprofudamos o estudo desses dois conceitos.
O Teorema da Vizinhanca Tubular visto em Teorema Colar e Teoria
de Morse aumenta o nosso conhecimento geometrico sobre as variedades.
Aprendemos tambem com o auxlio do Teorema Colar a grudar variedades
(soma conexa). A Teoria de Morse permite obter informacoes da variedade
por meio de certas funcoes (de Morse).
As duas proximas secoes estao focadas no estudo de invariantes to-
pologicos (e.g. caracterstica de Euler) cujo estudo iniciado em Teoria do
Grau tem sua generalizacao com a Teoria de Intersecao.
O Teorema de Hopf fornece uma condicao para estender uma funcao
com imagem na esfera denida sobre o bordo de uma variedade N para toda
a variedade N. Como aplicacao mostramos que toda variedade compacta
com caracterstica de Euler zero possui um campo de vetores suave nao nulo.
Aprofundamos o estudo das formas diferenciais em Cohomologia de
De Rahn, dentre outras coisas fazemos um paralelo entre a teoria de grau
e as formas diferenciais.
No apendice falamos brevemente sobre as superfcies de Riemann, em
particular o disco hiperbolico.
3
2 Teoria Preliminar
Nesta secao desenvolvemos os conceitos no espaco euclidiano e posteriomente
os faremos em variedades. Iniciamos com o calculo diferencial.
2.1 Calculo Diferencial em R
n
C
r
. Regra da cadeia. Formula de Taylor.
Seja | R
n
um aberto e f : | R
m
uma funcao. Dizemos que f e
diferenciavel no ponto x | se existe uma tranformacao linear L : R
n
R
m
tal que para h R
n
pequeno o suciente para que x +h | tenhamos
f(x +h) = f(x) +Ly +r
x
(y)
satisfazendo,
lim
y0
[[r
x
(y)[[
[[y[[
= 0
A norma considerada e a norma euclidiana de R
k
.
[[x[[ =

x
2
1
+. . . +x
2
k
onde x = (x
1
, . . . , x
k
) R
k
.
Conseq uentemente
Th = lim
t0
f(x +th) f(x)
t
e isso implica a unicidade da transformacao T. Em geral denotaremos T
por df(x) , f

(x) ou Df(x).
Denotamos por L(R
n
, R
m
) ao espaco vetorial das transformacoes lineares
de R
n
em R
m
. Podemos munir L(R
n
, R
m
) de uma norma da seguinte forma
[[A[[ = sup
[[Av[[
[[v[[
; v R
n
A L(R
n
, R
m
)
Nos conceitos acima nao e relevante o fato de estarmos trabalhando com
os espacos euclidianos, poderiamos considerar funcoes denidas apenas em
espacos vetorias de dimensao nita
1
. Isso nos permitira falar de derivadas
de ordem superior.
Considere f : | R
n
R
m
diferenciavel em |. Dizemos que f e duas
vezes diferenciavel no ponto x | se a funcao
f

: | L(R
n
, R
m
)
1
Seria possvel considerar em espacos de Banach com algumas ressalvas. Ao falar da
derivada teriamos que pedir que a transformacao linear fosse limitada (no sentido da
analise funcional).
4
e diferenciavel no ponto x.
Analogamente, dieremos que f e duas vezes diferenciavel no ponto x |
se
f

: | L(R
n
, L(R
n
, R
m
))
for diferenciavel em x.
Observamos que faremos as identicacoes de L(R
n
, L(R
n
, R
m
)) com
L
2
(R
n
, R
m
) que e o conjuntos das transformacoes bilineares de R
n
R
n
em
R
m
. Assim como identicaremos L(R
n
, L(R
n
, L(R
n
, R
m
))) com o conjunto
L
3
(R
n
, R
m
) das transformacoes trilineares, e assim por diante.
Indutivamente, dizemos que f e k vezes diferenciavel em x | se f for
k 1 diferenciavel em x e
f
(k)
: | L
k
(R
n
, R
m
)
for diferenciavel em x.
Dizemos que f e uma funcao de classe C
1
se f

: U L(R
n
, R
m
) for
uma funcao contnua. E f e de classe C
2
em | se f

: | L(R
n
, R
m
) for
C
1
em |. Indutivamente, dizemos que uma funcao e de classe C
k
se f
(i1)
for de classe C
1
. E dizemos que f e C

ou suave se for C
k
para todo k N.
Sejam f : | R
m
, g : 1 R
k
funcoes diferenciaveis em x e f(x)
respectivamente entao vale a propriedade conhecida como regra da cadeia
D(g f)(x) = Dg(f(x)).Df(x)
Denicao 2.1. Dado um subconjunto arbitrario X R
m
, dizemos que uma
funcao f : X R
n
e de classe C
k
para k 1, 2, . . . quando f se estende
localmente a uma funcao de classe C
k
Observamos que na denicao nao estamos falando sobre funcoes contnuas
e o motivo e que e possvel ter funcoes contnuas que nao se estendem local-
mente a funcoes contnua. Considere X = (x, y) R
2
; x ,= 0 (0, 0).
Considere a funcao contnua f : X R, denida por f(x, y) = y sin(
1
x
) se
x ,= 0 e f(0, 0) = 0 nao se estende localmente em classe C
0
, pois nao admite
extensao contnua em nenhuma vizinhanca da origem.
Teorema 2.2. Seja M R
m+r
uma superfcie de dimensao m. Toda
aplicacao f : M R
n
de classe C
k
se estende globalmente em classe C
k
.
Demonstracao. Considere uma vizinhanca tubular de M. Seja como no
Teorema 6.3. Basta tomarmos a funcao
F : V

(M) R
n
x f (x)
Sendo F a extensao procurada.
5
Teorema 2.3 (Formula de Taylor). Seja | R
n
aberto. Se f e k-vezes
diferenciavel em | e existe x
0
| tal que f(k + 1)(x
0
) existe entao para
todo h R
n
pequeno tal que x
0
+h esteja em | temos
f(x
0
+h) = f(x
0
) +f

(x
0
)h +. . . +
1
(k + 1)!
f
(k+1)
(x
0
).(h)
k+1
+r(h)
onde o resto r(h) satisfaz
lim
h0
r(h)
[h[
s+1
Teorema 2.4 (Teorema da funcao inversa). Sejam | R
n
aberto e f : |
R
n
de classe C
k
em | (1 k ). Se Df(x
0
) e um isomorsmo, com x
0

|, entao existem vizinhancas, 1
x
0
e 1
f(x
0
)
, de x
0
e f(x
0
) respectivamente,
tais que a funcao f restrita a 1
x
0
e um difeomorsmo de classe C
k
sobre
1
f(x
0
)
.
Teorema 2.5 (Forma local das imersoes). Sejam | R
m
aberto e f : |
R
m
R
n
de classe C
k
(1 k ). Se x
0
| e tal que Df(x
0
) e injetiva,
entao existem vizinhancas 1
f(x
0
)
R
m
R
n
, J
x
0
R
m
, Z
0
R
n
de
f(x
0
), x
0
e 0 respectivamente e um difeomorsmo
h : 1
f(x
0
)
J
x
0
Z
0
tal que
h f(x) = (x, 0)
para todo x J
x
0
.
Teorema 2.6 (Forma local das submersoes). Sejam | R
m
R
n
aberto e
f : | R
m
de classe C
k
(1 k ). Se z
0
= (x
0
, y
0
) R
m
R
n
e tal
que Df(z
0
) restrita ao subspaco R
m
0 e um isomorsmo entao existem
vizinhancas 1
f(z
0
)
R
m
,
y
0
R
n
e Z
z
0
R
m
R
n
de f(z
0
), x
0
e z
0
respectivamente, e um difeomorsmo
h : W
f(z
0
)

y
0
Z
z
0
tal que
f h(w, y) = w
para todo (w, y) W
f(z
0
)

y
0
Bump-function.
Faremos agora a construcaos das funcoes conhecidas genericamente como
bump-function. Primeiramente vejamos que podemos denir uma funcao
: R
m
R suave tal que 0 (x) 1 para todo x e mais [
B[1]
= 1 ,
(x) = 0 se x / B[2] e quando 1 < [x[ < 2 tem-se 0 < (x) < 1.
6
Para a construcao da funcao faremos uma exposicao sem gracos, no
entanto sugerimos que o leitor faca o graco de cada funcao para obter a
intui cao por tras das contas.

E sabido dos cursos basicos de analise que a
funcao
: R R
(t) = 0 se t 0
(t) = exp(1/t) se t > 0
e uma funcao suave. Denimos agora : R R colocando (t) = (t +
2).(1 t) para todo t R. Claro que tambem e suave. Seja b =

(t)dt =

1
2
(t)dt. Denamos agora a seguinte funcao : R R
suave, denida por (t) = (t)/b se t 0 e (t) = (t)/b se t > 0. Seja
: R R uma funcao suave denida por (t) =

(s)ds =

t
2
(s)ds.
Por m a funcao procurada e denida por
: R
m
R dada por (x) = ([x[)
Sendo constante em torno de zero vemos que de fato e suave.
Uma observacao simples, porem util, e que dado um n unero > 0 e a
funcao acima, se denirmos

(x) = (x) entao modicamos o raio de
atuacao de nossa funcao para tao pequeno ou tao grande quanto quisermos.
Teorema de Sard.
Seja f : | 1, uma funcao diferenciavel, onde | e 1 sao abertos de R
n
e
R
m
respectivamente, entao y 1 e chamado de valor regular se para todo
x f
1
(y) tem-se que Df(x) e sobrejetiva, se y nao for valor regular entao
o chamamos de valor crtico, se x mcU nao possui derivada sobrejetiva
ent ao x e considerado como ponto crtico.
Teorema 2.7 (Teorema de Sard). Seja f : R
n
R
m
uma funcao de classe
C
k
. Se k maxn m + 1, 1, entao a imagem dos pontos crticos de f
possuem medida de Lebesgue nula em R
m
.
Esta e a versao classica do teorema de Sard, porem Bates
2
provou uma
versao um pouco mais renada. No entanto usaremos o teorema apenas no
caso em que f e uma funcao suave, portanto daremos a prova apenas para
este caso. Por conseguinte provaremos a seguinte versao;
Seja U R
n
um aberto e f : U R
p
suave. Entao f(C) tem medida
nula onde C e o conjunto dos pontos crticos de f.
2
S.M.Bates, Toward a Precise Smoothness Hypothesis in Sards Theorem, Proceedings
of the AMS, Vol 117, No 1, 1993.
7
Demonstracao do Teorema de Sard. retangulo solido e S
1
, S
2
, . . . uma co-
bertuda de S entao sabemos que

vol(S
j
) vol(S).
se A U tem medidade zero entao F(A) tem medida zero. De fato,
podemos supor que o feixo de A e compacto e usamos a continuidade da
derivada o que pelo teorema do valor medio nos da uma cota uniforme
extensao entre dois ponto e com isso provamos.Assim, se U R
n
e um
aberto e f : U R
m
suave. Se m > n temos que f(U) tem medida nula em
R
m
.
o teorema enunciado acima a ter que provar o seguinte: Suponha que
U R
n
e f : U R
p
. Seja C o conjunto dos pontos crticos de f entao
f(C) tem medida nula R
p
A prova e feita por inducao.

E valido para n = 0. Suponhamos entao
que seja valido para n1 e provemos que vale para n. Particionamos C em
uma seq uencia C C
1
C
2
. . . sendo C
1
o conjunto de todos os x U
tais que (df)
x
= 0, e C
i
e o conjunto de todos os x tais que as derivadas de
ordem menores ou igual a i somem em x.
O teorema seguira de uma seq uencia de tres lemas.
Lema 2.1. O conjunto f(C C
1
) tem medida nula.
Demonstracao. Seja x C C
1
, basta provar que existe um aberto V tal
que f(V C) tem medida nula.
Como x / C
1
, sem perda de generalidade, suponha que
f
x
1
,= 0. temos
f = (f
1
, . . . , f
p
) e considere a seguinte funcao h denida como,
h : U R
n
h(x) = (f
1
(x), x
2
, . . . , x
n
)
Assim dh
x
e nao singular e pelo teorema da funcao inversa h manda
uma vizinhanca V de x difeomorcamente sobre o aberto V

. Denindo
g := f h
1
: V

R
p
tera os mesmos valores crticos de f restrita a V .
A funcao g e da forma g(t, x
2
, . . . , x
n
) = (t, g
2
, . . . , g
n
). Portanto podemos
olhar para a funcao g
t
, xando t.
Tiramos que Jg = 1.Jg
t
, onde J representa o jacobiano. Concluimos
que um ponto de t R
n1
e crtico para g
t
se, e somente se, for um ponto
crtico de g. E pela hipotese de inducao o conjunto dos valores crticos de
g
t
tem medida nula. E pelo teorema de Fubini tempos que o conjunto dos
valores crticos de g tem medida nula, como queriamos.
Lema 2.2. f(C
k
C
k+1
) tem medida nula para k 1.
Demonstracao. Seja x C
k
C
k+1
, chamemos de a derivada de ordem
parcial de f de ordem k tal que em x

x
1
,= 0. Como feito no lema anterior,
a funcao,
h : U R
n
8
h(x) = ((x), x
2
, . . . , x
n
)
pelo teorema da funcao inversa h leva uma vizinhanca, V de x difeo-
morcamente em um aberto V

e h(C
k
V ) 0 R
n1
. Assim a funcao
g = fh
1
tem todos os seus pontos crticos do tipo C
k
contidos em 0R
n1
.
Considerando a funcao g
0
como sendo a restricao de g a (0 R
n1
) V

tem, por hipotese de inducao, tem que o conjuntos dos valores crticos tem
medida nulo. E como os pontos crticos de g da forma C
k
sao pontos crticos
de g
0
temos o que queriamos.
Lema 2.3. Existe k
0
tal que para k k
0
tem-se que f(C
k
) tem medida
nula.
Demonstracao. Seja S U um cubo de lado . Pelo teorema de Taylor,
temos que para x C
k
S , x + h S e existe a R dependendo apenas
de f e S satisfazendo
f(x +h) = f(x) +R(x, h)
[R(x, h)[ < a[h[
k+1
Dividimos S em r
n
cubos cujos lados medem /r. Seja S
1
um cubo desta
divisao que contem um ponto x C
k
. Entao podemos escrever um ponto
de S
1
como sendo x +h com [h[ <

n(

r
).
Da formula de Taylor, f(S
1
) esta contido em um cubo cujos lados medem
b/rk + 1 onde b = 2a(

n)
k+1
. Portanto f(C
k
S) esta contido na uniao
de no maximo r
n
cubos cujo volume total, v, e menor que
v r
n
(
b
r
k+1
)
p
.
Assim, se k+1 > n/p temos que v tende a zero quando r . Provando
assim o que queriamos.
Os tres lemas acima provam o Teorema de Sard.
2.2 Funcoes Holomorfas
Denotemos por C o conjunto dos n umeros complexos. Podemos olhar C
como R
2
naturalmente pela identica cao, se z = a + ib C pode ser visto
como o par (a, b) R
2
, sua norma e [[z[[ =

a
2
+b
2
. Se f : C C podemos
olha-la como uma funcao de R
2
em R
2
e assim falar da derivada de f como
anteriormente.
9
Consideremos L
R
(C, C) o conjunto das transformacoes lineares de C em
C, com os n umeros complexos vistos como espaco vetorial sobre os reais.
Um fato da algebra linear e que a funcao denida abaixo por
C C L
R
(C, C)
(a, b) L
a,b
: z az +bz
e R-linear e binunvoca, logo um isomorsmo. Portanto se f e diferenciavel
em p, do ponto de vista real, o isomorsmo acima garante que existem
n umeros complexos (unicamente determinados) f(p), f(p) C tal que
df(p)h = f(p)h +f(p)h
Denicao 2.8. f e holomorfa se f(p) = 0 p |
Ser holomorfa, equivale a dizer que f : C C e diferenciavel no sentido
complexo, ou seja que o limite
lim
hz
0
f(z
0
+h) f(z
0
)
h
, z
0
, h C
existe. Escrevendo f(x + iy) = u(x, y) + iv(x, y) na sua parte real e ima-
ginaria, as condicoes de Cauchy-Riemann sao
u
x
=
v
y
,
u
y
=
v
x
que equivalem a condicao f(p) = 0.
Analogamente podemos falar de funcoes holomorfas em varias variaveis.
Considere f : U C
n
C, C
1
. A derivada, df(p) L
R
(C
n
, C) entao
existem n umeros complexos.

z
1
, . . . ,

z
1
,

z
1
, . . . ,

z
n
(p)
Tal que
df(p)h =
n

j=1
f
z
j
h
j
+

z
j
h
j
Denicao 2.9. f e holomorfa se e somente se

z
j
= 0
Dizemos que D C e um domnio se for um aberto conexo (logo conexo
por caminhos).
Teorema 2.10 (Formula Integral de Cauchy). Sejam C um aberto,
f : C uma funcao holomorfa. Se D e um domnio com fronteira
suave entao
f(z) =
1
2i

f(w)
w z
dw , z D
10
Este teorema implica o importante corolario
Corolario 2.1.
f
(m)
(z) =
m!
2i

D
f(w)
(w z)
m+1
dw , z D, m 0
Corolario 2.2. Se f e holomorfa entao f possui todas derivadas. E mais,
f
(k)
e holomorfa.
Teorema 2.11. Se f e holomorfa em [z z
0
[ < . Entao f e representada
com serie de portencia.
f(z) =

k=0
a
k
(z z
0
)
k
, [z z
0
[ <
Um outro tipo importante de funcao sao as funcoes analticas. Dizemos
que uma funcao f : | R suave de denida em um aberto | R
n
e
analtica se pode ser escrita como serie de potencia. E como vimos toda
funcao holomorfa e uma funcao analtica.
Dizemos que uma funcao e aberta se leva aberto em aberto.
Teorema 2.12. Seja f : C holomorfa nao constante, entao f e uma
funcao aberta.
2.3 Equacoes Diferenciais
Seja | R
n
um aberto. Um campo de vetores, f de classe C
k
sobre | e
uma aplicacao
f : | R
n
de classe C
k
. As curvas integrais, : I (I R um intervalo), associadas
a este campo sao as solucoes da equacao diferencial
dx(t)
dt
= f(x(t)) (1)
Dizemos que x
0
| e uma singularidade do campo f se f(x
0
) = 0.
: I = R | denida por (t) = x
0
t R e uma curva integral do campo
f. O parametro t em geral e chamado de tempo. Um campo de vetores deve
ser olhado como o vetor velocidade de alguma curva integral que passa pelo
ponto.
A equacao diferencial (1) e chamada de autonoma, pois o campo f inde-
pende do tempo. Poderiamos considerar que para tempos diferentes tives-
semos, em princpio, campos diferentes (i.e, f = f(x, t)) e poderiamos nos
perguntar sobre as solucoes da equacao, chamada agora de nao autonoma,
dx(t)
dt
= f(x, t) (2)
11
Uma equacao nao autonoma pode ser sempre reduzida a uma equacao
autonoma. Suponha f : | I |, denamos y = (x, s) e g(y) = (1, f(y)),
e considere a seguinte equacao diferencial, y

= g(y). E reduzimos a equacao

(2) para uma equacao do tipo de (1).
Uma curva integral : I | e dita maximal se dada uma curva
integral : J | tal que I J e (t) = (t) para t I entao I = J. O
intervalo I sera chamado de intervalo maximal e usualmente denotado por
I = (
,
(x)
+
(x)), onde (0) = x.
Teorema 2.13. Seja f um campo de vetores C
k
sobre | R
n
, entao
Existencia de curvas integrais:
x | existe um intervalo aberto I
x
e uma unica soluc ao
x
: I
x
|,
para a equacao (1) tal que
x
(0) = x
Diferenciabilidade com relac ao aos dados iniciais:
Seja T = (t, x) R R
n
[ x | e t I
x
. Entao T e aberto e
: T R, (x, t) =
x
(t)
e de classe C
k
.
A unicidade garante podermos sempre falar em curva maximal.
Se as curvas integrais de um campo, X, estao denidas para todo tempo
dizemos que X e um campo completo. E chamamos de uxo a funcao:
: | R |
(x, t) =
x
(t)
Onde a
x
e a curva integral tal que
x
(0) = x.
Proposicao 2.1. Seja X : | R
n
um campo C
1
e
x
: (

(x),
+
(x))
| uma curva integral com
+
(x) < . Dado K |, um compacto, entao
existe t
0
(0,
+
(x)) tal que (t) / K, t (t
0
,
+
(x)).
O mesmo vale se

(x) > , neste caso t

0
(

(x), 0) e (t) / K,
t (

(x), t
0
).
Demonstracao. Por absurso, suponha que exista um compacto K | e
seq uencia t
n
tal que lim
n
t
n
=
+
(x) com
x
(t
n
) K. Por compa-
cidade existe subseq uencia convergente de
x
(t
n
) em K. Reindexando se
necessario, podemos supor que
x
(t
n
) x
0
K.
Seja V
x
0
uma vizinhanca de x
0
tal que toda curva solucao que comeca
em V
x
0
esteja denida em pelo menos um tempo > 0. Tome n
0
N
grande o suciente para que t
n
0
+ >
+
(x). A curva solucao que passa
por
x
(t
n
0
) esta denida em pelo menos tempo , por unicidade de solucao
a curva integral
x
esta denida em t
n
0
+ >
+
(x) absurdo com o fato de

x
ser maximal.
12
Corolario 2.3. Todo campo que se anula fora de um compacto e completo.
geodesicas.
integrais)
Sejam |, 1 R
n
abertos, f : | 1 um difeomorsmo suave e X : 1
R
n
um campo suave em 1. Dizemos que o campo Y : | R
n
e pull-back
do campo X por f e denotado por Y = f

X se
Df
p
Y (p) = X(p)
Proposicao 2.2. O difeomorsmo f, como acima, leva curvas integrais de
Y em curvas integrais de X.
Demonstracao. Basta checar a condicao de unicidade. Isto e, ser solucao da
EDO com dado inicial.
2.4 Derivacao
Seja X

(|) o conjunto dos campos de vetores C

, isto e suaves, sobre o

aberto | R
n
. Faremos uma abordagem nova sobre como trabalhar com
campos de vetores, mas ca o alerta da importancia de nao se perder a
intui cao nas coisas. Chamemos por C

(|) como de costume ao conjunto

das funcoes suaves f : | R.
Denicao 2.14. Seja T : C

(|) C

(|) uma funcao, dizemos que T e

uma derivacao se satisfaz as duas propriedades seguintes:
T e linear.
T(f.g) = fT(g) +T(f)g. (Regra de Leibniz)
O nome derivacao nao e uma mera semelhanca com a palavra derivada,
note-se a regra de Leibniz. Uma propriedade simples e importante e de que
uma deriva cao atuando em uma funcao constante e a funcao nula. De fato,
T(c) = c.T(1) e T(1) = 0 ja que pela regra de Leibniz T(1) = T(1.1) =
T(1) +T(1).
A todo campo X X

(|) associamos a seguinte deriva cao

L
X
: C

(|) C

(|) onde L
X
(f)(p) = Df(p)X(p)
Olhando em coordenadas, X(x) = (a
1
(x), . . . , a
m
(x)) e por denicao
L
X
(f)(p) =
m

i=1
a
i
(x)
f
x
i
(x)
Dada uma derivacao L
X
podemos escrever o campo X em coordenadas
como X(x) = (L
X
(
1
), . . . , L
X
(
m
)) onde
i
: | R representa a funcao
projecao da i-esima coordenada.
13
Proposicao 2.3. Toda derivacao em C

(|) provem de um campo de ve-

tores.
Demonstracao. Seja T uma derivacao, queremos ver que existe um campo
X X

(|) tal que T = L

X
. Pelo comentado anteriormente o candidato
ao campo vetorial X quando olhado em coordenadas e dado por X(x) =
(L
X
(
1
), . . . , L
X
(
m
)) com
i
como na notacao acima.
Queremos ver que S = (T L
X
)(f) = 0 para toda f C

(|). Por
construcao temos que S(x
i
) = 0 ou mais, que S se anula em todo po-
linomio de grau menor ou igual a 1. Seja f C

, pelo Lema 8.1 temos que

f(x) = f(0)+

m
i=1
a
i
(x)x
i
. Portanto S(f)(0) = S(f)(0)+

m
i=1
a
i
(0)S(x
i
)+

m
i=1
(x
i
S(a
i
))(0) = 0.
O resultado acima nos permite identicar derivacoes e campos de vetores.
deriva coes. E dar o exemplo em Rn
Denicao 2.15. Denimos o colchete de Lie entre dois campos X e Y por
[X, Y ] = L
X
L
Y
L
Y
L
X

E comum tamem escrevermos apenas [X, Y ] = XY Y X.

Proposicao 2.4. O colchete de Lie [X, Y ] e uma derivacao.
Demonstracao. Basta fazer as contas com a denicao.
Ou seja dados dois campos sempre podemos associar um outro pelo
colchete de Lie.
X

(|) X

(|) X

(|)
(X, Y ) [X, Y ]
Proposicao 2.5. Sejam X, Y, Z campos suaves em | R
n
, a, b R e
f, g C

(|). Entao o colchete de Lie satisfaz as seguintes propriedades

[X, Y ] = [Y, X];
[aX +bY, Z] = a[X, Z] +b[Y, Z];
[[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] = 0 (identidade de Jacobi);
[fX, gY ] = fg[X, Y ] +fX(g)Y gY (f)X.
Demonstracao. Apenas realizar as devidas manipulacoes algebricas.
Considere : | 1 um difeomorsmo, lembramos que dado um
campo X em | o push-forward de X por e

X = Y onde Y (p) =
d

1
(p)
X(
1
(p)).
14
Lema 2.4. Seja f : 1 R entao
(

X)(f)(p) = X(f )(
1
(p))
Demonstracao. Segue das seguintes contas,
(

X)(f)(p) = (dX)(f)(p) = (dfdX)(

1
(p)) = X(f)(
1
(p)).
Obtemos o seguinte resultado.
Proposicao 2.6. Seja : | 1 um difeomorsmo entre abertos | e 1, e
sejam X e Y campos de vetores em | entao
[

X,

Y ] =

[X, Y ]
Demonstracao. Segue do lema acima.
O proximo resultado e geometricamente importante dado que fornece
uma ideia intuitiva para o colchete.
Teorema 2.16. Sejam X, Y campos em | e
t
o uxo de X em torno de
p entao
[X, Y ]
p
= lim
t0
1
t
[Y
p
d
t
(Y

t
(p)
)]
Veja que o colchete de X e Y pode ser olhado como uma derivada do
campo Y em relacao ao campo X.
garante a boa denicao em variedade.
2.5 Geometria Riemanniana em Abertos de R
n
Seja | R
n
um aberto, uma metrica, g, em | e uma funcao que associa a
cada ponto p | um produto interno de maneira suave, ou seja
g : | R
n
R
n
R
onde g(p, ., .) : R
n
R
n
R e um produto interno, e para quaisquer dois
campos X, Y X

(|), g(p, X(p), Y (p)) e uma funcao suave.

Considere R
n
com uma metrica associada a ele, denotamos g(p, ., .)
tambem por <, >
p
. Podemos medir comprimento de curvas em (R
n
, g) de
maneira muito natural. Dado : [a, b] | uma curva (diferenciavel por
partes) denimos o seu comprimento L() por
L() =

b
a

<

(t),

(t) >
(t)
dt =

b
a
[[

(t)[[; dt
O aberto | e munido naturalmente de uma metrica a qual chamaremos
de metrica riemanniana, denida como
d
g
: | | R
d
g
(p, q) = infL() [ : [0, 1] | suave e (0) = x, (1) = y
15
Proposicao 2.7. A topologia induzida por d
g
coincide com a topologia eu-
clidiana.
riemanniana.
Intimamente ligado a funcao comprimento esta a energia da curva :
[a, b] | denida por
E() =

b
a
<

(t),

(t) >
(t)
dt =

b
a
[[

(t)[[
2
; dt
Dizemos que uma curva minimiza a energia E se para toda variacao da
curva preservando o ponto inicial e nal, a curva sempre minimiza a
energia. Formalizando,
: [a, b] | , (t) = (
1
(t), . . . ,
n
(t))
Dena agora,

(t) = (
1
(t) +c
1
(t), . . . ,
n
(t) +c
n
(t))
onde c
i
(

([a, b]) tal que c

i
(a) = c
i
(b) = 0.
E portanto, se estamos armando que minimiza a energia entao o zero
e ponto crtico da funcao E(

),
dE(

)
d
(0) = 0
O que faremos agora nao e especco do caso que tratamos, por isso
consideraremos a energia da forma
E() =

b
a
L((t),
d
dt
(t))dt
E o que falamos sobre minimizar e igualmente denido para este caso.
E olhamos L = L(x, v).
0 =
dE(

)
d
=

b
a

i
[
L
x
i
(
0
(t),
d
0
dt
(0))c
i
(t) +
L
v
i
(
0
(t),
d
0
dt
(0))
dc
i
dt
(t)]dt
Utilizando integral por partes, obtemos

b
a

i
[
L
x
i
(
0
(t),
d
0
dt
(0))
d
dt
L
v
i
(
0
(t),
d
0
dt
(0))]c
i
(t)dt = 0
Como as funcoes c
i
sao arbitrarias (satisfazendo zero nos extremos)
entao temos que
L
x
i
(
0
(t),
d
0
dt
(0))
d
dt
L
v
i
(
0
(t),
d
0
dt
(0)) = 0 para todo i
1, . . . , n.
Por conseguinte denimos a equacao de Euler-Lagrange por
16
L
x
i
(
0
(t),
d
0
dt
(0)) =
d
dt
L
v
i
(
0
(t),
d
0
dt
(0))
funcao chamada de exponencial.
Denicao 2.17. Uma curva e chamada de geodesica se satisfaz a equacao
de Euler-Lagrande para a energia.
Iniciamos a discussao falando sobre curvas que minimizavam a energia,
mas estamos apenas dizendo que as geodesicas sao pontos crticos da energia,
no entanto o proximo resultado revela que e verdade localmente.
Teorema 2.18. Considere uma geodesica : [a, b] |, entao para inter-
valo [a
1
, b
1
] sucientemente pequeno a curva restrita ao intervalo [a
1
, b
1
]
minimiza a energia.
Geodesicas minimizam energia (localmente), e de fato apenas as geodesicas
minimizam (localmente) a distancia. Uma funcao f : | 1 suave, onde
cada aberto possui uma metrica riemanninana e chamada de isometria se f
preservar geodesica. Isto e, se e geodesica entao f tambem e geodesica.
Teorema 2.19. A equacao de Euler Lagrange para a func ao energia e
x

i
(t) +
i
jk
(x(t))x

j
(t)x

k
(t) = 0 i 1, . . . , n
com

i
jk
=
1
2
g
il
(g
jl,k
+g
kl,j
g
jk,l
)
(g
ij
) = (g
ij
)
1
g
jl,k
=

x
k
g
jl
O teorema acima nos mostra que as geodesicas satisfazem uma equacao
ordinaria de segunda ordem, satisfazem portanto
x

i
(t) +
i
jk
(x(t))x

j
(t)x

k
(t) = 0 i 1, . . . , n
Podemos denir a funcao exponencial da seguinte maneira. Dado p
U existe uma vizinhanca V U de p e > 0 tal que para todo q V ,
B(0, ) R
n
a funcao
exp
q
: B(0, ) U
e um difeomorsmo C

e
B(0, ) V U
(w, q) exp
q
w
e C

.
17
2.6 Formas Diferenciais
Denotamos por
k
(R
n
) o espaco das k-formas lineares alternada. Ou seja,
T
k
(R
n
) entao T e da forma
T : R
n
. . . R
n
R
T e k-linear
T(v
(1)
, . . . , v
(k)
) = sgn() T(v
1
, . . . , v
k
).
Onde o
k
= permutacoes de k elementos , e sgn() e o sinal da
permutacao .
Segue diretamente da denicao que

1
(R
n
) = (R
n
)

= L(R
n
, R)
Podemos denir um produto entre duas formas alternadas, que chama-
mos de produto exterior. Sejam duas formas alternadas T
l
(R
n
) e
L
k
(R
n
) o produto exterior
T L
l+k
(R
n
)
e denido como
T L(v
1
, . . . , v
l+k
) =
1
(l +k)!

sgn()T(v
1
, . . . , v
l
)L(v
l+1
, . . . , v
l+k
)
Uma k-forma diferenciavel , denida em um aberto | R
n
e uma
aplicacao que associa a cada p | uma k-forma alternada, (p) de ma-
neira diferenciavel. Dizer que (p) varia diferenciavelmente com relacao a p
signica que dados X
1
, . . . , X
k
X

(|) entao (p)(X

1
(p), . . . , X
k
(p)) visto
como funcao de p e suave.
Considere uma l-forma diferenciavel e uma k-forma diferenciavel
denidas em |, denimos o produto exterior da seguinte forma
(p) := (p) (p)

k
(|) e o conjunto de todas as k-formas denidas no aberto |
Seja f : | 1 um funcao suave entre abertos de R
n
e R
m
. Dado

k
(1) a forma f

k
(|) e chamada de pull-back da forma por
f e denida como
f

(p)(v
1
, . . . , v
k
) = (f(p))(Df
p
v
1
, . . . , Df
p
v
k
)
p |, v
1
, . . . , v
k
R
n
18
E portanto uma funcao suave f : | 1 uma funcao f

:
k
(1)
l
(|)
Seja
k
(|) um k-forma da forma
(x) = a(x)dx
i
1
. . . dx
i
k
como e suave entao a : | R e uma funcao suave. Denimos a derivada
exterior de por
d(x) =
k

j=1
a(x)
x
j
dx
j
dx
i
1
. . . dx
i
k
Estendemos por linearidade para qualquer
k
(|). Note que a deri-
vada exterior e um operador
d :
k
(|)
k+1
(|)
Teorema 2.20. Sejam
k
(|),
l
(|), f : 1 |, g : J 1
suaves, entao
f

( ) = f

(f g)

= g

d(f

) = f

(d)
d d = 0
d( ) = d + (1)
k
d
O produto interior de uma forma,
k
(|), com relacao a um campo
X X

(|) e denotada por i(X), de fato denida por

i(X) :
k
(|)
k1
(|)
(i(X)())(x)(v
1
, . . . , v
k1
) = (X(x), v
1
, . . . , v
k1
)
Proposicao 2.8. Sejam
k
(|) e
l
(|), entao
i(X)( ) = i(X) + (1)
k
i(X)
veremos uma maneira mais geometrica de visualiza-la. O operador L
X
denido a seguir e o operador derivada de Lie com relacao ao campo X
X(|).
Denimos agora a derivade de Lie de uma forma diferencial com relacao
a um campo X.
L
X
:
k
(|)
k
(|)
L
X
(p) =
d
dt
[
t=0

t
(
t
)
onde
t
: | | e uxo no tempo t do campo X X

.
19
Teorema 2.21. (Formula de Cartan)
L
X
i(Y ) i(Y )L
X
= i([X, Y ])
L
X
= i(X)d +di(X)
20
3 Teoria em Variedades
Comecamos discutindo de maneira imformal um exemplo para motivar a
naturalidade com que as variedades aparecem, e mais a frente todos as
idedias serao formalizadas.
parttula. Em particular um solido, introduz informalmente SU(3) e
SU(n).
Suponha que voce queira estudar o espaco de conguracoes de um sis-
tema de partculas. Tratemos o caso em que temos um solido, ou seja a
distancia entre suas partculas e constante, isto implica que determinado
tres pontos podemos determinar os outros. Fixe portanto tres pontos P
1
, P
2
e P
3
do nosso solido, sem perda de generalidade podemos supor que o vetor
P
2
P
1
e P
3
P
1
sao ortogonais. Para determinar o seu espaco de con-
guracoes precisamos determinar a posicao do primeiro ponto, no caso P
1
que e um ponto do espaco, logo P
1
R
3
, queremos determinar o ponto P
2
todavia sabemos a distancia do ponto P
1
ao ponto P
2
o que portanto basta
acharmos em que direcao encontra-se o ponto P
2
, ou seja temos uma esfera
de possibilidades em torno do ponto P
1
, precisamos portanto de duas coor-
denadas para determinar a direcao do ponto P
2
, agora queremos determinar
o ponto P
3
como P
2
P
1
e P
3
P
1
sao ortogonais temos uma circunferencia
ortogonal a reta que liga P
1
e P
2
de possibilidades.
Figura 1: Solido
Ou seja, essencialmente temos que o espaco de conguracao para um
solido pode ser visto como a variedade
R
3
referencial ortogonal de R
3

O conjunto referencial ortogonal de R

3
e tambem conhecido como O(3).
3.1 Variedades
As variedades sao objetos que aparecem muito naturalmente na fsica e na
matematica como ilustrado acima, por isso a importancia em estuda-las.
Passemos a sua denicao.
21
Denicao 3.1. Seja M um espaco topologico, entao M e uma variedade
topologica se
M e Hausdor;
Exite um conjunto com quantidade enumeravel de abertos que formam
uma base para a topologia de M, i.e. M e segundo contavel;
Dado p M existe vizinhanca V M de p e um homeomorsmo
: V | R
n
.
Trabalharemos sempre supondo variedades conexas, a menos que men-
cionado o contrario explicitamente.
Seja M uma variedade topologica. Considere o seguinte conjunto
/ = (
i
, V
i
) [ M =

iI
V
i

i
: V
i
U
i
homeomorsmo
onde V
i
M e U
i
R
n
sao abertos. Dizemos que / e um atlas para a
variedade M. As funcoes
i
serao chamadas de carta local. E suas inversas
serao chamadas de parametrizacoes locais de M. Chamaremos tambem
de mudanca de coordenadas as funcoes do tipo
j

1
j
.
Dizemos que / e um atlas de classe C
r
se as mudan cas de coordena-
das sao funcoes de classe C
r
. Podemos falar tambem de atlas C

, ou seja
analitico real. Na denicao 3.1 poderiamos tomar homeomorsmo com ima-
gem em C
n
e assim poderiamos falar de atlas holomorfo, ou seja que as
mudan cas de coordenadas sao funcoes holomorfas.
M e dita uma variedade diferenciavel de classe C
r
e dimensao n , onde
r e um natural. Se existe cobertura aberta, V
i

iI
, de M, abertos U
i

iI
em R
n
, homeomorsmos
i
: V
i
U
i

iI
tais que
j

1
i
:
i
(V
i
V
j
)

j
(V
i
V
j
) e de classe C
r
.
Podemos denir atlas maximal, como sendo o atlas / que nao esta
contido em nenhum outro atlas estritamente maior que ele, isto e se B for
um atlas tal que / B entao / = B. E uma estrutura de variedade de
classe C
r
, C

ou holomorfa e uma variedade topologica munida de um atlas

maximal (C
r
, C

ou holomorfa).
Denicao 3.2. Uma variedade de classe C
r
, C

ou holomorfa e um par
(M, /), onde M e uma variedade topologica e / e um atlas maximal C
r
,
C

ou holomorfa espectivamente.
Ao inves de escrevermos M variedade de dimensao n e comum denotar-
mos apenas M
n
.
Finalizamos com a observacao de ao longo do texto sempre que falarmos
em variedades estamos supondo C

, com o intuito de facilitar a notacao.

Tal suposicao nao e tao restritiva Um resultado garante que sempre posso
tomar um sub-atlas de qualquer variedade de modo a torna-la uma variedade
22
Figura 2: Variedade Diferenciavel
C

, conra em [3]. De qualquer maneira os teoremas aqui enunciado em

geral se generalizam de maneira obvia quando consideramos variedades de
classe C
r
.
maximal, estrutura de variedade.
Na denicao de variedades as cartas permitem fazer calculo diferencial
nas variedades. Esta ideia se tornara muito mais clara a medida que formos
introduzindo algumas denicoes importantes. Como por exemplo a que
segue.
Denicao 3.3. Sejam M
m
e N
n
variedades diferenciaveis. Dizemos que
uma funcao f : M N e de classe C
k
no aberto | M se dado p |
se existem parametrizacoes em torno de p e em torno de f(p) tais que
f
1
e de classe C
k
.
Figura 3: Funcao em Coordenadas
Mais uma vez fazemos uma ressalva para as variedades complexas. A
denicao analoga pediria apenas que a funcao olhada em coordenadas seja
holomorfa. Quando se diz, olhar em coordenadas signica trabalhar com
f
1
e portanto recair o estudo em R
n
.
23
Portanto uma funcao
f : M N
e um difeomorsmo se f for uma bijecao, com f e f
1
C

.
Observacao 3.1. Dada uma variedade C
r
entao existe uma variedade N
real analtica e um difeomorsmo C
r
, f : M N.
Todo atlas maximal C
r
de M contem algum atlas real analtico.
Observacao 3.2. Se M e uma variedade topologica de dimensao menor
ou igual a 3 entao existe uma variedade N suave e um homeomorsmo
f : M N.
De fato, temos um pouco mais, podemos tomar f um difeomorsmo.
Observacao 3.3. John Milnor, provou que existem exatamente 28 estru-
turas diferenciaveis sobre a esfera S
7
tais que para duas diferentes a esfera
S
7
nao sao difeomorfas. Essas sao conhecidas como as esferas exoticas de
Milnor.
Observacao 3.4. Nao podemos generalizar a observa cao 3.2. Isto se deve
aos trabalhos de Friedamn e Donaldson, quando a dimensao de M for igual
a 4. Friedman utilizou tecnicas abordadas neste trabalho, ja Donaldson
utilizou Equacoes Diferenciais Parciais.
Se a dimensao de M for diferente de 4 entao existem um n umero nito
de estruturas diferenciaveis em M. Se dimensao de M for igual a 4 nao e
verdade.
Existem innitos M homeomorfos a R
4
que nao sao difeomorfos ao R
4
.
3.2 Espaco tangente
Introduziremos neste momento um conceito muito importante no estudo
de variedades, o espaco tangente. cometarios importantes sobre o espaco
tangente e passar a ideia intuitiva que se encontra na denicao que em um
primeiro momento pode parecer pedante.
Denicao 3.4. Seja M
m
uma variedade e p M. O espaco tangente, TM
p
,
de p em M e o conjunto
: (, ) M, de classe C
1
em zero e (0) = p
/
sob a seguinte relacao de equivalencia: se suas derivadas em
coordenadas coicidem em 0, isto e sendo uma carta em p tem-se (
)

(0) = ( )

(0).
cao do espaco tangente se tornava aparentemente mais intuitiva. To-
mando uma parametrizacao do ponto p M por e simplesmente se de-
nia TM
p
= D(R
n
). E se tornava muito intuitivo ainda mais depois de se
24
provar que essa relacao e equivalente ao de olharmos as curvas que passam
por p e considerar o seu vetor velocidade, como pode ser conferido em [6].
O que e possvel pois neste caso estamos com M R
n
. E tinhamos que
D
p
: R
n
TM
p
era um ismorsmo. E com isso poderiamos sempre tra-
zer os vetores do espaco tangente para baixo. Tal fato nos fornece uma
ideia de denirmos o espaco tangente sem termos que supor que a nossa
variedade M esteja contida em algum espaco euclidiano, como e feito na
denicao acima.
Ainda falta munir TM
p
de uma estrutura natural de espaco vetorial
sobre R. Considere um sistema de carta local : U R
m
em M em torno
de p. Dena
d = d(p) : TM
p
R
m
d([]) = ( )

(0)
por denicao de espaco tangente temos que a funcao d e injetiva. Tambem
temos d sobrejetiva. De fato, dado v R
m
seja TM
p
(deveramos
escrever [] mas ca bem entendido quando trabalhamos com apenas um
representante da classe de equivalencia) denida por (t) =
1
[(p) + tv].
Entao claro que d() = ( )

(0) = v como queriamos.

Estamos aptos a dar uma estrutura de espaco vetorial a TM
p
. A ideia e
tao natural quanto deveria ser. Para somar ou multiplicar vetores no espaco
tangente o mesmo deve acontecer quando o trazemos para baixo por d.
O unico detalhe e checar que esta bem denido, ou seja somando em cima
continua dando o mesmo valor se somarmos em baixo mas aos olhos de d
sendo outra carta em torno de p. Denimos em TM
p
as operacoes de
espaco vetorial. Sendo [], [] TM
p
e c R
[] + [] = (d)
1
(d([]) +d([])),
c.[] = d
1
(c.d([]))
Sendo outra carta local em torno de p temos que d = ( d
1
)

d :
TM
p
R
m
e a comutatividade do diagrama abaixo esclarece o porque da
boa denicao de estrutura de espaco vetorial em TM
p
.
TM
p
d
||x
x
x
x
x
x
x
x
d
""
F
F
F
F
F
F
F
F
R
m
(
1
)

//
R
m
Completando a discussao de espaco tangente devemos falar sobre a de-
rivada de uma aplicacao diferenciavel. Sejam M e N variedades e f : M
N suave em p M. A derivada de f em p e a transformacao linear
f

(p) : TM
p
TN
f(p)
que associa a cada v = [] TM
p
o elemento
f

(p).v = (f ) TN
f(p)
25
Segue da denicao que vale a regra da cadeia. Sejam M, N, P variedades
f : M N suave em p e g : N P suave em f(p) N. Entao g f : M
P e vale (g f)

(p) = g

(f(p)) f

(p) : TM
p
TP
gf(p)
.
Nao existencia de derivada de ordem superior
Fizemos a denicao da derivada de uma funcao f denida em uma varie-
dade, mas vejamos que nao e possvel se denir derivadas de ordem superior.
Se fosse possvel denir de ordem superior estaria denida a de segunda or-
dem e esta satisfazendo (D
(2)
f)
p
: TM
p
TM
p
TN
f(p)
bilinear simetrica.
Seja uma parametrizacao em torno de p, portanto olhando a derivada em
cartas deveramos ter a boa denicao da segunda derivada. Dena g = f ,
e portanto olhando em cartas deveramos ter
D
2
g(x)(v, w) = D
2
f((x))(D(x)v, D(x)w)
No entanto, como Dg(x) = Df((x))D(x) deveramos ter pela regra
da cadeia que
D
2
g(x)(v, w) = D
2
f((x))(D(x)v, D(x)w) +Df((x))D
2
(v, w)
No entanto este segundo termo deveria ser zero para que pudessemos denir
intrinsecamente a segunda derivada. Logo a segunda derivada cou depen-
dendo da carta o que portanto torna impossvel a sua denicao.

E possvel
portanto se denir a segunda derivada de f nos pontos em que sua derivada
se anula.
3.3 Subvariedade
Denimos nesta secao o que e uma subvariedade, no entanto nao faremos
isto de maneira arbitraria apenas considerando como um subconjunto que
seja uma variedade, por isso introduzimos algumas denicao.
Denicao 3.5. Seja f : M
m
N
n
, M e N variedades.
Dizemos que f e uma imersao se a Df
x
e injetiva para todo x M.
Dizemos que f e uma submersao se Df
x
e sobrejetiva para todo x M
Dizemos que f e um mergulho se for imersao e homeomorsmo (da
imagem) com a topologia induzida na imagem.
Algumas variedades estao naturalmente colocadas em outras varieda-
des. Para estas variedades daremos o nome de subvariedades. A forma-
lizacao do conceito segue abaixo.
26
Denicao 3.6. Uma subvariedade M
m
e uma subvariedade de uma varie-
dade N
n
se M N, e a aplicacao inclusao i : M N e um mergulho.
Alguns livros como por exemplo em [2] subvariedade e apenas uma va-
riedade contida em outra. Queremos restringir um pouco mais a denicao
para nao termos certas patologias. Considere o graco da funcao sin(
1
x
) em
(0, ) unido com o eixo x = 0. e uma variedade de dimensao 1, mas nao
e uma subvariedade de R
2
pela nossa denicao. Vejamos o porque. Nao
existe nenhuma vizinhanca (na topologia induzida) do ponto (0, 0) que seja
conexo por caminhos.
Teorema 3.7. Seja N
n
uma variedade. Para que um subconjunto M N
seja uma subvariedade de dimensao m de N e necess ario e suciente que,
para cada p M, exista em aberto V N, p V , e um difeomormso
y : V R
m
R
nm
tal que y(M V ) R
m
0.
Demonstracao. Conferir [10] pagina 155. Compare tambem com a denicao
de subvariedade em [3].
Na secao 5.1 sera provado alguns teoremas relacionados aos conceitos
de imersao e mergulho. Por exemplo sera mostrado um teorema sobre
exitencia de mergulhos e outro sobre densidade de imersoes. Quanto
a subvariedades a proxima subsecao contem mais informacoes.
3.4 Exemplos
Exemplo 3.8. Provemos que a esfera S
n
e de fato uma variedade n di-
mensional. Cubramos S
n
com os dois tipo de conjuntos a seguir. U
i
=
x S
n
[ x
i
> 0 e V
i
= x S
n
[ x
i
< 0 com i 1, 2 . . . , n + 1.

E claro que esses conjuntos formam uma cobertura aberta de S

n
. De-
nimos as seguintes cartas nestes conjuntos,
U
i
: U
i
B(1)R
n
,
U
i
(x) =
(x
1
, . . . , x
i1
, x
i+1
, . . . , x
n+1
) analogamente
V
i
(x) = (x
1
, . . . , x
i1
, x
i+1
, . . . , x
n+1
)
e facil ver que de fatos essas funcoes sao cartas locais de S
m
. Poderiamos
tambem utilizar a projecao estereograca (vide [6]). Apesar de ainda nao
termos falado de valor regular, conra na subsecao 3.5 mais a frente, temos
que S
n
= f
1
(1) onde f : R
n+1
R , f(x) = x
2
1
+ . . . + x
2
n+1
com 1 sendo
valor regular.
Exemplo 3.9. Um outro exemplo importante e conhecido como espaco
real projetivo, P
n
. Considere a seguinte relacao de equivalencia em S
n
,
x y se e somente se x = y ou x = y. Denimos entao P
n
= S
n
/ .
Indiquemos por : S
n
P
n
a projecao natural, isto e (x) = [x]. Munimos
P
n
da topologia quociente dado pela projecao natural.

E facil ver que todo
ponto p P
n
possui uma vizinhanca aberta V cuja imagem inversa pela
projecao natural possui duas componentes conexas, sendo cada uma aplicada
27
homeomorcamente sobre V . Tomemos o aberto U
i
= [x] [ x
i
,= 0 de P
n
.
Denimos as cartas por

i
: U
i
R
n
[x
1
, . . . , x
n+1
] (
x
1
x
i
, . . . ,
x
i1
x
i
,
x
i+1
x
i
, . . . ,
x
n+1
x
i
)

E facil ver que sao homeomorsmo e que as mudacas de cartas sao dadas
por
j

1
i
(x
1
, . . . , x
n
) = (
x
1
x
j
, . . . ,
x
j1
x
j
,
x
j+1
x
j
, . . . ,
1
x
j
, . . . ,
x
n
x
j
). Que e de fato
anatico, em particular satisfaz o que queriamos de ser suave.
Exemplo 3.10. Analogamente podemos denir o espaco projetivo com-
plexo CP
n
. Denimos sobre a esfera S
n
, so que agora a esfera complexa,
a relacao de equivalencia, x y se, e somente se, existe C de normal
um ([[ = 1) tal que x = y. Assim, CP
n
sera uma variedade complexa de
dimensao n.
Exemplo 3.11. Tambem denimos o espaco projetivo quaternionico,
HP
n
mais uma vez denido por analogia. Observamos apenas que os quaternios
sao o conjunto da forma t +xi +yj +zk. A multiplicacao quaternionica ca
bem denida por bilinearidade de acordo com as seguintes relacoes.
i
2
= j
2
= k
2
= 1 ; ij = ji = k ; jk = kj = i ; ki = ik = j
1.i = i.1 = 1 ; 1.j = j.1 = j ; 1.k = k.1 = k.
Todo quaternio nao nulo w possui um inverso multiplicativo. Se w = t +
xi +yj +zk denimos o conjugado w = t xi yj zk. Assim w
1
=
w
|w|
2
Exemplo 3.12. Estudemos agora a variedade de Grassman. Deni-
mos G
r
(R
n+r
) como o conjunto de todas os k-planos (isto e subespacos de
dimensao k). Por questoes de convenienia deniremos um atlas neste con-
junto formado por parametrizacoes ao inves de cartas, o que da no mesmo.
Considere o par = (E, F), E e F subespacos de R
n+r
com dimE = r
e E F = R
n+r
. O conjunto G
r
(R
n+r
) assim denido esta munido da
topologia quociente, considere portanto o seguinte aberto U

G
r
(R
n+r
)
o conjunto de todos os H G
r
(R
n+r
) tais que H F = 0. Portanto
considerando a projecao
E
: E F E leva H isomorcamente sobre E.
Assim denimos o seguinte sistema de coordenadas
x

: U

L(E, F)
x

(H) =
F
(
E
)
1
: E F
O que esta acontecendo e que x

(H) e de fato a transformacao linear de E em

F cujo graco e H. Precisariamos checar que a mudan ca de coordenadas
e uma funcao suave. Sejam = (E, F) e

= (E

, F

) a mudan ca de
coordenadas x

x
1

: L(E, F) L(E

, F

) leva uma transformacao linear

28
u = x

(H) L(E, F) na tranformacao u

= x

(H) L(E

, F

) da seguinte
forma. Seja u : E E F denida por u(x) = x +u(x), que portanto tem
H como imagem. Temos que
E
u : E E

e um isomorsmo e assim
u

= (x

x
1

)(u) e dada u

=
F
u (
E
u)
1
mostrando assim a
suavidade da mudanca de coordenadas.
Aproveitamos para comentar que poderiamos denir uma outra varie-
dade muito analoga a variedade de grassman como sendo

G
r
(R
n+r
) como
sendo o conjunto dos k-planos orientados de R
n+r
. O que acontece e que de
fato temos

G
r
(R
n+r
) = (x, O
x
) [ O
x
e uma orientacao o k-plano x como ve-
remos na secao 3.7 esta variedade e de fato um recobrimento duplo orientado
de G
r
(R
n+r
)
Exemplo 3.13. Variedade bandeira (ag manifolds) e uma generalizacao
da Grassman. Dada uma seq uencia de k n umeros naturais 0 < n
1
< . . . < n
k
ent ao a variedade bandeira e a colecao dos conjuntos ordenados de su-
bespacos de R
n
k
(V
1
, . . . , V
k
)
tais que a dimensao do espaco vetorial V
i
e n
i
e V
i
V
i+1
.
Tomando k = 2 recaimos no grasmanniano.
Variedades Holomorfas
Este trabalho trata primordialmente de variedade reais por isso aprovei-
tamos fazer alguns comentarios sobre as varidades holomorfas com o intuito
de mostrar um pouco da riqueza do assunto. Abordaremos alguns assuntos
que de fato serao tratados mais a frente no texto, entretanto para que os
comentarios nao se tornassem esparsos e sem efeito se colocados ao longo do
texto, preferimos faze-los todos neste momento.
para fazer alguns comentarios sobre as varidades holomorfas. Aborda-
remos alguns assuntos que de fato serao tratados mais a frente no texto,
entretanto para que os comentarios nao se tornassem esparsos e sem efeito
se colocados ao longo do texto, preferimos faze-los todos neste momento.
Proposicao 3.1. Nao existe variedade holomorfa M C
n
. (Considerando
M espaco topologico com a topologia induzida.)
Demonstracao. Suponha por absurdo que seja possvel. Considere a seguinte
funcao

i
: M C
(z
1
, . . . , z
n
) z
i
Claro que
i
e uma funcao holomorfa, e pelo principio do maximo para
funcoes holomorfas, como M e compacto temos que
i
e constante. Como
vale para todo i 1, . . . , n. Temos que M ca reduzida a um ponto,
absurdo.
29
Isto quer dizer que nao existe um teorema analogo ao Teorema 5.7 para
variedades holomorfas. Para o proximo resultado utilizaremos o conceito de
orientabilidade de uma variedade, introduzido na secao 3.7.
Proposicao 3.2. Toda variedade holomorfa e orientavel.
Demonstracao. Considere o biholomorsmo (mudanca de coordenadas) f :
| 1 onde | e 1 sao abertos de C
n
. Como queremos ver que a variedade
e orientavel estamos de fato olhando | , 1 como abertos de R
2n
, com a
identica cao canonica entre C e R
2n
. Como Df e uma matriz complexa
sempre tem autovalor (polinonio caracterstico sempre tem raiz), denotemos
por = a+ib, chamemos de

f `a f quando vista como funcao real. Portanto
D

f possui um subespaco dois invariantes que corresponde ao span de v

que e o autovetor complexo mas aqui olhado como dois vetores reais. Re-
petindo este processo quantas vezes forem necessario obtemos que D

f pode
ser escrita, na base proveniente dos v

como blocos diagonais da forma

_
_
_
_
_
_
_
a
1
b
1
b
1
a
1
.
.
.
a
n
b
n
b
n
a
n
_
_
_
_
_
_
_
Cujo determinate e o n umero positivo
(a
2
1
+b
2
1
) . . . (a
2
n
+b
2
n
)
Provando o que queriamos.
O que foi observado na demonstracao acima implica tambem que na
secao 7 quando for denido o sinal de uma ponto que esta na imagem inversa
de um valor regular este sinal como sera visto a diante e +1 ou 1 no entanto
no caso complexo so pode ser +1.
Lembramos que um polinomio homogeno de grau d e tal que P(az
0
, . . . ,
az
n
) = a
d
P(z
0
, . . . , z
n
). Assim dizemos que M e uma variedade algebrica
se ela for o conjunto de zeros simultaneos de uma famlia de polinomios
homogeneos em C. As variedades algebricas sao subvariedades holomorfas
compactas de CP
n
. Vimos que tratando de variedades compactas holomor-
fas C
n
nao e o lugar natural de procura-las mas sim o espaco projetivo
complexo.
Uma variedade holomorfa de dimensao um e chamada de Superfcie
de Riemann. Para um melhor entendimento das Superfcies de Riemann e
necessario o estudo do teorema de Riemann-Roch. Um resultado importante
que se prova e que toda Superfcie de Riemann compacta pode ser mergulhar
no espaco projetivo CP
3
30
3.5 Valor Regular
Depois de estudarmos o conceito de valor regular seremos capazes de criar
algumas variedades de forma muito mais facil, de fato sendo imagem inversa
de um certo valor (regular). Mais a frente estenderemos a ideia de valor
regular, chamada agora de transversalidade, vide secao 5.1.
Denicao 3.14. Dizemos que y e valor regular de uma funcao suave, f,
entre as variedades M
m
, N
mn
se para todo x f
1
(y) tivermos que Df
x
e sobrejetiva.
Um dos teoremas mais importantes relacionados a valor regular segue
abaixo.
Teorema 3.15. Se y e valor regular de uma func ao f : M
m
N
mn
entao
f
1
(y) e subvariedade de dimensao n. Em cada ponto p f
1
(y) o espaco
tangente T[f
1
(y)]
p
e o n ucleo da derivada f

(p) : R
n
R
nm
Demonstracao. Para provar o teorema podemos olhar em vizinhacas com
isso podemos olhar f em coordenadas e com isso o problema e passado para
o espaco euclidiano, com isso posso supor as variedades em algum espaco
euclidiano. Assim, pelo teorema da aplicacao implcita, para cada ponto
p f
1
(y) existe um aberto Z contendo p tal que Z f
1
(y) e o graco de
uma funcao suave.
Seja T(f
1
(y))
p
entao claro que Df(p). = 0, assim o espaco tan-
gente esta no n ucleo de Df(p) e como ambos tem a mesma dimensao ca
provado.
Podemos assim dar uma aplicacao interessante que e provar que grupo
ortogonal e uma variedade. Considere a funcao
f : R
n
2
R
n(n+1)/2
f(X) = XX
T
sendo que R
n(n+1)/2
e olhado como sendo o conjunto das matrizes simetricas.
Para toda X R
n
2
, a derivada Df(X)V = XV
T
+V X
T
, o grupo ortogonal
O(n) = f
1
(I). Queremos ver que a derivada e sobrejetiva, ou seja dado
S nas simetricas basta pegar a seguinte V = SX/2. Com isso temos que
O(n) e uma variedade de dimensao n
2
n(n+1)/2 = n(n1)/2 em R
n
2
. O
teorema ainda nos fornece como achar o espaco tangente a identidade, que
e portanto dado por TO(n)
Id
= V R
n
2
[ V +V
T
= 0.
3.6 Variedade com bordo
A denicao que demos de variedade nao inclui por exemplo as bolas fechadas
em R
n
. Portanto se faz necessario uma pequena generalizacao da denicao
31
de variedade para incluir com isso conjuntos importantes como as bolas
fechadas e os toros solidos, isto apenas para citar alguns. Chamemos de
H

ao semi-espaco superior do R
n
, todavia quando nao houver confusao
chamaremos apenas de H. Mais explicitamente,
H = (x
1
, . . . , x
n
) R
n
[ x
n
0
Denicao 3.16. Um espaco topologico M segundo contavel, hausdor e
uma superfcie com bordo se existe uma cobertura aberta U
i

iI
de M e
homeomorsmos (cartas locais)
i
: U
i
V
i
onde V
i
e um aberto de H e as
mudan cas de coordenadas sao difeomorsmos.
O bordo de H e denido como sendo H = x R
n
[x
n+1
= 0. Com
isso o bordo de um aberto A H e denido como sendo A = A H. E
denimos o bordo de M por M = p M[
i
com p =
1
(x) onde x
V
i
.
A proposicao a seguir e importante para que a denicao de bordo de
uma variedade dada acima esteja bem denida.
Proposicao 3.3. Sejam A H, e B K abertos em semi-espacos de R
n
.
Se f : A B e um difeomorsmo de classe C
1
entao f(A) = B. Em
particular, a restricao f[A e um difeomorsmo entre as hiperfcies A e
B.
Demonstracao. Seja x int.A, com isso temos que existe U R
n
aberto
tal que x U A. Restrito a U, f e um difeomorsmo sobre a sua imagem
e que pelo teorema da funcao inversa e um aberto e como f(U) B temos
que f(x) esta no interior de B. Obtemos portanto f(int.A) int.B e assim
f
1
(B) A. Repete-se os calculos para f
1
e chega-se ao que queriamos
provar.
Vejamos uma maneira simples de se construir variedades com bordo.
Lema 3.1. Seja f : M R tal que para todo c R tem-se f
1
((, c])
compacto. Se c for um valor regular de f entao f
1
((, c]) e uma varie-
dade compacta cujo bordo e f
1
(c).
Demonstracao. Lembrar que f
1
(c) e subvariedade como ja visto.
Sabemos que podemos cobrir uma variedade por compactos encaixados.
Vejamos como podemos melhorar este resultado.
Proposicao 3.4. Se M e uma variedade nao compacta entao existe uma
sequencia N
i
M de variedades compactas com bordo tais que N
i
int.N
i+1
.
32
Demonstracao. Considere U
i
cobertura localmente nita de M e seja
i

uma particao da unidade subordinada a esta cobertura. Denimos

: M (0, 1) , (x) =

i=1
1
2
i

i
(x)
Nao e difcil ver que satisfaz a propriedade do lema acima. Considere
M = K
i
, com K
i
compacto e K
i
int.K
i+1
. Seja a
i
= sup(K
i
), como
os compactos K
i
cobrem M podemos supor que a
i+1
> a
i
, caso contrario
passamos a uma subseq uencia. Seja
i
um valor regular tal que a
i+1
>
i
>
a
i
.
Terminamos a prova tomando N
i
=
1
((0,
i
]).
33
3.7 Orientacao
Introduzimos agora o conceito de orienta cao em uma variedade. Este con-
ceito como veremos mais a frente se faz necessario para denirmos alguns
invariantes homotopicos sobre uma variedade.
Denicao 3.17. Dizemos que uma variedade M e uma superfcie orientavel
se podemos denir em cada espaco tangente TM
p
de M uma orienta cao para
o espaco tangente de forma contnua.
OBS: A continuidade da orienta cao e denida como segue. Considere
uma carta local denida em um conjunto conexo. Mandando a orienta cao
da base do espaco tangente pela D obtemos sempre a mesma orienta cao
em R
n
.
A proxima proposicao e muitas vezes tomada como a denicao de vari-
edade orientavel.
Proposicao 3.5. Uma variedade M e orientavel se, e somente se existe uma
cobertura aberta de M por cartas locais tais que as mudancas de coordenadas
tem jacobiano positivo.
Demonstracao. (): Seja / =
i
[
i
leva a base positiva do espaco tan-
gente na orientacao positiva do R
n
.

E facil ver que / e um atlas pois
dado qualquer ponto considere uma carta local denida em um conexo e
caso inverta a orientacao basta considerar a carta local composta com um
difeomormos que inverte a orientacao no R
n
. E para checar que o jacobiano
e posito basta ver que as derivadas levam base positivas em base positivas,
o que acontece por construcao do atlas /.
(): Basta denirmos a orientacao no espaco tangente levando pela
parametrizacao a orienta cao positiva de R
n
. Que ca bem denido pois o
jacobiano e positivo.

E comum chamar o atlas descrito na demonstracao de atlas positivo ou

atlas coerente. Muitos livros denem orienta cao como possuindo uma atlas
positivo, como por exemplo em [10].
Se a Faixa de Mobius fosse orientavel poderiamos denir um campo
normal contnuo na Faixa de Mobius da seguinte forma, tome um atlas
positivo e considere o produto vetorial dos vetores de uma base positiva do
espaco tangente, por exemplo proveniente de uma parametrizacao e normal
igual a 1. Com isso ca bem denido um campo contnuo sobre a Faixa de
Mobius, todavia sabemos que isso nao e possvel, ao caminharmos sobre o
crculo central da Faixa de Mobius com um vetor normal ele retornara com
a posicao invertida. Tal fato e esclarecido pela proposicao a seguir.
Proposicao 3.6. Se uma superfcie M
m
R
n
admite n-m campos contnuos
de vetores normais v
1
, . . . , v
nm
: M R
n
linearmente independentes em
cada ponto p M entao M e orientavel.
34
Demonstracao. Construamos um atlas positivo. Seja / o conjunto das pa-
rametrizacoes : U V , em M com U conexo e para todo x U a matriz
n n
(x) = [

x
1
(x), . . . ,

x
1
(x), v
1
((x)), . . . , v
nm
((x))]
tem determinante positivo.
Por construcao estas parametrizacoes daram mudan cas de coordenadas
com jacobiano positivo. E com isso o resultado segue da Proposicao 3.5.
Proposicao 3.7. Seja M
m
R
m+1
compacta entao M e orientavel.
Demonstracao. Usemos o fato de que toda hiperfcie compacta M
m
conexa
sepera o R
m+1
em duas coponentes conexas. Podemos entao denir um
campo normal a superfcieda seguinte forma. Tome uma parametrizacao
qualquer considere o produto vetorial de m vetores l.i. da espaco tangente,
normalize o vetor e coloque na direcao da componente conexa ilimitade de
M
c
. Com isto este campo ca bem denido e segue o resultado segue da
proposicao acima.
O fato utilizado acima, de que toda hiperfcie compacta separa o espaco
euclidiano e conhecido como Teorema de Jordan-Brouwer e pode ser encon-
trado em [5] pagina 84.
Poderiamos nos perguntar se o espaco projetivo real e ou nao orientavel.
Nao e difcil ver que o jacobiano da funcao antpoda : S
n
S
n
e igual
a (1)
n+1
. Dizemos que uma funcao preserva orientacao se sua derivada
preserva oientacao. Com isso ca claro o lema abaixo.
Lema 3.2. A funcao antpoda preserva orientacao se, e somente se n e
mpar.
Demonstracao. Comentada acima.
Esta fato simples e de extrema utilidade para provarmos o seguinte re-
sultado.
Proposicao 3.8. O espaco real projetivo e orientavel se, e somente se n e
mpar.
Demonstracao. Considere o seguinte diagrama comutativo.
S
n

S
n

P
n
Onde e a projecao canonica. Ou seja = . Sabemos que
e localmente um difeormorsmo, entao poderiamos induzir uma orienta cao
em TP
n
[
x] decretando a orienta cao positiva como sendo a orienta cao que
provem de uma base positiva de TS
n
x
enviada por D
x
. So que a orienta cao
poderia nao esta bem denida. Precisamos chegar que D
x
levara a base
positiva em uma base que seja a que denimos inicialmente como positiva.
35
No entando a relacao = mostra que isso e possvel se e somente se
preserva orienta cao. Mas sabemos que isso acontece se e somente se n for
mpar. E ca demonstrado assim a proposicao.
Esta proposicao de fato nos inspira a formular o seguinte teorema.
Teorema 3.18. Sejam f : M N um difeomorsmo local sobrejetivo,
denido numa variedade orientada conexa. Para que N seja orientavel, e
necessario e suciente que, dados quaisquer x, y M com f(x) = f(y), o
isomorsmo linear f

(y)
1
f

(x) : TM
x
TM
y
seja positivo.
Demonstracao. A prova e exatamente repetindo as ideias da proposicao
acima. Fazendo a observacao de que o isomorsmo linear f

(y)
1
f

(x) :
TM
x
TM
y
seja positivo tem o mesmo signicado de que para dois pontos
mandados para um mesmo ponto que bem denida a orientacao.
Estudamos algumas propriedades sobre variedades orientadas sempre ob-
servando a sua importancia. O que pode de certa forma aparentar um certo
desprezo com as variedades que nao podem ser orientadas. Isto nao e ver-
dade, e a seguir fazemos uma exposicao de como tratar as variedades nao
orientaveis.
3.7.1 Recobrimento Duplo Orientavel
Como ja observamos acima existem variedades nao orientaveis, todavia vere-
mos que toda superfcie nao orientavel pode ser recoberta por uma superfcie
orientavel.
Denicao 3.19. Um recobrimento duplo orientado e uma aplicacao p :

M M, com as seguintes propriedades:

M e uma variedade conexa,

M e uma variedade orientada e p e um
difeomorsmo local;
Para cada y M, a imagem inversa p
1
(y) contem exatamete dois;
Se p(x
1
) = p(x
2
), com x
1
,= x
2
entao o isomorsmo linear p

(x
2
)
1

(x
1
) : T

M
x
1
T

M
x
2
inverte orienta cao.
Dizemos que um recobrimento duplo orientavel e trivial quando

M =

M
1

M
2
e uma reuniao disjunta de dois subconjutos abertos, cada um dos
quais se aplica difeomorcamente sobre M.
Proposicao 3.9. Seja p :

M M um recobrimento duplo orientado. As
seguintes armacoes sao equivalentes.
1. M e orientavel;
2.

M e desconexa;
36
3. O recobrimento p :

M M e trivial.
Demonstracao. 1 O Teorema 3.18 nos fornece a primeira implicacao, que
1) 2). Para provar que 2) 3), tome uma componente conexa C de

M. Sendo p um difeomorsmo local proprio a imagem P(C) e aberta e

fechada em M com isso tem-se p(C) = M. Como p e um recobrimento
duplo orientado entao teremos que de fato

M =

M
1

M
2
. Pode-se ver que
de fato teremos p um recobrimento trivial. A ultima implicacao tambem e
simples.
Finalizamos a secao com o teorema principal.
Proposicao 3.10. Toda variedade conexa M possui um recobrimento duplo
orientado.
Demonstracao. Basta denirmos o conjunto

M como sendo o conjunto dos
pares ordenados (x, O
x
), sendo O
x
e uma orienta cao do espaco tangente
TM
x
. E denimos a projecao p :

M M por p(x, O
x
) = x.
37
3.8 Particoes da Unidade
Como ja se tornou claro, trabalhar com variedade e trabalhar localmente.
No entanto isto pode gerar um problema de extensao. Um objeto denido na
variedade e visualizado em coordenadas, mas e se quisermos fazer o contratio
denir algum objeto sobre a variedade. Em certo sentido como podemos
denir as coisas apenas localmente teremos problema para fazer o objeto bem
denido sobre toda a variedade. Para este tipo de problema que estudamos
as particoes da unidade.
Primeiramente vejamos que podemos denir uma funcao : R
m
R
suave tal que 0 (x) 1 para todo x e [B[1] = 1 e (x) = 0 se x / B[2]
e quando 1 < [x[ < 2 tem-se 0 < (x) < 1.
Para a construcao da funcao faremos uma exposicao um pouco direta,
sem gracos, todavia matematicamente correta.

E sabido dos cursos basicos
de analise que a funcao : R R, (t) = 0 se t 0 e (t) = exp(1/t)
se t > 0 e uma funcao suave. Denimos agora : R R colocando
(t) = (t+2).(1t) para todo t R. Claro que tambem e suave. Seja
b =

(t)dt =

1
2
(t)dt. Denamos agora a seguinte funcao : R R
suave, denida por (t) = (t)/b se t 0 e (t) = (t)/b se t > 0. Seja
: R R uma funcao suave denida por (t) =

(s)ds =

t
2
(s)ds.
Por m a funcao procurada e denida por
: R
m
R dada por (x) = ([x[)
Sendo constante em torno de zero vemos que de fato e suave.
Para usarmos a funcao acima para atingirmos o nosso objetivo fazemos
a seguinte observacao que nao deveria ser de difcil visualizacao. Dado p
A M onde A e um aberto da variedade M. Existe uma parametrizacao
: B(3) U em M com (0) = p e U A.
Uma famlia ( = (C

)
L
de subconjuntos de uma variedade M diz-se
localmente nita quanto todo ponto p M possui uma vizinhanca V M
que intersecta apenas um n umero nito de conjuntos C

.
Denicao 3.20. Seja M uma variedade. Uma particao da unidade em M
e uma famlia de funcoes (

)
A
, tais que:
1. Para todos os p M e A,

(p) 0;
2. A famlia (supp(

))
A
e localmente nita em M;
3. Para todo p M tem-se

(p) = 1.
Antes de enunciarmos o teorema principal desta secao vejamos mais
uma outra denicao. Dizemos que uma particao da unidade

= 1
e estritamente subordinada `a cobertura ( quando ( = (C

)
L
tem
38
ndices no mesmo conjunto que as funcoes

e, alem disso supp(

) C

para todo L.
Enunciemos doi resultados conhecidos da topologia que nos auxiliarao
na demonstracao do proximo teorema.
Toda variedade M se escreve como reuniao enumeravel M =

i=1
K
i
de compactos com a seguinte propriedade K
i
int.K
i+1
.
Toda cobertura aberta ( de uma variedade M pode ser renada por
uma cobertura aberta localmente nita, formada por imagens de pa-
rametrizacoes : B(3) U tais que os abertos do tipo (B(1)) ainda
cobrem M
De fato o ultimo resultado e provado utilizando-se o primeiro.
Teorema 3.21. Dada uma cobertura aberta ( = (C

)
A
de uma variedade
M, existe uma particao da unidade

A

= 1 estritamente subordinada
a cobertura (.
Demonstracao. Considere um renamento localmente nito (

= (U
i
)
iN
da
cobertura dada, com U
i
= (B(3)). Para todo natural i denamos

i
:
M R associada a
i
da seguinte forma,

i
(x) = (
1
(x)) se x
i
(B(3)
e
i
(x) = 0 caso contrario. Os suportes V
i
= supp.

i
formam uma cobertura
localmente nita de M que rena (. Portanto

i
e uma funcao suave
positiva em todos os pontos da variedade M.
Denamos
i
: M R por
i
=

i
/

, claro que

i
= 1, supp.
i
=
V
i
. Com isso obtemos uma partic cao da unidade, todavia queremos uma
particao da unidade que seja estritamente subordinada a cobertura (. Basta
considerar uma funcao escolha f : N L escolhemos umndice = f(i) L
tal que supp
i
= V
i
C

. Para cada L denimos

f(i)=

i
. E
assim obetemos o que queriamos.
3.8.1 Aplicacoes
Metricas Riemannianas
Uma metrica riemanniana e uma aplicacao que associa a cada ponto p
da variedade M uma produto interno no espaco tangente TM
p
. Se chamar-
mos de g a uma metrica riemanniana em M iremos denotar por g
p
(., .) para
o produto interno denido em TM
p
. Assim como quando denimos ori-
enta cao em uma variedade imposmos uma condicao de continuidade, para
nos tambem nao e interessante que este produto interno varie arbitraria-
mente ao se percorrer os espacos tangentes. Queremos falar tambem aqui
de algum tipo de continuidade ou diferenciabilidade no caso. Como era de se
esperar faremos isso olhando a metrica riemanniana g em coordenadas. Seja
39
: U R
m
uma carta local, olhar g em coordenadas e analisar a seguinte
funcao.
g

: (U) R
m
R
m
R
g

((p); a, b) = g
p
(D(p)
1
.a, D
1
.b)
O que deve ser visto com muita naturalidade. Considere agoras as seguintes
funcoes g

ij
: U R, 1 i, j m denidas por g

ij
(p) = g

((p); e
i
, e
j
).
Dizemos portanto que uma metrica riemanniana e suave se as funcoes g

ij
sao suaves.
Teorema 3.22.

E possvel denir uma metrica riemanniana em qualquer
variedade.
Demonstracao. A ideia e muito simples, denir localmente metricas rieman-
nianas induzidas pela metrica em R
n
e levanta-la a variedade e fazer uma
soma com a particao da unidade.
De fato esta metrica por construcao pode ser tomada como sendo su-
ave. Uma variedade M chama-se uma variedade riemanniana se a ela for
fornecida uma metrica riemanniana, em geral denotada pelo par (M, g). O
intuito de se colocar esta estrutura em uma variedade e por exemplo de que
agora podemos falar de caminhos mais curtos entre dois pontos (geodesicas),
discutiremos mais esses assuntos na secao ??
Outras aplicacoes
Vimos na secao anterior como colocamos uma topologia no espaco C
r
(M, N). Comentamos duas formas de muni-lo de uma mesma topologia. De
fato podemos ainda olhar uma outra forma e que gera a mesma topologia.
Vamos estudar o caso C
0
(M, N) onde N e um espaco metrico. Seja :
M R
+
e f C
0
(M, N) uma vizinhanca fundamental de f e da forma
1(f, ) = g C
0
(M, N) [ d(f(x), g(x)) < (x), x M. Para ver
que assim denida, esta topologia coincide com a dada na secao anterior
essencialmente se resume a entender o seguinte resultado.
Lema 3.3. Seja M =

1
K
i
onde K
i
e compacto e K
i
int.K
i+1
. Seja a
n
uma seq uencia de n umeros reais positivos. Existem funcoes f, g positivas e
de classe C

tais que
supf(x) [ x K
i+1
K
i
a
i
; infg(x), [ x K
i+1
K
i
a
i
Demonstracao. Fa camos o caso do supremo. O outro segue as mesmas
ideias. Denamos funcoes f
i
: K
i
(0, ) indutivamente. Seja f
1
= a
1
.
Seja f
i

l
i=1
tal que nos seus respectivos domnios elas satisfazem a propri-
edade que buscamos para f e tal que f
i
= f
i2
em K
i2
, para 3 i l.
Seja 1 M um aberto que contem K
l
int.K
l
e esteja contido em int.K
l+1
,
40
seja R tal que 0 < < min(inff
l
(x) [x K
l
K
l1
, a
l+1
). Seja
: M [0, 1] tal que = 1 em K
l
1 e = 0 em K
l+1
1 K
l
. A funcao
procurada ca denida como
f
l+1
(x) = (x)f
l
(x) + (1 (x))
Esta construcao garante a boa denicao da seguinte funcao
f(x) = lim
i
f
i
(x)
Fixado o ponto x M em um momento este limite permanece constante,
e satisfaz a propriedade por construcao.
Observacao: Usa-se particoes da unidade para provar a existencia da
funcao usada no lema acima.
Proposicao 3.11. Seja X um campo de vetores em M, entao existe uma
funcao suave positiva tal que o uxo do campo Y (x) = g(x)X(x) esta de-
nido para todo tempo.
Demonstracao. Cobrimos a variedade M por compactos encaixados (K
i

int.K
i+1
). Olhemos para a faixa F
i
= K
i
int.K
i1
. Por ser um compacto
existe um tempo t
i
> 0 tal que as orbitas levam pelo menos um tempo t
i
para ultrapassarem esta faixa. Sabemos que diminuindo a velocidade do
campo aumenta-se o campo. Podemos cobrir a faixa por uma quantidade
nita de vizinhancas coordenadas, olhando em R
n
sabemos que podemos
diminuir o campo de tal forma que o uxo leve pelo menos um tempo 1 para
passar por essa vizinhanca. Assim existe um n umero a
i
> 0 tal que nesta
faixa o uxo de a
i
X esta denido para pelo menos um tempo 1. Seja f uma
funcao como a descrita no lema acima. Temos que o campo Y procurado
pode ser denido como Y (x) = f(x)X(x).
3.9 Grupos de Lie
Denicao 3.23. Um Grupo de Lie e uma variedade G, dotada de uma
estrutura de grupo cuja multiplica cao m : G G G, m(x, y) = xy, e a
inversao : G G, (x) = x
1
sao aplicacoes C

.
Falaremos um pouco sobre os grupos de Lie pois eles serao usados na
secao seguinte. Vejamos que as seguinte funcoes sao difeomorsmo.
_
L
x
: G G, L
x
(y) = xy (translacao `a esquerda por x)
R
x
: G G, R
x
(y) = xy (translacao `a direita por x)
De fato e facil ver que todas as funcao acima denidas sao bijecoes, e de
fato podemos explicitar suas inversas
(L
x
)
1
= L
x
1 ; (R
x
)
1
= R
x
1
41
Assim para checar que sao difeomormos, tendo em vista a forma da suas
inversa basta checar que sao C

. Provemos por exemplo que L

x
C

. A
funcao j
x
: G G G , j
x
(y) = (x, y) e um mergulho suave, e como
L
x
= m j
x
segue que L
x
C

.
De particular interesse para muitas aplicacoes sao os grupos de matri-
zes que sao subgrupos de GL(n, R) o conjunto das matrizes nn invertvel
com entradas reais, e a operacao de produto e a multiplica cao e a inversao
de matrizes e a inversa.
Seus subgrupos mais importantes sao o grupo ortogonal O(n), o grupo
especial linear SL(n, R) e o grupo ortogonal especial S(n).
O(n) = M GL(n, R) [ MM
t
= M
t
M = 1
SL(n, R) = M GL(n, R) [ detM = 1
SO(n) = O(n) SL(n, R)
A tambem o analo complexo. GL(n, C) sao as matrizes nn com entra-
das complexas invertveis. Algum de seus principais subgrupos sao o grupo
unitario U(n), o grupo especial linear SL(n, C) e o grupo unitatio
especial SU(n).
U(n) = M GL(n, C) [ MM

= M

M = 1
SL(n, C) = M GL(n, C) [ detM = 1
SU(n) = U(n) SL(n, C)
Sendo que neste caso em U(n) o smbolo

siginica que estamos conside-
rando o conjugado hermitiano.
De fato todos esses conjuntos sao grupos de Lie, segue do resultado
Todo subgrupo fechado H de um grupo de Lie G e um grupo de Lie.
enunciamos este resultado por completeza mas nao o demonstraremos aqui,
sendo encontrado em qualquer bom livro sobre grupos de Lie.
Denicao 3.24. Seja G um grupo de Lie e M uma variedade. A acao de
G em M e uma funcao suave : GM M que satisfaz
i (e, p) = p para todo p M;
ii (g
1
, (g
2
, p)) = (g
1
g
2
, p).
OBS: Em geral usa-se a notacao gp para (g, p).
Vejamos alguns exemplos de acoes.
Considere um campo de vetores sobre uma variedade M, o uxo gerado
por este campo fornece uma acao de R em M.
42
Se M GL(n, R) e x R
n
entao uma acao natural denida de GL(n, R)
sobre R
n
e dada por (M, x) = M.x. A acao dos subgrupos de GL(n, R)
sao denidos de forma analoga. No entanto eles podem atuar em espacos
menores, como por exemplo O(n) atua na esfera n 1 dimensional e raio r,
: O(n) S
n1
(r) S
n1
(r).
Denicao 3.25. Seja G um grupo de Lie que age sobre uma variedade M
por : GM . A acao e chamade de
a) Transitiva se, para todo p
1
, p
2
M existe um elemento g G tal
que (g, p
1
) = p
2
;
b) Propriamente descontnua se para todo elemento nao trivial g ,= e
de G tem-se
g
: M M nao tem ponto xo;
c) Efetivo se (g, p) = p para todo p M entao g = e.
Sobre o resultado que comentamos acima podemos ver tambem que o
subgrupo de G denido por H(p) = g G [ (g, p) = p conhecido como
grupo de isotropia e um grupo fechado de G logo um grupo de Lie. No
caso em que G atua propriamente descontinuamente sobre M temos que
H(p) = e.
Seja G um grupo de Lie e sua acao sobre uma variedade M. Entao
considera o seguinte conjunto M/ sendo a relacao de equivalencia dada
por, x y se, e somente se, existe g G tal que (g, y) = x. De fato, M/
e uma variedade (Vide [8]).
Exemplo: Considere a variedade produto R M
m
sendo M um varie-
dade e f : M M um difeomorsmo. Considere a seguinte acao, que age
propriamente descontinuamente sobre R M.
Z (R M) R M
(n, (t, x)) (t +n, f
n
(x))
Se a variedade M for um crculo e o difeormorsmo f por a identidade
tem-se que M/ e o toro. No caso de f ser a reexao M/ se trata da
garrafa de Klein.
Dizemos que um campo X de vetores em um grupo de Lie G e invari-
ante `a esquerda se (L
g
)

X = X para todo g G E analogamente dizemos

que X e invariante `a direita se (R
g
)

X = X. Com isso campos invarian-

tes cam completamente determinados ao conhecermor o seu valor para um
determinado espaco tangente. Por exemplo, criamos todos os campos inva-
riantes `a esqueda da seguinte forma. Seja X(e) um vetor no espaco tangente
T
e
G, sendo e o elemento neutro do grupo G. Denimos o unico campo X
invariante `a esquerda assumindo o valor X(e) em T
e
G como sendo
X(g) = D(L
g
)
e
X(e)
43
Analogamente denimos os campos invariantes `a direita
X(g) = D(R
g
)
e
X(e)
Proposicao 3.12. TG e difeomorfo a GT
e
G
Demonstracao. Podemos explicitar o difeomorsmo.
: GT
e
G TG
(g, v) = dL
g
(v)
Este simples resultado possui varias implicacoes. Ainda nao denimos
alguns conceitos mas para frisar veremos que a proposicao acima implica
que G e paralelizavel (secao 4), orientavel (secao 3.7), e tem caracterstica
de Euler (secao 8) igual a zero.
Lembramos que
L
g
[X, Y ] = [L
g
X, L
g
Y ]
e portanto fazemos a denicao a seguir
Denicao 3.26. O conjunto dos campos invariantes a esquerda (direita)
munidos da operacao de colchete de Lie [, ] e chamado de algebra de Lie e
denotado por g.
Denicao 3.27. Denimos a funcao exponencial de G como sendo a funcao
exp : g G
X X
1
(e)
onde X
t
e o uxo proveniente do campo invariante X.
Teorema 3.28. A exponencial e um difeomorsmo local de uma vizinhanca
e g e e G.
Denicao 3.29. Uma representa cao de um grupo de Lie e um homomor-
smo de grupos
: G Aut(V )
onde V e um espaco vetorial.
Onde Aut(V) sao os endomorsmo de V ou seja, aplicacoes lineares
invertveis.
No caso de grupos de Lie, o conjunto dos automorsmo de G, Aut(G),
e formado pelas transformacoess : G G que sejam difeomorsmos e
isomorsmos de grupo. Ou seja e
1
sao homomorsmos de grupos
((g
1
g
2
) = (g
1
)(g
2
)). Dado h G denamos a seguinte funcao
44
I
g
: G G
g hgh
1
e um homomorsmo, e um difeomorsmo. Observe que I
h
= R
h
1 L
h
.
Denicao 3.30. A representacao adjunta de G e o homomorsmo
Ad : G Aut(g)
Ad(g) = (dI
g
)
e
3.10 Assuntos Diversos
Vejamos como generalizar, naturalmente, os conceitos e resultados vistos
anteriormente nos espacos euclidianos.
Campos de Vetores e Curvas Integrais
Uma campo de vetores X em uma variedade M e uma funcao que associa
a cada p M um vetor tangente X(p) T
p
M. E portanto uma curva
integral do campo X e uma curva (t) em M tal que

(t) = X((t))
Vale portanto, pois olhamos em coordenadas, todo as os resultados que
conhecemos para EDOs em R
n
. Estamos considerando campos suaves, ou
seja, tomandado uma parametrizacao o pull-back de X pela parametrizacao
e um campo suave.
Proposicao 3.13. O Grupo dos difeomorsmo em uma variedade conexa M
agem transitivamente, isto e, dado p, q M existe f Dif(M), f : M M
tal que f(p) = q.
Demonstracao. Dado p, q M dena o conjunto
/ = x M [ f Dif(M), f(p) = x
Basta provarmos portanto que /e um aberto e fechado em M e portanto
/ = M e provamos o que queriamos. Basta observamos que dado um ponto
qualquer y M entao localmente podemos achar um difeomorsmo que
leva y a qualquer outro ponto em sua vizinhanca. Pois podemos olhar em
cartas e assim para levarmos o ponto y a um ponto z considere localmente
em torno de y o campo constante zy e multiplique por uma bump function
para que que se anule fora de uma vizinhanca e nao tenha problema.
Provemos que / e aberto, e para ver que e fechado e o mesmo raciocnio.
Dado y / considere uma vizinhanca, 1
y
, de y tal que dado z 1
y
existe
difeomorsmo
z
tal que
z
(y) = z. Seja f o difeomorsmo tal que f(p) = y
entao
z
f e um difeomorsmo que leva p em z e portanto z /.
45
Teorema de Stokes
Sejam M uma variedade e / = (|

)) um atlas. Entao uma k

forma diferenciavel em M e denida como uma famlia
=

onde

k
(

(|

)) e satisfazem a condicao de compatibilidade, isto e

(
1

Denotamos

k
(M) = k-forma diferenciavel em M
A propriedade do pull-back nos permiti denir a diferencial exterior de
uma forma
k
(M) naturalmente como
d = d

E continuam validas todas as propriedades antes estabelicidas para as

formas denidas em abertos euclidianos.
Teorema 3.31 (Teorema de Stokes). Sejam
k1
(M) de suporte com-
pacto e M uma variedade com bordo k dimensional, entao vale

M
d =

Teorema de Frobenius
Dado um campo X sobre um variedade M encontramos curvas integrais,
ou seja, encotramos uma variedade cujo espaco tangente e gerado por X.
O que dizer se estivessemos considerando por exemplo dois campos, X e Y ,
em que sentido poderiamos falar de curvas integrais? Talvez superfcies tais
que o seu espaco tangente seja gerado pelos vetores X e Y . Essencialmente
e isso que faremos agora, generalizar a ideia de curva integral
Denicao 3.32. Uma distribuicao T r-dimensional na variedade M e uma
funcao que a cada ponto p M associa um subespaco r-dimensional do
espaco tangente de T
p
M de maneira suave.
Denicao 3.33. Uma subvariedade N M e uma variedade integral se
T
p
N e o subespaco da distribuicao T no ponto p. Se uma variedade in-
tegral existe em todo ponto de M entao dizemos que a distribuicao T e
completamente integravel.
46
Conseq uentemente toda distribuicao 1-dimensional e completamente in-
tegravel. Dado um campo X em M dizemos que o campo X pertence a
distribuicao T se X(p) T
p
.
Proposicao 3.14. Se X e Y sao campos suaves pertencentes a uma distri-
buicao T completamente integravel, entao [X, Y ] pertence a T.
Uma distribuicao e involutiva se dado quaisquer dois campos suaves X,
Y pertencentes a T tem-se que [X, Y ] pertence a T.
Teorema 3.34. (Teorema de Frobenius) Uma distribuicao e completamente
integravel se e somente se e involutiva.
cao da unidade.
teorema de hopf.
comutativa) e C
r
se e somente se f
i
: U
i
R
k
, f
j
= f
i
(
i

1
j
em
U
i
U
j
.
CP
1
difeomorfo a S
2
), espaco projetivo quaternionico, variedade de gras-
sman (real e complexa), espa co quociente e variedade bandeira.
do toro, esfera, plano eh quociente de D
2
por subgrupos de difeos holo-
morfos agindo descontinuamente em D
2
, vide apendice) recobrimento duplo
orientavel.
coes suaves menores que esses n umeros em compactos e positiva etc
variedade compactas com bordo.
47
4 Fibrados
Nesta secao faremos o estudo de brados, terminando na ultima secao fa-
lando sobre a topologia de Whitney. Iniciamos com o brado tangente.
Seja M uma variedade de dimensao m denimos o brado tangente como
sendo
TM = (p, v) [p M v T
p
M
Considere a funcao projecao : TM M denida por (p, v) = p.
Vejamos que o brado tangente e uma variedade de dimensao 2m. Um altas
de M induz um atlas em TM da seguinte forma. Seja U
i
um aberto de
M relacionado a uma carta
i
. Induzimos uma parametrizacao em
1
(U
i
)
como
: (U
i
) R
m

1
(U
i
)
(x, v) (
1
(x), D
1
x
v)
Olhamos TM como sendo o espaco topologico gerado pelo abertos de
(U
i
) R
m
enviados pela funcao denida acima.
Igualmente importante, temos o brado cotangente, denido como
sendo o conjunto
T

M = (p, ) [ p M, (T
p
M)

Seja | M um aberto coordenada, com parametrizacao . Dado

(T
p
M)

entao =

i

i
(d
i
)
p
, onde (d
i
)
p
e o dual do vetor d
1
e
i
, e
portanto as funcoes
T

(|) (|) R
n
(p, ) (
1
(p), . . . ,
n
(p),
1
, . . . ,
n
)
sao parametrizacoes para o brado cotangente.
4.1 Fibrado Vetorial
Estenderemos a ideia de brado tangente com os brados vetoriais que sao
um tipo particular de brado. Estaremos primordialmente interessados nos
brados vetoriais e por isso dedicaremos mais tempo para o seu estudo.
Denicao 4.1. Um brado vetorial sobre um espaco topologico B consiste
de
espaco topologico E, chamado de espaco total,
um funcao contnua : E B, chamada de funcao projecao,
para cada b B, o conjunto
1
(b) possui estrutura de espaco vetorial
real
48
Alem disso, satisfaz a condicao de trivialidade. Dado b B existe
vizinhanca U de b e um homeomorsmo
U R
n
h

1
(U)
tal que xado x U temos que h(x, .) : R
n

1
(x) e um isomorsmo
entre espacos vetoriais.
O par (U, h) acima e chamado de coordenada local de . Dizemos
que e um brado trivial se podemos escolher U igual `a B. O espaco
vetorial
1
(b) e chamado de bra sobre b. Podemos denotar a bra sobre
b tambem como F
b
ou F
b
(). Quando um brado for trivial tambem recebe
o nome de paralelizavel.
Exemplo 4.2.
a) Um exemplo trivial de brado e dado por um espaco topologico
qualquer B e construimos a funcao projecao : B R
n
B, que e
claramente paralelizavel.
b) Poderiamos nos perguntar, por exemplo, se o brado tangente de S
2
e trivial. Suponha que o brado tangente de S
2
seja trivial, considere
a trivializacao h : S
2
R
2
TS
2
, podemos construir o seguinte
campo de vetores sobre S
2
nao nulo dado por X(x) = h(x, v) onde
v R
2
qualquer vetor nao nulo. Mas isto nao pode acontecer como
sera mostrado na secao 8.
Queremos manipular e comparar brados. A primeira denicao neste
sentido e a
Denicao 4.3. Considere os brados e sobre um mesmo espaco base B.
Dizemos que o brado e isomorfo ao brado se existe um homeomorsmo
f : E() E()
tal que f manda F
b
() isomorcamente ao correspondente espaco vetorial
F
b
().
Os campos de vetores sobre uma variedade sao um exemplo do que de-
nimos como secao de um brado, neste caso do brado tangente.
Denicao 4.4. Uma secao de um brado e uma funcao s : B E tal
que s(b) = b.
Exemplo 4.5. Considere P
n
o espaco projetivo real, seja E(
1
n
) = (x
, x) [ R P
n
R
n+1
. Dena a funcao projecao : E(
1
n
) P
n
por
(x, v) = x. Chequemos a condicao de trivialidade para vericarmos
que se trata de um brado vetorial de fato. Considere um aberto U P
n
49
que nao contenha pontos antpodas quando olhamos de volta em S
n
pela
projecao que induz a topologia quociente. Denimos uma coordenada local
de
1
n
por
h : U R
1
(U)
h(x, t) = (x, tx)
Veja que foi necessario a escolha de U como acima para que a funcao h casse
bem denida. Dizemos que
1
n
e o brado canonico de linha sobre P
n
.
Proposicao 4.1. O brado
1
n
sobre P
n
nao e trivial.
Demonstracao. Suponhamos, por absurdo, que seja um brado trivial. To-
memos a trivializacao h : P
n
R, podemos denir uma secao s : P

E(
1
N
)
que nao se anula em nenhum ponto por s(x) = h(x, 1).
Seja p : S
n
P
n
a projecao canonica e considere a funcao
: S
n
E(
1
n
), (x) = p s(x)
Portanto, existe uma funcao contnua t : S
n
R tal que (x) =
(x, t(x)). Temos (x) = (x), entao t(x) = t(x). Queremos ver
que existe x
0
R tal que t(x
0
) = 0. Se t(x) 0 entao t(x) 0 e como
S
n
e conexa a imagem de S
n
por t e um intervalo, logo deve conter o zero.
Portanto a secao s se anula no ponto x
0
, absurdo.
Se um brado trivial for isomorfo a um brado entao e trivial.
De fato, seja f : E() E() o homeomorsmo dado pelo isomorsmo dos
brados. Considere a trivializacao h : B R
n
E() e denimos uma
trivializacao de por

h = f h.
Proposicao 4.2. Sejam e brados vetoriais sobre um mesmo espaco
base B com bra R
n
. Se f : E() E() for uma funcao contnua que leva
F
b
() isomorcamente a F
b
(), entao f e um homeomorsmo. Portanto
e isomorfo a .
Demonstracao. Temos que f e injetiva, para ver que f e um homeomorsmo,
basta vericarmos que f
1
e contnua. Assim como fazemos com variedades
fazemos com brados, isto e, vericaremos em cartas.
Tome b
0
B e escolhamos vizinhancas coordenadas (u, g) de e (V, h)
de onde b
0
U V . Em coordenadas
h
1
f g : (U V ) R
n
(U V ) R
n
queremos vericar que esta funcao e um homeomorsmo. Fixado b U V
temos o seguinte isomorsmo h
1
f g(b, x) = (b, y), sendo f contnua
temos que
y
i
=

j
f
ij
(b)x
j
50
onde y = (y
1
, . . . , y
n
) e a matriz [f
ij
(b)] e invertvel e contnua, estas duas
propriedades por hipotese sobre f. Denotemos [F
i
j(b)] como sendo a matriz
inversa de [f
i
j(b)] que depende continuamente de b. A inversa da nossa f
em coordenadas e
g
1
f
1
h(b, y) = (b, x) , onde x
j
=

j
F
ji
(b)y
i
Esta funcao e contnua, como queriamos provar.
Teorema 4.6. Um brado vetorial com bra R
n
e trivial se e somente se
exitem s
1
, . . . , s
n
sec oes que formam uma base de
1
(b) para todo b B.
Demonstracao. Suponha que seja um brado trivial, seja h : B R
n

E() sua trivializacao. Denimos as secoes s

i
por s
i
(b) = h(b, e
i
). Logo os s
i
assim denidos formam uma base em cada espaco vetorial
1
ja que h(b, .)
e um isomorsmo de R
n
e
1
.
Fa camos a outra implicacao. Suponha que existam s
1
, . . . , s
n
secoes que
formam uma base nas bras. Portanto denimos
f : B R
n
E()
f(b, x) = x
1
s
1
(b) +. . . +x
n
s
n
(b)
Segue da proposicao acima que e isomorfo ao brado trivial
n
B
.
Operacoes com Fibrados
brados de outros previamente conhecidos.
Considere um brado vetorial e B

um subconjunto do espaco base

B denimos o brado restrito a B

, isto e [B

, como sendo o brado

em que o novo espaco base seja B

, o espaco total e dado por

1
(B

) e a
funcao projecao e dada pela restricao de a E([B

). E as bras F

b
([B

)
coincidem com F

b
().
Podemos tambem fazer o pull-back de brados. Considere o brado
vetorial e sejam B
1
um espaco topologico e f : B
1
B uma funcao
qualquer, podemos denir o pull-back do brado por f como sendo o
brado f

denido da seguinte forma. O espaco base sera B

1
, o espaco
total e denido como
E(f

) = (b, e) [ f(b) = (e) B

1
E
A funcao projecao
1
: E(f

) B
1
e dada por
1
(b, e) = b. Denimos
E
1
:= E(f

), para nao carregar a notacao. O seguinte diagrama comuta

onde

f(b, e) = e.
51
E
1
e
f
//

B
1
f
//
B
Denimos a estrutura vetorial em
1
1
(b) da maneira natural. Assim

f leva a bra F
b
(f

) isomorcamente na bra F
f(b)
(). Para checar a
condicao de trivialidade de f

, considere (U, h) uma vizinhanca coordenada

do brado , dena U
1
= f
1
(U) e denimos a vizinhanca coordenada
(U
1
, h
1
) de f

por
h
1
: U
1
R
n

1
1
(U
1
)
h
1
(b, x) = (b, h(f(b), x))

E possvel mostrar que dado um brado e funcoes f, g : B

1
B
homotopicas entao os brados f

e g

sao isomorfos.
agora.
Denicao 4.7. Sejam e dois brados vetoriais. Um mapa brado de
em e uma funcao contnua
g : E() E()
que leva cada espaco vetorial F
b
() isomorcamente em uma bra F
b
()
Na denicao acima, dena a funcao dos espacos bases g : B() B()
por g(b) = b

.
Proposicao 4.3. Se g : E() E() e um mapa brado e se g : B()
B(), a funcao dos espacos base como denido acima, entao e isomorfo
ao pull-back de por g, isto e

= g

.
Demonstracao. Denimos
h : E() E( g

)
h(e) = ((e), g(e))
O que segue da proposicao 4.2.
Uma outra maneira natural de se contruir brados e pelo produto car-
tesiano de brados. Sejam
1
e
2
brados, denimos o brado
1

2
, da
seguinte forma, sua funcao projecao e denida como, onde os ndice 1 e 2 se
referem aos brados
1
e
2
respectivamente,

2
: E
1
E
2
B
1
B
2
Onde as bras sao F
b
1
(
1
) F
b
2
(
2
).
52
Fibrado Universal
Ja estudamos a variedade grassmaniana G
n
(R
n+k
) que e o conjunto dos
n planos em R
n+k
. Denimos o brado canonico
n
(R
n+k
) sobre G
n
(R
n+k
)
da seguinte forma. O espaco total E sera
E(
n+k
n
) = (P, v) [ P e um n-plano , v P
: E G
n
(R
n+k
), (P, p) = P
O brado
n
(R
n+k
) e tambem conhecido como brado universal. Isto
porque em certo sentido ele contem todos os brados vetoriais cuja bra seja
um espaco euclidiano.
Teorema 4.8. Seja um brado vetorial com bra R
n
sobre uma variedade
compacta, entao existe um mapa brado de em
n
(R
m
) para m sucien-
temente grande.
Demonstracao. Para construirmos um mapa brado f :
n
(R
m
) e
suciente construir

f : E() R
m
que nas bras F
b
() seja linear e injetiva. E assim podemos encontrar f
denindo da seguinte forma
f(e) = (

h(
1
(e)),

f(e))
.
Considere U
1
, . . . , U
r
abertos de B tal que [U
i
seja trivial e existam
aberto V
1
, . . . , V
r
que seja cobertuda de B e V
i
U
i
. E construimos tambem
W
1
, . . . , W
r
sendo para os V
i
o que os V
i
sao para os U
i
. Denimos funcoes
contnuas

i
: B R
tal que
i
seja identicamente igual a 1 em W
i
, e zero fora de V
i
.
Seja h
i
:
1
(U
i
) R
n
uma trivializacao de [U
i
. Denimos
h

i
: E() R
n
com h

i
(e) = 0 se (e) / V
i
e h

i
(e) =
i
((e))h
i
(e) para (e) U
i
.
Terminamos a demonstracao denindo a espera funcao

f por

f : E() R
rn

f(e) = (h

1
(e), . . . , h

r
(e)).
53
4.2 Fibrados
Acima foram estudados os brados vetorias. No entanto estes sao um caso
particular do que chamamos de brado, os quais possuem grupo estrutural
GL(k, R), quando a bra possui dimensao k. Em seguida estudaremos um
tipo freq uente de brado, denominado de brado principal.
Denicao 4.9. Um brado e uma quntupla (E, , B, F, G) satisfazendo
E, B e F sao espacos topologicos chamados respectivamente de espaco
total, espaco base e bra;
: E B e uma funcao contnua chamada de projecao e
1
(b)
denotado por F
b
ou F
b
() e homeomorfo a F;
G e um grupo de Lie que age a esquerda de F e chamado de grupo
estrutural;
Localmente trivial: Dado p E existe U B aberto contendo
(p), existe homeomorsmo : U F
1
(U) onde
b
= (b, .) e
um homeomorsmo sobre
1
(b);
Sejam U
i
e U
j
referentes a uma trivializacao com U
i
U
j
,= ,

(b, .) =

,b
( = i, j) entao
i,j
(b) =
1
i,p

j,p
: F F sao chamadas
de funcoes de transicao. E
i,j
(b) e um elemento de G, com isto
queremos dizer que existe g G tal que
i,j
(b)(f) = gf;
As funcoes de transicao satisfazem as seguintes propriedades:
a)
i,j
(p) = identidade (p U
i
);
b)
i,j
(p) =
j,i
(p)
1
(p U
i
U
j
);
c)
i,j
(p)
j,k
(p) =
i,k
(p) (p U
i
U
j
U
k
).
A denicao de brado pode aparecer pedante em um primeiro momento,
no entanto o estudo preliminar de brados vetoriais deve tornar a denicao
acima relativamente natural. Para organizarmos as ideias introduzimos mais
um conceito.
Denicao 4.10. Um cociclo de um espaco topologico B e uma cobertura
aberta U
i
de B e funcoes contnuas
ij
: U
i
U
j
G tais que
ij
.
jk
=
ik
se U
i
U
j
U
k
,= e
ii
= Id.
Esta denicao implica que se tomarmos uma cobertuda U
i
de B entao
as funcoes de transicao formam por denicao um cociclo. Os cociclos sao
exatamente a maneira pela qual colamos as vizinhancas trivializadoras. O
proximo resultado nos fornece uma maneira de criarmos brados por meios
dos cociclos.
54
Teorema 4.11. Dado um cociclo
ij
: U
i
U
j
G de B e uma acao de
G sobre um conjunto F. Entao esta acao e este cociclo denem um brado
: E M tal que
U
i
:
1
(U
i
)
homeo
U
i
F.
Demonstracao. Tome o conjunto

E =
_
i
U
i
F e denimos a seguinte
relacao de equivalencia em

E, (p, v) (q, w) se e somente se p = q e p U
i
,
U
j
, w =
ij
(p)v. Sendo como denida mais acima.
Portanto o teorema segue se tomarmos E =

E.
O brado das forma ca determinado ao fornecermos a acao
GL(R
n
)
k
(R
n
)
k
(R
n
)
(T, ) (T
1
)

Mais geralmente podemos falar do brado tensorial (l,k),

GL(R
n
) L(R
n
, . . . , (R
n
)

, . . . ; R) L(R
n
, . . . , (R
n
)

, . . . ; R)
(L, T) L

T : (v
1
, . . . , v
l
,
1
, . . . ,
k
) (Lv
1
, . . . , Lv
l
,
1
L, . . . ,
k
L)
l = 0, k = 1 e o brado tangente.
l = 1, k = 0 e o brado cotangente.
Fibrado Principal
Um brado e dito brado principal se o seu grupo estrutural, G, e
identico a bra F. Podemos denir uma acao de G `a direita em G sobre
as bras da seguinte forma. Seja
i
: U
i
G
1
(U
i
) uma trivializacao
local, temos
1
i
(u) = (p, g
i
) e denimos a acao da seguinte forma
1
i
(ua) =
(p, g
i
a), ou seja
ua =
i
(p, g
i
a)
vejamos que esta bem denida, isto e independe da trivializacao usada.
ua =
j
(p, g
j
a) =
j
(p,
ji
(p)g
i
a) =
i
(p, g
i
a)
Assim temos a acao
P G P
(u, a) ua
Teorema 4.12. Dado uma secao s : U P de um brado principal, entao
s dene uma trivializacao em P denida em U G.
Demonstracao. Para u
1
(p) onde p U existe um unico g
u
G tal
que u = s(p)g
u
. Denimos : U G P da seguinte forma
1
(u) =
(p, g
u
).
55
Vimos para brados vetoriais um resultado que garante a trivializacao
de um brado no caso de termos secoes linearmente independentes, existe
resultado analogo para brados principais, proveniente do resultado acima.
Corolario 4.1. Um brado principal e trivial se, e somente se, existe uma
secao global.
4.3 Fibrado dos k-jatos
A seguir deniremos o conjuto dos k-jatos, que podem ser munidos de uma
topologia de varias maneiras diferentes. Adotaremos a mesma usada em [3].
Denicao 4.13. Um k-jato, J
k
(M, N), de M em N e uma classe de equiva-
lencia [x, f, U]
k
da tripla (x, f, U) onde U M aberto contendo x tal que
f : U N uma aplicacao C
k
. A relacao de equivalencia e dada da se-
guinte forma. [x, f, U]
k
= [x

, f

, U

]
k
se x = x

, f(x) = f

(x

) e para
parametrizacao em torno de x e em torno de f(x) as funcoes f e f

em
coordenadas (i.e.
1
f e
1
f

respectivamente) suas derivadas

no ponto
1
(x) coincidem ate a ordem k.
Temos associado a este conjunto a seguinte funcao : J
k
(M, N) M,
[x, f, U]
k
= x. Coloquemos J
k
x
(M, N) =
1
(x). Usaremos a notacao
tambem [x, f, U]
k
= j
k
x
f.
Para o caso especial de M = R
m
e N = R
n
escrevemos J
k
(R
m
, R
n
) =
J
k
(m, n). Para um aberto U R
m
e f C
k
(U, R
n
), o k-jato de f num
ponto x U tem um representante canonico, que e o seu poliomio de Taylor
de grau k. Note que podemos descrever todas estas classes de equivalencia
pelo seguinte conjunto
P
k
(m, n) = R
n

j=1
L
j
s
(R
m
, R
n
).
Sendo que L
j
s
(R
m
, R
n
) representa o espaco vetorial formado pelas matrizes
j-lineares simetricas de R
m
em R
n
.
Assim temos as seguintes identica coes.
J
k
x
(m, n) = P
k
(m, n)
J
k
(m, n) = R
m
P
k
(m, n)
Iremos colocar uma topologia natural nos k-jatos e depois ver que o k-
jatos e uma variedade, de fato um brado vetorial sobre M N e bra

k
j=1
L
j
s
(R
m
, R
n
). Sejam (, U) e (, V ) cartas em M e N respectivamente.
Considere a seguinte bijecao
: J
k
(U, V ) J
k
(U, V )
56
j
k
x
f j
k
y
(f
1
), y = (x)
Impomos que (, J
k
(U, V )) sejam as cartas para J
k
(M, N).
Terminamos com a observacao que dada uma funcao f : M N ela
induz uma secao no brado dos k-jatos como sendo j
k
f : M J
k
(M, N)
dada por j
k
f(x) = [x, f, M]
k
. Veremos na proxima subsecao como podem
ser usadas essas secoes do brado para se colocar uma topologia no espaco
de funcoes.
J
k
(M, N)

M N

1
yys
s
s
s
s
s
s
s
s
s

2
%%
J
J
J
J
J
J
J
J
J
J
M
j
k
f
FF

f
//
N
varidade F dene um brado com bra F em B.
transitivamente nas bras e sem pontos xos.
57
5 Espaco de Funcoes e Transversalidade
somente se i)df(x) e 1-1 para todo x em M. ii)f(x)=f(y) com x diferente de
y entao ImDf(x)ImDf(y) E A e residual.
5.1 Topologia C
r
de Whitney
O conjunto C
r
(M, N) das funcoes suaves de M em N pode ser munido de
uma topologia natural, chamada de topologia forte de Whitney. A qual
chamaremos apenas de topologia de Whitney. Poderiamos colocar tambem
uma topologia conhecida como topologia fraca de Whitney ou topologia
compacto-aberto, mas nao e de nosso interesse. Para mais da topologia fraca
de Whitney conra [3] captulo 2. As duas topologias concidem quando M
e compacto.
Uma base de abertos ou simplesmente uma base num espaco topologico
X e uma colecao B de subconjuntos abertos de X que chamaremos de aber-
tos basicos ou vizinhancas fundamentais com a seguinte propriedade: Todo
subconjunto aberto A X se exprime como reuniao A =

de abertos
B

B. Mais a frente o que faremos em geral e exibir as vizinhancas funda-

mentais de um espaco e considerar a topologia gerada por eles, no entando
nao caremos de forma enfadonha provando que elas geram topologias, no
entando lembremos dois resultados da topologia que tem este intuito.
Fato Topologico 1: Seja X um espaco topologico. Uma colecao B de
abertos de X constitui uma base em X se, e somente se, para todo aberto
A X e cada x A existe B
x
B tal que x B
x
A.
Fato Topologico 2: Seja B uma colecao de subconjuntos de um con-
junto X. Para que B seja base de uma topologia em X e necessario e
suciente que se cumpram as condicoes abaixo.
1. Para todo x X, existe B B tal que x B;
2. Se x B
1
B
2
onde B
1
, B
2
B entao exite B B tal que x B
B
1
B
2
.
Denicao 5.1. A topologia de Whitney de C
r
(M, N) e denida declarando-
se os abertos que geram a sua topologia, construdos a seguir.
Sejam f C
r
(M, N), =
i
, U
i

i
atlas de M localmente nito, K =
K
i

i
cobertura por compactos de M com K
i
U
i
tal que f(U
i
) V
i
,
onde =
i
, V
i

i
atlas de N e =
i

i
.
Denimos portanto uma vizinhanca fundamental ^
r
(f; , , K, ) de f
como sendo o conjunto das g : M N tal que para todo i , g(K
i
) V
i
e
[[D
k
(
i
f
1
i
)(x) D
k
(
i
f
1
i
)(x)[[ <
i
para todo x
i
(K
i
), k = 0, . . . , r.
Observacao: Depois da denicao acima, sempre que falarmos em C
r
(M
, N) que bem entendido que estaremos supondo que o espaco esta munido
da topologia de Whitney.
58
Lembremos que a denicao de espaco de Baire, e um espaco topologico
com a propriedade de que interse cao enumeravel de conjutos aberto e denso
e um conjunto denso. Dizemos que um conjunto e residual quando e a
interse cao enumeravel de abertos densos. Estando em um espaco de Baire,
a propriedade de ser residual e muito forte. Para citar um exemplo, suponha
que se prove que conjuntos que possuam uma determinda propriedade P
i
seja
residual, isto implica que o conjunto que satisfaz todas estas propriedades
continua sendo residual, em particular denso.
Teorema 5.2. O espaco topologico C
r
(M, N) e um espaco de Baire.
Demonstracao. A prova segue exatamente a mesma ideia para se provar
que R
n
e um espaco de Baire. Sejam A
i
C
r
(M, n) abertos e densos,
devemos vericar que dada uma vinhzinhanca 1(f) de f em C
r
(M, N) entao
(

i=1
A
i
) 1(f) ,= .

E claro que para provar o teorema podemos supor que
a vizinhanca e na verdade uma vizinhanca fundamental como descrita na
denicao acima. Ou seja 1(f) = ^
r
(f; , , K, ).
Sendo A
1
aberto e denso, existe g
1
A
1
1(f). Existe aberto 1(g
1
)
A
1
1(f). A vizinhanca e tomada como sendo uma vizinhanca fundamen-
tal e o conjunto dos s associados sao tomados pequenos o suciente para
que sejam menores do que a metade dos relativos ao da vizinhanca 1(f).
Denimos agora indutivamente e dessa forma os s associados vao sempre
diminuindo em pelo menos a metade do anterior.

E claro que temos que as g

i
convergem localmente uniformente, assim
como suas respectivas derivadas. Portanto segue da analise no R
n
que temos
lim
i
g
i
= g C
r
(M, N).
Podemos colocar tambem uma topologia no espaco C
r
(M, N) da se-
guinte forma. Seja f C
r
(M, N) e U J
r
(M, N) aberto, denimos uma
vizinhanca fundamental de f por 1(f, U) = g C
r
(M, N) [ j
r
g(M) U.
E de fato essa topologia gera a topologia de Whitney.
A topologia de Whitiney e uma topologia que contem muitos abertos.
Ou seja, falar em convergencia neste espaco e muito forte. (Vide exerccios
abaixo)
Exerccio 5.1.
a) C
r
(R, R) nao possui uma base contavel em nenhum ponto.
b) se f
n
e uma seq uencia que converge a g em C
r
(M, N) entao existe
um compacto K M e um inteiro m tal que f
n
(x) = g(x) para todo
n > m e para todo x M K.
Esta secao introduz um conceito importante conhecido como transversa-
lidade, que e a generalizacao do conceito de valor regular e como tal possui
um analogo ao teorema apresentado na subsecao 3.5.
59
Denicao 5.3. Sejam M, N variedades, S uma subvariedade de N. Dize-
mos que uma funcao suave f : M N e transversal a S, denotado por
fS, se para x f
1
(S) e f(x) = z temos que Df
x
TM
x
+TS
z
= TN
z
.
denicao de valor regular quando a subvariedade N tem dimensao zero.
Logo, como uma extensao da denicao de valor regular tambem e natural
esperar o proximo teorema.
quando consideramos S sendo uma variedade de dimensao zero, ou seja,
um ponto. E como prometido segue o teorema.
Teorema 5.4. Sejam f : M N e fS, onde S N e uma subvariedade.
Entao f
1
(S) e uma subvariedade de M de codimensao igual a codimensao
de S em N.
Demonstracao. Sendo S uma subvariedade de N, dado um ponto z S
considere uma carta adaptada a S centrada em p, isto e.
: 1 I
s
I
ns
(1 S) = I
s
0, (z) = 0
onde I
s
R
s
, I
ns
R
ns
sao abertos. Seja : R
s
R
ns
R
ns
a
funcao projecao. Dado x M tal que f(x) = z, entao zero e valor regular
da funcao
f : | 0 R
ns
onde, por continuidade, | M e uma vizinhanca de x M tal que f(|)
1.
Por m, observe que 0 R
ns
e valor regular da aplicacao f,
e portanto f
1
(S) | e uma subvariedade de codimensao n s em M.
Poderiamos nos perguntar quao comum sao as funcoes transversais a
uma dada subvariedade S. O proximo teorema, e um passo nesta direcao.
E mais a frente veremos que elas sao de fato muito comuns (densas).
Proposicao 5.1. Sejam M, S, N variedades e considere uma funcao F :
M S N. Se FZ sendo Z uma subvariedade de N, entao para um
conjunto residual o S temos que F
s
Z, com s o. Onde F
s
(.) = F(., s) :
M N.
Demonstracao. Seja : MS S a projecao sobre a segunda coordenada
e W = F
1
(Z) e uma variedade. Mostrando que se s S for um valor
regular da restricao [
W
: W S, implicar F
s
Z; o teorema seguira pelo
Teorema de Sard.
Dado a TN
z
onde z = F(x, s) por transversalidade existe b T
(x,s)
(M
S) tal que
DF
(x,s)
(b) a TZ
z
60
Escrevamos b = (w, e). Teriamos acabado caso e = 0 ja que F restrita
a M s e F
s
. Para ver que podemos zerar e usamos a condicao de valor
regular. Como
d
(
x, s) : TM
x
TS
s
TS
s

E a projecao, entao existe (u, e) T

(x,s)
W e portanto DF
(x,s)
(u, e) TZ
z
.
Conseq uentemente o vetor v = w u TM
x
.
E assim
DF
s
(v)a = DF
(x,s)
[(w, e)(u, e)]a = [DF
(x,s)
(w, e)a]DF
s
(u, e) TZ
z
Considere uma funcao f : U R
n
, U R
k
um aberto. Denamos a
funcao
F : U R
n
R
n
F(x, v) = f(x) +v
Assim, dado qualquer subvariedade Z de R
n
olhando a derivada com
relacao a segunda coordenada de F que e a identidade isso fornece clara-
mente FZ. Por conseguinte a Proposicao (5.1) fornece um conjunto resi-
dual para o qual F
v
e tranversal a Z. Como podemos pegar v tao pequeno,
em norma, quanto se desejar, F
v
e apenas uma pequena perturbacao de f.
espaco C
r
(M, N) com a topologia de Whitney e um espaco de Baire.
Tendo este resultado em mente poderemos provar o proximo teorema.
Teorema 5.5. Seja S subvariedade fechada de N. Entao o conjunto g
C
r
(M, N)[gS e aberto e denso.
Demonstracao. Usamos a mesma notacao que na denicao 5.1.
Abertura: Seja f : M N transversal a S, queremos achar uma vizi-
nhanca fundamental ^ para o qual todas as funcoes em^ sejam transversais
a S.
Considere uma cobertura V
i
para S de forma que em V
i
a subvariedade
S seja a imagem inversa do valor regular zero (Teorema 5.4). E para terminar
de cobrir N podemos tomar N S. Estes sao portanto os abertos V
i
da
denicao. (Se necessario fazemos renamento localmente nito)
Construimos os U
i
da seguinte maneira. Seja p M. Existem duas pos-
sibilidades f(p) S ou f(p) / S . No primeiro caso, tome uma vizinhanca
de p, U
p
, tal que, por S ser fechada, tenhamos f(U
p
) S = . Para o outro
caso, f(p) pertence a algum V
i
e consideramos uma U
p
pequeno o suciente
para que f(U
p
) V
i
. Como fS lembremos da demonstracao Teorema 5.4
quando zemos uma composicao com a funcao projecao e vimos que zero
e valor regular. Com isso podemos achar uma vizinhanca V
p
tal que fS
em V
p
. Da construcao desses conjuntos U
p
fazemos um renamento caso ne-
cessario e escolhemos a cobertura que queriamos U
i
, de forma tambem que
61
K
i
U
i
sejam cobertura de M. (esses U
i
podem ser tomados claramente
como tendo fecho compacto, supomos esses U
i
indo em bolas de raio 3 e os
K
i
em bolas de raio 2.)
Devemos construir os
i
. Para os U
i
que sao levados por f em conjunto
que nao intersecta S, podemos pegar por compacidade
i
pequeno o su-
ciente para que a perturbacao continue nao tocando. E para os outros V
p
,
comofS lembremos da demonstracao Teorema 5.4 quando zemos uma
composicao com a funcao projecao e vimos que zero e valor regular. Pegue-
mos
i
pequeno o suciente para manter esta propriedade, ja que sobrejeti-
vidade e propriedade aberta da derivada e assim ca provado a abertura.
Densidade: Considere os seguintes conjuntos T
i
= g C
r
(M, N)[gS
em K
i
. Se provarmos que os T
i
sao abertos e densos a sua intersecao

i=0
T
i
e o conjunto que queremos provar ser denso. Sendo C
r
(M, N) um espaco
de Baire teriamos justamente o que queremos. Sabemos por um raciocnio
analogo ao feito acima que os T
i
sao abertos. Para ver a densidade olhamos
uma funcao qualquer em cartas. Como os K
i
estao contidos em uma carta,
considero uma bump-function ,, que seja identicamente 1 em K
i
e se anule
fora de uma vizinhanca de K
i
. Considererando em coordenadas escrevermos
a funcao

f = f + v, com isso posso levantar esta funcao. E para que ela
seja de fato uma aproxima cao de f, como esta xo temos pela discussao
feita consecutivamente a Proposicao 5.1 podemos pegar este v tao pequeno
que a funcao seja transversal em K
i
e que seja uma aproxima cao.
No teorema acima a abertura se deve ao fato de S ser fechada. A gura
(4) fornece uma ideia de como pode ser quebrada a abertura. No caso S e
uma variedade 1 dimensional aberta e a imagem de f nao toca S. O que
garante a tranversalidade. No entanto e possvel fazer pertubacoes nas o
suciente de f para que sua imagem seja tangente a variedade S. Logo, se S
for aberta nao podemos garantir a abertura, mas ainda temos a densidade.
Figura 4: Nao abertura da transversalidade
Corolario 5.1. Seja f : M N uma func ao suave e S uma subvariedade
qualquer de N. Entao o conjunto g C
r
(M, N)[gS e denso.
62
Demonstracao. Podemos escrever S =

i=1
K
i
sendo K
i
subvariedades
compactos (com bordo) e K
i
int.K
i+1
. Consideremos portanto

T
i
=
g C
r
(M, N) [ gK
i
. Se provarmos que estes conjuntos sao abertos e
densos, usamos novamente que estamos em um espaco de Baire e

i=1

T
i
e denso. Sendo esta intersecao exatamente as funcoes que procuravamos
mostrar que formam um conjunto denso.
Novamente procedemos com a mesma demonstracao feita no teorema
acima, no entanto de forma um pouco mais cuidadosa. O unico problema
poderia aparecer quando temos f(x) K
i
. Mas neste caso a analise e feita
olhando-se para int.K
i+1
e assim neste conjunto podemos proceder para
este ponto e ver que as vizinhancas obtidas como na demonstracao acima
servem para este caso, pois como K
i
int.K
i+1
provando a tranversalida
de f(x) int.K
i+1
automaticamente implica a tranversalidade em K
i
.
uma variedade sem bordo, no entanto nao e difcil ver que a demonstracao
segue facilmente se supormos que S seja uma variedade fechada com bordo.
Como um fato que segue da topologia iremos escrever S =

i=1
S
i
onde S
i
sao subvariedades com bordo de N. Com isso analogamente ao que foi
feito no teorema denimos os conjuntos

T
i
= g C
r
(M, N) [ gS
i
que
pelo teorema e aberto e denso. Novamente, como C
r
(M, N) e espaco de
Baire,
Exerccio 5.2. Seja M uma subvariedade de R
n
de codimensao 3. Entao
R
n
M e simplesmente conexo.
SUAVES
5.2 Densidade de Funcoes Suaves
Se tivermos uma funcao f : M R
n
contnua, entao podemos fazer uma
aproxima cao (na topologia C
0
) dela por funcoes C

como uma simples

aplicacao da particao da unidade. No entanto olhando o conjunto C
r
(M, N)
(com a topologia de Whitney) queremos fazer aproximacoes por funcoes C

nesta topologia. O problema, agora, se torna mais delicado pois queremos

controlar tambem as derivadas.com isso iremos utilizar a ideia de um con-
ceito conhecido na analise como convolucao.
Proposicao 5.2. Sejam U R
m
aberto e K U compacto. Dados um
n umero > 0 e uma funcao f : U R
n
de classe C
r
, existe uma aplicacao
g : R
m
R
n
de classe C

, tal que [g f[
r
< em K.
Observacao: Onde [g f[
r
< , se refere a [f
(j)
(x) g
(j)
(x)[ < com
x K e j 0, 1, . . . , r.
Existencia
de h! Ver
teo. tietze
dif.: Elon,
varied.
dif. pag
202
63
Demonstracao. Seja > 0 tal que V

(K) U, onde V

(K) e uma -
vizinhanca de K. Tomemos uma h : R
m
R
n
de classe C
r
tal que h = f em
V

(K). Se for tomado sucientemente pequeno, entao para j = 0, 1, . . . , r

sup[h
j
(x +y) h
j
(x)[ ; x K, [y[ < ,
por continuidade uniforme. Seja
n
: R
m
R uma funcao nao-negativa
suave, tal que

(y) = 0 quando [y[ e tal que

= 1. Denamos
g : R
m
R
n
pondo
g(x) =

(y)h(x +y)dy =

(z x)h(z)dz
Podemos derivar sob o sinal da integral o que nos permite ver que g C

.
Concluimos a demonstracao com a seguinte desigualdade. Para x K,
[g
(j)
(x)f
(j)
(x)[ = [g
(j)
(x)h
(j)
(x)[ = [

(y)[h
(j)
(x+y)h
(j)
(x)]dy[
sup
|y|
[h
(j)
(x +y) h
(j)
(x)[.

(y)dy <
A ideia da prova esta em considerar a funcao g na demonstracao acima.
A funcao g pode ser denida tambem como sendo a convolucao de

por
h. Isto e de fato tudo que precisaremos deste conceito. Convolucoes tem a
propriedade de suavizar funcoes.
Em rumo aos nossos teoremas de densidade precisaremos do seguinte
lema auxiliar.
Lema 5.1. Seja f : B(3) R
n
uma aplicacao de classe C
r
. Dado um
n umero real > 0, existe uma aplicac ao h : B(3) R
n
de classe C
r
tal que
h = f em B(3) B(2);
[h f[
r
< em B(3);
h C

em B(1).
Alem disso, em parte alguma de B(3), h e menos diferenciavel do que f.
Demonstracao. Tome uma bump-function, que valha 1 em B(1) e se anule
fora de uma vizinhanca de B(1). Com isso considere a seguinte funcao
h = f + .(g f). Como esta xada posso tomar pela proposicao acima
g sucientemente perto de f de modo a satisfazer [h f[
r
< em B(3). E
o resto e facil ver.
Provemos agora um importante teorema sobre densidade das funcoes
C

.
Teorema 5.6. Sejam M e N variedades. Entao as funcoes f : M N ,
C

sao densas em C
k
(M, N) (topologia de Whitney).
64
Demonstracao. Iremos construir com o auxlio dos resultados acima uma
seq uencia de aplicacoes que vao dando localmente a propriedade desejada,
de aproxima cao, culminando com uma funcao do tipo almejada.
Seja f : M N C
r
(M, N). Comecemos a seq uencia de aproxima coes
com f
0
= f. Seja 1(f) = ^
r
(f; , , K, ) uma vizinhanca fundamental de
f como denido na secao 4 e manteremos a notacao la adotada. Observando
que podemos supor (fazendo renamentos) que os U
i
estao contidos em
domnios de cartas locais. Denimos f
1
pelo lema acima de forma que
f
1
= f
0
em M U
i
e f
1
e suave em K
1
, [f
1
f
0
[
r
< /2
1
e se necessario
fazendo uma aproximacao mais na claro que podemos garantir tambem
que f
1
(U
j
) V
j
para todo j. Denimos uma seq uencia que tenha a seguinte
propriedade.
1. f
i
= f
i1
em M U
i
;
2. f
i
C

(M, N) em K
1
. . . K
i
;
3. [f
i
f
i1
[
r
< /2
i
em M;
4. f
i
(U
j
) V
j
para todo j.
Suponha entao que construimos uma tal seq uencia ate a ordem f
i1
vejamos como construimos f
i
satisfazendo as propriedades acima. Mais
uma vez pelo lema acima fazemos a utilizacao somente em U
i
e com isso
modicamos f
i1
apenas neste conjunto e claro satisfazendo portanto os
outros itens, assim como feito para f
1
.
Denimos portanto a nossa funcao como sendo o limite das f
i
que esta
bem denida tendo em vista que para um dado ponto existe uma vizinhanca
e um momento em que a seq uencia f
i
se torna constante, por construcao. E
a propriedade (3) nos garante que nao saimos de 1(f). E assim ca provado
o teorema.
5.3 Imersoes e Mergulhos
Pouca coisa temos ate agora sobre as imersoes e os mergulhos alem de suas
denicoes. No entanto esses conceitos sao importantes demais para serem
esquecidos. Comecemos falando sobre os mergulhos.
Teorema 5.7. Seja M uma variedade compacta. Entao existe um mergulho
de M em R
q
para algum q.
Demonstracao. Sendo M compacta entao existe uma quantidade nita de
carta U
i
,
i

k
i=1
tais que suas imagens contenham sempre a bola B[2] e
M =

int.
1
i
(B(1)). Seja : R
m
R tal que [B[1] 1 0 < < 1 em
B(2) B[1] e [B[2]
c
0. Denimos agora as funcoes suaves

i
: M R
65

i
=
_

i
em U
i
0 em M U
i
Denimos tambem as funcoes
f
i
: M R
m
f
i
(x) =
_

i
(x)
i
(x) se x U
i
0 se x M U
i
Podemos agora explicitar o nosso mergulho, como sendo dado por.
g : M R
k(m+1)
g(x) = (f
1
(x),
1
(x), . . . , f
k
(x),
k
(x))
Primeiramente vemos que g e imersao em todos os ponto porque dado um
ponto localmente temos que uma das funcoes f
i
e de fato uma carta. Vejamos
que e injetiva, tome x ,= y (devemos checar que g(x) ,= g(y) entao se eles
estao em conjutos diferente da imagem da inversa de B(1) pela carta entao os

i
relativos as suas bolas os tornara diferente por exemplo
i
x
(x) = 1 mas

i
x
(y) ,= 1 e se eles estiverem dentro de uma mesma bola entao alguma f
i
e de
fato uma carta o que mostra a diferenca. Por m um teorema da topologia
garante que toda funcao continua injetiva denida em um compacto e um
homeomorsmo sobre a sua imagem. Sendo assim o teorema ca provado.
Aproveitamos para fazer algumas observacoes convenientes ao momento.
Primeiramente este teorema foi provada para uma variedade compacta, no
entanto o teorema e valido para variedades quaisquer nao necessariamente
compacta (por exemplo vide [3]). Estes teoremas jogam uma luz sobre as
variedades, vejamos o porque. Em geral o estudo de variedade e iniciado
com as superfcies em espacos euclidianos, pega-se toda a intui cao necessaria
e entao passa-se as variedades denidas em espacos topologicos e aparente-
mente e feito uma grande generalizacao. No entanto se f : M R
p
for um
mergulho implica que f(M) e uma variedade de R
p
e que M e f(M) sao
difeomorfas. Ou seja no fundo toda variedade pode ser olhada como uma
variedade em algum espaco euclidiano.
Focaremos agora os esforcos para provar um teorema sobre densidade
das imersoes, mas antes necessitamos do seguinte lema.
Lema 5.2. Sejam f : B(3) R
s
de classe C
r
, F B(3) um subconjunto
fechado tal que f[F e uma imersao e s 2m. Dado > 0, existe h : B(3)
R
s
suave tal que [h f[
r
< em B(3), h[B(1) F e uma imersao e h = f
em F [B(3) B(2)].
66
Demonstracao. Para nao nos perdermos em tecnicalidades provaremos a
seguinte armacao. Dado > 0, existe uma imersao g : B(3) R
s
suave
com [g f[
r
< em B(3).
Como ja provamos mais acima a densidade das funcoes suaves e claro
que nao ha dano em supor f suave. Tentemos achar uma g que tenha a
forma g(x) = f(x) + Ax sendo A uma matriz s m. Buscamos uma A
pequena e tambem de forma que g

(x) = f

(x) + A tenha posto m ou seja,

nao tenha posto menos do que m tendo em vsta que B(3) R
m
.
As matrizes s m de posto i < m constituem uma superfcie N
i
R
sm
de dimensao (m i)(s i). Temos s 2m e i m 1 o que fornece a
desigualdade (mi)(s i) 1.[2m(m1)] = M + 1. As superfcies N
i
tem portanto codimensao m em R
sm
.
Objetivamos utilizar o lema ??, para tal basta ver que f

: B(3) L(R
m
,
R
s
) R
sm
e suave e com isso pelo referido lema existe um conjunto residual
tal que f

(x) +A tem posto m para todo x B(3), forncendo as condicoes

que precisavamos para terminar a prova do lema.
Munidos do lema acima podemos partir nalmente para a demosntra cao
do proximo teorema.
Teorema 5.8. Sejam M
m
e N
s
variedades. Se s 2m as imersoes g :
M S constituem um subconjunto denso de C
r
(M, N) para qualquer r.
Demonstracao. Peguemos uma vizinhanca fundamental 1(f) = ^
r
(f ;
, , K, ) de f, queremos achar uma funcao que seja uma imersao e que
esteja em 1(f).
Deve se notar semelhanca (restrita ao assunto de cada um) dos lemas
5.1 e 5.2, nao por menos a demonstracao do teorema que veremos segue as
linhas da demonstracao da densidade das funcoes suaves.
Isso ca claro que podemos construir a seguinte seq uencias f
i
de
funcoes
1. f
0
= f e f
i
= f
i1
em M V
i
;
2. [f
i
f
i1
[
r
< /2
i
em M;
3. f
i
e uma imersao em K
i
.
4. f(U
i
) V
i
.
Onde os V
i
e K
i
seguem a notacao que adotamos sempre que falamos na
vizinhaca 1(f) = ^
r
(f; , , K, ). Essa sequencia e construda de forma
totalmente analoga ao que zemos no teorema de densidade de funcoes su-
aves, como ja foi mencionado.
67
Estes teoremas sobre imersoes e mergulhos podem ser melhorados. Por
exemplo, de posse do teorema acima pode-se melhorar o teorema que vimos
sobre mergulhos. Uma variedade M
m
compacta pode ser mergulhada em
R
2m
. O que e algo muito mais forte do que tiamos. Esta fora do escopo
deste trabalho a demonstracao deste resultado no entando e valido comentar
rapidamente como e feita.

E observar que este resultado segueria se for
provado os dois resultados a seguir.
Seja f : M
m
R
N
uma imersao. Se N > 2n entao existe um hiper-
plano R
N1
R
N
tal que a composicao de f e a projecao sobre este
plano e uma imersao.
Suponha que M
m
seja uma variedade compacta e f : M R
N
seja
um mergulho. Se N > 2n+1, entao existe um hiperplano R
N1
R
N
tal que a composicao de f com a projecao neste hiperplano e um
mergulho.
Estas ideias podem ser encontradas em [17] assim como outros teoremas
interessantes sobre imersoes e mergulho.
68
6 Teorema Colar e Teoria de Morse
Iremos agora estudar resultados que descrevem geometricamente melhor nos-
sas variedades, assim como desenvolver tecnicas de construcao de variedades.
6.1 Vizinhanca Tubular e Teorema Colar
Iniciamos com uma denicao.
Denicao 6.1. Um colar em uma superfcie com bordo M e um mergulho
f : M [0, ] M tal que f(x, 0) = x.
Teorema 6.2 (Teorema Colar). Dada uma superfcie com bordo M entao
M tem um colar.
Demonstracao. Considere uma cobertura aberta U
i

iI
localmente nita
do bordo de M. E W
i
U
i

iI
tambem seja uma cobertura aberta de
M e tais que o fecho W
i
U
i
. Em cada U
i
considere o campo constante de
velocidade 1 por exemplo que aponta para cima, e levantamos este campo
a variedade multiplicando por uma bump-function de modo que em W
i
seja
identicamente 1 e se anule fora de uma vizinhanca de W
i
. Com isso podemos
somar todos estes campos na superfcies que e tranversal ao bordo. Com
isso o uxo dara a funcao da denicao do colar.
Teorema 6.3 (Vizinhanca Tubular). Seja M R
m+n
uma superfcie com-
pacta de dimensao m. Entao existe um funcao estritamente positiva :
M R
+
tal que duas quaisquer bolas normais B

(x; (x)) e B

(y; (y)),
com centros em pontos distintos x ,= y de M, sao disjuntos. A reuniao
V

(M) =
xM
B(x; (x)) dessas bolas normais e um aberto em R
m+n
e a
aplicacao : V

(M) que associa a cada z V

(M) o centro x = (z) da

unica bola normal B

(x; (x)) que contem z e suave.

Demonstracao. Primeiro fazemos a prova localmente e depois estendemos a
toda variedade. Cubramos a variedade M por abertos U tal que estejam
denidos campos vetoriais suaves que linearmente independetes e ortogonais
a variedade M. Denimos a aplicacao : U R
n
R
m+n
por (q, y) =
q +

n
i=1
y
i
.w
i
(q). Teremos que a derivada D(p, 0) : TM
p
R
n
R
m+n
e um isomorsmo. E portanto pelo teorema da aplicacao inversa podemos
restringir o aberto U p e tomar > 0 de modo que seja um difeo-
mormo de U B() sobre um aberto de R
m+n
. Esse aberto em R
m+n
e
justamente uma bola normal. No caso compacto, como cobrimos M por
essas vizinhancas peguemos uma quantidade nita, e diminuimos a ponto de
continuarmos com difeomorsmo. No caso nao compacto toma-se a funcao
pequena o suciente para que as bolas nao se interceptem.
quando M nao e compacta. Vide [3] ou [10].
69
Figura 5: Vizinhanca Tubular
6.2 Campos Gradiente
Faremos o estudo de campos gradientes sobre variedade. Um conceito im-
portante e que sera usado em breve para o entendimento da teoria de Morse.
Considere (M, <, >) uma variedade Riemanniana, nao necessariamente
compacta. Seja f : M R uma funcao suave, entao denimos o campo
gradiente de f como sendo o campo f que satisfaz a seguinte relacao.
df(p).v =< f(p), v >
p
, onde p M, v T
p
M

E, portanto, muito facil se construir um campo gradiente em uma varie-

dade. Vejamos entao algumas propriedades deste tipo de campo. Fixemos a
notacao por enquanto, onde
t
(x) sera a curva integral do campo gradiente
f, xado alguma funcao f : M R.
Lema 6.1.
d
dt
f (
t
(x)) 0
Valendo a igualdade se, e somente se, f(
t
(x)) = 0.
Demonstracao. Temos da denicao e pela regra da cadeira que
d
dt
f(
t
(x)) =
df

t
(x)
d
dt

t
(x) =< f(
t
(x)), f(
t
(x)) >
Isto quer dizer f e nao decrescente ao longo das trajetorias de f.
Proposicao 6.1. Seja . Se p M e tal que existe seq uencia t
i
de tal que
lim
i
t
i
= (x) e lim
i

t
i
= p. Entao p e um ponto crtico de f.
Demonstracao. Suponha que p nao seja um ponto crtico de f, portanto o
campo e nao nulo em p. Como
t
i
se aproxima de p em um dado momento
tempos que de tao proximo a curva integral deve atravessar a superfcies de
nvel f
1
(f(p)). Portanto considere R
+
tal que f(

(x)) > f(p). Por

continuidade existe vizinhanca V de p tal que x V temos f(

(x)) > f(z),

assim para todo t > implica que
t
(x) / V . Absurdo.
Assim como na analise no R
n
temos que o gradiente da funcao aponta
para a direcao de maior crescimento da funcao.
70
6.3 Funcoes de Morse
Considere por exemplo uma funcao suave f : M R. Olhemos para um
ponto x M com isso existem duas possibilidades x e um ponto regular
ou df
x
= 0, no caso de ser um ponto regular podemos olhar em outras
coordenadas e a funcao torna-se apenas a projecao na primeira coordenada.
Ou seja, para um valor regular temos uma boa descricao do comportamento
da funcao, gostariamos de saber entao qual o comportamento local da funcao
no caso de df
x
= 0.
Denicao 6.4. Seja f : M R dizemos que x e um ponto crtico nao
degenerado se for um ponto crtico e se a matriz Hessiana no ponto x e nao
singular.
Um esclarecimento que fazemos com relacao a denicao e a de que
quando falmos em ponto crtico e matriz Hessiana estamos olhando em coor-
denadas, no entanto como era de esperar esses conceitos cam bem denidos
pois sao invariantes por mudancas de coordenadas. Ou seja, se f for uma
funcao em R
k
com ponto crtico nao degenerado no ponto 0 e um difeo-
morsmo que leva o zero no zero entao a funcao f tem ponto crtico nao
degenerado em 0.
Os pontos crticos nao degenerados sao bons de se trabalhar pois eles
sao isolados, para ver isso basta considerar a funcao g : R
k
R
k
, g =
(
f
x
1
, . . . ,
f
x
k
) entao df
x
= 0 se e somente se g(x) = 0 mas pelo teorema da
funcao inversa g e um difeomorsmo local.
Denicao 6.5. f : M R e chamada de funcao de Morse se todos os seus
pontos crticos sao nao degenerados.
comportamento da funcao em torno de um ponto regular, o interessante
e que temos um analogo para os pontos crticos nao degenerados dado pelo
lema abaixo.
Vejamos um resultado famoso conhecido como lema de Morse o qual nos
mostra a simplicidade de se trabalhar com pontos crticos nao degenerados.
Lema 6.2 (Lema de Morse). Seja a um ponto crtico nao-degenerado de
uma funcao f : | R
n
R. Existe um difeomorsmo : 1 J com
a J | e 0 V e (0) = a tal que
f(y) = f(a) y
2
1
. . . y
2
i
+y
2
i+1
+. . . +y
2
n
.
Demonstracao. Suporemos que a = 0 e f(a) = 0. Pela formula de Taylor
com resto integral temos que para um aberto pequeno o suciente J 0 ,
f(x) =
n

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

1
0
(1 t)

2
f
x
i
x
j
(tx)dt.
A matriz A = (a
ij
(x)) e simetrica, temos que f(x) =< A(x).x, x >.
Denamos A
0
= 1/2A(0). A funcao que leva as matrizes no seu quadrado
71
e um difeomormo local em torno da identidade. Assim podemos escrever
A(x) = A
0
B(x)
2
. Tendo em vista a simetria de A e A
0
obtemos que
A = A
0
.B
2
= (B
T
)
2
.A
0
Tira-se assim que B
2
= A
1
o
(B
T
)
2
A
0
= (A
1
0
B
T
A
0
)
2
. Tomando o aberto J
menor se necessario temos que B = A
1
0
B
T
A
0
. Assimf(x) =< A(x).x, x >=<
B(x)
T
A
0
B(x), x >=< A
0
B(x)x, B(x)x >
Finalizamos com duas observacoes, a primeira e que a funcao : J
R
n
denida por (x) = B(x)x e um difeomorsmo local. Assim f(x) =

a
ij
(x)x
i
x
j
, e a segunda e que podemos levar por um difeomormo f a
forma esperada.
O interessante e que as funcoes de Morse podem parecer a primeira vista
como muito particulares. Todavia o proximo teorema explicita que elas sao
extremamente comuns.
Teorema 6.6. Seja f : M R
N
R, M uma variedade, e f
a
= f +
a
1
x
1
+ . . . + a
N
x
N
, a = (a
1
, . . . , a
N
) R
N
. Entao para quase todo a f
a
e
uma funcao de Morse.
Demonstracao. Provemos que se f for suave em um aberto de R
k
entao para
quase todas k-uplas em R
k
temos que f
a
= f + a
1
+ . . . a
k
x
k
e uma funcao
de Morse.
Comsidere novamente a funcao g : U R
k
, g = (
f
x
1
, . . . ,
f
x
k
). A
derivada (df
a
)
p
= (
f
a
x
1
, . . . ,
f
a
x
k
) = g(p) +a
Portanto p e um ponto crtico de f
a
se e somente se g(p) = a. Suponha
que a seja valor regular de g, entao sempre que g(p) = a tem-se (dg)
p
nao singular. Consequentemente todo ponto crtico de f
a
e nao degenerado
e o teorema segue pelo teorema de sard.
As funcoes de Morse (f : M R) estao intimamente relacionadas com
a topologia da variedade M como veremos a seguir. A referencia [13] trata
mais a fundo esta teoria do que trataremos aqui, ja nas primeira paginas e
feito o estudo da funcao altura sobre o toro. Olha-se o toro de pe como
mostra a gura.
E analisa-se o que acontece com a imagem inversa.

E sabido que a ima-
gem inversa de um valor regular serao circulos, mas como eles se comportam
ao passarem pelos valores crticos nao degenerados que e o objeto de estudo,
ha uma mudanca no comportamento da variedade. Este primeiro exemplo
carrega muito da ideia do que e o estudo da teoria de Morse. Faremos agora
um tratamento mais sistematico destas ideias que servem de motiva cao para
o que faremos a seguir.
72
Figura 6: Toro
6.4 Teoria de Morse
O objetivo e entender melhor a estrutura de uma variedade M por meio de
uma funcao de morse denida sobre ela. Consideremos que f : M R seja
uma funcao morse suave em uma variedade compacta M. Sejam c
i

l
i=1
os nitos pontos crticos de f, podemos supor tambem que f(c
i
) ,= f(c
j
)
sempre que i ,= j.
Sabemos que M
a
:= f
1
(, a] M e uma variedade compacta com
bordo M
a
= f
1
(a), o objetivo e entender o comportamento da variedade
M
a
a medida que variamos os valores de a R. Este entendimento sera
dados pelos resultados que se seguem.
Proposicao 6.2.
Se a R esta proximo do ponto de mnimo entao M
a
e difeomorfo ao
disco fechado.
Se a R esta proximo do ponto de maximo entao M
a
e difeomorfo a
M disco aberto.
Demonstracao. Por proximo queremos dizer, suponha < a seja o mnimo
de f entao em [, a] nao ha nenhum outro ponto crtico de f. Seja p M
tal que f(p) = , olhemos uma vizinhanca coordenada em torno de p tal
que a funcao f ca dada por f(x) = f(p)

n
i=1
x
2
i
, isto pelo lema de morse.
Entao nessas coordenadas vemos que f
1
[, a] e um disco.
Para o segundo caso considere f. Suponha que e sejam o mnimo e
o maximo respectivamente de f entao torna-se o mnimo de f e assim
(f)
1
[, a] e um disco e portanto f
1
[, a] = ((f)
1
[, a])
c
.
A seguir usamos campos gradientes para obter mais um resultado que
nos ajudara com o nosso objetivo nal. Este resultado mostra que nada de
novo esta acontecendo ao nao passarmos por pontos crticos.
Proposicao 6.3. Se a < b e [a, b] nao contem nenhum valor crtico entao
M
a
e difeomorfo a M
b
73
Demonstracao. Considere o campo X = f. Sabemos que X aponta para
a direcao de maior crescimento da funcao f. Com isso como o campo X
nao se anula na regiao f
1
([a, b]) ele deve apontar em M
a
para o interior do
conjunto f
1
([a, b]). Sabemos que X
t
(x), a curva integral de X, so pode se
acumular em pontos crticos. Portanto X
t
(x) nao pode car preso na regiao
f
1
([a, b]) e nao pode sair por M
a
portanto deve cruzar M
b
.
Existe portanto um funcao : M R
+
suave tal que > 0 e denindo
o campo Y = X temos que Y
1
(M
a
) = M
b
. Temos de fato apenas uma
inclusao mas raciocinando com X vemos que devemos ter a igualdade.
Portanto M
a
e M
b
sao difeomorfos.
Temos entao um entendimento no que acontece neste percurso de a ate
b, explicitamente dado pelo corolario a seguir.
Corolario 6.1. f
1
([a, b]) e difeomorfo a f
1
(a) [a, b].
Por m, falta analisar o comportamento ao se passar por pontos crticos.
Colando uma -Asa. Olhemos f em coordenadas, tais que em torno
do ponto crtico p, sendo um valor crtico ou seja f(p) = , tenhamos
f = x
2
1
. . . x
2

+x
2
+1
+. . . +x
2
m
O conjunto M

e dado pelo conjunto dos pontos tais que

x
2
1
. . . x
2

+x
2
+1
+. . . +x
2
m

2
E denimos a -Asa como sendo o conjunto
_
x
2
1
. . . x
2

+x
2
+1
+. . . +x
2
m

x
2
+1
+. . . +x
2
m

Teorema 6.7. Se R e o unico valor crtico entre [a, b] onde a e b sao
valores regulares de f entao M
b
e obtida de M
a
colando-se uma -asa. Onde
e o ndice do valor crtico .
74
Demonstracao. Primeiramente observamos que ao colarmos a Asa de-
vemos colar esta asa um pouco deformada para que de fato M

Asa seja
uma variedade diferenciavel.
Novamente por um argumento analogo ao feito na proposicao 6.3 teremos
que a fronteira de M

Asa e mandada pelo campo gradiente a fronteira

de M
+
.
Portanto a variedade M

Asa pode ser levada para a variedade M

+
.
Provando assim o que queriamos.
Dada uma variedade M compacta tomamos uma funcao de morse cujos
os valores crticos nao coincidao e assim podemos rastrear o crescimento
de M ao andarmos pela sua imagem. A medidade que passamos por pon-
tos crticos acrescentamos -asa com sendo o ndice do ponto crtico. A
proposicao a seguir ilustra esta ideia.
Proposicao 6.4. Seja M uma variedade compacta e f : M R uma funcao
de morse que possua apenas dois pontos crticos. Entao M e difeomorfa a
esfera S
n
.
75
Demonstracao. M e compacta portanto f assume maximo e mnino em p
e q respectivamente. Seja a = f(p) e b = f(q). Para ,= a, b nao existe
ponto crtico em [a, ] entao vimos que M

e um disco fechado e para b

acrescentamos um disco. Assim M e a esfera S
n
.
homotopica
76
7 Teoria do grau
Nesta secao estudamos o conceito de grau. Inicialmente estamos interessan-
dos em variedades variedade compactas.
Denicao 7.1. Sejam M e N duas variedades orientadas de mesma di-
mensao. Onde M e compacta e f : M N e uma funcao suave. Denimos
o grau de f relativa ao valor regular y por:
gr(f, y) =

xf
1
(y)
sgn(Df
x
).
Na denicao sgn(Df
x
) signica vericar se a derivada no ponto x pre-
serva ou inverte orientacao. Equivalentemente: vericar se o determinante
da derivada da funcao f em coordenadas e positivo (preserva orienta cao) ou
negativo (inverte orientacao). As coordenadas devem ser olhadas utilizando
um atlas positivo.
A denicao 7.1 requer algumas observa coes. O grau assim denido
depende do valor regular y. O proximo teorema mostra que de fato o
gr(f, y) independe do valor regular e pelo teorema de sard sabemos que toda
aplicacao possui valores regulares. Com isso poderemos denir o conceito
de grau de uma funcao.
Teorema 7.2. Sejam f : M N, M, N orientadas de mesma dimensao e
M compacta e y, z valores regulares de f. Entao gr(f, y) = gr(f, z).
A demonstracao necessitara do seguinte lema.
Lema 7.1. Sejam y e z pontos arbitrrios de N, entao existe um difeomor-
mo h : N N tal que h(y) = z. E mais h preserva a orientacao.
Demonstracao. Primeiramente provemos localmente. Seja | um aberto de
uma vizinhanca coordenada. Suponha que a carta seja da forma : |
B(3), onde B(3) e a bola de raio tres em R
n
. Dados quaisquer dois pon-
tos z, y
1
(B(1)), entao existe um campo cuja trajetoria iniciando em
z intersecte y, e assim o uxo de tempo t
0
(aquele que chega em y) e o
difeomorsmo procurado. Isto e possvel dado que trazemos os pontos para
B(1) e consideremos um campo com tal propriedade. O levamos para N
multiplicando por uma bump function de modo que em B(3)B(2) seja zero
e em B(1) seja um. Isso permite estender o campo a toda variedade.
Observe que o difeomorsmo construdo acima preserva a orientacao, por
ser proveniente de um uxo.
Dados z, y N, considere o conjunto
A = y N [ h : N N difeo. que preserva a orienta cao h(x) = y.
Vejamos que A = N provando ser aberto e fechado. Entretanto, note
que para provar que e aberto ou fechado usamos o mesmo argumento acima.
77
Note que podemos tomar h um difeomorsmo preservando a orienta cao
pois usamos o uxo de campos. Como no tempo zero o uxo e a identidade
ent ao o uxo em qualquer tempo preserva a orienta cao.
Estamos aptos a fazer a prova do teorema.
Demonstracao do Teorema 7.2. Seja como no Lema 7.1. Portanto o lema
implica que o difeormorsmo preserva orienta cao e com isso pela denicao
7.1 ve-se que gr(f, z) = gr( f, z). Todavia temos que gr( f, z) =
gr(f, y).
Podemos agora denir o grau de uma funcao.
Denicao 7.3. Sejam M e N duas variedades de mesma dimensao. Se M
e compacta e f : M N uma funcao suave, denimos o grau de f por
gr(f) = gr(f, y) para algum valor regular y.
Fica claro da denicao que toda funcao que nao seja sobrejetiva tem grau
igual a zero.
homeomorsmo. Orientabilidade de variedades topologicas.
Proposicao 7.1. Se M
n
R
n+1
e uma hiperfcie compacta, entao R
n+1
M
possui duas componentes conexas, uma limitada e outra ilimitada.
Demonstracao. Primeiramente vejamos que possu pelo menos duas com-
ponentes conexas. Suponha por absurdo que nao. Considere a func cao
f : S
1
R
n+1
de forma que toque apenas uma vez na subvariedade M e
que seja de maneira transversal. Portanto o n umero de intersecao e 1. No
entanto podemos transladar a imagem desta funcao de modo a nao inter-
sectar a hiperfcie, neste caso esta funcao teria n umero de interse cao igual a
zero. O que e absurdo por ser homotopica a anterior.
Agora para ver que existem apenas duas componentes conexas usamos
a vizinhanca tubular. Dada qualquer ponto podemos sempre liga-lo a um
ponto que esteja de um lado ou de outro da hiperfcie. Note que uma dessas
componetes deve ser limitada, caso contrario haveria um caminho ligando
as duas sem passar por M.
Exemplo 7.4. Seja M
n
uma variedade compacta, entao existe uma aplicacao
f : M S
n
de grau igual a 1.
Usa aplicacao exponencial. Pega um ponto p M, considera a aplicacao
exponencial, leve o ponto p ao polo norte e caminhando pela exponencial va
ate o polo sul, depois extenda a funcao como constante em sobre o polo sul.
Exerccio 7.1. Seja M
n
uma variedade compacta, entao existe uma funcao
de f : M S
n
de grau zero e sobrejetora.
Exerccio 7.2. Seja M
n
uma variedade compacta, entao existe uma funcao
de f : M S
n
de grau n para todo n N.
78
7.1 Homotopia
Facamos um breve desenvolvimento da teoria de homotopia para com isso
podermos entender mais um pouco sobre o conceito de grau de uma funcao.
Sejam f, g : X Y funcoes e X, Y conjuntos quaisquer. Dizemos que
f e g sao homotopicas se existem uma funcao contnua
F : X I Y ; I = [0, 1]
F(x, 0) = f(x) ; F(x, 1) = g(x).
Dizemos que F e uma homotopia entre f e g. Costumamos chamar a
segunda coordenada da homotopia F por tempo. Ou seja uma homotopia
entre as funcoes f e g e uma deformacao das funcoes tais que no tempo zero
e f e transcorrido uma unidade de tempo chegamos a g.
Exerccio 7.3. Prove que ser homotopico e uma relacao de equivalencia.
Exerccio 7.4. Se p < n, entao um aplicacao suave M
n
S
p
e homotopica
a uma constante.
Exerccio 7.5. O grau da aplicacao antpo A : S
n
S
n
, A(x) = x e
(1)
n+1
.
Exerccio 7.6. Se S
n
S
n
tem grau diferente de (1)
n+1
, entao a aplicacao
possui um ponto xo.
Uma homotopia diferenciavel entre duas funcoes f, g : M
m
N
n
sendo M e N variedades e uma homotopia H sendo que H e diferenciavel,
dizemos portanto que f e g sao diferenciavelmente homotopicas. Pode-se
checar tambem que ser homotopicamente diferenciavel e uma relacao de
equivalencia. Para checar que e uma relacao de equivalencia a propriedade
de transitividade aparentemente poderia causar problema para se fazer a
colagem, no entando usando uma bump-function no tempo podemos sem-
pre supor que a homotopia e constante em uma vizinhanca dos extremos, e
assim pode-se colar sem problema.
Teorema 7.5. Seja f : M N entao existe uma vizinhanca 1(f) de f na
topologia C
0
(M, N) tal que, se g C
0
(M, N) entao f e g sao continuamente
homotopicas.
Demonstracao. Pelo discutido na secao 5.1 podemos considerar N R
q
.
Seja V

(N) uma vizinhanca tubular (secao 6.1) de N. Considere uma vizi-

nhanca fundamental pequena o suciente de f para que toda funcao, g, desta
vizinhanca tenha a propriedade que g(x) V

(N) e a reta que liga f(x) a

g(x) esteja contido em V

(N). Considerando : V

(N) N a projecao
associada a projecao tubular V

(N). Assim denimos a funcao

F : M I N
79
F(x, t) = [(1 t)f(x) +tg(x)]

E facil ver que a funcao F e de fato uma homotopia entre f e g, provando

exatamente o que queriamos.
Exerccio 7.7. Prove o Teorema 7.5 sem supor que N R
q
.
Dica: veja N como uma variedade Riemanniana. Se g e sucientemente
proxima da f, entao existe uma unica geodesica ligando f(x) a g(x) em
tempo 1. Utilize a funcao exponencial para denir a homotopia.
Teorema 7.6. Seja f, g : M N suaves. Se f e g sao continuamente
homotopicas, entao sao suavemente homotopicas.
Demonstracao. Comecamos observando que na prova do Teorema 7.5 e di-
reto vericar que se as funcoes f e g fossem suaves a homotopia entre elas
seria suaves devido a formula explicita da homotopia. Tendo isto em mente,
considere H : M I N uma homotopia entre f e g. Considere uma
aproxima cao suave,G, de H .
3
Tomando esta aproxima cao proxima o
suciente temos que as funcoes G(x, 0) e G(x, 1) estejam proximas o suci-
ente de f e g para usarmos o Teorema 7.5 e pelo observado no incio essas
funcoes seriam diferenciavelmente homotopicas. Sendo a homotopia uma
relacao de equivalencia obtemos, portanto, que f e g sao diferenciavelmente
homotopicas.
Como isso podemos fazer a seguinte denicao.
Denicao 7.7. Seja f : M N uma funcao contnua, com M compacta
e ambas variedades orientadas. Denimos o gr(f) := gr(g) para alguma g
suave homotopica a f.
Os teoremas acima garantem a boa denicao feita acima.
e 7.6. Na demonstracao desses resultados zemos uso da vizinhanca
tubular, no entanto existem outras demonstracoes desses teoremas que en-
volvem fatos da geometria diferencial. metricas riemannianas na secao 3.8 e
justo fazer um rapido comentatio sobre como seria a demonstracao por meio
da geometria diferencial. introduzir o conceitos das geodesicas que sao os
caminhos mais curtos entre dois pontos. Voltando a demonstracao do Teo-
rema 7.5 vemos que em um determinado momento zemos uma homotopia
linear. A geometria diferencial vem substituir exatamente este passo. Para
ajudar na intui cao tenha em mente o Teorema 7.5 com S
n
e a projecao da
vizinhanca tubular sendo simplesmente a projecao radial. Com isso a ho-
motopia que fazemos la e nada mais que ligar os pontos por f(x) e g(x) por
geodesicas. No caso geral a geometria diferencial me garante que eu poderei
3
Nao vimos aproximacao por funcoes suaves denidas em variedades com bordo, entao
por questoes tecnicas pode-se considerar que a homotopia H esta denida em um tempo
maior que 1 e menor que zero e constante numa vizinhanca desses tempos extremais.
80
fazer isto de forma diferenciavel e com a ajuda de uma funcao conhecida
como a exponencial (no sentido que e dado na geometria diferencial) pode-
mos fazer uma demonstracao intuitivamente parecida com a que zemos so
que usando conceitos da geometria diferencial.
mencionados acima serao tratados na secao ?? assim como uma nova
demonstracao do teorema da vizinhanca tubular so que em uma versao mais
intrnseca, assim como uma vizinhanca tubular para variedades com bordo.
7.1.1 Aplicacao: Variedades Topologica
Quando denimos orientacao em uma variedade, pela Proposicao 3.5 vemos
que havia a necessidade de se considerar derivadas. Com isso aparentemente
nao conseguiriamos fazer uma extensao do conceito de orientabilidade para
variedades topologias. No entando a teoria que desenvolvemos nos permite
estender a denicao de orientabilidade. Temos da denicao de grau que
o grau de um difeomorsmo e 1 ou -1. Logo um difeomormo preseva
orienta cao se, e somente se tem grau igual a 1. O que nos intui a fazer a
seguinte denicao.
Denicao 7.8. Seja M uma variedade topologica. Dizemos que M e ori-
entavel se existe um atlas / tal que as mudancas de coordenadas tem grau
igual a 1.
7.2 Funcoes Proprias
De fato na Denicao 7.3 a necessidade de tomarmos M compacta e para que
tenhamos f
1
(y) um conjunto nito. Assim podemos olhar para uma classe
maior de funcoes se elas possurem a propriedade de tambem terem a imagem
inversa de um valor regular um conjunto nito. As funcoes procuradas serao
chamadas de proprias como se confere na denicao abaixo.
Denicao 7.9. Sejam f : M N, uma funcao C
1
entre as variedades M
e N orientadas de mesma dimensao (podendo ser nao compactas), dizemos
que f e uma funcao propria se a imagem inversa de todo compacto de N
e um compacto em M.
Esta denicao estende o caso anterior ja que toda funcao continua de-
nida em um compacto e propria. Com isso ca bem denida a nocao de
grau de uma funcao propria cuja denicao estende naturalmente.
Exerccio 7.8. Reprovar todos os teoremas de grau para o caso de funcoes
proprias.
Teorema 7.10. O conjunto das funcoes proprias em C
r
(M, N) e aberto.
81
Provar
melhor
Demonstracao. Sejam f C
r
(M, N) uma fucao propria e N =

i=1
L
i
,
com L
i
compacto, L
i
int.L
i+1
. Assim M
i
= f
1
(L
i
) e compacto e
M
i
f
1
(int.L
i+1
) M
i+1
. Com isto basta considerar uma vizinhanca
fundamental 1(f) = ^
r
(f; , , K, ) de f. Como de costume mante-
mos a notacao que sempre usamos ao falar da vizinhanca ^
r
(f; , , K, ).
Lembrando que por denicao da vizinhanca temos que g 1(f) tenha-se
g(K
i
) V
i
. Ou seja, ao se tomar a imagem inversa de um compacto por g
ele sera coberto por uma quantidade nida de vizinhancas int.K
i
e portanto
sendo fechado e limitado sera compacto.
Exemplo 7.11. Se N e compacto e M e nao compacto temos que o conjunto
das funcoes proprias de M em N e vazio. Pois a imagem inversa do compacto
N e sempre M que nao e um compacto.
Exerccio 7.9. Seja M uma variedade qualquer. O conjunto das aplicacoes
proprias de M R
n
e nao vazio.
82
8 Teoria de Intersecao
Retornemos a teoria desenvolvida na secao 5.1 com o intuito de estender
a teoria de grau. Considere o seguinte contexto. X, Y e Z sao variedades
orientadas, X compacta, Z uma subvariedade de Y satisfazendo dim(X) +
dim(Z) = dimY .
Denicao 8.1. Seja f : X Y transversal a Z, com a notacao acima.
Denimos o n umero de intersec ao I(f, Z) como sendo a soma da orientacao
dos pontos em f
1
(Z).
A de-
nicao
esta ruim
Sabemos que f
1
(Z) sao pontos, nitos, pois X e compacta e sendo
fZ sabemos que f
1
(Z) e uma subvariedade de X de codimensao igual
a dimensao de X. Na denicao acima denimos a orientacao de um ponto
x f
1
(Z) por +1 se f(x) = z e
df
x
TX
x
TZ
z
= TY
z
forma, nessa ordem, e damos a orienta cao de -1 caso
TZ
z
df
x
TX
x
= TY
z
.
Teorema 8.2. Se X = W, W compacto e f : X Y suave se estende a
W, entao I(f, Z) = 0.
Demonstracao. Chamemos a extensao de f por F, podemos assumir FZ.
Como f
1
(Z) sao pontos, F
1
(Z) e uma variedade um dimensional. To-
davia sabemos classicar as variedades compactas um dimensionais. Nos
interessa apenas as componentes conexas homeomorfas a um segmento de
reta, note que F
1
(Z) = f
1
(Z). No entanto neste caso quando pego
uma dessas componentes e olho o seu bordo temos que a sua orientcao deve
estar invertida. Isto porque Com isso se cancelam dois a dois o que da o
resultado.
Acima foi usado o fato de orientacao de variedade com bordo,
veja o que eu escrevi nas Anotacoes. E explicar melhor essa coisa
de inverter a orientacao Observa cao
Provemos a invariancia, por homotopia, do n umero de interse cao.
Teorema 8.3. Funcoes homotopicas possuem o mesmo n umero de intersecao.
Supondo ambas tranversais a uma variedade Z fechada.
melhorar
prova
Demonstracao. Suponha f
0
e f
1
funcoes homotopicas e transversais a Z.
Se F : I X Y e uma homotopia entre as funcoes f
0
e f
1
. Com isso
temos pelo teorema provado anteriormente que I(F, Z) = 0. Mas temos
tambem que (I X) = (+0 X) (1 X). E com isso temos que
0 = I(F, Z) = I(f
1
, Z) I(f
0
, Z).
83
8.1

Indice de Campos e Caracterstica de Euler
O estudo de campos de vetores em variedades e capaz de nos fornecer muitas
propriedades topologicas interessantes como veremos ao longo desta secao.
Os campos aqui tratados serao ao menos C
1
.
Dizemos que x
0
e uma singularidade simples do campo X : U R
n

R
n
se X(x
0
) = 0 e DX(x
0
) e um isomorsmo.
Denicao 8.4. Denimos o ndice de um campo em uma singularidade
isolada x
0
como sendo o grau da aplicacao
f

:
_
S
n1
S
n1
x
X(x
0
+x)
||X(x
0
+x)||
para sucientemente pequeno de forma que B(x
0
, ) contenha apenas a
singularidade x
0
.
Exerccio 8.1. A denicao 8.4, esta bem denida. Isto e, independe do
(pequeno).
Provemos um lema simples que sera usado nao so na demonstracao da
proxima proposicao como em outras partes do texto.
Lema 8.1. Seja U R
n
um aberto e uma funcao suave f : U R com
f(0) = 0. Entao existe funcoes suaves g
i
: U R com g
i
(0) =
f
x
i
(0) e
f(x) =
n

i=1
x
i
g
i
(x).
Demonstracao. Temos que f(x) =

1
0
f
t
(tx)dt =

1
0

n
i=1
x
i
f
x
i
(tx)dt. De-
nimos g
i
(x) =

1
0
f
x
i
(tx)dt, o que termina portanto a demonstracao.
84
Provemos agora um resultado que facilita a nossa manipulacao da de-
nicao de ndice de um campo.
Proposicao 8.1. Seja x
0
singularidade simples de um campo X : U R
n
.
Seja sucientemente pequeno de forma que a funcao f

esteja bem denida.

Entao vale a seguinte igualdade:
Ind
x
0
=
_
+1 se detDX(x
0
) > 0
1 se detDX(x
0
) < 0
Demonstracao. Sem perda de generalidade suponha que x
0
= 0. Com isso
podemos construir a seguinte homotopia entre o campo X e a sua derivada
por
f : I U R
n
, f(x, t) =
_
1
t
X(tx) se 0 < t 1
DX(0)x se t = 0
Para ver que esta homotopia e suave basta usarmos o lema acima para
o campo X no lugar de f.
Quando a derivada preservar a orientacao podemos leva-la homotopica-
mente a identidade sem que a homotopia deixe de ser isomormos. No outro
caso podemos levar a reexao com relacao, digamos, a primeira coordenada.
E assim o resultado segue.
O proximo lema e o que permite a denicao de ndice de um campo em
uma variedade.
Lema 8.2. Seja X um campo denido em U e seja Y o push-foward do
campo por algum difeomorsmo . Entao temos que Ind
x
0
X = Ind
(x
0
)
Y
Demonstracao. Temos portanto, Y (x) = D(x).X(x) derivando no ponto
x
0
, DY
(x
0
)
.D(x
0
) = D
2
(x
0
)X(x
0
) + D(x
0
).DX(x
0
). Implicando por-
tanto que
DY
(x
0
)
= D(x
0
).DX(x
0
).(D(x
0
))
1
Com isso o sinal de D(x
0
) e sua inversa se cancelam. Provando o lema.
Com isso podemos denir.
Denicao 8.5. Seja X um campo de vetores em uma variedade M. Seja p
0
uma singularidade isolada (o mesmo que na denicao 8.4) entao denimos
o ndice de X em p
0
por Ind
p
0
X = Ind
(p
0
)
Y , onde Y e o push-foward do
campo X por uma carta em torno de p
0
.
Agora uma denicao importante e em seguida veremos que ela esta bem
denida.
85
Denicao 8.6. Denimos a caracterstica de Euler de uma variedade M
como sendo (M) =

xX
1
Ind
x
X, onde X e qualquer campo de vetores
denido sobre a variedade M. (Vide proposicao a seguir).
Primeiramente vemos que dados dois campos de vetores X e Y em uma
variedade M eles sao sempre homotopicos, de fato existe uma homotopia
linear entre eles
F : M I TM, F(x, t) = (1 t)X(x) +tY (x).
Pela denicao acima vemos que podemos devido a arbritrariedade do
campo na superfcie calcular a caracterstica de Euler de uma superfcie da
maneira que nos parecer mais conveniente, no entando e preciso antes provar
a proxima proposicao.
Proposicao 8.2. A caracterstica de Euler encontrada na Denicao 8.6
esta bem denida.
melhorar
a prova
Demonstracao. Seja X : M TM um campo de vetores possuindo singu-
laridades isoladas apenas. Entao tome M
0
= (x, v) TM [ v = 0 temos
que XM
0
e o Teorema 8.3 me garante exatamente a boa denicao de (M)
quando consideramos apenas campos transversais a M
0
. No entanto dado
um campo Y apenas com singularidades isoladas faz sentido devemos ver
que a soma de seus ndices e a mesma de um campo que seja transversal a
M
0
. Para isto basta portanto considerarmos um campo XM
0
suciente-
mente proximo de Y . Seja y
i
singularidades isoladas de Y e S
y
i
uma esfera
tal que em seu interior possua apenas a singularidade y
i
. Considere X um
campo com singularidades isoladas proximo o suciente de Y de modo que
suas singularidades isoladas caiam sempre dentro de algum S
y
i
. Mas pelo
Teorema 8.2, temos que a funcao f

(y
i
) possui grau que e a soma dos ndices
das singularidades de X que estao em S
y
i
.
8.1.1 Calculo da Caracterstica de Euler
Podemos agora calcular a caracterstica de Euler de algumas variedades. O
resultado a seguir sera util.
86
Proposicao 8.3. Existe um campo de vetores suaves na esfera sem singu-
laridade S
n
se, e somente se, n e mpar.
Demonstracao. () Se X : S
n
TS
n
e campo sem singularidade entao
considere a seguinte funcao f : S
n
S
n
, f(x) = x + X(x)/[[x + X(x)[[
que e homotopica a identidade sendo a homotopia dada por (x, t) x +
tX(x)/[[x + tX(x)[[. Por outro lado f e homotopica a menos a identidade,
sendo homotopia dada por
F : S
n
I S
n
F(x, t) = tf(x) (1 t)x/[[tf(x) (1 t)x[[
. Logo por um lado o grau de f e igual a 1 e por outro lado e igual a (1)
n+1
portanto n e mpar.
() Podemos explicitar um campo por
X(x
1
, x
2
, . . . , x
n
, x
n+1
) = (x
2
, x
1
, . . . , x
n+1
, x
n
)
Fica provado entao a proposicao.
A esfera S
n
Colocar o
campo
A proposicao acima nos mostra que (S
n
) = 0 se n e mpar. De fato
(S
n
) = 2 para n par, pois e possvel contruir um campo que possui duas
singularidades no polo sul e polo norte ambas com ndice igual a 1.
Variedade de dimensao mpar
Se M
m
e variedade de dimensao mpar. Entao (M) = 0. De fato, como
(M) independe do campo que pegamos para calcular, tome um campo
qualquer X possuindo singularidades isoladas apenas e considere X. Con-
sidere p uma singularidade de X (e portanto de X) para calcular o Ind
p
X
calculamos o sinal do determinante do push-forward do campo por uma carta
e usando a mesma carta para calcular o sinal do determinante relativo ao
push-foward do campo X temos que o sinal ca multiplicado por (1)
m
.
Assim tem-se que

Ind
p
X =

Ind
p
(X) = (1)
m

Ind
p
X e portanto
como m e mpar obtemos (M) =

Ind
p
X = 0.
Variedades desconexas
Se M
m
= M
m
1
. . . M
m
k
, entao claro que (M) = (M
1
) +. . . +(M
k
).
O produto cartesiano de variedade: (M N) = (M)(N)
Basta pegar dois campos X e Y um em M e o outro em N e contar o ndide
nas singularidades, indiquemos os zeros de X por p e os de Y por q.
(M N) =

q
Ind
(p,q)
(X Y ) =

p
Ind
p
(N) = (M)(N)
87
Espacos de recobrimento
Seja : M N um recobrimento de k-folhas. Vejamos que assim
k(M) = (N). De fato pois dado um campo em N tendo em vista que
e localmente um difeomorsmo podemos induzir o campo de N em M.
Portanto podemos calcular com facilidade que (P
n
) = 1 se n for par e
(P
n
) = 0 se n for mpar.
Superfcie Compacta
Vejamos que uma superfcie compacta de dimensao 2, M
2
de genero g
possui (M
2
) = 2 2g. Ja sabemos que para g = 0 , a esfera, temos que
(M) = 2 o caso de g = 1, o toro = S
1
S
1
, temos entao pelo que discutimos
ja anteriormente (S
1
S
1
) = (S
1
)(S
1
) = 0.0 = 0. No caso do bitoro
tambem podemos calcular que (bitoro) = 2 considerando o bitoro em
pe e sobre ele analisando o campo de vetores dado pelo gradiente da funcao
altura. De fato este procedimento e geral. Para mais vide [9].
facil, de se ver que (M
2
) = 22g. Vimos que o bitoro tem caracterstica
de euler igual a 2, sendo ele soma conexa de dois toros quer dizer que cada
toro contribui com 1. Dada uma variedade de genero g fazemos a soma
conexa com um toro. Para construir um campo nesta soma conexa olhamos
o campo X sobre a variedade inicial e tiramos um disco em que o campo e
transversal ao bordo do disco e nao tenha singularidades no interior, colamos
este campo no toro usando o teorema colar e olhando entao para X o
campo assim e colado naturalmente.
Variedade nao orientavel
Como calculamos a caracterticas de Euler para algumas variedade ori-
ent aveis, como sabemos que toda variedade nao orientavel M possui um
recobrimento duplo orientavel

M temos portanto que (M) =
1
2
(

M).
8.2 Teoria de Ponto Fixo
Estamos interessados em estudar os pontos xos de uma funcao denida em
uma variedade compacta X. Considere a funcao f : X X a busca pelos
seus pontos xos consiste em olhar as intersecoes do graco de f em X X
com a diagonal = (x, x) X X.
Na Denicao 8.1 denimos o n umero I(f, Z) onde f era uma funcao
e Z uma variedade (subvariedade no caso). No entanto podemos tambem
fazer uso da notacao I(X, Y ) se X e Y sao subvariedade de uma variedade
maior Z. Com isso quando escrevemos I(X, Y ) queremos dizer I(i, Y ) sendo
i : X Z a inclusao. Considere f : X Y e g : Z Y funcoes suaves em
variedades. Dizemos que f e g sao tranversais fg se
df
x
TX
x
+dg
z
TZ
z
= TY
y
88
f(x) = y = g(z)

E claro que tambem podemos facilmente denir I(f, g) no caso em que

df
x
TX
x
dg
z
TZ
z
= TY
y
como sendo a contribuicao dos pares (x, z) tendo
sinal +1 se a soma der a orienta cao de TY
y
e 1 caso contrario.
Denicao 8.7. O n umero de Lefschetz de f : X X, L(f) e por denicao
I(, graph(f)). Onde graph(f) e o graco de f.
ja podemos retirar da dencao um resultado de existencia de ponto xo.
Suponha que f : X X tenha n umero de Lefschetz diferente de zero, entao
f deve ter um ponto xo. De fato, caso nao tivesse ponto xo teriamos
L(f) = 0.
Proposicao 8.4. I(f, g) = (1)
(dimX)(dimZ)
I(g, f)
Demonstracao. Olhando
df
x
TX
x
dg
z
TZ
z
= TY
y
dg
z
TZ
z
df
x
TX
x
= TY
y
Escrevendo as bases e fazendo-se dimX.dimZ transposicoes levamos uma
base na outra.
Invariancia Homotopica. Armamos que I(, graph(f)) permanece
inalterado se ao inves consideramos I(, graph(g)) com g homotopica a f.
De fato olharmos a proposicao acima e em seguida usamos o Teorema 8.3.
Por m, podemos olhar o n umero de Lefschetz como sendo uma soma.
L(f) =

f(x)=x
L
x
(f)
No caso em que f e transversal a diagonal. Dada uma funcao qualquer sem-
pre podemos encontrar uma funcao proxima o suciente que seja transversal
a diagonal. Com isso L
x
(f) e o sinal do n umero de intersecao no ponto xo
x.
Se f for tal que graph(f) em (x, x), entao como o espaco tangente
de graph(f) em T
x
M T
x
M e o graco da funcao Df
x
: T
x
M T
x
M.
Portanto por uma questao de dimensao teremos
graph(Df
x
) T
(x,x)
= T
x
M T
x
M
Podemos agora enunciar um resultado util, tendo em vista que fornece uma
outra forma de se calcular o n umero de Lefschetz.
Proposicao 8.5. O sinal de L
x
(f) e o +1 se Df
x
I preserva orientacao
e 1 se inverte orientacao.
89
Demonstracao. Denotemos, A = Df
x
e = v
1
, . . . , v
n
uma base posita
de T
x
M.
(v
1
, v
1
), . . . , (v
n
, v
n
) e base positiva de T
(x,x)

Como o graco de um funcao e uma variedade orientada cuja orientacao e

a natural dada pela parametrizacao que cobre toda a variedade temos que
(v
1
, Av
1
), . . . , (v
n
, Av
n
) e base positiva de T
(x,x)
graph(f)
Portanto o sinal de L
x
(f) e o sinal da base
(v
1
, v
1
), . . . , (v
n
, v
n
), (v
1
, Av
1
), . . . , (v
n
, Av
n
)
olhada no espaco tangente de M M com a orienta cao produto. Esta base
possui a mesma orientacao que as seguintes bases
(v
1
, v
1
), . . . , (v
n
, v
n
), (v
1
, (AI)v
1
), . . . , (0, (AI)v
n
)
(v
1
, 0), . . . , (v
n
, 0), (v
1
, (AI)v
1
), . . . , (0, (AI)v
n
)
0, 0 (AI)
QUe pela orienta cao produto tem a sinal que sinal.sinal(AI) = sinal(A
I). Como queriamos mostrar.
A proprosicao acima permite relacionar a caracterstica de Euler de uma
variedade M ao n umero de Lefschetz relativo a funcao identidade.
Proposicao 8.6. Seja M uma variedade compacta, entao I(Id, Id) = (M).
Onde Id : M M e a funcao identidade.
Demonstracao. Considere um campo X em M com singularidades isoladas.
Sendo
t
(x) o uxo associado ao campo X sabemos que
t
e homotopica a
identidade, ja que
0
= Id. Portanto a invariancia homotopica implica que
basta mostrar que (M) = I(,
t
).
Basta entao vermos que L
x
(
t
) = Ind
x
X. Mas vimos acima que L
x
(
t
) =
D
t
(x) x = X(
t
(x)) x. Olhemos em um pequeno anel em torno de p
e para um t pequeno o suciente, X(
t
(x)) x e linearmente homotopica
a X(x). Assim o sinal de X(
t
(x)) x e de fato o grau de X(
t
(x)), que
como vimos e exatamente Ind
x
X.
90
9 Teorema de Hopf
Na secao 7 vimos que o grau e um invariante homotopico. Existe um caso
particular em que de fato o grau e o unico invariante homotopico. Este resul-
tado e conhecido como teorema de Hopf apresentado nesta secao. Iniciamos
com um teorema sobre homotopia e que sera usado tambem na demonstracao
do Teorema de Hopf.
Proposicao 9.1. Sejam W uma variedade e N uma variedade com bordo.
Se f, g : N W continuas, homotopicas e g se estende continuamente a
N, entao f tambem se estende em N.
Demonstracao. Seja G : N W a extensao de g. Entao existe extensao

G
de g tal que olhando um colar N [0, ) do bordo de N temos

G(x, t) =
g(x) se t 1/4. Isso e possvel por um argumento usando bump-function
(considere a igualdade de g ate o tempo 1 e depois cola). Assumimos tambem
que

G(x, t) = G(x, t) se t 1/2.
Para estender f, considere H a homotopia entre f e g, H
0
= f e H
1
= g.
Denimos F(x, t) = H(4t, x) para t 1/4 e F(x, t) =

G(x, t) para t 1/4, e
fora do colar da forma que construimos se estende naturalmente com G.
Mais um resultado que precisaremos e que tambem e interessante segue
abixo.
Proposicao 9.2. Seja : E [0, 1] um brado vetorial. Entao o brado e
trivial.
Ver
Demonstracao. A prova e simples. Lembremos antes que para falar que um
brado e trivial e provar que existe um difeomorsmo F que faz o seguinte
diagrama comutar.
E
F
//

!!
B
B
B
B
B
B
B
B
[0, 1] R
n

1
yys
s
s
s
s
s
s
s
s
s
[0, 1]
No entanto Isto equivale a provar que existe X
1
, . . . , X
n
: [0, 1] E
sec oes tal que X
1
(t), . . . , X
n
(t) formam uma base de E
t
=
1
. Seja =
sups 0 , tal que existem tais campos X
i
: [0, s] E, queremos ver que
= 1. Claro que > 0 ja que temos uma trivializacao local. Vejamos como
podemos estender, existe uma trivializacao local :
1
( , + )
( , +) R
n
. Assim levamos as secoes em
1
( , +) para secoes
em ( , + ) R
n
por e assim estendendo os X
i
podemos leva-los
de volta fazendo assim uma extensao dos X
i
, absurdo com a hipotese de
ser um supremo. Logo = 1, cando assim demonstrado.
91
Como uma aplicacao deste resultado temos que dados quaisquer dois
ponto p e q em uma variedade existe uma carta : U V com U conexo
contendo p e q. Tome um caminho adequado que contenha os pontos e
considere a vizinhanca tubular deste caminho, o que gera um brado sobre
a curva pela proposicao acima segue o que queramos.
Lema 9.1. Seja W
n+1
uma variedade com bordo orientada, N uma va-
riedade orientada e K W um arco em W que toca o bordo W de W
transvesalmente. Considere uma aplicacao f : V N onde V e um aberto
do bordo W e f e tal que K = x
1
, x
2
= f
1
(y) com y valor regular. Se
f preserva orientacao em k
1
e inverte em k
2
, entao existem uma vizinhanca
W
0
W de K e uma funcao g : W
0
N tais que:
g = f em W
0
V ;
y e um valor regular de g;
g
1
(y) = K.
Demonstracao. Podemos supor (N, y) = (R
n
, 0). Sejam x
0
e x
1
os pontos
nais do compacto K, a vizinhanca tubular da variedade K nos permite
denir um brado vetorial sobre um intervalo, pela Proposicao 9.2 podemos
supor a vizinhanca de K, por cartas, da forma I R
n
. Caminhando um pou-
quinho sobre I transformo a f na sua derivada. Pela denicao de orientacao
induzida no bordo isto quer dizer que como x
0
e x
1
possuem sinais trocados,
entao o determinante da derivada de f em x
0
e igual ao determinante de
f em x
1
tem o mesmo sinal o que implica que existe um caminho ligando
as duas matrizes. Entao utilizo este caminho para terminar de denir g em
I R
n
.
Provemos, portanto, o Teorema de Hopf.
Teorema 9.1. Seja N um variedade compacta orientavel de dimensao n+1
e f : N S
n
continua.
f se estende continuamente a F : N S
n
se, e somente se, grau(f) =
0.
Demonstracao. ()

E caso particular do Teorema 8.2.
() Pela proposicao acima podemos supor que f e suave. Como o
grau e zero entao f
1
(y) de um valor regular tem uma quantidade par de
pontos. Ligamos esses pontos por caminhos que sejam subvariedades de W
e que sejam tranversais ao bordo de W e tambem disjuntos. Para faze-los
disjuntos e simples no caso de dimW 3 pois uma leve pertubacao os torna
disjuntos e no caso de dimW = 2 nos pontos de interessao (que posso tomar
sendo tranversal) apenas fazemos a mudanca que ilustra a gura 7.
Denotemos tais arcos por K
i
, usando o lema acima nestes K
i
obtemos
uma vizinhanca W
0
W de K
i
e uma funcao g : W
0
S
n
que coincide
com f em W
0
N, tendo y como valor regular e tal que g
1
(y) = K
i
.
92
Figura 7: Eliminando cruzamentos
Seja U W uma vizinhanca de K
i
tal que passando o fecho ainda
permaneca em W
0
. Assim as funcoes f e g dao origem a funcao
h : X = Fr.U (W U) S
n
y.
Onde h(x) = f(x) ou g(x) dependendo de onde estejam denidas, note que
h esta bem denida.
Figura 8: Construcao de g
Como X e um fechado de WU, o Teorema de Extensao de Tietze ga-
rante a extensao de h para
H : WU S
n
y.
Podemos denir uma extensao de f por H em WU e por g em W
0
. Note
a boa denicao dado que H = g em W
0
U.
O corolario a seguir tambem e conhecido como o Teorema de Hopf
Corolario 9.1. Sejam M uma variedade compacta e f, g : M S
n
funcoes
contnuas. Entao f e homotopica a g se, e somente se, grau(f) = grau(g).
Demonstracao. Note que o grau da funcao
h : 0, 1 M S
n
, h(0, x) = f(x), h(1, x) = g(x),
e zero. O Teorema 9.1 implica a existencia de uma funcao H : [0, 1]N S
1
contnua que extende h. Note que H e a homotopia entre f e g.
93
Sabemos que se uma variedade admite um campo nao nulo, entao ela
possui caracterstica de Euler igual a zero. A recproca e verdadeira.
Teorema 9.2. Seja M uma variedade compacta com caracterstica de Euler
nula, isto e (M) = 0. Entao M admite um campo suave nao nulo.
Demonstracao. Seja X um campo com singularidades simples e p, q M
singularidades simples de X, tal que o ndice de p seja +1 e o de q seja 1.
Seja : U R
n
uma carta cuja imagem seja todo R
n
e que contenha os
pontos p e q e mais nenhuma outra singularidade.
Olhemos agora o problema em coordenadas. Seja B
0
= B(0, R
0
) a bola
que contenha p e q, considere a bola B
1
= B(0, R
0
+ 1). Sabemos que a
funcao
f : B
0
S
n1
x
X(x)
[[X(x)[[
tem grau zero. Pelo Teorema de Hopf 9.1 f se estende a uma F : B
0
S
n1
.
O campo X nao se anula em R
n
B
1
. Estendemos X em B
1
. Seja
h : R
n
[0, 1] suave tal que h(x) = 1 se x B
c
1
e h(x) = 0 se x B
0
.
Denimos

X : R
n
R
n
por

X(x) =
_

_
X(x) se x B
c
1
h(x)X(x) + (1 h(x))
X(x)
||X(x)||
se x B
1
B
0
F(x) se x B
0
Levantando este campo e colando a X obtemos um novo campo com as
mesmas singularidades que X menos p e q. Repetimos o procedimento ao
novo campo e repetimos o processo ate a eliminacao completa das singula-
ridades.
94
10 Cohomologia de De Rahn
Nesta secao iremos mostrar um paralelo que existe entre formas e a teoria
de grau. Para alguns conceitos que nao carem claros ou para ver mais
resultados sobre esta teoria sugerimos a consulta de [11].
Lembremos que estamos considerando
k
(U) como o conjuntos das k-
formas alternadas em U, sendo U um aberto de alguma variedade M. Foi
denido tambem a derivada exterior d :
p
(U)
p+1
(U), com isso po-
demos denir o p-esimo grupo de cohomologia de De Rham como
sendo o conjunto das formas fechadas pelo q uociente das formas exatas,
conseq uentemente
H
p
(U) =
Ker(d:
p
(U)
p+1
(U))
Im(d:
p1
(U)
p
(U))
Considere f : N
n
M
n
um funcao suave entre as variedades M e N.
Como o pull-back leva formas fechadas em formas fechadas e exatas em
exatas temos que ca bem denido a seguinte transformacao linear
f

: H
n
(M) H
n
(N)
f

[] = [f

]
Estaremos fundamentalmente interessados em estudar H
m
c
(M) onde ondice
c representa que estamos considerando formas com suporte compacto em M.
No caso em que f e propria temos entao que f induz de fato f

: H
n
c
(M)
H
n
c
(N). Vejamos a invariancia da funcao f

por homotopias. Inicialmente

provamos um lema que de fato contem toda a diculdade da demonstracao.
Vamos `as notacoes.
Seja | R
n
um aberto, denimos a seguinte funcao i
t
: | | R
i
t
(x) (x, t). Dada
k
(| R) ela se escreve de maneira unica como
= dt + onde (x, t) =

I
a
I
(x, t)dx
I
e (x, t) =

J
b
J
(x, t)dx
J
ou
seja colocamos dt em evidencia em , observamos que dx
I
= dx
i
1
dx
i
2

. . . dx
i
k1
com I = (i
1
, . . . , i
k1
), analogamente para dx
J
com o detalhe que
e uma k-forma.
Lema 10.1. Com a notacao acima, denimos a funcao
K :
k
(| R)
k1
(|)
(K)(x) =

1
0
(x, t)dt =

I
(

1
0
a
I
(x, t)dt)dx
I
Entao vale a igualdade: Kd +dK = i

1
i

0
.
Demonstracao. Temos a expressao de o que portanto implica que fazendo
as contas obtemos
95
K(d) =

J
(

1
0
b
J
t
dt)dx
J

I,j
(

1
0
a
I
x
j
dt)dx
j
dx
I
d(K) =

I,j
(

1
0
(
a
I
x
j
dt))dx
j
dx
I
Com isso provamos o lema com a seguinte conta.
K(d) + d(K) =

J
(

1
0
b
j
t
dt)dx
J
=

J
(b
J
(x, 1) b
J
(x, 0))dx
J
=
i

1
i

0
.
Provemos agora o resultado
Proposicao 10.1. Sejam f, g : M N funcoes C

homotopicas, considere
as funcoes f

, g

: H
k
(N) H
k
(M), entao f

= g

.
Demonstracao. Considere a homotopia H : M R N, H(x, 0) = f(x) e
H(x, 1) = g(x). Considere
k
(N) uma k-forma fechada, ou seja d = 0.
O teorema segue se provarmos que g

= d com
k1
(M).
Usamos o lema acima e denos a funcao
L = K H

:
k
(N)
k1
(N)
e podemos denir = L de fato, d(L) = (Ld) + d(L) = KH

d +
d(KH

) = KdH

+d(KH

) = i

1
H

0
H

= g

.
Seja f : M N uma funcao contnua entao podemos denir f

:
H

(N) H
k
(M) como sendo g

para qualquer funcao g C

homotopica a
f.
Denicao 10.1. Sejam M e N variedades diferenciais, dizemos que M e
N tem o mesmo tipo de homotopia se existem aplicacoes f : M N e
g : N M tais que g f e homotopica a identidade em M e f g e
homotopica a identidade em N.
Como exemplo, se U for uma vizinhanca tubular de M entao U tem a
mesma homotopia de M. Sendo as funcoes f e g dadas pela identidade e
outra pela propria projec cao associada a vizinhanca tubular. Vejamos como
usamos este conceito no estudo das formas.
Proposicao 10.2. Sejam M e N variedade com o mesmo tipo de homoto-
pia, entao H
k
(M) e isomorfo a H
k
(N).
Demonstracao. Considere f e g funcoes da denicao de ter o mesmo tipo de
homotopia. Pela proposicao acima temos que
g

= (f g)

= id
f

= (g f

= id
Portanto f

: H
k
(N) H
k
(M) e a inversa de g

: H
k
(M) H
k
(N).
Provando assim o que queriamos.
96
Assim temos por exemplo que H
k
(S
n
) H
k
(R
n+1
0). Assim como o
fato de toda forma fechada ser localmente exata.
Agora provemos o teorema responsavel em fazer a ligacao entre os con-
ceitos introduzidos aqui e a teoria do grau.
Teorema 10.2. Seja M
m
uma variedade compacta conexa entao a inte-
gracao sobre M induz um isomorsmo

M
= I : H
n
(M) R.
Demonstracao. I e linear e sobrejetiva. Com isso para vermos que e um
isomorsmo basta provarmos que
dimH
n
c
(M) = 1
Que sera feito em tres passos para efeito de clareza de exposicao.
Passo 1) dimH
1
c
(R) = 1
Neste caso vejamos que I e injetiva. Ou seja considere (x) = f(x)dx
tal que I() = vejamos que [] = 0, isto e que e exata. Existe L > 0 tal
que supp.f [L, L] denindo g(x) = 0 se x L e g(x) =

x
L
f(x) assim
dg = .
Passo 2) Se dimH
n
c
(R
n
) = 1 entao dimH
n
c
(N
n
) = 1, N variedade.
Seja U N uma vizinhanca coordenada U R
n
. Tomemos
n
c
(N)
com supp. U tal que

= 1. O objetivo e mostrar que a classe de
cohomologia de gera H
n
c
(N), ou seja dado
n
c
(N) tem-se = c+d
com c R e
n1
c
(N).
Podemos supor que supp. V R
n
. Para isto usa-se particao da
unidade. Considere agora vizinhancas coordenadas U
i

k+1
i=0
tal que U
0
= V
, U
k+1
= U e U
i
U
j
,= . Tomamos w
i

n
c
(U
i
U
i+1
) tal que

M

i
=

M
.
Utilizando a hipotese e a transitividade proveniente da classe de equi-
valencia temos que
0

1
. . .
k
, =
k
+ d
k
,
k
= c + d

assim
provamos o que queriamos = c +d( +

).
Assim, em particular temos que dimH
n
c
(S
n
). Com isso vamos ao proximo
passo.
Passo 3) Se dimH
n1
c
(S
n1
) = 1 entao dimH
n
c
(S
n
). Novamente checa-
remos que I e injetiva. Assim considere
n
c
(R
n
), I() = 0 e supp. B,
sendo B uma bola sucientemente grande centrada em zero.
Objetivamos vericar que = d com
n1
c
(R
n1
). Usaremos que
toda forma fechada em um aberto conexo do R
n
e exata. Logo, = d.
Considere outra bola D B.
0 =

R
n
=

D
=

D
d =

97
Entao usando a hipotese temos que

D
= 0 entao [
|D
] = 0 em
H
n1
c
(D). Considererando o isomorsmo entre H
n1
(R
n
B) H
n1
(D).
Temos que [] = 0 em H
n1
(R
n
B), = d.
Considere : R
n
R
n
tal que 0 em uma vizinhanca de B com
fecho em D. e 1 fora de D.
Por m denimod = d()
n1
c
(R
n
). Assim supp. D e
d = d = como queriamos.
Assim, dada uma f propria como mais acima sabendo que uma trans-
formacao linear da reta na reta pode ser vista como um escalar portanto
existe um unico escalar (f) que faz o seguinte diagrama comutar.
H
n
c
(M)
R
M

//
H
n
c
(N)
R
N

R
(f)
//
R
Ou seja, para
n
(M) temos

N
f

() = (f)

O teorema a seguir mostra como poderemos relacionar os conceitos de

grau e formas.
Teorema 10.3. Para f como acima tem-se que (f) = grau(f).
Demonstracao. Provemos entao que grau(f) =

qf
1
(p)
sgnDf
q
sendo p
um valor regular de f.Considere V
q
tal que f
|V
q
: V
q
U seja um difeo-
morsmo , tomemos
n
(M) tal que supp
M
() U e

M
= 1 assim
supp
N
(f

()) f
1
(U) = V
q
1
. . . V
q
k
. Podemos olhar entao
f

() =
k

i=1

i
onde supp(
i
) V
q
i
e
i|V
i
= (f
|V
q
i
)

(
|U
).
O resultado segue portanto do seguinte calculo.
(f) = (f)

M
=

N
f

() =

k
i=1

N

i
=

k
i=1

V
i
(f
V
i
)

(
|U
) =

k
i=1
sgnDf
q
i

U

|U
=

k
i=1
sgnDf
q
i
.
Considere em M uma variedade qualquer, nao necessariamente com-
pacta, orientada. Entao existe sobre M uma forma
0
conhecida como
forma elemento de volume. Sendo
0
(p)(v
i
, . . . , v
m
) = volume orientado
do paralelogramo gerado por v
1
, . . . , v
m
no espaco tangente T
p
M. O vo-
lume da variedade M e denido como sendo V olM =

M

0
Como
0
nao
98
possui suporte compacto nao podemos aplicar o que zemos acima. No
entanto e possvel contornar tal problema. Considere M =

i=1
N
i
como
uniao de compactos N
i
N
i
int.N
i+1
. Considere funcoes f
i
suaves que
sao identicamente iguais a 1 em int.N
i
e nulas fora de N
i+1
e f
i
[0, 1].
Denimos
i
= f
i
. Assim podemos usar o que zemos acima e obtemos
grau(f) =
1
R
M

i

N
f

j
mas

M
= lim
i

M

j
, assim obtemos
grau(f) =
1
volM

N
f

E possvel relacionar o que estudamos na secao 8 com esta secao. De-

namos os seguintes n umeros, chamados de n umeros de Betti como sendo
a dimensao dos espacos de cohomologia de De Rahn.
b
r
= dimH
r
(M)

E possvel provar que que a caracterstica de Euler possui a seguinte relacao

com os n umeros de betti,
(M) =

r
(1)
r
b
r
De fato o que estudamos aqui esta ligado a teoria de homologia. Se de-
nem os conjuntos de cohomologia H
r
(M) sendo aonde aparecem os n umeros
de betti, como sendo a dimensao do espaco vetorial H
r
(M), todavia o teo-
rema de dualidade de Poincare arma que H
r
(M) e H
r
(M) sao isomorfos.
E foi o que usamos acima para denir o n umero de betti.
99
A Geometria Hiperbolica e Recobrimento Univer-
sal de Superfcies
A.1 Recobrimento de Variedades
Sejam M e

M variedades suaves, apesar de que para as nossas conside-
reracoes iniciais precisarmos apenas de espacos topologicos.
Denicao A.1. Dizemos que uma funcao :

M M e um recobrimento
se para todo p M existe vizinhanca 1
p
M tal que
f
1
(V
p
) =

qf
1
(p)
|
q
uniao disjunta, onde f(|
q
) = V
p
,
f : |
q
1
q
e um homeomorsmo.
Na denicao acima chamaremos de recobrimento diferenciavel se
for diferenciavel e f : |
q
1
q
um difeomorsmo. E de recobrimento
holomorfo caso as variedades sejam holomorfas e uma funcao holomorfa
e f : |
q
1
q
um biholomorsmo. Portanto a partir de agora trataremos
apenas de recobrimentos, e quando estivermos interessados em olhar para
recobrimentos holomorfos a generalizacao sera obvia.
Um caminho : I

M e dito levantamento do caminho : I M
(com relacao a um recobrimento ) se
(t) = (t) t I
onde I = [0, 1] R.
Proposicao A.1. Dado um caminho : I

M e x
0


M tal que ( x
0
) =
(0) entao existe unico levantamento tal que
: I

M, (0) = x
0
Demonstracao. Sejam vizinhancas 1
x
0
e |
(0)
de x
0
e (0) respectivamente
de forma que
f
|V
x
0
: V
x
0
|
(0)
seja um homeomorsmo. Portanto e claro que na vizinhanca de x
0
temos
unico levantamento denido por
(t) = f
1
|V
x
0
((t))
para t [0, ] onde e pequeno o suciente para a boa denicao acima.
Portanto considere o conjunto
/ = t I[ Existe unico levantamento de em [0, t]
Olhando para o supremo acima, caso nao seja atingido em 1 poderiamos
estender o levantamento de maneira unica como acima.
100
Denicao A.2. As funcoes :

M

M que satisfazem
=
sao chamadas de automorsmos do recobrimento .
Usaremos a seguinte notacao
Aut() = Automorsmos de
O grupo fundamental
1
(M) independe do ponto base p
0
M que to-
mamos, isto e para outro ponto base este grupo e isomorfo. E descreve-
mos
1
(M) como sendo a classe (via homotopia) das curvas fechadas que
comecam e terminam em p
0
.
Uma variedade M e simplesmente conexa se o grupo fundamental

1
(M) tiver apenas o elemento neutro. Ou seja, toda curva fechada e ho-
motopica a uma curva constante. Quando

M for simplesmente conexa di-
zemos que o recobrimento :

M M e um recobrimento universal. O
nome recobrimento universal deve-se ao fato que se :

M
1
M for outro
recobrimento universal de M entao

M
1
e

M sao homeomorfas.
Teorema A.3. Toda variedade M admite recobrimento universal.
Um outro teorema importante relacionando grupo fundamental e o grupo
dos automorsmos de um recobrimento e
Teorema A.4. Seja :

M M um recobrimento universal de M entao
Aut() e isomorfo a
1
(M),
M/Aut() e homeomorfa a M.
A.2 Enunciados
Dizemos que uma variedade riemanniana M adimite coordenada isotermica
se admite parametrizacoes que preservam o angulo. Uma superfcie de
Riemann M e uma variedade um dimensional holomorfa (dois dimensional
real).
Teorema A.5 (Gauss-Chern). Toda superfce riemanniana admite coor-
denadas isotermicas.
Este teorema implica que toda superfcie admite uma estrutura de su-
perfcie de Riemann.
Olhando o recobrimento universal de uma superfcie podemos obter in-
formacoes relevantes, particularmente no caso de superfcie de Riemann
tendo em vista que sabemos classicar as superfcies de Riemann simples-
mente conexas.
101
Teorema A.6. As unicas superfcies de Riemann simplesmente conexas sao
C, C, D.
Onde por unica entendemos a menos de biholomorsmo.
Corolario A.1. Seja M uma superfcie de Riemann, nao biholomorfa a
C, C0, T
2
e C entao o recobrimento holomorfo universal de M e o disco
unitario D.
A.3 Geometria Hiperbolica
Introduzimos em D a metrica Riemannina dada pela proposicao abaixo.
Proposicao A.2. Existe uma unica metrica Riemannina em D a menos
de multiplicac ao por real positivo de forma que as funcoes de Mobius que
preservam o disco sejam isometria.
Denicao A.7. O disco D com uma metrica descrita acima e chamado de
disco hiperbolico.
As funcoes de Mobius sao bem conhecidas, em particular devido a uma
de suas caracterstica, como no teorema abaixo, sendo isometrias disco pos-
sui curvatura constante, de fato medindo angulos de triangulos geodesicos
podemos vericar que a curvatura e negativa, logo tomando uma constante
apropriedade para multiplicar a metrica podemos supor que o disco (D, g)
possui curvatura constante negativa igual a -1. De fato, e um resultado
mais geral da geometria Riemannina que o disco hiperbolico e o modelo de
variedade simplesmente conexa de curvatura constante negativa.
Teorema A.8. Sejam p, q D. e
i
e e
i
bases ortonormais em p e q
respectivamente. Entao existe funcao de Mobius
f : D D, f(p) = q, df
p
e
i
= e
i
Corolario A.2. Os biholomorsmos do disco sao isometrias.
Podemos caracterizar o disco hiperbolico de outra forma, que por vezes e
mais conveniente para se trabalhar. Denamos o semi-espaco H de poincare
H = (x, y) [ y > 0
Analogamente existe unica metrica riemanniana a menos de multiplicacao
por escalar positivo cujas trnaformacaoes de Mobius sao isometria.
Por completeza enunciemos o teorema que explicita as metrica de cada
espaco assim como fornece a isometria entre eles.
Teorema A.9. (D, <, >
D
) e (H, <, >
H
) sao isometricos.
102
Demonstracao. De fato a isometria e dada por
f : (D, <, >
D
) (H, <, >
H
)
f(z) =
4(z z
0
)
[z z
0
[
2
2z
0
onde e a metrica riemanninan, z
0
= (0, 1), <, >
H
=
1
y
2
e <, >
D
=
4
(1|z|
2
)
2
.
Seja M uma superfcie hiperbolica (isto e que pode ser recoberta pelo
disco) e
: D M
um recobrimento universal holomorfa. Podemos induzir naturalmente uma
metrica em M proveniente da metrica hiperbolica de D.
Sejam p M , p D e v T
p
M com ( p) = p. Entao
[[v[[
p
:= [[(d( p))
1
.v[[
e p
O n umero acima esta bem denido ja que se (z
1
) = (z
2
) entao existe
Aut() tal que (z
1
) = z
2
. Mas Aut(M) entao e um biholomor-
smo do disco e portanto uma isometria.
103
Referencias
[1] Arvanitoyeorgos, A., An introduction to Lie
Groups and the Geometry of Homogeneous
Spaces, AMS-American Mathematical Society, 2003.
[2] Guillemin, V. and Pollack, A., Dierential Topo-
logy, Prentice-Hall,1974.
[3] Hirsch, M. W., Dierential Topology, Springer-
Verlag.
[4] do Carmo,M.P., Geometria Riemanniana, Projeto
Euclides, 2005.
[5] Lima, E.L., Analise Real, Volume 3, Colecao Ma-
tematica Universitaria - IMPA, 2007.
[6] Lima, E.L., Curso de Analise Volume 2, Projeto
Euclides - IMPA, 2006.
[7] Lima, E.L.,

Algebra Exterior, Colecao Matematica
Universitaria - IMPA, 2005.
[8] Lima, E.L., Grupo Fundamental E Espacos de
Recobrimento, Projeto Euclides-IMPA,1998.
[9] Lima, E.L., Introducao `a Topologia Diferencial,
Publicacoes Matematicas - IMPA,2001.
[10] Lima, E.L., Variedades Diferenciaveis, Pu-
blicacoes Matematicas - IMPA,2007.
[11] Madsen,I. and Tornehave, J., From Calculus to
Cohomology, Cambridge university press, 1997.
[12] Matsumoto, Y., An Introduction to Morse The-
ory, Translations of Mathematical Monographs, Vo-
lume 208, 2002
[13] Milnor, J.W., Morse Theory, Princeton University
Press, 1973.
[14] Milnor, J.W., Topology From The Dierentiable
Viewpoint, Princeton University Press, 1965.
[15] Morita, S., Geometry of Dierential Forms,
Translations of Mathematical Monographs, Volume
201, 2001
104
[16] Palis, J. Jr. and de Melo,W., Geometric Theory of
Dynamical Systems, an introduction. Springer-
Verlag, 1982.
[17] Prasolov, V. V., Elements of Combinatorial and
Dierential Topology. American Mathematical So-
ciety, 2006.
[18] Sotomayor,J., Licoes de Equacoes Diferenciais
Ordinarias, Projeto Euclides - IMPA, 1979.
[19] Warner,F.W., Foundations of Dierentiable Ma-
nifolds and Lie Groups, Glenview, Ill.: Scott, Fo-
resman, 1971.
105

Indice Remissivo
funcao propria, 80
Grau
funcao propria, 80
Homotopia, 78
diferenciavel, 78
N umero de intersecao, 82
Orienta cao
Variedade topologica, 80
Singularidade simples, 83
Teorema
de Hopf, 91
de Transversalidade de Thom, 60
106