Oziride Topologia Brasil OTIMO

XVII Encontro Brasileiro de Topologia
PUC - Rio de Janeiro, Agosto de 2010
Mini-curso: Ns (e Enlaamentos)
Oziride Manzoli Neto

Departamento de Matemtica
Instituto de Cincias Matemticas e de Computao
Universidade de So Paulo
So Carlos(SP)
Sumrio
1 Introduo
1.1 Histria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Contedo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Teoria Clssica de Ns (e Enlaamentos)
2.1 Introduo . . . . . . . . . . . . . . . . .
2.2 Nmero de enlaamento . . . . . . . . .
2.3 Invariantes de Ns (e Enlaamentos) . .
2.4 Construindo Ns (e Enlaamentos) . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
4
4
7
8
15
3 Teoria Multidimensional (de Ns e Enlaamentos)

18
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 S 2 em S 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Enlaamentos (de esferas ou de superfcies) em S 4 . . . . . . . . . . . . . . . . . 22
4 Mergulhos de Variedades em Variedades
4.1 O crculo S 1 em R2 e em S 2 . . . . . . . . . . . .
4.2 O crculo S 1 no toro T 2 . . . . . . . . . . . . . . .
4.3 Superfcies em R3 (ou S 3 ) . . . . . . . . . . . . .
4.4 O cilindro e a Faixa de Mbius em R3 . . . . . . .
4.5 RP2 no mergulha em R3 . . . . . . . . . . . . . .
4.6 O Teorema do toro de Alexander e generalizaes
A Pr-requisitos
A.1 O bsico de Categorias e Funtores . . . .
A.2 O bsico de Superfcies (e Variedades) .
A.3 O bsico de Homotopia . . . . . . . . . .
A.4 O bsico sobre Espaos de Recobrimento
A.5 O bsico de Algebra Homolgica . . . . .
A.6 O bsico de Homologia . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
23
24
25
27
27
.
.
.
.
.
.
29
29
31
34
38
39
43
Lista de Figuras
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
2.11
2.12
2.13
2.14
2.15
N Selvagem . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Movimentos de Reidemeister . . . . . . . . . . . . . . . . . . .
Ns equivalentes e no equivalentes . . . . . . . . . . . . . . .
O n Figura 8 Aquiral . . . . . . . . . . . . . . . . . . . . .
Nmeros de enlaamentos . . . . . . . . . . . . . . . . . . . .
Tricolorao compatvel com Movimentos de Reidemeister .
Ser que este enlaamento e este n so colorizveis? . . . . .
Clculos do determinante . . . . . . . . . . . . . . . . . . . . .
Ponto de cruzamento do diagrama do n . . . . . . . . . . . .
Relaes possveis em cada cruzamento . . . . . . . . . . . . .
Calculo do Polinmio de Alexander do n do ICMC-USP (923 )
Soma de dois ns . . . . . . . . . . . . . . . . . . . . . . . . .
Soma conexa (ambiental?) . . . . . . . . . . . . . . . . . . . .
Soma conexa ao longo de faixa f . . . . . . . . . . . . . . . .
N satlite ou iterado . . . . . . . . . . . . . . . . . . . . . . .
3.1
3.2
3.3
Esfera com Chifres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

Rotao em R4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Torcendo ao rodar em R4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.1
4.2
4.3
4.4
4.5
Superficies em R3 . . . . . . . .
Bitoro em S 3 . . . . . . . . . .
Cilindro e Faixa de Mbius - I .
Cilindro e Faixa de Mbius - II
Cilindro e Faixa de Mbius-III .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
5
6
7
7
9
9
11
12
13
14
15
15
16
16
24
25
25
26
26
Captulo 1
Introduo
1.1
Histria
O estudo dos ns (com uma boa formalizao) comea com [Gauss] em 1833. Ele e alguns de seus
alunos comeam estudar o assunto, focalizando enlaamentos, pois o interesse era o nmero de
enlaamento (linking number) de um lao (link). Seus estudos tinham como objetivo aplicaes
na eletrodinmica.
Lord Kelvin, como muitos de sua poca, acreditava que os ns eram a chave para o entendimento das substncias qumicas, que seriam descritas pelas formas dos ns. Tabelando-se os
ns ter-se-ia uma descrio das substncias qumicas. Comea ento uma corrida para se obter
tabelas de ns, cada vez mais complexos, isto , cada vez com mais cruzamentos.
A primeira tabela de ns foi feita por T. P. [Kirkman].
P. G. [Tait] tambm faz uma tabela dos ns alternados de at dez cruzamentos.
E. Rutherford e D. Mendeleev pem fim a esta animao, Rutherford cria o modelo dos tomos, que at hoje utilizamos e a nfase na pesquisa dos elementos qumicos muda para a Tabela
Peridica organizada por Mendeleev. Praticidade para os qumicos, frustrao para os matemticos, que continuam os estudos de ns, sem mais a esperana de que os mesmos poderiam
estar descrevendo os elementos qumicos. Estudar ns torna-se ento trabalho "abstrato"para
os matemticos.
C. N. Little pega no pesado durante seis anos e produz tabela de 43 ns no alternados de
dez cruzamentos. Sua tabela no foi contestada por muito tempo, em 1974, Perko descobriu que
dois ns da tabela de Little eram o mesmo [Perko]. Portanto na lista de Little s havia 42 ns
diferentes. Little tambm fez uma tabela de ns alternados de onze cruzamentos, eventualmente
se descobriu a falta de outros onze ns. Era preciso um pouco de ordem neste trabalho!
A Topologia comeou a ser reconhecida como rea distinta da Matemtica no inicio do
sculo 20 e seu grande desenvolvimento comeou na dcada de 1930. Tem sido uma rea de
muito desenvolvimento e tem influenciado muitas outras reas da matemtica. Ela comea em
resposta a certas necessidades dentro da Anlise. uma espcie de "geometria rstica". As
idias da Topologia tem penetrado quase todas as reas da matemtica e na maioria dessas
aplicaes ela fornece ferramentas e conceitos para provar certas proposies bsicas conhecidas
genericamente como "teoremas de existncia". Os primrdios das idias topolgicas podem ser
encontrados no trabalho de K. Weierstrass na dcada de 1860 no qual ele estuda o conceito
de limite de uma funo. Ele desenvolve a construo do sistema de nmeros reais e revela
algumas de suas propriedades importantes conhecidas agora como propriedades topolgicas.
Depois vem G. Cantor (1874-1895) que desenvolveu a Teoria dos Conjuntos garantindo os
fundamentos para a Topologia. Um segundo aspecto da Topologia, chamado combinatorial ou
algbrico, foi iniciado nos anos 1890 por H. Poincar estudando calculo integral em dimenses
1
CAPTULO 1. INTRODUO
altas. O primeiro aspecto, normalmente chamado Topologia Geral (point set topology), foi
fundamentada por F. Hausdorff e outros no perodo 1900-1910. A compatibilizao dos dois
aspectos, geral e combinatria, foi estabelecida primeiro por L. E. J. Brouwer, quando o mesmo
desenvolveu o conceito de dimenso e depois, definitivamente, por J. W. Alexander, P. L.
Alexandrov e S. Lefschetz no perodo 1915-1930. At este perodo, Topologia era conhecida por
"Analisys Situs". Foi S. Lefschetz quem primeiro popularizou o nome Topologia.
Fruto desta sistematizao da topologia, ou seja, surgem os primeiros trabalhos apresentados de forma sistemtica sobre Teoria dos Ns, Enlaamentos e sobre os Grupos de Tranas
veja [Dehn(1910)], [Dehn(1914)], [Alexander(1923)], [Alexander(1928)], [Reidemeister(1926)],
[Reidemeister(1926)] e [Artin(1926)].
No inicio desta era, M. G. Haseman, listou os ns equivalentes aos seus espelhados (aquirais)
(achiral - amphicheiral) , com doze cruzamentos [Haseman].
J. Alexander e G.B. Briggs, usando uma forma de apresentar os ns criada por W. Wirtinger,
estabelece um procedimento muito eficiente de distinguir ns, a idia era calcular o que ficou
chamado Polinmio de Alexander de um n. Polinmios diferentes, ns no equivalentes! S
em 1984 que se criaram outros tipos de polinmios com o mesmo objetivo.
Comea o estudo de ns em dimenso mais alta, isto , o estudo dos mergulhos das esferas
de dimenso n 2 em esferas de dimenso maior que n, veja [Artin(1926)].
J. Alexander (1927) estabelece lista dos ns at oito cruzamentos, K. Reidemeister (1932)
at nove cruzamentos, C.D. Papakyriakopoulos e J. Conway desenvolvem mtodos mais simplificados de se calcular os Polinmios de Alexander.
J. Conway [Conway] desenvolve nova notao para ns e com isso determina os ns primos
de at onze cruzamentos. A. Caudron(1978) repara alguns erros na lista de Conway.
C. H. Dowker inventa uma nova forma de representar ns, baseado em idias de Tait. Um
algoritmo feito e implementado em computador por M. B. Thistlethwaite. Assim obtm-se
em 1981 lista de ns primos de at doze cruzamentos e em 1982 de treze cruzamentos.
Em 1987, C. Ernest e D. W. Sumners usando resultados de L. H. Kauffman, K. Murasugi e de
Thistlethwaite avaliam que o nmero de ns de n cruzamentos maior ou igual a (2n21)/3.
Em 1990, D. J. A. Welsh avalia que o nmero de ns de n cruzamentos menor que uma certa
funo de n.
Na dcada de 1980 bioqumicos descobriram enodamentos nas molculas de DNA! Surgem
questes como: "Seria possvel criar molculas enodadas?"; "Enodamentos poderiam determinar algumas das propriedades das substncias? "Molculas enodadas que no so topolgicamente equivalentes s espelhadas do origem substncias diferentes?".
Na teoria clssica de ns e enlaamentos surgem muitos invariantes, particularmente vrios
outros polinmios, veja [Kauffman(1988), Kauffman(1989)].
Trabalhos recentes mostram que o estudo de ns tem produzido conhecimento matemtico
valioso, relacionando a Teoria de Ns e Enlaamentos com outras reas de conhecimento como:
Teoria Topolgica de Campos e Mecnica Estatstica na Fsica, o estudo do DNA na Biologia
e o estudo das estruturas tridimensionais das molculas (stereochemistry) na Qumica, veja
muita coisa interessante sobre isto em [Flapan]. Voce poder ver tambm uma foto de uma
molcula enodada de DNA em [Wasserman et al.].
O estudo de mergulhos de variedades em variedades uma generalizao natural destes
estudos, assim como o estudo de mergulhos de grafos em R2 ou em R3 .
CAPTULO 1. INTRODUO
1.2
Contedo
Para fazer justia ao nome do mini-curso e preciso apresentar uma boa viso sobre Ns e
Enlaamentos. Veremos desde o comeo que precisamos de muitas ferramentas da topologia e da
algebra para estudar este assunto. Procuraremos portanto apresentar no apndice, o suficiente
(espero sem exagero!) destas ferramentas para o bom entendimento do curso. Devemos lembrar
que estes pr requisitos so muito teis tambm para se estudar muitos outros assuntos. O
participante do curso no precisa ver os detalhes destas ferramentas durante o curso mas uma
grande oportunidade de ter um contato com elas. Portanto, se houver tempo, no deixe de dar
uma boa olhada nos pr requisitos, e tirar dvidas durante as aulas, esse material, tambm,
est bem resumido e incompleto mas muito interessante e til.
Alm da teoria clssica de ns e enlaamentos, sobre o que j temos, em portugus, um
texto muito bom do Derek [Hacon], queremos apresentar um bocadinho da correspondente
teoria multidimensional, tudo dentro do contexto mais geral de mergulhos de variedades em
variedades. Esperamos com isso que o participante possa ter uma boa idia desta parte to
importante da matemtica. Alm deste captulo introdutrio, teremos no capitulo 2 um pouco
da teoria clssica de ns e enlaamentos, no capitulo 3 tambm um pouco da teoria
multidimensional de ns e enlaamentos, no captulo 4 apresentamos alguns casos de
mergulhos de variedades em variedades, no apndice, temos os pr-requisitos, que incluem um pouco da linguagem de categorias, de algebra homolgica, de homotopia, de espaos
de revestimento, de superfcies, de variedades e de homologia.
A maioria dos resultados sero s enunciados ficando as demonstraes para serem vistas
nas referencias. Algumas provas sero apresentadas para se ter uma idia das dificuldades e
de se ver uma forma de abord-las. Claro que na maioria das referncias, principalmente nos
livros, podemos encontrar quase todos os assuntos aqui abordados, a minha preferncia pessoal
determinou o que citar em cada caso. Pode ser que a citao no seja a mais adequada para
o gosto de cada um, por isso bom que cada um procure olhar vrios textos at achar o que
mais lhe agrada para estudar numa primeira leitura.
Ns e Enlaamentos esta bastante relacionada com os Grupos de Tranas. No abordaremos
este assunto aqui, sobre isto temos vrios textos interessantes em particular temos disponvel
no site do XV Encontro Brasileiro de Topologia - Rio Claro (2006) o texto do mini-curso "the
braid groups"ministrado naquele encontro pelo Professor Dale Rolfsen [Rolfsen(2006)]. Nas
notas do mini-curso existe uma bibliografia sobre o assunto e sugesto de vrios textos para
leitura.
As perguntas e os exerccios, sugeridos no texto, nem sempre so fceis. Acho que alguns
eu no sei responder ou se sei responder no tenho certeza se teria uma boa prova, no entanto
no resisto a tentao de apresent-los.
Tambm no abordamos neste curso a questo do mergulhos de objetos mais gerais (do que
variedades), como o caso do mergulhos de grafos em R2 ou R3 , apenas usamos um resultado
sobre mergulhos de grafos para provar que o espao projetivo no mergulha em R3 .
Em outras reas da matemtica, questes semelhantes so estudadas, por exemplo os teoremas de Sylow estudam os "mergulhos"de certos sub-grupos mais simples (os p-grupos), dentro
de um grupo dado. Estuda-se tambm se certos fibrados vetoriais sobre espao topolgico X
so sub-fibrados de outros fibrados sobre X, de dimenso maior.
Captulo 2
Teoria Clssica de Ns (e Enlaamentos)
2.1
Introduo
Sobre este assunto temos o livro do Derek [Hacon], apresentado no dcimo quinto Colquio
Brasileiro de Matemtica, que muito gostoso de ler e estudar, por isso sempre que possvel
estaremos fazendo referncia a ele.
Estudamos neste captulo a classificao de certos mergulhos do crculo S 1 (ns), ou reunio disjunta de vrios crculos (enlaamentos) em R3 ou S 3 . No preciso discutir sobre
a existncia destes mergulhos pois existe pelo menos o mergulho padro, dado por S 1 =
{(cos(), sen(), 0) R3 , com [0, 2)} ou se pretendemos ver o mergulho como uma
funo definimos f : S 1 , R3 por f () = (cos(), sen(), 0). Neste caso estamos olhando S 1
com o intervalo [0, 2] onde identificamos os seus extremos, outras vezes olharemos S 1 como o
circulo unitrio nos complexos, isto um ponto ser da forma ei. . Estaremos tambm olhando
S 3 como a compactificao de R3 e fcil ver que existe uma bijeo natural entre os mergulhos
("mansos") do crculo em S 3 e em R3 , por isso, vamos abusar ainda mais da notao, usaremos
algumas vezes a notao M 3 para designar indistintamente S 3 ou R3 . Gostaramos de dizer
tambm que estamos trabalhando na categoria dos espaos topolgicos e aplicaes contnuas
mas temos um problema srio a, a existncia de ns selvagens. Vejam abaixo um exemplar
desta espcie no to rara!!.
Figura 2.1: N Selvagem

Se voce gosta de emoo forte e esta interessado em ns selvagens veja [Milnor] e [Brode].
Aqui estamos interessados em ns e enlaamentos mansos ("no selvagens"), que incluem os
diferenciveis, os diferenciveis por partes, os lineares por partes (PL), os de colarinho duplo,
etc. Estaremos portanto nos restringindo ns e enlaamentos nestas categorias.
Em geral os ns e enlaamentos so colocados em classes de equivalncia e se estuda estas
4
CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)
classes. Quando nada se explicitar, estaremos considerando a relao de equivalncia dada por
isotopia ambiental, isto :
Definio 2.1 Sejam i0 , i1 : S 1 , M 3 dois ns, dizemos que i0 ambientalmente isotpico a
i1 , se existe uma PL-deformao (isotopia que se inicia na identidade), H : M 3 I M 3 I,
dada por H(y, t) = (ht (y), t), onde h0 = idM 3 e i1 = h1 i0 .
A definio desta equivalncia para enlaamentos similar acima, por isso no a apresentamos.
Intuitivamente o que a isotopia ambiental faz criar um movimento no ambiente (M 3 )
de tal forma que o primeiro n "K0 = i0 (S 1 )" se desloca continuamente conforme passa o
tempo t [0, 1] at que no final do movimento (t = 1) se situa exatamente em K1 = i1 (S 1 ).
Usamos a notao K0 K1 para indicar que os ns so equivalentes e K0 K1 caso contrrio.
Note que se ik for definida a menos de homeomorfismo definido no domnio (neste caso S 1 )
porque estamos interpretando os ns essencialmente como suas imagens K0 e K1 , e neste caso,
a notao acima bem mais significativa.
Ns e enlaamentos mansos so aqueles que so isotpicos a ns e enlaamentos poligonais,
isto , aqueles que so constitudos por uma seqencia de segmentos de reta (PL). Daqui para
frente ns e enlaamentos sero sinnimos de ns e enlaamentos mansos. Quando no houver
perigo de confuso identificamos um n ou um enlaamentos com sua classe.
Quando fixamos orientao ao (s) crculo (s) e ou a M 3 e exigimos que a relao de equivalncia preserve as orientaes estaremos falando de ns ou enlaamentos orientados. Em
geral o contexto deixa claro o que se estuda.
Dado um n ou enlaamento poligonal em R3 sempre possvel escolher um plano de tal
forma que a projeo do n sobre este plano tenha caractersticas convenientes quais sejam:
ter no mximo pontos duplos e os pontos duplos s ocorrem nos interiores dos segmentos que
constituem o n. Uma projeo desta forma chamada projeo regular do n.
claro que a projeo regular de um n no determina sua classe mas se em cada ponto
duplo de uma destas projees designarmos qual o segmento que esta "por baixo", ento a
classe do n fica determinada por esta projeo regular "qualificada". Uma projeo regular
qualificada de um n chamado um diagrama do n e as vezes apenas por projeo regular
do n. Note que em geral apresenta-se um desenho do n no plano onde o trecho que esta por
baixo fica interrompido e o n se apresenta como uma seqencia de segmentos de reta.
Dois diagramas de ns ou enlaamentos so ditos equivalentes se um pode ser transformado no outro por seqencias de movimentos chamados de "Reidemeister" que so seis e esto
descritos abaixo (em cada desenho temos um movimento e seu correspondente inverso).
Figura 2.2: Movimentos de Reidemeister
Observe que nos desenhos deveramos estar apresentando as projees dos ns com linhas
poligonais, isto , por segmentos de retas, no entanto, abusaremos novamente da notao,
apresentando os diagramas com seqencia de arcos curvilneos, pois facilitam o desenho.
Definio 2.2 Um enlaamento de duas componentes L = K1 tK2 dito separvel (splittable)
se cada Ki esta dentro de uma bola Di3 R3 , i = 1, 2 com D13 disjunta de D23 .
A generalizao para enlaamentos de mais componentes e de dimenses maiores obvia.
Definio 2.3 Dado um enlaamento de duas componentes L = K1 t K2 , dizemos que K1
homotopicamente no enlaada K2 se o mergulho f : S 1 , R3 K2 que define K1
homotpica uma aplicao constante em R3 K2 .
Similarmente para K2 homotopicamente no enlaada em K1 .
A generalizao para mais componentes e maiores dimenses obvia.
Daqui para frente estaremos focalizando os ns mas a maioria dos argumentos vale para
enlaamentos.
Existe um resultado muito importante que remete o estudo dos ns e enlaamentos clssicos
ao estudo de seus diagramas. um teorema cuja prova no ser apresentada aqui, para isso
veja [Burde/Zieschang], pag. 9.
Teorema 2.1 Dois ns clssicos K e L so equivalentes por isotopia ambiental se e somente
se algum diagrama de K for equivalente (por movimentos de Reidemeister) a algum diagrama
de L.
Uma classificao dos ns por isotopia ambiental seria uma forma de discernir exatamente
cada uma das classes, listando-as. O que no temos. Veja na figura 2.3 alguns ns equivalentes
(o que fcil comprovar, nestes casos) e outros no equivalentes o que j no to fcil
comprovar, mesmo nestes casos.
Figura 2.3: Ns equivalentes e no equivalentes

Na figura 2.4 abaixo (que eu no me lembro de onde tirei!) vemos uma seqencia de
movimentos de Reidemeister levando o n Figura Oito na sua imagem refletida, comprovando
que este n Aquiral.
Figura 2.4: O n Figura 8 Aquiral
2.2
Nmero de enlaamento
Quando estudamos enlaamentos muito importante o conceito de nmero de enlaamento

(linking number). Em [Rolfsen(1976)], pag. 132 podemos encontrar oito formas diferentes de se
definir o nmero de enlaamentos entre dois ns disjuntos (enlaamento de duas componentes),
vamos colocar aqui apenas trs delas. Na figura abaixo vemos o nmero de enlaamento de
alguns enlaamentos.
Figura 2.5: Nmeros de enlaamentos

Sejam C e D dois ns disjuntos e orientados em R3 . Considere uma projeo regular deste
enlaamento e os pontos de cruzamentos onde C atravessa por baixo de D. Se o cruzamento se
d da esquerda para a direita do sentido da orientao de D, rotulamos este cruzamento +1,
caso contrrio 1. O nmero de enlaamento L(C, D) ser a soma destes rtulos. Similarmente
se define L(D, C). Se temos um enlaamento de trs (ou mais) componentes, C1 , C2 e D
todos orientados, considerando-se C1 + C2 o enlaamento de duas componentes correspondente,
podemos definir da mesma forma L(C1 + C2 , D) e obtemos que L(C1 + C2 , D) = L(C1 , D) +
L(C2 , D).
Uma outra forma de se definir o numero de enlaamento a seguinte: Sabemos que H1 (R3
D; Z) ' Z, gerado por e onde o isomorfismo definido pelas orientaes de todos os espaos
envolvidos. Como C um ciclo orientado em R3 D temos que a classe de C, [C] = n., para
algum inteiro n, definimos L(C, D) = n.
possvel provar que as definies so equivalentes. Alm disso, se Ct e Dt familia de ns
disjuntos em R3 , para cada t [0, 1] ento L(C0 , D0 ) = L(C1 , D1 ) e que L(C, D) = L(D, C).
Esta definio se generaliza da seguinte forma:
Sejam X e Y subespaos topolgicos disjuntos de R3 e x H1 (X; Z) e y H1 (Y ; Z).

Seja x representada por alguma curva C e y representada por alguma curva D, definimos
L : H1 (X; Z) H1 (Y ; Z) Z por L(x, y) = L(C, D). possvel provar que L uma forma
bilinear simtrica.
Existem verses em dimenses mais alta desta forma bilinear que mede se os conjuntos
X e Y esto enlaados dentro de algum Rn ou dentro de algum espao Z onde ambos esto
mergulhados. Em particular podemos encontrar invariantes para o mergulho de superfcies
orientveis em M 3 olhando para o mergulho e um transladado dele numa direo normal. Veja
mais detalhes em [Hacon] capitulo VI.
Uma terceira forma de se definir o nmero de enlaamento entre C e D considerar uma
superfcie orientvel W 2 tal que W 2 = D (chamada superfcie de Seifert para D) e calcular o
nmero de interseco W 2 .C e colocar este nmero igual L(C, D). Este numero de intercesso
calculado da seguinte forma: Por uma homotopia faa com que C e W 2 fiquem transversais,
isto significa que teremos um nmero finito de cruzamentos transversais entre C e W e estes
pontos de cruzamento podero ser rotulados +1 se a orientao local de W seguida da orientao
de C for igual a orientao do ambiente e rotulado 1 caso contrrio. Ento, W 2 .C ser a soma
destes rtulos.
2.3
Invariantes de Ns (e Enlaamentos)
Temos muitos mecanismos que conseguem diferenciar algumas e s vezes muitas classes de ns
mas ainda no todas. Estes mecanismos so chamados genericamente de invariantes. So como
o genus e a caracterstica de Euler que usamos na classificao de superfcies, veja nos apndice.
O que um invariante no estudo dos ns?
Suponha que possamos associar a cada n K um valor IK em algum conjunto de tal forma
que se K L ento IK = IL , isto , I(.) constante nas classes de equivalncias (para alguma
equivalncia pr estabelecida). Ento temos que se IJ 6= IN ento J N e neste caso a
associao I distingue a classe de J e de N , usamos I para provar que a classe do n J,
denotada [J] 6= [N ], a classe do n N . Ento I(.) um invariante til para distinguir estas
classes.
Vamos ver agora alguns invariantes da teoria clssica de ns. Notemos que alguns invariantes (nem todos) podem ser usados tambm para o caso da teoria multidimensional de ns e
alguns que podem ser usados tambm para o caso mais geral que o estudo da classificao de
mergulhos de variedades em variedades.
Devido ao teorema 2.1 acima muitos invariantes dos ns clssicos so definidos em funo
de seus diagramas.
Tricolorao
Seja o conjunto {a, b, c} de cores, vamos colorir o diagrama de um n (este processo pode ser
pensado como uma funo sobrejetiva do conjunto dos arcos do diagrama no conjunto {a, b, c}.
Temos que respeitar as seguintes regras:
1. Cada arco do diagrama ter uma nica cor.
2. Em cada cruzamento ou teremos uma nica cor nos trs arcos que ali chegam ou teremos
todas as trs cores, uma em cada arco.
3. No pode sobrar cor, isto , todas tm que ser usadas.
A figura abaixo mostra que o processo de colorir um diagrama compatvel com os movimentos de Reidemeister o que nos diz que se um diagrama qualquer de um n for colorizvel
ento qualquer diagrama daquele n ser. Portanto dado um n qualquer ou ele colorizvel
(se algum de seus diagramas for) ou no (se algum, e portanto todos os seus diagramas, no
for).
Figura 2.6: Tricolorao compatvel com Movimentos de Reidemeister

Portanto a funo que leva um n no conjunto {colorizvel, no colorizvel} um invariante.
Vejamos alguns casos.
a) O n trivial no colorizvel (fcil de provar).
b) Qualquer dos ns trevos so colorizveis, (fcil pois basta coloriz-los).
c) Tente colorizar o enlaamento e o n da figura 2.7 abaixo.
d) Ser que o n do ICMC-USP (923 ) colorizvel?
Figura 2.7: Ser que este enlaamento e este n so colorizveis?

Este invariante mostra que os ns trevos no so triviais porm no consegue mostrar que
os ns trevos esto em classes de isotopia ambiental diferentes. Este invariant muito ligado
existncia de epimorfismos do grupo fundamental do n em grupos finitos. Este invariante
pode ser refinado, por exemplo, no caso do n ser colorizvel, ento quantas colorizaes ele
tem? Para maiores detalhes sobre este invariante veja [Aneziris],pg. 37 e 61.
10
Nmero mnimo de cruzamentos nos diagramas

Dado um diagrama de um n, possvel aumentar artificialmente o seu nmero de cruzamentos, basta ver o primeiro movimento de Reidemeister. Isto significa que o nmero de
cruzamentos no um invariante do n (no constante em todos os representantes de sua
classe), no entanto o nmero mnimo de cruzamentos um invariante.
fcil ver que o n trivial tem nmero de cruzamentos zero e que qualquer outro n tem
numero de cruzamentos 3, logo fcil de distinguir o n trivial dos outros ns. Na histria
dos ns vimos como foi difcil encontrar os ns diferentes com um certo nmero de cruzamentos.
Continua sendo difcil, embora tenhamos muitos outros invariantes disposio.
Nmero de desenodamento
Dado um diagrama de n, temos um certo nmero de pontos duplos onde dizemos que um
dado arco passa acima de outro. Se trocamos esta condio, isto , se fizermos com que o arco
que passava por cima fique por baixo, o novo n estar muito provavelmente em outra classe
de equivalncia. Um procedimento bastante simples de escolha onde fazer a troca e onde no,
nos leva ao n trivial. Este processo de trivializao exige portanto um certo nmero de trocas,
menor que o nmero de cruzamentos, claro. Novamente este nmero pode variar muito com
os procedimentos mas o nmero mnimo de trocas para se chegar ao n trivial um invariante
do n. claro que para o n trivial este numero zero e para os ns trevos este nmero um.
fcil ver tambm que se o n tem n cruzamentos ento este numero (n 1).
O Gnero
Dada uma superfcie orientvel com bordo dizemos que seu gnero o gnero da superfcie
sem bordo obtida dela colando-se um disco em cada componente de bordo.
possvel provar que todo n bordo de uma superfcie orientvel e conexa mergulhada
em M 3 . Este resultado pode ser provado usando um diagrama do n. Se o n for o trivial
claro que um disco D2 M 3 borda o n, mas para ns mais complicados a superfcie pode ter
gnero muito grande. Novamente observamos que dada uma destas superfcies possvel atravs
de "somas conexas ambientais" com "pequenos toros" aumentar o genus destas superfcies.
Novamente o gnero mnimo de tais superfcies um invariante da classe de isotopia ambiental
dos ns. O n trivial tem gnero zero, os ns trevos tm gnero um. Este invariante pode ser
determinado atravs do grupo do n (definio abaixo), veja [Neuwirth].
O determinante
Este invariante tem este nome porque ser o determinante de um sistema de equaes
lineares, com coeficientes nos inteiros obtido de equaes da forma r + s = 2w que surgem dos
cruzamentos de um diagrama do n. Os procedimentos so os seguintes:
Considere um diagrama de um n K, suponha que o mesmo tenha n cruzamentos:
1. Associe a cada arco uma varivel, digamos, x1 , x2 , ...., xn .
2. Em cada cruzamento escreva uma equao da forma r + s = 2w substituindo w pela varivel
associada ao arco que no cruzamento passa por cima e substituindo r e s pelas outras variveis
dos arcos que no cruzamento passam por baixo. Com isto temos n equaes e n variveis.
3. Coloque qualquer uma da variveis = 0.
4. Descarte uma equao qualquer.
5. No sistema (n 1) (n 1) obtido, calcule o mdulo do determinante dos coeficientes, este
valor inteiro, chamado determinante do n, ser denotado D(K).
Prova-se que D(K) um invariante de ns, veja [Hacon] para mais detalhes e vrios exemplos. Na figura 2.8 veja o calculo do determinante de trs ns.
Vemos ento que o n trivial, o n trevo e o n K da figura so todos no equivalentes.
11
Figura 2.8: Clculos do determinante

Veremos mais adiante que possvel obter este invariante de outro invariante, o Polinmio de
Alexander, que portanto um invariante mais "poderoso" que o determinante.
Observaes 2.1 Observemos que os grupos de homologia do complementar dos ns e dos
enlaamentos, Hi (X; Z), no distinguem os ns ou os enlaamentos,isto , para cada i, estes
grupos so sempre os mesmos logo no servem com invariantes, em particular para qualquer
n H1 (X; Z) ' Z veja [Hacon], pag. 75 para uma prova disto. Esta observao vale para as
dimenses mais altas tambm.
O grupo (fundamental) do n
fcil de provar que se dois ns K1 e K2 so equivalentes ento seus complementos M 3 K1
e M 3 K2 so homeomorfos, o que implica que qualquer invariante topolgico definido no
complementar de um n ser um invariante das classes dos ns. O grupo fundamental um
destes invariantes e chamado grupo do n.
fcil ver que se o n for trivial com complementar X ento 1 (X) Z. possvel provar
que vale tambm a recproca, isto , se temos um n tal que o grupo fundamental de seu
complementar for isomorfo Z, ento o n trivial (isto , esta na classe do n trivial). Na
verdade o nico grupo abeliano que surge como grupo de n o grupo do n trivial, que Z,
todos os outros no so abelianos.
O grupo do n de grande importncia tambm porque dele so definidos muitos outros
invariantes, por exemplo pode-se definir atravs dele os Polinmios de Alexander e o Determinante. O grupo do n portanto um invariante mais poderoso que estes dois.
A tricolorao tem a ver com existncia de homomorfismos sobrejetivos do grupo do n em
certos grupos finitos.
O grupo do n tambm um invariante que se generaliza para dimenses mais altas.
Existe um procedimento para encontrar uma apresentao do grupo fundamental de um
n atravs de seus diagramas (apresentao de Wirtinger). Voce pode ver com detalhes este
procedimento em [Rolfsen(1976)], pag. 56. Abreviadamente, o procedimento o seguinte:
1. Escolha uma orientao para K.
2. Tome um diagrama de K e ordene os seus arcos (orientados), 1 , 2 , ...n , usando a orientao
escolhida para K.
12
3. fcil ver (demorado de formalizar!) que possvel modificar o n por uma isotopia
ambiental de tal forma que todos os arcos fiquem em plano horizontal de R3 , digamos z = 1,
alm disso as passagens inferiores se deem dentro de pequenos cilindros Ci , i = 1, 2, ..., n (com
eixos verticais e disjuntos dois a dois) localizados na regio 0 z 1 e de tal forma que
os eixos de cada cilindro passe pelo ponto de cruzamento correspondente, Pi , veja figura 2.9
abaixo.
4. Escolha ponto base em p = (0, 0, 3) e para cada arco i escolha lao simples xi com ponto
base p e enroscando-se ao arco i de tal forma que para um observador localizado bem no alto,
digamos em (0, 0, 50), xi atravesse por baixo (uma nica vez) i de tal forma que em projeo
isto ocorra da direta para a esquerda da direo do arco. A inteno provar que as classes de
homotopia de xi geram o grupo do n K, isto , o grupo fundamental de X = R3 K.
5. Prolongue os cilindros Ci acima descritos para a regio 1 z 0, chamando estes novos
cilindros por Ei , i = 1, 2, ..., n e ajuste tambm cada passagem inferior do n, no trecho entre
i e i+1 , de tal forma que o mesmo intercepte o disco Di2 , base do cilindro Ci e tampa do
cilindro Ei (e que esta contido no plano z = 0), em um segmento de reta, tambm orientado,
contido no interior daquele disco e que denotamos i , veja figura 2.9 abaixo.
Figura 2.9: Ponto de cruzamento do diagrama do n

6. Em cada ponto de cruzamento Pi chamemos por k o arco orientado que passa superiormente
ao arco i . Existem duas possibilidades que so: Na projeo a seqencia i , i , i+1 cruza (por
baixo!) k da esquerda para a direita ou da direita para a esquerda, novamente de quem olha
do ponto l do alto. fcil ver que no primeiro caso vamos ter a relao xk xi = xi+1 xk e
no segundo caso a relao xi xk = xk xi+1 entre os laos acima descritos. Denotemos por ri a
relao que ocorrer no cruzamento i veja figura 2.10, abaixo.
7. Denotemos por A = {(x, y, z) R3 | z 0} K, Bi = Ei K, i = 1, 2, ..., n e por F =
fecho de (R3 A) (n1 Bi ). Para cada i, escolhemos um caminho simples i , disjuntos entre
13
Figura 2.10: Relaes possveis em cada cruzamento

si e disjuntos de K, ligando um ponto do conjunto Di2 i ao ponto base p e para o conjunto
F tambm escolhemos um caminho simples, F , disjunto dos i s e de K, ligando um ponto
de seu bordo, com coordenada z = 0 e bem longe do n K, ao ponto base p. Definimos os
i = Bi i e F = F F .
conjuntos B
i , i = 1, 2, ..., n e F . Usando o
8. Decomponha agora X = R3 K nos conjuntos: A, B
fato de que 1 (A, p) um grupo livre nos geradores xi , i = 1, 2, ..., n e que agregando A
i , um de cada vez, obtemos pelo teorema de Seifert-van Kampen as relaes
os conjuntos B
ri , i = 1, 2, ..., n, isto , 1 (A (j1 Bi ), p) = |x1 , x2 , ..., xn : r1 , r2 , ..., rn |, e observando que o
espao F e seu bordo so simplesmente conexos, temos que ao agregarmos este ultimo espao
a A (n1 Bi ), para obtermos o espao X, o grupo fundamental no muda, ficando portanto
1 (X) = |x1 , x2 , ..., xn : r1 , r2 , ..., rn |.
9. possvel descartar uma das relaes, digamos a ultima rn . O argumento o seguinte:
Trabalhemos em S 3 = R3 , j que 1 (X) ' 1 (Y ). Ento deve ser pensado como parte
de todos os conjuntos no limitados usados anteriormente, portanto dever ser agregado A,
denotemos A0 = A, dever ser agregado ao plano z = 0, transformando-o numa esfera S 2
n . claro que A0 (1n1 Bi ) F 0 uma decomposio de Y =
e F , denotemos F 0 = F B
S 3 K e que 1 (A0 , p) = (A, p) e que juntando-se, como anteriormente, Bi , i = 1, 2, ...., (n 1)
obtemos o mesmo resultado anterior, mas neste caso teremos no final F 0 (A0 (n1
Bi )) ' S 2
1
n que simplesmente conexo. Note que F 0 tambm simplesmente conexo, logo agregar F 0 no
muda o grupo fundamental que nesta decomposio 1 (Y ) = |x1 , x2 , ..., xn : r1 , r2 , ..., rn1 |,
fica verificado que uma relao pode ser descartada.
O Polinmio de Alexander
O procedimento para se obter o polinmio de Alexander segue mais ou menos o do determinante, o seguinte:
1. Dado um diagrama para o n K fixe uma orientao para K.
2. Associe a cada arco que forma o diagrama uma varivel, digamos x1 , x3 , ....., xn , onde n
o nmero de cruzamentos (e de arcos!) do diagrama, reserve (no use aqui!) a varivel t que
ser utilizada numa situao especial.
3. Associe cada cruzamento uma equao da forma r ts = (1 t)w ou (t 1)w ts + r = 0
onde w deve ser identificado com a varivel que passa superiormente na regio do cruzamento e
deve ser orientada de acordo com a orientao dado ao n inicialmente, r e s sero substitudos
pelas variveis associadas aos arcos que se aproximam do cruzamento inferiormente. Como
escolher a posio de r e s na equao, j que estas posies no so simtricas(r no tem
coeficiente mas s tem coeficiente t); a forma de decidir usando a orientao fixada para o n
e em particular a orientao no trecho do cruzamento, a escolha assim: usando somente a
14
orientao do trecho superior do n, no cruzamento, r da equao deve ser identificado com a

varivel associada esquerda de w e conseqentemente s ser identificado com a varivel que
esta direita de w.
4. Coloque agora alguma das variveis igual zero.
5. Descarte qualquer uma das equaes.
6. Escreva o sistema (n 1) (n 1) de equaes acima com coeficientes no anel = Z[t, t1 ].
7. Encontre o determinante (t) deste sistema. Ser um elemento do anel .
8. Multiplique (t) por tj (inversveis em !!), para obter 4K (t) com 4K (t) = 4K (t1 ) e
4K (1) = 1, este o Polinmio de Alexander do n K.
Veja um exemplo de clculo do polinmio de Alexander na figura 2.11.
Figura 2.11: Calculo do Polinmio de Alexander do n do ICMC-USP (923 )

No livro do Derek [Hacon] voce encontrar muita coisa interessante sobre os polinmios de
Alexander. Em particular o calculo deste polinmio para os ns torais e para os ns iterados.
Voce tambm encontrar l, como calcular o polinmio de Jones, outro invariante polinomial
muito importante.
Salientamos os seguintes resultados:
1. O polinmio de Alexander no depende da orientao escolhida para o n.
o mesmo.
2. O polinmio de Alexander de um n K e de seu refletido (em algum espelho)K
3. Todo polinmio 4(t) Z[t, t1 ] e satisfazendo as condies: 4(t) = 4(t1 ) e 4(1) = 1
o polinmio de Alexander de um n (como temos uma grande quantidade destes polinmios,
teremos uma grande quantidade de ns no equivalentes!).
2.4
15
Construindo Ns (e Enlaamentos)
A primeira construo bsica para se construir ns, a partir de outros ns Ki , i = 1, 2 em S 3 ,

a soma dos dois denotada K1 ]K2 . Vejamos a construo: considere os pares (S 3 , Ki ), pontos
Pi Ki e remova pequenas vizinhanas regulares destes pontos, que so pares (Bi3 , Bi1 ) no
enodados. Os pares reminiscences de cada remoo so pares de discos enodados (Bi3 , K i ) com
bordos (Si2 , Si0 ). Colamos B13 a B23 pelos bordos atravs de um homeomorfismo de pares que
inverte orientao : (S12 , S10 ) (S22 , S20 ), obtendo o par (S 3 , K1 ]K2 ) onde K1 ]K2 chamado
soma de K1 e K2 . A figura 2.12 ilustra a construo acima.
Figura 2.12: Soma de dois ns

A figura 2.13 mostra uma construo equivalente. Nesta figura colocamos os dois ns dentro
de S 3 , mas devemos considerar cada n no interior de uma bola tal que os seus interiores sejam
disjuntos e que elas se tocam ao longo de um segmento de seus bordos e importante que a
faixa (retngulo) que realiza a conexo dos dois ns cruze as fronteiras das bolas ao longo deste
segmento. Note que a construo no depende dos pontos escolhidos para se colar a faixa em
cada um dos ns, no depende tambm se cada pedao da faixa esta torcida ou enodada nos
trechos em que adentram o interior de cada bola.
Figura 2.13: Soma conexa (ambiental?)

Um n dito primo se no for a soma de dois outros ns no triviais.
16
Tambm podemos definir soma conexa de enlaamentos e definir Enlaamentos Primos, veja
[Kawauchi] captulo 3.
Uma outra construo parecida com esta, porem, mais geral, a soma ao longo de uma
faixa f , onde permitido que a faixa se enlae com os ns (que esto em bolas distintas de S 3 )
de forma arbitrria, veja figura 2.14. A notao neste caso K]f L.
Figura 2.14: Soma conexa ao longo de faixa f

Na definio de K1 ]K2 a soma determinada apenas pelos dois ns, j K 1 ]f K2 vai depender
tambm da faixa f .
Voce saberia dar condies sobre como a faixa f deve estar em R3 (K1 K2 ) para que a
segunda operao coincida com a primeira?
Temos o seguinte resultado:
O polinmio de Alexander da "soma"H]K, o produto dos polinmios de Alexander da
cada um deles, isto 4K]L (t) = 4K (t). 4L (t).
Outra forma de se construir ns colocar um n numa vizinhana tubular de outro n,
neste processo obtemos ns chamados de ns satlites ou iterados.
Figura 2.15: N satlite ou iterado

Seja H um n em S 3 sabemos que existem homeomorfismos : (S 1 D2 )0 N (H) onde
(S D2 )0 o toro slido mergulhado de forma trivial em S 3 e N (H) S 3 uma vizinhana
tubular fechada de H em S 3 , temos ainda que H = (S 1 {(0, 0)})
1
17
Seja L um n contido no toro (S 1 D2 )0 e de tal forma que no exista nenhuma bola B 3

tal que K B 3 (S 1 D2 )0 .
A imagem de L pelo homeomorfismo ser um novo n, que depende de H de L e do
homeomorfismo , podemos denotar este novo n por H L.
Podemos escolher um homeomorfismo especial 0 que aquele que manda o sistema meridianolongitude do toro slido padro no sistema meridiano-longitude da vizinhana tubular N (H),
neste caso a notao usada para o n satlite H L.
Dizemos que H um acompanhante(companion) do n satlite H L.
Aqui tambm possvel tomar o segundo n L e troc-lo por um Enlaamento, obtemos
um enlaamento satlite K L que tem o n H como acompanhante. Veja mais detalhes em
[Kawauchi], capitulo 3.
Caso o segundo n L se situe no bordo de (S 1 D2 )0 , isto se for um n toral-(p,q) ento
H L chamado um n cabo, mais especificamente um n cabo-(p,q). Veja a notao n
toral-(p,q) na seo 4.2 onde temos a classificao dos ns no toro.
Temos o seguinte resultado:
O polinmio de Alexander do iterado de H K, dado por 4HK (t) = 4H (tq ). 4K (t)
Temos uma descrio dos Polinmios de Alexander usando espao de recobrimento e o
Teorema de Mayer-Vietoris. Esta forma de definir este invariante permite a sua generalizao
para ns de dimenses mais altas. Em [Rolfsen(1976)], capitulo 7 e em [Hacon], capitulo 6
temos timas apresentaes desta forma de se calcular ente invariante.
Se houver tempo faremos alguns clculos deste jeito.
Captulo 3
Teoria Multidimensional (de Ns e
Enlaamentos)
3.1
Introduo
Nesta seo vamos estudar um pouquinho do problema de existncia e classificao dos mergulhos das esferas S n , n 2 nas esferas S m com m > n.
Como no caso clssico s vezes conveniente ver as esferas como compactificao dos espaos
euclidianos correspondentes. claro tambm que desnecessrio se preocupar com a existncia
pois nestes casos temos mergulhos padres, a questo que se coloca ento neste caso verificar
se possvel criar mergulhos que no sejam equivalentes ao padro e classific-los.
Como no caso clssico nos mantemos estudando os mergulhos mansos, por exemplo os
que possuem colarinho duplo, os que so ambientalmente PL-isotpicos a PL-mergulhos, isto
, damos s esferas triangulaes e pedimos que nas classes de equivalncia dos mergulhos
tenhamos representantes lineares por parte. Recordemos que N M tem colarinho duplo se
existe mergulho i : N [1, 1] , M tal que i(x, 0) = x, x N
bastante conhecido no caso de n = 2 e m = 3 o mergulho topolgico de S 2 em R3
conhecido como Esfera com Chifres, onde um dos lados do mergulho no homeomorfo ao
disco D3 veja pg. 79 de [Rolfsen(1976)] e a figura 3.1.
Figura 3.1: Esfera com Chifres

Evitando estes mergulhos selvagens, temos em codimenso um o teorema de Schnflies:
18
CAPTULO 3. TEORIA MULTIDIMENSIONAL (DE NS E ENLAAMENTOS)
19
Teorema 3.1 (Teorema de Schnflies) Seja S n mergulhada em S n+1 , com colarinho duplo,
ento o fecho de cada uma das componentes do complementar do mergulho homeomorfo ao
disco Dn+1 .
Em codimenso (m n) maior que dois, o complementar S m S n simplesmente conexo e
muitos dos invariantes, particularmente aqueles oriundos dos grupos dos ns no existem. Na
verdade neste caso se consideramos apenas aspectos topolgicos dos mergulhos mansos, temos
que todos so equivalentes aos mergulhos triviais (padres). No trivialidade surge apenas se
considerarmos questes de diferenciabilidade, isto , se trabalharmos na categoria diferencial,
alguns resultados sobre esta questo foram estudados por Haefliger, veja [Haefliger].
Vejam as demonstraes dos teoremas a seguir em [Greenberg/Harper].
Teorema 3.2 (Da separao de Jordan-Brouwer) Se Dr um disco fechado de dimenso
r mergulhado na esfera S n onde r n ento H0 (S n Dr ; Z) ' Z e Hq (S n Dr ; Z) = 0 para
q 1.
Corolrio 3.1 S n no pode ser desconectada pela remoo de um disco fechado Dr .
Teorema 3.3 Seja S r mergulhada em S n , ento r n e se r = n S r = S n , alm disso, no
caso r < n temos que H0 (S n S r ; Z) ' Z ' Hnr1 (S n S r ; Z) e Hq (S n S r ; Z) = 0 nos
outros casos.
Uma concluso importante destes resultados que os grupos de homologia do complementar
dos mergulhos no distinguem os enodamentos de esferas em esferas.
Vamos abordar daqui para frente, neste captulo, os casos de codimenso dois, isto S n
mergulhada em S n+2 ou em Rn+2 .
3.2
S 2 em S 4
Comecemos pelo caso de S 2 em R4 ou S 4 que, como j observamos, so essencialmente a mesma

coisa.
Consideremos o conjunto {(x, y, z, 0) R4 |x2 + y 2 + z 2 = 1} este conjunto uma esfera que
denotaremos S02 . a representante do n padro ou trivial em R4 . Atravs da compactificao
de R4 podemos considerar S02 S 4 . Poderamos tambm considerar {(x, y, z, 0, 0) S 4
R5 | x2 + y 2 + z 2 = 1} e j teramos S02 S 4 .
possvel verificar que o complementar deste n tem o tipo de homotopia de S 1 . Logo o
grupo (fundamental) deste n Z.
A questo que se coloca inicialmente se existe ns (mergulhos de S 2 em R4 ) no triviais,
por exemplo com grupos diferentes de Z. Vejamos uma construo que mostra que para cada
2
n (manso) clssico K existe um n SK
R4 , o "rodado de K"(outra notao K ) cujo
complemento tem grupo igual ao grupo de K. A construo devida Emil Artin, veja
[Artin(1926)] ou [Andrews/Curtis].
Inicialmente decompomos R4 =< e1 , e2 , e3 , e4 > usando o plano P = R23,4 =< e3 , e4 >
como eixo de rotao, isto , consideremos para cada [0, 2) (ou (0, 2] conforme a
convenincia) E() = (cos(), sen()) S 1 R21,2 =< e1 , e2 > e o semi 3-espao R3 () =
{(cos(), sen(), c, d) R4 , [0, ), c, d R}. Em especial a folha R3 (0) o semi
3-espao onde vamos colocar o n K para ser "rodado".
20
Figura 3.2: Rotao em R4

Dado ponto (a, b, c, d) R4 definimos como o seu rodado o conjunto Rot((a, b, c, d)) =
{(cos()a sen()b, sen()a + cos()b, c, d) R4 onde [0, 2)}. Observe que se a = 0 = b
ento o ponto (0, 0, c, d) pertence ao eixo P, seu rodado ele prprio, caso contrrio, isto
a2 + b2 > 0 ento o rodado do ponto ser um crculo cujo plano ortogonal ao eixo P.
Denotemos i : R3 (0) , R4 a incluso. Podemos definir uma aplicao contnua H : R4
R3 (0) por H((x, y, z, w)) = Rot((x, y, z, w)) R3 (0), note que H|R3 (0) = IdR3 (0) . fcil ver que
H i = IdR3 (0) . Chamemos : S 1 [0, 2) (ou (0, 2] conforme a convenincia) a funo
inversa de E, dada acima, que contnua em S 1 {(1, 0)}. Temos que ((cos(), sen()) = .
Definamos, para uso posterior, a aplicao : R4 P [0, 2) (ou (0, 2] conforme a
convenincia), por (x, y, z, w) = (z/(z 2 + w2 )1/2 , w/(z 2 + w2 )1/2 ) e a aplicao rotao de
um ngulo em torno do eixo P por RotP : R4 R4 , dada por RotP (a, b, c, d) = (a.cos()
b.sen(), a.sen() + b.cos(), c, d). Devemos notar que tanto RotP como a aplicao RotP
so aplicaes contnuas.
Seja K o n (manso) dado inicialmente em R3 , suponhamos que o mesmo seja dado por
uma seqencia de segmentos de reta e que o espao ambiente seja o R31,3,4 = R3 < e1 , e3 , e4 >,
isto R3 (0) R3 (). Atravs de translao e rotao (e talvez uma deformaozinha) neste R3
podemos supor que o nosso n K esteja totalmente contido em R3 (0) e que apenas um de seus
segmentos, que chamaremos 0 , esteja no eixo P. Denotemos = Kinterior de 0 , isto ,
a reunio de todos os outros segmentos do n, excludo (o interior de) 0 , homeomorfo um
segmento e o n K = 0 . Usando-se o teorema de Seifert-van Kampen possvel mostrar
que a incluso jK : R3 (0) K R31,3,4 K induz um isomorfismo nos grupos fundamentais
jK : 1 (R3 (0) K) 1 (R31,3,4 K).
2
2
Denotemos SK
= Rot(), e fcil ver que SK
' S 2 uma 2-esfera mergulhada em R4 .
Observemos que se tivssemos colocado o n K no interior de R3 (0) obteramos pela rotao
um toro enodado em R4 .
2
Estudemos o grupo do n SK
.
21
2
2
Temos a incluso iK : R3 (0) K , R4 (SK
0 ) e a retrao HK : R4 (SK
0 )
3
R (0) K definidas por restrio de i e H, ento HK iK = IdR3 (0)K . Logo as induzidas nos
grupos fundamentais nos d HK iK = Id1 (R3 (0)K) o que nos permite concluir que iK
injetiva. Isto j seria suficiente para garantir que o mergulho no trivial.
Usando-se o Teorema de Seifert-van Kampen possvel mostrar que a incluso jSK2 : R4
2
2
2
(SK
0 ) R4 SK
induz um isomorfismo nos grupos fundamentais jSK2 : 1 (R4 (SK
0 ))
4
2
1 (R SK ).
2
O prximo passo provar que iK : 1 (R3 (0) K) 1 (R4 (SK
0 )) sobrejetiva.
4
2
4
2
Para isto consideremos [s] 1 (R (SK 0 )) onde s : [0, 1] R (SK
0 ), s(0) =
q = s(1), s constituido por uma seqencia de segmentos de retas s1 .s2 ......sm com vrtices
q = q0 , q1 , ...., qj , ..., qm = q, onde q P K ponto base de todos os espaos envolvidos. Os
segmentos que porventura cruzem R3 (0) so divididos inserindo-se na seqencia de vertices de
s estes pontos de interseco. Manteremos a notao supondo na notao inicial que nenhum
dos segmentos cruzem R3 (0).
Para cada qj P K, qj 6= q, escolha caminho vj em P K ligando qj q, para os outros
qk s, isto , para aqueles que esto em folhas (abertas) do tipo R3 (k ) P, escolhemos caminhos
vk em R3 (k ) ligando qk q.
1
Substitumos s por s1 .v1 .v11 .s2 .v2 .v21 .s3 .v3 .v31 ....sj .vj .vj1 ....sm1 .vm1 .vm1
.sm que homotpico a s e que constitudos por caminhos fechados com ponto base q que, ou j esto
em R3 (0) K ou esto entre duas folhas R3 (r ) e R3 (s ) com 0 r s 2. Mostremos
2
que os caminhos que esto entre as duas folhas so homotpicos em R4 (SK
0 ) a cami3
nhos em R (0) K, mais precisamente, provemos que se um caminho fechado com ponto
base q cuja imagem fica entre duas folhas R3 (r ) e R3 (s ) com 0 r s < 2 ( ou
0 < r s 2 conforme a convenincia) ento ' HK , este ultimo caminho fechado
2
esta em R3 (0) K. fcil ver que a aplicao W : [0, 1] [0, 1] R4 (SK
0 ), dada por
t.((s))
W (s, t) = RotP
((s)) uma homotopia entre e HK . A concluso que s pode ser
escrito como uma composio de outros caminhos, todos, na imagem de iK e portanto [s] esta
2
nesta imagem, ou seja iK sobrejetiva e logo o grupo do n SK
em R4 isomorfo ao grupo do
3
n K em R .
O processo acima, que chamaremos "rodar"(spinning) tem uma generalizao que chamaremos "torcendo ao rodar"(twist spinning) que quase igual ao anterior, s que escolhemos algum
trecho pequeno do n K contido no interior de R3 (0) e que ainda enodado, colocamos este
trecho dentro de um pequeno cilindro [0, 1] D2 de tal forma que o n cruze transversalmente
o bordo do cilindro nos pontos (0, (0, 0)) e (1, (0, 0)), veja figura 3.3. Agora, ao rodar o n K,
como no processo anterior, fazemos o pequeno cilindro tambm rodar mas com velocidade um
mltiplo (k) inteiro da velocidade de rotao do processo anterior. O mergulho de S 2 agora
obtido depende como anteriormente do n K, mas tambm do inteiro k e do "sub-n"S que
escolhemos para fazer o spinning. Note que temos ento K = T ]S, para algum sub-n complementar T de S em K. Uma notao para este novo mergulho de S 2 em R4 (S 4 ) poderia ser algo
como ST2 ]S(k) (pode ser que j se tenha uma notao para isso, que desconheo!). Na verdade
se o n K for a soma de vrios outros ns poder-se-ia torcer cada uma das vrias componentes
por um k diferente, teramos algo como ST2 ]S1 (k1 )]S2 (k2 )].....]Sq (kq ) , onde K = T ]S1 ]S2 ]...Sq .
Este mesmo processo pode ser feito para enlaamentos de vrias componentes fazendo ou no
com que alguma aresta de algumas das vrias componentes estejam na fronteira de R3 (0). Os
ns que estejam totalmente no interior de R3 (0) se transformam em toros S 1 S 1 mergulhados
de forma enodada em R4 (S 4 ).
Figura 3.3: Torcendo ao rodar em R4
3.3
Enlaamentos (de esferas ou de superfcies) em S 4
No deu tempo!!
22
Captulo 4
Mergulhos de Variedades em Variedades
4.1
O crculo S 1 em R2 e em S 2
Teorema 4.1 (Da curva de Jordan) Se L uma curva simples e fechada (portanto homeomorfa a S 1 ) em R2 ou S 2 , ento R2 L ou S 2 L tem duas componentes e L o bordo de
ambas.
Exerccios
Tente responder a
1. L ser a reunio
2. L ser a reunio
3. L ser a reunio
questo acima no caso de:

disjunta de 2 curvas simples.
em um ponto de duas curvas simples (figura 8).
disjunta de n curvas simples.
Teorema 4.2 (De Schnflies) Nas hipteses do teorema anterior, uma das componentes de
R2 L ou as duas componentes de S 2 L so homeomorfas ao disco D2 .
Corolrio 4.1 Quaisquer dois ns de S 1 em S 2 ou em R2 so equivalentes por homeomorfismo
no contradomnio.
O corolrio acima tambm vlido para a equivalncia por isotopia ambiental. Veja prova
em [Rolfsen(1976)], pag. 11.
Exerccios
1. O que se pode dizer de enlaamentos de vrios crculos disjuntos em S 2 ou em R2 .
2. O que se pode dizer da classificao de mergulhos da reunio em um ponto de dois crculos
(figura 8) em S 2 ou em R2 .
4.2
O crculo S 1 no toro T 2
Vamos apresentar de forma muito resumida o estudo dos mergulhos do crculo S 1 no toro T 2 =
S 1 S 1 . Neste caso temos resultados completos e no triviais e a referncia [Rolfsen(1976)]
O grupo fundamental do toro abeliano logo isomorfo ao seu primeiro grupo de homologia,
isto , 1 (T 2 ) ' Z Z ' H1 (T 2 ; Z) e as classes de homotopia representveis por mergulhos so
da forma (a, b) Z Z tal que: ou a = 0 = b ou m.d.c.(a,b)=1.
Um n que borda um disco D2 chamado trivial ou no essencial, corresponde classe (0, 0)
no grupo fundamental, caso contrrio chamado no trivial ou essencial. Um n correspondente
(1, 0) chamado n longitudinal e um correspondente (0, 1) chamado n meridional.
23
CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES
24
fcil ver que todos os ns triviais so equivalentes por isotopia ambiental (e como conseqncia so equivalentes por homeomorfismo na imagem). fcil tambm ver ns meridionais
e longitudinais so equivalentes por homeomorfismo na imagem.
A demonstrao dos resultados abaixo podem ser vistos em [Rolfsen(1976)].
Proposio 4.1 Para todo n K essencial em T 2 , isto , [K] no correspondente (0, 0) no
grupo fundamental, existe um homeomorfismo h : T 2 T 2 tal que a imagem de K um n
meridional.
Observe que esta proposio nos diz que todo n que no seja o trivial equivalente por um
homeomorfismo em T 2 ao n meridional, ou seja, temos o seguinte teorema de classificao de
ns no toro, por homeomorfismo na imagem:
Teorema 4.3 (Classificao dos ns no toro T 2 por homeomorfismo na imagem)
Existem apenas dois tipos de ns no toro por homeomorfismos na imagem, os equivalentes ao
trivial (no essenciais) e os equivalentes a um n meridional (os essenciais).
A classificao por isotopia ambiental dada por:
Teorema 4.4 (Classificao dos mergulhos de S 1 no toro T 2 por isotopia ambiental)
Dois ns, K e L no toro, so equivalentes por isotopia ambiental se e somente se [K] = [L]
no grupo fundamental.
4.3
Superfcies em R3 (ou S 3)
Normalmente temos as superfcies, orientveis, mergulhadas em R3 como na figura 4.1 abaixo.
Figura 4.1: Superficies em R3

Observe que o "lado de dentro"das superfcies so "handlebodies"(corpo com alas?).
25
Mas que tal o mergulho do bi-toro em R3 , mostrado na figura 4.2 abaixo. Este mergulho
um exemplo de um mergulho no bi-toro, pensado em S 3 , em que, ambos os "lados"em que
o S 3 ficou dividido, no um "handlebody"(como seria possvel provar isto?), o que mostra
claramente que podemos ter muitas classes diferentes de mergulhos das superfcies em R3 ou
em S 3 .
Quando a superfcie tiver bordo, o seu bordo ser um n (caso tiver apenas uma componente
conexa) ou um enlaamento (se o bordo tiver vrias componentes).
Como no caso da teoria de ns, existem invariantes para detectar diferentes classes de
mergulhos de superfcies. Alguns destes invariantes j servem para detectar diferenas entre
os ns ou enlaamentos que constituem o bordo destas superfcies, caso sejam superfcies com
bordo. Derek [Hacon] aborda esta questo no captulo VI.
Figura 4.2: Bitoro em S 3
4.4
O cilindro e a Faixa de Mbius em R3
Na figura 4.3 abaixo vemos um cilindro e uma faixa de Mbius mergulhadas em R3 , acho que
estes mergulhos podem ser considerados como os mergulhos "padres"destes espaos em R3 .
Figura 4.3: Cilindro e Faixa de Mbius - I

Que tal estes outros mergulhos da figura 4.4. Se observarmos direito veremos que temos
ainda o cilindro e a faixa de Mbius, porem agora esto mergulhados de forma diferente.
26
Figura 4.4: Cilindro e Faixa de Mbius - II

Qual o numero de enlaamento L(C1 , C2 ) entre as duas componentes de bordo C1 e C2 do
cilindro?
Qual o nmero de enlaamento L(C, M ) entre o bordo da faixa de Mbius C e o seu
Meridiano M ?
Ser que podemos complicar ainda mais os mergulhos destes espaos? Vejamos a proxima
figura 4.5.
Figura 4.5: Cilindro e Faixa de Mbius-III

Novamente temos o cilindro e a faixa de Mbius mergulhados de forma que os seus meridianos M coincidem com ns de R3 .
Exerccio 1 Ser que todo mergulho destes espaos em R3 so como acima? Como provar ou
reprovar esta afirmao?
Exerccio 2 Como so os mergulhos do cilindro e da faixa de Mbius em R4 ?
4.5
27
RP2 no mergulha em R3
Podemos encontrar provas deste fato usando Cohomologia e em particular Dualidade de Alexander, vejam em [Greenberg/Harper] pag. 235 ou [Spanier] pag. 356.
Vejamos uma prova, dada por Hiroshi [Maehara], mais elementar, que usa apenas um resultado bsico de Teoria de Grafos.
O resultado abaixo pode ser encontrado em [Conway/Gordon] ou em [Sachs].
Proposio 4.2 (Teorema do Enlaamento) Todo mergulho do 6-grafo-completo, K6 em
R3 contem um par de ciclos disjuntos constituindo um enlaamento no trivial.
Usando o resultado acima obtemos:
Lema 4.1 Para qualquer mergulho da Faixa de Mbius M2 em R3 o par (M2 , C), onde M2
o bordo da Faixa de Mbius e C o seu meridiano, formam um enlaamento no trivial.
Prova: Considere K6 na Faixa de Mbius M2 como representado no retngulo abaixo, onde
cada par dos seis pontos P1 , P2 , P3 , P4 , P5 , P6 so conectados por uma curva simples em M2 .
Este grafo K6 contem exatamente dez pares de ciclos disjuntos, que so:
(P1 P2 P3 , P4 P5 P6 ), (P1 P2 P4 , P3 P5 P6 ), (P1 P2 P5 , P3 P4 P6 ), (P1 P2 P6 , P3 P4 P5 ), (P1 P3 P4 , P2 P5 P6 )
(P1 P3 P5 , P2 P4 P6 ), (P1 P3 P6 , P2 P4 P5 ), (P1 P4 P5 , P2 P3 P6 ), (P1 P4 P6 , P2 P3 P5 ), (P1 P5 P6 , P2 P3 P4 )
Cada um dos nove ciclos sublinhados borda uma 2-clula em M2 disjunta do ciclo correspondente no par, logo em qualquer mergulho de M2 em R3 , nove pares de ciclos do K6 acima
construdo so enlaamentos triviais. Pelo Teorema do Enlaamento acima conclumos que o
par (P1 P3 P4 , P2 P5 P6 ) tem que ser um enlaamento no trivial.
Como o ciclo (P2 P5 P6 ) o meridiano C de M2 e o ciclo (P1 P3 P4 ) o M2 o lema esta
demonstrado.
Teorema 4.5 O Espao Projetivo 2-dimensional RP2 no mergulha em R3 .
Prova: Suponha RP2 mergulhado em R3 . Removendo-se uma clula aberta D de RP 2
obtemos um mergulho de M2 em R3 . Ento o bordo de M2 e o meridiano C de M2 formam um
enlaamento no trivial, isto , C intercepta D, isto , no tnhamos inicialmente um mergulho,
uma contradio.
Exerccio: Prove que as outras superfcies sem bordo, no orientaveis, tambm no mergulham
em R3 .
4.6
O Teorema do toro de Alexander e generalizaes
Considere um n K em S 3 , possvel provar que sua vizinhana tubular fechada homeomorfa

S 1 D2 , isto , existe mergulho K : S 1 D2 , S 3 , tal que K(S 1 (0, 0)) = K. Se
consideramos TK2 = K(S 1 (D2 )) onde (D2 ) S 1 , obtemos um mergulho do toro T 2 em
S 3 . Se K complicado o mergulho do toro correspondente TK2 complicado porem uma das
componentes em que S 3 fica dividida pela imagem de T 2 , um toro slido, isto , um espao
homeomorfo S 1 D2 . Note que o outro "lado"do mergulho um espao definido pelo n
clssico K, chamado exterior do n K e se este n no for o trivial este espao muito diferente
de S 1 D2 .
Uma questo ento : possvel mergulhar o toro em S 3 de tal forma que os dois "lados"do
mergulho sejam diferentes de S 1 D2 . A resposta no e este o resultado do teorema abaixo,
veja demonstrao em [Rolfsen(1976)], pag. 107.
28
Teorema 4.6 (Teorema do toro de Alexander) Um toro T 2 mergulhado (PL) em S 3 divide

este espao em duas partes sendo pelo menos uma delas homeomorfa ao toro slido S 1 D2 .
Veja generalizaes destes resultados em [Larcio/Saeki (2002)], [Larcio/Saeki (2005)] e
[Larcio/Oziride/Saeki], em particular vejam abaixo um resultado de [Larcio/Saeki (2002)]
muito interessante.
Teorema 4.7 Se p, q 1 e p + q = r com r mpar, ento existem para cada n, inteiro no
nulo, mergulhos distintos fn : S p S q S r , S p+q+r+1 tal que o fecho de nenhuma das duas
componentes de S p+q+r imagem fn homologicamente equivalente ao produto de duas esferas
e um disco.
Uma pergunta que se coloca imediatamente se um bi-toro mergulhado em S 3 sempre
bordar em pelo menos um dos lados o correspondente "handlebody". A resposta negativa,
veja exemplo na figura 4.2 acima, onde ambos os lados do mergulho em S 3 possui um pedao
homeomorfo ao complementar de um n no trivial.
Exerccio: Calcular o grupo fundamental de cada um dos lados do mergulho da figura 4.2.
Apndice A
Pr-requisitos
A.1
O bsico de Categorias e Funtores
Uma linguagem que facilita muito a apresentao de muitas partes da matemtica a linguagem
de categorias e funtores, portanto aqui vai um resumo deste assunto que espero facilite a
apresentao.
Definio A.1 Uma categoria C constituida de uma classe de objetos A, B, C... e de uma
famlia de conjuntos disjuntos hom(A, B) que pode ser indexada por C C, isto , para cada
par (A, B) de elementos de C C um conjunto hom(A, B), satisfazendo as condies:
(i) Para cada terna de objetos A, B, C, existe uma funo c, que associa cada elemento de
hom(A, B) hom(B, C) um elemento de hom(A, C).
S
(ii) Existe uma funo "1", de C na reunio dos conjuntos disjuntos A hom(A, A) que associa a cada A de C um elemento 1A da reunio com 1A hom(A, A).
Alm disso devemos ter satisfeitas as duas exigncias abaixo para as funes consideradas:
i. Associatividade da funo c (denominada composio), isto , seja hom(A, B),
hom(B, C) e hom(C, D), ento, c(c(, ), ) = c(, c(B, ))
ii. Identidade das funes 1, isto , se hom(A, B) ento c(, 1B ) = = c(1A , )
Escreveremos por simplicidade:
(a) : A B para hom(A, B); ser denominado "morfismo de C"com "domnio A"
e "contradomnio B".
(b) c(, ) ser indicado que pelas condies apresentadas s ter sentido se o domnio
de for o contradomnio de .
(c) claro que a tripla composio tem significado quando os domnios e contradomnios forem compatveis.
Um elemento hom(A, B) ser chamado uma equivalncia em C se existir
hom(B, A) tal que = 1A e = 1B ( claro que neste caso, tambm ser uma
equivalncia).
29
APNDICE A. PR-REQUISITOS
30
Se um elemento hom(A, B) uma equivalncia, ento o elemento tal que = 1A

e = 1B nico.
Vejamos: seja outro elemento de hom(B, A) | = 1A e = 1B , ento teremos
= 1A = = 1B =
O elemento nas condies acima, fica bem definido pela (quando existir) e ser denominado inverso de sendo indicado 1 .
Exemplos de Categorias:
1. A classe constituida de um nico grupo G, isto , a categoria ter apenas um elemento;
hom(G, G) ser considerado como sendo o prprio G.
A aplicao c ser definida por c(a, b) = a b onde a operao existente em G. A
aplicao "1"ser a aplicao que g G associa o elemento neutro. fcil verificar as
condies.
2. RM constituida de todos os mdulos a esquerda de um anel R. Os objetos so os Rmdulos, isto , A, B, C... so os R-mdulos. hom(A, B) ser o conjunto HomR (A, B) de
todos os homomorfismos de R-mdulos de A em B. A composio (c) a usual. fcil
verificar as condies.
3. A classe de todos os conjuntos tomando como morfismos as funes entre os conjuntos.
4. A classe de todos os grupos tomando-se como morfismos os homomorfismos entre elas.
5. A classe dos grupos abelianos tambm como morfismos os homomorfismos.
6. A classe dos espaos topolgicos com os morfismos as aplicaes contnuas entre eles.
Dadas duas categorias C e D um Funtor covariante T est definido de C para D quando
tivermos:
(a) A cada objeto A de C fica associado um nico objeto T (A) de D.
(b) A cada morfismo de C fica associado um nico morfismo T () de D, onde estas associaes
respeitam as condies:
(1) T (1A ) = 1T (A)
(2) Se : A B hom(A, B) ento T () : T (A) T (B)
(3) T ( ) = T () T ()
Um Funtor Contravariante definido da mesma forma, mas com as condies (1) e:
(2) Se : A B ento T () : T (B) T (A).
(3) T ( ) = T () T ().
Dados os funtores T : C D e S : D E definimos o funtor composto T S : C E por:
(T S)(A) = T (S(A)) e T S() = T (S())).
fcil verificar que T S um funtor da categoria C na categoria E e que o composto
de dois funtores covariante se ambos forem covariantes ou ambos forem contravariantes e o
composto contravariante se eles no forem ao mesmo tempo covariantes ou contravariantes.
Exemplos de funtores:
1. i um funtor da categoria dos espaos topolgicos pontuados na categoria dos grupos.
2. Hq um funtor da categoria dos pares de espaos topolgicos na categoria dos grupos
abelianos.
A.2
31
O bsico de Superfcies (e Variedades)
Uma categoria importante so as variedades topolgicas, (PL, diferenciveis, etc) com as aplicaes contnuas (PL, diferenciveis, etc) entre elas. uma sub categoria da categoria dos
espaos topolgicos e aplicaes contnuas.
Definio A.2 Uma variedade de dimenso n, W n um espao topolgico que pode se coberto
por imagens de aplicaes contnuas (cartas ou parametrizaes) x : U W n onde U um
aberto de Rn , x(U ) aberto de W n e cada x : U x(U ) um homeomorfismo.
Se para duas quaisquer cartas, x1 e x2 cujas imagens se interceptam, tivermos que a aplicao composta (mudanas de coordenadas!) (x2 )1 x1 : U1 U2 for PL ou diferencivel
(digamos de classe C k ), dizemos que W n uma variedade de classe C k , se as mudanas de
coordenadas s forem PL ou contnuas dizemos que W n uma variedade PL ou topolgica (C 0 ).
Muitas vezes j supomos que o espao W n , ao qual se quer dar uma estrutura de variedade,
j se situa em algum RN e as cartas so parametrizaes que generalizam os conceitos clssicos
de curvas e superfcies parametrizadas. Esta forma de definir variedades mais prtica e
aceitvel j que existem teoremas que provam que, uma uma grande parte das variedade no
sentido geral da definio acima, sempre mergulha em algum RN .
Uma aplicao entre duas variedades N n e M m dita PL ou diferencivel de classe C k , se
quando escrita em coordenadas (compondo com cartas locais no domnio e no contra-domnio)
forem PL ou de classe C k como aplicaes entre os abertos correspondentes de Rn e Rm . Se
k = 0 dizemos que a aplicao continua.
Exemplos de variedades:
1. Rn ou qualquer de seus abertos so variedades de dimenso n.
2. S n = {(x1 , x2 , .., xn+1 ) Rn+1 com k (x1 , x2 , .., xn+1 ) k= 1} a esfera unitria de Rn+1 uma
variedade de dimenso n.
3. O produto cartesiano de duas variedades uma variedade.
Uma variedade com bordo se define como acima s que pedimos que os domnios U so
abertos de H n = {(x1 , x2 , .., xn ) Rn , com xn 0}. Observe ento que podemos ter pontos
de dois tipos, um tipo onde sua vizinhana so os abertos U que se situam em {(x1 , x2 , .., xn )
Rn , com xn > 0} que so abertos usuais de Rn e outros pontos cuja vizinhana tem a forma
de H n , estes sero os pontos do bordo da variedade considerada.
Exemplos de variedades com bordo:
1. H n uma variedade com bordo, seu bordo H n = {(x1 , x2 , .., xn ) Rn , com xn = 0} =
Rn1 e o seu interior int(H n ) = {(x1 , x2 , .., xn ) Rn , com xn > 0}.
2. Dn = {(x1 , x2 , .., xn ) Rn com k (x1 , x2 , .., xn ) k 1} o disco unitrio de Rn uma variedade
com bordo, seu bordo a esfera S n1 . O interior de Dn uma variedade aberta. Usa-se a
terminologia variedade fechada para uma variedade compacta e sem bordo, como S n .
32
3. I n = [0, 1]n o n-cubo de Rn uma variedade com bordo de dimenso n, seu bordo
homeomorfa esfera S n1 , um caso particular I = [0, 1] o intervalo da reta que uma
variedade de dimenso 1 e seu bordo {0, 1} (compare com o exemplo anterior).
Exerccio: Encontre todas as variedades conexas de dimenso 1, com ou sem bordo a menos
de homeomorfismo.
Uma superfcie bastante popular, a faixa de Mbius, obtida do quadrado I 2 = {(x, y) R2
tal que 0 x 1 e 0 y 1} identificando-se os pontos do segmento esquerda (0, y) I 2
com os pontos correspondentes aos segmento direita (1, 1 y) I 2 , onde 0 y 1. Vamos
denotar a Faixa de Mbius por M2 . Note que o seu interior, isto M2 menos o seu bordo M2
(que homeomorfo um circulo S 1 !)( tambm chamada faixa de Mbius). M2 o prottipo
da superfcie no orientvel, isto , ela s tem um lado!!
Qualquer superfcie ser dita no orientvel se contiver uma sub-superfcie homeomorfa a
M2 , caso contrario ser dita orientvel.
Podemos criar um prottipo para uma variedade no orientada de dimenso n, basta considerar o n-cubo I n = {(x1 , x2 , ....., xn ) onde 0 xi 1 i = 1, 2, ..., n} e identificar os pontos do
(n-1)-cubo " esquerda"{(0, x2 , x3 ..., xn ) I n onde 0 xi 1 i = 2, ..., n} com os pontos correspondentes ao (n-1)-cubo " direita" {(0, 1x2 , x3 ..., xn ) I n , onde 0 xi 1 i = 2, ..., n},
assim obtemos a variedade compacta com bordo que denotaremos Mn .
Uma variedade de dimenso n ser no orientvel se contiver uma sub-variedade de dimenso
n homeomorfa a Mn , caso contrrio ser dita orientvel.
Para uma variedade orientvel possvel escolher duas orientaes, quando feita esta escolha
dizemos que temos uma variedade orientada.
Construindo variedades
J observamos que o produto cartesiano de duas variedades uma variedade. Podemos
construir com isso muitas variedades, usando algumas que j conhecemos.
Uma outra forma de construir variedades e tomar duas variedades com bordos homeomorfos
(difeomorfos) e col-las atravs do bordo usando um homeomorfismo (difeomorfismo).
Uma operao bastante importante na categoria das variedades a soma conexa de duas
variedades.
Definio A.3 Dadas duas variedades M1 e M2 de mesma dimenso n a soma conexa
M1 ]M2 definida da seguinte forma: escolha discos D1n M1 e D2n M2 remova os interiores
destes discos. Nas variedades surgem as componentes de bordo S1n1 = D1n e S2n1 = D2n ,
"colamos" estas esferas atravs de um homeomorfismo (ou um difeomorfismo se as variedades
forem diferenciveis) : S1n S2n obtemos a soma conexa M1 ]M2 .
Teorema A.1 Classificao de Superfcies As superfcies, conexas, compactas e sem bordo
so classificadas, a menos de homeomorfismo, segundo a lista:
33
1. Orientveis: a esfera S 2 , o toro T2 = (S 1 S 1 ) e as somas conexas de toros, ]gi=1 (T 2 )

onde g = 1, 2, 3, .... chamado genus da superfcie orientvel correspondente. Diz-se que S 2
tem genus 0.
2. No orientveis: o espao projetivo RP2 e somas conexas de espaos projetivos, ]gi=1 (RP2 )
onde g = 1, 2, 3, .... chamado genus da superfcie no orientvel correspondente.
Detalhes e demonstraes podem ser vistas em [Moise] ou [Massey].
A classificao das superfcies compactas e conexas com bordo feita da seguinte forma:
Verifique se as duas superfcies dadas tem a mesma quantidade de componentes de bordo (que
necessariamente so um nmero finito de crculos S 1 ), se estas quantidades forem diferentes
ento as superfcies so diferentes, se forem iguais, ento cole um disco D2 em cada componente
de bordo de cada superfcie, fazendo com que as mesmas se tornem superfcies sem bordo. Use
o teorema acima para verificar se as duas superfcies, conexas, compactas e sem bordo obtidas
so homeomorfas, se forem, ento as iniciais tambm sero.
As superfcies so espaos topolgicos triangulveis, isto , so homeomorfas a poliedros
montados (de forma regulamentada) com vrtices, arestas e faces triangulares. As superfcies
compactas tero um nmero finito destes ingredientes. Defini-se a Caracterstica de Euler
de uma superfcie compacta M por (M ) = nmero de vrtices - nmero de arestas + nmero
de faces, obtidos de qualquer triangulao de M . Prova-se que este nmero (M ) no depende
da triangulao (s depende da classe e homeomorfismo da superfcie), isto , (M ) um
invariante topolgico e usado para distinguir as superfcies acima descritas.
fcil obter o seguinte resultado: Se M orientvel ento seu genus g = [2 (M )]/2 e se
M no orientvel ento g = [2 (M )].
Definio A.4 Dada variedades M m e N n , n m se diz que N n sub-variedade de M m
se N n M m e se for possvel parametrizar os pontos de N n , vistos como pontos de M m , por
cartas x : Rm M m tal que x |Rn : Rn N n sejam cartas para N n .
Definio A.5 Seja f : N n M m uma aplicao contnua (PL, diferencivel) entre duas
variedades, isto , um morfismo na categoria correspondente. Se f : N n f (N n ) = imagem
de f em M m for um homeomorfismo (PL, difeomorfismo), ento dizemos que f um mergulho
de N n em M m .
Dizemos que N M tem colarinho duplo se existe mergulho i : N [1, 1] , M tal que
i(x, 0) = x, x N , nesta situao N n mansa em M m .
Definio A.6 Seja N n uma subvariedade compacta topolgica de uma variedade PL, M m .
Dizemos que N n uma subvariedade mansa em M m se existir um homeomorfismo h : M m
M m tal que h(N n ) uma subvariedade PL de M m .
A existncia destes mergulhos e, caso existam, a sua classificao so objetivos de nosso
estudo neste curso. Abordaremos apenas alguns casos mais simples.
A.3
34
O bsico de Homotopia
Nesta seo estamos trabalhando com a categoria dos espaos topolgicos e das aplicaes
contnuas ou na correspondente categoria de pares.
Considere as aplicaes f : Z X e g : Z X, dizemos que f e g so homotpicas
se existir aplicao, denominada homotopia, H : Z [0, 1] X tal que H(z, 0) = f (z) e
H
H(z, 1) = g(z), notao f g, f g ou H : f g.
Muitas vezes, nesta situao dizemos que temos uma familia continua de aplicaes ht :
Z X com h0 = f e h1 = g.
Se A Z temos a noo de homotopia relativa ao subconjunto A, neste caso pede-se que
f|A = g|A e que H satisfaa a condio H(a, t) = f (a) = g(a), a A e t [0, 1].
Na categoria dos pares de espaos topolgicos e aplicaes contnuas de pares, definimos
(X, A) I = (X I, A I) e temos a noo correspondente de homotopia.
Sejam f0 , f1 : (X, A) (Y, B) aplicaes contnuas. Uma homotopia de pares entre f0
e f1 uma aplicao contnua de pares H : (X, A) I (Y, B) tal que H(x, 0) = f0 (x) e
H(x, 1) = f1 (x).
Observe que se H uma homotopia entre aplicaes de pares ento H(A I) B.
Diz-se que (X, A) e (Y, B) tem o mesmo tipo de homotopia de pares se existem
aplicaes contnuas : (X, A) (Y, B) e : (Y, B) (X, A) tais que Id(Y,B) e
Id(X,A) , (homotopia de pares). Nestas condies e so denominadas equivalncias
de homotopia, a verso no relativa clara.
Se A = = B temos a verso usual de homotopia.
Verifica-se facilmente que homotopia uma relao de equivalncia. Em qualquer das situaes acima, denotamos a classe de alguma f : Z X por [f ] ainda denotamos o conjunto das
classes de homotopia por {Z,X}.
Seja h : X Y , ento para toda f : Z X e familia contnua ft : Z X podemos ento
fazer as aplicaes compostas h f : Z Y ou h ft : Z Y , vemos ento que h induz uma
aplicao h : {Z, X} {Z, Y }, definida por h ([f ]) = h f .
Uma deformao de X uma homotopia ft : X X onde f0 = IdX e para todo t, ft um
homeomorfismo.
Dado par (X, A) dizemos que uma homotopia ft : X X uma deformao de X em
A se f0 = IdX , f1 (X) A e ft | A = IdA t [0, 1]. Note que neste caso a homotopia faz os
pontos de X A "fluirem"para dentro de A, enquanto os pontos de A ficam "parados com o
tempo t [0, 1]".
Vejam exemplos de deformaes, muito interessantes, no captulo 1 de [Prasolov].
Dado A um subespao de X. Diz-se que A um retrato de X se existe uma aplicao
contnua r : X A tal que r(a) = a a A, r chamada uma retrao de X sobre
A. V-se facilmente que A um retrato de X se e somente se IdA : A A pode ser
35
prolongada a uma aplicao contnua de X em A. Se iA : A X a incluso, e r : X A

uma retrao, ento temos r iA = IdA
Exemplos
1. Seja Z = S 1 = X, Y = D2 e fn : S 1 S 1 dada por fn (ei. ) = ei.n. , n Z. Sabemos que
se m = n em Z ento {fn } = {fm }, sabemos tambm que toda f : S 1 S 1 homotpica a
alguma das fn isto temos um bijeo {S 1 , S 1 } Z. Por outro lado, fcil ver que todas as
aplicaes g : S 1 D2 so homotpicas entre si e homotpicas a qualquer aplicao constante,
isto {S 1 , D2 } um conjunto unitrio. Se denotamos a incluso i : S 1 , D2 ento i
constante, isto , duas aplicaes quaisquer de S 1 em S 1 quando consideradas como aplicao
de S 1 em D2 so sempre homotpicas.
2. Seja o par (X, A) = (D2 , [1, 1]), ento ht (x, y) = (x, (1 t)y) deformao de D2 em
[1, 1].
3. Seja o par (X, A) = (D2 {(0, 0)}, S 1 ), note que S 1 o bordo de D2 ento ht (x, y) =
(1 t)(x, y) + t.{(x, y)/[(x2 + y 2 )]1/2 } uma deformao de D2 {(0, 0)} em S 1 .
Lema A.1 Se existe uma deformao de X em A ento para todo espao topolgico Z, temos
que i : {Z, A} {Z, X} uma bijeo, onde i a induzida da incluso i : A , X.
Prova: Seja ht : X X uma deformao de X em A, vejamos que i sobrejetiva. Seja
[f ] {Z, X} ento f : Z X, consideremos ento ht f que uma homotopia entre f e
g = h1 f note que g(Z) A logo g pode ser considerada como uma aplicao de Z em A,
isto [g] {Z, A} e claro que i [g] = [f ].
Vejamos agora que i injetiva. Sejam [f0 ] e [f1 ] em {Z, A} tal que i [f0 ] = i [f1 ] Note
que f0 (Z) A e f1 (Z) A, alm disso existe homotopia entre f0 e f1 quando tomadas com
aplicaes de Z em X, seja ft : Z X esta homotopia. Temos que h1 ft : Z X tambm
uma homotopia, como f0 (Z) A segue tambm que z Z temos h1 (f0 (z)) = f0 (z) e da
mesma forma z Z temos h1 (f1 (z)) = f1 (z) ento h1 ft uma homotopia entre f0 e f1 .
Mas h1 (Z) A ento h1 ft (Z) A t [0, 1] logo h1 ft uma homotopia em A entre f0 e
f1 , isto [f0 ] = [f1 ] em {Z, A}, portanto i injetiva.
Dizemos que um espao topolgico X contravel se a aplicao identidade IdX : X X
homotpica uma aplicao constante de X em X. Isto equivalente a dizer que X se
deforma em algum de seus pontos.
Consideremos agora o caso de "espaos topolgicos pontuados" e "aplicaes (contnuas!)
pontuadas", isto estaremos considerando pares (Z, z0 ) onde Z espao topolgico e z0 Z um
ponto base. As aplicaes consideradas f : (Z, z0 ) (Y, y0 ) levam ponto base em ponto base.
Nesta "categoria" uma homotopia H deve satisfazer a condio H(z0 , t) = y0 t [0, 1]. As
classes de homotopias so ditas com ponto base (ou "baseadas"!). A notao, para diferenciar
da no baseada [(Z, z0 ), (Y, y0 )] mas se no h dvidas sobre quem so os pontos bases, usamos
a notao [X, Y ]. A notao para a classe de alguma f ser a mesma que a no pontuada [f ] pois
o contexto em geral deixa claro em que categoria estamos. Existe uma aplicao (esquecimento)
entre [Z, Y ] e {Z, Y }, que leva [f ] em [f ], sendo esta ultima a classe de homotopia considerada
sem ponto base. Esta aplicao em geral no uma bijeo. Outro fator importante a ser
considerado quando os espaos no so conexos por caminho. Neste caso os conjuntos podem
mudar muito se mudamos as escolhas dos pontos bases em componentes conexas por caminho
36
diferentes, por isto, estaremos considerando em geral espaos conexos por caminho quando
estivermos trabalhando na categoria pontuada. Nestas condies, para uma boa quantidade de
tipos de espaos topolgicos (conexos) a mudana do ponto base vem acompanhada com uma
bijeo natural entre o conjunto das classes correspondentes, por isso a notao simplificada
no atrapalha. Neste contexto temos deformaes pontuadas e vale o lema abaixo.
Lema A.2 Se existe uma deformao de X em A (ponto base em A) ento i : [Z, A] [Z, X]
uma bijeo onde i a incluso de A em X.
O Grupo Fundamental de um espao topolgico
Seja X um espao topolgico conexo por caminhos e p um ponto em X , temos ento o par
(X, p), vamos definir o grupo fundamental deste espao pontuado, que ser denotado 1 (X, p)
ou mais abreviadamente 1 (X).
Uma aplicao f : [0, 1] X um caminho em X ligando f (a) a f (b), se temos outro
caminho g tal que g(0) = f (1), podemos fazer a concatenao destes caminhos, definindo um
caminho (f g) : [0, 1] X por (f g)(t) = f (2t) se 0 t 1/2 e (f g)(t) = g(2t 1) se
1/2 t 1, que percorrer, no mesmo "tempo" [0, 1], os dois caminhos dados na ordem pr
estabelecida. Podemos tambm definir o caminho inverso de f , isto , ele percorre o mesmo
caminho que faz f , porem no sentido contrrio, denotemos por f este caminho que definido
por f (t) = f (1 t), t [0, 1].
fcil ver que a concatenao de caminhos no associativa, isto , (f g) h em geral
diferente de f (g h).
Seja (S 1 , q) o circulo pontuado, conforme a convenincia da notao, o circulo ser visto
como subespao de R2 ou C ou como quociente de [0, 1] ou [0, 2] ou [a, b], pelos seus pontos
extremos, neste caso o ponto base ser o ponto correspondente aos identificados.
Note que se X no for conexo por caminhos, o que estaremos fazendo nesta seo definir
o grupo fundamental da componente conexa por caminhos do ponto base p, por isso, desde o
comeo, tomamos por facilidade, X conexo por caminhos.
Dada aplicao de f : (S 1 , q) (X, p) obtm-se de forma natural aplicao correspondente
f 0 : ([a, b], {a, b}) (X, p) e vice-versa, alm disso, f g se e somente se f 0 g 0 . Qualquer
destas aplicaes chamada um lao em X com ponto base em p.
Notemos que uma homotopia de laos, uma homotopia fs tal que s [0, 1] fs um lao
em (X, p).
Como um lao um caso especial de caminho, podemos fazer a concatenao de laos.
Como foi observado anteriormente, a concatenao de caminhos, ou particularmente de laos,
no associativa porm se considerarmos as classes de homotopia de laos vemos que os dois
laos (f g) h e f (g h) so homotpicos, logo em [([0, 1], {0, 1}), (X, p)] , [(f g) h]
e [f (g h)] so o mesmo elemento. Temos portanto uma boa definio de um produto no
conjunto [([0, 1], {0, 1}), (X, p)] dado por [f ].[g] = [f g].
Definio A.7 O grupo fundamental de X em p, denotado 1 (X, p), o conjunto das classes de homotopia baseada de laos em X com ponto base p, ou seja, o conjunto [([0, 1], {0, 1}), (X, p)]
(ou [(S 1 , q), (X, p)]) com o produto [f ].[g] = [f g], elemento inverso [f ]1 = [f ] e elemento
neutro dado pela classe do caminho constante em p.
A prova de que a operao acima bem definida e que realmente d ao conjunto um estrutura
de grupo, extensa, omitiremos.
37
Definio A.8 Homomorfismo induzido por aplicao contnua Dada uma aplicao
F : (X, x0 ) (Y, y0 ), define-se um homomorfismo F : 1 (X, x0 ) 1 (Y, y0 ), por F ([f ]) =
[F f ].
fcil verificar que F um homomorfismo de grupos, que Id(X,x0 ) = Id1 (X,x0 ) e que
(G F ) = G F , em outras palavras se denotssemos F por 1 (F ) ento 1 um funtor
covariante da categoria dos espaos topolgicos baseados e aplicaes contnuas baseadas na
categoria dos grupos e homomorfismos de grupos.
Exemplos
1. fcil mostrar que se X for convexo ou contravel ento 1 (X) = (0).
2. Seja (X, p) = (S 1 , 1) e usemos por convenincia o intervalo [0, 2] como domnio dos laos
para 1 (S 1 , 1). possvel provar que todo lao f : ([0, 2], {0, 2}) (S 1 , 1) homotpico
um dos laos fn () = ei.n. , n Z e que (fi fj ) fi+j , conclumos que 1 (S 1 , 1) Z.
3. Sejam (X, p) e (Y, q) espaos topolgicos pontuados, fcil verificar que 1 (X Y, (p, q))
1 (X, p) 1 (Y, q).
Para a demonstrao do proximo teorema, veja por exemplo [Armstrong] pag. 138.
Teorema A.2 (Teorema de Seifert-van Kampen)
Sejam X = A B espaos topolgicos, i : A , X e j : B , X as incluses, onde A, B
e A B so subespaos conexos de X e considere o ponto base destes espaos x0 A B.
Suponha que os grupos fundamentais de A, B e A B sejam dados pelas apresentaes:
1 (A, x0 ) =< a1 , a2 , .... | r1 , r2 , ..... >,
1 (B, x0 ) =< b1 , b2 , .... | s1 , s2 , ..... >
e 1 (A B, x0 ) =< c1 , c2 , .... | t1 , t2 , ..... >, ento:
1 (X, x0 ) =< a1 , a2 , ...., b1 , b2 , .... | r1 , r2 , ....., s1 , s2 , ....., i (c1 ) = j (c1 ), i (c2 ) = j (c2 ), ... >.
A definio dos grupos de homotopia em dimenso maior cabe (sem as demonstraes,
claro!) neste cantinho, vejamos: q (X, x0 ) o conjunto das classes de homotopia de aplicaes
de pares f : (I q , I q ) (X, x0 ). Dadas duas destas aplicaes podemos concentrar cada uma
delas em uma "metade"do q-cubo I q , definindo, a soma de duas funes que, em nvel de
homotopia, fica bem definida. Desta forma o conjunto ganha uma operao tornando-se um
grupo abeliano pois em dimenso 2 possvel concentrar um pouco mais as funes dentro
do q-cubo e "rodar"os domnios destas funes concentradas, trocando-as de posio dentro
q-cubo inicial. O elemento neutro e os inversos so definidos de forma natural. Da mesma
forma, dada aplicao contnua F : (X, x0 ) (Y, y0 ) define-se Fq : q (X, x0 ) q (Y, y0 ) por
Fq ([f ]) = [F f ] e verifica-se facilmente que Fq um homomorfismo, que se chamado q (F ),
mostra-nos que q um funtor covariante chegando agora na categoria dos grupos abelianos.
A.4
38
O bsico sobre Espaos de Recobrimento
Nesta seo estaremos supondo todos os espaos conexos, localmente conexos por caminhos
e semi-localmente simplesmente conexos. As demonstraes das proposies e mais exemplos
podem ser vistas em [Elon1] ou [Armstrong].
e X chamada uma aplicao de recobrimento se todo
Definio A.9 Uma aplicao f : X
ponto x de X possui vizinhana aberta Wx de tal forma que f 1 (Wx ) uma familia {Vi } de
e
abertos disjuntos tal que a restrio f|Vi : Vi Wx um homeomorfismo. Dizemos que X
um espao de recobrimento de X.
Exemplos de aplicaes de recobrimento
1. Todo homeomorfismo trivialmente uma aplicao de recobrimento.
2. Exp : R S 1 dada por Exp(t) = ei.t .
3. fn : S 1 S 1 dada por fn (ei.t ) = ei.n.t onde n um inteiro.
Seja p em X e q f 1 (p), as aplicaes de recobrimento possuem as propriedades bsicas:
Propriedade do levantamento de caminhos, isto , dado um caminho c : [0, 1] X
e com e
com c(0) = p, ento existe um nico caminho (levantamento de c) e
c : [0, 1] X
c(0) = q
e tal que f e
c = c.
Propriedade do levantamento de homotopias, isto , seja dada uma homotopia (entre
dois caminhos) F : [0, 1] [0, 1] X onde F (0, t) = p = F (1, t), 0 t 1 ento existe
e que satisfaz f Fe = F ,
uma nica aplicao (levantamento de F ), Fe : [0, 1] [0, 1] X
Fe(0, t) = q, 0 t 1.
A seguir apresentamos alguns resultados importantes, e teis, da teoria de espaos de recobrimento:
e X ento a induzida da f no grupo fundamental
Dada aplicao de recobrimento f : X
e q) 1 (X, p) injetiva e nos grupos de homotopia de dimenso 2 as induzidas
f : 1 (X,
so isomorfismos.
Um caminho fechado c : [0, 1] X com ponto base p, levanta-se um caminho fechado
e com ponto base q se e somente se a classe de homotopia [c] pertence imagem de f .
em X
Para todo ponto x X a cardinalidade da fibra f 1 (x) igual ao ndice da imagem
e x
e x
de f : 1 (X,
e) 1 (X, x), alm disso a coleo de subgrupos {f (1 (X,
e)), x
e f 1 (x)}
constituem-se numa classe de conjugao de subgrupos de 1 (X, x), classe esta determinada
e q)).
pela imagem f (1 (X,
A.5
39
O bsico de Algebra Homolgica
Complexos de Cadeia
Um complexo de cadeias C = (Cq , q )qZ um par de seqncias; uma seqncia de
grupos abelianos (Cq )qZ e uma seqncia de homomorfismos q : Cq Cq1 tal que
q1 q = 0, para todo inteiro q.
Freqentemente um complexo de cadeias ser representado por uma seqencia longa
p+1
Cp+1 Cp Cp1
Os elementos de Cp so denominados p-cadeias e os homomorfismos p operadores
bordo.
Nas aplicaes que faremos nesta seo teremos normalmente Cp = (0) se p < 0. Nestas
mesmas aplicaes Cp sero grupos abelianos livres.
A um complexo de cadeias C = (Cq , q ) se associa de modo natural certos sub-grupos dos
grupos de cadeias Cq em cada dimenso q:
Zq (C) = kerq = Ncleo de q e Bq (C) = Imq+1 = q+1 (Cq+1 ) = Imagem de q+1 .
Os elementos de Zq (C) so chamados q-ciclos de C e os de Bq (C) q-bordos de C.
Como q q+1 = 0 temos Bq (C) Zq (C) para todo inteiro q:
Hq (C) = Zq (C)/Bq (C) chamado o grupo de homologia de C na dimenso q. Os
elementos de Hq (C) so chamados classes de homologia de dimenso q.
Se z Zq (C) a classe de homologia de z ser denotada por {z}.
0
0
0
Dados dois complexos de cadeias C = (Cq , q ) e C = (Cq , q ) uma aplicao de
0
0
cadeias : C C uma uma famlia de homomorfismos = (q ), q : Cq Cq , tal que,
0
0
q q = q1 q , q Z. Uma aplicao de cadeias : C C entre dois complexos pode ser
imaginada como uma escada infinita
Cp+1
p+1
0
Cp+1
p+1
Cp
p
p+1
Cp1
p1
0
Cp1
Cp0
sujeita condio de que cada retngulo deste diagrama comutativo.

Seja C = (Cq , q ) um complexo de cadeias. Por um sub-complexo de cadeias D de C
0
entendemos uma seqncia de subgrupos Dq Cq e de homomorfismos q : Dq Dq1 tais
0
que q = q |Dq . Notao: D C.
Uma seqncia de subgrupos Dq Cq definem um sub-complexo se e somente se a
seqncia for estvel em relao aos operadores bordo, isto , q Dq Dq1 .
Dado um sub-complexo D C define-se o complexo quociente E = C/D como o
onde Eq = Cq /Dq e q : Eq Eq1 definido por
complexo da cadeias E = (Eq , ),
passagem ao quociente de q (visto que q Dq Dq1 ).
Lembramos que os elementos de Eq = Cq /Dq so classes de restos c + Dq , c Cq , onde a
0
0
definio de adio (c+Dq )+(c +Dq ) = (c+c )+Dq . E o operador bordo q , obtido de q por
passagem ao quociente, atua nas classes de restos segundo a frmula q (c + Dq ) = (q c) + Dq1 .
Verifica-se imediatamente que q1 q = 0.
40
0
Proposio A.1 Dada uma aplicao de cadeias : C C ,temos:

0
(i) (q (Cq )) definem um sub-complexo de C ;
(ii) (kerq ) definem um sub-complexo de C.
0
De fato, seja Eq = q (Cq ) e c0 Eq , ento existe c Cq tal que q (c) = c , donde

0 0
q c = q 0 q (c) = q1 q (c) q1 (Cq1 ) = Eq1 .
0
0
Logo q 0 Eq Eq1 , e temos um sub-complexo (Eq , q ), onde q = q |Eq , logo vale (1).
0
Para verificar (ii), seja Dq = kerq . Se c Dq , q (c) = 0, logo q1 (q c) = q (q (c)) =
0
q (0) = 0. Logo q c Dq1 .
0
Estes sub-complexos sero denotados: ker = (kerq , q ) e Im = (q (Cq ), q ).

Pp+1
Pp1
Pp
Uma seqncia longa Ap+1 Ap Ap1 chamada uma seqncia de

ordem 2 ou semi exata, se Imagem de Pp+1 kernel de Pp , para todo inteiro q e diz-se exata
se Imagem de Pp+1 = kernel de Pp , para todo inteiro q.
0
0
Proposio A.2 Se : (C, D) (C , D ) uma aplicao de pares de cadeias ento :
0
0
C/D C /D uma aplicao de cadeias dos complexos quocientes.
Demonstrao: Basta verificar a comutatividade do diagrama abaixo:

Cp /Dp
p
Cp0 /Dp0
p0
p1
0
0
Cp1 /Dp1 Cp1
/Dp1
0
Por definio temos p (c + Dp ) = p (c) + Dp e p (c + Dp ) = p (c) + Dp1 , portanto,
0
0
0
0
0
0
p (p (c + Dp )) = p (p (c) + Dp ) = p p (c) + Dp1 = p1 (p (c)) + Dp1 = p1 (p c + Dp1 ) =
p1 p (c + Dp ), o que prova a comutatividade do diagrama e a proposio.
0
Seja : C C uma aplicao de cadeias, induz, de modo natural, uma famlia de

0
homomorfismos , entre os grupos de homologia de C e C ,
0
q : Hq (C) Hq (C ), q Z.
0
Basta observar que, para cada q, q (Zq (C)) Zq (C 0 ) e q (Bq (C)) Bq (C ).

0
De fato se z Zq (C) ento q z = 0, logo q q (z) = q1 (q z) = q1 (0) = 0, isto ,
q (z) Zq (C 0 ); por outro lado, se b Bq (C), existe c Cq+1 tal que b = q+1 c.
0
0
0
0
Logo q (b) = q q+1 c = q+1 q+1 (c) = q+1 c , isto q (b) Bq (C ). Temos portanto:
0
q : Hq (C) = Zq (C)/Bq (C) Zq (C )/Bq (C ) = Hq (C )

0
Definio A.10 Dada aplicao de cadeias : C C para cada q temos q como acima.
A famlia de homomorfismos = (q ) chamado homomorfismo induzido de na
homologia.
O homomorfismo induzido goza das seguintes propriedades de verificao trivial.
Se : C C a identidade, ento = identidade.
0
Se : C C nula, ento nula.
0
Se : C C e : C C
00
41
so aplicaes de cadeias, ento ( ) = .
Seqncia Exata de Homologia

0
Seja C = (Cq , q ) um complexo de cadeias, D = (Dq , q ) um sub complexo de C, i : D C

a incluso, j : C C/D e a projeo cannica so ambas aplicaes de cadeias.
Temos ento a seguinte seqncia exata de complexos de cadeias:
j
0 D C (C/D) 0.
Nestas condies, vamos definir uma famlia de homomorfismos q : Hq (C/D) Hq1 (D),
da seguinte forma:
Uma q cadeia de C/D, c + Dq um ciclo se e somente se q c Dq1 .
Definimos q {c + Dq } = {c} Hq1 (D).
0
0
00
Se c + Dq um segundo representante de {c + Dq } ento c c = c + dq , com
00
0
0
c Cq+1 , dq Dq e c c = q dq , isto os ciclos c e c de Zq1 (D) diferem por
0
um bordo de D, logo {c} = {c } em D e portanto q fica bem definida. Com um pouco
de pacincia possvel verificar que q tambm um homomorfismo.
Os homomorfismos da coleo acima q : Hq (C/D) Hq1 (D) so chamados homomorfismos de conexo.
i
Teorema A.3 seqncia exata curta de complexos 0 D C C/D 0 associa-se a

seqncia exata longa:
q+1
iq
jq
.. Hq+1 (C/D) Hq (D) Hq (C) Hq (C/D) Hq1 (D) ...

A demonstrao de que a seqencia exata, longa, no faremos aqui.
A seqencia acima chamada Seqncia de Homologia do par (C, D).
Simplificamos a notao fi por fi quando no houver perigo de confuso.
Naturalidade da Seqncia de Homologia do par
0
Consideremos uma aplicao de cadeias : (C, D) (C , D ) entre dois pares de complexos.

Temos um diagrama comutativo,
j
i0
C0
D0
C/D

j0
C 0 /D0 0
0
onde = |D e obtida por passagem ao quociente, so ambas aplicaes de cadeias.
Passando s respectivas seqncias de homologia, obtemos o diagrama "escada", comutativo,
infinito:
iq
jq
... Hq (D) Hq (C)

0
q
q
jq
Hq1 (D) ...

0
q1
0
iq
Hq (C/D)
q
... Hq (D ) Hq (C ) Hq (C /D ) Hq1 (D0 ) ...

0
Nos primeiros dois retngulos, a comutatividade provm do diagrama precedente e de propriedade das induzidas das aplicaes de cadeia. A verificao da comutatividade do terceiro
42
retngulo imediata a partir da definio de q .

De fato, seja c + Dq Zq (C/D), isto c Dq1 . Por definio {c + Dq } = {c} e
0
0
0
0
0
0
q {c + Dq } = {q c + Dq }, onde q = {q c + Dq } = { q c} Hq1 (D ) e portanto
0
0
0
q {c + Dq } = q {c} = {q1 q c} = { q c}, usando-se a definio de aplicao de cadeias.
Logo o terceiro retngulo tambm comutativo.
A.6
43
O bsico de Homologia
Os axiomas de Eilenberg-Steenrod
A Teoria de Homologia importante instrumento da Topologia Algbrica. usada em
diversas outras reas da matemtica. Foi sistematizada atravs dos Axiomas de EilenbergSteenrod o que facilita muito a sua utilizao. Estaremos focalizando a categoria dos pares de
espaos topolgicos e aplicaes contnuas entre estes pares.
Consideramos a identificao X = (X, ), bem como as incluses naturais derivadas do par
de espaos (X, A), que so:
(A, A)
%
&
&
(, ) (A, )
(X, A) (X, X)
(X, )
A cada par de espaos (X, A) e para cada inteiro q, pode-se associar, de maneira bem
definida, grupos abelianos Hq (X, A) e homomorfismos denominados operadores bordo
q = (X,A,q) : Hq (X, A) Hq1 (A),
Alm disso, para toda f : (X, A) (Y, B) e para todo q inteiro pode-se associar homomorfismos de grupos:
fq = (Hq (f )) : Hq (X, A) Hq (Y, B),
ou, abreviadamente:
f : H (X, A) H (Y, B) e : H (X, A) H1 (A) e : H (Y, B) H1 (B).
Para cada q, Hq um funtor covariante.
Eilenberg e Steenrod deram, em 1945, uma descrio axiomtica da Teoria da Homologia
Relativa, estabelecendo os seguintes axiomas.
Axioma A.1 (Identidade) Se Id : (X, A) (X, A) a funo identidade, ento Idq :
Hq (X, A) Hq (X, A) a identidade de Hq (X, A) para todo inteiro q.
Axioma A.2 (Composio) Se f : (X, A) (Y, B) e g : (Y, B) (Z, C) so aplicaes de
pares, ento (g f )q = gq fq para todo inteiro q.
Axioma A.3 Se f : (X, A) (Y, B) e f 0 : A B definida por restrio de f ento, o
diagrama abaixo comutativo para todo inteiro q.
Hq (X, A)
Hq1 (A)
0
fq
fq1
Hq (Y, B)
Hq1 (B)
Axioma A.4 (Seqncia Exata) Para todo par (X, A) fica associada uma seqncia exata
de grupos, denominada seqncia de homologia do par (X, A);
iq
jq
iq1
... Hq (A) Hq (X) Hq (X, A) Hq1 (A) Hq1 (X) ...
44
Axioma A.5 (Homotopia) Se as aplicaes f e g : (X, A) (Y, B) so homotpicas, ento,

fq = gq para todo inteiro q.
Axioma A.6 (Exciso) Se U um aberto de X tal que o fecho de U, esta contido no interior de A, ento, a aplicao incluso e : (X U, A U ) (X, A) induz isomorfismos
eq : Hq (X U, A U ) Hq (X, A), para todo inteiro q.

Axioma A.7 (Coeficiente) Se P um espao topolgico unitrio, ento, Hq (P ) = 0 se q 6= 0.
Se P espao topolgico unitrio e fixamos H0 (P ) = G ento G chamado grupo dos
coeficientes da teoria de homologia em questo.
Daremos adiante um pouco do que preciso para se construir uma teoria de homologia na
qual fixaremos Z como grupo dos coeficientes.
Alguns Resultados que se obtm diretamente dos axiomas
Proposio A.3 Os grupos de homologia so invariantes do tipo de homotopia, isto , se
f : (X, A) (Y, B) uma equivalncia de homotopia, ento f : H (X, A) H (Y, B).

Demonstrao: Sejam (X, A), (Y, B) pares de espaos que tem o mesmo tipo de homotopia,
isto , existem f : (X, A) (Y, B) e g : (Y, B) (X, A) tal que (f g) e (g f ) so homotpicas
a identidade.
Ento, os axiomas 2 e 5 fornecem: (g f ) = g f = Id e (f g) = f g = Id ,
logo f : H (X, A) H (Y, B) e g : H (Y, B) H (X, A), so isomorfismos.

Como j vimos As aplicaes f e g acima denominam-se equivalncias de homotopia e os
pares de espaos so chamados equivalentes homotpicos.
Proposio A.4 Para todo espao topolgico X temos H (X, X) = 0.
Demonstrao: Pelo axioma 4 temos a seqncia exata de homologia do par (X, X):
iq
jq
iq1
... Hq (X) Hq (X) Hq (X, X) Hq1 (X) Hq1 (X) ...

Logo, para todo q, iq o isomorfismo identidade e, portanto, ker iq = 0 e Im iq = Hq (X).
Como a seqncia exata, temos que ker jq = Im iq = Hq (X).
Temos ento que Im jq = 0 (*).
Como Im q = ker iq1 = 0 temos que ker q = Hq (X, X) (**).
Mas, Im jq = ker q logo (*) e (**) fornecem Hq (X, X) = 0 para todo inteiro q.
Proposio A.5 Se A X um retrato de X, ento, H (X) H (A) H (X, A).
i
Demonstrao: Como A X A, tal que, r i = IdA e, portanto, rq iq = id.

Temos que iq injetora e rq sobrejetora. Consideremos a seqncia exata de homologia do
q+1
iq
par (X, A): ... Hq+1 (X, A) Hq (A) Hq (X) ...

Como i injetora, = 0. Obtemos ento uma famlia de seqncias exatas curtas:
iq
jq
0 Hq (A) Hq (X) Hq (X, A) 0.

Consideremos a aplicao contnua = i r : X X.
45
Verifica-se que q = iq rq : Hq (X) Hq (X) um projetor do grupo abeliano Hq (X),

isto :
q q = (iq rq ) (iq rq ) = iq (rq iq ) rq = iq rq = q , logo Hq (X) Imq kerq
Como rq sobrejetora e iq injetora, vem que Imq = Imiq = iq (Hq (A)) Hq (A).
Ento, Hq (X)
= iq (Hq (A)) ker q e, portanto, ker q Hq (X)/iq (Hq (A)).
Das seqncias exatas curtas acima decorre que Hq (X)/iq (Hq (A))
= Hq (X, A)
Hq (X) iq (Hq (A)) Hq (X, A) Hq (A) Hq (X, A) para todo inteiro q.
e da
Observao Seja {x0 } sub espao constitudo de um nico ponto de X, {x0 } X, ento:
Hq (X) Hq ({x0 }) Hq (X, {x0 }) logo,
Hq (X) Hq (X, {x0 }) para todo q 6= 0 e H0 (X) Z H0 (X, {x0 })
O Teorema de Mayer-Vietoris
Este teorema, que vamos apenas enunciar, relaciona as homologias de certas partes de um
espao com as homologias da interseco destas partes e as homologias da reunio destas partes.
Uma demonstrao pode ser encontrada em [Elon2].
Sejam A e B subespaos topolgicos de X, dizemos que o par {A,B} uma dupla excisiva de
subconjuntos se a incluso de cadeias, que uma aplicao de cadeias, C(A)+C(B) , C(AB)
induz isomorfismo em homologia.
Em particular possvel verificar que se A B = intAB A intAB B ento {A, B} uma
dupla excisiva e se A X ento {X, A} sempre uma dupla excisiva.
possvel provar tambm que {A, B} uma dupla excisiva se e somente se a incluso
(A, A B) , (A B, B) induz isomorfismo em homologia singular.
Teorema A.4 (De Mayer-Vietoris) Se {A, B} uma dupla excisiva ento a seqencia exata
j
i
curta de aplicaes de cadeia, 0 C(A B) C(A) C(B) C(A) + C(B) 0 da origem
uma seqencia longa
...
Hq (A B)
Hq (A) Hq (B) Hq (A B)
Hq1 (A B)
...
onde i (z) = (iA z, iB z) e j (z1 , z2 ) = jA z1 +jB z2 para z Hq (AB), z1 Hq (A) e z2 Hq (B).

A seqencia acima chamada Seqencia de Mayer-Vietoris da dupla excisiva {A, B}.
Relao entre 1 (X, x0 ) e H1 (X; Z)
Para um grupo G, o subgrupo dos comutadores ser denotado [G, G].
O teorema a seguir, devido a Poincar, de grande utilidade, uma prova pode ser vista em
[Elon2], pag. 166.
Teorema A.5 Seja X espao topolgico conexo por caminhos e x0 X ento H1 (X; Z) '
1 (X, x0 )/[1 (X, x0 ), 1 (X, x0 )].
46
Homologia Singular
Existem muitas formas de se obter uma Teoria de Homologia satisfazendo os Axiomas de
Eilenberg-Steenrod, vamos ver aqui uma que acredito seja a mais rpida de ser apresentada, a
Homologia Singular. No veremos todos os detalhes, apenas o suficiente para que o participante
do curso tenha uma idia da construo e do significado geomtrico da homologia.
Considere as incluses R0 R1 R2 . . . Rn R
Consideremos a seqncia de pontos p0 = (1, 0, ...., 0, ....), p1 = (0, 1, ...., 0, ....) etc. pi =
(0, 0, ...., 1, ....) com um 1 na posio i + 1 . Para todo q N , a famlia (p0 , p1 , . . . , pq )
independente e gera Rq+1 .
O q-simplexo euclideano padro o subespao de Rq+1 definido por
q = {x R ; x = qi=0 i pi , i 0 e qi=0 i = 1}
Temos claramente q Rq+1 e os valores i so as coordenadas baricntricas do ponto
x relativamente aos pi s.
Usaremos a notao q = |p0 p1 , . . . , pq | para indicar o simplexo gerado pelos vrtices
p0 , . . . , pq . Verifica-se imediatamente que o 1 2 . . .. Nas primeiras dimenses,
0 = |p0 | = {(1, 0, 0, ...)}, 1 = um segmento ligando p0 = (1, 0, 0...) a p1 = (0, 1, 0...), 2 =
tringulo equiltero, fecho convexo dos pontos p0 , p1 e p2 , etc. Os q-simplexos padro so
subespaos compactos e conexos, alis convexos.
Um ponto x = qi=0 i pi |po p1 . . . pq | diz-se um ponto interno de q se i > 0, 0 i q;
x diz-se um ponto do bordo se existe j = 0. O conjunto dos pontos internos chamado o
q-simplexo padro aberto e denotado por < p0 p1 . . . pq >
Se q = |p0 . . . pq | o q-simplexo padro, qualquer sub seqencia pi0 , . . . , pir dos seus
vrtices gera um r-simplexo |pi0 . . . pir | |p0 . . . pq | denominado uma r-face de q . Em
particular, se r q, r uma r-face de q .
Observe que a quantidade de (q 1)-faces em q (q+1).
Se X um espao topolgico qualquer. Chama-se q-simplexo singular de X a uma
aplicao contnua T : q X, dizemos tambm que dimT = q.
O conjunto dos q-simplexos singulares do espao X denotado C (q , X) nada mais
que conjunto de todas as funes contnuas T : q X.
Lembramos que se E1 e E2 so espaos afins, uma aplicao u : E1 E2 diz-se uma
aplicao linear afim se para toda famlia de pontos (xi ) de E1 e toda famlia quasi-nula de
nmeros reais (i ) tal que i i = 1; tivermos u(i i xi ) = i i u(xi ). Se a famlia (xi )
for independente, u determinada pelos valores u(xi ) (como aplicao da variedade linear
gerada pelos xi a valores no espao E2 ).
Seja iq : |p0 . . . pq | |po . . . pi . . . pq+1 |, onde pi significa omitir o vrtice pi a restrio
a q da aplicao linear definida por pj pj se j < i e pj pj+1 se j i.
Observe que iq uma aplicao bijetora de q sobre uma q-face de q+1 e que existem
(q + 2) destas aplicaes.
47
Seja T : q X um q-simplexo singular de X. Denominamos a i-sima face de T ao

(q 1)-simplexo T i = T iq1 : q1 X, 0 i q; temos que dimT i = (q 1).
Para cada q 0, seja Cq (X) grupo livre abeliano gerado pelo conjunto dos q-simplexos
singulares C(q , X) do espao X. Os elementos de Cq (X) denominam-se q-cadeias
singulares de X; uma q-cadeia singular uma combinao linear formal, finita
i mi Ti ,
Ti C(q , X), mi Z.
Os 0-simplexos singulares de X so aplicaes T : |p0 | X; que podem, para certos

efeitos, serem identificadas a pontos T (p0 ) X. Um elemento de C0 (X) pode por sua vez
ser identificado a uma combinao linear formal (finita) mi xi , xi X, mi inteiro.
Para completar a definio do complexo de cadeias de X, fazemos Cq = (0) se q 1
e queremos definir os homomorfismos q : Cq (X) Cq1 (X). Para q = 0, 0 : C0 (X)
C1 (X) = (0) est automaticamente definido.
Para q > 0, seja T : q X um q-simplexo singular. Fazemos q (T ) = qi=0 (1)T i
Cq1 (X) sobre um gerador e estendemos por linearidade q (j mj Tj ) = mj q (Tj ), denominado operador bordo.
Proposio A.6 q1 q = 0 para todo q(abreviadamente 2 = 0).
Demonstrao: Basta verificar para um gerador T : q X.
(j)
i1
Observemos primeiramente que se j < i, (T (i) ) = (T (j) ) . Temos ento:
q
q
q
q1
X
X
X
X
i (i)
i
(i)
i
q1 (q T ) = q1 ( (1) T ) =
(1) q1 (T ) =
(1)
(1)j (T i )(j)
i=0
i=0
(1)(i+j) (T (i) )(j) =
i=0,...,q
j=0,...,q1
i=0
(j)
(1)(i+j) (T (i) )
0j<iq
j=0
(1)(i+j) (T (i) )(j) .
0ij<q
Usando a observao acima, a primeira soma pode ser escrita,

0j<iq (1)(i+j) (T (i) )(j) = 0j<iq (1)(i+j) (T (j) )(i1)
0
e fazendo i 1 = j , j = i , tem-se:
0
= 0i0 j 0 <q (1)(i +j
+1)
(T (i ) )(j ) = 0i0 j 0 <q (1)(i +j ) (T (i ) )(j )

0
Logo q1 q (T ) = 0i0 j 0 <q (1)(i +j ) (T (i ) )(j ) + 0ij<q (1)(i+j) (T (i) )(j) = 0

O complexo de cadeias C(X) = (Cq (X), q )qZ chamado o Complexo Singular de X.
Conforme terminologia j introduzida, distinguimos no grupo das q-cadeias Cq (X) o subgrupo dos q-ciclos singulares de X, Zq (X) = ker q , e o subgrupo Bq (X) = Im q+1 dos
q-bordos singulares de X.
O Grupo de Homologia Singular de X na dimenso q definido por Hq (X) =
Zq (X)/Bq (X).
48
Lembremos que dois q-ciclos singulares z, z Zq (X) so homlogos, z z , se existe

0
c Cq+1 (X) tal que z z = q+1 c.
Os elementos de Hq (X) so classes de equivalncia de ciclos pela relao de homologia.
Exemplos.
1. Os pontos x e y de X podem ser considerados como 0-ciclos. Em que condies x y,
isto , quando {x} = {y} em H0 (X; Z) ?
Verifiquemos que se x e y esto na mesma componente conexa por caminhos, ento x y.
Por definio, existe aplicao contnua : I X tal que (0) = x, (1) = y. Seja
: 1 I a aplicao linear afim que leva p0 em 0 e p1 em 1 e seja T = , ento
T = T (1) T (0) = y x e x y.
2. Seja T : 1 X um 1-simplexo singular tal que T (1) = T (0) , ento T um ciclo:
T = T (0) T (1) = 0.
3. Seja S 2 = E+ E ; E+ e E hemisfrios norte e sul, respectivamente, E+ E = S 1 o
equador.
Seja T : 2 E+ um homeomorfismo de 2 sobre E+ , a projeo (paralela ao
0
0
eixo norte-sul de E+ sobre E e T = T . Ento z 2 = T T um 2-ciclo da esfera S 2 .
Este ciclo no homlogo a zero, sendo na verdade um ciclo gerador de H2 (S 2 ; Z) Z.
F
4. Seja X =L X a decomposio de X em suas componentes conexas por caminho, ento
Hi (X; Z) '
Hi (X ; Z) para todo i Z (exerccio).
5. Se X conexo por caminhos ento H0 (X; Z) ' Z (exerccio).
7. Seja S n , n 1 a esfera n-dimensional, ento Hi (S n ; Z) ' Z se i {0, n} e Hi (S n ; Z) ' 0
nos outros casos.
Homomorfismo Induzido por Aplicao Contnua
Seja f : X Y uma aplicao contnua.
Para cada inteiro q 0, f induz um homomorfismo f]q : Cq (X) Cq (Y ), que definido
nos geradores de Cq (X) da seguinte forma:
Se T : q X um q-simplexo singular de X, f T : q Y um q simplexo singular
de Y , definimos f]q (T ) = f T .
Prolongando-se por linearidade obtm-se f]q (i mi Ti ) = i mi f]q (Ti ).
Proposio A.7 Dadas aplicaes contnuas f : X Y , g : Y Z, ento, para todo
inteiro q temos (g f )]q = g]q f]q
Demonstrao: Basta verificar para cada gerador T : q X.
Temos (g f )]q (T ) = (g f ) T = g (f T ) = g]q (f T ) = g]q (f]q (T )) = (g]q f]q )(T ).
Lema A.3 Para todo inteiro q, f](q1) (T (i) ) = (f]q (T ))(i) , 0 i q.
Demonstrao: Temos por definio T (i) = T iq1 e f](q1) (T (i) ) = f (T iq1 ) =
(f T ) iq1 = (f T )(i) = (f]q (T ))(i) .
Proposio A.8 A familia (f]q )qZ
49
f]q : Cq (X) Cq (Y ) uma aplicao de cadeias.
Demonstrao: Basta verificar que o seguinte diagrama comutativo pra todo inteiro q.
Cq (X)
q
Cq1
f]q
f](q1)
Cq (Y )
0
q
Cq1 (Y )
suficiente verificar sobre um gerador T : q X de Cq (X). Temos:

(f](q1) q )(T ) = f](q1) (q (T )) = f](q1) (qi=0 (1)i T (i) ) = qi=0 (1)i f](q1) (T (i) )
= qi=0 (1)i (f]q (T ))(i) (lema) = q (f]q (T )) (definio de q ) = (q f]q )(T )
logo f](q1) q = q f]q .
f]q : Cq (X) Cq (Y ), assim definida, chama-se aplicao de cadeias induzida por f .
Especializando para o presente caso o que vimos anteriormente sobre aplicaes de cadeias;
f] : C (X) C (Y ) induz uma famlia de homomorfismos, fq : Hq (X) Hq (Y ), entre os
grupos de homologia, para todo inteiro q.
Os homomorfismos f so denominados homomorfismos induzidos por f na homologia singular.
Homologia relativa
Se A um subespao do espao topolgico X, a incluso i : A , X induz monomorfismos
i]q : Cq (A) Cq (X) para todo q 0, que constituem uma aplicao de cadeias. Isto permite
identificar C (A) a um sub-complexo de C (X).
O complexo de cadeias do par de espaos topolgicos (X, A) definido como o complexo
quociente C (X, A) = C (X)/C (A), isto , Cq (X, A) = Cq (X)/Cq (A) para todo q 0
e operador bordo q : Cq (X)/Cq (A) Cq1 (X)/Cq1 (A) definido a partir de q por
passagem ao quociente.
Os grupos de homologia do complexo (C (X, A), ) so denotados H (X, A), e so
chamados Grupos de Homologia Singular Relativa do par (X,A).
Usando resultados de seo anterior seqncia exata de complexos,
0 C (A) C (X) C (X, A) 0,
obtemos a Seqncia de Homologia Singular do par (X,A)
i
. . . Hq (A)
Hq (X) Hq (X, A) Hq1 (A) . . .
conclumos imediatamente:
Proposio A.9 : A seqncia de homologia singular do par (X, A) exata.
Um representante de Bq (X, A) uma q-cadeia b Cq (X) tal que existe c Cq1 (X) e
a Cq (A) satisfazendo b + a = c. Sejam (X, A) e (Y, B) pares de espaos topolgicos,
f : X Y uma aplicao contnua tal que f (A) B; f define uma aplicao de pares
0
f : (X, A) (Y, B).

cadeias.
50
Para cada q 0, temos um diagrama comutativo de aplicaes de

Cq (X)
i]q
Cq (A)
f] q
(f |A )] q
Cq (Y )
0
i]q
Cq (B)
que define, por passagem ao quociente, aplicaes de cadeias f]q : Cq (X, A) Cq (Y, B). Temos
o seguinte diagrama comutativo de complexos:
0 C (A) C (X) C (X, A) 0
0 C (B) C (Y ) C (Y, B)
Aplicando as consideraes sobre "naturalidade" feitas anteriormente, obtemos o seguinte diagrama comutativo entre as seqncias de homologia,
...
...
Hq (A)
Hq (X) Hq (X, A)
0
(f |A )q
fq
fq
Hq (B)
Hq (Y ) Hq (Y, B)
Hq1 (A)
...
(f |A )q1
Hq1 (B)
...
Valem as seguintes propriedades:

1. Se Id : (X, A) (X, A) a identidade, ento Id = Id : Hq (X, A) Hq (X, A)
2. Se f : (X, A) (Y, B) e g : (Y, B) (Z, C) so contnuas, ento (g f ) = g f
Usando estas propriedades v-se facilmente que se f : (X, A) (Y, B) um homeomorfismo de pares, fq : Hq (X, A) Hq (Y, B) so isomorfismos q.
No caso A = = B se g : X Y
isomorfismos q.
um homeomorfismo, gq : Hq (X) Hq (Y ) so
Abaixo vai a bibliografia. Mas se voce precisa mesmo uma bibliografia o mais completa
possvel sobre o assunto, consulte a bibliografia do [Kawauchi]
Referncias Bibliogrficas
[LIVROS]
[Kawauchi] A. Kawauchi. A survey of Knot Theory, Birkhuser(1996).
[Aneziris] C. N. Aneziris. The Mystery of Knots - Computer Programming for Knot Tabulation,
Word Scientific - Serie on Knots and Everything - vol. 20
[Hacon] D. Hacon. Introduo Teoria de Ns em R3 , IMPA - 15o Colquio Brasileiro de
Matemtica (1985)
[Farmer/Stanford] D. W. Farmer and T. B. Stanford. Knots and Surfaces, Mathematical Word,
6, AMS(1991)
[Rolfsen(1976)] D. Rolfsen. Knots and Links, Publish or Perish Inc.(1976).
[Rolfsen(2006)] D. Rolfsen. The Braid Group, XV Encontro Brasileiro de Topologia(2006).
[Flapan] E. Flapan. When topology meets chemistry: A topological look at molecular chirality,
Cambridge University Press (2000).
[Elon1] E. L. Lima. Grupo fundamental e espaos de recobrimento, Projeto Euclides. IMPA
(1993).
[Elon2] E. L. Lima. Homologia bsica, Projeto Euclides. IMPA (2009).
[Spanier] E. H. Spanier. Algebraic Topology, MacGraw-Hill Book Company New York (1966)
[Moise] E. E. Moise. Geometric Topology in Dimensions 2 and 3, Springer-Verlag - Graduate
Texts in Mathematics n. 47.
[Burde/Zieschang] G. Burde and H. Zieschang. Knots, De Gruyter(1985).
[Sampaio] J. C. V. Sampaio Tpicos de Topologia Intuitiva, X Encontro Brasileiro de Topologia
(1996)
[Greenberg/Harper] M. J. Greenberg and J. R. Harper Algebraic Topology - A first course, The
Benjamin/Cummings Publishing Company.
[Armstrong] M. A. Armstrong. Basic Topology Spring-Verlag. Undergraduate Texts in Mathematics
[Crowell/Fox] R. H. Crowell and R. H. Fox. Introduction to Knot Theory, Springer Verlag,
Graduate Texts in Mathematics n. 57
[Prasolov] V. V. Prasolov. Intuitive Topology, Mathematical Word, 4, AMS(1995).
51
REFERNCIAS BIBLIOGRFICAS
52
[Massey] W. S. Massey. Algebraic Topology: An Introduction, Spinger-Verlag - Graduate Texts

in Mathematics n. 56.
[ARTIGOS]
[Haefliger] A. Haefliger. Knotted (4k-1)-spheres in 6k-space, Ann. of Math., 75, pg. 452-466
(1962).
[Maehara] H. Maehara, Why is RP2 not embeddable in R3 , Am. Math. Montly, vol 100, n. 9,
pag. 862-864 (1993).
[Artin(1925)] E. Artin. Zur Isotopie zweidimensionalen Flchen im R4 , Abh. Math. Sem. Univ.
Hamburg 4, pg. 174-177 (1925).
[Artin(1926)] E. Artin. Theorie der Zpfe, Abh. Math. Sem. Univ. Hamburg 4, pg. 47-72 (1926).
[Schubert] H. Schubert. Die eindeutige Zerlegbarkeit eines Knoten in Primknoten Sitzungsber.
Akad. Wiss. Heidelberg, math.-nat. KI.,3: pg.57-104 (1949)
[Sachs] H. Sachs. On a spatial analogue of Kuratowskis theorem on planar graphs - an open
problem in Graph Theory, Lagow 1981, Lectures Notes in Math. 1018, pg.230-241, Spring
Verlag, Berlin (1982)
[Alexander(1923)] J. Alexander. A lemma on systems of knotted curves, Proc. Nat. Acad. Sci.
USA 9, pg.93-95(1923).
[Alexander(1928)] J. Alexander, Topological invariantes of knots and links, Transcripts of The
AMS 30, pg.275-306 (1928).
[Conway] J. H. Conway. An enumeration of Knots and Links and some of their algebraic properties, Computational Problems in Abstract Algebra. Pergamaon Press, New York, pg.
329-358 (1970).
[Conway/Gordon] J. H. Conway and C. M. Gordon. Knots and Links in spatial graphs, J.
Graph Theory, 7 pg. 445-452 (1985).
[Andrews/Curtis] J. J. Andrews and M. L. Curtis. Knotted 2-spheres in the 4-sphere, Annals
of Mathematics vol.70, n. 3, pg. 565-571 (1959).
[Milnor] J. W. Milnor.Most Knots are wild, Fund. Math. 54, pg.335-338 (1964).
[Larcio/Oziride/Saeki] L. A. Lucas, O. M. Neto and O. Saeki.A generalization of Alexanders
torus theorem to higher dimensions and an unknotting theorem for S p S q embedded in
S p+q+2 , Kobe J. Math. 13, pg. 145-165 (1996).
[Larcio/Saeki (2002)] L. A. Lucas and O. Saeki. Embedding of S p S q S r in S p+q+r+1 , Pacific
Journal of Math. vol. 207, n.2, pg. 447-462 (2002).
[Larcio/Saeki (2005)] L. A. Lucas and O. Saeki.Codimension one embeddings of product of
three spheres, Topology and its Applications. 146-147, pag. 409-419 (2005).
[Perko] K. A. Perko. On the classifications of Knots, Proc. Amer. Math. Soc. 45, pg. 262-266
(1974).
[Gauss] K. F. Gauss. Zur mathematischen Theorie der electrodynamischen Wirkungen, Werke
Konigl. Gessell. Wiss. Gottingen, 5 pg. 695 (1833).
REFERNCIAS BIBLIOGRFICAS
53
[Reidemeister(1926)] K. Reidemeister. Knoten und Gruppen, Abh. Math. Sem. Univ. Hamburg
5, pg.24-32 (1926).
[Reidemeister(1926)] K. Reidemeister. Elementare Begrndung der Knotentheorie, Abh. Math.
Sem. Univ. Hamburg 6, pg.56-64 (1926).
[Reidemeister(1932)] K. Reidemeister. Knotentheorie, Ergbh. Math. Grnnzgeb 1, Springer Verlag. (1932)
[Kauffman(1988)] L. H. Kauffman. New invariants in the theory of knots, Amer. Math. Monthly
95, n. 3, pg. 195-242 (1988).
[Kauffman(1989)] L. H. Kauffman. Polynomial invariants in knot theory, Braid grup, knot
theory and statistical mechanics, pg. 27-58, Adv. Ser. Math. Phis., 9, Word. Sci. Publ.
(1989).
[Neuwirth] L. P. Neuwirth. The algebraic determination of the genus of knots, Amer. J. Math
82, pg. 791-798 (1960).
[Dehn(1910)] M. Dehn. ber die Topologie des dreidimensionalen Raumes, Math. Ann. 69,
pg.137-168 (1910).
[Dehn(1914)] M. Dehn. Die beiden Kleeblattschlingen, Math. Ann. 102, pg.402-413 (1914).
[Haseman] M. G. Haseman. On knots, with a census of amphicheirals with 12 crossings, Trans.
Royal Soc. Edinburgh 52, pg.235-255 (1918).
[Tait] P. G. Tait. On Knots I, II, III, Scientific papers, I(1877-1885, London), pag. 273-437,
Cambridge Univ. Press.
[Brode] R. Brode. ber wilde Knoten und ihre Anzahl, Diplomarbeit, Ruhr-Universitt Bochum(1981).
[Goldstein] R. Z. Goldstein. Piecewise linear unknotting of S p S q in S p+q+1 , Michigan Math.
J. 14, pg.405-415 (1967).
[Wasserman et al.] S. A. Wasserman, J. M. Dungan and N. R. Cozzarelli. Discovery of predicted
DNA knot substantiates a model for site-spedific recombination, Scinecs, 229 pag. 251-257
(1985).
[Kirkman] T. P. Kirkman. The enumeration, description and construction of knots with fewer
than 10 crossings, Trans. Royal Soc. Edinburg, 32, pag.281-309 (1885).

Oziride Topologia Brasil OTIMO

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Oziride Topologia Brasil OTIMO

Hochgeladen von

Copyright:

Verfügbare Formate

XVII Encontro Brasileiro de Topologia

PUC - Rio de Janeiro, Agosto de 2010

Oziride Manzoli Neto

3 Teoria Multidimensional (de Ns e Enlaamentos)

Esfera com Chifres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

Figura 2.1: N Selvagem

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.2: Movimentos de Reidemeister

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.3: Ns equivalentes e no equivalentes

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.4: O n Figura 8 Aquiral

Quando estudamos enlaamentos muito importante o conceito de nmero de enlaamento

Figura 2.5: Nmeros de enlaamentos

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Sejam X e Y subespaos topolgicos disjuntos de R3 e x H1 (X; Z) e y H1 (Y ; Z).

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.6: Tricolorao compatvel com Movimentos de Reidemeister

Figura 2.7: Ser que este enlaamento e este n so colorizveis?

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Nmero mnimo de cruzamentos nos diagramas

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.8: Clculos do determinante

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.9: Ponto de cruzamento do diagrama do n

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.10: Relaes possveis em cada cruzamento

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

orientao do trecho superior do n, no cruzamento, r da equao deve ser identificado com a

Figura 2.11: Calculo do Polinmio de Alexander do n do ICMC-USP (923 )

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

A primeira construo bsica para se construir ns, a partir de outros ns Ki , i = 1, 2 em S 3 ,

Figura 2.12: Soma de dois ns

Figura 2.13: Soma conexa (ambiental?)

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Figura 2.14: Soma conexa ao longo de faixa f

Figura 2.15: N satlite ou iterado

CAPTULO 2. TEORIA CLSSICA DE NS (E ENLAAMENTOS)

Seja L um n contido no toro (S 1 D2 )0 e de tal forma que no exista nenhuma bola B 3

Figura 3.1: Esfera com Chifres

CAPTULO 3. TEORIA MULTIDIMENSIONAL (DE NS E ENLAAMENTOS)

Comecemos pelo caso de S 2 em R4 ou S 4 que, como j observamos, so essencialmente a mesma

CAPTULO 3. TEORIA MULTIDIMENSIONAL (DE NS E ENLAAMENTOS)

Figura 3.2: Rotao em R4

CAPTULO 3. TEORIA MULTIDIMENSIONAL (DE NS E ENLAAMENTOS)

CAPTULO 3. TEORIA MULTIDIMENSIONAL (DE NS E ENLAAMENTOS)

Figura 3.3: Torcendo ao rodar em R4

Enlaamentos (de esferas ou de superfcies) em S 4

questo acima no caso de:

CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES

Normalmente temos as superfcies, orientveis, mergulhadas em R3 como na figura 4.1 abaixo.

Figura 4.1: Superficies em R3

CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES

Figura 4.2: Bitoro em S 3

O cilindro e a Faixa de Mbius em R3

Figura 4.3: Cilindro e Faixa de Mbius - I

CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES

Figura 4.4: Cilindro e Faixa de Mbius - II

Figura 4.5: Cilindro e Faixa de Mbius-III

CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES

O Teorema do toro de Alexander e generalizaes

Considere um n K em S 3 , possvel provar que sua vizinhana tubular fechada homeomorfa

CAPTULO 4. MERGULHOS DE VARIEDADES EM VARIEDADES

Teorema 4.6 (Teorema do toro de Alexander) Um toro T 2 mergulhado (PL) em S 3 divide