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 resorte 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.

Tomado de: www.profesorenlinea