O TEOREMA DE BORSUK-ULAM

THE BORSUK-ULAM THEOREM

Wilson Francisco da Rocha Lima Orientadora: Denise de Mattos
Universidade de So Paulo USP , campus de So Carlos, Instituto de Cincias Matemticas e Computao
Bacharelado em Matemtica - wilsonlima@grad.icmc.usp.br , deniseml@icmc.usp.br
Palavras chave: Topologia algbrica, Borsuk-Ulam
Keywords: Algebraic topology, Borsuk-Ulam

INTRODUO
O tempo caprichoso. Os parmetros que o descrevem tais como: presso atmosfrica,
temperatura e umidade variam continuamente com o tempo e de lugar para lugar. As curvas isotrmicas
e isobricas sobre os mapas do tempo tm formas excntricas e descrevem previses que muitas vezes
no se confirmam.

Figura 1- Mapa do tempo

Contudo, no importa quo estranho o mapa do tempo se parea, o seguinte teorema sempre
verdadeiro:
Teorema do tempo: Em cada instante, existe um par de pontos diametralmente opostos (pontos
antpodas) sobre a superfcie da Terra nos quais a temperatura e a presso atmosfrica coincidem.

Figura 2 - Mapa-mndi (vermelho) ao qual se sobreps um mapa antipodal (amarelo) a fim de fazer
sobressair o antpoda de cada ponto do globo.

Embora essa proposio tenha sido apresentada em termos meteorolgicos, mais do que uma
propriedade da atmosfera, ela na verdade uma propriedade das funes contnuas definidas sobre a
esfera. Esse teorema pertence a um campo da topologia, uma rea da matemtica que trata, dentre
outras coisas, com funes ou colees de funes que so contnuas para certos conjuntos. Algumas
propriedades de tais funes so determinadas pela estrutura do conjunto sobre o qual elas esto
definidas. Por exemplo: para funes numricas que so estudadas no ensino mdio o seguinte teorema
vlido:
Teorema do zero de uma funo: Se uma funo f contnua sobre o intervalo fechado [a,b] e se
essa funo assume valores com sinais opostos nos extremos desse intervalo, ento existe um ponto x0
entre a e b tal que f(x0)=0.
Embora geometricamente esse resultado parea bvio, a sua demonstrao est longe de ser
elementar. Para o teorema ser verdadeiro so hipteses essenciais a continuidade da funo f e a
conexidade do segmento [a,b].
Vamos examinar algumas propriedades de pares de funes contnuas definidas sobre a esfera.
Antes porm, consideremos um caso mais simples: uma propriedade inesperada de funes contnuas
definidas sobre a circunferncia.
1.1 O caso da circunferncia: a corrida de um atleta
Suponhamos que um atleta comece a correr suavemente em uma pista de corrida circular a
partir de um ponto A e que ele pare suavemente no mesmo ponto depois de dar uma volta completa na
pista. Independentemente como a velocidade do atleta varia durante o percurso, existe um par de
pontos diametralmente opostos nos quais a velocidade do atleta a mesma.

Figura 4 Corrida de um atleta em uma pista circular

claro que o atleta no a causa desse fato: na verdade essa uma propriedade das funes contnuas
e esse resultado pode ser reformulado como segue.

O teorema do atleta: Se uma funo est definida sobre uma circunferncia e se ela contnua,
existem dois pontos diametralmente opostos sobre a circunferncia nos quais essa funo assume
valores iguais.
A validade desse resultado pode ser verificada usando somente o teorema do zero de uma funo
enunciado anteriormente.
1.2 Formulao matemtica do teorema do tempo
Deixando de lado o significado meteorolgico das funes f e g, podemos reformular o teorema
do tempo em termos matemticos. Em um dado instante do tempo, cada ponto P sobre a superfcie da
Terra pode ser caracterizado por dois nmeros: a presso f(P) e a temperatura g(P). Assim, duas
funes esto definidas sobre a esfera S2. Suponhamos que elas sejam contnuas. De fato, os valores
dessas funes no podem variar muito quando h uma pequena variao na posio do ponto P.
Apresentamos a seguir a formulao geral do teorema do tempo.
Teorema de Borsuk-Ulam [2]: Se as funes f e g esto definidas sobre a esfera S2 e so contnuas,
ento existem dois pontos diametralmente opostos P0 e P1 sobre a esfera tais que f(P0) = f(P1) e g(P0) =
g(P1).
Observao 1: Esse teorema pode ser estendido para funes contnuas definidas sobre a esfera Sn. O
resultado foi primeiramente conjecturado pelo matemtico S. Ulam e foi posteriormente provado pelo
matemtico polons Karol Borsuk em 1933. Desde a sua publicao, tm sido apresentadas diferentes
demonstraes, generalizaes e aplicaes deste famoso teorema.. Vale observar que a demonstrao
do teorema de Borsuk-Uam para o caso de funes definidas sobre a esfera S2 exige ferramentas
matemticas mais sofisticadas do que as utilizadas no teorema do atleta, que nada mais do que a
verso do teorema de Borsuk-Ulam para funes definidas sobre a circunferncia S1.
OBJETIVOS
O nosso objetivo neste trabalho apresentar uma elegante demonstrao do Teorema de
Borsuk-Ulam, na qual so utilizadas importantes tcnicas da Topologia Algbrica, tais como os
conceitos do grupo fundamental e dos espaos de recobrimento.
FUNDAMENTAO TERICA
O mtodo da Topologia Algbrica consiste em associar invariantes algbricos a espaos
topolgicos e funes contnuas. O invariante algbrico que apresentaremos aqui um grupo algbrico
associado a um espao topolgico X, chamado o grupo fundamental de X com ponto base x0, o qual
ser denotado por 1(X, x0). Uma estratgia para se calcular o grupo fundamental de certos espaos
atravs da teoria dos espaos de recobrimento. Exemplos importantes de espaos de recobrimento so
dados pelo recobrimento universal da esfera S1 e, de maneira mais geral, pelo recobrimento das esferas
Sn, para n 2. Esses so os principais ingredientes para a demonstrao do Teorema de Borsuk-Ulam.
METODOLOGIA
O processo de aprendizado atravs da pesquisa foi realizado atravs do estudo do trabalho [1]
intitulado The Borsuk-Ulam Theorem, publicado na revista Quantum. Tal artigo foi escolhido pelo
fato de abordar temas importantes e relevantes de maneira intuitiva e atraente.

RESULTADOS
Os principais resultados estudados que sero utilizados na demonstrao do Teorema de
Borsuk-Ulam so listados a seguir.
Teorema 1: Seja p : (E, e0) (B, b0) uma aplicao de recobrimento e f, g : I B caminhos em B
comeando em b0 tais que f p g. Ento, seus levantamentos so caminhos homotpicos comeando em
e0. Em particular, eles possuem o mesmo ponto final.
Teorema 2: O grupo fundamental do crculo cclico infinito, ou seja, 1(S1, b0) isomorfo ao grupo
dos inteiros, onde b0 = (1, 0) S1.
Teorema 3: O plano projetivo RP2 uma superfcie e a aplicao p : S2 RP2, p(x) = [x] uma
aplicao de recobrimento.
Teorema 4: O grupo fundamental do plano real projetivo um grupo cclico de ordem 2, ou seja,
1(RP2, y0) isomorfo a Z2
Observao: O caso geral do Teorema de Borsuk-Ulam (ver observao 1) equivalente seguinte
afirmao: Se n > m, no existe uma funo contnua f : Sn Sm que preserva pontos antpodas.
Demonstraremos a seguinte verso deste teorema, para o caso n=2 e m=1.
Teorema de Borsuk-Ulam: No existe uma funo contnua f : S2 S1 que preserva
pontos antpodas.
CONCLUSES
Este trabalho permitiu o estudo de uma interessante interpretao do Teorema de Borsuk Ulam:
o Teorema do Tempo. Alm disso, atravs deste projeto foi possvel entrar em contato com o mtodo
da Topologia Algbrica por meio do estudo de um de seus importantes invariantes algbricos: o Grupo
Fundamental associado a um espao topolgico X.
REFERNCIAS BIBLIOGRFICAS
[1] MKrein,. and A. Nudelman, The Borsuk-Ulan Theorem- Horsing around with continuous functions
on a circle. Quantun, 16-20, 2000.
[2] Karol Borsuk, Drei Stze ber die n-dimensionale euklidische sphre, Fundamenta Mathematica,
(20)177 - 190, 1933.