Neto, Oziride Manzoli - Teoria de Nós

Teoria de Ns
Oziride Manzoli Neto

ICMC - USP
2o Colquio da Regio Sudeste

Janeiro de 2013
Sumrio
1 Histria da Teoria de Ns
2 Pr-requisitos
2.1 lgebra . . . . . . . . . . . . . . . . . . . .
2.1.1 O bsico de Categorias e Funtores
2.1.2 O bsico de Anis de Grupos . . .
2.2 Topologia Algbrica . . . . . . . . . . . . .
2.2.1 O bsico de Homotopia . . . . . .
2.2.2 O bsico de Homologia . . . . . .
2.3 O bsico de Topologia Diferencial . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
5
7
7
8
12
15
3 Teoria Clssica de Ns
3.1 Introduo . . . . . . . . . . . . . . . . . . . . .
3.2 Nmero de enlaamentos . . . . . . . . . . . .
3.3 Alguns Invariantes de Ns e Enlaamentos . .
3.4 Construindo Ns e Enlaamentos - Ns Primos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
21
24
25
33
4 Outras Teorias de Ns
4.1 Teoria Multidimensional de Ns . . . . . . . . . . . . . . .
4.2 O caso especial de S2 em S4 . . . . . . . . . . . . . . . . . .
4.3 O crculo no plano, na esfera, no espao projetivo e no toro
4.4 O Cilindro e a Faixa de Mbius em R3 . . . . . . . . . . . .
4.5 Mergulhos de Superfcies em R3 . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
38
41
43
44
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 RP2 no mergulha em R3
47
Referncias Bibliogrficas
49
iii
Captulo 1
Histria da Teoria de Ns
O estudo dos ns e enlaamentos de forma razoavelmente formalizada comea com
Gauss em 1833, veja [Gauss]. Ele e alguns de seus alunos comeam estudar o assunto,
focalizando enlaamentos, pois o interesse era o nmero de enlaamentos (linking
number) de um enlaamento (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, ns cada vez mais complexos, isto significava,
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"de matemticos.
C. N. Little pega no pesado durante seis anos e produz tabela de 43 ns 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 vinte 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"cujo objetivo e salientar os aspectos
qualitativos dos objetos geomtricos. 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
Captulo 1: Histria da Teoria de Ns
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
altas. O primeiro aspecto, normalmente chamado Topologia Conjuntista (point
set topology), foi fundamentada por F. Hausdorff e outros no perodo 1900-1910.
A compatibilizao dos dois aspectos, conjuntista 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 a usar o nome Topologia.
Fruto do desenvolvimento da matemtica em geral e da topologia em
particular, surgem os primeiros trabalhos apresentados de forma sistemtico sobre
Teoria dos Ns, Teoria de Enlaamentos e sobre os Grupos de Tranas. Veja
as referncias [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 no equivalentes aos seus
espelhados (aquirais?) com doze cruzamentos [Haseman].
J. Alexander (1927) estabelece lista dos ns at oito cruzamentos, K. Reidemeister
(1932) at nove cruzamentos. 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.
C.D. Papakyriakopoulos e J. Conway desenvolvem mtodos mais simplificados de
se calcular os Polinmios de Alexander.
Comea tambm 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. 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.
C. Ernest e D. W. Sumners, em 1987, usando resultados de L. H. Kauffman, K.
Murasugi e de Thistlethwaite avaliam que o nmero de ns de n cruzamentos maior
ou igual a (2n 2 1)/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 dos Ns e Enlaamentos surgem muitos outros invariantes com

o objetivo de distinguir suas classes, particularmente vrios outros polinmios como
acima citado, veja [Kauffman(1988), Kauffman(1989)].
Trabalhos recentes mostram que este estudo 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 outros espaos, como grafos,
em espaos como R2 , R3 ou em Superfcies.
Para fazer justia ao nome do mini-curso gostaria de apresentar uma boa viso
sobre a Teoria dos Ns Clssica por isso a maior parte do curso ser dedicada a este
tpico.
Veremos desde o comeo que precisamos de muitas ferramentas da Topologia e da
Algebra para estudar este assunto. Procuraremos portanto apresentar inicialmente,
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.
Queremos apresentar tambm neste mini-curso um bocadinho da correspondente
teoria multidimensional, tudo dentro do contexto mais geral de mergulhos de
variedades em variedades.
A maioria dos resultados sero s enunciados ficando as demonstraes para serem
vistas nas referencias. Algumas poucas provas sero apresentadas, principalmente
se forem fceis! Na maioria das referncias, principalmente nos livros, podemos
encontrar quase todos os assuntos aqui abordados. A minha preferncia pessoal que
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.
O assunto Ns e Enlaamentos esta bastante relacionado 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 sugestes de vrios textos para leitura, em particular
veja uma prova do teorema de Alexander/Markov em [Morton].
As perguntas e os exerccios, quando 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.
Neste curso as questes de mergulhos de objetos mais gerais como o caso do
mergulhos de grafos em R2 ou R3 sero abordados apenas superficialmente. Usaremos
Captulo 1: Histria da Teoria de Ns
um resultado sobre mergulhos de grafos em R3 para provar que o espao projetivo no

mergulha em R3 . (se der tempo!)
Em outras reas da matemtica, questes semelhantes so estudadas, por exemplo
os Teoremas de Sylow estudados em Teoria de Grupos estudam os "mergulhos"de
certos sub-grupos mais simples (os p-grupos), em um grupo dado.
Similarmente, uma parte da Teoria de Fibrados Vetoriais consiste em estudar se
certos fibrados so sub-fibrados de outros fibrados de dimenso maior.
Esperamos com isso que o participante possa ter uma boa idia desta parte to
importante da matemtica.
Alm deste primeiro captulo histrico, teremos um capitulo de pr-requisitos, um
capitulo sobre a Teoria Clssica de Ns, que o nosso objetivo maior, um capitulo
que chamei "Outras Teorias de Ns"onde abordaremos intuitiva e superficialmente
alguns casos mais gerais desta teoria e um ultimo captulo "O Espao Projetivo RP2
no mergulha em R3 ".
Captulo 2
Pr-requisitos
2.1 lgebra
Espero que os leitores tenham um conhecimento bsico de Teoria de Grupos, Anis,
Corpos e Mdulos, que so normalmente apresentados nos cursos de graduao em
Matemtica. Existem trs tpicos de Algebra que so muito usados nas Topologias
Algbrica e Geomtrica (da qual faz parte a Teoria de Ns), que so Algebra
Homolgica, Grupos Livres e Anis de Grupos e que em geral no so abordados
nos cursos de graduao. No vou me aventurar em resumir Algebra Homolgica
aqui mas vou tentar resumir os outros dois tpicos, Grupos Livres e Anis de Grupos.
Sugiro que os interessados procurem na bibliografia e deem uma boa olhada nos trs
tpicos que so muito importantes para a formao geral de um matemtico.
2.1.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 do curso.
Definio 2.1 Uma categoria C constituda 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 1 A da reunio com 1 A 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(1 A , )
Escreveremos por simplicidade:
Captulo 2: Pr-requisitos
(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 = 1 A e = 1B ( claro que neste caso, tambm
ser uma equivalncia).
Se um elemento hom( A, B) uma equivalncia, ento o elemento tal que
= 1 A e = 1B nico.
Vejamos: seja outro elemento de hom( B, A) | = 1 A e = 1B , ento
teremos = 1 A = = 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 constituda 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 constituda de todos os mdulos a esquerda de um anel R. Os objetos
so os R-mdulos, isto , A, B, C... so os R-mdulos. hom( A, B) ser o
conjunto Hom R ( 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:
2.2: Topologia Algbrica
(1) T (1 A ) = 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.
2.1.2 O bsico de Anis de Grupos

Um bom texto em portugus para ver este assunto o livro do Polcino [Polcino]
Fixemos um grupo G e um anel A com unidade.
Uma combinao linear formal, finita de elementos de G e A e uma "soma"da
forma r = g r ( g).g onde g G e r ( g) A tal que apenas uma quantidade finita
dos r ( g), g G diferente de 0 A. O conjunto de todas estas somas formais vo
constituir um conjunto que chamaremos um anel de grupo e que denotaremos A[ G ].
Precisamos em A[ G ] de uma soma e de um produto.
A soma dada por r1 + r2 = g r1 ( g).g + g r2 ( g).g = g (r1 ( g) + r2 ( g)).g
O produto dado por r1 r2 = g r3 ( g).g onde r3 ( g) = g1 .g2 = g r1 ( g1 ) r2 ( g2 )
fcil verificar que com estas definies de soma e produto, A[ G ] se torna um anel,
chamado Anel de Grupo de G sobre A.
O exemplo que estaremos usando Z[ Z], isto , o grupo G = Z e o anel A = Z,
neste caso o Anel de Grupo se identifica com o Anel dos polinmios nas variveis t, t1
sobre Z.
Como nem sempre os ingredientes envolvidos so comutativos, podemos ter anis
bastante complicados neste familia de Anis de Grupos.
2.2 Topologia Algbrica

Estamos supondo que o leitor esteja acostumado com as notaes da Topologia
Geral ou de Espaos Mtricos.
2.2.1 O bsico de Homotopia

Uma boa sugesto para leitura o livro do Elon, [Elon1].
Nesta seo estamos trabalhando com a categoria dos espaos topolgicos e
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)
H
e 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 pedese 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 f 0 , f 1 : (X, A) (Y, B) aplicaes contnuas. Uma homotopia de pares
entre f 0 e f 1 uma aplicao contnua de pares H : (X, A) I (Y, B) tal que
H ( x, 0) = f 0 ( x ) e H ( x, 1) = f 1 ( 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 e se A = um ponto e B = um
ponto temos a homotopia pontuada.
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}, embora em muitos livros a notao seja
[ Z, X ].
Seja h : X Y, ento para toda f : Z X e familia contnua f t : Z X podemos
ento fazer as aplicaes compostas h f : Z Y ou h f t : 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 f t : X X onde f 0 = Id X e para todo t, f t
um homeomorfismo.
Dado par (X, A) dizemos que uma homotopia f t : X X uma deformao de
X em A se f 0 = Id X , f 1 (X ) A e f t | A = Id A t [0, 1]. Note que neste caso a
homotopia faz os pontos de X A "flurem"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 Id A : A A
pode ser prolongada a uma aplicao contnua de X em A. Se i A : A X a
incluso, e r : X A uma retrao, ento temos r i A = Id A
Exemplos
1. Seja Z = S1 = X, Y = D2 e f n : S1 S1 dada por f n (ei. ) = ei.n. , n Z. Sabemos
que se m = n em Z ento { f n } = { f m }, sabemos tambm que toda f : S1 S1
homotpica a alguma das f n isto temos um bijeo {S1 , S1 } Z. Por outro lado,
fcil ver que todas as aplicaes g : S1 D2 so homotpicas entre si e homotpicas
a qualquer aplicao constante, isto {S1 , D2 } um conjunto unitrio. Se denotamos
a incluso i : S1 D2 ento i constante, isto , duas aplicaes quaisquer de S1 em
S1 quando consideradas como aplicao de S1 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)}, S1 ), note que S1 o bordo de D2 ento
ht ( x, y) = (1 t)( x, y) + t.{( x, y)/[( x2 + y2 )]1/2 } uma deformao de D2 {(0, 0)}
em S1 .
Lema 2.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 [ f 0 ] e [ f 1 ] em { Z, A} tal que i [ f 0 ] = i [ f 1 ]
Note que f 0 (Z) A e f 1 (Z) A, alm disso existe homotopia entre f 0 e f 1 quando
tomadas com aplicaes de Z em X, seja f t : Z X esta homotopia. Temos que
h1 f t : Z X tambm uma homotopia, como f 0 (Z) A segue tambm que z Z
temos h1 ( f 0 (z)) = f 0 (z) e da mesma forma z Z temos h1 ( f 1 (z)) = f 1 (z) ento
h1 f t uma homotopia entre f 0 e f 1 . Mas h1 (Z) A ento h1 f t (Z) A t [0, 1]
logo h1 f t uma homotopia em A entre f 0 e f 1 , isto [ f 0 ] = [ f 1 ] em { Z, A}, portanto
i injetiva.
Dizemos que um espao topolgico X contravel se a aplicao identidade Id X :
X X homotpica uma aplicao constante de X em X. Isto equivalente a dizer
que X se deforma em algum de seus pontos.
10
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 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 2.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 topolgico 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 (S1 , q) o circulo pontuado, conforme a convenincia da notao, o circulo
ser visto como subespao de R2 ou dos complexos 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.
11
Dada aplicao de f : (S1 , q) (X, p) obtm-se de forma natural aplicao

correspondente f : ([ a, b], { a, b}) (X, p) e vice-versa, alm disso, f g se e somente
se f g .
Estas aplicaes so chamadas laos em X com ponto base p.
Notemos que uma homotopia de laos, uma homotopia f s tal que s [0, 1] f s
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 2.2 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 [(S1 , 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.
Definio 2.3 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.
No difcil ver que no caso de o espao ser conexo por caminhos e mudarmos
o ponto base, obtemos grupos fundamentais isomorfos, por isso s vezes omitimos o
ponto base.
Exemplos
1. fcil mostrar que se X for convexo ou contravel ento 1 (X ) = (0).
2. Seja (X, p) = (S1 , 1) e usemos por convenincia o intervalo [0, 2 ] como domnio
dos laos para 1 (S1 , 1). possvel provar que todo lao f : ([0, 2 ], {0, 2 }) (S1 , 1)
homotpico um dos laos f n ( ) = ei.n. , n Z e que ( f i f j ) f i + j , conclumos
que 1 (S1 , 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).
12
Para a demonstrao do proximo teorema, veja por exemplo [Armstrong] pagina

138.
Teorema 2.1 (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 de dimenso maior cabe (sem as
demonstraes, claro!) neste cantinho, vejamos:
q (X, x0 ) o conjunto das classes de homotopia relativa 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 assim, a soma de duas destas 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 dos q-cubos
e "rodar"os domnios destas funes concentradas, trocando-as de posio dentro do qcubo inicial. O elemento neutro e os inversos so definidos de forma natural, trocandose as orientaes do cubo em que esto definidas.
Da mesma forma que no grupo fundamental, 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), mostranos que q um funtor covariante da categoria dos espaos topolgicos pontuados
na categoria dos grupos abelianos.
2.2.2 O bsico de Homologia

Uma boa sugesto para leitura o novo livro do Elon, [Elon2].
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
Eilenberg-Steenrod 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:
13
( A, A)
(, ) ( A, )
(X, A) (X, X )
(X, )
So os seguintes os dados para uma teoria de homologia.

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:
f q = ( 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 2.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 2.2 (Composio) Se f : (X, A) (Y, B) e g : (Y, B) (Z, C) so aplicaes de
pares, ento ( g f )q = gq f q para todo inteiro q.
Axioma 2.3 Se f : (X, A) (Y, B) e f : A B definida por restrio de f ento, o
diagrama abaixo comutativo para todo inteiro q.
Hq (X, A)
Hq 1 ( A )
fq
f q 1
Hq (Y, B)
Hq 1 ( B )
Axioma 2.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
i q 1
... Hq ( A) Hq (X ) Hq (X, A) Hq1 ( A) Hq1 (X ) ...

Axioma 2.5 (Homotopia) Se as aplicaes f e g : (X, A) (Y, B) so homotpicas, ento,
f q = gq para todo inteiro q.
14
Axioma 2.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 2.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 (pode ser qualquer anel comutativo
com unidade).
Alguns Resultados que se obtm diretamente dos axiomas
Proposio 2.1 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 2.2 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
i q 1
... 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 2.3 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 = Id A e, portanto, rq iq =

id. Temos que iq injetora e rq sobrejetora. Consideremos a seqncia exata de
q +1
iq
homologia do 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.
2.3: O bsico de Topologia Diferencial
15
Consideremos a aplicao contnua = i r : X X.

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) e da
Hq (X ) iq ( Hq ( A)) Hq (X, A) Hq ( A) Hq (X, A) para todo inteiro q.
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 })
2.3 O bsico de Topologia Diferencial

Acredito que todos saibam o que uma curva ou uma superfcie, no plano ou no
espao, como dar uma parametrizao, achar vetor tangente ou plano tangente, etc.
Curvas, surgem por exemplo como grfico de aplicaes de R em R e superfcies como
grficos de aplicaes de R2 em R. Se estas aplicaes so contnuas, diferenciveis de
vrias ordens, etc., as respectivas curvas e superfcies tero propriedades especficas.
Considerando estes objetos, mergulhados nos respectivos ambientes R2 ou R3
eles herdam destes espaos uma topologia, at mesmo uma mtrica. Se os objetos
forem dados por aplicaes diferenciveis eles tambm herdam uma "estrutura
diferencivel"do ambiente, isto , se temos dois destes objetos podemos falar de
aplicaes diferenciveis entre eles. Se os objetos tem apenas uma estrutura topolgica
ento temos que nos restringir a aplicaes contnuas entres eles, ou seja, utilizamos a
categoria que seja possvel em cada caso.
Objetos de maiores dimenses surgem naturalmente, porem temos mais
dificuldades de "visualiz-los". Utilizamos para isso nosso treinamento e nossa
confiana em manipular dados algbricos e analticos para se ter uma viso geomtrica
"multidimensional"destes objetos. Muitas vezes utilizamos vises projetadas em
espaos de dimenses menores, dos objetos em estudo, como fazemos com o estudo
da Geometria Espacial atravs da Geometria Descritiva.
Grficos de funes de Rk em R so objetos de dimenso k em Rk+1 . Podemos
tambm parametrizar objetos de dimenso k em algum Rk+i , i 2, etc. Se algum
destes objetos tem a propriedade de que todos os seus pontos possuem vizinhanas
homeomorfas (difeomorfas) a um Rn , com n fixo, dizemos que este objeto uma
variedade de dimenso n. As curvas so variedades de dimenso 1, as superfcies
so variedades de dimenso 2, etc.
Quando selecionamos as variedades que possuem estrutura diferencivel e
portanto podemos falar das aplicaes entre elas que so diferenciveis, estamos
falando da categoria que normalmente chamada categoria das variedades
diferenciveis, abreviadamente DIFF.
16
importante salientar que possvel descrever esta categoria sem fazer nenhuma
aluso aos mergulhos destes objetos no Rn . Quando adotamos esta forma fica claro
que podemos falar em variedades de classe Ck , quando as variedades possuem
parametrizaes de classe Ck e as aplicaes entre elas tambm so de classe Ck .
Outra categoria importante so as variedades topolgicas, classe C0 , com as
aplicaes contnuas entre elas.
Quando estamos trabalhando com objetos que podem ser triangularizveis, isto ,
podemos achar um poliedro homeomorfo ao dito objeto, e consideramos as aplicaes
(contnuas) entre estes objetos que correspondem a aplicaes lineares afins entre os
poliedros correspondentes, dizemos que estamos na categoria PL.
Todas so sub categorias da categoria dos espaos topolgicos e aplicaes
contnuas (TOP).
Definio 2.4 Uma variedade de dimenso n, W n um espao topolgico que pode se coberto
por imagens bijetivas 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!) x21 x1 : x11 (U1 U2 ) x2 (U1 U2 ) for PL
ou diferencivel (digamos de classe Ck ), dizemos que W n uma variedade de classe Ck , se as
mudanas de coordenadas s forem PL ou contnuas dizemos que W n uma variedade PL ou
topolgica.
Como vimos antes, muitas vezes j supomos que o espao W n , ao qual se quer dar
uma estrutura de variedade, j se situa em algum R N 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 grande parte das variedades no sentido geral da definio acima,
sempre mergulha de forma adequada em algum R N com N no to grande.
Uma aplicao entre duas variedades N n e Mm dita PL ou diferencivel de
classe Ck , se quando escrita em coordenadas (compondo com cartas locais no domnio
e no contra-domnio) forem PL ou de classe Ck como aplicaes entre os abertos
correspondentes de Rn e Rm . Se k = 0 dizemos que a aplicao continua e o
caso C0 coresponde categoria topolgica.
Exemplos de Variedades:
1. Rn ou qualquer de seus abertos so variedades de dimenso n.
2. Sn = {( 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
17
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. D n = {( x1 , x2 , .., xn ) Rn com k ( x1 , x2 , .., xn ) k 1} o disco unitrio de Rn uma
variedade com bordo, seu bordo a esfera Sn1 . O interior de D n uma variedade
aberta. Usa-se a terminologia variedade fechada para uma variedade compacta e sem
bordo, como Sn .
3. I n = [0, 1]n o n-cubo de Rn uma variedade com bordo de dimenso n, seu bordo
homeomorfa esfera Sn1 , 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 S1 !)(
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, 1 x2 , 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
18
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 2.5 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 homeomorfismo PL se estamos
nesta categoria ou um difeomorfismo se as variedades forem diferenciveis) : S1n S2n
obtemos a soma conexa M1 M2 .
Teorema 2.2 Classificao de Superfcies As superfcies, conexas, compactas e sem bordo
so classificadas, a menos de homeomorfismo, segundo a lista:
g
1. Orientveis: a esfera S2 , o toro T2 = (S1 S1 ) e as somas conexas de toros, i =1 (T2 )
onde g = 1, 2, 3, .... chamado genus da superfcie orientvel correspondente. Diz-se que S2
tem genus 0.
2. No orientveis: o espao projetivo RRP2 e somas conexas de espaos projetivos,
g
i =1 (RRP2 ) 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 S1 ), 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 triangularizveis, 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 de homeomorfismo da superfcie), isto , ( M) um invariante
topolgico e usado para distinguir as superfcies acima descritas.
fcil obter o seguinte resultado:
19
Proposio 2.4 Se M orientvel ento seu genus g = [2 ( M)]/2 e se M no orientvel

ento g = [2 ( M)].
Definio 2.6 Dada variedades Mm e N n , n m se diz que N n sub-variedade de Mm
se N n Mm e se for possvel parametrizar os pontos de N n , vistos como pontos de Mm , por
cartas x : Rm Mm tal que x | Rn : Rn N n sejam cartas para N n .
Definio 2.7 Seja f : N n Mm uma aplicao contnua (PL, diferencivel, etc.) entre duas
variedades, isto , um morfismo na categoria correspondente. Se f : N n f ( N n ) = imagem
de f em Mm for um homeomorfismo (PL, difeomorfismo, etc.), ento dizemos que f um
mergulho de N n em Mm .
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 dita mansa em Mm .
Definio 2.8 Seja N n uma subvariedade compacta topolgica de uma variedade PL, Mm .
Dizemos que N n uma subvariedade mansa em Mm se existir um homeomorfismo PL h :
Mm Mm tal que h( N n ) uma subvariedade PL de Mm .
A existncia destes mergulhos e, caso existam, a sua classificao so objetivos de
estudo da Teoria de Mergulhos entre variedades, da qual a Teoria de Ns um caso
particular.
20
Captulo 3
Teoria Clssica de Ns
3.1 Introduo
Sobre a Teoria Clssica dos Ns, temos, em portugus, o livro do Derek [Hacon].
apresentado no XV 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 S1 (ns), ou
reunio disjunta de vrios crculos (enlaamentos) em R3 ou S3 . No preciso discutir
sobre a existncia destes mergulhos pois existe pelo menos o mergulho padro, dado
por S1 = {(cos( ), sen( ), 0) R3 , com [0, 2 )} ou se pretendemos ver o mergulho
como uma funo, definimos f : S1 R3 por f ( ) = (cos( ), sen( ), 0). Neste caso
estamos olhando S1 com o intervalo [0, 2 ] onde identificamos os seus extremos, outras
vezes olharemos S1 como o circulo unitrio nos complexos, isto um ponto ser da
forma ei. . Estaremos tambm olhando S3 como a compactificao de R3 e fcil ver
que existe uma bijeo natural entre os mergulhos ("mansos") do crculo em S3 e em R3 ,
por isso, vamos abusar ainda mais da notao, usaremos algumas vezes a notao M3
para designar indistintamente S3 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 3.1: N Selvagem

Se voce gosta de emoo forte e esta interessado em ns selvagens veja [Milnor] e
[Brode].
21
22
Captulo 3: Teoria Clssica de Ns
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 classes. Quando nada se explicitar, estaremos considerando a relao de
equivalncia dada por isotopia ambiental, isto :
Definio 3.1 Sejam i0 , i1 : S1 M3 dois ns, dizemos que i0 ambientalmente isotpico a
i1 , se existe uma PL-deformao (isotopia que se inicia na identidade), H : M3 I M3 I,
dada por H (y, t) = (ht (y), t), onde h0 = id M3 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
(M3 ) de tal forma que o primeiro n "K0 = i0 (S1 )" se desloca continuamente
conforme passa o tempo t [0, 1] at que no final do movimento (t = 1) se situa
exatamente em K1 = i1 (S1 ). 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 S1 ) 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 M3 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).
Observe que nos desenhos deveramos estar apresentando as projees dos ns com
linhas poligonais, isto , por segmentos de retas, no entanto, abusaremos novamente
3.1: Introduo
23
Figura 3.2: Movimentos de Reidemeister

da notao, apresentando os diagramas com seqencia de arcos curvilneos, pois
facilitam o desenho.
Definio 3.2 Um enlaamento de duas componentes L = K1 K2 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 3.3 Dado um enlaamento de duas componentes L = K1 K2 , dizemos que K1
homotopicamente no enlaada K2 se o mergulho f : S1 R3 K2 que define K1
homotpica uma aplicao constante em R3 K2 .
Similarmente para K2 homotopicamente no enlaada a 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], pagina 9.
Teorema 3.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
3.3 alguns ns equivalentes (o que fcil comprovar, nestes casos) e outros no
equivalentes o que j no to fcil comprovar, mesmo nestes casos.
Na figura 3.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.
24
Figura 3.3: Ns equivalentes e no equivalentes
Figura 3.4: O n Figura 8 aquiral
3.2 Nmero de enlaamentos

Quando estudamos enlaamentos muito importante o conceito de nmero de
enlaamento (linking number). Em [Rolfsen(1976)], pagina 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 3.5: Nmero de enlaamento

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
3.3: Alguns Invariantes de Ns e Enlaamentos
25
cruzamento se d da direita para a esquerda 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 M3 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.
3.3 Alguns 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.
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 I J 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.
26
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 3.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 3.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 3.7 abaixo.
d) Ser que o n do ICMC-USP (923 ) colorizvel?
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
27
Figura 3.7: Ser que este enlaamento e este n so colorizveis?

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? Temos tambm p-colorizao para
p 6= 3. Para maiores detalhes sobre este invariante veja [Aneziris], paginas 37 e 61.
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 desemaranhadamento
No dicionrio, no encontrei a palavra desenodamento mas encontrei emaranhado
e desemaranhado, por isso usei estas palavras para criar des+emaranhado+mento!
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
28
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 M3 . Este resultado pode ser provado usando um diagrama do n.
Se o n for o trivial claro que um disco D2 M3 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 3.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. 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 3.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, pouco importa os ns ou os enlaamentos que consideremos,
logo no servem com invariantes para diferenciar entre os ns ou entre os enlaamentos, em
particular para qualquer n H1 (X; Z) Z veja [Hacon], pagina 75 para uma prova disto.
Esta observao vale para as dimenses mais altas tambm.
29
Figura 3.8: Clculo de determinantes de alguns ns
O grupo fundamental de um n
fcil de provar que se dois ns K1 e K2 so equivalentes ento seus complementos
M3 K1 e M3 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)], ag. 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.
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
30
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 3.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
3.9 abaixo.
Figura 3.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 3.10, abaixo.
7. Denotemos por A = {( x, y, z) R3 | z 0} K, Bi = Ei K, i = 1, 2, ..., n e
31
Figura 3.10: Relaes possveis em cada cruzamento

por F = fecho de (R3 A) (1n Bi ). Para cada i, escolhemos um caminho simples
i , disjuntos entre 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 conjuntos B i = Bi i e F = F F .
Usando o fato
8. Decomponha agora X = R3 K nos conjuntos: A, B i , i = 1, 2, ..., n e F.
de que 1 ( A, p) um grupo livre nos geradores xi , i = 1, 2, ..., n e que agregando A os
conjuntos B i , um de cada vez, obtemos pelo teorema de Seifert-van Kampen as relaes
j
ri , i = 1, 2, ..., n, isto , 1 ( A (1 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 (1n 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 S3 = 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 A = A , dever ser agregado ao
denotemos F = F B n . claro
plano z = 0, transformando-o numa esfera S2 e F,
que A (1n1 Bi ) F uma decomposio de Y = S3 K e que 1 ( A , 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 ( A (1n1 Bi )) S2 n que
simplesmente conexo. Note que F tambm simplesmente conexo, logo agregar
F 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
32
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 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 t j (inversveis em !!), para obter K (t) com K (t) =
K (t1 ) e K (1) = 1, este o Polinmio de Alexander do n K.
Veja um exemplo de clculo do polinmio de Alexander na figura 3.11.
Figura 3.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,
3.4: Construindo Ns e Enlaamentos - Ns Primos
33
outro invariante polinomial muito importante.

Salientamos os seguintes resultados:
1. O polinmio de Alexander no depende da orientao escolhida para o n.
2. O polinmio de Alexander de um n K e de seu refletido (em algum espelho)K o
mesmo.
3. Todo polinmio (t) Z[t, t1 ] e satisfazendo as condies: (t) = (t1 ) e
(1) = 1 o polinmio de Alexander de um n (como temos uma grande quantidade
destes polinmios, teremos uma grande quantidade de ns no equivalentes!).
3.4 Construindo Ns e Enlaamentos - Ns Primos

A primeira construo bsica para se construir ns, a partir de outros ns Ki , i = 1, 2
em S3 , a soma dos dois denotada K1 K2 . Vejamos a construo: considere os pares
(S3 , 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 , Ki ) 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 (S3 , K1 K2 ) onde K1 K2 chamado soma de K1 e K2 . A figura 3.12 ilustra a
construo acima.
Figura 3.12: Soma de dois ns

A figura 3.13 mostra uma construo equivalente. Nesta figura colocamos os dois
ns dentro de S3 , 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.
Um n dito primo se no for a soma de dois outros ns no triviais.
Tambm podemos definir soma conexa de enlaamentos e definir Enlaamentos
Primos, veja [Kawauchi] captulo 3.
34
Figura 3.13: Soma conexa (ambiental?)

Uma outra construo parecida com esta, porem, mais geral, a soma ao longo de
uma faixa f , onde permitido que a faixa se enlace com os ns (que esto em bolas
distintas de S3 ) de forma arbitrria, veja figura 3.14. A notao neste caso K f L.
Figura 3.14: Soma conexa ao longo de faixa f

Na definio de K1 K2 a soma determinada apenas pelos dois ns, j K1 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 K L (t) = K (t). L (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.
3.4: Construindo Ns e Enlaamentos - Ns Primos
35
Figura 3.15: N satlite ou iterado

Seja H um n em S3 sabemos que existem homeomorfismos : (S1 D2 )0 N ( H )
onde (S1 D2 )0 o toro slido mergulhado de forma trivial em S3 e N ( H ) S3 uma
vizinhana tubular fechada de H em S3 , temos ainda que H = (S1 {(0, 0)})
Seja L um n contido no toro (S1 D2 )0 e de tal forma que no exista nenhuma
bola B3 tal que K B3 (S1 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 meridiano-longitude do toro slido padro no sistema meridiano-longitude
da vizinhana tubular N ( H ), neste caso a notao que podemos usar 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 (S1 D2 )0 , isto se for um n toral do
tipo (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 H K (t) = H (tq ). K (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.
36
Captulo 4
Outras Teorias de Ns
4.1 Teoria Multidimensional de Ns
Nesta seo vamos mostrar um pouquinho do problema de existncia e
classificao dos mergulhos das esferas Sn , n 2 nas esferas Sm com m > n,
usualmente chamada Teoria Multidimensional de Ns.
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 S2
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 4.1.
Evitando estes mergulhos selvagens, temos em codimenso um o teorema de
Schnflies:
Teorema 4.1 (Teorema de Schnflies) Seja Sn mergulhada em Sn+1 , com colarinho duplo,
ento o fecho de cada uma das componentes do complementar do mergulho homeomorfo ao
disco D n+1.
Note que os mergulhos diferenciveis e os PL satisfazem as condies do teorema
acima.
Em codimenso (m n) maior que dois, o complementar Sm Sn 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].
37
38
Captulo 4: Outras Teorias de Ns
Figura 4.1: Esfera com Chifres
Vejam as demonstraes dos teoremas a seguir em [Greenberg/Harper].

Teorema 4.2 (Da separao de Jordan-Brouwer) Se Dr um disco fechado de dimenso r
mergulhado na esfera Sn onde r n ento H0 (Sn Dr ; Z) Z e Hq (Sn Dr ; Z) = 0 para
q 1.
Corolrio 4.1 Sn no pode ser desconectada pela remoo de um disco fechado Dr .
Teorema 4.3 Seja Sr mergulhada em Sn , ento r n e se r = n Sr = Sn , alm disso, no caso
r < n temos que H0 (Sn Sr ; Z) Z Hnr1(Sn Sr ; Z) e Hq (Sn Sr ; 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.
4.2 O caso especial de S2 em S4

Comecemos pelo caso de S2 em R4 ou S4 que, como j observamos, so
essencialmente a mesma coisa.
Consideremos o conjunto {( x, y, z, 0) R4 | x2 + y2 + z2 = 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 S4 . Poderamos tambm
considerar {( x, y, z, 0, 0) S4 R5 | x2 + y2 + z2 = 1} e j teramos S02 S4 .
possvel verificar que o complementar deste n tem o tipo de homotopia de S1 .
Logo o grupo (fundamental) deste n Z.
A questo que se coloca inicialmente se existe ns (mergulhos de S2 em R4 ) no
triviais, por exemplo com grupos diferentes de Z. Vejamos uma construo que mostra
que para cada n (manso) clssico K existe um n S2K 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].
4.2: O caso especial de S2 em S4
39
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( )) S1 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".
Figura 4.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 :
4
R 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 : S1 [0, 2 ) (ou (0, 2 ] conforme
a convenincia) a funo inversa de E, dada acima, que contnua em S1 {(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/(z2 + w2 )1/2 , w/(z2 + 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
40
pequena deformao) 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 = K interior 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 ).
Denotemos S2K = Rot( ), e fcil ver que S2K S2 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 .
Estudemos o grupo do n S2K .
Temos a incluso iK : R3 (0) K R4 (S2K 0 ) e a retrao HK : R4 (S2K
0 ) R3 (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
jS2 : R4 (S2K 0 ) R4 S2K induz um isomorfismo nos grupos fundamentais
K
jS2 : 1 (R4 (S2K 0 )) 1 (R4 S2K ).

K
O prximo passo provar que iK : 1 (R3 (0) K ) 1 (R4 (S2K 0 ))

sobrejetiva. Para isto consideremos [s] 1 (R4 (S2K 0 )) onde s : [0, 1]
R4 (S2K 0 ), s(0) = q = s(1), s constitudo por uma seqencia de segmentos de
retas s1 .s2 ......sm com vrtices q = q0 , q1 , ...., q j , ..., 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 q j P K, q j 6= q, escolha caminho v j em P K ligando q j 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
1
Substitumos s por s1 .v1 .v11 .s2 .v2 .v21 .s3 .v3 .v31 ....s j .v j .v
j ....s m1 .vm1 .vm1 .s m 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 que os caminhos que esto entre as duas folhas so homotpicos em
R4 (S2K 0 ) a caminhos em R3 (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 esta em R3 (0) K. fcil ver que a
t. ((s))
aplicao W : [0, 1] [0, 1] R4 (S2K 0 ), dada por 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 nesta
imagem, ou seja iK sobrejetiva e logo o grupo do n S2K em R4 isomorfo ao grupo
do n K em R3 .
O processo acima, que chamaremos "rodar"(spinning) tem uma generalizao que
4.3: O crculo no plano, na esfera, no espao projetivo e no toro
41
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 4.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 S2 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 S2 em R4 (S4 ) poderia ser algo
como S2T 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 S2T S (k )S (k ).....S (k ) ,
q q
2 2
1 1
onde K = T S1 S2 ...Sq .
Figura 4.3: Torcendo ao rodar em R4

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 S1 S1 mergulhados de forma enodada em R4 (S4 ).
4.3 O crculo no plano, na esfera, no espao projetivo e

no toro
Teorema 4.4 (Da curva de Jordan) Se L uma curva simples e fechada (portanto
homeomorfa a S1 ) em R2 ou S2 , ento R2 L ou S2 L tem duas componentes e L o bordo
42
de ambas.
Exerccios
Tente responder a questo acima no caso de:
1. L ser a reunio disjunta de 2 curvas simples.
2. L ser a reunio em um ponto de duas curvas simples (figura 8).
3. L ser a reunio disjunta de n curvas simples.
Teorema 4.5 (De Schnflies) Nas hipteses do teorema anterior, uma das componentes de
R2 L ou as duas componentes de S2 L so homeomorfas ao disco D2 .
Corolrio 4.2 Quaisquer dois ns de S1 em S2 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)], pagina 11.
Exerccios
1. O que se pode dizer de enlaamentos de vrios crculos disjuntos em S2 ou em R2 .
2. O que se pode dizer da classificao de mergulhos da reunio em um ponto de dois
crculos (figura 8) em S2 ou em R2 .
Vamos apresentar de forma muito resumida o estudo dos mergulhos do crculo
S1 no toro T 2 = S1 S1 . 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.
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.6 (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:
4.4: O Cilindro e a Faixa de Mbius em R3
43
Teorema 4.7 (Classificao dos mergulhos de S1 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.4 O Cilindro e a Faixa de Mbius em R3

Na figura 4.4 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.4: Cilindro e Faixa de Mbius - I

Que tal estes outros mergulhos da figura 4.5. Se observarmos direito veremos que
temos ainda o cilindro e a faixa de Mbius, porem agora esto mergulhados de forma
diferente.
Figura 4.5: 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.6.
Novamente temos o cilindro e a faixa de Mbius mergulhados de forma que os seus
meridianos M coincidem com ns de R3 .
44
Figura 4.6: Cilindro e Faixa de Mbius-III

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 Mergulhos de Superfcies em R3

Normalmente temos as superfcies, orientveis, mergulhadas em R3 como na figura
4.7 abaixo.
Observe que o "lado de dentro"das superfcies so discos com alas (handlebodies).
Mas que tal o mergulho do bi-toro em R3 , mostrado na figura 4.8 abaixo. Este
mergulho um exemplo de um mergulho no bi-toro, pensado em S3 , em que, ambos
os "lados"em que o S3 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 S3 .
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.
Considere um n K em S3 , possvel provar que sua vizinhana tubular fechada
homeomorfa S1 D2 , isto , existe mergulho K : S1 D2 S3 , tal que
K (S1 (0, 0)) = K. Se consideramos TK2 = K (S1 ( D2 )) onde ( D2 ) S1 , obtemos
um mergulho do toro T 2 em S3 . Se K complicado o mergulho do toro correspondente
4.5: Mergulhos de Superfcies em R3
45
Figura 4.7: Superficies em R3

TK2 complicado porem uma das componentes em que S3 fica dividida pela imagem
de T 2 , um toro slido, isto , um espao homeomorfo S1 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 S1 D2 .
Uma questo ento : possvel mergulhar o toro em S3 de tal forma que os dois
"lados"do mergulho sejam diferentes de S1 D2 . A resposta no e este o resultado
do teorema abaixo, veja demonstrao em [Rolfsen(1976)], pagina 107.
Teorema 4.8 (Teorema do toro de Alexander) Um toro T 2 mergulhado (PL) em S3 divide
este espao em duas partes sendo pelo menos uma delas homeomorfa ao toro slido S1 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.9 Se p, q 1 e p + q = r com r mpar, ento existem para cada n, inteiro no
nulo, mergulhos distintos f n : S p Sq Sr S p+q+r+1 tal que o fecho de nenhuma das
duas componentes de S p+q+r imagem f n homologicamente equivalente ao produto de duas
esferas e um disco.
Uma pergunta que se coloca imediatamente se um bi-toro mergulhado em S3
sempre bordar em pelo menos um dos lados o correspondente "handlebody". A
resposta negativa, veja exemplo na figura 4.8 acima, onde ambos os lados do
mergulho em S3 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.8.
46
Figura 4.8: Bitoro em S3
Captulo 5
RP2 no mergulha em R3
Podemos encontrar provas deste fato usando Cohomologia e em particular
Dualidade de Alexander, vejam em [Greenberg/Harper] pg. 235 ou [Spanier] pg. 356.
Vejamos uma prova, dada por Hiroshi, veja [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 5.1 (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 5.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
e
d
b
P6
d H
H
e
P5
P2
c
b
HH
HH
H
P4
P3
( 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 )
47
48
Captulo 5: RP2 no mergulha em R3
( 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 5.1 O Espao Projetivo 2-dimensional RP2 no mergulha em R3 .
Prova: Suponha RP2 mergulhado em R3 . Removendo-se uma clula aberta D de
RP2 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 orientveis, tambm no
mergulham em R3 .
[ ] Abaixo uma bibliografia longa (mas no muito!!). Se voce precisa uma bibliografia
mais completa consulte a bibliografia do [Kawauchi]
[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.
Topologia(2006).
The
Braid
Group,
XV
Encontro
Brasileiro
de
[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.
49
50
[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).
[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. 452466 (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)
[Morton] H. R. Morton. Threading Knot diagrams, Math. Proc. Cambridge Philos. Soc.
99, n. 2 pg. 247-260 (1986).
[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).
51
[Perko] K. A. Perko. On the classifications of Knots, Proc. Amer. Math. Soc. 45, pg. 262266 (1974).
[Gauss] K. F. Gauss. Zur mathematischen Theorie der electrodynamischen Wirkungen,
Werke Konigl. Gessell. Wiss. Gottingen, 5 pg. 695 (1833).
[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 Sq 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).
[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 Sq
embedded in S p+q+2 , Kobe J. Math. 13, pg. 145-165 (1996).
52
[Larcio/Saeki (2002)] L. A. Lucas and O. Saeki. Embedding of S p Sq Sr 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).
[Polcino] F. J. Polcino Milies. Anis de Grupos, IV Escola de lgebra - SBM (1976)

Neto, Oziride Manzoli - Teoria de Nós

Transféré par

Informations du document

Description originale:

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Neto, Oziride Manzoli - Teoria de Nós

Transféré par

Droits d'auteur :

Formats disponibles

Teoria de Ns

Oziride Manzoli Neto

2o Colquio da Regio Sudeste

Captulo 1: Histria da Teoria de Ns

de limite de uma funo. Ele desenvolve a construo do sistema de nmeros

Na Teoria Clssica dos Ns e Enlaamentos surgem muitos outros invariantes com

Captulo 1: Histria da Teoria de Ns

um resultado sobre mergulhos de grafos em R3 para provar que o espao projetivo no

2.1.1 O bsico de Categorias e Funtores

2.2: Topologia Algbrica

2.1.2 O bsico de Anis de Grupos

2.2 Topologia Algbrica

2.2.1 O bsico de Homotopia

e H (z, 1) = g(z), notao f g, f g ou H : f g.

2.2: Topologia Algbrica

homotopia faz os pontos de X A "flurem"para dentro de A, enquanto os pontos de

Consideremos agora o caso de "espaos topolgicos pontuados" e "aplicaes

O Grupo Fundamental de um espao topolgico

2.2: Topologia Algbrica

Dada aplicao de f : (S1 , q) (X, p) obtm-se de forma natural aplicao

Para a demonstrao do proximo teorema, veja por exemplo [Armstrong] pagina

Teorema 2.1 (Teorema de Seifert-van Kampen)

2.2.2 O bsico de Homologia

2.2: Topologia Algbrica

So os seguintes os dados para uma teoria de homologia.

... Hq ( A) Hq (X ) Hq (X, A) Hq1 ( A) Hq1 (X ) ...

eq : Hq (X U, A U ) Hq (X, A), para todo inteiro q.

f : (X, A) (Y, B) uma equivalncia de homotopia, ento f : H (X, A) H (Y, B).

logo f : H (X, A) H (Y, B) e g : H (Y, B) H (X, A), so isomorfismos.

... Hq (X ) Hq (X ) Hq (X, X ) Hq1(X ) Hq1(X ) ...

Demonstrao: Como A X A, tal que, r i = Id A e, portanto, rq iq =

homologia do par (X, A): ... Hq+1 (X, A) Hq ( A) Hq (X ) ...

2.3: O bsico de Topologia Diferencial

Consideremos a aplicao contnua = i r : X X.

2.3 O bsico de Topologia Diferencial

2.3: O bsico de Topologia Diferencial

em {( x1 , x2 , .., xn ) Rn , com xn > 0} que so abertos usuais de Rn e outros pontos

J observamos que o produto cartesiano de duas variedades uma variedade.

2.3: O bsico de Topologia Diferencial

Proposio 2.4 Se M orientvel ento seu genus g = [2 ( M)]/2 e se M no orientvel

Figura 3.1: N Selvagem

Captulo 3: Teoria Clssica de Ns

Aqui estamos interessados em ns e enlaamentos mansos ("no selvagens"), que

Figura 3.2: Movimentos de Reidemeister

Captulo 3: Teoria Clssica de Ns

Figura 3.3: Ns equivalentes e no equivalentes

Figura 3.4: O n Figura 8 aquiral

3.2 Nmero de enlaamentos

Figura 3.5: Nmero de enlaamento

3.3: Alguns Invariantes de Ns e Enlaamentos

cruzamento se d da direita para a esquerda do sentido da orientao de D, rotulamos

3.3 Alguns Invariantes de Ns e Enlaamentos

Captulo 3: Teoria Clssica de Ns

Figura 3.6: Tricolorao compatvel com Movimentos de Reidemeister

3.3: Alguns Invariantes de Ns e Enlaamentos

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

Captulo 3: Teoria Clssica de Ns

3.3: Alguns Invariantes de Ns e Enlaamentos

Figura 3.8: Clculo de determinantes de alguns ns

Captulo 3: Teoria Clssica de Ns

cilindros Ci , i = 1, 2, ..., n (com eixos verticais e disjuntos dois a dois) localizados na

Figura 3.9: Ponto de cruzamento do diagrama do n

3.3: Alguns Invariantes de Ns e Enlaamentos