Escolar Documentos
Profissional Documentos
Cultura Documentos
Sociedade Brasileira
de Matem¶ atica
UNIVERSIDADE FEDERAL
DE VIC
» OSA
¶
DEPARTAMENTO DE MATEMATICA { UFV
Vi»cosa, 20 a 23 de abril de 2004
Mini-curso
TOPOLOGIA DAS SUPERF¶ICIES
UMA INTRODUC ~ INTUITIVA
» AO
Jo~
ao C.V. Sampaio (UFSCar)
Sum¶
ario
1 Superf¶³cies 1
1.1 O que ¶e uma superf¶³cie? . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Topologia e geometria . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Superf¶³cies de¯nidas abstratamente e seus
diagramas planos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Superf¶³cies orient¶aveis
e superf¶³cies n~ao orient¶aveis . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Superf¶³cies fechadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Somas conexas de superf¶³cies . . . . . . . . . . . . . . . . . . . . . . . 9
i
3.3.1 A soma dos ^angulos internos de um tri^angulo esf¶erico . . . . . . 34
3.4 O conceito de curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.5 O plano hiperb¶olico e sua geometria . . . . . . . . . . . . . . . . . . . . 36
3.5.1 Uma constru»c~ao aproximada de um modelo do plano hiperb¶olico. 37
3.6 A soma dos ^angulos internos de um pol¶³gono, em uma superf¶³cie de
curvatura constante. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.7 Somas conexas de toros, ou de planos projetivos, de curvatura constante 40
3.7.1 Uma constru»c~ao alternativa de toros de genus n, n ¸ 2, de
curvatura constante . . . . . . . . . . . . . . . . . . . . . . . . 41
4 O n¶
umero (ou caracter¶³stica)
de Euler (l^ ¶
e-se \Oiler"), um invariante topol¶
ogico 45
4.1 Divis~oes celulares de uma superf¶³cie . . . . . . . . . . . . . . . . . . . . 45
4.2 O n¶umero de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3 A topologia de uma superf¶³cie determina sua
geometria homog^enea, e vice-versa . . . . . . . . . . . . . . . . . . . . 48
4.4 Orientabilidade e n¶umero de Euler classi¯cando as superf¶³cies fechadas . 49
Pref¶
acio
iii
desse conhecimento ao leitor n~ao especializado.
Este texto evoluiu de mini-cursos apresentados nos X, XI, XII e XIII Encontros
Brasileiros de Topologia, realizados nos anos 1996, 1998, 2000 e 2002 e, original-
mente, de um mini-curso apresentado na Reuni~ao Regional da Sociedade Brasileira de
Matem¶atica, realizado pelo Departamento de Matem¶atica da UFSCar, em 1995.
Je®rey Weeks, em seu maravilhoso livro The Shape of Space, mostrou-me pela
primeira vez como ensinar topologia, sem pr¶e-requisitos formais, de modo divertido.
A ele juntam-se outros autores mencionados na bibliogra¯a. O incentivo para colocar
m~aos µa obra partiu de v¶arios companheiros de pro¯ss~ao, dentre eles cito especialmente
Yuriko Yamamoto Baldin, Yolanda Kioko Saito Furuya, Oziride Manzoli Neto, Daciberg
Lima Gon»calves e Suely Druck, havendo por¶em outros mais que tornariam esta lista bem
extensa.
Superf¶³cies
1.1 O que ¶
e uma superf¶³cie?
Superf¶³cies s~ao objetos geom¶etricos bi-dimensionais que n~ao existem no mundo real, mas
apenas em nossa imagina»c~ao geom¶etrica plat^onica. Podemos prontamente conceber
v¶arios exemplos de superf¶³cies, tais como a superf¶³cie de uma esfera, a superf¶³cie do
plano da geometria euclidiana, a superf¶³cie de uma c^amara de ar, e outras mais.
A de¯ni»c~ao formal (matem¶atica) de superf¶³cie requer conceitos de topologia geral
e de c¶alculo avan»cado, e n~ao ¶e nossa inten»c~ao apresent¶a-la aqui. Pelo contr¶ario, nos-
sa inten»c~ao ¶e explorar superf¶³cies, do ponto de vista topol¶ogico e geom¶etrico, o mais
intuitivamente poss¶³vel.
Poder¶³amos dizer que nosso m¶etodo de estudo ser¶a heur¶³stico em vez de formal.
Pretendemos estabelecer fatos atrav¶es de evid^encias geom¶etricas intuitivas.
Para citar um exemplo onde um tal m¶etodo ¶e empregado, tomemos por exemplo
a teoria dos conjuntos. Sabemos que grande parte das propriedades das opera»co~es e
rela»c~oes entre conjuntos pode ser deduzida atrav¶es dos chamados diagramas de Venn.
Os diagramas de Venn fornecem evid^encias intuitivas dessas propriedades mas n~ao cons-
tituem demonstra»c~oes matem¶aticas das mesmas.
Subentenderemos a priori que uma superf¶³cie ¶e um \ambiente" geom¶etrico bi-di-
mensional, no sentido de que \habitantes" ¯ct¶³cios de uma superf¶³cie se movem com
apenas dois graus de liberdade. Para tornar o conceito de superf¶³cie mais claro, su-
poremos que para cada dois pontos de uma superf¶³cie, pode-se tra»car nela uma linha
geod¶esica que os une. Em toda superf¶³cie, para cada dois pontos dela, existe um ca-
minho, tra»cado na superf¶³cie, unindo esses pontos, de menor comprimento poss¶³vel. Tal
caminho ¶e uma linha geod¶esica que os une.
Repetindo, considerando-se dois pontos A e B numa superf¶³cie, se quisermos
tra»car, na superf¶³cie, um caminho (uma curva) de menor comprimento poss¶³vel, de A
at¶e B, tal caminho ser¶a um segmento geod¶ esico.
Por exemplo, as geod¶esicas do plano euclidiano s~ao linhas retas. As geod¶esicas
da superf¶³cie de uma esfera s~ao arcos de grandes c¶³rculos. Um grande c¶³rculo na su-
1
2 ~o Regional da SBM
UFV { VI Reunia
perf¶³cie de uma esfera ¶e a interse»c~ao da superf¶³cie da esfera com um plano que passa
pelo seu centro. Por exemplo, a linha do Equador e os meridianos s~ao grandes c¶³rculos
da superf¶³cie da esfera terrestre1 . Repare que, se quisermos voar de um ponto a outro
no globo terrestre, deveremos voar seguindo sempre em frente, \em linha reta". Neste
caso estaremos seguindo a linha de uma geod¶esica da esfera terrestre. Um ¯o el¶astico
bem ¯no, com suas extremidades ¯xadas na superf¶³cie lisa de uma esfera, esticado e em
contato com a superf¶³cie, descreve uma geod¶esica da superf¶³cie da esfera.
O movimento em \dois graus de liberdade", sobre uma superf¶³cie, refere-se µa
propriedade de que um ponto, con¯nado a mover-se numa superf¶³cie, pode mover-se
\para a frente", \para tr¶as", \para a direita" e \para a esquerda", mas n~ao pode realizar
os movimentos complementares \para cima" e \para baixo" | poss¶³veis num ambiente
tri-dimensional | pois para isso teria que sair da superf¶³cie.
Figura 1.1: Uma transforma»c~ao de recorte e colagem aplicada a uma superf¶³cie. A su-
perf¶³cie resultante ¶e homeomorfa µa superf¶³cie original. No entanto, no espa»co euclidiano
tridimensional, elas n~ao s~ao isot¶opicas. Pode ser mostrado que, num espa»co euclidiano
de dimens~ao 4, ¶e poss¶³vel transformar a superf¶³cie em (a) na superf¶³cie em (b), apenas
por transforma»c~oes isot¶opicas, ou seja, dos tipos 1, 2 e 3, sem apelar para recorte e
colagem.
Ao cortarmos uma superf¶³cie segundo uma linha ou curva suave nela demarcada,
esse recorte d¶a origem a duas bordas (ou dois bordos, como dizem os top¶ologos).
Entenderemos que, ap¶os esse recorte, a linha de corte ¯ca duplicada, passando a ser
representada pelas duas bordas que o recorte gerou. Ap¶os a colagem de ambos as
bordas, uma na outra, resgatamos ent~ao a curva original e a por»c~ao da superf¶³cie em
torno dela.
De¯ne-se ent~ao a topologia de uma superf¶³cie como sendo o conjunto de as-
pectos geom¶etricos dessa superf¶³cie que n~ao se alteram quando a ela aplicamos qualquer
uma das quatro deforma»c~ oes listadas acima. Quando duas superf¶³cies t^em a mesma
topologia, dizemos que elas s~ao topologicamente equivalentes, ou que s~ao, como
dizem os top¶ologos, superf¶³cies homeomorfas.
Em contraste µa topologia de uma superf¶³cie, os aspectos de sua natureza que se al-
teram pelas deforma»c~oes enumeradas acima | aspectos tais como dist^ ancias, ^
angulos,
¶
areas e curvatura (um conceito do qual falaremos mais tarde) | constituem o que
chamamos a geometria da superf¶³cie.
As deforma»c~oes listadas abaixo (deforma»c~oes \ilegais") alteram a topologia de
uma superf¶³cie, resultando em superf¶³cies n~ao homeomorfas µa superf¶³cie original:
(i) cortar a superf¶³cie, segundo uma curva nela demarcada, e n~ao tornar a colar, um
no outro, os bordos gerados pelo recorte;
(ii) realizar colagens de modo arbitr¶ario fazendo com que dois ou mais pontos, origi-
nalmente separados, tornem-se um s¶o ponto da superf¶³cie;
(iii) encolher a superf¶³cie, ou algumas de suas regi~oes, de modo que pontos original-
mente separados se aglutinem num s¶o ponto.
4 ~o Regional da SBM
UFV { VI Reunia
H¶a superf¶³cies que s~ao de¯nidas abstratamente, a partir de colagens estrat¶egicas de pares
de arestas de regi~oes poligonais planas. O modo pelo qual tais superf¶³cies s~ao de¯nidas
ser¶a elucidado atrav¶es de exemplos. Um primeiro exemplo dessas superf¶³cies ¶e o toro
plano.
O toro plano ¶e constru¶³do da seguinte maneira:
A regi~ao poligonal plana, tomada como ponto de partida, ¶e um ret^angulo plano.
Para produzir o toro plano, s~ao \coladas", aos pares, as arestas opostas (lados opostos)
do ret^angulo, uma na outra. Se o ret^angulo ¶e visto por n¶os como tendo uma aresta de
cima, outra de baixo, e outras duas laterais µa direita e µa esquerda, colam-se ent~ao, a
aresta de cima na de baixo e a direita na esquerda.
A superf¶³cie resultante, assim obtida, ¶e o toro plano.
Figura 1.2: O toro plano ¶e representado por um diagrama retangular. As setas demar-
cadas no ret^angulo indicam que as arestas de setas simples ser~ao coladas uma sobre a
outra, bem como as arestas de setas duplas. Repare que, ap¶os a colagem, os quatro
v¶ertices do ret^angulo tornam-se um u¶nico ponto no toro plano.
¶ preciso que ¯que claro o que signi¯ca \colar" uma aresta em outra! N~ao signi¯ca
E
que passamos cola numa das arestas e a grudamos na outra. Signi¯ca, isto sim, que,
ap¶os a colagem, um habitante (bi-dimensional) ¯ct¶³cio dessa superf¶³cie, ao cruzar a
aresta superior, emerge para dentro do ret^angulo atrav¶es da aresta inferior. Ao cruzar a
aresta da direita, ele emerge superf¶³cie adentro atrav¶es da aresta esquerda do ret^angulo.
Veja ¯gura 1.3.
Figura 1.4: Nesta ¯gura temos um modelo do toro \mergulhado" (ou seja, constru¶³do)
no espa»co tri-dimensional euclidiano, obtido pelas colagens dos lados do ret^angulo
da ¯gura 1.2, conforme as instru»c~oes dadas. Esta superf¶³cie ¶e chamada toro bi-
dimensional ordin¶ ario. Note que para mergulh¶a-lo no espa»co tridimensional algumas
deforma»c~oes legais s~ao necess¶arias.
Figura 1.5: A garrafa de Klein plana ¶e representada pelo diagrama acima. As setas
demarcadas no ret^angulo indicam que as arestas de setas simples ser~ao coladas uma
sobre a outra, bem como as arestas de setas duplas, de modo que as setas se \encai-
xem" na colagem. Note que para sobrepor as setas duplas, ao colar a aresta direita na
esquerda, ¶e necess¶ario retorcer a faixa retangular antes de colar. Veri¯que que, ap¶os a
colagem, os quatro v¶ertices do ret^angulo ser~ao um s¶o ponto na garrafa Klein.
Observe, na ¯gura 1.6, a faixa retangular ao meio da garrafa de Klein. Esta ¶e uma
faixa de MÄobius. Para construir um modelo da faixa de MÄobius, tome uma tira de papel
6 ~o Regional da SBM
UFV { VI Reunia
Figura 1.10: O plano projetivo tamb¶em pode ser representado por um diagrama plano
circular, de duas arestas curvil¶³neas, como na ¯gura. Imagine a regi~ao circular plana
como uma semi-esfera achatada, ap¶os uma deforma»c~ao legal. Cada ponto do bordo
circular ¶e colado no ponto diametralmente oposto. Neste caso, a aresta curvil¶³nea µa
esquerda ¶e colada na aresta curvil¶³nea µa direita ap¶os aplicarmos uma retor»c~ao de 180±
num dos dois lados. Isto ¶e imposs¶³vel de se construir no mundo real. Repare que,
ap¶os a colagem, os dois pontos demarcados por A tornam-se um s¶o ponto do plano
projetivo.
para a dire»c~ao oposta µa que olhava quando partiu. Por causa disto, dizemos que o
caminho percorrido por Quadrado ¶e um caminho que inverte orienta»c~ ao.
Figura 1.11: Ap¶os um passeio ao longo da faixa de MÄobius, o jovem Quadrado retorna
invertido, assumindo a posi»c~ao de sua \imagem num espelho".
Tornamos a lembrar aqui que nossas superf¶³cies, por serem ideais, n~ao t^em es-
pessura. Assim, enquanto Quadrado passeia pela faixa, ele pode ser visto nos \dois
lados" da superf¶³cie. A frase \dois lados" vem entre aspas porque, na verdade, a faixa
de MÄobius, assim constru¶³da, dentro do espa»co euclidiano tri-dimensional, tem apenas
uma face (e apenas um bordo).
Uma superf¶³cie contendo um caminho fechado que inverte orienta»c~ao ¶e chamada
superf¶³cie n~ao orient¶avel. Um caminho que inverte orienta»c~ao ¶e um caminho que
pode ser representado pelo diagrama que aparece µa direita na ¯gura 1.6, ou seja, que ¶e,
na verdade, uma faixa de MÄobius. Assim, ¶e n~ao orient¶avel toda superf¶³cie que contem
dentro de si uma faixa de MÄobius. Se a superf¶³cie n~ao cont¶em nenhum caminho fechado
desse tipo ela ¶e uma superf¶³cie orient¶
avel.
A garrafa de Klein e o plano projetivo s~ao superf¶³cies n~ao orient¶aveis. J¶a a esfera
e o toro bi-dimensional s~ao superf¶³cies orient¶aveis.
O plano Euclidiano n~ao tem bordo, por¶em, sempre que ¯xarmos uma dist^ancia
qualquer, haver¶a dois pontos do plano Euclidiano separados por uma dist^ancia maior
que a dist^ancia ¯xada. Assim, apesar de n~ao ter bordo, o plano Euclidiano n~ao ¶e
uma superf¶³cie fechada, pois n~ao pode ser subdividido em um n¶umero ¯nito de regi~oes
triangulares. Um ret^angulo plano n~ao ¶e uma superf¶³cie fechada, pois tem bordo. A
esfera, o toro, a garrafa de Klein e o plano projetivo s~ao superf¶³cies fechadas.
Por serem reuni~ao de um n¶ umero ¯nito de tri^angulos, as superf¶³cies fechadas s~ao
chamadas superf¶³cies compactas. Assim, o termo superf¶³cie fechada ¶e sin^onimo de
superf¶³cie compacta e sem bordo. O plano euclidiano ¶e triangul¶avel, por¶em atrav¶es de
uma cole»c~ao in¯nita de tri^angulos, e por isto n~ao ¶e compacto.
Quando a superf¶³cie n~ao ¶e fechada e, ao mesmo tempo, n~ao tem bordo, tal como
o plano Euclidiano, ela ¶e chamada de superf¶³cie aberta.
Um resultado famoso da topologia das superf¶³cies diz que, al¶em das quatro super-
f¶³cies b¶asicas vistas anteriormente | a esfera, o toro, a garrafa de Klein e o plano proje-
tivo | todas as demais superf¶³cies fechadas conceb¶³veis s~ao constru¶³das a partir dessas
superf¶³cies b¶asicas, atrav¶es de um n¶umero ¯nito de somas conexas. Mais precisamente,
temos os seguintes fatos, a serem esclarecidos no pr¶oximo cap¶³tulo:
O leitor pode perguntar-se porqu^e a garrafa de Klein n~ao foi citada nas duas
propriedades acima. Pode perguntar ainda como ¯ca a soma conexa de uma superf¶³cie
orient¶avel com uma n~ao orient¶avel. A resposta a estas quest~oes vir¶a a seu tempo. No
momento, para que pense a respeito dessas quest~oes, adiantaremos dois fatos, deveras
surpreendentes, que estabeleceremos no pr¶oximo cap¶³tulo:
As superf¶³cies b¶asicas at¶e agora examinadas ser~ao, a partir de agora, indicadas por
nota»c~oes especiais, conforme a tabela abaixo.
S2
T2 P2
T 2 #T 2 P 2 #P 2
T 2 #T 2 #T 2 P 2 #P 2 #P 2
.. ..
. .
11
12 ~o Regional da SBM
UFV { VI Reunia
P 2 #P 2 = K 2
Figura 2.2: Constru»c~ao do diagrama da soma conexa de dois toros (bitoro). Em cada
toro, as arestas s~ao etiquetadas por letras e setas, de modo que arestas etiquetadas
pelas mesmas letras s~ao coladas uma sobre a outra, conforme as orienta»c~oes dadas
pelas setas demarcadas nas arestas. Removendo uma regi~ao circular de cada um dos
toros, tomamos o cuidado de faz^e-lo de modo que cada bordo circular comece e termine
num determinado v¶ertice do diagrama poligonal. Na opera»c~ao de soma conexa das
duas superf¶³cies, o bordo circular e ¶e ent~ao colado no bordo circular f. Como se v^e, isto
gera uma representa»c~ao octogonal do bitoro, com arestas coladas aos pares conforme
o diagrama ¯nal. Note que, ao ¯nal, todos os v¶ertices do oct¶ogono ser~ao colados
num s¶o lugar, representando um s¶o ponto no bitoro resultante. Repare tamb¶em que o
diagrama da soma conexa ¶e uma \justaposi»c~ao," atrav¶es dos dois v¶ertices destacados
na ¯gura, dos diagramas das superf¶³cies somadas.
14 ~o Regional da SBM
UFV { VI Reunia
Figura 2.3: A seqÄu^encia de ilustra»c~oes mostra que a soma conexa de dois planos
projetivos ¶e uma garrafa de Klein. Ap¶os o recorte estrat¶egico da soma conexa ao longo
da linha c, o peda»co n¶umero 1 ¶e rebatido em 180± em rela»c~ao ao plano do papel, e os
peda»cos 1 e 2 s~ao ent~ao colados ao longo da aresta b. Note que, tamb¶em neste caso,
todos os v¶ertices do ret^angulo resultante s~ao colados num s¶o ponto.
c, etc., de modo a guardar a informa»c~ao da \colagem" organizada que deve ser levada a
termo se quisermos reconstruir a superf¶³cie original. Se duas arestas devem ser coladas
uma na outra, etiquetamos ambas com a mesma letra.
Nesse \desmonte" da superf¶³cie, al¶em da etiquetagem das arestas por letras,
tamb¶em etiquetamos as arestas com setas, de modo a manter a informa»c~ao acerca
de como s~ao colados dois tri^angulos quando t^em uma aresta em comum. As setas de-
marcadas s~ao necess¶arias para nos indicar, em pares de arestas a serem coladas, quais
s~ao os v¶ertices iniciais e quais s~ao os v¶ertices ¯nais.
Uma vez conclu¶³da a decomposi»c~ao e subseqÄuente etiqueta»c~ao de arestas conforme
descrito acima, procedemos a uma recolagem estrat¶egica dos tri^angulos, a ¯m de obter
o que chamamos de uma representa»c~ ao poligonal plana da superf¶³cie.
superf¶³cie palavra
toro plano aba¡1 b¡1
garrafa de Klein aba¡1 b
esfera aa¡1
plano projetivo aa
Nesta palavra, cada letra ¶e dada duas vezes, num total de 8 letras, contadas as
repeti»co~es. Assim, trata-se da palavra associada a um diagrama octogonal. Deste modo,
18 ~o Regional da SBM
UFV { VI Reunia
Figura 2.6: O diagrama acima est¶a associado µa palavra acdc¡1 db¡1 a¡1 b. Percorrendo
o bordo do oct¶ogono em sentido anti-hor¶ario, a partir do v¶ertice destacado, deduzi-
mos que o mesmo diagrama tamb¶em est¶a associado µa palavra b¡1 abd¡1 cd¡1 c¡1 a¡1 .
Veri¯que que os oito v¶ertices, ap¶os as colagens, de¯nem um u
¶nico ponto na superf¶³cie.
² P 2 #P 2 ´ aabb
² T 2 #S 2 ´ aba¡1 b¡1 cc¡1
² K 2 #P 2 ´ aba¡1 bcc
Observe tamb¶em que se uma palavra representa»c~ao W ¶e formada por dois blocos
consecutivos A e B, sem letras em comum, ent~ao W representa a soma conexa de
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 19
1. S 2 ´ aa¡1 ;
2. nT 2 ´ a1 b1 a¡1 ¡1 ¡1 ¡1
1 b1 : : : an bn an bn ;
3. nP 2 ´ a1 a1 : : : an an .
Nesta se»c~ao provaremos que, n~ao importa qual seja a palavra representa»c~ao de
uma superf¶³cie, ¶e poss¶³vel aplicar a essa palavra um certo n¶umero de transforma»c~oes e,
sem alterar a topologia da superf¶³cie, chegar a uma palavra com uma das tr^es formas
acima. Convencionaremos que 1T 2 = T 2 , 1P 2 = P 2 , e que 0T 2 = 0P 2 = S 2 , j¶a que
S 2 ¶e elemento neutro da soma conexa de superf¶³cies.
2.4.1 Transforma»c~
oes praticamente ¶
obvias
Axx¡1 B ´ AB ´ Ax¡1 xB
Demonstra»c~ao. Tais transforma»c~oes s~ao obtidas quando fazemos uma segunda escolha
para a orienta»c~ao das setas correspondentes µa informa»c~ao de colagem das arestas x. A
¯gura 2.8 ilustra geometricamente a transforma»c~ao do item 1. A transforma»c~ao do item
2 ¶e justi¯cada com diagrama analogamente simples.
AB ´ BA
W ´ W ¡1
Transforma»c~
ao 5
AxBCx¡1 ´ AxCBx¡1
Em outras palavras, sendo x uma letra numa palavra representa»c~ao, podemos permutar
dois blocos de letras quaisquer localizados entre x e x¡1 .
Transforma»c~
ao 6
AxBxC ´ AxxB ¡1 C
bem como tamb¶em
AxBxC ´ AB ¡1 xxC
Transforma»c~
ao 7
AxByCx¡1 Dy ¡1 = Ax(B)(yC)x¡1 Dy ¡1
´ Ax(yC)(B)x¡1 Dy ¡1 (transforma»c~ao 5)
= AxyCBx¡1 Dy ¡1
= Axy(CB)(x¡1 D)y ¡1
´ Axy(x¡1 D)(CB)y ¡1 (transforma»c~ao 5)
= Axyx¡1 DCBy ¡1
= (Axy)(x¡1 DCBy ¡1 )
´ (x¡1 DCBy ¡1 )(Axy) (transforma»c~ao 3)
= x¡1 DCBy ¡1 Axy
= x¡1 (DCB)(y ¡1 A)xy
´ x¡1 (y ¡1 A)(DCB)xy (transforma»c~ao 5)
= x¡1 y ¡1 ADCBxy
= (x¡1 y ¡1 ADCB)(xy)
´ (xy)(x¡1 y ¡1 ADCB) (transforma»c~ao 3)
= xyx¡1 y ¡1 ADCB
Transforma»c~
ao 8
Axxaba¡1 b¡1 B ´ AxxaabbB
bem como
AxU xV ´ AxxU ¡1 V:
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 25
Assim sendo,
Axxaba¡1 b¡1 B = Axx(ab)a¡1 b¡1 B
´ Ax(ab)¡1 xa¡1 b¡1 B (transforma»c~ao 6)
= Axb¡1 a¡1 xa¡1 b¡1 B
´ AxbaxabB (transforma»c~ao 2)
= Axb(axa)bB
´ Axbb(axa)¡1 B (transforma»c~ao 6)
= Axbba¡1 x¡1 a¡1 B
´ Axbbax¡1 aB (transforma»c~ao 2)
= Axbba(x¡1 )aB
´ AxbbaaxB (transforma»c~ao 6)
= Ax(bbaa)xB
´ Axx(bbaa)¡1 B (transforma»c~ao 6)
´ Axxa¡1 a¡1 b¡1 b¡1 B
´ AxxaabbB (transforma»c~ao 2)
Pela transforma»c~ao 7,
W ´ xyx¡1 y ¡1 ADBC = xyx¡1 y ¡1 W0 ;
sendo W0 = ADBC.
Se ADBC ¶e um bloco vazio, W = xyx¡1 y ¡1 ´ T 2 . Caso contr¶ario, como as
letras x e y j¶a n~ao aparecem em W0 , temos que W representa a soma conexa de duas
superf¶³cies, T 2 ´ xyx¡1 y ¡1 e S0 ´ W0 , sendo S0 uma superf¶³cie orient¶avel.
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 27
e ent~ao
W ´ xyx¡1 y ¡1 x1 y1 x¡1 ¡1
1 y1 W1
W ´ xyx¡1 y ¡1 x1 y1 x¡1 ¡1 ¡1 ¡1
1 y1 : : : xn yn xn yn Wn
W ´ x1 x1 : : : xn xn a1 b1 a¡1 ¡1 ¡1 ¡1
1 b1 : : : am bm am bm
W ´ x1 x1 : : : xn xn a1 a1 b1 b1 : : : am am bm bm ´ P 2 # : : : #P 2
| {z }
n+m termos
ou seja,
W ´ (m + n)P 2
e portanto S ¶e uma soma conexa de m + n planos projetivos.
3
29
30 ~o Regional da SBM
UFV { VI Reunia
Quando duas geod¶esicas formam um ^angulo reto num ponto de interse»c~ao, dizemos que
elas s~ao geod¶esicas perpendiculares nesse ponto. Da¶³, em torno de cada ponto, o ^angulo
correspondente a uma volta completa em torno dele medir¶a quatro ^angulos retos, ou
360± .
Para exempli¯car agora o conceito de ponto c^onico, considere agora a superf¶³cie
obtida, a partir de um quadrado, por colagens feitas como na ¯gura 3.2.
Note que se um habitante dessa superf¶³cie resolve andar em c¶³rculos, em torno do
ponto A, ele seguir¶a as dire»c~oes dos arcos com setas da ¯gura. Note ent~ao que ele,
em cada volta completa em torno de A, varrer¶a um ^angulo total de 90± + 90± = 180± ,
ao inv¶es de 360± ! Neste caso, a colagem conforme a ¯gura produz pontos c^ onicos na
superf¶³cie (os pontos B e C tamb¶em s~ao c^onicos: giros completos em torno de B e
C perfazem apenas 90± ). A interpreta»c~ao da colagem, nas proximidades do ponto A,
no espa»co euclidiano tridimensional, produziria um cone de v¶ertice em A. Assim, as
colagens realizadas nesse quadrado n~ao produzem uma superf¶³cie suave pois, pelo ponto
A n~ao podemos tra»car duas geod¶esicas perpendiculares entre si, j¶a que ¶e imposs¶³vel um
giro de 360± em torno de A.
Figura 3.3: Nos diagramas da ¯gura, os quatro cantos dos ret^angulos representam um
mesmo ponto A no toro (µa esquerda) ou na garrafa de Klein (µa direita). Assim, em
torno do ponto A ¶e poss¶³vel um giro de 360± e portanto, nos diagramas do toro plano
e da garrafa de Klein, os v¶ertices dos ret^angulos n~ao d~ao origem a pontos c^onicos.
Figura 3.4: Ap¶os as colagens de pares de arestas segundo as intru»co~es dadas, os oito
v¶ertices do oct¶ogono regular tornam-se um u¶nico ponto A. Um giro completo em torno
do ponto A perfar¶a 8 £ 135± = 1080± . Neste caso, A ¶e um ponto c^onico negativo.
Quando uma superf¶³cie ¶e obtida por colagens de pares de arestas de uma regi~ao
poligonal plana, pode ocorrer tamb¶em o aparecimento de pontos c^ onicos negativos.
Um ponto da superf¶³cie ¶e um ponto c^onico negativo se um giro em torno dele perfaz um
^angulo maior que 360± . Veja exemplo na ¯gura 3.4.
Uma superf¶³cie ¶e uma superf¶³cie suave se ela n~ao apresenta pontos c^onicos e nem
pontos c^onicos negativos.
Dizemos que uma superf¶³cie tem uma geometria euclidiana se, em cada tri^an-
gulo dessa superf¶³cie, a soma dos ^angulos internos ¶e 180± (= ¼ radianos). O plano
bidimensional euclidiano E 2 ¶e dotado de uma geometria euclidiana, conforme ilustra a
¯gura 3.6.
Figura 3.6: Os ^angulos demarcados de modos iguais (^angulos \alternos internos") s~ao
congruentes, isto ¶e, t^em mesma medida. Os tr^es ^angulos demarcados em torno do
v¶ertice C t^em soma igual a 180± (ou ¼ radianos), que ¶e tamb¶em a soma dos ^angulos
internos do tri^angulo ABC.
Tamb¶em no toro plano e na garrafa de Klein plana, a soma dos ^angulos internos
de um tri^angulo ¶e 180± . Isto porque o toro plano e a garrafa de Klein s~ao constru¶³dos
a partir de um ret^angulo plano, por colagens de lados opostos uns nos outros. Assim
sendo, o toro plano e a garrafa de Klein plana s~ao superf¶³cies de geometria euclidiana.
Os dois ^angulos internos de um fuso esf¶erico s~ao iguais em medida. Tal medida ¶e
chamada abertura do fuso esf¶erico.
Consideremos um fuso, numa esfera de raio r, de v¶ertices A e B, de abertura
® (radianos). O segmento de reta AB (no espa»co euclidiano tridimensional E 3 ) ¶e um
di^ametro da esfera. A ¶area do fuso esf¶erico ¶e proporcional µa abertura ®, isto ¶e, dobrando-
se ®, dobramos a ¶area, dividindo-se ® por 2, teremos a ¶area dividida por 2, triplicando-se
®, triplicamos a ¶area, etc. (obviamente devemos tomar o cuidado de tomar m¶ultiplos
da abertura ® que n~ao excedam 360± = 2¼ radianos).
Se um fuso tem abertura ¼ = 180± , ele cobrir¶a metade da esfera. Se tiver abertura
2¼ = 360± , ele cobrir¶a toda a esfera e seus lados coincidir~ao.
A¶ area da superf¶³cie esf¶erica de raio r ¶e numericamente igual a 4¼r2 (Arquimedes
provou isto no s¶eculo III a.C.)
Como a ¶area A® , de um fuso de abertura ®, ¶e proporcional a ® e, para ® = 2¼
(radianos), temos A2¼ = ¶area da esfera = 4¼r2 , para obter A® aplicamos a regra de
tr^es simples µa tabelinha de dados:
abertura ¶area
® A®
2¼ 4¼r2
Logo,
® A®
= ;
2¼ 4¼r2
de onde
¼r2
¼ ¢ A® = ® ¢ 46
26
2 ¢ A® = 4®r2
34 ~o Regional da SBM
UFV { VI Reunia
Assim,
A® = 2®r2
S® = 2 ¢ A® = 4®r2
Consideremos agora um tri^angulo ABC numa esfera de raio r, como na ¯gura 3.9.
Prolonguemos seus lados de modo a construir tr^es grandes fusos duplos de aberturas ®,
¯ e °, ^angulos estes que s~ao tamb¶em os tr^es ^angulos internos do tri^angulo ABC.
Figura 3.9: Observe que os tr^es fusos duplos d~ao origem a uma segunda c¶opia do
tri^angulo ABC, cujos v¶ertices A0 , B 0 e C 0 s~ao diametralmente opostos aos v¶ertices
A, B e C, respectivamente. Observe ainda que as u¶nicas regi~oes comuns a quaisquer
dois dos fusos duplos s~ao a regi~ao triangular sombreada e sua r¶eplica diametralmente
oposta (do outro lado da esfera).
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 35
Logo,
®r2 + ¯r2 + °r2 = ¼r2 + (¶area ¢ABC)
Da¶³,
¶area ¢ABC = (® + ¯ + ° ¡ ¼) ¢ r2
De onde, ent~ao,
¶area ¢ABC
=®+¯+°¡¼
r2
E portanto,
¶area ¢ABC
®+¯+° =¼+
r2
Assim, conclu¶³mos:
b+B
A b+C
b = ¼ + k ¢ (¶area ¢ABC)
No caso de uma esfera ou de um plano projetivo, temos que k = 1=r2 . J¶a no caso
b+ B
do toro plano ou da garrafa de Klein plana, temos A b+C b = 180± = ¼, e portanto
k = 0.
Assim sendo, temos que superf¶³cies de geometria euclidiana t^
em curvatura
k = 0.
Diremos que uma superf¶³cie tem geometria homog^ enea quando nela duas regi~oes
circulares quaisquer, de mesmo raio, s~ao sempre geometricamente id^enticas | ou seja,
recortando-se, da superf¶³cie, duas regi~oes circulares de raios iguais, podemos encaixar
perfeitamente uma sobre a outra. As superf¶³cies da esfera, do plano projetivo, do toro e
da garrafa de Klein, s~ao exemplos de superf¶³cies que admitem modelos com geometrias
homog^eneas, tendo curvatura constante. Nas pr¶oximas se»c~oes, estaremos buscando
modelos, com geometria homog^enea, das demais superf¶³cies fechadas.
b+B
A b+C
b = ¼ + k ¢ (¶
area ¢ABC)
b+B
Figura 3.10: Superf¶³cie de geometria hiperb¶olica. A b+C
b < 180± .
Recorte v¶arios tri^angulos equil¶ateros de papel, de mesmo tamanho. Cole-os uns nos ou-
tros, aos pares, ao longo de suas arestas, de modo que cada aresta (lado de um tri^angulo),
ap¶os colagem, seja comum a dois tri^angulos. Continue montando essa \colcha" de
tri^angulos, mas fazendo-o de tal modo que, ap¶os colagens, em torno de cada v¶ertice
haja exatamente cinco tri^angulos. O resultado ser¶a (surpresa!) um icosaedro (!), uma
superf¶³cie poli¶edrica de vinte faces triangulares, um dos cinco poliedros de Plat~ao (veja
¯gura 4.1).
De certa forma, um icosaedro pode ser visto como uma aproxima»c~ao da superf¶³cie
de uma esfera.
Se no entanto montarmos uma \colcha" de tri^angulos, deixando sete tri^angulos
em torno de cada v¶ertice, obteremos uma superf¶³cie poli¶edrica que ¶e uma aproxima»c~ao de
um plano hiperb¶olico, no mesmo sentido em que o icosaedro regular ¶e uma aproxima»c~ao
da esfera. Esta constru»c~ao ¶e mostrada em detalhes na ¯gura 3.11.
38 ~o Regional da SBM
UFV { VI Reunia
c1 + A
A c2 + ¢ ¢ ¢ + A
cn
= soma dos ^angulos internos de ¢1
+ soma dos ^angulos internos de ¢2
+ ¢¢¢
+ soma dos ^angulos internos de ¢n¡2
= [¼ + k ¢ (¶area ¢1 )] + [¼ + k ¢ (¶area ¢2 )] + ¢ ¢ ¢ + [¼ + k ¢ (¶area ¢n¡2 )]
= (n ¡ 2)¼ + k ¢ (¶area ¢1 + ¶area ¢2 + ¢ ¢ ¢ + ¶area ¢n¡2 )
= (n ¡ 2)¼ + k ¢ (¶area da regi~ao poligonal A1 A2 : : : An )
Ou seja,
c1 + A
A c2 + ¢ ¢ ¢ + A
cn = (n ¡ 2)¼ + k ¢ (¶area da regi~ao poligonal A1 A2 : : : An )
Se a regi~ao poligonal for regular, isto ¶e, tiver todos os lados iguais (congruentes)
e os ^angulos internos tamb¶em iguais (congruentes), todos medindo ® radianos, ent~ao
teremos:
® {z: : : + ®} = (n ¡ 2) ¢ ¼ + k ¢ (¶area A1 A2 : : : An )
| +®+
n parcelas
ou seja,
n ¢ ® = (n ¡ 2) ¢ ¼ + k ¢ (¶area A1 A2 : : : An )
40 ~o Regional da SBM
UFV { VI Reunia
obtemos
de onde ent~ao
4(1 ¡ n)¼
k=
¶area do pol¶³gono
Neste caso, a soma dos ^angulos internos do diagrama 4n-gonal ser¶a dada por
4n ¢ ® = (4n ¡ 2) ¢ ¼ + k ¢ (¶area do pol¶³gono)
= (4n ¡ 2) ¢ ¼ + (¡1) ¢ 4(n ¡ 1)¼
= 4n¼ ¡ 2¼ ¡ 4n¼ + 4¼
= 2¼ = 360±
e assim ¶e evitada a forma»c~ao de pontos c^onicos negativos na superf¶³cie.
Analogamente, a soma conexa de n planos projetivos, n ¸ 3, pode ser represen-
tada por uma regi~ao poligonal plana regular de 2n lados (um 2n-¶agono regular). Al¶em
disso, no diagrama poligonal dessa superf¶³cie, todos os v¶ertices, ap¶os colagem, tornam-se
tamb¶em um ¶unico ponto A da superf¶³cie. Neste caso, ¶e poss¶³vel construir um modelo
da superf¶³cie, com curvatura constante e negativa.
Se quisermos uma superf¶³cie suave, repetimos as contas feitas acima, substituindo
\4n" por \2n" nas f¶ormulas, e chegamos µa rela»c~ao
2n ¢ ® = (2n ¡ 2) ¢ ¼ + k ¢ (¶area do pol¶³gono)
Eliminamos o ponto c^onico negativo desde que tenhamos 2n ¢ ® = 2¼. Isto nos d¶a
2¼ ¡ (2n ¡ 2)¼
k=
¶area do pol¶³gono
ou seja,
2(2 ¡ n)¼
k=
¶area do pol¶³gono
que ¶e uma constante negativa para n ¸ 3.
Assim, quando n ¸ 3, ¶e poss¶³vel construir um modelo da soma conexa de n planos
projetivos, com curvatura constante e negativa.
Tal modelo pode ser constru¶³do tomando-se um 2n-¶agono regular de ¶area 2(n¡2)¼
num plano hiperb¶olico de curvatura k = ¡1, e colando-se as arestas aos pares conforme
as instru»c~oes do diagrama da soma conexa. Neste caso, a soma dos ^angulos internos do
diagrama 2n-gonal ser¶a dada por
2n ¢ ® = (2n ¡ 2) ¢ ¼ + k ¢ (¶area do pol¶³gono)
= (2n ¡ 2) ¢ ¼ + (¡1) ¢ 2(n ¡ 2)¼
= 2n¼ ¡ 2¼ ¡ 2n¼ + 4¼
= 2¼ = 360±
evitando-se novamente a forma»c~ao de pontos c^onicos negativos na superf¶³cie.
desses hex¶agonos, seja v¶ertice comum de exatamente quatro hex¶agonos, ou seja, com os
cantos dos hex¶agonos se aglomerando em n¶ umero de quatro em torno de cada v¶ertice.
De um modo geral, o toro de genus n pode ser subdividido em 4(n ¡ 1) hex¶agonos,
cada v¶ertice sendo comum a quatro hex¶agonos. A ¯gura 3.13 ilustra como isto ¶e feito.
Figura 3.13: (a) O toro de genus 2 ¶e subdividido em quatro hex¶agonos (dois na parte
de cima e dois na parte de baixo), cada um com a forma mostrada µa direita. Note
que cada v¶ertice, ¶e v¶ertice comum de quatro hex¶agonos. (b) O toro de genus 3 ¶e
subdividido em oito hex¶agonos, quatro na parte de cima e quatro na parte de baixo.
Cada v¶ertice ¶e comum a quatro hex¶agonos. (c) O toro de genus 4 subdivide-se em
doze hex¶agonos, seis na parte de cima e seis na parte de baixo.
pontos c^onicos negativos, isto ¶e, pontos em torno dos quais percursos circulares
perfazem mais que 180± (no nosso caso, perfazem 480± !).
Tomamos ent~ao esses peda»cos hexagonais regulares, num plano hiperb¶olico H 2 (de
curvatura digamos k), todos com ¶area su¯cientemente grande, de modo que tenham ^an-
gulos internos de 90± . Veja ¯gura 3.14.
Finalmente, tornamos a colar esses peda»cos hexagonais, de geometria hiperb¶olica,
quatro em torno de cada v¶ertice, resgatando o arranjo geom¶etrico original, reconstituindo
a superf¶³cie do toro de genus n, sem pontos c^onicos negativos.
Assim feito, ap¶os as devidas colagens desses hex¶agonos hiperb¶olicos, teremos um
toro de genus n ¸ 2, com uma geometria hiperb¶olica homog^enea, de curvatura constante
igual a k.
44 ~o Regional da SBM
UFV { VI Reunia
Figura 3.15: Para fabricar \papel hiperb¶olico", conforme instru»co~es dadas na ¯gura 3.11,
tire v¶arias c¶opias xerox do padr~ao acima. Pegue uma tesoura, um rolo de ¯ta adesiva
transparente e n~ao tenha pressa. A produ»c~ao de uma boa ¶area de papel hiperb¶olico
requer paci^encia (mas pode ser relaxante).
4
4.1 Divis~
oes celulares de uma superf¶³cie
Analogamente ao conceito de triangula»c~ao, de¯ne-se o conceito de divis~ ao poligonal
de uma superf¶³cie, como sendo uma subdivis~ao dessa superf¶³cie em um n¶umero ¯nito de
regi~oes poligonais. Essa subdivis~ao da superf¶³cie, em regi~oes poligonais, tamb¶em deve
ser bem comportada, no sentido de que:
45
46 ~o Regional da SBM
UFV { VI Reunia
Figura 4.1: Os cinco poliedros de Plat~ao podem ser vistos como divis~oes poligonais da
superf¶³cie da esfera.
4.2 O n¶
umero de Euler
Consideremos agora uma superf¶³cie suave de geometria homog^enea, de curvatura cons-
tante k (positiva, zero ou negativa), e uma divis~ao celular dessa superf¶³cie, cujas arestas
s~ao segmentos geod¶esicos da superf¶³cie. Suponhamos que essa divis~ao celular tenha v
v¶ertices, a arestas e f faces.
Figura 4.2: Divis~oes celulares: (a) da esfera; (b) do toro; (c) do plano projetivo e (d)
da garrafa de Klein.
Observe que, em se tratando de uma superf¶³cie suave, numa divis~ao celular, a soma
dos ^angulos formados em torno de cada v¶ertice ¶e igual a 2¼.
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 47
v £ 2¼
n1 + n2 + : : : + nf
= n¶umero de lados da face 1 + n¶umero de lados da face 2
+ ¢ ¢ ¢ + n¶umero de lados da face f
= 2 £ (n¶umero total de arestas)
= 2a
Logo,
2¼ ¢ v = 2¼ ¢ a ¡ 2¼ ¢ f + k ¢ A;
ou ainda
2¼ ¢ (v ¡ a + f ) = k ¢ A ;
sendo A a ¶area da superf¶³cie.
O n¶umero  = v ¡ a + f ¶e chamado n¶ umero (ou caracter¶³stica) de Euler da
divis~ao celular considerada (sendo  uma letra grega pronunciada como \qui").
A f¶ormula
2¼ ¢ (v ¡ a + f ) = k ¢ A
que ent~ao ¯ca
2¼ ¢ Â = k ¢ A
¶e chamada f¶
ormula de Gauss-Bonnet para superf¶³cies de curvatura constante.
48 ~o Regional da SBM
UFV { VI Reunia
Algumas conclus~oes que podemos deduzir da f¶ormula de Gauss-Bonnet s~ao, como vere-
mos, bastante surpreendentes.
Da validade da f¶ormula de Gauss-Bonnet, podemos concluir, por exemplo, que:
4. ConseqÄ uentemente, temos que cada superf¶³cie s¶o pode ser \vestida" com uma
u¶nica geometria homog^enea dentre as tr^es existentes, conforme a tabela abaixo.
[1] Weeks, Je®rey R. The Shape of Space. Marcel Dekker, Inc., New York, 1985.
Neste magn¶³¯co trabalho, o top¶ologo Je®rey Weeks desenvolve, de modo bastante
intuitivo, t¶opicos da geometria e da topologia de variedades bi e tri-dimensionais.
Seu livro ¶e conclu¶³do com um cap¶³tulo com algumas conjeturas interessantes acer-
ca da topologia e da geometria do Universo, formuladas por f¶³sicos e astrof¶³sicos
te¶oricos. Imperd¶³vel, ¶e a inspira»c~ao original para o presente livro.
[2] Firby, P.A. & Gardiner, C. F. Surface Topology. Ellis Horwood Ltd., West Sussex,
1982.
[5] Petit, J.-P. As Aventuras de Anselmo Curioso. Einstein e o Buraco Negro. Publi-
ca»c~oes Dom Quixote, Lisboa, 1982.
[8] Croom, F., Basic Concepts of Algebraic Topology, Springer-Verlag, New York, 1983.
50
Topologia das superf¶³cies. Uma introduc
»a~o intuitiva 51
[9] Kosniowski, C., A First Course in Algebraic Topology, Cambridge University Press,
Cambridge, 1980.