O Teorema da Bola Cabeluda

Autor do original: João Pimentel Nunes.

O teorema da bola cabeluda é um resultado da Topologia, a disciplina matemática que estuda a forma dos espaços. Em grande parte, ele resulta do trabalho nos finais do século XIX do grande matemático francês Henri Poincaré [1], considerado um dos fundadores da Topologia.

Haverá poucos resultados matemáticos que nos sejam tão familiares dos gestos do quotidiano: muitos dos leitores confrontam-se todas as manhãs com o teorema da bola cabeluda, ao tentarem pentear o seu cabelo e verificando que há um remoínho persistente no topo das suas cabeças. De um modo simplificado, o teorema afirma que não é possível “pentear-se” uma superfície esférica coberta de “cabelo” sem se formarem “remoínhos” de algum tipo.

A nossa primeira tarefa é explicar o que significa “cabelo”, “pentear” e “remoínho” em termos matemáticos. Imaginemos uma superfície, S, no espaço euclidiano tridimensional \mathbb{R}^3. Por cada ponto p de S passa um plano bidimensional tangente a S. Os vectores com origem em p e assentes nesse plano dizem-se vectores tangentes a S em p. O “cabelo” matemático é formado por tais vectores tangentes. Um “penteado” matemático de S consiste numa escolha, para cada ponto p de S, de um vector tangente a S em p, X_p, de modo a que esses vectores variem continuamente sobre S. Ou seja, á medida que dois pontos de S, p e q, se aproximam um do outro, também os vectores X_p e X_q se aproximam no sentido que os seus comprimentos vão ficando iguais e que o ângulo entre eles vai ficando cada vez mais próximo de zero. A uma tal coleção, X, de vectores tangentes a S chama-se um campo vectorial contínuo em S. Se para um dado ponto p de S se tem X_p = 0, então diz-se que p é um zero de X. Podemos agora enunciar o teorema da bola cabeluda [2, 3, 4] de forma mais precisa:

“Um campo vectorial contínuo na superfície esférica tem pelo menos um zero.”

Os remoínhos que X forma expressam-se matematicamente através dos zeros de X. Por exemplo, se X forma um remoínho simples em torno do ponto p, como na Figura 1 a), então X_p = 0. De facto, quando nos aproximamos do centro do remoínho, os vectores vão tomando todas as possíveis direcções medida que rodamos à volta de p. A única forma de estes vectores se aproximarem todos ao mesmo tempo do vector X_p, o que é exigido para que X seja contínuo em p, é então que os comprimentos vão diminuindo até se anularem em p, obtendo-se X_p = 0. O teorema da bola cabeluda prevê, portanto, que qualquer campo vectorial contínuo na superfície esférica forme algum tipo de remoínho.

whorl

Figura 1: a) Um remoínho, com um zero de X no centro. b) Um campo vectorial contínuo na esfera,com dois remoínhos.

O teorema da bola cabeluda restringe as características qualitativas do campo vectorial X. Por outro lado, por exemplo, a ordem de grandeza do comprimento dos vectores não é importante. Pode ainda verificar-se que ele é válido em qualquer superfície que seja topologicamente equivalente a uma superfície esférica, por exemplo, que possa ser obtida dela por uma deforma¸cão contínua. (Imaginemos que a superfície esférica é um balão de borracha que podemos deformar com as mãos, apertando-o numas regiões e esticando-o noutras, mas sem o romper. As superfícies assim obtidas são idênticas à superfície esférica, do ponto de vista topológico.) O teorema só depende das características qualitativas, ou seja topológicas, da superfície. Esta é uma das marcas da Topologia, e também uma das razões da sua vasta aplicação em tantas áreas da Matemática: a informação topológica de um espaço é independente de algumas características quantitativas, como a área ou a simetria no caso de uma superfície, por exemplo.

Vamos descrever uma ideia que explica o teorema da bola cabeluda [2, 3]. Seja S uma superfície esférica em \mathbb{R}^3 com centro na origem, de modo a que −p seja o ponto antípoda de p. Seja X um campo vectorial contínuo em S. Queremos mostrar que X se anula nalgum ponto de S. Suponhamos o contrário, ou seja, que X nunca se anula. Então, em cada ponto p de S passa um meridiano com a direcção de X_p, porque X_p não se anula. Imaginemos agora que cada ponto p se desloca ao longo desse meridiano, com velocidade igual para todos os pontos. Após algum tempo, igual para todos os pontos, cada ponto p chegou ao seu antípoda −p. Deste modo, encontramos uma fam´ılia de transforma¸cões de S em si própria: no instante t = 0, cada ponto p de S transforma-se nele próprio, ou seja, temos a transformação identidade; à medida que t aumenta, cada ponto p de S come ça a deslocar-se ao longo do meridiano que o liga a −p, seguindo a direcção de X_p. No instante final, cada ponto p chegou finalmente ao seu antípoda −p, e esta transformação chama-se a transformação antipodal. Deste modo, deformamos continuamente a transformação identidade na transformação antipodal. Ora, pode mostrar-se que tal deformação não pode existir, porque a transformaçãao antipodal “inverte a orientação” de S. Como tal deformação não existe, a suposição inicial de que X não se anulava em nenhum ponto tem de ser impossível, e é isso mesmo que afirma o teorema da bola cabeluda.

Um modo informal de explicar o que significa “inverter a orientação”, é considerar, por analogia, a transforma¸cão identidade de \mathbb{R}^3, em que cada ponto de \mathbb{R}^3  é transformado em si próprio, e a transformação que leva cada ponto p para −p. Na Figura 2, temos à esquerda uma escolha inicial de eixos e à direita representam-se esses eixos após a transformação p \rightarrow −p.

Figura 2: A transformação p \rightarrow −p no espaço euclidiano tridimensional \mathbb{R^3}.

 

O leitor facilmente se convence que n˜ao consegue rodar o sistema ordenado de eixos (x, y, z) até obter o sistema ordenado de eixos ( − x,−y,−z). Isto significa que a transforma¸cãao p \rightarrow −p “inverte a orientação” de \mathbb{R}^3. O que acontece com a transformação antipodal de S é análogo.

Os conceitos matemáticos na base desta explicação heurística são a homotopia e o grau [2, 3]. Duas transformações de S dizem-se homotópicas se se podem deformar continuamente uma na outra. Por exemplo, duas rotações de S podem deformar-se uma na outra, mudando-se continuamente o eixo e o ângulo de rotação. Por outro lado, a uma transformação de S nela própria podemos atribuir um número inteiro, o seu grau. O grau da identidade é +1 e o da transformação antipodal é −1. Ao deformamos uma transformação de S o grau não se altera, pois ele não pode “saltar” repentinamente para outro valor inteiro ao longo de uma deformação contínua. Logo, duas transformações homotópicas de S têm o mesmo grau, e a transformação identidade e a transformação antipodal não são homotópicas entre si. Como vimos, um campo vectorial contínuo sem zeros na superfície esférica forneceria essa homotopia e, portanto, esse campo vectorial não pode existir. Este tipo de argumento, envolvendo uma grandeza discreta que é invariante por deforma¸cão contínua, neste caso o grau, é frequente em Topologia.

O teorema da bola cabeluda é também consequência de um teorema mais geral de Poincaré sobre campos vectoriais em superfícies. Seja X um campo vectorial contínuo numa superfície, com um zero isolado em p, ou seja tal que p é o único ponto na sua vizinhança onde X se anula. É possível definir-se o índice de X em p que é um número inteiro, i_p (X) , que conta o número de vezes que X “roda” em torno de p, do modo seguinte: Começamos por planificar uma pequena região da superfície à volta de p, ou seja, identificamo-la com uma pequena região do plano. Em seguida, tomamos uma circunferência, C, à volta de p e orientada num sentido à escolha, de modo a que X não se anule ao longo de C. Ao seguirmos ao longo de C no sentido escolhido, a partir de um dado ponto inicial, podemos ir seguindo a evolução da direcção de X. Quando regressamos ao ponto inicial, X deu um certo número inteiro de voltas completas. Cada volta no sentido de C conta +1 e cada volta no sentido inverso conta −1. O número total de voltas é o índice i_p (X). O leitor pode fazer este exercício nos exemplos seguintes e verificar o valor do índice apresentado:

Figure 3: Zeros with indices of a) +1, b) -1, c) 0, d) +2

Figura 3: Zeros com índice a) +1 b) -1 c) 0 d) +2

O índice, i_p (X), é também um conceito “topológico” que depende apenas do comportamento qualitativo de X perto de p. Na verdade, estas ideias de Poincaré apareceram originalmente num texto dedicado a aspectos qualitativos da teoria das equa¸cões diferenciais.

Suponhamos agora que X é um campo vectorial contínuo na superfície esférica S, com zeros isolados, nos pontos p_1, p_2, . . . , p_N. Seja \chi(X) = i_{p1}(X) + i_{p2} (X) + . . . + i_{pN} (X), a soma dos índices de todos os zeros de X. ´E um facto not´avel, que vai certamente maravilhar o leitor, que \chi(X) é um inteiro que não depende de X. Ou seja, se Y for outro campo vectorial contínuo em S, com zeros em q_1, q_2, . . . , q_K então \chi(Y ) = i_{q1}(Y ) + i_{q2} (Y ) + . . . + i_{qK}(Y ) = \chi(X). Por exemplo, em S podemos ter um campo vectorial com dois zeros de índice +1, como na Figura 1 b), um no pólo Norte e outro no pólo Sul, com soma dos índices igual a +2. Noutro exemplo, podemos ter apenas um zero de índice +2 como o da Figura 3 d). O leitor pode experimentar desenhar outros campos vectoriais contínuos, com zeros isolados, na superfície esférica; a soma dos índices ser´a sempre +2! Isto implica o teorema da bola cabeluda: se a soma dos índices dos zeros de X ´e +2, e portanto não é nula, então X tem de ter zeros.

Expliquemos como chegar a este resultado. Suponhamos que S é formada por triângulos colados uns aos outros pelas arestas, de modo a que cada aresta seja partilhada por exactamente dois triângulos. Assumimos que os zeros (isolados) de X e de Y estão no interior de triângulos, podendo cada triângulo conter no máximo um zero de X ou de Y. Orientamos as arestas de cada triângulo de modo a que uma pequena formiga passeando-se ao longo das arestas, do lado exterior da esfera, tenha o interior do triângulo à sua esquerda. Se uma aresta é partilhada por dois triângulos vizinhos T e T' 0, então ela é percorrida em sentidos opostos pela formiga, consoante esta esteja a rodear o triângulo T ou T' 0.

Em cada ponto p de uma aresta podemos medir o ângulo entre os vectores X_p e Y_p, que irá variando ao longo da aresta. Se esse ângulo varia  entre o in´ıcio e o fim da aresta quando ela é percorrida num sentido, então ele vai variar − se a aresta é percorrida no sentido oposto. Logo, se somarmos a variação do ângulo ao longo de todas as arestas de todos os triângulos que formam S, obtemos zero porque cada aresta contribui duas vezes, sendo percorrida uma vez em cada sentido. Ora, com um pouco de reflexão, o leitor pode convencer-se de que esta soma nula é também igual a 2\pi[(X)−(Y )]. De facto, se X e/ou Y têm um zero no interior de um triângulo, então a varia¸cão total do ângulo entre X e Y ao longo das três arestas desse triângulo é precisamente 2\pi vezes a diferença dos índices de X e de Y nesse(s) zero(s). (Porque o índice é o número de voltas completas que o campo vectorial dá quando rodamos à volta de um zero.) Pode verificar-se que se X e Y não tiverem zeros no interior do triângulo, a variação total do ângulo ao longo das três arestas desse triângulo será zero. Aliás, pode mesmo definir-se i_p(X) = 0 se X_p \neq 0. Portanto, \chi(X) = \chi(Y ) como foi afirmado acima.

Conclui-se que, se houver um campo vectorial contínuo na superfície esférica tal que a soma dos índices dos seus zeros seja +2, então isso será verdade para todos os campos vectoriais contínuos nessa superfície. Isto, como vimos, implica o teorema da bola cabeluda.

O argumento que descrevemos aplica-se não apenas à superfície esférica, mas a todas as superfícies da Figura 4, que são chamadas superfícies orientáveis. Em vez da superfície esférica, S pode ser a superfície de um donut (o toro), ou outra superfície com g = 2, 3, … “buracos”.

Figure 4: The family of closed orientable surfaces: a) the sphere, b) a torus, c) and g = 2, d) g > 2

Figura 4: A família das superfícies fechadas orientáveis: a) a esfera, b) o toro, c) g = 2, d) g > 2

Não é difícil mostrar que se S tem g buracos, então a soma dos índices dos zeros de qualquer campo vectorial contínuo em S é igual à característica de Euler de S, que vale 2 − 2g [2, 6]. Notemos que i_p(X) depende apenas do comportamento local de X perto de p, ao passo que \chi(X) depende da forma global da superfície S. No caso da esfera, g = 0 e obtemos que a soma dos índices é +2. No caso do toro, g = 1 e o leitor facilmente encontra um campo vectorial contínuo que nunca se anula. Generalizando um pouco o argumento, mostra-se que este teorema de Poincaré é também válido para outras superfícies que não fazem parte desta família, como o plano projectivo e a garrafa de Klein [2, 5].

Mais tarde, em 1926, o matemático alemão Heinz Hopf [7], generalizou o teorema de Poincaré de superfícies para objectos geométricos de dimensão superior a dois. Estes resultados ilustram o modus operandi da Topologia, que foi fortemente desenvolvida ao longo do século XX. Ela aplica-se, com grande poder, em muitas áreas da Matemática incluindo a Geometria, a Análise, os Sistemas Dinâmicos e as Equações Diferenciais, caracterizando os aspectos qualitativos e globais dos problemas em questão.

Podemos modelar a componente horizontal da velocidade do ar atmosférico, a uma determinada altitude, por um campo vectorial contínuo na superfície de uma esfera. O teorema da bola cabeluda prevê, então, a existência de zeros, e também dos consequentes remoínhos, como os ciclones, nos movimentos da atmosfera. Igualmente, ele aplica-se ao movimento dos gases ultra-quentes da atmosfera do Sol, que constantemente formam remoínhos impressionantes. Parte da beleza da linguagem matemática vem de ela unificar a descrição de fenómenos tão diversos, como o nosso penteado matinal e a atmosfera do Sol, através do mesmo conjunto de conceitos, que podem ser aplicados com uma eficácia enorme quer na descrição do mundo físico quer nos problemas mais abstractos.

Referências

[1] http://pt.wikipedia.org/wiki/Henri Poincaré, http://www.poincare.fr

[2] W.Fulton, “Algebraic Topology – a first course”, Springer-Verlag 1995.

[3] E.L.Lima, Capítulo VII, “Curso de An´alise, Vol.2”, Projecto Euclides, IMPA, 1981.

[4] http://en.wikipedia.org/wiki/Hairy ball theorem

[5] http://en.wikipedia.org/wiki/Real projective plane,

http://en.wikipedia.org/wiki/Klein bottle

[6] http://en.wikipedia.org/wiki/Euler characteristic

[7] http://en.wikipedia.org/wiki/Heinz Hopf

Este post está disponível em: Inglês, Alemão, Árabe

This entry was posted in Vignettes. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *