Escolar Documentos
Profissional Documentos
Cultura Documentos
1. INTRODUCCIN
Es razonable pensar que el siglo XX ha tenido ms
matemticos que todos los siglos anteriores juntos, lo
que nos obliga a describir slo algunos descubrimientos matemticos del siglo XX. En la seleccin de descubrimientos hemos tenido en cuenta los premios
importantes, intentando cierta objetividad, si bien descubrimientos muy relevantes no han sido seleccionados, como la caracterizacin de Turing de la
Teora del Algoritmo (1936), el anlisis no estndar de
Robinson (1961), la Teora del Caos (1963) y de las
Catstrofes (1964), o muchos de los grandes descubrimientos en Anlisis Matemtico por los que se
han dado varias de las ltimas medallas Fields. Tal vez
la seleccin ptima sea difcil de alcanzar, sobre todo
si se hace con varias limitaciones.
En cualquier caso, agrupando los descubrimientos
matemticos que describimos, hemos intentado
resaltar profundas diferencias entre los descubrimientos matemticos a lo largo del siglo, que aparece
dividido en tres tercios.
Los descubrimientos que vamos a considerar en el
primer tercio del siglo XX son cuestiones axiomticas
y teoremas que continan la Matemtica del siglo
anterior. El primer tercio est dividido del segundo por
la Segunda Guerra Mundial, que trajo el desarrollo de
los ordenadores y el inters por problemas prcticos.
En el segundo tercio nos encontraremos con problemas tericos y axiomticos, como el Teorema de independencia de Cohen de 1963, junto a descubrimientos
motivados para resolver problemas concretos de otras
ciencias, como el mtodo simplex de Dantzing de
1947, el inicio de la inteligencia artificial (con el
30
axiomtica de la Teora de Conjuntos, que fue completada en 1921 por Abraham Fraenkel. Diez aos
ms tarde, Kurt Gdel prob en 1931 la imposibilidad
de formular un sistema completo de axiomas para
una teora T que contenga a los nmeros naturales,
pues prob que no todas las proposiciones
matemticas expresables en el lenguaje de la teora T
pueden ser probadas o refutadas utilizando esa teora
T.
Muy poco antes, en 1930 un grupo de matemticos
franceses, conocidos con el nombre colectivo de
Nicols Bourbaki, intentaron fundamentar la
matemtica sobre estructuras. Antes de la aparicin de
las estructuras, de la teora de conjuntos se deduca la
teora de los nmeros naturales, luego se obtenan los
nmeros enteros y, finalmente, se construan los
nmeros racionales y luego los nmeros reales con sus
operaciones. Los bourbakistas definen los nmeros
reales y sus operaciones por la estructura algebraica
de cuerpo, las propiedades de orden de los nmeros
reales estn en una estructura de orden, compatible
con su estructura algebraica y las propiedades de los
nmeros reales relacionadas con la idea de
proximidad estn en una estructura topolgica.
Las ideas del grupo Bourbaki estn expuestas en la
obra Elementos de Matemticas, titulo inspirado
en la obra Los Elementos de Euclides.
Se critic que con las estructuras se perdan las
propiedades particulares de los ejemplos concretos,
pues los nmeros reales tienen particularidades que no
31
de Cauchy. El cuerpo de los nmeros reales est contenido en el cuerpo de los nmeros complejos, introducidos por Gerolamo Cardano en 1545 para resolver
la ecuacin de tercer grado. La extensin de las operaciones usuales con nmeros reales a los nmeros complejos la hizo Raffaele Bombelli en 1572. En 1799,
Carl Friedrich Gauss prob que todo polinomio con
coeficientes complejos tiene una raz, propiedad que
nos dice que el cuerpo de los nmeros complejos es un
cuerpo algebraicamente cerrado.
Por otros motivos, Evariste Galois en 1830 y
Richard Dedekind en 1871 obtuvieron otros cuerpos
aadiendo al cuerpo de los nmeros racionales un
nmero irracional y todos los nmeros obtenidos
como resultado de las operaciones algebraicas con
nmeros racionales y el nmero aadido. Si el
nmero irra- cional aadido es raz de un
polinomio con coefi- cientes enteros se dice que el
cuerpo obtenido es una extensin algebraica y en caso
contrario una extensin trascendente. Por induccin
transfinita se prueba que todo cuerpo est contenido
en otro algebraicamente cerrado.
Adems de los anteriores cuerpos infinitos tambin
hay cuerpos finitos, como el cuerpo Z/(n) de los
enteros mdulo un nmero primo n, que es el cociente
del anillo de los enteros respecto al subanillo de
mltiplos de n.
La abundancia de ejemplos de cuerpos hizo pensar
a Ernst Steinitz en 1910 en la necesidad de su clasifi-
En la segunda parte de ese problema, Hilbert preguntaba si existe un tipo de baldosa con la que se
pueda cubrir el plano en forma no simtrica. Maurits
Escher encontr la solucin afirmativa en 1935. En
1966, Robert Berger prob que con 20246 tipos de
bal- dosas se puede recubrir el plano en forma no
peridica, ejemplo mejorado por Roger Penrose en
1974 con slo dos tipos de baldosas. No se sabe si hay
algn ejemplo de cubrimiento no peridico del
plano con una sola baldosa, resultado que es cierto en
el espacio tridimen- sional, pues Conay determin
en 1993 un recubri- miento no peridico con un solo
tipo de poliedro.
El ejemplo de Penrose adquiri relevancia en
Fsica cuando Daniel Schechtman descubri en
1984 una aleacin de aluminio y magnesio cuya
estructura molecular tiene la distribucin del ejemplo
de Penrose. Este tipo de estructuras se las ha
llamado quasi- cristales y su descubrimiento motiv
la investigacin de sus
propiedades y la
clasificacin de sus estruc- turas. El estudio de los
grupos quasi-cristalogrficos ha atrado la atencin
de muchos matemticos, como Sergei Novikov y
Enrico Bombieri, medallas Fields en
1970 y 1974, respectivamente.
Finalmente, el fecundo 1910 vio el nacimiento del
el teorema del punto fijo de Luitzen Brouwer, quien
prob que una aplicacin continua f con dominio un
intervalo cerrado [a,b] y valores en ese mismo
intervalo cerrado tiene un punto fijo x [a,b], es decir
que f(x) x. Hay muchas versiones del teorema del
punto fijo, que se ha convertido en una herramienta
Que la suma sea cero significa que un jugador gana lo que los otros pierden y que la informacin sea perfecta significa que cada jugador
conoce exactamente las posibles decisiones de los otros jugadores y sus consecuencias.
2 En los juegos de suma cero, el Teorema de equilibrio de Nash se reduce al teorema del minimax de von Neumann.
2.
De e
cosx
isenx y de la relacin
pitagrica se deduce que cosx y senx son
nmeros trascen- dentes cuando x es un nmero
algebraico.
3.
De e
1 se deduce que i es trascendente,
luego por ser i algebraico debe ser
trascenden- te, de lo que se deduce que con
regla y comps
no se puede construir un cuadrado de rea igual
a la de un crculo dado.
lnx
1.
ix
En 1955, Klaus Roth mejor la observacin anterior probando que todas las fracciones con denominador q que aproximan un nmero irracional algebraico tienen un error mayor o igual a q (2 + ) . Roth recibi la Medalla Fields en 1958.
xy
i
,
2
xy
i
.
2
Estos dos espacios l y L son casos particulares de una amplia clase de espacios introducidos en 1922 por Stefan Banach, que se
llaman los espacios de Banach y dan la estructura perfecta para desarrollar la teora de las ecuaciones integrales, con la ayuda de un
teorema gene- ral del punto fijo, tambin desarrollado por Banach, utilizando una tcnica de Joseph Liouville de 1832. La teora de espacios
de Banach tom nuevo impulso a partir de 1950, gracias a nuevos mtodos introducidos por la escuela francesa, destacando las
aportaciones de Laurent Schawartz y Alexander Grothendieck, medallas Fields en 1950 y 1966, respectivamente. Esta teora est
experimentando un tercer rejuveneci- miento, visible en la concesin de las medallas Fields en 1994 y 1998 a Jean Bourgain y a William
Govers, por la determinacin de secciones mximas en un espacio de Banach isomorfas a un espacio de Hilbert y por la prueba de que slo
los espacios de Banach con mucha simetra son isomorfos a espacios de Hilbert, respectivamente.
5 El xito en la aplicacin de los operadores a la Fsica provoc el desarrollo de las lgebras de operadores de von Neumann. La
clasificacin de una clase de estos operadores, los de tipo III, le vali la Medalla Fields a Alain Connes en 1983 y el descubrimiento de
ciertos invariantes para nudos, consecuencia del estudio de operadores de tipo II, le proporcion a Vaugham Jones la Medalla Fields en
1990.
El desarroll de la Teora de la Probabilidades exigi su axiomatizacin, lo que fue pedido por Hilbert
como parte de su sexto problema y resuelto por
Andrei Kolmogorov en 1931, asignando una
probabilidad a cada un suceso de manera que la
probabilidad de cada suceso es un nmero entre 0 y 1,
la probabilidad de que no aparezca ningn suceso
elemental es 0, la probabi- lidad del conjunto de todos
los sucesos es 1 y la proba- bilidad de una unin
numerable de sucesos disjuntos dos a dos es la suma
de la serie de las probabilidades de esos sucesos.
Tambin utiliz la medida de Lebesgue en su
axiomatizacin. Kolmogorov recibi el Premio Wolf
en 1980.
La distribucin normal de probabilidad ya haba sido utilizada por Moivre para aproximar la distribucin binomial y poder simplificar
cl- culos de probabilidades de vencer en juegos.
vrtice adyacente, siguiendo el criterio de optimizacin, lo que permite llegar a un ptimo local que,
por convexidad, es un ptimo global.
una torre. El primer juego de ajedrez elaborado en trminos computacionales aparece en un famoso artculo
de Claude Shannon de 1950.
La primera partida entre un hombre y un programa
fue entre el cientfico Alick Glennie y el programa
Turochamp, escrito por Alan Turing, quien tuvo que
simular la ejecucin del programa manualmente, dada
la baja capacidad de los computadores de esa poca.
Glennie venci en 29 movimientos. La situacin en
1980 vari sustancialmente. El Gran Maestro Helmut
Pfleger jug 26 partidas simultneas, de las que cinco
eran contra un programa de ordenador. Cinco de esas
partidas, incluyendo una ganada por el ordenador,
fueron presentadas a anlisis de expertos, entre los que
estaban Kornoi, Pfleger y Kasparov. Salvo Kasparov,
todos fallaron en identificar cual era la partida en la
que Pfleger haba jugado contra el ordenador. En
1996, Gary Kasparov perdi contra el programa global
Deep Blue. En 1997, Deep Blue derrot a Kasparov
en un torneo por 3,5 contra 2,5 puntos.
Quien tuvo que devolver el premio para compensar los gastos de impresin de su trabajo, que no se pudo distribuir por contener un
error, cuya subsanacin dio lugar a contribuciones muy importantes.
Esta definicin haba sido anticipada por Duns Scotus en el siglo XIII, por Galileo en 1638 y por Bolzano en 1851.
Ese nmero real diferente de los nmeros de la sucesin se puede construir de forma que su cifra decimal n-sima sea diferente de 9 y de
la cifra decimal n-sima del nmero que ocupa el lugar n en la sucesin.
10
Galois factoriz los grupos en grupos simples, caracterizados por tener slo dos factores: el mismo
grupo y el subgrupo trivial. Por tanto, para clasificar
los grupos basta hacerlo con los grupos simples. En
1888, Wilhelm Killing elabor una primera clasifi11
cacin de los Grupos de Lie , que fue perfeccionada
por Elie Cartan en 1894, utilizando los grupos SO(n) y
SU(n) de matrices ortogonales y matrices unitarias
n n.
Pero la clasificacin de los grupos simples finitos
es complicada. Al final del siglo XIX se conocan seis
Figura 18. Alfred Bray Kempe 1849-1922.
11
Los grupos de Lie fueron introducidos por Sophus Lie en 1874. El quinto problema de Hilbert preguntaba si un grupo localmente euclideano era un grupo de Lie, y fue resuelto afirmativamente por Andrew Gleason, Deane Montgomery y Leo Zippin
en 1952. La teora de los grupos de Lie es muy utilizada en la Teora del Campo Unificado.
el centro del cubo. Repitiendo este proceso indefinidamente se obtiene una superficie de dimensin, aproximadamente, 2,72 y que encierra un volumen nulo.
Los ejemplos considerados de fractales son muy
sencillos, pero hay otros que el proceso constructivo
necesita el apoyo de los ordenadores. Algunos fractales se han introducido en el arte moderno como
nuevas formas. Otros han generado muchas aplicaciones como el fractal de Mandelbrot, obtenido apli2
cando repetidamente la transformacin x
c en
el plano complejo, partiendo de un valor arbitrario
inicial de x Cuando c 0 se tienen tres casos diferentes
segn la situacin del punto inicial x. Si el mdulo
del valor inicial x es menor que 1, la aplicacin
sucesiva de la transformacin lleva el punto hacia
cero. Si el mdulo del punto inicial x es mayor que
uno, el punto se va alejando
al aplicar
sucesivamente la transformacin. Cuando el punto
inicial x es 1, todos los puntos obtenidos al
aplicar sucesivas transformaciones estn situados
sobre al circunferencia unidad. Hay pues dos regiones
de atraccin,
hacia cero y hacia el infinito,
separadas por una frontera circular.
Cuando c es distinto de cero hay muchos casos
diferentes. El nmero de regiones de atraccin vara
con c y la frontera entre diversas regiones puede ser
una curva fractal, de una o varias piezas, o muchos
puntos dispersos.
El conjunto de Mandelbrot est formado por los
puntos c para los que la frontera entre las distintas
regiones consta de una sola pieza. Por su extraa apariencia se ha convertido en una forma geomtrica
famosa. Adrien Douady y John Hubbard probaron en
1985 que es un conjunto conexo y Jean Christophe
Yoccoz prob en 1994 que es localmente conexo, lo
que fue uno de los resultados por los que recibi la
Medalla Fields en 1994. En la actualidad el conjunto
de Mandelbrot es un sistema de referencia en el
estudio de los sistemas dinmicos complejos y los
fractales se estn utilizando mucho en problemas de
modelizacin. Por la gran variedad de las aplicaciones
12
13
de
Thurston en la clasificacin de superficies tridimensionales.
14 Nos haremos una idea de la complejidad de esta aplicacin recordando que en los hombres la cadena de DNA puede tener casi un metro
de longitud, est situada en el ncleo de una clula que puede tener un dimetro de unas 5 millonsimas de metro, y, adems, es capaz de
duplicarse.
solucin racional de x
y
1 se deduce la
existencia de tres nmeros enteros a, b y c tales que
n
n
n
a
b
c . No obstante, en 1985, Andrew
Granville y Roger Heath-Brown dedujeron del
teorema de Falting la validez del teorema de
Fermat para infinitos expo- nentes primos.
La prueba definitiva del teorema de Fermat para
los exponentes mayores que 2 fue obtenida por
otro camino indirecto, pasando por la conjetura
de Taniyama. Esta vez el camino seguido parti de la
observacin de que la ecuacin
x
15
5. COMENTARIOS FINALES
Se comparte la impresin de que las matemticas
son una de las elaboraciones humanas intelectualmente ms perfectas, atractivo que seguir motivando
a las nuevas generaciones de matemticos en este
siglo XXI y tambin en los siglos sucesivos,
quienes debern desarrollar la
Matemtica
adecuada a los problemas cada vez ms complejos
sugeridos por otras ciencias. Muchas soluciones
sern largas, difciles e incluso
tediosas,
precisando la colaboracin de potentes equipos
humanos e informticos para obtener soluciones
aproximadas, que podrn preceder en aos a las
soluciones exactas obtenidas con mtodos formales, por los que nunca se deber perder el inters.
BIBLIOGRAFA
1.
2.
3.
4.
5.
6.
7.
8.
9.