2006. EL AO EN QUE SE DEMOSTR LA CONJETURA DE POINCARE. Vernor Arguedas vernorarguedas@ucr.ac.

cr Artculo publicado en la revista electrnica de matemticas del Instituto Tecnolgico deCosta Rica En matemtica las conjeturas juegan un papel importante, como tambin preguntas tales como: qu pasa s cambiamos esta hiptesis o es este el resultado ms general ?. Las preguntas sobre los diferentes temas es esencial para avanzar en en nuestra ciencia. El arte de conjeturar y preguntar debe fomentarse, es uno de los pilares del pensamiento creativo. Junto a las conjeturas, las hiptesis, las paradojas, las generalizaciones, nos encontramos con una larga lista de ejemplos y contraejemplos. Para la escuela pitagrica todos los nmeros en nuestro lenguaje-eran racionales. Conmensurables usaban ellos. Pero, siempre hay un pero, apareci un nmero no conmensurable muy sencillo 2 . En el proceso de los pitagricos llegar a esos nmeros estaba en la etapa ms alta del conocimiento. Estos nmeros irracionales eran un verdadero dolor de cabeza. El siglo XIX y parte de los inicios del XX vivi esta novela matemtica. Algunos hechos sorprendentes para la poca fueros los siguientes: haba ms nmeros irracionales que racionales. Con Lebesgue y su teora fundamental de la medida, se llego a otro resultado, los nmeros racionales tienen medida de Lebesgue cero. Cuando surgieron conceptos topolgicos, los nmeros racionales tuvieron un papel esencial en el desarrollo. Constituan un conjunto denso numerable de los nmeros reales. Este principio tan sencillos condujo a un paradoja matemtica, monumental en la poca, quiz comparable con la existencia de 2 para los pitagricos. No era posible construir a los nmeros reales a partir de los racionales, esto enfrent a dos titanes, gigantes de la matemticas: Dedekind y Cantor, pero eso ser otra historia. Los pleitos entre matemticos y matemticos han sido muy abundantes y en ocasiones han propiciado grandes avances y a veces cotilleos que perduran a travs de los aos, los lustros y a veces centurias. Sin embargo la densidad de los nmeros racionales en los nmeros reales, condujo a un mtodo de construccin matemtico vigente en nuestra das: la completizacin va sucesiones de Cauchy.

Para Cauchy todas las funciones continuas eran uniformemente continuas, hasta que aparecieron los contraejemplos y un teorema clsico en la enseanza bsica del anlisis: Si f :[a,b] es continua entonces f es uniformemente continua. Cuando apareci el concepto de conjunto compacto el teorema anterior se generaliz como : una funcin continua con valores reales definida sobre un conjunto compacto es uniformemente continua. En el siglo XIX haba una creencia popular, una conjetura en nuestro lenguaje: toda funcin continua definida sobre un intervalo tiene puntos en que es derivable. Pero lleg Karl Weierstrass en 1872 y present su famoso ejemplo de una funcin continua no derivable en ningn punto: f(x)= ancos(bn x) con ab >1+ Hermite y si discpulo Poincar, consideraron este ejemplo de Weierstrass, deplorable una cosa infernal. Hermite consideraba estos ejemplos una plaga mortal y su discpulo Poincar, deca algo como: Ayer, cuando se inventaba una funcin nueva, era para servir a un fin prctico, hoy en da slo se presentan para rebatir los argumentos de nuestros padres. No se puede olvidar que Weierstrass era alemn y Hermite y Poincar eran franceses y que estos dos pueblos han tenidos ms de una guerra y disputas de todo tipo. Sin quererlo Weierstrass haba descubierto una mina riqusima: los fractales, su ejemplo es el primero conocido de un fractal y da origen a un mtodo que se investiga hoy en da-. Por cierto cuando este seor tena 70 aos descubri su clebre teorema de que toda funcin continua sobre un intervalo cerrado y acotado es el lmite uniforme de polinomios. Poincar hizo muchos cosas en matemtica y su primo en poltica francesa. Nuestro objetivo, no es hablar de la obra de Poncar en este artculo sino de su conjetura. En nuestro lenguaje actual la conjetura de Poincar se podra enunciar como; Si una variedad 3 dimensional compacta sin frontera es simplemente conexa entonces existe un homoemorfismo entre la variedad y la esfera de dimensin 3. Para los estudiantes de matemtica y matemticos en:
http://www.4shared.com/account/file.jsp?id=16541682&sId=4VQOqc1gAU6fm43H

recopil abundantes materiales sobre este tema. En el caso que la liga no funcione seleccione poincare en la opccin de bsqueda. La conjetura de Poincar es uno de los problemas del milenium del Clay Mathematical Institute dotado de un premio de un milln de dlares. En http://www.claymath.org/millennium/ se pueden consultar los 7 problemas. En agosto del 2006 se le concedi la medalla Fields a Grigori Perelman , matemtico ruso de San Petesburgo por sus contribuciones a la geometra y si gran creatividad analtica para entender los flujos de Ricci. En otras palabras haba resulto en afirmativo la conjetura de Poncar. Pero siempre hay un pero, Grischa no acept el premio y no viaj a EspaaAntes de Grischa varios matemticos chinos haban afirmado que ellos haban resuelto la conjetura antes de Perelman. Sylvia Nasar entrevist a Perelman la nica entrevista conocida- y escribi un artculo en el The Newyorker por el cual fue demandado por Shing-Tung Yau por considerar que daaba su imagen. El artculo se puede leer en lnea en http://www.newyorker.com/archive/2006/08/28/060828fa_fact2 y se llama Manifold Destiny. Podramos decir el destino de la variedad El prof Shing-Tung Yau gan la medalla Fields en 1982 por sus extraorinarios aportes en ecuaciones diferenciales parciales y la conjetura de Calaba en geometra algebraica entre otras cosas. En http://www.doctoryau.com/9.18.06.pdf se puede leer la queja del prof Yau contra Sylvia Nasar y su colaborador.