1.3.

- LAS MATEMTICAS EN EL SIGLO XIX En 1821, un matemtico francs, Augustin Louis Cauchy, consigui un enfoque lgico y apropiado del clculo. Cauchy bas su visin del clculo slo en cantidades finitas y el concepto de lmite. Sin embargo, esta solucin plante un nuevo problema, el de la definicin lgica de nmero real. Aunque la definicin de clculo de Cauchy estaba basada en este concepto, no fue l sino el matemtico alemn Julius W. R. Dedekind quien encontr una definicin adecuada para los nmeros reales, a partir de los nmeros racionales, que todava se ensea en la actualidad; los matemticos alemanes Georg Cantor y Karl T. W. Weierstrass tambin dieron otras definiciones casi al mismo tiempo. Un problema ms importante que surgi al intentar describir el movimiento de vibracin de un muelle estudiado por primera vez en el siglo XVIII fue el de definir el significado de la palabra funcin. Euler, Lagrange y el matemtico francs Joseph Fourier aportaron soluciones, pero fue el matemtico alemn Peter G. L. Dirichlet quien propuso su definicin en los trminos actuales. Adems de fortalecer los fundamentos del anlisis, nombre dado a partir de entonces a las tcnicas del clculo, los matemticos del siglo XIX llevaron a cabo importantes avances en esta materia. A principios del siglo, Carl Friedrich Gauss dio una explicacin adecuada del concepto de nmero complejo; estos nmeros formaron un nuevo y completo campo del anlisis, desarrollado en los trabajos de Cauchy, Weierstrass y el matemtico alemn Bernhard Riemann. Otro importante avance del anlisis fue el estudio, por parte de Fourier, de las sumas infinitas de expresiones con funciones trigonomtricas. stas se conocen hoy como series de Fourier, y son herramientas muy tiles tanto en las matemticas puras como en las aplicadas. Adems, la investigacin de funciones que pudieran ser iguales a series de Fourier llev a Cantor al estudio de los conjuntos infinitos y a una aritmtica de nmeros infinitos. La teora de Cantor, que fue considerada como demasiado abstracta y criticada como enfermedad de la que las matemticas se curarn pronto, forma hoy parte de los fundamentos de las matemticas y recientemente ha encontrado una nueva aplicacin en el estudio de corrientes turbulentas en fluidos. Otro descubrimiento del siglo XIX que se consider abstracto e intil en su tiempo fue la geometra no eucldea. En esta geometra se pueden trazar al menos dos rectas paralelas a una recta dada que pasen por un punto que no pertenece a sta. Aunque descubierta primero por Gauss, ste tuvo miedo de la controversia que su publicacin pudiera causar. Los mismos resultados fueron descubiertos y publicados por separado por el matemtico ruso Nikoli Ivnovich Lobachevski y por el hngaro Jnos Bolyai. Las geometras no eucldeas fueron estudiadas en su forma ms general por Riemann, con su descubrimiento de las mltiples paralelas. En el siglo XX, a partir de los trabajos de Einstein, se le han encontrado tambin aplicaciones en fsica. Gauss es uno de los ms importantes matemticos de la historia. Los diarios de su juventud muestran que ya en sus primeros aos haba realizado grandes descubrimientos en teora de nmeros, un rea en la que su libro Disquisitiones arithmeticae (1801) marca el comienzo de la era moderna. En su tesis doctoral present la primera demostracin apropiada del teorema fundamental del lgebra. A menudo combin investigaciones cientficas y matemticas. Por ejemplo, desarroll mtodos estadsticos al mismo tiempo que investigaba la rbita de un planetoide recin descubierto, realizaba trabajos en teora de potencias junto a estudios del magnetismo, o estudiaba la

geometra de superficies curvas a la vez que desarrollaba sus investigaciones topogrficas. De mayor importancia para el lgebra que la demostracin del teorema fundamental por Gauss fue la transformacin que sta sufri durante el siglo XIX para pasar del mero estudio de los polinomios al estudio de la estructura de sistemas algebraicos. Un paso importante en esa direccin fue la invencin del lgebra simblica por el ingls George Peacock. Otro avance destacado fue el descubrimiento de sistemas algebraicos que tienen muchas propiedades de los nmeros reales. Entre estos sistemas se encuentran las cuaternas del matemtico irlands William Rowan Hamilton, el anlisis vectorial del matemtico y fsico estadounidense Josiah Willard Gibbs y los espacios ordenados de n dimensiones del matemtico alemn Hermann Gnther Grassmann. Otro paso importante fue el desarrollo de la teora de grupos, a partir de los trabajos de Lagrange. Galois utiliz estos trabajos muy a menudo para generar una teora sobre qu polinomios pueden ser resueltos con una frmula algebraica. Del mismo modo que Descartes haba utilizado en su momento el lgebra para estudiar la geometra, el matemtico alemn Felix Klein y el noruego Marius Sophus Lie lo hicieron con el lgebra del siglo XIX. Klein la utiliz para clasificar las geometras segn sus grupos de transformaciones (el llamado Programa Erlanger), y Lie la aplic a una teora geomtrica de ecuaciones diferenciales mediante grupos continuos de transformaciones conocidas como grupos de Lie. En el siglo XX, el lgebra se ha aplicado a una forma general de la geometra conocida como topologa. Tambin los fundamentos de las matemticas fueron completamente transformados durante el siglo XIX, sobre todo por el matemtico ingls George Boole en su libro Investigacin sobre las leyes del pensamiento (1854) y por Cantor en su teora de conjuntos. Sin embargo, hacia finales del siglo, se descubrieron una serie de paradojas en la teora de Cantor. El matemtico ingls Bertrand Russell encontr una de estas paradojas, que afectaba al propio concepto de conjunto. Los matemticos resolvieron este problema construyendo teoras de conjuntos lo bastante restrictivas como para eliminar todas las paradojas conocidas, aunque sin determinar si podran aparecer otras paradojas es decir, sin demostrar si estas teoras son consistentes. Hasta nuestros das, slo se han encontrado demostraciones relativas de consistencia (si la teora B es consistente entonces la teora A tambin lo es). Especialmente preocupante es la conclusin, demostrada en 1931 por el lgico estadounidense Kurt Gdel, segn la cual en cualquier sistema de axiomas lo suficientemente complicado como para ser til a las matemticas es posible encontrar proposiciones cuya certeza no se puede demostrar dentro del sistema. 1.4.- LAS MATEMTICAS ACTUALES En la Conferencia Internacional de Matemticos que tuvo lugar en Pars en 1900, el matemtico alemn David Hilbert expuso sus teoras. Hilbert era catedrtico en Gotinga, el hogar acadmico de Gauss y Riemann, y haba contribuido de forma sustancial en casi todas las ramas de las matemticas, desde su clsico Fundamentos de la geometra (1899) a su Fundamentos de la matemtica en colaboracin con otros autores. La conferencia de Hilbert en Pars consisti en un repaso a 23 problemas matemticos que l crea podran ser las metas de la investigacin matemtica del siglo que empezaba. Estos problemas, de hecho, han estimulado gran parte de los trabajos

matemticos del siglo XX, y cada vez que aparecen noticias de que otro de los problemas de Hilbert ha sido resuelto, la comunidad matemtica internacional espera los detalles con impaciencia. A pesar de la importancia que han tenido estos problemas, un hecho que Hilbert no pudo imaginar fue la invencin del ordenador o computadora digital programable, primordial en las matemticas del futuro. Aunque los orgenes de las computadoras fueron las calculadoras de relojera de Pascal y Leibniz en el siglo XVII, fue Charles Babbage quien, en la Inglaterra del siglo XIX, dise una mquina capaz de realizar operaciones matemticas automticamente siguiendo una lista de instrucciones (programa) escritas en tarjetas o cintas. La imaginacin de Babbage sobrepas la tecnologa de su tiempo, y no fue hasta la invencin del rel, la vlvula de vaco y despus la del transistor cuando la computacin programable a gran escala se hizo realidad. Este avance ha dado un gran impulso a ciertas ramas de las matemticas, como el anlisis numrico y las matemticas finitas, y ha generado nuevas reas de investigacin matemtica como el estudio de los algoritmos. Se ha convertido en una poderosa herramienta en campos tan diversos como la teora de nmeros, las ecuaciones diferenciales y el lgebra abstracta. Adems, el ordenador ha permitido encontrar la solucin a varios problemas matemticos que no se haban podido resolver anteriormente, como el problema topolgico de los cuatro colores propuesto a mediados del siglo XIX. El teorema dice que cuatro colores son suficientes para dibujar cualquier mapa, con la condicin de que dos pases limtrofes deben tener distintos colores. Este teorema fue demostrado en 1976 utilizando una computadora de gran capacidad de clculo en la Universidad de Illinois (Estados Unidos). El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca. Teoras que eran completamente distintas se han reunido para formar teoras ms completas y abstractas. Aunque la mayora de los problemas ms importantes han sido resueltos, otros como las hiptesis de Riemann siguen sin solucin. Al mismo tiempo siguen apareciendo nuevos y estimulantes problemas. Parece que incluso las matemticas ms abstractas estn encontrando aplicacin. Cauchy Matemtico francs, considerado uno de los impulsores del anlisis en el siglo XIX. Naci en Pars en 1789 y estudi en la Escuela Politcnica de esta ciudad. Fue profesor simultneamente en el Colegio de Francia, en la Escuela Politcnica y en la Universidad de Pars. En 1848 fue nombrado profesor de astronoma matemtica de esa universidad. Cauchy verific la existencia de funciones elpticas recurrentes, dio el primer impulso a la teora general de funciones y sent las bases para el tratamiento moderno de la convergencia de series infinitas. Tambin perfeccion el mtodo de integracin de las ecuaciones diferenciales de primer grado. Agustn Louis Cauchy pionero en el anlisis y la teora de permutacin de grupos. El ayud ocupando diversos puestos en la Facultad de Ciencia de Pars, El Colegio de Francia y La Escuela Politcnica. En 1814 el public la memoria de la integral definida que lleg a ser la base de la teora de las funciones complejas.

Gracias a Cauchy, el anlisis infinitesimal adquiere bases slidas. Como Cauchy se precisan los conceptos de funcin, de lmite y de continuidad en la forma actual o casi actual, tomando el concepto de lmite como punto de partida del anlisis y eliminando de la idea de funcin toda referencia a una expresin formal, algebraica o no, para fundarla sobre la nocin de correspondencia. Los conceptos aritmticos otorgan ahora rigor a los fundamentos del anlisis, hasta entonces apoyados en una intuicin geomtrica que quedar eliminada, en especial cuando ms tarde sufre un rudo golpe al demostrarse que hay funciones continuas sin derivadas, es decir: curvas sin tangentes. Cauchy vuelve a tomar el concepto tradicional de integral, como suma y no como operacin inversa. Tambin introdujo el rigor en el tratamiento de las series fijando criterios de convergencia y eliminando, algo a pesar suyo, las series divergentes, pues dice "Me he visto obligado a admitir diversas proposiciones que parecern algo duras; por ejemplo, que una serie divergente carece de suma". Cauchy retorn a Pars en 1838 y retom su cargo en la academia pero no su posicin de profesor por haber rechazado tomar el juramento de lealtad. Cuando Louis Philippe fue destronado en 1848 Cauchy retom su ctedra en Sorbonne. El ayudo en los postgrados hasta la hora de su muerte. Riemann Georg Riemann naci el 17 de Septiembre en Breselenz (Alemania) y falleci el 20 de Julio 1866 en Selasca, Italia. Estudi en la Universidad de Gottingen, de la que fue profesor auxiliar (1854) y catedrtico (1859). Revolucion la geometra diferencial en la que bas Einstein su teora de la relatividad, aport mtodos topolgicos para la teora de las funciones de variable compleja, invent la funcin Zeta de su nombre, y desarroll la teora de las funciones abelianas. Su principal publicacin fue su tesis doctoral (de suma importancia en geometra no euclidiana): bre die Hypothesen, welche der Geometrie zugrunde liegen (1854). Las ideas de Riemann referentes a la geometra del espacio tuvo profundos efectos en el desarrollo de la teora fsica moderna y provea los conceptos y mtodos usados despus en la Teora de la Relatividad. Clarific la nocin de Integral, definiendo lo que ahora llamamos Integral de Riemann. Era un original pensador y un anfitrin de mtodos, teoremas y conceptos que llevan su nombre. Riemann se traslad de Gottingen a Berln en el ao 1846 para estudiar bajo la enseanza de Jacobi, Dirichlet y Einstein. El ao 1849 retorn a Gottingen y su tesis supervisada por Gauss fue presentada en el ao 1851. En su informe de la tesis Gauss describe a Riemann como alguien que tena una fcil y gloriosa originalidad. Con las recomendaciones de Gauss, Riemann fue nominado para un puesto en Gottingen. (La ctedra de Gauss en Gottingen fue ocupada por Dirichlet en el ao 1855 y despus de su muerte por Riemann).

Las ecuaciones de Cauchy-Riemann (conocidas un tiempo antes) y el concepto de la superficie de Riemann aparecen en su tesis de Doctorado. Los escritos de Riemann de 1854 llegaron a ser un clsico en las matemticas y estos resultados fueron incorporados dentro de la teora de la relatividad y gravitacin de Einstein. El 10 de junio del ao 1854, en una conferencia, Georg Riemann dio a conocer una nueva geometra que vino a ampliar la que durante siglos se haba considerado como definitiva, la de Euclides. En la obra de Euclides, todas las figuras geomtricas son de 2 3 dimensiones. Riemann ampli eso. Einstein, a final del mismo siglo, utilizar la geometra de cuatro dimensiones de Riemann para explicar el Universo. La importancia de Riemann no queda ah, ya que engrandecer ideas que resultan muy actuales en el pensamiento cientfico actual: a) La utilizacin del espacio multidimensional para simplificar las leyes de la naturaleza. La electricidad, el magnetismo y la gravedad no seran ms que efectos causados por la distorsin del hiperespacio (o de la cuarta dimensin, si usamos un trmino del siglo XIX). La fuerza, segn Riemann, sera una consecuencia de la geometra del espacio. b) Los agujeros de gusano estn en su idea de espacios mltiples conectados. Euclides haba sentenciado que: * Un punto no tiene ninguna dimensin. * Una lnea solo tiene una: longitud. * Una superficie tiene dos dimensiones: longitud y anchura. * Un slido tiene tres dimensiones: longitud, anchura y altura. * No hay nada que tenga ms de tres dimensiones. Esta limitacin fue rota por Riemann al postular la existencia de espacios de Ndimensiones, tesis que acompa con un instrumental matemtico denominado tensor mtrico. En el espacio plano, el nico que existe para Euclides. Las lneas paralelas no se cortan nunca, y solo podemos dibujar una por un punto exterior a una recta.La suma de los ngulos interiores de un tringulo es de 180 grados. En el espacio curvado, de curvatura positiva, como la superficie de una esfera, las lneas paralelas siempre se cortan, la suma de los ngulos interiores de un tringulo supera los 180 grados.

En el espacio curvado, de curvatura negativa, podemos dibujar un nmero infinito de lneas paralelas a una lnea dada, la suma de los ngulos de un tringulo es inferior a 180 grados. Riemann, yendo ms all de los lmites de la geometra euclidiana, comprob que todos estos espacios de cualquier dimensin (N-dimensiones) con curvatura arbitraria no planteaban ningn tipo de contradiccin. Para Riemann la curvatura o distorsin del espacio provoca la aparicin de una fuerza, pero no obtuvo ningn resultado en la bsqueda sobre qu provoca tal curvatura. Fue Einstein quien anunci que la curvatura del espacio est determinada por la cantidad de materia y energa contenida en este. Este fue el descubrimiento del principio fsico que se comprob experimentalmente correcto. Einstein, sin embargo, estuvo tres largos aos -de 1912 a 1915- buscando desesperadamente un aparato matemtico suficientemente potente para explicar este principio. Riemann muri con tuberculosis a la edad de 39 aos, sin haber resuelto las ecuaciones que regan la electricidad, el magnetismo y la gravedad. Por lo que hace a esta ltima estaba escrito que se deba de esperar a Einstein. Einstein plante, independientemente del programa de Riemann, la idea de una explicacin geomtrica del concepto de "fuerza". Durante sesenta aos, el trabajo de Riemann y su tensor mtrico permanecieron ignorados por los fsicos. El azar hizo que cayese en manos de Einstein la conferencia de 1854, dndose cuenta del encaje perfecto de las ideas riemannianas con su principio fsico. Se ha escrito que la reinterpretacin fsica de la conferencia de Riemann del ao 1854 hoy recibe el nombre de "relatividad general". A partir de Riemann, Einstein pudo formular las famosas ecuaciones de campo de la gravedad. La reflexin a partir de estas ecuaciones ha permitido explicar los movimientos de las estrellas y de las galaxias, los agujeros negros, el big bang y, hay quien lo intenta, el destino del Universo.