Programa de Lectura Silenciosa Sostenida Enseanza Media Matemtica Viernes

LOS SIETE PROBLEMAS DEL MILEIO

Se ha dado en llamar "Los siete problemas del Milenio" a siete enunciados que han
trado de cabeza a los matemticos de los ltimos aos del siglo XX, y que podran haber sido
ocho si el proesor !ndre" #iles no hubiera probado la $ltima %on&etura de 'ermat en el ao
())*+
Los Siete ,roblemas del Milenio han sido elegidos por una instituci-n pri.ada de %ambridge,
Massachussets /00$$1, el 2nstituto %lay de Matemticas, para premiar con un mill-n de d-lares $S! a quien
resuel.a al menos uno de estos problemas+
Los Siete ,roblemas del Milenio, bre.emente enunciados, seran3
(+ ,roblema , /dicil de encontrar1 contra 4, /cil de .eriicar13
0ste problema, planteado de manera independiente en ()5( por Stephen %oo6 y por Leonid Le.in se
considera hoy da el problema central de la computaci-n te-rica+
La cuesti-n es que e7isten, por una parte, problemas resolubles de manera determinista mediante
algoritmos polin-micos y en un tiempo polinomial, como puede ser, por e&emplo la resoluci-n de ecuaciones, la
realizaci-n de sumas, productos, etc+, pudiendo acotar el tiempo de resoluci-n, mas o menos largo, de una
manera aceptable+ 0stos son los problemas ,+
Sin embargo, tambi8n e7isten problemas 4, que pueden resol.erse de orma indeterminista probando
una soluci-n con&eturada+ 0sta comprobaci-n es de una gran rapidez en comparaci-n con el tiempo polinomial
necesario en general para la resoluci-n determinista de los problemas ,+
0st claro que todo problema , es tambi8n 4,, esto es, todo problema resoluble en tiempo polinomial
mediante un algoritmo adecuado /,1, es tambi8n un problema que admite una comprobaci-n rpida /4,1+
,ero, 9y al re.8s:+ 907isten problemas 4, que no sean ,:+ 0sto es, 9e7isten problemas que admiten
una comprobaci-n de soluci-n o no soluci-n con&eturada y, en cambio, no admiten en tiempo polinomial una
resoluci-n algortmica:
0n el clculo computacional pueden presentarse problemas en donde el nmero de alternati.as
posibles para una determinada condici-n de proceso es tan grande que ni siquiera con las supercomputadores
e7istentes an en nuestra tecnologa se podran arontar en toda la .ida de un ser humano, pues no tendra
para ello el suiciente tiempo /es el problema ,1+ 0n cambio, la .eriicaci-n de que una determinada alternati.a
.eriica la condici-n de proceso es algo prcticamente instantneo /es el problema 4,1+
Si, por e&emplo, queremos colocar ;<<< libros en =<< estantes, de modo que se cumpla la condici-n de
que no est8n &untos ciertos libros de dierente materia, nos encontramos que el nmero de alternati.as posibles
podra superar al nmero de tomos de la >a Lctea, con lo cual, el determinarlas todas /problema , ? dicil de
encontrar1 es precisamente eso, muy dicil en la actual tecnologa de la computaci-n+ 0n cambio, el .eriicar
una de estas alternati.as como .lida, cuando alguien con&etura una soluci-n, /problema 4, ? cil de .eriicar1
es inmediato+
0n estos e&emplos, en los que el problema 4, es comprobable de inmediato, pero el problema , parece
no e7istir, 9se debe esto a que realmente el problema , no es posible o bien que no se tiene la tecnologa
computacional adecuada para su resoluci-n de orma algortmica en tiempo polinomial:
0sta es la pregunta no contestada que da consistencia al problema+ 0ntre los e&emplos actuales ms
candentes est el de la criptograa y la comprobaci-n de cla.es inormticas /4,1 en contraposici-n al
problema de generaci-n algortmica de tales cla.es en un tiempo polinomial /,1+
=+ La con&etura de @odge3
0sta con&etura airma que para ciertos espacios particulares denominados >ariedades ,royecti.as
!lgebraicas, las partes llamadas %iclos de @odge son realmente combinaciones de %iclos !lgebraicos+
A+ 0cuaciones de 4a.ier?Sto6es3
07iste desde el siglo X2X un con&unto de ecuaciones que permite estudiar las turbulencias en los
lquidos y en los gases, sin que e7ista una teora matemtica que las undamente+ 0l desao consiste en
encontrar tal undamentaci-n+
*+ La @ip-tesis de Biemann3
!irma la @ip-tesis de Biemann que las partes reales de los ceros, aCbi, de la llamada 'unci-n Deta son
siempre a E (F=, es decir, estn alineados+
(
Programa de Lectura Silenciosa Sostenida Enseanza Media Matemtica Viernes
G+ La Heora de Iang?Mills3
La llamada Heora de Iang?Mills describe las partculas elementales de la Mecnica %untica, y sus
2nteracciones uertes usando estructuras geom8tricas+
0stas descripciones te-ricas han sido comprobadas e7perimentalmente en laboratorio y tambi8n
obtenidas mediante simulaci-n computacional, pero no e7iste ediicada una teora matemtica que establezca
un undamento para las mismas+
;+ La %on&etura de Jirch y S"innerton?Kyer3
!n cuando ya sabemos que no e7isten m8todos generales para resol.er las ecuaciones dionticas tal
como peda el d8cimo de los problemas de @ilbert /demostrado en ()5< por Iu+ >+ Matiyase.ich1, sin embargo,
la con&etura de Jirch y S"innerton?Kyer airma que en el caso de las soluciones de las ecuaciones dionticas
generales, cuando 8stas son los puntos de una .ariedad abeliana, el con&unto de los puntos que son soluciones
racionales de las mismas depende de la unci-n zeta, z/n1, asociada, de modo que si z/(1 E <, hay ininitas
soluciones, y si z/(1L <, el nmero de soluciones es inito+
5+ %on&etura de ,oincar8
0sta con&etura sostiene que la esera tridimensional, tambi8n llamada A?esera o hiperesera, es la nica
.ariedad compacta tridimensional en la que todo lazo o crculo cerrado /(?esera1 se puede deormar
/transormar1 en un punto+ 0ste ltimo enunciado es equi.alente a decir que s-lo hay una .ariedad cerrada y
simplemente cone7a de dimensi-n A, la esera tridimensional+
0l matemtico ruso Mrigori ,erelman anunci- haberlo hecho en =<<= a tra.8s de dos publicaciones en
2nternet+
0l G de &unio de =<<; los matemticos chinos Dhu Xiping y %ao @uaidong anunciaron la demostraci-n
completa, basndose en los traba&os preliminares de ,erelman /8stos s publicados en re.istas especializadas1,
lo que, una .ez realizada su .alidaci-n por la comunidad matemtica, dara in a la clasiicaci-n completa de las
estructuras topol-gicas de dimensi-n tres o tridimensionales+ Sin embargo, una gran parte de la comunidad
matemtica piensa que la demostraci-n corresponde a ,erelman y considera el traba&o de los matemticos
chinos como un plagio+ La !cademia %hina de %iencias, en deensa de Dhu Xiping y %ao @uaidong, airm- que
el ruso estableci- las lneas generales para probar la con&etura, pero no di&o especicamente c-mo resol.er el
enigma+
'inalmente, se reconoci- el traba&o de ,erelman cuando se le otorg- la Medalla 'ields en el marco del
XX> %ongreso 2nternacional de Matemticos /2%M=<<;1 con sede en Madrid en agosto de =<<;, la cual
rechaz-+ 0n declaraciones a un semanario estadounidense /Hhe 4e" Ior6er1, ,erelman asegur- no querer ser
una mascota en el mundo de las matemticas, estimando que no necesita otro reconocimiento sobre la .alidez
de su traba&o+ 4o obstante antecedentes del ao =<(< aseguran que ,erelman habra aceptado el dinero, 8l se
encuentra .i.iendo con su madre y realizando clases particulares para subsistir puesto que abandon- en =<<G
su traba&o de in.estigador en el 2nstituto de Matemticas Ste6lo.+
>arias organizaciones no gubernamentales se han dirigido esta semana a ,erelman para que acepte el
mill-n de d-lares y lo done para ayudar a las capas ms desa.orecidas de la sociedad rusa+
"La %on&etura de ,oincar8" pretende discernir la topologa del uni.erso e7plicando la relaci-n e7istente
entre ormas, espacios y supericies+ Su demostraci-n podra ayudar a catalogar todas las ormas
tridimensionales del $ni.erso+
S-lo un puado de cienticos en todo el mundo puede llegar a comprender en su plenitud este teorema
perteneciente a la rama de las matemticas conocida como topologa geom8trica+

Preguntas
9%ul crees que es la importancia de estos problemas para el desarrollo de la Matemtica:
9 Nue piensas de ,erelman el cual a negado mltiples puestos de ctedras en prestigiosas
uni.ersidades alegando que despu8s de su demostraci-n las Matemticas ya no son tan interesantes como
antes:
=