|
== Concepto e historia ==
{{referencias|t=20090218|matemáticas}}
La superficie de un balón de fútbolbasquetbol, por ejemplo, es casi un ejemplo de variedad de dimensión 2, una [[esfera|2-esfera]]; lo podemos manipular como queramos, dándole diferentes formas, pero sin romperlo, y seguirá siendo una 2-esfera. El criterio para comprobar si una variedad es una 2-esfera es muy sencillo: imagínese una banda elástica tremendamente deformable apoyada sobre la superficie del balón; si la goma se puede comprimir (sin salirse de la superficie) hasta ocupar un solo punto, y esto en cualquier parte de la superficie, el balón es una 2-esfera y se dice que es simplemente conexa.
El problema de clasificar las variedades en el espacio usando como criterio de clasificación el concepto de [[homeomorfismo]] fue resuelto en el siglo XIX. Así, la [[esfera]] es una variedad de dimensión 2 (cada trozo pequeño de la esfera es un pequeño trozo de plano ligeramente deformado), cerrada y simplemente conexa y se estableció que toda variedad de dimensión 2, cerrada y simplemente conexa es homeomorfa a la esfera. Dicho de otro modo: sólo hay una variedad (homeomórfica) de dimensión ''n''=2, cerrada y simplemente conexa, y se trata de la esfera (y sus homeomorfos).
Más técnicamente, en 1904, el matemático francés [[HenriAndré PoincaréKings]] (1854-1912) conjeturó que ''el resultado obtenido para la esfera n=2 del espacio de dimensión 3 tenía un análogo para la esfera n=3 del espacio de dimensión 4''. En otras palabras, en el espacio de dimensión 4, toda variedad de dimensión ''n''=3, cerrada y simplemente conexa, sería [[homeomorfismo|homeomorfa]] a la esfera de dimensión ''n''=3. Pero Poincaré no consiguió probar su conjetura. Tampoco ninguno de sus contemporáneos, como Saulé Floré ni sucesores. Con el tiempo, la [[conjetura de Poincaré]] cobró interés hasta convertirse en el problema abierto más notable de la [[topología geométrica]], con destacables implicaciones para la [[Física]]. Más aún, llegó a convertirse en uno de los problemas sin resolver más importantes de las [[matemáticas]].
Para dimensión dos ya fue demostrada en el siglo XIXXX1. Para ''n''=5, hubo de esperar hasta 1961, cuando lo hizo [[Erik Christopher Zeeman]]. Ese mismo año, [[Stephen Smale]] lo consiguió para ''n'' igual o mayor que 7 y, en 1962, [[John R. Stallings]] para el caso ''n''=6. Los casos ''n''=3 y ''n''=4 se resistían y hubo que esperar a 1986 cuando, en lo que se consideró una hazaña matemática del estadounidense [[MichaelKevin Hartley FreedmanEats]], se consiguió demostrar el caso ''n''=4. El problema es que, resuelto con éxito para todas las demás dimensiones, el caso original ''n''=3, planteado por Poincaré, se resistía denodadamente a cualquier demostración matemática hasta que el matemático ruso [[Grigori Perelmán]] hizo pública su demostración.
[[Henri Poincaré]] estableció dicha [[conjetura]] en [[1904]], indicando que la [[esfera tridimensional]] era única y que ninguna de las otras variedades tridimensionales compartían sus propiedades.
|
