lunes, 16 de agosto de 2010

El teorema del índice de Atiyah-Singer

Gran parte de los modelos matemáticos que describen las leyes de la naturaleza vienen formulados en términos de ecuaciones diferenciales. En general, resulta muy difícil, a veces imposible, encontrar soluciones explícitas a una determinada ecuación diferencial, siendo más razonable preguntarse cuántas soluciones existen (suponiendo que exista alguna). Pues bien, el teorema del índice de Atiyah y Singer, aparecido hace más de cuatro décadas y por el que ambos autores han recibido el Premio Abel 2004, da una respuesta a esta pregunta para una clase muy amplia de ecuaciones diferenciales.

El teorema proporciona una fórmula que determina el número de soluciones en función exclusivamente de la topología o forma del espacio en el que el modelo tiene lugar. Se trata de un resultado muy profundo, en el que se combinan ramas de las matemáticas tan diversas y fundamentales como el análisis, la topología y la geometría, contando con un sinnumero de importantes aplicaciones a todas estas disciplinas, y más recientemente a la física cuántica de partículas.

Creado por Newton y Leibniz a finales del siglo XVII, el análisis matemático se ocupa del estudio de las funciones en un determinado espacio, así como de sus derivadas e integrales. Éstos son los ingredientes esenciales para el estudio de las ecuaciones diferenciales, ecuaciones que establecen relaciones entre las derivadas de una o varias funciones. Las ecuaciones diferenciales proporcionan una potentísima herramienta para describir los fenómenos estudiados por las ciencias naturales, particularmente por la física. Las leyes de Newton de la gravedad, el movimiento de los fluidos, la teoría de la relatividad de Einstein, los diversos modelos del universo y de las interacciones entre partículas elementales, todos vienen descritos mediante ecuaciones diferenciales.

La topología y la geometría son dos disciplinas matemáticas que, como el análisis, son esenciales en el teorema del índice de Atiyah-Singer. La topología de un espacio tiene que ver con la forma de ese espacio en un sentido mas básico y crudo que el de la geometría. Dos espacios tienen la misma topología si uno puede deformarse en el otro -como si de figuras de plastilina se tratase- sin producir agujeros o rasgaduras. Por otro lado, siempre que hablamos de distancias, ángulos, rectas o planos estamos hablando de geometría. Por ejemplo, las superficies de un balón de fútbol y de un balón de rugby son topológicamente indistinguibles, a pesar de ser bien distintas geométricamente, como pone de manifiesto la distinta manera en que se curvan sus respectivas líneas meridianas.

Los aspectos topológicos más relevantes para el teorema del índice tienen más que ver con las propiedades globales de un espacio que con sus propiedades locales, confinadas éstas últimas a un entorno. Un ejemplo de propiedad global lo proporcionan las superficies cerradas, esto es, superficies sin borde, que, como la esfera, pueden encontrarse en el espacio ordinario tridimensional. Resulta que una superficie de este tipo se puede deformar siempre topológicamente a una esfera con un número determinado de asas. Por ejemplo, la superficie de una rosquilla es equivalente a una esfera con un asa. Así pues, el número de asas es una propiedad global que caracteriza a la superficie topológicamente.

El espacio en el que se define un modelo matemático puede ser más o menos complicado, dependiendo del fenómeno que se desea describir, pudiendo tener cualquier dimensión en general. En los modelos físicos, por ejemplo, se puede considerar el espacio-tiempo usual o incluso un espacio-tiempo en el que en cada punto el observador está equipado de un espacio interno adicional que le permite medir determinadas propiedades físicas, como la masa, la carga, o el espín de una partícula.

Por ejemplo, en la teoría de Yang-Mills que describe la física de las partículas elementales, este espacio interno es un objeto algebraico denominado grupo de Lie. Si el grupo considerado es la circunferencia, vista como el grupo de rotaciones de un plano, la teoría de Yang-Mills coincide con el modelo de Maxwell del electromagnetismo, que explica fenómenos naturales como los rayos de las tormentas o los imanes.

Otras fuerzas fundamentales de la naturaleza, relevantes en los fenómenos cuánticos a pequeña escala, son la interacción débil y la interacción fuerte. Estas fuerzas, que tienen lugar en los núcleos de los átomos, y que son responsables en gran medida de la estabilidad de la materia, vienen descritas considerando otros grupos de Lie.

Pues bien, después de estas ideas preliminares, podemos ya enunciar el teorema del índice, aunque sea de un modo aproximado. Supongamos que tenemos un modelo matemático definido por una ecuación diferencial. El índice es esencialmente el número de soluciones de la ecuación. Más precisamente, éste se define como la diferencia entre el numero de parámetros necesarios para describir todas las soluciones y el número de relaciones impuestas por la ecuación diferencial.

Por supuesto, para que esta definición tenga sentido, ambos números deben ser finitos, propiedad que cumplen precisamente las ecuaciones a las que se aplica el teorema -ecuaciones diferenciales lineales elípticas-. La fórmula de Atiyah-Singer expresa el índice en función de determinadas cantidades denominadas clases características, que sólo dependen de la topología del espacio sobre el que está definido el modelo. Por ejemplo, en muchos problemas definidos sobre una superficie cerrada como las descritas anteriormente el índice viene dado en función del número de asas de la superficie (la única clase característica en este caso).

Éste es precisamente el contexto del teorema de Gauss-Bonnet que expresa la curvatura total de una superficie (una noción de naturaleza geométrica) en función del número de asas de la misma, o el teorema de Riemann-Roch que relaciona la teoría de funciones holomorfas sobre una superficie de Riemann (una teoría analítica) con el número de asas de la superficie. Estos son dos importantes teoremas del siglo XIX, entre los muchos resultados que generaliza el teorema de Atiyah-Singer.

Como es lógico imaginar, debido a su profundidad, el teorema del índice no es de fácil demostración. No obstante, a lo largo de los años se han dado varias demostraciones que, junto con las proporcionadas originalmente por Atiyah y Singer, han hecho cada vez más transparente el teorema. Algunas demostraciones son topológicas, otras son de carácter analítico, como la basada en la ecuación de conducción del calor.

Más recientemente se ha dado una demostración basada en la física cuántica, más concretamente, en la noción de supersimetría. Es bien sabido que los principios de simetría son fundamentales en física, por ejemplo las teorías de Yang-Mills, mencionadas anteriormente, gozan de una simetría muy importante: la invariancia gauge, que viene implementada precisamente por el grupo de Lie de la teoría. En los últimos años los físicos han descubierto otra simetría que la teoría debe satisfacer. Esta simetría, denominada supersimetría, intercambia bosones (partículas con espín entero, como los fotones) con fermiones (partículas con espín semientero, como los electrones).

Algunas de las recientes aplicaciones del teorema del índice vienen marcadas por esta importante conexión con la física. Entre éstas cabe mencionar el estudio de las anomalías de una teoría cuántica (la violación de determinadas simetrías de la teoría clásica al pasar a la teoría cuántica), o el intento de caracterización topológica de espacios de dimensión cuatro (la dimensión del espacio-tiempo de la física) utilizando el espacio de soluciones (instantones) de la ecuación de Yang-Mills definidas sobre el espacio original.

En conclusión, el teorema del índice no sólo ha cambiado el panorama de las matemáticas de las últimas décadas sino que además ha contribuido de manera muy especial al establecimiento de importantes y profundas conexiones entre diversas ramas de las matemáticas -particularmente la geometría y la topología-, así como de la física cuántica. Atiyah y Singer son sin lugar a dudas dos de los máximos responsables de esta rica y fructífera interacción, no sólo por el teorema del índice, sino por el inmenso trabajo desarrollado por ambos posteriormente en este campo y la enorme influencia que han ejercido en la comunidad científica dedicada a estas disciplinas.


Fuente: Óscar García-Prada

sábado, 7 de agosto de 2010

Reinas, conspiraciones y cifrados

El 15 de octubre de 1586 se juzgaba a María Estuardo, reina de Escocia, por traición. Había sido acusada de conspirar para asesinar a su prima, la reina Isabel I de Inglaterra y hacerse con la corona inglesa. Sir Francis Walsingham, el secretario principal de Isabel ya había arrestado a Babington y a los cómplices que iban a llevar a cabo la acción. Fueron llevados a Londres y según relata el historiador William Camden: los acuchillaron por todas partes, les cortaron sus partes privadas, les sacaron las entrañas en vivo y haciéndoles mirar, y fueron cuarteados. Ahora, planeaba demostrar que María era igualmente culpable y merecedora de la muerte.

Por otro lado, para Isabel era importante deshacerse de María, pues era una peligrosa rival en la cuestión sucesoria: era bisnieta de Enrique VII, convirtiéndose en la heredera de la corona inglesa si Isabel no tenía descendencia. Como era escocesa, muchos cuestionaban si un tribunal inglés tenía autoridad para ejecutar a una cabeza de estado extranjero. Además, podría sentar un precedente incómodo: si al Estado le estaba permitido matar una reina, entonces, los rebeldes podrían tener menos reservas para matar otra reina que podría ser la misma Isabel. En resumidas cuentas, Isabel sólo aprobaría la ejecución si Walsingham podía probar más allá de toda duda que María había tomado parte en la conspiración.

En realidad, era la cabecilla de la trama. Eso se sabía, pero no se había encontrado ninguna conexión con Babington y el resto de conspiradores. En los casos de traición, al acusado no se le permitía tener abogado ni podía llamar a testigos. Pero María estaba tranquila, pues toda la correspondencia que había tenido con Babington la había cifrado. Su defensa principal era negar toda conexión con él. Si no podían descifrar aquellas cartas, nunca podrían ser utilizadas en su contra, así que su vida dependía de que su cifra no pudiera ser descifrada. ¿Había descifrado Walsingham sus cartas? ¿Podía hacerse una cosa así?

Una de las formas de cifrar un mensaje, y la utilizada por María, es el Cifrado César (en realidad es el de sustitución simple, pues el del César era un desplazamiento entre el texto y el cifrado de tres letras de distancia, pero para el caso que nos ocupa, es irrelevante). Dado un texto, cambiamos una letra por otra y esto se repite para todas las letras. Así, transformamos un mensaje:


Ahora, hemos de ponernos de acuerdo en cómo cambiamos ese alfabeto y para ello, utilizaremos una clave. Por ejemplo, supongamos que es JULIUS CAESAR. En primer lugar, hay que eliminar las letras repetidas (JULISCAER) y el alfabeto cambia de esta manera:



Por ejemplo, si queremos cifrar “Historias de la Ciencia”, tendremos “ERGHZFRJG IS WJ LRSYLRJ”. Durante mucho tiempo se pensó que una cosa así era totalmente indescifrable. Hasta que un tal Al Kindi, autor de 290 libros en los que hablaba de medicina, astronomía, matemáticas, lingüística y música, explicó cómo podría hacerse:

Una manera de resolver un mensaje cifrado, si sabemos en qué lengua está escrito, es encontrar un texto llano diferente escrito en la misma lengua y que sea lo suficientemente largo para llenar alrededor de una hoja, y luego contar cuántas veces aparece cada letra. A la letra que aparece con más frecuencia la llamamos “primera”, a la siguiente en frecuencia la llamamos “segunda”, a la siguiente “tercera” y así sucesivamente, hasta que hayamos cubierto todas las letras que aparecen en el texto llano.

Luego observamos el texto cifrado que queremos resolver y clasificamos sus símbolos de la misma manera. Encontramos el símbolo que aparece con más frecuencia y lo sustituimos con la forma de la letra “primera” de la muestra de texto llano, el siguiente símbolo más corriente lo sustituimos por la forma “segunda”, y el siguiente en frecuencia lo cambiamos por la forma “tercera”, y así sucesivamente, hasta que hayamos cubierto todos los símbolos del criptograma que queremos resolver.


Por supuesto, esto depende de la lengua en la que esté codificado el mensaje: no es lo mismo el porcentaje de veces que aparece una determinada letra en un idioma que en otro. Aquí os muestro las frecuencias de aparición de las diferentes letras en castellano.



Una vez que tuviéramos un gráfico similar pero del texto cifrado, lo compararíamos con el anterior y lo desplazaríamos hasta que coincidiera, o buscaríamos la letra más utilizada y la cambiaríamos por una “e”, etc. Con un par de letras deducidas así, continuaríamos un poco a base de prueba y error y al ver una palabra averiguaríamos más letras que nos darían más palabras. Al cabo de poco tiempo tendríamos el mensaje descifrado.

Hay que decir que hay excepciones en caso de ser frases algo escogidas. Por ejemplo: “De Zanzíbar a Zambia y Zaire, las zonas del ozono hacen que las cebras zigzagueen”. Frases como estas harían que descubrir el mensaje fuera más dificultoso. Hemos de suponer, por tanto, que los textos más extensos siguen los patrones más generales. Pero hasta aquí hay excepciones. En 1969, el autor francés Georges Perec escribió La Disparition, una novela de 200 páginas en las que no utilizó ni una palabra que tuviera la letra “e”. Y la cosa se pone más interesante porque el novelista y crítico inglés Gilbert Adair la tradujo al inglés (A Void) también sin utilizar la letra “e”. Y atención que esta letra es la más utilizada en el alfabeto inglés. Descifrar una cosa así tendría una dificultad añadida.

También podríamos utilizar lo que modernamente se hace con los SMS. Por ejemplo, si codificamos: Ezto tyenne ell hefezto dhe dyztorrcihonarr hel hekilyvrio deh laas frhekuenzyas, nos veremos en serios problemas. No obstante, descartemos esas excepciones.

Una vez que hemos deducido las letras más utilizadas pueden hacerse análisis de vocales que vayan después de consonantes y cosas así. Por ejemplo, después de una “q” en castellano sólo puede ir una “u”, sin embargo, la letra “p” es mucho más amistosa porque, aparte de las vocales, pueden ir otras consonantes.

Dicho esto, volvamos con la historia entre María e Isabel. Walsingham era una figura maquiavélica, jefe del espionaje, que había reclutado a un tal Gifford como espía. Le había ordenado que se presentara en la embajada francesa y se ofreciera como mensajero. Cada vez que Gifford recibía un mensaje de o para María, primero se lo llevaba a Walsingham, quien rompía el sello de lacre, hacía una copia y lo volvía a lacrar. De este modo, el mensaje original, llegaba a su destino sin que el destinatario sospechara nada.

La primera vez que Gifford entregó a Walsingham una carta de Babington dirigida a María, su primer objetivo fue descifrarla. Walsingham había descubierto el criptoanálisis en un libro escrito por Gerolamo Cardano que le había despertado el interés, pero no había visto su potencial estratégico. De hecho, lo que realmente le despertó el interés fue una carta enviada por Felipe II a su hermanastro Juan de Austria. La correspondencia siempre iba codificada. En ella describía un plan para invadir Inglaterra. La carta fue interceptada por Guillermo de Orange, quien se la pasó a Marnix, su secretario de cifras quien, a su vez, la descifró informando a Daniel Rogers, un agente inglés que trabajaba en Europa. Este último avisó a Walsingham.

Los ingleses reforzaron sus defensas, lo que fue suficiente para detener la invasión. Consciente ahora del potencial del criptoanálisis, Walsingham creó una escuela de cifras en Londres y nombró secretario a Thomas Phelippes, un hombre “de poca estatura, muy delgado, con el pelo rubio oscuro en la cabeza y rubio claro en la barba, con la cara comida por la viruela, corto de vista, con apariencia de tener unos treinta años”. Pues bien, este hombre que, a primera vista nadie hubiera dado nada por él, hablaba francés, italiano, español, latín y alemán. Y lo más importante: era uno de los mejores criptoanalistas de Europa.

Aunque la confianza de María en su cifrado era absoluta, poca cosa tenía que hacer ante un experto como Phelippes. Siempre que este último recibía un mensaje para María, lo devoraba aplicando el método de las frecuencias. Era cuestión de tiempo. Cuando Phelippes descifró el primer mensaje de Babington dirigida a María y se lo entregó a Walsingham, este podía haberse abalanzado sobre ella, pero prefirió esperar a que esta última escribiera otro autoinculpándose. Y efectivamente, María respondió explicando explícitamente el plan.

Walsingham ya conocía el plan, pero ni aun así estaba satisfecho, así que pidió a Phelippes que falsificara una posdata en la carta de María a Babington tentándole a dar nombres. Y es que, esa era otra de las habilidades de Phelippes: “escribir con la letra de cualquiera, con sólo haberla visto una vez, como si la persona misma la hubiera escrito”. Y cayeron. Al descifrar el siguiente mensaje para Walsingham añadió el signo de la horca: Π. El tribunal de la inquisición recomendó la pena de muerte para María.

En su ejecución, los verdugos solicitaron su perdón y ella replicó: “Os perdono de todo corazón, porque ahora confío en que pondréis fin a todos mis pesares”. Cuando la decapitaron, su perro que se había deslizado bajo sus ropas, sólo pudo ser arrancado a la fuerza y después que lo dejaran, volvió y según cuenta Richard Wingfield en su “Narración de los últimos días de la reina de Escocia”: yació entre la cabeza y los hombros de ella, algo anotado con diligencia.

Curiosamente, el mismo año, Vigenère había publicado su Traicté des Chiffres. Si María hubiera conocido el Cifrado de Vigenère, seguramente ni un experto como Phelippes la hubiera podido descifrar. Dicha cifra resultaba inexpugnable para un análisis de frecuencia ya que una misma letra cifrada podía representar diferentes en el texto llano y viceversa. Pero dejaremos el cifrado de Vigenère para otra historia.

María fue sepultada inicialmente en la catedral de Peterborough, pero en 1612 sus restos fueron exhumados por orden de su hijo, el rey Jacobo I de Inglaterra, quien la enterró en la Abadía de Westminster. Y allí está, a solamente 9 m del sepulcro de Isabel.


Fuente: Historiasdelaciencia.com

Filatelia Matemática

La filatelia, -según la RAE- es la afición por estudiar y coleccionar todo tipo de sellos de correos (estampillas). Me confieso filatelista, pues guardo celosamente una colección de estampillas adquiridas desde la época de juventud de mi padre (también ex-coleccionista). Pero bueno, esta introducción era para mencionar una página que encontré, en la que se muestra una colección de más de 400 estampillas relacionadas a la matemática, entre ellas podemos encontrar a Galois, Gauss, Abel, Poincaré y diversos matemáticos famosos, así como también algunas figuras, ecuaciones, etc.


Podemos destacar la estampilla de la imagen, la cual conmemora el 250 aniversario de la Arithmetika Horvatszka, el primer libro de aritmética en el idioma croata.

Descifran el "código oculto" de Platón


Un profesor británico asegura haber descubierto los mensajes secretos contra la religión griega y a favor de la ciencia, escondidos en los escritos del filósofo

El filósofo griego Platón, nacido cuatro siglos antes de Cristo y considerado uno de los fundadores del pensamiento y la ciencia occidentales, dejó una buena cantidad de libros y escritos. Durante mucho tiempo, historiadores y científicos discutieron sobre la existencia del llamado “Código de Platón”, unos mensajes secretos en los textos del erudito, posiblemente realizados para comunicar sus ideas científicas sin ser considerado un hereje por sus coetáneos, ya que consideraba que las matemáticas controlaban el Universo y no los dioses. En los últimos años, muchos especialistas negaron la existencia de este sistema cifrado, pero un historiador de la Universidad de Manchester, el profesor Jay Kennedy, asegura tener la clave del misterio. «Existe y es un verdadero descubrimiento, no una reinterpretación» de los escritos del filósofo, asegura.

“El resultado fue sorprendente; como abrir una tumba y buscar una serie de evangelios escritos por el mismo Jesucristo”, asegura Kennedy, cuyos descubrimientos aparecen publicados en la revista Aperion. Según la Universidad de Manchester, el hallazgo puede revolucionar la historia de los orígenes del pensamiento occidental.

Al parecer, Platón utilizó un código regular de símbolos, heredados de los antiguos seguidores de Pitágoras, para dar a sus libros una estructura musical. Un siglo antes, Pitágoras había escrito que los planetas y las estrellas hacen una música inaudible, una «armonía de las esferas», que Platón pretendía imitar en sus libros. Después de cinco años de estudio, el doctor Kennedy encontró que uno de los libros más conocidos de Platón, La República, tiene grupos de palabras relacionadas con la música después de cada duodécima parte del texto. Este patrón regular representa las doce notas en la escala musical griega. Algunas son armónicas, otras disonantes. En las armónicas, el autor describía sonidos asociados con el amor o la risa, mientras que en las disonantes se refería a la guerra o la muerte.

Amenaza a la religión

El especialista señala que Platón no se tomó todo este trabajo por puro placer, sino «por su propia seguridad». Las ideas de Platón suponían una importante amenaza para la religión griega. Los códigos secretos muestran que el genial filósofo anticipó a la Revolución Científica 2.000 años antes de Isaac Newton, descubriendo su idea más importante, y es que las leyes de la Naturaleza están escritas en el lenguaje de las matemáticas.

«Este es el comienzo de algo grande. Hará falta una generación para conocer sus consecuencias. Las dos mil páginas contienen símbolos sin detectar», asegura Kennedy. Los mensajes decodificados también implican una sorprendente manera de unir ciencia y religión. Según Platón, descubrir el orden científico de la Naturaleza es estar cada vez más cerca de Dios, lo que parece poner fin a la guerra entre ciencia y religión antes de que ésta comenzara.

Algunas de las ideas revolucionarias de Platón

  • Si esperamos que las mujeres hagan el mismo trabajo que los hombres, debemos enseñarles las mismas cosas.

  • La ignorancia es la raíz de todo mal.
  • Sólo los muertos han visto el final de la guerra.
  • El precio que los hombres buenos pagan por su indiferencia hacia los asuntos públicos es ser gobernados por hombres malvados.
  • Los sabios hablan porque tienen algo que decir; los tontos, porque tienen que decir algo.


Fuente: Axxón.

martes, 23 de marzo de 2010

Arte Exacto (entrevista a Manuel Aroca)

La cultura moderna, el arte, la música y hasta la poesía, están influidas por las matemáticas. José Manuel Aroca Hernandez-Ros, profesor de la Universidad de Valladolid, y ex presidente de la Real Sociedad de Matemática Española, nos cuenta sobre esta relación.

El doctor José Manuel Aroca fue formado inicialmente en letras. Recién al terminar el bachillerato le agarró gusto a los números. Terminó estudiando dibujo y matemáticas. Su historia personal la ha vivido muy cerca del arte: un tío suyo era amigo de Federico García Lorca y su padre era fraterno conterturlio de Ramón del Valle Inclán. A partir de esas vivencias no ha cesado de buscar la afinidad entre arte y matemáticas.

¿Cree que las matemáticas intervienen en el arte?
Intervienen claramente en la pintura renacentista, con el descubrimiento de la perspectiva. Leonardo Da Vinci y Luca Pacioli eran geómetras. Luego hay gente que ha pintado la geometría como Mondrian, y Dalí la usa en sus Cristos. Algunos puntillistas, como Seurat, lo hacen también. Pero, claro, estos ejemplos son aislados. Hay gente que intuitivamente puede representar los volúmenes sin hacer los cálculos geométricos. Aunque las proporciones utilizan la simetría, no para que los cuadros lo sean, sino para que la sensación que produzcan sea estable. Luego tenemos la arquitectura, donde son esenciales. Y a veces aparece en la poesía.
Es que el ritmo del verso es eminentemente matemático, porque es música. Hablando de música, Mozart compuso un sistema aleatorio para escribir minuetos. Tirando un dado se puede componer, y suena bien. Los músicos modernos, autores de música aleatoria, usan mucho las matemáticas.

¿En la poesía hay matemáticas?
No solamente en la métrica, donde se cuentan las sílabas, sino, incluso en poemas más recientes, que usan la geometría, en donde lo que importa es la colocación de versos para hacer dibujos, como en el caso de Apollinaire. Ejemplos hay muchos.

¿Hay algún campo del conocimiento en el que las matemáticas no estén presentes?
Kant decía que la ciencia era lo que se puede escribir usando matemáticas. Hoy, cualquier libro de ciencia, de física a economía, está escrito usando fórmulas matemáticas. Son un lenguaje que complementa los idiomas naturales, y en él se escriben la ciencia, la tecnología, la economía e incluso el derecho.

¿El derecho también?
Claro, tiene una parte lógica, y hoy se quiere sistematizar el derecho de manera que se establezcan sanciones o indemnizaciones mediante fórmulas. Esto ocurre en países desarrollados, donde se aplica una justicia automática, la cual necesita la conexión de los dos sistemas.

¿Las matemáticas han penetrado profundamente en la cultura contemporánea?
La cultura contemporánea se caracteriza por estar cada vez más matematizada. Hoy en día, las matemáticas, y más por la computadora, están entrando profundamente a la sociedad. En cualquier rama, la gente tiende a pensar siguiendo el procedimiento lógico de las matemáticas, que es la ciencia del razonamiento. Su primer principio es el orden, de tal manera que cuando se aborda un problema matemático hay que saber por dónde se empieza y cuáles son los pasos que hay que seguir a continuación. El segundo principio lo señaló Newton: si uno quiere empujar una piedra, hay que hacerlo, si no se puede, hay que partirla en trozos y empujar cada trozo. La computadora ayuda muchísimo en esto.

¿De qué manera?
La computadora es como un individuo medio tonto que suma muy de prisa, pero a la cual hay que explicarle cosas de manera muy precisa, dándole el orden, y eso lo hacen las matemáticas.

¿A qué campos de la cultura humana no han ingresado?
Probablemente en la teología. Conozco un amigo que ha intentado multiplicar la existencia de Dios usando las matemáticas, pero lo han pasado al manicomio (risas). Aunque Galileo decía que "las matemáticas son el alfabeto con el cual Dios ha escrito el universo". Es que no hay rama del conocimiento que no use la cantidad, y para eso hay que contar; allí empieza todo.

¿El racionalismo es profundamente matemático?
Totalmente. Las matemáticas son las ciencias de la razón. La lógica es parte de las matemáticas, y la lógica es el lenguaje en el que se escribe la filosofía. Son un lenguaje, un método y una técnica.

¿Han cambiado el pensamiento humano?
De una manera enorme. Hace cinco siglos no se podía explicar a nadie lo que era una fracción. Igualmente, el cero es un número bastante reciente; como los números negativos. Y de la geometría de Euclides a la de ahora hay un abismo.

Los matemáticos parecen solo ocupados de su ciencia...
No crea, los matemáticos no solo nos preocupamos de los números. Yo conozco a unos matemáticos que son músicos excelentes. También buenos poetas. Bertrand Russel era filósofo y matemático, con un Nobel de Literatura.


Fuente: El Comercio �mF.

martes, 17 de noviembre de 2009

Biografía de George Dantzig




George Bernard Dantzig nació el 8 de Noviembre de 1914 en Portland, Oregon, EEUU. Su padre era profesor de Matemáticas, se retiró dejando su puesto de Jefe del Departamento de Matemáticas en la Universidad de Maryland poco después de la Segunda Guerra Mundial. Su madre era una lingüista especializada en idiomas eslavos.
Dantzig estudió su carrera en la Universidad de Maryland, donde se graduó en 1936. Le disgustaba el hecho de no haber visto ni una sola aplicación en alguno de los cursos de Matemáticas que había tomado allí. Al año siguiente hizo estudios de postgrado en la escuela de Matemáticas de la Universidad de Michigan. Sin embargo, exceptuando la Estadística, le pareció que los cursos eran demasiado abstractos; tan abstractos, que él sólo deseaba una cosa: abandonar sus estudios de postgrado y conseguir un trabajo.
En 1937 Dantzig dejó Michigan para trabajar como empleado en Estadística en el Bureau of Labor Statistics. Dos años después se inscribía en Berkeley para estudiar un Doctorado en Estadística.
La historia de la tesis doctoral de Dantzig es ahora parte del anecdotario de las Matemáticas. Durante su primer año en Berkeley, se inscribió en un curso de Estadística que impartía el famoso profesor Jerzy Neymann. Este profesor tenía la costumbre de escribir en la pizarra un par de ejercicios al comenzar sus clases para que, como tarea para el hogar, fueran resueltos por sus alumnos y entregados en la clase siguiente. En una ocasión llegó tarde a una de las clases de Neymann y se encontró con dos problemas escritos en la pizarra. Supuso que eran problemas de tarea y, consecuentemente, los copió y los resolvió, aun cuando le parecieron "un poco más difíciles que los problemas ordinarios". Unos días después se los entregó a Neymann, disculpándose por haber tardado tanto. Aproximadamente seis semanas después, un domingo a las 8:00 de la mañana, Neymann llegó aporreando la puerta de Dantzig, explicándole que había escrito una introducción a uno de los artículos de Dantzig y que quería que la leyera a fin de poder enviar el artículo para su publicación. Los dos "problemas de tarea" que Dantzig había resuelto eran, en realidad, dos famosos problemas no resueltos de la Estadística. Las soluciones de estos problemas se convirtieron en su tesis doctoral, a sugerencia de Neymann.
No obstante, Dantzig no terminó su doctorado hasta 1946. Poco después del comienzo de la Segunda Guerra Mundial se unió a la Fuerza Aérea de Estados Unidos y trabajó con el Combat Analysis Branch of Statistical Control. Después de recibir su Doctorado, regresó a la Fuerza Aérea como el asesor de Matemáticas del U. S. Air Force Controller. Fue en ese trabajo donde encontró los problemas que le llevaron a hacer sus grandes descubrimientos. La Fuerza Aérea necesitaba una forma más rápida de calcular el tiempo de duración de las etapas de un programa de despliegue, entrenamiento y suministro logístico.
El profesor Dantzig centró básicamente sus desarrollos científicos, cronológicamente, en la RAND Corporation y las universidades de Berkeley y Stanford en California, con asignaciones temporales en otros centros como el IIASA en Viena. (Es gozosa la anécdota que él cuenta como la razón principal para moverse de Berkeley a Stanford, la "culpa" es de un aparcamiento de coches para los profesores en la misma puerta de su nuevo Dpto. con tal mala fortuna que este aparcamiento ya había desaparecido cuando él se incorporó a Stanford).
El trabajo de Dantzig generalizó lo hecho por el economista, ganador del Premio Nobel, Wassily Leontief. Dantzig pronto se dio cuenta de que los problemas de planeación con los que se encontraba eran demasiado complejos para las computadoras más veloces de 1947 (y aun para las de la actualidad).
Habiéndose ya establecido el problema general de Programación Lineal, fue necesario hallar soluciones en un tiempo razonable. Aquí rindió frutos la intuición geométrica de Dantzig: "Comencé observando que la región factible es un cuerpo convexo, es decir, un conjunto poliédrico. Por tanto, el proceso se podría mejorar si se hacían movimientos a lo largo de los bordes desde un punto extremo al siguiente. Sin embargo, este procedimiento parecía ser demasiado ineficiente. En tres dimensiones, la región se podía visualizar como un diamante con caras, aristas y vértices. En los casos de muchos bordes, el proceso llevaría a todo un recorrido a lo largo de ellos antes de que se pudiese alcanzar el punto de esquina óptimo del diamante".
Esta intuición llevó a la primera formulación del método simplex en el verano de 1947. El primer problema práctico que se resolvió con este método fue uno de nutrición.
El 3 de octubre de 1947 Dantzig visitó el Institute for Advanced Study donde conoció a John von Neumann, quien por entonces era considerado por muchos como el mejor Matemático del mundo. Von Neumann le habló a Dantzig sobre el trabajo conjunto que estaba realizando con Oscar Morgenstern acerca de la teoría de juegos. Fue entonces cuando Dantzig supo por primera vez del importante teorema de la dualidad.
Otro de sus grandes logros es la teoría de la dualidad, ideado conjuntamente con Fulkerson y Johnson en 1954 para resolver el paradigmático problema del Agente Viajero (resolviendo entonces problemas con 49 ciudades cuando, hoy día, mediante modernas implementaciones del método, se resuelven problemas con varios miles de ciudades y hasta un millón de nodos) es el precursor de los hoy utilísimos métodos de Branch-and Cut (Bifurcación y corte) tan utilizados en programación entera para resolver problemas de grandes dimensiones.
Muchos de los problemas a resolver mediante Programación Matemática se enmarcan en planificación dinámica a través de un horizonte temporal. Muchos de los parámetros se refieren al futuro y no se pueden determinar con exactitud. Surge entonces la programación estocástica o programación bajo incertidumbre. Esta rama, con un gran desarrollo hoy día, y un tremendo potencial para el futuro, debe su desarrollo a dos trabajos seminales que de forma independiente son debidos a los profesores E.Martin L Beale y George B. Dantzig en 1955.
Así mismo es de gran utilización su método denominado Descomposición de Dantzig- Wolfe (desarrollado conjuntamente con Philip Wolfe en 1959-1960) (cuyo dual es el método de Descomposición de Benders, tan utilizado hoy día en Programación Estocástica), para resolver problemas de programación lineal estructurados.
El libro "Linear Programming and Extensions" (1963), ha sido su gran libro de referencia durante los 42 años que median desde su publicación. Ha cerrado el ciclo de su extensa bibliografía con el libro en dos tomos "Linear Programming" (1997 y 2003), escrito conjuntamente con N. Thapa.
En 1976 el presidente Gerald Ford otorgó a Dantzig la Medalla Nacional de Ciencias, que es la presea más alta de los Estados Unidos en Ciencia. En la ceremonia en la Casa Blanca se citó a George Bernard Dantzig "por haber inventado la Programación Lineal, por haber descubierto métodos que condujeron a aplicaciones científicas y técnicas en gran escala a problemas importantes en logística, elaboración de programas, optimización de redes y al uso de las computadoras para hacer un empleo eficiente de la teoría matemática".
El profesor G. B. Dantzig no pudo conseguir el premio Nobel, pero recibió un cúmulo de distinciones, entre otras la mencionada anteriormente, el premio Von Neumann Theory en 1975, Premio en Matemáticas Aplicadas y Análisis Numérico de la National Academy of Sciences en 1977, Harvey Prize en Ciencia y Tecnología de Technion, Israel, en 1985. Fue miembro de la Academia de Ciencias y de la Academia Nacional de Ingeniería de EEUU. Las Sociedades de Programación Matemática y SIAM instituyeron hace años un premio que lleva su nombre, premio que es uno de los más prestigiosos de nuestra comunidad.
Dantzig se sorprendió de que el método simplex funcionara con tanta eficiencia. Citando de nuevo sus palabras: "La mayor parte de las ocasiones el método simplex resolvía problemas de m ecuaciones en 2m o en 3m pasos, algo realmente impresionante. En realidad nunca pensé que fuese a resultar tan eficiente. En ese entonces yo aún no había tenido experiencias con problemas en dimensiones mayores y no confiaba en mi intuición geométrica. Por ejemplo, mi intuición me decía que el procedimiento requeriría demasiados pasos de un vértice al siguiente. En la práctica son muy pocos pasos. Dicho con pocas palabras, la intuición en espacios de dimensiones mayores no es muy buena guía. Sólo ahora, 52 años después de haber propuesto el método simplex por primera vez, la gente está comenzando a tener una idea de por qué el método funciona tan bien como lo hace".
Una precisión acerca de la terminología: un simplex es un tipo especial de conjunto convexo poliédrico. Más concretamente, sean P1, P2, . . . , Pn+1 n+1 puntos (o vectores) en R. Se dice que los vectores tienen independencia afín si los n vectores P1 P2, P1 P3, . . . , P1 Pn, P1 P son linealmente independientes. Si los puntos tienen independencia afín, entonces el conjunto convexo más pequeño que contiene los n+1 puntos en se llama n-simplex. En R, tres puntos tienen independencia afín si no son colineales. El conjunto convexo más pequeño que contiene tres puntos no colineales es un triángulo con estos puntos como vértices. Por tanto, un 2-simplex es un triángulo. En R, cuatro puntos tienen independencia afín si no son coplanares. El conjunto convexo más pequeño que contiene cuatro de tales puntos es un tetraedro. Este es el 3-simplex. Los triángulos y los tetraedros son conjuntos poliédricos convexos, no obstante que los conjuntos convexos poliédricos no son necesariamente simplex. El método simplex fue llamado así por George Dantzig, aunque no está claro por qué eligió ese nombre. Habría sido más adecuado llamarlo "método del conjunto convexo poliédrico".
Por último, pero no lo último, es importante reseñar la aplicación de programación matemática que el profesor Dantzig fue desarrollando a lo largo de los años para diversos sectores industriales y de la Administración, destacando a título de ejemplo el proyecto PILOT, para una mejor planificación del sector energético y, por tanto, un mayor ahorro energético.
El 13 de Mayo de 2004, George Bernard Dantzig, murió a la edad de 90 años en su casa de Stanford debido a complicaciones con la diabetes y problemas cardiovasculares.

lunes, 12 de octubre de 2009

Los números y la vida

Interesante documental de la serie redes, en el que se explica de manera clara el origen de los números y su importancia en la vida cotidiana.



domingo, 11 de octubre de 2009

Los mejores trabajos

La consultora de trabajo estadounidense Careercast ha publicado recientemente un estudio sobre cuál es, hoy en día, la mejor profesión. La respuesta es sorprendente (al menos, para los profanos a la disciplina): a día de hoy la mejor profesión es la de matemático. El estudio es de gran importancia en los tiempos que corren, inmersos en una crisis galopante, y puede orientar a nuestros jóvenes para conseguir un futuro laboral adecuado.
The Mathematician (watercolour 2004), Henk A. van der Vor.


El análisis de career.cast.com ha sido recogido, entre otros medios, por el diario The Wall Street Journal. Se cuantifican varios factores de los 200 empleos, que se clasifican en lo que llaman los 5 "Core Criteria;" es decir, las categorías que son inherentes a cada trabajo: entorno laboral, ingresos, posicionamiento en el mercado laboral presente y futuro, estrés y esfuerzo físico. En http://www.careercast.com/jobs/content/JobsRated_Methodology se puede encontrar un detallado análisis de la metodología empleada, así como una buena colección de comentarios de internautas.

Esta es la lista de los 10 mejores empleos, acompañada de una breve descripción de las tareas que realizan:

1. Matemático.
Aplica teorías matemáticas y ecuaciones para enseñar o resolver problemas en finanzas, educación, industria.

2. Estadístico en seguros.
Interpreta estadísticas para determinar probabilidades de accidentes, enfermedades, muertes, pérdidas de propiedades por robos y desastres naturales.

3. Estadístico.
Tabula, analiza, e interpreta los resultados numéricos de experimentos y estudios.

4. Biólogo.
Estudia la relación entre plantas y animales con su entorno.

5. Ingeniero de Software.
Investiga, diseña, desarrolla y mantiene sistemas de software.

6. Analista de Sistemas de Computadores.
Diseña y desarrolla sistemas de computación para empresas e instituciones científicas.

7. Historiador.
Analiza y registra la información histórica de una época o de acuerdo a un área de conocimiento.

8. Sociólogo.
Estudia el comportamiento humano mediante el examen de la interacción de grupos sociales e instituciones.

9. Diseñador Industrial.
Diseña y desarrolla productos industriales.

10. Contable.
Prepara y analiza los resultados financieros de la empresa para asistir a la dirección de la misma, a la industria o al gobierno.


Tampoco están mal situados los filósofos (puesto 12), los físicos (13), los astrónomos (20), o los geológos (30).

Debemos observar que en el contexto español, los tres primeros empleos se pueden considerar en el ámbito de las matemáticas, pues los estudios de Estadística están incluidos habitualmente en esta disciplina.

En cambio, las peores profesiones serían: leñador; granjero; taxista; pescador; técnico de emergencias médicas; reparador de tejados; basurero; soldador; peón; trabajador metalúrgico. Los bomberos, los técnicos de centrales nucleares y los cuidadores infantiles también están en esta parte del ránking.

El estudio valora peor las profesiones de mayor esfuerzo y riesgo físicos; aquéllas con duras condiciones ambientales físicas –humos o compuestos tóxicos- y emocionales –alta competitividad, trato directo con el público, responsabilidad sobre otros (lo que explica la mala puntuación de los cuidadores infantiles); y con una alta tasa de paro en años recientes. También restan puntos las jornadas muy prolongadas.

Los matemáticos ‘sacan’ la mejor nota al sumar los apartados anteriores. El trabajo reconoce así que la profesión de matemático tiene y seguirá teniendo demanda en el mercado de trabajo, entre otras cosas por su versatilidad.

Como explica el Departamento de Trabajo estadounidense, un matemático puede emplearse desde en la universidad hasta en un laboratorio médico, una productora de cine, en el sector informático, financiero, farmacéutico, aeroespacial o incluso en aseguradoras, en dirección y gestión de la investigación y el desarrollo y en consultoría técnica, siendo en Estados Unidos el Gobierno, tanto Federal como el de los diferentes Estados uno de los mayores contratadores de matemáticos.

Este organismo estima en su Guía Ocupacional 2008-2009 que la demanda de matemáticos subirá en un 10% de aquí a 2016.

Para más información:

Estudio de CareersCast.com
http://www.careercast.com/jobs/jobsRated
http://www.careercast.com/jobs/content/JobsRated_Methodology

Estudio de la RSME:
http://www.rsme.es/comis/prof/RSME-ANECA.pdf

Departamento de Trabajo Estadounidense
http://stats.bls.gov/oco/ocos043.htm

Información de la Sociedad Americana de Matemáticas
http://www.ams.org/employment/whatmathematiciansdo.html


Por Manuel de León
Coordinador de SIMUMAT

Fuente: Matemáticas y sus fronteras

sábado, 10 de octubre de 2009

Nociones Geométricas

Trailer




Capítulo 1




Capítulo 2




Capítulo 3




Capítulo 4




Capítulo 5




Capítulo 6




Capítulo 7




Capítulo 8




Capítulo 9



jueves, 8 de octubre de 2009

Acertijos que valen un millón de dólares

El Instituto Clay eligió en el 2000 los ‘Siete Problemas del Milenio’. La resolución de cada uno se premiará con un millón de dólares.

1. Conjetura de Birch y Swinnerton-Dyer
Relacionada con el último teorema de Fermat, se pregunta “en qué condiciones el número de puntos racionales sobre una curva elíptica es finito”. Bebe de la obra de Grothendieck.
2. Conjetura de Hodge
Es el más técnico. Tras corregir Grothendieck una primera versión, dice que “en una variedad algebraica proyectiva todo ciclo de Hodge es combinación lineal racional de ciclos algebraicos”.
3. Ecuaciones de Navier-Stokes
Describen el movimiento de los fluidos. Consiste en “demostrar que para ciertas condiciones iniciales, existen soluciones suaves globalmente definidas”.
4. P versus NP
Plantea la posibilidad de que “todo algoritmo de complejidad exponencial pueda reducirse a un algoritmo en tiempo polinomial”. Lo intenta resolver el protagonista de la serie ‘Numb3rs’ en las pizarras de su garaje.
5. Conjetura de Poincaré
Es el único resuelto. El ruso Grigori Perelman demostró en 2003 que “toda variedad tridimensional cerrada y simplemente conexa es homeomorfa a la esfera”.
6. Hipótesis de Riemann
El más codiciado. Conjetura que “todos los ceros no triviales de la función zeta de Riemann caen sobre la misma recta vertical”.
7. Ecuaciones de Yang-Mills
Generalizan la teoría electromagnética de Maxwell y unifican las fuerzas de la naturaleza. El Instituto Clay propone desarrollar el aparato matemático necesario para comprenderlas.

Cerebros fuera de serie


Sir Isaac Newton, el último mago
El personaje que comparte con Charles Darwin el máximo escalafón de la ciencia británica puede ser considerado el santo patrón de los matemáticos excéntricos. Sir Isaac Newton (Lincolnshire, 1643-Middlesex, 1727) prodigó sus trabajos en física, astronomía, teología, filosofía y matemáticas, disciplina en la que desarrolló, al mismo tiempo que Leibniz, el cálculo diferencial e integral, entre otras grandes aportaciones.
Pero para el economista John Keynes, Newton fue “el último de los magos”. Sus trabajos sobre ocultismo abordaron la alquimia, las profecías reveladas en la Biblia –predijo el fin del mundo para 2060–, el esoterismo, las sociedades secretas o la Atlántida.

Alan Turing, ‘hacker’ y mártir gay
En la década de 1950, la homosexualidad aún era un delito en el Reino Unido. Este prejuicio convirtió al precursor de la computación moderna en un excéntrico contra su voluntad. Alan Turing (Londres, 1912-Cheshire, 1954) ideó el test para validar la inteligencia artificial.
Durante la Segunda Guerra Mundial trabajó en Bletchley Park, el centro de criptografía del Reino Unido. Cuando se le requería para una reunión en Londres, corría 40 kilómetros hasta la ciudad. Su homosexualidad le costó el despido y cargos criminales.
Murió tras comer una manzana envenenada con cianuro, pero aún se discute si fue un suicidio teatral –’Blancanieves’ era su cuento favorito– o un asesinato.

John Nash, el Nobel alucinado
La figura de John Forbes Nash (Bluefield, EEUU, 1928) captó la atención del público a raíz de su biografía llevada al cine en ‘Una mente maravillosa’, ganadora de cuatro Oscars.
En la película, Russell Crowe interpretaba a este experto en teoría de juegos que ha luchado durante gran parte de su vida contra personajes imaginarios surgidos de su esquizofrenia paranoide. En el campo científico, desde su puesto en la Universidad de Princeton ha desarrollado aportaciones geniales que cubren desde la matemática pura a la estrategia militar, pasando por la informática o la teoría económica. En 1994 ganó el premio Nobel de Economía.

Grigori Perelman, el huraño
El ruso Grigori Perelman (Leningrado, 1966) resolvió la Conjetura de Poincaré, un problema propuesto en 1904 y que se resistió al asedio de los matemáticos durante casi un siglo. Perelman es un gran ego científico envuelto en una extrema austeridad personal. En una ocasión se negó a entregar un currículum porque juzgaba que su trabajo ya era suficientemente conocido. En 2006 rechazó la medalla Fields, el Nobel de las matemáticas, además de otros galardones y cargos de prestigio en universidades de EEUU. Vive con su madre en un humilde piso en San Petersburgo y ha dejado su puesto en el Instituto Steklov. Según algunas fuentes, ha abandonado las matemáticas.

Paul Erdös, el ‘homeless’ errante
El húngaro Paul Erdös (Budapest, 1913-Varsovia, 1996) careció de residencia durante 50 años. Cuentan sus biógrafos que se presentaba por sorpresa en casa de algún colega con una frase –”¡Mi cerebro está abierto!”– y una maleta que contenía todas sus posesiones.
Allí se dedicaba, en colaboración con su anfitrión, a escribir trabajos sobre combinatoria o teoría de números, hasta que llegaba el momento de marcharse para llamar a otra puerta. Creía en un dios al que llamaba el Fascista Supremo, porque guardaba para sí las demostraciones más bellas de los teoremas, reunidas en lo que Erdös llamaba ‘El Libro’. Adicto a las anfetaminas, donó la mayoría de sus premios a los necesitados.

Kurt Gödel, el muerto de hambre
En el elenco de científicos que han destacado por sus manías, pocos lo han llevado tan lejos como Kurt Gödel (Brno, 1906-Princeton, 1978). Nacido en la antigua Austria-Hungría, trabajó en Viena y viajó a EEUU, donde trabó amistad con Einstein. Huyó de la Alemania nazi para establecerse en la Universidad de Princeton.
Sus trabajos en teoría de conjuntos y lógica influyeron en matemáticos y filósofos. En sus últimos años no comía nada que no hubiese catado su mujer, Adele, por miedo a ser envenenado. Cuando ella no pudo hacerlo por ingresar en un hospital, Gödel dejó de comer. En el momento de su muerte por inanición, pesaba 30 kilos.

miércoles, 30 de septiembre de 2009

Escher y las matemáticas


Escher fue un artista inusual, decidido a resolver problemas que parecían interesar más a los matemáticos que a los artistas. Tenía el deseo de romper las limitaciones que impone el plano al arte, de mostrar como nunca antes se había visto que una superficie bidimensional es capaz de ilusiones ópticas de gran profundidad. Escher luchó para encontrar un mecanismo que permitiese dar la impresión de un espacio sin límites, de mundos que se transforman en otros, o en otros. Incluso podemos llegar a creer que una transformación es de lo más normal y creíble, pero cuando sucede otra a la primera y observamos el punto inicial vemos que es del todo imposible, a pesar de la sensación de normalidad que nos transmite.
Si nos introducimos en uno de sus diseños, lo cual es sumamente fácil, acabamos de entrar en otro mundo, donde todos nuestros sólidos principios son puestos en duda y sustituidos por una serie de nuevas leyes y extraños principios geométricos.
Pero no es por esto exclusivamente por lo que sus trabajos apasionan a muchos matemáticos, sino también porque en ellos subyacen una serie de conceptos matemáticos como reflexiones, simetrías, traslaciones, cuerpos platónicos, el infinito, cintas de Möebius, geometría hiperbólica, etc... Y sin embargo Escher se consideraba un lego en matemáticas.

Fuente: Jose María Alfaro Roca

domingo, 27 de septiembre de 2009

Los códigos del algebrista

Contestar a la pregunta casual "¿Ud. a qué se dedica?" suele plantear problemas a cualquier científico, si quiere ser breve y preciso. La más obvia de las respuestas suele apelar al diccionario; pero, en el caso del álgebra, conduce a sorpresas. La segunda acepción de algebrista, aunque la RAE la marca como desusada, dice "cirujano dedicado especialmente a la curación de dislocaciones de huesos".
Así la utilizaba Cervantes en 1615: “… llegaron a un pueblo donde fue ventura hallar un algebrista, con quien se curo el Sansón desgraciado” (Quijote II, Cáp. XV). Pero también en La madre naturaleza de 1887, Emilia Pardo Bazán relata que muchos “ejercían la profesión de algebristas, componiendo con singular destreza canillas rotas y húmeros desvencijados, reduciendo luxaciones y extirpando sarcomas”, destacando al “atador de Boán, que tenía fama de poner la ceniza en la frente a los médicos de Orense y Santiago, habiendo persona que vino expresamente desde Madrid, cuando todavía se viajaba en diligencia, a que el señor Antón le curase una fractura”. Claro que es más sorprendente la tercera acepción, reputada de germanía, alcahuete, que remite a Quevedo describiendo a la madre del Buscón, llamado don Pablos como “algebrista de voluntades desconcertadas, […] y por mal nombre alcagüeta”. Y todo ello, incluido el significado matemático que en castellano se alcanza en 1726, procede de una palabra árabe originada en Bagdad.
El matemático Muhammad ibn Musa al–Khwarizmi (ca 780-850), originario de la actual Khiva (Uzbekistán), describe, en su tratado Hisab al-yabr wa´l-muqabala como resolver ecuaciones de primero y segundo grado, trasponiendo un término negativo de un lado de la ecuación al otro lado como positivo, al-yabr, y retirando los términos iguales a ambos lados, al-muqabala. Gracias a la traducción de Robert de Chester, en Segovia el año 1145, como Liber álgebra et almuchabala, se introduce en Occidente el término álgebra, que continuaría siendo, hasta mediados del XIX, la ciencia de las ecuaciones. El termino yabr, “reducir, restablecer”, proporcionó al español, el italiano y el inglés, una acepción: arte de recomponer los huesos dislocados; y de ahí el calificativo de algebristas que empleaban los barberos medievales y la metáfora de Quevedo.

Sólo en los años 50 del pasado siglo, el grupo Bourbaki declaraba: “actualmente consideramos como el problema esencial del Álgebra el estudio de las estructuras algebraicas, por sí mismas”. Esa concepción se fue imponiendo, aumentando el nivel de abstracción hasta alcanzar incluso lo que irónicamente se llegó a denominar “abstract non-sense”. De hecho se ha dicho que son “los Picassos de las matemáticas la geometría algebraica y teoría de categorías -áreas que llevan la abstracción en matemáticas al extremo”. Pero una vez más, la irracional eficacia de las matemáticas abstractas ha producido que se empleen en lenguajes de programación, en codificación de datos y en criptografía. Si la ruptura de códigos criptográficos condujo al ordenador digital, las necesidad de códigos seguros ha impulsado fuertemente el álgebra. Pero como describía el inventor del ciberespacio, William Gibson, “eso no es más que un subproducto de lo que sea que hace con sus teorías. [El matemático] parece considerar enormemente cómico que pueda tener alguna aplicación práctica” (Pattern Recognition, 2004).

Cuando se cumplen 30 años del primer uso en España del código de barras, es poco conocido que el último dígito de cada uno de ellos es un cálculo algebraico que asegura su corrección, de modo análogo a los dígitos de control (D.C.) que incluyen los números de cuentas bancarias. Y al igual que el Código Cuenta Cliente (C.C.C.) permite detectar e incluso corregir algún error, en ocasiones de los códigos de barras se puede extraer información inesperada. El dibujante Andrés Rábago García, El Roto, publicó el día 1/noviembre/2006 una viñeta en la que, en un marco de cipreses, aparece una tumba sin nombre pero con un nítido código de barras. La irónica reflexión sugerida va desde la pérdida de identidad personal por la moderna tecnología a la mercantilización de la actividad funeraria. Prestando atención al código de barras, bajo las 30 barras leemos el número 978053319061; la verificación algebraica asegura que es un código EAN correcto, que corresponde a un libro en inglés. En esa “alucinación consensuada”, el ciberespacio, “donde no hay un donde” cualquiera encuentra inmediatamente la referencia completa: Art of the Japanese Postcard de J. Thomas Rimer, Kendall H. Brown y Anne Nishimura Morse, publicado por Lund Humphries en 2005. Es coherente que entre las lecturas de un artista gráfico se encuentre ese libro; e incluso que en su subconsciente se fije ese código que traslada a su creación. Más que la polisemia de una viñeta, nos sobrecoge la disponibilidad de datos, aquí intrascendentes, pero en otras ocasiones relevantes respecto a la intimidad personal. Como ya decía William Gibson: “ …somos una economía de información. Te lo enseñan en la escuela. Lo que no te dicen es que es imposible moverse, vivir, actuar a cualquier nivel sin dejar huellas, pedacitos, fragmentos de información en apariencia insignificantes. Fragmentos que pueden ser recuperados, amplificados.” (Burning Chrome,1986). Por eso es necesario comprender el uso y la semiótica de los códigos que nos rodean para poder defender el derecho democrático de la intimidad, sin dejarse engañar por las promesas de mayor seguridad en un mundo convulso. Al menos de forma lateral, los algebristas se dedican también a estudiar y explicar codificación, e incluso a predecir sus consecuencias.
Artículo de José María Barja
Fuente: Ibercampus

sábado, 22 de agosto de 2009

Curvas Modulares


En 1955, Yutaka Taniyama conjeturó que toda curva elíptica definida sobre el cuerpo de los números racionales es modular. En 1995, Andrew Wiles demostró el teorema de Fermat probando la modularidad de ciertas curvas elípticas: las semiestables. En 2001, la conjetura de Taniyama ha sido finalmente demostrada.
Uno de los problemas abiertos que centran actualmente los esfuerzos de los investigadores en Teoría de Números y Geometría Aritmética es la conjetura de Birch y Swinnerton-Dyer, la cual asegura que muchos invariantes aritméticos de una curva elíptica se pueden “leer” en el comportamiento de cierta función analítica asociada a la curva en cuestión.

En las técnicas propuestas hasta ahora para abordar la demostración de esta conjetura, la modularidad de las curvas elípticas ha jugado siempre un papel esencial. Se trata, por cierto, de uno de los siete problemas por cuya solución el Instituto Clay ofrece un millón de dólares.

Birch Swinnerton Dyer

Los matemáticos siempre han estado fascinados por el problema de describir todas las soluciones de x,y,z en ecuaciones algebraicas, como Euclides da una solución completa a esta ecuación, pero para ecuaciones más complicadas se convierte en algo extremadamente difícil.
Realmente, en 1970 Yu. V. Matiyasevich demostró que el décimo problema de Hilbert no tiene solución, por ejemplo, no existe un método general para determinar cuando estas ecuaciones tienen una solución en números enteros.
Pero en casos especiales se puede suponer que sí. Cuando las soluciones son de puntos de una variedad abeliana, la conjetura Birch y Swinnerton-Dyer dice que el tamaño del grupo de puntos racionales es relacionado con el comportamiento de la función asociada zeta z(s) cerca del punto s=1.
En particular esta increíble conjetura dice que si z(1) es igual a 0, entonces hay un numero infinito de puntos racionales (soluciones), y en oposición, si z(1) no es igual a 0, entonces hay solo un numero finito de dichos puntos.

lunes, 16 de febrero de 2009

Conocimiento Peligroso:

Magnífico documental sobre la vida de 4 grandes matemáticos que ademas de la matemática tienen en común que todos se suicidaron, los matemáticos en cuestión son Georg Cantor, Ludwig Boltzmann, Kurt Gödel y Alan Turing. La hipótesis subyacente en el documental es que de alguna manera fue la extrema brillantez de estos matemáticos la que les causó en última instancia la locura y el suicidio, debido a una progresiva inmersión en el mundo matemático que estudiaban, y a la interiorización de las implicaciones filosóficas de los resultados que obtuvieron. Particularmente no estoy de acuerdo con esa hipótesis debido a que hay muchos factores que no fueron tomados en cuenta.
Los links para ver el documental son los siguientes (están en inglés):

http://www.youtube.com/watch?v=Cw-zNRNcF90 parte 1
http://www.youtube.com/watch?v=wpWXT9yMBnw parte 2
http://www.youtube.com/watch?v=1AAvWb5wYNk parte 3
http://www.youtube.com/watch?v=qUL-x8Gm1h4 parte 4
http://www.youtube.com/watch?v=So9RAbBy1ps parte 5
http://www.youtube.com/watch?v=fqKQ0-T3swY parte 6
http://www.youtube.com/watch?v=oldUAw2Aux0 parte 7
http://www.youtube.com/watch?v=0ZcErXdR_eQ parte 8
http://www.youtube.com/watch?v=BkezCyb7Lkw parte 9
http://www.youtube.com/watch?v=_8dczB1rY-Q parte 10

viernes, 30 de enero de 2009

Yutaka Taniyama



Con un futuro aparentemente brillante por delante, tanto en las matemáticas como en su vida privada (estaba planificando su matrimonio), se suicidó. En una nota que dejó, tuvo mucho cuidado en describir exactamente hasta qué punto había llegado en los cursos de cálculo y álgebra lineal que había estado impartiendo y en disculparse ante sus colegas por todo lo que su muerte les supondría. En cuanto al motivo que le llevó a quitarse la vida, explicó:

Hasta ayer, no tenía la intención definitiva de suicidarme. Más de uno debe haber notado que últimamente estoy cansado tanto física como mentalmente. Yo mismo no lo entiendo del todo, pero no es el resultado de un incidente particular, ni una cuestión específica. Simplemente quiero decir que he perdido la confianza en el futuro. Quizás mi suicidio pueda perturbar o ser un duro golpe para ciertas personas. Espero sinceramente que este incidente no ensombrezca la vida de esta persona. En cualquier caso, no puedo negar que esta es una especie de traición. Excusad mi comportamiento. Es el último acto que hago a mi manera, como he venido haciendo mi manera toda mi vida.

Un mes más tarde, Misako Suzuki, la mujer con quien se iba a casar también se suicidó dejando una nota que decía: "Nos prometimos que no importaria a dónde nos dirigiéramos, nunca nos separariamos. Ahora que se ha ido, yo también me tengo que ir a reunirme con él. "
Las ideas de Taniyama han sido objeto de críticas sin fundamento y su conducta había sido considerada en ocasiones peculiar. Goro Shimura mencionó que padecía depresión. Taniyama también menciona en la nota su preocupación de que algunos podrían ser perjudicados por el suicidio de Vargas y su esperanza del acto de no emitir "una oscura sombra sobre esa persona".

Después de la muerte de Taniyama, Goro Shimura declaró que:

Taniyama fue siempre amable con sus colegas. Fue el apoyo moral de muchos matemáticos que le conocieron y estuvieron en contacto con él, incluyendo por supuesto a mí mismo. Probablemente, nunca fue consciente del papel que estaba jugando. Aprecio su noble generosidad más ahora que cuando estaba vivo. Sin embargo nadie fue capaz de darle todo el apoyo cuando lo necesitaba desesperadamente. Me siento realmente abrumado por el dolor más amargo.