Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Prefacio
Las matemticas no nacieron plenamente formadas. Fueron hacindose gracias a
los esfuerzos acumulativos de muchas personas que procedan de muchas culturas
y hablaban diferentes lenguas. Ideas matemticas que se siguen utilizando hoy
datan de hace ms de 4.000 aos.
Muchos descubrimientos humanos son efmeros; el diseo de las ruedas de carro
fue muy importante para el Reino Nuevo Egipcio, pero hoy da no es exactamente
tecnologa de vanguardia. Las matemticas, por el contrario, suelen ser
permanentes. Una vez que se ha hecho un descubrimiento matemtico est a
disposicin de cualquiera, y con ello adquiere una vida propia. Las buenas ideas
matemticas difcilmente pasan de moda, aunque la forma de implementarlas puede
sufrir cambios espectaculares. Hoy seguimos utilizando mtodos para resolver
ecuaciones que fueron descubiertas por los antiguos babilonios. Ya no utilizamos su
notacin, pero el vnculo histrico es innegable.
De hecho, la mayora de las matemticas que se ensean hoy en la escuela tienen
ms de 200 aos.
La inclusin de las matemticas modernas en los programas de estudio en los aos
sesenta del siglo pasado llev la asignatura al siglo XIX. Pero, contra lo que pueda
parecer, las matemticas no se han quedado quietas. Hoy da, se crean ms
matemticas nuevas cada semana que las que los babilonios pudieron manejar en
dos mil aos.
El progreso de la civilizacin humana y el progreso de las matemticas han ido de la
mano. Sin los descubrimientos griegos, rabes e hindes en trigonometra, la
navegacin en ocanos abiertos hubiera sido una tarea an ms aventurada de lo
que fue cuando los grandes marinos abrieron los seis continentes. Las rutas
comerciales de China a Europa, o de Indonesia a las Amricas, se mantenan unidas
por un invisible hilo matemtico.
La sociedad de hoy no podra funcionar sin matemticas. Prcticamente todo lo que
hoy nos parece natural, desde la televisin hasta los telfonos mviles, desde los
grandes aviones de pasajeros hasta los sistemas de navegacin por satlite en los
automviles, desde los programas de los trenes hasta los escneres mdicos, se
cada nuevo captulo empieza con una vuelta al pasado, y luego toca algunos de los
hitos histricos por los que pas la disciplina en su desarrollo. Los primeros
captulos se detienen a mucha distancia en el pasado; los ltimos captulos recorren
a veces todo el camino hasta el presente.
He tratado de dar una idea de las matemticas modernas, por lo que entiendo
cualquier cosa hecha en los ltimos 100 aos ms o menos, seleccionando temas de
los que los lectores pueden haber odo hablar y relacionndolos con las tendencias
histricas generales. La omisin de un tema no implica que carezca de importancia,
pero creo que tiene ms sentido dedicar algunas pginas a hablar de la
demostracin de Andrew Wiles del ltimo Teorema de Fermat de lo que la
mayora de los lectores han odo hablar que, por ejemplo, a la geometra no-
conmutativa, de la que tan slo el fundamento ocupara varios captulos.
En definitiva, sta es una historia, no la historia. Y es historia en el sentido en que
cuenta un relato sobre el pasado. No se dirige a historiadores profesionales, no hace
las finas distinciones que ellos creen necesarias, y a veces describe ideas del pasado
a travs de los ojos del presente. Esto ltimo es el pecado capital para un
historiador, porque hace que parezca que los antiguos estaban luchando por llegar a
nuestro modo de pensamiento actual. Pero creo que es defendible y esencial si el
objetivo principal es partir de lo que ahora sabemos y preguntar de dnde proceden
dichas ideas. Los griegos no estudiaron la elipse para hacer posible la teora de las
rbitas planetarias de Kepler, ni Kepler formul sus tres leyes del movimiento
planetario para que Newton las convirtiera en su ley de la gravedad. Sin embargo,
la historia de la ley de Newton se basa firmemente en el trabajo griego sobre la
elipse y el anlisis de Kepler de los datos observacionales.
Un subtema del libro son los usos prcticos de las matemticas. Aqu he ofrecido
una muestra muy eclctica de aplicaciones, pasadas y presentes. Una vez ms, la
omisin de un tema no indica que carezca de importancia.
Las matemticas tienen una historia larga y gloriosa aunque algo olvidada, y la
influencia de la disciplina sobre el desarrollo de la cultura humana ha sido inmensa.
Si este libro transmite una minscula parte de la historia, habr alcanzado lo que yo
me propuse.
Coventry
Mayo De 2007
Captulo 1
Fichas, cuentas y tablillas
El nacimiento de los nmeros
Las matemticas empezaron con los nmeros, y los nmeros
siguen siendo fundamentales, incluso si la disciplina ya no se
limita a los clculos numricos. Sobre la base de los nmeros, las
matemticas han construido conceptos ms sofisticados y se han
desarrollado hasta constituir un rea muy amplia y variada del
pensamiento humano, que va mucho ms all de lo que
encontramos en un tpico temario escolar. Las matemticas de
hoy tratan ms de estructuras, pautas y formas que de los
propios nmeros. Sus mtodos son muy generales, y a menudo
muy abstractos. Tienen aplicaciones en la ciencia, la industria, el
comercio..., incluso las artes. Las matemticas son universales y
ubicuas.
realmente. Los nmeros cuentan cosas, pero no son cosas: podemos coger dos
tazas, pero no podemos coger el nmero dos.
Los nmeros se denotan por smbolos, pero no son smbolos: diferentes culturas
utilizan diferentes smbolos para el mismo nmero. Los nmeros son abstractos, y
sin embargo nuestra sociedad se basa en ellos y no funcionara sin ellos. Los
nmeros son una construccin mental, y sin embargo tenemos la sensacin de que
seguiran teniendo significado incluso si la humanidad fuera barrida por una
catstrofe mundial y no quedara ninguna mente para contemplarlos.
antiguos utilizaban pequeas fichas de arcilla. Unas eran conos, otras eran esferas y
otras tenan forma de huevos. Todo empez con pequeas fichas de
El hueso de Ishango, con las pautas de marcas y los nmeros que pueden
representar
Se dio porque las fichas se utilizaban para llevar registros, quiz con fines
impositivos o financieros, o como prueba legal de propiedad. Las fichas tenan la
ventaja de que los contables podan ordenarlas rpidamente para calcular cuntos
animales o cunto grano posea o deba alguien. El inconveniente era que las fichas
podan ser falsificadas. As que para asegurar que nadie interfera en las cuentas,
los contables guardaban las fichas en recipientes de arcilla, como si estuvieran
precintadas. Podan descubrir rpidamente cuntas fichas, y de qu tipo, haba
dentro de un recipiente dado rompindolo. Siempre podan hacer un nuevo
recipiente para un almacenamiento posterior.
Sin embargo, romper repetidamente un recipiente y renovarlo era una forma muy
poco eficaz de descubrir lo que haba dentro, y los burcratas de la antigua
Mesopotamia pensaron algo mejor. Inscribieron smbolos en el recipiente que hacan
una lista de las fichas que contena. Si haba dentro siete esferas, los contables
Marcas de cuenta
Estas marcas de arcilla no eran ni mucho menos los ms antiguos ejemplos de
escritura numeral, pero todos los ejemplos anteriores son poco ms que rayas,
marcas de cuenta, que registran nmeros como una serie de trazos, tales como
|||||||||||||
para representar el nmero 13. Las marcas ms viejas conocidas de este tipo, 29
muescas grabadas en un hueso de pata de babuino, tienen unos 37.000 aos. El
hueso se encontr en una cueva en las montaas Lebombo, en la frontera entre
Swazilandia y Sudfrica, por lo que la cueva se conoce como la Cueva de la
Frontera, y el hueso es el hueso de Lebombo. A falta de una mquina del tiempo, no
hay modo de estar seguros de lo que representan las marcas, pero podemos hacer
conjeturas informadas. Un mes lunar tiene 28 das, de modo es posible que las
muescas estn relacionadas con las fases de la Luna.
Hay reliquias similares de la Europa antigua. Un hueso de lobo encontrado en la
antigua Checoslovaquia tiene 57 marcas dispuestas en once grupos de cinco con
dos sueltas, y tiene unos 30.000 aos. Dos veces 28 es 56, de modo que esto
podra ser un registro lunar de dos meses. Una vez ms, parece que no hay modo
de comprobar esta sugerencia. Pero las marcas parecen deliberadas, y debieron
hacerse por alguna razn.
Puesto que es difcil escribir a mquina en cuneiforme, los estudiosos escriben los
numerales babilnicos utilizando una mezcla de nuestra notacin de base 10 y su
notacin de base 60. As, las tres repeticiones del smbolo cuneiforme para 7 se
escribirn como 7, 7, 7.Y algo como 23, 11, 14 indicar los smbolos babilnicos
para 23, 11 y 14 escritos en orden, con el valor numrico (23 x 60 x 60) + (11 x
60) + 14, lo que da 83.474 en nuestra notacin.
Los babilonios
Nosotros no slo utilizamos diez smbolos para representar nmeros arbitrariamente
grandes: tambin utilizamos los mismos smbolos para representar nmeros
arbitrariamente pequeos. Para hacerlo empleamos la coma decimal. Los dgitos
a la izquierda de la coma representan nmeros enteros; los que estn a la derecha
de la coma representan fracciones. Fracciones especiales son los mltiplos de una
dcima, una centsima y as sucesivamente. Por lo tanto 25,47, pongamos por
caso, significa 2 decenas + 5 unidades + 4 dcimas + 7 centsimas.
Los babilonios conocan este truco y lo utilizaron con un efecto extraordinario en sus
observaciones astronmicas. Los estudiosos denotan al equivalente babilnico de la
coma decimal por un punto y coma (;), pero sta es una coma sexagesimal y los
mltiplos a su derecha son mltiplos de 1/60, (1/60 x 1/60) = 1/3600 y as
sucesivamente. Como ejemplo, la lista de nmeros 12, 59; 57, 17 significa
12 x 60 + 59 + 57/60 + 17/3600
periodo de unos 400 das. Fue escrita en la misma Babilonia, alrededor del 163 a.C.
Una entrada tpica de la tablilla lista los nmeros
las orillas del Nilo y en el Delta del Nilo entre el 3150 a.C. y el 31 a.C., con un
extenso periodo predinstico anterior que se extiende hacia atrs hasta el 6000
a.C. y un declive gradual bajo el dominio romano del 3 1 a.C. en adelante. Los
egipcios eran constructores consumados, tenan un sistema muy desarrollado de
creencias y ceremonias religiosas y eran registradores obsesivos. Pero sus logros
matemticos eran modestos comparados con las alturas alcanzadas por los
babilonios.
El antiguo sistema egipcio para escribir nmeros naturales es muy simple y directo.
Hay smbolos para los nmeros 1, 10, 100, 1.000, y as sucesivamente. Repitiendo
estos smbolos hasta nueve veces, y combinando luego los resultados, se puede
representar cualquier nmero natural. Por ejemplo, para escribir el nmero 5.724
los egipcios agruparan cinco de sus smbolos para 1.000, siete smbolos para 100,
dos smbolos para 10 y cuatro smbolos para 1.
Medio (2.200-1.700 a.C.). Empieza con una notacin para cualquier fraccin de la
Es interesante que los egipcios no escriban 2/5 como 1/5 + 1/5. Parece que su
regla era: utilizar fracciones unidad distintos. Haba tambin notaciones diferentes
para algunas de las fracciones ms simples, tales como 1/2, 2/3 y 3/4.
La notacin egipcia para las fracciones era engorrosa y muy poco adecuada para el
clculo. Les serva bastante bien en los registros oficiales, pero fue casi
completamente ignorada por las culturas posteriores.
Nmeros y personas
Guste o no la aritmtica, no se pueden negar los profundos efectos que han tenido
los nmeros en el desarrollo de la civilizacin humana. La evolucin de la cultura y
la de las matemticas han ido de la mano durante los ltimos cuatro milenios. Sera
difcil desenredar causa y efecto; yo dudara en argumentar que la innovacin
matemtica impulsa el cambio cultural, o que las necesidades culturales determinan
la direccin del progreso matemtico. Pero ambas afirmaciones contienen algo de
verdad, porque matemticas y cultura evolucionan conjuntamente.
Hay, no obstante, una diferencia significativa. Los cambios culturales estn muy en
la superficie. Los nuevos tipos de vivienda, las nuevas formas de transporte,
incluso los nuevos modos de organizar las burocracias gubernamentales, son
relativamente obvios para todo ciudadano. Las matemticas, sin embargo, tienen
lugar fundamentalmente entre bastidores. Cuando los babilonios utilizaban sus
observaciones astronmicas para predecir eclipses solares, por ejemplo, el
ciudadano medio quedaba impresionado por la precisin con que los sacerdotes
predecan estos sucesos sorprendentes, incluso si la mayora de los sacerdotes
tenan poca o ninguna idea de los mtodos empleados. Ellos saban cmo leer
tablillas que listaban datos de eclipses, pero lo que importaba era cmo utilizarlos.
Cmo se haban construido era un arte arcano, que quedaba para los especialistas.
Algunos sacerdotes pueden haber tenido una buena educacin matemtica todos
los escribas instruidos la tenan, y los sacerdotes instruidos tomaban, en sus
primeros aos, prcticamente las mismas lecciones que los escribas, pero una
apreciacin de las matemticas no era realmente necesaria para disfrutar de los
beneficios que surgan de los nuevos descubrimientos en la disciplina. As ha sido
siempre y, sin duda, as seguir siendo. Los matemticos apenas reciben crdito por
cambiar nuestro mundo. Cuntas veces vemos todo tipo de milagros modernos
atribuidos a los computadores, sin la ms mnima apreciacin de que los
computadores slo trabajan eficazmente si son programados para utilizar
sofisticados algoritmos procedimientos para resolver problemas y que la base
de todos los algoritmos est en las matemticas?
Las matemticas ms visibles son las relacionadas con la aritmtica, pero la
invencin de las calculadoras de bolsillo, las cajas registradoras que suman cunto
hay que pagar, y los programas de pago de impuestos que nos hacen las cuentas,
estn ocultando cada vez ms a la aritmtica entre bastidores. Pese a todo, la
mayora de nosotros somos conscientes de que la aritmtica est all. Dependemos
por completo de los nmeros, ya sea para seguir las obligaciones legales, recaudar
impuestos, comunicar instantneamente con el otro lado del planeta, explorar la
superficie de Marte o evaluar el ltimo medicamento maravilloso. Todas estas cosas
se remontan a la antigua Babilonia y a los escribas y maestros que descubrieron
maneras eficaces de registrar nmeros y calcular con ellos. Aqullos utilizaban sus
habilidades aritmticas con dos fines principales: asuntos cotidianos y mundanos de
los seres humanos ordinarios, tales como la contabilidad y la medida de tierras, y
actividades intelectuales como predecir eclipses o registrar los movimientos del
Aqu la cancin del satlite va unas tres palabras detrs de la misma cancin en el
automvil. Satlite y receptor deben generar la misma cancin, y notas
sucesivas deben ser identificables, de modo que la diferencia de tiempo es fcil de
observar.
Por supuesto, el sistema de navegacin por satlite no utiliza realmente una
cancin. La seal consiste en una serie de pulsos breves cuya duracin est
determinada por un cdigo pseudo- aleatorio. ste consiste en una secuencia de
nmeros que parece aleatoria pero que realmente est basada en una regla
matemtica. Tanto el satlite como el receptor conocen la regla, de modo que
pueden generar la misma secuencia de pulsos.
Captulo 2
La lgica de la forma
Los primeros pasos en geometra
En matemticas hay dos tipos principales de razonamiento: el
simblico y el visual. El razonamiento simblico tuvo su origen en la
notacin numeral, y pronto veremos cmo llev a la invencin del
lgebra, en cuyos smbolos pueden representarse nmeros
abstractos (la incgnita) antes que concretos (7).
A partir de la Edad Media las matemticas se basaron cada vez ms
en el uso de smbolos, como confirmar una ojeada a cualquier libro
de texto moderno de matemticas.
El teorema de Pitgoras nos dice que esta diagonal es la raz cuadrada de 2, que
escribimos 2. La aproximacin 1; 24, 51, 10 para 2 es muy buena.
Pitgoras
Hoy casi damos por supuesto que las matemticas ofrecen una clave para las leyes
subyacentes en la Naturaleza. La primera reflexin sistemtica en esta lnea de la
que hay noticia procede de los pitagricos, un culto ms bien mstico que data
aproximadamente del 600 a.C. al 400 a.C. Su fundador, Pitgoras, naci en Samos
alrededor del 569 a.C. Cundo y dnde muri es un misterio, pero en el 460 a.C. el
culto que l fund fue atacado y destruido, y sus lugares de reunin asaltados y
quemados. En uno de ellos, la casa de Miln de Crotona, fueron masacrados ms de
cincuenta pitagricos.
Muchos supervivientes huyeron a Tebas en el Alto Egipto. Posiblemente Pitgoras
era uno de ellos, pero incluso esto es una conjetura pues, leyendas aparte, no
sabemos prcticamente nada sobre Pitgoras. Su nombre es bien conocido,
bsicamente debido a su famoso teorema sobre tringulos rectngulos, pero ni
siquiera sabemos si Pitgoras lo demostr.
Sabemos mucho ms sobre la filosofa y las creencias de los pitagricos. Entendan
que las matemticas tratan con conceptos abstractos, no con la realidad. Sin
embargo, crean tambin que estas abstracciones estaban encarnadas de algn
modo en conceptos ideales, que existan en algn reino extrao de la
imaginacin, de modo que, por ejemplo, un crculo dibujado en la arena con un palo
es un intento fallido de un crculo ideal, perfectamente redondo e infinitamente fino.
El aspecto ms influyente de la filosofa del culto pitagrico es la creencia en que el
universo se funda en los nmeros.
Expresaban esta creencia en simbolismo mitolgico y la apoyaban con
observaciones empricas. Por el lado mstico, consideraban que el nmero I es la
fuente primaria de todas las cosas en el universo.
Irracionales
Finalmente los griegos encontraron una manera de manejar los irracionales.
Funciona porque cualquier nmero irracional puede ser aproximado por un nmero
racional. Cuanto mejor es la aproximacin, ms complicado se hace dicho racional,
y siempre hay algn error. Pero haciendo el error cada vez menor, hay una
posibilidad de aproximar las propiedades de los irracionales explotando propiedades
anlogas a las de los nmeros racionales que los aproximan. El problema est en
establecer esta idea de una forma que sea compatible con la aproximacin griega a
Euclides
El gemetra griego ms conocido, aunque probablemente no el matemtico ms
Poliedros regulares
Un slido es regular (o platnico) si est formado por caras idnticas. Los pitagricos
conocan cinco slidos de este tipo
Ellos los asociaron con los cuatro elementos de la antigedad tierra, aire, fuego
y agua y con un quinto elemento, la quintaesencia.
Para los matemticos modernos lo ms interesante en la geometra de Euclides no
es su contenido, sino su estructura lgica. A diferencia de sus predecesores,
Euclides no se limita a afirmar que un teorema es verdadero.
El ofrece una demostracin.
Qu es una demostracin? Es una especie de historia matemtica, en la que cada
paso es una consecuencia lgica de algunos de los pasos previos. Cada enunciado
que se afirma tiene que justificarse haciendo referencia a enunciados previos y
demostrando que es una consecuencia lgica de ellos. Euclides comprendi que este
proceso no puede llevarse hacia atrs indefinidamente: tiene que empezar en
alguna parte, y estos enunciados iniciales no pueden ser demostrados, o de lo
contrario el proceso de demostracin empieza realmente en algn lugar diferente.
Para empezar a rodar, Euclides hizo una lista de varias definiciones: enunciados
claros y precisos de lo que significan ciertos trminos tcnicos, tales como lnea o
crculo.
Euclides de Alejandra
325 - 265 a. C.
Euclides es famoso por su libro de geometra, Los Elementos, que fue un
importante, de hecho el principal, texto de enseanza de la geometra durante dos
milenios.
Sabemos muy poco de la vida de Euclides.
Ense en Alejandra. Alrededor del 450
a.C. el filsofo griego Proclo escribi:
Euclides... vivi en la poca del primer
Ptolomeo, pues Arqumedes, que sigui de
cerca al primer Ptolomeo, menciona a
Euclides... Ptolomeo pregunt en cierta
ocasin [a Euclides] si haba un camino
ms corto para estudiar geometra que los
Elementos, a lo que ste contest que no
haba ningn camino real a la geometra.
Por lo tanto era ms Joven que el circulo
de Platn, pero ms viejo que Eratstenes
y Arqumedes... era un platnico, pues
simpatizaba con su filosofa, e hizo de la
construccin de las denominadas figuras platnicas slidos regulares] el objetivo
de los Elementos.
Uno de ellos demuestra que todo tringulo tiene dos lados iguales.
Jerigonza?
El Libro V de los Elementos va en una direccin muy diferente, y ms bien oscura,
de la de los Libros I-IY No parece geometra convencional. De hecho, a primera
vista se lee bsicamente como una jerigonza. Qu tenemos que hacer, por
ejemplo, con la Proposicin I del Libro V? Dice: si ciertas magnitudes son
equimltiplos de otras magnitudes, entonces si cualquier mltiplo de una de las
magnitudes lo es una de las otras, dicho mltiplo tambin lo ser de todas.
El lenguaje (que he simplificado un poco) no ayuda, pero la demostracin aclara lo
que Euclides pretenda. El matemtico ingls del siglo XIX Augustus de Morgan
explicaba la idea en lenguaje simple en su libro de texto de geometra: Diez pies y
diez pulgadas son diez veces tanto como un pie y una pulgada.
Qu quiere Euclides aqu? Son trivialidades vestidas como teoremas?
Son sinsentidos msticos? En absoluto. Son trivialidades vestidas como teoremas? En
absoluto.
Este material puede parecer oscuro,
pero nos lleva a la parte ms profunda de los Elementos: las tcnicas de Eudoxo
para tratar razones irracionales. Hoy da los matemticos prefieren trabajar con
nmeros, y puesto que stos son ms familiares, interpretar a menudo las ideas
griegas en dicho lenguaje.
Euclides no poda evitar enfrentarse a las dificultades de los nmeros irracionales,
porque el clmax de los Elementos y para muchos su principal objetivo era la
demostracin de que existen exactamente cinco slidos regulares: el tetraedro, el
cubo (o hexaedro), el octaedro, el dodecaedro y el icosaedro. Euclides demostr dos
cosas: no hay otros slidos regulares, y estos cinco existen realmente, pueden
construirse geomtricamente y sus caras encajan perfectamente, sin el ms mnimo
error.
Dos de los slidos regulares, el dodecaedro y el icosaedro, incluyen al pentgono
regular: el dodecaedro tiene caras pentagonales, y las cinco caras del icosaedro que
rodean a cualquier vrtice determinan un pentgono.
Razn extrema y media (ahora llamada razn urea). La razn entre la lnea
superior y la del centro es igual a la razn entre la lnea central y la inferior
La evidencia puede interpretarse de una forma u otra, pero una caracterstica de los
elementos encaja mejor en esta teora alternativa. Buena parte del material sobre
teora de nmeros no es necesario para la clasificacin de los slidos regulares;
entonces, por qu Euclides incluy este material?
Sin embargo, el mismo material est estrechamente relacionado con los nmeros
irracionales, lo que podra explicar por qu fue incluido.
Arqumedes
El ms grande de los matemticos antiguos fue Arqumedes. Hizo importantes
contribuciones a la geometra, estuvo en la vanguardia de las aplicaciones de las
matemticas al mundo natural y fue un ingeniero consumado.
Arqumedes de Siracusa
287 - 212 a.C.
Arqumedes naci en Siracusa, en la Magna Grecia (la actual Sicilia), hijo del
astrnomo Fidias. Visit Egipto, donde supuestamente invent el tornillo de
Arqumedes, que hasta hace muy poco era ampliamente utilizado para elevar
agua del Nilo para irrigacin. Es probable que visitara a Euclides en Alejandra, y
seguro que mantuvo correspondencia con matemticos alejandrinos.
Sus habilidades matemticas fueron insuperables y de amplio alcance. Les dio un
uso prctico y construy enormes mquinas de guerra basadas en su ley de la
palanca, capaces de lanzar rocas enormes
contra el enemigo. Sus mquinas fueron
utilizadas con gran efecto en el sitio
romano de Alejandra en el 212 a.C. Utiliz
incluso la geometra de la reflexin ptica
para concentrar los rayos solares sobre
una flota romana invasora e incendiar las
naves.
Sus libros conservados (slo en copias
posteriores) son Sobre equilibrios en el
plano, la Cuadratura de la parbola, Sobre
la esfera y el cilindro, Sobre los cuerpos
flotantes, Medida del crculo y El arenario,
junto con El mtodo, descubierto en 1906
por Johan Heiberg.
Pero para los matemticos, Arqumedes ser siempre recordado por su obra sobre
crculos, esferas y cilindros, que ahora asociamos con el nmero (pi), que es
aproximadamente 3,14159. Por supuesto, los griegos no trabajaban directamente
con n: ellos lo vean geomtricamente como la razn entre la circunferencia de un
crculo y su dimetro.
Culturas anteriores haban advertido que la circunferencia de un crculo es siempre
el mismo mltiplo de su dimetro, y saban que este mltiplo era aproximadamente
3 1/7, quiz un poco mayor. Los babilonios utilizaban 3 1/8. Pero Arqumedes fue
mucho ms lejos; sus resultados iban acompaados de demostraciones rigurosas,
en el espritu de Eudoxo. Hasta donde saban los griegos, la razn entre la
circunferencia de un crculo y su dimetro podra ser irracional. Ahora sabemos que
realmente es as, pero la demostracin tuvo que esperar hasta 1770, cuando
Johann Heinrich ide una. (El valor que se da a veces en la escuela, 3 1/7, es
conveniente aunque slo aproximado.) Sea como fuere, puesto que Arqumedes no
pudo demostrar que es racional, tuvo que suponer que podra no serlo.
Tornillo de Arqumedes
El palimpsesto de Arqumedes
La geometra griega trabajaba mejor con polgonos: formas hechas de lneas rectas.
Pero un crculo es curvo, de modo que Arqumedes se acerc al mismo
aproximndolo por polgonos. Para estimar l compar la circunferencia de un
crculo con los permetros de dos series de polgonos: una serie situada en el
interior del crculo, y la otra a su alrededor.
Los permetros de los polgonos dentro del crculo deben ser ms cortos que el
crculo, mientras que los de fuera del crculo deben ser ms largos que el crculo.
Para hacer el clculo ms fcil, Arqumedes construa sus polgonos bisecando
repetidamente los lados de un hexgono regular (un polgono de seis lados) para
obtener polgonos regulares con 12 lados, 24, 48 y as sucesivamente. Se detuvo en
96. Sus clculos demostraban que
es decir, est en algn lugar entre 3,1408 y 3,1429 en notacin decimal actual.
La obra de Arqumedes sobre la esfera es de especial inters, porque no slo
conocemos su demostracin rigurosa sino la forma en que la encontr que
decididamente no era rigurosa. La demostracin se da en su libro Sobre la esfera
y el cilindro.
l demuestra que el volumen de una
esfera es dos-tercios del de un cilindro
circunscrito, y que las reas de aquellas
partes de la esfera y del cilindro que
yacen entre dos planos paralelos
cualesquiera son iguales. En lenguaje
moderno, Arqumedes demostr que el
volumen de una esfera es 4r3/3, donde
r es el radio, y el rea de su superficie
es 4r2 Estos hechos bsicos se siguen
utilizando hoy.
La demostracin hace un uso
consumado de la exhaustion. Este
Una esfera y su cilindro circunscrito
mtodo tiene una limitacin importante:
hay que saber cul es la respuesta antes de tener muchas posibilidades de
demostrarla. Durante siglos los estudiosos no tenan ninguna idea de cmo
Arqumedes conjetur la respuesta.
Pero en 1906 el estudioso dans Heiberg estaba estudiando un pergamino del siglo
XIII en el que haba escritas unas oraciones. l advirti lneas tenues de una
inscripcin anterior que haba sido borrada para dejar lugar para las oraciones.
Descubri que el documento original era una copia de varias obras de Arqumedes,
algunas de ellas previamente desconocidas.
(Y lo que es ms sorprendente, ahora se sabe que el mismo manuscrito contiene
fragmentos de obras perdidas de otros dos autores antiguos.)
Una obra de Arqumedes, el Mtodo de los teoremas mecnicos, explica cmo
fruto en el trabajo rabe sobre la ecuacin cbica alrededor del ao 800 y tuvo
aplicaciones importantes en mecnica y astronoma, fue la introduccin de una
nueva clase de curvas, las secciones cnicas.
Secciones cnicas
Una parbola slo tiene una rama, pero se extiende hasta el infinito.
Las secciones cnicas fueron estudiadas con detalle por Apolonio de Perga, quien
viaj desde Perga, en Asia Menor, a Alejandra para estudiar con Euclides. Su obra
maestra, las Secciones cnicas de aproximadamente el 230 a.C., contiene 487
teoremas. Euclides y Arqumedes haban estudiado algunas propiedades de los
conos, pero se necesitara todo un libro para resumir los teoremas de Apolonio. Una
idea importante merece mencin aqu. Es la nocin de los focos de una elipse (o de
una hiprbola). Los focos son dos puntos especiales asociados con estos dos tipos
de cnica. Entre sus principales propiedades distinguimos una: la suma de las
distancias de un punto cualquiera de la elipse a sus dos focos es constante (igual al
dimetro mayor de la elipse). Los focos de una hiprbola tienen una propiedad
similar, pero ahora tomamos la diferencia de las dos longitudes.
Los griegos saban cmo trisecar
ngulos y cmo duplicar el cubo Los griegos saban cmo trisecar ngulos y cmo
duplicar el cubo utilizando cnicas... tambin
utilizando cnicas. Con la ayuda de otra;
podan cuadrar el crculo.
curvas especiales, especialmente la
cuadratriz, tambin podan cuadrar el crculo.
Las matemticas griegas aportaron dos ideas cruciales al desarrollo humano. La
ms obvia fue una comprensin sistemtica de la geometra. Utilizando la geometra
como una herramienta, los griegos entendieron el tamao y la forma de nuestro
planeta, su relacin con el Sol y la Luna, incluso los movimientos complicados del
resto del Sistema Solar. Utilizaron la geometra para excavar largos tneles
partiendo de ambos extremos para encontrarse en el centro, lo que reduca el
tiempo de construccin a la mitad. Construan mquinas gigantescas y poderosas,
basadas en principios simples como la ley de la palanca, con fines tanto pacficos
como blicos. Explotaron la geometra en la construccin de buques y en la
arquitectura, donde edificios como el Partenn nos muestran que matemticas y
belleza no estn tan alejadas. La elegancia visual del Partenn deriva de muchos
trucos matemticos astutos, utilizados por el arquitecto para superar las
limitaciones del sistema visual humano y las irregularidades en el propio terreno en
el que descansaba el edificio.
La segunda aportacin griega fue el uso sistemtico de la deduccin lgica para
Hipara de Alejandra
370 - 475
Hipara es la primera mujer matemtica de la que hay noticia. Era hija de Ten
de Alejandra, tambin un matemtico. Probablemente fue de su padre de quien
aprendi las matemticas. Hacia el ao 400 ella se haba convertido en la
directora de la Escuela Platnica de Alejandra, donde daba clases de filosofa y
matemticas.
No sabemos si Hipara hizo contribuciones originales a las matemticas, pero
ayud a Ten a escribir un comentario
sobre el Almagesto de Ptolomeo, y quiz
tambin le haya ayudado a preparar una
nueva edicin de los Elementos en la que
se basaron todas las ediciones posteriores.
Ella escribi comentarios sobre la
Aritmtica de Diofanto y las Cnicas de
Apolonio.
Entre los estudiantes de Hipara haba
varias figuras destacadas en la religin en
auge de la cristiandad, entre ellas Silesio
de Cirene. Hay registro de algunas de las
cartas que ste le escribi, donde alaba
sus capacidades. Por desgracia, muchos
de los primeros cristianos consideraban
que la filosofa y la ciencia de Hipara estaban enraizadas en el paganismo, lo que
llev a algunos a rechazar su influencia. En el 412, Cirilo, el nuevo patriarca de
Alejandra, entr en rivalidad poltica con Orestes, el prefecto romano. Hipara
era buena amiga de Orestes y sus capacidades como maestra y oradora fueron
vistas como una amenaza por los cristianos. Ella se convirti en un blanco de los
disturbios polticos y fue descuartizada por una turba. Una fuente culpa a una
secta fundamentalista, los monjes de Nitria, que apoyaban a Cirilo. Otra, culpa a
la plebe alejandrina. Una tercera fuente afirma que ella form parte de una
rebelin poltica, y su muerte era inevitable.
Su muerte fue brutal, desmembrada por una multitud con tejas cortantes
(algunos dicen que con conchas de ostras). Su cuerpo mutilado fue entonces
quemado. Este castigo puede ser prueba de que Hipara fue condenada por
brujera la primera bruja importante en ser asesinada por los primeros
cristianos porque el castigo para la brujera prescrito por Constantino II era
que sus carnes sean desgarradas hasta los huesos con ganchos de hierro.
Captulo 3
Notaciones y nmeros
El origen de nuestros smbolos numerales
Estamos tan acostumbrados al sistema de nmeros actual, con su
uso de los diez dgitos decimales 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9 (en los
pases de Occidente), que puede producir sorpresa el advertir que
hay modos completamente diferentes de escribir nmeros. Incluso
hoy, diversas culturas la arbiga, la china, la coreana usan
diferentes smbolos para los diez dgitos, aunque todas ellas
combinan estos smbolos para formar nmeros mayores utilizando el
mismo mtodo posicional (centenas, decenas, unidades).
Pero las diferencias en notacin pueden ser ms radicales que eso.
No hay nada especial en el nmero 10. Resulta que es el nmero de
dedos de las manos en el ser humano, que son ideales para contar,
pero si en su lugar hubiramos desarrollado siete dedos, o doce,
sistemas muy similares hubiesen funcionado igual de bien, quiz
mejor en algunos casos.
Numerales romanos
La mayora de los occidentales conocen al menos un sistema alternativo, los
nmeros romanos, en el que, por ejemplo, el ao 2007 se escribe MMVII.
La mayora de nosotros tambin somos conscientes, al menos si se nos lo recuerda,
de que empleamos dos mtodos distintos para escribir nmeros que no son
enteros: fracciones como 3/4 y decimales 0,75. Pero otra notacin numeral, que
encontramos en las calculadoras, es la notacin cientfica para nmeros muy
grandes o muy pequeos, tales como 5 x 109 para cinco mil millones (que se suele
presentar como 5E9 en la pantalla de una calculadora) o 5 x 10-6 para cinco
millonsimas.
Estos sistemas simblicos se desarrollaron durante miles de aos, y muchos
sistemas alternativos florecieron en diversas culturas. Ya hemos encontrado el
sistema sexagesimal babilnico (que surgira de modo natural para cualquier
criatura que tuviera 60 dedos), y los ms simples y ms limitados smbolos
Numerales griegos
Empezamos la historia de los smbolos numerales con los griegos. La geometra
griega supuso una gran mejora sobre la geometra babilnica, pero no as la
aritmtica griega, hasta donde podemos decir a partir de las fuentes que nos han
llegado. Los griegos dieron un gran paso atrs; no utilizaban la notacin posicional.
En su lugar utilizaban smbolos especficos para mltiplos de 10 o 100, de modo
que, por ejemplo, el smbolo para 50 no guardaba ninguna relacin particular con
los smbolos para 5 o 500.
La prueba ms antigua que tenemos de los numerales griegos data de alrededor del
1100 a.C. Hacia el 600 a.C. el simbolismo haba cambiado, y para el 400 a.C. haba
cambiado de nuevo, con la adopcin del sistema tico, que recuerda a los
numerales romanos. Utilizaba |, ||, |||, |||| para los nmeros 1,2, 3 y 4. Para 5 se
utilizaba la letra mayscula griega pi (), probablemente porque es la primera
letra de penta. Anlogamente, 10 se escriba , la primera letra de deka; 100
se escriba H, la primera letra de hekaton; 1.000 se escriba , la primera letra de
chilloi; y 10.000 se escriba M, la primera letra de myrioi. Ms tarde se
cambi por . As, el nmero 2.178, por ejemplo, se escriba
H | | |
stas son las letras griegas minsculas, aumentadas por tres letras extra derivadas
del alfabeto fenicio: s (stigma), p (copa), T (sampi).
' ''
smbolos griegos para los dgitos componentes. Todo era muy diferente de lo que
utilizamos hoy. De hecho, era un revoltijo.
Matemticos indios
Los 10 smbolos que se utilizan actualmente para denotar dgitos decimales suelen
conocerse como numerales indoarbigos, porque tuvieron su origen en la India y
fueron asumidos y desarrollados por los rabes.
Los ms antiguos numerales indios eran ms parecidos al sistema egipcio. Por
ejemplo, los numerales Kharosthi, utilizados del 400 a.C. al 100 d.C., representaban
los nmeros 1 a 8 como
| || ||| X |X |||X XX
con un smbolo especial para 10. Las primeras huellas de lo que con el tiempo
llegara a ser el moderno sistema simblico aparecieron alrededor del 300 a.C., en
los numerales Brahmi. Inscripciones budistas de la poca incluyen precursores de
los posteriores smbolos hindes para 1, 4 y 6. Sin embargo, el sistema Brahmi
utilizaba smbolos diferentes para mltiplos de 10 o mltiplos de 100, de modo que
era similar al simbolismo de los nmeros griegos, excepto que utilizaba smbolos
especiales en lugar de letras del alfabeto.
El sistema Brahmi no era un sistema posicional. Ya en el ao 100 hay registros del
sistema Brahmi completo. Inscripciones en cuevas y en monedas muestran que
sigui en uso hasta el siglo IV.
Entre los siglos IV y VI el Imperio Gupta alcanz el control de una gran parte de la
India, y los numerales Brahmi se transformaron en los numerales Gupta. De stos
se transformaron en los numerales Nagari. La idea era la misma, pero los smbolos
eran diferentes.
Es probable que los indios desarrollaran la notacin posicional hacia el siglo i, pero
las ms antiguas pruebas documentales datables de la notacin posicional la sitan
en el ao 594. La prueba es un documento legal que lleva la fecha 346 en el
calendario Chedii, pero algunos estudiosos creen que esta fecha puede ser una
falsificacin. De todas formas, hay acuerdo general en que la notacin posicional
estaba en uso en la India desde aproximadamente el 400 en adelante.
Hay un problema al utilizar nicamente los smbolos 1-9: la notacin es ambigua.
Por ejemplo, qu significa 25? Podra significar (en nuestra notacin) 25, o 205, o
2005, o 250, etc. En notacin posicional, donde el significado de un smbolo
depende de su posicin, es importante especificar dicha posicin sin ambigedad.
Hoy lo hacemos utilizando un dcimo smbolo, el cero (0). Pero las primeras
civilizaciones necesitaron un tiempo sorprendentemente largo para reconocer el
problema y resolverlo de esa manera. Una razn era filosfica: cmo puede 0 ser
un nmero cuando un nmero es una cantidad de cosas? Es nada una
cantidad? Otra razn era prctica: habitualmente quedaba claro por el contexto si
25 significaba 25 o 250 o lo que fuera.
En algn momento antes del 400 a.C. se desconoce la fecha exacta los
babilonios introdujeron un smbolo especial para indicar una posicin ausente en
su notacin numeral. Esto ahorraba a los escribas el esfuerzo de dejar un espacio
cuidadosamente medido, y haca posible calcular lo que significaba un nmero
incluso si estaba escrito descuidadamente. Esta invencin fue olvidada, o no fue
transmitida a otras culturas, y con el tiempo fue redescubierta por los hindes. El
manuscrito Bhakshali, cuya fecha es discutida pero se encuentra en algn lugar
entre 200 y 1100, utiliza un punto grueso . El texto jaino Lokavibhaaga del 458
utiliza el concepto de 0, pero no un smbolo. Un sistema posicional que careca del
numeral cero fue introducido por Aryabhata alrededor del 500. Los matemticos
indios posteriores tenan nombres para cero, pero no utilizaban un smbolo.
El primer uso indiscutido de cero en notacin posicional aparece en una tablilla de
piedra en Gwailior datada en el 876.
El antiguo observatorio Jantar Mantar cerca de Jaipur. Hoy resulta evidente que el
diseador era un matemtico consumado
Aryabhata nos dice que escribi su libro Aryabahiya cuando tena 23 aos. Aunque
la seccin matemtica de su libro es breve, contiene un material muy rico: un
sistema alfabtico de numerales, reglas aritmticas, mtodos de solucin para
ecuaciones lineales y cuadrticas, trigonometra (incluyendo la funcin seno y el
seno verso 1-cos ). Hay una aproximacin excelente, 3,1416, a .
Entonces
x 5 3
/9 = ( /2)/( /7)
1
de modo que x = 52 /2 piculs. Un picul son aproximadamente 65 kilogramos.
El sistema hind
El sistema hind empez a difundirse en el mundo rabe antes de que estuviera
plenamente desarrollado en su pas de origen. El estudioso Severus Sebokht escribe
de su uso en Siria en el 662: Omitir toda discusin de la ciencia de los indios... de
sus sutiles descubrimientos en astronoma... y de sus valiosos mtodos de clculo...
Slo quiero decir que su clculo se hace ... Lilavati nunca podra casarse. Para consolarla,
La Edad Oscura?
Mientras Arabia e India estaban haciendo avances importantes en matemticas y
Una figura influyente fue Leonardo de Pisa, cuyo libro Liber Abbaci se public en
Nmeros naturales
Los matemticos llaman nmeros naturales al sistema de los nmeros enteros
positivos.
Si incluimos tambin los nmeros negativos tenemos los enteros. Los nmeros
Utilizaban varas rojas para trminos que se supona que haba que sumar y varas
negras para trminos que se supona que haba que restar. As, para resolver
ecuaciones que nosotros escribiramos
3x 2y = 4
x + 5y = 7
ellos ordenaban las dos ecuaciones como dos columnas de una tabla: una con los
nmeros 3 (rojo), 2 (negro), 4 (rojo), y la otra con 1 (rojo), 5 (rojo), 7 (rojo).
La notacin rojo/negro no trataba realmente con nmeros negativos sino con la
operacin de restar. Sin embargo, fij el escenario para un concepto de nmeros
negativos, cheng fu shu. Ahora un nmero negativo se representaba utilizando la
misma disposicin de varas que la del correspondiente nmero positivo, pero
colocando encima otra vara en diagonal.
Numerales mayas
Un notable sistema de nmeros, que utilizaba notacin de base 20, en lugar de
base 10, fue desarrollado por los
mayas que vivan en Amrica
Central alrededor del ao 1000. En
el sistema de base 20. los smbolos
equivalentes a nuestro 347
significaran
3 X 400 + 4 x 20 + 7 x 1
2
(pues 20 = 400) que es 1.287 en
nuestra notacin. Los smbolos
reales se muestran aqu.
Las primeras civilizaciones que
usaron base 10 lo hicieron
probablemente porque los seres humanos tienen diez dedos en las manos. Se ha
sugerido que los mayas contaban tambin con los dedos de los pies, y por eso
utilizaban base 20.
Para Diofanto todos los nmeros tenan que ser positivos, y por ello rechazaba las
soluciones negativas a las ecuaciones.
Los matemticos hindes encontraron que los nmeros negativos eran tiles para
representar deudas en los clculos financieros; deber a alguien una suma de dinero
era peor, desde el punto de vista financiero, que no tener dinero, de modo que una
deuda debera ser claramente menos que cero. Si uno tiene tres libras y paga 2,
entonces le quedan 3 2 = 1. Por la misma razn, si debe 2 libras y gana 3, su
valor neto es -2 + 3 = 1. Bhaskara comenta que un problema particular tena dos
La aritmtica perdura
Nuestro sistema numeral es tan familiar que tendemos a suponer que es el nico
posible, o al menos el nico razonable. En realidad, evolucion, de forma laboriosa y
con numerosas vas muertas, durante miles de aos.
Hay muchas alternativas; algunas fueron utilizadas por culturas anteriores, como
los mayas. Notaciones diferentes para ... la civilizacin moderna se vendra abajo
los numerales 0-9 se utilizan hoy en rpidamente si dejramos de ensear
aritmtica...
diferentes pases. Y nuestros
computadores representan nmeros internamente en forma binaria, no decimal: sus
programadores aseguran que los nmeros se conviertan de nuevo a forma decimal
antes de que aparezcan en la pantalla o en una impresora.
Dado que los computadores son ahora ubicuos, tiene sentido seguir enseando
aritmtica? S, y por varias razones. Alguien tiene que ser capaz de disear y
construir calculadoras y computadores, y hacer que realicen la tarea correcta; esto
requiere entender la aritmtica, cmo y por qu funciona, no solo cmo hacerla. Y si
su nica habilidad aritmtica es leer lo que hay en una calculadora, probablemente
usted no advertir que el supermercado se ha equivocado en su factura.
Captulo 4
La atraccin de lo desconocido
X marca el lugar
El uso de smbolos en matemticas va mucho ms all de su
aparicin en notaciones para nmeros, como dejar claro una
ojeada informal a cualquier texto de matemticas. El primer paso
importante hacia el razonamiento simblicofrente a la mera
representacin simblica se dio en el contexto de la solucin de
problemas. Numerosos textos antiguos, que se remontan a la poca
de la antigua Babilonia, presentan a sus lectores informacin sobre
una cantidad desconocida y luego preguntan por su valor.
Una frmula estndar (en el sentido literario) en las tablillas
babilnicas dice: Yo encontr una piedra pero no la pes. Despus
de alguna informacin adicional cuando yo aad una segunda
piedra de la mitad de peso, el peso total era de 15 gin al
estudiante se le pide calcular el peso de la piedra original.
lgebra
Problemas de este tipo dieron lugar con el tiempo a lo que ahora llamamos lgebra,
en donde los nmeros se representan por letras. La cantidad desconocida se denota
tradicionalmente por la letra x, las condiciones que se aplican a x se enuncian como
frmulas matemticas, y al estudiante se le ensean mtodos estndar para extraer
el valor de x a partir de dichas frmulas. Por ejemplo, el problema babilnico
anterior se escribira como
x + 1/2x = 15,
x = 10
x2 + 2x = 120.
x = -12
En este caso
Cmo surgi el lgebra? Lo que vino primero fueron los problemas y los mtodos.
Slo ms adelante fue inventada la notacin simblica, lo que ahora consideramos
que es la esencia del tema. Haba muchos sistemas notacionales, pero finalmente
uno de ellos elimin a todos sus competidores. El nombre lgebra apareci en
medio de este proceso, y es de origen rabe. (La inicial al, el trmino rabe para
el, lo delata.)
Ecuaciones
Lo que ahora llamamos la solucin de ecuaciones, en la que hay que encontrar
ax + b = 0
con solucin
x = -b/a
ax2 + bx + c = 0
Ntese que la tablilla le dice al lector lo que tiene que hacer, pero no por qu. Es
una receta. Para poder escribirla alguien tiene que haber entendido por qu
funcionaba, pero una vez descubierta ... la tablilla le dice al lector lo que tiene que
poda ser utilizada por cualquiera que hacer, pero no por qu.
ax2 + bx = c
Est muy claro que los babilonios saban que su procedimiento era general. El
ejemplo citado es demasiado complejo para que la solucin sea especial, diseada
para abordar este problema solamente.
Podemos entonces reordenar las dos piezas y pegarlas en los bordes del cuadrado:
Para que la ecuacin siga siendo vlida, el mismo cuadrado sombreado extra se
aade tambin al otro diagrama. Pero ahora reconocemos el diagrama de la
izquierda como el cuadrado de lado (x + a/2), y la imagen geomtrica es
equivalente al enunciado algebraico
(x + a/2)2 = b + (a/2)2
x + a/2 = b+(a/2)2
x = b+(a/2)2 - a/2
Al-jabr
La palabra lgebra procede del rabe al-jabr, un trmino empleado por
Muhammad ibn Musa al-Khwarizmi, que
floreci alrededor del 820. Su obra Al- La palabra lgebra procede del rabe al-jabr,..
x3=5
y deducimos que
x = 8.
x+3=5
a la respuesta
x=2
Ecuaciones cbicas
Los babilonios podan resolver ecuaciones cuadrticas, y su mtodo era
esencialmente el mismo que el que se ensea hoy. Desde el punto de vista
algebraico no implica nada ms complicado que una raz cuadrada, aparte de las
operaciones estndar de la aritmtica (sumar, restar, multiplicar, dividir).
El siguiente paso obvio son las ecuaciones cbicas, que incluyen el cubo de la
incgnita. Nosotros escribimos tales ecuaciones como
ax3 + bx2 + ex + d = 0
x3 + 3x = 7
y
x3 3x = 7
La serie de Fibonacci
La seccin tercera del Lber Abluid contiene un problema cuyo origen parece
estar en Leonardo: Un hombre pone un pareja de conejos en un lugar rodeado
por todos lados de una pared. Cuntos pares de conejos pueden crearse a
partir de esta primera pareja en un ao si cada mes cada pareja engendra una
nueva pareja, que se hace frtil a partir del segundo mes?
Este problema ms bien extravagante lleva a una curiosa, y famosa, serie de
nmeros:
1 2 3 5 8 13 21 34 55
y as sucesivamente. Cada nmero es la suma de los dos que le preceden. Esto
se conoce como la Serie de Fibonacci, y aparece repetidamente en matemticas
y en el mundo natural. En particular, muchas flores tienen un nmero de
Fibonacci de ptalos. Esto no es una coincidencia sino una consecuencia de la
pauta de crecimiento de la planta y la geometra de los primordia
minsculos grupos de clulas en la punta del brote en crecimiento que dan lugar
a estructuras importantes, ptalos incluidos.
Aunque la regla de crecimiento de Fibonacci para la poblacin de conejos es
poco realista, reglas ms generales de tipo similar (llamadas modelos de Leslie)
se utilizan hoy para ciertos problemas en dinmica de poblaciones, el estudio de
cmo cambian de tamao las poblaciones animales conforme los animales cran
y mueren.
Esta lnea de ataque fue completada y codificada por el persa Omar Khayyam, ms
conocido por su poema Rubaiyat. Alrededor de 1075 l clasific las ecuaciones
cbicas en 14 tipos, y demostr cmo resolver cada tipo utilizando cnicas en su
obra Sobre las demostraciones de los problemas de lgebra y comparacin. El
tratado era un tour de forc geomtrico, y depur el problema geomtrico casi por
completo. Un matemtico moderno planteara algunos reparos: algunos de los casos
de Ornar no estn completamente resueltos porque l supone que existen ciertos
puntos construidos geomtricamente cuando a veces no es as.
x + y + z = 30
1
3x + 2y + /2z = 30.
Es decir, l supone que sus cnicas se cortan cuando pueden no hacerlo. Pero estos
son defectos menores.
Las soluciones geomtricas de la cbica estaban muy bien, pero podan existir
soluciones algebraicas que incluyeran cosas tales como races cbicas pero nada
ms complicado?
Los matemticos de la Italia del Renacimiento hicieron uno de los ms
trascendentales avances en lgebra Por lo tanto, el combate matemtico pblico era
una cosa seria.
cuando descubrieron que la repuesta es
s. En aquellos das los matemticos se ganaban su reputacin tomando parte en
competiciones pblicas. Cada competidor planteaba problemas a su oponente, y
quien ms resolviera se consideraba el ganador. Los miembros de la audiencia
podan hacer apuestas sobre quin ganara. Los competidores a menudo apostaban
grandes sumas de dinero; en un caso del que hay noticia, el perdedor tuvo que
pagar al ganador (y sus amigos) treinta banquetes. Adems, era muy probable que
aumentara la capacidad del ganador para atraer a estudiantes de pago,
fundamentalmente procedentes de la nobleza. Por tanto, el combate matemtico
pblico era una cosa seria.
En 1535 tuvo lugar una de estas competiciones entre Antonio Fiore y Niccolo
Fontana, apodado Tartaglia, el tartamudo. Tartaglia barri a Fiore, y la noticia de
su xito se difundi, llegando a odos de Girolamo Cardano. Y Cardano aguz el
odo. El estaba escribiendo un texto de lgebra general, y las preguntas que Fiore y
Tartaglia se haban planteado se referan a las ecuaciones cbicas. En aquella poca
las ecuaciones cbicas estaban clasificadas en tres tipos diferentes, una vez ms
debido a que no se reconocan los nmeros negativos. Fiore slo saba resolver un
tipo. Inicialmente Tartaglia saba resolver un tipo diferente. En smbolos modernos,
su solucin de una ecuacin cbica del tipo x 3 + ax = b es
Omar Kayyham fue ms conocido por su poesa pero tambin fue un matemtico
notable
Pero Cardano estaba lejos de amedrentarse. Era un jugador inveterado, que haba
ganado y perdido sumas considerables de dinero a las cartas, los dados e incluso al
ajedrez. Perdi de esta manera toda la fortuna de la familia y se vio reducido a la
penuria. Tambin era un genio, un Se necesitaron cientos de aos para desarrollar el
Sin embargo, Cardano tena una excusa, y muy buena. Y tambin tena una buena
razn para romper su promesa a Tartaglia. La razn era que un estudiante de
Cardano, Ludovico Ferrari, haba encontrado un mtodo para resolver ecuaciones
curticas, que incluyen la cuarta potencia de la incgnita. Esto era algo
completamente nuevo y de enorme importancia. Por supuesto, Cardano tambin
quera incluir las ecuaciones curticas en su libro. Puesto que era su estudiante
quien haba hecho el descubrimiento, esto habra sido legtimo. Pero el mtodo de
Ferrari reduca la solucin de cualquier curtica a la de una cbica asociada, de
modo que se basaba en la solucin de Tartaglia de las ecuaciones cbicas. Cardano
no poda publicar el trabajo de Ferrari sin publicar tambin el de Tartaglia.
Entonces le llegaron nuevas noticias que ofrecan una salida. Fiore, que haba
perdido con Tartaglia en combate pblico, era un estudiante de Scipio Del Ferro.
Cardano oy que Del Ferro haba resuelto los tres tipos de cbica, no slo el que
haba pasado a Fiore. Y se rumoreaba que un tal Annibale del Nave posea papeles
inditos de Del Ferro. Por ello, Cardano y Ferrari fueron a Bolonia en 1543 a
consultar con Del Nave, vieron los papeles, y all, delante de sus narices, haba
soluciones de los tres tipos de cbica. As que Cardano poda decir honestamente
que no estaba publicando el mtodo de Tartaglia, sino el de Del Ferro.
Tartaglia no vea las cosas as. Pero no tena una respuesta real a la afirmacin de
Cardano de que la solucin no era descubrimiento de Tartaglia en absoluto, sino de
Del Ferro. Tartaglia public una larga y amarga diatriba sobre el asunto, y fue
desafiado a un debate pblico por Ferrari, que defenda a su maestro. Ferrari gan
de calle, y Tartaglia nunca se recuper realmente del revs.
Smbolos algebraicos
Los matemticos de la Italia del Renacimiento haban desarrollado muchos mtodos
algebraicos pero su notacin era todava rudimentaria. Se necesitaron cientos de
aos para desarrollar el simbolismo algebraico actual.
Girolamo Cardano
(tambin conocido como Hieronymus Cardanus, Jernimo Cardano)
Girolamo Cardano fue el hijo ilegitimo del abogado milans Fazio Cardano y una
viuda joven llamada Chiara Micheria que estaba tratando de criar a tres nios.
Los nios murieron a causa de la peste en Miln mientras Chiara estaba dando a
luz a Girolamo en la cercana Pava. Fazio era un matemtico capaz y transmiti
su pasin por la disciplina a Girolamo. Contra los deseos de su padre, Girolamo
estudi medicina en la Universidad de Pava.
Fazio hubiera querido que estudiara derecho.
Siendo todava un estudiante, Cardano fue
elegido rector de la Universidad de Padua, a la
que se haba trasladado, por un solo voto. Tras
malgastar una pequea herencia de su padre
muerto recientemente, Cardano se dedic al
juego cartas, dados y ajedrez para
aumentar sus finanzas. Siempre llevaba una
navaja y en cierta ocasin cort el rostro de un
rival de quien crea que estaba haciendo
trampas.
En 1525 Cardano obtuvo el ttulo de medicina,
pero su solicitud para entrar en el Colegio de
Mdicos de Miln fue rechazada, probablemente
debido a su reputacin de persona difcil.
Practic la medicina en la villa de Sacca, y se cas con Lucia Bandarini, hija de
un capitn de la milicia. La prctica no prosper, y en 1533 Girolamo se dedic
de nuevo al juego, pero ahora sufri fuertes prdidas y tuvo que empear las
joyas de su mujer y parte de las pertenencias de la familia.
Cardano tuvo un golpe de fortuna y se le ofreci el antiguo puesto de su padre
como profesor de matemticas en la Fundacin Piatti. Paralelamente sigui
practicando la medicina, y algunas curaciones milagrosas aumentaron su
reputacin como mdico. En 1539, tras varios intentos, fue admitido finalmente
en el Colegio de Mdicos. Empez a publicar textos eruditos sobre varios temas,
incluidas las matemticas.
Cardano escribi una notable autobiografa, El libro de mi vida, una miscelnea
de captulos sobre temas diversos. Alcanz la cima de su fama y visit
Edimburgo para tratar al arzobispo de Saint Andrews, John Hamilton. Hamilton
padeca un asma severa. Bajo los cuidados de Cardano su salud mejor
espectacularmente, y Cardano dej Escocia 2.000 coronas de oro ms rico.
Lleg a ser profesor en la Universidad de Pava, y las cosas iban muy bien hasta
que su hijo mayor Giambatista se cas en secreto con Brandonia di Seroni, una
mujer indigna y desvergonzada en estimacin de Cardano. Ella y su familia
humillaron y amedrentaron pblicamente a Giambatista, que la envenen. Pese
a los esfuerzos de Cardano. Giambatista fue ejecutado. En 1570 Cardano fue
procesado por hereja por haber hecho el horscopo de Jess. Fue encarcelado,
y luego liberado, pero privado del empleo de la universidad. Fue a Roma, donde
inesperadamente el Papa le concedi una pensin y fue admitido en el Colegio
de Mdicos.
Predijo la fecha de su propia muerte, y supuestamente se asegur de acertar
cometiendo suicidio. Pese a sus muchas tribulaciones, sigui optimista hasta el
final.
5p: R m: 15
5m: R m: 15
25m:m: 15 qd. est 40.
x2 = 4x + 32
La omisin fue reparada por Descartes. Su notacin era muy parecida a la que
utilizamos hoy, con una excepcin. Donde nosotros escribiramos
5 +x + 6x2 + 11x3 + 3x 4
Descartes escriba
s = 1/2 gt2
t= (2s/t)
Esto quiz suene como una sutileza lgica, pero la diferencia en el punto de vista
era importante. Para Vieta, un clculo algebraico como (en nuestra notacin)
(2x + 3y) - (x + y) = x + 2y
de nmeros especficos. Para los predecesores de Vieta, sin embargo, esa misma
ecuacin era simplemente una relacin numrica que era vlida cuando quiera que
nmeros concretos sustituan a los smbolos x e y. As, el lgebra adquirira una vida
propia, como las matemticas de expresiones simblicas. Fue el primer paso para
liberar al lgebra de las ataduras de la interpretacin aritmtica.
Captulo 5
Tringulos eternos
Trigonometra y logaritmos
La geometra euclidiana se basa en tringulos, principalmente
porque todo polgono puede construirse a partir de tringulos, y
muchas formas interesantes, tales como crculos o elipses, pueden
aproximarse por polgonos.
Las propiedades mtricas de los tringulos las que pueden
medirse, tales como las longitudes de los lados, los tamaos de los
ngulos o el rea total estn relacionadas por una variedad de
frmulas, algunas de ellas muy elegantes. El uso prctico de dichas
frmulas, que son extraordinariamente tiles en navegacin y
topografa, requera el desarrollo de la trigonometra, que
bsicamente significa medir tringulos.
Trigonometra
La trigonometra gener varias funciones especiales: reglas matemticas para
calcular una magnitud a partir de otra. Estas funciones llevan nombres como
seno, coseno y tangente. Las funciones trigonomtricas resultaron ser de
vital importancia para el conjunto de las matemticas, y no slo para medir
tringulos.
La trigonometra es una de las tcnicas matemticas ms ampliamente utilizadas:
est implicada en todo lo que va de la topografa a la navegacin y a los sistemas
de navegacin GPS en los automviles. Su uso en ciencia y tecnologa es tan comn
que normalmente pasa desapercibido, como corresponde a cualquier herramienta
universal. Desde el punto de vista histrico estuvo ntimamente asociada a los
logaritmos, un mtodo ingenioso para convertir multiplicaciones (que son difciles)
en sumas (que son mucho ms simples). Las ideas principales surgieron
aproximadamente entre el 1400 y el 1600, aunque tuvieron una larga prehistoria
y muchos embellecimientos posteriores. La notacin todava sigue hoy en plena
evolucin.
En este captulo echaremos una ojeada a los temas bsicos: las funciones
Trigonometra-Ideas bsicas
La trigonometra se basa en varias funciones especiales, de las que las ms
bsicas son el seno, el coseno y la tangente. Estas funciones se aplican a un
ngulo, tradicionalmente representado por la letra griega (theta). Pueden
definirse en trminos de un tringulo rectngulo, cuyos tres lados a, b, c se
denominan el lado adyacente, el lado opuesto y la hipotenusa.
Entonces:
El seno de theta es sen = b/c
El coseno de theta es cos = a/c
La tangente de theta es tan = b/a
As definidos, los valores de estas tres
funciones, para cualquier ngulo dado
, estn determinados por la geometra
del tringulo. (El mismo ngulo puede
aparecer en tringulos de tamaos diferentes, pero la geometra de los
tringulos semejantes implica que las razones establecidas son independientes
del tamao.) Sin embargo, una vez que estas funciones han sido calculadas y
tabuladas, pueden ser utilizadas para reconstruir el tringulo a partir del
ngulo .
Las tres funciones estn relacionadas por varias frmulas bellas. En particular, el
Teorema de Pitgoras implica que
sen2 + cos2 = 1
Pero cuando los logaritmos fueron inventados, eran las tablas numricas las que los
hacan tiles, especialmente en reas como la astronoma en donde eran necesarios
largos y complicados clculos numricos. Y los inventores tuvieron que pasar aos
dcadas de su vida haciendo las sumas. La humanidad debe mucho a estos
pioneros dedicados y obstinados.
Tringulos
El problema bsico que aborda la trigonometra es el clculo de propiedades de un
tringulo longitud de los lados, tamao de los ngulos a partir de otras de
dichas propiedades. Es mucho ms fcil describir la historia temprana de la
trigonometra si primero resumimos las caractersticas principales de la
trigonometra moderna, que es bsicamente una reelaboracin en notacin del
siglo XVIII de temas que se remontan a los griegos, si no antes. Este resumen
proporciona un marco dentro del cual podemos describir las ideas de los antiguos
sin enredarnos en conceptos oscuros y eventualmente obsoletos.
Astronoma
Curiosamente, el trabajo inicial en trigonometra era ms complicado que la mayor
parte de lo que se ensea hoy en las escuelas, debido una vez ms a las
necesidades de la astronoma (y, ms tarde, la navegacin). El espacio natural con
el que trabajar no era el plano, sino la esfera. En efecto, el cielo parece el interior
de una gigantesca superficie esfrica que rodea completamente al observador, y los
cuerpos celestes son tan lejanos que parecen estar situados en dicha superficie
esfrica.
Como consecuencia, los clculos astronmicos remiten a la geometra de una
esfera, no de un plano. Los requisitos no son geometra plana y trigonometra, sino
geometra esfrica y trigonometra.
Una de las primeras obras en esta rea es la
Sphrica de Menelao escrita hacia el ao 100.
Sirva como muestra un teorema que no tiene
anlogo en geometra euclidiana: si dos
tringulos tienen los mismos ngulos, entonces
son congruentes: tienen los mismos tamao y
forma. (En el caso euclidiano los tringulos son
semejantes: misma forma pero posiblemente
diferentes tamaos.) En geometra esfrica los
ngulos de un tringulo no suman 180, como
suman en el plano. Por ejemplo, es obvio que
un tringulo cuyos vrtices yacen en el Polo
Norte y en dos puntos del ecuador separados 90 tienen los tres ngulos iguales a
un ngulo recto, de modo que su suma es 270. En general, cuanto ms grande se
hace el tringulo, ms grande se hace la suma de sus ngulos. De hecho, esta
suma, menos 180, es proporcional al rea total del tringulo.
Estos ejemplos dejan claro que la geometra esfrica tiene sus propias
caractersticas y aspectos nuevos. Lo mismo ocurre con la trigonometra esfrica,
pero las cantidades bsicas siguen siendo las funciones trigonomtricas estndar.
Slo cambian las frmulas.
Ptolomeo
Con mucho, el texto ms importante de trigonometra de la Antigedad fue la
Sintaxis matemtica de Ptolomeo de Alejandra, que data de aproximadamente el
ao 150. Es ms conocido como el Almagesto, un trmino rabe que significa el
ms grande. Inclua tablas trigonomtricas, una vez ms establecidas en trminos
de cuerdas, junto con los mtodos utilizados para calcularlas, y un catlogo de
AB CD + BC DA = AC BD
(la suma de los productos de pares de lados opuestos es igual al producto de las
diagonales).
Una interpretacin moderna de este hecho es el notable par de frmulas
Empezar era ms fcil de lo que podra parecer, y ello requera aritmtica y races
cuadradas. Utilizando el hecho obvio de que /2 +/2 = , el teorema de Ptolomeo
implica que
Movimiento planetario
Un aspecto final digno de mencin del Almagesto es el tratamiento que haca de las
rbitas de los planetas. Cualquiera que observe con regularidad el cielo nocturno
descubre rpidamente que los planetas vagan en el fondo de estrellas fijas, y que
sus trayectorias parecen bastante complicadas, movindose a veces hacia atrs o
viajando en lazos alargados.
Eudoxo, respondiendo a una peticin de Platn, haba encontrado un modo de
representar estos movimientos complejos en trminos de esferas que giraban
montadas sobre otras esferas. Esta idea fue simplificada por Apolonio e Hiparco,
que utilizaban epiciclos: crculos cuyos centros se mueven a lo largo de otros
crculos, y as sucesivamente. Ptolomeo refin el sistema de epiciclos, que lleg a
proporcionar un modelo muy aproximado de los movimientos planetarios.
enteros de 3 45, hasta 90. Alrededor del 600, en el Maha Bhaskariya, Bhaskara
dio una til frmula aproximada para el seno de un ngulo agudo, que l atribua a
Aryabhata. Estos autores dedujeron varias frmulas trigonomtricas bsicas.
El Tratado sobre el cuadriltero del matemtico rabe Nasir-Eddin combinaba la
geometra plana y la esfrica en un Los primeros conceptos trigonomtricos aparecen
desarrollo unificado, y daba varias en los escritos de los matemticos y astrnomos
Debido al vnculo con la astronoma, casi toda la trigonometra era esfrica hasta
1450. En particular, la topografa hoy da una usuaria importante de
trigonometra se realizaba utilizando mtodos empricos, codificados por los
Logaritmos
El segundo tema de este captulo es una de las funciones ms importantes en
matemticas: el logaritmo, log x. Inicialmente, el logaritmo era importante porque
satisface la ecuacin
Sin embargo, para que los logaritmos sean tiles tenemos que ser capaces de
encontrar un x para cualquier y real positivo. Siguiendo el ejemplo de Newton y
otros autores de su perodo, la idea principal es que cualquier potencia racional
10p/q puede definirse como la raz q-sima de 10p. Puesto que cualquier nmero
real x puede ser aproximado con precisin arbitraria por un nmero racional p/q,
podemos aproximar 10x por 10p/q. sta no es la manera ms eficaz de calcular el
logaritmo, pero es la manera ms simple de demostrar que existe.
Histricamente, el descubrimiento de los logaritmos fue menos directo. Empez con
John Napier, barn de Murchiston en Escocia. l tuvo un permanente inters en los
mtodos eficaces de clculo, e invent las varas de Napier (o huesos de Napier), un
conjunto de palos marcados que podan utilizarse para hacer multiplicaciones de
forma rpida y fiable simulando mtodos de papel y lpiz. Alrededor de 1594
empez a trabajar en un mtodo ms terico, y sus escritos nos dicen que le llev
veinte aos perfeccionarlo y publicarlo. Parece probable que su punto de partida
fueran las progresiones geomtricas, secuencias de nmeros en las que cada
trmino se obtiene del precedente multiplicndolo por un nmero fijo, tales como
las potencias de 2
1 2 4 8 16 32 ...
o las potencias de 10
Se haba advertido haca tiempo que sumar los exponentes era equivalente a
multiplicar las potencias. Esto estaba bien si uno quera multiplicar dos potencias de
2, digamos, o dos potencias enteras de 10. Pero haba grandes huecos entre estos
nmeros, y las potencias de 2 o 10 no parecan servir de mucho cuando se trataba
de problemas como 57.681 29.443, pongamos por caso.
Trigonometra plana
Hoy da la trigonometra se desarrolla primero en el plano, donde la geometra es
ms simple y los principios bsicos son ms fciles de captar. (Es curioso cuan a
menudo nuevas ideas matemticas se desarrollan inicialmente en un contexto
complicado, y las simplicidades subyacentes emergen mucho despus.) Existe
una ley de los senos, y una ley de los cosenos, para tringulos planos, y vale la
pena hacer una pequea digresin para explicarlas. Consideremos un tringulo
plano con ngulos A, B, C y lados a, b, c.
Ahora la ley de los senos toma la
forma
a2 = b2 + c2 - 2bc cos A,
con frmulas similares que incluyen los otros ngulos. Podemos utilizar la ley de
los cosenos para encontrar los ngulos de un tringulo a partir de sus lados.
Logaritmos neperianos
Mientras el buen barn estaba tratando de llenar de algn modo los huecos en las
progresiones geomtricas, el mdico del rey Jacobo VI de Escocia, James Craig,
cont a Napier el descubrimiento que era de amplio uso en Dinamarca, con el
extrao nombre de prostaferesis. Este se refera a cualquier proceso que converta
productos en sumas. El mtodo principal en uso prctico se basaba en una frmula
descubierta por Vieta:
Form una serie geomtrica con una razn comn muy prxima a 1. Es decir, en
lugar de potencias de 2 o potencias de 10, habra que utilizar potencias de,
digamos, 1,0000000001. El espaciado entre las potencias sucesivas de dicho
nmero es muy pequeo, lo que acaba con estos molestos huecos. Por algn
motivo, Napier escogi una razn
Napier capt la idea, y encontr una mejora
ligeramente menor que 1, a saber importante.
0,9999999. Por eso su serie geomtrica
va hacia atrs desde un nmero grande a otros cada vez ms pequeos. De hecho,
l empezaba con 10.000.000 y luego lo multiplicaba por potencias sucesivas de
0,9999999. Si escribimos Naplog x para el logaritmo neperiano de x, ste tiene la
curiosa caracterstica de que
Naplog 10.000.000 = 0
Naplog 9.999.999 = 1
Esto puede utilizarse para el clculo, porque es fcil multiplicar o dividir por una
potencia de 10, pero no es elegante. No obstante, es mucho mejor que la frmula
trigonomtrica de Vieta.
Logaritmos de base 10
La siguiente mejora lleg cuando Henry Briggs, el primer catedrtico saviliano de
geometra de la Universidad de Oxford, visit a Napier.
Briggs sugiri reemplazar el concepto de Napier por uno ms simple: el logaritmo
(en base 10), L = log 10 x, que satisface la condicin x = 10L. Ahora
Napier muri antes de que estas ideas pudieran difundirse; era el ao 1617, y su
descripcin de sus varas de clculo, Rhabdologa, acababa de publicarse. Su mtodo
original para calcular, el Mirifici Logarithmorum Canonis Constructio, apareci dos
aos despus. Briggs asumi la tarea de calcular una tabla de logaritmos
briggsianos (de base 10, o comunes). Lo hizo partiendo de log 10 10 = 1 y
tomando races cuadradas sucesivas. En 1617 public Logarithmorum Chilias Prima,
los logaritmos de los enteros de 1 a 1.000, establecidos hasta 14 cifras decimales.
Su Arithmetic Logarithmica de 1624 tabulaba logaritmos comunes de nmeros de 1
a 20.000 y de 90.000 a 100.000, tambin con 14 cifras.
La idea creci como una bola de nieve. John Speidell calcul logaritmos de funciones
trigonomtricas tales como log sen x publicados como Nuevos Logaritmos en
1619. El relojero suizo Jobst Brgi public su propia obra sobre logaritmos en 1610,
y es muy posible que tuviera la idea bsica en 1588, mucho antes que Napier. Pero
el desarrollo histrico de las matemticas depende de lo que la gente publica en el
sentido original de hacer pblico, y las ideas que permanecen en privado no
tienen influencia en nadie ms. Por ello, el crdito, probablemente con razn, tiene
que ir a esas personas que ponen sus ideas en prensa, o al menos en cartas de
amplia circulacin. (La excepcin es la persona que pone las ideas de otros en
prensa sin darles el crdito debido. Esto es inaceptable.)
La letra e
Asociado con la versin de Napier de los logaritmos est uno de los nmeros ms
importantes en matemticas, ahora denotado por la letra e. Su valor es
aproximadamente 2,7182. Aparece si tratamos de formar logaritmos partiendo de
una serie geomtrica cuya razn comn es ligeramente mayor que 1. Esto lleva a la
expresin (1 + 1 /n)n donde n es un entero muy grande; y cuanto mayor se hace n,
ms se acerca la expresin a un nmero especial, que denotamos por e.
Esta frmula sugiere que hay una base natural para los logaritmos, que no es 10
ni 2, sino e. El logaritmo natural de x es un nmero y que satisface la condicin
x = loge y. En las matemticas actuales, el logaritmo natural se escribe y = log x. A
veces la base e se hace explcita como y = loge x, pero esta notacin est
restringida bsicamente a las matemticas escolares, porque en ciencias y en
matemticas avanzadas los nicos logaritmos de importancia son los logaritmos
naturales. Los logaritmos en base 10 son mejores para los clculos en notacin
decimal, pero los logaritmos naturales son fundamentales desde el punto de vista
matemtico.
La expresin ex se llama exponencial de x, y es uno de los conceptos ms
importantes en todas las matemticas. El nmero e es uno de esos extraos
nmeros especiales que aparecen en matemticas y tienen una gran trascendencia.
El ms familiar de tales nmeros es . Estos dos son la punta de un iceberg; hay
muchos otros. Presumiblemente son tambin los nmeros especiales ms
importantes en las matemticas actuales, porque afloran por todo el paisaje
matemtico.
Captulo 6
Curvas y coordenadas
Geometra es lgebra, es geometra
Aunque es habitual clasificar las matemticas en reas
independientes, tales como aritmtica, lgebra, geometra y dems,
esta clasificacin debe ms a la conveniencia humana que a la
verdadera estructura de la disciplina. En matemticas no hay
fronteras rgidas y claras entre reas aparentemente distintas, y
problemas que parecen pertenecer a un rea pueden ser resueltos
utilizando mtodos de otra. De hecho, los mayores avances se
suelen producir cuando se establece alguna conexin inesperada
entre temas que antes parecan distintos.
Pierre Fermat
Las matemticas griegas tienen huellas de tales conexiones, como son los vnculos
entre el Teorema de Pitgoras y los nmeros irracionales o el uso de Arqumedes de
analogas mecnicas para encontrar el volumen de la esfera.
La verdadera extensin e influencia de tal fertilizacin cruzada se hizo innegable en
un corto periodo de tiempo en torno a 1630. Durante ese breve periodo, dos de los
ms grandes matemticos del mundo descubrieron una notable conexin entre
lgebra y geometra. De hecho, ellos demostraron que cada una de estas reas
puede convertirse en la otra utilizando coordenadas.
Toda la obra de Euclides, y la obra de sus sucesores, puede reducirse a clculos
algebraicos. Recprocamente, todo en lgebra puede interpretarse en trminos de la
geometra de curvas y superficies.
Podra parecer que tales conexiones hacen superflua una de las dos reas.
Si toda la geometra puede reemplazarse por lgebra, por qu necesitamos la
geometra? La respuesta es que cada rea tiene su punto de vista caracterstico,
que en ocasiones puede ser muy penetrante y poderoso. A veces es mejor pensar
geomtricamente, y a veces es superior el pensamiento algebraico.
La primera persona que describi las coordenadas fue Pierre Fermat.
Fermat es ms conocido por su trabajo sobre teora de nmeros, pero tambin
Descartes
La notacin moderna de coordenadas dio fruto en la obra de Descartes.
En la vida cotidiana estamos familiarizados con espacios de dos y tres dimensiones,
y se necesita un gran esfuerzo de imaginacin para contemplar otras posibilidades.
Nuestro sistema visual presenta a cada ojo el mundo exterior como una imagen
bidimensional como la imagen de una pantalla de televisor. Imgenes
ligeramente diferentes procedentes de cada ojo se combinan en el cerebro para dar
una sensacin de profundidad, gracias a la cual percibimos el mundo circundante
como si tuviera tres dimensiones.
La clave para los espacios multidimensionales es la idea de un sistema de
coordenadas, que fue introducido por Descartes en un apndice, La geometra, a su
Discurso del mtodo. Su idea es que la geometra del plano puede reinterpretarse
en trminos algebraicos.
Su enfoque es esencialmente el que ya se ha sealado. Escogemos un punto en el
plano y le llamamos el origen. Trazamos dos ejes: lneas que pasan por el origen y
se cortan a ngulos rectos.
Etiquetamos un eje con el smbolo x y el otro con el smbolo y. Entonces cualquier
punto P en el plano est determinado por el par de distancias (x, y), que nos dice lo
lejos que est el punto del origen cuando se mide paralelamente a los ejes x e y,
respectivamente.
Rene Descartes
Descartes empez a estudiar matemticas en 1616 como alumno del cientfico
holands Isaac Beeckman. Dej Holanda para recorrer Europa y se uni al
ejrcito bvaro en 1619. Continu viajando entre 1620 y 1628, y visit Bohemia,
Hungra, Alemania, Holanda, Francia e Italia. Conoci a Mersenne en Pars en
1622, y desde entonces mantuvo correspondencia regular con l, lo que le puso
en contacto con la mayora de los eruditos destacados del periodo.
En 1628 Descartes se estableci en Holanda, y comenz su primer libro, Le
Monde ou Traite de la Lumire, sobre la fsica de la luz. La publicacin fue
retrasada cuando Descartes se enter del arresto domiciliario de Galileo Galilei y
sinti miedo. El libro se public, de forma incompleta, despus de su muerte. Sin
embargo, l desarroll sus ideas sobre el pensamiento lgico en una obra
importante publicada en 1637: Discours de la Mthode. El libro tena tres
apndices: La Dioptrique, Les Mtores y La Gometrie.
Por ejemplo, en un mapa, x podra ser la distancia al este del origen (los valores
negativos representan distancias al oeste), mientras que y podra ser la distancia al
norte del origen (los valores negativos representan las distancias al sur). Las
coordenadas funcionan tambin en un espacio tridimensional, pero ahora dos
nmeros no son suficientes para localizar un punto. Sin embargo, tres nmeros s lo
son. Adems de las distancias este-oeste y norte-sur, necesitamos saber lo lejos
que est un punto por encima o por debajo del origen. Normalmente utilizamos un
nmero positivo para distancias hacia arriba, y un nmero negativo para distancias
hacia abajo. Las coordenadas en el espacio toman la forma (x, y, z).
Coordenadas cartesianas
La geometra de coordenadas cartesianas revela una unidad algebraica tras las
secciones cnicas: curvas que los griegos haban construido como secciones de un
cono doble. Desde el punto de vista algebraico resulta que las secciones cnicas son
las curvas ms simples despus de las lneas rectas. Una lnea recta corresponde a
una ecuacin lineal
ax + by + c = 0
x3 + y3 - 3axy = 0
Espiral de Arqumedes
Funciones
Una aplicacin importante de las coordenadas en matemticas es un mtodo de
representar funciones grficamente.
Una funcin no es un nmero sino una receta que parte de un nmero y calcula un
nmero asociado. La receta en cuestin se suele enunciar como una frmula que
asigna a cada nmero x (posiblemente en un intervalo limitado) otro nmero f(x).
Por ejemplo, la funcin raz cuadrada est definida por la regla f(x) = x, es
decir, tomar la raz cuadrada del nmero dado.
Esta receta requiere que x sea positivo.
Anlogamente la funcin cuadrado se
define por f(x) = x2, y esta vez no hay
restricciones sobre x.
Podemos representar una funcin
geomtricamente definiendo la
coordenada y, para un valor dado de x,
por y = f(x). Esta ecuacin establece
una relacin entre las dos coordenadas,
y por consiguiente determina una curva.
Esta curva se denomina grfica de la Grfica de una funcin f
funcin f.
La grfica de la funcin f(x) = x2 resulta ser una parbola. La de la raz cuadrada
f(x) =x es media parbola, pero acostada. Funciones ms complicadas llevan a
curvas ms complicadas. La grfica de la funcin y = sen x es una curva ondulada.
El mensaje ms profundo de la geometra de coordenadas trata de las conexiones
cruzadas en matemticas. Conceptos cuyas realizaciones fsicas parecen totalmente
diferentes pueden ser aspectos diferentes de lo mismo.
Captulo 7
Pautas en los nmeros
Los orgenes de la teora de los nmeros
Pese a estar cada vez ms fascinados por la geometra, los
matemticos no perdieron su inters por los nmeros.
Pero empezaron a plantearse preguntas ms profundas, y
respondieron a muchas de ellas. Algunas tuvieron (pie esperar a
tcnicas ms poderosas. Otras permanecen sin respuesta hasta hoy.
Teora de nmeros
Hay algo absolutamente fascinante en los nmeros. Nmeros naturales puros, sin
adornos: 1, 2, 3, 4, 5. Qu podra ser ms simple? Pero ese exterior simple
encierra profundidades ocultas, y muchas de las preguntas ms sorprendentes en
matemticas se refieren a propiedades aparentemente directas de los nmeros
naturales. El rea se conoce como teora de nmeros, y resulta difcil precisamente
porque sus ingredientes son muy bsicos y simples. La misma simplicidad de los
nmeros naturales deja muy pocos recovecos para tcnicas ingeniosas.
Las primeras contribuciones serias a la teora de nmeros es decir, una teora
completa con demostraciones, no slo afirmaciones se encuentran en las obras de
Euclides, donde las ideas estn sutilmente enmascaradas como geometra. La
disciplina fue desarrollada como una nueva rea de las matemticas por el griego
Diofanto, algunos de cuyos escritos se conservan en copias posteriores. Recibi un
gran impulso en el siglo XVII por parte de Fermat, y fue desarrollada por Leonhard
Euler, Joseph-Louis Lagrange y Cari Friedrich Gauss como una rama profunda y
extensa de las matemticas que afectaba a muchas otras reas, a veces
aparentemente inconexas. A finales del siglo XX estas conexiones han sido
utilizadas para responder a algunos aunque no todos de los antiguos enigmas,
incluida una conjetura muy famosa hecha por Fermat alrededor de 1650, conocida
como su ltimo teorema.
Durante la mayor parte de su historia, la teora de nmeros ha tratado del
funcionamiento interno de las propias matemticas, con pocas conexiones con el
mundo real. Si alguna vez hubo una rama del pensamiento matemtico que viva
Primos
Cualquiera que contemple la multiplicacin de nmeros naturales llega a advertir
una distincin fundamental. Muchos nmeros pueden ser descompuestos en
piezas ms pequeas, en el sentido de que los nmeros ms grandes aparecen al
multiplicar las piezas. Por ejemplo, 10 es 2 5, y 12 es 3 4.
Algunos nmeros, sin embargo, no se Los primos forman los bloques constituyentes
bsicos para todos los nmeros.
descomponen de esta manera. No hay
modo de expresar 11 como producto de dos nmeros naturales ms pequeos; lo
mismo sucede con 2, 3, 5, 7 y muchos otros.
De los nmeros que pueden expresarse como producto de dos nmeros ms
pequeos se dice que son compuestos. Los que no pueden expresarse as son
primos. Segn esta definicin, el nmero 1 debera considerarse primo, pero por
buenas razones se coloca en una clase especial por s mismo y se llama una unidad.
Por lo tanto, los primeros primos son los nmeros
2 3 5 7 11 13 17 19 23 29 31 37 41
Como esta lista sugiere, no hay pauta obvia para los primos (excepto que todos
salvo el primero son impares). De hecho, parecen ocurrir de manera irregular y no
hay una forma simple de predecir el siguiente nmero en la lista. Incluso as, no hay
duda de que este nmero est de algn modo determinado: basta con ensayar
nmeros sucesivos hasta encontrar el siguiente primo.
A pesar, o quiz a causa, de su distribucin irregular, los primos son de vital
importancia para las matemticas. Forman los bloques constituyentes bsicos
para todos los nmeros, en el sentido de que nmeros mayores se crean
producto, para obtener a b c + 1. Este nmero debe ser divisible por algn
primo, pero este primo no puede ser ninguno de los tres originales; en efecto, stos
Aunque la demostracin de Euclides utiliza tres primos, la misma idea funciona con
una lista mayor. Multipliquemos todos los primos en la lista, sumemos 1 y luego
tomemos algn factor primo del resultado: esto genera siempre un primo que no
est en la lista. Por consiguiente ninguna lista finita de primos puede ser completa.
Diofanto
Hemos mencionado a Diofanto de Alejandra en relacin con la notacin algebraica,
pero su mayor influencia se manifest en la teora de nmeros. Diofanto estudi
cuestiones generales, antes que cuestiones numricas concretas, aunque sus
respuestas eran nmeros concretos. Por ejemplo: encontrar tres nmeros tales
que su suma, y la suma de dos cualesquiera de ellos, es un cuadrado perfecto. Su
respuesta es 41, 80 y 320. Comprobacin: la suma de los tres es 441 = 21 2. Las
sumas de los pares son 41 + 80 = 112; 41 + 320 = 192 y 80 + 320 = 202.
Una de las ecuaciones ms conocidas resuelta por Diofanto es una curiosa versin
a2 + b2 = c2.
cuadrados. Estos tres nmeros forman siempre una tripleta pitagrica, y todos estos
tringulos aparecen de esta manera con tal de que admitamos tambin que los tres
nmeros estn multiplicados por una constante. Por ejemplo, si los nmeros son 1 y
2 obtenemos el famoso tringulo 3-4-5. En particular, puesto que hay infinitas
maneras de escoger los dos nmeros, existen infinitas tripletas pitagricas.
Fermat
Despus de Diofanto la teora de nmeros qued estancada durante ms de mil
aos hasta que fue retomada por Fermat, quien hizo muchos descubrimientos
importantes. Uno de sus teoremas ms elegantes nos dice exactamente cundo un
entero dado n es una suma de dos cuadrados perfectos: n = a 2 + b2. La solucin es
ms simple cuando n es primo. Fermat observ que hay tres tipos bsicos de
primos:
(i) El nmero 2, el nico primo par.
(ii) Primos que son iguales a un mltiplo de 4 ms 1, tales como 5,13, 17 y as
sucesivamente estos primos son todos impares.
(iii) Primos que son iguales a un mltiplo de 4 menos 1, tales como 3,7, 11 y as
Pierre Fermat
1601-1665
Pierre Fermat naci en Beaumont-de-Lomagne, Francia, en 1601, hijo del
mercader de cuero Dominique Fermat y de Claire de Long, la hija de una familia
de abogados. Para 1629 haba hecho importantes descubrimientos en geometra
y en la teora precursora del clculo infinitesimal, pero escogi el derecho como
carrera y lleg a ser consejero en el Parlamento de Toulouse en 1631. Esto le
titul para aadir el de a su nombre.
Sus superiores murieron a causa de un brote de peste y l progres
rpidamente. En 1648 se convirti en consejero del rey en el Parlamento local de
Toulouse, donde sirvi el resto de su vida, y alcanz el mximo nivel en la Corte
Criminal en 1652.
Nunca mantuvo una posicin acadmica, pero las matemticas eran su pasin.
En 1653 contrajo la peste y se rumore que haba muerto, pero sobrevivi.
Mantuvo una extensa correspondencia con otros intelectuales, en particular el
matemtico Pierre de Carcavi y el monje Marin Mersenne. Trabaj en mecnica,
ptica, probabilidad y geometra, y su mtodo para encontrar los valores mximo
y mnimo de una funcin prepar el camino para el clculo infinitesimal. Se
convirti en uno de los matemticos ms destacados del mundo, pero slo
public una pequea parte de su trabajo, principalmente porque no estaba
dispuesto a perder el tiempo necesario para ponerlo en forma publicable.
Su influencia ms duradera se manifest en la teora de nmeros, en donde
desafi a otros matemticos a demostrar una serie de teoremas y a resolver
varios problemas. Entre ellos estaba la (mal llamada) ecuacin de Pell
nx2 + 1 = y2, y la afirmacin de que la suma de dos cubos perfectos no nulos no
puede ser un cubo perfecto. ste es un caso especial de una conjetura ms
general, el ltimo Teorema de Fermat en el que los cubos son reemplazados
por potencias n-simas para cualquier n 3.
Muri en 1665, slo dos das despus de concluir un caso legal.
Gauss
El siguiente gran avance en teora de nmeros lo hizo Gauss, quien public su obra
maestra, Disquisitiones Arithmetic (Investigaciones en Aritmtica), en 1801. Este
libro llev la teora de nmeros al centro de la escena matemtica. Desde entonces
la teora de nmeros fue un componente nuclear de la corriente principal
matemtica. Gauss se centr principalmente en su propia y nueva obra, pero
tambin estableci las bases de la teora de nmeros y sistematiz las ideas de sus
predecesores.
El ms importante de estos cambios fundacionales fue una idea muy simple pero
muy poderosa: la aritmtica modular. Gauss descubri un nuevo tipo de sistema de
nmeros, anlogo a los enteros pero que difiere en un aspecto clave: un nmero
particular, conocido como el mdulo, se identifica con el nmero 0. Esta curiosa
idea, ahora denominada aritmtica modular, result ser fundamental para nuestra
comprensin de las propiedades de divisibilidad de los enteros ordinarios.
Esta es la idea de Gauss. Dado un entero m, se dice que a y b son congruentes con
el mdulo m, denotado
a b(mod m)
cualquier mltiplo de m.
A veces se utiliza la expresin aritmtica de reloj para captar el espritu de la idea
de Gauss. En un reloj el nmero 12 es en la prctica el mismo que 0 porque las
horas se repiten despus de doce pasos (24 en la Europa continental y en
actividades militares). Siete horas despus de las 6 en punto no son las 1 3 en
punto, sino la 1 en punto, y en el sistema de Gauss. Por ello, la aritmtica modular
es como un reloj que necesita m horas para completar el crculo. No es
sorprendente que la aritmtica modular aparezca siempre que los matemticos
consideran cosas que cambian en crculos repetitivos.
Las Disquisitiones Arithmetic utilizaban aritmtica modular como base para ideas
ms profundas, y aqu mencionamos tres.
El grueso del libro es una extensin de gran alcance de las observaciones de Fermat
de que primos de la forma 4k + 1 son una suma de dos cuadrados, mientras que los
de la forma 4k 1 no lo son. Gauss re-enunci este resultado como una
caracterizacin de enteros que pueden escribirse en la forma x 2 + y2 con x e y
enteros. Entonces pregunt qu sucede si en lugar de esta frmula utilizamos una
forma cuadrtica general, ax2 + bxy + cy2.
Sus teoremas son demasiado tcnicos para discutir aqu pero obtuvo una
comprensin casi completa de esta cuestin.
El mecanismo de Antikitera
Las ruedas dentadas fueron usadas por los artesanos de la antigua Grecia para
disear un aparato notable, el mecanismo de Antikitera.
En 1900 un buzo buscador de esponjas, Elias Stadiati, encontr una masa
informe de roca corroda en los restos de un naufragio del ao 65 a.C., cerca de
la isla de Antikitera a unos 40 metros de profundidad. En 1902 el arquelogo
Valerios Stais advirti que la roca contena un engranaje, que era en realidad el
resto de un complicado mecanismo de bronce. Tena una inscripcin con palabras
en el alfabeto griego. La funcin del mecanismo ha sido deducida a partir de su
0 1 4 9 16 25 36 49 64 81 100
0 1 4 9 5 3 3 5 9 4 1
donde cada nmero distinto de 0 aparece dos veces. Estos nmeros son los
residuos cuadrticos, mod 11.
La clave para esta pregunta est en examinar los nmeros primos. Si p y q son
primos, cundo es q un cuadrado (mod p)? Gauss descubri que aunque no hay
una manera simple de responder a esta pregunta directamente, guarda una notable
relacin con otra pregunta: cundo es p un cuadrado (mod q)? Por ejemplo, la lista
anterior muestra que q = 5 es un cuadrado mdulo p 11. Tambin es cierto que
11 es un cuadrado mdulo 5, porque 11 1 (mod 5) y 1 12. De modo que aqu
ambas preguntas tienen la misma respuesta.
Gauss demostr que esta ley de reciprocidad es vlida para cualquier par de
primos impares, salvo cuando ambos primos son de la forma 4k - 1, en cuyo caso
las dos preguntas tienen siempre respuestas opuestas. Es decir: para dos primos
impares p y q cualesquiera
Inicialmente Gauss no era consciente de que sta no era una observacin nueva:
Euler haba advertido la misma pauta. Pero a diferencia de Euler, Gauss consigui
demostrar que siempre es verdadera. La demostracin era muy difcil, y Gauss
necesit varios aos para llenar una laguna pequea pero crucial.
Un tercer tema en las Disquisitiones es el descubrimiento que haba convencido a
Gauss para hacerse matemtico cuando tena 19 aos: una construccin geomtrica
para el 17-gono regular. Euclides proporcion construcciones, utilizando regla y
comps, para polgonos regulares con 3, 5 y 15 lados; tambin saba que estos
nmeros podan duplicarse repetidamente bisecando ngulos, lo que daba polgonos
regulares con 4, 6, 8 y 10 lados, y as sucesivamente. Pero Euclides no dio
construcciones para polgonos de 7 lados, de 9 lados o de cualquier otro nmero
distinto de los recin listados. Durante aproximadamente dos mil aos el mundo
matemtico supuso que Euclides haba dicho la ltima palabra y no se poda
construir ningn otro polgono regular. Gauss demostr que no era as.
Marie-Sophie Germain
1776-1831
Sophie Germain era hija del mercader de seda Ambroise-Franois Germain y de
Marie-Madelaine Gruguelin. A los 13 aos ley sobre la muerte de Arqumedes, a
quien mat un soldado romano mientras contemplaba un diagrama geomtrico
en la arena, y ello le inspir para hacerse matemtica.
A pesar de los esfuerzos bien
intencionados de sus padres por
disuadirla las matemticas no se
consideraban entonces una vocacin
adecuada para una joven, ella ley las
obras de Newton y Euler envuelta en
una manta mientras su madre y su
padre dorman. Cuando sus padres se
convencieron de su compromiso con las
matemticas, cedieron y empezaron a
ayudarla, dndole soporte financiero a lo
largo de su vida.
Ella obtuvo apuntes de clase de la cole
Polytechnique y escribi a Lagrange
adjuntndole algn trabajo original
propio bajo el nombre Monsieur
LeBlanc. Lagrange, impresionado,
descubri finalmente que el autor era
una mujer, y tuvo el buen sentido de animarla y convertirse en su patrocinador.
Los dos trabajaron juntos, y algunos de los resultados de ella fueron incluidos en
una edicin posterior del Ensayo sobre la Teora de los Nmeros de Legendre en
1798. Su corresponsal ms famoso fue Gauss. Sophie estudi las Disquisitiones
Arthmetic, y de 1804 a 1809 escribi varias cartas a su autor, ocultando de
nuevo su sexo y utilizando el nombre LeBlanc. Gauss alab el trabajo de LeBlanc
en cartas a otros matemticos. En 1806 descubri que LeBlanc era realmente
una mujer, con ocasin de la ocupacin de Braunschweig por los franceses.
Preocupada porque Gauss pudiera sufrir la misma suerte que Arqumedes,
Sophie entr en contacto con un amigo de la familia que era un alto mando del
ejrcito francs, el general Pernety. Gauss se enter y descubri que LeBlanc era
realmente Sophie.
Sophie no tena por qu haberse preocupado. Gauss estaba an ms
impresionado y le escribi: Pero cmo describirle mi admiracin y asombro al
ver que mi estimado corresponsal Monsieur LeBlanc se metamorfoseaba en este
ilustre personaje ... Cuando una persona del sexo que, segn nuestras
costumbres y prejuicios, debe encontrar infinitamente ms dificultades que los
hombres para familiarizarse con estas investigaciones espinosas, consigue pese a
todo superar estos obstculos y penetrar en las partes ms oscuras de ellos,
entonces sin duda ella debe tener el valor ms noble, talento absolutamente
extraordinario y un genio superior.
Sophie obtuvo algunos resultados sobre el ltimo Teorema de Fermat, los
mejores disponibles hasta 1840. Entre 1810 y 1820 trabaj en las vibraciones de
superficies, un problema planteado por el Instituto de Francia. En particular, se
buscaba una explicacin para las figuras de Chladni: figuras simtricas que
aparecen cuando se espolvorea arena sobre una placa metlica a la que luego se
hace vibrar utilizando un arco de violn. En su tercer intento fue premiada con
una medalla de oro, aunque por razones desconocidas, posiblemente una
protesta por el tratamiento injusto a las mujeres cientficas, ella no apareci en
la ceremonia del premio.
En 1829 se le detect un cncer de pulmn, pero sigui trabajando en teora de
nmeros y en la curvatura de superficies hasta que muri dos aos ms tarde.
Es fcil ver que el problema principal est en construir p-gonos regulares cuando p
es primo. Gauss seal que tal construccin es equivalente a resolver la ecuacin
algebraica
Ahora bien, una construccin con regla y comps puede verse, gracias a la
geometra de coordenadas, como una
Euclides haba elidi la ltima palabra y no se
secuencia de ecuaciones cuadrticas. Si
poda construir ningn otro polgono regular.
existe una construccin de este tipo, se Gauss demostr que no era as
sigue (de manera no totalmente trivial)
que p 1 debe ser una potencia de 2.
Los casos griegos p = 3 y 5 satisfacen esta condicin: aqu p 1 = 2 y 4,
respectivamente. Pero no son los nicos primos semejantes. Por ejemplo 17 - 1 =
16 es una potencia de 2.
Esto todava no demuestra que el 17-gono se puede construir, pero ofrece un fuerte
indicio, y Gauss consigui encontrar una reduccin explcita de esta ecuacin de
grado 16 a una serie de cuadrticas. l afirm, pero no demostr, que una
construccin es posible cuando p - 1 es una potencia de 2 (requiriendo todava que
p sea primo), y que es imposible para todos los dems primos. La demostracin fue
2 3 5 17 257 65.537
Conjetur que los nmeros de esta forma son siempre primos, pero esto era falso.
Euler descubri que cuando m = 5 hay un factor 641.
Se sigue de esto que deben existir tambin construcciones de regla y comps para
el 257-gono regular y el 65.537-gono regular. F. J. Richelot construy el 257-gono
regular en 1832, y su trabajo es correcto. J. Hermes pas 10 aos trabajando en el
65.537-gono, y complet su construccin en 1894. Estudios recientes sugieren que
contiene errores.
La teora de nmeros empez a hacerse matemticamente interesante con la obra
de Fermat, quien detect muchas de las pautas importantes ocultas en el extrao y
enigmtico comportamiento de los nmeros naturales. Su enojosa tendencia a no
dar demostraciones fue corregida por Euler, Lagrange y algunas figuras menores,
con la nica excepcin de su ltimo Teorema, pero el rea sigui consistiendo en
teoremas aislados, con frecuencia profundos y difciles, pero no muy estrechamente
relacionados entre s.
Todo eso cambi cuando Gauss entr en escena y concibi fundamentos
conceptuales generales para la teora de nmeros, tales como la aritmtica
modular. l relacion tambin la teora de nmeros con la geometra en su trabajo
sobre polgonos regulares. Desde ese momento, la teora de nmeros se hizo una
parte principal del tapiz de las matemticas.
Las intuiciones de Gauss llevaron al reconocimiento de nuevos tipos de estructuras
en matemticas: nuevos sistemas de nmeros, tales como los enteros mod m, y
nuevas operaciones, tales como la composicin de formas cuadrticas. Visto en
retrospectiva, la teora de nmeros de finales del siglo XVIII y principios del XIX
llev al lgebra abstracta de finales de los siglos XIX y XX. Los matemticos
empezaban a ampliar la gama de conceptos y estructuras que eran objetos de
Captulo 8
El sistema del mundo
La invencin del clculo infinitesimal
El avance ms importante en la historia de las matemticas fue el
clculo infinitesimal. Fue inventado alrededor de 1680 por Isaac
Newton y Gottfried Leibniz de forma independiente. Leibniz lo
public primero, pero Newton incitado por amigos ultrapatriotas
reclam la prioridad y describi a Leibniz como un plagiario. La
disputa agri las relaciones entre los matemticos ingleses y los de
la Europa continental durante un siglo, y los ingleses fueron los que
ms perdieron con ello.
Clculo infinitesimal
Qu es el clculo infinitesimal? Los mtodos de Newton y Leibniz son ms fciles
de entender si presentamos previamente las ideas principales. El clculo
infinitesimal es la matemtica de las tasas de cambio instantneas: con qu
rapidez est cambiando una magnitud concreta en este preciso instante? Un
ejemplo fsico: un tren se mueve por una va: con qu rapidez se mueve
precisamente ahora? El clculo infinitesimal tiene dos ramas principales. El clculo
diferencial proporciona mtodos para
calcular tasas de cambio, y tiene
muchas aplicaciones geomtricas, en
particular encontrar tangentes a curvas.
El clculo integral hace lo contrario:
dada la tasa de cambio de una
magnitud, determina la propia
magnitud. Las aplicaciones geomtricas
del clculo integral incluyen los clculos
de reas y volmenes. Quiz el
descubrimiento ms importante es esta
Aproximaciones geomtricas a la
conexin inesperada entre dos
derivada
preguntas geomtricas clsicas
aparentemente no relacionadas: encontrar tangentes a una curva y encontrar
reas.
El clculo infinitesimal trata de funciones: procedimientos que toman un nmero
general y calculan un nmero asociado. El procedimiento se especifica normalmente
por una frmula, que asigna a un nmero dado x (posiblemente en un rango
especfico) un nmero asociado f(x). Ejemplos son la funcin raz cuadrada
f(x) = x (que requiere que x sea positivo) y la funcin cuadrado f(x) = x 2 (donde
es cualquier funcin f(x) cuya derivada es g(x). Por ejemplo, puesto que la derivada
de es g(x) = 2x, la integral de g(x) = 2x es, en smbolos
El modelo de Hiparco no era muy preciso, comparado con las observaciones, pero el
modelo de Ptolomeo encajaba muy bien con las observaciones y durante ms de mil
aos se vio como la ltima palabra sobre el tema.
Sus escritos, traducidos al rabe como el Almagesto, fueron utilizados por
astrnomos de muchas culturas.
Johannes Kepler
1571-1530
Kepler era hijo de un mercenario y de la hija de una posadera. Su padre muri,
probablemente en la guerra entre los Pases Bajos y el Sacro Imperio Romano,
cuando Kepler era nio, y desde
entonces vivi con su madre en la
posada de su abuelo.
Fue precoz en matemticas, y en 1589
estudi astronoma con Michael Maestlin
en la Universidad de Tubinga. All entr
en contacto con el sistema ptolemaico.
La mayora de los astrnomos de la
poca estaban ms interesados en
calcular rbitas que en preguntarse
cmo se movan realmente los planetas,
pero Kepler se interes desde el
principio en las trayectorias precisas
seguidas por los planetas, antes que en
el sistema de epiciclos propuesto. Se
familiariz con el sistema copernicano, y
rpidamente se convenci de que era
literalmente verdadero y no slo un
truco matemtico.
Eli 1596 hizo su primer intento por encontrar pautas en los movimientos de los
planetas, va su Mysterium Cosmographicum (Misterio del cosmos) con su
extrao modelo basado en los slidos regulares. Este modelo no estaba de
acuerdo con las observaciones, de modo que Kepler escribi a un destacado
astrnomo observacional, Tycho Brahe. Kepler se convirti en el asistente
matemtico de Brahe, quien le puso a trabajar en la rbita de Marte. Tras la
muerte de Brahe, Kepler sigui trabajando en el problema. Brahe haba dejado
una gran riqueza de datos y Kepler se esforz en encajarlos en una rbita
razonable. Los clculos que sobreviven ocupan ms de 1.000 pginas, que
Kepler califica como mi guerra con Marte. Su rbita final era tan precisa que la
nica diferencia con los datos modernos se debe a una mnima deriva de la
rbita durante los siglos transcurridos.
1611 fue un mal ao. El hijo de Kepler muri a los siete aos de edad. A
continuacin muri su mujer. Luego, el emperador Rodolfo, que toleraba a los
protestantes, abdic y Kepler se vio obligado a dejar Praga. En 1613 Kepler se
volvi a casar, y un problema que le ocurri durante la celebracin de su boda le
llev a escribir su Nueva estereometra de las barricas de vino, de 1615.
En 1619 public Harmonices Mundi (La armona del mundo) una secuela de su
Misterio del cosmos. El libro contena muchas matemticas nuevas, incluidas
pautas de teselacin y poliedros. Tambin formul la tercera ley del movimiento
planetario. Mientras estaba escribiendo el libro, su madre fue acusada de
brujera. Con ayuda de la Facultad de Derecho de Tubinga, ella fue finalmente
liberada, en parte porque los acusadores no haban seguido el procedimiento
legal correcto para la tortura.
desacreditar la visin de la Tierra como centro del universo. Y esto caus un enorme
revuelo, y llev a la muerte a muchas personas inocentes, a veces de una forma
terriblemente cruel.
Coprnico
Lo peor lleg en 1543, cuando el estudioso polaco Nicholas Coprnico public un
libro sorprendente, original y algo hertico: Sobre las revoluciones de las esferas
celestes. Como Ptolomeo, l utilizaba epiciclos para alcanzar precisin. A diferencia
de Ptolomeo, l colocaba al Sol en el centro, mientras todo lo dems, incluida la
Tierra, pero excluida la Luna, giraba alrededor del Sol. Slo la Luna giraba alrededor
de la Tierra.
La razn principal de Coprnico para esta propuesta radical era pragmtica: en
lugar de los 77 epiciclos de Ptolomeo slo necesitaba 34. Entre los epiciclos ideados
por Ptolomeo haba muchas repeticiones de un mismo crculo: crculos de tamao y
velocidad de rotacin concretos aparecan asociados con muchos cuerpos distintos.
Coprnico comprendi que si todos estos epiciclos se transferan a la Tierra, slo
uno de ellos sera necesario. Ahora interpretamos esto en trminos del movimiento
de los planetas con respecto a la Tierra.
Si suponemos errneamente que la Tierra est fija, como parece estarlo para un
observador ingenuo, entonces el movimiento de la Tierra alrededor del Sol se
transfiere a todos los planetas como un epiciclo adicional.
Otra ventaja de la teora de Coprnico era que trataba a todos los planetas
exactamente de la misma manera. Ptolomeo necesitaba mecanismos diferentes
para explicar los planetas internos y los planetas externos. Ahora, la nica
diferencia era que los planetas internos estaban ms cerca del Sol que la Tierra,
mientras que los planetas externos estaban ms lejos. Todo tena un sentido
perfecto. Pero en conjunto fue rechazado, y por varias razones, no todas ellas
religiosas.
La teora de Coprnico era complicada, poco familiar y su libro era difcil de leer.
Tycho Brahe, uno de los mejores observadores astronmicos de la poca, encontr
sutiles discrepancias entre la teora heliocntrica de Coprnico y algunas
observaciones, que tambin discrepaban de la teora de Ptolomeo; y trat de
Kepler
Cuando Brahe muri, sus papeles fueron heredados por Kepler, quien pas aos
analizando las observaciones en busca de pautas. Kepler era una especie de
mstico, en la tradicin pitagrica, y tenda a imponer pautas artificiales en los datos
observacionales. El ms famoso de estos intentos abortados por encontrar
regularidades en los cielos fue su bella, pero completamente equivocada,
explicacin del espaciado de los planetas en trminos de los slidos regulares. En su
poca, los planetas conocidos era seis: Mercurio, Venus, la Tierra, Marte, Jpiter y
Saturno. Kepler se pregunt si sus distancias al Sol seguan una pauta geomtrica.
Tambin se pregunt por qu haba seis planetas. Se dio cuenta de que seis
planetas dejan lugar para cinco formas interpuestas, y puesto que haba
exactamente cinco slidos regulares, esto explicara el lmite de seis planetas. Dio
con una serie de seis esferas, cada una de las cuales llevaba en su ecuador la rbita
de un planeta. Entre las esferas, firmemente anidados entre una esfera y la
siguiente, coloc los cinco slidos, en el orden
Mercurio
Octaedro
Venus
Icosaedro
La tierra
Dodecaedro
Marte
Tetraedro
Jpiter
Cubo
Saturno
No hay ninguna razn especial para esperar que estas tres leyes guarden alguna
relacin ms estrecha con la realidad que la hipottica ordenacin de slidos
regulares, pero result que las tres leyes tenan una importancia fsica real.
Galileo
Otra figura importante del periodo fue Galileo Galilei, quien descubri regularidades
matemticas en el movimiento de un pndulo y en los cuerpos que caen. En 1S89,
como profesor de matemticas en la Universidad de Pisa, realiz experimentos con
cuerpos que caan rodando por un plano inclinado, pero no public sus resultados.
Fue en esta poca cuando se dio cuenta de la importancia de los experimentos
controlados en el estudio de los fenmenos naturales, una idea que es ahora
fundamental para toda la ciencia. Se dedic a la astronoma e hizo una serie de
descubrimientos fundamentales que finalmente le llevaron a adoptar la teora
copernicana del Sol como el centro del sistema solar. Esto le encamin hacia una
confrontacin con la Iglesia, y finalmente fue juzgado por hereja y puesto bajo
arresto domiciliario.
Durante los ltimos aos de su vida, con su salud en declive, escribi los Discursos
Galileo Galilei
1984-1842
Galileo era hijo de Vincenzo Galilei, un profesor de msica que haba realizado
experimentos con cuerdas para validar sus teoras musicales. Cuando tena diez
aos Galileo fue al Monasterio de Vallombrosa para ser educado con vistas a
hacerse mdico.
Pero Galileo no estaba realmente
interesado en la medicina, y pas el
tiempo estudiando matemticas y
filosofa natural lo que ahora
llamamos ciencia.
En 1589 Galileo se convirti en
profesor de matemticas en la
Universidad de Pisa. En 1591 asumi
un puesto mejor pagado en Padua,
donde ense geometra euclidiana y
astronoma a los estudiantes de
medicina. En aquella poca los mdicos
hacan uso de la astrologa para tratar
a sus pacientes, por lo que estos temas
eran una parte obligada del currculum.
Al tener noticia del invento del telescopio, Galileo construy uno por su cuenta y
se hizo tan bueno en ello que ofreci sus mtodos al Senado de Venecia,
garantizndole los derechos de su uso a cambio de un aumento de salario. En
1609 Galileo observ los cielos e hizo un descubrimiento tras otro: cuatro de las
lunas de Jpiter, estrellas individuales en la Va Lctea, montaas en la Luna.
Descubri la existencia de manchas solares y public esta observacin en 1612.
Para entonces sus descubrimientos astronmicos le haban convencido de la
verdad de la teora heliocntrica de Coprnico, y en 1616 hizo explcitas sus
ideas en una carta a la gran duquesa Cristina, donde afirmaba que la teora
Leibniz
El primer progreso real importante fue obra de Gottfried Wilhelm Leibniz, un
abogado de profesin que dedic buena parte de su vida a las matemticas, la
lgica, la filosofa, la historia y muchas ramas de la ciencia. Alrededor de 1673
empez a trabajar en el problema clsico de encontrar la tangente a una curva, y
advirti que ste era en efecto el problema inverso al de encontrar reas y
volmenes. El ltimo se reduca a encontrar una curva dadas sus tangentes; el
primer problema era exactamente el inverso.
Leibniz utiliz esta relacin para definir lo que, de hecho, eran integrales, utilizando
la abreviatura omn. As, en sus manuscritos encontramos frmulas tales como
omn x2 = x3/3.
En 1675 haba sustituido omn por el smbolo an utilizado hoy, una letra s
alargada al viejo estilo, que representa sum. El trabajaba en trminos de
incrementos pequeos dx y dy de las cantidades x e y, y utilizaba su razn para
determinar el tasa de cambio de y como funcin de x. En esencia, si f es una
funcin, Leibniz escriba
de modo que
dxn = nxn-1 dx
Newton
El otro creador del clculo infinitesimal fue Isaac Newton. Dos de sus amigos,
Barrow y Edmond Halley, llegaron a reconocer su extraordinaria capacidad y le
Isaac Newton
1642-1727
Newton vivi en una granja en la minscula villa de Woolsthorpe, en
Lincolnshire. Su padre haba muerto dos meses antes de que l naciera, y su
madre llevaba la granja. Fue educado en escuelas locales muy corrientes, y no
mostr ningn talento especial, salvo una habilidad con los juguetes mecnicos.
En una ocasin hizo un globo de aire caliente y lo lanz con el gato de la familia
como piloto; ni el globo ni el gato volvieron a verse. Fue al Trinity College, en la
Universidad de Cambridge, gracias a que haba obtenido notas razonables en la
mayora de los exmenes excepto en geometra. Como estudiante de
licenciatura no caus gran impacto.
Luego, en 1665, la gran plaga
comenz a devastar Londres y sus
alrededores, y los estudiantes fueron
enviados a casa antes de que
Cambridge corriera la misma suerte.
De vuelta a la granja familiar,
Newton empez a pensar mucho ms
profundamente en cuestiones
cientficas y matemticas.
Durante 1665-1666 concibi su ley
de la gravedad para explicar el
movimiento planetario, desarroll las
leyes de la mecnica para explicar y
analizar cualquier tipo de cuerpo o
partcula en movimiento, invent el
clculo diferencial y el integral, e hizo avances importantes en ptica. Como era
propio de l, no public nada de su trabajo, y volvi tranquilamente a Cambridge
donde obtuvo su grado de maestro y fue elegido miembro del college. Luego se
asegur la posicin de la Ctedra Lucasiana de Matemticas, cuando quien la
ocupaba, Barrow, renunci en 1669. Imparti lecciones muy corrientes, ms bien
malas, a las que asistan muy pocos estudiantes.
As, por ejemplo, la fuerza con que se atraen la Tierra y la Luna se reducira a la
cuarta parte si la Luna se llevara a una distancia doble, o a una novena parte si su
distancia se triplicase. Una vez ms, debido a que esta ley trata de fuerzas, implica
a la segunda derivada de las posiciones.
Newton dedujo esta ley a partir de las
tres leyes de Kepler del movimiento
planetario. La deduccin publicada era
una obra maestra de geometra
euclidiana clsica. Newton escogi este
estilo de presentacin porque utilizaba
matemticas familiares, y por ello no
podra ser criticado fcilmente. Pero
muchos aspectos de los Principia deban
su gnesis a la invencin no publicada
f(x) = mxm-1.
El enfoque de Newton para calcular derivadas era muy similar al de Leibniz, salvo
que l utilizaba en lugar de dx, y por ello su mtodo adolece del mismo problema
lgico: parece ser slo aproximado. Pero Newton pudo demostrar que suponiendo
que es muy pequeo, la aproximacin sera cada vez mejor. En el lmite cuando
o se hace tan pequeo como queramos, el error desaparece. Por ello, mantena
Newton, su resultado final era exacto. Introdujo una nueva palabra, fluxin, para
recoger la idea principal: la de una cantidad que fluye hacia cero pero sin llegar
realmente a ello.
En 1671 escribi un tratamiento ms extenso, el Mtodo de fluxiones y series
infinitas. El primer libro sobre clculo infinitesimal no se public hasta 1711; el
segundo apareci en 1736. Es evidente que en 1671 Newton posea la mayor parte
de las ideas bsicas del clculo infinitesimal.
Los objetores a este procedimiento, en particular el obispo George Berkeley en su
libro de 1734, El analista, un discurso dirigido a un matemtico infiel, seal que es
ilgico dividir numerador y denominador por o si ms tarde se hace 0. En efecto,
el procedimiento oculta el hecho de que la fraccin es en realidad 0/0 que, como es
bien conocido, carece de sentido. Newton respondi que l no estaba haciendo
realmente igual a 0; l estaba calculando lo que suceda cuando o se acercaba
tanto como quisiramos a 0 sin llegar a ello realmente. El mtodo trataba de
fluxiones, no de nmeros.
Los matemticos buscaron refugio en analogas fsicas Leibniz se refera al
espritu de finura frente al espritu de la lgica pero Berkeley tena toda la
razn. Se necesit ms de un siglo para encontrar una buena respuesta a sus
objeciones, definiendo la nocin intuitiva de paso al lmite de una forma rigurosa.
El clculo infinitesimal se convirti entonces en una disciplina ms sutil, el anlisis.
Pero durante un siglo despus de la invencin del clculo infinitesimal, nadie
excepto Berkeley se preocup mucho por sus fundamentos lgicos, y el clculo
infinitesimal floreci a pesar de este defecto.
Floreci porque Newton tena razn, pero tuvieron que pasar casi 200 aos antes de
que su concepto de una fluxin fuera formulado de una manera lgicamente
aceptable, en trminos de lmites. Por fortuna para las matemticas, el progreso no
qued detenido hasta que se descubriera una fundamentacin lgica decente. El
Newton, y no Leibniz, el culpable de plagio. En realidad, los dos haban hecho sus
descubrimientos de forma casi totalmente independiente, como muestran sus
manuscritos inditos; para enturbiar las cosas, ambos haban tomado mucho del
trabajo previo de Barrow, quien probablemente tena ms motivos de queja que
cualquiera de ellos.
Las acusaciones podran haber sido retiradas fcilmente, pero en su lugar la disputa
se encon; Johann Bernoulli extendi su disgusto con Newton a toda la nacin
inglesa. El resultado final fue un desastre para las matemticas inglesas, porque los
ingleses se apegaron obstinadamente al estilo geomtrico de pensamiento de
Newton, que era difcil de usar, mientras que el anlisis continental empleaba los
mtodos algebraicos ms formales de Leibniz e hizo avanzar la disciplina con
rapidez. Por consiguiente, quienes mayor provecho sacaron en fsica matemtica
fueron franceses, alemanes, suizos y holandeses, mientras que las matemticas
inglesas languidecan en un remanso.
La ecuacin diferencial
La idea ms importante que emergi del aluvin de trabajo sobre el clculo
infinitesimal era la existencia, y la utilidad, de un nuevo tipo de ecuacin: la
ecuacin diferencial. Las ecuaciones
algebraicas relacionan varias potencias
de un nmero desconocido. Las
ecuaciones diferenciales son mucho ms
grandes: relacionan varias derivadas de
una funcin desconocida.
Las leyes de movimiento de Newton nos
dicen que si y(t) es la altura de una
Trayectoria parablica de un proyectil partcula que se mueve bajo la accin de
la gravedad cerca de la superficie de la Tierra, entonces la segunda derivada es
proporcional a la fuerza g que acta; en concreto,
Captulo 9
Pautas en la naturaleza
Formulando las leyes de la fsica
El mensaje principal de los Principia de Newton no eran las leyes
de la naturaleza especficas que l descubri y utiliz, sino la idea de
que tales leyes existen, junto con la prueba de que la manera de
modelar matemticamente las leyes de la naturaleza es con
ecuaciones diferenciales. Mientras en Inglaterra los matemticos se
enzarzaban en polmicas estriles acerca del supuesto (y totalmente
ficticio) robo por parte de Leibniz de las ideas de Newton sobre el
clculo infinitesimal, los matemticos del continente estaban
recogiendo los beneficios de la gran intuicin de Newton, haciendo
importantes incursiones en mecnica celeste, elasticidad, dinmica
de fluidos, calor, luz y sonido: los temas centrales de la fsica
matemtica. Muchas de las ecuaciones que dedujeron siguen
utilizndose hoy, pese a o quiz a causa de los muchos avances
en las ciencias fsicas.
Ecuaciones diferenciales
Para empezar, los matemticos se concentraron en encontrar frmulas explcitas
para soluciones de tipos particulares de
ecuaciones diferenciales ordinarias. En ...la atencin se centr en las escasas ecuaciones
que podan resolverse por una frmula...
cierto modo esto fue desafortunado
porque la atencin se centr en las escasas ecuaciones que podan resolverse por
una frmula de este tipo antes que en ecuaciones que describan genuinamente la
naturaleza. Un buen ejemplo es la ecuacin diferencial para un pndulo, que toma
la frmula
Es decir, ex es su propia derivada. Esta propiedad es una razn por la que el nmero
e es natural. Una consecuencia es que la derivada del logaritmo natural log x es
1/x, de modo que la integral de 1/x es log x. Cualquier ecuacin diferencial lineal
con coeficientes constantes puede resolverse utilizando funciones exponenciales y
trigonomtricas (que, como veremos, son realmente exponenciales disfrazadas).
Ordinarias y parciales
Hay dos tipos de ecuaciones diferenciales. Una ecuacin diferencial ordinaria (EDO)
se refiere a una funcin desconocida y de una sola variable x, y relaciona varias
derivadas de y, tales como dy/dx y d2y/dx2. Las ecuaciones diferenciales descritas
hasta ahora han sido ordinarias. Mucho ms difcil, pero fundamental para la fsica
matemtica, es el concepto de ecuacin en derivadas parciales (EDP). Una ecuacin
semejante se refiere a una funcin desconocida y de dos o ms variables, tal como
y(x,t) donde x e y son coordenadas espaciales y t es el tiempo. La EDP relaciona
esta funcin con expresiones en sus derivadas parciales con respecto a cada una
de las variables. Se utiliza una nueva notacin para representar derivadas de unas
variables con respecto a otras mientras las restantes se mantienen fijas. As, cx/ct
Ecuacin de ondas
Hoy llamamos ecuacin de ondas a la
EDP de D'Alembert, e interpretamos su
solucin como una superposicin de
ondas colocadas de forma simtrica, una
movindose con velocidad a y otra con
velocidad -a (es decir, viajando en Instantneas sucesivas de una onda que
direcciones opuestas). Se ha convertido viaja de izquierda a derecha
en una de las ecuaciones ms
importantes en fsica matemtica, porque las ondas aparecen en muchas
circunstancias diferentes.
Euler examin el artculo de D'Alembert, e inmediatamente trat de mejorarlo. En
1753 demostr que sin la condicin de contorno la solucin general es
Atraccin gravitatoria
Otra aplicacin importante de las EDP apareci en la teora de la atraccin
gravitatoria, de otro modo conocida como teora del potencial. El problema
motivador fue la atraccin gravitatoria de la Tierra, o de cualquier otro planeta.
Newton haba modelado los planetas como esferas perfectas, pero su forma
verdadera est ms cercana a un elipsoide. Y mientras la atraccin gravitatoria de
una esfera es la misma que la de una partcula puntual (para distancias fuera de la
esfera), esto ya no es cierto para los elipsoides.
Colin Maclaurin hizo avances significativos en estas cuestiones en una memoria que
gan un premio en 1740 y en un libro posterior, el Tratado de fluxiones, publicado
en 1742. Su primer paso consisti en demostrar que si un fluido de densidad
uniforme gira con una velocidad uniforme, bajo la influencia de su propia gravedad,
entonces la forma de equilibrio es un esferoide oblato, un elipsoide de revolucin.
Luego estudi las fuerzas atractivas generadas por tal esferoide, con xito limitado.
Su resultado principal era que si dos esferoides tienen los mismos focos, y si una
partcula yace en el plano ecuatorial o en el eje de revolucin, entonces la fuerza
ejercida sobre ella por uno u otro esferoide es proporcional a sus masas.
En 1743 Clairaut continu trabajando en este problema en su Thorie de la figure
de la Terre. Pero el gran avance fue obra de Legendre. ste demostr una
propiedad bsica no slo de los esferoides, sino de cualquier slido de revolucin: si
se conoce su atraccin gravitatoria en todo punto a lo largo de su eje, entonces se
puede deducir la atraccin en cualquier otro punto.
Su mtodo consista en expresar la atraccin como una integral en coordenadas
polares esfricas. Manipulando esta integral, l expres su valor como una
superposicin de armnicos esfricos. stos estn determinados por funciones
especiales ahora denominadas polinomios de Legendre. En 1784 sigui trabajando
en este tema, y demostr muchas propiedades bsicas de estos polinomios.
La EDP fundamental para la teora del potencial es la ecuacin de Laplace, que
aparece en el Trait de mecanique celeste, en cinco volmenes, que se empez a
publicar en 1799. Era conocida por investigadores anteriores, pero el tratamiento de
Laplace fue definitivo. La ecuacin toma la forma
Calor y temperatura
Los xitos con el sonido y la gravitacin animaron a los matemticos a dirigir su
atencin hacia otros fenmenos fsicos. Uno de los ms importantes era el calor. A
comienzos del siglo XIX la ciencia del flujo de calor se estaba convirtiendo en un
tema de gran inters prctico, principalmente a causa de las necesidades de la
industria metalrgica, pero tambin debido a un creciente inters en la estructura
del interior de la Tierra, y en particular en la temperatura en el interior del planeta.
No hay ninguna forma directa de medir la temperatura a mil kilmetros o ms bajo
la superficie de la Tierra, de modo que las nicas medidas disponibles eran
indirectas y era esencial entender cmo flua el calor a travs de cuerpos de
composiciones diferentes.
En 1807 Joseph Fourier envi un artculo sobre el flujo de calor a la Academia
Francesa de Ciencias, pero los recensores lo rechazaron porque no estaba
suficientemente desarrollado. Para animar a Fourier a continuar el trabajo, la
Academia hizo del flujo de calor el tema de su gran premio de 1812. El tema fue
anunciado con mucha antelacin, y en 1811 Fourier haba revisado sus ideas, las
present al premio y lo gan. Sin embargo, su trabajo fue muy criticado por su falta
es cero siempre que m y n sean enteros distintos, pero no nulos; de hecho, es igual
a /2 cuando m = n. Si suponemos que f(x) tiene un desarrollo de Fourier,
multiplicamos ambos miembros por sen x e integramos, entonces todos los
Dinmica de fluidos
Ninguna discusin de las EDP de la fsica matemtica estara completa sin
mencionar la dinmica de fluidos. De hecho, sta es un rea de enorme importancia
prctica porque estas ecuaciones describen el flujo del agua alrededor de los
submarinos, del aire alrededor de los aviones e incluso el flujo del aire alrededor de
los coches de Frmula 1.
Euler inici la disciplina en 1757 deduciendo una EDP para el flujo de un fluido de
viscosidad nula adherencia cero. Esta ecuacin sigue siendo realista para
algunos fluidos, pero es demasiado simple para muchos usos prcticos. Las
ecuaciones para un flujo viscoso fueron obtenidas por Claude Navier en 1821, y de
nuevo por Poisson en 1829. Incluan varias derivadas parciales de la velocidad del
fluido. En 1845 George Gabriel Stokes dedujo las mismas ecuaciones a partir de
principios fsicos ms bsicos, y ahora se conocen con las ecuaciones de Navier-
Stokes.
En esa poca, las trampas de los argumentos visuales se haban hecho evidentes y
Lagrange estaba decidido a evitarlas. Las figuras vuelven a estar de moda ahora,
aunque apoyadas por lgica slida, pero la insistencia de Lagrange en el
tratamiento formal de la mecnica inspir una nueva unificacin de la disciplina, en
trminos de coordenadas generalizadas. Cualquier sistema puede describirse
utilizando muchas variables diferentes. En el caso de un pndulo, por ejemplo, la
coordenada usual es el ngulo en que cuelga el pndulo, pero la distancia horizontal
entre la lenteja y la vertical servira igualmente.
Las ecuaciones de movimiento se presentan de forma muy diferente en sistemas de
coordenadas diferentes, y Lagrange pensaba que esto era poco elegante. Encontr
una manera de reescribir las ecuaciones de movimiento en una forma que parece la
misma en todos los sistemas de coordenadas. La primera innovacin consiste en
emparejar las coordenadas: con cada coordenada de posicin q (tal como el ngulo
del pndulo) hay asociada la correspondiente coordenada de velocidad q (la
velocidad del movimiento angular del pndulo). Si hay k coordenadas de posicin,
hay tambin k coordenadas de velocidad.
En lugar de una ecuacin diferencial de segundo orden en las posiciones, Lagrange
obtuvo una ecuacin diferencial de primer orden en las posiciones y las velocidades.
gan. El jurado encontr el trabajo tan brillante que aument el importe del
premio. Un trabajo posterior sobre el mismo tema fue recompensado con un
premio por la Academia de Ciencias Sueca, y le llev a ser elegida para la
Academia Imperial de Ciencias.
Velocidad del viento y temperatura del globo terrestre computadas a partir de una
versin ampliada de las ecuaciones de Navier-Stokes
Ondas de radio
Captulo 10
Cantidades imposibles
Pueden tener races cuadradas los nmeros negativos?
Los matemticos distinguen varios tipos de nmeros diferentes, con
propiedades diferentes. Lo que realmente importa no son los
nmeros individuales, sino el sistema al que pertenecen: la
compaa en la que estn.
Cuatro de estos sistemas de nmeros son familiares: los nmeros
naturales, 0, 1, 2, 3,...; los enteros, que incluyen tambin los
nmeros naturales negativos; los nmeros racionales, compuestos
de fracciones p/q, donde p y q son enteros y q es distinto de cero; y
los nmeros reales, que generalmente se presentan como decimales
que se prolongan indefinidamente cualquier cosa que esto
signifiquey representan tanto a los nmeros racionales, con cifras
decimales que se repiten, como a los nmeros irracionales como 2,
e y cuya expansin decimal no repite indefinidamente el mismo
bloque de dgitos.
Enteros
El nombre entero simplemente significa completo; los otros nombres dan la
impresin de que los sistemas en cuestin son cosas sensibles y razonables:
naturales, racionales y por supuesto reales. Los nombres reflejan, y animan, una
visin muy arraigada de que los nmeros son caractersticas del mundo que nos
rodea.
Mucha gente piensa que la nica manera de hacer investigacin matemtica
consiste en inventar nmeros nuevos. Esta idea es casi siempre errnea; muchas
matemticas no tratan con nmeros en absoluto, y en cualquier caso el objetivo
habitual es inventar nuevos teoremas, no nuevos nmeros.
En ocasiones, sin embargo, inventar nmeros nuevos es necesario. Y una de
estas invenciones, un denominado nmero imposible o imaginario, cambi por
completo la faz de las matemticas y aument enormemente su potencia. Ese
nmero era la raz cuadrada de menos uno. Para los primeros matemticos una
Sin embargo, esta expresin no pareca tener un significado razonable, porque -121
no tiene raz cuadrada. Un Cardano intrigado escribi a Tartaglia pidindole una
aclaracin, pero Tartaglia pas por alto el punto y, como era de esperar, su
respuesta fue intil.
Una respuesta, si as se le puede llamar, fue ofrecida por Rafael Bombelli en su libro
en tres volmenes LAlgebra, impreso en Venecia en 1572 y en Bolonia en 1579. A
Bombelli le preocupaba que el Ars Magna de Cardano era bastante oscura, y se
propuso escribir algo ms claro. El operaba sobre la molesta raz cuadrada como si
fuera un nmero ordinario, y advirti que
La idea de que un plano complejo poda ampliar la confortable recta real y dar hogar
a los imaginarios estaba implcita en la obra de Wallis, aunque ligeramente
oscurecida por la forma en que la presentaba. Fue explicitada por el noruego Caspar
Wessel en 1797. Wessel era topgrafo, y lo que le interesaba principalmente era
representar la geometra del plano en trminos de nmeros. En retrospectiva, sus
ideas podan verse como un mtodo de representar nmeros complejos en trminos
de geometra plana. Pero l publicaba en dans, y su trabajo pas desapercibido
hasta un siglo ms tarde, cuando fue traducido al francs. El matemtico francs
Jean-Robert Argand public independientemente la misma representacin de los
nmeros complejos en 1806, y Gauss la descubri independientemente de ambos
en 1811.
Anlisis complejo
Si los nmeros complejos hubieran sido tiles slo para el lgebra, podran haber
seguido siendo una curiosidad intelectual, de poco inters fuera de las matemticas
puras. Pero a medida que creca el inters por el clculo infinitesimal, y ste
adoptaba una forma ms rigurosa como anlisis, la gente empez a advertir que
una fusin realmente interesante del anlisis real con los nmeros complejos el
anlisis complejo era no slo posible sino deseable. En realidad, para muchos
problemas, esencial.
Este descubrimiento derivaba de los intentos iniciales de pensar en funciones
complejas. Las funciones ms simples, tales como el cuadrado o el cubo, dependan
slo de manipulaciones algebraicas, de modo que era fcil definir estas funciones
para nmeros complejos. Para elevar al cuadrado un nmero complejo simplemente
se le multiplica por s mismo, el mismo proceso que se aplicara a un nmero real.
Las races cuadradas de nmeros complejos son algo ms complicadas, pero hay
una recompensa agradable por hacer el esfuerzo: todo nmero complejo tiene una
raz cuadrada.
En realidad, todo nmero complejo no nulo tiene precisamente dos races
cuadradas, una igual a menos la otra. Por ello, aumentar los nmeros reales con un
nuevo nmero, i, no slo proporcionaba a 1 una raz cuadrada, sino que
proporcionaba races para cualquier cosa en el sistema ampliado de los nmeros
complejos.
Qu pasaba con senos, cosenos, la funcin exponencial y el logaritmo? Ahora las
cosas empezaban a hacerse muy interesantes, pero tambin muy intrigantes,
especialmente cuando se llegaba a los logaritmos.
Como sucedi con el propio i, los logaritmos de nmeros complejos se convirtieron
en problemas puramente reales. En
Las races cuadradas de nmeros complejos son
1702 Johann Bernoulli estaba
algo ms complicadas.
investigando el proceso de integracin
aplicado a recprocas de cuadrticas. El conoca una tcnica ingeniosa para realizar
esta tarea siempre que la ecuacin cuadrtica en cuestin tuviera dos soluciones
reales r y s. Entonces podemos reescribir la expresin a integrar en trminos de
fracciones parciales
Pero qu pasa si la cuadrtica no tiene races reales? Cmo se puede integrar, por
ejemplo, la recproca de x2 + 1? Bernoulli se dio cuenta que una vez definida el
lgebra compleja, el truco de la fraccin parcial sigue funcionando, pero ahora r y s
son nmeros complejos. As, por ejemplo,
Este paso final no era plenamente satisfactorio, porque peda una definicin del
logaritmo de un nmero complejo. Era posible dar sentido a tal enunciado?
Bernouilli pensaba que lo era, y procedi a utilizar su nueva idea con un excelente
resultado. Leibniz tambin explot ideas de este tipo, pero los detalles matemticos
no eran simples. En 1712 ambos estaban discutiendo sobre un aspecto muy bsico
de esta aproximacin. Olvidemos los nmeros complejos; qu era el logaritmo de
un nmero real negativo? Bernouilli pensaba que el logaritmo de un nmero real
negativo debera ser real; Leibniz insista en que era complejo. Bernouilli tena algo
parecido a una demostracin de su afirmacin: suponiendo el formalismo habitual
del clculo infinitesimal, la ecuacin
Sin embargo, Leibniz no estaba convencido, y crea que la integracin slo era
correcta para x real positivo.
Esta controversia particular fue resuelta por Euler en 1749, y dio la razn a Leibniz.
Bernouilli, deca Euler, haba olvidado que cualquier integracin incluye una
constante arbitraria. Lo que Bernouilli debera haber deducido era que
para alguna constante c. Cul era esta constante? Si los logaritmos de nmeros
negativos (y complejos) deben comportarse como los logaritmos de nmeros reales,
de modo que c = log (1). Entonces Euler se embarc en una serie de bellos
clculos que daban una forma ms explcita para c. En primer lugar encontr una
manera de manipular varias frmulas que incluan nmeros complejos, suponiendo
que se comportaban como nmeros reales, y dedujo una relacin entre funciones
trigonomtricas y la exponencial:
una frmula que haba sido anticipada en 1714 por Roger Cotes. Haciendo = n,
Euler obtuvo el precioso resultado
ei = -1
log (-1) = i
Hay ms, sin embargo, y esto abre una caja de Pandora. Si hacemos = 2,
entonces
e2i = 1.
log x = log x + 2i
A primera vista esto no tiene sentido; parece implicar que 2ni = 0 para todo n.
Pero hay una manera de interpretarlo que s tiene sentido. Sobre los nmeros
complejos, la funcin logartmica es multivaluada. De hecho, a menos que el
nmero complejo z sea cero, la funcin log z puede tomar infinitos valores distintos.
(Cuando z = 0, el valor log 0 no est definido.)
Los matemticos estaban acostumbrados a funciones que podan tomar varios
valores distintos, siendo la raz cuadrada el ejemplo ms obvio: aqu, incluso un
nmero real posea dos races cuadradas distintas, una positiva y la otra negativa.
Augustin-Louis Cauchy
1789-1857
Augustin-Louis Cauchy naci en Pars durante una poca de turbulencia poltica.
Laplace y Lagrange eran amigos de la familia, de modo que Cauchy estuvo en
contacto con a las matemticas superiores a una edad temprana.
Fue a lcole Polytechnique, donde se
gradu en 1807. En 1810 realiz
trabajos de ingeniera en Cherburgo,
incluido en los preparativos de la
invasin de Inglaterra que planeaba
Napolen, pero sigui pensando sobre
matemticas, leyendo la Mecanique
cleste de Laplace y la Thorie des
functions de Lagrange.
Busc incesantemente puestos
acadmicos, con poco xito, pero sigui
trabajando en matemticas Su famoso
artculo sobre integrales complejas, que
marca de hecho la fundacin del anlisis
complejo, apareci en 1814, y finalmente logr su objetivo de un puesto
acadmico, pues un ao ms tarde se convirti en profesor ayudante de anlisis
en la cole Polytechnique. Ahora sus matemticas avanzaron y un artculo sobre
ondas le vali el premio de 1816 de la Academia de Ciencias. Sigui
desarrollando el anlisis complejo, y en sus Leons sur le calcul differentiel de
1829 dio la primera definicin explcita de una funcin compleja.
Tras la revolucin de 1830 Cauchy fue a Suiza por un breve periodo y en 1831 se
convirti en profesor de fsica terica en Turn. Hay informes de que sus cursos
eran muy desorganizados. En 1833 estaba en Praga, como tutor del nieto de
Carlos X, pero al prncipe no le gustaban las matemticas ni la fsica y Cauchy
sola perder los nervios. Volvi a Pars en 1838 y recuper su puesto en la
Academia, pero no recuper sus puestos docentes hasta que Louis Philippe fue
depuesto en 1848. En conjunto public la sorprendente cantidad de 789 artculos
de investigacin en matemticas.
Teorema de Cauchy?
Lo que realmente provoc un revuelo fue el descubrimiento de que se poda hacer
donde a y b son nmeros complejos. En anlisis real esta expresin puede ser
evaluada encontrando una
antiderivada F(z) de f(z), es decir,
una funcin F(z) tal que su derivada
dF(z)/dz = f(z). Entonces la integral
definida es igual a F(b) - F(a). En
particular, su valor depende slo de los
puntos extremos a y b, no de cmo se
va de uno a otro.
El anlisis complejo, deca Gauss, es
diferente. Ahora el valor de la integral
puede depender del camino que toma la
Dos caminos distintos P y Q de -1 a 1 en variable z cuando se mueve de a a b.
el plano complejo Puesto que los nmeros complejos
forman un plano, su geometra es ms rica que la de la recta real, y aqu es donde
que, para ser diferenciable, una funcin compleja debe satisfacer unas condiciones
muy restrictivas, conocidas como condiciones de Cauchy-Riemann. Estas ecuaciones
llevan directamente al resultado de Gauss de que la integral entre dos puntos puede
depender del camino escogido. De forma equivalente, como advirti Cauchy, la
integral alrededor de un camino cerrado no tiene por qu ser cero. Es cero con tal
de que la funcin en cuestin sea diferenciable (de modo que en particular no es
infinita) en todos los puntos dentro del camino.
Exista incluso un teorema el teorema del residuo que daba el valor de una
integral alrededor de un camino cerrado, y ste dependa slo de la localizacin de
los puntos en donde la funcin se haca infinita y de su comportamiento cerca de
dichos puntos. En resumen, la estructura general de una funcin compleja est
determinada por sus singularidades: los puntos en los que tiene mal
comportamiento. Y las singularidades ms importantes son sus polos, los lugares en
donde se hace infinita.
La raz cuadrada de menos uno intrig a los matemticos durante siglos. Aunque
pareca no haber tal nmero, segua apareciendo en los clculos. Y haba indicios de
que el concepto poda tener algn sentido, porque poda ser utilizado para obtener
resultados perfectamente vlidos que en s mismos no implicaban tomar la raz
cuadrada de un nmero negativo.
Conforme siguieron aumentando los usos satisfactorios de esta cantidad
imposible, los matemticos empezaron a aceptarla como un artificio til. Su
estatus sigui siendo incierto hasta que se entendi que hay una extensin
lgicamente consistente del sistema tradicional de los nmeros reales en donde la
raz cuadrada de menos uno es un nuevo tipo de cantidad; aunque un tipo que
obedece a todas las leyes estndar de la aritmtica.
Desde el punto de vista geomtrico, los nmeros reales forman una recta y los
nmeros complejos forman un plano; la recta real es uno de los dos ejes de este
plano. Desde el punto de vista algebraico, los nmeros complejos son simplemente
pares de nmeros reales con formulas especiales para sumar o multiplicar los pares.
Aceptados ahora como cantidades razonables, los nmeros complejos se difundieron
rpidamente por todas las matemticas porque simplificaban los clculos al evitar la
necesidad de considerar por separado nmeros positivos y negativos. En este
aspecto pueden considerarse anlogos a la invencin anterior de los nmeros
negativos, que evitaban la necesidad de considerar la suma y la resta por separado.
Hoy, los nmeros complejos, y el clculo infinitesimal con funciones complejas, se
utilizan de forma rutinaria como una tcnica indispensable en prcticamente todas
las ramas de la ciencia, la ingeniera y las matemticas.
Captulo 11
Fundamentos firmes
Dando sentido al clculo
En 1800 matemticos y fsicos haban desarrollado el clculo
infinitesimal como una herramienta indispensable para el estudio del
mundo natural, y los problemas que surgieron de esta relacin
llevaron a una riqueza de nuevos conceptos y mtodos por
ejemplo, maneras de resolver ecuaciones diferenciales que
hicieron del clculo infinitesimal una de las reas de investigacin
ms ricas y ms candentes en el conjunto de las matemticas.
La belleza y potencia del clculo infinitesimal se haban hecho
innegables. Sin embargo, las crticas del obispo Berkeley a su base
lgica seguan sin respuesta, y a medida que la gente empez a
abordar temas ms sofisticados, todo el edificio empez a mostrarse
decididamente tambaleante. El inicial uso displicente de series
infinitas, sin considerar su significado, produca absurdos tanto
como buenas ideas. Los fundamentos del anlisis de Fourier eran
inexistentes y diferentes matemticos proclamaban demostraciones
de teoremas contradictorios. Palabras como infinitesimal eran
discutidas sin estar definidas; abundaban las paradojas lgicas;
incluso se cuestionaba el significado de la palabra funcin.
Evidentemente estas circunstancias insatisfactorias no podan
continuar indefinidamente.
Ordenarlo todo requera una cabeza clara y una disposicin a reemplazar intuicin
por precisin, incluso si se perda generalidad. Los actores principales fueron
Bernhard Bolzano, Cauchy, Niels Abel, Peter Dirichlet y, sobre todo, Weierstrass.
Gracias a sus esfuerzos, hacia 1900 incluso las manipulaciones ms complicadas de
series, lmites, derivadas e integrales podan realizarse con seguridad, precisin y
sin paradojas. Se haba creado una nueva disciplina: el anlisis. El clculo
infinitesimal se convirti en un aspecto central del anlisis, pero conceptos ms
sutiles y ms bsicos, tales como continuidad y lmites, tomaron la prioridad lgica
para soportar las ideas del clculo infinitesimal. Los infinitesimales fueron
eliminados por completo.
Fourier
Antes de que se entrometiera Fourier, los matemticos eran felices creyendo saber
lo que era una funcin. Era una especie de proceso, f, que tomaba un nmero, x, y
generaba otro nmero, f(x).Qu nmeros x tienen sentido depende de cul es f. Si
f(x) = 1 /x, por ejemplo, entonces x tiene que ser diferente de cero. Si f(x) = x
estamos trabajando con nmeros reales, entonces x debe ser positivo. Pero cuando
se les peda una definicin, los matemticos solan ser algo vagos.
Ahora entendemos que la fuente de sus dificultades era que estaban tratando de
entender varios aspectos diferentes del concepto de funcin; no slo que es una
regla que asocia a un nmero x otro nmero f(x), sino qu propiedades posee
dicha regla: continuidad, diferenciabilidad, capacidad de ser representada por algn
tipo de frmula y dems.
En particular, no saban muy bien cmo manejar funciones discontinuas, tales
como
f(x) = 0 si x < 0
f(x) = 1 si x > 0
Y la onda cuadrada tiene una nica serie de Fourier, muy bonita, que funciona
igualmente bien en aquellas regiones donde la funcin es 0 y en aquellas regiones
donde la funcin es 1. De modo que esta funcin que parece estar representada por
dos leyes diferentes puede reescribirse en trminos de una sola ley.
Poco a poco, los matemticos del siglo XIX empezaron a separar las diferentes
cuestiones conceptuales en esta difcil rea. Una era el significado del trmino
funcin. Otra eran las diversas maneras de representar una funcin: una frmula,
una serie de potencias, una serie de Fourier o lo que sea. Una tercera era qu
propiedades posea la funcin. Una cuarta era qu representaciones garantizaban
qu propiedades. Un nico polinomio, por ejemplo, define una funcin continua.
Pero pareca que una nica serie de Fourier poda no hacerlo.
Funciones continuas
Ahora los matemticos estaban cayendo en la cuenta de que aunque a veces
enunciaban definiciones del trmino funcin, tenan el hbito de suponer
propiedades extra que no se seguan de la definicin. Por ejemplo, suponan que
cualquier frmula razonable, tal como un polinomio, defina automticamente una
funcin continua. Pero nunca lo haban demostrado. De hecho, no podan
demostrarlo, porque no haban definido continua. Toda el rea estaba plagada de
vagas intuiciones, la mayora de ellas errneas.
La persona que hizo el primer intento serio de ordenar este revoltijo fue un
sacerdote, filsofo y matemtico bohemio. Su nombre era Bernhard Bolzano. El dio
una base lgica a la mayora de los conceptos bsicos del clculo infinitesimal.
Haba una excepcin importante, y es que l daba por hecha la existencia de los
Otro crtico del pensamiento resbaladizo sobre procesos infinitos fue Abel, quien se
quejaba de que la gente estaba utilizando series infinitas sin investigar si las sumas
tenan sentido. Sus crticas calaron, y poco a poco emergi orden a partir del caos.
Lmites
Las ideas de Bolzano dieron impulso a estas mejoras. El hizo posible definir el lmite
de una secuencia infinita de nmeros, y a partir de ello la suma de una serie
infinita. En particular, su formalismo implicaba que la suma
Series de potencias
Weierstrass se dio cuenta de que las mismas ideas funcionaban tanto para nmeros
complejos como para nmeros reales. Todo nmero complejo z = x + iy tiene un
valor absoluto |z| = (x2 + y2), que por el Teorema de Pitgoras es la distancia de
0 a z en el plano complejo. Si medimos el tamao de una expresin compleja
utilizando su valor absoluto, entonces los conceptos de lmites, series y dems, para
nmeros reales, tales como los formul Bolzano, pueden ser transferidos
inmediatamente al anlisis complejo.
Weierstrass advirti que un tipo particular de serie infinita pareca ser
especialmente til. Se conoce como una serie de potencias, y se parece a un
polinomio de grado infinito:
La hiptesis de Riemann
El problema ms famoso no resuelto en el conjunto de las matemticas es la
Hiptesis de Riemann, un problema en anlisis complejo que surgi en relacin
con los nmeros primos pero que tiene repercusiones en todas las matemticas.
Alrededor de 1793 Gauss conjetur que el nmero de primos menores que x es
aproximadamente x/log x. De hecho sugiri una aproximacin ms precisa
llamada la integral logartmica. En 1737 Euler haba advertido una conexin
intrigante entre la teora de nmeros y el anlisis: la serie infinita
Euler ya haba obtenido esta frmula de modo heurstico; ahora Weierstrass poda
1 +x + x2 + x3 + x4+...
sutilezas, con la seguridad de que han sido ordenadas y de que algo que parece
razonable es muy probable que tenga una justificacin rigurosa. Tienen que estar
agradecidos a Bolzano, Cauchy y Weierstrass por esta confianza. Mientras, los
matemticos profesionales siguen desarrollando conceptos rigurosos acerca de
procesos infinitos. Hay incluso un movimiento por reavivar el concepto de un
infinitesimal, conocido como anlisis no estndar, y es perfectamente riguroso y
tcnicamente til en algunos problemas que de otro modo resultan intratables. Evita
las contradicciones lgicas haciendo de los infinitesimales un nuevo tipo de nmero,
no un nmero real convencional. En espritu est prximo a la manera en que
pensaba Cauchy. Sigue siendo una especialidad minoritaria, pero observemos este
espacio.
Captulo 12
Tringulos imposibles
Es la geometra de Euclides la nica posible?
El clculo infinitesimal se basaba en principios geomtricos, pero la
geometra se reduca a clculos simblicos, que luego se
formalizaron como anlisis. Sin embargo, el papel del pensamiento
visual en matemticas tambin se estaba desarrollando en una
direccin nueva o inicialmente bastante chocante. Durante ms de
2.000 aos el nombre do Euclides haba sido sinnimo de geometra.
Sus sucesores desarrollaron sus ideas, especialmente en su trabajo
sobre secciones cnicas, pero no lucieron cambios radicales en el
propio concepto do geometra. En esencia, se supona que slo
puedo haber una geometra, y que sta os una descripcin
matemtica exacta de la verdadera geometra del espacio fsico. La
gente encontraba difcil concebir siquiera una alternativa.
Esto no poda durar.
ciencia sino del arte: las investigaciones tericas y prcticas de la perspectiva por
parte de los artistas del Renacimiento en Italia. El objetivo era hacer cuadros que
parecieran realistas; el resultado fue una nueva manera de pensar en geometra.
Pero, una vez ms, este desarrollo poda verse como una innovacin dentro del
marco euclidiano clsico. Se trataba de cmo vemos el espacio, no del propio
espacio.
El descubrimiento de que Euclides no estaba solo, de que pueden existir tipos de
geometra lgicamente consistentes en los que muchos de los teoremas de Euclides
no son vlidos, surgi de un renovado inters por los fundamentos lgicos de la
geometra, discutidos y desarrollados desde mediados del siglo XVIII hasta
mediados del XIX. La gran cuestin era el Quinto Postulado de Euclides, que dicho
en forma algo tosca afirmaba la existencia de rectas paralelas. Los intentos de
deducir el Quinto Postulado a partir de los restantes axiomas de Euclides llevaron
finalmente al convencimiento de que no es posible tal deduccin. Existen tipos
consistentes de geometra distintos de la euclidiana. Hoy, estas geometras no
euclidianas se han convertido en herramientas indispensables en matemticas
puras y en fsica matemtica.
Geometra y arte
En lo que concerna a Europa, la geometra estuvo estancada entre los aos 300 y
1600. La resurreccin de la geometra como un tema vivo lleg de la cuestin de la
perspectiva en el arte: cmo plasmar de forma realista un mundo tridimensional en
un lienzo bidimensional.
Los artistas del Renacimiento no slo creaban cuadros. Muchos se empleaban en
hacer obras de ingeniera, ya fuera con fines pacficos o guerreros. Su arte tena un
lado prctico, y la geometra de la perspectiva era una bsqueda prctica que se
aplicaba a la arquitectura tanto como a las artes visuales. Haba tambin un inters
creciente en ptica, las matemticas de la luz, que floreci una vez que se hubieran
inventado el telescopio y el microscopio. El primer artista importante en pensar
sobre las matemticas de la perspectiva fue Filippo Brunelleschi. De hecho, su arte
fue principalmente un vehculo para sus matemticas. Un libro seminal es Dell a
Pintura de Leone Battista Alberti escrito en 1435 e impreso en 1511.
con la percibida por su (nico) ojo. Lienzo y realidad proyectan sus imgenes en la
retina, en el fondo del ojo. La forma (conceptual) ms simple de asegurar un encaje
perfecto es hacer el lienzo transparente, mirar a travs del mismo desde una
posicin fija y dibujar en el lienzo exactamente lo que el ojo ve.
As, la escena tridimensional es proyectada en el lienzo. Se une cada rasgo de la
escena al ojo por una lnea recta y se marca el lugar donde esta lnea corta al
lienzo: all es donde se pinta ese rasgo.
Esta idea no es muy prctica si se toma al pie de la letra, aunque algunos artistas
as lo hacan, utilizando materiales translcidos, o vidrio, en lugar de un lienzo. A
veces lo hacan como un paso preliminar, y luego trasladaban el esbozo resultante a
un lienzo para el cuadro propiamente dicho. Un enfoque ms prctico consiste en
utilizar esta formulacin conceptual para relacionar la geometra de la escena
tridimensional con la de la imagen tridimensional.
La geometra euclidiana ordinaria trata de caractersticas que permanecen
invariables bajo movimientos rgidos: longitudes, ngulos. Euclides no la formulaba
as, pero su uso de tringulos congruentes como herramienta bsica tiene el
mismo efecto. (Estos son tringulos del mismo tamao y forma, pero en posiciones
diferentes.) De modo similar, la geometra de la perspectiva se reduce a las
caractersticas que permanecen invariables bajo proyeccin. Es fcil ver que
longitudes y ngulos no se comportan as. Podemos tapar la Luna con nuestro
pulgar, de modo que las longitudes pueden cambiar. Los ngulos no lo hacen mejor;
cuando miramos la esquina de un edificio, que forma un ngulo recto, slo parece
realmente un ngulo recto si la vemos de frente.
Qu propiedades de las figuras geomtricas se conservan bajo proyeccin? Las
ms importantes son tan simples que es fcil pasar por alto su importancia. Los
puntos siguen siendo puntos. Las lneas rectas siguen siendo rectas.
La imagen de un punto situado sobre una lnea recta est situada sobre la imagen
de dicha lnea. Por consiguiente, si dos lneas se cortan en un punto, sus imgenes
se cortan en el punto correspondiente. Las relaciones de incidencia de puntos y
lneas se conservan bajo proyeccin.
Una caracterstica importante que no se conserva completamente es la relacin
paralela. Imaginmonos de pie en medio de una carretera larga y estrecha y
Desargues
El primer teorema no trivial en
geometra proyectiva fue descubierto
por el ingeniero/arquitecto Girad
mismo punto. Entonces los tres puntos P, Q y R en donde se cortan los lados
correspondientes de los dos tringulos yacen en la misma lnea. Este resultado se
denomina hasta hoy Teorema de Desargues. No hace mencin a longitudes ni
ngulos: trata puramente sobre relaciones de incidencia entre lneas y puntos. Por
lo tanto, es un teorema proyectivo.
Hay un truco que hace obvio el teorema: imaginmoslo como mi dibujo de una
figura tridimensional en la que los dos tringulos yacen en dos planos. Entonces la
lnea a lo largo de la cual se intersecan dichos planos es la lnea que contiene los
tres puntos de Desargues P, Q y R. Con un poco de cuidado, los teoremas pueden
incluso demostrarse de esta manera, construyendo una figura tridimensional
adecuada cuya proyeccin se parece a los dos tringulos. Podemos as utilizar
mtodos euclidianos para demostrar teoremas proyectivos.
Legendre
En 1794 Adrien-Marie Legendre descubri otro enunciado equivalente, la existencia
de tringulos semejantes: tringulos que tienen los mismos ngulos pero con lados
de tamaos diferentes. Pero l, y la mayora de los dems matemticos, queran
algo an ms intuitivo. De hecho, exista la sensacin de que el Quinto Postulado
era sencillamente superfluo, una
... y la mayora de los dems matemticos
consecuencia de los otros axiomas. Todo
queran algo an ms intuitivo.
lo que faltaba era una demostracin. Por
ello Legendre ensay todo tipo de cosas. Utilizando slo los otros axiomas,
demostr al menos para su satisfaccin que los ngulos de un tringulo suman
180 o menos. (El deba saber que en geometra esfrica la suma es mayor, pero
sa es la geometra de la esfera, no del plano.) Si la suma es siempre 180, se
sigue el Quinto Postulado. Por ello supuso que la suma poda ser menor que 180, y
desarroll las consecuencias de dicha hiptesis.
Una consecuencia sorprendente era una relacin entre el rea del tringulo y la
suma de sus ngulos. En concreto, el rea es proporcional a la cantidad en que la
suma de los ngulos difiere de 180. Esto pareca prometedor: si pudiera construir
un tringulo cuyos lados fueran el doble que los de un tringulo dado, pero con los
mismos ngulos, entonces obtendra una contradiccin, porque el tringulo mayor
tendra la misma rea que el menor. Pero por mucho que tratara de construir el
tringulo mayor, siempre se encontr apelando al Quinto Postulado.
El consigui salvar un resultado positivo de su trabajo. Sin suponer el Quinto
Postulado, demostr que era imposible que irnos tringulos tengan ngulos que
sumen ms de 180, mientras otros tringulos tienen ngulos que sumen menos de
180. Si un tringulo tuviera ngulos que sumaran ms de 180, lo mismo
sucedera con todos los tringulos; y algo similar si la suma fuera menor que 180.
De modo que haba tres casos posibles:
Los ngulos de todo tringulo suman exactamente 180 (geometra
euclidiana).
Los ngulos de todo tringulo suman menos de 180.
Los ngulos de todo tringulo suman ms de 180 (un caso que Legendre
pensaba que haba excluido; ms tarde se vio que haba hecho otras
hiptesis implcitas para conseguirlo).
Saccheri
En 1733 Gerolamo Saccheri, un sacerdote jesuita de Pava, public un esfuerzo
heroico, Euclides ab ovni naevo
vindicatus (Euclides vindicado de todo
error). Consideraba tambin tres casos,
el primero de los cuales era la geometra
euclidiana, pero l utilizaba un
cuadriltero para hacer la distincin.
Supongamos que el cuadriltero es
ABCD, con A y B ngulos rectos y AC =
Cuadriltero de Saccheri: la recta CD se
BD. Entonces, deca Saccheri, la
ha dibujado curvada para evitar
geometra euclidiana implica que los
hiptesis euclidianas sobre los ngulos C
ngulos C y D son ngulos rectos. Y lo
yD
que es menos obvio: si C y D son
ngulos rectos en cualquier cuadriltero de este tipo, entonces se sigue el Quinto
Postulado.
Sin utilizar el Quinto Postulado, Saccheri demostr que los ngulos C y D son
iguales. Por lo tanto, quedaban dos posibilidades distintas:
Hiptesis del ngulo obtuso: C y D son mayores que un ngulo recto.
Hiptesis del ngulo agudo: C y D son menores que un ngulo recto.
Empez con la hiptesis del ngulo obtuso, y en una serie de teoremas dedujo o
eso pensaba que los ngulos C y D deban ser ngulos rectos despus de todo.
Esto era una contradiccin, de modo que la hiptesis del ngulo obtuso tena que
ser falsa. A continuacin, supuso la hiptesis del ngulo agudo, que llevaba a otra
serie de teoremas, todos correctos, y bastante interesantes en s mismos.
Finalmente demostr un teorema bastante complicado sobre una familia de rectas
que pasaban por un punto, que implicaba que dos de estas rectas tendran una
perpendicular comn en el infinito. Esto no es realmente una contradiccin, pero
Saccheri pensaba que lo era, y declar que la hiptesis del ngulo agudo estaba
tambin refutada.
Eso dejaba slo la geometra euclidiana, por lo que Saccheri pens que su programa
estaba vindicado, junto con el de Euclides. Pero otros advirtieron que l no haba
obtenido realmente una contradiccin de la hiptesis del ngulo agudo; slo un
teorema bastante sorprendente. En 1759 D'Alembert calific el estatus del Quinto
Postulado como el escndalo de los elementos de geometra.
Lambert
El dilema de Gauss
Ahora los gemetras mejor informados empezaban a tener una sensacin definida
de que el Quinto Postulado de Euclides no poda ser demostrado a partir de los otros
axiomas. El caso del ngulo agudo Kant haba defendido que la geometra del espacio
pareca demasiado autoconsistente para deba ser euclidiana.
llevar siempre a una contradiccin. Por otra parte, una esfera de radio imaginario no
era el tipo de objeto que poda proponerse para justificar dicha creencia.
Uno de estos gemetras era Gauss, quien ya a una temprana edad se convenci de
que era posible una geometra no euclidiana lgicamente consistente y demostr
muchos teoremas en una geometra semejante. Pero, como dej claro en 1829 en
una carta a Bessel, l no tena intencin de publicar nada de este trabajo porque
tema despertar la ira de los beodos. La gente poco imaginativa no lo entendera,
y en su ignorancia y adhesin sin lmites a la tradicin ridiculizaran el trabajo. En
esto puede haber estado influido por el estatus jerrquico de la ampliamente
aclamada obra de Kant en filosofa; Kant haba defendido que la geometra del
espacio deba ser euclidiana.
En 1799 Gauss escriba al hngaro Wolfgang Bolyai, dicindole que la investigacin:
parece ms bien obligarme a dudar de la verdad de la propia geometra. Es
cierto que he dado con muchas cosas que para muchas personas constituiran
una demostracin [del Quinto Postulado a partir de los otros axiomas]; pero a
mis ojos no valen nada.
Lo sorprendente es que un universo finito puede existir sin tener una frontera.
La esfera es as en dos dimensiones, y tambin lo es un toro. Al toro se le puede
dar una geometra plana, heredada de un cuadrado al identificar lados opuestos.
Los toplogos tambin han descubierto que el espacio puede ser finito pero
curvado negativamente: una manera de construir tales espacios es tomar un
poliedro finito en un espacio hiperblico e identificar varias caras, de modo
que una lnea que sale del poliedro a travs de una cara vuelve a entrar
inmediatamente por otra cara. Esta construccin es similar a la forma en que se
enrollan los bordes de la pantalla en muchos juegos de ordenador.
Si el espacio es finito, entonces debera ser posible observar la misma estrella en
direcciones diferentes, aunque podra parecer mucho ms lejana en unas
direcciones que en otras, y la regin observable del universo podra ser
demasiado pequea en cualquier caso. Si un espacio finito tiene geometra
hiperblica, estas ocurrencias mltiples de las mismas estrellas en diferentes
direcciones determinan un sistema de crculos gigantes en los cielos, y la
geometra de estos crculos determina qu espacio hiperblico se est
observando. Pero los crculos podran estar en cualquier lugar entre los miles de
millones de estrellas que se pueden ver, y hasta ahora los intentos de
observarlos, basados en correlaciones estadsticas entre las posiciones aparentes
de las estrellas, no han dado ningn resultado.
En 2003 datos de la Wilkinson
Microwave Anisotropy Probe llevaron a
Jean-Pierre Luminet y sus
colaboradores a proponer que el
espacio es finito pero con curvatura
positiva. Encontraron que el espacio
dodecadrico de Poincar obtenido
identificando caras opuestas de un
dodecaedro curvo da el mejor
Para obtener el espacio dodecadrico acuerdo con las observaciones. Esta
de Poincar se identifican las caras sugerencia recibi amplia publicidad
opuestas como la afirmacin de que el universo
tiene la forma de un baln de ftbol. Esta sugerencia no ha sido confirmada, y
actualmente no tenemos idea de la verdadera forma del espacio. Sin embargo,
tenemos una comprensin mucho mejor de lo que hay que hacer para
descubrirlo.
Captulo 13
La emergencia de la simetra
Cmo no resolver una ecuacin
Alrededor de 1850 las matemticas sufrieron uno de los cambios
ms trascendentales de su historia, aunque ello no se hizo entonces
evidente. Antes de 1800, los principales objetos de estudio
matemtico eran relativamente concretos: nmeros, tringulos,
esferas. El lgebra utilizaba frmulas para representar
manipulaciones con nmeros, pero las propias frmulas se vean
como representaciones simblicas de procesos, no como cosas en s
mismas. Pero hacia 1900 frmulas y transformaciones se vean
como cosas, no como procesos, y los objetos del lgebra eran
mucho ms abstractos y ms generales. De hecho, casi todo vala
en lo concerniente al lgebra. Incluso leyes bsicas, tales como la
ley conmutativa de la multiplicacin, ab = ba, haban sido
abandonadas en algunas reas importantes.
Teora de grupos
Estos cambios llegaron fundamentalmente porque los matemticos descubrieron la
teora de grupos, una rama del lgebra que surgi de intentos infructuosos por
resolver ecuaciones algebraicas, en especial la ecuacin qumica, o de quinto
grado. Pero menos de 50 aos despus Hoy, la teora de grupos se ha convertido en una
grupos ya haba sido reconocida como el marco correcto para estudiar el concepto
de simetra. A medida que los nuevos mtodos entraban en la conciencia colectiva,
se hizo claro que la simetra es una idea profunda y central, con innumerables
aplicaciones en las ciencias fsicas y tambin en las biolgicas. Hoy, la teora de
grupos se ha convertido en una herramienta indispensable en todas las reas de las
matemticas y de la ciencia, y sus relaciones con la simetra se destacan en la
mayora de los textos introductorios. Pero se necesitaron varias dcadas para llegar
a este punto de vista. Alrededor de 1900 Henri Poincar deca que la teora de
grupos era efectivamente el conjunto de las matemticas reducidas a su esencia, lo
Resolviendo ecuaciones
La historia de la teora de grupos se remonta al antiguo trabajo babilnico sobre
ecuaciones cuadrticas. Por lo que concierne a los babilonios, su mtodo pretenda
un uso prctico; era una tcnica computacional, y parece que ellos no se hacan
preguntas profundas sobre la misma. Si uno saba cmo encontrar races cuadradas,
y haba dominado la aritmtica bsica, poda resolver cuadrticas.
Hay algunos indicios, en las tablillas de arcilla que nos han llegado, de que los
babilonios tambin pensaron en ecuaciones cbicas, e incluso en algunas
ecuaciones curticas. Los griegos, y despus de ellos los rabes, descubrieron
mtodos geomtricos para resolver ecuaciones cbicas basados en secciones
cnicas. (Ahora sabemos que las tradicionales rectas y crculos euclidianos no
pueden resolver tales problemas exactamente. Se necesitaba algo ms sofisticado;
y result que las cnicas servan para ello.) Una de las figuras destacadas fue el
persa Omar Khayyam, ms conocido por su poema Rubaiyat. Ornar resolvi todos
los tipos posibles de cbicas mediante mtodos geomtricos sistemticos. Pero,
como hemos visto, una solucin algebraica de las ecuaciones cbicas y curticas
tuvo que esperar hasta el Renacimiento, con la obra de Del Ferro, Tartaglia, Fiore,
Cardano y su pupilo Ferrari.
La pauta que pareca emerger de todo este trabajo era simple, incluso si los detalles
eran confusos. Se puede resolver cualquier cbica utilizando operaciones
aritmticas, ms races cuadradas y ms races cbicas. Se puede resolver cualquier
curtica utilizando operaciones aritmticas, ms races cuadradas, ms races
cbicas y ms races cuartas: aunque las ltimas pueden reducirse a dos races
cuadradas tomadas una detrs de otra. Pareca plausible que esta pauta continuara,
de modo que se pudiera resolver cualquier qumica utilizando operaciones
aritmticas, ms races cuadradas, races cbicas, races cuartas y races qumicas.
Y as sucesivamente para ecuaciones de cualquier grado. Sin duda las frmulas
seran muy complicadas, y encontrarlas sera an ms complicado, pero pocos
parecan dudar de que existieran.
Pasaron siglos sin signos de que se hubiera encontrado ninguna frmula semejante.
Entonces, algunos de los grandes matemticos decidieron examinar con ms detalle
el rea en conjunto, ver lo que estaba sucediendo realmente entre bastidores,
unificar los mtodos conocidos y simplificarlos de modo que se hiciera obvio por qu
funcionaban. Luego, pensaban, sera simplemente cuestin de aplicar los mismos
principios generales y la quntica cedera su secreto.
El trabajo ms satisfactorio y ms sistemtico en esta lnea fue realizado por
Lagrange. El reinterpret las frmulas clsicas en trminos de las soluciones que se
estaban buscando.
x2 + px + q = 0
x2 + px + q = (x - a) (x - b)
a + b=-p
ab = q
qumica? Parece que Lagrange lo crea. Escribi que confiaba en que su nuevo punto
de vista sera til para cualquiera que tratara de desarrollar una manera de resolver
qumicas. Parece que no se le ocurri que no pudiera existir tal mtodo; que su
aproximacin fallaba porque en general las qumicas no tienen soluciones en
radicales, que son expresiones que incluyen operaciones aritmticas y races
diversas, tales como races quintas. Para complicar las cosas, algunas qumicas
tienen tales soluciones; por ejemplo, x 5 2 = 0 tiene la solucin x = 52. Pero ste
es un caso bastante simple, y no realmente tpico.
Dicho sea de paso, todas las ecuaciones qunticas tienen soluciones; en general son
nmeros complejos, y pueden encontrarse mediante clculo numrico con la
precisin que se quiera. El problema estaba en las frmulas algebraicas para las
soluciones.
1789. Siguiendo las ideas de Lagrange sobre funciones simtricas, Ruffini lleg a
convencerse de que no existe ninguna frmula que no incluya nada ms esotrico
que races n-simas para resolver la quntica. En su Teora general de ecuaciones de
1799 presentaba una demostracin de que la solucin algebraica de ecuaciones
generales de grado mayor que 4 es siempre imposible. Pero su demostracin era
tan enorme 500 pginas de longitud que nadie estaba dispuesto a comprobarla,
especialmente porque haba rumores de que contena errores. En 1803 Ruffini
public una demostracin nueva y simplificada, pero no tuvo mejor suerte. Durante
su vida, Ruffini nunca consigui asegurarse el crdito por demostrar que la quntica
es insoluble.
La contribucin ms importante de Ruffini consisti en darse cuenta que las
permutaciones pueden ser combinadas unas con otras. Hasta entonces, una
permutacin era una reordenacin de una coleccin de smbolos. Por ejemplo, si
numeramos las races de una quntica como 1 2 3 4 5, entonces estos smbolos
pueden ser reordenados como 5 4 3 2 1, 4 2 1 5 3, o 2 3 1 5 4 o cualquier otra
cosa. Hay 120 ordenaciones posibles. Ruffini comprendi que haba otra manera de
ver una reordenacin semejante: como una receta para reordenar cualquier otro
conjunto de cinco smbolos.
El truco consista en comparar el orden estndar 1 2 3 4 5 con el orden
reordenado. A modo de ejemplo sencillo, supongamos que el orden reordenado era
5 4 3 2 1. Entonces la regla para pasar del orden estndar inicial al orden nuevo era
simple: invertir el orden. Pero se puede invertir el orden de cualquier secuencia
de cinco smbolos. Si los smbolos son a b c d e, el inverso es e d c b a. Si los
smbolos de partida son 2 3 4 5 1, entonces su inverso es 1 5 4 3 2. Esta nueva
manera de ver una permutacin significaba que se podan realizar dos
permutaciones una detrs de otra una especie de multiplicacin de
permutaciones. El lgebra de permutaciones, multiplicadas de esta forma, tena la
clave de los secretos de la quntica.
Abel
Ahora sabemos que haba un error tcnico en la demostracin de Ruffini, pero las
ideas principales eran vlidas y la laguna poda llenarse. l consigui algo: su libro
llev a una sensacin vaga pero generalizada de que la quntica no es soluble por
radicales. Casi nadie pensaba que Ruffini lo hubiera demostrado, pero los
matemticos empezaron a dudar de que pudiera existir una solucin. Por desgracia,
el efecto principal de esta creencia fue el de disuadir a todos de trabajar en el
problema.
Una excepcin fue Abel, un joven noruego con un talento precoz para las
matemticas, que pensaba que haba resuelto la quntica cuando an estaba en la
escuela. Con el tiempo descubri un error, pero sigui intrigado por el problema y
sigui trabajando en l espordicamente. En 1823 encontr una demostracin de la
imposibilidad de resolver la quntica, y esta demostracin era totalmente correcta.
Abel utiliz una estrategia similar a la de Ruffini, pero su tctica era mejor. Al
principio no conoca la investigacin de Ruffini; ms tarde seguro que la conoca,
pero afirmaba que era incompleta. Sin embargo, l no menciona ningn problema
especfico con la demostracin de Ruffini. Lo irnico es que un paso en la
demostracin de Abel es exactamente lo que se necesita para llenar la laguna de la
de Ruffini.
Podemos hacernos una idea general de los mtodos de Abel sin entrar en muchos
tecnicismos. l plantea el problema distinguiendo dos tipos de operaciones
algebraicas. Supongamos que empezamos con varias cantidades; pueden ser
nmeros concretos o expresiones algebraicas con varias incgnitas. A partir de ellas
podemos construir muchas otras cantidades.
La manera fcil de hacerlo es combinar las cantidades existentes sumndolas,
restndolas, multiplicndolas o
Cuando funciona, este truco es espectacular, y
dividindolas. As, a partir de una simple aqu funcionaba maravillosamente.
incgnita, x, podemos crear expresiones
como x2, 3x + 4 (x + 7)/(2x - 3).
Desde el punto de vista algebraico todas estas expresiones estn en pie de igualdad
con la propia x.
La segunda manera de obtener nuevas cantidades a partir de las existentes es
utilizar radicales. Tomamos una de las modificaciones inocuas de las cantidades
existentes y extraemos una raz. Llamamos a tal paso aadir un radical. Si es una
raz cuadrada, decimos que el grado del radical es 2; si es una raz cbica, entonces
el grado es 3, y as sucesivamente.
En estos trminos, la frmula de Cardano para la cbica puede resumirse como el
resultado de un procedimiento de dos pasos. Se empieza con los coeficientes de la
cbica (y cualquier combinacin inocua de ellos). Se aade un radical de grado 2.
Luego se aade otro radical de grado 3. Ya est. Esta descripcin nos dice qu tipo
de frmula aparece, pero no cul es exactamente.
A veces la clave para responder a un enigma matemtico no es centrarse en los
detalles finos, sino considerar los aspectos generales. Menos puede significar ms.
Cuando funciona, este truco es espectacular, y aqu funcionaba maravillosamente.
Permita a Abel reducir cualquier frmula hipottica para resolver la qumica a sus
pasos esenciales: extraer una secuencia de radicales, en algn orden, con varios
grados. Siempre es posible hacer que los grados sean primos; por ejemplo, una raz
sexta es la raz cbica de una raz cuadrada.
Llamamos a tal secuencia una torre radical. Una ecuacin es soluble por radicales si
al menos una de sus soluciones puede expresarse por una torre radical. Pero en
lugar de tratar de encontrar una torre radical, Abel simplemente supuso que exista
una torre radical, y se pregunt qu aspecto deba tener la ecuacin original.
Sin advertirlo, Abel llen la laguna en la demostracin de Ruffini.
Demostr que cuandoquiera que una ecuacin puede resolverse por radicales, debe
existir una torre radical que lleva a dicha solucin y que incluye slo los coeficientes
de la ecuacin original. Esto se denomina el teorema sobre irracionalidades
naturales, y afirma que no puede ganarse nada incluyendo toda una pila de nuevas
cantidades que no estn relacionadas con los coeficientes originales. Esto debera
ser obvio, pero Abel comprendi que en muchos aspectos es el paso crucial en la
demostracin.
La clave de la demostracin de imposibilidad de Abel es un ingenioso resultado
preliminar. Supongamos que tomamos ma expresin en las soluciones, x 1, x2, x3,
x4, x5 de la ecuacin, y extraemos su raz p-sima para algn nmero primo p.
Adems, suponemos que la expresin original no vara cuando aplicamos dos
permutaciones especiales
y
T: x1, x2, x3, x4, x5 > x1, x2, x4, x5, x3
Luego, Abel demostr que la raz p-sima de dicha expresin tampoco vara cuando
aplicamos S y T. Este resultado preliminar lleva directamente a la demostracin del
teorema de imposibilidad, escalando la torre paso a paso. Suponemos que la
quntica puede resolverse por radicales, de modo que hay una torre radical que
empieza con los coeficientes y recorre todo el camino de subida hasta una solucin.
variste Galois
1811-1832
variste Galois era hijo de Nicholas Gabriel Galois y Adelaida Marie Demante.
Creci en la Francia revolucionaria, y tuvo una ideologa poltica tpicamente
izquierdista.
Su gran contribucin a las matemticas no fue reconocida hasta 14 aos despus
de su muerte.
La Revolucin Francesa haba empezado con la toma de la Bastilla en 1789 y la
ejecucin de Luis XVI en 1793. En 1804 Napolen Bonaparte se proclam
emperador, pero despus de una serie de derrotas militares fue obligado a
abdicar y la monarqua fue restaurada en 1814 bajo Luis XVIII. En 1824 Luis
haba muerto y el rey era ahora Carlos X.
En 1827, Galois empez a mostrar un talento
inusual y una obsesin para las
matemticas.
Trat de ingresar en la prestigiosa cole
Polytechnique, pero no aprob el examen. En
1829 su padre, entonces alcalde de la ciudad,
se suicid ahorcndose cuando sus enemigos
polticos inventaron un falso escndalo. Poco
despus, Galois intent una vez ms ingresar
en la cole Polytechnique, y fue suspendido de
nuevo. Entonces entr en la cole Nrmale.
En 1830 Galois present sus investigaciones sobre la solucin de ecuaciones
algebraicas a un premio que ofreca la Academia de Ciencias. El recensor,
Fourier, muri al poco tiempo y el artculo se perdi. El premio fue para Abel
(quien para entonces haba muerto de tuberculosis) y para Cari Jacobi. El mismo
Sin embargo, el ltimo piso contiene una solucin de la ecuacin. Podra ser x 1? Si
lo es, entonces x, no debe variar cuando aplicamos S. Pero S aplicado a x 1 da x2, no
x1, de modo que no vale. Por razones similares, a veces utilizando T, la solucin
definida por la torre tampoco puede ser x2, x3, x4 ni x5.
Las cinco soluciones estn excluidas de cualquier torre semejante; de modo que la
hipottica torre no puede contener de hecho una solucin.
No hay escape de esta trampa lgica. La qumica es insoluble porque cualquier
solucin (por radicales) debe tener propiedades autocontradictorias, y por
consiguiente no puede existir.
Galois
La bsqueda no slo de la qumica, sino de todas las ecuaciones algebraicas, fue
ahora asumida por variste Galois, una de las figuras ms trgicas en la historia de
las matemticas. El propio Galois se propuso la tarea de determinar qu ecuaciones
podan resolverse por radicales y cules no podan. Como varios de sus
predecesores, l comprendi que la clave para la solucin algebraica de ecuaciones
estaba en cmo se comportaban las soluciones cuando se permutaban. El problema
estaba en la simetra.
Ruffini y Abel haban comprendido que una expresin en las soluciones no tena
necesariamente que ser simtrica o no serlo. Poda ser parcialmente simtrica:
invariable frente a unas permutaciones pero no frente a otras. Galois advirti que
las permutaciones que determinan alguna expresin en las races no forman
ninguna coleccin vieja. Tienen un rasgo caracterstico simple. Si se toman dos
permutaciones cualesquiera que determinan la expresin, y se multiplican, el
resultado tambin determina la permutacin. l llam grupo a un sistema tal de
permutaciones. Una vez que hemos comprendido que esto es cierto, es muy fcil
demostrarlo. El truco consiste en advertirlo y reconocer su importancia.
El resultado de las ideas de Galois es que la quntica no puede resolverse por
radicales porque tiene el tipo equivocado de simetras. El grupo de una ecuacin
quntica general consiste en todas las permutaciones de las cinco soluciones. La
estructura algebraica de este grupo es incompatible con una solucin por radicales.
Galois trabaj en otras reas de las matemticas, e hizo descubrimientos
igualmente profundos. En particular, generaliz la aritmtica modular para clasificar
lo que ahora llamamos campos de Galois. stos son sistemas finitos en los que
pueden definirse las operaciones aritmticas de suma, resta, multiplicacin y
divisin, y se aplican todas las leyes habituales. El tamao de un campo de Galois
es siempre una potencia de un primo, y hay exactamente un campo tal para cada
potencia prima.
Jordn
El concepto de grupo apareci por primera vez de una forma clara en la obra de
Galois, aunque con indicios anteriores en los voluminosos escritos de Ruffini y en las
elegantes investigaciones de Lagrange. Menos de una dcada despus de que las
ideas de Galois estuvieran ampliamente disponibles, gracias a Liouville, las
matemticas estaban en posesin de una teora de grupos bien desarrollada.
El principal arquitecto de esta teora fue Camille Jordn, cuyo obra Traite de
Substitutions et des Equations Algbriques, de 667 pginas, fue publicada en 1870.
Jordn desarroll toda la disciplina de una forma sistemtica y global.
La implicacin de Jordn en la teora de grupos empez en 1887, cuando l mostr
el vnculo profundo con la geometra de una manera muy explcita, clasificando los
tipos bsicos de movimiento de un cuerpo rgido en el espacio euclidiano. Y lo que
es ms importante, hizo un intento muy bueno por clasificar cmo estos
movimientos podan combinarse en grupos. Su motivacin principal era la
investigacin cristalogrfica de Auguste Bravais, quien inici el estudio matemtico
de las simetras cristalinas, especialmente la red de tomos subyacente. Los
artculos de Jordn generalizaban la obra de Bravais. l anunci su clasificacin en
1887, y public los detalles en 1888-1889.
Tcnicamente, Jordn trataba slo con grupos cerrados, en los que el lmite de
cualquier secuencia de movimientos en el grupo es tambin un movimiento en el
mismo grupo. stos incluyen todos los grupos finitos, por razones triviales, y
tambin grupos como todas las rotaciones de un crculo en torno a su centro. Un
ejemplo tpico de grupo no cerrado, no considerado por Jordn, podran ser todas
las rotaciones de un crculo en torno a su centro en mltiplos racionales de 360.
Este grupo existe, pero no satisface la
Pero su trabajo fue un paso importante hacia la
propiedad lmite (porque no incluye, por
comprensin de los movimientos rgidos
ejemplo, la rotacin de 3602 grados, euclidianos...
que es el lmite de aproximaciones de
ngulo racional). Los grupos de movimientos no cerrados son enormemente
variados, y casi con certeza estn ms all de cualquier clasificacin razonable. Los
cerrados son tratables, pero difciles.
Los principales movimientos rgidos en el plano son traslaciones, rotaciones,
reflexiones y reflexiones con deslizamiento. En el espacio tridimensional
encontramos tambin movimientos de torsin, como el movimiento de un
sacacorchos: el objeto se traslada a lo largo de un eje fijo y simultneamente rota
alrededor del mismo eje.
Jordn empez con grupos de traslaciones e hizo una lista de diez tipos, todos ellos
mezclas de traslaciones continuas (de cualquier distancia) en unas direcciones y
traslaciones discretas (en mltiplos enteros de una distancia fija) en otras
direcciones. Tambin list los principales grupos finitos de rotaciones y reflexiones:
cclicos, didricos, tetradricos, octadricos e icosadricos. Distingui el grupo O(2)
de todas las rotaciones y reflexiones que dejan fija una lnea en el espacio, el eje, y
el grupo O(3) de todas las rotaciones y reflexiones que dejan fijo un punto en el
espacio, el centro.
Ms tarde se hizo patente que esta lista era incompleta. Por ejemplo, haba pasado
por alto algunos de los ms sutiles grupos cristalogrficos en el espacio
tridimensional. Pero su trabajo fue un paso importante hacia la comprensin de los
movimientos rgidos euclidianos, que son importantes en mecnica, as como en el
cuerpo principal de las matemticas puras.
El libro de Jordn tena un alcance verdaderamente enorme. Empezaba con
aritmtica modular y campos de Galois, que adems de proporcionar ejemplos de
grupos constituyen tambin el fondo esencial para el resto del libro. El tercio central
trabaja con grupos de permutaciones, que Jordn llama sustituciones. El plantea
las ideas bsicas de los subgrupos normales, que son los que utilizaba Galois para
demostrar que el grupo de simetra de la qumica es incompatible con una solucin
por radicales, y demuestra que dichos subgrupos pueden utilizarse para
descomponer un grupo general en fragmentos ms simples. Demuestra que los
tamaos de dichos fragmentos no dependen de cmo se descomponga el grupo. En
1889 Otto Hlder mejor este resultado, interpretando los fragmentos como grupos
en s mismos, y demostr que su estructura de grupo, y no slo su tamao, es
independiente de cmo se descomponga el grupo. Hoy este resultado se llama
Teorema de Jordan-Hlder.
Un grupo es simple si no se descompone de esta manera. El Teorema de Jordan-
Hlder nos dice en efecto que los grupos simples se relacionan con los grupos
generales de la misma manera que los tomos se relacionan con las molculas en
qumica. Los grupos simples son los constituyentes atmicos de todos los grupos.
Jordn demostr que el grupo alternante An que comprende todas las
permutaciones de n smbolos que cambian un nmero par de pares de smbolos, es
simple siempre que n 5. sta es la razn principal de teora de grupos por la que
la qumica es insoluble por radicales.
donde las a, b y c son constantes. Para hacer el grupo finito, Jordn tomaba
normalmente dichas constantes como elementos de los enteros mdulo un primo, o
ms generalmente un campo de Galois.
Tambin en 1889, Jordn desarroll su propia versin de la teora de Galois y la
incluy en el Traite. Demostr que una ecuacin es soluble si y slo si su grupo es
soluble, lo que significa que todos los componentes simples tienen orden primo. El
aplic la teora de Galois a problemas geomtricos.
Simetra
Los 4.000 aos de bsqueda para resolver las ecuaciones qumicas haban llegado a
un parn abrupto cuando Ruffini, Abel y Galois demostraron que no es posible una
solucin por radicales. Aunque era un resultado negativo, tuvo una enorme
influencia en el desarrollo posterior de las matemticas y de la ciencia. Esto sucedi
porque el mtodo introducido para demostrar la imposibilidad result ser
fundamental para la comprensin matemtica de la simetra, y la simetra result
ser vital tanto en matemticas como en ciencia.
Los efectos fueron profundos. La teora de grupos llev a una visin ms abstracta
del lgebra, y con ello a una visin ms abstracta de las matemticas. Aunque
muchos cientficos prcticos eran inicialmente reacios a moverse hacia la
abstraccin, con el tiempo se hizo evidente que los mtodos abstractos son con
frecuencia ms potentes que los concretos, y la mayor parte de la oposicin ha
desaparecido. La teora de grupos tambin dej claro que los resultados negativos
Captulo 14
El lgebra se hace adulta
Los nmeros dan paso a las estructuras
Hacia 1860 la teora de los grupos de permutaciones estaba bien
desarrollada. La teora de invariantes expresiones algebraicas que
no cambian cuando se realizan ciertos cambios de variable haba
llamado la atencin sobre diversos conjuntos infinitos de
transformaciones, tales como el grupo proyectivo de todas las
proyecciones del espacio. En 1808 Camille Jordn haba estudiado
grupos de movimientos en el espacio tridimensional, y las dos
corrientes empezaron a fusionarse.
Conceptos sofisticados
Empezaba a emerger un nuevo tipo de lgebra en la que los objetos de estudio no
eran nmeros desconocidos sino conceptos ms sofisticados: permutaciones,
transformaciones, matrices. Los procesos de ayer se haban convertido en las cosas
de hoy. Las tradicionales reglas del lgebra tuvieron que ser modificadas con
frecuencia para adaptarlas a las necesidades de estas nuevas estructuras. Junto con
los grupos, los matemticos empezaron a estudiar estructuras llamadas anillos,
campos y lgebras diversas.
Un estmulo para esta nueva visin del lgebra proceda de las ecuaciones en
derivadas parciales, la mecnica y la geometra: el desarrollo de los grupos de Lie y
las lgebras de Lie. Otra fuente de inspiracin era la teora de nmeros: aqu podan
utilizarse nmeros algebraicos para resolver ecuaciones diofnticas, entender las
leyes de reciprocidad e incluso atacar el ltimo Teorema de Fermat. De hecho, la
culminacin de tales esfuerzos fue la demostracin del ltimo Teorema de Fermat
por Andrew Wiles en 1995.
Lie y Klein
En 1869 el matemtico noruego Sophus Lie entabl amistad con el matemtico
prusiano Flix Klein. Ambos tenan un inters comn en la geometra lineal, un
vstago de la geometra proyectiva introducida por Julius Plcker. Lie concibi una
idea muy original: debera haber para las ecuaciones diferenciales algo anlogo a la
teora de Galois de las ecuaciones algebraicas.
Una ecuacin algebraica puede resolverse por radicales slo si tiene el tipo correcto
de simetras; es decir, si tiene un grupo de Galois soluble.
Anlogamente, sugera Lie, una ecuacin diferencial puede resolverse por mtodos
clsicos slo cuando la ecuacin queda inalterada por una familia continua de
transformaciones. Lie y Klein trabajaron en variaciones sobre esta idea durante
1869-1870; este trabajo culmin en 1872 en la caracterizacin que hizo Klein de la
geometra como los invariantes de un grupo, establecida en su programa de
Erlangen.
Este programa surgi de una nueva manera de pensar acerca de la geometra
euclidiana, en trminos de sus simetras. Jordn ya haba sealado que las simetras
del plano euclidiano son movimientos rgidos de varios tipos: traslaciones, que
deslizan el plano en alguna direccin; rotaciones, que lo giran alrededor de un punto
fijo; reflexiones, que le dan la vuelta respecto a una recta fija; y, lo que es menos
obvio, reflexiones con deslizamiento, que lo reflejan y luego lo trasladan en una
direccin paralela a la lnea especular.
Estas transformaciones forman un grupo, el grupo euclidiano, y son rgidas en el
sentido de que no cambian las distancias. Por consiguiente, tampoco cambian
ngulos.
As, Klein comprendi que estos conceptos son los invariantes del grupo
euclidiano: las cantidades que no cambian cuando se aplica una transformacin del
grupo.
De hecho, si se conoce el grupo euclidiano se pueden deducir sus invariantes, y a
partir de stos se obtiene la geometra euclidiana.
Ahora longitudes y ngulos son los conceptos bsicos de la geometra de Euclides.
Lo mismo sucede con otros tipos de geometra. La geometra elptica es el estudio
de los invariantes del grupo de movimientos rgidos en un espacio con curvatura
positiva, la geometra hiperblica es el estudio de los invariantes del grupo de
movimientos rgidos en un espacio con curvatura negativa, la geometra proyectiva
es el estudio de los invariantes del grupo de proyecciones, y as sucesivamente.
Flix Klein
1849-1925
Klein naci en Dusseldorf en una familia de clase alta: su padre era secretario del
jefe de gobierno prusiano. Fue a la Universidad de Bonn con intencin de hacerse
fsico, pero se convirti en ayudante de laboratorio de Julius Plcker.
Se supona que Plcker estaba trabajando en matemticas y fsica experimental,
pero sus intereses se haban centrado en la geometra, y Klein cay bajo su
influencia.
La tesis de Klein en 1868 era sobre geometra
aplicada a la mecnica. En 1870 estaba
trabajando con Lie en teora de grupos y
geometra diferencial.
En 1871 descubri que la geometra no
euclidiana es la geometra de una superficie
proyectiva con una seccin cnica distinguida.
Este hecho demostraba, de forma muy obvia y
directa, que la geometra no euclidiana es
lgicamente consistente si lo es la geometra
euclidiana. Esto acab prcticamente con la
controversia sobre el estatus de la geometra no euclidiana.
En 1872 Klein se convirti en profesor en Erlangen. y en su Programa de
Erlangen de 1872 unific casi todos los tipos de geometra conocidos, y clarific
los vnculos entre ellos, considerando la geometra como los invariantes de un
grupo de transformaciones. Con ello la geometra se converta en una rama de la
teora de grupos. Escribi este articulo para su leccin inaugural, pero no lo
present en realidad en tal ocasin. Al encontrar Erlangen poco propicia, se
traslad a Munich en 1875. Se cas con Anne Hegel, nieta del famoso filsofo.
Cinco aos ms tarde fue a Leipzig, donde prosper matemticamente.
Klein crea que su mejor trabajo era en teora de funciones complejas, donde
hizo profundos estudios de funciones invariantes bajo varios grupos de
transformaciones del plano complejo. En particular, desarroll la teora del grupo
simple de orden 168 en este contexto. Entr en rivalidad con Poincar para
resolver el problema de uniformizacin para funciones complejas, pero su
salud se resinti probablemente debido al tremendo esfuerzo implicado.
En 1886 fue nombrado profesor en la Universidad de Gotinga, y se centr en la
administracin, formando una de las mejores escuelas de matemticas del
mundo. Permaneci all hasta su retiro en 1913.
Del mismo modo que las coordenadas relacionan el lgebra con la geometra, los
Killing
El siguiente desarrollo realmente sustancial fue obra de Wilhelm Killing.
En 1888 Killing sent las bases de una teora de estructuras para lgebras de Lie, y
en particular clasific todas las lgebras de Lie simples, los bloques constituyentes
bsicos de los que se componen todas
El resultado del trabajo de Killing es notable.
las dems lgebras de Lie. Killing parti
de la estructura conocida de las lgebras de Lie ms directas, las lgebras de Lie
lineales especiales sl(n) para n 2,5 empieza con todas las matrices n n con
coeficientes complejos, y sea AB-BA el parntesis de Lie de dos matrices A y B. Esta
lgebra de Lie no es simple, pero la sub-lgebra sl(n) de todas las matrices cuyos
trminos diagonales suman cero es simple. Tiene dimensin n 2-1.
Lie conoca la estructura de esta lgebra, y demostr que cualquier lgebra de Lie
simple tena un tipo de estructura similar. Es notable que pudiera demostrar algo
tan especfico partiendo slo del conocimiento de que el lgebra de Lie es simple. Su
mtodo consista en asociar a cada lgebra de Lie simple una estructura geomtrica
conocida como un sistema raz. Utiliz mtodos de lgebra lineal para estudiar y
clasificar sistemas raz, y luego dedujo la estructura del lgebra de Lie
correspondiente a partir de la del sistema raz. As, clasificar las posibles geometras
basa, fundamentalmente, en una caracterstica inusual del grupo de Lie de todas las
rotaciones en el espacio tetradimensional. La teora de los grupos de Lie es vital
para el conjunto de las matemticas modernas.
Grupos abstractos
En el programa de Erlangen de Klein es esencial que los grupos en cuestin
consistan en transformaciones; es decir, los elementos del grupo actan sobre un
espacio. Buena parte del trabajo anterior sobre grupos supona esta estructura.
Pero la investigacin posterior requera un elemento de abstraccin extra: retener la
propiedad de grupo pero desechar el espacio. Un grupo consista en entidades
matemticas que podan combinarse para dar entidades similares, pero dichas
entidades no tenan por qu ser transformaciones.
Los nmeros son un ejemplo. Dos nmeros (enteros, racionales, reales, complejos)
pueden ser sumados, y el resultado es un nmero del mismo tipo. Los nmeros
forman un grupo bajo la operacin de suma, pero los nmeros no son
transformaciones. Por ello, incluso si el papel de los grupos como transformaciones
haba unificado la geometra, la hiptesis de un espacio subyacente tena que ser
desechada para unificar la teora de grupos.
Entre los primeros en acercarse a dar este paso estaba Arthur Cayley, en tres
artculos de 1849 y 1854. En ellos Cayley deca que un grupo comprende un
conjunto de operadores, 1, a, b, c y as sucesivamente. El compuesto ab de dos
operadores cualesquiera deba ser otro operador; el operador especial 1 satisface 1a
= a y a1=a para todos los operadores a; finalmente, la ley asociativa (ab)c = a (be)
deba ser vlida. Pero sus operadores seguan operando sobre algo (un conjunto de
variables). Adems, l haba omitido una propiedad crucial: que todo a debe tener
un inverso a' tal que a'a = aa' = 1. As, Cayley estuvo cerca de alcanzar el premio,
pero fall por poco.
En 1858 Richard Dedekind permiti que Gauss inici el proceso cuando introdujo lo que
ahora llamamos enteros Gaussianos.
los elementos del grupo fueran
entidades arbitrarias, no slo transformaciones u operadores, pero incluy la ley
conmutativa ab = ba en su definicin. Su idea estaba bien para lo que el pretenda,
la teora de nmeros, pero exclua a la mayora de los grupos interesantes en la
Teora de nmeros
Otra fuente importante de nuevos conceptos algebraicos fue la teora de nmeros.
Gauss inici el proceso cuando introdujo lo que ahora llamamos enteros gaussianos.
Estos son nmeros complejos a + bi, donde a y b son enteros. Sumas y productos
de tales nmeros tienen tambin la misma forma. Gauss descubri que el concepto
de un nmero primo se generaliza a los enteros gaussianos. Un entero gaussiano es
primo si no puede expresarse como un producto de otros enteros gaussianos de una
manera no trivial. La factorizacin prima para enteros gaussianos es nica. Algunos
primos ordinarios, tales como 3 y 7, siguen siendo primos cuando los consideramos
como enteros gaussianos, pero otros no: por ejemplo 5 = (2 + i) (2 i). Este
hecho est ntimamente relacionado con el teorema de Fermat sobre nmeros
primos y sumas de dos cuadrados, y los enteros gaussianos ilustran dicho teorema
y sus afines.
Si dividimos un entero gaussiano por otro, el resultado no tiene por qu ser un
entero gaussiano, pero est cerca: es de la forma a 4 - bi, donde a y b son
racionales. Estos son los nmeros gaussianos. Con ms generalidad, los tericos de
nmeros descubrieron que algo similar es vlido si tomamos cualquier polinomio
p(x) con coeficientes enteros y luego consideramos todas las combinaciones lineales
a1x1 +...+ anxn de sus soluciones x1... xn. Tomando a1 an racionales, obtenemos
un sistema de nmeros complejos que es cerrado bajo suma, resta, multiplicacin y
Andrew Wiles
1953
Andrew Wiles naci en 1953 en Cambridge, Inglaterra. A los 10 aos ley acerca
del ltimo Teorema de Fermat y decidi hacerse matemtico y demostrarlo. Para
cuando obtuvo su doctorado haba abandonado esta idea, porque el teorema
pareca intratable, y trabaj en teora de nmeros de curvas elpticas, un rea
en apariencia diferente. Se traslad a los Estados Unidos y fue profesor en
Princeton.
En los aos ochenta del siglo XX se estaba
haciendo claro que podra haber un vnculo
inesperado entre el ltimo Teorema de Fermat
y una cuestin profunda y difcil sobre curvas
elpticas. Gerhard Frey hizo explcito este
vnculo por medio de la denominada conjetura
de Taniyama-Shimura. Cuando Wiles supo de la
idea de Frey dej cualquier otro trabajo para
concentrarse en el ltimo Teorema de Fermat, y
al cabo de siete aos de investigacin en
solitario se convenci de que haba encontrado
una demostracin, basada en un caso concreto de la conjetura de Taniyama-
Shimura. Esta demostracin result tener una laguna, pero Wiles y Richard
Taylor llenaron la laguna y una demostracin completa fue publicada en 1995.
Otros matemticos pronto extendieron las ideas para demostrar la conjetura de
Taniyama- Shimura completa, perfeccionando los nuevos mtodos. Wiles recibi
muchos reconocimientos por su demostracin, incluido el Premio Wolf. En 1998,
y dado que superaba ligeramente la edad para una medalla Fields,
tradicionalmente limitada a personas de menos de 40 aos, le fue concedida una
placa de plata especial por la Unin Matemtica Internacional. Fue nombrado
Caballero de la Orden del Imperio Britnico en 2000.
Mediante listas de axiomas adecuadas se definieron, junto con los grupos, otros tres
que es igual a
808017424794512875886459904961710757005754368000000000
vnculo entre el Ultimo Teorema de Fermat y las curvas elpticas. Supongamos que
existe una solucin a la ecuacin de Fermat; entonces se puede construir una curva
elptica con propiedades muy inusuales
Andrew Wiles haba soado de nio con demostrar
tan inusuales que la existencia de la
el Ultimo Teorema de Fermat.
curva parece altamente improbable.
En 1986 Keneth Ribet precis esta idea al demostrar que si la conjetura de
Taniyama-Weil es verdadera, entonces la curva de Frey no puede existir. Por
consiguiente, tampoco puede existir la presunta solucin de la ecuacin de Fermat,
lo que demostrara el ltimo Teorema de Fermat. La aproximacin dependa de la
conjetura de Taniyama-Weil, pero demostraba que el ltimo Teorema de Fermat no
es simplemente una curiosidad histrica aislada. Ms bien yace en el corazn de la
moderna teora de nmeros.
Andrew Wiles haba soado de nio con demostrar el ltimo Teorema de Fermat,
pero cuando se convirti en un profesional decidi que era tan slo un problema
aislado; no resuelto, pero no realmente importante. El trabajo de Ribet le hizo
cambiar de opinin. En 1993 l anunci una demostracin de la conjetura de
Taniyama-Weil para una clase especial de curvas elpticas, suficientemente general
para demostrar el ltimo Teorema de Fermat. Pero cuando el artculo fue enviado
para publicacin, apareci una seria laguna. Wiles estaba a punto de abandonar
cuando de repente, de forma totalmente inesperada, tuve esta increble
revelacin... era indescriptiblemente bella, era tan simple y elegante que no poda
creerlo. Con la ayuda de Richard Taylor, l revis la demostracin y cubri la
laguna. Su artculo fue publicado en 1995.
Podemos estar seguros de que cualesquiera que fueran las ideas que Fermat tena
en mente cuando afirm poseer una demostracin de su ltimo Teorema, stas
deban ser muy diferentes de los mtodos utilizados por Wiles.
Realmente tena Fermat una demostracin simple e ingeniosa, o se estaba
engaando? Es un enigma que, a diferencia de su ltimo Teorema, nunca podr
resolverse.
La matemtica abstracta
El paso hacia una visin ms abstracta de las matemticas fue una consecuencia
natural de la creciente diversidad de su material. Cuando las matemticas trataban
fundamentalmente de nmeros, los smbolos del lgebra eran simplemente lugares
donde colocar nmeros. Pero a medida que crecan las matemticas, los smbolos
empezaron a cobrar vida propia. El significado de los smbolos se hizo menos
importante que las reglas de acuerdo con las que podan manipularse dichos
smbolos. Ni siquiera las reglas eran sagradas: las leyes tradicionales de la
aritmtica, tales como la ley conmutativa, no siempre eran adecuadas en nuevos
contextos.
No fue slo el lgebra la que se hizo abstracta. El anlisis y la geometra se
centraron tambin en cuestiones ms generales, por razones similares. El cambio
principal en el punto de vista tuvo lugar desde mediados del siglo xix a mediados
del XX. Despus de ello se inici un periodo de consolidacin, a medida que los
matemticos trataban de encontrar un compromiso entre las necesidades de
formalismo abstracto, por un lado, y No fue slo el lgebra la que se hizo abstracta.
Captulo 15
Geometra de la lmina elstica
Lo cualitativo vence a lo cuantitativo
Todos los ingredientes principales de la geometra de Eldales
rectas, ngulos, crculos, cuadrados y dems estn relacionados
con la medida. Los segmentos de recta tienen longitudes, los
ngulos tienen un tamao definido y un ngulo de 90 difiere
esencialmente de uno de 89 o 91, los crculos estn definidos en
trminos de sus radios, los cuadrados tienen lados de una longitud
dada. El ingrediente oculto que conforma toda la obra de Elididos es
la longitud, una magnitud mtrica que no cambia por
movimientos rgidos y que define el concepto euclidiano equivalente
al movimiento, la congruencia.
Medida
Cuando los matemticos tropezaron por primera vez con otros tipos de geometra,
tambin eran geometras mtricas. En geometra no euclidiana, longitudes y
ngulos estn bien definidos; sencillamente tienen propiedades diferentes de las
longitudes y los ngulos en el plano euclidiano. La llegada de la geometra
proyectiva cambi esto: las transformaciones proyectivas pueden cambiar
longitudes y pueden cambiar ngulos. La geometra euclidiana y los dos tipos
principales de geometras no euclidianas son rgidas. La geometra proyectiva es
ms flexible, pero incluso aqu existen invariantes ms sutiles, y en la imagen de
Klein lo que define una geometra es un grupo de transformaciones y los
correspondientes invariantes.
Cuando el siglo XIX se acercaba a su fin, los matemticos empezaron a desarrollar
un tipo de geometra an ms flexible; tan flexible, de hecho, que a menudo es
caracterizada como la geometra de la lmina elstica. Conocida ms
propiamente como topologa, sta es la geometra de las formas que pueden ser
deformadas o distorsionadas de maneras extraordinariamente complicadas. Las
rectas pueden curvarse, contraerse o estirarse; los crculos pueden aplastarse de
modo que se convierten en tringulos o cuadrados. Todo lo que cuenta aqu es la
continuidad.
Sigue habiendo un vestigio de pensamiento mtrico: cerrado es un concepto
mtrico. Pero a principios del siglo XX, incluso este vestigio haba sido eliminado, y
las transformaciones topolgicas cobraron vida propia. El estatus de la topologa
creci rpidamente hasta ocupar el centro de la escena en matemticas, incluso si
de entrada pareca muy extrao y prcticamente libre de contenido. Con
transformaciones tan flexibles, qu poda ser invariante? Result que la respuesta
era mucho. Pero el tipo de invariante que se empez a descubrir no se pareca a
nada antes considerado en geometra. Conectividad: cuntas piezas tiene este
objeto? Agujeros: es un bloque macizo o est atravesado por tneles? Nudos:
cmo est entrelazado, y cmo pueden deshacerse los nudos? Para un toplogo,
un donut y una taza de caf son idnticos; sin embargo, ambos son diferentes de
una bola redonda. Un nudo as de gua es diferente de un nudo de rizo, pero
demostrarlo requera todo un nuevo tipo de maquinaria, y durante mucho tiempo
nadie pudo demostrar que los nudos existan siquiera.
Parece extraordinario que algo tan difuso y extrao pudiera tener alguna
importancia. Pero las apariencias engaan. La continuidad es uno de los aspectos
bsicos del mundo natural, y cualquier estudio profundo de la continuidad lleva a la
topologa. Incluso hoy utilizamos bsicamente la topologa de forma indirecta, como
una tcnica entre muchas. No encontramos nada topolgico en nuestra cocina, al
menos no de forma obvia. (Sin embargo, podemos encontrar ocasionalmente cosas
tales como un lavaplatos catico, que utiliza la extraa dinmica de dos brazos
rotatorios para limpiar platos de forma ms eficiente. Y nuestra comprensin del
fenmeno del caos descansa en la topologa.) Los principales usuarios prcticos
de la topologa son los tericos de campos cunticos; un uso nuevo de la palabra
prctico, quiz, pero un rea importante de la fsica. Otra aplicacin de las ideas
topolgicas se da en biologa molecular, donde describir y analizar las torsiones y
vueltas de la molcula de ADN requiere conceptos topolgicos.
Entre bastidores, la topologa est presente en todas las matemticas de la
corriente principal y permite el desarrollo de otras tcnicas con usos prcticos ms
obvios. Es un estudio riguroso de aspectos geomtricos cualitativos, frente a
aspectos cuantitativos como longitudes. Por esto es por lo que los matemticos dan
gran importancia a la topologa, mientras que el resto del mundo apenas ha odo
hablar de ella.
C-A +V = 2.
Es vlida la frmula para todos los poliedros? No del todo. Un poliedro con la forma
de un marco de fotos, con secciones cuadradas e ingletes, tiene 16 caras, 32 aristas
y 16 vrtices, de modo que aqu C + V A = 0. La razn de la discrepancia resulta
ser la presencia de un agujero. De hecho, si un poliedro tiene g agujeros,
entonces
C + V - A = 2 - 2g.
que constituyen sus superficies, junto con sus aristas y vrtices. Todo lo que cuenta
yace en la superficie. En segundo lugar, los nicos agujeros que cambian la
numerologa son los que atraviesan por completo el poliedro: tneles con dos
extremos, por as decir, no agujeros como los que cavan los obreros en la carretera.
En tercer lugar, tales agujeros no estn en la superficie, aunque estn de algn
modo delimitados por ella. Cuando compramos un donut, tambin compramos su
agujero, incluso si en este caso tambin compramos el interior macizo del donut.
Es ms fcil definir lo que significa sin agujeros. Un poliedro no tiene agujeros si
puede ser deformado de forma continua, creando caras y aristas curvas, de modo
que se convierta en (la superficie de) una esfera. Para estas superficies, C + V - E
es siempre 2. Y tambin es vlida la recproca: si C + V - E = 2, entonces el
poliedro puede deformarse para dar una esfera.
El poliedro del marco de fotos no tiene el aspecto de poder ser deformado para dar
una esfera; dnde podra ir el agujero? Para una demostracin rigurosa de la
imposibilidad no necesitamos buscar ms lejos que el hecho de que para este
poliedro C + V - E = 0. Esta relacin es imposible para superficies que puedan
deformarse hasta dar esferas. Por ello, la numerologa de los poliedros nos dice
propiedades importantes de su geometra, y dichas propiedades pueden ser
invariantes topolgicos, inalterados bajo deformaciones.
La frmula de Euler se ve ahora como un indicio significativo de un vnculo til entre
aspectos combinatorios de los poliedros, tales como nmero de caras, y aspectos
topolgicos. De hecho, resulta ms fcil trabajar hacia atrs. Para descubrir cuntos
agujeros tiene una superficie, calculamos C + V - E - 2, lo dividimos por 2 y lo
cambiamos de signo:
g = (C + V - A - 2)/2
La cinta de Mbius
La topologa tiene algunas sorpresas. La ms conocida es la cinta de Mbius (o
banda de Mbius) que puede formarse tomando una larga cinta de papel y
uniendo los extremos tras darles medio giro. Sin este giro, obtenemos un
cilindro. La diferencia entre estas dos superficies se hace patente si tratamos de
pintarlas. Podemos pintar de rojo la superficie exterior de un cilindro y de azul la
interior. Pero si empezamos a pintar una cinta de Mbius de rojo por un lado, y
continuamos hasta que ha sido cubierta toda la
parte de la superficie que est conectada con la
regin roja, terminamos pos cubrir toda la cinta
de pintura roja.
La superficie interior est conectada con la
exterior, gracias al medio giro.
Otra diferencia aparece si cortamos la cinta a lo largo de la lnea central. El
cilindro se divide en dos piezas; la cinta de Mbius sigue estando conectada.
La esfera de Riemann
La forma obvia de pensar en una funcin compleja f es interpretarla como una
aplicacin de un plano complejo en otro. La frmula bsica w = f(z) para una
La mayora de los nmeros complejos tienen dos races cuadradas distintas, como
sucede con los nmeros reales.
Estas races cuadradas difieren slo en su signo: una es menos la otra. Por ejemplo,
las races cuadradas de 2i resultan ser (1 + i) y (1 i), igual que las races
cuadradas reales de 4 son 2 y -2. Sin embargo, hay un nmero complejo con slo
una raz cuadrada, a saber 0. Por qu? Porque +0 y -0 son iguales.
Para ver por qu 0 es un punto rama de la funcin raz cuadrada imaginemos que
partimos del punto 1 del plano complejo y escogemos una de las dos races
cuadradas. La eleccin obvia es tambin 1. Ahora movemos poco a poco el punto a
lo largo del crculo unidad, y mientras lo hacemos, nos fijamos en la raz cuadrada
que sigue variando de forma continua. Cuando hemos recorrido la mitad del crculo,
hasta 1, la raz cuadrada slo ha recorrido una cuarta parte del camino, hasta +i,
desde -1 = +i i. Continuando hasta completar el camino, volvemos al punto de
partida 1. Pero la raz cuadrada, que se mueve a la mitad de la velocidad, termina
en -1. Para que la raz cuadrada vuelva a su valor inicial el punto tiene que recorrer
el crculo dos veces.
Riemann encontr una manera de domesticar este tipo de singularidad,
desdoblando la esfera de Riemann en dos capas. Dichas capas estn separadas
excepto en los puntos 0 y , que es un segundo punto rama. En estos dos puntos
las capas se unen; o, pensndolo al revs, se ramifican a partir de las capas
Superficies orientables
El gnero result ser importante por varias cuestiones profundas en anlisis
complejo, que a su vez atrajeron la atencin sobre la topologa de superficies.
Result entonces que hay una segunda clase de superficies, que difieren de los
toros g-agujereados pero estn ntimamente relacionadas con ellos.
La diferencia es que los toros g-agujereados son superficies orientables, lo que
intuitivamente significa que tienen dos caras distintas. Heredan esta propiedad del
plano complejo, que tiene una cara superior y una cara inferior, porque las
escaleras de caracol se unen de una forma que conserva esta distincin. Si en su
lugar unimos dos pisos de la escalera poniendo un piso del revs, las caras
La posibilidad de este tipo de unin fue resaltada por primera vez por Mbius, cuya
cinta de Mbius tiene una sola cara y un solo borde. Klein fue un paso ms all y
peg idealmente un disco circular a lo largo del borde de la cinta de Mbius para
eliminar por completo el borde. La superficie resultante, bautizada jocosamente
como botella de Klein, tiene una nica cara y ningn borde. Si tratamos de dibujarla
dentro del espacio tridimensional normal, tiene que atravesarse a s misma.
Pero como superficie abstracta por s misma (o como una superficie dentro de mi
espacio tetradimensional) esta autointerseccin no se da.
El teorema sobre toros g-agujereados puede reformularse as: cualquier superficie
orientable (de extensin finita sin bordes) es topolgicamente equivalente a una
esfera con g asas extra (donde g podra ser 0). Hay una clasificacin similar de las
superficies no orientables (de una cara): pueden formarse a partir de una superficie
llamada el plano proyectivo aadiendo g asas. La botella de Klein es un plano
proyectivo con un asa.
La combinacin de estos dos resultados se llama Teorema de Clasificacin de
Superficies. Nos da, salvo equivalencia topolgica, todas las superficies posibles (de
extensin finita sin bordes).
Con la demostracin de este teorema la topologa de espacios bidimensionales
superficies poda considerarse conocida. Eso no significaba que cualquier
cuestin posible sobre superficies pudiera resolverse sin ms esfuerzo, pero daba un
punto de partida razonable para considerar cuestiones ms complicadas. El
Teorema de Clasificacin de Superficies es una herramienta muy potente en
topologa bidimensional.
Cuando pensamos en topologa suele ser til suponer que el espacio en cuestin es
todo lo que existe. No hay necesidad de insertarlo en un espacio circundante.
Actuando as se centra la atencin en las propiedades intrnsecas del espacio. Una
imagen vivida es la de una minscula criatura que vive en, digamos, una superficie
topolgica. Cmo podra tal criatura, ignorante de cualquier espacio circundante,
descubrir en qu superficie habita? Cmo podemos caracterizar intrnsecamente
tales superficies?
En 1900 se entendi que una manera de responder a tales preguntas es considerar
lazos cerrados en la superficie y cmo pueden deformarse estos lazos. Por ejemplo,
en una esfera cualquier lazo cerrado puede ser deformado de forma continua hasta
ser reducido, o contrado, a un punto. Por ejemplo, el crculo del ecuador puede
ser desplazado poco a poco hacia el Polo Norte, hacindose cada vez ms pequeo
hasta que coincide con el propio Polo Norte.
Por el contrario, toda superficie que no es equivalente a una esfera contiene lazos
que no pueden deformarse hasta puntos. Tales lazos pasan a travs de un
agujero y el agujero les impide contraerse. Por ello, la esfera puede caracterizarse
como la nica superficie en la que cualquier lazo cerrado puede contraerse hasta un
punto.
deforman.
La homotopa est ntimamente relacionada con los mtodos que tan bien haban
servido para las superficies, y Poincar busc resultados anlogos en tres
dimensiones. Aqu se vio llevado a una de las preguntas ms famosas de todas las
matemticas.
El conoca la caracterizacin de la esfera como la nica superficie en la que
cualquier lazo puede contraerse. Funcionaba una caracterizacin similar en tres
dimensiones? Durante un tiempo l supuso que s lo haca; de hecho, pareca tan
obvio que ni siquiera advirti que estaba formulando una hiptesis. Ms tarde se dio
cuenta de que una versin plausible de esta afirmacin es realmente falsa, mientras
que otra formulacin ntimamente relacionada pareca difcil de demostrar pero muy
bien podra ser verdadera. Plante una cuestin, ms tarde reinterpretada como la
Conjetura de Poincar: si una variedad tridimensional (sin frontera, de extensin
finita, y todo lo dems) tiene la propiedad de que cualquier lazo cerrado en ella
pueda contraerse hasta un punto, entonces la variedad debe ser topolgicamente
equivalente a la 3-esfera (un anlogo tridimensional de una esfera).
Intentos posteriores de demostrar la conjetura tuvieron xito para generalizaciones
a cuatro o ms dimensiones. Los toplogos siguieron luchando con la conjetura
original de Poincar, en tres dimensiones, sin xito.
En los aos ochenta del siglo XX William Thurston dio con una idea que posibilitara
un acercamiento a la Conjetura de Poincar con un plan ms ambicioso. Su
conjetura de geometrizacin va ms lejos y se aplica a todas las variedades
tridimensionales, no slo a aquellas en las que todos los lazos pueden contraerse.
Parte de una interpretacin de la clasificacin de las superficies en trminos de
geometra no euclidiana.
El toro puede obtenerse tomando un cuadrado en el plano euclidiano e identificando
bordes opuestos. Como tal, es plano: tiene curvatura cero.
La esfera tiene curvatura constante positiva. Un toro con dos o ms agujeros puede
representarse como una superficie de curvatura constante negativa. Por eso, la
topologa de superficies puede representarse en trminos de tres tipos de
geometra, una euclidiana y dos no euclidianas, a saber, la propia geometra
euclidiana, la geometra elptica (curvatura positiva) y la geometra hiperblica
(curvatura negativa).
Grigori Perelman
Perelman naci en 1966 en lo que entonces era la Unin Sovitica.
Como estudiante fue miembro del equipo de la
URSS que compiti en la Olimpiada Internacional de
Matemticas y gan una medalla de oro con una
puntuacin del 100 por 100. Ha trabajado en los
Estados Unidos y en el Instituto Steklov de San
Petersburgo pero actualmente no ocupa ningn
puesto acadmico concreto. Su carcter cada vez
ms retrado ha sumado una dimensin humana
inusual a la historia matemtica. Lstima que esta
historia refuerce el estereotipo del matemtico
excntrico!
Perelman
En 2002 Grigori Perelman caus sensacin al colocar varios artculos en los arXiv,
una pgina web para investigacin en fsica y matemticas que permite a los
investigadores ofrecer acceso pblico a trabajos que no han pasado la revisin por
los pares, y que con frecuencia estn an en curso.
(El objetivo de la pgina web es evitar las largas demoras que se producen mientras
Captulo 16
La cuarta dimensin
Geometra fuera de este mundo
En su novela de ciencia ficcin La mquina del tiempo, Herbert
George Wells describa la naturaleza subyacente del espacio y el
tiempo de una forma que ahora encontramos familiar, pero que
debi de producir de asombro a sus lectores Victorianos: Hay
realmente cuatro dimensiones, tres que llamamos los tres planos del
espacio, y una cuarta, el tiempo. Para fijar el contexto de su
historia, aada: Hay, sin embargo, una tendencia a trazar una
distincin irreal entre las tres primeras dimensiones y la ltima,
porque sucede que nuestra consciencia se mueve a lo largo de la
ltima en una misma direccin y de forma algo irregular desde el
principio hasta el final de nuestra vida. Pero algunos filsofos se han
estado preguntando por qu tres dimensiones en particular por
qu no otra direccin a ngulos rectos respecto a las tres? e
incluso han tratado de construir una geometra tetradimensional.
Su protagonista va ms lejos, supera las supuestas limitaciones de
la consciencia humana y viaja en la cuarta dimensin del tiempo
como si fuera una dimensin normal del espacio.
La cuarta dimensin
El arte del escritor de ciencia ficcin est en eliminar la incredulidad, y Wells la
consigui informando a sus lectores de que el profesor Simn Newcomb estaba
exponiendo esto ante la Sociedad Matemtica de Nueva York hace tan slo un
mes. Aqu Wells se estaba refiriendo probablemente a un suceso real; sabemos
que aproximadamente en esas fechas, Newcomb, un astrnomo prominente, dio
una conferencia sobre el espacio tetradimesional. Su conferencia reflejaba un
cambio importante en el pensamiento matemtico y cientfico, pues liberaba a estas
disciplinas de la hiptesis tradicional de que el espacio debe tener siempre tres
dimensiones. Esto no implica que el viaje en el tiempo sea posible, pero daba a
Wells una excusa para hacer observaciones penetrantes sobre la naturaleza humana
Y esa pregunta se confunda adems con puede haber cuatro dimensiones dentro
de nuestro propio espacio familiar?, para la que la respuesta es no. Por ello era
(x, y) + (u, v) = (x + u, y + v)
(x, y) (u, v) = (xu yv, xv + yu),
Geometra diferencial
Los gemetras respondieron a la invasin de su territorio por parte de los
algebristas reinterpretando geomtricamente los nmeros hipercomplejos.
La figura clave en esto fue Riemann. El estaba trabajando para su Habilitacin,
que le dara derecho a cobrar tasas de matrcula a sus estudiantes. Los candidatos a
la Habilitacin deban dar una leccin especial sobre su propia investigacin.
Siguiendo el procedimiento habitual, Gauss pidi a Riemann que propusiera varios
temas, entre los que Gauss hara la eleccin final. Una de las propuestas de
Riemann fue Sobre las hiptesis que yacen en los fundamentos de la geometra,
y Gauss, que haba estado pensando sobre la misma cuestin, eligi ese tema.
Riemann estaba aterrorizado; le disgustaba hablar en pblico y no haba elaborado
por completo sus ideas. Pero lo que tena en mente era explosivo: una geometra de
n dimensiones, por lo que entenda un sistema de n coordenadas (x 1, x2,..., xn),
equipado con una nocin de distancia entre puntos prximos. Llamaba a tal espacio
una variedad.
Esta propuesta ya era suficientemente radical, pero haba otra caracterstica an
ms radical: las variedades podan estar curvadas. Gauss haba estado estudiando
lgebra matricial
u = ax + by
v = ex + dy
Espacio real
Existen las dimensiones superiores? La respuesta depende, por supuesto, de lo que
entendemos por existe, pero la gente no suele entender este tipo de cosas,
especialmente cuando despiertan sus emociones. La cuestin pas a primer plano
en 1869. En un famoso discurso en la Asociacin Britnica, ms tarde reimpreso
como Un ruego para el matemtico, James Joseph Sylvester seal que la
generalizacin es una manera importante de avanzar en matemticas. Lo que
importa, deca Sylvester, es lo que es concebible, no lo que corresponde
directamente a la experiencia fsica. Aada que con algo de prctica es
perfectamente posible visualizar cuatro dimensiones, de modo que el espacio
tetradimensional es concebible.
Esto enfureci tanto al erudito shakespeariano Clement Ingleby que ste invoc al
gran filsofo Immanuel Kant para demostrar que la tridimensional es una propiedad
esencial del espacio, eludiendo por completo la observacin de Sylvester. La
naturaleza del espacio real es irrelevante para las cuestiones matemticas. De todas
formas, durante algn tiempo la mayora de los matemticos britnicos se pusieron
del lado de Ingleby. Pero algunos
La naturaleza del espacio real es irrelevante para
matemticos del continente no lo
las cuestiones matemticas.
hicieron. Grassmann dijo: Los
teoremas del clculo de extensiones no son meras traducciones de resultados
geomtricos a un lenguaje abstracto; tienen una importancia mucho ms general,
pues mientras la geometra ordinaria sigue limitada a tres dimensiones del espacio
[fsico], la ciencia abstracta est libre de esta limitacin.
Sylvester defendi su postura: Hay muchos que consideran la supuesta nocin de
un espacio generalizado slo como una forma enmascarada de formalizacin
algebraica; pero lo mismo podra decirse con igual verdad de nuestra nocin de
infinito, o de lneas imposibles, o de rectas que forman un ngulo cero en
Espacios multi-dimensionales
Al final, Sylvester gan el debate. Hoy da los matemticos consideran que algo
existe si no es lgicamente contradictorio. Puede contradecir la experiencia fsica,
pero eso es irrelevante para la existencia matemtica. En este sentido, los espacios
multidimensionales son tan reales como los familiares espacios de tres dimensiones,
porque es igual de fcil dar una definicin formal.
Las matemticas de los espacios multidimensionales, tal como ahora se conciben,
son puramente algebraicas y basadas en generalizaciones obvias de espacios de
baja dimensin. Por ejemplo, todo punto en el plano (un espacio bidimensional)
puede especificarse por sus dos coordenadas, y todo punto en el espacio
tridimensional puede especificarse por sus tres coordenadas. Slo hace falta un
corto paso para definir un punto en el espacio tetradimensional como un conjunto
de cuatro coordenadas y, ms en general, para definir un punto en un espacio n-
dimensional como una lista de n coordenadas. Entonces el propio espacio n-
dimensional (o n-espacio para abreviar) es simplemente el conjunto de todos esos
puntos.
Manipulaciones algebraicas similares nos dan la distancia entre dos puntos
cualesquiera en el n-espacio, el ngulo entre dos rectas, y dems. A partir de ello,
es cuestin de imaginacin: las formas geomtricas ms razonables en dos o tres
dimensiones tienen anlogas directas en n dimensiones, y la manera de
encontrarlas consiste en describir las formas familiares utilizando el lgebra de
coordenadas y luego extender dicha descripcin a n coordenadas.
Por ejemplo, un crculo en el plano, o una esfera en el 3-espacio, consiste en todos
los puntos que se encuentran a una distancia fija (el radio) de un punto escogido (el
centro). El anlogo obvio en el n-espacio es considerar todos los puntos que se
Coordenadas generalizadas
Otro estmulo para la geometra multidimensional fue la reformulacin que hizo
Hamilton en 1835 de la mecnica en trminos de coordenadas generalizadas, un
desarrollo iniciado por Lagrange en su Mecnica analtica de 1788. Un sistema
mecnico tiene tantas de estas coordenadas como grados de libertad, es decir,
maneras de cambiar su estado. De hecho, nmero de grados de libertad es slo
una manera disfrazada de decir dimensin.
Por ejemplo, se necesitan seis coordenadas generalizadas para especificar la
configuracin de una bicicleta rudimentaria: una para especificar el ngulo del
manillar con respecto al cuadro, una para cada una de las posiciones angulares de
las dos ruedas, otra para el eje de los pedales, dos ms para las posiciones
rotacionales de los propios pedales. Una bicicleta es, por supuesto, un objeto
tridimensional, pero el espacio de las configuraciones posibles de la bicicleta es seis-
dimensional, que es una de las razones por las que aprender a ir en bicicleta es
difcil hasta que se coge el tranquillo. El cerebro tiene que construir una
representacin interna de cmo interaccionan estas seis variables tiene que
aprender a navegar en la geometra seis-dimensional del espacio-bicicleta. En el
caso de una bicicleta en movimiento hay tambin seis correspondientes velocidades
de las que ocuparse: la dinmica es, en esencia, doce-dimensional.
Hacia 1920 esta concurrencia de fsica, matemticas y mecnica haba triunfado, y
el uso del lenguaje geomtrico para problemas de muchas variables geometra
multidimensional haba dejado de sorprender, excepto quiz a los filsofos. En
1950 el proceso haba ido tan lejos que la tendencia natural de los matemticos era
formular todo en n dimensiones desde el principio. Limitar las teoras a dos o tres
dimensiones pareca un confinamiento anticuado y ridculo.
El lenguaje del espacio de dimensiones superiores se difundi rpidamente a todas
las reas de la ciencia, e incluso invadi disciplinas como la economa y la gentica.
Los virlogos actuales, por ejemplo, consideran los virus como puntos en un
espacio de secuencias de ADN que fcilmente podra tener varios centenares de
dimensiones. Por esto entienden que los genomas de dichos virus tienen una
longitud de varios centenares de bases de ADN; pero la imagen geomtrica va ms
all de la mera metfora: proporciona un modo eficaz de pensar el problema.
Nada de esto significa, no obstante, que exista el mundo de los espritus, que los
fantasmas tengan ahora un hogar creble, o que un da podamos (como en
Planilandia de Edwin Abbot) recibir la visita de la Hiperesfera, una criatura de la
Cuarta Dimensin, que se nos manifestara como una esfera cuyo tamao cambiara
misteriosamente, capaz de contraerse hasta un punto y desaparecer de nuestro
universo. Sin embargo, los fsicos que trabajan actualmente en la teora de
supercuerdas piensan que nuestro universo realmente puede tener diez
dimensiones, no cuatro. Ahora piensan que nunca advertiremos las seis
dimensiones extra porque estn enrolladas de una forma demasiado apretada para
que las podamos detectar.
La geometra multidimensional es una de las reas ms espectaculares en que las
matemticas parecen perder todo contacto con la realidad. Puesto que el espacio
fsico es tridimensional, cmo pueden Nuestro universo realmente puede tener diez
obtenibles por otros mtodos. A veces, conceptos matemticos que no tienen una
conexin directa con el mundo real tienen conexiones indirectas ms profundas. Son
esos vnculos ocultos los que hacen tan tiles las matemticas.
Captulo 17
La forma de la lgica
Asentar firmemente los cimientos de las matemticas
Mientras la superestructura de las matemticas se haca cada vez
ms grande, un pequeo nmero de matemticos empezaron a
preguntarse si los cimientos podan soportar su peso. Una serie de
crisis de fundamentos en particular las controversias sobre los
conceptos bsicos del clculo infinitesimal y la confusin general
sobre las series de Fourier haban dejado claro que los conceptos
matemticos deben definirse con mucho cuidado y precisin para
evitar escollos lgicos. De lo contrario las torres de deduccin de la
disciplina podran colapsar fcilmente en contradicciones lgicas,
debido a alguna vaguedad o ambigedad subyacentes.
Dedekind
En 1858, mientras imparta un curso sobre la materia, Dedekind se preocup por la
base del clculo infinitesimal. No por su uso de los lmites, sino por el sistema de los
nmeros reales. Public sus pensamientos en 1872 como Stetigkeit und Irracionales
Zahlen, en donde sealaba que propiedades aparentemente obvias de los nmeros
reales nunca haban sido demostradas de una manera rigurosa. Como ejemplo
citaba la ecuacin 23 = 6.
Obviamente este hecho se deduce elevando al cuadrado ambos miembros de la
ecuacin salvo que la multiplicacin de nmeros irracionales nunca haba sido
realmente definida. En su libro de 1888 Was Sind und was Sollen die Zahlen?
(Qu son los nmeros, y qu significan?), puso de manifiesto serias lagunas en los
fundamentos lgicos del sistema de los nmeros reales. Nadie haba probado
realmente que existieran los nmeros reales.
Tambin propuso una forma de llenar estas lagunas, utilizando lo que ahora
llamamos cortaduras de Dedekind. La idea consista en partir de un sistema de
nmeros establecido, los nmeros racionales, y entonces tirar de este sistema
para obtener el sistema ms rico de los Nadie haba probado realmente que existieran los
Dedekind demostr que si, por razn del argumento, suponemos que existen los
nmeros reales, entonces con cualquier nmero real puede asociarse una cortadura
que satisface estas dos propiedades, formando el conjunto R de todos los racionales
que son mayores que el nmero real y el conjunto L de todos los racionales que son
menores o iguales que dicho nmero real. (La condicin final es necesaria para
asociar una cortadura con cualquier nmero racional. No queremos dejarlos fuera.)
Aqu L y R pueden leerse como izquierda y derecha en la imagen habitual
de la recta de nmeros reales.
Estos dos conjuntos L y R obedecen a algunas condiciones bastante restrictivas. En
primer lugar, todo nmero racional pertenece a exactamente uno de ellos. En
segundo lugar, todo nmero en R es mayor que cualquier nmero en L. Finalmente,
hay una condicin tcnica que se ocupa de los propios nmeros racionales: L puede
o no puede tener un miembro mximo, pero R nunca tiene un miembro mnimo.
Llamamos una cortadura a cualquier par de subconjuntos de los racionales con
estas propiedades.
Con ingeniera inversa no necesitamos suponer que los nmeros reales existen. En
su lugar, podemos utilizar cortaduras para definir nmeros reales, de modo que un
nmero real es efectivamente una cortadura. Habitualmente no es as como
pensamos en un nmero real, pero Dedekind comprendi que podemos hacerlo si
queremos. La tarea principal consiste en definir la suma y la multiplicacin de
cortaduras, de modo que tenga sentido la aritmtica de nmeros reales. Esto
resulta fcil. Para sumar dos cortaduras (L1, R1) y (L2, R2), definimos L 1 + L2 como el
conjunto de todos los nmeros que se pueden obtener sumando un nmero en L 1
con un nmero en L2 y de forma similar definimos R1 + R2. Entonces la suma de las
dos cortaduras es la cortadura (L1 + L2) = (R1 + R2). La multiplicacin es similar,
pero los nmeros positivos y los negativos se comportan de forma ligeramente
diferente.
Finalmente tenemos que verificar que la aritmtica de cortaduras tiene todas las
propiedades que esperamos de los nmeros reales. stas incluyen las leyes
estndar del lgebra, que se siguen de propiedades anlogas de los nmeros
racionales. La propiedad crucial, que distingue los reales de los racionales, es que
existe el lmite de una secuencia infinita de cortaduras (bajo ciertas condiciones
tcnicas). De forma equivalente, hay una cortadura correspondiente a cualquier
expansin decimal infinita. Esto es tambin bastante sencillo.
Suponiendo que todo esto pueda hacerse, veamos como Dedekind puede demostrar
que 23 = 6. Hemos visto que 2 corresponde a la cortadura (L 1, R2), donde
R2 consiste en todos los racionales positivos cuyo cuadrado es mayor que 2.
Anlogamente, 3 corresponde a la cortadura (L 2, R2), donde R2 consiste en todos
los racionales positivos cuyo cuadrado es mayor que 3.
Se demuestra fcilmente que el producto de estas cortaduras es (L 3, R3) donde R3
consiste en todos los racionales positivos cuyo cuadrado es mayor que 6. Pero sta
es la cortadura correspondiente a 6. Hecho!
La belleza de la aproximacin de Dedekind reside en que reduce todas las
cuestiones concernientes a nmeros reales a cuestiones correspondientes sobre
nmeros racionales en concreto sobre pares de conjuntos de nmeros
racionales. Por consiguiente, define los nmeros reales puramente en trminos de
nmeros racionales y operaciones sobre dichos nmeros.
El resultado es que los nmeros reales existen (en un sentido matemtico) con tal
de que existan los nmeros racionales.
Hay un pequeo precio que pagar: un nmero real es un par de conjuntos de
racionales, que no es como lo consideramos habitualmente. Si esto suena extrao,
tengamos en cuenta que la representacin habitual de un nmero real como un
decimal infinito requiere una secuencia infinita de dgitos decimales 0-9. Es
realmente muy complicado definir la suma o producto de dos decimales infinitos,
porque los mtodos aritmticos usuales para sumar o multiplicar decimales
empiezan por el extremo derecho, y cuando un decimal es infinito, no tiene un
extremo derecho.
calaba la cuestin sobre la definicin de los trminos se advirti que lo que haba
hecho el libro era desplazar la atencin de los reales a los racionales. Cmo
sabemos que los nmeros racionales existen? Bien, si suponemos que los enteros
existen, esto es fcil: definimos un Cmo sabemos que los enteros existen?
racional p/q como un par de enteros (p, q) y elaboramos las sumas y productos. Si
los enteros existen, tambin lo hacen los pares de enteros.
S, pero cmo sabemos que los enteros existen?
Aparte de un signo ms o un signo menos, los enteros son nmeros naturales
ordinarios. Tener en cuenta los signos es fcil. Por eso los enteros existen con tal de
que existan los nmeros naturales.
An no hemos acabado, no obstante. Estamos tan familiarizados con los nmeros
naturales que nunca se nos ocurre preguntar si los nmeros familiares 0, 1, 2, 3 y
as sucesivamente, existen realmente. Y si lo hacen, qu son?
En 1889, Giuseppe Peano plante la cuestin de la existencia siguiendo el ejemplo
del libro de Euclides. En lugar de discutir la existencia de puntos, rectas, tringulos
y similares, Euclides simplemente escriba una lista de axiomas: propiedades que se
daban por supuestas. No importa si puntos y dems existen; una pregunta ms
interesante es: si existieran, qu propiedades se seguiran de ello? De este modo,
Peano escribi una lista de axiomas para los nmeros naturales. Las propiedades
principales eran:
Existe un nmero 0.
Todo nmero n tiene un sucesor s(n) (al que designamos n + 1).
Si P(n) es una propiedad de los nmeros, tal que P(0) es verdadera, y si cada
vez que P(n) es verdadera entonces P(s(n)) es verdadera, entonces P(n) es
verdadera para todo n (principio de induccin matemtica).
Conjuntos y clases
En los aos ochenta del siglo XIX Gottlob Frege trat de resolver esta cuestin
conceptual construyendo nmeros naturales a partir de objetos an ms simples; a
saber, conjuntos, o clases como l les llamaba. Su punto de partida era la
asociacin estndar de los nmeros con la actividad de contar. Segn Frege, dos
es una propiedad de aquellos conjuntos y slo aquellos para los que se puede
pueden hacerse corresponder con {a, b}, de modo que todos determinan
cualquier cosa que eso signifique el mismo nmero.
Por desgracia, utilizar una lista de conjuntos estndar como nmeros parece una
peticin de principio; es muy parecido a confundir un smbolo con lo que representa.
Pues cmo podemos caracterizar una propiedad de aquellos conjuntos que
pueden emparejarse uno a uno con el conjunto estndar?
Qu es una propiedad? Frege tuvo una intuicin maravillosa. Hay un conjunto
bien definido que est asociado con cualquier propiedad, a saber, el conjunto que
consiste en todo lo que posee dicha propiedad. La propiedad primo est asociada
con el conjunto de todos los nmeros primos; la propiedad issceles est
asociada con el conjunto de todos los tringulos issceles, y as sucesivamente.
La paradoja de Russell
Una versin menos formal de la paradoja propuesta por Russell es la del barbero
del pueblo, que afeita a todos los que no se afeitan a s mismos. Quin afeita al
barbero? Si l no se afeita a s mismo, entonces por definicin es afeitado por el
barbero del pueblo: l mismo!
Si l se afeita a s mismo, entonces es afeitado por el barbero: que, una vez
ms, es l mismo.
Aparte de varios amaos el barbero es una mujer, por ejemplo, la nica
conclusin posible es que no existe tal barbero. Russell reformul esta paradoja
en trminos de conjuntos. Definimos un conjunto X que consiste en todos los
conjuntos que no son miembros de s mismos. Es X un miembro de s mismo, o
no lo es? Si no lo es, entonces por definicin pertenece a X: l mismo. Si lo es,
un miembro de s mismo, entonces como todos los miembros de X, no es un
miembro de s mismo. Esta vez no hay salida; los conjuntos femeninos no son
an parte de la empresa matemtica.
Por ello Frege propuso que el nmero dos es el conjunto que comprende todos
los conjuntos para los que puede establecerse una correspondencia uno-a-uno con
el conjunto estndar (a,b). Ms en general, un nmero es el conjunto de todos los
conjuntos para los que puede establecerse una correspondencia uno-a-uno con
cualquier conjunto dado. As, por ejemplo, el nmero 3 es el conjunto
{... {a, b, c}, {un gato, otro gato, otro gato ms}, {X, Y, Z},...}
Cantor
Estos anlisis del papel fundamental del acto de contar como base de los nmeros
llevaron a uno de los ms audaces descubrimientos en todas las matemticas: la
teora de Cantor de los nmeros transfinitos: diferentes tamaos de infinito.
El infinito, con diferentes mscaras, parece inevitable en matemticas.
No hay un nmero natural mximo porque aadir uno siempre produce un
nmero an ms grande de modo que hay infinitos nmeros naturales.
La geometra de Euclides tiene lugar en un plano infinito, y l demostr tambin que
hay infinitos nmeros primos. En la carrera hacia el clculo infinitesimal, varias
personas, entre ellas Arqumedes, encontraron til considerar un rea o un volumen
como la suma de muchas rebanadas infinitamente delgadas. En los primeros das
del clculo infinitesimal la misma imagen de reas y volmenes fue utilizada con
fines heursticos, incluso si las demostraciones reales tomaban una forma diferente.
Estas apariciones del infinito podan parafrasearse en trminos finitos para evitar
Por consiguiente debe haber tantos nmeros naturales como cuadrados, de modo
que la respuesta es no.
Cantor resolvi estas dificultades al reconocer que, en el dilogo, el adverbio ms
se est utilizando de dos maneras diferentes. Sagredo est sealando que el
conjunto de todos los cuadrados es un subconjunto propio del conjunto de todos los
nmeros naturales. La postura de Salviati es ms sutil: hay una correspondencia
uno-a-uno entre el conjunto de los cuadrados y el conjunto de todos los nmeros
naturales. Los dos enunciados son diferentes, y ambos pueden ser verdaderos sin
Tamao de conjuntos
El punto de partida de Cantor era el concepto ingenuo de mi conjunto, que es una
coleccin de objetos, sus miembros. Una manera de especificar un conjunto es
hacer una lista de sus miembros, ponindolos simplemente entre parntesis. Por
ejemplo, el conjunto de todos los nmeros naturales entre 1 y 6 se escribe
{1, 2, 3,4, 5, 6}
{n : 1 n 6 y n es un nmero natural}
Los dos conjuntos antes especificados son idnticos. La primera notacin est
limitada a conjuntos finitos, pero la segunda no. As, los conjuntos
{n : n es un nmero natural}
{n : n es un cuadrado perfecto}
tiene seis miembros el conjunto {1, 4, 9, 16, 25, 36} que consta de los
correspondientes cuadrados. Decimos que la cardinalidad del conjunto es 6, y
llamamos a 6 un nmero cardinal. (El adjetivo cardinal no es superfluo aqu,
porque existe un concepto diferente, el nmero ordinal, asociado con poner
nmeros en orden). El conjunto de todos los nmeros naturales no puede contarse
de esta manera, pero Cantor advirti que a pesar de ello podemos colocar el
conjunto de todos los nmeros naturales y el de todos los cuadrados en una
correspondencia uno a uno, utilizando el mismo esquema que Galileo. Cada nmero
natural est emparejado con su cuadrado n2.
Cantor defini que dos conjuntos son equinumerosos (la palabra no es suya) si
existe una correspondencia uno a uno entre ellos. Si los conjuntos son finitos, esta
propiedad es equivalente a tener el mismo nmero de miembros. Pero si los
conjuntos son infinitos, aparentemente no tiene sentido hablar del nmero de
miembros; sin embargo, el concepto de equinumerosidad tiene perfecto sentido.
Pero Cantor fue ms lejos. Introdujo un sistema de nmeros transfinitos, o
cardinales infinitos, que haca posible decir cuntos miembros tiene un conjunto
infinito. Adems, dos conjuntos son equinumerosos si y slo si tienen el mismo
nmero de miembros: el mismo cardinal.
El punto de partida era un nuevo tipo de nmero, que denot por el smbolo 0.
Esta era la letra hebrea aleph con un subndice cero, leda hoy como aleph
subcero. Este nmero se define como la cardinalidad del conjunto de todos los
nmeros naturales. Insistiendo en que los conjuntos equinumerosos tienen la
misma cardinalidad. Cantor exigi entonces que cualquier conjunto que puede
ponerse en correspondencia uno-a-uno con el conjunto de los nmeros naturales
tambin tiene cardinalidad n. Por ejemplo, el conjunto de todos los cuadrados tiene
cardinalidad 0. Tambin la tiene el conjunto de todos los nmeros pares:
0 + 0 = 0
Y as son las cosas. Pero una vez ms, no hay contradiccin: no podemos dividir por
0 y deducir que 1 + 1 = 1, porque no es un nmero natural y la divisin no ha sido
en el intervalo entre dos enteros consecutivos, y el truco que utilizamos para los
enteros ya no funciona.
David Hilbert
1862- 1943
David Hilbert se gradu en la Universidad de Knigsberg en 1885 con una tesis
sobre teora de invariantes. Pas a formar parte del gobierno de la universidad
hasta que asumi una ctedra en Gotinga en 1895. Sigui trabajando en la
teora de invariantes, demostrando su teorema de base finita en 1888.
Sus mtodos eran ms abstractos que los
entonces de moda, y una de las figuras
destacadas del campo, Paul Gordan, encontr el
trabajo insatisfactorio. Hilbert revis el artculo
para su publicacin en los Annalen, y Klein lo
calific como el trabajo ms importante sobre
lgebra general que [la revista] ha publicado
nunca.
En 1893 Hilbert empez un informe general
sobre teora de nmeros, el Zahibericht. Aunque
pretenda resumir el estado de la teora, Hilbert
incluy mucho material original, base de lo que
ahora llamamos teora de campos de clases.
En 1899 haba cambiado de nuevo de campo de
investigacin, y ahora estudiaba los fundamentos axiomticos de la geometra
euclidiana. En 1900, en el Segundo Congreso Internacional de Matemticos en
Paris, present una lista de 23 problemas importantes no resueltos. Estos
problemas de Hilbert tuvieron un tremendo efecto en la direccin posterior de la
investigacin matemtica.
Alrededor de 1909 su trabajo sobre ecuaciones integrales llev a la formulacin
de los espacios de Hilbert, ahora bsicos para la mecnica cuntica. Tambin
estuvo muy cerca de descubrir las ecuaciones de Einstein para la relatividad
general en un artculo de 1915. Aadi una nota en pruebas al efecto de que el
artculo era consistente con las ecuaciones de Einstein, lo que dio lugar a la
errnea creencia de que Hilbert podra haberse anticipado a Einstein.
En 1930, con ocasin de su retiro, Hilbert fue nombrado ciudadano honorario de
Knigsberg.
Su discurso de aceptacin terminaba con las palabras Wir Mssen wissen, wir
werden wissen (Debemos saber, sabremos), que recogen su creencia en el
poder de las matemticas y su determinacin para resolver incluso los problemas
ms difciles.
0
igualdad asociada con ella que es independiente de la eleccin. Esta es c = 2 . Para
cualquier cardinal A podemos definir 2A como el cardinal del conjunto de todos los
subconjuntos de A. Y podemos demostrar, muy fcilmente, que 2 A es siempre
mayor que A. Eso no slo significa que hay unos infinitos ms grandes que otros;
tambin significa que no hay ningn cardinal infinito mximo.
Contradicciones
Pero la tarea mayor de las matemticas fundacionales no era demostrar que los
conceptos matemticos existen: era demostrar que las matemticas son
lgicamente consistentes. En efecto, todos los matemticos saban en realidad,
todos saben hoy que podra haber una secuencia de pasos lgicos, todos ellos
perfectamente correctos, que llevaran a una conclusin absurda. Quiz se podra
demostrar que 2 + 2 = 5, 1 = 0, por ejemplo. O que 6 es primo, o = 3.
Podra parecer que una contradiccin mnima tendra consecuencias limitadas. En la
vida cotidiana la gente suele operar cmodamente dentro de un marco
contradictorio: tan pronto uno afirma que, digamos, el calentamiento global est
destrozando el planeta como, un momento despus, que las lneas areas de bajo
coste son un gran invento. Pero en matemticas las consecuencias no estn
limitadas, y no se pueden evitar las contradicciones lgicas ignorndolas. En
matemticas, una vez que algo est demostrado puede utilizarse en otras
Hilbert
El siguiente paso fundacional importante fue dado por David Hilbert, probablemente
el matemtico ms destacado de su poca. Hilbert tena la costumbre de trabajar en
un rea de las matemticas durante unos diez aos, puliendo los problemas
principales, y pasar luego a una nueva rea. Hilbert se convenci de que deba ser
posible demostrar que las matemticas nunca pueden llevar a una contradiccin
lgica. Tambin comprendi que la intuicin fsica no sera til en este proyecto. Si
las matemticas son contradictorias, debe ser posible demostrar que 0 = 1; en tal
caso hay una interpretacin fsica: 0 vacas = 1 vaca, de modo que las vacas pueden
desaparecer en un montn de humo. Esto parece poco probable. Sin embargo, no
hay garanta de que las matemticas de los nmeros naturales encajen realmente
con la fsica de las vacas, y es al menos concebible que una vaca pudiera
desaparecer repentinamente. Hay un lmite al nmero de vacas en un universo
finito, pero no hay lmite al tamao de los enteros matemticos. Por lo tanto, la
intuicin fsica podra ser engaosa, y debera ser ignorada.
Hilbert lleg a este punto de vista en su trabajo sobre la base axiomtica de la
geometra de Euclides. l descubri fallos lgicos en el sistema de axiomas de
Euclides, y comprendi que estos fallos haban aparecido porque Euclides haba sido
confundido por su imaginera visual. Puesto que l saba que una recta era un
objeto largo y fino, un crculo era redondo y un punto era una mota, supuso
inadvertidamente ciertas propiedades de estos objetos, sin establecerlas como
axiomas. Tras varios intentos, Hilbert present una lista de 21 axiomas y discuti su
papel en la geometra euclidiana en su Grundlagen der Geometrie (Fundamentos de
Geometra) en 1899.
Hilbert sostena que una deduccin lgica debe ser vlida independientemente de la
interpretacin que se le imponga. Todo lo basado en una interpretacin particular
de los axiomas que falle en otras interpretaciones implica un error lgico. Es esta
visin de la axiomtica, la ms importante influencia de Hilbert sobre los
fundamentos de las matemticas. De hecho, el mismo punto de vista influy
tambin en el contenido de las matemticas, lo que hace mucho ms fcil y ms
respetable inventar nuevos conceptos dando listas de axiomas para ellos. Muchas
de las abstracciones de las matemticas de principios del siglo XX derivaban del
punto de vista de Hilbert.
Se dice a veces que Hilbert defenda la idea de que las matemticas son un juego
sin significado jugado con smbolos, pero esto exagera su postura.
Su idea era que para colocar la disciplina sobre una base lgica firme hay que
pensar en ella como si fuera un juego sin significado jugado con smbolos.
Todo lo dems es irrelevante para la estructura lgica. Pero nadie que examine
seriamente los descubrimientos matemticos de Hilbert, y su profundo compromiso
con la disciplina, puede deducir razonablemente que l pensaba que estaba jugando
a un juego sin significado.
Kurt Gdel
1906-1978
En 1923, cuando Gdel fue a la Universidad de Viena, todava no estaba seguro
de si iba a estudiar matemticas o fsica.
Su decisin estuvo influida por las lecciones de
un matemtico seriamente discapacitado,
Philipp Furtwngler (hermano de Wilhelm, el
famoso director de orquesta y compositor). La
propia salud de Gdel era frgil, y la voluntad
de Furtwngler para superar sus dificultades le
caus una gran impresin. En un seminario
impartido por Moritz Schlick, Gdel empez a
estudiar la Introduccin a la Filosofa
Matemtica de Russell, y tuvo claro que su
futuro estaba en la lgica matemtica.
Su tesis doctoral de 1929 demostraba que un
sistema lgico restringido, el clculo
proposicional de primer orden, es completo: todo teorema verdadero puede ser
demostrado y todo teorema falso puede ser refutado. l es ms conocido por su
demostracin de los Teoremas de Incompletitud de Gdel. En 1931 Gdel
public su pico artculo ber formal unentscheidbare Stze der Principia
Matemtica und verwandter Systeme. En l demostraba que ningn sistema de
axiomas suficientemente rico para formalizar las matemticas puede ser
lgicamente completo.
En 1931 discuti su trabajo con el lgico Ernst Zermelo, pero el encuentro
termin de mala manera, posiblemente porque Zermelo ya haba hecho
descubrimientos similares pero no los haba publicado.
En 1936 Schlick fue asesinado por un estudiante nazi, y Gdel sufri un trastorno
mental (el segundo). Cuando se recuper visit Princeton. En 1938 se cas con
Adele Porkert, contra los deseos de su madre, y volvi a Princeton
inmediatamente despus de que Austria fuera anexionada a Alemania. Cuando
empez la Segunda Guerra Mundial le preocup la posibilidad de ser llamado al
ejrcito alemn, de modo que emigr a Estados Unidos, atravesando Rusia y
Japn.
En 1940 produjo un segundo trabajo seminal, una demostracin de que la
hiptesis del continuo de Cantor es compatible con los axiomas usuales para las
matemticas.
Se convirti en ciudadano estadounidense en 1948 y pas el resto de su vida en
Princeton. Hacia el final de su vida estaba cada vez ms preocupado por su
Gdel
Haba un lgico, sin embargo, que no qued convencido por la propuesta de Hilbert
de demostrar que las matemticas son lgicamente consistentes.
Su nombre era Kurt Gdel, y sus reservas hacia el programa de Hilbert cambiaron
para siempre nuestra visin de la verdad matemtica.
Antes de Gdel, simplemente se pensaba que las matemticas eran verdaderas y
eran el ejemplo mximo de verdad, porque la verdad de un enunciado como 2 + 2
= 4 perteneca al dominio del pensamiento puro, independiente de nuestro mundo
fsico. Las verdades matemticas no eran cosas que pudieran ser refutadas por
experimentos posteriores. En esto eran superiores a las verdades fsicas, tales como
la ley de la inversa del cuadrado de la gravedad de Newton, que fue refutada por
observaciones del movimiento del perihelio de Mercurio que apoyan la nueva teora
gravitatoria sugerida por Einstein.
Despus de Gdel, la verdad matemtica result ser una ilusin. Lo que exista eran
las demostraciones matemticas, cuya lgica interna muy bien podra ser
intachable, pero existan en un contexto ms amplio matemticas fundacionales
donde no poda haber garanta de que todo el juego tuviera siquiera significado.
Gdel no slo afirmaba esto: lo demostr. De hecho, hizo dos cosas que juntas
echaban por tierra el cuidadoso y optimista programa de Hilbert.
Gdel demostr que si las matemticas son lgicamente consistentes, entonces es
imposible demostrarlo. No es slo que l no pudiera encontrar una demostracin,
sino que no existe demostracin. Por ello, y esto es notable, si se consigue
demostrar que las matemticas son consistentes, se sigue inmediatamente que no
lo son. l demostr tambin que algunos enunciados matemticos no pueden ser
demostrados ni refutados. Una vez ms, no es slo que l no pudiera conseguirlo,
sino que es imposible. Tales enunciados se llaman indecidibles.
Inicialmente, Gdel demostr estos teoremas dentro de una particular formulacin
lgica de las matemticas, la adoptada por Russell y Whitehead en sus Principia
Mathematica. Al principio Hilbert pensaba que podra haber una escapatoria:
encontrar una formulacin mejor. Pero cuando los lgicos estudiaron el trabajo de
Gdel, rpidamente se hizo patente que las mismas ideas funcionaran en cualquier
fundamentacin lgica de las matemticas suficientemente fuerte para expresar los
Captulo 18
Cun probable es eso?
La aproximacin racional al azar
El crecimiento de las matemticas en el siglo XX y principios del XXI
ha sido explosivo. Se han descubierto ms nuevas matemticas en
los ltimos 100 aos (pie en toda la historia anterior de la
humanidad. Esbozar someramente estos descubrimientos requerira
miles de pginas, as que nos vemos forzados a examinar unos
pocos ejemplos de entre la enorme cantidad de material disponible.
Una rama de las matemticas especialmente novedosa es la teora
de la probabilidad, que estudia las probabilidades asociadas a
sucesos aleatorios. Son las matemticas de la incertidumbre.
Las pocas anteriores escarbaron la superficie, con clculos
combinatorios de posibilidades en juegos de azar y mtodos para
mejorar la precisin de las observaciones astronmicas pese a los
errores observacionales, pero slo a comienzos del siglo XX emergi
la teora de probabilidades como una disciplina por s misma.
La teora de probabilidades
Hoy da, la teora de probabilidades es un rea mayor de las matemticas, y su ala
aplicada, la estadstica, tiene un efecto importante en nuestra vida cotidiana,
posiblemente ms importante que cualquier otra rea individual de las
matemticas. La estadstica es una de las principales tcnicas analticas de la
profesin mdica. Ningn medicamento sale al mercado, y ningn tratamiento se
permite en un hospital, a menos que los ensayos clnicos hayan asegurado que es
suficientemente seguro y que es efectivo.
La seguridad es aqu un concepto relativo: en casos de pacientes extremadamente
graves pueden utilizarse tratamientos cuya escasa probabilidad de xito no los hace
aconsejables para enfermedades menos dainas.
La teora de probabilidades quiz es tambin el rea de las matemticas peor
entendida y peor utilizada. Pero utilizada adecuada e inteligentemente, contribuye
de forma importante al bienestar humano.
Juegos de probabilidad
Algunas cuestiones probabilsticas se remontan a la antigedad. En la Edad Media
encontramos estudios sobre las posibilidades de sacar nmeros diversos al lanzar
dos dados. Para ver cmo funciona esto, empecemos con un dado. Suponiendo que
el dado no est cargado lo que resulta ser un concepto difcil de establecer cada
uno de sus seis nmeros 1,2, 3, 4, 5 y 6 debera salir, a la larga, con la misma
frecuencia. A corto plazo, la igualdad es imposible: por ejemplo, en la primera
tirada debe salir slo uno de esos nmeros. Pero en una larga serie de
lanzamientos, o ensayos, esperamos que cada nmero salga aproximadamente
una vez de cada seis; es decir, con probabilidad 1 /6. Si esto no sucediera, el dado
estara con toda probabilidad cargado o sesgado.
Un suceso de probabilidad 1 es seguro, y uno con probabilidad 0 es imposible.
Todas las probabilidades estn entre 0 o 1, y la probabilidad de un suceso
representa la proporcin de ensayos en los que ocurre el suceso en cuestin.
Volvamos a la pregunta medieval. Supongamos que lanzamos dos dados
simultneamente (como en numerosos juegos desde los dados al Monopoly). Cul
es la probabilidad de que su suma sea 5? El resultado de numerosos estudios, y
algunos experimentos, es que la respuesta es 1/9. Por qu? Supongamos que
distinguimos los dos dados, coloreando uno de azul y el otro de rojo. Cada dado
puede dar independientemente seis nmeros distintos, lo que da un total de 36
pares de nmeros posibles, todos igualmente probables. Las combinaciones (azul +
rojo) que dan 5 son 1 +4, 2 + 3, 3 + 2, 4 + 1; son casos distintos porque el dado
azul da resultados distintos en cada caso, y lo mismo hace el dado rojo. Por ello, a
largo plazo esperamos encontrar una suma de 5 en cuatro ocasiones de 36, una
probabilidad de 4/36 = 1/9.
Otro problema antiguo, con una evidente aplicacin prctica, es cmo dividir las
apuestas en un juego de azar si el juego se interrumpe por alguna razn. Los
algebristas del Renacimiento, Pacioli, Cardano y Tartaglia, escribieron sobre la
cuestin. Ms tarde el Caballero de Mere plante a Pascal la misma pregunta, y
Pascal y Fermat intercambiaron varias cartas sobre el tema.
De este trabajo inicial sali una comprensin implcita de lo que son las
probabilidades y cmo calcularlas. Pero todo estaba muy confuso y mal definido.
Combinaciones
Una definicin operativa de la probabilidad de un suceso es la proporcin de
ocasiones en que suceder. Si lanzamos un dado, y las seis caras son igualmente
probables, entonces la probabilidad de que salga una cara concreta es 1/6. Mucho
trabajo anterior sobre probabilidades se basaba en calcular de cuntas maneras
poda ocurrir un suceso y dividirlas por el nmero total de posibilidades.
Un problema bsico aqu es el de las combinaciones. Dado, digamos, un mazo de
seis cartas, cuntos conjuntos diferentes de cuatro cartas hay? Un mtodo consiste
en hacer la lista de tales subconjuntos: si las cartas son 1-6, entonces son
de modo que hay 15. Pero este mtodo falla para nmeros grandes, y se necesita
algo ms sistemtico.
Imaginemos que escogemos los miembros del subconjunto, de uno en uno.
Podemos escoger el primero de seis maneras, el segundo de slo cinco (puesto que
uno ya est descartado), el tercero de cuatro maneras, el cuarto de tres maneras.
El nmero total de elecciones, en este orden, es 6 x 5 x 4 x 3 = 360. Sin embargo,
cada subconjunto se cuenta 24 veces: adems de 1234 encontramos 1243, 2134 y
dems, y hay 24 maneras de reordenar cuatro objetos. Por lo tanto, la respuesta
correcta es 360/24, que es igual a 15.
Este argumento muestra que el nmero de maneras de escoger m objetos de entre
un total de n objetos es
lgebra. Si los disponemos en una tabla, de modo que la n-sima fila contiene los
coeficientes binomiales,
y vemos que los mismos nmeros aparecen como coeficientes. Esto no es una
coincidencia.
Tringulo de Pascal
Teora de la probabilidad
Los coeficientes binomiales se utilizaban con buen efecto en el primer libro sobre
probabilidades: el Ars Conjectandi (Arte de conjeturar) escrito por Jakob Bernoulli
en 1713. El curioso ttulo se explica en el libro:
Definimos el arte de la conjetura, o arte estocstico, como el arte de evaluar
lo ms exactamente posible las probabilidades de las cosas, de modo que en
nuestros juicios y acciones podamos siempre basarnos en lo que se ha
encontrado que es lo mejor, lo ms apropiado, lo ms seguro, lo ms
aconsejado; ste es el nico objeto de la sabidura del filsofo y la prudencia
del gobernante.
Lo ms que podemos decir es que, con muy alta probabilidad, los nmeros deberan
acercarse a dicha razn. Pero ahora hay un peligro de lgica circular: utilizamos
razones observadas en ensayos para inferir probabilidades, pero tambin utilizamos
probabilidades para realizar la inferencia. Cmo podemos observar que la
probabilidad de que todas las canicas sean blancas es muy pequea? Si lo hacemos
con montones de ensayos, tenemos que hacer frente a la posibilidad de que el
resultado sea equvoco, por la misma razn; y parece que la nica salida es hacer
an ms ensayos para mostrar que este suceso es altamente poco probable.
De Moivre fue presumiblemente el primero en hacer explcita esta conexin, que iba
a mostrarse fundamental para el desarrollo de la teora de probabilidades y de la
estadstica.
Definiendo la probabilidad
Un problema conceptual importante en la teora de probabilidades era definir la
probabilidad. Incluso los ejemplos simples cuya respuesta era conocida por
todos presentaban dificultades lgicas. Si lanzamos una moneda, esperamos
obtener a la larga nmeros iguales de caras y cruces, y la probabilidad de cada
una es 1/2. Ms exactamente, sta es la probabilidad si la moneda es limpia. Una
moneda sesgada podra salir siempre cara.
Pero qu significa limpia? Presumiblemente, que caras y cruces son igualmente
probables. Pero la expresin igualmente probables hace referencia a las
probabilidades. La lgica parece circular. Para definir la probabilidad necesitamos
saber qu es la probabilidad.
La salida de este punto muerto es una que se remonta a Euclides, y fue llevada a la
perfeccin por los algebristas de finales del siglo XIX y principios del XX.
Axiomatizar. Dejar de preocuparnos por lo que son las probabilidades. Escribir las
propiedades que queremos que posean las probabilidades y considerar que son
axiomas. Y deducir de ellos todo lo dems.
La pregunta era: cules son los axiomas correctos? Cuando las probabilidades se
refieren a conjuntos de sucesos finitos, esta pregunta tiene una respuesta
relativamente fcil. Pero las aplicaciones de la teora de la relatividad implican con
frecuencia elecciones entre conjuntos de posibilidades potencialmente infinitos. Si
medimos el ngulo entre dos estrellas, pongamos por caso, se puede ser en teora
cualquier nmero real entre 0 y 180. Hay infinitos nmeros reales. Si lanzamos
un dardo contra una tabla, de tal manera que a la larga tenga la misma probabilidad
de dar en cada punto de la tabla, entonces la probabilidad de dar en una regin
dada debera ser el rea de dicha regin dividida por el rea total de la tabla. Pero
Datos estadsticos
El brazo aplicado de la teora de probabilidades es la estadstica, que utiliza las
probabilidades para analizar datos del mundo real. Surgi de la astronoma del siglo
XVIII, cuando haba que tener en cuenta los errores observacionales.
La curva de campana
Grfica de Quetelet de cuntas personas tienen una altura dada: la altura est
representada en el eje horizontal y el nmero de personas, en el vertical
Descubri que aunque tales sucesos son impredecibles para individuos, tienen
pautas estadsticas cuando se observan para una poblacin entera. Personific esta
idea en trminos del hombre medio, un individuo ficticio que era un promedio en
todos los aspectos. Para Quetelet, el hombre medio no era slo un concepto
matemtico: era el objetivo de la justicia social.
Captulo 19
Mascando Nmeros
Mquinas de calcular y matemticas computacionales
Los matemticos han soado siempre con construir mquinas para
reducir la pesadez de los clculos rutinarios.
Cuanto menos tiempo se gasta en clculos, ms tiempo se puede
dedicar a pensar. Desde tiempos prehistricos se utilizaron palos y
guijarros como ayuda para hacer recuentos, y las pilas de guijarros
llevaron con el tiempo al baco, en el que unas cuentas que deslizan
a lo largo de varillas representan los dgitos de los nmeros.
Especialmente perfeccionado por los japoneses, el baco poda
realizar aritmtica bsica de forma rpida y precisa en manos de un
experto. Alrededor de 1950 un baco japons superaba a una
calculadora mecnica manual.
que ahorraba el tiempo de escribir numerales, pero imitaban los clculos manuales.
En 1642 Pascal invent la primera calculadora genuinamente mecnica, la Mquina
Aritmtica, para ayudar a su padre en sus cuentas. Poda realizar sumas y restas,
pero no multiplicaciones ni divisiones. Tena ocho discos rotatorios, por lo que
trabajaba efectivamente con nmeros de ocho cifras.
En la dcada siguiente Pascal construy cincuenta mquinas similares, muchas de
las cuales se conservan hoy en museos.
En 1671 Leibniz dise una mquina para multiplicar, y construy una en 1694,
pues deca l:
No es digno de hombres excelentes perder horas como esclavos en la labor
de clculo, que podra ser relegada con seguridad a cualquiera si se utilizaran
mquinas.
La potencia motriz era suministrada por el operador, que giraba una manivela que
mova una serie de discos rotatorios en los que se mostraban los dgitos 0-9. Con
prctica podan realizarse clculos complicados a gran velocidad. Los clculos
cientficos y de ingeniera del Proyecto Manhattan de la Segunda Guerra Mundial,
cuyo objetivo era construir la primera bomba atmica, se realizaron con estas
mquinas manejadas por un escuadrn de calculadores, principalmente mujeres
jvenes. La llegada de potentes calculadoras electrnicas baratas en los aos
ochenta hizo obsoletas las calculadoras mecnicas, pero su uso en los negocios y el
clculo cientfico era generalizado hasta entonces.
los matemticos alemanes Cari Runge y Martin Kutta, quienes idearon el primero de
dichos mtodos en 1901.
Algoritmos
Las matemticas han ayudado a las ciencias de la computacin, pero a cambio las
ciencias de la computacin han sido motivo de nuevas y fascinantes matemticas.
La nocin de algoritmo un procedimiento sistemtico para resolver un problema
es una de ellas. (El nombre proviene del algebrista rabe al-Khwarizmi.) Una
pregunta especialmente interesante es, cmo depende el tiempo de ejecucin de
un algoritmo del tamao de los datos de entrada?
Por ejemplo, el algoritmo de Euclides para encontrar el mximo comn divisor de
dos nmeros naturales m y n, con m s n, es como sigue:
Dividir n por m para obtener el resto r.
Si r = 0, entonces el mximo comn divisor es m: STOP.
Si r > 0, entonces reemplazar n por m y m por r y volver a empezar.
Puede demostrarse que si n tiene d cifras decimales (una medida del tamao de los
datos de entrada para el algoritmo), entonces el algoritmo se detiene despus de un
mximo de 5d pasos. Eso significa, por ejemplo, que si se nos dan dos nmeros de
1000 dgitos, podemos calcular su mximo comn divisor en 5000 pasos como
mximo; en lo que se tarda una fraccin de segundo en un computador moderno.
El algoritmo de Euclides tiene tiempo de ejecucin lineal: la longitud de la
computacin es proporcional al tamao (en dgitos) de los datos de entrada. Ms en
general, un algoritmo tiene un tiempo de ejecucin polinmico, o es de clase P, si su
tiempo de ejecucin es proporcional a una potencia fija (tal como el cuadrado o el
cubo) del tamao de los datos de entrada. Por el contrario, todos los algoritmos
conocidos para encontrar los factores primos de un nmero tienen tiempo de
ejecucin exponencial: una constante fija elevada a la potencia del tamao de los
datos de entrada. En esto se basa la seguridad del criptosistema RSA.
Hablando en trminos generales, los algoritmos con tiempo de ejecucin
Las ecuaciones de Navier-Stokes son tan precisas que pueden ser utilizadas de
esta manera con seguridad. La ventaja de la aproximacin por computador es
que puede analizarse y visualizarse cualquier caracterstica deseada del flujo.
Anlisis numrico
Las matemticas implican mucho ms que clculos, pero los clculos son un
acompaamiento inevitable de investigaciones ms conceptuales. Desde los tiempos
ms primitivos, los matemticos han La solucin conllevara un premio de un milln de
dlares
buscado ayudas mecnicas para
liberarse de la pesadez del clculo y mejorar la probabilidad de resultados precisos.
Los matemticos del pasado habran envidiado nuestro acceso a los computadores
electrnicos y se habran maravillado por su velocidad y precisin.
Las mquinas de calcular han hecho por las matemticas mucho ms que actuar
como sirvientes. Su diseo y funcionamiento han planteado nuevas preguntas
tericas a los matemticos. Estas preguntas van desde justificar mtodos numricos
aproximados para resolver ecuaciones hasta cuestiones profundas sobre los
fundamentos de la computacin.
Cuando empieza el siglo XXI los matemticos tienen acceso a software potente, que
hace posible no slo realizar clculos numricos en computadores sino realizar
tambin clculos algebraicos y analticos. Estas herramientas han abierto nuevas
reas, han ayudado a resolver antiguos problemas y han liberado tiempo para la
reflexin conceptual. Como resultado, las matemticas se han enriquecido, y
tambin se han hecho aplicables a problemas mucho ms prcticos. Euler tena las
herramientas conceptuales para estudiar el flujo de fluidos alrededor de objetos de
formas complicadas, e incluso si no se haba inventado el avin, haba muchos
problemas interesantes sobre barcos en el agua. Pero l no tena ningn mtodo
prctico para implementar dichas tcnicas.
Un nuevo desarrollo, no mencionado hasta ahora, es el uso de computadores como
una ayuda para la demostracin. Varios teoremas importantes, demostrados en
aos recientes, se basan en clculos rutinarios pero en masa realizados por
Captulo 20
Caos y complejidad
Las irregularidades tambin siguen pautas
A mediados del siglo XX las matemticas estaban experimentando
una fase de rpido crecimiento, estimuladas por la amplia extensin
de sus aplicaciones y por sus nuevos y potentes mtodos. Una
historia general de la era moderna de las matemticas ocupara al
menos tanto espacio como un tratamiento de todo lo que llev a
este periodo. Lo ms que podemos conseguir son unas pocas
muestras representativas para demostrar que la originalidad y la
creatividad en matemticas siguen vivas y en buen estado. Uno de
estos temas, que alcanz prominencia pblica en los aos setenta y
ochenta, es la teora del caos, el nombre que dan los medios de
comunicacin a la dinmica no lineal. Este tema se desarroll de
forma natural a partir de modelos tradicionales que utilizan el
clculo infinitesimal. Otro tema lo constituyen los sistemas
complejos, que utilizan maneras menos ortodoxas de pensar y
estn estimulando nuevas matemticas tanto como nueva ciencia.
Caos
Antes de los aos sesenta del siglo XX la palabra caos slo tena un significado:
desorden informe. Pero desde entonces, descubrimientos fundamentales en ciencia
y matemticas le han dotado de un segundo significado ms sutil, un significado
que combina aspectos de desorden con aspectos de forma. Los Principios
matemticos de la filosofa natural de Newton haban reducido el sistema del
mundo a ecuaciones diferenciales, y stas son deterministas. Es decir, una vez que
se conoce el estado inicial del sistema, su estado futuro en cualquier instante est
determinado unvocamente.
La visin de Newton es la de un universo mecnico que, una vez puesto en marcha
por la mano del Creador, sigue un curso nico e inevitable.
Es una visin que nos ha sido muy til, gracias a la cual tenemos la radio, la
televisin, los telfonos mviles, los aviones comerciales, los satlites de
El patinazo de Poincar
June Barrow-Green, investigando en los archivos del Instituto Mittag-Lefler en
Estocolmo, descubri recientemente una historia embarazosa que previamente
se haba mantenido en secreto. El trabajo con el que Poincar haba ganado el
premio contena un serio error. Lejos de descubrir el caos, como se haba
supuesto, l haba pretendido demostrar que no exista. El envo original
demostraba que todos los movimientos del problema de tres cuerpos son
regulares y tienen buen comportamiento.
Tras la concesin del premio. Poincar detect un error, e inmediatamente
descubri que echaba por tierra su demostracin. Pero la memoria ganadora del
premio ya haba sido publicada como un nmero de la revista del Instituto. La
revista fue retirada y Poincar pag una nueva reimpresin, que inclua su
descubrimiento de enredos homoclnicos y lo que ahora llamamos caos. Esto le
cost mucho ms que el dinero que haba ganado con su Memoria fallida. Casi
todas las copias de la versin incorrecta fueron recuperadas y destruidas, pero
una, conservada en los archivos del Instituto, se escap de la red.
como una frmula matemtica cerrada. Peor an, l pudo entender lo suficiente de
la geometra mejor dicho, la topologa de la solucin para demostrar, ms all
de cualquier sombra de duda, que los movimientos representados por dichas
soluciones podran ser a veces muy desordenados e irregulares. Uno queda
perplejo, escriba Poincar, ante la complejidad de esta figura que ni siquiera
intento dibujar. Nada puede dar una idea mejor de la complejidad del problema de
tres cuerpos. Esta complejidad se ve ahora como un ejemplo clsico de caos.
Su trabajo gan el premio del rey Oscar II, incluso si no resolva el problema por
completo. Unos aos ms tarde desencaden una revolucin en nuestra forma de
ver el universo y su relacin con las matemticas.
En 1926-1927 el ingeniero holands Balthazar van der Pol construy un circuito
electrnico para simular un modelo matemtico del corazn, y descubri que en
ciertas circunstancias la oscilacin resultante no es peridica, como un latido
cardiaco normal, sino irregular. Su trabajo recibi una slida base matemtica
durante la Segunda Guerra Mundial por parte de John Littlewood y Mary Cartwright,
en un estudio que tuvo su origen en la electrnica del radar. Se necesitaron ms de
40 aos para que se hiciera patente la gran trascendencia de su trabajo.
Dinmicas no lineales
A comienzos de los aos sesenta el matemtico norteamericano Stephen Smale
abri la era moderna de la teora de sistemas dinmicos buscando una clasificacin
de los tipos de comportamiento. Inicialmente esperaba que la respuesta consistira
en combinaciones de movimientos peridicos, pero rpidamente comprendi que es
posible un comportamiento mucho ms complicado. En particular, l desarroll el
descubrimiento de Poincar del movimiento complejo en el sistema restringido de
tres cuerpos, simplificando la geometra para dar un sistema conocido como la
herradura de Smale. Demostr que el sistema herradura, aunque determinista,
tiene algunas caractersticas aleatorias. Otros ejemplos de tales fenmenos fueron
desarrollados por las escuelas de dinmica rusa y americana, con contribuciones
especialmente notables de Oleksandr Sharkovskii y Vladimir Arnold, y empez a
surgir una teora general. El trmino caos fue introducido por James Yorke y Tien-
Yien Li en 1975, en un breve artculo que simplificaba uno de los resultados de la
escuela rusa: el teorema de Sharkovskii de 1964, que describa una curiosa pauta
en las soluciones peridicas de un sistema dinmico discreto: un sistema en el que
el tiempo transcurre a saltos en lugar de ser continuo.
Mientras tanto, los sistemas caticos estaban apareciendo espordicamente en la
literatura aplicada -una vez ms, prcticamente desapercibidos por la comunidad
cientfica ms amplia. El ms conocido fue introducido por el meteorlogo Edward
Lorenz en 1963. Lorenz se propuso modelar la conveccin atmosfrica aproximando
las complejas ecuaciones para este fenmeno por ecuaciones mucho ms simples
con tres variables.
Al resolverlas numricamente con un
computador, descubri que la solucin
oscilaba de una manera irregular, casi
aleatoria. Tambin descubri que si las
mismas ecuaciones se resuelven
utilizando valores iniciales de las
variables ligeramente diferentes, las
diferencias se van amplificando hasta
que la nueva solucin es completamente
diferente de la original. Su descripcin
de este fenmeno en conferencias
El atractor de Lorenz posteriores llev al trmino actualmente
popular efecto mariposa, segn el cual el aleteo de una mariposa conduce, un
mes ms tarde, a un huracn en el otro extremo del globo.
Este extrao escenario es genuino, aunque lo es en un sentido bastante sutil.
Supongamos que se pudieran obtener dos versiones del tiempo meteorolgico: una
vez con la mariposa y otra vez sin ella. Entonces encontraramos diferencias
importantes; es muy posible que una de ellas incluyera un huracn y la otra no.
Exactamente este efecto aparece en simulaciones por computador de las ecuaciones
habitualmente utilizadas para predecir el tiempo, y el efecto causa grandes
problemas en la prediccin meteorolgica. Pero sera un error concluir que la
mariposa provoc el huracn. En el mundo real, el tiempo no est influido por una
mariposa sino por las caractersticas estadsticas de billones de mariposas y otras
Monstruos tericos
Un segundo tema entra ahora en nuestra historia. Entre 1870 y 1930, un grupo
variopinto de matemticos heterodoxos inventaron una serie de formas extraas
cuyo nico propsito era poner de manifiesto las limitaciones del anlisis clsico.
Por ejemplo, un objeto que se est moviendo de forma continua a travs del
espacio tiene una velocidad bien definida, excepto en los instantes relativamente
escasos en que su velocidad cambia abruptamente. Sin embargo, en 1872
Weierstrass demostr que esta vieja hiptesis es falsa. Un objeto puede moverse de
una forma continua pero de manera tan irregular que en la prctica su velocidad
cambia abruptamente en todo instante de tiempo. Esto significa que en realidad no
tiene siquiera una velocidad razonable.
Otras aportaciones a este extrao zoo de anomalas incluan una curva que llena
toda una regin del espacio (una fue encontrada por Peano en 1890, otra por
Hilbert en 1891), una curva que se cruza consigo misma en todo punto (descubierta
por Waclaw Serpinski en 1915) y una curva de longitud infinita que encierra un rea
finita. Este ltimo ejemplo de rareza geomtrica, ideado por Helge von Koch en
1906, es la curva copo de nieve, y se construye de la forma siguiente. Empezamos
con un tringulo equiltero y aadimos promontorios triangulares en medio de cada
lado para crear una estrella de seis puntas.
Luego se aaden promontorios ms pequeos en medio de los doce lados de la
habituales, igual que sus predecesores hicieron al final del siglo XIX con esas
monstruosidades matemticas heterodoxas. La segunda parte del artculo La
difusin atmosfrica mostrada en un grfico a corta distancia, que escribi Lewis
Fry Richardson en 1926, lleva el ttulo Tiene el viento una velocidad?. Esto se ve
ahora como una pregunta completamente razonable.
El flujo atmosfrico es turbulento, la turbulencia es fractal y los fractales pueden
comportarse como la funcin monstruosa de Weierstrass: movindose
continuamente pero sin tener una velocidad bien definida. Mandelbrot encontr
ejemplos de fractales en muchas reas dentro y fuera de la ciencia: la forma de un
rbol, la ramificacin de un ro, los movimientos del mercado de valores.
Caos por todas partes!
Desde el punto de vista geomtrico, los atractores extraos de los matemticos
resultaron ser fractales, y las dos lneas de pensamiento se entretejieron en lo que
ahora se conoce popularmente como teora del caos.
El caos puede encontrarse en prcticamente cualquier rea de la ciencia. Jack
Wisdom y Jacques Laskar han encontrado que la dinmica del sistema solar es
catica. Conocemos todas las ecuaciones, masas y velocidades que se requieren
para predecir el movimiento futuro para siempre, pero hay un horizonte de
prediccin de unos diez millones de aos debido al caos dinmico. Por lo tanto, si
queremos saber en qu lado del Sol estar Plutn en el 10.000.000 d.C.
...olvidmoslo. Estos astrnomos han demostrado tambin que las mareas lunares
estabilizan la Tierra frente a influencias que de otra manera llevaran a un
movimiento catico, provocando rpidos cambios de clima de periodos calientes a
eras glaciares y vuelta; por ello, la teora del caos demuestra que, sin la Luna, la
Tierra sera un lugar muy desagradable en donde vivir.
El caos aparece en casi todos los modelos matemticos de poblaciones biolgicas, y
experimentos recientes (cra de escarabajos en condiciones controladas) indican que
tambin aparece en poblaciones biolgicas reales.
Los ecosistemas no se asientan normalmente en una especie de equilibrio de la
naturaleza esttico: en su lugar deambulan por atractores extraos, donde
normalmente tienen una apariencia similar pero siempre cambian.
de tres cuerpos.
El no haber comprendido la dinmica sutil del ecosistema es una razn por la que
las pesqueras del mundo estn prximas al desastre.
Complejidad
Del caos, nos volvemos a la complejidad. Muchos de los problemas a los que se
enfrenta hoy la ciencia son extraordinariamente complicados.
Para gestionar un arrecife coralino, una selva o una pesquera es necesario entender
un ecosistema altamente complejo, en el que cambios aparentemente inocuos
pueden desencadenar problemas inesperados. El mundo real es tan complicado, y
puede ser tan difcil de medir, que los mtodos de modelizacin convencionales son
difciles de establecer y an ms difciles de verificar. En respuesta a estos desafos,
Autmatas celulares
En un nuevo tipo de modelo matemtico, conocido como un autmata celular, cosas
tales como rboles, aves y ardillas son representadas como minsculos cuadrados
coloreados. Compiten con sus vecinos en un juego de ordenador matemtico. Las
grficas quiz no dicen mucho, pero la simplicidad es engaosa; estos juegos estn
en el filo de la ciencia moderna.
real, mejor. Pero esta aproximacin con gran detalle falla en el caso de sistemas
muy complejos. Supongamos, por ejemplo, que queremos entender el crecimiento
de una poblacin de conejos. No necesitamos modelar la longitud del pelo de los
conejos, cmo son sus orejas o cmo funciona su sistema inmune. Slo
necesitamos unos pocos hechos bsicos sobre cada conejo: qu edad tiene, cul es
su sexo y, caso de ser hembra, si est preada. Entonces podemos centrar los
recursos informticos en lo que realmente importa.
Para este tipo de sistema, los autmatas celulares son muy efectivos. Nos permiten
ignorar detalles innecesarios sobre los componentes individuales y centrarnos en su
lugar en cmo se interrelacionan dichos componentes. Esta resulta ser una manera
excelente de calcular qu factores son importantes y de revelar ideas generales
Geologa y biologa
Un sistema complejo que desafa el anlisis mediante tcnicas de modelizacin
tradicionales es la formacin de cuencas y deltas de ros. Peter Burrough ha
utilizado autmatas celulares para explicar por qu estos accidentes naturales
adoptan las formas que toman. El autmata modela las interacciones entre agua,
tierra y sedimentos. Los resultados explican cmo afectan los diferentes ritmos de
erosin del suelo a las formas de los ros, y cmo los ros arrastran el suelo,
cuestiones importantes para la ingeniera y la gestin hidrulica. Las ideas son
tambin interesantes para las compaas petrolferas, porque el petrleo y el gas se
encuentran con frecuencia en estratos geolgicos que originalmente se depositaron
como sedimentos.
Otra bella aplicacin de los autmatas celulares se da en biologa. Hans Meinhardt
ha utilizado autmatas celulares para modelizar la formacin de pautas en
animales, desde conchas marinas a cebras. Los factores clave son concentraciones
de sustancias qumicas. Las interacciones consisten en reacciones dentro de una
celda dada y difusin entre celdas vecinas.
Los dos tipos de interaccin se combinan para dar las reglas reales para el estado
siguiente. Los resultados proporcionan ideas tiles sobre las pautas de activacin e
inhibicin que activan y desactivan dinmicamente los genes que producen
pigmentos durante el crecimiento animal.
Stuart Kauffman ha aplicado varias tcnicas de teora de la complejidad a otro
rompecabezas importante en biologa: el desarrollo de la forma orgnica. El
crecimiento y desarrollo de un organismo debe implicar mucha dinmica, y no
puede ser simplemente una cuestin de traducir en forma orgnica la informacin
contenida en el ADN. Una va prometedora consiste en formular desarrollos sobre la
dinmica de un sistema no lineal complejo.
Los autmatas celulares han completado ahora el crculo y nos han dado una nueva
perspectiva sobre los orgenes de la vida. El autmata auto-replicante de Von
Newmann es muy especial, hecho a medida cuidadosamente para hacer copias de
una configuracin inicial altamente compleja. Es esto tpico de los autmatas
teoras. Muchas conjeturas importantes siguen sin resolver, pero los matemticos
estn trabajando en ellas.
Durante su larga historia, las matemticas se han inspirado en estas dos fuentes: el
mundo real y el mundo de la imaginacin humana. Cul es ms importante?
Ninguno de los dos; lo que importa es la combinacin. El mtodo histrico deja claro
que las matemticas extraen su poder, y su belleza, de ambos. La poca de los
antiguos griegos se suele ver como una Edad de Oro histrica, cuando la lgica, las
matemticas y la filosofa empezaron a influir en la condicin humana. Pero los
avances hechos por los griegos son slo parte de una historia en curso. Las
matemticas nunca han estado tan activas, nunca han sido tan diversas y nunca
han sido tan vitales para nuestra sociedad.
Lecturas adicionales
Libros y artculos
E. Belbruno Fly Me to the Moon, Princeton University Press, Princeton, 2007.
E. T. Bell Men of Mathematics (2 vols.), Pelican, Harmondsworth, 1953.
E. T. Bell The Development of Mathematics, (reed.), Dover, Nueva York, 2000.
R. Bourgne y J. P. crits et mmoires mathmatiques dvariste Galois, Gauthier- Villars,
Azra Pars, 1962.
C. B. Boyer History of Mathematics, Wiley, Nueva York, 1968. [Hay traduccin
castellana: Historia de la Matemtica, Alianza Editorial, Madrid, 1999.]
W K. Bhler Gauss, a Biographical Study, Springer, Berln, 1981.
J. Cardan The Book of My Life (traducido por Jean Stoner), Dent, Londres, 1931.
[Hay traduccin castellana del original: Mi Vida, Alianza Editorial,
Madrid, 1991.]
G. Cardano The Great Art or the Rules of Algebra (traducido por T. Richard
Witmer), MIT Press, Cambridge, MA, 1968.
J. Coolidge The Mathematics of Great Amateurs, Dover, Nueva York, 1963.
T. Dantzig Number: the Language of Science (ed. J. Mazur), Pi Press, Nueva York,
2005.
Euclides TheThirteen Books of Euclids Elements (3 vols., traducido por
sirThomas L. Heath), Dover, Nueva York. [Hay traduccin castellana
del original: Elementos, Gredos, Madrid.]
J. Fauvel y J. Gray The History of Mathematics: a Reader, Macmillan Education,
Basingstoke, 1987.
D. H. Fowler The Mathematics of Platos Academy, Clarendon Press, Oxford, 1987.
C. F. Gauss Disquisitiones Arithmeticae, Leipzig, 1801 (traducido por A. A. Clarke),
Yale University Press, New Haven, CT, 1965. [Hay traduccin
castellana: Disquisitiones Arithmeticae, Academia Colombiana de
Ciencias Exactas, Fsicas y Naturales, 1995; tambin hay una
traduccin parcial de las Secciones III y IV en Dios cre los nmeros,
Crtica, Barcelona, 2006.]
Hyman Charles Babbage, Oxford University Press, Oxford, 1984.
G. G. Joseph The Crest of the Peacock: non-European Roots of Mathematics,
Penguin, Harmondsworth, 2000.
V. J. Katz A History of Mathematics (2.a ed.), Addison-Wesley, Reading, MA,
1998.
M. Kline Mathematical Thought fron Ancient to Modern Times, Oxford University
Press, Oxford, 1972. [Hay traduccin castellana: El pensamiento
Pginas web
La mayora de los temas pueden localizarse fcilmente utilizando un motor de
bsqueda. Hay pginas generales muy buenas:
El archivo MacTutor de Historia de las Matemticas: http://www-
groups.dcs.st-and.ac.uk/~history/index.html
Wolfram MathWorld, un compendio de informacin sobre temas matemticos:
http://mathworld.wolfram.com
Wikipedia, la enciclopedia libre: http://en.wikipedia.org/wiki/Main_Page
FIN