La topología diferencial es una rama de las Matemáticas complicada pero muy interesante. Probablemente la principal razón por lo que es complicada es porque trata temas poco intuitivos, difíciles de ver. Y bajo mi punto de vista puede llegar a ser interesante precisamente por la misma razón: nos demuestra que ciertas cosas que en principio creeríamos imposibles son matemáticamente ciertas.
El artículo que nos ocupa trata precisamente de uno de estos temas: la paradoja de Smale. Esta paradoja dice algo así:
Es posible evertir (dar la vuelta a) una esfera homeomorfa a
(es decir, una esfera en tres dimensiones, la de toda la vida) sin romperla. Es decir, partiendo de una esfera es posible transformarla en otra que cumple que la parte interior del borde de la primera es la exterior de la segunda, y viceversa, sin necesidad de efectuar ningún corte en la superficie de la misma.
Vamos, que podemos darle la vuelta a la superficie de una esfera sin tener que romperla.
Sorprendente, ¿no? Uno intenta pensar cómo puede ser el tema y no ve manera de hacerlo sin hacer algún corte. Como dije antes, no es nada intuitivo el asunto. Esa es la razón por la que se le llama paradoja: aun cuando físicamente parece imposible matemáticamente sí es posible.
Hemos dicho que no podemos cortar la esfera, pero sí podemos estirarla todo lo que queramos y además se permite que la esfera se interseque a sí misma. Teniendo en cuenta esto la primera opción que se nos podría ocurrir es empujar el hemisferio sur de la esfera hacia arriba para que atraviese el hemisferio norte, quedando entonces del revés. Pero esto no soluciona el tema, ya que la cosa quedaría más o menos así:
Como vemos no queda como nosotros queríamos. Obtenemos un saliente en el ecuador de la esfera que es imposible eliminar sin cortar la misma. Intento fallido.
Bueno, entonces…¿cómo se hace? Pues esta es una solución (para los impacientes, está en el 1:23):
Impresionante, ¿verdad? Yo me quede boquiabierto la primera vez que vi este vídeo.
Bueno, ¿y a quién se le ocurrió todo esto? Pues la primera persona que consiguió demostrar que se puede evertir una esfera fue Steve Smale en su tesis doctoral en 1957 El problema de su demostración (como de muchas otras) es que sólo era de existencia, esto es, sólo aseguraba que se podía hacer, pero no era constructiva. En 1961 se publicaba el primer método de construcción por parte de Arnold Shapiro y a mediados de los 70 William Thurston (¿os acordáis de la conjetura de geometrización?) daba un método distinto y más general.
De todas formas hemos dejado el asunto todavía en el aire. En el vídeo que aparece anteriormente se ve la eversión pero es cierto que no queda demasiado claro. En el vídeo que aparece a continuación se aclaran bastantes cosas. La explicación está bastante bien (está en inglés, pero es muy visual y se entiende más o menos; de todas formas si queréis el guión lo podéis encontrar aquí) y, entre otras cosas, explican por qué es imposible evertir la esfera 
Y si todavía queréis más información, en The Optiverse podéis encontrarla. Tenéis imágenes, vídeos, explicaciones y respuesta a preguntas sobre el tema. El vídeo principal, The Optiverse, fue galardonado con el primer premio del VideoMath Festival, concurso de vídeos relacionados con las Matemáticas, organizado por el ICM’98, en Berlín. Muestra un nuevo método de la eversión de la esfera y sus creadores son John M. Sullivan, George Francis y Stuart Levy.
Y aún más. En este enlace podéis descargar un programa mediante el cual podéis ver la eversión de una esfera mediante el método de Thurston. Moviendo el ratón de izquierda a derecha y viceversa se ve cómo se pasa de un estado a otro; combinando con las teclas Alt y Shift podéis girar la esfera, acercarla o alejarla; y con otras combinaciones de teclas y ratón podéis ver la esfera desde dentro, quitarle trozos para verla mejor…Muy completo.
Para terminar, muchas gracias a La Singularidad Desnuda, que al publicar el otro día un post sobre el tema me recordó que yo tenía información sobre el mismo y me animó a hablar de ello.
Fuentes:
- La eversión de la esfera en Matemáticas en Red.
- La eversión de la esfera en La Singularidad desnuda.
- Smale’s Paradox en la wikipedia (inglés).
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
La verdad es que el tema que nos propones hoy es impactante!!! Muchas felicidades por hacernos llegar este tema tan apasionante.
Vaya fenómeno el Stephen Smale. Por cierto, este hombre gustaba de hacer profundas reflexiones matemáticas en las maravillosas playas de Río (palabras textuales suyas) 🙂 🙂
La paradoja de Smale o cómo evertir una esfera…
La paradoja de Smale dice, más o menos, que podemos darle la vuelta a la superficie de una esfera sin tener que romperla. Sorprendente, ¿no? Uno intenta pensar cómo puede ser el tema y no ve manera de hacerlo sin hacer algún corte. No es nada intui…
Cito textualmente de tu blog:
«Esa es la razón por la que se le llama paradoja: aun cuando físicamente parece imposible matemáticamente sí lo es.»
Para que la frase tenga sentido deberías corregirla y escribir:
Esa es la razón por la que se le llama paradoja: aun cuando físicamente parece imposible matemáticamente ==>NO
Un personaje increíble, éste Smale. Activista en contra de la guerra de Vietnam, recibió la medalla Fields (conocida como Nobel de matemáticas) en el ICM de Moscú en 1966. Tras recibirla, criticó en una rueda de prensa los bombardeos de su país a Vietnam. Al darse cuenta de dónde estaba y que tendría que volver a su casa en California, decidió compensar y pasó a criticar la falta de libertad de expresión en la URSS y cómo se comportaban con Hungría. Al poco paró un coche del que salieron dos hombres que se llevaron a Smale. Dos horas después, ante… Lee más »
Bueno y yo pregunto: ¿parece fisicamente imposible o de hecho es fisicamente imposible? es decir ¿alguien lo ha conseguido en el mundo real, no en un ordenador?
bla bla bla yo quería decir que matemáticamente sí es posible, pero es cierto que la frase puede interpretarse mal. La cambio ahora mismo.
Acho muy curioso este hombre, sí señor :).
Hercules pues no lo sé, pero yo no he encontrado nada. De todas formas parece demasiado complicado para hacerlo, aunque se pudiera.
Y en caso de que se pudiese hacer, ¿qué aplicaciones podría tener?
Da que pensar si seria posible hacerlo fisicamente si se ha recreado en un ordenador, utilidad no se si tendra pero a mi me despierta una curiosidad increible
A mi hay una cosa que no me acaba de convencer y es que si se trata de no hacer incisiones sobre la superficie de la esfera ¿Como vas a intersecar la esfera con ella misma?
Para que se pueda autointersecar la esfera hacen falta más dimensiones que en las que vivimos. Como bien dice FGT, en no es posible, no hay suficiente libertad de movimiento, pero en sí que se puede, aunque es muy difícil de visualizar. Por eso hace falta tirar de efectos especiales, :D. Un ejemplo es la botella de Klein, no se puede construir en nuestro mundo, los dibujos y reconstrucciones que hay de ella no son fieles a la construcción teórica. En cuanto a lo de si es físicamente posible, depende de si en la demostración se hace uso de dimensiones… Lee más »
[…] Hace rato me topé con Gaussianos, un excelente blog de matemáticas. Y perdí un buen rato leyendo sobre la paradoja de Smale, que dice que es físicamente imposible evertir una esfera [es decir, que lo de adentro quede afuera], pero matemáticamente sí se puede. Y hasta pusieron un video. Para el matefriki que llevan dentro. […]
[…] […]