Invariantes Topológicos PDF

INVARIANTES TOPOLGICOS
Prefaciais_Invariantes.indd 1
26/01/2012 15:21:24
Universidade Estadual Paulista

Vice-Reitor no exerccio da Reitoria Julio Cezar Durigan
Chefe de Gabinete Carlos Antonio Gamero
Pr-Reitora de Graduao Sheila Zambello de Pinho
Pr-Reitora de Ps-Graduao Marilza Vieira Cunha Rudge
Pr-Reitora de Pesquisa Maria Jos Soares Mendes Giannini
Pr-Reitora de Extenso Universitria Maria Amlia Mximo de Arajo
Pr-Reitor de Administrao Ricardo Samih Georges Abi Rached
Secretria Geral Maria Dalva Silva Pagotto
26/01/2012 15:21:25
Cultura
Acadmica
Alice Kimie Miwa Libardi

Joo Peres Vieira
Thiago de Melo
So Paulo
2012
26/01/2012 15:21:25
Pr-Reitoria de Graduao, Universidade Estadual Paulista, 2012.
Ficha catalogrfica elaborada pela Coordenadoria Geral de Bibliotecas da Unesp

L694i
Libardi, Alice Kimie Miwa
Invariantes topolgicos / Alice Kimie Miwa Libardi, Joo Peres Vieira,
Thiago de Melo. So Paulo : Cultura Acadmica, 2012.
76 p.
Programa de apoio produo de material didtico da Pr-Reitoria de
Graduao da UNESP.
ISBN 978-85-7983-239-0
1. Topologia. 2. Espaos topolgicos. 3. Matemtica Estudo e ensino
(Superior). I. Vieira, Joo Peres. II. Melo, Thiago de. III. Universidade Estadual
Paulista Jlio de Mesquita Filho. Pr-Reitoria de Graduao.
CDD 514
equipe
Pr-reitora Sheila Zambello de Pinho

Secretria Silvia Regina Caro
Assessoria Jos Brs Barreto de Oliveira
Klaus Schlnzen Junior (Coordenador Geral NEaD)
Laurence Duarte Colvara
Maria de Lourdes Spazziani
Tcnica Bambina Maria Migliori
Camila Gomes da Silva
Ceclia Specian
Eduardo Luis Campos Lima
Flvia Maria Pavan Anderlini
Gisleide Alves Anhesim Portes
Ivonette de Mattos
Maria Emlia Arajo Gonalves
Maria Selma Souza Santos
Renata Sampaio Alves de Souza
Sergio Henrique Carregari
Projeto grfico Andrea Yanaguita
Diagramao Estela Mletchol
26/01/2012 15:21:25
PROGRAMA DE APOIO
PRODUO DE MATERIAL DIDTICO
Considerando a importncia da produo de material didtico-pedaggico dedicado ao ensino de graduao e de ps-graduao, a Reitoria da UNESP,
por meio da Pr-Reitoria de Graduao (PROGRAD) e em parceria com a
Fundao Editora UNESP (FEU), mantm o Programa de Apoio Produo
de Material Didtico de Docentes da UNESP, que contempla textos de apoio s
aulas, material audiovisual, homepages, softwares, material artstico e outras
mdias, sob o selo CULTURA ACADMICA da Editora da UNESP, disponibilizando aos alunos material didtico de qualidade com baixo custo e editado
sob demanda.
Assim, com satisfao que colocamos disposio da comunidade acadmica mais esta obra, Invariantes Topolgicos, de autoria dos Professores:
Dra. Alice Kimie Miwa Libardi, Dr. Joo Peres Vieira e Dr. Thiago de Melo,
do Instituto de Geocincias e Cincias Exatas do Cmpus de Rio Claro, esperando que ela traga contribuio no apenas para estudantes da UNESP, mas
para todos aqueles interessados no assunto abordado.
26/01/2012 15:21:25
26/01/2012 15:21:25
SUMRIO
introduo
1 preliminares
11
2 conexo como invariante topolgico

3 grupo fundamental
4 homologia simplicial
17
23
35
4.1.
Clculo de alguns grupos de homologia
4.2.
O grupo de homologia como invariante topolgico
5 caracterstica de Euler
63
referncias bibliogrficas
73
ndice remissivo
49
55
75
26/01/2012 15:21:25
26/01/2012 15:21:25
INTRODUO
Este texto fruto de nossa experincia como professores do Departamento

de Matemtica do Instituto de Geocincias e Cincias Exatas (IGCE) da Universidade Estadual Paulista UNESP, Cmpus de Rio Claro, onde ministramos
as disciplinas Espaos Mtricos, Espaos Topolgicos e Tpicos de Topologia
para o curso de graduao em Matemtica e Tpicos de Topologia para o curso
de ps-graduao Matemtica Universitria, mestrado profissional, cujo objetivo
a formao de um profissional para atuar no ensino superior.
Apresentamos neste texto alguns exemplos de invariantes topolgicos no
sentido de dar uma primeira viso aos alunos sobre classificao de espaos
topolgicos, a menos de homeomorfismos.
Um dos objetivos dar uma motivao aos alunos para que prossigam no
estudo de outros invariantes, conduzindo-os naturalmente para a Topologia
Algbrica.
So apresentados os seguintes invariantes topolgicos: a conexo, o grupo
fundamental, os grupos de homologia simplicial e a caracterstica de Euler.
Como aplicaes destes invariantes, apresentamos a classificao dos intervalos
da reta, o teorema de invarincia da dimenso e a classificao de superfcies
fechadas (compactas e sem bordo), via caracterstica de Euler.
Para a leitura deste texto, recomendamos que se tenha alguns conhecimentos
bsicos de lgebra e de Topologia Geral.
Os autores agradecem aos alunos do curso de graduao em Matemtica,
pela leitura criteriosa e sugestes apresentadas ao texto, em especial a Karen
Regina Panzarin que tambm corrigiu os erros de digitao. Agradecem tambm
ao parecerista pelas sugestes que muito contriburam para melhoria do texto.
26/01/2012 15:21:25
26/01/2012 15:21:25
versao-editora 2012/1/26 15:00 page 11 #1
1
PRELIMINARES
A Topologia considera conjuntos que tm uma estrutura que permite a definio de continuidade. Essa estrutura foi originalmente determinada a partir
de propriedades de conjuntos abertos de Espaos Euclidianos, que por sua vez
originaram da noo de distncia entre pontos.
Em Geometria Analtica, v-se que a circunferncia no R2 de centro O =
(0, 0) e raio r > 0 o conjunto:
C = {(x, y) R2 , d((x, y), (0, 0)) = r},
onde d((x, y), (a, b)) =
(x a)2 + (y b)2 .
Na realidade, d R2 R2 R um exemplo de mtrica, cuja definio

damos abaixo.
Definio 1.1.
Sejam M um conjunto no vazio e d M M R uma
funo, tal que x, y, z M,

1.
d(x, y) 0 e d(x, y) = 0 x = y;
2.
d(x, y) = d(y, x);
3.
d(x, z) d(x, y) + d(y, z).

d chamada mtrica e o par (M, d) chamado de espao mtrico.
H outras formas de se definir uma distncia no R2 . Uma delas, conhecida

como a mtrica dos quarteires, dada por:
d ((x, y), (a, b)) = max{ x a , y b },
onde (x, y) e (a, b) pertencem a R2 .
i
i
i
12
Em um espao mtrico (M, d) definimos uma bola aberta, de centro a e

raio r, por:
B(a, r) = {x M, d(x, a) < r}.
Dizemos que um subconjunto A de M um conjunto aberto se cada ponto
de A centro de uma bola aberta inteiramente contida em A. As bolas abertas formam uma base para o espao mtrico, no sentido de que cada conjunto
aberto uma reunio de bolas abertas.
As propriedades de conjuntos abertos levam-nos definio de um espao
topolgico. Em geral, em um espao topolgico no h a noo de distncia,
so os conjuntos abertos que caracterizam o espao.
Definio 1.2.
Dado um conjunto X , uma topologia para X uma coleo

= {A A X}
satisfazendo:
1.
e X pertencem a ;
2.
A interseo de um nmero finito de elementos de est em ;
3.
A reunio qualquer de elementos de est em .
O par (X, ) chamado espao topolgico. Os elementos de so chamados de subconjuntos abertos de X e o complementar de um aberto de X dito
fechado em X.
A definio de espao mtrico foi introduzida por Maurice Frechet em 1906,
porm foi com a publicao do livro de Felix Hausdorff, em 1912, que houve um
grande desenvolvimento da Topologia Geral. Ressalte-se porm que as ideias j
eram conhecidas e usadas por Henri Poincar (18541912) desde 1895, conforme
constam em seus diversos artigos (Analysis Situs).
Definio 1.3.
Seja X um espao topolgico com uma topologia . Se Y
X, a coleo Y = {Y U U } uma topologia em Y, chamada topologia

induzida de X em Y.
i
i
i
Preliminares
Definio 1.4.
13
Se X um espao topolgico e A um subconjunto de X, ento
o fecho de A em X, o qual denotaremos por AX , ou simplesmente, A, a interseco de todos os fechados de X que contm A. Observemos que se B A X
ento B A = B X A.
Definio 1.5.
Se X um espao topolgico e A um subconjunto de X, ento
dizemos que A denso em X se AX = X.

Definio 1.6.
Uma funo f M N entre espaos topolgicos contnua se
a imagem inversa de qualquer aberto (fechado) U de N, denotada por f 1 (U),

aberto (fechado) em M. Dizemos que f um homeomorfismo se f contnua,
bijetora e sua inversa contnua.
Definio 1.7.
Um espao topolgico X conexo por caminho se dados quais-
quer dois pontos x e y de X existe um caminho em X ligando x a y. Por um

caminho em X entendemos uma funo contnua do intervalo I = [0, 1] em X.
O lema seguinte ser usado muitas vezes no texto.
Lema 1.8 (Lema da Colagem).
Sejam M e N espaos topolgicos e A e B sub-
conjuntos fechados de M tais que A B = M. Sejam f A N e B N

funes contnuas satisfazendo a condio: f (x) = (x) para todo x A B.
Ento a funo h M N definida por
f (x), se x A,
h(x) =
(x), se x B,
contnua.
Demonstrao.
Vamos provar que se F um subconjunto fechado de N ento
h (F) um subconjunto fechado de M.

1
Seja F um subconjunto fechado de N. Como f e so contnuas, ento

f (F) um fechado de A e 1 (F) um fechado de B. Da, uma vez que por
1
hiptese A e B so fechados de M, segue que f 1 (F) e 1 (F) so fechados de

M. Agora fcil ver que h1 (F) = f 1 (F) 1 (F) e portanto h 1 (F) fechado
de M, pois reunio de dois fechados de M.
i
i
i
14
Um problema fundamental em Topologia determinar quando dois espaos so homeomorfos, ou seja, quando existe um homeomorfismo entre eles.
Alguns exemplos de espaos homeomorfos
Exemplo 1.9.
Sejam
S 1 = {(x, y) R2 x 2 + y2 = 1}
T = {(x, y) R2 x + y = 1}
o crculo unitrio e o quadrado, respectivamente. As funes f S 1 T e a sua

inversa f T S 1 apresentadas abaixo definem um homeomorfismo entre o
crculo e o quadrado.
f (x, y) = (
Exemplo 1.10.
x
y
f (x, y) =
,
.
2
2
2
2
x +y
x +y
x
y
,
),
x + y x + y
Os espaos
X2 = {(x, y, z) x 2 + y2 = 1},
X1 = {(x, y) (x, y) (0, 0)},

X3 = {(x, y, z) x 2 + y2 z 2 = 1}
so homeomorfos. Os homeomorfismos so dados por: h X1 X2 definido

por
x
y
1
h(x, y) =
,
, ln(x 2 + y2 ) ,
2
2
2
2
x +y
x +y 2
cujo inverso h X2 X1 definido por
h (x, y, z) = (xe z , ye z )
e k X2 X3 definido por
k(x, y, z) = (x 1 + z 2 , y 1 + z 2 , z),
cujo inverso k X3 X2 definido por
k (x, y, z) = (
x
1 + z2
y
,
, z) .
1 + z2
i
i
i
Preliminares
Exemplo 1.11.
15
Sejam S 2 = {(x, y, z) R3 x 2 + y2 + z 2 = 1} a esfera unitria e
p = (0, 0, 1) S 2 o seu plo norte. A projeo estereogrfica S 2 {p} R2
estabelece um homeomorfismo entre a esfera menos o plo norte e o plano. Tal

x
y
homeomorfismo dado por (x, y, z) = (
,
) cuja inversa R2
1z 1z
S 2 {p} dada por
(x, y) = (
2x
2y
x 2 + y2 1
,
,
).
x 2 + y2 + 1 x 2 + y2 + 1 x 2 + y2 + 1
Duas das questes mais importantes em Topologia so de extenso e de

classificao. Vamos abordar uma introduo ao problema de classificao, definindo a relao de equivalncia entre espaos topolgicos por:
X Y X e Y so homeomorfos.
Isto nos d uma classificao de espaos topolgicos atravs de invariantes
topolgicos. Um invariante topolgico pode ser uma propriedade geomtrica
do espao, um nmero associado a um espao ou um sistema algbrico como
um grupo, um anel ou um mdulo e tem a propriedade de que no se altera por
homeomorfismos.
Em geral muito difcil dizer se dois espaos so homeomorfos. A Topologia Algbrica enfrenta o problema da seguinte maneira: associa ao espao X
um objeto G(X) satisfazendo a propriedade: se X homeomorfo a Y, ento
G(X) e G(Y) so iguais na sua categoria.
Neste trabalho, apresentaremos os seguintes invariantes topolgicos: conexo, grupo fundamental, grupo de homologia simplicial e caracterstica de
Euler.
i
i
i
i
2
CONEXO COMO INVARIANTE TOPOLGICO
A conexo pode ser vista como um invariante topolgico de duas formas:

a partir de suas prprias propriedades ou atravs de grupos que so associados
ao espao topolgico. Esses grupos do informaes sobre a conexidade e o
nmero de componentes conexas (ou conexas por caminhos) desse espao. Se
dois espaos so conexos ou tm o mesmo nmero de componentes conexas,
ento esses grupos associados so isomorfos.
Para o entendimento deste captulo o leitor necessitar de conhecimentos
bsicos em Espaos Mtricos (vide [5]).
Vamos relembrar aqui o Teorema do Valor Intermedirio, que consideramos um dos mais importantes do Clculo Diferencial:
Teorema 2.1.
Se f [a, b] R uma funo contnua e r um nmero entre
f (a) e f (b), ento existe um nmero real c entre a e b tal que f (c) = r.
Na realidade, o que o teorema diz que a imagem de [a, b] por uma funo
contnua um intervalo. Esse teorema no depende s da continuidade de f ,
mas de uma propriedade de [a, b] que a conexo.
A ideia de conexo generaliza a ideia intuitiva de algo que no pode ser
separado, embora nem sempre seja esse o caso. Um exemplo de espao que
pode ser separado R = R {0}. Esse espao se decompe em duas semiretas que so conjuntos abertos e fechados em R .
Definio 2.2.
Um espao topolgico X conexo se os nicos subconjuntos
simultaneamente abertos e fechados so o e o X; ou equivalentemente, X

conexo se A e B so abertos disjuntos tais que X = A B ento A = ou B = .
Nesse caso dizemos que X s assume a ciso trivial.
Exemplo 2.3.
O conjunto Y = [1, 0) (0, 1] R, com a topologia induzida
da topologia usual de R, no conexo.
i
i
i
18
De fato, sendo [1, 0) = (2, 0) Y e (0, 1] = (0, 2) Y, segue que ambos

so abertos em Y. Mas como Y [1, 0) = (0, 1] e Y (0, 1] = [1, 0), segue
que ambos so tambm fechados em Y. Alm disso, ambos so no vazios e
disjuntos.
O exemplo mais importante de espao conexo dado pelo teorema abaixo:
Teorema 2.4.
A reta real R conexa.
Demonstrao.
Suponhamos que R no conexo. Ento R = A B, onde A e
B so abertos, disjuntos e no vazios. Tomemos a A e b B e suponhamos

a < b. Consideremos X = {x A x < b}. Observemos que X pois a X.
Alm disso X limitado superiormente por b, logo existe c = sup X. Como b
um limitante superior de X e o supremo o menor dos limitantes superiores
ento c b. Segue tambm da definio de supremo que > 0, x X tal
que c < x c < c + . Mas isso significa que c A, que por sua vez o
prprio A, pois A fechado. Como A B = , ento c B e sendo c b, segue
que c < b. Logo existe s > 0 tal que b = c + s. Tomando-se s = s/2, tem-se que
c + s < c + s = b.
Sendo A aberto e c A, existe r > 0 tal que (c r, c + r) A.
Seja = min {s , r}. Ento (c , c + ) A e c + < b. Logo existe > 0 tal
que todo ponto de (c, c + ) pertence a X, implicando que c no o sup X.
O objetivo agora mostrar que qualquer intervalo da reta conexo. Para
isso, desenvolveremos vrios resultados.
Proposio 2.5.
Seja f X Y uma funo contnua entre espaos topolgi-
cos. Se X conexo ento f (X) conexo.

Demonstrao.
Sem perda de generalidade podemos supor f (X) = Y. Supo-
nhamos que Y no conexo. Ento existe B aberto e fechado em Y, B e

B Y.
Como f contnua, f 1 (B) aberto e fechado em X. Alm disso f 1 (B)
, pois B e f 1 (B) X, pois como B Y, existe y Y B. Logo, existe
x X f 1 (B). Contradio, pois X conexo.
i
i
Conexo como invariante topolgico
Corolrio 2.6.
i
19
Se f X Y um homeomorfismo ento X conexo se, e
somente se, Y conexo.

Consequncia.
Proposio 2.7.
Demonstrao.
Todo intervalo aberto conexo, pois homeomorfo a R.

O fecho de um conjunto conexo conexo.
Seja X um subconjunto conexo de um espao topolgico M.
Consideremos primeiramente o caso em que X = M. Sejam A e B abertos e

disjuntos tais que M = AB. Ento X = X M = X (AB) = (X A)(X B)
onde X A e X B so abertos em X e (X A) (X B) = .
Como X = M e M = A B, temos que X A ou X B . Por outro
lado, sendo X conexo, tem-se que X A = ou X B = . Logo se X A =
ento X B o que implica que A = . Analogamente, se X B = segue
que B = .
Portanto M s assume a ciso trivial, logo conexo e, como M = X, temos
que X conexo.
No caso geral, observemos que X denso em X M , isto , X X M = X M X M =
X M . Do primeiro caso, se X conexo, ento X X M conexo. Segue portanto que

X M conexo.
Consequncia.
Observemos que [a, b] = (a, b). Portanto, intervalos fechados
so conexos.
Proposio 2.8.
Demonstrao.
Se X Y X M e X conexo ento Y conexo.

Observemos que X Y = X M Y = Y e da Proposio 2.7, X
conexo implica que X Y conexo. Logo Y conexo.

Consequncia.
Concluso.
Como (a, b) (a, b] [a, b], segue que (a, b] conexo.
Todo intervalo da reta conexo.
Usando a conexo como um invariante topolgico, obtemos uma classificao, por homeomorfismos, dos intervalos da reta.
i
i
i
20
Teorema 2.9.
Os intervalos da reta dividem-se nas seguintes classes de equiva-
lncia dadas pela relao .

i)
(a, b), (a, ), (, b) e R;
ii)
[a, b), (a, b], [a, ) e (, b];
iii)
[a, b].
Demonstrao.
Observemos de incio que [a, b) homeomorfo a [a, ), pelo
homeomorfismo [a, b) [a, ) dado por (x) = tan( 2 ( xa

ba )) + a.
A restrio de ao intervalo (a, b) nos fornece um homeomorfismo entre
(a, b) e (a, ).
Um homeomorfismo entre [a, b) e (a, b] dado por (x) = (a + b) x.
Os demais homeomorfismos so imediatos.
Suponhamos que h [c, d) (a, b) seja um homeomorfismo. Ento
h[c,d){c} (c, d) (a, b) {h(c)} tambm um homeomorfismo, porm
(c, d) conexo e (a, b) {h(c)} no o . Logo, pela Proposio 2.5, (a, b) e
[c, d) no so homeomorfos.
Usando raciocnio anlogo, pode-se provar que (a, b) e [c, d] no so homeomorfos e tambm no o so [a, b) e [c, d].
Vamos terminar esse captulo com um exemplo que d uma introduo s
tcnicas usadas em Topologia Algbrica.
Exemplo 2.10.
Seja X um um espao topolgico. Consideremos o conjunto

H 0 (X) = { f X Z, tal que f contnua}
munido da operao soma usual de funes. Notemos que sendo f e contnuas tem-se que f + contnua. Essa operao d a H 0 (X) uma estrutura de
grupo abeliano.
Se X conexo ento as nicas aplicaes contnuas de X em Z so as constantes, uma vez que os nicos conexos de Z so os conjuntos unitrios e portanto H 0 (X) Z. Observemos que se X = ento H 0 (X) = 0, o grupo trivial.
i
i
Conexo como invariante topolgico
i
21
Sejam X e Y espaos topolgicos e f X Y uma aplicao contnua.
Definimos a aplicao f H 0 (Y) H 0 (X) induzida de f por f () = f .
Dados e em H 0 (Y), tem-se que: f (+) = (+) f = f + f =

f () + f (), o que mostra que f um homomorfismo de grupos.
A aplicao Id H 0 (X) H 0 (X) induzida da aplicao identidade Id
X X o homomorfismo identidade.
Se f X Y e Y Z so funes contnuas entre espaos topolgicos,
ento ( f ) = f . De fato, para todo H 0 (Z), tem-se ( f ) () =

( f ) = f ( ) = ( f )(). Segue que se f X Y um
homeomorfismo ento f um isomorfismo. A recproca no verdadeira,

como mostra o exemplo abaixo.
Sejam X = S 1 e Y = R. Ambos so conexos, logo H 0 (S 1 ) = H 0 (R) Z,
porm S 1 no homeomorfo a R.
i
i
i
i
3
GRUPO FUNDAMENTAL
Dados um espao topolgico X e x0 X, associaremos um grupo, chamado

de Grupo Fundamental, constitudo por classes de equivalncia de laos em X
com ponto base x0 .
Este grupo um invariante topolgico, no sentido de que se dois espaos
so homeomorfos, ento os respectivos grupos fundamentais so isomorfos.
Para maiores detalhes sobre o assunto, sugerimos a leitura dos livros [1, 6].
Definio 3.1.
Sejam X um espao topolgico e x0 um ponto fixado de X. Um
lao em x0 uma funo contnua I = [0, 1] X tal que (0) = (1) = x0 .

Denotemos por (X, x0 ) o conjunto { I X; lao em x0 }.
Sejam , (X, x0 ). O lao justaposto definido por:
I X
(2x), x [0, 21 ] ,
x
1
(2x 1), x [ 2 , 1] .
Em geral ((X, x0 ), ) no tem estrutura de grupo, pois nem sempre vale
a propriedade associativa, visto que,
1
( )(2x), x [0, 2 ] ,
(( ) )(x) =
1
(2x 1), x [ 2 , 1] ,
(4x), x [0, 41 ] ,
= (4x 1), x [ 41 , 21 ] ,
(2x 1), x [ 2 , 1] ,
i
i
i
24
enquanto
(2x), x [0, 21 ] ,
( ( ))(x) =
1
( )(2x 1), x [ 2 , 1] ,
(2x), x [0, 21 ] ,
= (4x 2), x [ 21 , 43 ] ,
(4x 3), x [ 4 , 1] .
Definio 3.2.
Dizemos que e em (X, x0 ) so homotpicos e denotamos
por se existe uma funo H I I X contnua tal que

H(t, 0) = (t), t I,
H(0, s) = H(1, s) = x0 , s I,
H(t, 1) = (t), t I.
O parmetro s dito nvel da homotopia.
Proposio 3.3.
Demonstrao.
A relao de homotopia uma relao de equivalncia.

Para todo (X, x0 ), definindo-se
H II
(t, s)
(t)
tem-se que H contnua e H(t, 0) = (t) = H(t, 1) e H(0, s) = x0 = H(1, s).

Logo .
Sejam , (X, x0 ) tais que por uma homotopia H. Definindo-se
G II
(t, s)
H(t, 1 s)
tem-se que G contnua e G(t, 0) = H(t, 1) = (t), G(t, 1) = H(t, 0) = (t) e

G(0, s) = H(0, 1 s) = H(1, 1 s) = G(1, s) = x0 . Segue que .
i
i
Grupo fundamental
i
25
Sejam , , (X, x0 ) tais que e , por homotopias H0 , H1 ,

respectivamente. Definindo-se
H II X
H0 (t, 2s), s [0, 21 ] ,
(t, s)
1
H1 (t, 2s 1), s [ 2 , 1] ,
tem-se, pelo Lema da Colagem (1.8), que H contnua, pois H0 (t, 1) = (t) =
H1 (t, 0) e H0 e H1 so contnuas, ambas definidas em intervalos fechados. Alm
disso H(t, 0) = H0 (t, 0) = (t), H(t, 1) = H1 (t, 1) = (t),
H0 (0, 2s) = x0 , s [0, 21 ] ,
H(0, s) =
1
H1 (0, 2s 1) = x0 , s [ 2 , 1] ,
e
H0 (1, 2s) = x0 , s [0, 21 ] ,
H(1, s) =
1
H1 (1, 2s 1) = x0 , s [ 2 , 1] .
Segue que .
Denotamos por 1 (X, x0 ) o conjunto quociente (X, x0 )/ .

Primeiramente observemos que: para quaisquer , , , (X, x0 ) tais
que e , por homotopias H e G, respectivamente, podemos definir
F I I X por
H(2t, s), t [0, 21 ] ,
(t, s)
1
G(2t 1, s), t [ 2 , 1] .
Como para t = 1/2, H(1, s) = x0 = G(0, s) e G, H so funes contnuas,
ambas definidas em intervalos fechados, o Lema da Colagem (1.8) nos garante
que F contnua. Alm disso,
H(2t, 0), t [0, 21 ] ,
F(t, 0) =
1
G(2t 1, 0), t [ 2 , 1] ,
H(2t, 1), t [0, 21 ] ,
F(t, 1) =
1
G(2t 1, 1), t [ 2 , 1] ,
i
i
i
26
(2t), t [0, 21 ] ,
=
1
(2t 1), t [ 2 , 1] ,
(2t), t [0, 21 ] ,
=
1
(2t 1), t [ 2 , 1] ,
= ( )(t),
= ( )(t),
e tambm F(0, s) = H(0, s) = x0 = G(1, s) = F(1, s), mostrando assim que

.
Segue que temos bem definida a operao
1 (X, x0 ) 1 (X, x0 ) 1 (X, x0 ),
([], []) [] [] = [ ].
Teorema 3.4.
O par (1 (X, x0 ), ) um grupo, chamado grupo fundamental
de X com ponto base x0 .

Demonstrao.
Para quaisquer [], [], [] em 1 (X, x0 ), mostremos que

([] []) [] = [] ([] []),
isto , vale a propriedade associativa. De fato,
(4t), t [0, 41 ],
(( ) )(t) = (4t 1), t [ 41 , 21 ],
(2t 1), t [ 2 , 1],
(2t), t [0, 21 ],
( ( ))(t) = (4t 2), t [ 21 , 43 ],
(4t 3), t [ 4 , 1].

Ilustramos esses caminhos pelos seguintes diagramas, que podem ser usados para obter as descries algbricas dos caminhos em questo.
i
i
Grupo fundamental
1
4
1
2
1
2
( )
27
3
4
( )
Por exemplo, considere ( ) . Para 1/4 t 1/2 utilizamos e a

compomos com a funo linear [1/4, 1/2] [0, 1] definida por (t) = 4t 1.
Para construir uma homotopia entre ( ) e ( ) consideremos a
figura a seguir, onde r e m so os segmentos determinados pelas retas r t =
emt=
s+1
4
s+2
4 .
Figura 3.1: Homotopia entre ( ) e ( )

1
2
3
4
1
4
1
2
s+1
4
s+2
4
Para um dado valor de s, usamos no intervalo [0, s+1

4 ], no intervalo
s+2
s+2
[ s+1
4 , 4 ] e no intervalo [ 4 , 1].
Definimos ento a seguinte homotopia
4t
]
( s+1
), t [0, s+1
4 ,
s+2
H(t, s) = (4t s 1), t [ s+1
]
4 , 4 ,
[ s+2
( 4ts2
2s ), t
4 , 1] .
Temos que H contnua,
H(t, 0) = (( ) )(t),
H(0, s) = (0) = x0 ,
H(t, 1) = ( ( ))(t),
H(1, s) = (0) = x0 ,
o que mostra que ( ) ( ).
i
i
i
28
Mostremos agora que e x0 = [c x0 ] o elemento neutro de 1 (X, x0 ), onde

c x0 I X definida por c x0 (t) = x0 , t.
Tomemos [] 1 (X, x0 ) qualquer. Ento
1
(2t), t [0, 2 ],
( c x0 )(t) =
x0 , t [ 21 , 1].
Para mostrar que [ c x0 ] = [], basta tomar

2t
s+1
( s+1 ), t [0, 2 ],
H(t, s) =
x0 , t [ s+1
2 , 1].
Ento H contnua e
1
(2t), t [0, 2 ] ,
rcl H(t, 0) =
x0 , t [ 21 , 1],
= ( c x0 )(t).
Alm disso, H(t, 1) = (t) e H(0, s) = x0 = H(1, s).
Para mostrar que [c x0 ] = [] basta tomar
x0 , t [0, 1s
2 ],
G(t, s) =
2t1+s
1s
( s+1 ), t [ 2 , 1].
Finalmente, dado (X, x0 ), se tomarmos I X o lao definido por
(t) = (1 t), ento [] [ ] = [c x0 ] e [ ] [] = [c x0 ], bastando considerar
as homotopias
(2t), t [0, 2s ] ,
H(t, s) =
]
(s), t [ 2s , 2s
2 ,
2s
(2t 1), t [ 2 , 1] ,
(2t), t [0, 2s ] ,
K(t, s) =
]
(s), t [ 2s , 2s
2 ,
2s
(2t 1), t [ 2 , 1] .
i
i
Grupo fundamental
i
29
Atravs do conceito de conexo por caminhos, estabeleceremos uma relao entre os Grupos Fundamentais de um determinado espao topolgico,
considerados com diferentes pontos base.
Proposio 3.5.
Seja X um espao topolgico conexo por caminhos e sejam
x0 , x1 X quaisquer. Ento 1 (X; x0 ) e 1 (X; x1 ) so isomorfos.

Demonstrao.
Sendo X, por hiptese, conexo por caminhos e x0 , x1 X, te-
mos que existe um caminho I X tal que (0) = x0 e (1) = x1 .

Definimos # 1 (X; x0 ) 1 (X; x1 ) por # ([]) = [ 1 ].
Mostremos que a aplicao # est bem definida. Para isto, devemos mostrar que se [] = [] ento # ([]) = # ([]), isto , que [ 1 ] =
[ 1 ], ou equivalentemente, que 1 1 .
De fato, sejam [], [] 1 (X; x0 ), tais que [] = []. Ento, , o que
implica que existe F I I X homotopia entre e , isto , F contnua tal
que F(t, 0) = (t), F(t, 1) = (t), t I e F(0, s) = x0 = F(1, s), s I.
Definimos G I I X por: G(t, s) = (1 Fs )(t), onde Fs I X,
dado por Fs (t) = F(t, s). Assim, para todo s I, Fs contnua, Fs (0) =
F(0, s) = x0 e Fs (1) = F(1, s) = x0 . Logo Fs um lao em x0 .
Tambm, a aplicao G contnua, pelo Lema da Colagem (1.8), e
G(t, 0) = ( 1 F0 )(t) = ( 1 )(t),
desde que F0 (t) = F(t, 0) = (t), t I e, portanto, F0 = ;
G(t, 1) = ( 1 F1 )(t) = (1 )(t),
desde que F1 (t) = F(t, 1) = (t), t I e, portanto, F1 = ;
G(0, s) = ( 1 Fs )(0) = 1 (0) = x1 ,
G(1, s) = ( 1 Fs )(1) = (1) = x1 .
Assim, 1 1 , o que implica que # ([]) = # ([]).
Portanto, # est bem definida.
Mostremos agora, que # um homomorfismo.
i
i
i
30
Sejam [], [] 1 (X; x0 ). Devemos mostrar que # ([] []) = # ([])

# ([]).
Observemos que, se (X; x0 , x1 ), ento 1 c x0 , onde c x0 I X
dado por c x0 (t) = x0 , t I. Definamos H I I X por
(2t), t [0, 1s
2 ],
1+s
H(t, s) =
1 (s), t [ 1s
2 , 2 ],
1+s
1
(2t 1), t [ 2 , 1].

Ento, H uma homotopia entre 1 e c x0 , pois desde que, para t =
(2t) = (1 s) = 1 (s) e, para t =
1+s
2 ,
1s
2 ,
1 (s) = 1 (2t 1). Alm disso,
(2t), t [0, 21 ],
H(t, 0) =
1 (0), t = 21 ,
1
1
(2t 1), t [ 2 , 1],
(2t), t = 0,
H(t, 1) =
1 (1), t [0, 1],
(2t 1), t = 1,
(2t), t [0, 21 ],
=
1
1
(2t 1), t [ 2 , 1],
(0) = x0 , t = 0,
= 1 (s) = x0 , t [0, 1],
(1) = x0 , t = 1,
= 1 (t), t I,
= c x0 (t), t I,
e H(0, s) = (0) = x0 e H(1, s) = 1 (1) = x0 . Assim,

1 c x0 1 c x0 1
1 1 1 1 .
Ento,
# ([] []) = # ([ ]) = [1 ] =
= [ 1 1 ] = [1 ][ 1 ] =
= # ([]) # ([]).
i
i
Grupo fundamental
i
31
Finalmente, mostremos que # bijetor.

Injetividade: seja [] 1 (X; x0 ) tal que # ([]) = e x1 = [c x1 ]. Ento:
[1 ] = [c x1 ] 1 c x1
1 1 c x1 1 c x0 c x0 c x1 1
c x1 1 1 c x0 [] = e x0 ,
desde que c x1 , pois K I I X dada por
2t
s+1
( s+1 ), t [0, 2 ],
K(t, s) =
x1 , t [ s+1
2 , 1],
uma homotopia entre c x1 e , uma vez que K contnua pelo Lema da

Colagem (1.8),
1
(2t), t [0, 2 ],
K(t, 0) =
x1 , t [ 21 , 1],
(t), t [0, 1],

K(t, 1) =
x1 , t = 1,
= c x1 (t), t I;
= (t), t I;
e K(0, s) = (0) = x0 e K(1, s) = x1 . Portanto # injetor.

Sobrejetividade: dado [] 1 (X; x1 ), tome [ 1 ] 1 (X; x0 ). Ento
# ([ 1 ]) = [ 1 1 ] = [c x1 c x1 ] = []. Assim, #
sobrejetor.
Portanto # um isomorfismo e 1 (X; x0 ) e 1 (X; x1 ) so isomorfos.
Por este teorema, podemos ver que o grupo fundamental de um espao topolgico independe do ponto base considerado, se o espao for conexo por caminhos. Neste caso, denotaremos 1 (X; x0 ) simplesmente por 1 (X).
Seja f X Y uma funo contnua. Observemos que f um lao em
f (x0 ), pois
f [0, 1] Y
t ( f )(t)
contnua e ( f )(0) = f (x0 ) = ( f )(1).
i
i
i
32
Sejam e dois laos em x0 tais que , por uma homotopia G.

Definimos H I I Y por H(t, s) = ( f G)(t, s) e observamos que H
contnua, pois f e G o so. Alm disso,
H(t, 0) = f G(t, 0) = ( f )(t),
H(0, s) = f G(0, s) = f (x0 ),
H(t, 1) = f G(t, 1) = ( f )(t),
H(1, s) = f G(1, s) = f (x0 ).
Portanto f f e podemos dar a seguinte definio.

Definio 3.6.
Seja f X Y uma funo contnua. Definimos f# , a induzida
de f , por
f# 1 (X, x0 ) 1 (Y , f (x0 ))
[] [ f ].
Proposio 3.7.
Sejam f X Y e Y Z aplicaes contnuas, onde X, Y
e Z so espaos topolgicos com x0 X, y0 = f (x0 ) Y e z0 = (y0 ) Z.

Ento:
1.
f# 1 (X, x0 ) 1 (Y , y0 ) um homomorfismo.
2.
( f )# = # f# .
3.
Id# o homomorfismo identidade do 1 (X, x0 ), onde Id X X a

aplicao identidade.
Demonstrao.
1. Primeiramente observamos que para quaisquer laos e , temos f () =

( f ) ( f ). De fato, para todo t I temos
f ((2t)), t [0, 21 ],
( f ( ))(t) =
1
f ((2t 1)), t [ 2 , 1],

= (( f ) ( f ))(t).
i
i
Grupo fundamental
i
33
Sendo assim temos que

f# ([] []) = f# ([ ]) = [ f ( )] =
= [( f ) ( f )] = [ f ] [ f ] = f# ([]) f# ([])
e portanto f# um homomorfismo.
2. Sejam f X Y e Y Z funes contnuas. Consideremos as respectivas aplicaes induzidas:
f# 1 (X, x0 ) 1 (Y , y0 )
# 1 (Y , y0 ) 1 (Z, z0 )
[] f# ([]) = [ f ],
[] # ([]) = [ ].
Ento ( f )# dada por

( f )# 1 (X, x0 ) 1 (Z, z0 )
[] ( f )# ([]) = [( f ) ]
e portanto,
( f )# ([]) = [( f ) ] = [ ( f )] =
= # ([ f ]) = # ( f# ([])) = (# f# )([]).
3. imediato.
Teorema 3.8.
Se f X Y um homeomorfismo, ento f# 1 (X, x0 )
1 (Y , f (x0 )) um isomorfismo.
Demonstrao.
Sendo f um homeomorfismo segue que f f 1 = Id = f 1 f ,
onde f 1 denota a funo inversa de f . Pelas propriedades acima temos

( f f 1 )# = f# ( f 1 )# = (Id)# ,
( f 1 f )# = ( f 1 )# f# = Id# ,
o que implica que f# um isomorfismo.
i
i
i
34
Observamos que o Teorema 3.8 mostra que o grupo fundamental um invariante topolgico, pois se 1 (X, x0 ) e 1 (Y , f (x0 )) no so isomorfos, ento
X e Y no so homeomorfos.
Por exemplo, como 1 (S 1 ) = Z e 1 (R) = {0} (vide [2]) no so isomorfos,
conclumos que S 1 e R no so homeomorfos.
i
i
4
HOMOLOGIA SIMPLICIAL
O objetivo deste captulo associar um grupo a um dado espao topolgico, chamado grupo de homologia simplicial, e usar sua estrutura para obter
propriedades topolgicas e geomtricas do espao.
H outros tipos de grupos de homologia que poderiam ser tratados como
invariantes topolgicos. Optamos pela homologia simplicial pela sua abordagem geomtrica que a torna mais acessvel aos alunos de graduao.
Para maiores detalhes, sugerimos a leitura dos livros [1, 7].
Definio 4.1.
Um conjunto A = {a0 , a1 , . . . , a k } Rn geometricamente
independente se, e somente se, nenhum hiperplano de dimenso (k 1) contm A.

Assim, A geometricamente independente se todos os pontos so distintos, nenhum 3 deles esto em uma reta, nenhum 4 deles esto em um plano e
nenhum p deles esto em um (p 2)-hiperplano.
Definio 4.2.
Seja A = {a0 , a1 , . . . , a k } um conjunto geometricamente inde-
pendente. O simplexo geomtrico k-dimensional ou k-simplexo gerado por A,

denotado por k , o conjunto dos pontos x Rn para os quais existem nmeros
reais no negativos 0 , . . . , k tais que x = ki=0 i a i e ki=0 i = 1.
Os nmeros 0 , . . . , k so chamados coordenadas baricntricas e os pontos a0 , . . . , a k so chamados vrtices de k .
O k-simplexo geomtrico aberto gerado por A o conjunto de todos x k
tais que as coordenadas baricntricas so positivas.
Um 0-simplexo um ponto; um 1-simplexo um segmento fechado e um
1-simplexo aberto um segmento sem os extremos; um 2-simplexo um tringulo (interior e fronteira) e um 2-simplexo aberto o interior do tringulo;
i
i
i
36
um 3-simplexo um tetraedro (interior e fronteira) e um 3-simplexo aberto o

interior do tetraedro.
Um simplexo k uma face de um simplexo n , k n, se cada
Definio 4.3.
vrtice de k um vrtice de n . As faces de n distintas de n so chamadas

faces prprias.
Se n o simplexo de vrtices a0 , . . . , a n , escrevemos n = a0 . . . a n . Com

essa notao, as faces do 2-simplexo a0 a1 a2 so:
a0 a1 a2 , a0 a1 , a0 a2 , a1 a2 , a0 , a1 e a2 .
Definio 4.4.
Dois simplexos m e n so propriamente ligados se m n
vazia ou se m n uma face de m e de n .
(a) propriamente ligados

Definio 4.5.
(b) no propriamente ligados
Um complexo simplicial uma famlia finita K de simplexos
que so propriamente ligados e cada face de um elemento de K tambm um

elemento de K. A dimenso de K o maior inteiro positivo r tal que K tem um
r-simplexo. A reunio de todos os elementos de K com a topologia induzida de
Rr , denotada por K, chamada o poliedro associado a K.
Exemplo 4.6.
O complexo simplicial K abaixo, onde no estamos conside-
rando o 3-simplexo a0 a1 a2 a3 e o 2-simplexo a1 a5 a6 , constitudo por quatro 2-simplexos, dez 1-simplexos e sete 0-simplexos e tem dimenso 2.
i
i
Homologia simplicial
i
37
a0
a6
a2
a5
a1
a4
a3
Seja X um espao topolgico. Se existe um complexo simplicial
Definio 4.7.
K cujo poliedro associado homeomorfo a X, dizemos que X triangulvel e

K uma triangulao de X.
Consideremos a esfera S 2 . O complexo simplicial
Exemplo 4.8.
K = {a0 a1 a2 , a0 a1 a3 , a0 a2 a3 , a1 a2 a3 ,
a0 a1 , a0 a2 , a0 a3 , a1 a2 , a1 a3 , a2 a3 , a0 , a1 , a2 , a3 }
tem poliedro associado homeomorfo a esfera S 2 .
a0
a3
a1
Definio 4.9.
a2
O fecho de um k-simplexo k , denotado por k , o complexo
simplicial constitudo de k e todas as suas faces.

Exemplo 4.10.
Seja 2 = a0 a1 a2 . Ento o fecho de 2 dado por
2 = { 2 , a0 a1 , a0 a2 , a1 a2 , a0 , a1 , a2 } .
Definio 4.11.
Se K um complexo simplicial de dimenso n e r n, ento o
r-esqueleto de K o complexo simplicial K (r) constitudo de todos os simplexos

de K de dimenso menor ou igual que r.
i
i
i
38
Exemplo 4.12.
Consideremos o complexo simplicial do Exemplo 4.8. Neste
caso, o 1-esqueleto de K
K (1) = {a0 , a1 , a2 , a3 , a0 a1 , a0 a2 , a0 a3 , a1 a2 , a1 a3 , a2 a3 } .
Observao.
Note que, em uma triangulao, cada aresta interna aresta de
exatamente dois tringulos, pois se fosse s de um, pontos interiores a essa

aresta possuiriam vizinhanas V R2 que no so homeomorfas a bolas abertas e se pertencesse a mais de dois, contrariaria a dimenso da superfcie (vide
definio no captulo 5).
V
V
Definio 4.13.
Dado um p-simplexo p , com p 1, podemos dar-lhe uma
orientao simplesmente escolhendo uma ordem para seus vrtices. A classe

de equivalncia de permutaes pares da ordem escolhida constituda pelos
simplexos positivamente ordenados, denotados por + p ou simplesmente p , e
a classe de equivalncia de permutaes mpares constituda pelos simplexos
negativamente ordenados, denotados por p . Um complexo simplicial orientado um complexo simplicial com uma orientao coerente em cada um de
seus simplexos. Um 0-simplexo a0 sempre orientado.
Exemplo 4.14.
Seja 1 = a0 a1 . Tomando-se a orientao a0 < a1 , temos
+ 1 = a0 a1 e 1 = a1 a0 . Seja 2 = a0 a1 a2 com a orientao dada por a0 <

a1 < a2 . Usando as permutaes associadas a 2 , obtemos trs permutaes
pares:
0 1 2
= (0 2) (1 2) ,
2 0 1
0 1 2
= (0 2) (0 1) ,
1 2 0
0 1 2
= (0 1) (0 1) ;
0 1 2
i
i
i
39
e trs permutaes mpares:

0 1 2
= (1 2) ,
0 2 1
0 1 2
= (0 1) ,
1 0 2
0 1 2
= (0 2) .
2 1 0
Portanto + 2 = a2 a0 a1 = a1 a2 a0 = a0 a1 a2 e 2 = a0 a2 a1 =
a1 a0 a2 = a2 a1 a0 .
Definio 4.15.
Seja K um complexo simplicial com uma orientao fixada.
A cada par (
, p ) de simplexos de K associamos um nmero [ p+1 , p ],
p+1
chamado nmero de incidncia, definido por:

i)
se p no uma face de p+1 , ento [ p+1 , p ] = 0;
ii)
se p uma face de p+1 , consideremos + p = a0 . . . a p e seja v o vrtice

de p+1 que no est em p . Se + p+1 = +va0 . . . a p , [ p+1 , p ] = 1 e se
+ p+1 = va0 . . . a p , [ p+1 , p ] = 1.
Exemplo 4.16.
Considere 1 = a0 a1 com a orientao a0 < a1 . Ento + 1 =
a0 a1 e 1 = a1 a0 . Assim [ 1 , a0 ] = 1 e [ 1 , a1 ] = 1. Considere 2 =
a0 a1 a2 com orientao a0 < a1 < a2 . Ento + 2 = a0 a1 a2 . Sejam + 1 =

a0 a1 e + 1 = a0 a2 . Assim [ 2 , 1 ] = 1, pois + 2 = +a2 a0 a1 e [ 2 , 1 ] = 1,
pois + 2 = a1 a0 a2 .
Teorema 4.17.
Sejam K um complexo orientado, p um p-simplexo orientado
de K e p2 uma (p 2)-face de p . Ento

p
p1
p1
p2
[ , ][ , ] = 0.
p1 K
Demonstrao.
Consideremos + p2 = v0 . . . v p2 e sejam a e b os vrtices
adicionais de p . Assumamos que + p = a b v0 . . . v p2 .

Os nicos (p 1)-simplexos tais que [ p , p1 ] 0 e [ p1 , p2 ] 0 so
p1
= av0 . . . v p2 e
p1
= bv0 . . . v p2 ,
i
i
i
40
visto que so os nicos que so faces de p e tm p2 como face. Analisemos

os quatro casos determinados pelas orientaes de 1
p1
e 2 .
p1
Podemos ter:
+11
= +av0 . . . v p2
ou
+12 = av0 . . . v p2 ,
+21 = +bv0 . . . v p2
ou
+22 = bv0 . . . v p2 .
p1
p1
p1
p1
Temos ento os seguintes nmeros de incidncia:

[ p , 11 ] = 1,
p1
[ p , 12 ] = +1,
[ p , 21 ] = 1,
p1
p1
[ p , 22 ] = +1,
p1
[11 , p2 ] = +1, [12 , p2 ] = 1, [21 , p2 ] = +1, [22 , p2 ] = 1.

p1
p1
p1
p1
Portanto
[ p , 11 ] [11 , p2 ] = (1) (+1) = 1,
p1
p1
[ p , 12 ] [12 , p2 ] = (+1) (1) = 1,

p1
p1
[ p , 21 ] [21 , p2 ] = (+1) (+1) = +1,

p1
p1
[ p , 22 ] [22 , p2 ] = (1) (1) = +1,

p1
p1
donde segue que

2
p
p1
p1
p2
p
p2
[ , ] [ , ] = [ , i j ] [i j , ] = 0,
p1
p1 K
p1
i, j=1
o que conclui a demonstrao.

Definio 4.18.
p p
Sejam K um complexo simplicial orientado e {i }i=0 a famlia
dos p-simplexos de K, onde p denota o nmero de p-simplexos.

Uma cadeia p-dimensional (ou uma p-cadeia) uma funo
p p
c p {i }i=0 Z
tal que c p (i ) = c p (+i ). Uma 0-cadeia uma funo
p
c0 {0-simplexos} Z.
i
i
41
O conjunto C p (K) de todas as p-cadeias com a operao adio de funes

um grupo abeliano, chamado grupo das p-cadeias.
Uma p-cadeia elementar quando existe um p-simplexo p K tal que
c p ( p ) = 0, para todo p-simplexo p K, distinto de p . Neste caso denotamos
c p por p , onde = c p (+ p ). Com essa notao, toda p-cadeia d p pode ser
escrita como uma soma formal finita de p-cadeias elementares
p
d p = i i ,
p
i = c pi (+i ).
p
i=0
Definio 4.19.
Se p uma p-cadeia elementar com p 1, o bordo de p ,
denotado por ( p ), definido por:

p1
( p ) = [ p , i
p1
]i
p1
i=0
O operador bordo
C p (K) C p1 (K),
p
(c p ) = (i i ),
p
i=0
p
onde c p = i i , obtido estendendo por linearidade a definio anterior.

p
i=0
O operador bordo de C0 (K) o homomorfismo identicamente nulo.

Teorema 4.20.
Se K um complexo orientado e p 2 ento

/ C p (K)
/ C p1 (K)
/ C p2 (K)
uma sequncia semi-exata, isto , 2 = 0.

p
Demonstrao.
Seja c p C p (K) qualquer. Ento c p = i i , onde i i so

p
i=0
p-cadeias elementares. Como um homomorfismo, basta provarmos para

p-cadeias do tipo p .
i
i
i
42
Temos que
p1
2 ( p ) = ( [ p , i
p1
]i
]i
p1
i=0
p1
= ([ p , i
p1
p1
i=0
p2 p p1 p1 p2
p2
= [ , i ][i , j ] j
i=0 j=0
p1
p2
p1
= ( [ p , i
][i
, j
, j
] = 0,
p1
j=0
p1
p2
]) j
p2
i=0
Pelo Teorema 4.17, observamos que

p1
p
[ , i
p1
][i
p1
p2
i=0
de onde segue o resultado.

Definio 4.21.
Sejam K um complexo simplicial orientado e p 0. Um p-
ciclo de K, uma p-cadeia z p tal que (z p ) = 0. Dizemos que b p um p-bordo

se existir uma (p + 1)-cadeia c p+1 tal que (c p+1 ) = b p .
Denotemos por Z p (K) o conjunto de todos os p-ciclos de K. Observemos que Z p (K) o ncleo do homomorfismo bordo C p (K) C p1 (K) e
C0 (K) = Z0 (K), pois (C0 (K)) = 0.
O conjunto dos p-bordos, denotado por B p (K), constitudo pela imagem
de C p+1 (K) C p (K). Se K tem dimenso n, no h cadeias de dimenso
maior que n. Logo C p (K) = 0, para p > n, e portanto B n (K) = 0.
Se K um complexo orientado de dimenso n, ento B p (K) Z p (K),
0 p n. De fato, se b p B p (K), existe c p+1 C p+1 (K) tal que (c p+1 ) = b p .
Ento (b p ) = 2 (c p+1 ) = 0 e portanto b p Z p (K).

Definio 4.22.
Sejam w p e z p em Z p (K). Dizemos que w p e z p so homlogos
se w p z p B p (K).
i
i
i
43
Essa relao de equivalncia. A classe de equivalncia de z p Z p (K),

chamada classe de homologia de z p , o conjunto
z p + B p (K) = {w p Z p (K); w p z p = (c p+1 ), c p+1 C p+1 (K)} ,
tambm denotado por [z p ].
Definimos o grupo de homologia p-dimensional de K como o grupo
quociente
H p (K) =
Z p (K)
.
B p (K)
Suponhamos que K tenha r p-simplexos. Ento C p (K) isomorfo a

Z Z,

r-cpias
isto , C p (K) um grupo abeliano livre com r geradores.

Como Z p (K) e B p (K) so subgrupos de C p (K) ento so livres e abelianos.
Z p (K)
um grupo abeliano. Ento H p (K) = L T1 Tm ,
Assim H p (K) =
B p (K)
onde L abeliano livre e cada Ti um subgrupo de toro.
Observemos que H0 (K) livre.
Exemplo 4.23.
Seja K o fecho do 2-simplexo a0 a1 a2 , com orientao indu-
zida por a0 < a1 < a2 . Os 0-simplexos de K so a0 , a1 e a2 e os 1-simplexos

orientados so a0 a1 , a0 a2 , a1 a2 e existe um nico 2-simplexo a0 a1 a2 .
Dimenso zero: uma 0-cadeia c0 de K da forma c0 = 0 a0 + 1 a1 + 2 a2 ,
onde i Z, i = 0, 1, 2. Portanto, C0 (K) Z Z Z.
Dimenso um: uma 1-cadeia c1 de K da forma c1 = 0 a0 a1 + 1 a0 a2 +
2 a1 a2 , onde i Z, i = 0, 1, 2. Portanto C1 (K) Z Z Z.
Dimenso dois : uma 2-cadeia c2 de K da forma a0 a1 a2 , onde Z. Portanto C2 (K) Z.
Para que c0 = 0 a0 +1 a1 +2 a2 seja um 0-ciclo, devemos ter (0 a0 +
1 a1 + 2 a2 ) = 0, ou seja 0 (a0 ) + 1 (a1 ) + 2 (a2 ) = 0. Como
a0 = a1 = a2 = 0, segue que Z0 (K) Z Z Z.
i
i
i
44
Para que c1 seja um 1-ciclo, devemos ter (0 a0 a1 +1 a0 a2 +2 a1 a2 )=0.

Assim
0 (a0 a1 ) + 1 (a0 a2 ) + 2 (a1 a2 ) = 0,
ou ainda
0 (a0 + a1 ) + 1 (a0 + a2 ) + 2 (a1 + a2 ) = 0.
Portanto 0 1 = 0 2 = 1 + 2 = 0, donde segue que 0 = 2 = 1 e
consequentemente Z1 (K) Z.
Para que c2 = a0 a1 a2 seja um 2-ciclo, seu bordo deve ser nulo, ou seja,
devemos ter
(a0 a1 a2 ) = (a0 a1 a0 a2 + a1 a2 ) = 0
e portanto = 0 e Z2 (K) 0.
Dos clculos acima obtemos que
Z0 (K) Z Z Z,
Z1 (K) Z,
Z2 (K) 0.
Calculemos agora os conjuntos dos i-bordos, B i (K), i = 0, 1, 2.

Dada uma 1-cadeia c1 = 0 a0 a1 + 1 a0 a2 + 2 a1 a2 temos que
(c1 ) = (0 1 )a0 + (0 2 )a1 + (1 + 2 )a2
uma 0-cadeia b0 = r0 a0 + r1 a1 + r2 a2 onde
r0 = 0 1 ,
r1 = 0 2 ,
r2 = 1 + 2 ,
ou, equivalentemente, r0 = r1 r2 . Portanto um 0-bordo do tipo

b0 = (r1 r2 )a0 + r1 a1 + r2 a2 = r1 (a1 a0 ) + r2 (a2 a0 )
e assim B0 (K) Z Z.
Seja agora a0 a1 a2 uma 2-cadeia. Como
(a0 a1 a2 ) = (a0 a1 a0 a2 + a1 a2 ),
ento B1 (K) Z.
i
i
i
45
Observemos que B2 (K) 0, pois no existem 3-cadeias em K.

Estamos agora em condies de determinar os grupos de homologia do
complexo simplicial orientado K.
Seja c0 = 0 a0 + 1 a1 + 2 a2 uma 0-cadeia qualquer. Temos que
c0 = (1 a0 a1 + 2 a0 a2 ) + (0 + 1 + 2 )a0 ,
ou seja, c0 (0 + 1 + 2 )a0 = (1 a0 a1 + 2 a0 a2 ). Portanto todo 0-ciclo
c0 homlogo a um mltiplo de a0 . Segue que H0 (K) Z.
Dos clculos acima, temos que Z1 (K) B1 (K) e portanto H1 (K) 0.
Segue tambm que H2 (K) 0, pois Z2 (K) 0.
Definio 4.24.
Dizemos que um espao topolgico de Hausdorff uma n-
variedade se, para cada ponto, existe um aberto que o contm e que homeomorfo a uma bola aberta do Rn .
II
onde
I o intervalo fechado [0, 1] e a relao definida por (x, 0) (x, 1) e
Definio 4.25.
Por um Toro entendemos o espao quociente T 2 =
(0, y) (1, y).

Por uma Garrafa de Klein entendemos o espao quociente
II
KB =
onde I o intervalo fechado [0, 1] e a relao definida por
(x, 0) (x, 1) e (0, y) (1, 1 y).

Definio 4.26.
Definio 4.27.
2
Por um Plano Projetivo entendemos o espao quociente P 2 =
S
, onde S 2 a esfera unitria do R3 .
x (x)
Uma superfcie uma 2-variedade compacta e conexa. As superfcies mais
conhecidas so a esfera S 2 , o toro T 2 , a garrafa de Klein KB, o plano projetivo
real P 2 , alm daquelas obtidas dessas por somas conexas.
De fato, essas so todas as superfcies (ver Teorema 5.14 do captulo 5).
Definio 4.28.
Uma n-pseudovariedade um complexo K com as seguintes
propriedades:
i
i
i
46
1.
Cada simplexo de K uma face de algum n-simplexo de K.
2.
Cada (n 1)-simplexo face de exatamente dois n-simplexos de K.
3.
Dado um par 1n e 2n de n-simplexos de K, existe uma sequncia de nsimplexos comeando em 1n e terminando em 2n tal que quaisquer dois
termos consecutivos dessa sequncia tem uma (n 1)-face comum.
Para n = 2, essa definio equivalente definio de uma triangulao de

uma superfcie (lembrando que no nosso contexto, as superfcies so variedades
sem bordo).
Exemplo 4.29.
A triangulao do toro dada abaixo um exemplo de uma
2-pseudovariedade.
a0
a3
a2
a1
a0
a0
a4
a5
a6
a7
a8
a3
a2
a1
a4
a0
Por uma faixa de Mebius entendemos o espao quociente

II
FM =
, onde I denota o intervalo fechado [0, 1].
(0, y) (1, 1 y)
Definio 4.30.
Exemplo 4.31.
A faixa de Mebius
d
no uma 2-pseudovariedade, pois existem 1-simplexos, por exemplo e f , que

so faces de apenas um 2-simplexo, no caso b f e. Portanto no satisfaz a condio (2) da Definio 4.28.
i
i
Definio 4.32.
n1
i
47
Seja K uma n-pseudovariedade. Para cada (n 1)-simplexo
de K, consideremos 1n e 2n os dois n-simplexos dos quais n1 face.
Uma orientao para K com a propriedade [1n , n1 ] = [2n , n1 ] para cada

(n 1)-simplexo n1 de K chamada uma orientao coerente de K. Uma
n-pseudovariedade orientvel se a ela pode ser associada uma orientao
coerente. Caso contrrio, ela no orientvel.
Exemplo 4.33.
Seja T o toro com orientao induzida por a < b < c < d < e <
f < < h < i.

a
e
i
Em todas as 1-faces temos coerncia na orientao. Como exemplo considere a 1-face h f e observe que [ih f , h f ] = 1 e [ f h , h f ] = 1. Portanto o toro orientvel.
Exemplo 4.34.
Se faixa de Mebius acrescentarmos do lado direito os dois
2-simplexos ade e abe e orientarmos conforme a figura abaixo

d
i
i
i
48
ento para a 1-face ad tem-se [cad, ad] = 1 e [ade, ad] = 1 e portanto

a faixa de Mebius no orientvel.
Exemplo 4.35.
Consideremos o plano projetivo P 2 com orientao dada pela
figura abaixo.
f
c
e
Observemos que a face a f de a f d e ea f tal que [a f d, a f ] = 1 e
[ea f , a f ] = 1. Logo P 2 no orientvel.

Proposio 4.36.
Demonstrao.
Se K uma n-pseudovariedade orientvel ento H n (K) Z.
Se K orientvel, associamos a K uma orientao coerente.

n
n n1
i=0
i=0 j=0
n1
Seja z C n (K), isto , z = i in e (z) = [in , in1
j ]i i j . Esta
equao pode ser reescrita como

n i1
n n1
i=0 j=0
i=0 j=i+1
i=0
n i1
n n1
i=0 j=0
j=0 i= j+1
i=0
n n1
n1
n n1
n1
n1
(z) = [in , in1
j ]i i j + [ i , i j ]i i j + [ i , ii ]i ii ,
ou equivalentemente,
n1
n n1
n1
n n1
n1
(z) = [in , in1
j ]i i j + [ j , i j ] j i j + [ i , ii ]i ii .
Como in1
= jin1 face de exatamente dois n-simplexos (digamos in e
j
n n1
jn ) e [in , in1
j ] = [ j , i j ] ento, obtemos
n i1
n n1
i=0 j=0
j=0 i= j+1
n1
n1
n n1
(z) = [in , in1
j ]i i j [ i , i j ] j i j ,
i
i
i
49
n
n1
(z) = [in , in1
j ](i j ) i j .
i=0 ji
Lembrando que [in , in1

j ] = 1, segue que z um n-ciclo se, e somente se,
n
i = j = se, e somente se, z = in . Logo Z n (K) = Z.

i=0
Como n a dimenso de K ento no h (n + 1)-simplexos em K e assim

B n (K) = 0. Conclumos portanto que H n (K) Z.
4.1. CLCULOS DE ALGUNS GRUPOS DE HOMOLOGIA

Exemplo 4.37.
Seja a faixa de Mebius (FM)

d
com orientao induzida por a < b < c < d < e < f . Como no h 3-simplexos,
temos que B2 (FM) = 0. Calculemos agora Z2 (FM). Para isto, suponha que
w = 0 ade + 1 abe + 2 be f + 3 bc f + 4 ac f + 5 acd
seja um 2-ciclo. Ento (w) = 0. Mas
(w) = 0 ade + 1 abe + 2 be f + 3 bc f
+ 4 ac f + 5 acd
= 0 (ad + de ae) + 1 (ab + be ae)
+ 2 (be + e f b f ) + 3 (bc + c f b f )
+ 4 (ac + c f a f ) + 5 (ac + cd ad)
i
i
i
50
= (0 5 )ad + 0 de (0 + 1 )ae + 1 ab
+ (1 + 2 )be + 2 e f (2 + 3 )b f + 3 bc
+ (3 + 4 )c f + (4 + 5 )ac 4 a f + 5 cd.
Assim (w) = 0 se, e somente se, 0 = 1 = 2 = 3 = 4 = 5 = 0. Portanto
w = 0 e ento Z2 (FM) = 0. Logo H2 (FM) = 0.
Alm disso, considere as seguintes 1-cadeias:
z = ab + bc + cd ad,
z = ad + de + e f a f .
Temos que (z) = b a + c b + d c (d a) = 0 e

analogamente (z ) = 0. Portanto z e z so 1-ciclos.
Observe ainda que zz = (abe+bc f +acdac f be f ade)
e z homlogo a z . Pode-se provar de maneira anloga, que qualquer 1-ciclo
homlogo a z. Ento H1 (FM) = {[z] Z} Z.
Afirmamos tambm que quaisquer duas 0-cadeias so homlogas a a.
Por exemplo, a e = (ae), donde e homlogo a a. Portanto
H0 (FM) = {[a] Z} Z.
Exemplo 4.38.
Consideremos a esfera unitria S 2 de R3 com a triangulao K
da figura abaixo e com a orientao induzida dada por a < b < c < d.
c
Calculemos H2 (K). Observemos primeiramente que B2 (K) = 0, desde que

K no possui 3-simplexos.
Encontremos agora Z2 (K). Para isso tomemos uma 2-cadeia
c2 = 0 abc + 1 abd + 2 acd + 3 bcd
i
i
i
51
tal que (c2 ) = 0. Ento

(c2 ) = 0 (ab ac + bc) + 1 (ab ad + bd)+
+ 2 (ac ad + cd) + 3 (bc bd + cd) = 0,
(0 + 1 )ab + (2 0 )ac + (1 2 )ad
+ (0 + 3 )bc + (1 3 )bd + (2 + 3 )cd = 0.
Assim 0 = 1 = 2 = 3 implica que
c2 = 0 abc 0 abd+ 0 acd 0 bcd = 0 (abcabd+acdbcd)
e portanto Z2 (K) Z. Conclumos assim que H2 (K) Z.
Calculemos agora H1 (K). Para isto, tomemos uma 1-cadeia
c1 = 0 ab + 1 ac + 2 ad + 3 bc + 4 bd + 5 cd
tal que (c1 ) = 0. Ento
0 (b a) + 1 (c a) + 2 (d a)
+ 3 (c b) + 4 (d b) + 5 (d c) = 0,
(0 1 2 )a + (0 3 4 )b + (1 + 3 5 )c + (2 + 4 + 5 )d = 0.
Assim 0 = 3 + 4 , 1 = 3 + 5 e 2 = 4 5 . Portanto,
c1 = (3 + 4 )ab+(3 + 5 )ac+(4 5 )ad+ 3 bc+ 4 bd+ 5 cd,
i
i
i
52
c1 = 3 (ab ac +bc) + 4 (ab ad + bd) + 5 (ac ad + cd)

= 3 (abc) + 4 (abd) + 5 (acd)
= (3 abc + 4 abd + 5 acd).
Portanto todo 1-ciclo um bordo. Logo H1 (K) = 0.
Calculemos H0 (K). Por definio, (c0 ) = 0, para toda 0-cadeia c0 . Desta
forma c0 = 0 a + 1 b + 2 c + 3 d um ciclo e portanto Z0 (K) gerado
por {a, b, c, d} de modo que isomorfo a Z Z Z Z.
Calculemos B0 (K). Para isto tomemos
c1 = 0 ab + 1 ac + 2 ad + 3 bc + 4 bd + 5 cd
tal que (c1 ) = c0 , para alguma 0-cadeia c0 .
Desde que
(c1 ) = (0 1 2 )a+(0 3 4 )b+(1 + 3 5 )c+(2 + 4 + 5 )d,
procuramos i , i = 1, . . . , 5, tais que
0 1 2 = 0 ,
0 3 4 = 1 ,
1 + 3 5 = 2 ,
2 + 4 + 5 = 3 .
Por escalonamento, obtemos que o sistema s ter soluo se 0 + 1 + 2 +

3 = 0 e neste caso (c1 ) = (1 2 3 )a + 1 b + 2 c + 3 d. Assim
B0 (K) Z Z Z e gerado por {a + b, a + c, a + d}.
Mas Z0 (K) gerado por {a, b, c, d}, ou ainda, por
{a, a + b, a + c, a + d} .
De fato,
0 a + 1 b + 2 c + 3 d =
= 0 a + 1 (a + b) + 2 (a + c) + 3 (a + d)
se, e somente se, 0 1 2 3 = 0 , 1 = 1 , 2 = 2 e 3 = 3 . Portanto
0 = 0 + 1 + 2 + 3 , 1 = 1 , 2 = 2 e 3 = 3 .
i
i
Logo H0 (K) =
Exemplo 4.39.
i
53
Z0 (K)
= [a + B0 (K)] Z.
B0 (K)
Seja P 2 o plano projetivo, representado pelo diagrama:

f
c
e
com orientao induzida por a < b < c < d < e < f . Como no h 3-simplexos,
temos novamente que B2 (P 2 ) = 0.
Vamos calcular Z2 (P 2 ). Observe que cada 1-simplexo 1 face de exata-
mente dois 2-simplexos 12 e 22 . Calculemos alguns nmeros de incidncia dos

1-simplexos com os 2-simplexos dos quais so faces.
Quando 1 de, e f , d f , bc, cd, bd ou ab ento:
-
de face de bde e cde, [bde, de] = 1 e [cde, de] = 1,
e f face de be f e ae f , [be f , e f ] = 1 e [ae f , e f ] = 1,
d f face de ad f e cd f , [ad f , d f ] = 1 e [cd f , d f ] = 1,
bc face de bc f e abc, [bc f , bc] = 1 e [abc, bc] = 1,
cd face de cd f e cde, [cd f , cd] = 1 e [cde, cd] = 1,
bd face de abd e bde, [abd, bd] = 1 e [bde, bd] = 1,
ab face de abc e abd, [abc, ab] = 1 e [abd, ab] = 1.

Quando 1 ac, ad, c f , ae, ce ou be ento:
ac face de ace e abc, [ace, ac] = 1 e [abc, ac] = 1,
ad face de ad f e abd, [ad f , ad] = 1 e [abd, ad] = 1,
i
i
i
54
c f face de cd f e bc f , [cd f , c f ] = 1 e [bc f , c f ] = 1,
ae face de ace e ae f , [ace, ae] = 1 e [ae f , ae] = 1,
ce face de ace e cde, [ace, ce] = 1 e [cde, ce] = 1,
be face de be f e bde, [be f , be] = 1 e [bde, be] = 1.

Quando 1 a f ou b f ento:
a f face de ad f e ae f , e [ad f , a f ] = 1 e [ae f , a f ] = 1,
b f face de bc f e be f , e [bc f , b f ] = 1 e [be f , b f ] = 1.

Podemos ento dividir os 1-simplexos 1 em trs tipos:
1.
Quando 1 de, e f , d f , bc, cd, bd ou ab.
2.
Quando 1 ac, ad, c f , ae, ce ou be.
3.
Quando 1 a f ou b f .
2
Vamos obter condies para que w = 10
i=1 i i seja um 2-ciclo. Convencio-
namos:
12 = ad f ,
22 = cd f ,
32 = bc f ,
42 = abc,
52 = ace,
62 = ae f ,
72 = be f ,
82 = bde,
92 = abd,
2
10
= cde.
15
2 1
1
Ento (w) = 0, isto , 10
i=1 j=1 [ i , j ]i j = 0, o que implica
(8 + 10 )de + (6 + 7 )e f + (1 + 2 )d f + (3 + 4 )bc
+ (2 + 10 )cd + (8 + 9 )bd + (4 + 9 )ab + (5 4 )ac
+ (1 9 )ad + (3 2 )c f + (6 5 )ae + (5 10 )ce
+ (7 8 )be + (1 6 )a f + (3 7 )b f = 0.
Assim 8 + 10 = 6 + 7 = 1 + 2 = 3 + 4 = 2 + 10 = 8 + 9 = 4 + 9 =
5 4 = 1 9 = 3 2 = 6 5 = 5 10 = 7 8 = 1 6 = 3 7 = 0,
i
i
i
55
ou equivalentemente, i = 0, i = 1, . . . , 10. Portanto w = 0 e Z2 (P 2 ) = 0 e da

H2 (P 2 ) = 0.
Considere z = de + e f + f d. Pode-se verificar que qualquer 1-ciclo

homlogo a um mltiplo de z. Assim temos duas classes de 1-cadeias que so
1-ciclos: a primeira classe tem como representante z ou um mltiplo mpar de z.
Por exemplo: w = bc + ce + eb homlogo a (2 1)z, pois
w (21)z = ((1)ad f + cd f + bc f +(1 )abc+(1 )ace
+ (1 )ae f be f + (1 )bde + ( 1)abd cde).
A outra classe dada pelos 1-ciclos que so homlogos a um mltiplo par
de z. Quando isso acontece, estes so bordos, isto , representam o elemento
neutro do quociente H1 (P 2 ). De fato,
2z = (ad f cd f + ae f + be f + bde + cde abd
bc f + ace + abc) = (w).
Assim (2 + 1)z z = 2z = (w), ou seja, (2 + 1)z homlogo a z e
portanto H1 (P 2 ) Z2 .
Como exerccio prove que H0 (P 2 ) Z.
4.2. O GRUPO DE HOMOLOGIA COMO INVARIANTE TOPOLGICO
J definimos grupos de homologia simplicial de um dado complexo K, denotado por H (K, Z) ou simplesmente, H (K). Dada uma superfcie S, possvel dar uma triangulao para S e obter os grupos de homologia do complexo
K a partir da triangulao de S. Calculamos os grupos de homologia de algumas superfcies. Agora vamos ver os grupos de homologia como invariante
topolgico.
Dados dois complexos K e L e uma funo contnua f K L, associaremos os respectivos i-simos grupos de homologia simplicial H i (K) e H i (L) e
o homomorfismo induzido f H i (K) H i (L).
i
i
i
56
O objetivo desse captulo provar que se f um homeomorfismo ento f

um isomorfismo. Dessa forma, conclui-se que se f no um isomorfismo
ento f no um homeomorfismo.
Sejam K e L complexos e { p } p=0 uma sequncia de homo
Definio 4.40.
morfismos p C p (K) C p (L), p 1 tal que o diagrama

p
C p (K)
C p1 (K)
/ C p (L)

p1
/ C p1 (L)
comuta, isto , p = p1 . A sequncia { p } p=0 chamada uma aplicao de
cadeias.
Observao.
Se p maior que as dimenses de K e L, ento p o homomor-
fismo nulo.
Teorema 4.41.
Uma aplicao de cadeias { p } p=0 de um complexo K em um
complexo L induz homomorfismos ( p ) H p (K) H p (L), para cada p 0.

Demonstrao.
Provemos primeiramente que p (B p (K)) B p (L). Para isso,
tomamos b p = (c p+1 ) B p (K), qualquer.

Ento p (b p ) = p ((c p+1 )) = p+1 (c p+1 ). Logo p (b p ) o bordo de
uma (p + 1)-cadeia de C p+1 (L).
Alm disso, se p = 0, ento a sequncia semi-exata da forma
/ C1 (K)
/ C0 (K)
/ C1 (K) = 0.
Logo, por definio, qualquer z Z0 (K) tal que z = 0. Assim Z0 (K) =

C0 (K) e Z0 (L) = C0 (L), logo 0 (Z0 (K)) Z0 (L).
Se p 1, seja z p Z p (K) e como p (z p ) = p+1 (z p ) = p+1 (0) = 0,
segue que p (z p ) Z p (L). Dessa forma, conclumos que p (Z p (K)) Z p (L),
p 0.
Definimos assim ( p ) H p (K) H p (L) por ( p ) (z p + B p (K)) =
p (z p ) + B p (L).
i
i
Definio 4.42.
i
57
Uma aplicao simplicial de um complexo K em um complexo
L uma funo , do conjunto dos vrtices de K para o conjunto dos vrtices

de L, satisfazendo a seguinte condio: se p = v0 . . . v p um p-simplexo
de K, ento os vrtices (v i ), 0 i p, so os vrtices de um simplexo L
(observe que os vrtices (v i ) no precisam ser distintos). Se os vrtices (v i ),
0 i p, forem todos distintos, ento o p-simplexo (v0 ) . . . (v p ) = ( p )
chamado a imagem de p . Se (v i ) = (v j ), para algum i j, dizemos que
colapsa p .
Definio 4.43.
Sejam uma aplicao simplicial de K em L e p 0. Se p
uma p-cadeia elementar, definimos
0, se colapsa p ,
p ( ) =
p
p
( ), se no colapsa .
p
A funo p estende-se por linearidade a um homomorfismo p C p (K)

C p (L) definido por p ( i i ) = p (i i ).
p
Exemplo 4.44.
Sejam K o 2-esqueleto de um 3-simplexo abcd e L o fecho
de um 2-simplexo e f h com orientaes a < b < c < d e e < f < h, respectivamente.

c
Seja K L definida por (a) = (d) = e, (b) = f e (c) = h. As

aplicaes de cadeias p so dadas por
i)
0 (0 a + 1 b + 2 c + 3 d) = (0 + 3 )e + 1 f + 2 h.
ii)
1 (0 ab+1 ac+2 ad+3 bc+4 bd+5 cd) = 0 e f +1 eh+

3 f h + 4 f e + 5 he = (0 4 )e f + (1 5 )eh + 3 f h.
iii)
2 (0 abc + 1 abd + 2 bcd + 3 acd) = 0 e f h + 2 f he =

(0 + 2 )e f h.
i
i
i
58
Teorema 4.45.
{ p } p=0
Se K L uma aplicao simplicial, ento a sequncia
uma aplicao de cadeias.
Demonstrao.
Sejam p uma p-cadeia elementar qualquer com p 1 e p =
+v0 . . . v p . Se no colapsa p , ento ( p ) = (v0 ) . . . (v p ) o pp

simplexo denotado por () p . Consideremos i a (p 1)-face de p , obtida
p
eliminando-se o i-simo vrtice v i , ou seja, i = v0 . . . v i1 vi v i+1 . . . v p e seja
p
p
( )i = (i ) = (v0 ) . . . (v i1 )(v
i )(v i+1 ) . . . (v p )
a (p 1)-face de () p , obtida eliminando-se o i-simo vrtice (v i ). Ento

p
p ( p ) = (( p )) = (() p ) = (1)i (( )i ) =
p
i=0
p
i
i
p
(1) (i ) = p1 ((1) i ) = p1 ( ).
p
i=0
i=0
Se colapsa p , por exemplo (v0 ) = (v1 ), ento p ( p ) = 0. Assim

p
p
p ( p ) = 0. Por outro lado, observemos que 0 = v0 v1 . . . v p e 1 =
v0 v1 v2 . . . v p e como (v0 ) = (v1 ) ento (0 ) = (1 ). Alm disso para
p
p
i 2, i contm v0 e v1 o que implica que colapsa i para i 2. Logo
p
p
p
i=2 (1)i (i ) = 0. Assim
p
p1 ( p ) = (1)i (i ) = (0 ) (1 ) = ((0 ) (1 )) = 0,
p
i=0
e o teorema est provado.

Seja n = v0 . . . v n um n-simplexo. O baricentro de n o ponto n =
1
n+1 (v0
+ v1 + + v n ). Assim o baricentro de um 0-simplexo v v, o de 1-
simplexo v0 v1 seu ponto mdio e o de um 2-simplexo v0 v1 v2 seu centro

de massa.
A primeira subdiviso baricntrica K de um complexo simplicial K o
complexo simplicial formado pelos vrtices { 0 , K} e pelos simplexos q =
0 1 . . . q onde 0 < 1 < < q e 0 , 1 , . . . , q so simplexos de K. Sucessivamente, podemos definir a r-sima subdiviso baricntrica de K, para r 1.
i
i
i
59
Observemos que se K uma subdiviso baricntrica de K ento K K .

De fato, se x K ento x , para algum K. Tomemos como sendo o de
menor dimenso para o qual isto verdadeiro. Assim, se = v0 . . . v p ento
x = 0 v0 + + p v p , onde as coordenadas baricntricas so todas positivas.
Vamos assumir 0 1 p e seja i = v0 . . . v i , i = 0, . . . , p. Ento
x 0 1 . . . p , pois x = (0 1 )0 + 2(1 2 )1 + + p( p1 p )p1 +
(p + 1) p p .
Definio 4.46.
Sejam X, Y dois espaos topolgicos. Duas aplicaes cont-
nuas f , X Y dizem-se homotpicas quando existe uma aplicao contnua H X I Y, tal que H(x, 0) = f (x) e H(x, 1) = (x), para todo x X.
A aplicao H chama-se ento uma homotopia entre f e . Escreve-se, neste
caso, H f , ou simplesmente f .
Vale o seguinte resultado, cuja demonstrao ser omitida (veja o teorema
de aproximao simplicial em [1]):
Teorema 4.47.
Sejam K e L poliedros com triangulaes K e L respectiva-
mente e f K L uma funo contnua. Ento existem um inteiro r e uma

aplicao simplicial K r L homotpica a f , onde K r a r-sima subdiviso
baricntrica de K.
Pelos Teoremas 4.41 e 4.45, a sequncia {p } p=0 dada no Teorema 4.47
uma aplicao de cadeias, que induz homomorfismos (p ) H p (K) H p (L)
em cada dimenso p. A sequncia {(p ) } p=0 chamada sequncia de homomorfismos induzidos por f e ser denotada por {( f p ) }.
Lema 4.48.
Sejam f K L e h L M contnuas. Ento [(h f ) p ] =
(h p ) ( f p ) .
Demonstrao.
Tomemos w p +B p (K) um elemento qualquer de H p (K). Ento
[(h f ) p ] (w p + B p (K)) = (h f ) p (w p ) + B p (M) = h p ( f p (w p )) + B p (M)

= (h p ) ( f p (w p ) + B p (L)) = (h p ) ( f p ) (w p + B p (K)).
i
i
i
60
Lema 4.49.
Seja id K K a funo identidade de K. Ento [(idK ) p ] =
id H p (K) .
Demonstrao.
Tomemos w p +B p (K) um elemento qualquer de H p (K). Ento
[(idK ) p ] (w p + B p (K)) = (idK ) p (w p ) + B p (K) =

= w p + B p (K) = id H p (K) (w p + B p (K)).
O teorema abaixo nos permite observar que o grupo de homologia simplicial um invariante topolgico.
Teorema 4.50.
Se K e L so homeomorfos, ento H p (K) e H p (L) so iso-
morfos, para cada p.

Demonstrao.
Sejam f K L um homeomorfismo e f 1 L K seu
inverso. Assim f e f 1 so contnuas, f f 1 = idL e f 1 f = idK . Observemos

que ((idL ) p ) = id H p (L) pois
((idL ) p ) (w p + B p (L)) = (idL ) p (w p ) + B p (L) = w p + B p (L).
De modo anlogo ((idK ) p ) = id H p (K) . Pelo Lema 4.48, temos
( f p ) (( f 1 ) p ) = (( f f 1 ) p ) = ((idL ) p ) = id H p (L) ,
(( f 1 ) p ) ( f p ) = (( f 1 f ) p ) = ((idK ) p ) = id H p (K) .
Portanto, ( f p ) H p (K) H p (L) um isomorfismo.
Teorema 4.51 (Teorema da Invarincia da Dimenso).
Sejam m, n inteiros po-
sitivos. Se m n, ento:
a)
S m e S n no so homeomorfos.
b)
Rm e Rn no so homeomorfos.
Demonstrao.
(a) Suponha que S m e S n so homeomorfos. Ento existe um
homeomorfismo f S m S n , cuja induzida ( f p ) H p (S m ) H p (S n )
i
i
i
61
um isomorfismo, para todo p. Suponha que m > n. Pela Proposio 4.36,

H m (S m ) Z. Por outro lado H m (S n ) 0 pois m > n. O caso m < n anlogo.
(b) Seja m n e suponha que Rm e Rn so homeomorfos. Ento a compactificao por um ponto (vide [8, p. 183]) de Rm e Rn respectivamente so
homeomorfos. Logo S m e S n so homeomorfos, com m n, o que um absurdo pelo item (a).
Definio 4.52.
Seja f S n S n , n 1, uma aplicao contnua. Considere-
mos uma triangulao orientvel K de S n e H n (S n ) Z um isomorfismo.

Seja [S n ] a classe de H n (S n ) tal que ([S n ]) = 1. Essa classe chamada de classe
fundamental de S n . O inteiro p tal que f ([S n ]) = p[S n ] chamado o grau de
f , denotado por deg( f ).
O prximo teorema usa tcnicas avanadas na demonstrao que no sero
vistas neste texto. O leitor interessado poder consultar [4, II.8.4].
Teorema 4.53 (Teorema de Classificao de Hopf).
Duas aplicaes f e de
S em S so homotpicas se, e somente se, tm o mesmo grau.

n
Proposio 4.54.
Se f , S n S n so funes contnuas e h S n S n um
homeomorfismo ento:
a)
deg( f ) = deg( f ) deg().
b)
deg(h) = 1.
Demonstrao.
(a) Sejam K uma triangulao orientvel de S n e H n (S n )
Z um isomorfismo. Sejam ( f n ) H n (S n ) H n (S n ) e (n ) H n (S n )
H n (S n ) os homomorfismos induzidos de f e , respectivamente. Ento existem
p, q inteiros tais que ( f n ) ([S n ]) = p[S n ] e (n ) ([S n ]) = q[S n ] onde p =
deg( f ) e q = deg().
Assim,
(( f )n ) ([S n ]) = ( f n ) (n ) ([S n ]) = ( f n ) ((n ) ([S n ]))
= ( f n ) (q[S n ]) = q( f n ) ([S n ]) = qp[S n ].
i
i
i
62
Portanto deg( f ) = pq = deg( f ) deg().

(b) Como h S n S n um homeomorfismo, ento hh 1 = id S n . Portanto
deg(h) deg(h1 ) = deg(h h1 ) = deg(id S n ) = 1. Observando que o grau de h
um nmero inteiro, segue o resultado.
i
i
5
CARACTERSTICA DE EULER
O invariante topolgico que apresentaremos a seguir, a caracterstica de Euler, destaca-se pelo fato de ser apenas um nmero com o qual obtemos o importante teorema de classificao de superfcies compactas.
Para maiores detalhes veja [3].
Definio 5.1.
Seja P um poliedro associado a um complexo simplicial K de
dimenso 3. Denotemos por v, o nmero de vrtices; f o nmero de faces e

e o nmero de arestas do poliedro. O nmero (P) = v e + f chamado
caracterstica de Euler de P.
Em 1750, Euler enviou uma carta a Goldbach onde falava que = 2, para
qualquer poliedro. Em 1813, Lhuilier chamou ateno para poliedros do tipo
abaixo. Na realidade, na demonstrao de Euler ele trabalha apenas com poliedros convexos.
Exemplo 5.2.
O nmero de vrtices, arestas, faces e a caracterstica de Euler
dos seguintes poliedros
so, respectivamente,
v = 16,
e = 24,
f = 12,
= 4,
v = 20,
e = 40,
f = 20,
= 0,
v = 6,
e = 12,
f = 8,
= 2.
i
i
i
64
O prximo passo calcular a caracterstica de Euler de superfcies. Como

a frmula depende de vrtices, arestas e faces, a maneira de efetuar tal clculo
considerar uma triangulao da superfcie e aplicar a frmula.
Exemplo 5.3.
A esfera S 2 com a triangulao
possui (S 2 ) = 4 6 + 4 = 2.
Exemplo 5.4.
O toro T 2 com a triangulao
possui (T 2 ) = 9 27 + 18 = 0.
Exemplo 5.5.
A garrafa de Klein KB com a triangulao
possui (KB) = 9 27 + 18 = 0.
Exemplo 5.6.
O plano projetivo P 2 possui (P 2 ) = 6 15 + 10 = 1, com a
triangulao abaixo:
a3
a2
a4
a0
a5
a1
a5
a4
a3
i
i
Caracterstica de Euler
i
65
A caracterstica de Euler no depende da triangulao. Depende apenas da

superfcie. Este resultado pode ser provado usando a teoria de homologia.
Por enquanto, vamos dar alguns exemplos ilustrando o fato.
a
b
a
(a) Esfera
Exemplo 5.7.
(b) Toro
(c) Plano projetivo
Tomemos a esfera S 2 com triangulao K (figura (a)).
Suponhamos que a triangulao tenha n linhas verticais e m linhas horizontais. Ento temos que v = 2 + mn.
H 3 tipos de arestas: horizontais, verticais e oblquas. Temos (n + 1)m
horizontais, mn verticais e (n 1)m oblquas, totalizando ((n + 1) + (n 1))m +
mn = 3mn.
Em cada fatia h 2 + 2(n 1) faces. Como existem m fatias, segue que
f = (2 + 2(n 1))m = 2mn e portanto (S 2 ) = 2.

Exemplo 5.8.
Consideremos o toro T 2 com triangulao K (figura (b)).
Suponhamos que a triangulao tenha n linhas verticais e m linhas horizontais. Ento temos que v = mn, e = 3mn e f = 2mn. Logo, (T 2 ) = 0.
Exemplo 5.9.
Seja P 2 o plano projetivo com triangulao K (figura (c)).
Suponhamos que a triangulao tenha m crculos concntricos no interior

de P 2 e n dimetros, de modo que v = 2mn n + 1, e = 3n(2m 1) e f =
2n(2m 1). Assim,
(P 2 ) = 2mn n + 1 3n(2m 1) + 2n(2m 1) = 2mn n + 1 + n 2mn = 1.
A partir das superfcies conhecidas, vamos efetuar uma operao, chamada
soma conexa, para obter novas superfcies.
i
i
i
66
Intuitivamente, a soma conexa de duas superfcies S1 e S2 a superfcie

S1 #S2 obtida retirando-se o interior de dois discos, um em cada superfcie, e
identificando-os pelos bordos.
Formalmente temos:
Sejam S1 e S2 duas superfcies, compactas e sem bordo. Es-
Definio 5.10.
colhemos D1 S1 e D2 S2 , subconjuntos homeomorfos ao disco D 2 e sejam

h1 D1 D2 e h2 D2 D 2 , os respectivos homeomorfismos.
Definimos a soma conexa de S1 e S2 , e denotamos por S1 #S2 , sendo o

conjunto
(S1 intD1 ) (S2 intD2 )

,
onde a relao x y dada por:

a)
se x, y esto no complementar de D1 D2 ento x y x = y;
b)
caso contrrio, x y h1 (x) = h2 (y).

possvel mostrar que a soma conexa no depende da escolha dos subcon-
juntos D1 e D2 e que a soma conexa uma superfcie.

Lembramos que consideramos em S1 #S2 a topologia quociente.
Exemplo 5.11.
Denotando S1 = S2 = T 2 ento S1 #S2 = T 2 #T 2 dada pela
figura (c) abaixo:
i
i
Exemplo 5.12.
i
67
P 2 #P 2 = KB. Lembramos que P 2 pode ser obtido de um disco
D 2 com os lados identificados, como na Figura 5.1(a). Retiramos D1 D2 e D2

D 2 , subconjuntos homeomorfos ao disco D 2 , como na Figura 5.1(b), para obter
a Figura 5.1(c). Identificando-se os lados sem seta da Figura 5.1(c) obtemos a

Figura 5.1(d). Tomando a diagonal como na Figura 5.1(e) e separando as figuras
ao longo dessa diagonal obtemos a Figura 5.1(f). Dispondo a Figura 5.1(f) como
na Figura 5.1(g) e identificando os lados com uma seta da Figura 5.1(g) obtemos
a Figura 5.1(h) que pode ser representada como a Figura 5.1(i) que descreve a
garrafa de Klein KB.
Figura 5.1: Garrafa de Klein como soma conexa de dois planos projetivos
(a)
(b)
(c)
(f)
(d)
(g)
Proposio 5.13.
(e)
(h)
(i)
Sejam S1 e S2 duas superfcies fechadas (compactas e sem
bordo). Ento (S1 #S2 ) = (S1 ) + (S2 ) 2.

Demonstrao.
Tomemos K1 e K2 triangulaes de S1 e S2 , respectivamente.
Sejam (S1 ) = v1 e1 + f1 e (S2 ) = v2 e2 + f2 . K1 = K1 a0 a1 a2 uma
triangulao de S1 intD 2 e K2 = K2 b0 b1 b2 uma triangulao de S2 intD 2 .
i
i
i
68
K1 K2
, onde a i b i , i = 0, 1, 2 e a i a j b i b j , i, j =
0, 1, 2. Como K uma triangulao para S1 #S2 , ento

Tomemos K =
(S1 #S2 ) = (v1 + v2 3) (e1 + e2 3) + (f1 + f2 2) = (S1 ) + (S2 ) 2.

Para calcularmos a caracterstica de Euler de superfcies fechadas usaremos
o seguinte resultado que classifica as superfcies por homeomorfismos. Uma
prova desse resultado pode ser encontrada em [6].
Teorema 5.14.
Toda superfcie fechada S homeomorfa esfera ou soma
conexa de toros ou soma conexa de planos projetivos, sendo a esfera e a soma

conexa de toros orientveis e a soma conexa de planos projetivos no orientvel.
Teorema 5.15.
A caracterstica de Euler da esfera 2, da soma conexa de n-
toros 2 2n, da soma conexa de n-planos projetivos 2 n, da soma de um

plano projetivo e n-toros 1 2n e, por fim, da soma conexa de uma garrafa de
Klein e n-toros 2n.
Demonstrao.
J vimos que (S 2 ) = 2. Consideremos S = T 2 ##T 2 a soma
conexa de n-toros, n 1. Se n = 1 ento (S) = (T 2 ) = 2 2(1) = 0. Supo-
nhamos que a afirmao vlida para um certo n e seja S = T 2 ##T 2 a soma
conexa de (n + 1)-toros, que pode ser vista como S = (T 2 ##T 2 )#T 2 , a soma
conexa de n-toros e um toro. Logo
(S) = ((T 2 ##T 2 )#T 2 ) = (T 2 ##T 2 ) + (T 2 ) 2
= 2 2n + 0 2 = 2n = 2 2(n + 1).
Portanto, por induo finita, a caracterstica de Euler da soma conexa de ntoros (T 2 ##T 2 ) = 2 2n, n N. Lembrando que (P 2 ) = 1 e (KB) = 0
e procedendo por induo finita, como fizemos para a soma conexa de n-toros,
obtemos os resultados desejados.
Nosso prximo passo provar um Teorema de Classificao de superfcies
fechadas via caracterstica de Euler.
i
i
i
69
Teorema 5.16 (classificao de superfcies fechadas via caracterstica de Euler).
Sejam S1 e S2 duas superfcies fechadas. Ento S1 homeomorfa a S2 se, e
somente se, (S1 ) = (S2 ) e ambas so orientveis ou ambas so no orientveis.

Sejam S1 e S2 superfcies fechadas, ambas orientveis, tais que
Demonstrao.
(S1 ) = (S2 ). Desta forma, considere os casos: S1 = T 2 ##T 2 a soma conexa
de n-toros ou S1 = S 2 e S2 = T 2 ##T 2 a soma conexa de n-toros ou S2 = S 2 .

Se S1 S2 ento
i)
se uma delas a esfera, por exemplo, S1 = S 2 ento S2 = T 2 ##T 2 a

soma conexa de n-toros. Mas (S1 ) = (S2 ). Logo 2 = 2 2n o que
implica n = 0. Absurdo.
ii)
se uma delas a soma conexa de n-toros, S1 = T 2 ##T 2 ento S2 =

T 2 ##T 2 a soma conexa de m-toros, com m n. Ora, se (S1 ) = (S2 )
ento 2 2n = 2 2m, o que implica m = n. Contradio.

Sejam S1 e S2 superfcies fechadas, ambas no orientveis, tais que (S1 ) =
(S2 ). O resultado segue analogamente observando apenas que, nesse caso, as
superfcies devem ser S1 = P 2 ##P 2 a soma conexa de n-planos projetivos e

S2 = P 2 ##P 2 a soma conexa de n-planos projetivos.
Definio 5.17.
Seja K um complexo orientado. Uma famlia {z 1p , . . . , z rp } de
p-ciclos linearmente independente em relao homologia, ou linearmente

independente mod B p (K), se sempre que ri=1 i z ip B p (K) implicar 1 = =
r = 0. O p-simo nmero de Betti o maior inteiro r para o qual existem r
p-ciclos linearmente independentes mod B p (K).

Notao: R p (K) o p-simo nmero de Betti de K.
Observao.
Para o prximo teorema, consideraremos os grupos de homolo-
gia com coeficientes em Q. A razo disso que os grupos de homologia com

coeficientes em Q so espaos vetoriais sobre Q. possvel mostrar que R p (K)
no se altera com a mudana de coeficientes. (veja [1, p. 26])
i
i
i
70
Teorema 5.18 (de EulerPoincar).
Seja K um complexo orientado de dimen-
so n e para p = 0, . . . , n seja p o nmero de p-simplexos de K. Ento:

n
p=0
p=0
p
p
(1) p = (1) R p (K).
Demonstrao.
Para simplificar a notao usaremos B p = B p (K), C p = C p (K)
e Z p = Z p (K), que so Q-espaos vetoriais.
Seja {d pi } um conjunto maximal de p-cadeias tais que nenhuma combinao prpria dos d pi s um ciclo.
Seja D p o subespao de C p gerado por esses vetores. Ento D p Z p = {0}.
Alm disso D p + Z p = C p , logo C p = D p Z p . Assim vale a seguinte relao:

p = dim C p = dim D p + dim Z p , logo dim Z p = p dim D p , p = 1, . . . , n.
i
). Afirmamos que {b ip } uma base para
Para p = 0, . . . , n 1, seja b ip = (d p+1
B p . Seja v B p , ou seja, existe uma (p + 1)-cadeia c p+1 tal que (c p+1 ) = v.
Mas c p+1 C p+1 e ento notamos que c p+1 = z p+1 + d p+1 . Assim v = (c p+1 ) =
(z p+1 ) + (d p+1 ) = (d p+1 ). Portanto, {b ip } gera B p .
Mostremos agora que {b ip } linearmente independente.
i
i
) ento i i (d p+1
) = 0, o
Suponhamos i i b ip = 0. Como b ip = (d p+1
i
i
i
um ciclo. Por (), i i d p+1
) = 0. Logo i i d p+1
que implica (i i d p+1
uma combinao linear trivial, logo os i s so nulos.

Seja {z ip }, i = 1, . . . , R p um conjunto maximal de p-ciclos linearmente
independentes mod B p . Estes ciclos geram um subespao G p de Z p e Z p =
G p B p , p = 0, . . . , n 1.
Observemos que B p Z p . Os ciclos que no so bordos pertencem a G p ,
pois G p gerado por {z ip }, que so p-ciclos linearmente independentes mod B p .
Um elemento v G p da forma v = i i z ip . Logo se v B p , ento i = 0 e v = 0.
Portanto segue o resultado. Assim, dim Z p = dim G p + dim B p = R p + dim B p .
Ento R p = dim Z p dim B p = p dim D p dim B p , 1 p n + 1.
Observe que B p gerado pelos bordos das cadeias elementares (1i ) =
p
i j (p) j onde ( i j (p)) = (p) a p-sima matriz de incidncia, isto ,
p+1
i j (p) = [i
p+1
, j ]. Ento dim B p = posto (p).

p
i
i
i
71
i
Como o nmero de d p+1
o mesmo que o de b ip , ento dim D p+1 = dim B p =
posto (p), p = 0, . . . , n 1. Ento
R p = p dim D p dim B p = p posto (p 1) posto (p), 1 p n 1.

Observe que R0 = dim Z0 dim B0 = 0 posto (0) e R n = dim Z n =
n dim D n = n posto (n 1). Assim,
n
p
n1
n
(1) R p (K) = R0 (K) R1 (K) + + (1) R n1 (K) + (1) R n (K) =
p=0
0 posto (0)(1 posto (0)posto (1))+(2 posto (1)posto (2))

+(1)n1 ( n1 posto (n2)posto (n1))+(1)n ( n posto (n1))
n
= 0 1 + + (1)n1 n1 + (1)n n = (1) p p ,

p=0
o que finaliza a prova do teorema.

Definio 5.19.
Se K um complexo de dimenso n, o nmero

n
(K) = (1) p R p (K)

p=0
chamado a caracterstica de Euler de K.

Usando os grupos de homologia com coeficientes em Z de algumas superfcies, apresentadas no captulo anterior, e o Teorema dos Coeficientes Universais,
que assumiremos conhecido (veja [3, p. 195]), vamos calcular as caractersticas
de Euler usando o nmero de Betti.
1.
A esfera S 2 tem caracterstica de Euler (S 2 ) = 2, pois seus grupos de homo-
logia so
H0 (S 2 , Q) = Q,
H1 (S 2 , Q) = 0,
H2 (S 2 , Q) = Q.
i
i
i
72
2.
O toro T 2 tem caracterstica de Euler (T 2 ) = 0, j que seus grupos de
homologia so
H0 (T 2 , Q) = Q,
3.
H1 (T 2 , Q) = Q Q,
H2 (T 2 , Q) = Q.
Por fim, para o plano projetivo P 2 temos (P 2 ) = 1, pois

H0 (P 2 , Q) = Q,
Observao.
H1 (P 2 , Q) = 0,
H2 (P 2 , Q) = 0.
No caso de uma superfcie S, usando a definio acima, temos
(S) = 2p=0 (1) p R p . Pelo Teorema de

que (S) = 2p=0 (1) p p , onde p o
EulerPoincar (Teorema 5.18), temos

nmero de p-simplexos, ou seja, 0
o nmero de vrtices, 1 o nmero de arestas e 2 o nmero de tringulos.

Substituindo, temos que
(S) = (1)0 0 + (1)1 1 + (1)2 2 = v e + f.
Lembrando que se S1 e S2 so homeomorfas, ento os grupos de homologias H i (S1 ) e H i (S2 ) so isomorfos, para i = 0, 1, 2, segue que (S1 ) = (S2 ),
demonstrando ento que a caracterstica de Euler um invariante topolgico.
i
i
REFERNCIAS BIBLIOGRFICAS
[1]
CROOM, F. H. Basic Concepts of Algebraic Topology. Undergraduate Texts

in Mathematics, Springer Verlag, 1978.
[2]
GIBLIN, P. J. Graphs, Surfaces and Homology. Chapman and Hall Ltd,

London, 1981.
[3]
HATCHER, A. Algebraic Topology. Cambridge: Cambridge University

Press, 2001.
[4]
HU, S-T. Homotopy theory. Academic Press Inc., NY, 1959.
[5]
LIMA, E. L. Espaos Mtricos. Projeto Euclides, IMPA, 2009.
[6]
MASSEY, W. S. Algebraic Topology: An Introduction. Harcourt Brace &

World, Inc., 1967.
[7]
[8]
MUNKRES, J. R. Topology: A First Course. Prentice Hall, Inc., 1975.

. Elements of Algebraic Topology. The Benjamin/Cummings Publishing
Company, Inc, 1984.
i
i
i
i
NDICE REMISSIVO
denso, 7
aplicao
fechado, 6
de cadeias, 50
fecho de um, 7, 13
simplicial, 51
geom. independente, 29
continuidade, 7
baricentro, 52
bola aberta, 6
esfera, 9, 31, 44, 58
bordo, 36
espao
, 35
conexo, 11
por caminhos, 7, 23
mtrico, 5
cadeia(s), 34
aplicao de, 50
elementar(es), 35
topolgico, 6
esqueleto, 31
caminho, 7
caracterstica de Euler, 57, 62, 65
face, 30
ciclo(s), 36
faixa de Mebius, 40, 41, 43
homlogos, 36, 44
fecho, 7, 13
circunferncia, 5, 8
ciso, 11
de um simplexo, 31
funo contnua, 7
classe fundamental, 55
complexo simplicial, 30
esqueleto, 31
garrafa de Klein, 39, 58
orientado, 32
grau, 55
conexo, 11
conjunto
aberto, 6
grupo
de cadeias, 35
de homologia, 37, 49
i
i
i
76
simplicial, 49
fundamental, 17, 20
simplexo, 29
soma conexa, 60
subdiviso baricntrica, 52
homeomorfismo, 7
superfcie, 40
homologia
fechada, 61
grupo de, 37, 49
soma conexa, 60
simplicial, 29, 49
homomorfismo
induzido, 26, 49
Teorema
da Invar. da Dimenso, 54
homotopia, 18, 53
de classificao
L
de Hopf, 55
lao(s), 17
de superfcies fechadas, 62
homotpicos, 18
de EulerPoincar, 64
Lema da Colagem, 7
do Valor Intermedirio, 11
topologia
induzida, 6, 11
mtrica, 5
do mximo, 5
quociente, 60
toro, 39, 41, 58
triangulao, 31
nmero
de Betti, 63
de incidncia, 33, 47
variedade, 39
operador bordo , 35
orientao, 32
P
plano projetivo, 39, 42, 47, 58

projeo estereogrfica, 9
pseudovariedade, 39
orientvel, 41
i
i

Invariantes Topológicos PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Invariantes Topológicos PDF

Încărcat de

Drepturi de autor:

Formate disponibile

INVARIANTES TOPOLGICOS

Universidade Estadual Paulista

Alice Kimie Miwa Libardi

Pr-Reitoria de Graduao, Universidade Estadual Paulista, 2012.

Ficha catalogrfica elaborada pela Coordenadoria Geral de Bibliotecas da Unesp

Pr-reitora Sheila Zambello de Pinho

2 conexo como invariante topolgico

Clculo de alguns grupos de homologia

O grupo de homologia como invariante topolgico

Este texto fruto de nossa experincia como professores do Departamento

versao-editora 2012/1/26 15:00 page 11 #1

Na realidade, d R2 R2 R um exemplo de mtrica, cuja definio

Sejam M um conjunto no vazio e d M M R uma

funo, tal que x, y, z M,

d(x, y) = d(y, x);

d(x, z) d(x, y) + d(y, z).

H outras formas de se definir uma distncia no R2 . Uma delas, conhecida

versao-editora 2012/1/26 15:00 page 12 #2

Em um espao mtrico (M, d) definimos uma bola aberta, de centro a e

Dado um conjunto X , uma topologia para X uma coleo

A interseo de um nmero finito de elementos de est em ;

A reunio qualquer de elementos de est em .

Seja X um espao topolgico com uma topologia . Se Y

X, a coleo Y = {Y U U } uma topologia em Y, chamada topologia

versao-editora 2012/1/26 15:00 page 13 #3

Se X um espao topolgico e A um subconjunto de X, ento

Se X um espao topolgico e A um subconjunto de X, ento

dizemos que A denso em X se AX = X.

Uma funo f M N entre espaos topolgicos contnua se

a imagem inversa de qualquer aberto (fechado) U de N, denotada por f 1 (U),

Um espao topolgico X conexo por caminho se dados quais-

quer dois pontos x e y de X existe um caminho em X ligando x a y. Por um

Sejam M e N espaos topolgicos e A e B sub-

conjuntos fechados de M tais que A B = M. Sejam f A N e B N

Vamos provar que se F um subconjunto fechado de N ento

h (F) um subconjunto fechado de M.

Seja F um subconjunto fechado de N. Como f e so contnuas, ento

hiptese A e B so fechados de M, segue que f 1 (F) e 1 (F) so fechados de

versao-editora 2012/1/26 15:00 page 14 #4

o crculo unitrio e o quadrado, respectivamente. As funes f S 1 T e a sua

X1 = {(x, y) (x, y) (0, 0)},

so homeomorfos. Os homeomorfismos so dados por: h X1 X2 definido

versao-editora 2012/1/26 15:00 page 15 #5

Sejam S 2 = {(x, y, z) R3 x 2 + y2 + z 2 = 1} a esfera unitria e

p = (0, 0, 1) S 2 o seu plo norte. A projeo estereogrfica S 2 {p} R2

estabelece um homeomorfismo entre a esfera menos o plo norte e o plano. Tal

Duas das questes mais importantes em Topologia so de extenso e de

versao-editora 2012/1/26 15:00 page 16 #6

versao-editora 2012/1/26 15:00 page 17 #7

A conexo pode ser vista como um invariante topolgico de duas formas:

Se f [a, b] R uma funo contnua e r um nmero entre

Um espao topolgico X conexo se os nicos subconjuntos

simultaneamente abertos e fechados so o e o X; ou equivalentemente, X

O conjunto Y = [1, 0) (0, 1] R, com a topologia induzida

da topologia usual de R, no conexo.

versao-editora 2012/1/26 15:00 page 18 #8

De fato, sendo [1, 0) = (2, 0) Y e (0, 1] = (0, 2) Y, segue que ambos

A reta real R conexa.

Suponhamos que R no conexo. Ento R = A B, onde A e

B so abertos, disjuntos e no vazios. Tomemos a A e b B e suponhamos

Seja f X Y uma funo contnua entre espaos topolgi-

cos. Se X conexo ento f (X) conexo.

Sem perda de generalidade podemos supor f (X) = Y. Supo-