Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
42 Capítulo 4: Outras <strong>Teoria</strong>s <strong>de</strong> <strong>Nós</strong><br />
<strong>de</strong> ambas.<br />
Exercícios<br />
Tente respon<strong>de</strong>r a questão acima no caso <strong>de</strong>:<br />
1. L ser a reunião disjunta <strong>de</strong> 2 curvas simples.<br />
2. L ser a reunião em um ponto <strong>de</strong> duas curvas simples (figura 8).<br />
3. L ser a reunião disjunta <strong>de</strong> n curvas simples.<br />
Teorema 4.5 (De Schönflies) Nas hipóteses do teorema anterior, uma das componentes <strong>de</strong><br />
R 2 − L ou as duas componentes <strong>de</strong> S 2 − L são homeomorfas ao disco D 2 .<br />
Corolário 4.2 Quaisquer dois nós <strong>de</strong> S 1 em S 2 ou emR 2 são equivalentes por homeomorfismo<br />
no contradomínio.<br />
O corolário acima também é válido para a equivalência por isotopia ambiental. Veja<br />
prova em [Rolfsen(1976)], pagina 11.<br />
Exercícios<br />
1. O que se po<strong>de</strong> dizer <strong>de</strong> enlaçamentos <strong>de</strong> vários círculos disjuntos em S 2 ou emR 2 .<br />
2. O que se po<strong>de</strong> dizer da classificação <strong>de</strong> mergulhos da reunião em um ponto <strong>de</strong> dois<br />
círculos (figura 8) em S 2 ou emR 2 .<br />
Vamos apresentar <strong>de</strong> forma muito resumida o estudo dos mergulhos do círculo<br />
S 1 no toro T 2 = S 1 × S 1 . Neste caso temos resultados completos e não triviais e a<br />
referência é [Rolfsen(1976)]<br />
O grupo fundamental do toro é abeliano logo isomorfo ao seu primeiro grupo<br />
<strong>de</strong> homologia, isto é, π1(T 2 ) ≃ Z ⊕ Z ≃ H1(T 2 ;Z) e as classes <strong>de</strong> homotopia<br />
representáveis por mergulhos são da forma (a, b) ∈ Z⊕Z tal que: ou a = 0 = b<br />
ou m.d.c.(a,b)=1.<br />
Um nó que borda um disco D 2 é chamado trivial ou não essencial, correspon<strong>de</strong> à<br />
classe (0, 0) no grupo fundamental, caso contrário é chamado não trivial ou essencial.<br />
Um nó correspon<strong>de</strong>nte à (±1, 0) é chamado nó longitudinal e um correspon<strong>de</strong>nte à<br />
(0,±1) é chamado nó meridional.<br />
É fácil ver que todos os nós triviais são equivalentes por isotopia ambiental (e como<br />
conseqüência são equivalentes por homeomorfismo na imagem). É fácil também ver<br />
nós meridionais e longitudinais são equivalentes por homeomorfismo na imagem.<br />
A <strong>de</strong>monstração dos resultados abaixo po<strong>de</strong>m ser vistos em [Rolfsen(1976)].<br />
Proposição 4.1 Para todo nó K essencial em T 2 , isto é, [K] não correspon<strong>de</strong>nte à (0, 0) no<br />
grupo fundamental, existe um homeomorfismo h : T 2 → T 2 tal que a imagem <strong>de</strong> K é um nó<br />
meridional.<br />
Observe que esta proposição nos diz que todo nó que não seja o trivial é equivalente<br />
por um homeomorfismo em T 2 ao nó meridional, ou seja, temos o seguinte teorema <strong>de</strong><br />
classificação <strong>de</strong> nós no toro, por homeomorfismo na imagem:<br />
Teorema 4.6 (Classificação dos nós no toro T 2 por homeomorfismo na imagem)<br />
Existem apenas dois tipos <strong>de</strong> nós no toro por homeomorfismos na imagem, os equivalentes ao<br />
trivial (não essenciais) e os equivalentes a um nó meridional (os essenciais).<br />
A classificação por isotopia ambiental é dada por: