Estgio Topologia 15-18/7/08

http://www.math.ist.utl.pt/~rpicken/estagio/

Resumos
Curso I: Introduo topologia e teoria de ns (Roger Picken)
Curso II: Grupos e tranas (Marco Mackaay)
Curso III: Superfcies e a caracterstica de Euler (Roger Picken)
Curso IV: Homologia (Roger Picken)

2
3
4
5

Teoria de ns e o polinmio de bracket (Louis Kauffman)

Topologia na Fbrica (Roger Picken)
Mas para que serve a Matemtica? (Manuel Ricou)
As figuras geomtricas nas danas escocesas (Roger Picken)
O grupo fundamental (Gustavo Granja)
Emaranhados racionais (Nuno Freitas)
Geometria Hiperblica (Marco Mackaay)
Ns de gravata (Roger Picken)
Sesses no computador

6
7
8
9
10
11
12
13
14

Bibliografia principal

15

Curso I: Introduo topologia e teoria de ns (Roger Picken)

Introduo pessoal, organizaco, enquadramento, IST.

Topologia novo tipo de matemtica para os participantes, deformao elstica
sem partir. Exemplo usando modelos em papel de uma fita normal e uma fita de
Moebius. Observaes sobre as diferenas entre as duas superfcies (Moebius: s
uma componente da fronteira, s um lado, ou seja no pode ser pintada a duas
cores). Lio: convm usar argumentos de colorao em topologia. A topologia
procura captar o essencial.
Introduo aos ns e enlaces, diagramas de ns, equivalncia entre ns,
equivalncia entre diagramas (so diagramas de ns equivalentes), teorema de
Reidemeister. Problema principal: algoritmo para concluir que dois diagramas de
ns so equivalentes ou no. Exemplos: writhe (contoro) que no um
invariante porque falha Reid. I, nmero de enlace (linking number) para um
enlace de duas componentes (exerccio tarde para mostrar que um invariante).
tri-colorao de diagramas de ns, indicao como se prova que ser tricolorvel
um invariante sob movimentos de Reidemeister (novamente com exerccios na
sesso da tarde). Assim prova-se que o no-n (n trivial) e o triflio no so
equivalentes.
Polinmio de Conway. Definio atravs de uma relao para o polinmio para
diagramas que diferem s numa regio, mais uma relao de normalizao.
Exemplos do clculo do polinmio para o enlace trivial, e o enlace de Hopf.
Chamada de ateno para o facto de que necessrio ter uma definio
independente (aqui o polinmio de Alexander) porque a definio usando relaes
entre diagramas pode ser inconsistente.

Curso II Grupos e tranas (Marco Mackaay)

Grupos fazem parte da lgebra necessria para captar as propriedades topolgicas.

Nmeros naturais incluindo 0, com adio de nmeros. O elemento neutro 0
(observao que demorou bastante at descoberta do nmero 0, que se revelou
tambm muito til na notao 10, 100 etc.). Propriedade associativa. Z os
nmeros inteiros, com adio, admite ainda para cada elemento um inverso.
Definio de um grupo, como sendo um conjunto com uma operao binria
satisfazendo existncia de um elemento neutro, associatividade e existncia de um
inverso para cada elemento. Exemplo dos nmeros racionais, excluindo 0, com
multiplicao usual..
O conceito de um grupo permite provar factos que se verificam para cada
exemplo de um grupo. Princpio filosfico em matemtica: no s olhar para os
objectos mas tambm para as relaes entre eles. Definio de um homomorfismo
f de (A,*) para (B,o). Exemplos com A=B=Z, f(x)=2x; A=R, B=R \ 0, f(x)=e^x.
exemplo das rotaes por mltiplos de um ngulo de 360/n graus, por exemplo
n=3. Equivalncia entre rotaes que diferem por 360 graus. Reformulao como
o grupo Z / 3Z.
grupo de simetrias de um tringulo: grupo diedral D_3 cujos elementos so
obtidos de \rho (=rotao por 120 graus) do exemplo anterior e uma reflexo
\sigma: 1, \rho, \rho^2, \sigma, \rho\sigma, \rho^2 \sigma, t.q. \rho^3 =1, \sigma^2
=1 e \sigma \rho = \rho^2 \sigma.
(no incio da sesso prtica) continuao dos grupos com o exemplo do grupo das
permutaes, descrito tambm diagramaticamente, e o grupo das tranas.
Discusso da relao entre o fecho das tranas e os ns e enlaces.

Curso III Superfcies e a caracterstica de Euler (Roger Picken)

Exemplos de v-e+f=2 para o tetraedro e o cubo. Meno dos slidos platnicos,

tema de um dos exerccios da tarde. Clculo usando uma representao planar da
esfera como bgono, com os dois lados (arcos) identificados.
clculo da caracterstica de Euler para o toro, usando uma representaao planar
rectangular com lados opostos identificados, dividido em dois tringulos.
Esboo da garrafa de Klein, discusso da dificuldade de a representar em
dimenso 3, analogias com os ns, diferena entre a topologia intrinseca e a
topologia mergulhada num espao ambiente.
clculo da caracterstica de Euler da garrafa de Klein, desvio para falar sobre
passeios na representao planar rectangular da garrafa de Klein, conduzindo a
uma discusso do 3-toro como cubo slido com faces opostas identificadas.
Entrega de uma cpia de 4 pginas de Armstrong com uma demonstrao
interessante e acessvel do teorema de Euler, e observao que essencialmente
constava na prova que qualquer superfcie satisfazendo a condiao podia ser
descrita como dois discos colados na sua fronteira (mostrando uma bola de tnis
como ilustrao).
Respondendo a uma pergunta sobre se o tempo podia ser usado para representar
dimenses adicionais, dei exemplos da representao de movie de uma 2-esfera,
e a representao movie de uma superfcie em dimenso 4.
Observao que na aula de amanh ia haver uma discusso sobre como distinguir
o toro da garrafa de Klein

Referncias: Armstrong, Basic Topology

Curso IV Homologia (Roger Picken)

Da aula III: a caracterstica de Euler, \chi, invariante topolgico, mas no

distingue o toro da garrafa de Klein, ambos com \chi =0.
Abordagem de Legendre para provar o teorema de Euler para o caso de um
poliedro, que fronteira de um slido *convexo*. Discusso da noo de
convexidade. A demonstrao usa a frmula: rea de um n-gono numa esfra de
raio 1 = (soma dos ngulos interiores) n\pi + 2\pi. Somando as contribuies de
todos os polgonos, obtm-se 4\pi = 2\pi v 2\pi e + 2\pi f..
partindo de uma superfcie triangulada X, introduz-se a noo de 0-, 1- e 2simplice, (a), (a,b) = -(b,a), (a,b,c)=(b,c,a)= -(b,a,c) etc.
n-cadeias so expresses (para n=1) do gnero 2(a,b) + (-3)(b,c). As n-cadeias
constituem um grupo isomorfo a Z \oplus Z ... (em nmero igual ao nmero de nsimplices).
Noo do bordo de um simplice e de uma cadeia. Definio e exemplos de nciclos (n-cadeias cujo bordo nulo).
Equivalncia entre n-ciclos: z_n e z_n so equivalentes quando z_n= z_n +
bordo(c_{n+1}). O grupo de homologia H_n(X) o grupo cujos elementos so os
n-ciclos, a menos de equivalncia, com adio de n-cadeias.
A adio de n-ciclos est bem definida (situao anloga adio de nmeros
mod n), um exemplo da chamada lgebra homolgica.
No havia tempo para discutir o exemplo dos grupos de homologia do toro e da
garrafa de Klein, deixados como exerccio. De qualquer forma, so invariantes
topolgicos mais finos do que a caracterstica de Euler, e distinguem entre estas
duas superfcies.

Referncias: Armstrong, Basic Topology

Teoria de ns e o polinmio de bracket (Louis Kauffman)

Definio de um polinmio nas variveis A, B, d, para diagramas no-orientados

de ns. Exemplos do clculo deste polinmio. Observao que o procedimento
para o clculo conduz a um polinmio bem-definido (independente da ordem em
que as regras so aplicadas), atravs da introduo de uma soma de estados,
mostrando depois que esta soma obedece a todas as regras..
Utilidade do polinmio para a topologia (teoria de ns): impondo equaes para
B e d em funo de A, o polinmio passa a ser invariante sob os movimentos de
Reidemeister I-III, dando assim um invariante de ns.
Propriedade deste polinmio para dois ns, imagens espelho um do outro.
Problema em aberto: se o polinmio de um n for igual a 1, isto implica que o n
trivial? Observao que o polinmio obtido coincide com o polinmio de Jones
depois de uma mudana de varivel.
Algumas observaoes sobre as aplicaes: ocorrncia de ns em cadeias de
polmeros, ADN, ligaes com a fsica, particularmente a fsica quntica.

Topologia na Fbrica (Roger Picken)

Motivado pelo objectivo de evitar colises entre robs a operar no mesmo espao
introduz-se a noo de espao de configurao (de partculas no sobrepostas),
com exemplos dos espaos de configuraes de 2 ou 3 robs no eixo real R.
Noo de grafo, vrtices, arestas, valncia de um vrtice, e discusso do espao de
configuraes de dois robs no grafo Y_3 com 3 arestas, um vrtice 3-valente, e 3
vrtices 1-valentes.
Breve meno do aspecto complicado do espao de configuraes do grafo obtido
de Y_3 unindo dois vrtices 1-valentes num vrtice 2-valente.
introduo do espao de configuraes simplificado, onde as configuraes de
robs devem ser tal que dois robs no podem ter a distncia de menos de uma
aresta entre eles.
Exemplo do espao de configuraes simplificado para dois robs em Y_3.
Observao que a dimenso deste espao de configuraes simplificado mais
baixa do que o espao de configuraes no-simplificado correspondente, e que
uma retraco por deformao daquele espao (intuitivamente: como uma pea
de roupa a encolher).
ltimo exemplo sem detalhes do espao de configuraes simplificado de dois
robs no grafo K_5 (grafo completo de 5 vrtices, no tem representao planar).
Afirmao que este espao de configuraes simplificado uma superfcie de
gnero 6.
Finalmente uma observao breve sobre como as tranas com n fios podem ser
interpretadas como caminhos (filmes) no espao de configuraes de npartculas em R^2.

Mas para que serve a Matemtica? (Manuel Ricou)

Palestra completa em:
http://www.math.ist.utl.pt/~rpicken/estagio/ficheiros/SemanaTopologia_A.pdf

As figuras geomtricas nas danas escocesas (Roger Picken)

DVD com uma dana mostrando figuras (avanadas) das danas escosesas
(Bonnie Anne, coreografia de Mary Isdale MacNab, executada por The Thornhill
Dancers, msica: Muriel Johnstone Ensemble)
Com a ajuda de 5 voluntrios, demonstrao da estrutura de algumas figuras
simples (turn by the right hand for 4 bars, back to back, right hands across (2
couples and 3 couples), left hands across (2 couples), rights and lefts (2 couples).
Observao sobre a analogia entre as figuras e as tranas, e desafio para analisar
as figuras matemticamente. Porque neste terreno ainda no h trabalho feito,
uma oportunidade para fazer investigao matemtica, criar algo de novo.
Algumas figuras mais complicadadas: rights and lefts for 3 couples, parallel reels
of 3 (tambm com msica).
Observao que existem solues estveis do problema de trs corpos onde os
corpos executam um reel of 3 (analogia com as conhecidas solues astronmicas
com dois corpos).
Demonstrao de um programa de diagramas animados AW Movies Editor: a
figura knot, a dana Autumn in Appin com voz dando as instrues e com msica
(no ritmo lento strathspey). A dimenso tempo nos diagramas.
Uma dana simples com msica executada com mais dois voluntrios: Scotch
Mixer (para mltiplos de dois pares frente a frente: circle four hands round and
back; dance right hands across then left hands across; dance back to back with
partner, turn opposite person by the right hand for 4 bars; with opposite person
promenade for 8 bars to meet a new couple).

O grupo fundamental (Gustavo Granja)

Noes de espao topolgico, e de trajectria contnua num espao topolgico.

Exemplos de espaos topolgicos: R^2, R^3, o 2-toro, a 2-esfera, o espao de
configuraes de k pontos em R^2, SO(3)= o conjunto de referenciais em R^3.
O grupo fundamental serve para distinguir espaos; a dimenso tambm pode
distinguir: a dimenso do espao de configuraes de k pontos em R^2 2k, a
dimenso de SO(3) 3.
Dado um espao topolgico X e um ponto p de X, define-se um conjunto
pi_1(X,p) como sendo o conjunto das trajectrias contnuas com incio e fim no
ponto p, mas identificando trajectrias que possam ser deformadas continuamente
uma na outra.
Noo da trajectria estpida que no se afasta do ponto p, e exemplos de
elementos de pi_1(X,p) iguais e diferentes. Operao de concatenao de duas
trajectrias, seguindo a primeira e depois a segunda. O elemento identidade
(neutro) a trajectria estpida, com a propriedade que a concatenao desta
trajectria com qualquer outra igual outra trajectria percorrida a uma
velocidade diferente.
Noo do inverso de uma trajectria, sendo a trajectria percorrida no sentido
contrrio. Observao que se deve distinguir a trajectria em si da sua imagem.
Observao que a concatenao de uma trajectria com o seu inverso a
identidade (passa trs vezes por p mas s tem de ficar presa em p no incio e no
fim.
A associatividade da operao de concatenao v-se de forma anloga maneira
como se v que a trajectria estpida a identidade. Assim obtm-se um grupo,
pi_1(X,p), o grupo fundamental de X.
Exemplo do grupo fundamental de R^3, com s um elemento. Neste exemplo a
operao comutativa. Exemplo de X = R^2 com dois pontos retirados. Neste
caso o grupo fundamental no comutativa, e assim R^2 com dois pontos
excludos diferente do cilndro, cujo grupo fundamental comutativo.
Observao que o grupo fundamental distingue todas as superfcies fechadas
orientveis.
Discusso sobre variedades de dimenso 3, anlogas a superfcies fechadas mas
de dimenso 3, observao que no existe uma classificao das 3-variedades. A
conjectura de Poincar, como um primeiro passo nesta classificao. Observao
que impossvel classificar variedades de dimenso 4 ou superior.
Exemplo final do grupo fundamental de SO(3).

10

Emaranhados racionais (Nuno Freitas)

O que so: configuraes que podem ser obtidas de duas cordas paralelas com as
pontas presas na superfcie de uma esfera. Exemplos de emaranhados racionais e
no-racionais.
Axiomas: inteiros = voltas direita; operao de rotao por 90 graus transforma
F em -1/F. exmplos bsicos 1,3, -1/3; multiplicao lado a lado corresponde a
somar as fraces associadas. Assim conseguimos obter um valor tambm para
somas verticais.
o numero 0 e o nmero (mais ou menos) infinto. Observao que infinito mais
um infinito.
Com 4 voluntrios a segurar as cordas e outro voluntrio a registar os valores,
obteve-se um valor racional e o emaranhado foi desfeito com outros movimentos,
sem ser as operaes inversas que levaram a esse valor.
Breve observao aobre o que so fraces continuadas, e como esto
relacionadas com as operaes que conduzem aos emaranhados racionias.
(no dia seguinte, entrega de 4 pginas do artigo de Goldman e Kauffman, com a
prova topolgica da frmula de Lagrange para emaranhados racionais. Para
fraces continuadas a frmula de Lagrage relaciona duas fraces continuadas
que correspondem ao mesmo nmero racional.

Referncia:
J. R. Goldman and L. H. Kauffman, Rational Tangles, Advances in Applied Mathematics
18, 300-332 (1997).

11

Geometria Hiperblica (Marco Mackaay)

os 5 axiomas de Euclides, por exemplo 1) 2 pontos definem uma recta; 5) l uma

recta, P no pertencente a l, implica que existe uma nica recta por P paralela a l
(paralela significa por definio que nao intersecta).
Descartes deu um modelo que satisfaz os axiomas.
Goedel mostrou que no h axiomas completos e consistentes.
5) independente de 1)-4) pode ser substituido, por exemplo por 5) ... *no* existe
... geometria esfrica (uma recta um dimetro, quaisquer dois dimetros
intersectam. Observao sobre a importncia da geometria esfrica (GPS), e at
da geometria no-euclideana (efeitos da relatividade geral tambm no GPS)
5) ... existem infinitas rectas ... conduz geometria hiperblica
Historia da geometria hiperblica: Lobachevsky (1830), Janos Bolyai (1832)
Eugenio Beltrami (1868) nota: o pai de Bolyai, tambm matemtico desistiu de
ideias anlogas porque teria sido despedido
esboo do hiperboloide, e meno de uma projeco para o semiplano de Poincar
(R^2 com y>0).
rectas so semirectas verticais ou semi-circunferncias com centro no eixo dos x.
Soma dos ngulos num tringulo menor que 180 graus (analogia com geometria
esfrica soma maior que 180 graus
definio da distncia hiperblica d entre (x,y) e (w,z): cosh(d) = 1+ \frac{(xw)^2 + (y-z)^2}{2yz}
Teorema de Pitgoras na geometria hiperblica: cosh(a)cosh(b)=cosh(c)
num certo limite, recupera-se o teorema de Pitgoras usual.

12

Ns de gravata (Roger Picken)

Histria dos ns de gravata conhecidos e a procura sistemtica de novos ns por

parte de Fink e Mao.
Notao diagramtica (C, L, R, e indicao da seta da direco). Observao que
as possibilidades so limitadas devido ao comprimento finito da gravata.
Demonstrao de alguns exemplos (3.1, four-in-hand 4.1), mostrando ambas as
maneiras de comear (lado bonito ou lado feio virado para a frente).
Meno da frmula com o nmero total de possveis ns de gravata, pressupondo
um nmero de movimentos inferior ou igual a 9. Representao destes ns como
caminhos num reticulado hexagonal.
Meno de alguns dos parmetros usados para seleccionar ns de gravata
esteticamente equilibrados.
Prtica com ns de gravata fazendo um dos novos ns de gravata (7.3) inventados
pelo duplo de investigadores.

13

Sesses no computador

Indicao de algumas possibilidades do programa Mathematica: clculo

algbrico, clculo com ns (Edgar Costa).
O Knot Atlas http://katlas.math.toronto.edu/wiki/Main_Page com visita pgina
Rolfsen Table, com propriedades e invariantes de ns com at 10 cruzamentos.
Knot Plot http://www.knotplot.com/ em particular algumas demonstraes
(energia de ns, enlaces Brunnianos, etc.), tabelas de ns e enlaces, invariantes.

14

Bibliografia principal usada na preparao do curso:

M. A. Armstrong, Basic Topology
http://www.springer.com/math/geometry/book/978-0-387-90839-7
Louis H Kauffman, Knots and Physics, 3rd Edition
http://www.worldscibooks.com/mathematics/4256.html
Para visualizar espaos e outros mundos como a garrafa de Klein, o 3-toro etc.
Jeffey R. Weeks, The Shape of Space
http://www.amazon.com/Shape-Space-Pure-Applied-Mathematics/dp/0824707095
Artigo de Louis H Kauffman com material aobre ns, o polinmio bracket e o polinmio
de Jones, e muito mais:
Louis H Kauffman, New Invariants in the Theory of Knots, American Mathematical
Monthly (1987).
http://www.math.uic.edu/~kauffman/Bracket.pdf

15