You are on page 1of 23

Las construcciones de los nmeros reales

POR MANUEL LOPEZ PELLICER *

1. Introduccin Vamos a exponer las construcciones de los nmeros reales hechas en el siglo XIX. Primero expondremos sus antecedentes en lgebra y en anlisis, analizando la relacin entre la aritmetizacin del anlisis y el desarrollo del nmero real. Tambin consideraremos otros antecedentes relacionados con algn aspecto de la fsica matemtica. Incluimos en los antecedentes las construcciones dadas por Ohm (1829), Bolzano (1835) y Hamilton (1833 y 1835) por tratarse de inicios de construcciones, con algunos fallos de rigor. Las construcciones que detallaremos sern las de Dedekind, Weierstrass, Mray y Cantor, tambin llamada de Cantor-Heine, hechas en la segunda mitad del siglo XIX, y procuraremos ser respetuosos con las notaciones matemticas de esa poca, si bien ese respeto histrico lo subordinaremos al intento de conseguir una exposicin lo ms clara posible. Finalmente expondremos algunos resultados obtenidos despus de esas construcciones y alguna nota biogrfica. 2. Antecedentes de las construcciones del nmero real 2.1 Antecedentes en lgebra La densidad de los racionales en R pudo hacer pensar en la antigedad que la abcisa de cualquier punto era racional, y as en el papyrus Rhind, 1650 aos antes de Cristo, se escribe K = 3,16. Este error conlleva otro en el mismo documento: el que se proponga la construccin de un cuadrado de lado 8/9 del dimetro de un crculo como solucin al problema de su cuadratura, consistente en la construccin con regla y comps de un cuadrado de rea igual a la de un crculo dado. La regla, el comps y el teorema de Pitgoras permitieron dibujar un punto de abcisa V2 , que no es racional. As nacieron los nmeros irracionales. En 1683 hay un intento de Tschirnhaus de expresar por radicales las races de un polinomio P (x) con coeficientes enteros que pudo ser motivado
* Acadmico Correspondiente.

12

por la creencia de que las abcisas de los puntos de una recta seran racionales o irracionales expresables por radicales, pues eran muy pocos los nmeros utilizados que no tuviesen representacin racional o por radicales. Uno era 7 C y otro el nmero e introducido por Navier en 1614, de los que no se saba si eran racionales o irracionales. Euler prueba en 1737 que e^ e son irracionales aproximndolos por fracciones continuas y establece la frmula e^^--\, por la cual desde entonces el estudio de los dos nmeros l^ e est estrechamente relacionado. Y as Lambert, con las mismas tcnicas de Euler, prueba en 1761 la irracionalidad de 71, de e^ y de tgx para todo nmero racional x distinto de cero. Los intentos de expresar las races de polinomios por radicales continan con Bezout, quien en 1762 escribe una raz ade P (x) = O en la forma a = A i p+A 2 p +...+ A /j- r p"~ ^ donde p es una raz n-sima de la unidad distinta de 1, que, por tanto, verifica la relacin 1+ p-r p^ + ...+ p'^"^ = 0. La eliminacin de p entre las dos igualdades da un polinomio en a cuyos coeficientes son polinomios en A 1, A 2,..., A n-1 que se igualan a los coeficientes de P (z) = 0. Una nueva eliminacin conduce a una ecuacin para determinar los A / que tiene grado 24 cuando P {x) tiene grado 5. Entre 1770 y 1772 aparecen tres trabajos independientes de Waring, Lagrange y Vandermonde que contienen un estudio sistemtico de los mtodos de resolucin de ecuaciones de grado menor o igual a 4, y de las dificultades encontradas en la resolucin de ecuaciones de grado mayor o igual a 5. Recordemos que la frmula que da las tres races de la ecuacin de tercer grado x + px + g = O, parece introducir races parsitas, pues viene dada por la suma de dos radicales cbicos, dificultad que se elimina teniendo presente que el producto de los radicales debe ser -p/B. Lagrange observa que esos radicales se pueden escribir en la forma (xi + CX2 + C O X3 ) / 3 , donde x\,X2 y x^ son las tres races de la ecuacin y co es una raz cbica de la unidad. Dicho de otra forma, ( X1+ C0X2+ C O X3 ) / 3 , no toma ms que dos valores entre los seis posibles al permutar xi, X2, y X3 . Esto lleva a introducir los famosos resolventes de Lagrange 3;^= E / c o x , , 1< /i < n ; donde coj^ es una raz de orden n de la unidad y los xh son las n races de la ecuacin P (z) = 0. Lagrange prueba que el conocimiento de los yk determina completamente las races xh . Este mtodo le da las frmulas de resolucin conocidas para las ecuaciones de grados 2, 3 y 4; pero para n = 5 le lleva a resolver una ecuacin de grado 6, lo que le induce a dudar de la posibilidad de resolver en general por radicales una ecuacin de grado mayor o igual a cinco ([33]).

13 P. Ruffini se propuso demostrar lo que Lagrange no se haba atrevido a conjeturar: La imposibilidad de resolver por radicales una ecuacin de grado quinto. Las cuatro memorias que public de 1799 a 1813 contienen variantes de su demostracin. En las primeras tiene la dificultad de no usar el lenguaje de la teora de grupos, expresando sus razonamientos en trminos de nmeros de valores tomados por una funcin de races cuando se las permuta de todas las formas posibles, tratndose, en esencia, de un estudio del grupo simtrico de 5 elementos. Simplifica bastante su ltima demostracin con la consideracin del cuerpo Eo= Q(xu..,, Xn) y de los cuerpos Ei , donde /+i se deduce de E i aadindole una de las races de la ecuacin z^'= bi con /G Ei y pi primo impar. Los trabajos de Ruffini tuvieron dos consecuencias muy importantes: Una es que inspiraron a Cauchy en 1813 el estudio de las sustituciones ^A ] con la notacin abreviada , ^ > , efectuando sus productos y sus potencias, y preparando el camino a Gal OS, quien introducir la nocin de grupo y obtendr el criterio necesario de resolubilidad por radicales ya vislumbrado por Abel. La otra es el descubrimiento de que hay nmeros algebraicos, es decir, races de los polinomios con coeficientes enteros que no son expresables por radicales. El lgebra, con sus nmeros irracionales algebraicos, llev a la necesidad de la construccin previa del conjunto R de los nmeros reales, pues carece de sentido el considerar a algo no definido como raz de una ecuacin. No obstante, en esta poca se utilizaba el conjunto R aunque no se le hubiese construido formalmente, y as es como despus de los trabajos de Ruffini surgi la conjetura de la existencia de irracionales no algebraicos, cuya solucin afirmativa tiene su origen en otro resultado de Lagrange, quien haba demostrado que si a es un nmero cuadrtico real irracional, entonces su fraccin continua es peridica y existe una constante c (a) > O tal que I a - p/q I > c ( a ) q~^ para todo nmero racional p Iq. Este resultado fue generalizado en 1844 por Liouville, quien prob que si a es una raz irracional de un polinomio irreducible de grado n>\ con coeficientes enteros, entonces existe una constante c ( a ) > O tal que I a - p/q I > c {a) q~^ para todo nmero racional p I q. El teorema de Liouville es la generalizacin natural del resultado de Lagrange, radicando su mrito en que Liouville encontr que hay nmeros irracionales para los que la constante c (a) no existe para ningn valor de n. Estos nmeros irracionales no pueden ser algebraicos, y se les llama trascendentes o irracionales trascendentes. Un ejemplo clsico de nmero trascendente es el irracional

^= i o - " + i o - ' ' + i o - - ' ' + . . .


ya que si ^ . = 1 0 " " + + 10 ~ " + 1 0 ~ ^ ' + ... + 1 0 " ' ' = / 7 / I O ' ' = p / ^ , entonces I ^-^.1 =1 ^ - p / g I < 2 ( 1 0 - < ' ^ ' " ) < 2cf^'*'\ Por tanto, fijado n y dado un nmero c ( ^ ) se tiene para r suficientemente grande que \irkr\<c{l,)qpor lo que ^ , por el teorema de Liouville, no puede ser raz de un polinomio irreducible de grado n con coeficientes enteros; y dado que n es cualquier elemento de T V se deduce que ^ es un nmero trascendente. El conjunto de los nmeros trascendentes es infinito, pues todas las subseries (infinitas) de la serie 10 ~ ^ '+ 10 " ^ + 10 " ^+... definen nmeros trascendentes. 2.2 Antecedentes en anlisis: La aritmetizacin del anlisis. Vamos a situamos alrededor de 1800, concretamente en Gauss, cuyas ideas respecto a los lmites sufrieron una fuerte transformacin en pocos aos. En uno de sus primeros trabajos inditos, sobre 1797, se ocup de calcular la suma de la serie O !- 1 !+ 2 !- ... + {-If n !+... . Antes de 1800 en su trabajo indito Nociones fundamentales de la teora de series, introduce la definicin general de sucesin y da las definiciones de lmite superior (lm {sup {ap , n > p)]) y t lmite inferior, diciendo que si en una sucesin acotada coinciden el lmite superior y el inferior, entonces ese valor comn se llamar el lmite de la sucesin. Afirma, con gran naturalidad, que si X es una cota superior de una sucesin y a no es cota superior de esa sucesin sucede que al recorrer de forma continua todos los valores entre a y A. se obtiene necesariamente la mnima cota inferior de la sucesin, pareciendo que Gauss no se cuestion la construccin del conjunto R de los nmeros reales. Este trabajo se encuentra recopilado en [25]. Poco despus, el 27 de abril de 1800, aparece en su diario matemtico que acababa de demostrar que la serie de trmino general an cos (+ nx) converge hacia un lmite si la sucesin {Zn } es decreciente y tiene por lmite cero. Este resultado, como otros muchos, no lo publicar, fiel a su tradicin que expresa en una carta a Laplace el 30 de enero de 1812 ([25], p. 374] en la que se lee: "Tengo muchas cosas entre mis papeles, en las que podra perder el orden en la publicacin; pero en cualquier caso, prefiero hacer madurar las cosas", Y el 5 de mayo de 1812, en carta dirigida a Bessel ([26] criticaba implcitamente su referido trabajo indito de 1797 escribiendo que no tena ningn sentido intentar calcular la suma de una serie hipergeomtrica cuando I jcl > 1, diciendo que no era razonable (quaestionem ineptam) intentar calcular la suma de una serie divergente. En la misma carta Gauss escribe que si una serie de Taylor de una funcin / ( x ) converge en un punto x, necesariamente converge a
2

f {x) , error del que Cauchy dar el contraejemplo e'^"" en [12]. Y e s precisamente al ao siguiente, en 1813, cuando Gauss publica su gran

15 memoria sobre la serie hypergeomtrica, [24], en la que prueba que para I jcl < 1 la serie gp ly a ( a + l ) P ( ( ^ 1) , (1)(2)Y(Y+1) a ( a+l)(a-f 2) p( 3 + l)(p + 2) (l)(2)(3)Y(Y+l)(Y + 2) 3.

define una funcin cuyas derivadas sucesivas se obtienen por derivacin trmino a trmino, haciendo un estudio muy cuidadoso de la convergencia de la serie para x-. Algunos autores sealan en esta memoria de Gauss, [24], el principio de la poca del rigor en anlisis con el comienzo de una crtica constructiva frente a los mtodos antiguos que abusaban de evidencias y generalizaciones no probadas. As, por ejemplo, nos encontramos que Bernard Bolzano publica en 1816 el libro sobre el teorema del binomio, [4], donde critica explcitamente el uso que hacen de las series infinitas Euler y Lagrange, que haban dado demostraciones insuficientes de que (1+ x)^= 1 + nx+ -x^-h ... , precisando que el teorema del binomio no es un entero positivo se tiene que la expresa que si I xl < 1 y n diferencia

(1+ xy--nx-

^ x^ - ...

puede hacerse ms pequea que un nmero dado, si en la serie se toma un nmero de trminos suficientemente grande. Debemos resaltar que el excelente trabajo de Gauss sobre la serie hipergeomtrica era desconocido por Bolzano, quien expres en este libro sobre el teorema del binomio la necesidad de definir los nmeros reales, pues examina sucesivamente los casos nGZ,nGQynGRc indica en la nota final (pg. 143) que no ha tratado el caso en que xyn son nmeros complejos y el problema de la elevacin a una potencia irracional de un nmero negativo debido a que las nociones de nmero irracional y de nmero complejo no estn todava seriamente fundadas, anunciando que volver sobre ellas en otra ocasin. En 1817 Bolzano publica una gran memoria sobre el teorema de los valores intermedios, [5], que fue desconocida por sus contemporneos hasta el redescubrimiento de Bolzano por Hankel en 1870. Contiene lo mejor de Bolzano como analista, y aunque an no aborda la construccin de los nmeros reales supone el primer paso decisivo hacia la aritmetizacin del anlisis. El mismo Bolzano dice en su memoria que las demostraciones hechas hasta entonces del teorema de los valores intermedios utilizaban mtodos intuitivos, y que l nada tena que objetar ni contra el rigor ni contra la evidencia de este teorema geomtrico, pero que haba una falta

16 intolerable contra el mtodo, consistente en querer deducir verdades matemticas puras o generales de resultados que pertenecen a una parte aplicada o particular. Tambin obtiene lo que hoy conocemos como condicin necesaria y suficiente de Cauchy para convergencia de series, si bien su "prueba** descansa en que si se verifica la condicin de Cauchy la existencia del lmite no contiene ninguna contradiccin, pues se le puede determinar con la precisin que se desee. Bolzano en esta prueba estaba en un crculo vicioso del que no se sali hasta que los matemticos tomaron conciencia de que haba que definir antes que el lmite los objetos a los que se aplicaba la definicin de lmite, que van a ser los nmeros reales. Bolzano da un paso ms en la aritmetizacin del anlisis con el proyecto de elaborar un tratado que englobase el conjunto de las matemticas y cuyo fundamento iese el nmero. Este tratado, titulado Teora de las magnitudes , queda inacabado e indito. La primera parte, Teora dt funciones, [6], la escribe hacia 1830 y contiene el pensamiento de Bolzano respecto a los nmeros reales, ya que en el captulo Funciones continuas y discontinuas utiliza una proposicin que no demuestra y que conesponde a lo que hoy llamamos teorema de Bolzano-Weierstrass (todo conjunto infinito y acotado de nmeros reales tiene un punto de acumulacin), siendo curioso que este resultado que no figura en ninguna otra obra de Bolzano se conociese como teorema de Bolzano-Weierstrass antes de la publicacin de la obra de Bolzano en 1930. La teora de funciones contiene muchos resultados nuevos (la construccin de una funcin continua en [0,1] con infinitos mximos y mnimos, la construccin de una funcin continua en [a,6] no derivable en un subconjunto denso de {a,b\, contradiciendo as una afirmacin de Galois hecha a sus 18 aos, ...) y tambin algn error (cuando afirma que si x no pertenece a A ^ * la serie + ... +
\- X

+ ... representa una funcin continua), siendo lo ms


n- X

sobresaliente la forma en que Bolzano trata los fundamentos del Anlisis, nueva para esta poca. Dentro del mismo tratado de Teora de las magnitudes, hacia 1835, aborda Bolzano la construccin explcita del conjunto R ([40] y [41]), considerando expresiones del tipo 5 = ( l - ~ ) ( l - - j ) . . . ( l - ) . . . , donde intervienen infinitas veces las cuatro operaciones elementales de la aritmtica, y dice que una expresin finita o infinita S es medible, o que est determinada por aproximacin si, para todo entero q> 1 se puede encontrar un p E Z tal que q q

donde P\ y P2 son expresiones puramente positivas. En [40] hay un estudio crtico de la teora del nmero real de Bolzano, comentando sus faltas de rigor.

17 An nos encontramos con otra obra de Bolzano, titulada Paradojas del Infinito, [7], escrita en 1847 y publicada en 1851, donde expone la existencia de los conjuntos infinitos, presuponiendo en alguna forma que A^ es infinito (considera una proposicin verdadera que la llama proposicin A , con la que forma la proposicin "A es una proposicin verdadera", a la que la llamar proposicin 5 , de la que formar la proposicin "5 es una proposicin verdadera", que la llamar proposicin C, y as sucesivamente. Tambin con una homotecia pone en biyeccin subconjuntos infinitos diferentes de i?, de lo que nace la necesidad de redfinir el concepto de igualdad entre conjuntos infinitos, lo que ser hecho por unos cuarenta aos ms tarde por Cantor, quien senta una gran admiracin por este libro de Bolzano. Otro autor que tambin critica los mtodos antiguos, particularmente la generalidad que se atribua a ciertas expresiones algebraicas, es Cauchy, quien en su monumental Cours d'Analyse de VEcole royale polytechnique de 1821 abre el camino al anlisis moderno y escribe: "Respecto a los mtodos he procurado darles todo el rigor que se exige en geornetra, sin recurrir a razones sacadas de la generalidad del lgebra"^ criticando a ciertos mtodos de Lagrange, pues precisa que los razonamientos extrados de generalizar ciertas expresiones algebraicas "tienden a atribuir a las frmulas algebraicas un campo de validez infinito, en tanto que, en la realidad, la mayora de estas frmulas son vlidas bajo ciertas condiciones, y para ciertos valores de las variables que ellas contienen". En el captulo IV, titulado "Des sries convergentes et divergentes. Regles sur la convergence des sries. Sommation de quelques sries convergentes", introduce el concepto de convergencia y expone de forma tan natural lo que llamamos hoy condicin necesaria y suficiente de convergencia de Cauchy, que no debe extraar que le pareciese evidente. Esto es una prueba de que en alguna forma presuponan la existencia del conjunto /?, faltando su creacin explcita, pues lo nico que hace Cauchy en su libro es introducir los nmeros racionales a partir de la medida de magnitudes, y luego dice que un nmero irracional es un lmite de fracciones que proporcionan valores cada vez rns prximos al irracional. Observamos que esta definicin contiene el mismo crculo vicioso en el que estaba Bolzano, pues es necesario definir antes que el lmite los objetos a los que se aplica el lmite. Si bien apenas nada ms hay respecto a la construccin del nmero real en la referida obra de Cauchy Cours d'Analyse (1821) y en su Rsum des leons donnes a l'Ecole polytechnique sur le calcul infinitesimal (1823), est claro que Cauchy, igual que Bolzano, senta la necesidad de sentar las bases del nmero real. En efecto, en 1829, en el prlogo del segundo tomo de la segunda edicin del tratado de Martin Ohm, ([36] y [37]), se lee que el eminente Cauchy tambin haba llamado la atencin sobre el estado insuficiente y poco cientfico del anlisis, pero que no haba elaborado una teora general de los nmeros abstractos, sin la que el anlisis no puede existir. Ohm menciona los bellos teoremas de convergencia de series de Gauss y de Cauchy, de los que se servir en las

diferentes partes de su obra. La intencin de Ohm, declarada al principio del primer tomo de su tratado, es idntica a la de Bolzano en su inacabada Teora de las magnitudes: Intentar dar un cuerpo de unidad a las Matemticas, de forma similar a como hizo Euclides con sus Elementos respecto a la Geometra. Su idea es que el nmero abstracto es la nocin ms importante en Matemticas, constituyendo su fundamento. Ohm supone al principio de su tratado el conjunto N de los nmeros enteros positivos, define la suma y la multiplicacin, prueba que tienen las propiedades conmutativa y asociativa, y que la multiplicacin es distributiva respecto a la suma. Luego introduce \/b , y define el cociente a/b = a {lib ) cuando a no es mltiplo de b. Respecto a los irracionales limita su estudio al caso a^^^ . Cronolgicamente la obra de Ohm es el primer proyecto de construir todas las matemticas a partir del nmero entero, si bien con cierta falta de rigor. 2 3 . Otros antecedentes de las construcciones del nmero real: Las series de Fourier y algn aspecto de la fsica matemtica. No es posible hacerse una idea exacta de la poca que estamos considerando ahora, la primera mitad del siglo XIX, sin mencionar a Fourier, Dirichlet, Riemann y a algunos fsicos matemticos. El 21 de diciembre de 1807, Joseph Fourier ley en la Academia de Ciencias su memoria Thorie de la propagation de la chaleur dans les solides, que volvi a someter a la Academia el 28 de septiembre de 1811, sealando Lagrange la novedad del tema y su importancia, si bien estaba falto de rigor. En 1822 publica Fourier su Thorie analytique de /a chaleur, [23], que en opinin de Barboux es una bella obra, que se puede colocar al lado de los escritos cientficos ms perfectos de todos los tiempos. En su Discurso preliminar seala Fourier que las cuestiones de fsica que trata se reducen "a una investigacin de anlisis matemtico ... basada en teoremas nuevos." y que " ... el estudio profundo de la naturaleza es la fuente ms fecunda de los descubrimientos matemticos''. El rigor sigue siendo uno de los puntos que deja abiertas las puertas a posteriores investigaciones, pues Fourier obtiene los coeficientes de sus desarrollos integrando series trmino a trmino, sin ms restriccin sobre la convergencia. Ser Dirichlet, quien llega a Pars en mayo de 1822, a la edad de 17 aos, quien dar la primera demostracin rigurosa de la convergencia de una serie de Fourier, [19], donde establece que si / e s continua y montona a trozos en [-7t,7i], entonces su serie de Fourier converge a [/ ( jc ^ ) + / {x~ )] / 2 . El resultado de Dirichlet estaba en contradiccin con la afirmacin de Cauchy hecha en su Curso de Anlisis de 1821 donde haba enunciado que si una serie de funciones continuas era convergente en un entorno del punto a, la suma era una funcin continua en a. Ya Abel, en su trabajo de 1826 sobre la serie del binomio de Newton [1], haba puesto de manifiesto la incorreccin del resultado de Cauchy, quien en su demostracin utilizaba una hiptesis no enunciada: La convergencia uniforme de la serie de

19 funciones en el entorno referido del punto a. El primero en utilizar la nocin de convergencia uniforme fue Christof Gudermann, maestro de Weierstrass, en un artculo aparecido en el Journal de Crelle. No es pues extrao que el primero en definir explcitamente la continuidad uniforme fue Weierstrass en un artculo escrito en 1841 y publicado en 1894 ([46]). En el mismo sentido, en 1847, Ph.L. Seidel en [42] y G.G. Stokes en [44], introducen nociones que corresponden a la convergencia uniforme de una serie. Es Seidel quien observ que el teorema de Cauchy se contradice con el Dirichlet sobre el desarrollo en serie de Fourier de funciones continuas y montonas a trozos, demostrando que si una serie de funciones continuas es discontinua en el punto xo , entonces en cualquier entorno de Xo existen valores de x para los que la serie converge tan lentamente como se desee. Stokes da un contraejempla al teorema de Cauchy, enunciando luego que si una serie de funciones continuas no converge con lentitud infinita, entonces su suma es una funcin continua. Stokes comete la incorreccin de dar el recproco de este resultado, que es incorrecto. Cauchy publica una memoria en 1853 en la que da una nocin clara de la convergencia uniforme, [13], indicando que su teorema sobre la continuidad de una serie de funciones continuas es inexacto, pero que es fcil ver cmo debe modificarse el enunciado del teorema. En la prueba introduce el criterio de Cauchy para la convergencia uniforme de series. Es pues evidente que el estado del anlisis en 1850 exiga una construccin rigurosa del nmero real. Ya hemos citado las construcciones de Ohm (1829) y de Bolzano (1835) de base puramente aritmtica y no totalmente rigurosas. Ahora vamos a comentar la construccin de los nmeros reales que el fsico matemtico Hamilton hizo entre 1833 y 1835. Influido por el pensamiento de Newton, fundamenta en el concepto de tiempo su teora de los nmeros reales, pues pensaba que era necesario recurrir al universo fsico para justificar ante sus contemporneos las nociones abstractas. Despus de la presentacin de los nmeros racionales, Hamilton sugiere la idea de la particin de los racionales en dos clases y asegura que existe un conjunto infinito de nmeros racionales entre dos de ellos. Observa que si partimos el conjunto de nmeros racionales en dos clases A y 5 de forma que todo elemento de A sea menor que todo elemento de 5 , puede ocurrir que no exista ningn nmero racional entre A y B. A partir de una intuicim de la continuidad del tiempo, Hamilton sugiri que esos conjuntos A y B podan servir para determinar un nmero irracional. Enuncia que si < a cuando y < b y si a < ^ cuando b < '^ , n n q qi entonces a = ^b . As 4b est determinado por la particin hecha en los racionales segn su cuadrado sea menor o mayor que b. En sus dos memorias, ledas ante la Academia Real de Irlanda en 1833 y 1835 y publicadas con el ttulo del "Algebra as the science of pure times ...", se lee ([16], p. 362): "La idea de la continuidad de la progresin de un momento a otro en el tiempo engloba la idea de una progresin continua de manera semejante
^ .
. m t

rn^

P i

20

en las cantidades [...]. Prosiguiendo esta sucesin de ideas, nos vemos obligados a concebir [...] la existencia de un nmero determinado o de una razn a que es la raz cuadrada exacta de todo nmero positivo propuesto o razn b ". Riemann, que fue alumno de Gauss, present su tesis de habilitacin en 1854 en la Universidad de Gottingen, continuando la memoria [19] de su maestro Dirichlet. Despus de un elegante estudio de esta memoria Riemann concluye que se puede representar por una serie trigonomtrica toda funcin peridica de perodo 2n que: 1 "Sea generalmente susceptible de integracin. 2 No tenga ms que un nmero finito de mximos y mnimos". Para precisar la primera condicin Riemann desarrolla su teora de la integral y obtiene su condicin de integrabilidad: "Para que una funcin acotada sea integrable en [a,b] es necesario y suficiente que se pueda dividir [a,b] en subintervalos parciales tales que la suma de las longitudes de los intervalos en los que la oscilacin es mayor que e , cualquiera que sea 8 > 0 , sea tan pequea como se desee". Riemann ha dado un paso decisivo hacia la moderna teora de la medida, lo que est exigiendo una construccin rigurosa de los nmeros reales. 3. Las construcciones del nmero real en la segunda mitad del XIX. 3.1. RICHARD DEDEKIND Tambin en 1854 y en Gottingen ley su tesis de habilitacin Dedekind, tal vez el ltimo discpulo conocido de Gauss, quien muere en 1855 sucedindole Dirichlet, hecho que va a ser fundamental en la formacin de Dedekind, quien seala de Dirichlet que "era un gran placer seguir sus conferencias profundas y penetrantes, y que haba seguido tedas sus lecciones sobre teora de nmeros, sobre el potencial, sobre la integral definida, sobre las ecuaciones en derivadas parciales ... y que Dirichlet haba hecho de l, tanto por sus enseanzas como por su trato personal, cada vez ms confidente, un hombre nuevo" ([22], 1,4,1). La coincidencia en ao y en Universidad de la lectura de las tesis de habilitacin de Dedekind y Riemann va a ser origen de una profunda amistad entre ambos y un hecho decisivo en la formacin de Dedekind, pues se conserva una carta de 16 de septiembre de 1856 de Dedekind a Riemann agradecindole las numerosas lecciones recibidas de Riemann el ltimo ao ([22], 1,4,2). Fue Dedekind quien public la Tesis de habilitacin de su amigo Riemann tras su muerte en 1866 ([39]). El avanzado estado del anlisis matemtico sobre 1850 era incompatible con una teora no bien fundamentada del nmero real. Dedekind fue nombrado en 1858 profesor de matemticas en la Escuela Politcnica de Zurich, donde preparando la primera parte de clculo diferencial e integral para el semestre de invierno del curso 1858-1859

21 sinti la necesidad de elaborar una teora de los nmeros reales, siendo tan fuerte su sentimiento de insatisfaccin que decidi firmemente reflexionar hasta encontrar los fundamentos puramente aritmticos y rigurosos del anlisis infinitesimal, que segn constaba en su diario, destruido antes de su muerte, los encontr el 24 de noviembre de 1858, si bien como expondremos a continuacin no los public hasta 1872. Del perodo de revisiones de su teora del nmero real, entre 1858 y 1872, resaltaremos que en 1862 volvi a Brunswick, su ciudad natal, para ensear en la Escuela Politcnica. En el semestre de invierno del curso 1862-63 dio un curso sobre clculo diferencial e integral cuyo captulo primero se titula *'E1 dominio de los nmeros reales; su continuidad". En el captulo cuarto introduce la nocin de lmite, despus de haber definido los nmeros reales, y prueba el teorema de que toda sucesin creciente acotada superiormente tiene lmite. Dedekind publica su teora de los nmeros reales en la obra "Continuidad y nmeros irracionales" ([17], 1872), despus de varias revisiones de su teora. En el prlogo del libro Dedekind precisa que las consideraciones que va a exponer datan del otoo de 1858, que es cuando sinti La falta de una base realmente cientfica de la aritmtica, particularmente en la nocin de lmite y, en concreto, en la demostracin del teorema de que una sucesin creciente acotada tiene lmite, donde se recurre a la evidencia geomtrica. Dice que descubri que el hecho de que las sucesiones montonas crecientes acotadas tengan lmite, o algn otro resultado equivalente, podra ser considerado de alguna forma como fundamento del anlisis infinitesimal. Sigue diciendo en el prlogo que entonces lo nico que le quedaba para fundamentar rigurosamente el anlisis era elaborar una teora del nmero real partiendo de los nmeros racionales y utilizando slo la aritmtica, de tal forma que le permitiese probar que una sucesin creciente acotada tiene lmite, e indica que lo consigui el 24 de noviembre de 1858. En el captulo 1, Propiedades de los nmeros racionales, Dedekind parte del cuerpo ordenado Q de los nmeros racionales, resaltando dos propiedades: 1.- Que si a^ b existen una infinidad de nmeros racionales entre a y b, colocando as la propiedad topolgica de la densidad de los nmeros racionales en la base del Anlisis. 2.- Que cada a G g induce una particin (Ai, A2) de Q , llamada cortadura, de forma que cada elemento a\ de Ai verifica a\ < a y cada elemento a 2 perteneciente a A2 cumple que a< a2 . l nmero a puede estar en Ai o en A2 indistintamente, debiendo considerar como no esencialmente diferentes, en palabras de Dedekind, las dos cortaduras que entonces resultan. En el concepto de cortadura va a basar Dedekind su definicin de nmero, que, por tanto, reposa sobre la idea de conjunto infinito. El captulo 4 se titula Creacin de los nmeros irracionales, pues Dedekind desea hacer notar que se trata de una creacin. Generaliza la nocin de cortadura como una particin (Ai, A2) de g tal que a\ < ai para cada ai G A/ con / = 1,2. Hay unas cortaduras en que A, tiene

22

mximo o A2 tiene mnimo, que son generadas por ese nmero racional mximo de A1 o mnimo de A 2. Dedekind da inmediatamente una infinidad de cortaduras que no son generadas de esta forma al no tener A1 mximo ni A2 mnimo, y dice que cada una de estas cortaduras (A 1, A2) define un nuevo nmero a, irracional, completamente definido por esta cortadura (Al, A2). A toda cortadura corresponde pues un nmero, racional o irracional, siendo, en ft-ase de Dedekind, dos nmeros diferentes o no iguales si, y slo si, corresponden a dos cortaduras esencialmente desiguales. Siguiendo con frases de Dedekind, en el hecho de que todas las cortaduras no sean engendradas por nmeros racionales reside la incompletitud o discontinuidad del cuerpo de los nmeros racionales. Dedekind prueba que la relacin de orden de Q se extiende a R, que es continuo, es decir, conexo con la terminologa moderna. 3.2. KARL WEIERSTRASS El primer contacto de Weierstrass con matemticos de su poca fue con Direchlet, entre agosto y octubre de 1844, durante una estancia de Weierstrass en Berlin, hecho que, como en Dedekind, tambin parece que fue decisivo en la formacin de Weierstrass. En 1856 Weierstrass es nombrado profesor en la Universidad de Berln y, entonces comienza una revisin sistemtica de los fundamentos del Anlisis Matemtico, intentando hacerlo reposar sobre el concepto de nmero. Inmediatamente se dio cuenta que era necesario definir el nmero irracional independientemente del concepto de lmite. No public sus investigaciones sobre la aritmetizacin, por lo que para extraer sus ideas esenciales hay que basarse en las notas de sus alumnos V. Dantscher, A. Huiwitz, E. Kossak, G. Mittag-Leffler y A. Pringsheim. La elaboracin de la teora de los nmeros reales de Weierstrass se situa hacia 1863, segn expone P. Dugac ([21], p. 47), y fue publicada por primera vez por E. Kossak ([32]) en 1872 basndose en las notas tomadas en un curso dado por Weirstrass entre 1865 y 1866 sobre la Tlieora general de las funciones analticas. Hay otros escritos sobre la teora de nmeros reales que Weierstrass explic durante ms de 20 aos, como la redaccin indita de Adolf Hurwitz sobre el curso de Weierstrass del semestre de verano de 1878 titulado Introduccin a la teora de las fundones analticas. La teora del nmero real de Weierstrass se inspira en la relacin de inclusin y en los agregados numerables de partes exactas de la unidad, que recuerdan a las series de trminos positivos. Admite la existencia del conjunto de nmeros enteros no negativos, y define que dos nmeros enteros no negativos son iguales si estn compuestos del mismo nmero de unidades, postulando que esta relacin de igualdad tiene la propiedad transitiva. Para definir los nmeros racionales positivos Weierstrass introduce las partes exactas de la unidad ([1/n], que verifican que n [l/n] = 1) de

23

forma similar a como lo haba hecho Martn Ohm, e introduce los agregados finitos que son colecciones finitas de partes exactas de la unidad en la que las partes exactas pueden repetirse. Un ejemplo de agregado finito es {1/4, 1/4, 1/4, 1/4, 1/4, 1/2, 1/2, 1/2}. Dice que dos agregados finitos son iguales si tienen la misma suma. En otras redacciones de su teora, y tal vez para evitar la suma, se considera que dos agregados finitos son iguales si se pueden deducir uno del otro por un nmero finito de las siguientes transformaciones elementales : 1. Sustituir la unidad por n nmeros racionales de la forma 1/n, y recprocamente, sustituir n nmeros racionales de la forma 1/n por la unidad. 2. Sustituir una parte exacta l/p por n partes exactas 1/pn, y recprocamente. siendo reiterativos ambos criterios de igualdad. El cociente del conjunto de agregados finitos respecto a esta relacin de equivalencia es el conjunto de los nmeros racionales no negativos. Luego considera los agregados finitos o infinitos numerables de partes exactas de la unidad, que son colecciones numerables de partes exactas de la unidad con la nica restriccin de que sea finito el nmero de veces que aparece cada parte exacta en un agregado. Dice que un agregado finito a est contenido en el agregado b si dado un nmero racional r estrictamente menor que la suma de los elementos de a se tiene que b contiene un agregado finito de suma mayor o igual a r. As se tiene que el agregado {1} est contenido en el agregado { : r , T Y , r j , T j , . . . } , gracias a la condicin de
^
ZJ

estrictamente menor. Por definicin dos agregados son iguales si cada parte finita de uno de ellos est contenida en el otro y recprocamente. Dice que un agregado a es menor que otro agregado bb contiene un agregado finito c tal que un racional r estrictamente menor que la suma de los elementos de c es mayor que la suma de cualquier agregado finito contenido en a. Un agregado verifica el criterio de finitud si es menor que un agregado finito. El cociente del conjunto de agregados que verifican el criterio de finitud respecto a la relacin de equivalencia que define la igualdad es el conjunto de los nmeros reales no negativos, en el que de forma natural define las operaciones elementales y el orden usual, introducindolas previamente en el conjunto de agregados que verifican el criterio de finitud y pasando al cociente. La extensin de la sustraccin le da al conjunto R de los nmeros reales. En resumen, para Weierstrass cada nmero real no negativo, salvo el signo, corresponde a una clase de equivalencia definida por la igualdad de agregados en el conjunto de agregados numerables que verifican el criterio de finitud. Una clase que contiene agregados finitos corresponde a un nmero racional; el resto de clases definen nuevos nmeros llamados irracionales. El conjunto de agregados numerables que verifican el criterio

24

de finitud se corresponde con el conjunto de las series convergentes de trminos positivos. 3.3. CHARLES MERAY Mray public en 1869 una teora rigurosa de los nmeros irracionales ([35]) indicando que eran dos los principios fundamentales de todas las partes de la matemtica donde intervena la nocin de lmite. El primero era que una sucesin creciente (decreciente) acotada superiormente (inferiormente) tiene lmite. El segundo que una sucesin de Cauchy tiene lmite. Tambin seala Mray que estos dos principios se han visto como axiomas, lo que no haba evitado introducir en los razonamientos la nocin obscura de nmero inconmensurable. Por ello decide Mray seguir una via ms segura, definiendo primero los nmeros irracionales. Para ello introduce el concepto de variable progresiva, que es una sucesin V= {vn} , de trminos racionales con lmite v tambin racional. La variable progresiva V es pues una sucesin racional de Cauchy con lmite racional. Pero sucede que hay sucesiones racionales de Cauchy sin lmite racional, y Mray dice que tales sucesiones convergen hacia un lmite ficticio. La introduccin de los lmites ficticios le permite a Mray completar Q hallando el cociente del conjunto de las sucesiones racionales de Cauchy respecto a la relacin de equivalencia definida por la condicin de que la diferencia de dos sucesiones racionales de Cauchy sea una sucesin nula. Efectivamente, afirma que un signo cualquiera puede designar el lmite ficticio de una sucesin de Cauchy V , y que el mismo signo debe representar a cualquier sucesin equivalente. En la pgina 288 de [35] Mray escribe: Si a es un nmero racional positivo tal que no existen p y q E Z*, con a = (p/q)^, entonces va designar en el lenguaje esta raz ficticia y en los clculos cualquier variable progresiva cuyo cuadrado tienda hacia a. Mray expuso su teora de construccin del nmero real en su artculo [35], y hay un estudio crtico de la misma en el artculo de P. Dugac titulado Charles Mray (1835-1911) et la notion de limite, Revue d'Hist. des ScL, t23, pp 333-350, 1970), 3.4. GEORG CANTOR Una teora similar a la de Mray fue elaborada por Georg Cantor, quien hizo sus estudios en Berln entre 1863 y 1866 en el momento en que Weierstrass expona su teora de los nmeros reales. Uno de los problemas ms importantes de la poca en el tema de las series trigonomtricas (no necesariamente de Fourier) consista en establecer la unidad del desarrollo trigonomtrico. Desde 1870 a 1872 Cantor redact cinco memorias sobre las series trigonomtricas en las que prest especial atencin al teorema de unicidad descubriendo en noviembre de 1871 que el teorema es cierto aunque la convergencia de la serie trigonomtrica deje de verificarse en cierto conjunto infinito de valores de x del intervalo [0,27i] . Es entonces

25

cuando Cantor intenta describir la naturaleza de tal agregado y elabora su teora de los nmeros reales, que fue publicada primero por E. Heine en 1872 con algunas simplificaciones, [28], y un poco despus por Cantor ese mismo ao, [9]. Vamos a exponer la construccin de los nmeros reales de Cantor, a veces tambin llamada de Cantor-Heine. Construye los nmeros reales sobre la base de los racionales considerando las sucesiones {n } que verifican lim (n-an+r) = O para un nmero r cualquiera, que las llama sucesiones fundamentales y que no son ms que las sucesiones de Cauchy. Por definicin cada sucesin fundamental es un nmero real, por lo que a cada sucesin fundamental {n } le asocia el smbolo A ; en particular, si an= a para cada n el smbolo asociado es a, lo que permite hacer la inmersin natural de los racionales en los reales. Una sucesin {a } que verifique que lim an = O se llama
n-oo

una sucesin elemental o nula, lo que significa que dado un nmero racional positivo arbitrario existe un Uz tal que para n> n^ se tiene que I an I < . Dos sucesiones fundamentales son iguales o representan el mismo nmero real si su diferencia es una sucesin elemental. Este criterio de igualdad es una relacin binaria de equivalencia. Dice que una sucesin fundamental {an } es positiva si existe un nmero racional positivo q y un no tal que si n > no se tiene que an > < ? , y dice que una sucesin fundamental {an } es negativa si existe un nmero racional negativo ^ y un n o tal que si n > n o se tiene que Un < s. De forma natural define las operaciones y el orden, probando que si {an } y {Vn } son dos sucesiones fundamentales que represertan a A y a V entonces {an+ Vn } , {nVn } y {an /Vn} (con Vn^ 0) son sucesiones fundamentales que definen A+V, AV y A / V (siV^^ 0 ) . Dice que A>V si {n-Vn } es positiva. Las operaciones y el orden son compatibles con la relacin binaria de equivalencia considerada. Gracias al orden puede definir de forma natural el lmite de una sucesin convergente de nmeros reales {An }; en particular, si cada An es el nmero racional an y A = {un }, se tiene entonces que lim An= A .
n-oo

Establece, finalmente, que una sucesin de nmeros reales {An } que verifique lim (An+ r-- An) = O para cada r tiene lmite, que es el teorema
noo

de completitud del conjunto de los nmeros reales. La primera exposicin de 1872 de Cantor tiene necesidad de alguna matizacin cuando considera lmites no racionales de sucesiones de Cauchy. Esta necesidad fue sentida por el mismo Cantor, como se prueba por la nota que aadi en la traduccin francesa de 1883, que personalmente revis. En ese mismo ao dio una exposicin muy precisa de su teora del nmero real, recogida en la recopilacin de su obra publicada en 1930 ([10]).

26 4. Algunos resultados obtenidos en la segunda mitad del siglo XIX despus de las construcciones de los nmeros reales. 4.1. En anlisis. Decir que las construcciones del nmero real son la base del espectacular desarrollo del anlisis en la segunda mitad del siglo XIX puede ser muy discutible. Si parece ms objetivo afirmar que esas construcciones se han hecho por necesidades del anlisis, o con ms precisin, por la crisis de un anlisis que trabajaba sobre un conjunto intuitivo de nmeros reales. Parece, pues, que algunos errores fecundos del anlisis matemtico han obligado a construir los nmeros reales y han contribuido a desarrollar el anlisis matemtico. Muy someramente vamos a comentar dos de esos errores fecundos contenidos en una obra que marca el comienzo de la moderna teora de la integracin. La obra es el Rsum des leons donnes a VEcole polytechnique sur le calcul infinitesimal, (1823) del gran sistematizador y creador Cauchy, al utilizar que una funcin continua en [a,b] es uniformemente continua sin explicitar su prueba, y al integrar una serie trmino a trmino sin indicar la hiptesis de la convergencia uniforme que utiliza en su prueba, error repetido en 1847 por Stokes y por Riemann en un curso indito sobre teora de funciones complejas, recogido por H. Hankel. El primero que enuncia y demuestra correctamente los teoremas sobre continuidad, derivabilidad e integrabilidad de una suma de una serie de funciones ser Weierstrass en su curso indito de 1861, recogido por P. Dugac en 1873, [21], si bien el primero en escribir el teorema de integrabilidad trmino a trmino de una serie de funciones uniformemente convergente, que Weierstrass enseaba en sus cursos desde 1861, fue su amigo Eduard Heine en 1869, [27], quien inspirndose en la tesis de habilitacin de Riemann, [39], utiliz la nocin de convergencia uniforme para demostrar la unicidad del desarrollo de una funcin en serie trigonomtrica
aQ
j j

+ a \Cosx + bisenx + ... + a eos nx + bn sen nx + ... probando que si la serie trigonomtrica considerada converge uniformemente a cero en el intervalo [- n, n], salvo en un nmero finito de puntos, entonces an= bn= O cualquiera que sea n ([27]). El estudio de estos puntos excepcionales en [9] va a dar lugar a la teora cantoriana de conjuntos, pues hacia 1870 Heine tena como asistentes a dos discpulos de Weierstrass, H.A. Schwarz y G. Cantor. Ya hemos indicado que Cauchy utilizaba el hecho de que una funcin continua en [a,b] era uniformemente continua. Tambin es Heine quien introduce la nocin de continuidad uniforme y demuestra este teorema en su memoria Die Elemente der Functionenlehre, de 1872 ([28]).

27

Intencionadamente no nos vamos a extender ms en este apartado, pues tal vez ya hayamos incidido con temas de otras conferencias de este curso. 4.2. En teora de nmeros. Ya dijimos que Joseph Liouville (1809-1882), uno de los mejores discpulos de Cauchy, prob en 1844 que cierta clase de nmeros, que en cierto sentido se aproximan muy bien por los racionales, no pueden ser algebraicos, lo que planteaba si existiran muchos nmeros trascendentes. Tampoco se saba si los nmeros n y e seran algebraicos o trascendentes, y si todos los nmeros trascendentes se podan aproximar bien por nmeros algebraicos en el sentido de Liouville. La primera cuestin fue resuelta en 1874 por Cantor, probando que casi todos los nmeros son trascendentes. La segunda cuestin est unida al nombre de Charles Hermite (1822-1901), que consagr su vida a las matemticas puras en la Escuela Politcnica, en la Facultad de Ciencias de Pars y en el Colegio de Francia. En una memoria publicada en los Comptes rendus del Academia en 1873 Hermite demostr que e era un nmero trascendente, probando que la igualdad c o + c i ^ + C 2 ^ ^ + . . . + Cn^"=0 no es posible con coeficientes enteros. La demostracin de Hermite es muy sofisticada y requiere un conocimiento profundo de las matemticas. En la ltima parte de su memoria Hermite aplica su mtodo para obtener aproximaciones de e (58291/21444) y de e^(158452/21444). La trascendencia de n fue demostrada por Ferdinand Lindemann (1852-1939) en una memoria publicada en Mathematischc Annalen en 1882 con el ttulo (ber die Zahl , Sobre el nmero). Siguiendo un mtodo semejante al de Hermite, Lindemann casi prob que si ai , ... , a;i son nmeros algebraicos distintos, reales o complejos, y pi,..., (3 son nmeros algebraicos no nulos, se tiene que pi^^^+ ... + ^n e^" ^ 0. De este resultado se deduce la trascendencia de n , pues ^ ^^ 4- 1 = O , y fue completamente demostrado por Weierstrass, y, posteriormente, Hilbert y Hurwitz simplificaron la demostracin. El resultado de Lindemann prob de manera definitiva que no se podra construir con regla y comps un cuadrado de rea igual a la de un crculo dado, pues de que una construccin de ese tipo fuese posible se deducira que n sera un nmero algebraico. Ya en el comienzo de nuestro siglo, en el congreso internacional de Matemticas de 1900, Hilbert propuso la siguiente cuestin, que es la sptima de su 23 problemas: Si a es un nmero algebraico distinto de cero y uno, y P es un nmero algebraico irracional, es trascendente el nmero a^7. Terminaremos salindonos de la segunda mitad del siglo XIX para indicar cmo se resolvi esta cuestin. La primera aportacin significativa a este problema la hizo Gelfond en 1929 probando que a'^ era trascendente cuando p es un nmero cuadrtico imaginario. En particular, ^ ^ = (-1)"^ es trascendente. Al ao siguiente Kuzmin extendi los

28

resultados de Gelfond al caso en que p es un irracional cuadrtico real. Cuatro aos despus, en 1934, Gelfond y Schneider resolvieron independientemente el problema de la trascendencia de a*^ como consecuencia del siguiente resultado: Dados los nmeros algebraicos ai, aj, pi, ^1 tales que \na\ y Indi sean linealmente independientes sobre el cuerpo Q de los nmeros racionales, se tiene que Pilnai+ p2lna2 "^ 0. Este teorema resuelve el problema de Hilbert, pues si a^ = y fuese algebraico entonces pina-lny = O, por lo que Ina y Iny seran independientes sobre el cuerpo Q de los nmeros racionales, y, entonces, el teorema de Gelfond y Schneider implica que pina-lny ^j^ O, lo que contradice la igualdad anterior pina-Iny = 0 . Notas biogrficas Incluimos unas referencias biogrficas de los cuatro constructores de la teora de los nmeros reales en la segunda mitad del siglo XIX, Dedekind, Weierstrass, Meray y Cantor, y tambin de Hamilton, por ser un claro precursor de la teora de Dedekind. Se han tomado de [16]. Hamilton William Rowan Hamilton (1805-1865) naci el 3 de agosto de 1805 en Dublin, Irlanda. Era el menor de una familia de tres hijos y una hija. Su brillante inteligencia provena seguramente de su madre, y bajo la direccin de un to apasionado por el aprendizaje de las lenguas consagr su infancia al aprendizaje de idiomas. A los cinco aos Hamilton poda leer latn, griego y hebreo; tres aos ms tarde aada a su bagaje el italiano y el francs; a los diez aprendi rabe y snscrito y a los catorce el persa. Su encuentro con el calculador americano Zerah Colburn le hizo abandonar el estudio de las lenguas para dedicarse a las matemticas. En 1823 se encuentra en el Trinity College de Dublin y en 1824 presenta una memoria en la Academia Real de Manda, que corregida y aumentada ser presentada de nuevo en 1827 a la Academia con el ttulo A theory of systems of rays, que eriga la ptima geomtrica en un verdadero cuerpo de doctrina. Este ao sucede a John Brinkley en la ctedra de astronoma del Trinity College. Es conocido por su teora de los cuaterniones, por sus estudios en dinmica, y, tal vez, se le pueda atribuir el primer tratamiento sistemtico de los nmeros irracionales. Dedekind Julius Wilhelm Richard Dedekind (1831-1916) naci el 6 de octubre de 1831 en Brunswick, Alemania. Muy pronto se orient hacia las ciencias fsicas. Probablemente fue el ltimo alumno conocido de Gauss. Obtuvo su doctorado en 1852 y la habilitacin en 1854. Fue profesor en el Politcnico de Zurich y luego en la Escuela Tcnica Superior de Brunswick. Fue amigo personal de Cantor, profesando una gran simpata hacia sus

29 ideas, muy discutidas en aquella poca. Toda su carrera cientfica se desarroll prcticamente en la sombra, y no le fue ofrecido ningn puesto importante de profesor. Muri el 12 de febrero de 1916, casi dos aos antes que Cantor, sin conocer nunca la gloria. Adems de su obra Stetigkeit und irrationale Zahlen, donde da construccin de R por las cortaduras, el nombre de Dedekind se ha hecho clebre por sus numerosas contribuciones originales en matemticas, como su teora de los nmeros algebraicos, que es una generalizacin de los enteros complejos de Gauss y de los nmeros algebraicos de Kummer, su enfoque aritmtico en el tratamiento de las curvas algebraicas, cuya idea central proviene de sus trabajos sobre los nmeros algebraicos, y su introduccin de clases de nmeros algebraicos, llamados ideales en honor a Kummer. Mray Charles Mray (1835-1911), naci en Chalon-sur-Sane en 1835 y fue un gran defensor de la aritmetizacin de las matemticas. En 1866 fue encargado de curso en la Facultad de Ciencias de Lyon y en 1867 fue nombrado profesor en la misma institucin. Se dedic a desarrollar una teora aritmtica de los nmeros. En 1869 public la memoria titulada Remarques sur la nature des quantits dfinies par la condition de servir de limite des variables donnes, [35], donde Mray seala que el definir el nmero irracional como el lmite de una sucesin de nmeros racionales, sin tener en cuenta la existencia del lmite, presupone una definicin de nmeros reales. Mray en este trabajo obtiene R a partir de Q. Weerstrass Karl Wilhelm Theodor Weierstrass (1815-1897) naci el 31 de octubre de 1815 en Ostenfelde, Wesfalia, en una familia catlica liberal. Karl era el mayor de otro hermano y dos hermanas, ninguno de los cuales se casara, tal vez a causa de la actitud dominadora de su padre. Tras bulantes estudios secundarios entr en la universidad de Bonn como estudiante de Derecho, no terminando sus estudios universitarios. Se dedic a las matemticas a partir de 1838, no terminando sus estudios de doctorado. Weierstrass se dedic de 1841 a 1854 a la enseanza en un colegio privado. Despus fue maestro en Munster, en Deutsch-Drone y en Braunsberg, y en 1856 fue nombrado profesor en el Instituto Profesional de Berln, gracias a algunos resultados que public. El nico contacto que tuvo con matemticos de esta poca fue con Christophe Guderman (1798-1851), interesado por la representacin de funciones mediante series de potencias. Encargado de curso en 1856 en la Universidad de Berln, fue nombrado profesor titular de esta Universidad a partir de 1863, donde permaneci hasta su muerte el 19 de febrero de 1897 a los ochenta y dos aos.

30

Metdico y cuidadoso, trabaj en la fundamentacin del anlisis. Public poco y se dio a conocer por sus enseanzas en la Universidad. Su influencia se hizo sentir a travs de las publicaciones matemticas de sus numerosos discpulos. En el Congreso Internacional de Pars de 1900, Hermite dijo: **Weierstrass es el maestro de todos nosotros". Los trabajos de Weierstrass sobre aritmetizacin del anlisis completaron los de Bolzano y Cauchy, en quienes aparece las expresiones "una variable se aproxima a un lmite", y "llega a ser y sigue siendo tan pequea como cualquier cantidad dada", que sugieren implcitamente el tiempo y el movimiento. Weierstrass resalta el concepto aritmtico e interpreta una variable "como una letra que representa cualquier valor de un conjunto dado", dando las definiciones actuales de continuidad. Desde 1861 se plante la construccin de una funcin continua que no fuese derivable en ningn punto, dada por / (jc) =
37C

w=
O

b '^cos {a ^Kx ) , donde x es

una variable real, a un entero impar mayor que 1, b una constante positiva menor que 1, y ab> 1 + . Las funciones de Bolzano y Riemann encontradas anteriormente no haban llamado la atencin a los matemticos. Weierstrass comunic su funcin a Du Bois-Reymond en 1874. Estos estudios precipitaron la crisis de los fundamentos del anlisis, contribuyendo a edificarlo como lo conocemos hoy da. El curso de Weierstrass de 1861 tuvo una parte importante dedicada a las series infinitas, introduciendo la nocin de convergencia uniforme. Adems de las series de potencias, Weierstrass destac por sus estudios sobre funciones elpticas, clculo de variaciones, integrales abelianas, geometra algebraica, fundamentos de la aritmtica y su teora de los nmeros reales. Cantor Georg Ferdinand Ludwig Philipp Cantor (1845-1918) naci el 3 de marzo de 1845 en San Petersburgo, en una familia de tres hijos. Su padre era un prspero comerciante de origen judo que se haba convertido al protestantismo. Primero se educ con un tutor y, luego, en la escuela elemental de su ciudad natal mostr ya un inters marcado por el estudio de las matemticas. Despus de hacer estudios secundarios en colegios privados de Francfort, en 1859 entra en la Escuela Politcnica de Darmstadt, por deseo de su padre que intentaba que su hijo fuese ingeniero militar. Abandona los estudios de ingeniera militar en 1862 para emprender estudios superiores en Zurich, que tambin los deja en 1862 tras la muerte de su padre. En otoo de 1863 entra en la Universidad de Berln, donde estudia matemticas, fsica y filosofa, y conoce a BCronecker, Kummer y Weierstrass. El primero estimula a Cantor para que se interese por la teora de nmeros, pero ser Weierstrass quien ejercer la mayor influencia en la carrera cientfica de Cantor. En 1867 recibe el doctorado tras haber presentado una disertacin sobre las Disquisitiones aritheticae de Gauss y la Teora de nmeros de

31 Legendre. A continuacin comienza su carrera de profesor en la Universidad de Halle publicando sus primeros trabajos dedicados a la teora de nmeros. En 1872 conoce en Suiza a Dedekind, encuentro que ser el comienzo de una larga amistad entre los dos matemticos. En 1874 publica un artculo en el Journal de Crelle sobre teora de conjuntos, cuyo contenido fue considerado paradjico en esa poca. A medida que su teora progresaba se haca ms fuerte la oposicin a la misma, particularmente por parte de Kronecker. Cantor tena tambin defensores, entre los que se contaban Weierstrass y Dedekind. Entre 1879 y 1884 public su teora de conjuntos, encontrndose con numerosas dificultades, particularmente con el movimiento de contestacin dirigido por Kronecker, no contra su persona, sino contra las ideas cantorianas, lo que le sumi en una profunda depresin nerviosa en el ao 1884. La muerte de Kronecker en 1891 y la amistad de hombres influyentes como Mittag-Leffler y Weierstrass hicieron ms tolerable la vida de Cantor, cuyos trabajos comenzaron a ser justamente reconocidos despus de 1891. Despus de asistir a las primeras manifestaciones de la considerable influencia que su teora.ejerca en el mundo de las matemticas y constatar el justo reconocimiento general que tanto haba deseado, muri el 6 de enero de 1918 en una clnica psiquitrica de Halle. Agradecimiento Expreso mi agradecimiento al profesor Dr. D. Manuel Valdivia por su ayuda en la localizacin de la bibliografa.

Bibliografa
ni ABEL, N.H.: Recherches sur la srie l + nx + Math, ti, 311-339, (1826). [2] [3] BAKER, A.: Trascendental number theory. Cambridge University Press, (1965). BELL, E.T.: Historia de las matemticas. Fondo de cultura econmica, Mxico (1949). Ttulo original: The Development of Mathematics. McGraw Hill, New York. BOLZANO, B.: Der binomische Lehrsatz, und als Folgerung aus ihm der polynomische, und die Reihen, die zur Berechnung der Logarithmen und Exponentialgrdssen dienen, genauer as bisher erwiesen. Enders, Prag, (1816). BOLZANO, B.: Rein analytischer Beweis des Lehrsatzes, dass zwischen je zey Werthen, die ein entgegenegesetztes Rsultat gewahren, wenigstens eine relle Wurzel der Gleichung liege, Abh. K. Bohm. Gesell, Wiss., 3, t5, 1-60 (1817). BOLZANO, B.: Functionenlehre, Schriften, t. I, K. Bohm, Gesell. Wiss., Praga (1930). x + . . . , Journ. fr die reine und angew.

[4]

[5]

[6]

32

[7] [8] [9]

BOLZANO, B.: Paradoxien des Vnendlichen, Reclam, Leipzig, (1851). BOYER, C.B.: Historia de la matemtica. Alianza Editorial, (1987). CANTOR, G.: ber die Ausdehnung eines Satz.es aus der Thorie der trigonometrischen Reihen. Math. Ann. 5, 123-132 (1872).

[10] [11] [12] [13]

CANTOR. G.: Gesammelte Abliandlungen. Springer, Beriin, (1930). CAUCHY, A.L.: Cours d'Analyse de VEcole royale polytechnique, Debute, Pars, (1821). CAUCHY, A.L.: Rsum des leons donnes a VEcole polytechnique sur le calcul infinitesimal, Debure, Paris, (1823). CAUCHY, A.L.: Note sur les sries convergentes dont les divers term sont des fonctions continues d'une variable relle ou imaginaire, entre des limites donnes. C.R. Acad. Sci. 36, 454-459, (1853). COLLETTE, J.P.: Histoire des mathmatiques 1, Vuibert/Erpi, (1973). COLLETTE, J.P.: Histoire des mathmatiques 2. Erpi (Editions du renouveau pdagogique inc.) Canada, (1979). COLLETTE, J.P.: Historia de las matemticas II. Siglo XXI de Espaa editores S.A., Madrid (1985). DEDEKIND, R. Stetigkei und irrationale zahlen. T edicin, Vieweg, Braunschweig (1969). Primera edicin 1872. Traduccin inglesa por W.W. Beman, Dover, New York, (1963). DEDEKIND, R.: Was sind und was sollen die Zahlen. Primera edicin 1888. Traduccin inglesa por W.W. Beman, Dover, New York, (1863). DIRICHLET, P.G. Lejeune.: Sur la convergence des sries trigonomtriques qui servent la reprsentation d'une fonction arbitraire entre des limites donnes, Journ. fur die reine und angew. Math., t. 4, 157-169, (1829). DIEUDONN, J.: Abrg d'histoire des mathmatiques 1700-1900, I et IL Hermann, Pars (1978). DUG AC, P.: Elments d'analyse de Karl Weierstrass, Arch, for Hist, of Exact Sci., tlO, 41-176, (1973). DUG AC, P.: Richard Dedekind et les fondements de l'analyse, Vrin, Paris, (1976). FOURIER, J.: Thorie analytique de la chaleur, Didot, Paris, (1822). GAUSS, K.F.: Disquisitiones generales circa seriem infmitam ocg ly a(a-f l ) P ( l ^ l ) (1)(2)Y(Y+1) 2 (g-f l ) ( a + 2 ) p ( p + l ) ( | 3 + 2 ) (l)(2)(3)Y(y+l)(T+2) 3

[14] [15]

[16]

[17]

[18]

[19]

[20]

[21]

[22] [23] [24]

Comm. soc. reg. sci. Gott. rec. t.2, (1813). [25] [26] [27] GAUSS, K.F.: Werke, tX, primera parte. K. Gesell. Wiss. Gttingen, (19/7) GAUSS, K.F. und BESSEL, F.W.: Briefwechsel, Engelmann, Leipzig, (1880). HEINE, E.: ber trigonomestrische Reihen. Journ. fur die reine und angew. Math., t71, 353-365, (1869).

33

[28]

HEINE, E.: Die Elemente der Functionenlehre. Joum. fur die reine und angew. Math., t74, 172-188, (1872). HILBERT problems, The.: Proc. Symp. in Pure Math., vol. XX, Amer. Math. Soc, t. Providence, (1971). KLINE, M.: Mathematics. A cultural approach. Addison-Wesley, 1962. KLINE, M.: El pensamiento matemtico de la Antigedad a nuestros das, II. Alianza Universidad, (1992).

[29]

[30] [31]

[32 [33] [34] [35]

KOSSAK, E.: Die Elemente der Arithmetik. Programm Friedr.- Werder Gymn., Berlin, (1872). LAGRANGE, J.L.: Oeuvres. Gauthier-Villars, Pars. (1867-1892). LORIA, G.: Stoira delle matematiche dalTalba della civit al tramonto del seclo XIX. Instituto Editoriale Cisalpino-Goliardica, Mdena (1982). MERA Y, CH.: Remarques sur la nature des quantits dfinies par la coi'dition de servir de limites des variables donnes. Revue des Soc. Savantes, Sci. math. phys. nat., 2, t.4, 280-289 (1869). OHM, M.: Versuch eines vollkommen consequenten Systems der Mathematik, erster Theil, Arithmetik und Algebra enthaltend, segunda edicin, Riemann, Berlin, (1828). OHM, M.: Versuch eines vollkommen consequenten Systems der Mathematik, zweiter Theil, Algebra und Analysis des Endlichen enthaltend, segunda edicin, Riemann, Berln, (1829). RBNIKOV, K.: Historia de las matemticas. Mir, Mosc, (1991). RIEMANN, B.: ber die Darstellbarkeit einer Function durch eine trigonometrische Reihe. Abh. K. Gesell. Wiss. Gott., Math. Classe, t. 13, 87-132, (1866-1867). Van ROQTSELAAR, B.: Bolzano's theory of real numbers. Arch, for Hist, of Exact. Sci., t.2, 168-180, (1962-1966). RYCHLIK, K.: Thorie der reellen Zahlen in Bolzanos handsschriftlichen Nachlasse. Verlag der Tschechoslov. Akad. Wiss., Praga, (1962). SEIDEL, Ph. L.: Note Iber eine Eigenschaft der Reihen, welche discontinuirliche Functionen darstellen, Mnchen Akad. Wiss. Abh., 51, 379-394, (1847). SMITH, D.E.: History of mathematics, volumes I and II. Dover, (1958). STOKES, G.G.: On the critical values of the sums of periodic series. Trans. Camb. Philos. Soc, t8, 533-583, (1847). WEIERSTRASS, K.: ber continuirliche Functionen eines reellen Argum<..nts, die fur keinen Werth des letzteren einen bestimmten Differentialquotienten besitzen. Jour, fur die reine und angew. Math., t. 79, 29-31 (1875). WEIERSTRASS, K.: Zur Thorie der Potenzreihen, Math. Werke, t. I, 67-74, Mayer und Mller, Berin, (1894). WEIERSTRASS, K.: Math. Werke, i. 3, Mayer und Mller, Berin, (1903).

[36]

[37]

[38] [39]

[40]

[41]

[42]

[43] [44]

[45]

[46]

[47]