Calculo Cap05

Captulo 5
N umeros y lmites. El innito matem atico

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
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 Mate-
mtico: 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
150
Evolucin del concepto de nmero 151
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
7
10
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
7
10
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
_
2? 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
2. 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.
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 inde-
nidamente, 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 7 : 10 pero, para los griegos, 7 : 10 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Nmeros y cantidades en la antigua Grecia 152
Figura 5.1. Euclides
En el Captulo 1 nos ocupamos del descubrimiento de las
cantidades inconmensurables, esto es, razones de segmen-
tos que no admiten una unidad de medida comn. El ha-
llazgo de lo que nosotros llamamos nmeros irraciona-
les, como
_
2, no tiene ningn signicado aritmtico para
los griegos; su signicado era geomtrico: no puedes me-
dir 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 magni-
tudes inconmensurables en los tipos siguientes (uso, claro
est, la notacin actual):
a
_
b.
_
a
_
b.
_
a
_
b.
_
_
a
_
b
Donde se entiende que a y b son racionales.
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.
E1 (Propiedad arquimediana) Dadas dos magnitudes siempre hay un mltiplo de una de ellas
que excede a la otra. Es decir, si es 0 < a < b hay algn nN tal que na > b.
E2 (Criterio de igualdad) Las proporciones a : b y c : d son iguales si cualesquiera sean los
enteros positivos m, n se tiene que
ma < nb=mc < nd. ma =nb=mc =nd. ma > nb=mc > nd (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 ecuacio-
nes algebraicas admitiendo como soluciones nmeros enteros o nmeros fraccionarios positi-
vos, 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.
Prof. Javier Prez
De la antigua Grecia a la invencin del Clculo 153
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 pala-
bras 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.
Figura 5.2. al-Jwarizmi
La herencia matemtica griega pasa a los rabes. La cul-
tura 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 es-
pecie de academia con una biblioteca y un observatorio. All
se tradujeron las obras de los matemticos y lsofos grie-
gos 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.
Figura 5.3. Fibonacci
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 contribu-
y a extender el sistema de numeracin indo-rabe en Oc-
cidente. Estudiando las soluciones de una ecuacin de ter-
cer grado, Fibonacci prob que haba nmeros irracionales
diferentes de los considerados por Euclides. En consecuen-
cia, las tcnicas del lgebra geomtrica griega no permitan
construir todas las cantidades inconmensurables.
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.
Prof. Javier Prez
En este apresurado repaso que estamos dando a la historia de los nmeros, debemos avan-
zar ahora casi trescientos aos para llegar a la siguiente etapa protagonizada por los matem-
ticos 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 solucio-
nes en algunos casos particulares. En la resolucin de la cbica, Cardano tuvo en cuenta las
Figura 5.4. Tartaglia
soluciones negativas aunque las llam cticias, y com-
prob 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 acep-
t 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 po-
dan obtenerse soluciones reales correctas para la cbica,
incluso cuando la frmula de Tartaglia Cardano requera
el clculo de races de nmeros negativos.
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, irraciona-
les, surds
1
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.
A pesar de estos avances, los conceptos de nmero y cantidad de la antigedad perma-
necen 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 mis-
mos, sino la elaboracin de reglas formales para realizar operaciones de forma simblica. Por
ejemplo, a
2
puede entenderse como una forma simplicada de escribir el rea del cuadrado
de lado a. Eso es muy distinto de escribir (a b)
2
=a
2
2ab b
2
. Esto ltimo ya es una
manipulacin simblica abstracta en la que las letras a, b 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 canti-
dades homogneas podan compararse entre s. Para entender esto debes tener en cuenta que,
desde la antigedad, el producto de dos cantidades, por ejemplo ab, representaba el rea de un
rectngulo de lados a y b. De la misma forma, abc representaba el volumen de un ortoedro.
Una expresin como ab c 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, zo;oq, 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.
Prof. Javier Prez
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 u, construy un segmento (cantidad) c que vericaba
la proporcin u:a=b:c. Dicho segmento c representaba el producto de los dos segmentos (can-
tidades) a y b. 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
ab c 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, lla-
maba 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 me-
cnica 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 desarro-
llando 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, es-
tablecieron 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
Prof. Javier Prez
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 ma-
temticas. 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 continua-
mente, y por contraste cantidades constantes aquellas que permanecen igual mien-
tras las otras cambian.
Los matemticos de los siglos XVII y XVIII usan el trmino cantidad para referirse a can-
tidades 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 abs-
tracta 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 inconmen-
surable 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 obje-
tos 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,
_
12 es un nmero que multiplicado por s mismo es igual a 12, y esto es una denicin
simblica de
_
12.
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
Prof. Javier Prez
Innitsimos y el continuo numrico 157
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 resulta-
dos. 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 re-
solver 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. Per-
cibimos 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 mo-
vimiento, 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 co-
mo 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 sen-
tido, 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 tie-
Prof. Javier Prez
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 ex-
tensiones 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 in-
nitamente 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 completa-
do 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 tan-
to, 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
Prof. Javier Prez
hacerlo. Lo peor de todo, no es que el mero concepto de innitsimo sea de por s difcilmen-
te sostenible, sino la forma en que los innitsimos se manejaban en los clculos. Podemos
destacar dos caractersticas.
v Con los innitsimos poda operarse como con cantidades nitas no nulas y, en particular,
poda dividirse por ellos.
v Los innitsimos podan ser tratados como cantidades nulas. As, si x es una cantidad
positiva y o un innitsimo, entonces x o =x.
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 desprecia-
bles 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
x e y. Se razonaba como sigue. Cuando x cambia a x dx , y cambia a y dy , por lo que
xy se transforma en
(x dx )(y dy ) =xy x dy y dx dx dy
por lo que la diferencial de xy es x dy y dx dx dy , pero como dx dy es una cantidad
innitamente pequea con respecto a los otros trminos, se sigue que la diferencial de xy es
x dy y dx .
5.2 Ejemplo. Veamos otro ejemplo tpico. Consideremos dos cantidades x, y relacionadas por
y x
3
=0. Cuando x cambia a x dx , y cambia a y dy , por lo que
0 =y dy (x dx)
3
=y dy x
3
3x
2
dx 3x( dx)
2
( dx)
3
Teniendo en cuenta que y x
3
=0, deducimos:
dy =3x
2
dx 3x( dx)
2
( dx)
3
Dividiendo por dx la igualdad obtenida resulta:
dy
dx
=3x
2
3x dx ( dx)
2
Y como 3x dx ( dx)
2
es innitamente pequeo respecto de 3x
2
, concluimos que
dy
dx
=3x
2
.
En lenguaje actual, lo que hemos hecho es calcular la derivada de la funcin (x) = x
3
.
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
Prof. Javier Prez
El triunfo de Pitgoras 160
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 can-
tidades 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, es-
taban 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 si-
guiente 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 Natura-
leza a las leyes matemticas, poda considerarse esencialmente realizado.
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.
v 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 corres-
pondencias entre variables se interpretaban en trminos geomtricos. No exista la idea
del dominio de una variable.
v 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.
v 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.
Prof. Javier Prez
v 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 n-
meros 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.
v 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 herramien-
ta para formular y descubrir las Leyes de la Naturaleza. Las teoras matemticas no se
inventan, se descubren.
v Los nmeros reales estaban asociados con magnitudes y se interpretaban geomtrica-
mente. Eran algo dado en la realidad fsica. A los matemticos del siglo XVIII no les
pareci necesario dar una denicin matemtica de los mismos.
v Observa que para precisar un nmero como
_
2 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.
En el siglo XVIII las deniciones matemticas eran descriptivas; no creaban objetos matem-
ticos 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 im-
pona 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 conse-
cuencia 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 ma-
temticas 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 ma-
temticas 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
Prof. Javier Prez
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 con-
tinuidad 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
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 Dede-
kind, 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.
Figura 5.8. Dedekind
Una recta es un ejemplo claro de continuidad. Elegido un punto
como origen y un segmento como unidad, podemos hacer corres-
ponder a cada nmero racional un punto de esa recta. Ya hemos
visto, al hablar de las magnitudes inconmensurables, que los n-
meros racionales no agotan todos los puntos de la recta; cualquier
punto que corresponda con un segmento de longitud inconmen-
surable 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 nu-
mricamente el continuo. Se pregunta Dedekind:
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 investiga-
cin 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.
Prof. Javier Prez
Cul es esa vulgar observacin? Vamos a explicarla. Todo punto en una recta R la divide en
dos partes disjuntas, la parte A, formada por los puntos de la recta que estn a su izquierda, y
la parte B, formada por los puntos de la recta que estn a su derecha. El propio punto podemos
incluirlo bien en A o en B. 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 Q 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 Q es un par (A. B), donde A y B son conjuntos no vacos
de nmeros racionales tales que Q=A L B, y todo nmero de A es menor que todo nmero
de B y A no tiene mximo.
Todo nmero racional r Qproduce una cortadura dada por
A={xQ: x < r] . B ={xQ: r >x]
Pero en la recta racional hay muchas cortaduras que no estn producidas por nmeros raciona-
les. En el ejercicio (70) hemos visto que los conjuntos
A={xQ: x 60 o x
2
< 2]. B ={xQ: x > 0 y x
2
>2]
denen una cortadura de Qque 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
A={xQ: x < ] . B ={xQ: r > ]
Denen una cortadura de Qque no est producida por ningn nmero racional. Es decir, con-
siderando Q dentro de R, vemos que cada cortadura de Q 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 cons-
truirla a partir de Q. 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 Q.
El conjunto de todos los nmeros reales se representa por R. Observa el papel que desem-
pean las deniciones en una teora matemtica: crean nuevos objetos de la teora. La deni-
cin anterior dice lo que es un nmero real en trminos exclusivamente de nmeros racionales.
Prof. Javier Prez
Vuelve ahora a leer la denicin de Eudoxo (5.1) para la igualdad de razones inconmensu-
rables. Lo que dice (5.1) es que dos razones inconmensurables son iguales si producen una
misma cortadura en Q! Salvo esto, ningn otro parecido hay entre Dedekind y Eudoxo.
Los nmeros racionales se construyen a partir del conjunto Z de los enteros, y stos se
obtienen fcilmente a partir de los naturales. Dedekind y Giuseppe Peano establecieron una
base axiomtica para el conjunto N 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.
v 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].
v 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.
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 diji-
mos 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 R.
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 determina-
do 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 construc-
tivo de R, tiene su razn ltima de ser en el problema de la existencia: puede ser construido
Prof. Javier Prez
Ejercicios propuestos 165
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-
mtico cuando considera el nmero real
_
2 piensa que
_
2 ={x Q: x < 0 o x
2
< 2]) y
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 R.
5.2.4.3. El regreso de los pequeitos
Con la reduccin del continuo a lo discreto, parece que nalmente ha triunfado la Aritmti-
ca. 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 funda-
mentales del Clculo de forma intuitiva y directa al estilo de Newton y Leibniz. Estn aqu!
Los innitsimos han regresado!
5.2.5. Ejercicios propuestos
171. Prueba que la propiedad del supremo es equivalente a la siguiente propiedad.
Propiedad del continuo. Dados subconjuntos no vacos A y B de nmeros reales cuya
unin es igual a R, y tales que todo elemento de A es menor que todo elemento de B,
se verica que existe un nmero real z R, tal que todo nmero real menor que z est
en A y todo nmero real mayor que z est en B.
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 concep-
to 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 funda-
mentarlo sobre bases lgicas rigurosas. Aislar en este proceso aquellos aspectos directamente
Prof. Javier Prez
La teora de las razones ltimas de Newton 166
relacionados con el concepto de lmite funcional, conlleva una prdida de perspectiva que, es-
pero, 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 consi-
derada 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 susti-
tuirlo 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 pre-
ludian el descubrimiento del Clculo, para encontrar las primeras referencias confusas de pro-
cesos 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 unders-
tood 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
x!a
f.x/
g.x/
=L, donde lm
x!a
(x) = lm
x!a
g(x) =0. En el primer
prrafo, Newton dice que el hecho de que la razn ltima sea dada igual a L, no quiere decir
que el cociente de las ltimas magnitudes,
f .a/
g.a/
, sea igual a L. De manera muy interesante,
Newton relaciona esto con la estructura del continuo, pues la idea que expresa es que si el valor
Prof. Javier Prez
La metafsica del Clculo en DAlembert y Lagrange 167
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 lti-
mas Newton entenda algo muy parecido a nuestra idea actual de lmite. Finalmente, Newton
propone un ejemplo excelente; consideremos, dice, dos cantidades (x) y g(x) cuya diferen-
cia est dada, (x) g(x) = = 0, y tales que lm
x!a
(x) = lm
x!a
g(x) = o, en tal caso
tendremos que su razn ltima ser de igualdad, esto es, lm
x!a
f .x/
g.x/
= 1 y est claro que para
ningn valor de x es
f.x/
g.x/
= 1 y que tampoco las magnitudes (x) y g(x) tienen un ltimo
valor.
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 con-
cepto 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 determi-
nate 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
Figura 5.9. DAlembert
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 matemti-
camente multitud de fenmenos naturales. Adems, los resultados
obtenidos eran correctos, por tanto no haba por qu preocupar-
se 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 con-
cepto de lmite: La thorie des limites est la base de la vraie
Mtaphysique du calcul diffrentiel.
Prof. Javier Prez
La metafsica del Clculo en DAlembert y Lagrange 168
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 peque-
os 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.
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:
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.
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 ma-
temticos, 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 innite-
simales como ceros exactos y, por tanto, un cociente de diferenciales lo interpretaba como
0
0
,
Prof. Javier Prez
El premio de la Academia de Berln de 1784 169
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 se-
gua 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 ex-
presado 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 va-
riables 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.
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 inni-
tamente 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 contradicto-
rios, 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.
Prof. Javier Prez
El premio de la Academia de Berln de 1784 170
La novedad aqu est en los conceptos de lmite por exceso y lmite por defecto. Al intro-
ducir 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 Com-
pendio 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 Univer-
sidad 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 varia-
bles y que dichas variables suelen interpretarse como cantidades geomtricas (reas, longitudes
de arco, medidas de ngulos, etc.). Adems, una cantidad constante es interpretada general-
mente 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 signi-
cado 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
Prof. Javier Prez
Cauchy y su Cours DAnalyse de 1821 171
y cociente. He aqu una muestra:
Una potencia a
x
, donde a < 1 es una constante y x 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 ope-
rativa para permutar lmites. Por ejemplo, si b =Lim. x y a es constante, Lim. (a
x
) =a
b
.
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 Fx de una variable x 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 a = Lim. x, se sigue que
Lim. Fx =Fa.
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 des-
velar 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 opera-
tivas, 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.
Figura 5.10. Cauchy
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 arit-
mtica: 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 con-
cepto 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
interpretaciones muy distintas de la obra de Cauchy. En parti-
cular, 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 con-
vincente. 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
Prof. Javier Prez
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 di-
ferentes 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 o, cuando se trata de una variable positiva, y el
innito negativo, indicado por la notacin o, cuando se trata de una variable negativa.
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.
Teorema I (Cauchy - Cours dAnalyse, p.54). Si para valores crecientes de x, la diferencia
(x 1) (x)
converge hacia un cierto lmite k, la fraccin
(x)
x
converger al mismo tiempo hacia el mismo lmite.
Demostracin. Supongamos para empezar que la cantidad k tenga un valor nito, y designemos por
c un nmero tan pequeo como se quiera. Puesto que los valores crecientes de x hacen converger la
diferencia
(x 1) (x)
hacia el lmite k, se podr dar al nmero h un valor sucientemente grande para que, siendo x igual o
mayor que h, la diferencia correspondiente est constantemente comprendida entre los lmites
k c. k c.
(Este comienzo es impecable y nosotros lo haramos exactamente igual. Con nuestras notaciones actua-
les, la hiptesis es que
lm
x!C1
_
(x 1) (x)
_
=k.
Por tanto, dado c > 0, existe h > 0 tal que para todo x >h se verica que [ (x 1) (x) k[ < c.
Eso es exactamente lo que escribe Cauchy.)
Prof. Javier Prez
Supuesto esto, si se designa por n un nmero entero cualquiera, cada una de las cantidades
(h 1) (h)
(h 2) (h 1)
. . . . . . . . . . . . . . . . . . . . . . . .
(h n) (h n 1)
y, en consecuencia, su media aritmtica, a saber
(h n) (h)
n
se encontrar comprendida entre los lmites k c, k c. Se tendr pues
(h n) (h)
n
=k
siendo una cantidad comprendida entre los lmites c, c. Sea ahora
h n =x
La ecuacin precedente se convertir en
(x) (h)
x h
=k . (5.2)
y se concluir
(x) = (h) (x h)(k )
(x)
x
=
(h)
x
_
1
h
x
_
(k ) (5.3)
(Hasta aqu, nada que objetar. Todo es correcto.)
Adems, para hacer crecer indenidamente el valor de x, ser suciente hacer crecer indenida-
mente el nmero entero n sin cambiar el valor de h. Supongamos, en consecuencia, que en la ecuacin
(5.3) se considera h como una cantidad constante, y x como una cantidad variable que converge hacia
el lmite o. Las cantidades
(h)
x
.
h
x
.
encerradas en el segundo miembro, convergern hacia el lmite cero, y el propio segundo miembro hacia
un lmite de la forma
k .
estando siempre comprendida entre c y c. Por consiguiente, la razn
(x)
x
tendr por lmite una cantidad comprendida entre k c y k c. Debiendo subsistir esta conclusin,
cualquiera que sea la pequeez del nmero c, resulta que el lmite en cuestin ser precisamente igual a
la cantidad k. En otras palabras, se tendr
lm
(x)
x
=k =lm (x 1) (x)|. (5.4)
(Seguidamente, Cauchy pasa a considerar los casos en que k =oy k =o.)
Prof. Javier Prez
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 con-
ceptos 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
funcin log x ,se tiene que lm
x!C1
_
log(x 1) log(x)
_
=0 y, por tanto, lm
x!C1
log x
x
=0 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 (x) una funcin de la variable x, y supongamos que, para cada valor de x comprendido entre
ciertos lmites dados, esta funcin admite constantemente un valor nico y nito. Si, partiendo de un
valor de x comprendido entre estos lmites, se atribuye a la variable x un incremento innitamente
pequeo , la funcin misma recibir por incremento la diferencia
(x ) (x)
que depender a la vez de la nueva variable y del valor de x. Dicho esto, la funcin (x) ser,
entre los dos lmites asignados a la variable x, funcin continua de esta variable, si, para cada valor
de x intermedio entre estos lmites, el valor numrico (valor absoluto) de la diferencia
(x ) (x)
decrece indenidamente con el de . En otras palabras, la funcin (x) permanecer continua con
respecto a x 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 (x) es, en un entorno de un valor particular atribuido a la variable x,
funcin continua de esta variable, siempre que ella sea continua entre dos lmites de x, 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 x, se dice entonces que ella se hace discontinua y
que para este valor particular de x hay una solucin de continuidad.
Cauchy da realmente dos deniciones; primero dene lo que nosotros llamaramos continui-
dad en un intervalo y, despus, la continuidad puntual. La primera denicin ha sido interpre-
tada 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.
Prof. Javier Prez
El innovador trabajo de Bolzano 175
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 in-
uencia 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
Figura 5.11. Bolzano
Es obligado citar a Bernhard Bolzano (1781 - 1848), mate-
mtico, 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 vo-
lmenes, 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 pro-
duccin matemtica estaba en Pars, la obra matemtica de Bol-
zano fue poco conocida y no tuvo la inuencia que mereca por su
rigor y profundidad.
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 mencio-
nadas 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 x
que sea positiva para algn valor de x, y negativa para otro, debe ser cero para algn valor intermedio
de x. 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 con-
ceptos fueran introducidos solamente por motivos de claridad, no tendramos nada en contra de ello.
Prof. Javier Prez
Weierstrass nos dio los c 176
[. . . ] 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 (x) vara segn la ley de continuidad para todos los valores de x dentro o fuera de
ciertos lmites, signica exactamente que: si x es algn tal valor, la diferencia (x o) (x)
puede ser hecha ms pequea que cualquier cantidad dada, supuesto que o puede ser tomado tan
pequeo como queramos.
Seguidamente, Bolzano establece un teorema previo cuyo asombroso enunciado es como sigue:
Si una propiedad M no pertenece a todos los valores de una variable x, pero s pertenecen todos los
valores que son menores que un cierto u, entonces existe siempre una cantidad U que es la mayor
de aquellas de las cuales puede armarse que toda ms pequea x tiene la propiedad M.
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!
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 c
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 dis-
minuir indenidamente hasta converger al lmite cero, o ideas de
movimiento como variable que se acerca a un lmite por no ha-
blar 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 geom-
tricamente y no se haban establecido sus propiedades de forma
explcita. El cero y los nmeros negativos eran vistos an por mu-
chos 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
Prof. Javier Prez
Weierstrass nos dio los c 177
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 cuestio-
nes 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 ma-
temtica. 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 funda-
mentado 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, desa-
rroll 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 L es el lmite de una funcin (x) para x =x
0
si, dado cualquier c, existe un
0
tal que
para 0 < <
0
, la diferencia (x
0
) L es menor en valor absoluto que c.
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 distin-
tos 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. Cu-
riosamente, la letra griega c, que usaba Cauchy con un signicado de error, se ha convertido
en el paradigma de la precisin en nuestras actuales deniciones heredadas de Weierstrass.
Prof. Javier Prez
La echita en la notacin para lmites, lm
x!x
0
(x), fue introducida por G.H. Hardy (1877 -
1947) en su notable libro A Course of Pure Mathematics (1908).
172. Considera la funcin : R
C
R dada por
(x) =
1
1 x E(x)
Donde, como de costumbre, E(x) es la parte entera de x. Estudia los lmites en ode
las funciones (x 1) (x) y
(x)
x
.
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. . . .
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
Prof. Javier Prez
La idea de innito en la losofa y la matemtica Griegas 179
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, indi-
visible 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 criti-
cada 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 consecuen-
cias 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 innita-
mente divisibles y el movimiento continuo y uniforme.
La dicotoma.
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 suce-
sivamente, 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 movi-
miento 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.
Prof. Javier Prez
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. Acep-
temos 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
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 pa-
ra 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.
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 n-
mero y de diversas formas y tamaos, perfectamente slidos, indestructibles y permanentes.
Las substancias materiales son producidas por la unin y separacin de esos tomos movin-
dose 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 ad-
miten 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 siste-
mtico 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 conti-
nuas. 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 prose-
guirse 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
Prof. Javier Prez
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 subs-
tancia 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; es-
pecialmente, 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.
Prof. Javier Prez
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 con-
tinua 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 mto-
do 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 10
8
) que le permite
describir un nmero que, en base diez, tendra unos 80000 millones de millones de cifras. Pero
tambin Arqumedes ide mtodos heursticos
2
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
2
Por 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
Prof. Javier Prez
C
1
C
2 O
P
Q
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 r gira sin deslizar sobre su tangente horizontal, al completar un ciclo habr
avanzado una distancia igual a 2r. Consideremos dos crculos C
1
y C
2
, de radios r
1
y r
2
,
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 C
1
gira sin deslizar un ciclo completo, en cuyo caso tambin C
2
gira un ciclo
completo. El camino recorrido por C
1
es igual a 2r
1
que es la longitud de su circunferencia;
y el camino recorrido por C
2
tambin es 2r
1
, aunque la longitud de su circunferencia es
2r
2
< 2r
1
. Aristteles vio en esto algo paradjico.
Desde un punto de vista cinemtico no hay dicultad en explicar lo que sucede. Al girar C
1
,
con velocidad angular o, hace girar igualmente a C
2
con igual velocidad angular. Pero tambin
C
1
, al avanzar, comunica a C
2
un movimiento de traslacin de magnitud or
1
. El movimiento
de cada punto de la circunferencia de C
2
es por tanto la resultante de un movimiento circular
simple de velocidad angular o y de un movimiento de traslacin horizontal de magnitud or
1
.
Es la magnitud mayor, or
1
> or
2
, de esta componente de traslacin la que hace posible que el
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 continua-
mente, por lo que el punto de tangencia de la circunferencia de cada uno de ellos con la tangen-
te 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?
Prof. Javier Prez
El innito desde la Edad Media hasta el siglo XIX 184
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:
v El problema del movimiento y la idea de continuidad.
v La estructura del continuo y la divisibilidad innita.
v 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
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 teo-
lgica.
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:
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 lo-
sofa 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 Gen-
tiles, 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 dimostra-
zioni matematiche intorno a due nuove science attenenti alla meccanica e i movimenti locali
(1638), Galileo expone sus ideas sobre el innito.
Prof. Javier Prez
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 circun-
ferencia 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. . .
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.
Galileo se pregunta, en la citada obra, por la constitucin bsica de la materia y si la cohe-
sin de los slidos puede explicarse por la existencia de diminutos vacos entre partculas ma-
teriales 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 concn-
tricos rgidamente unidos. Primero considera exgonos.
O
A B
C
D E
F
c
d
e
f
a
F
F
c
0
D
0
b
0
C
0
A
0
B
0
C
0
D
0
E
0
F
0
f
0
a
0
Figura 5.14. Exgonos de Galileo
Sometemos el exgono mayor a un giro de 60 grados con centro en el vrtice B. Este
giro lleva el vrtice C al punto del mismo nombre, c, sobre la lnea de base, y el centro O lo
3
Traduzco 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
Prof. Javier Prez
lleva a donde estaba el vrtice C. Este giro lleva el lado B
0
C
0
del exgono menor al segmento
del mismo nombre b
0
C
0
de la lnea de base de dicho exgono, y al hacerlo deja en medio un
segmento B
0
b
0
. Este proceso se repite con sucesivos giros de 60 grados con centros respectivos
en los puntos c. d. e. 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 (B
0
b
0
, C
0
c
0
. . . ).
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.
O
A
B C
D
U V
P
Q
Figura 5.15. Paradoja circunferencia-punto
Cada plano paralelo a la base del cuenco determina en su interseccin con el cono un crcu-
lo, 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
Prof. Javier Prez
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
tantos puntos como los que forman la poligonal CDAB. Pues cada semirrecta con origen en
O corta a la semicircunferencia en un nico punto Q y a la poligonal en otro nico punto P.
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 AB, la semicircunferencia tiene longitud , menor que la longitud
de la poligonal CDAB que es igual a 4. 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.
Otra paradoja considerada por Galileo, es la que se deduce de la observacin de que para cada
nmero natural n podemos construir un cuadrado de lado n, cuya rea es igual a n
2
, 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:
[. . . ] 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,
o, 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.
Prof. Javier Prez
El innito matemtico y el nacimiento de la teora de conjuntos 188
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.
La consideracin del innito actual como objeto matemtico exige disponer de objetos mate-
mticos que puedan ser llamados innitos. Que los nmeros naturales son potencialmente
innitos quiere decir que son una sucesin a la que podemos agregar trminos indenidamen-
te, 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.
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 sola-
mente puede ser parte de la misma. Debemos observar que esta denicin no es la tradicional
Prof. Javier Prez
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 con-
junto innito. Su idea es partir de una proposicin que se sabe verdadera a la que podemos
llamar A; a partir de ella podemos formar otra A es verdadera que, claramente, es diferente
de la proposicin A 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.
Tan pronto como disponemos de un concepto, A, el cual representa los objetos a. b. c. d. . . . y no
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 A, en la manera expresada por las palabras el agregado de todo A. Esta simple observa-
cin, 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 P(x), relativa a los
elementos de un conjunto X, podemos formar el conjunto Y ={xX : P(x) es verdadera].
Bolzano se propone establecer un criterio de comparacin para conjuntos innitos. La pa-
radoja 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 0 y 5 (o menores que 5) es claramente innito, al igual
que lo es el conjunto de todas las cantidades menores que 12. 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 x representa una cantidad arbitraria entre 0 y 5, y
si jamos la razn entre x e y por la ecuacin 5y =12x, entonces y es una cantidad entre 0 y 12; y
recprocamente, siempre que y est entre 0 y 12, x est entre 0 y 5.
Es decir, Bolzano arma que la aplicacin dada por y =
12
5
x para x 0. 5| establece una
biyeccin entre dicho intervalo y el intervalo 0. 12|. 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.
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 S se llama innito cuando es semejante a una parte propia de s mismo; en caso contrario,
se dice que S es un sistema nito.
En trminos actuales: un conjunto S es innito, si hay un subconjunto propio, A S, y
una biyeccin de A sobre S. En una nota a pie de pgina, Dedekind, arma haber comunicado
Prof. Javier Prez
Figura 5.16. Cantor
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 ma-
temticos como Weierstrass, Dedekind o Hilbert estuvieron de su
parte.
El inters de Cantor por los conjuntos innitos de puntos y la na-
turaleza 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 publi-
cado su teora de las cortaduras.
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.
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 positi-
vos, 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.
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 x
es algebraico si hay nmeros enteros c
k
Z, (k =01. 2. . . . n) tal que x satisface la ecuacin
polinmica
c
0
c
1
x c
2
x
2
c
n
x
n
=0
Los nmeros que no son algebraicos se llaman trascendentes.
Todo nmero racional es evidentemente algebraico, pero tambin lo son las races de cual-
quier orden de nmeros racionales positivos y muchos ms. Intuitivamente, los nmeros alge-
braicos 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 ente-
ros. 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 introdu-
cidos por Cantor aos ms tarde.
5.6 Denicin. Se dice que dos conjuntos A y B son equipotentes si existe una aplicacin bi-
yectiva de uno de ellos sobre el otro. Los conjuntos equipotentes al conjunto N de los nmeros
naturales se llaman conjuntos numerables.
Prof. Javier Prez
Los conjuntos numerables son aquellos conjuntos cuyos elementos se pueden contar aun-
que sean innitos! El resultado, citado por Cantor, de que Qes numerable, no deja de ser muy
sorprendente y contrario a la intuicin, pues si r < s 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 R, hay innitos
nmeros trascendentes. Cantor public estos resultados, el suyo y el de Dedekind, en un tra-
bajo 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 princi-
pal: la no numerabilidad de R. Adems la propia presentacin del trabajo elude destacar estos
resultados. Posiblemente, Cantor tema la reaccin que pudiera provocar un trabajo tan radical-
mente innovador. Porque lo que l haca era probar que en cualquier intervalo a. b| R con
a < b hay, en un sentido matemtico preciso, ms nmeros que todos los nmeros algebraicos
juntos, de donde se deduca que en a. b| 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 trascen-
dencia 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: N y R, cla-
ramente N tena un tamao ms pequeo que R. 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 R, y, ms general, que los espacios R
n
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 mis-
mo proceso que podemos abstraer la idea de nmero 5 como la clase de todos los conjuntos
Prof. Javier Prez
equipotentes a un conjunto cualquiera con cinco elementos, a. b. c. d. e, de la misma forma este
proceso permite, dado un conjunto M, por doble abstraccin de la naturaleza de sus elementos
y del posible orden en que estn dados, asociar a M un objeto matemtico, representado por
jM, que se llama su nmero cardinal o potencia, que es el mismo para todos los conjuntos
equipotentes a M. Cuando M es nito, jM es el nmero de elementos de M; la potencia
de los conjuntos numerables (innitos) la represent Cantor por
0
( 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 c y se llama la potencia del
continuo.
Cantor dene una relacin de orden entre nmeros cardinales: si M, N son dos conjuntos,
diremos que jM 4 jN si existe una biyeccin de M sobre una parte de N. Si, adems, no
existe ninguna biyeccin entre ninguna parte de M y la totalidad de N, se escribe jM - jN.
Con esta denicin se tiene que
0
- c. Para nmeros cardinales nitos esta relacin de
orden es la usual. La demostracin de que 4 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
jM 4 jN y tambin jN 4 jM, entonces es jM =jN. Este resultado fue probado en 1898,
y se conoce como teorema de Cantor - Bernstein. Se verica, adems, que 4es una relacin de
orden total, es decir, dados conjuntos M y N se verica alguna de las relaciones jM 4 jN o
jN 4 jM. La demostracin de este resultado exige usar el llamado axioma de Zermelo.
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 M, se
puede construir un conjunto cuyo cardinal es estrictamente mayor. Para ello, deni el conjunto
P(M) como el conjunto cuyos elementos son todos los subconjuntos de M
P(M) ={A: A M]
Es fcil probar que jM - jP(M). Suele escribirse jP(M) =2
]M
, igualdad que, para el caso
de conjuntos nitos, es cierta.
Por tanto, los conjuntos
P(M). P
_
P(M)
_
. P
_
P
_
P(M)
__
. . .
tienen todos ellos distinto nmero cardinal.
Las operaciones con nmeros transnitos se denen con facilidad por medio de las co-
rrespondientes operaciones conjuntistas. Por ejemplo, el producto jM jN es, por denicin,
igual a j(M N) donde M N es el conjunto producto cartesiano de M y N. Anlogamente
se dene la suma jM jN como el nmero cardinal de la unin disjunta de M y N. Estas
operaciones son asociativas, conmutativas y distributivas pero, para cardinales transnitos se
cumple que
jM jN =jM jN =m ax {jM. jN]
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 pa-
radojas de la teora de conjuntos. Ello era debido al punto de vista ingenuo adoptado respecto
a los conjuntos. Se pensaba que cualquier propiedad matemtica, P(x), dena su correspon-
diente conjunto, a saber, el formado por los elementos para los cuales dicha propiedad es ver-
dadera. El propio Bolzano tena esta idea. Consideremos la siguiente propiedad P(x) = xx
Prof. Javier Prez
y denamos el conjunto A={x : P(x) es verdadera]. Entonces resulta que si AA es porque
AA y si AA debe ser AA. 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 Q y la no numerabilidad de R.
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.
5.7 Teorema. a) Todo conjunto de nmeros enteros no vaco y mayorado tiene mximo.
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
el conjunto. Sea E R no vaco y mayorado. En virtud del principio del supremo, hay un
nmero R que es el mnimo mayorante de E. Puesto que 1 < , debe haber algn
z E tal que 1 < z y, claro est, z 6. Supongamos que los elementos de E son nmeros
enteros, E Z, y probemos que, en tal caso, debe ser z =. Si fuera z < tendra que haber
algn nE tal que z < n 6 pero entonces el nmero n z es un entero positivo tal que
n z < 1 lo cual es contradictorio. En consecuencia z =E y es el mximo de E.
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 N). Todo conjunto no vaco de nmeros natu-
rales tiene mnimo.
La siguiente propiedad, tambin consecuencia del teorema, nos dice que N no est ma-
yorado en R. Observa que es evidente que N est mayorado en Q. Pero R tiene muchos ms
elementos (muchsimos ms, como enseguida veremos) que Q; quin te asegura que, en la am-
pliacin de Q a R, no se han colado nmeros irracionales ms grandes que cualquier natural?
De eso se trata.
Prof. Javier Prez
5.9 Teorema (Propiedad arquimediana). Dado cualquier nmero real se verica que hay n-
meros naturales mayores que l.
Demostracin. Como N no tiene mximo, el teorema (5.7) implica que N no puede estar
mayorado en R, por tanto, dado xR, tiene que haber algn nN tal que n > x .
La propiedad arquimediana del orden de R prohbe la existencia de cantidades innitesi-
males, 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 in-
nitsimos, si es que los hay, no pueden ser nmeros reales. En efecto, si x. y son nmeros
reales positivos, la propiedad arquimediana del orden de Rnos dice que tiene haber algn nN
tal que n > y,x y, por tanto, nx > y. En consecuencia, por pequeo que sea el nmero real
x >0 y por muy grande que sea el nmero real y >0, siempre hay mltiplos naturales de x
mayores que y.
5.10 Denicin. Se dice que un conjunto E R es denso en R, si en todo intervalo abierto
no vaco hay puntos de E. Equivalentemente, si dados x. y R con x < y hay algn z E tal
que x < z < y.
5.11 Proposicin. a) El conjunto de los nmeros racionales es denso en R.
b) El conjunto de los nmeros irracionales es denso en R.
Demostracin. a) Supongamos que x. yR con x < y. La idea es tomar una unidad racional
de medida, u, en la recta que sea menor que y x, pues entonces es claro que un mltiplo
apropiado, mu, de u estar comprendido entre x e y. Hay muchas posibilidades, se trata de
elegir u y m con algn criterio que nos permita probar que x < mu < y. Los nmeros ms
sencillos que podemos tomar para u son los de la forma 1,n, donde n N, con la condicin
1,n < y x, esto es, n > 1,(y x). Parece razonable tomar el menor n que cumpla dicha
desigualdad. Sea, pues:
q =mn {nN : n > 1,(y x)]
Ahora se trata de tomar un mltiplo de u=1,q que exceda a x, pero no demasiado. Se impone
la eleccin:
p =mn {mZ : m > qx]
Tenemos que:
x <
p
q
=
p 1
q
1
q
< x (y x) =y
Lo que concluye la demostracin. Observa que en las deniciones de q y de p se usan los
resultados que acabamos de ver.
b) Supongamos que x. yR con x < y. Por lo ya probado, existe r Q tal que
x
_
2 < r < y
_
2.
lo que implica que x < r
_
2 < y. Puesto que,
_
2 es irracional y r Q, se sigue que
r
_
2 es irracional y concluimos que R\Qes denso en R.
Prof. Javier Prez
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 N; es conve-
niente 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 N. 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
N.
El siguiente resultado es muy til y fcil de entender.
5.14 Proposicin. Un conjunto no vaco A es numerable si, y slo si, hay una aplicacin
sobreyectiva de N sobre A.
Demostracin. Sea : N A una aplicacin sobreyectiva. Para cada elemento a A el
conjunto {nN: (n) =a] no es vaco por lo que podemos denir, haciendo uso del principio
de buena ordenacin, una aplicacin g : A N por:
g(a) =mn{nN : (n) =a] para todo aA
Con ello se tiene que (g(a)) = a para todo a A lo que implica que g es inyectiva y por
tanto que A es numerable.
La armacin recproca es consecuencia de la proposicin anterior.
Aunque el conjunto N N parece mucho ms grande que N; de hecho no es as. Podemos
contar con facilidad los elementos de N N siguiendo el camino que se sugiere (habra que
prolongarlo hacia arriba y hacia la derecha) en la gura (5.17).
5.15 Proposicin. N N es equipotente a N.
Demostracin.
4
La aplicacin :NNN dada por (p. q) =2
p
3
q
para todo (p. q)
N N, es inyectiva. En consecuencia N N es numerable y como es innito concluimos que
es equipotente a N.
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 N N sobre N
Prof. Javier Prez
5.16 Teorema. Sea B un conjunto numerable no vaco. Supongamos que para cada xB te-
nemos un conjunto numerable no vaco A
x
. Se verica entonces que el conjunto A=
_
x2B
A
x
es numerable.
1
2
3
4
5
6
7
8
9
1 2 3 4 5 6 7 8 9
.1; 1/
.2; 1/
.3; 1/
.4; 1/
.5; 1/
.6; 1/
.7; 1/
.8; 1/
.9; 1/
.1; 2/
.2; 2/
.3; 2/
.4; 2/
.5; 2/
.6; 2/
.7; 2/
.8; 2/
.9; 2/
.1; 3/
.2; 3/
.3; 3/
.4; 3/
.5; 3/
.6; 3/
.7; 3/
.8; 3/
.9; 3/
.1; 4/
.2; 4/
.3; 4/
.4; 4/
.5; 4/
.6; 4/
.7; 4/
.8; 4/
.9; 4/
.1; 5/
.2; 5/
.3; 5/
.4; 5/
.5; 5/
.6; 5/
.7; 5/
.8; 5/
.9; 5/
.1; 6/
.2; 6/
.3; 6/
.4; 6/
.5; 6/
.6; 6/
.7; 6/
.8; 6/
.9; 6/
.1; 7/
.2; 7/
.3; 7/
.4; 7/
.5; 7/
.6; 7/
.7; 7/
.8; 7/
.9; 7/
.1; 8/
.2; 8/
.3; 8/
.4; 8/
.5; 8/
.6; 8/
.7; 8/
.8; 8/
.9; 8/
.1; 9/
.2; 9/
.3; 9/
.4; 9/
.5; 9/
.6; 9/
.7; 9/
.8; 9/
.9; 9/
Figura 5.17. Contando N N
Demostracin. Es suciente probar que hay una aplicacin sobreyectiva de N N sobre A.
Por ser B numerable hay una aplicacin sobreyectiva : N B. Para cada x B, por ser
A
x
numerable, hay una aplicacin sobreyectiva F
x
: N A
x
. Es muy fcil comprobar ahora
que la aplicacin G: NN A denida por G(m. n) =F
.m/
(n) para todo (m. n)NN,
es sobreyectiva.
Puede que el siguiente diagrama sea ms claro y directo que la demostracin anterior.
Podemos suponer que B = N, con lo que A=
_
n2N
A
n
. Como A
n
es numerable, podemos
escribir sus elementos como una sucesin:
A
n
={a
mn
: mN] ={a
1n
. a
2n
. a
3n
. . . . . a
mn
. . . .]
El conjunto Apodemos representarlo como una matriz (ver gura (5.18)), y contar sus elemen-
tos de forma parecida a como lo hemos hecho antes con N N.
5.17 Teorema. El conjunto de los nmeros racionales es numerable.
Prof. Javier Prez
a
11
a
21
a
31
a
41
a
51
a
61
a
71
a
81
a
91
a
12
a
22
a
32
a
42
a
52
a
62
a
72
a
82
a
92
a
13
a
23
a
33
a
43
a
53
a
63
a
73
a
83
a
93
a
14
a
24
a
34
a
44
a
54
a
64
a
74
a
84
a
94
a
15
a
25
a
35
a
45
a
55
a
65
a
75
a
85
a
95
a
16
a
26
a
36
a
46
a
56
a
66
a
76
a
86
a
96
a
17
a
27
a
37
a
47
a
57
a
67
a
77
a
87
a
97
a
18
a
28
a
38
a
48
a
58
a
68
a
78
a
88
a
98
a
19
a
29
a
39
a
49
a
59
a
69
a
79
a
89
a
99
Figura 5.18. Unin numerable
Demostracin. Puesto que la aplicacin : Z N denida por:
(n) =
_
2n si n > 0
1 2n si n 60
es una biyeccin, y para cada m Z el conjunto:
A
m
=
_
m
p
: p N
_
es numerable, se sigue del resultado anterior que Q=
_
m2Z
A
m
es numerable.
Por ser Qnumerable innito se verica que Qes equipotente a N, es decir, existen biyec-
ciones de N sobre Q. Hemos respondido en parte a nuestra pregunta inicial: hay tantos nmeros
racionales como nmeros naturales. Nos falta todava dar alguna informacin del tamao de
R\Q.
5.18 Teorema (Principio de los intervalos encajados). Para cada nmero natural n sea I
n
=
a
n
. b
n
| un intervalo cerrado no vaco y supongamos que para todo n N es I
nC1
I
n
. Se
verica entonces que:
i) =sup{a
n
: n N] 6 =nf{b
n
: n N].
ii)
_
n2N
I
n
=. |.
En particular, el conjunto
_
n2N
I
n
no es vaco.
Prof. Javier Prez
Demostracin. i) Las hiptesis =I
nC1
I
n
, implican que a
n
6 a
nC1
6 b
nC1
6 b
n
para
todo n N. Deducimos que las aplicaciones n a
n
y n b
n
, son crecientes, esto es,
a
n
6 a
m
. b
m
6 b
n
siempre que n < m. Ahora, dados p. q N y poniendo k =m ax{p. q],
tenemos que a
p
6a
k
6b
k
6b
q
. Hemos obtenido as que cualesquiera sean los nmeros naturales
p. q es a
p
6b
q
. Luego todo elemento de B={b
n
: n N] es mayorante de A={a
n
: n N]
y por tanto =sup A6b
n
para todo n N. Lo cual, a su vez, nos dice que es un minorante
de B y por tanto concluimos que 6 =nf B.
ii) Es consecuencia de que x
_
n2N
I
n
equivale a que a
n
6x 6b
n
para todo n N, lo que
equivale a que 6x 6, es decir x . |.
5.19 Teorema. Dados dos nmeros reales a < b se verica que el intervalo a. b| no es
numerable.
Demostracin. Si a. b| fuera numerable tendra que ser equipotente a N. Veamos que esto no
puede ocurrir. Supongamos que :N a. b| es una biyeccin de N sobre a. b|. En particular
es sobreyectiva por lo que deber ser a. b| ={(n):n N]. Obtendremos una contradiccin
probando que tiene que existir algn elemento z a. b| tal que z , {(n) : n N].
Para ello se procede de la siguiente forma. Dividimos el intervalo a. b| en tres intervalos
cerrados de igual longitud:
_
a. a
b a
3
_
.
_
a
b a
3
. b
b a
3
_
.
_
b
b a
3
. b
_
y llamamos I
1
al primero de ellos (es decir el que est ms a la izquierda) que no contiene a
(1). Dividamos ahora el intervalo I
1
en tres intervalos cerrados de igual longitud y llamemos
I
2
al primero de ellos que no contiene a (2).
Este proceso puede continuarse indenidamente pues, supuesto que n N. n > 2, y
que tenemos intervalos cerrados de longitud positiva I
k
. 1 6 k 6 n. tales que I
kC1
I
k
para 1 6k 6n 1, y (k) , I
k
para 1 6 k 6 n, dividimos el intervalo I
n
en tres intervalos
cerrados de igual longitud y llamamos I
nC1
al primero de ellos que no contiene a (n 1).
De esta forma para cada n N tenemos un intervalo cerrado I
n
no vaco vericndose que
I
nC1
I
n
y (n) , I
n
para todo n N. El principio de los intervalos encajados nos dice que
hay algn nmero real z que est en todos los I
n
. Por tanto, cualquiera sea n N, por ser
z I
n
y (n) , I
n
, se tiene necesariamente que z =(n), esto es, z , {(n) : n N] pero,
evidentemente, z a. b|.
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. R y R\Q son conjuntos no numerables.
Prof. Javier Prez
Demostracin. Evidentemente todo subconjunto de un conjunto numerable tambin es nume-
rable. Como acabamos de ver que hay subconjuntos de R que no son numerables deducimos
que R no es numerable. Puesto que R=QL (R\Q) y sabemos que Qes numerable y R no
lo es, deducimos que R\Qno es numerable.
El teorema anterior demuestra no solamente que R\Q 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 N sobre R\Q.
Deducimos tambin la siguiente estrategia para probar que un conjunto AR no es vaco
es suciente probar que su complemento R\A es numerable (!con lo cual, de hecho, estamos
probando que A es innito no numerable!).
173. Prueba que la aplicacin F : N N N dada por:
(m. n) =n
(mn 2)(mn 1)
2
para todo (m. n) N N
es una biyeccin.
Sugerencias: para cada p N denamos:
(p) =m ax
_
q N : q <
_
2p
1
4
1
2
_
Observa que (p) es un nmero natural mayor o igual que 2. Prueba que para todo
p N se verica:
((p) 2)((p) 1)
2
< p 6
((p) 1)(p)
2
(+)
Denamos ahora:
h(p) =p
((p) 2)((p) 1)
4
. para todo p N
Justica, teniendo en cuenta (+), que h(p) N y (p) h(p) >1.
Comprueba nalmente que, p =F((p) h(p). h(p)), para cada p N.
174. Sea : a. b| R creciente. Para cada |a. b denamos:
o(. ) =nf{ (t ) : < t 6b] sup{ (s) : a 6s < ]
Prueba que:
i) o(. ) >0 y o(. ) =0 si, y slo si, es continua en .
ii) Si a <
1
<
2
< <
p
< b, entonces:
o(.
1
) o(.
2
) o(.
p
) 6 (b) (a)
Prof. Javier Prez
iii) Para cada n N el conjunto S
n
={ |a. b : o(. ) >1,n] es nito.
iv) El conjunto S={ |a. b : o(. ) > 0] de las discontinuidades de es numerable.
Muestra con un ejemplo que el conjunto S puede ser innito.
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
Prof. Javier Prez

Calculo Cap05

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Cap05

Cargado por

Copyright:

Formatos disponibles

Captulo 5

N umeros y lmites. El innito matem atico

También podría gustarte