Anda di halaman 1dari 51

Captulo

Numeros y lmites. El innito matematico

5.1. Introduccin

Las confusas formulaciones iniciales, a nales del siglo XVII, de los conceptos principales del Clculo, tienen un acentuado contenido geomtrico o mecnico. Muy lentamente, a lo largo de los siglos XVIII y XIX, van evolucionando hasta que llegan nalmente a expresarse por medio del lgebra de desigualdades, ya totalmente desprovistas de referencias geomtricas o mecnicas. Este largo proceso se conoce con el nombre de Aritmetizacin del Anlisis, y alcanza su mximo empuje y desarrollo en el siglo XIX gracias a los trabajos de Bolzano, Cauchy, Dedekind, Weierstrass y Cantor. Bajo su inuencia, el Clculo, que durante el siglo XVIII no era ms que una coleccin de tcnicas para resolver los ms variados problemas, se fue transformando a lo largo del siglo XIX en una teora cientca slidamente fundamentada y rigurosa en sus mtodos: el Anlisis Matemtico. En el Captulo anterior hemos estudiado dos conceptos fundamentales del Anlisis Matemtico: el de nmero real y el de lmite funcional. Creo que es muy instructivo que conozcas algunas etapas del camino que condujo a su formulacin actual, pues as podrs apreciarlos y entenderlos mejor. Las ideas que siguen estn ampliamente desarrolladas y expuestas con claridad en los libros

w w

.M

at

Even as the nite encloses an innite series And in the unlimited limits appear, So the soul of immensity dwells in minuta And in the narrowest limits, no limits inhere What joy to discern the minute in innity! The vast to perceive in the small, what Divinity! Jakob Bernoulli

em

at

ic

a1

.c

om

de Burton [3], Giovanni Ferraro [6] y Gert Schubring [14]. As mismo las pginas de Wikipedia dedicadas al concepto de nmero y de nmero negativo y, muy especialmente, la pgina del profesor John L. Bell, contienen informacin muy interesante.

5.2. Evolucin del concepto de nmero


Si te pregunto qu es para ti el nmero 5? Me dirs: est claro, es justamente aquello que tienen en comn todos los grupos de objetos que pueden contarse con los dedos de una mano. Sabes que es una abstraccin, un concepto. Si sales ah afuera, puedes encontrar cinco bicicletas o cinco bancos en el parque, pero seguro que en ninguno de ellos est sentado el nmero 5. Tambin sabes que es un nmero y te lo representas sin ninguna dicultad: son siete dcimas partes. De qu sean las partes eso no importa, pueden ser de cualquier cosa. El nmero tambin es una abstraccin. Los nmeros negativos no te causan problemas, sabes que son tiles para hacer clculos y muy convenientes para representar valores en una escala. Y qu me dices de los nmeros como ? Pues que tienen una expresin decimal que no acaba ni se repite, que pueden aproximarse por fracciones decimales, que pueden expresar el resultado exacto de una medida o, simplemente, que es un nmero cuyo cuadrado es igual a . Del cero ya, ni te hablo, a estas alturas debe ser un viejo amigo tuyo. Pero debes tener bien claro que las cosas no siempre fueron as.
om

5.2.1. Nmeros y cantidades en la antigua Grecia


Los griegos de la antigedad distinguan entre nmero y cantidad o magnitud. Para ellos un nmero era un agregado de unidades. Podemos precisar ms. Un nmero es una multiplicidad que se obtiene por repeticin de un individuo la unidad , cuyas partes estn separadas son discontinuas y tienen fronteras bien denidas. Por todo ello, una caracterstica esencial de los nmeros era su carcter discreto. Por otra parte, los nmeros no tienen sentido si se separan de los objetos materiales o ideales a los que enumeran. As, tres rboles tiene sentido, pero tres por s mismo carece de signicado. Es decir, un nmero es un atributo de un grupo de objetos y carece de autonoma propia. Una cantidad puede ser, entre otras cosas, tiempo, longitud, volumen, velocidad o masa. La caracterstica esencial de la cantidad es su continuidad. Una cantidad puede dividirse indenidamente, pero no est formada por partes separadas que son rplicas de una unidad, sino que sus componentes estn unidos entre s por fronteras comunes: donde acaba uno empieza otro. Por ejemplo, un rea plana puede dividirse en trozos que, al estar unidos unos con otros, pierden su singularidad quedando como partes indiferenciadas de un todo. Por otra parte, los matemticos griegos no estudiaron la cantidad como algo abstracto, para ellos las cantidades tienen siempre un carcter concreto: son una cantidad de algo. El concepto de cantidad estaba estrechamente ligado a la Geometra. Una proporcin entre dos segmentos es una cantidad que a veces puede expresarse con ayuda de nmeros. Cuando dichos segmentos admiten una unidad de medida comn podemos decir que la razn de uno a otro es, por ejemplo, de pero, para los griegos, no es un nmero sino una forma de expresar una cantidad concreta, que podra leerse algo as como siete partes de diez. Ellos solamente consideraban como nmeros los enteros positivos y ni siquiera consideraban como nmero a la unidad. La unidad era, eso, la unidad de la que estaban formados los nmeros, pero ella misma no era un nmero.
w w w .M at em at ic a1 .c

Figura 5.1. Euclides

En el Captulo 1 nos ocupamos del descubrimiento de las cantidades inconmensurables, esto es, razones de segmentos que no admiten una unidad de medida comn. El hallazgo de lo que nosotros llamamos nmeros irraciona les, como , no tiene ningn signicado aritmtico para los griegos; su signicado era geomtrico: no puedes medir la diagonal de un cuadrado con su lado. Euclides, el matemtico ms famoso de la Escuela de Alejandra, en el Libro X de los Elementos (300 a.C.), clasica las magnitudes inconmensurables en los tipos siguientes (uso, claro est, la notacin actual):

Donde se entiende que

son racionales.

E1 (Propiedad arquimediana) Dadas dos magnitudes siempre hay un mltiplo de una de ellas hay algn tal que . que excede a la otra. Es decir, si es
w w .M

at

em

La existencia de segmentos inconmensurables era un serio problema para el desarrollo de la geometra pues, como dichos segmentos no pueden compararse, no se saba cmo interpretar su proporcin. Por ejemplo, un resultado, sin duda conocido por los pitagricos, arma que las reas de dos tringulos con igual altura estn en la misma proporcin que sus bases. Qu sentido tiene esta armacin si las bases no son segmentos conmensurables? El problema est en que no haba una forma de comparar proporciones entre magnitudes inconmensurables. Un matemtico, Eudoxo de Cnido (c. 400 - 347 a.C.), propuso una teora axiomtica de las magnitudes inconmensurables, que est recogida en el Libro V de los Elementos, en la que destacan los siguientes puntos.
at ic a1 .c

E2 (Criterio de igualdad) Las proporciones enteros positivos , se tiene que


om

son iguales si cualesquiera sean los

(5.1)

Volveremos a considerar ms adelante este elaborado criterio de igualdad que, desde luego, no aclaraba nada sobre la naturaleza de las cantidades irracionales y pona de maniesto la dicultad de reducir a la aritmtica el estudio de las mismas. La carencia de una teora aritmtica satisfactoria de las cantidades inconmensurables, hizo que los matemticos griegos consideraran la Geometra como una ciencia ms general que la Aritmtica, y dedicaran sus esfuerzos al estudio de la primera en detrimento de la ltima. La consecuencia fue que durante casi 2000 aos, en Europa, casi todo razonamiento matemtico riguroso se expres en lenguaje geomtrico. Quizs el nico matemtico griego, despus de los pitagricos, que no hizo Geometra sino Aritmtica fue Diofanto de Alejandra (c. 214 - 298). En su obra llamada Aritmtica, de la que se han conservado seis libros de un total de trece, resuelve diversos tipos de ecuaciones algebraicas admitiendo como soluciones nmeros enteros o nmeros fraccionarios positivos, los cuales son considerados por Diofanto como autnticos nmeros y no solamente como proporciones. Otra innovacin de Diofanto fue la invencin de una notacin sincopada que constituye el primer ejemplo de simbolismo matemtico.

5.2.2. De la antigua Grecia a la invencin del Clculo


Es sabido que la civilizacin Romana, tan excelente en tantos aspectos, no destac en el estudio de las ciencias puras y, en particular, de las matemticas. La prueba de ello es que no hay ningn matemtico Romano digno de mencin. No obstante, el sistema de numeracin Romano se impuso extendindose por todo el Imperio. Con el triunfo del Cristianismo a nales del siglo IV y la cada del Imperio Romano de Occidente en el ao 476, se inicia una larga era de oscurantismo en Europa. La fe y los dogmas no son demostrables lgicamente; absurdas disputas teolgicas ocupan el lugar de los estudios de la Naturaleza y la Biblia es la fuente de todo conocimiento. Segn San Agustn las palabras de las Escrituras tienen ms autoridad que toda la inteligencia humana. El racionalismo cientco es sospechoso de paganismo. Entonces. . . Para qu pensar? A diferencia que en Grecia, en la India se haba desarrollado principalmente la Aritmtica y se conoca el sistema de numeracin posicional decimal desde el siglo VI. La primera vez que el cero es tratado como un nmero de pleno derecho es en la obra Brahmasphutasiddhanta del matemtico y astrnomo indio Brahmagupta (598 - 670). Esta obra tambin contena el principio de la numeracin decimal posicional y los mtodos de clculo del lgebra india. En ella se tratan los nmeros negativos en trminos muy parecidos a los actuales. La herencia matemtica griega pasa a los rabes. La cultura rabe tiene una poca de esplendor en los siglos VIII - XII. Al-Mamun (c. 786 - 833), sexto califa de la dinasta Abasida, fund en Bagdad la Casa de la Sabidura, una especie de academia con una biblioteca y un observatorio. All se tradujeron las obras de los matemticos y lsofos griegos y tuvieron conocimiento de las matemticas indias. El ms conocido matemtico de la Escuela de Bagdad fue Muhammad ibn-Musa al-Jwarizmi de quien ya hemos hablado en el Captulo 2. En su obra Libro de la Adicin y la Sustraccin segn el clculo de los hindes se describe el sistema decimal posicional y se dan mtodos para realizar clculos aritmticos con dicho sistema. Leonardo de Pisa (c. 1170 - 1250), ms conocido como Fibonacci, aprendi en sus viajes por los pases rabes del Mediterrneo a usar los mtodos de al-Jwarizmi. Al regresar a Italia, public en 1202 el Liber abaci, obra que contribuy a extender el sistema de numeracin indo-rabe en Occidente. Estudiando las soluciones de una ecuacin de tercer grado, Fibonacci prob que haba nmeros irracionales diferentes de los considerados por Euclides. En consecuencia, las tcnicas del lgebra geomtrica griega no permitan construir todas las cantidades inconmensurables.
w w w .M at em at ic a1 .c o m

Figura 5.2. al-Jwarizmi

Figura 5.3. Fibonacci

Fibonacci dio tambin una interpretacin de los nmeros negativos como prdidas o deudas, que tuvo bastante buena acogida. Pero todava deber pasar mucho tiempo para que los nmeros negativos y el cero sean totalmente aceptados como nmeros.

En este apresurado repaso que estamos dando a la historia de los nmeros, debemos avanzar ahora casi trescientos aos para llegar a la siguiente etapa protagonizada por los matemticos italianos del Renacimiento Niccol Tartaglia (c. 1500 - 1557), Gerolamo Cardano (1501 - 1576), Rafael Bombelli (1526 - 1572) y Ludovico Ferrari (1522 - 1565). Los dos primeros resolvieron la ecuacin general de tercer grado de la cual solamente se conocan las soluciones en algunos casos particulares. En la resolucin de la cbica, Cardano tuvo en cuenta las soluciones negativas aunque las llam cticias, y comprob que la cbica poda tener tres soluciones. As mismo, Cardano reconoci por primera vez la existencia de lo que ahora llamamos nmeros complejos (a los que Napier llam los fantasmas de los nmeros reales) aunque no los acept como posibles soluciones. Por su parte, Bombelli fue el primero en especicar las reglas para sumar y multiplicar nmeros complejos. Usando dichas reglas, prob que podan obtenerse soluciones reales correctas para la cbica, incluso cuando la frmula de Tartaglia Cardano requera el clculo de races de nmeros negativos.

Figura 5.4. Tartaglia

A pesar de estos avances, los conceptos de nmero y cantidad de la antigedad permanecen sin cambios notables hasta el siglo XVII cuando se desarrolla el simbolismo algebraico. Lo importante del simbolismo algebraico, no es tanto el uso de los smbolos por s mismos, sino la elaboracin de reglas formales para realizar operaciones de forma simblica. Por ejemplo, puede entenderse como una forma simplicada de escribir el rea del cuadrado de lado . Eso es muy distinto de escribir . Esto ltimo ya es una manipulacin simblica abstracta en la que las letras , no son ms que smbolos sin una naturaleza concreta. Franois Vite en su In artem analyticem isagoge (1591) expone una logistica speciosa (specis: smbolo), o arte de calcular con smbolos, que fue un paso decisivo para el desarrollo del concepto de cantidad abstracta. No obstante, Vite consideraba que solamente las cantidades homogneas podan compararse entre s. Para entender esto debes tener en cuenta que, desde la antigedad, el producto de dos cantidades, por ejemplo , representaba el rea de un rectngulo de lados y . De la misma forma, representaba el volumen de un ortoedro. Una expresin como no tena signicado porque no se poda sumar una longitud y un rea: no eran cantidades homogneas. El siguiente paso denitivo fue el invento de la geometra analtica en los aos 1630 por
1 La palabra griega alogos, , usada por los griegos para designar a los nmeros irracionales, tambin signica sin discurso y los rabes la tradujeron por asamm, sordo o mudo, que fue traducida al latn por surdus.

De esta poca es tambin un opsculo De Thiende (1585) (El Dcimo) 36 pginas de Simon Stevin (1548 - 1620), ingeniero y matemtico nacido en Brujas, en el que se introducen las fracciones decimales y se explica su uso en las operaciones aritmticas. As mismo, en su obra LArithmetique (1585) escribi que no hay nmeros inexplicables, irregulares, irracionales, surds1 o absurdos, indicando con esto que todos los nmeros deban ser tratados por igual y no hacer distinciones entre ellos como si fueran de distinta naturaleza. Despus de Stevin, la idea de que 1 era un nmero gan una amplia aceptacin.
.M at em at ic a1 . co m

Figura 5.5. Vite

Figura 5.6. Fermat

Figura 5.7. Descartes

Pierre Fermat y Ren Descartes. La introduccin de coordenadas y la representacin de curvas por medio de ecuaciones supuso un cambio de perspectiva revolucionario. Piensa que, en la Antigedad, solamente podan estudiarse aquellas curvas para las que se conoca un mtodo de construccin con regla y comps. Ahora, por primera vez, los objetos geomtricos podan estudiarse por medio del simbolismo algebraico, cuando hasta entonces lo usual haba sido que el simbolismo algebraico fuera un plido reejo de relaciones geomtricas. Una importante creacin de Descartes fue el desarrollo de un lgebra de segmentos. Para ello, tomando como unidad un segmento , construy un segmento (cantidad) que vericaba la proporcin . Dicho segmento representaba el producto de los dos segmentos (cantidades) y . Tambin construy segmentos que se correspondan con la suma, la diferencia y el cociente de segmentos. De esta manera, cualquier operacin con cantidades se corresponde con un segmento, lo que hace que todas las cantidades sean homogneas. Una expresin como ya es correcta porque representa un segmento de lnea. Esta homogeneizacin de todas las cantidades conduce al concepto de cantidad abstracta desconocido en la antigedad. Por esta poca ya tambin los nmeros eran objetos abstractos del pensamiento. Es decir, ya no eran simplemente un atributo del grupo al que contaban sino que se haban convertido en entidades autnomas. Descartes introdujo el trmino imaginario para referirse a aquellas soluciones de una ecuacin polinmica que solamente estn en nuestra imaginacin. Como era costumbre, llamaba soluciones falsas a las soluciones negativas. Las races verdaderas eran las positivas. A estos progresos en matemticas hay que agregar los realizados en astronoma y en mecnica por Coprnico (1473-1543), Kepler (1571-1630) y Galileo(1564-1642). Todos ellos se apoyan en mtodos experimentales y empricos cuantitativos para formular sus resultados como Leyes de la Naturaleza de contenido matemtico. Al mismo tiempo, a lo largo de los dos primeros tercios del siglo XVII, se van desarrollando una gran variedad de mtodos innitesimales, cuyos precedentes clsicos estaban en Eudoxo y Arqumedes, para resolver multitud de problemas de tipo geomtrico y analtico, como clculo de tangentes a curvas, clculo de reas y de valores mximos. Los trabajos de Cavalieri (1598 - 1647) , Wallis (1616 - 1703) y Barrow (1630 - 1677) entre otros muchos, establecieron las bases sobre las que dos grandes genios, Newton (1643 - 1727) y Leibniz (1646 1716) desarrollaron el Clculo Innitesimal. Ms adelante veremos con algn detalle todo este
w w w .M at em at ic a1 .c om

proceso, pues ahora quiero considerar solamente aquellos aspectos del mismo relacionados con las ideas de nmero y de cantidad. El Clculo Innitesimal son las matemticas del cambio y del movimiento. Las ideas de magnitud variable y de dependencia entre magnitudes son fundamentales en estas nuevas matemticas. Surge as el concepto de variable que se forma a partir de la idea de cantidad abstracta. En el libro de LHpital Analyse des inniment petits, pour lintelligence des lignes courbes (1696) se lee: Se llaman cantidades variables aquellas que aumentan o disminuyen continuamente, y por contraste cantidades constantes aquellas que permanecen igual mientras las otras cambian. Los matemticos de los siglos XVII y XVIII usan el trmino cantidad para referirse a cantidades generales abstractas, as como a cantidades geomtricas concretas, pero siempre se consideran dichas cantidades como continuas. La nocin de cantidad continua no se discute, se trataba de un concepto basado en la realidad fsica. Segn Leibniz Natura non facit saltus. La idea de cantidad es ms general que la idea de nmero. Un segmento de lnea, por ejemplo, representa una cantidad, pero l mismo no se reduce a nmeros. La idea de nmero como elemento de un conjunto no existe en el siglo XVIII. Por la misma razn, un segmento no puede separarse de sus extremos y siempre los incluye. Los nmeros eran interpretados como medidas. En Arithmetica universalis (1707) Newton escribe: Por nmero entendemos no tanto una multitud de cantidades, como la razn abstracta de cualquier cantidad a otra cantidad de la misma clase que tomamos por unidad. Un entero es lo que es medido por la unidad, una fraccin, aquello a lo que una parte submltiplo de la unidad mide, y un surd, aquello que es inconmensurable con la unidad. Esta interpretacin de los nmeros se corresponde con la consideracin de las Matemticas en los siglos XVII y XVIII como una Ciencia de la Naturaleza y, en consecuencia, los objetos matemticos deben estar vinculados, directa o indirectamente, con la realidad fsica. Por ello, solamente se consideran como verdaderos nmeros los que representan el resultado de una medida: los enteros y los racionales positivos. Los dems nmeros (negativos, el 0 y los imaginarios) son necesarios y tiles para los clculos, pero no son considerados verdaderos nmeros son cticios. Los nmeros irracionales positivos, aunque no son nmeros en sentido estricto, tampoco son propiamente cticios, porque pueden representarse por un segmento y sirven para medir cantidades geomtricamente especicadas. Los racionales e irracionales positivos son llamados nmeros reales en oposicin a los nmeros imaginarios. Los nmeros empiezan a considerarse como entidades simblicas sobre las que se opera con unas reglas establecidas (pero que no pueden ser libremente denidas). Por ejemplo, segn Euler, es un nmero que multiplicado por s mismo es igual a , y esto es una denicin simblica de . El desarrollo inicial del Clculo, en el ltimo tercio del siglo XVII, se basa en ideas vagas e imprecisas como cantidad evanescente, razn ltima o innitamente pequeo. El uso
w w w .M at em at ic a1 . co m

de los innitsimos, considerados como cantidades que, sin ser nulas, son ms pequeas que cualquier cantidad positiva imaginable, es caracterstico de las tcnicas del Clculo. Despus de la invencin del Clculo el objetivo era usarlo para descubrir nuevos resultados. Al principio, nadie se preocup mucho por la correccin matemtica de los procedimientos empleados. La conanza en dichas tcnicas descansaba en su extraordinaria ecacia para resolver multitud de problemas. Sin embargo, a nales del siglo XVIII, el uso continuado de los innitsimos, que nadie saba explicar, unido a la incomprensin que se tena de los nmeros irracionales y de los procesos de convergencia, propiciaron estudios crticos de los conceptos bsicos del Clculo, que acabaron llevando a una nueva formulacin de los mismos mucho ms formal y rigurosa, segn los criterios actuales, pero tambin mucho menos intuitiva.

5.2.3. Innitsimos y el continuo numrico


Ests leyendo ahora mismo estas palabras. Tienes un sentido preciso del ahora, al igual que del pasado y del futuro. Tenemos una percepcin muy clara del ujo del tiempo. Percibimos el tiempo como un continuo: lo que separa dos instantes de tiempo es . . . tiempo. Dado un pequeo intervalo de tiempo, digamos un segundo, siempre podemos concebir otro intervalo ms pequeo todava, medio segundo o una cienbillonsima parte de un segundo. Has pensado alguna vez hasta dnde es posible dividir el tiempo? Si aceptamos que el instante es lo que no tiene duracin, parece difcil aceptar que el tiempo est formado por instantes. Debemos considerar entonces que hay una unidad mnima de tiempo, todo lo pequea que queramos, pero que no se reduce a un instante? Estars de acuerdo en que esa unidad mnima de tiempo sera algo as como una unidad de tiempo innitesimal. Cuntas unidades innitesimales de tiempo caben en un minuto? Un nmero nito? Una cantidad innita? En el prrafo anterior podemos cambiar la palabra tiempo por espacio e instante por punto y llegaremos a los problemas derivados de la innita divisibilidad del espacio. Tiempo y espacio son ejemplos de continuo. Una entidad continua, un continuo, es lo que no est roto ni separado ni tiene huecos, lo que puede ser indenidamente dividido sin que pierda su naturaleza. Por ejemplo, un volumen de lquido, un segmento, un movimiento o, los ejemplos ms inmediatos, el espacio y el tiempo. Lo que relaciona espacio y tiempo es el movimiento. El Clculo es la matemtica del movimiento, del cambio continuo. El Clculo se apoya en la geometra analtica de Descartes y Fermat y en la Aritmtica. La Geometra se ocupa de cantidades continuas; la Aritmtica de lo discreto. El Clculo es la sntesis de lo discreto y lo continuo. Los innitsimos, las cantidades innitesimales, son el puente entre lo discreto y lo continuo. Los procedimientos del Clculo, lmites, convergencia, continuidad, pueden describirse como matemticas del continuo numrico. La expresin continuo numrico puede parecer un oxmoron, esto es, una combinacin de dos palabras con signicados opuestos y, en cierto sentido, es as. Los nmeros sirven para contar grupos de cosas de igual naturaleza; por ejemplo rboles, o lo que quiera que sea, pero cada una de ellas con su propia individualidad, separadas entre s, cosas que no tiene sentido dividir porque al hacerlo pierden su naturaleza. Todo esto se resume diciendo que los nmeros tienen un carcter discreto. Los nmeros siempre fueron considerados como lo opuesto del continuo. La oposicin continuo discreto ha ocupado a los lsofos desde hace 2500 aos y tiew w w .M at em at ic a1 .c o m

ne como primeros representantes respectivos a Parmnides (c. 510 - 450 a.C.) y a Demcrito (c. 460 - 370 a.C.). Parmnides, el lsofo ms famoso de la Escuela Eletica, arma en su hermoso poema Sobre la Naturaleza, que lo que Es, el Ser, es uno, ingnito, homogneo, continuo, indivisible e inmutable. Este concepto del Ser excluye toda posibilidad de nueva generacin de seres o sustancias y, por tanto, el cambio y el movimiento son mera ilusin, porque ambos presuponen que lo que no es pueda llegar a ser. Demcrito es el representante ms conocido de la Escuela Atomista cuyo materialismo se opone al idealismo de la Escuela Eletica. Demcrito mantiene que el universo est compuesto de pequeos corpsculos invisibles, los tomos, que pueden poseer diferentes formas y extensiones y que por movimientos y combinaciones diversas en el vaco engendran la totalidad de lo existente. Zenn de Elea, discpulo de Parmnides, es famoso por sus aporas, en las que trata de probar que tanto si el espacio o el tiempo son innitamente divisibles, como si no lo son, el movimiento no existe o es imposible. Las aporas de Zenn son un extraordinario desafo, al que lsofos y matemticos han dado diversas respuestas, sin que an hoy se tenga conciencia clara de haberlas podido explicar de forma totalmente convincente. Segn Aristteles, los atomistas preguntaban, en el supuesto de que una magnitud sea innitamente divisible, qu es lo que quedaba de ella despus de haberla sometido a un proceso de divisin exhaustivo. Y decan, si queda algo como polvo, es porque todava no se ha completado el proceso de divisin, y si lo que queda son puntos o algo sin extensin, cmo es posible recomponer una magnitud extensa con algo que no tiene extensin? Segn ellos, la respuesta eran los tomos. La palabra griega tomos signica lo que no puede dividirse, por tanto, la Escuela Atomista negaba la innita divisibilidad de la materia y armaba que cualquier magnitud contiene elementos indivisibles. De la oposicin continuo discreto siguieron ocupndose los lsofos de la Antigedad, Platn (c. 427 - 347 a.C.), Aristteles (384 - 322a.C.), Epicuro (341 - 270 a.C.); y de la Edad Media Duns Scoto (c. 1266 - 1308), Guillermo de Ockham (c. 1280 - 1349), Nicols de Cusa (1401 - 1464), entre otros. ste ltimo, en una supuesta demostracin de la cuadratura del crculo, consider una circunferencia como un polgono regular de innitos lados. La idea de considerar que una curva est formado por innitos segmentos innitesimales de lnea recta fue usada, entre otros, por Kepler, Galileo y Leibniz y est recogida en el libro de Guillaume de LHpital Analyse des Inniment Petits pour lIntelligence des Lignes Courbes (1696) al cual ya nos hemos referido anteriormente. A nales del siglo XVII, con el invento del Clculo, resurgi la oposicin entre lo continuo y lo discreto, esta vez centrada en el concepto de cantidad innitesimal. Algunos consideraban los innitsimos como algo real, innitamente pequeo, parecido a los tomos de Demcrito, salvo que ahora su nmero era innito. La integracin se consideraba como una suma innita de estos innitsimos. Una diferencial de una cantidad variable era un incremento innitesimal de dicha variable, y un cociente o una razn de diferenciales en el momento en que se anulan, lo que Newton llamaba cantidades evanescentes, era lo que ahora llamamos una derivada, y Newton llamaba una uxin. El uso de los innitsimos en el Clculo demostraba ser muy ecaz y, aunque a algunos, como al mismo Newton, les hubiera gustado evitarlo, lo cierto es que no se saba bien cmo
w w w .M at em at ic a1 .c om

hacerlo. Lo peor de todo, no es que el mero concepto de innitsimo sea de por s difcilmente sostenible, sino la forma en que los innitsimos se manejaban en los clculos. Podemos destacar dos caractersticas.

Con los innitsimos poda operarse como con cantidades nitas no nulas y, en particular, poda dividirse por ellos. Los innitsimos podan ser tratados como cantidades nulas. As, si positiva y un innitsimo, entonces .

es una cantidad

Dependiendo del tipo de clculo eran tratados de una forma u otra. Adems, haba innitsimos de primer orden despreciables frente a cantidades nitas; de segundo orden que eran despreciables frente a los de primer orden, y as sucesivamente. Para acabar de empeorar las cosas, los innitsimos no respetaban la propiedad arquimediana, pues el producto de cualquier cantidad nita por un innitsimo segua siendo un innitsimo. 5.1 Ejemplo. Un ejemplo tpico es el clculo de la diferencial de un producto de dos cantidades e . Se razonaba como sigue. Cuando cambia a d , cambia a d , por lo que se transforma en

d
om

d d

5.2 Ejemplo. Veamos otro ejemplo tpico. Consideremos dos cantidades , relacionadas por . Cuando cambia a d , cambia a d , por lo que

w w

.M

at em

por lo que la diferencial de es d d d d , pero como d d es una cantidad innitamente pequea con respecto a los otros trminos, se sigue que la diferencial de es d d .
at ic a1 .c

d d

Teniendo en cuenta que d

, deducimos:

Dividiendo por d la igualdad obtenida resulta: d d Y como d

d
d d

d es innitamente pequeo respecto de , concluimos que

En lenguaje actual, lo que hemos hecho es calcular la derivada de la funcin . Y. . . el resultado es correcto! A pesar de que hemos dividido por una cantidad que despus hemos hecho igual a cero. En 1734 el lsofo George Berkeley (1685 - 1753) public una obra cuyo ttulo es El analista, o discurso dirigido a un matemtico inel, donde se examina si el objeto, principios e inferencias del anlisis moderno estn formulados de manera ms clara, o deducidos de manera ms evidente, que los misterios de la religin y las cuestiones de la fe. En dicha obra

Berkeley, que fue obispo anglicano de Cloyne, hace una crtica de los fundamentos del Clculo que tuvo una gran inuencia. Armaba Berkeley que si se acepta que el Clculo puede alcanzar soluciones exactas por medio de razonamientos errneos, entonces debe admitirse que la fe puede alcanzar la verdad por vas msticas. Es famoso su comentario: Qu son las uxiones? Las velocidades de incrementos evanescentes. Y qu son estos mismos incrementos evanescentes? Ellos no son ni cantidades nitas, ni cantidades innitamente pequeas, ni siquiera son nada. No las podramos llamar los fantasmas de las cantidades desaparecidas? Los embrollos en que andaban metidos los matemticos se reejan en la novela de Jonathan Swift Los viajes de Gulliver (1726) donde aparecen los diminutos enanos de Lilliput y los enormes gigantes de Brobdingnag, y en la narracin corta Micromegas (1752) de Voltaire. La realidad es que los matemticos del siglo XVIII, y hasta bien entrado el siglo XIX, estaban mucho ms interesados en desarrollar y aplicar las tcnicas del Clculo, que en ocuparse de problemas de fundamentos. Entre los principales matemticos de esta poca hay que citar a Leonard Euler (1707 - 1783), Jean dAlembert (1717 - 1783), Joseph-Louis Lagrange (1736 1813), Pierre-Simon Laplace (1749 - 1827), Joseph Fourier (1768 - 1830), Carl Friedrich Gauss (1777 - 1855). El espritu de los tiempos, el Siglo de las Luces, queda bien reejado en la siguiente frase. Todos los efectos de la naturaleza son tan slo las consecuencias matemticas de un pequeo nmero de leyes inmutables. Laplace En el primer tercio del siglo XIX, el ideal de Newton de someter los fenmenos de la Naturaleza a las leyes matemticas, poda considerarse esencialmente realizado.
w .M at em at ic a1 .c o m

5.2.4. El triunfo de Pitgoras


Llegamos as al siglo XIX que, en cuanto a matemticas se reere, ha sido llamado el Siglo del Rigor. Veamos cmo se entendan en los primeros aos de dicho siglo los conceptos bsicos del Clculo.

Concepto de funcin. No exista tal como lo entendemos en la actualidad. En vez de funciones, se consideraban relaciones entre variables, es decir, ecuaciones. Las correspondencias entre variables se interpretaban en trminos geomtricos. No exista la idea del dominio de una variable. Concepto de continuidad. El concepto de continuidad puntual no haba sido siquiera formulado matemticamente. La idea de Euler de funcin continua, como aquella que est denida por una nica expresin analtica, era todo lo que haba. Concepto de lmite. Solamente se tenan algunas ideas confusas agravadas por el uso de los innitsimos. Los innitsimos empezaban a considerarse como variables con lmite cero.

w w

Concepto de nmero. La idea de cantidad abstracta variable, a la que podan asignarse valores concretos, no haba experimentado cambios notables en casi un siglo. Los nmeros complejos ya eran aceptados, gracias a los trabajos de Euler y, sobre todo, de Gauss, pero segua sin tenerse una idea clara de los nmeros irracionales, y prevaleca una interpretacin geomtrica de los mismos.

Esta situacin iba a cambiar gracias principalmente a los trabajos de Bernad Bolzano (1781 - 1848), Augustin Louis Cauchy (1789 - 1857) y Karl Weierstrass (1815 - 1897) de los que nos ocuparemos al estudiar la formalizacin del concepto de lmite. Ahora quiero detenerme solamente en la evolucin de la idea de nmero real. A los tres matemticos citados hay que agregar los nombres de Richard Dedekind (1831 - 1916) y George Cantor (1845 - 1918), fueron ellos quienes desarrollaron la teora de los nmeros reales que hemos estudiado en los Captulos 1 y 4. Es lgico preguntarse por qu esto no se hizo antes. Pueden darse varias razones para ello.

En el siglo XVIII las matemticas son consideradas una Ciencia de la Naturaleza. Las teoras matemticas deben reejar la realidad fsica. Las matemticas son una herramienta para formular y descubrir las Leyes de la Naturaleza. Las teoras matemticas no se inventan, se descubren. Los nmeros reales estaban asociados con magnitudes y se interpretaban geomtricamente. Eran algo dado en la realidad fsica. A los matemticos del siglo XVIII no les pareci necesario dar una denicin matemtica de los mismos. Observa que para precisar un nmero como debes dar todas sus cifras decimales en su orden, es decir, un vector de innitas componentes. Fjate tambin que la condicin dada por Eudoxo (5.1) para comparar razones inconmensurables hace intervenir a todos los nmeros naturales. Esto no es casual. La idea de nmero irracional lleva consigo asociada la de innito. Hasta que no se elaboraron los fundamentos de una teora matemtica del innito, no pudo desarrollarse una teora satisfactoria de los nmeros reales.
w w w .M at em at ic a1 om

En el siglo XVIII las deniciones matemticas eran descriptivas; no creaban objetos matemticos sino que describan algo que se supona deba imitar una realidad externa. Por la misma razn, no podan inventarse reglas para operar con los objetos matemticos. Las reglas haba que descubrirlas, pero no podan elegirse libremente. Se consideraba que la Naturaleza impona unas normas que las Matemticas de alguna manera deban imitar, no se era libre para inventar una teora matemtica. La idea de una Matemtica como juego lgico formal era algo impensable en el siglo XVIII. La idea que los matemticos tenan de su Ciencia cambi de forma radical como consecuencia de la invencin en el siglo XIX de las geometras no eucldeas por Janos Bolyai (1802 - 1860) y Nikolai I. Lobachevsky (1792 - 1856). Qued claro a partir de entonces que las matemticas no son una Ciencia de la Naturaleza, que la denicin usual de las matemticas como la ciencia que estudia la cantidad y la forma es inadecuada, y pas a considerarse que la matemtica es la ciencia que obtiene conclusiones lgicas de sistemas axiomticos. Las matemticas son, pues, una ciencia puramente deductiva. Una teora matemtica es un conjunto de axiomas que contienen ciertos trminos indenidos, y un sistema de reglas de inferencia lgica. El papel que juegan las deniciones en una teora matemtica consiste en crear nuevos

.c

objetos matemticos y precisar su signicado en dicha teora. Todos los objetos que se estudian en una teora matemtica, o bien son trminos indenidos de dicha teora o son objetos creados por medio de deniciones que remiten a los axiomas. En el XVIII los nmeros reales son algo dado y externo que las matemticas deben explicar, al nal del XIX los nmeros sern algo completamente diferente. La idea de nmero real es el soporte de otras ideas bsicas del Clculo como las de continuidad y lmite. Los procesos de convergencia dependen de la propiedad de completitud de los nmeros reales. Por todo ello, los matemticos eran cada vez ms conscientes de que los progresos del Clculo dependan de un mejor conocimiento de los mismos. 5.2.4.1. Cortaduras de Dedekind

Figura 5.8. Dedekind

Una recta es un ejemplo claro de continuidad. Elegido un punto como origen y un segmento como unidad, podemos hacer corresponder a cada nmero racional un punto de esa recta. Ya hemos visto, al hablar de las magnitudes inconmensurables, que los nmeros racionales no agotan todos los puntos de la recta; cualquier punto que corresponda con un segmento de longitud inconmensurable con la unidad elegida no puede ser representado por un nmero racional, es decir, en la recta racional hay huecos. Por tanto, los nmeros racionales no son sucientes para describir numricamente el continuo. Se pregunta Dedekind:
w w w .M

En qu consiste esta continuidad? Todo depende de la respuesta a esta pregunta, y solamente a travs de ella obtendremos una base cientca para la investigacin de todos los dominios continuos. Con vagas observaciones sobre la unin sin rotura de las partes ms pequeas, obviamente nada se gana; el problema es indicar una caracterstica precisa de la continuidad que pueda servir como base para deducciones vlidas. Durante largo tiempo he meditado sobre esto en vano, pero nalmente he encontrado lo que pretenda. Dedekind se dispone a revelar el secreto, pero como su idea adems de ser genial es muy sencilla, previene al lector con esta observacin. Muchos de mis lectores quedarn grandemente disgustados al saber que por esta vulgar observacin se revela el secreto de la continuidad.

at em

A mediados del siglo XIX no era posible demostrar algunos resultados bsicos del clculo; por ejemplo, que toda funcin creciente y acotada tiene lmite, o el teorema del valor intermedio para funciones continuas. Ello se deba a que faltaba codicar matemticamente una propiedad fundamental de los nmeros reales, la que ahora llamamos completitud y entonces se llamaba propiedad de continuidad. En 1872 se publicaron dos trabajos, uno de Cantor y otro de Dedekind, en los que, tomando como punto de partida el sistema de los nmeros racionales, cada autor desarrollaba una construccin matemtica de los nmeros reales. Nos vamos a ocupar aqu del trabajo de Dedekind, titulado Continuidad y nmeros irracionales. En dicho trabajo, Dedekind maniesta su propsito de reducir los nmeros reales a la aritmtica, eliminando as todo contenido geomtrico en la idea de nmero real. Para explicar lo que l hizo vamos a partir de la intuicin de una recta.
at ic a1 .c om

Cul es esa vulgar observacin? Vamos a explicarla. Todo punto en una recta la divide en dos partes disjuntas, la parte , formada por los puntos de la recta que estn a su izquierda, y la parte , formada por los puntos de la recta que estn a su derecha. El propio punto podemos incluirlo bien en o en . Dice Dedekind: He encontrado la esencia de la continuidad en el recproco, es decir, en el siguiente principio:Si todos los puntos de la recta se dividen en dos clases tales que todo punto de la primera clase queda a la izquierda de todo punto de la segunda clase, entonces existe un, y slo un punto, que produce esta divisin de todos los puntos en dos clases, esta escisin de la lnea recta en dos partes. Las ideas geniales, que adems son sencillas, son doblemente geniales. Igual que el tiempo es continuo porque entre dos instantes de tiempo solamente hay tiempo, la recta es continua porque entre dos puntos de ella solamente hay puntos de la misma recta. Es esta la idea que Dedekind ha sabido expresar matemticamente de una forma insuperable. Para entenderla un poco mejor, vamos a considerar el conjunto de los nmeros racionales como puntos de una recta en la que hemos elegido un origen y una unidad, la recta racional. 5.3 Denicin. Una cortadura de es un par , donde y son conjuntos no vacos , y todo nmero de es menor que todo nmero de nmeros racionales tales que de y no tiene mximo. Todo nmero racional produce una cortadura dada por
.M at

at

ic

a1

.c

om

em

Pero en la recta racional hay muchas cortaduras que no estn producidas por nmeros racionales. En el ejercicio (70) hemos visto que los conjuntos

w w

denen una cortadura de que no est producida por ningn nmero racional. De hecho, si te imaginas la recta racional dentro de la recta real, y tomas un nmero que sea irracional, los conjuntos

Denen una cortadura de que no est producida por ningn nmero racional. Es decir, considerando dentro de , vemos que cada cortadura de est determinada por un punto que puede ser racional o irracional. Pero claro, est prohibido usar la recta real cuando lo que queremos es justamente construirla a partir de . De dnde sacamos los nmeros reales si todo lo que tenemos son los racionales? Esta es la idea genial de Dedekind. 5.4 Denicin. Un nmero real es una cortadura de . El conjunto de todos los nmeros reales se representa por . Observa el papel que desempean las deniciones en una teora matemtica: crean nuevos objetos de la teora. La denicin anterior dice lo que es un nmero real en trminos exclusivamente de nmeros racionales.

Vuelve ahora a leer la denicin de Eudoxo (5.1) para la igualdad de razones inconmensurables. Lo que dice (5.1) es que dos razones inconmensurables son iguales si producen una misma cortadura en ! Salvo esto, ningn otro parecido hay entre Dedekind y Eudoxo. Los nmeros racionales se construyen a partir del conjunto de los enteros, y stos se obtienen fcilmente a partir de los naturales. Dedekind y Giuseppe Peano establecieron una base axiomtica para el conjunto de los nmeros naturales. Ya ves, al nal, Pitgoras ha regresado: todo es nmero. 5.2.4.2. Mtodos axiomticos y mtodos constructivos

Supongo lo que ests pensando: Vaya denicin extraa de nmero real! Ahora resulta que un nmero es una cortadura. . . nada menos que dos conjuntos innitos de nmeros!. Vayamos poco a poco.

Es una denicin operativa, es decir, permite denir la suma y el producto de nmeros reales, as como la relacin de orden y demostrar las propiedades P1 - P7 del Captulo 1, y tambin la propiedad del supremo P8. Adems, todo esto se hace de forma sencilla aunque laboriosa. Si tienes curiosidad, puedes consultar el Captulo 28 de [16]. Lo importante de la denicin es que dene los nmeros reales solamente usando los nmeros racionales. Es decir, resuelve un problema de existencia en sentido matemtico.
em at ic a1 .c o m

Las propiedades o axiomas P1 - P7 del Captulo 1, junto con la propiedad del supremo P8, denen una estructura que se llama cuerpo ordenado completo. Aunque en el Captulo 1 dijimos que no era nuestro propsito decir qu son los nmeros reales, podemos ahora responder a dicha pregunta: los nmeros reales son el nico cuerpo ordenado completo. La demostracin de que existe un cuerpo ordenado completo y es nico es larga, laboriosa y depende de las hiptesis de partida. Lo ms usual es dar por conocidos los nmeros racionales y a partir de ellos construir . Esto puede parecer extrao a primera vista, porque si slo conocemos los nmeros racionales, de dnde van a salir los dems? De eso precisamente se ocupan los mtodos constructivos (Cantor, Dedekind). Por ejemplo, si partimos de la intuicin de que con los nmeros reales se pueden representar todos los puntos de una recta, es claro que un nmero real queda determinado de forma nica por los nmeros racionales menores que l. Esta idea conduce a la denicin de nmero real dada por Dedekind. La denicin de Cantor es mucho menos intuitiva pues, para Cantor, un nmero real es una clase de innitas sucesiones de nmeros racionales que cumplen una cierta propiedad. Es posible probar, partiendo de estas deniciones, que el conjunto de los nmeros reales as denidos puede dotarse de una estructura algebraica y de orden de manera que satisface los axiomas P1 - P8. Este proceso es bastante laborioso; adems se corre el peligro de centrar la atencin en el proceso en s mismo olvidndose de lo que se persigue. Por otra parte, las deniciones de Dedekind o de Cantor no son las nicas, hay otras deniciones de nmero real. Pensars que esto no es serio. Qu est ocurriendo aqu? Ocurre, sencillamente, que cualquier denicin de los nmeros reales a partir de los racionales, esto es, cualquier mtodo constructivo de , tiene su razn ltima de ser en el problema de la existencia: puede ser construido
w w w .M at

un cuerpo ordenado completo a partir de los axiomas usuales de la Teora de Conjuntos? Pues bien, la respuesta es que s; adems, y esto es fundamental, matemticamente, en un sentido preciso, dicho cuerpo es nico. Da igual, por tanto, cmo se interprete lo que es un nmero real, lo importante es que de cualquier forma que lo hagamos, los axiomas P1 - P8 determinan totalmente sus propiedades matemticas. Es decir, una vez que sabemos que hay un nico cuerpo ordenado completo, lo mejor es olvidar cualquier posible interpretacin de cmo sean sus elementos (ningn mate o ) y mtico cuando considera el nmero real piensa que quedarnos exclusivamente con las propiedades de los mismos. Esto es precisamente lo que se hace con el mtodo axiomtico que nosotros hemos elegido para presentar . 5.2.4.3. El regreso de los pequeitos

5.2.5. Ejercicios propuestos

171. Prueba que la propiedad del supremo es equivalente a la siguiente propiedad. y de nmeros reales cuya Propiedad del continuo. Dados subconjuntos no vacos unin es igual a , y tales que todo elemento de es menor que todo elemento de , se verica que existe un nmero real , tal que todo nmero real menor que est en y todo nmero real mayor que est en .

5.3. Evolucin del concepto de lmite funcional


Lo ms especco del Anlisis Matemtico son los procesos de convergencia, o procesos de paso al lmite, que en l se consideran. Aqu nos vamos a ocupar solamente del concepto de lmite funcional. Dicho concepto est estrechamente relacionado con los de funcin y de nmero real; y los tres juntos constituyen el ncleo del Anlisis. Por ello, la historia de su evolucin es tambin la del desarrollo del Clculo, de los sucesivos intentos para fundamentarlo sobre bases lgicas rigurosas. Aislar en este proceso aquellos aspectos directamente

.M

at

em at

Con la reduccin del continuo a lo discreto, parece que nalmente ha triunfado la Aritmtica. Pero la historia continua. Por una parte, los nmeros naturales tuvieron un reinado efmero, pues fueron esencialmente reducidos a pura lgica como consecuencia del trabajo pionero de Gottlob Frege. Por otra parte en 1960, el lgico Abraham Robinson (1918 - 1974) construy un sistema numrico, los hiperreales, un cuerpo totalmente ordenado no arquimediano, que contiene una copia de los nmeros reales y en el que hay nmeros innitamente pequeos y nmeros innitamente grandes. Las tcnicas desarrolladas por Robinson se conocen con el nombre de Anlisis No Estndar. Con dichas tcnicas pueden probarse los resultados fundamentales del Clculo de forma intuitiva y directa al estilo de Newton y Leibniz. Estn aqu! Los innitsimos han regresado!
ic a1 .c om

relacionados con el concepto de lmite funcional, conlleva una prdida de perspectiva que, espero, quedar compensada en captulos siguientes al estudiar la evolucin de los conceptos de derivada, integral y convergencia de series.

5.3.1. La teora de las razones ltimas de Newton


En las matemticas de la Antigedad no exista una idea de lmite que pueda ser considerada como un precedente lejano de la actual. Lo ms parecido era el mtodo de exhauscin (500), empleado con maestra por Arqumedes para realizar diversas cuadraturas (8.8.1). Pero dicho mtodo no consista en un lmite, sino que, precisamente, lo que haca era evitarlo y sustituirlo por un esquema de razonamiento de doble reduccin al absurdo, tpico de las matemticas griegas. La matemtica Griega abomina del innito y la idea de lmite connota la de innito. Es notable, sin embargo, que cuando los matemticos Griegos tienen que enfrentarse al innito como, por ejemplo, Eudoxo al denir la igualdad de razones de magnitudes inconmensurables (5.1), lo que hace es basar su denicin de igualdad en un lgebra de desigualdades. Tenemos que llegar al siglo XVII, con la invencin de las tcnicas innitesimales que preludian el descubrimiento del Clculo, para encontrar las primeras referencias confusas de procesos de convergencia. El primer indicio del concepto de lmite funcional aparece en estrecha relacin con el clculo de uxiones (velocidades instantneas) (6.8.4) de Newton. En su teora de las razones ltimas expuesta en Philosophiae Naturalis Principia Mathematica (1687) se lee:
It can also be contended, that if the ultimate ratios of vanishing quantities are given, their ultimate magnitudes will also be given; and thus every quantity will consist of indivisibles, contrary to what Euclid has proved.... But this objection is based on a false hypothesis. Those ultimate ratios with which quantities vanish are not actually ratios of ultimate quantities, but limits which ... they can approach so closely that their difference is less than any given quantity... This matter will be understood more clearly in the case of quantities indenitely great. If two quantities whose difference is given are increased indenitely, their ultimate ratio will be given, namely the ratio of equality, and yet the ultimate or maximal quantities of which this is the ratio will not on this account be given.

Traduzco lo mejor que puedo:


Tambin puede alegarse que si las razones ltimas de cantidades evanescentes son dadas, sus ltimas magnitudes tambin sern dadas; y por tanto toda cantidad consistir de indivisibles, en contra de lo que Euclides ha probado. . . Pero esta objecin est basada sobre una hiptesis falsa. Aquellas razones ltimas con las que tales cantidades desaparecen no son en realidad razones de cantidades ltimas, sino lmites. . . a los que ellas pueden aproximarse tanto que su diferencia es menor que cualquier cantidad dada. . . Este asunto ser entendido ms claramente en el caso de cantidades indenidamente grandes. Si dos cantidades cuya diferencia es dada son indenidamente aumentadas, su ltima razn ser dada, a saber, la razn de igualdad y, no obstante, las cantidades ltimas o mximas de las cuales esta es la razn no sern por eso dadas.

Lo que yo entiendo que quiere decir Newton es lo que sigue. La expresin razones ltimas de cantidades evanescentes puede interpretarse como el lmite de un cociente cuyo numerador y denominador tienen lmite cero: lm , donde lm lm . En el primer prrafo, Newton dice que el hecho de que la razn ltima sea dada igual a , no quiere decir que el cociente de las ltimas magnitudes, , sea igual a . De manera muy interesante, Newton relaciona esto con la estructura del continuo, pues la idea que expresa es que si el valor

.M

at

em

at

ic

a1

.c

om

tendremos que su razn ltima ser de igualdad, esto es, lm y est claro que para y que tampoco las magnitudes y tienen un ltimo ningn valor de es valor.

de todo lmite se alcanza, entonces el continuo estara formado por ltimas partes indivisibles. En el segundo prrafo, adems de insistir en la idea anterior, queda claro que por razones ltimas Newton entenda algo muy parecido a nuestra idea actual de lmite. Finalmente, Newton propone un ejemplo excelente; consideremos, dice, dos cantidades y cuya diferen, en tal caso cia est dada, , y tales que lm lm

Siempre es arriesgado hacer interpretaciones de esta naturaleza, pero creo que lo dicho es esencialmente correcto y, por tanto, maniesto mi desacuerdo con quienes arman que Newton tena ideas muy confusas con respecto al lmite. Lo que no tena (no poda tener) era el concepto de funcin (por eso habla de cantidades o magnitudes), ni el simbolismo apropiado, ni el concepto de variable real continua. . . pero la idea de lmite la tena bien clara. Adems, Newton considera que los innitsimos no son cantidades jas y, en los Principia, advierte a sus lectores que cuando hable de cantidades mnimas, o evanescentes, o de cantidades ltimas, stas no debieran entenderse como cantidades jas que tienen un determinado valor, sino como cantidades que fueran indenidamente disminuidas:
Therefore in what follows, for the sake of being more easily understood, I should happen to mention quantities at least, or evanescent, or ultimate, you are not to suppose that quantities of any determinate magnitude, but such as are conceived to be always diminished without end.

Estas ideas de Newton fueron desarrolladas por el matemtico escocs Colin MacLaurin (1698 - 1746) que, en su gran obra A Treatise of Fluxions (1742), establece el clculo sobre la base de una teora geomtrico cinemtica de lmites. MacLaurin rechazaba los innitsimos, armaba que los antiguos nunca reemplazaron curvas por polgonos y que la base de la geometra de Arqumedes era el concepto de lmite. Lo sorprendente es que MacLaurin usa el concepto de lmite como algo evidente que no precisa ser explcitamente presentado ni analizado. Esto se debe a que el clculo de MacLaurin se sustenta sobre las ideas de espacio, tiempo y movimiento lo que le lleva a aceptar como evidentes la continuidad y la diferenciabilidad.

5.3.2. La metafsica del Clculo en DAlembert y Lagrange


Durante el siglo XVIII, por una parte, el uso permanente de los innitesimales dicultaba la comprensin de los procesos de paso al lmite y, por otra parte, el recin inventado Clculo era una herramienta maravillosa para estudiar y formular matemticamente multitud de fenmenos naturales. Adems, los resultados obtenidos eran correctos, por tanto no haba por qu preocuparse mucho de la coherencia lgica de los fundamentos, ya habra tiempo para ello ms adelante. Debemos destacar, no obstante, la propuesta de Jean le Rond dAlembert (1717 - 1783) de fundamentar el Clculo sobre el concepto de lmite: La thorie des limites est la base de la vraie Mtaphysique du calcul diffrentiel.

Figura 5.9. DAlembert

.M

at

em

at

ic

a1

.c

om

DAlembert redact la mayora de los artculos de matemticas y ciencias para la obra inmortal del Siglo de las Luces la Encyclopdie, ou Dictionnaire Raisonn des Sciences, des Arts et des Mtiers (1751 - 65). En el artculo Diffrentiele (1754), despus de criticar la metafsica del innito de Leibniz, escribe:
Newton parta de otro principio; y se puede decir que la metafsica de este gran gemetra sobre el clculo de uxiones es muy exacta y luminosa, aunque solamente la ha dejado entrever. l no ha considerado nunca el clculo diferencial como el clculo de cantidades innitamente pequeas, sino como el mtodo de las primeras y ltimas razones, es decir, el mtodo para hallar los lmites de las razones. [. . . ] La suposicin que se hace de las cantidades innitamente pequeas slo sirve para acortar y simplicar los razonamientos; pero en el fondo el clculo diferencial no precisa suponer la existencia de tales cantidades; y ms an, este clculo consiste meramente en la determinacin algebraica del lmite de una razn.

DAlembert fue el primer matemtico que arm haber probado que los innitamente pequeos nexistent rellement ni dans la nature, ni dans les suppositions des Gomtres. Segn dAlembert:
Una cantidad es algo o nada; si es algo, an no se ha desvanecido; si no es nada, ya se ha desvanecido literalmente. La suposicin de que hay un estado intermedio entre estos dos es una quimera.

Este artculo tambin contiene los resultados sobre la unicidad del lmite y sobre el lmite del producto de dos magnitudes, por supuesto, enunciados retricamente sin ningn tipo de smbolo para representar los lmites. Dichos resultados haban aparecido en el libro de La Chapelle Institutions de Gomtrie (1757). Tanto dAlembert como La Chapelle tenan una idea esencialmente geomtrica del concepto de lmite, as el ejemplo que ponen en el citado artculo es el de la aproximacin de un crculo por polgonos. El punto de vista de dAlembert, esencialmente correcto, no era compartido por otros matemticos, de forma destacada, por Joseph-Louis de Lagrange (1736 - 1813) quien en su obra Thorie des fonctions analytiques (1797), cuyo subttulo era nada menos que Les Principes du Calcul Diffrentiel, dgags de toute considration dinniment petits, dvanouissants, de limites et de uxions, et rduits lanalyse algbrique des quantits nies, pretendi establecer una fundamentacin algebraica del Clculo, eliminando toda referencia a los innitesimales y a los lmites. Lagrange criticaba la teora de las ltimas razones de Newton y armaba:
Ese mtodo tiene el gran inconveniente de considerar cantidades en el momento en que ellas cesan, por as decir, de ser cantidades; pues aunque siempre podemos concebir adecuadamente las razones de dos cantidades en tanto en cuanto ellas permanecen nitas, esa razn no ofrece a la mente ninguna idea clara y precisa tan pronto como sus trminos ambos llegan a ser nada a la vez.

Esta severa crtica va realmente dirigida contra Euler, quien conceba las cantidades innitesimales como ceros exactos y, por tanto, un cociente de diferenciales lo interpretaba como ,

w w

Se dice que una magnitud es el lmite de otra magnitud, cuando la segunda puede aproximarse a la primera, sin llegar nunca a excederla, en menos que cualquier cantidad dada tan pequea como se quiera suponer.

.M

at em

at ic

a1

En el artculo Limite (1765), tambin escrito para la Encyclopdie junto con Jean-Baptiste de La Chapelle (1710 - 1792), se da la siguiente denicin de lmite:
.c om

expresin de la cual haba que hallar en cada caso su verdadero valor. Lo llamativo es que la propuesta de Lagrange se basaba en los desarrollos en series de Taylor, considerados como una generalizacin del lgebra de polinomios, con lo que, de hecho, estaba usando la idea de lmite que quera evitar. Por otra parte, es conocida la jactancia de Lagrange de que en su monumental Mcanique analytique(1772 - 88) no haba usado ni necesitado ninguna gura. Lagrange segua as la tendencia, cada vez mayor, de separar el clculo y la geometra. De hecho, Lagrange puede considerarse un matemtico puro; su rechazo a la teora de uxiones se debe a que est basada en la idea de movimiento, que no es matemtica, y su rechazo de los lmites es debido a la confusa formulacin de dicho concepto en su tiempo.

5.3.3. El premio de la Academia de Berln y otras propuestas en el ltimo tercio del siglo XVIII
Jacques-Antoine-Joseph Cousin (1739 - 1800) escribi un libro de texto Leons de Calcul Diffrentiel et de Calcul Intgral (1777), en el que, siguiendo la idea de dAlembert, armaba fundamentar el clculo sobre el concepto de lmite, el cual, para Cousin, es el mismo que el expresado por La Chapelle en el artculo Limite de la Encyclopdie antes reseado. En particular, no hace distincin entre cantidades variables y constantes. Desde un punto de vista operativo, Cousin introduce, sin justicacin, un principio de conservacin de las razones entre dos variables por paso al lmite. Una novedad importante es que Cousin reconoce la necesidad de un smbolo para expresar el lmite, pero no hace nada al respecto.
em

Roger Martin (1741 - 1811) public un libro de texto lments de Mathmatiques (1781) con igual propsito que Cousin. La denicin de lmite de Martin es ms precisa:
Por el lmite de una cantidad variable se entiende el valor o estado hacia el cual ella siempre tiende conforme vara, sin alcanzarlo nunca; pero al cual, no obstante, puede aproximarse de manera que diera de l por una cantidad menor que cualquier cantidad dada.

La condicin de pequeez de la diferencia est formulada en la forma que despus sera la usual, adems, distingue entre variable y valor constante. En 1784 la Academia de Berlin, cuyo director era Lagrange, anunci la convocatoria de un premio para una teora clara y precisa de lo que se llama el innito en matemticas. El propsito de la Academia era eliminar el uso de los innitesimales:
Es bien sabido que la geometra superior emplea regularmente lo innitamente grande y lo innitamente pequeo. . . La Academia, en consecuencia, desea una explicacin de cmo es posible que se hayan conseguido deducir tantos teoremas correctos a partir de unos presupuestos contradictorios, as como. . . un principio verdaderamente matemtico que pueda sustituir correctamente al del innito.

El premio fue concedido en 1786 a Simon-Antoine-Jean LHuilier (1750 - 1840) por su ensayo Exposition lmentaire des principes des calculs suprieurs en el cual LHuilier desarrollaba una teora de lmites. Su denicin de lmite es:
Sea una cantidad variable, siempre menor o siempre mayor que una propuesta cantidad constante; pero de la cual puede diferir menos que cualquier propuesta cantidad menor que ella misma: esta cantidad constante se dice que es el lmite por exceso o por defecto de la cantidad variable.

w .M

at

at

ic

a1

.c o

La novedad aqu est en los conceptos de lmite por exceso y lmite por defecto. Al introducir esta distincin, LHuilier observaba que hasta entonces no se haba tenido en cuenta el hecho de que la aproximacin al lmite puede realizarse tanto desde una variable con valores crecientes como desde una variable con valores decrecientes. Por ello, LHuilier introduce los conceptos de lmite por la derecha y de lmite por la izquierda. En esta obra es donde, por primera, se usa el smbolo lm. (con el punto, como si fuera una abreviacin de lmite) para representar el lmite, aunque LHuilier no lo hace de una forma regular. El principal logro de LHuilier fue extender la aplicabilidad del concepto de lmite. Mientras que sus predecesores haban dado solamente un par de reglas bsicas, l realiz un desarrollo ms sistemtico, probando las reglas del producto y del cociente para lmites, y obteniendo la regla de la derivada de un producto por medio de lmites. En esta exposicin estoy siguiendo muy de cerca el excelente libro de Schubring [14]. Este autor hace un notable descubrimiento. Se trata de un ensayo de 100 pginas, titulado Compendio da Theorica dos Limites, ou Introduca ao Methodo das Fluxes, que fue publicado por la Academia de Ciencias de Lisboa en 1794, aunque su autor Francisco de Borja Garo Stockler (1759 - 1829) lo haba presentado ya en 1791. Stockler naci en Lisboa, su padre era alemn y su madre portuguesa. Estudi la carrera militar y tambin matemticas en la Universidad de Coimbra. Desarroll una gran actividad tanto poltica como cientca. La importancia del citado libro de Stockler es que contiene el primer intento de una presentacin algebraica del concepto de lmite. Stockler tena un excelente conocimiento de la literatura matemtica de su poca, y en su libro se apoya precisamente en los autores que hemos citado anteriormente. Pero Stockler aventaja ampliamente a sus fuentes al separar el concepto de lmite del concepto geomtrico, algebraizndolo tanto para variables como para funciones. Adems, es un pionero en el uso de desigualdades. Su denicin de lmite es la siguiente:
Una cantidad constante es llamada Lmite de una variable si la ltima puede ir aumentando o disminuyendo aunque sus valores nunca lleguen a ser igual al de la constante da tal forma que puede aproximar la constante tanto que la diferencia llega a ser menor que cualquier cantidad dada, por pequea que esta pueda haber sido escogida.

La denicin es parecida a la de Martin, aunque hay un mayor nfasis en que el lmite es un valor constante. Stockler tambin usa los conceptos de lmites por la derecha y por la izquierda de LHuilier. Debemos notar que todas estas deniciones de lmite que estamos dando se reeren a variables y que dichas variables suelen interpretarse como cantidades geomtricas (reas, longitudes de arco, medidas de ngulos, etc.). Adems, una cantidad constante es interpretada generalmente como una cantidad positiva. Con frecuencia se considera que el cero tiene un carcter especial y se dan deniciones especcas para tenerlo en cuenta. Precisamente, eso es lo que hace Stockler introduciendo el concepto de variable sin lmite de disminucin con el signicado de una variable con lmite cero. De esta forma, tambin evita usar innitsimos. Stockler establece como un resultado fundamental que
Toda cantidad capaz de un lmite, tiene necesariamente que ser igual a su lmite, ms o menos una cantidad variable sin lmite de disminucin.

Stockler desarrolla todo un lgebra de lmites y no se limita a las operaciones de suma, producto

.M

at em

at ic

a1

.c

om

y cociente. He aqu una muestra:


Una potencia , donde es una constante y una variable con valores positivos y sin lmite de aumento, forma una sucesin nula.

Stockler explica el uso del smbolo Lim. para representar lmites y lo emplea de forma operativa para permutar lmites. Por ejemplo, si Lim. y es constante, Lim. . Stockler no considera solamente lmites de variables sino tambin de funciones. De forma explcita establece la permutabilidad del lmite con una funcin:
El lmite de cualquier funcin de una variable que es capaz de (tiene) lmite, es igual al valor homlogo por la funcin de su lmite.

Simblicamente, Stockler expresa el teorema como sigue: Para Lim. .

Lim. , se sigue que

5.3.4. Cauchy y su Cours DAnalyse de 1821


A principios del siglo XIX, pareca cada vez ms necesario consolidar la enorme cantidad de resultados que ya se haban obtenido usando las tcnicas precariamente fundamentadas del clculo. Haba llegado el momento en que se dispona de las herramientas necesarias para desvelar las sutilezas del concepto de lmite, cuya lenta y trabajosa evolucin a lo largo del siglo XVIII acabamos de ver. Lo que se necesitaba era dar deniciones precisas, simblicas y operativas, que no estuvieran basadas en intuiciones geomtricas ni cinemticas. Para ello, haba que precisar las expresiones vagas que solan usarse, al estilo de aproximarse ms que una cantidad dada, por pequea que sta sea, y dotarlas de un signicado matemtico preciso que pudiera ser usado para dar demostraciones. Lo que se necesitaba era traducir las deniciones verbales de lmite mediante el lgebra de desigualdades que en esa poca ya se haba desarrollado. Esto puede parecer fcil visto desde nuestra perspectiva actual, pero no lo era en absoluto. Si vuelves a leer la denicin de lmite (4.32), puedes comprobar lo abstracta que es: no queda nada en ella de la intuicin inicial con la que Newton imaginaba sus razones ltimas. Es una denicin esttica y todo en ella es aritmtica: valor absoluto, desigualdades. . . no contiene ninguna igualdad! Ganamos rigor a costa de la intuicin. Quien realiz la hazaa de fundamentar con rigor el clculo sobre el concepto de lmite fue Augustin - Louis Cauchy (1789 - 1857). Nos vamos a centrar aqu exclusivamente en este aspecto de su obra, de la que nos ocuparemos con ms detalle en un captulo posterior. Conviene, no obstante decir, que hay Figura 5.10. Cauchy interpretaciones muy distintas de la obra de Cauchy. En particular, se ha escrito mucho sobre el uso que Cauchy hace de los innitsimos. Creo que la documentada exposicin que hace Schubring en [14] es muy convincente. Su tesis es que Cauchy, por su propia voluntad, nunca hubiera dejado entrar a los innitsimos en sus libros, pero que se vio en la necesidad de hacerlo por la presin del entorno de lcole Polytechnique donde desempeaba su labor docente. De todas formas, su concepto
w w w .M at em at ic a1 .c o m

de innitsimo, como veremos enseguida, no es el de una cantidad no nula pero innitamente pequea. En su Cours dAnalyse de lcole Polytechnique (1821), Cauchy empieza exponiendo su concepto de nmero, de cantidad y seguidamente, en la pgina 19, aparecen las siguientes deniciones:
Se llama cantidad variable aquella que se considera debe recibir sucesivamente varios valores diferentes unos de otros.[. . . ] Cuando los valores sucesivamente atribuidos a una misma variable se aproximan indenidamente a un valor jo, de manera que acaban por diferir de l tan poco como se quiera, ste ltimo es llamado el lmite de todos los otros. [. . . ] Cuando los valores numricos (valores absolutos) sucesivos de una misma variable decrecen indenidamente, de manera que quedan por debajo de todo nmero dado, esta variable recibe el nombre de innitsimo o de cantidad innitamente pequea. Una variable de esta naturaleza tiene por lmite a cero. Cuando los valores numricos (valores absolutos) sucesivos de una misma variable crecen ms y ms, de manera que permanecen por encima de todo nmero dado, se dice que esta variable tiene por lmite el innito positivo, indicado por el signo , cuando se trata de una variable positiva, y el innito negativo, indicado por la notacin , cuando se trata de una variable negativa.

.M

Teorema I (Cauchy - Cours dAnalyse, p.54). Si para valores crecientes de , la diferencia

converge hacia un cierto lmite , la fraccin

w w

converger al mismo tiempo hacia el mismo lmite. Demostracin. Supongamos para empezar que la cantidad tenga un valor nito, y designemos por un nmero tan pequeo como se quiera. Puesto que los valores crecientes de hacen converger la diferencia hacia el lmite , se podr dar al nmero un valor sucientemente grande para que, siendo igual o mayor que , la diferencia correspondiente est constantemente comprendida entre los lmites

(Este comienzo es impecable y nosotros lo haramos exactamente igual. Con nuestras notaciones actuales, la hiptesis es que lm

at em

Llama la atencin en esta denicin la idea repetida de sucesivos valores que algunos autores interpretan como si Cauchy considerara a las cantidades variables como sucesiones. Aunque sigue siendo una denicin verbal, es mucho ms precisa que las anteriores y lo importante es la forma en que Cauchy la interpreta por medio del lgebra de desigualdades. Podemos hacernos una idea de la forma de trabajar de Cauchy considerando el siguiente resultado que aparece en la pgina 54 del Cours dAnalyse. Traduzco y hago algunos comentarios que van en cursiva y entre parntesis.

at ic

a1

.c o

Por tanto, dado , existe tal que para todo Eso es exactamente lo que escribe Cauchy.)

se verica que

Supuesto esto, si se designa por un nmero entero cualquiera, cada una de las cantidades


se encontrar comprendida entre los lmites

y, en consecuencia, su media aritmtica, a saber

. Se tendr pues

. Sea ahora

siendo una cantidad comprendida entre los lmites ,

La ecuacin precedente se convertir en

.c om

(5.2)

y se concluir

at

em at

a1


(5.3)

(Hasta aqu, nada que objetar. Todo es correcto.) Adems, para hacer crecer indenidamente el valor de , ser suciente hacer crecer indenidamente el nmero entero sin cambiar el valor de . Supongamos, en consecuencia, que en la ecuacin (5.3) se considera como una cantidad constante, y como una cantidad variable que converge hacia el lmite . Las cantidades

encerradas en el segundo miembro, convergern hacia el lmite cero, y el propio segundo miembro hacia un lmite de la forma

.M

estando siempre comprendida entre y

. Por consiguiente, la razn

tendr por lmite una cantidad comprendida entre y . Debiendo subsistir esta conclusin, cualquiera que sea la pequeez del nmero , resulta que el lmite en cuestin ser precisamente igual a la cantidad . En otras palabras, se tendr lm

lm

ic

(5.4)

(Seguidamente, Cauchy pasa a considerar los casos en que

.)

Esta demostracin es notable, por su rigor y tambin porque no es correcta. Te dar un contraejemplo en un ejercicio. Seras capaz de explicar a Cauchy dnde est el error en su razonamiento? Por supuesto, lo que interesa aqu es la forma en que Cauchy traduce los conceptos de lmite por medio de desigualdades. El error es anecdtico, adems, cuando Cauchy emplea este resultado lo hace siempre en casos en que la tesis es correcta; por ejemplo, para la log funcin log ,se tiene que lm log log y, por tanto, lm lo

cual es correcto. Si hasta el mismo Cauchy se equivocaba en cosas aparentemente fciles, no te extraes si a ti te cuesta trabajo entender bien la denicin de lmite, esa experiencia la hemos tenido todos los que hemos estudiado Anlisis. Durante el siglo XVIII, el concepto de continuidad no haba merecido nada ms que una espordica atencin, y siempre haba sido considerado desde un punto de vista losco, ms como una ley de la naturaleza que como un concepto propiamente matemtico. Generalmente la continuidad de una funcin se entenda en el sentido de Euler, y signicaba que dicha funcin estaba denida por una nica expresin analtica. En su Cours dAnalyse, Cauchy dene el concepto de funcin continua y, lo que es notable, de funcin discontinua; y su denicin es realmente muy minuciosa. Dice as:
Sea una funcin de la variable , y supongamos que, para cada valor de comprendido entre ciertos lmites dados, esta funcin admite constantemente un valor nico y nito. Si, partiendo de un valor de comprendido entre estos lmites, se atribuye a la variable un incremento innitamente pequeo , la funcin misma recibir por incremento la diferencia que depender a la vez de la nueva variable y del valor de . Dicho esto, la funcin ser, entre los dos lmites asignados a la variable , funcin continua de esta variable, si, para cada valor de intermedio entre estos lmites, el valor numrico (valor absoluto) de la diferencia

.M

decrece indenidamente con el de . En otras palabras, la funcin permanecer continua con respecto a entre los lmites dados, si, entre estos lmites un incremento innitamente pequeo de la variable produce siempre un incremento innitamente pequeo de la funcin. Se dice tambin que la funcin es, en un entorno de un valor particular atribuido a la variable , funcin continua de esta variable, siempre que ella sea continua entre dos lmites de , por cercanos que estn, que encierren al valor considerado. Finalmente, cuando una funcin deja de ser continua en el entorno de un valor particular de la variable , se dice entonces que ella se hace discontinua y que para este valor particular de hay una solucin de continuidad.

Cauchy da realmente dos deniciones; primero dene lo que nosotros llamaramos continuidad en un intervalo y, despus, la continuidad puntual. La primera denicin ha sido interpretada en el sentido de que lo que Cauchy entiende por continuidad es lo que ahora llamamos continuidad uniforme. Seguidamente a esta denicin, Cauchy pasa a estudiar la continuidad de las funciones elementales, considerando en cada caso, los lmites entre los que cada funcin es continua. Despus demuestra el teorema de los valores intermedios (teorema de Bolzano) del cual da dos demostraciones. Una que se apoya de forma decisiva en la intuicin geomtrica y, en una nota al nal del texto, otra, que l calica de puramente analtica, que consiste en el mtodo de biseccin, en la que Cauchy usa, sin demostracin ni comentario, que una sucesin montona acotada es convergente, propiedad que equivale a la completitud del sistema de los nmeros reales.

at e

at

ic

a1

.c

om

El citado texto de Cauchy, as como los libros Rsum des leons sur le Calcul Innitsimal (1823) y Leons sur le Calcul Diffrentiel (1829), en los que se recogen los cursos impartidos por Cauchy en la cole Polytechnique durante los aos precedentes, tuvieron una gran inuencia y establecieron nuevas exigencias de rigor. En el clculo de Cauchy los conceptos de funcin y de lmite son los conceptos fundamentales.

5.3.5. El innovador trabajo de Bolzano


Es obligado citar a Bernhard Bolzano (1781 - 1848), matemtico, lgico y lsofo, profesor en la Universidad de su ciudad natal, Praga, desde 1805 a 1820. Bolzano, cuyas obras completas comprendern, cuando terminen de editarse, alrededor de 140 volmenes, fue un innovador en todos los campos que trabaj. En sus trabajos matemticos anticip muchos de los conceptos que posteriormente redescubrieron y desarrollaron matemticos como Cauchy, Weierstrass o Cantor. Debido a su relativo aislamiento en la ciudad de Praga, en una poca en la que el centro de toda la produccin matemtica estaba en Pars, la obra matemtica de Bolzano fue poco conocida y no tuvo la inuencia que mereca por su rigor y profundidad.
at ic a1 . co m

Figura 5.11. Bolzano

Por lo que a la continuidad de una funcin se reere, Bolzano public en 1817 un pequeo libro de 60 pginas Purely analytic proof of the theorem that between any two values which give results of opposite sign there lies at least one real root of the equation [13], en el que, entre otras cosas, demuestra el teorema que ahora lleva su nombre. Bolzano empieza razonando que las demostraciones conocidas de ese teorema eran inapropiadas. La claridad de ideas con que se expresa es muy llamativa (traduzco de [13]):
No obstante, un examen ms cuidadoso muestra muy pronto que ninguna de estas pruebas puede considerarse adecuada. I. El tipo de demostracin ms usual depende de una verdad pedida en prstamo a la geometra, a saber, que toda lnea continua de curvatura simple cuyas ordenadas son primero positivas y despus negativas (o recprocamente) necesariamente debe intersecar en algn lugar al eje de abscisas en un punto comprendido entre aquellas ordenadas. Ciertamente, nada hay que objetar respecto a la correccin, ni tampoco a la obviedad, de esta proposicin geomtrica. Pero est claro que es una intolerable ofensa contra el mtodo correcto, deducir verdades de las matemticas puras (o generales, i.e. aritmtica, lgebra, anlisis) a partir de consideraciones que pertenecen simplemente a una parte aplicada (o especial), a saber, la geometra. [. . . ] Consideremos ahora la razn objetiva por la que una lnea en las circunstancias antes mencionadas interseca el eje de abscisas. Sin duda, todo el mundo ver enseguida que esta razn descansa en nada ms que en el asentimiento general, como consecuencia del cual toda funcin continua de que sea positiva para algn valor de , y negativa para otro, debe ser cero para algn valor intermedio de . Y sta es, precisamente, la verdad que debe ser probada. II. No menos reprobable es la demostracin que algunos han construido a partir del concepto de la continuidad de una funcin con la inclusin de los conceptos de tiempo y movimiento. [. . . ] Esto es adicionalmente ilustrado por el ejemplo del movimiento de dos cuerpos, uno de los cuales est inicialmente detrs del otro y posteriormente delante del otro. Necesariamente se deduce que en un tiempo debe haber estado al lado del otro. Nadie negar que los conceptos de tiempo y movimiento son tan extraos a la matemtica general como el concepto de espacio. No obstante, si estos conceptos fueran introducidos solamente por motivos de claridad, no tendramos nada en contra de ello.

.M

at

em

[. . . ] Por tanto, debe observarse que no consideramos que los ejemplos y aplicaciones disminuyan en lo ms mnimo la perfeccin de una exposicin cientca. De otra manera, estrictamente exigimos slo esto: que los ejemplos nunca sean empleados como argumentos en lugar de las demostraciones, y que la esencia de una deduccin nunca est basada sobre el uso meramente metafrico de frases o sobre sus ideas relacionadas, de forma que la deduccin misma quedara vaca tan pronto como stas fueran cambiadas.

Es difcil expresarse con ms claridad que como lo hace Bolzano. Su denicin de continuidad, en el citado trabajo, es como sigue:
Una funcin vara segn la ley de continuidad para todos los valores de dentro o fuera de ciertos lmites, signica exactamente que: si es algn tal valor, la diferencia puede ser hecha ms pequea que cualquier cantidad dada, supuesto que puede ser tomado tan pequeo como queramos.

Seguidamente, Bolzano establece un teorema previo cuyo asombroso enunciado es como sigue:
Si una propiedad no pertenece a todos los valores de una variable , pero s pertenecen todos los valores que son menores que un cierto , entonces existe siempre una cantidad que es la mayor de aquellas de las cuales puede armarse que toda ms pequea tiene la propiedad .

El conocido historiador de las matemticas Ivor Grattan - Guinness, en un polmico trabajo titulado Bolzano, Cauchy and the New Analysis of Early Nineteenth Century [9], expresa su opinin de que Cauchy conoca el trabajo de Bolzano pero nunca lo reconoci. Desde luego, ni en las numerosas obras de Cauchy, ni en su correspondencia particular, se ha encontrado ninguna referencia a Bolzano, por lo que la armacin de Grattan - Guinness, como l mismo reconoce, no est sustentada en pruebas documentales.

5.3.6. Weierstrass nos dio los

Figura 5.12. Weierstrass

Una caracterstica de los textos citados de Cauchy es que en ellos no hay ni una sola gura. Cauchy liber al clculo de sus ataduras geomtricas, aunque todava sus deniciones contenan trminos imprecisos como tan pequeo como queramos y disminuir indenidamente hasta converger al lmite cero, o ideas de movimiento como variable que se acerca a un lmite por no hablar de sus innitamente pequeos. Para seguir avanzando era necesario acabar de una vez con las distinciones entre nmero y cantidad. Los nmeros reales todava eran considerados geomtricamente y no se haban establecido sus propiedades de forma explcita. El cero y los nmeros negativos eran vistos an por muchos matemticos como algo de naturaleza diferente a los nmeros positivos.

En denitiva, deba concretarse el signicado de expresiones como cantidad variable y variable continua. Tambin era preciso separar la idea de funcin de su representacin

.M

at

em

at

ic

a1

.c

Comprendes por qu calico de asombroso ese enunciado, verdad? Es la propiedad de extremo inferior!En el ao 1817, 55 aos antes de que Dedekind y Cantor publicaran sus teoras de los nmeros reales!
om

analtica concreta, lo cual, como ya vimos en el Captulo 2, fue hecho por Dirichlet en 1837 con su denicin general de funcin como correspondencia arbitraria. Finalmente, pero no menos importante, estaban las cuestiones referentes a la convergencia de sucesiones y series numricas y funcionales, an mal comprendidas en la poca de Cauchy, de las que nos ocuparemos en otro lugar. En los cincuenta aos que van de 1830 a 1880 se lograron desentraar todas estas cuestiones fundamentales gracias, principalmente, a los trabajos de Dirichlet, Riemann, Weierstrass, Dedekind y Cantor. Ya conocemos una parte de este complejo proceso, la que culmina en 1872 con la fundamentacin del sistema de los nmeros reales por Dedekind y Cantor. Fue Karl Weierstrass (1815 - 1897) quien llev a sus ltimas consecuencias el proceso de aritmetizacin del Anlisis. Weierstrass era un desconocido profesor de instituto, cuando en 1854 public un trabajo sobre las funciones abelianas que caus sensacin en la comunidad matemtica. Poco despus, en 1856, Weierstrass ya era profesor de la Universidad de Berln. Los cursos que Weierstrass imparti en Berln durante ms de treinta aos atrajeron a numerosos matemticos de toda europa. Discpulos suyos fueron, entre muchos otros menos conocidos, George Cantor (1845 - 1918), Sonya Kovalevsky (1850 - 1891), Max Planck (1858 - 1947) y David Hilbert (1862 - 1943). Weierstrass estaba convencido de que el Anlisis deba ser liberado de los razonamientos geomtricos y de los conceptos intuitivos de espacio, tiempo y movimiento y deba ser fundamentado sobre los enteros positivos. Acometi la tarea de revisar radicalmente los conceptos fundamentales del Anlisis y a este n dedic algunos de sus cursos. Entre otras cosas, desarroll en ellos una teora aritmtica de los nmeros reales parecida a la de Cantor. Aunque Weierstrass no public mucho, su inuencia fue enorme y sus conferencias magistrales fueron difundidas por toda Europa por sus numerosos alumnos. Weierstrass es considerado como el ms grande analista del ltimo tercio del siglo XIX y se le ha llamado el padre del anlisis moderno. Ms adelante tendremos ocasin de exponer algunas de sus contribuciones. Por lo que al concepto de lmite funcional se reere, Weierstrass tradujo por medio de desigualdades y de valores absolutos las deniciones verbales de lmite y de continuidad dadas por Cauchy y Bolzano. Para Weierstrass, una variable solamente es un smbolo que sirve para designar cualquier elemento del conjunto de valores que se le pueden atribuir. Una variable continua es aquella cuyo conjunto de valores no tiene puntos aislados. La denicin de lmite dada por Weierstrass, tal como la recogi en sus notas el matemtico H.E. Heine (1821 - 1881) es la siguiente:
Se dice que es el lmite de una funcin para si, dado cualquier , existe un tal que para , la diferencia es menor en valor absoluto que .

Cuando una teora ha sido desarrollada, llega el momento del rigor. As el concepto de lmite, fundamental en clculo porque en l se basan los de continuidad, derivada, integral y los distintos tipos de convergencia, y es el concepto que conere al clculo su caracterstica distintiva, solamente pudo ser expresado de forma rigurosa (segn nuestros criterios actuales) en el ltimo tercio del siglo XIX, despus de haberse estado usando, de forma ms o menos disfrazada por los innitsimos y otros conceptos anes como el movimiento, durante doscientos aos. Curiosamente, la letra griega , que usaba Cauchy con un signicado de error, se ha convertido en el paradigma de la precisin en nuestras actuales deniciones heredadas de Weierstrass.

.M

at

em

at ic

a1 .c

om

La echita en la notacin para lmites, lm

1947) en su notable libro A Course of Pure Mathematics (1908).

, fue introducida por G.H. Hardy (1877 -

5.3.7. Ejercicios propuestos

172. Considera la funcin

dada por

Donde, como de costumbre, las funciones

es la parte entera de . Estudia los lmites en y .

de

5.4. Breve historia del innito


Es conocida la exclamacin de David Hilbert El innito! Ninguna cuestin ha conmovido tan profundamente el espritu del hombre. Es verdad, el innito atrae poderosamente nuestra imaginacin. Quin no ha gritado en su infancia para devolver un agravio . . . y t diez veces ms. . . innitas veces ms que yo!? Es difcil imaginar que el tiempo tuviera un comienzo y tambin que el espacio sea nito, porque no podemos pensar en una frontera para el espacio tras de la cual no exista ms espacio, ni un origen para el tiempo antes del cual no hubiera tiempo. Cualquier respuesta a estas preguntas conduce siempre a nuevas preguntas. Un error tpico consiste en creer que si algo fuera innito debera contener todas las cosas, algo as como el Aleph borgiano. Matemticamente, es claro que no tiene por qu ser as: los nmeros pares son innitos y no son todos los nmeros. Algo innito tampoco tiene por qu ser necesariamente muy grande. El Aleph de la narracin de Borges es una pequea esfera, un conjunto fractal contiene innitas copias de s mismo, el veloz Aquiles permanece corriendo sin alcanzar jams a la tortuga que le lleva unos pocos metros de ventaja. . . .
m

5.4.1. La idea de innito en la losofa y la matemtica Griegas


5.4.1.1. Las aporas de Zenn de Elea
Zenn, cruel Zenn, Zenn de Elea! Me has traspasado con la echa alada. Que, cuando vibra volando, no vuela. Me crea el son y la echa me mata. Oh sol, oh sol! Qu sombra de tortuga Para el alma: si en marcha Aquiles, quieto! Paul Valery

Un griego llamado Zenn, del que se sabe muy poco y de forma indirecta a travs del Parmnides de Platn, cuyo nacimiento se fecha hacia el ao 490 a.C en la ciudad de Elea en

.M

at

em

at ic

a1

.c o

el sur de Italia, y que fue discpulo de Parmnides, sigue manteniendo desde hace 2300 aos su permanente desafo a la razn. Te recuerdo que, segn Parmnides, el ser es necesariamente uno, eterno, continuo, indivisible e inmutable. Los cambios, transformaciones y multiplicacin de los seres, son meras apariencias a las cuales no responde realidad alguna. La losofa de Parmnides fue muy criticada porque choca con nuestras creencias ms bsicas sobre la realidad. Zenn ide sus paradojas o aporas (proposiciones sin salida lgica) para desacreditar a quienes negaban las ideas de Parmnides, y armaban la realidad del cambio y la pluralidad de los seres. Aristteles calica a Zenn de inventor de la dialctica, una elaborada forma de razonamiento que consiste en probar al oponente que de sus ideas se deducen consecuencias inaceptables. Los argumentos de Zenn son realmente del tipo reduccin al absurdo: se acepta provisionalmente una hiptesis y, razonando correctamente a partir de ella, se llega a una conclusin inaceptable, lo que obliga a rechazar la hiptesis inicial. Vamos a exponer, en lenguaje actual, tres de las paradojas de Zenn que van dirigidas contra las dos teoras del movimiento sostenidas en la antigedad, las cuales dependen, claro est, de la supuesta naturaleza del tiempo y del espacio. Debes tener en cuenta que Zenn no niega el movimiento sino su inteligibilidad; la armacin de que el movimiento se demuestra andando no refuta a Zenn, su desafo no es a la experiencia sensible sino a la razn. Las dos primeras paradojas parten del supuesto de que el espacio y el tiempo son innitamente divisibles y el movimiento continuo y uniforme.
Para que un mvil pueda llegar a un punto dado, debe recorrer primero la mitad de la distancia; pero antes de alcanzar esa mitad debe recorrer la mitad de la mitad. Y as sucesivamente, ad innitum. De este modo para alcanzar completamente cualquier distancia tendra que recorrer un nmero innito de divisiones, lo cual es imposible en un tiempo nito.

Aquiles y la tortuga.
Aquiles, el de los pies ligeros, nunca alcanzar a la tortuga que avanza lentamente unos cuantos metros por delante de l. Pues cuando Aquiles alcance el punto donde estaba la tortuga, sta ya estar un poco ms adelante; y cuando de nuevo Aquiles alcance ese lugar, la tortuga habr avanzado un poco ms. Sin desanimarse, sigue corriendo, pero al llegar de nuevo donde estaba la tortuga, esta ha avanzado un poco ms. . . . De este modo, la tortuga estar siempre por delante de Aquiles.

Ambos argumentos estn relacionados. Segn la Dicotoma, para que haya movimiento debe haber un comienzo, pero no hay una distancia mnima con la que empezar; por tanto el movimiento no puede empezar, luego no hay movimiento. Segn Aquiles, un mvil para alcanzar su destino debe cubrir primero la mitad de la distancia que lo separa, pero antes deber recorrer la mitad de esa mitad, y as sucesivamente; luego debe recorrer innitas divisiones lo cual es imposible en tiempo nito, por tanto nunca alcanzar su destino. Es decir, una vez empezado, el movimiento no puede parar. La tercera paradoja, que se reere a una echa lanzada al aire, supone que el espacio y el tiempo estn formados por unidades mnimas indivisibles y el movimiento es una sucesin de diminutos saltos consecutivos. La echa.

.M

at

em

at ic

La dicotoma.

a1

.c o

En un instante indivisible de tiempo la echa debe permanecer quieta, pues si se moviera el instante contendra unidades de tiempo ms pequeas en las que dicho movimiento tendra lugar en contra de lo supuesto. Por tanto, en cada instante la echa est quieta y, como el tiempo se compone de instantes, la echa est siempre quieta y el movimiento no tiene lugar.

La inuencia de las aporas de Zenn en losofa, lgica y matemticas ha sido notable y se ha escrito y se sigue escribiendo mucho sobre ellas ([12] es una de las referencias ms interesantes). Ms adelante veremos algunos intentos, bastante ingenuos, de resolver las dos primeras por medio de la teora de series. Despidamos a Zenn con una cita de Borges.
Zenn es incontestable, salvo que confesemos la idealidad del espacio y del tiempo. Aceptemos el idealismo, aceptemos el crecimiento concreto de lo percibido, y eludiremos la pululacin de abismos de la paradoja. Tocar a nuestro concepto del universo, por ese pedacito de tiniebla griega?, interrogar mi lector. J.L. Borges, La perpetua carrera de Aquiles y la tortuga.

5.4.1.2.

Atomismo y divisibilidad innita

En el perodo que separa a Zenn de Elea de Aristteles surgi la losofa del atomismo, iniciada por Leucipo (ca. 450 - 420 a.C.) y desarrollada por Demcrito (ca. 460 - 370 a.C.). El atomismo es una losofa materialista que se ha interpretado como una respuesta al idealismo de la Escuela Eletica (Parmnides, Zenn). Los atomistas mantienen que hay dos principios fundamentales: los tomos y el vaco. Los tomos son indivisibles e invisibles, innitos en nmero y de diversas formas y tamaos, perfectamente slidos, indestructibles y permanentes. Las substancias materiales son producidas por la unin y separacin de esos tomos movindose en el vaco. El movimiento se produce por la reordenacin de los tomos entre s; segn Aristteles, los atomistas reducen todo cambio a un mero cambio de lugar. Los atomistas admiten la pluralidad y el movimiento y niegan la innita divisibilidad del espacio y la materia. El atomismo fue cuestionado por Aristteles (384 - 322 a.C.), que realiz un anlisis sistemtico del continuo. Aristteles divide las cantidades en discretas y continuas. Los nmeros y el lenguaje hablado son discretas y las lneas, supercies, slidos, tiempo y espacio son continuas. La respuesta a la pregunta de si una magnitud continua (un continuo) es permanentemente divisible en partes cada vez ms pequeas, o hay un lmite ms all del cual no puede proseguirse el proceso de divisin, depende de la naturaleza del innito. Aristteles dedica el Libro III de su Fsica a un estudio sistemtico del innito. Considera que el estudio del innito forma parte del estudio de la naturaleza, pues lo caracterstico de sta es el movimiento y el cambio, y el movimiento es pensado como algo continuo, y lo que es continuo es denido con frecuencia como algo innitamente divisible. Primero, dice Aristteles, hay que examinar en general si es o no es posible que haya
w w

.M

El lsofo Anaximandro (ca.610 - 546 a.C.) introdujo el innito en la losofa Griega. Arm que el principio de todas las cosas existentes es el peiron. Etimolgicamente peiron signica lo sin lmites. Segn Anaximandro, el peiron es innito, porque provee la energa para que en el mundo no cese la generacin y corrupcin, e indeterminado, porque no es concreto y no se identica con ninguno de los elementos agua, aire, tierra, fuego. Podemos interpretarlo como la fuente de energa primordial que garantiza la transformacin y la unidad del cosmos.
at em at ic a1 .c om

un cuerpo sensible innito. Despus del correspondiente estudio, llega a la conclusin de que no existe un cuerpo que sea actualmente innito. Pero la negacin absoluta del innito es una hiptesis que conduce a consecuencias imposibles. Aristteles expone algunas razones que apoyan la creencia en la realidad del innito y considera los distintos sentidos de dicho trmino. Entre las primeras: la innitud del tiempo, la divisibilidad de las magnitudes y la innitud de los nmeros; entre los segundos: lo que no puede ser recorrido o se puede recorrer pero sin llegar a un trmino.
Es tambin evidente que no es posible que lo innito exista como un ser en acto o como una substancia y un principio. Luego lo innito existe como un atributo.

Lo innito es un atributo que puede predicarse de la cantidad o de determinados procesos; especialmente, los procesos de adicin y de divisin. Aristteles, habla en ese sentido del innito por adicin y el innito por divisin o la divisibilidad innita de un continuo.
Ahora bien, el ser se dice o de lo que es en potencia o de lo que es en acto, mientras que el innito es o por adicin o por divisin. Y ya se ha dicho que la magnitud no es actualmente innita [. . . ] Nos queda, entonces, por mostrar que el innito existe potencialmente. Pero la expresin existencia potencial no se debe tomar en el sentido en que se dice, por ejemplo, esto es potencialmente una estatua, y despus ser una estatua, pues no hay un innito tal que despus sea en acto. Y puesto que el ser se dice en muchos sentidos, decimos que el innito es en el sentido en que decimos el da es.

Aristteles distingue, pues, dos clases de innito: el innito como una totalidad completa, que llama el innito actual y cuya existencia niega; y el innito potencial, que concibe como un proceso secuencial de adicin o de subdivisin sin nal. Lo metfora del da es muy apropiada, pues el ser de un da es un estar siendo de forma sucesiva, de manera que en ningn momento el da queda realizado plenamente como un todo. Anlogamente, el innito potencial nunca ser plenamente realizado pues no hay un innito tal que despus sea en acto. La innitud potencial es la forma usual en que concebimos el tiempo como una lnea recta indenidamente prolongable o la sucesin de los nmeros que podemos ir formando por adicin consecutiva de la unidad. Esta concepcin aristotlica del innito se acept sin mayores cambios hasta el siglo XIX. Es una teora que plantea bastantes dicultades, algunas de ellas consecuencia de las ideas sobre el espacio y el tiempo del propio Aristteles, y otras internas a la propia teora. La forma en que la existencia potencial del innito se relaciona con su existencia como un proceso no es fcil de interpretar, pues si el innito actual nunca es posible, es preciso que haya un sentido en el cual un proceso que est ocurriendo en el presente mantenga su existencia potencial. Por otra parte, Aristteles mantiene que el tiempo es innito lo que, aparentemente, contradice la no existencia de innitos actuales. Respecto al espacio, arma que es nito y resulta entonces razonable pensar que no hay un innito por adicin que sea tal que pueda superar toda magnitud. Esto puede interpretarse como que Aristteles niega la posibilidad, incluso potencial, de un innito por adicin de magnitudes. De todas formas, Aristteles cree que la negacin del innito actual no afecta a los matemticos:
Esta argumentacin no priva a los matemticos de sus especulaciones por el hecho de excluir que el innito por adicin pueda recorrerse en acto. Porque no tienen necesidad de este innito ya que no hacen uso de l, sino slo, por ejemplo, de una lnea nita que se prolongue tanto como ellos quieran.

w w

.M

at

em

at

ic

a1

.c

om

Sobre todo esto se ha escrito y se sigue escribiendo mucho. Ms interesante para nosotros es la relacin del innito con la divisibilidad innita del continuo. Los atomistas negaban la divisibilidad innita. Su argumento era que si una magnitud continua fuera dividida en todo punto, entonces no quedara nada o solamente quedaran puntos sin extensin, porque en caso contrario el proceso de divisin podra proseguir. Pero, decan, si quedan puntos sin extensin, entonces no es posible recomponer la magnitud original a partir de ellos, pues por la agregacin de puntos sin extensin no puede lograrse nunca una magnitud nita. Concluan que en cualquier caso la magnitud inicial se ha convertido en algo incorpreo y, por tanto, algo que tena existencia ha dejado de ser, lo cual, evidentemente, es un imposible. Aristteles defenda la divisibilidad innita pero deba refutar el argumento atomista. Su solucin es muy original, pues arma que aunque una magnitud continua puede ser dividida en cualquier punto, no puede ser dividida en todo punto. Para Aristteles, dividir un continuo en todos sus puntos es reducirlo a lo discreto. Mientras que un continuo tiene la propiedad de densidad, es decir, entre dos cualesquiera de sus puntos siempre hay otro punto del continuo, los puntos obtenidos, despus de una divisin innita actual de un continuo, seran adyacentes unos con otros, y esto implica que la propiedad de densidad se habra perdido. Pero si dividimos un continuo, lo que obtenemos son dos continuos cada uno de ellos con la propiedad de densidad. Por tanto, es imposible llegar, por divisiones sucesivas, a reducir un continuo a puntos. As, Aristteles arma la divisibilidad innita pero niega la divisibilidad en todo punto, con lo que el argumento atomista deja de tener valor. Esta es una posible interpretacin de los argumentos de Aristteles sobre la divisibilidad innita, que a veces son bastante oscuros y confusos. Adems, como veremos ms adelante, puede darse una interpretacin matemtica rigurosa de la misma. Las matemticas griegas evitan el innito actual. As, Euclides, considera rectas que pueden ser prolongadas cuanto se quiera, pero no rectas innitas. Igualmente, al enunciar que los nmeros primos son innitos, lo expresa diciendo que Hay ms nmeros primos que cualquier cantidad de nmeros primos propuesta. De esta forma evita considerar el innito actual de los nmeros primos. En Los Elementos Euclides expone el mtodo de exhauscin (8.8.1) de Eudoxo de Cnido, que se utilizaba para calcular reas (cuadraturas) de regiones planas. Es frecuente armar que este mtodo consiste en una aproximacin al rea seguida de un proceso lmite. No es as. Aunque su nombre sugiere agotamiento de una gura plana por polgonos inscritos, el mtodo estaba basado en un razonamiento muy cuidadoso de doble reduccin al absurdo (llamado razonamiento apaggico), precisamente para evitar la consideracin de un innito actual. Mencin aparte merece Arqumedes. Por una parte, prob en su obra El arenario que si el Universo estuviera completamente lleno de granos de arena, su nmero sera nito. Para lo cual desarrolla un sistema de numeracin apropiado para manejar grandes nmeros (para los griegos el nmero mayor era la mirada de miradas, equivalente a ) que le permite describir un nmero que, en base diez, tendra unos 80000 millones de millones de cifras. Pero tambin Arqumedes ide mtodos heursticos2 que estn expuestos en su obra El Mtodo (ver 8.8.1.2), descubierta en 1906, en la que explica cmo anticip algunos de sus descubrimientos
mtodo heurstico se entiende cualquier proceso que facilite anticipar un resultado. Son mtodos que se apoyan en alguna forma de intuicin que conduce a la formulacin de conjeturas razonables, que despus deben ser probadas con mtodos cientcos rigurosos
2 Por

w w

.M

at e

at ic

a1 .c

om


Figura 5.13. Rueda de Aristteles

por medio de tcnicas de equilibrio usando la ley de la palanca. En estas tcnicas, Arqumedes hace un uso muy libre del innito; por ejemplo, descompone reas planas como sumas innitas de segmentos, es decir, reduce un continuo a elementos indivisibles, con lo cual podran estar de acuerdo los atomistas, pero no Aristteles. 5.4.1.3. La rueda de Aristteles

As se conoce un interesante problema propuesto por Aristteles en su Mechanica. Si un crculo de radio gira sin deslizar sobre su tangente horizontal, al completar un ciclo habr avanzado una distancia igual a . Consideremos dos crculos y , de radios y , concntricos, rgidamente unidos entre s. Cada uno de dichos crculos puede avanzar girando sin deslizar sobre su tangente horizontal. Al estar rgidamente unidos, el movimiento de giro de un crculo obliga al otro crculo a girar de igual manera y, adems, ambos crculos avanzarn la misma distancia, que ser igual a la distancia recorrida por su centro comn. Supongamos que el crculo gira sin deslizar un ciclo completo, en cuyo caso tambin gira un ciclo completo. El camino recorrido por es igual a que es la longitud de su circunferencia; y el camino recorrido por tambin es , aunque la longitud de su circunferencia es . Aristteles vio en esto algo paradjico. Desde un punto de vista cinemtico no hay dicultad en explicar lo que sucede. Al girar , con velocidad angular , hace girar igualmente a con igual velocidad angular. Pero tambin . El movimiento , al avanzar, comunica a un movimiento de traslacin de magnitud de cada punto de la circunferencia de es por tanto la resultante de un movimiento circular simple de velocidad angular y de un movimiento de traslacin horizontal de magnitud . , de esta componente de traslacin la que hace posible que el Es la magnitud mayor, crculo pequeo, aunque realiza el mismo nmero de ciclos que el grande, recorra igual camino que el grande. Pero es ahora donde se plantea el problema. Es claro que ambos crculos giran continuamente, por lo que el punto de tangencia de la circunferencia de cada uno de ellos con la tangente horizontal, cambia tambin de manera continua. Por tanto, el hecho de que ambos crculos mantengan igual ritmo de avance no puede explicarse porque el crculo menor se deslice sobre su tangente pues tal cosa no sucede. Aqu tenemos la paradoja: cmo es posible que los dos caminos sean iguales sin que se produzcan deslizamientos del crculo menor que compensen la diferencia?
w w w .M at em at ic a1 .c o m

Naturalmente, podemos suponer que el crculo que gira es el pequeo y obtenemos una situacin similar a la antes descrita, en la que ahora los dos crculos recorren un camino que es igual a la longitud de la circunferencia del crculo pequeo, a pesar de que ambos realizan un ciclo completo. Se trata de un problema entre cuyos diversos aspectos, todos ellos relacionados con la idea de innito, podemos destacar:

El problema del movimiento y la idea de continuidad. La estructura del continuo y la divisibilidad innita. La correspondencia uno a uno entre los puntos de dos caminos de diferente longitud.
Aristteles solamente consider el problema como un ejemplo de un cuerpo que mueve a otro. Observ que era indiferente que los crculos fueran concntricos y que podan suponerse tangentes exteriores, de forma que uno se mueve apoyndose contra el otro, en cuyo caso, dijo, es claro que el camino recorrido debe ser el del crculo que se mueve.

5.4.2. El innito desde la Edad Media hasta el siglo XIX


5.4.2.1. El innito en la Escolstica

As que son desiguales entre s y diferentes; cada uno es nito y todos son innitos. Y que sea posible que Dios todopoderoso no sepa los nmeros por su innidad, y que la ciencia de Dios llegue hasta cierta suma de nmeros, y que ignore los dems, quin habr que pueda decirlo, por ms ignorante y necio que sea? [. . . ] Y as que la innidad de los nmeros para la ciencia de Dios, que la comprende, no puede ser innita.

En esa inslita cuadratura del crculo que fue la Escolstica, en su intento de conciliar la losofa de Platn y Aristteles con la revelacin cristiana, destaca Santo Toms de Aquino (ca. 1225 - 1274). La innitud actual de Dios en todos los sentidos es un dogma Catlico y Toms de Aquino es una autoridad en tan delicada cuestin teolgica. En su obra Summa Contra Gentiles, Captulo 43, proporciona catorce argumentos breves para demostrar la innitud de Dios, cada uno de ellos termina con la letana Por tanto Dios es innito. 5.4.2.2. Galileo y el innito

Para encontrar ideas ms interesantes sobre el innito debemos referirnos a Galileo Galilei (1564 - 1642). En su obra pionera sobre la dinmica y esttica de slidos Discorsi e dimostrazioni matematiche intorno a due nuove science attenenti alla meccanica e i movimenti locali (1638), Galileo expone sus ideas sobre el innito.

San Agustn (354 - 430), lsofo cristiano, admite el innito actual como atributo de Dios, pero niega que Dios creara nada innito. En su obra La Ciudad de Dios escribe rerindose a los nmeros:
w w .M at em

at

ic a

Es sabido que las religiones lo contaminan todo de irrealidad. Despus del triunfo de la Iglesia Catlica, las discusiones sobre el innito adquieren una orientacin marcadamente teolgica.
1. co m

Desde los tiempos de Aristteles, la paradoja de los dos crculos haba sido considerada por diversos estudiosos aunque sin avances destacables. Galileo, en la citada obra, realiza un detallado estudio de la misma y propone soluciones originales. Galileo observa que la circunferencia del crculo pequeo debe tocar con cada uno de sus puntos una sola vez la tangente horizontal y avanzar sobre ella una distancia mayor que su longitud. Galileo se pregunta cmo es posible que el crculo ms pequeo recorra una distancia mayor que su circunferencia sin dar saltos. Antes de exponer el estudio de Galileo, debemos comentar las opiniones de su casi exacto contemporneo Giovanni di Guevara (1561 - 1641). Sin duda, Guevara conoce las ideas matemticas de cantidades innitesimales y de indivisibles que se estaban desarrollando en esta poca. Guevara escribe en su obra In Aristotelis Mechanicas commentarii (1627)3 :
Ambos, el crculo conductor y el que es movido tocan sucesivamente todas las partes individuales indivisibles de la lnea del plano con un nmero igual de sus propias partes indivisibles, pero con la diferencia de que cuando el crculo conductor las toca, las partes en contacto son iguales entre s, mientras que cuando el crculo movido las toca, las partes correspondientes son diferentes. Pues el contacto igual de dos cantidades depende del ajuste exacto conjuntamente de iguales partes de ambas, de forma que puedan coexistir en el mismo lugar. Pero no puede darse este ajuste exacto conjunto cuando los caminos son desiguales, pues esta desigualdad de los caminos tambin est presente en los lugares de contacto. . .

Galileo se pregunta, en la citada obra, por la constitucin bsica de la materia y si la cohesin de los slidos puede explicarse por la existencia de diminutos vacos entre partculas materiales y, ms concretamente, si puede haber un nmero innito de vacos en una extensin nita. La Rueda de Aristteles le parece un modelo matemtico adecuado para estudiar este asunto. Galileo empieza su estudio considerando, en vez de crculos, polgonos regulares concntricos rgidamente unidos. Primero considera exgonos.
w w w .M at em

at

ic

a1

Guevara indica que cuando el crculo menor es movido por el mayor, una parte ms pequea del crculo menor siempre est en contacto con una parte mayor de la horizontal, esto hace que dicho crculo avance ms rpidamente y de esta forma se compensa la menor longitud del arco de circunferencia girado.
.c om


Figura 5.14. Exgonos de Galileo

Sometemos el exgono mayor a un giro de 60 grados con centro en el vrtice . Este giro lleva el vrtice al punto del mismo nombre, , sobre la lnea de base, y el centro lo
libremente una cita de Guevara recogida en el trabajo ms completo que conozco sobre la rueda de Aristteles [4], el cual estoy siguiendo muy de cerca en esta exposicin
3 Traduzco

lleva a donde estaba el vrtice . Este giro lleva el lado del exgono menor al segmento del mismo nombre de la lnea de base de dicho exgono, y al hacerlo deja en medio un segmento . Este proceso se repite con sucesivos giros de 60 grados con centros respectivos en los puntos hasta completar un ciclo. El exgono mayor ha recorrido sobre su lnea de base una distancia igual a su permetro. El exgono menor avanza a saltos, pues en cada giro deja en medio un segmento de su lnea de base con el que no entra en contacto ( , . . . ). El camino que dicho exgono recorre es su permetro ms los saltos correspondientes que, en el caso considerado en la gura, sera igual a 5 veces y media el lado del exgono mayor. Por su parte, el centro recorre una distancia igual a 5 veces el lado del exgono mayor. Es claro que conforme aumenta el nmero de lados, la longitud del lado del polgono mayor es cada vez ms pequea y las longitudes recorridas son cada vez ms parecidas. En este punto, Galileo considera los crculos como polgonos con un nmero innito de lados (un innito actual, no potencial) y escribe:
La distancia recorrida por el innito nmero de lados continuamente distribuidos del crculo mayor es igualado por la distancia recorrida por el innito nmero de lados del menor, pero, en el ltimo caso, por la interposicin de igual nmero de vacos entre los lados. Y al igual que los lados no son nitos en nmero sino innitos, igualmente los vacos interpuestos no son nitos sino innitos. Es decir, el nmero innito de puntos sobre la lnea recorrida por el crculo mayor son todos ellos ocupados (esto es, en el transcurso de la revolucin de ese crculo han sido ocupados por un lado del crculo), pero sobre la recorrida por el crculo menor son parcialmente ocupados y parcialmente vacos.

Otra paradoja estudiada por Galileo es la de la equivalencia entre una circunferencia y un punto. Para explicarla, consideremos un rectngulo formado por dos cuadrados iguales unidos por un lado comn. Recortemos en este rectngulo una semicircunferencia de centro en la mitad del lado superior del rectngulo e igual radio. La gura que resulta de quitar dicha semicircunferencia al rectngulo se gira alrededor de su eje de simetra y se obtiene un slido de revolucin parecido a un cuenco. Supongamos ahora inscrito en dicho slido un como circular recto cuya base coincide con la del cuenco y de altura igual a la del cuenco.
w w w .M at em

at

ic

a1

.c

om

Figura 5.15. Paradoja circunferencia-punto

Cada plano paralelo a la base del cuenco determina en su interseccin con el cono un crculo, y en su interseccin con el cuenco una corona circular. Es muy fcil comprobar que dichos crculo y corona circular tienen igual rea. Si ahora consideramos planos paralelos a la base del cuenco que se van acercando al borde superior del mismo, las reas de las intersecciones de

dichos planos con el cono y el cuenco son siempre iguales. El ltimo de dichos planos da como interseccin con el cuenco una circunferencia (el borde del cuenco) y con el cono un punto (el vrtice del cono). Como los lmites de cantidades iguales entre s deben tambin ser iguales entre s, Galileo se pregunta por qu no podemos considerar la circunferencia como igual a su centro. Si lo hacemos, llegaremos a la conclusin de que todas las circunferencias son iguales entre s e iguales a un punto. La misma gura anterior pone de maniesto que la semicircunferencia est formada por . Pues cada semirrecta con origen en tantos puntos como los que forman la poligonal corta a la semicircunferencia en un nico punto y a la poligonal en otro nico punto . As podemos emparejar los puntos de la semicircunferencia con los de la poligonal y de esta forma los agotamos todos. Por tanto ambas lneas tienen igual nmero innito de puntos. Si llamamos a la longitud de , la semicircunferencia tiene longitud , menor que la longitud de la poligonal que es igual a . Galileo escribe al respecto:
Estas dicultades son reales; y no son las nicas. Pero recordemos que estamos tratando con innitos e indivisibles, los cuales trascienden nuestra comprensin nita, los primeros a causa de su magnitud, los ltimos debido a su pequeez. [. . . ] intentamos, con nuestras mentes nitas, discutir sobre el innito, asignndole propiedades que damos a lo nito y limitado; pero pienso que esto es incorrecto, dado que no podemos hablar de cantidades innitas como si fuesen mayores, menores o iguales a otras.

[. . . ] el total de los nmeros es innito, y el nmero de cuadrados es innito; ni es menor el nmero de cuadrados que el de la totalidad de nmeros, ni el otro mayor que el anterior; y, nalmente, los atributos igual, mayor y menor no son aplicables al innito, sino solo a cantidades nitas.

5.4.2.3.

El Clculo y el innito

Una caracterstica de las matemticas del siglo XVII es el libre uso del innito. En los dos primeros tercios del siglo XVII se desarrollan una variedad de mtodos innitesimales que preludian el clculo diferencial, as como tcnicas de cuadraturas basadas en la descomposicin de recintos planos o de slidos en innitos elementos indivisibles. El matemtico ingls John Wallis introdujo en 1655 en su obra De Sectionibus Conicis, el smbolo del lazo del amor, , con el signicado de innito. La invencin del Clculo, en el ltimo tercio del siglo XVII, ordena y sistematiza estos procedimientos, y proporciona algoritmos generales para resolver multitud de problemas que antes se abordaban con tcnicas especcas para cada caso. Las cantidades innitesimales, los casi imprescindibles innitsimos, que ya son viejos amigos nuestros, son otra forma del innito, en este caso, de lo innitamente pequeo. Durante el siglo XVIII y parte del XIX, los innitsimos se usaron de forma casi generalizada porque, a pesar de los problemas de todo tipo que planteaban, eran tiles y ecaces para resolver problemas y una herramienta heurstica muy apreciada. Es preferible diferir, hasta que estudiemos el nacimiento del Clculo, el estudio de algunos aspectos de este proceso cuya consideracin ahora nos apartara del tema que estamos viendo.

w w

.M

at

em

Otra paradoja considerada por Galileo, es la que se deduce de la observacin de que para cada nmero natural podemos construir un cuadrado de lado , cuya rea es igual a , de donde se deduce que hay tantos nmeros naturales como cuadrados perfectos. Sin embargo la mayora de los nmeros no son cuadrados perfectos. A la vista de ello, Galileo escribe:
at ic a1 .c o m

5.4.3. El innito matemtico y el nacimiento de la teora de conjuntos


A principios del siglo XIX, la actitud de los matemticos ante el innito no era diferente a la mantenida por Galileo doscientos aos antes. La consideracin del innito actual conduca a paradojas; en particular, la llamada paradoja de la reexividad, es decir, la posibilidad de establecer una biyeccin entre un conjunto innito y una parte del mismo, indicaba que la consideracin del innito actual contradeca el principio lgico de que el todo es mayor que las partes. Para los principales matemticos de la poca, como Gauss y Cauchy, el innito segua siendo un innito potencial, un concepto sin contenido matemtico, una palabra que serva para designar un proceso sin punto nal. Gauss lo expres claramente en una carta a su amigo Schumacher en 1831:
Debo protestar vehementemente contra el uso del innito como algo completado, pues esto nunca est permitido en matemticas. El innito es simplemente una forma de hablar; una forma resumida para la armacin de que existen los lmites a los cuales ciertas razones pueden aproximarse tanto como se desee, mientras otras son permitidas crecer ilimitadamente.

En esto, como en otras cosas, Bernahrd Bolzano fue un adelantado a su tiempo. En su libro Las Paradojas del Innito, publicado en 1851, tres aos despus de su muerte, Bolzano se propone estudiar las paradojas conocidas y mostrar que, debido a la falta de precisin en el uso del trmino innito, daban lugar a aparentes contradicciones. Es necesario, arma, denir el trmino innito y las matemticas son el contexto apropiado para ello. Naturalmente, Bolzano, est rerindose al innito actual. Con la idea de fundamentar matemticamente la nocin de innito actual, Bolzano introduce los trminos de agregado, conjunto y multitud, siendo en esta obra la primera vez que la palabra conjunto es usada con un signicado matemtico preciso. Un agregado es una totalidad compuesta de objetos bien denidos; un conjunto es un agregado donde el orden de sus partes es irrelevante y donde nada esencial se cambia si solo se cambia el orden (es decir, un agregado sin estructura alguna); una multitud es un conjunto cuyos miembros son individuos de una misma especie. Bolzano considera un conjunto como un todo, sin necesidad de considerar separadamente cada uno de sus elementos. El ejemplo que propone es muy signicativo a este respecto:
. . . puedo pensar en el conjunto, o agregado, o si se preere, en la totalidad de los habitantes de Praga o de Pekn sin formar una representacin separada de cada habitante individual.

Bolzano abandona as el punto de vista constructivo, la idea de que un conjunto se va formando a partir de sus elementos mediante alguna clase de algoritmo. Bolzano dene una multitud innita como aquella de la cual cualquier multitud nita solamente puede ser parte de la misma. Debemos observar que esta denicin no es la tradicional

.M

at

em

La consideracin del innito actual como objeto matemtico exige disponer de objetos matemticos que puedan ser llamados innitos. Que los nmeros naturales son potencialmente innitos quiere decir que son una sucesin a la que podemos agregar trminos indenidamente, muy diferente es la consideracin del innito actual de todos los nmeros naturales (a lo que estamos ya acostumbrados y no nos causa mayor problema), que equivale a considerarlos como un todo acabado, como un conjunto formado por todos ellos. Esto indica que una teora matemtica del innito supone la consideracin de conjuntos innitos. Es imposible separar la teora de conjuntos y la teora del innito.
at ic a1 .c om

en la que innito es denido como la negacin de lo nito. Con respecto a la existencia de conjuntos innitos, Bolzano arm que el conjunto de todas las verdades absolutas es un conjunto innito. Su idea es partir de una proposicin que se sabe verdadera a la que podemos llamar ; a partir de ella podemos formar otra es verdadera que, claramente, es diferente de la proposicin y este proceso puede proseguirse indenidamente. Esta idea parece muy ingenua pero, ms de treinta aos despus, Dedekind se inspir en ella para probar el mismo resultado. Bolzano mantiene que el criterio de validez para la existencia de conjuntos innitos debe basarse en su naturaleza no contradictoria.
y no Tan pronto como disponemos de un concepto, , el cual representa los objetos otros, es extremadamente fcil llegar a un concepto que represente el agregado de todos estos objetos tomados juntos. Solamente se necesita combinar la idea expresada por la palabra agregado y el concepto , en la manera expresada por las palabras el agregado de todo . Esta simple observacin, cuya correccin confo que ser evidente para todos, elimina todas las dicultades planteadas contra la idea de un conjunto que comprende innitos miembros.

En trminos actuales, lo que Bolzano arma es que dada una proposicin , relativa a los es verdadera . elementos de un conjunto , podemos formar el conjunto Bolzano se propone establecer un criterio de comparacin para conjuntos innitos. La paradoja de la reexividad no le preocupa tanto como a Galileo; al contrario, el hecho de que pueda establecerse una biyeccin entre un conjunto y una parte de l le parece una de las ms notables caracterstica de los conjuntos innitos. Pero en este punto crucial Bolzano no eligi el criterio adecuado.
. . . el conjunto de todas las cantidades entre y (o menores que ) es claramente innito, al igual que lo es el conjunto de todas las cantidades menores que . Con no menos seguridad es el ltimo conjunto mayor que el primero, pues el primero constituye solamente una parte del ltimo [. . . ] Pero no menos cierto que todo esto es lo siguiente: si representa una cantidad arbitraria entre y , y si jamos la razn entre e por la ecuacin , entonces es una cantidad entre y ; y recprocamente, siempre que est entre y , est entre y .

w w

.M

at

em

at

ic

a1

.c

om

Es decir, Bolzano arma que la aplicacin dada por

para

establece una

biyeccin entre dicho intervalo y el intervalo . Pero, cuando se trata de conjuntos innitos, a Bolzano no le parece que la existencia de una biyeccin sea criterio suciente para armar que ambos conjuntos son equinumerosos y elige como criterio de comparacin la relacin de inclusin entre conjuntos. De esta forma puede comparar conjuntos innitos pero no puede cuanticar el innito y, por tanto, no logra desarrollar, pese a su intento, una aritmtica del innito. Le estaba reservada a Georg Cantor (1845 - 1918) la gloria de ser el primer matemtico que domesticara el innito. Cantor se vio obligado a defender constantemente sus innovadoras ideas en contra de las opiniones de inuyentes matemticos de su tiempo, alguno de los cuales, como Leopold Kronecker, pas incluso del ataque cientco al ataque personal, si bien otros destacados matemticos como Weierstrass, Dedekind o Hilbert estuvieron de su parte. El inters de Cantor por los conjuntos innitos de puntos y la naturaleza del continuo procede de sus tempranos trabajos en series trigonomtricas. En un notable trabajo de 1872, Cantor desarroll una teora de los nmeros reales basada en sucesiones de nmeros racionales. Ese mismo ao, un poco antes, Dedekind haba publicado su teora de las cortaduras. No es sta la nica ocasin en que coinciden los intereses de Cantor y Dedekind. De hecho, la contribucin de Dedekind a la creacin de la teora de conjuntos es mucho ms importante

de lo que suele reconocerse. En su famoso trabajo Was sind und was sollen die Zahlen (Qu son y para qu sirven los nmeros?) publicado en 1888, Dedekind precisa el signicado de las operaciones elementales de la teora de conjuntos ingenua, y da la denicin general de funcin entre conjuntos abstractos, generalizando as la anteriormente dada por Dirichlet para funciones reales. As mismo Dedekind da la siguiente denicin:
Un sistema se llama innito cuando es semejante a una parte propia de s mismo; en caso contrario, se dice que es un sistema nito.
, y En trminos actuales: un conjunto es innito, si hay un subconjunto propio, una biyeccin de sobre . En una nota a pie de pgina, Dedekind, arma haber comunicado esa denicin a Cantor ya en 1882 y varios aos antes a otros colegas. Tambin fue Dedekind un precursor de las tcnicas conjuntistas en lgebra, introduciendo, entre otros, los conceptos de cuerpo, ideal y mdulo.

5.5 Denicin. Los nmeros algebraicos son nmeros, reales o complejos, que son races de alguna ecuacin polinmica con coecientes enteros. Por tanto, un nmero real o complejo es algebraico si hay nmeros enteros , ( ) tal que satisface la ecuacin polinmica

w w

Figura 5.16. Cantor

.M

at

em

at

En una carta a Dedekind, de fecha 29 de noviembre de 1873, Cantor armaba, sin incluir prueba alguna, que los racionales positivos y, ms generalmente, el conjunto de las sucesiones nitas de enteros positivos, poda ponerse en correspondencia biyectiva con los enteros positivos, y preguntaba si eso mismo se poda hacer con los nmeros reales. Dedekind le respondi, a vuelta de correo, que en su opinin nada se opona a ello, y aadi, con demostracin incluida, que el conjunto de los nmeros algebraicos s es biyectivo con el de los enteros positivos.
ic a1 .c om

Los nmeros que no son algebraicos se llaman trascendentes. Todo nmero racional es evidentemente algebraico, pero tambin lo son las races de cualquier orden de nmeros racionales positivos y muchos ms. Intuitivamente, los nmeros algebraicos son los que pueden obtenerse a partir de los enteros por procedimientos algebraicos: suma, producto, cociente, divisin, races, iterados un nmero nito cualquiera de veces. En ese sentido podemos decir que los nmeros algebraicos no estn muy alejados de los enteros. Los nmeros trascendentes son justamente lo contrario: son nmeros irracionales muy alejados de los enteros. Para facilitar la exposicin que sigue voy a dar algunas deniciones de conceptos introducidos por Cantor aos ms tarde. 5.6 Denicin. Se dice que dos conjuntos y son equipotentes si existe una aplicacin biyectiva de uno de ellos sobre el otro. Los conjuntos equipotentes al conjunto de los nmeros naturales se llaman conjuntos numerables.

Los conjuntos numerables son aquellos conjuntos cuyos elementos se pueden contar aunque sean innitos! El resultado, citado por Cantor, de que es numerable, no deja de ser muy sorprendente y contrario a la intuicin, pues si son nmeros racionales cualesquiera, entre ellos dos hay siempre innitos nmeros racionales. Pese a ello, no hay ms nmeros racionales que nmeros naturales. Poco despus de las cartas citadas, Cantor logr demostrar que el conjunto de los nmeros reales no es numerable. De aqu se deduce enseguida que en todo intervalo de , hay innitos nmeros trascendentes. Cantor public estos resultados, el suyo y el de Dedekind, en un trabajo de tres pginas titulado Uber eine Eigenshaft des Inbegriffes aller reellen algebraischen Zahlen (Sobre una propiedad del sistema de todos los nmeros algebraicos reales) (1874). Es muy llamativo que el ttulo de este trabajo, considerado como el nacimiento ocial de la teora de conjuntos, no haga referencia alguna al resultado que hoy consideramos como el principal: la no numerabilidad de . Adems la propia presentacin del trabajo elude destacar estos resultados. Posiblemente, Cantor tema la reaccin que pudiera provocar un trabajo tan radicalmente innovador. Porque lo que l haca era probar que en cualquier intervalo con hay, en un sentido matemtico preciso, ms nmeros que todos los nmeros algebraicos juntos, de donde se deduca que en tena que haber nmeros trascendentes. Esta es una demostracin de existencia pura, algo nuevo en las matemticas. Demostrar que un nmero concreto es trascendente es muy difcil. Era conocida la trascendencia del nmero e, demostrada por Charles Hermite en 1873, y Ferdinand Lindemann logr probar la trascendencia de en 1882 (demostrando as que el problema de la cuadratura del crculo no tena solucin). Naturalmente, Cantor saba muy bien que haba descubierto una propiedad especca del continuo: su no numerabilidad. Dispona ya de dos tipos de conjuntos innitos: y , claramente tena un tamao ms pequeo que . Precisar esa idea de tamao y elaborar una teora de comparacin de conjuntos innitos es lo que hizo Cantor en los siguientes veinte aos y, casi contra su voluntad, se vio llevado a desarrollar la teora de nmeros transnitos y la teora de conjuntos como una disciplina matemtica independiente. En 1877, Cantor prob, para su propia sorpresa, que los puntos del plano podan ponerse en correspondencia biyectiva con , y, ms general, que los espacios son todos ellos biyectivos a la recta real. Este resultado fue de los que ms desconcierto provoc entre los matemticos contemporneos. Cantor sigui desarrollando sus ideas en una serie de seis trabajos publicados en los aos 1878 a 1884. En 1883, en su trabajo Fundamentos de una teora general de conjuntos, escribe:
La presentacin de mis investigaciones hasta la fecha en teora de conjuntos, ha alcanzado un punto donde su progreso depende de una extensin del concepto de nmero entero ms all de sus lmites actuales. Esta extensin seala en una direccin que, por lo que yo s, no ha sido investigada por nadie todava. [. . . ] Por atrevido que esto pueda parecer, tengo que expresar, no slo la esperanza, sino tambin la rme conviccin de que esta extensin tendr que ser considerada con el tiempo como absolutamente simple, adecuada y natural. Pero no se me oculta de ninguna manera el hecho de que en esta empresa me encuentro situado en una cierta oposicin a concepciones muy extendidas acerca del innito matemtico, y a opiniones formuladas frecuentemente sobre la naturaleza del nmero.

En este trabajo Cantor introduce los nmeros transnitos o cardinales transnitos. Por el mismo proceso que podemos abstraer la idea de nmero como la clase de todos los conjuntos

w w

.M

at

em

at

ic

a1

.c

om

equipotentes a un conjunto cualquiera con cinco elementos, , de la misma forma este proceso permite, dado un conjunto , por doble abstraccin de la naturaleza de sus elementos y del posible orden en que estn dados, asociar a un objeto matemtico, representado por , que se llama su nmero cardinal o potencia, que es el mismo para todos los conjuntos equipotentes a . Cuando es nito, es el nmero de elementos de ; la potencia de los conjuntos numerables (innitos) la represent Cantor por  ( es la primera letra del alfabeto hebreo, se pronuncia alef); la potencia de la recta real y de cualquier intervalo de la misma, no vaco y no reducido a un punto, se representa por y se llama la potencia del continuo.

Cantor dene una relacin de orden entre nmeros cardinales: si , son dos conjuntos, diremos que si existe una biyeccin de sobre una parte de . Si, adems, no existe ninguna biyeccin entre ninguna parte de y la totalidad de , se escribe . Con esta denicin se tiene que  . Para nmeros cardinales nitos esta relacin de orden es la usual. La demostracin de que es una relacin de orden entre nmeros cardinales est muy lejos de ser fcil. La dicultad estaba en probar la propiedad reexiva, es decir, si y tambin , entonces es . Este resultado fue probado en 1898, y se conoce como teorema de Cantor - Bernstein. Se verica, adems, que es una relacin de orden total, es decir, dados conjuntos y se verica alguna de las relaciones o . La demostracin de este resultado exige usar el llamado axioma de Zermelo.

Es fcil probar que . Suele escribirse de conjuntos nitos, es cierta. Por tanto, los conjuntos

w w

at em

Todos esto est muy bien, pero cuntos nmeros cardinales innitos hay? Hasta ahora solamente conocemos dos. Cantor ide un procedimiento por el cual, dado un conjunto , se puede construir un conjunto cuyo cardinal es estrictamente mayor. Para ello, deni el conjunto como el conjunto cuyos elementos son todos los subconjuntos de

.M

at ic

a1

.c

om

, igualdad que, para el caso

tienen todos ellos distinto nmero cardinal. Las operaciones con nmeros transnitos se denen con facilidad por medio de las correspondientes operaciones conjuntistas. Por ejemplo, el producto es, por denicin, igual a donde es el conjunto producto cartesiano de y . Anlogamente se dene la suma como el nmero cardinal de la unin disjunta de y . Estas operaciones son asociativas, conmutativas y distributivas pero, para cardinales transnitos se cumple que max Esto es, la aritmtica transnita no responde a las reglas usuales de la aritmtica nita. Pero esto no quiere decir que sea contradictoria, simplemente, es diferente. El desarrollo de la teora de conjuntos condujo a algunas contradicciones, las llamadas paradojas de la teora de conjuntos. Ello era debido al punto de vista ingenuo adoptado respecto a los conjuntos. Se pensaba que cualquier propiedad matemtica, , dena su correspondiente conjunto, a saber, el formado por los elementos para los cuales dicha propiedad es verdadera. El propio Bolzano tena esta idea. Consideremos la siguiente propiedad

y denamos el conjunto es verdadera . Entonces resulta que si es porque y si debe ser . Una contradiccin insalvable, conocida como la paradoja de Russell. La solucin fue axiomatizar la teora de conjuntos para evitar que pudieran formularse paradojas como la anterior y, adems, restringir de alguna forma la existencia de conjuntos demasiado grandes. Considero que lo dicho hasta aqu es suciente para que tengas una idea del trabajo de Cantor. Este trabajo cambi la forma de ver las matemticas y acab por ser ampliamente aceptado. La visin que Cantor tena de las matemticas puras es muy hermosa; para l, las matemticas puras son el reino de la libertad y las llamaba matemticas libres, porque son una creacin de la libertad del espritu humano cuyas nicas limitaciones son la coherencia y la no contradiccin. 5.4.3.1. La no numerabilidad del continuo

En esta seccin nal, vamos a probar la numerabilidad de y la no numerabilidad de . As mismo, estudiaremos algunos tipos de conjuntos densos y te propondr algunos ejercicios interesantes. Empezaremos demostrando un resultado que, por su aparente evidencia, parece que no precisa demostracin. Se trata de un resultado muy importante y muy til y cuya demostracin me parece instructiva.
at ic

5.7 Teorema. a) Todo conjunto de nmeros enteros no vaco y mayorado tiene mximo.
.M at e

b) Todo conjunto de nmeros enteros no vaco y minorado tiene mnimo. Demostracin. La estrategia de la demostracin es obligada; para probar que un conjunto de nmeros reales no vaco y mayorado tiene mximo, debemos probar que su supremo est en no vaco y mayorado. En virtud del principio del supremo, hay un el conjunto. Sea nmero que es el mnimo mayorante de . Puesto que , debe haber algn tal que y, claro est, . Supongamos que los elementos de son nmeros enteros, , y probemos que, en tal caso, debe ser . Si fuera tendra que haber algn tal que pero entonces el nmero es un entero positivo tal que lo cual es contradictorio. En consecuencia y es el mximo de . Anlogamente se prueba que un conjunto no vaco y minorado de enteros tiene mnimo. Del teorema anterior se deducen dos importantes consecuencias. 5.8 Teorema (Principio de buena ordenacin de ). Todo conjunto no vaco de nmeros naturales tiene mnimo. La siguiente propiedad, tambin consecuencia del teorema, nos dice que no est mayorado en . Observa que es evidente que est mayorado en . Pero tiene muchos ms elementos (muchsimos ms, como enseguida veremos) que ; quin te asegura que, en la ampliacin de a , no se han colado nmeros irracionales ms grandes que cualquier natural? De eso se trata.
w w w

a1 .c

om

5.9 Teorema (Propiedad arquimediana). Dado cualquier nmero real se verica que hay nmeros naturales mayores que l. Demostracin. Como no tiene mximo, el teorema (5.7) implica que no puede estar mayorado en , por tanto, dado , tiene que haber algn tal que . La propiedad arquimediana del orden de prohbe la existencia de cantidades innitesimales, es decir, de nmeros positivos pero tan pequeos que al multiplicarlos por cualquier nmero natural el producto segua siendo muy pequeo. Convenzmonos de que tales innitsimos, si es que los hay, no pueden ser nmeros reales. En efecto, si son nmeros reales positivos, la propiedad arquimediana del orden de nos dice que tiene haber algn tal que y, por tanto, . En consecuencia, por pequeo que sea el nmero real y por muy grande que sea el nmero real , siempre hay mltiplos naturales de mayores que . 5.10 Denicin. Se dice que un conjunto es denso en , si en todo intervalo abierto no vaco hay puntos de . Equivalentemente, si dados con hay algn tal que . 5.11 Proposicin. a) El conjunto de los nmeros racionales es denso en .
a1

Demostracin. a) Supongamos que con . La idea es tomar una unidad racional de medida, , en la recta que sea menor que , pues entonces es claro que un mltiplo apropiado, , de estar comprendido entre e . Hay muchas posibilidades, se trata de elegir y con algn criterio que nos permita probar que . Los nmeros ms sencillos que podemos tomar para son los de la forma , donde , con la condicin , esto es, . Parece razonable tomar el menor que cumpla dicha desigualdad. Sea, pues: mn Ahora se trata de tomar un mltiplo de la eleccin: mn Tenemos que:

.M at

em

at

que exceda a , pero no demasiado. Se impone


ic

.c

b) El conjunto de los nmeros irracionales es denso en .


om

Lo que concluye la demostracin. Observa que en las deniciones de resultados que acabamos de ver. b) Supongamos que

y de

se usan los

con

. Por lo ya probado, existe


lo que implica que . Puesto que, es irracional y es irracional y concluimos que es denso en .

tal que

, se sigue que

Este resultado nos dice que los nmeros racionales y los irracionales estn repartidos de manera que entre dos racionales o entre dos irracionales siempre hay innitos racionales e innitos irracionales. Son dos conjuntos muy grandes, pero uno de ellos es muchsimo ms grande que el otro. Hemos denido antes un conjunto numerable como aqul que es equipotente a ; es conveniente incluir tambin entre los conjuntos numerables a los conjuntos nitos pues los elementos de un conjunto nito se pueden contar. Estas dos posibilidades pueden resumirse en el hecho de que exista una aplicacin inyectiva del conjunto en . Por convenio, se admite que el conjunto vaco es numerable. 5.12 Denicin. Un conjunto se llama numerable si es vaco o si existe una aplicacin inyectiva de l en el conjunto de los enteros positivos. Realmente esta denicin lo que nos da es cierta libertad para probar que un conjunto es numerable; de hecho, se verica el siguiente resultado. 5.13 Proposicin. Un conjunto no vaco es numerable si, y slo si, es nito o es equipotente a . El siguiente resultado es muy til y fcil de entender. 5.14 Proposicin. Un conjunto no vaco sobreyectiva de sobre . es numerable si, y slo si, hay una aplicacin
a1 .c o at em at ic m

mn

una aplicacin sobreyectiva. Para cada elemento el Demostracin. Sea conjunto no es vaco por lo que podemos denir, haciendo uso del principio de buena ordenacin, una aplicacin por:
w .M

para todo

es inyectiva y por

Con ello se tiene que tanto que es numerable.

para todo

lo que implica que

La armacin recproca es consecuencia de la proposicin anterior. Aunque el conjunto parece mucho ms grande que ; de hecho no es as. Podemos contar con facilidad los elementos de siguiendo el camino que se sugiere (habra que prolongarlo hacia arriba y hacia la derecha) en la gura (5.17). 5.15 Proposicin.

es equipotente a .

Demostracin. 4 La aplicacin dada por para todo , es inyectiva. En consecuencia es numerable y como es innito concluimos que es equipotente a . El siguiente resultado nos dice que si hacemos la unin de una cantidad numerable de conjuntos numerables obtenemos un conjunto que sigue siendo numerable. El enunciado del teorema precisa estas ideas.
4 En

el ejercicio (173) se dene una biyeccin de

sobre

5.16 Teorema. Sea un conjunto numerable no vaco. Supongamos que para cada nemos un conjunto numerable no vaco . Se verica entonces que el conjunto es numerable.

te

9 8 7 6 5 4 3 2 1

w w

.M

at em

at ic

a1

.c

om

Figura 5.17. Contando

Demostracin. Es suciente probar que hay una aplicacin sobreyectiva de sobre . Por ser numerable hay una aplicacin sobreyectiva . Para cada , por ser numerable, hay una aplicacin sobreyectiva . Es muy fcil comprobar ahora que la aplicacin denida por para todo , es sobreyectiva. Puede que el siguiente diagrama sea ms claro y directo que la demostracin anterior. Podemos suponer que , con lo que . Como es numerable, podemos

escribir sus elementos como una sucesin:


El conjunto podemos representarlo como una matriz (ver gura (5.18)), y contar sus elementos de forma parecida a como lo hemos hecho antes con . 5.17 Teorema. El conjunto de los nmeros racionales es numerable.

Figura 5.18. Unin numerable

ic

a1

.c

Demostracin. Puesto que la aplicacin


.M at em

at

si si

om

denida por:

es una biyeccin, y para cada

el conjunto:
w

es numerable, se sigue del resultado anterior que

es numerable.

Por ser numerable innito se verica que es equipotente a , es decir, existen biyecciones de sobre . Hemos respondido en parte a nuestra pregunta inicial: hay tantos nmeros racionales como nmeros naturales. Nos falta todava dar alguna informacin del tamao de . 5.18 Teorema (Principio de los intervalos encajados). Para cada nmero natural sea un intervalo cerrado no vaco y supongamos que para todo es . Se verica entonces que: i) ii)

sup

nf

En particular, el conjunto

no es vaco.

Demostracin. i) Las hiptesis , implican que para todo . Deducimos que las aplicaciones y , son crecientes, esto es, . Ahora, dados y poniendo max , siempre que tenemos que . Hemos obtenido as que cualesquiera sean los nmeros naturales es es mayorante de . Luego todo elemento de y por tanto sup para todo . Lo cual, a su vez, nos dice que es un minorante de y por tanto concluimos que nf . ii) Es consecuencia de que equivale a que

, es decir .

equivale a que

para todo , lo que

5.19 Teorema. Dados dos nmeros reales numerable.

se verica que el intervalo

no es

Demostracin. Si fuera numerable tendra que ser equipotente a . Veamos que esto no puede ocurrir. Supongamos que es una biyeccin de sobre . En particular es sobreyectiva por lo que deber ser . Obtendremos una contradiccin probando que tiene que existir algn elemento tal que . Para ello se procede de la siguiente forma. Dividimos el intervalo cerrados de igual longitud:
m

en tres intervalos

a1 .c

Este proceso puede continuarse indenidamente pues, supuesto que , y que tenemos intervalos cerrados de longitud positiva tales que para , y para , dividimos el intervalo en tres intervalos cerrados de igual longitud y llamamos al primero de ellos que no contiene a . De esta forma para cada tenemos un intervalo cerrado no vaco vericndose que y para todo . El principio de los intervalos encajados nos dice que hay algn nmero real que est en todos los . Por tanto, cualquiera sea , por ser y , se tiene necesariamente que , esto es, pero, evidentemente, . Te recuerda algo la demostracin anterior? Quizs a la divisibilidad innita del continuo? Pues claro, lo que estamos haciendo es dividir innitas veces un segmento (el prototipo de continuo). Lo que nos dice este resultado es que, aunque lo dividamos en un innito actual de partes, siempre nos quedarn puntos que no habremos tocado. Aristteles armaba que un continuo puede dividirse en cualquier parte pero no en todas partes: hay que darle la razn en este punto. 5.20 Teorema.

y llamamos al primero de ellos (es decir el que est ms a la izquierda) que no contiene a . Dividamos ahora el intervalo en tres intervalos cerrados de igual longitud y llamemos al primero de ellos que no contiene a .
w w w

y son conjuntos no numerables.

.M

at e

om

at ic

Demostracin. Evidentemente todo subconjunto de un conjunto numerable tambin es numerable. Como acabamos de ver que hay subconjuntos de que no son numerables deducimos que no es numerable. Puesto que y sabemos que es numerable y no lo es, deducimos que no es numerable. El teorema anterior demuestra no solamente que no es vaco sino que hay muchos ms nmeros irracionales que racionales pues mientras que podemos enumerar los racionales no podemos hacer lo mismo con los irracionales ya que no hay biyecciones de sobre .

Deducimos tambin la siguiente estrategia para probar que un conjunto no es vaco es suciente probar que su complemento es numerable (!con lo cual, de hecho, estamos probando que es innito no numerable!).

5.4.4. Ejercicios propuestos

173. Prueba que la aplicacin


es una biyeccin.

dada por: para todo


at

Sugerencias: para cada

denamos:
w w

ic a1

.c om

max
w

at

em

Observa que es un nmero natural mayor o igual que . Prueba que para todo se verica:

.M

Denamos ahora:

para todo

Justica, teniendo en cuenta , que y Comprueba nalmente que, 174. Sea

, para cada

creciente. Para cada denamos: nf sup


Prueba que: i)

ii) Si

si, y slo si,

es continua en .

, entonces:

iii) Para cada

iv) El conjunto

el conjunto

es nito. es numerable.

de las discontinuidades de puede ser innito.

Muestra con un ejemplo que el conjunto

175. Prueba que el conjunto de los nmeros algebraicos es numerable.

Para terminar, recordemos que los poetas tambin se interesan por el innito y lo llaman amor y tambin deseo.
This is the monstruosity in love, lady, that the will is innite and the execution conned, that the desire is boundless and the act a slave to limit.
Shakespeare - Troilus and Cressida

.M

at

em

at ic

a1

.c o