Universidade Federal de So Carlos Centro de Cincias Exatas e de Tecnologia Departamento de Matemtica

Teoria da Homologia Singular

Autor: Alexandre Baldan Orientador: Prof. Dr. Dirceu Penteado Disciplina: Trabalho de Concluso do Curso B Curso: Bacharelado e Licenciatura Plena em Matemtica Professores Responsveis: Dra. Karina Schiabel Silva Dr. Tomas Edson Barros Dra. Vera Lcia Carbone

So Carlos, 20 de janeiro de 2012.

Teoria da Homologia Singular

Autor: Alexandre Baldan Orientador: Prof. Dr. Dirceu Penteado Disciplina: Trabalho de Concluso do Curso B Curso: Bacharelado e Licenciatura Plena em Matemtica Professores Responsveis: Dra. Karina Schiabel Silva Dr. Tomas Edson Barros Dra. Vera Lcia Carbone Instituio: Universidade Federal de So Carlos Centro de Cincias Exatas e de Tecnologia Departamento de Matemtica

So Carlos, 20 de janeiro de 2012.

Alexandre Baldan

Prof. Dr. Dirceu Penteado

Aos meus pais, Milton e Abigail, e a minha namorada, Drieli, dedico.

Agradecimentos
Agradeo primeiramente a Deus por me proporcionar mais essa alegria de chegar at aqui. Agradeo aos meus familiares, meus pais Milton e Abigail, meus irmos Juliano e Marcelo, minha av Adelina, meu tio Jayme Fallaci e minha tia Rosa, que sempre me apoiaram e me incentivaram a ir alm com os estudos. minha namorada Drieli, que todos os dias me incentiva e me d foras para seguir em busca dos meus objetivos e luta comigo para alcan-los, aos meus amigos Jonatha, Ricardo e Ruben, que sempre estiveram presentes. Agradeo tambm a todos os meus amigos do grupo PET-Matemtica, que nesses 3 anos zeram parte no apenas de minha formao acadmica, mas tambm de minha formao como pessoa, proporcionando novas amizades e um notvel incentivo a realizao de trabalhos em grupo, proporcionando um desenvolvimento diferenciado. Ao nosso tutor do grupo PET-Matemtica, Prof. Dr. Pedro Luiz Aparecido Malagutti, que contribuiu de forma incomensurvel para o desenvolvimento de todos, sempre nos incentivando ao estudo tanto do bacharelado quanto ao da licenciatura em matemtica, estando sempre preocupado em nos atender quando precisamos e com o nosso desenvolvimento acadmico, se dispondo a nos auxiliar em nossos estudos. Ao meu orientador deste trabalho, Prof. Dr. Dirceu Penteado, que contribuiu muito para o meu desenvolvimento acadmico e cientco, me aconselhando e me orientando tambm em outros trabalhos como os de Iniciao Cientca no incio de minha graduao.

Resumo
Este trabalho tem como objetivo principal apresentar a Teoria da Homologia Singular e uma de suas principais propriedades que a sua invarincia por homotopia. Tal invarincia signica que se duas aplicaes contnuas entre espaos topolgicos so homotpicas ento temos que elas induzem uma homotopia de cadeia no nvel singular. Para tanto, faremos uso de mtodos de demonstraes bem difundidos como o mtodo dos modelos acclicos, que devida a Eilenberg-McLane, e da construo cone. Faremos tambm um estudo sobre alguns casos especiais de aplicao da homologia singular, como, por exemplo, mostrar que os grupos de homologia singular reduzida de um ponto ou de conjuntos convexos de Rn so triviais.

Palavras-chave: Homologia Singular, Homotopia, Sequncias Exatas, Funtores.

ix

Sumrio
Introduo 1 Conceitos Preliminares 1.1 1.2 1.3 Categorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Funtores Covariantes e Contravariantes . . . . . . . . . . . . . . . . . . . . Homotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xv 1 1 3 4 7 7 7 8 8

2 Complexos de Cadeia e Homologia 2.1 2.2 2.3 2.4 2.5 2.6 Complexos de Cadeia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Homologia de um Complexo de Cadeia . . . . . . . . . . . . . . . . . . . . Aplicaes de Cadeia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Induzida em Homologia de Aplicaes de Cadeia . . . . . . . . . . . . . . .

Complexos de Cadeia Exatos . . . . . . . . . . . . . . . . . . . . . . . . . . 10 O Cone de uma Aplicao . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.6.1 A Suspenso de um Complexo de Cadeia . . . . . . . . . . . . . . . 12

3 O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de Cadeia 17 3.1 Complexos de Cadeia: Mais Alguns Conceitos . . . . . . . . . . . . . . . . 17 3.1.1 3.1.2 3.2 3.2.1 Subcomplexos de Cadeia . . . . . . . . . . . . . . . . . . . . . . . . 17 Complexos de Cadeia Quocientes . . . . . . . . . . . . . . . . . . . 17 O Homomorsmo de Conexo : Hn K Hn1 K . . . . . . . . 20 25

Sequncias Exatas de Homologia . . . . . . . . . . . . . . . . . . . . . . . . 19

4 Homotopia de Cadeias 4.1 4.2 4.3

Homologia e Homotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Complexos de Cadeia Contrteis . . . . . . . . . . . . . . . . . . . . . . . . 27 Complexos de Cadeia Livres . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.3.1 Complexos de Cadeia Curtos . . . . . . . . . . . . . . . . . . . . . . 29 33

5 Teoria da Homologia Singular 5.1 5.2

Simplexos Padro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Aplicaes Lineares de q para Rn . . . . . . . . . . . . . . . . . . . . . . 34

x 5.2.1 O Operador Face . . . . . . . . . . . . . . . . . . . . O Complexo de Cadeia Singular . . . . . . . . . . . . . . . . 5.3.1 Simplexos Singulares e Seus Grupos Abelianos Livres 5.3.2 O Operador Bordo e o Complexo de Cadeia Singular 5.3.3 A Aplicao de Cadeia . . . . . . . . . . . . . . . . . Generalizao para Pares de Espaos Topolgicos . . . . . . A Homologia Singular . . . . . . . . . . . . . . . . . . . . . Algumas Aplicaes e Casos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Sumrio . . . . . . . . . . . . . . . . . . . . . . . . 34 35 35 35 36 37 38 40

5.3

5.4 5.5 5.6

6 Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias 45 Referncias Bibliogrcas 51

xi

Lista de Figuras
5.1 Projeo de sobre P . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

xiii

Lista de Tabelas
5.1 1-simplexo padro e 2-simplexo padro . . . . . . . . . . . . . . . . . . . . 34

xv

Introduo
Com o intuito de apresentarmos um estudo sobre a Teoria da Homologia Singular e provarmos uma de suas principais propriedades que a sua invarincia por homotopia, comearemos o nosso trabalho com um estudo sobre alguns conceitos bsicos e essenciais para o desenvolvimento deste, tais como Categorias, Categorias Duais, Categorias Produtos, Subcategorias Incompletas e Completas, Funtores Covariantes, Contravariantes e de Duas Variveis. Ainda nesse sentido, estudaremos a Teoria da Homotopia entre espaos Topolgicos desenvolvendo suas principais propriedades. No captulo 2 estudaremos detalhadamente vrios conceitos que envolvem o conceito de Complexos de Cadeia, tais como a Homologia de um Complexo de Cadeia, Aplicao de Cadeia, Complexos de Cadeia Exatos, O Cone de uma Aplicao e a Suspenso de um Complexo de Cadeia. No captulo 3 apresentaremos mais alguns desses conceitos tais como Subcomplexos de Cadeia e Complexos de Cadeia Quocientes, e assim, desenvolveremos os conceitos de sequncias exatas de homologia e de Homomorsmo de conexo de uma sequncia exata de aplicaes de cadeia. No captulo 4 estudaremos os conceitos de Homotopia de Cadeia, Complexos de Cadeia Contrteis, Complexos de Cadeia Livres e Complexos de Cadeia Curtos. No captulo 5 transferiremos todos esses conceitos anteriores estudados para o nvel Singular e apresentaremos a Teoria da Homologia Singular. No ltimo captulo, provaremos que uma homotopia no nvel de espaos topolgicos induz uma homotopia de cadeia no nvel singular.

Captulo 1 Conceitos Preliminares

1.1 Categorias

Denio 1.1 (Categoria). Uma categoria C constituda do que segue: (i) Uma classe de objetos, denotados por Ob(C). (ii) Para cada par X, Y de objetos, tem-se um conjunto de morsmos de X para Y , denotado por C(X, Y ) ou [X, Y ]. (iii) Para cada tripla ordenada de objetos X, Y, Z, tem-se uma aplicao de C(X, Y )C(Y, Z) para C(X, Z) chamada de composio. A imagem de (, ) C(X, Y )C(Y, Z) ser denotada por ou e ser chamada de composta de por . E ainda, deve valer os seguintes dois axiomas: (iv) (Associatividade): Para todo morsmo , e tais que XY ZW tem-se ( ) = ( ) . (v) Para cada objeto X Ob(C) , existe um morsmo identidade id = idX : X X tal que idX = e idY = , sempre que : X Y . Observao 1.2. O morsmo identidade descrito no axioma (v) facilmente vericado que nico, pois id1 = id1 id2 = id2 . X X X X Observao 1.3. Quando no houver perigo de confuso, denotaremos tambm uma classe de objetos simplesmente por C ao invs de Ob(C).

2 Vejamos alguns exemplos de categorias:

1. Conceitos Preliminares

Exemplo 1.4. A categoria dos conjuntos, onde C=Sets ser sua notao. Seus objetos so conjuntos arbitrrios, ou seja, Ob(Sets)= classe de todos os conjuntos. Seus morsmos so aplicaes, ou seja, [X, Y ] = conjunto de todas as aplicaes de X para Y , e a composio tem o signicado usual. Exemplo 1.5. A categoria dos grupos abelianos, onde C=A G ser sua notao. Nesta, Ob(A G)= classe de todos os grupos abelianos, [X, Y ] =Hom(X, Y ) o conjunto de todos os homomorsmos de X para Y , e a composio tem o signicado usual. Exemplo 1.6. A categoria dos espaos topolgicos, onde C=Top ser sua notao. Nesta Ob(Top)= classe de todos os espaos topolgicos, [X, Y ] = conjunto de todas as aplicaes continuas de X para Y , e a composio tem o signicado usual. Exemplo 1.7. A categoria homotopia, onde C=Htp ser sua notao. Esta categoria ser estudada na seo 1.3. Seus objetos so os mesmos da categoria Top, mas seus morsmos no so aplicaes no sentido usual. Denio 1.8 (Categoria Dual ou Oposta). Seja C uma categoria. Denimos a categoria dual, ou oposta, de C, denotada por C op , sendo tal que Ob(C op ) = Ob(C), C op (X, Y ) = C(Y, X) e a composio = , , C op (X, Y ), onde denota a composio em C op e a composio em C. Denio 1.9 (Categoria Produto). Sejam C1 e C2 categorias. Denimos a categoria produto C=C1 C2 tal que: (i) Ob(C) = Ob(C1 ) Ob(C2 ) = classe de todos os pares (X1 , X2 ), onde Xi Ob(Ci ). (ii) C((X1 , X2 ), (Y1 , Y2 )) =C1 (X1 , Y1 )C2 (X2 , Y2 ). (iii) (1 , 2 ) (1 , 2 ) = (1 1 , 2 2 ). Denio 1.10 (Subcategoria (Incompleta)). Sejam C e C categorias. A categoria C chamada uma subcategoria (incompleta) de C se satisfaz as seguintes condies: (i) Ob(C ) Ob(C). (ii) C (X , Y ) C(X , Y ), X , Y Ob(C ). (iii) As composies de C (X , Y ) por C (Y , Z ) coincidem em C e em C . (iv) Os morsmos identidades de X Ob(C ) coincidem em C e em C . E se alm disso, C (X , Y ) =C(X , Y ), X , Y Ob(C ), ento C chamado de subcategoria completa de C. Observao 1.11. Observe que uma subcategoria completa C de uma categoria C completamente determinada pela classe de seus objetos, Ob(C ). Por exemplo, a categoria de todos os conjuntos nitos (e todas as aplicaes) uma subcategoria completa de Sets.

1.2. Funtores Covariantes e Contravariantes

Observao 1.12. Como exemplos de subcategorias incompletas, tomemos para os exemplos 1.4, 1.5 e 1.6 dados anteriormente, C (X , Y ) = conjunto de todos os morsmos injetivos (ou todos sobrejetivos), e Ob(C ) = Ob(C). Denio 1.13. Sejam C(X, Y ) e C(Y, X) morsmos tal que = id. Ento, dizemos que um inverso esquerda de e que um inverso direita de . Observao 1.14. Veja que se admite um inverso esquerda l e tambm um inverso direita r ento temos que l = l id = l (r ) = (l )r = idr = r . Neste caso, dizemos que uma equivalncia, ou um isomorsmo, e seu inverso, ou isomorsmo inverso, l = r comumente denotado por 1 . Desse modo, diremos que dois objetos X, Y Ob(C) so equivalentes, ou isomorfos, se existe uma equivalncia C(X, Y ). Por exemplo, uma equivalncia em C=Sets uma aplicao bijetora, uma equivalncia em C=Top um homeomorsmo e uma equivalncia em C=A G um isomorsmo no sentido usual.

1.2

Funtores Covariantes e Contravariantes

Denio 1.15 (Funtor Covariante). Sejam C e D duas categorias. Dizemos que T :C D um funtor, ou um funtor covariante, se constitudo de: (i) Uma aplicao T : Ob(C) Ob(D). (ii) Aplicaes T = TXY :C(X, Y ) D(T X, T Y ), para cada X, Y Ob(C), que preservam composies e identidades, ou seja, satisfaz ainda (iii) T ( ) = (T ) (T ), para todos morsmos X Y Z em C, e (iv) T (idX ) = idT X , X Ob(C). Denio 1.16 (Funtor Contravariante). Sejam C e D duas categorias. Dizemos que T :C D um cofuntor, ou um funtor contravariante, se constitudo de: (i) Uma aplicao T : Ob(C) Ob(D). (ii) Aplicaes T :C(X, Y ) D(T Y, T X), para cada X, Y Ob(C), que preservam composies e identidades, ou seja, satisfaz ainda (iii) T ( ) = (T ) (T ), para todos morsmos X Y Z em C, e (iv) T (idX ) = idT X , X Ob(C). Observao 1.17. Pela denio anterior, temos que um cofuntor de C para D um funtor de C para a categoria dual D op , ou equivalentemente, um funtor de C op para D. Denio 1.18 (Funtor de Duas Variveis). Um funtor T :C1 C2 D, onde C1 C2 uma categoria produto, veja denio 1.9, chamado um funtor de duas variveis (com valores em D).

1. Conceitos Preliminares

Observao 1.19. Os funtores possuem um papel fundamental para a compreenso completa deste trabalho e sendo assim, o leitor ir se deparar com diversos deles durante sua leitura. A critrio de ilustrar como um exemplo neste momento, de forma trivial, consideremos o funtor identidade T = ID :CC dado por ID(X) = X, X Ob(C) e ID() = , C(X, Y ). Observao 1.20. Observe que se T :CD e U :DE so funtores ento a composio U T :CE denida por (U T )(X) = U (T (X)), X Ob(C), e (U T )() = U (T ()), C(X, Y ), tambm um funtor.

1.3

Homotopia

Denio 1.21 (Homotopia). Sejam X e Y espaos topolgicos e I = [0, 1] R o intervalo unitrio. Ento uma homotopia ou deformao de X para Y uma aplicao contnua : X [0, 1] Y . Em uma forma mais intuitiva, observemos que para cada t [0, 1] temos uma aplicao contnua t : X Y, com t (x) = (x, t). Se tomarmos a famlia a um parmetro {t }0t1 claramente isso determina , e vice-versa. Portanto, {t }0t1 tambm chamada uma homotopia ou deformao. Uma forma clara de compreendermos o que uma homotopia de um espao topolgico X a outro Y , xando x X e variando t [0, 1], assim podemos pensar em (x, t) como sendo a trajetria que x descreve em Y durante a unidade de tempo [0, 1]. A deformao ento uma famlia de tais trajetrias em Y , indexadas pelo parmetro x X. Denio 1.22 (Homotopia de Aplicaes Contnuas). Sejam f0 , f1 : X Y duas aplicaes contnuas, onde X e Y so espaos topolgicos. Ento, f0 e f1 so ditas serem homotpicas se existe uma deformao {t : X Y }0t1 tal que f0 = 0 e f1 = 1 e escrevemos : f0 f1 , ou simplesmente f0 f1 . Tambm dizemos que uma deformao de f0 para f1 . Ainda, se A X e : X [0, 1] Y tal que t |A = 0 |A, t [0, 1], dizemos que uma homotopia relativa a A e escrevemos : f0 f1 rel A. E tambm, se f1 for uma aplicao constante, dizemos que a homotopia : f0 f1 uma homotopia nula, e f0 = 0 dita ser homotopicamente nula. Proposio 1.23. A relao de homotopia uma relao de equivalncia.

Demonstrao. De fato, consideremos a homotopia constante {t = f }0t1 , ento claramente uma deformao de f para f , ou seja, f f e logo reexiva. Para a propriedade de simetria basta observarmos que se {t } : f0 f1 uma deformao de f0 para f1 ento tomamos {1t } : f1 f0 que uma deformao de f1 para f0 e logo simtrica. Para a propriedade de transitividade vejamos que:

1.3. Homotopia Se : f0 f1 e : f1 f2 , ento tomamos : f0 , para 0 2t 1 2t t = 2t1 , para 1 2t 2 logo transitiva. f2 tal que

Denio 1.24 (Classe de Homotopia de Aplicaes Contnuas). A classe de equivalncia de uma aplicao contnua f : X Y , onde X e Y so espaos topolgicos, sob , chamada classe de homotopia de f , e ser denotada por [f ]. Proposio 1.25. A relao de homotopia compatvel com a composio,i.e., se f0 , f1 : X Y e g0 , g1 : Y Z so aplicaes contnuas tais que f0 f1 e g0 g1 , ento g0 f0 g1 f1 . Demonstrao. Ora, como a composio de aplicaes contnuas ainda contnua, se : f0 f1 e : g0 g1 , ento tomemos : g0 f0 g1 f1 tal que t = t t . Assim, podemos fazer a seguinte denio: Denio 1.26 (Composio de Classes de Homotopia de Aplicaes Contnuas). Sejam [f ] e [g] classes de homotopia de aplicaes contnuas. Denimos a composio de [f ] por [g] por [g] [f ] = [g f ]. Desse modo, acabamos de mostrar que espaos topolgicos e classes de homotopia de aplicaes contnuas formam uma categoria, veja denio 1.1, e passaremos a denot-la por Htp. Observao 1.27. Como mencionamos no exemplo 1.7, Ob(Htp) = Ob(Top) = classe de todos os espaos topolgicos e Htp(X, Y ) = {[f ] : f Top(X, Y )} = conjunto de todas as classes de homotopia de aplicaes contnuas. Se atribuirmos a cada aplicao contnua f Top(X, Y ) sua classe de homotopia [f ] Htp(X, Y ) obteremos um funtor : Top Htp tal que X = X, X Ob(Top), e f = [f ]. Uma ferramenta de extrema importncia em Topologia Algbrica so os funtores t :TopA, onde A uma categoria algbrica como grupos, anis, e outros. Esses funtores em geral so invariantes por homotopia, ou seja, se temos que f0 f1 tf0 = tf1 . Equivalentemente, temos que t se fatora por meio de , ou seja, t = t , onde t TopHtpA. Desse modo, temos que t perde todas as informaes sobre Top que foram perdidas por . Em geral em Htp, tambm no se faz distino entre espaos topolgicos X e Y se eles so equivalentes, ou seja, se existem aplicaes f : X Y e g : Y X tais que

1. Conceitos Preliminares

fg idY e gf idX . Essas aplicaes so chamadas equivalncias de homotopia (recprocas), e X e Y so chamados homotopicamente equivalentes, em smbolos X Y. Os funtores t como descrevemos acima assumem o mesmo valor sobre espaos homotopicamente equivalentes, pois transformam equivalncias de homotopia f : X Y em equivalncias tf : tX tY . = Denio 1.28 (Par de Espaos). Um par de espaos (X, A) consiste de um espao X junto com um subespao A. Denio 1.29 (Aplicao de Pares). Sejam (X, A) e (Y, B) pares de espaos. Uma aplicao de pares f : (X, A) (Y, B) uma aplicao f : X Y tal que f (A) B. Observao 1.30. Se (X, A) e (Y, B) so pares de espaos topolgicos, podemos tomar a aplicao de pares f : (X, A) (Y, B) como uma aplicao contnua f : X Y tal que f (A) B, e assim temos que pares de espaos e suas aplicaes de pares formam uma nova categoria, sob a composio de aplicaes usual, que passaremos a denotar por Top(2) . Alm disso, se atribuirmos a cada espao X Ob(Top) o par de espaos (X, ) Ob(Top(2) ) e a cada aplicao f Top(X, Y ) a aplicao de pares correspondente em Top(2) ((X, ), (Y, )), obtemos um funtor T :TopTop(2) . Este funtor ento, identica Top como uma subcategoria completa de Top(2) , veja o ltimo pargrafo da denio 1.10, ou seja, podemos escrever X = (X, ). Observao 1.31. Triplas, etc., de espaos, e aplicaes entre eles, podem ser denidos de maneira anloga a que zemos para pares de espaos, por exemplo, a tripla de espaos (X, A, B) consiste de um espao X, um subespao A e um subespao B de A. Podemos tambm estender todas as noes que zemos anteriormente para homotopia e categorias, para pares, triplas, etc., de espaos topolgicos, como abaixo: Uma homotopia entre aplicaes de pares contnuas f0 , f1 : (X, A) (Y, B) , por denio, uma famlia a um parmetro t : (X, A) (Y, B), com 0 t 1, como em 1.21 e em 1.22, com 0 = f0 e 1 = f1 , e escrevemos f0 f1 . Segue ento que uma relao, como em 1.23, que compatvel com a composio, como em 1.25. Identicando aplicaes homotpicas podemos denir a categoria homotopia Htp(2) e um funtor : Top(2) Htp(2) , tal que (X, A) = (X, A), e f = [f ] = classe de homotopia de f.

Captulo 2 Complexos de Cadeia e Homologia

2.1 Complexos de Cadeia

Sejam J Z um conjunto de ndices e um domnio ideal principal. Denio 2.1 (Complexo de Cadeia). Um complexo de cadeia um par (C = {Cn }nJ , ), onde C um -mdulo graduado e : C C um morsmo de grau 1 tal que = 0 (Refere-se a composio de morsmos que trivial em cada Cn ). Em outras palavras, um complexo de cadeia (C, ) uma sequncia
n Cn+1 Cn Cn1

n+1

de -mdulos Cn e morsmos n de grau 1, chamados operadores bordos, tal que n n+1 = 0 n J. 1 Denamos Zn (C) = Ker(n ) = n (0) e Bn (C) = Im(n+1 ) = n+1 (Cn+1 ). Assim, passaremos a denominar de n-cadeias os elementos de Cn , de n-ciclos os elementos de Zn (C) e de n-bordos os elementos de Bn (C).

2.2

Homologia de um Complexo de Cadeia

A condio de que n n+1 = 0, n J, em um complexo de cadeia (C = {Cn }nJ , ), signica que Bn (C) Zn (C), ou seja, Bn (C) um -submdulo de Zn (C), e assim Z podemos formar o -mdulo quociente Bn (C) e denimos: n (C) Denio 2.2 (n-simo Grupo de Homologia de um Complexo de Cadeia). Dizemos que Hn (C) o n-simo grupo de homologia do complexo de cadeia (C, ) se Hn (C) = Zn (C) , Bn (C)

e seus elementos so chamados de classes n-simas de homologia.

2. Complexos de Cadeia e Homologia

Pela denio anterior, denio 2.2, temos que classes de homologia so classes de equivalncia de ciclos, e assim, dois ciclos zn , zn Zn (C) so equivalentes, se e somente se, as suas diferena um bordo, mais formalmente, zn zn (mod Bn (C)) zn zn Bn (C). A classe de homologia de um ciclo z ser denotada por [z].

2.3

Aplicaes de Cadeia

Denio 2.3 (Aplicao de Cadeia). Sejam (C, ) e (C , ) complexos de cadeia. Um morsmo f : C C de grau zero chamado de uma aplicao de cadeia se o diagrama C
f

C
G

comuta, ou seja, vale que f = f , ou mais especicamente que n fn = fn1 n n J Z. Deste modo, temos que se f e f so aplicaes de cadeia tais que C C C, ento a composta f f : C C denida por (f f )n = fn fn tambm uma aplicao de cadeia. De fato, como f e f so aplicaes de cadeia, temos respectivamente que valem (i) n fn = fn1 n e (ii) n fn = fn1 n n J Z e assim, n (f f )n = n (fn fn ) = (n fn )fn = (fn1 n )fn = = fn1 (n fn ) = fn1 (fn1 n ) = (fn1 fn1 )n =
def. (ii) def. def. (i) f f

= (f f )n1 n .

Alm disso, acabamos de mostrar que complexos de cadeia e aplicaes de cadeia formam uma categoria, veja denio 1.1, e assim, passaremos a denot-la por A G. Um resultado imediato que temos que uma aplicao de cadeia f um isomorsmo em A G se, e somente se, cada fn um isomorsmo em A G.

2.4

Induzida em Homologia de Aplicaes de Cadeia

Seja f : C C uma aplicao de cadeia. A relao de que (i) n fn = fn1 n implica que fn (Zn (C )) Zn (C) e que fn (Bn (C )) Bn (C), pois para quaisquer zn Zn (C ) e

2.4. Induzida em Homologia de Aplicaes de Cadeia bn Bn (C ) temos: 0 = n (zn ) = (fn1 n )(zn ) = (n fn )(zn ) fn (zn ) Zn (C), e bn = n+1 (bn+1 ), para algum bn+1 Cn+1 fn (bn ) = (fn n+1 )(bn+1 ) = (n+1 fn+1 )(bn+1 ) fn (bn ) Im(n+1 ) = Bn (C).
Z Portanto, se tomarmos os quocientes Bn (C ) = Hn (C ) e n (C ) induz um morsmo bem denido de grau zero Zn (C) Bn (C) (i) (i)

= Hn (C) temos que f

Hn f : Hn (C ) Hn (C) tal que (Hn f )[zn ] = [fn (zn )]. Se f f uma aplicao de cadeia que dada pela composio de duas aplicaes de cadeia f e f , temos que (Hn (f f ))[zn ] = [(f f )n (zn )] = [(fn fn )(zn )] =
def. def. def. def. def. def. def.

= [fn (fn (zn ))] = Hn f [fn (zn )] = = (Hn f Hn f )[zn ].

Alm disso, se tomarmos f = idC : C C temos que (Hn (idC ))[zn ] = [idC (zn )] = [zn ] Hn (idC ) = idHn (C) . Portanto, acabamos de mostrar que a homologia um funtor que vai da categoria A G para a categoria A G, veja denio 1.15, ou seja, Hn : A G A G. Observao 2.4. Para facilitar a notao em alguns casos, denotaremos Hn f por f . Pensando em funtores, se tomarmos os ciclos Z(C) = {Zn (C)}nJ , os bordos B(C) = {Bn (C)}nJ , ou a homologia H(C) = {Hn (C)}nJ de um complexo de cadeia, temos claramente que Z, B e H so funtores covariantes da categoria A G para a categoria GA G de grupos abelianos graduados, cujos morsmos : G G , com G, G Ob(GA G), desta categoria so sequncias n : Gn Gn de homomorsmos ordinrios. Alm disso, podemos realizar vrias incorporaes de categorias, como por exemplo: Cada grupo abeliano graduado G GA G pode se tornar um complexo de cadeia bastando tomarmos = 0. Isto dene uma incorporao GA G A G. Vale notar que dado G GA G, o complexo de cadeia (G, = 0) tal que Z(G) = G, B(G) = 0 e H(G) = G.
def.

10

2. Complexos de Cadeia e Homologia Outra incorporao que podemos fazer denindo o que segue:

Denio 2.5. Seja A um grupo abeliano e k Z. Denimos e denotamos por (A, k) o grupo abeliano graduado tal que (A, k)n = A se n = k, e (A, k)n = 0 se n = k, ou seja, (A, k) concentrado no nvel k, e igual a A neste. Portanto, pela denio acima, temos uma incorporao A G GA G.

2.5

Complexos de Cadeia Exatos

Denio 2.6 (Complexo de Cadeia Exato). Seja (C = {Cn }nJ , ) um complexo de cadeia. Dizemos que (C, ) um complexo de cadeia exato, ou acclico, se e somente se, Ker(n ) = Im(n+1 ), n J, ou seja, se e somente se, Hn (C) = 0, n J. Observao 2.7. O termo acclico empregado na denio anterior, refere-se ao fato de que neste complexo de cadeia no h mais ciclos alm dos bordos, em cada nvel n, n J. Desse modo, homologia ento pode ser vista como uma medida para a falta de exatido de um complexo de cadeia. Denio 2.8 (Soma Direta de Complexos de Cadeia). Seja {(C , )}A uma famlia de complexos de cadeia. Vamos denir a soma direta dos complexos de cadeia desta famlia, denotada por (C , ) A G, do seguinte modo:

(C , ) :=

C ,

, onde

C
n

Cn e n {c } = {n (c )},

ou seja, tomamos a soma direta dos mdulos graduados C em cada nvel n e deixamos o operador bordo n : Cn Cn1 atuar componente a componente.

Observao 2.9. Como consequncia da denio acima temos que Zn

def.

= Ker(n ) =

Ker(n ) =

def.

Zn (C )

(2.1)

e Bn

def.

= Im(n+1 ) =

Im(n+1 ) =

def.

Bn (C ),

(2.2)

e assim, temos que Z

def.

Zn

C
nJ

2.1

Zn (C )
nJ

2.8

Z(C ),

(2.3)

2.6. O Cone de uma Aplicao

11

def.

Bn

C
nJ

2.2

Bn (C )
nJ

2.8

B(C )

(2.4)

e ainda que H

def.

Z = B(

C 2.4 = C )

2.3

Z(C ) = B(C )

Z(C ) def. = B(C )

H(C ).

Observao 2.10. De modo anlogo ao feito na denio 2.8, podemos denir o produto direto de complexos de cadeia.

2.6

O Cone de uma Aplicao

Denio 2.11 (Cone de uma aplicao). Sejam (K, K ) e (L, L ) dois complexos de cadeia e f : K L uma aplicao de cadeia. Denimos o cone da aplicao f , denotado por (Cf, Cf ), como sendo o novo complexo de cadeia tal que
Cf (Cf )n = Ln Kn1 e n (y, x) = L k n (y) + fn1 (x), n1 (x) , (y, x) (Cf )n .

De fato, podemos vericar facilmente que (Cf, Cf ) um complexo de cadeia. Consideremos o diagrama abaixo:
G G

Kn+1
G

K n+1

G Kn
fn

K n

Kn1
G

K n1

Kn2
 G Ln2 G

fn+1

Ln+1


L n+1 Cf n+1

Ln

L n

fn1

Ln1

fn2
L n1

(Cf )n+1

 G (Cf )n

Cf n

 G (Cf )n1

Claramente (Cf )n = Ln Kn1 um grupo abeliano para todo n J Z, pois Ln e Cf Cf Kn1 o so. E tambm temos que n n+1 = 0, n J Z, pois
Cf Cf Cf Cf (n n+1 )(y, x) = n n+1 (y, x) def. def. def. Cf L K = n n+1 (y) + fn (x), n (x) def.

L L K K K n (n+1 (y) + fn (x)) + fn1 (n (x)), n1 (n (x)) L L L K K K n (n+1 (y)) + n (fn (x)) fn1 (n (x)), n1 (n (x)) L L L K K K (n n+1 )(y) + (n fn )(x) (fn1 n )(x), (n1 n )(x) L K 0 + (n fn )(x) (fn1 n )(x), 0 ()

=
def.

=
def.

= (0, 0).

12

2. Complexos de Cadeia e Homologia

K () pois f : K L uma aplicao de cadeia e ento temos que (fn1 n )(x) = L (n fn )(x).

2.6.1

A Suspenso de um Complexo de Cadeia

Considere a denio de cone de uma aplicao dada em 2.11. Se tomarmos o complexo de cadeia (L, L ) = (0, = 0), teremos que a aplicao de cadeia f : K L ser tal que f = 0. Ento denimos: Denio 2.12. Sob as condies acima, o cone da aplicao f = 0, denotado por + (K + , K ), chamado a suspenso do complexo de cadeia (K, K ), e dado por
K K (K + )n = Kn1 e n (x) = n1 (x), x (K + )n .
+

Note que K + = {Kn1 }nJ . Como

+

H(K), = 0
+

A G, vide nal da seo 2.4, = {Hn1 (K)}nJ , e assim temos

sua suspenso que

H(K)

, + = 0

tal que H(K)

K K Zn (K + ) def. Ker(n ) def. Ker(n1 ) Hn (K ) = = = = K K+ Bn (K + ) Im(n ) Im(n+1 ) K Ker(n1 ) def. Zn1 (K) def. = = Hn1 (K), = K Im(n ) Bn1 (K) + def.

(2.5)

e mais geralmente, H(K + ) = {Hn (K + )}nJ = {Hn1 (K)}nJ =

def. 2.5 def. +

H(K)

Tendo em vista os conceitos j apresentados, podemos formar uma sequncia exata curta 0 L Cf K + 0 de aplicaes de cadeia tal que (y) = (y, 0), y L e k(y, x) = x, (y, x) Cf. Alm disso, esta sequncia, sequncia 2.6, se fatora em todos os seus nveis, ou seja, para todo n J, existem aplicaes jn e qn com 0
G
n

(2.6)

Ln j
jn

kn

(Cf )n m

(K + )n

qn

2.6. O Cone de uma Aplicao tais que jn Explicitamente: Como

n (y) n

13

= idLn , kn qn = id(K + )n e

n jn

+ qn kn = id(Cf )n .

(2.7)

= (y, 0), y Ln , jn (y, x) = y, (y, x) (Cf )n .

Como kn (y, x) = x, (y, x) (Cf )n , qn (x) = (0, x), x (K + )n . E assim segue as relaes em 2.7.

Observao 2.13. Observe que as aplicaes l e q so monomorsmos e que as aplicaes k e j so epimorsmos.

Observao 2.14. Quando uma sequncia exata de aplicaes de cadeia se fatora em todos os seus nveis dizemos que ela cinde.

Observao 2.15. Em geral, a sequncia exata 2.6 no se fatorar como aplicao de cadeia, ou seja, as aplicaes existentes em todos os seus nveis jn e qn de sua fatorao, em geral no sero aplicaes de cadeia. Veja o seguinte exemplo: Tomemos (K, K ) = (L, L ) = (Z, 0), = 0 A G e f : K L aplicao de cadeia tal que f = id. Assim, 0 Z, se n = 1 = Z 0, se n = 0 0 0, se n = 0, 1

(Cf )n = C(id)

com
C(id) n (y, x) = (x, 0), (y, x) C(id)

,
n

e (K + )n = (Z, 0)+ com n

(Z,0)+ n

Z, se n = 1 = 0, se n = 1

= (Z, 1)
n

= 0.

Logo, a sequncia exata 2.6 para este exemplo, Forma Aberta Forma Fechada

14
j1

2. Complexos de Cadeia e Homologia

G

0
G r0
1

G0
L 1 =0

G
L 0 =0

0
r0
1

0


G
j0

Z r

(Z, 0)
t
j

j1

0Z s
q1

GZ0 G00 s s C(id) C(id)

1 0

 t
k

C(id)
q

Lembrando que

k1

q0

Z
G

(Z,0)+ =0 1

G0  G0

k0

q1

(Z,0)+ =0 0

0
G

k1

(Z, 0)+ 0


(y) = (y, 0), y (Z, 0), j(y, x) = y, (y, x) C(id), k(y, x) = x, (y, x) C(id) e q(x) = (0, x), x (Z, 0)+ , obtemos facilmente que j e q no so aplicaes de cadeia, pois: Para j: (i) (ii) j0 1
C(id)

(0, x) = j0 (x, 0) = x.

L L 1 j1 (0, x) = 1 (0) = 0.

Logo, de (i) e (ii) temos que j0 1

C(id) L = 1 j1 j C(id) = L j.

Portanto, j no uma aplicao de cadeia. E o mesmo temos para q, pois: (iii) (iv) q0 1 1
(Z,0)+

(x) = q0 (0) = (0, 0).

C(id)

C(id)

q1 (x) = 1

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

Logo, de (iii) e (iv) temos que q0 1

(Z,0)+

= 1

C(id)

q1 q (Z,0) = C(id) q.

Portanto, q no uma aplicao de cadeia. Denio 2.16. O cone da aplicao id : K K chamado cone de K, e ser

2.6. O Cone de uma Aplicao denotado por CK. Assim, a sequncia exata 2.6 para este caso torna-se 0 K CK K + 0.
k

15

17

Captulo 3 O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de Cadeia

3.1 Complexos de Cadeia: Mais Alguns Conceitos

Observao 3.1. Como por denio todo A-mdulo, onde A um anel com elemento unidade 1 = 0, um grupo abeliano com respeito a operao de adio, quando no houver perigo de confuso, poderemos nos referir a um A-mdulo dado simplesmente como sendo um grupo abeliano.

3.1.1

Subcomplexos de Cadeia

Denio 3.2 (Subcomplexo de Cadeia). Seja (C, ) um complexo de cadeia. Se Cn Cn , n J, uma sequncia de subgrupos tal que (Cn ) Cn1 , n J, ento Cn+1 Cn Cn1 , = |C em si um complexo de cadeia, chamado de subcomplexo de cadeia do complexo de cadeia (C, ). Assim, temos claramente que a aplicao incluso i : C C uma aplicao de cadeia, devido a denio de .

3.1.2

Complexos de Cadeia Quocientes

Sejam (C, ) um complexo de cadeia e (C , = |C ) um subcomplexo de cadeia do complexo de cadeia (C, ). Como temos que Cn Cn , n J, podemos formar os

3. O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de 18 Cadeia quocientes

Cn , Cn

n J, e assim, temos que n induz um homomorsmo bem denido

Cn Cn1 dado por n [c] = [n (c)] tal que n n+1 = 0. n : Cn Cn1 E ento denimos:
C Denio 3.3 (Complexo de Cadeia Quociente). Denimos o complexo de cadeia C , construdo acima como sendo o complexo de cadeia quociente de (C, ) por (C , ). C Dessa forma, temos claramente que a projeo natural p : C C , que atribui a C cada c C a sua classe lateral em C , uma aplicao de cadeia, devido a denio de .

Exemplo 3.4. Seja f : K L uma aplicao de cadeia. O Ker(f ) denido por (Ker(f ))n = Ker(fn ) e a Im(f ) denida por (Im(f ))n = Im(fn ) formam subcomplexos de cadeia dos complexos de cadeia (K, K ) e (L, L ), respectivamente, pois Ker(fn ) Kn e Im(fn ) Ln , n J, e como f uma aplicao de cadeia vale a relao de que () K L n fn = fn1 n , e assim temos que:
K (i) n (Ker(fn )) Ker(fn1 ) :

De fato, seja z Ker(fn ) ento

L L K K K 0 = fn (z) = n (fn (z)) = (n fn )(z) = (fn1 n )(z) = fn1 (n (z)) n (z) Ker(fn1 ). K Logo, n (Ker(fn )) Ker(fn1 ). L (ii) n (Im(fn )) Im(fn1 ) : ()

De fato, seja b Im(fn ) ento b = fn (k), para algum k Kn

L L L K K L n (b) = n (fn (k)) = (n fn )(k) = (fn1 n )(k) = fn1 (n (k)) n (b) Im(fn1 ). L Logo, n (Im(fn )) Im(fn1 ). ()

Observao 3.5. Observe que pelo Teorema do Isomorsmo, ou tambm Teorema do Homomorsmo dependendo do autor, que diz: Teorema 3.6 (Teorema do Isomorsmo). Se : A B um homomorsmo ento a A A aplicao : Ker() Im() que associa a cada a Ker() a imagem (a) Im(), est bem denida e um isomorsmo. Demonstrao. A demonstrao bem simples e pode ser encontrada nos livros 2, 4, 6, 7 e 10. temos ento que
K Ker(f )

Im(f ). Isto ser til para o que segue. =

3.2. Sequncias Exatas de Homologia

19

Visto os conceitos de subcomplexos de cadeia e de complexos de cadeia quocientes, j podemos mostrar facilmente que a sequncia 0 K K
i p

K 0 K

das aplicaes de cadeia incluso e projeo, denidas nas duas ltimas sees, formam uma sequncia exata, o que signica que 0 Kn Kn exata para cada n J. Reciprocamente, se 0 K K K 0
i p

K K

0
n

(3.1)

(3.2)

uma sequncia exata curta, em cada nvel, de aplicaes de cadeia ento K i(K ) = K e K i(K ) pela observao 3.5, isto , a menos de isomorsmos cada sequncia exata = curta 3.2 da forma 3.1.

3.2

Sequncias Exatas de Homologia

Nosso objetivo nesta seo construir o homomorsmo de conexo de uma sequncia exata de aplicaes de cadeias e estudar as suas principais propriedades. Para isso, comecemos provando a seguinte proposio: Proposio 3.7. Se 0 K K K 0 uma sequncia exata de aplicaes p i de cadeia ento a sequncia HK HK HK tambm exata (H um funtor meio-exato). Contudo, em geral i no um monomorsmo e p no um epimorsmo. Demonstrao. Precisamos mostrar que Im(i ) = Ker(p ). Ora, para mostrar que Im(i ) Ker(p ) basta observarmos que pi = 0, e assim temos prop. que p i = (pi) = 0 = 0. Agora para mostrarmos que Ker(p ) Im(i ) faamos o seguinte: Lembremos primeiramente que como p e i so aplicaes de cadeia temos que () p = p e que () i = i. Seja [z] Ker(p ), logo z Z(K) K e assim temos que (1) p(z) = (x ), para algum x K . Escolha (2) x p1 (x ). Assim, p(z (x)) = p(z) p((x)) = (x ) (p)(x) = (x ) ( p)(x) = = (x ) (p(x)) = (x ) (x ) = 0,
(2) (1) () i p

3. O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de 20 Cadeia logo z (x) Ker(p) z (x) = i(z ) (3), para algum z K . Mais ainda, temos que i( (z )) = (i )(z ) = (i)(z ) = (i(z )) = (z (x)) = (z) ((x)) = 0 0 = 0, o que implica que (z ) = 0, pois i um monomorsmo. Assim z Z(K ), logo i [z ] = [i(z )] = [z (x)] = [z], pois (x) B(K). Em particular, [z] Im(i ). Como mencionado na proposio anterior, em geral i no um monomorsmo e p no um epimorsmo (logo H no nem direita, nem esquerda exata na sequncia). Um exemplo deste fato fornecido pelo mesmo exemplo que demos para mostrar que uma sequncia exata em geral no se fatora como aplicao de cadeia, veja observao 2.15, ou seja, considere a seguinte sequncia: 0 (Z, 0) C(Z, 0) (Z, 1) 0. Assim, temos que HC(Z, 0) = 0, H(Z, 0) = (Z, 0) Ker(i ) = (Z, 0) e H(Z, 1) = (Z, 1) = Im(p ).
i= p=k def. (3) () (3)

3.2.1

O Homomorsmo de Conexo : Hn K Hn1 K

Como anteriormente, seja 0 K K K 0

i p

(3.3)

uma sequncia exata curta de aplicaes de cadeia. Consideremos os homomorsmos (sem ) Hn1 K g o

p1 (Zn (K )) Hn K

p

onde p(x) = [p(x)] e (x) = [i1 ((x))]. Note que p(x) Zn (K ) e que esta denio para faz sentido, pois p uma aplicao de cadeia e 0 = ( p)(x) = (p)(x) e assim temos que (x) p1 (0) = Ker(p) = Im(i), e ainda i1 ((x)) = i1 ((x)) = 0, o que implica que i1 ((x)) Z(K ). Alm disso, claramente p = [ ] p um epimorsmo. Como exibido no diagrama acima, queremos denir o homomorsmo = p 1 : Hn K Hn1 K . Para que esteja bem denido, observemos ainda que se x, y p1 (Zn (K )) so tais que px = c1 = py temos que p(x y) = 0 x y Ker() e que p

3.2. Sequncias Exatas de Homologia

21

c1 = p 1 c1 = x = y (x y) = 0 x y Ker(). Portanto, falta-nos ainda def. vericar se |Ker() = 0. Mas veja, dado x Ker() temos que 0 = p(x) = [p(x)] p p p(x) B(K ) o que signica que p(x) = (p(y)) = p((y)), para algum y K, logo p(x (y)) = 0 x (y) Ker(p). Como Ker(p) = Im(i) temos que x (y) = i(y ), para algum y K , assim (x) = (i(y )) i1 ((x)) = i1 ((i(y ))) = (i1 (i(y ))) = (y ) e ento [i1 ((x))] = [ (y )] = 0. Portanto, a passagem para quociente da sequncia 3.3 produz um nico homomorsmo = p 1 : Hn K Hn1 K , com [p(x)] = [i1 ((x))], ou equivalentemente, = p 1 : Hn K Hn1 K , com [y] = [i1 ((p1 (y)))], com y = p(x) Zn (K ), e x = p1 y p1 (Zn (K )), e assim denimos: Denio 3.8 (Homomorsmo de conexo). O homomorsmo = p1 : Hn K Hn1 K , com [p(x)] = [i1 ((x))], construdo acima chamado homomorsmo de conexo da sequncia 3.3. Vejamos as principais propriedades de : Proposio 3.9. a) Naturalidade: Se 0 0
G

K
G

K
GL 
f

GK G 
f

0
G

f j

um diagrama comutativo de aplicaes de cadeia com linhas exatas ento Hn K Hn L tambm comutativo, i.e., f = f . b) Exatido: A sequncia
Hn K Hn K Hn K Hn1 K Hn1 K ,

Hn1 K
f

Hn1 L

3. O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de 22 Cadeia chamada sequncia de homologia de 3.3 exata. Demonstrao. a) Seja [px] HK . Ento f [px] = f [i1 K x] = [f i1 K x] = [j 1 f K x] =
hip. def. def. hip. hip.

= [j 1 L f x] = [qf x] = [f px] = = f [px].

def.

hip.

def.

def.

b) Pela proposio 3.7, resta-nos apenas mostrar a exatido sobre HK e HK , ou seja, que Im( ) = Ker(i ) e que Im(p ) = Ker( ). Faamos: (i) Im( ) Ker(i ) : Seja [px] HK . Ento i [px] = i [i1 K x] = [ii1 K x] = [ K x] = 0. (ii) Ker(i ) Im( ) : def. Seja [z ] Ker(i ). Assim, 0 = i [z ] = [iz ] iz = K x, para algum x K, ou ainda que z = i1 K x. Como px = p K x = piz = 0, pois Im(i) = Ker(p), temos que def. px Z(K ) e assim segue que [z ] = [i1 K x] = [px]. (iii) Im(p ) Ker( ) : Seja [z] HK. Assim, z Z(K) e ento p [z] = [pz] = [i1 K z] = 0. (iv) Ker( ) Im(p ) : def. Seja [px] Ker( ). Assim, 0 = [px] = [i1 K x] i1 K x = x , para algum x K , ou ainda que K x = i x = K ix . Logo, K (x ix ) = 0 x ix Z(K), e assim segue que P [x ix ] = [px pix ] = [px], pois Im(i) = Ker(p).
def. def. def. def.

Vamos agora provar um corolrio que podemos obter deste teorema de forma direta. Porm para isso, precisaremos do seguinte lema: Lema 3.10 (Lema das Cinco). Se A1 B1

1 1 1

A2 B2

2

A3 B3

3

A4

4

G A5 G 
5

G B4

B5

um diagrama comutativo com linhas exatas e 1 , 2 , 4 e 5 so isomorsmos, ento assim tambm 3 .

3.2. Sequncias Exatas de Homologia Demonstrao. Vide o livro 2, pg. 8.

23

Corolrio 3.11. Se 0 0
G

K
G

K
 GL

GK G  G

0 0

um diagrama comutativo de aplicaes de cadeia com linhas exatas e se duas das setas verticais induzir isomorsmos em homologia, em seguida o mesmo acontece com a terceira.

Demonstrao. Pelo item a) da proposio anterior 3.9, temos que as setas verticais induzem aplicaes entre as sequncias exatas de homologia das linhas exatas do diagrama. Como duas em cada trs dessas aplicaes so isomorsmos, temos portanto, que as terceiras aplicaes so isomorsmos, pelo Lema das Cinco 3.10.

Denio 3.12. Uma sequncia exata 0 K K K 0 de aplicaes de jn cadeia cinde se se fatora em todos os seus nveis, ou seja, existem aplicaes Kn qn Kn Kn , n J, tais que ji = id, pq = id e ij + qp = id.

Observao 3.13. Uma sequncia exata de aplicaes de cadeia que cinde no necessariamente se fatora como aplicao de cadeia, vide observao 2.15. Desse modo, temos ento que o homomorsmo de conexo : HK HK tem uma conveniente descrio como segue:

Proposio 3.14. A sequncia de aplicaes dn = jn1 qn : Kn Kn1 = (K )+ n uma aplicao de cadeia e o homomorsmo induzido em homologia d : Hn K Hn (K )+ = Hn1 K coincide com o homomorsmo de conexo.

Demonstrao. Primeiramente vamos mostrar que a sequncia de aplicaes dn uma aplicao de cadeia, ou seja, que vale ( )+ dn = dn1 n , n Z. n

3. O Homomorsmo de Conexo de uma Sequncia Exata de Aplicaes de 24 Cadeia Lembremos que ( )+ = n1 por denio. Ento faamos: n in2 (n1 dn ) = (in2 n1 )jn1 n qn = (n1 in1 )jn1 n qn = n1 (in1 jn1 )n qn = = n1 (id qn1 pn1 )n qn = n1 n qn n1 qn1 pn1 n qn = = 0 n1 qn1 (pn1 n )qn = n1 qn1 (n pn )qn = = n1 qn1 n (pn qn ) = n1 qn1 n id = = (id)n1 qn1 n = (in2 jn2 + qn2 pn2 )n1 qn1 n = = in2 (jn2 n1 qn1 )n qn2 (pn2 n1 )qn1 n = = in2 (dn1 )n qn2 (n1 pn1 )qn1 n = = in2 (dn1 n ) qn2 n1 (pn1 qn1 )n = = in2 (dn1 n ) qn2 n1 (id)n = = in2 (dn1 n ) 0 = = in2 (dn1 n ). Assim, como i um monomorsmo, obtemos que n1 dn = dn1 n n1 dn = dn1 n ( )+ dn = dn1 n . n Como n Z que tomamos qualquer, temos que d : K (K )+ uma aplicao de cadeia. Vamos mostrar agora que d e coincidem. Ora, tomemos z Z(K ). Ento [z ] = [i1 qz ] = [jqz ] = [dz ] = d [z ].

Corolrio 3.15. Se f : K L uma aplicao de cadeia ento o homomorsmo de conexo da sequncia exata 2.6, 0 L Cf K + 0, coincide com Hf : HK HL Demonstrao. De fato, como esta sequncia se fatora em todos os seus nveis por q(x) = (0, x), j(y, x) = y e temos que jq = f , pela proposio anterior 3.14 terminamos.

Corolrio 3.16. Se f : K L uma aplicao de cadeia ento Hf : HK HL um isomorsmo se, e somente se, o cone da aplicao f , Cf , acclica, H(Cf ) = 0. Demonstrao. Basta tomarmos a sequncia exata de homologia 3.9 b) e utilizarmos o corolrio anterior 3.15.

25

Captulo 4 Homotopia de Cadeias

Denio 4.1 (Homotopia de Aplicaes de Cadeia). Sejam f, g : K K aplicaes de cadeia. Uma homotopia s entre f e g, em smbolos s : f g, uma sequncia de homomorsmos sn : Kn Kn+1 tal que n+1 sn + sn1 n = fn gn , n J Z. Escrevemos f g e dizemos que f e g so homotpicas, se tal s existe. uma relao de equivalncia.

Proposio 4.2. A relao de homotopia

Demonstrao. De fato, 0 : f f , pois 0 = 0 + 0 = f f , logo reexiva. Se s : f g ento s : g f , pois como s : f g s + s = f g (1) e assim, (s) + (s) = s s = ( s + s) = (f g) = g f, logo simtrica. Se s : f g e t : g h ento s + t : f h, pois como s : f e como t : g h t + t = g h (ii) e assim,
(1)

g s + s = f g (i)

(i)

(s + t) + (s + t) = s + t + s + t = ( s + s) + ( t + t) =
(i)

(ii)

(ii)

= (f g) + (g h) = f + (g + g) h = f + 0 h =

= f h, logo transitiva.

Denio 4.3 (Classe de Homotopia de uma Aplicao de Cadeia). A classe de equivalncia de uma aplicao de cadeia f : K K , sob , chamada classe de homotopia de f , e ser denotada por [f ]. Proposio 4.4. A relao de homotopia compatvel com a composio, ou seja, se f g : K K e f g : K K ento f f g g.

26

4. Homotopia de Cadeias

Demonstrao. Primeiramente lembremos que como f e g so aplicaes de cadeia temos que f = f (i) e g = g (ii), respectivamente. Assim, se s : f g s + s = f g (1) e ento f s : f f f g, pois (f s) + (f s) = ( f )s + f (s) = (f )s + f (s) = f ( s) + f (s) = = f ( s + s) = f (f g) = f f f g. Do mesmo modo, temos que se s : f s g : f g g g, pois
(ii) (1) (i)

g s + s = f g (2) e ento

(s g) + (s g) = ( s )g + s (g) = ( s )g + s ( g) = ( s )g + (s )g = = ( s + s )g = (f g )g = f g g g. Portanto, pela transitividade de temos que f s + s g : f f g g.

(2)

Assim, podemos fazer a seguinte denio: Denio 4.5 (Composio de Classes de Homotopia de Aplicaes de Cadeia). Sejam [f ] e [f ] classes de homotopia de aplicaes de cadeia. Denimos a composio de [f ] por [f ] por [f ] [f ] = [f f ]. Desse modo, acabamos de mostrar que complexos de cadeia e classes de homotopia de aplicaes de cadeia formam uma categoria, e passaremos a denot-la por H G. Observao 4.6. Veja que Ob(H G) = Ob(A G) = classe de todos os complexos de cadeia e H G(K, L) = {[f ] : f A G(K, L)} = conjunto de todas as classes de homotopia de aplicaes de cadeia. Se atribuirmos a cada aplicao de cadeia f A G(K, L) sua classe de homotopia [f ] H G(K, L) obteremos um funtor covariante : A G H G tal que K = K, K Ob(A G), e f = [f ]. Uma aplicao de cadeia f : K K cuja classe de homotopia uma equivalncia f f em H G, ou seja, existem aplicaes de cadeia K K K tal que f f idK e ff idK , chamada equivalncia de homotopia. Os complexos de cadeia (K, ) e (K , ) so chamados homotopicamente equivalentes e escrevemos (K, ) (K , ). A aplicao f chamada de homotopia inversa de f .

4.1

Homologia e Homotopia

Proposio 4.7. Se f g : K K ento f = g : HK HK , i.e., aplicaes de cadeia homotpicas induzem o mesmo homomorsmo em homologia.

4.2. Complexos de Cadeia Contrteis Demonstrao. Seja [z] HK z Z(K) (1). Se s : f ento temos que
def. prop. def.

27 g s + s = f g (2), e

f [z] g [z] = [f z] [gz] = [f z] + [gz] = [f z gz] = [(f g)z] =

(2)

(2)

= [( s + s)z] = [ sz + sz] = [ sz + 0] = [ sz] = 0,

(1)

pois sz B(K ). Corolrio 4.8. Se f : K K uma equivalncia de homotopia ento f : HK HK um isomorsmo. Demonstrao. De fato, como f uma equivalncia de homotopia ento temos que f f idK e f f idK , e assim
f f = (f f ) = id = id e f f = (f f ) = id = id. prop. 4.7 prop. 4.7

Portanto, f um isomorsmo. Observao 4.9. Equivalentemente proposio 4.7, temos que a homologia vista como um funtor H se fatora por meio de H G, ou seja, existe um diagrama comutativo de funtores H G GAG A G W

H G Assim, o corolrio acima, corolrio 4.8, diz simplesmente que o funtor H leva equivalncias em equivalncias.

4.2

Complexos de Cadeia Contrteis

Denio 4.10 (Complexo de Cadeia Contrtil). Seja (K, ) um complexo de cadeia. Se idk 0, ou equivalentemente (K, ) 0, dizemos que (K, ) um complexo de cadeia contrtil. Pelo corolrio 4.8 temos que se (K, ) resultado temos a seguinte proposio: 0 ento HK = 0. Para a recproca desse

Proposio 4.11. Seja (K, ) um complexo de cadeia acclico, i.e., HK = 0. Ento (K, ) 0 se, e somente se, para todo n J, Zn (K) uma soma direta de Kn . Para demostrarmos este resultado, precisamos denir e demonstrar o que segue:

28

4. Homotopia de Cadeias

Denio 4.12. Sejam {A } e A grupos abelianos. Uma famlia de homomorsmos {p : A A } (resp. {i : A A} ) chamada representao do produto direto (resp. representao da soma direta) se {p } : A A (resp. {i } : A A) um isomorsmo. Proposio 4.13. Se nito e se {p : A A }, resp. {i : A A}, , so famlias de homomorsmos tal que p i = idA , p i = 0, para = ,

i p = idA ,

(4.1)

ento {p } uma representao do produto direto e {i } uma representao da soma direta. Reciprocamente, se p = {p : A A } uma representao do produto direto ento existe uma nica famlia {i : A A} que satisfaz 4.1. Analogamente para representaes de somas diretas. Observao 4.14. Em particular, uma sequncia exata curta 0 A A A 0 se fatora se, e somente se, Im( ) (resp. Im( )) uma componente da representao da soma direta (resp. representao do produto direto) A A A. = Demonstrao. (Proposio 4.13.) Vide 2, pg. 10. Demonstrao. (Proposio 4.11.) () Tome s : idK 0, ou seja, temos que s + s = idK . Como (K, ) acclico, temos que |B(K) = 0 s|B(K) = idB(K) . Logo, a sequncia exata 0 Z(K) K B(K) 0 se fatora, e pela proposio 4.13 e observao 4.14, temos que Z(K) uma soma direta de K. () Suponhamos que t : B(K) K tal que t = id. Logo temos que K = Z(K) tB(K) = B(K) tB(K). Denamos s tal que s|B(K) = t e s|tB(K) = 0. Ento (s + s)|B(K) = t = id e (s + s)|tB(K) = s|tB(K) = t|tB(K) = id.

Observao 4.15. Um exemplo de um complexo de cadeia (K, ) tal que HK = 0 e (K, ) no homotopicamente equivalente a 0, Kn = Z4 e n = multiplicao por 2, n J. Se fosse, Z4 seria isomorfo a Z2 Z2 e { Z2 . Absurdo! 0, 2} = A proposio 4.11 particularmente til em conexo com o que segue:

4.3. Complexos de Cadeia Livres Proposio 4.16. Se o cone de uma aplicao de cadeia f : K L contrtil, Cf ento f uma equivalncia de homotopia. A recproca tambm verdadeira. Demonstrao. Vide 2, pg. 25.

29 0,

4.3

Complexos de Cadeia Livres

Denio 4.17 (Complexo de Cadeia Livre). Um complexo de cadeia (K, ) chamado livre, se Kn livre, n J Z. Proposio 4.18. Seja (K, ) um complexo de cadeia livre. Ento o grupo de ciclos Zn (K) uma soma direta de Kn . Para demostrarmos este fato vamos fazer uso das seguintes proposies: Proposio 4.19. Todo subgrupo de um grupo abeliano livre livre. Proposio 4.20. Se F um grupo abeliano livre ento toda sequncia exata curta 0 A A F 0 se fatora. (Por isso A A F .) = Demonstrao. (Proposies 4.19 e 4.20.) Ambas as demonstraes encontram-se na pg. 12 do livro 2. Demonstrao. (Proposio 4.18) Como pela proposio 4.19 temos que todo subgrupo de um grupo abeliano livre livre, temos que B(K) K livre, e assim a sequncia exata 0 Z(K) K B(K)+ 0 se fatora, pela proposio 4.20, e portanto, K = Z(K) B(K)+ . Proposio 4.21. Seja f : K L uma aplicao de cadeia entre complexos de cadeia livres. Se f : HK HL ento f uma equivalncia de homotopia. = Demonstrao. Pela proposio 4.16, suciente mostrarmos que Cf 0, e para mostrarmos que Cf 0, pela proposio 4.11, suciente mostrarmos que HCf = 0 e que os ciclos Z(Cf ) so somas diretas. Este ltimo segue da proposio 4.18, pois (Cf, ) tal que (Cf )n = Ln Kn1 que livre n J. E HCf = 0, pelo corolrio 3.16. Observao 4.22. Veja que a proposio acima, proposio 4.21, a recproca do corolrio 4.8 demonstrado na seo 4.1.

4.3.1

Complexos de Cadeia Curtos

Denio 4.23 (Complexo de Cadeia Curto). Seja (K, ) um complexo de cadeia. Se n Z tal que Ki = 0, i = n, n + 1 e n+1 : Kn+1 Kn monomrca, ento dizemos que (K, ) um complexo de cadeia curto. Observe que essencialmente um complexo de cadeia curto concentrado no nvel n. E alm disso, se Kn Z ento dizemos que (K, ) um complexo de cadeia = elementar.

30

4. Homotopia de Cadeias

Proposio 4.24. Cada complexo de cadeia livre (K, ) uma soma direta de complexos de cadeia (livres) curtos. Se alm disso, cada Km nitamente gerado, ento (K, ) uma soma direta de complexos elementares. Demonstrao. (Primeira parte de 4.24:)
Pela proposio 4.18 podemos escrever Km como uma soma direta Km = Zm (K)Zm . Construamos um novo complexo de cadeia (K (m) , (m) = |K (m) ) tal que (m) (m) Km = Zm (K) e Km+1 = Zm+1 . (m)

Ki

= 0, i = m, m + 1,

Claramente (K (m) , (m) ) um subcomplexo de cadeia de (K, ), um complexo de cadeia curto e (K, ) = m (K (m) , (m) ). Para demonstrarmos a segunda parte da proposio 4.24, precisaremos do seguinte resultado: Proposio 4.25. Se F um grupo abeliano livre nitamente gerado e G F um subgrupo, ento podemos achar uma base {b1 , . . . , bm } de F e uma base {c1 , . . . , cn } de G tal que n m e cj = j bj , com j Z j n. E ainda, j divide j+1 , j < n. Demonstrao. Vide o livro 2, pg. 12. Demonstrao. (Segunda parte de 4.24:)
Se Km nitamente gerado ento tambm so Zm (K) e Zm . Alm disso, se olharmos Zm+1 como um subgrupo de Zm (K) aplicando-se m+1 , temos pela proposio 4.25 que existem bases {am , . . . , am } de Zm (K) e {bm+1 , . . . , bm+1 } de Zm+1 , com s r, tal que 1 1 r s m+1 bm+1 = im am , com im Z, i s. Seja (K (m,i) , (m,i) ) (K, ) o subcomplexo de i i cadeia gerado pelo par (am , bm+1 ), para i s, e pelo elemento am , para i > s. Ento, i i i (m,i) (m,i) (K , ) um complexo de cadeia elementar e (K, ) = i,m (K (m,i) , (m,i) ).

Observao 4.26. Pela proposio 4.25, a base {am , bn } pode at ser escolhida de modo i j m m m que i sempre divida i+1 (e todos os i > 0). Ela ento chamada base cannica de K. Os nmeros im > 1 so chamados de coecientes de toro de K (ou de HK). Estes coecientes so unicamente determinados por HK, ou seja, independem da escolha da base {am , bn }. i i Proposio 4.27. Se (K, ) um complexo de cadeia livre, (L, ) um complexo de cadeia arbitrrio e n : Hn K Hn L, n Z, uma sequncia de homomorsmos, ento existe uma aplicao de cadeia f : K L tal que f = . Ou seja, todo homomorsmo : HK HL cujo domnio a homologia de uma complexo de cadeia livre (K, ) pode ser dado por uma aplicao de cadeia. Para demonstrarmos esta proposio precisamos do seguinte lema:

4.3. Complexos de Cadeia Livres Lema 4.28. Todo diagrama comutativo F

g 1

31

G0
G 
g0

G1

g1

G1

G0

G
0

G1

de homomorsmos de grupos abelianos (sem g ainda) cuja segunda linha exata, a primeira linha um complexo de cadeia, i.e., 0 1 = 0, e F livre, pode ser completado por um homomorsmo g. Demonstrao. Se a F ento 0 g0 1 a = g1 0 1 a = 0, i.e., g0 1 a Ker(0 ) = Im(1 ). Portanto, se {a } uma base de F podemos encontrar elementos b G1 com 1 b = g0 1 a , e dena g por ga = b . Demonstrao. (Proposio 4.27:) Seja K = Z(K) Z como na demonstrao 4.24. Pelo lema 4.28 podemos encontrar z primeiro fn , ento fn+1 que fazem
Zn+1

Zn (K)
G 
z fn

proj

Hn K
n

0
G

Ln+1

fn+1

Zn L

proj

Hn L

comutativo. Ento f : K L, f |Z(K) = f z , f |Z = f uma aplicao de cadeia como queramos. Corolrio 4.29. Seja K, L complexos de cadeia livres. Ento K L HK HL. =

Demonstrao. Se : HK HL um isomorsmo, ele pode ser dado por uma aplicao de cadeia f : K L e f ento uma equivalncia de homotopia pela proposio 4.21. O inverso est contido no corolrio 4.8. Corolrio 4.30. Se K um complexo de cadeia livre e HK tambm livre ento K HK.

33

Captulo 5 Teoria da Homologia Singular

5.1 Simplexos Padro

Denio 5.1 (q-Simplexo Padro). Ao conjunto de todos os pontos x Rq+1 , onde Rq+1 denota o espao Euclidiano, tal que satisfazem: (a) 0 xi 1, i = 0, 1, . . . , q;
q

(b)
i=0

xi = 1;

onde {xi } so as coordenadas de x Rq+1 , denimos como sendo o q-simplexo padro e o denotamos por q . Claramente temos que q compacto (fechado e limitado). Alm disso, observemos que devido ao item (b) da denio acima 5.1, podemos substituir o item (a) desta por (a ) 0 xi , i = 0, 1, . . . q. Assim, podemos pensar em q como sendo a interseco do
q

hiperplano
i=0

xi = 1 com o quadrante positivo formado pelo conjunto dos xi 0.

Em particular, como a interseco nita de conjuntos convexos ainda um conjunto convexo (basta tomar dois pontos quaisquer na interseco e o resultado segue da convexidade de cada um) temos, que q convexo (todo seguimento cujas extremidades esto em q encontram-se em q ). Em dimenses mais baixas podemos facilmente retratar um q-simplexo padro, por exemplo, 0 um simples ponto, 1 um segmento (vide tabela 5.1) e 2 um tringulo equiltero (vide tabela 5.1). O 3-simplexo padro 3 seria um tetraedro regular e assim por diante.

34

5. Teoria da Homologia Singular Tabela 5.1: 1-simplexo padro e 2-simplexo padro.

x 1 D 1 x 1 x 2

1 e

1 e

2 e

1-simplexo padro.

0 e x 0

2-simplexo padro.

0 e x 0

Os pontos unitrios ej = (0, . . . , 0, 1 , 0, . . . , 0) de Rq+1 apresentados nas guras

j

acima, na tabela 5.1, esto em q e so chamados vrtices de q .

5.2

Aplicaes Lineares de q para Rn

Denio 5.2 (Aplicao Linear de q para Rn ). Uma aplicao f : q K Rn chamada linear se existe uma aplicao linear, no sentido usual, F : Rq+1 Rn tal que F |q = f . Desse modo, dados p0 , p1 , . . . , pq Rn pontos arbitrrios, ento existe uma nica
q

aplicao linear f : q Rn tal que f (ei ) = pi , a saber, f (x) =

q i=0

xi pi . A imagem
q

f (q ) consiste de todos os pontos p =

i=0

xi pi de Rn , com 0 xi 1 e
i=0

xi = 1.

Assim temos que as aplicaes lineares de q so completamente determinadas por seus valores nos vrtices e esses valores podem ser prescritos!

5.2.1

O Operador Face

Como visto na seo anterior, podemos determinar as aplicaes lineares de q para Rn simplesmente conhecendo os seus valores nos vrtices. Em particular, consideremos a seguinte aplicao linear: Denio 5.3 (Operador da j-sima Face). Uma aplicao linear j : q1 q tal q i que para cada e q1 , i = 0, . . . , q 1, temos j (ei ) = q ei , para i < j

ei+1 , para i j

5.3. O Complexo de Cadeia Singular

35

denominamos de operador da j-sima face do q-simplexo padro q . A imagem de j consiste de todos os pontos x q tal que xj = 0, e denominada q de j-sima face de q . Ainda, se tomarmos a unio das (q + 1) faces de q teremos o que chamamos de bordo de q , que ser denotado por q . Em outras palavras, o bordo de q consiste de todos os pontos x q com pelo menos uma de suas coordenadas igual a zero. Aproveitando o momento, notemos o seguinte lema que iremos usar na prxima seo. Lema 5.4. Se k < j temos que j k = k j1 . q+1 q q+1 q Demonstrao. De fato, veja que em ambos os lados da igualdade temos que ei ei para i < k, ei ei+1 para k i < j 1 e que ei ei+2 para i j 1.

5.3

O Complexo de Cadeia Singular

O nosso intuito nesta seo construir um funtor que leva espaos topolgicos em complexos de cadeia. Este funtor recebe o nome de complexo de cadeia singular.

5.3.1

Simplexos Singulares e Seus Grupos Abelianos Livres

Denio 5.5 (q-Simplexo Singular). Seja X um espao topolgico. Um q-simplexo singular de X uma aplicao contnua q : q X, para q 0. Assim, podemos considerar o conjunto formado por todos os q-simplexos singulares. Este conjunto gera um grupo abeliano livre, que ser denotado por Sq X, cujos elementos cq Sq X so chamados de q-cadeias singulares de X. Por denio, cada c Sq X tem uma nica representao como combinao linear nita de q-simplexos singulares q , c = cq q , com cq Z.

Observao 5.6. Na verdade, os coecientes cq tomados acima no precisam ser nmeros inteiros, podem pertencer a qualquer anel. No entanto, estamos intencionando nosso trabalho para estudarmos e desenvolvermos alguns resultados mais ao nal. Observao 5.7. Como em geral, no iremos fazer distino entre um simplexo singular e a cadeia c cujo nico coeciente diferente de zero c = 1. E tambm para q < 0 colocaremos Sq X = 0.

5.3.2

O Operador Bordo e o Complexo de Cadeia Singular

q

Denio 5.8 (Operador Bordo). Um homomorsmo q : Sq X Sq1 X tal que q (q ) =

j=0

(1)j (q j ), onde j : q1 q denota o operador da j-sima face q q

de q , vide 5.3, denimos como sendo o operador bordo.

36
q+1

5. Teoria da Homologia Singular

q

Proposio 5.9. A sequncia Sq+1 X Sq X Sq1 X um complexo de cadeia, i.e., q q+1 = 0, q. Este complexo de cadeia chamado complexo de cadeia singular de X e denotado por (SX, ). Demonstrao. Seja q+1 Sq+1 X. Ento,
q+1 q+1

q q+1 (q+1 ) = q
j=0 q+1 def.

def.

(1)
j

(q+1 j ) q+1 (1)

k

Lin.

(1)j q q+1 j q+1

j=0 q+1 q

def.

(1)
j=0 q

(q+1 j )k q+1 q

=
j=0 k=0 q

(1)j+k (q+1 j k ) = q+1 q (1)j+k (q+1 j k ) = q+1 q

5.4

k=0

=
jk

(1)j+k (q+1 j k ) + q+1 q

k=0 q
j>k

j0 5.4

jq+1

k=0 q ()

(1)
jk

j+k

(q+1 j k ) q+1 q

+
j>k

(1)j+k (q+1 k j1 ) = q+1 q

jq+1 k=0 q

k=0 q

j0 ()

(1)
jk

j+k

(q+1 j k ) q+1 q

+
kj

(1)j+k+1 (q+1 j k ) = q+1 q

j=0 kq

k=0

j0

= 0. () substituio na segunda soma de k por j e j 1 por k, ou equivalentemente j por k + 1. Logo, q q+1 = 0 para todo q + 1-simplexo singular pertencente a base de Sq+1 X, e portanto q q+1 = 0 para toda q + 1-cadeia singular pertencente a Sq+1 X. Como o ndice q Z que tomamos arbitrrio, terminamos.

5.3.3

A Aplicao de Cadeia

Dados f : X Y uma aplicao contnua entre espaos topolgicos e q : q X um q-simplexo singular de X ento temos que a composta f q : q Y um q-simplexo singular de Y , e assim temos um homomorsmo Sq f : Sq X Sq Y dado por (Sq f )(q ) = f q . Logo, podemos formular a seguinte proposio: Proposio 5.10. A sequncia de homomorsmos Sq f : Sq X Sq Y , com q Z, uma aplicao de cadeia.

5.4. Generalizao para Pares de Espaos Topolgicos Demonstrao. De fato, seja Sq X. Ento
q def. Y q (Sq f )() = def. Y q (f ) = j=0 q q

37

(1)

(f )j q

=
j=0

(1)j f (j ) = q

=f
j=0

(1)j j q

X X = f (q ) = (Sq1 f )q ().

Y X Como o ndice q Z tomado qualquer, temos que q (Sq f ) = (Sq1 f )q , q Z.

Assim, passaremos a denotar uma aplicao de cadeia entre dois complexos de cadeia singulares (SX, X ) e (SY, Y ) por Sf : SX SY . Proposio 5.11. Dados X Y Z aplicaes contnuas entre espaos topolgicos ento S(g f ) = (Sg) (Sf ) e S(idX ) = idSX . Demonstrao. Seja SX. Ento [S(g f )] () = (g f )() = g(f ()) = g(Sf ()) = (Sg)(Sf ()) = [(Sg) (Sf )] (). Agora tomemos idX : X X, ento [S(idX )] () = idX () = S(idX ) = idSX .
def. def. def. def. def. def. f g

Portanto, acabamos de mostrar que S um funtor de espaos topolgicos para complexos de cadeia, em notao, S :Top A G.

5.4

Generalizao para Pares de Espaos Topolgicos

Nesta seo vamos generalizar o que zemos anteriormente trabalhando agora sob pares de espaos topolgicos. Sejam (X, A) um par de espaos topolgicos e i : A X a aplicao incluso. Ento, temos que Si : SA SX um monomorsmo, pois Ker(Si) = {0}. Alm disso, Si uma aplicao de cadeia e temos portanto que Im(Si) = SA forma um subcomplexo de cadeia singular do complexo de cadeia singular (SX, ), no sentido apresentado na seo 3.1 e exemplo 3.4. Assim, podemos formar o complexo de cadeia singular relativo de (X, A), S(X, A), = SX , , onde denota o homomorsmo induzido no quociente SX pelo SA SA operador bordo de (SX, ).

38

5. Teoria da Homologia Singular

Seja Sj : SX S(X, A) a aplicao que atribui a cada elemento de SX a sua classe lateral em S(X, A). Ento Sj uma aplicao de cadeia, vide seo 3.1, e 0 SA SX S(X, A) 0
Si Sj

(5.1)

uma sequncia exata curta das aplicaes de cadeia Si e Sj. Alm disso, temos que esta sequncia 5.1 se fatora em todos os seus nveis, ou seja, temos que vale q Z que Sq X = Sq A Sq (X, A) (para a equivalncia dessas armaes vide a proposio 4.13 e a observao 4.14), pois se tomarmos a base {q : q X} de Sq X temos que ela se divide em duas partes: As dos q-simplexos padro que chegam em A X e a dos q-simplexos padro que no chegam em A X. Os q-simplexos padro que chegam em A formam uma base para Sq A e os que no chegam em A formam uma base para Sq (X, A). Notemos que com as construes que j zemos, temos que S(X, ), = SX, . Tambm, dado uma aplicao de pares f : (X, A) (Y, B), temos que ela induz um diagrama comutativo 0
G G

SA

S(f |A)

SX
G 
Sf

G S(X, A)  G
Sf

0
G

SB

SY

S(Y, B)

de aplicaes de cadeia com linhas exatas, onde a aplicao Sf obtida de Sf passando-se para os quocientes. Facilmente podemos ver que sequncias exatas curtas de complexos de cadeias singulares e suas aplicaes de cadeia formam uma categoria, que passaremos a denotar por S S. Alm disso, as propriedades postas na proposio 5.11 so transferidas para pares de espaos topolgicos. Portanto, podemos ver S como um funtor de pares de espaos topolgicos para sequncias exatas curtas de complexos de cadeias singulares, em notao, S :Top (2) S S.

5.5

A Homologia Singular

Denio 5.12 (Grupo de Homologia Singular). Os grupos de homologia singular de um espao topolgico X (resp. um par de espaos topolgicos (X, A)) so, por denio, os grupos de homologia do complexo de cadeia singular (SX, ) (resp. (S(X, A), )). Escrevemos HX = HSX (resp. H(X, A) = HS(X, A)). Os grupos de homologia singular H(X, A) so tambm chamados de grupos de homologia relativos de X mod A, em contraste com os grupos de homologia absolutos HX.

5.5. A Homologia Singular

39

Seja z SX. Dizemos que z um ciclo mod A se (z) SA. Dizemos tambm que z um bordo mod A se x SX e um y SA tal que z = (x) + y. Desse modo, temos que o grupo de homologia relativo Hq (X, A) ento o quociente do grupo de q-ciclos mod A pelo grupo de q-bordos mod A, em notao H(X, A) = Z(X, A) . B(X, A)

Seja f : (X, A) (Y, B) uma aplicao de pares. Ento temos que Sf : S(X, A) S(Y, B) uma aplicao de cadeia e logo induz homomorsmos em homologia Hf = f : H(X, A) H(Y, B). Portanto, isto transforma a homologia singular em um funtor de pares de espaos topolgicos para grupos abelianos graduados. Por denio, ele composto de S H Top (2) A G G A G. Consideremos agora a sequncia exata curta de aplicaes de cadeia, j construda anteriormente, Sj Si 0 SA SX S(X, A) 0. O homomorsmo de conexo : Hq+1 (X, A) Hq A chamado homomorsmo de conexo de (X, A), e a sequncia exata
Hq+1 A Hq+1 X Hq+1 (X, A) Hq A Hq X

chamada sequncia de homologia de (X, A). Ainda, dada f : (X, A) (Y, B) uma aplicao de pares ento Hq+1 A

(f |A)

G Hq+1 X 
f

Hq+1 (X, A)
G 
f

Hq A

(f |A)

G Hq X 
f

Hq+1 B

G Hq+1 Y

Hq+1 (Y, B)

G Hq B

G Hq Y

um diagrama comutativo com linhas exatas. Observao 5.13. O leitor j deve ter percebido que quase tudo o que zemos anteriormente neste trabalho para complexos de cadeia e homologia, foi transferido para o nvel singular. Falta agora, mostrarmos a sua invarincia por homotopia, ou seja, que uma homotopia no nvel de espaos topolgicos induz uma homotopia de cadeia no nvel singular. Faremos isso no prximo captulo. Observao 5.14. Podemos estender tudo o que zemos at agora para triplas de espaos topolgicos (X, A, B). Porm esta noo no ser utilizada neste trabalho.

40

5. Teoria da Homologia Singular

5.6

Algumas Aplicaes e Casos Especiais

Vamos agora estudar algumas aplicaes e alguns casos especiais da homologia singular. Seja P Rn um nico ponto. Vamos encontrar quem o grupo de homologia singular de P , HP . Como P Rn um nico ponto, para cada q 0, temos que ! q-simplexo singular q : q P , a saber, q (x) = P, x q Rq+1 . Logo, os grupos abelianos livres Sq P gerados pelos q sero formados apenas por mltiplos de q , portanto, para cada q 0, temos que Sq P A, onde A o anel dos escalares que multiplicam q em Sq P . = Como estamos admitindo A = Z neste trabalho, esses grupos abelianos livres sero todos isomorfos a Z. Precisamos ainda saber quem ser o operador bordo entre esses grupos. Por denio, temos que
q q

q (q ) =
j=0

(1)

() q j = q j=0

(1)j q1 , para q > 0.

() pois q j pertence a base de Sq1 P = [q1 ]. q Sendo assim, temos dois casos a considerar: 1o Caso: Se q > 0 for mpar.
q

q (q ) =
j=0

(1)j q1 =

q+1 2

parcelas de q1 +

q+1 2

parcelas de q1 = 0 q 0.

2o Caso: Se q > 0 for par.

q

q (q ) =
j=0

(1)j q1 =

q q + 1 parcelas de q1 + 2 2

parcelas de q1 = q1 q = idZ .

Logo, o complexo de cadeia singular (SP, )

3 1 0 Z Z Z Z Z Z Z 0

4 =id

2 =id

Logo, H0 P = Z Z 0 = Z, Hi P = = 0, para i > 0 mpar e Hi P = = 0, para i > 0 par e i < 0. 0 Z 0 (5.2)

Portanto, HP = (Z, 0). Denio 5.15 (Homomorsmo Aumento). Sejam X um espao topolgico e : X P , onde P denota um nico ponto, uma aplicao constante. Ento, temos que induz X um homomorsmo em homologia = : HX HP que recebe o nome aumento.

5.6. Algumas Aplicaes e Casos Especiais Vejamos que se f : X Y uma aplicao contnua, temos que HX
X

41

G {
Y

HY

HP

Y X um diagrama tal que f = (Naturalidade de ). Em particular, as aplicaes = f |Ker( X ) levam o Ker( X ) no Ker( Y ). Assim, podemos ver os grupos Ker( ) f como funtores da categoria dos espaos topolgicos para a categoria dos grupos abelianos graduados, e assim denimos:

Denio 5.16. Os grupos H q X = Ker( : Hq X Hq P ) so chamados de grupos de homologia reduzida de X.

Observe que pelo exemplo anterior, relao 5.2, temos que HP = (Z, 0) e assim temos que se q = 0 ento H q X = Hq X. E o que acontece no nvel q = 0? Notemos que se X = ento qualquer aplicao : P X uma inversa direita para , pois ( )(P ) = ( (P )) = P = idP , e assim, esta composio induzida em homologia tal que = id. Portanto, para q = 0 temos que 0
G

H 0X

H0 X l

H0 P

G0

uma sequencia exata curta que se fatora em todos os seus nveis, e portanto, H0 X = Im( )0 Ker( )0 = ZH 0 X, ou seja, no nivel zero, a homologia reduzida e no-reduzida se diferem apenas por uma soma direta de Z. Alm disso, se tomarmos a sequncia exata do par (X, P ),
0 H0 P H0 X H0 (X, P ) 0

teremos que H0 X = Im( )0 Im(k )0 = Z H0 (X, P ), e pelo que obtivemos anterior mente e agora, temos que k : H 0 X H0 (X, P ). = Tomemos agora (X, A) um par de espaos topolgicos com A = . Ento, temos as aplicaes de pares (X, A) (P, P ) (X, A), tal que = id(P,P ) . Do mesmo modo como anteriormente, esta ltima relao induzida em homologia tal que = id, e assim, tomando as sequncias longas de homologia dos pares de

42 espaos (X, A) e (P, P ) obteremos . . .



5. Teoria da Homologia Singular

. . .
 G

(X,A)

. . .
F 

H i+1 (X, A)
G

Hi+1 (X, A) n

Hi+1 (P, P )
E 

0
G

0
G

H i (A) H i (X)
 G  G

Hi (A) l

Hi (P )
E  G

0
G

Hi (X) m

Hi (P )
 G

H i (X, A)
G

(X,A)

Hi (X, A) m

Hi (P, P )
E  

0
G

H i1 (A) . . .


G Hi1 (A) m

Hi1 (P ) . . .

. . .

que um diagrama com linhas e colunas exatas. Observe que claramente temos que Hi (P, P ) = 0, e portanto, H i (X, A) Hi (X, A). Assim = Proposio 5.17. Se (X, A) um par de espaos com A = , ento temos uma sequncia exata
j j i i Hq+1 A Hq+1 X Hq+1 (X, A) Hq A Hq X

que chamada sequncia de homologia reduzida de (X, A). O nome aumento que usamos para denir a aplicao tambm frequentemente usado para nomear a aplicao de cadeia = X : SX (Z, 0), que leva cada zero simplexo singular 0 em 1 Z. Esta aplicao no entanto, est intimamente relacionada com , pois temos que X = P X . Alm disso, a aplicao P : SP (Z, 0) claramente uma equivalncia de homotopia. Observemos tambm que Ker( ) = Ker( ) = H X. Portanto, o perigo de confundir os dois aumentos e no to grave. Observao 5.18. Na literatura, o nome ndice tambm usado para a aplicao de cadeia . J mostramos anteriormente que os grupos de homologia singular de um nico ponto so tais que HP = (Z, 0). Assim, claramente temos que H P = Ker( ) = Ker( ) = 0.

5.6. Algumas Aplicaes e Casos Especiais

43

Consideremos agora conjuntos convexos de Rn . Vamos mostrar que sua homologia reduzida se revela ser igualmente trivial.

Proposio 5.19. Se X = um subespao convexo do espao Euclidiano Rn ento o aumento : SX (Z, 0) uma equivalncia de homotopia. Em particular temos que HX = 0.

Demonstrao. O mtodo da demonstrao que faremos conhecido como construo cone e nos basearemos no livro 2. Seja P X. Para cada q : q X, q 0, denamos (P q ) : q+1 X tal que P x0 P + (1 x0 )q
xq+1 x1 , . . . , 1x0 1x0

(P q )(x0 , . . . , xq+1 ) =

, se x0 = 1 , se x0 = 1

(5.3)

Isto dene homomorsmos Pq : Sq X Sq+1 X tal que Pq (q ) = P q . Se pensarmos intuitivamente, temos que P q obtido pela projeo de q a partir do novo vrtice P , ou ainda, pela ereo do cone com vrtice P sobre q (por isso o nome construo cone para este mtodo de demonstrao). Veja a gura abaixo:

Figura 5.1: Projeo de sobre P .

P s

Recordemos que j : q q+1 , e ento faz sentido calcularmos (P q )j : q+1 q+1 q X, e isso o que faremos agora: (P q )j (x0 , . . . , xq ) = (P q )(x0 . . . , xj1 , 0, xj , . . . , xq ). q+1 Vejamos que se j = 0, temos que (P q )(0, x0 . . . , xq ) = q (x0 , . . . , xq ).
def. def.

44
def.

5. Teoria da Homologia Singular Se q = 0 e j = 1, temos que (P q )(x0 , 0) = P . E se q > 0 e j > 0 temos que (P q )(x0 . . . , xj1 , 0, xj , . . . , xq ) =
def. def.

x1 xj1 xj xq ,..., , 0, ,..., 1 x0 1 x0 1 x0 1 x0 x1 xq def. j1 ,..., = = x0 P + (1 x0 )(q q ) 1 x0 1 x0 = x0 P + (1 x0 )q

def. j1 = [P (q q )](x0 , . . . , xq ).

Se ns denirmos agora uma aplicao de cadeia P : (Z, 0) SX dada por P (m) = mP , podemos ento expressar o resultado que obtivemos acima como segue:

(P q )0 = q , (P q )j+1 = P (q j ) para q > 0 e (P 0 )1 = (P )(0 ). q+1 q+1 q q+1 (5.4) Tomando somas alternadas em 5.4 obtemos q+1 Pq = id Pq1 q , para q > 0, e 1 P0 = id (P )0 , ou seja, {Pq } uma homotopia id Corolrio 5.20. Se Y Hq (Rn , Y ) Hq1 Y . = P . Claramente P = id. Rn qualquer subespao no-vazio ento :

Demonstrao. Basta construirmos a sequncia de homologia reduzida 5.17 de (Rn , Y ), e como H Rn = 0, pela proposio anterior 5.19, o resultado segue.

45

Captulo 6 Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias

Nesta seo vamos unir as ideias de homotopia de aplicaes contnuas entre espaos topolgicos e homotopia de aplicaes de cadeias. Para comear, vamos recordar que duas aplicaes contnuas entre espaos topolgicos f, g : X Y so homotpicas, se existe uma deformao : X [0, 1] Y tal que 0 = f e 1 = g. Do mesmo modo temos para aplicaes de pares entre pares de espaos topolgicos. O principal resultado que queremos provar neste captulo o que segue: Teorema 6.1. Sejam f, g : (X, A) (Y, B) aplicaes de pares entre pares de espaos topolgicos. Se f e g so homotpicas ento as aplicaes de cadeia Sf, Sg : S(X, A) S(Y, B) tambm o so. Antes de o demonstramos, pois precisaremos de outros resultados que vamos ainda desenvolver, notemos trs corolrios importantes que podemos extrair do mesmo. Corolrio 6.2. Se f, g : (X, A) (Y, B) so aplicaes de pares homotpicas ento f = g : H(X, A) H(Y, B). Demonstrao. Como f e g so aplicaes homotpicas, pelo teorema anterior 6.1 temos que as aplicaes de cadeia Sf e Sg tambm so homotpicas. Como j mostramos que aplicaes de cadeia homotpicas induzem o mesmo homomorsmo em homologia, vide 4.7, terminamos. Corolrio 6.3. Se (X, A) (Y, B) ento H(X, A) H(Y, B). =
f f

Demonstrao. Como (X, A) (Y, B), temos que (X, A) (Y, B) (X, A) so equivalncias de homotopia recprocas, ou seja, existem aplicaes f : (X, A) (Y, B) e f : (Y, B) (X, A) tais que f f id(Y,B) e f f id(X,A) , e pelo corolrio anterior 6.2, temos que f f = id = id e f f = id = id, e portanto, em particular, f : H(X, A) H(Y, B) um isomorsmo.

46. Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias 6 Corolrio 6.4. Se X contrtil, X P , ento HX = 0.

Demonstrao. Ora, podemos incorporar a categoria Top na categoria Top (2) e ver X como o par de espaos (X, ) e P como o par de espaos (P, ). E assim, pela hiptese, teremos que (X, ) (P, ), o que implica que H(X, ) H(P, ), pelo corolrio anterior 6.3. Como = H (P, ) =H (P ) = 0, segue que H X =H (X, ) = 0. Podemos ilustrar o que estamos construindo, e o que j construmos, com o seguinte diagrama comutativo de funtores: Top
S

A G
H

GX A G
H

Htp

H G

onde denota a passagem para classes de homotopia. O teorema 6.1 arma que a seta tracejada S existe. A proposio 4.7 mostra que a seta H existe. O corolrio 6.2 somente diz que (H S) existe e 6.3 comenta que H S leva equivalncias em equivalncias (como qualquer funtor faz). Um fato interessante, e que no entraremos em detalhe, que se f : (X, A) (Y, B) uma equivalncia de homotopia ento tambm so f : X Y e f |A : A B. A recproca desta armao no verdadeira. Um contra-exemplo dado tomando X = 1 Y = [0, 1], A = {0} {1}, B = [0, 1] { 2 } e f =incluso. No entanto, no nvel de cadeia, essa recproca verdadeira, vide proposio 4.21. Ento vamos agora caminhar para demonstrarmos o teorema 6.1. Para a sua prova, vamos precisar de um resultado importantssimo cuja demonstrao devida a Eilenberg-MacLane (por volta de 1953). E alm disso, essa prova cou conhecida como tpica do mtodo dos modelos acclicos, criado por eles. Vejamos: Teorema 6.5. Se F 0 , F 1 : SX S(X [0, 1]) so aplicaes de cadeia naturais tais que as duas composies S0 S(0 [0, 1]) (Z, 0) coincidem ento existe uma homotopia natural s : F 0 F 1 . A naturalidade de = F 0 , F 1 , ou s, signica que denida para todos os espaos X e que SX

h F 0 ,F 1

S(X [0, 1])

G 
hid

(6.1)

SX

S(X [0, 1])

6. Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias 47 comuta para toda aplicao contnua h : X X.

Demonstrao. Queremos mostrar que satisfazendo-se as hipteses dadas, existe uma homotopia natural s entre F 0 e F 1 que por denio uma sequncia de homomorsmos sq : Sq X S(X[0,1]) SX Sq+1 (X [0, 1]) tal que q+1 sq + sq1 q = Fq0 Fq1 , q J Z. Suponhamos indutivamente que j encontramos sk : Sk X Sk+1 (X [0, 1]) com k+1
S(X[0,1]) 1 0 SX sk + sk1 k = Fk Fk para k < q.

(6.2)

Consideremos agora o complexo de cadeia singular Sq , onde q denota o q-simplexo padro, e seja idq Sq (q ) a aplicao identidade de q . Agora calculamos:

S S( q q [0,1]) Fq0 idq Fq1 idq sq1 q q idq = S( S S( S( = q q [0,1]) Fq0 idq q q [0,1]) Fq1 idq q q [0,1]) sq1 q q idq = 0 S 1 S S( = Fq1 q q idq Fq1 q q idq q q [0,1]) sq1 6.2 S q q idq = S 6.2

0 S 1 S 0 1 = Fq1 q q idq Fq1 q q idq Fq1 Fq1 sq2 q1q S 0 1 q q idq Fq1 Fq1

S q q idq = S

0 1 = Fq1 Fq1

S S q q idq + sq2 q1q q q idq =

= 0 + 0 = 0. Assim, temos que Fq0 idq Fq1 idq sq1 q Se q = 0, temos que
S 0 1 0 F0 id0 F0 id0 s1 0 0 id0 = 0 0 1 F0 F0 id0 0 id = Sq

idq um q-ciclo.

0 1 0 1 = 0 (F0 F0 )(id0 ) = 0 F0 0 F0 (id0 ) =

= 0, pois F 0 = F 1 por hiptese.

S 0 1 Logo, F0 id0 F0 id0 s1 0 0 id0 um bordo, pois q [0, 1] convexo, vide S( [0,1]) proposio 5.19, ou seja, existe b Sq+1 (q [0, 1]) com q+1 q b = Fq0 idq Fq1 idq S sq1 q q idq .

Agora dena sq : Sq X Sq+1 (X [0, 1]) tal que sq (q ) = (q id)b, onde q : q X varia sobre todos os q-simplexos singulares de X. Vamos agora vericar a naturalidade de 6.1 e a frmula 6.2 para k = q.

48. Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias 6 Seja q : q X . Ento (h id)sq q = (h id)(q id)b = (hq id)b = sq (hq ) = (sq h)q . O que prova a naturalidade. Alm disso, q+1
S(X[0,1]) def. def. def.

sq q = q+1

S(X[0,1])

(sq q ) = q+1

def.

S(X[0,1])

(q id)b = (q id)q+1

S(X[0,1])

b=

SX = (q id) Fq0 idq Fq1 idq sq1 q idq = SX = Fq0 q idq Fq1 q idq sq1 q q idq = SX = Fq0 q Fq1 q sq1 q q idq = SX = Fq0 Fq1 sq1 q q ,

o que prova a frmula 6.2. Vamos ento demonstrar o teorema 6.1. Demonstrao. (Demonstao do teorema 6.1:) Para cada espao topolgico X, tomemos as incluses F t : X X [0, 1] tal que F t (x) = (x, t), 0 t 1. Como essas incluses so contnuas, temos que elas denem aplicaes de cadeia naturais F t : SX S(X [0, 1]). Observe que a sequncia de aplicaes de cadeia S0 S(0 [0, 1]) (Z, 0), com 0 t, k 1 tal que q Fqt = q Fqk , q J Z e 0 t, k 1, pois Para q = 0:
t k 0 F0 (0 ) = 0 (0 , t) = 1 = 0 (0 , k) = 0 F0 (0 ), t, k [0, 1]. F t ,F k

(6.3)

Para q = 0: q Fqt (q ) = q (q , t) = 0 = q (q , k) = q Fqk (q ), t, k [0, 1]. Em particular, a relao 6.3 continua vlida para t = 0 e k = 1. Logo, pelo teorema 6.5 existe uma homotopia natural s : F 0 F 1 .

6. Teoria da Homotopia entre Espaos Topolgicos e Homotopia de Cadeias 49 Se A X um subespao, ento F t |A : A A[0, 1] ainda contnua, F t |A(SA) S(A[0, 1]) e pela naturalidade de s temos que s(SA) S(A[0, 1]). Assim, passando-se para quocientes obtemos F t : S(X, A) S(X [0, 1], A [0, 1]) e s : F 0 Consideremos agora uma homotopia : f que F t e so tais que
Ft

F 1.

g, como em nossa hiptese. Assim temos

(X, A) (X [0, 1], A [0, 1]) (Y, B) e assim, t = F t . Logo, passando-se para quocientes temos que t = F t : S(X, A) S(Y, B). Portanto, Sf = 0 = F 0 F 1 = 1 = Sg .

51

Referncias Bibliogrcas
[1] Brown, Robert F., The Lefschetz Fixed Point Theorem, Scott Foresman Company, 1971. [2] Dold, A., Lectures on Algebraic Topology, Springer Verlag, no 200, 1980. [3] Galves, A. P. T., O Teorema de Lefschetz-Hopf e sua relao com outros teoremas clssicos da topologia, Dissertao (Mestrado em Matemtica)- Instituto de Biocincias, Letras e Cincias Exatas, UNESP, So Jos do Rio Preto, 2009. [4] Garcia, A., Lequain, Y., Elementos de lgebra, Projeto Euclides, 5a ed., IMPA, Rio de Janeiro, 2010. [5] Jacobson, N., Basic Algebra I, W. H. Freeman Company, 1985. [6] Lang, S., Estruturas Algbricas, Ao Livro Tcnico S.A., Rio de Janeiro, 1972. [7] Homan, K. M., Kunze, R. A., lgebra Linear, Livros Tcnicos e Cientcos, 2a ed., Rio de Janeiro, 1979. [8] Maunder, C. R. F., Algebraic Topology, Van Nostrand Rinhold Company, London, 1970. [9] Miranda J., Tavares G., Mtodos Simpliciais em Computao Grca, 17o Colquio Brasileiro de Matemtica, Rio de Janeiro, 1989. [10] Monteiro, L. H. J., Elementos de lgebra, Ao Livro Tcnico S.A., Rio de Janeiro, 1969. [11] Penteado, Dirceu, Clculos de Homologia e Cohomologia Simplicial, Notas do mini curso da Reunio Regional da SBM, na UFSCar, abril de 1995.