Infinitografa de Alfredo R. Palacios.

Captulo 3 del libro: A. R. Palacios, P. L. Barcia, J. E. Clemente, J. E. Bolzn, E. A. Imbert. La

Matemtica del Laberinto: hacia la integracin del saber. Magisterio del Ro de la Plata:
Argentina




1. Un Machado de infinito

Palacio, buen amigo,
est la primavera
vistiendo ya las ramas de los
chopos
del ro y los caminos?....
Antonio Machado

La infinitud y el infinito han tenido siempre una fascinacin singular para el pensamiento
humano. Disfrazado de tiempo, yaciendo entre los puntos de una recta, asistiendo a las clases
numricas, tentndonos sobre los granos de arena de una playa o de todas las playas del mundo,
el infinito ser en algn momento intento de nuestra finitud.
Invadir nuestra mente en un instante de nuestra vida y all trataremos de comprender lo que
nunca hemos experimentado. Probablemente intentemos conformar nuestra razn con palabras
Sospecho que la palabra infinito fue alguna vez
una inspida equivalencia de inacabado; ahora es
una de las perfecciones de Dios en la teologa y un
discutidero en la metafsica y un nfasis
popularizado en las letras y una finsima
concepcin renovada en las matemticas Russell
explica la adicin y multiplicacin y potenciacin
de nmeros cardinales infinitos y el porqu de sus
dinastas casi terribles- y una verdadera intuicin
al mirar al cielo"
Jorge Luis Borges
El lenguaje de Buenos Aires,
Buenos Aires Argentina
Emece,1963



y entonces daremos nombres a nuestra duda: lo que nunca termina, lo incontable, lo
ilimitado, lo que no tiene fin.
Sin embargo, el desafo a la mente del hombre habr sido dado una vez ms. Esta herencia
atvica, que vivi en el silencio de Pitgoras de Samos y que reson por los laberintos de la
humanidad en la voz multisecular de Zenn de Elea, tiene una particular atraccin. Este intento
racional por comprender uno de los atributos caractersticos de los dioses nos obligar a
considerar filosofas y all, como uno de los brotes ms fecundos de la actividad del hombre en
su trabajo, estarn las ideas matemticas. La matemtica, convertida en mgico aparato de
introspeccin que cala hasta las races ms profundas del pensamiento.
Antonio Machado, uno de los grandes poetas de la lengua castellana, tambin pens el infinito.
De su obra en prosa, que lleva por ttulo Juan de Mairena. Sentencias, donaires, apuntes y
recuerdos de un profesor apcrifo, publicada en 1936, es la cita:
La serie par es la mitad de la serie total de los
nmeros. La serie impar es la otra mitad.
Pero la serie par y la serie impar son ambas-
infinitas.
La serie total de los nmeros es tambin infinita.
Ser entonces doblemente infinita que la serie par y
que la serie impar?"
No parece aceptable, en buena lgica, que lo
infinito pueda duplicarse como, tampoco, que pueda
partirse en mitades.
Luego la serie par y la serie impar son ambas, y
cada una, iguales a la serie total de los nmeros.
No es tan claro, pues, como vosotros pensis, que
el todo sea mayor que la parte.
Meditad con ahnco, hasta hallar en qu consiste
lo sofstico de este razonamiento.
Y cuando os hiervan los sesos, avisad.

Para estos ejercicios de pensamiento, o mejor dicho Ejercicios de Sofstica como Machado
los llama, se requirieron: su capacidad de raciocinio, su fantasa potica y su afn de saber.
Aqu cobra plena vigencia la sentencia de Herclito: Si no esperis lo inesperado, no lo
encontraris; puesto que es penoso descubrirlo y, adems, difcil. Es muy importante dejar
absolutamente claro que, muy grande e infinito, son completamente distintos. No hay un
punto donde lo muy grande comience a confundirse con el infinito. Dice James Newman:
Usted puede escribir un nmero tan grande como le plazca, no estar ms cerca del infinito
que el nmero 1 o que el nmero 7.


2. Otro eureka de Arqumedes
Arqumedes de Siracusa saba perfectamente que muy grande e infinito son completamente
distintos. En su magnfica obra encontramos una clara prueba de su genialidad: El Arenario.
Partiendo de una frase potica dice Jos Babini- se propone contar o, mejor, dar nombre al
nmero de granos de arena que llenan el universo, propsito que lo lleva a crear un sistema
propio de numeracin que le permite nombrar nmeros muy grandes, entre ellos el
mencionado nmero de granos de arena (que en nuestro sistema de numeracin tendra ms de
50 cifras).
Nos dice Arqumedes:
Hay algunos que piensan que el nmero de granos de arena es infinito en multitud y yo me
refiero a la arena que existe, no slo en las proximidades de Siracusa y en el resto de Sicilia,
sino tambin a la que se encuentra en otras regiones, ya sean stas habitadas o no.
Ya el maestro Arqumedes dej claramente establecido que un nmero no es infinito por el solo
hecho de ser muy grande. El nmero de granos de arena no es infinito; es muy grande, o si
Ud. desea muy, muy grande pero no infinito.
3. Huella del infinito en Galileo
En tiempos de Molire, de Descartes, de Kepler, de Cervantes y de Shakespeare, Galileo
elaboraba el primer documento para la historia de los conjuntos infinitos. De la versin
castellana de: Galileo Galilei. Dilogos acerca de dos nuevas ciencias, Buenos Aires, Librera
del Colegio, 1945, tomamos la huella. Intervienen tres interlocutores: Salviati, que representa a
Galileo; Sagredo, espritu culto de su poca; y Simplicio, filsofo peripattico, que
frecuentemente invoca opiniones de Aristteles.
Supongo muy bien sabido de vosotros, cules son los nmeros cuadrados y cules los no
cuadrados.
SIMPLICIO. S muy bien que el nmero cuadrado es el que resulta de la multiplicacin de
otro nmero por s mismo: as el cuatro y el nueve, etc., son nmeros cuadrados, ya que se
originan uno del dos y el otro del tres, multiplicados por s mismos.
SALVIATI. Muy bien; y sabis, adems, que as como los productos se llaman cuadrados, los
que los producen, o sea los que se multiplican, se llaman lados (lati) o races. Por
consiguiente, los otros que no nacen de nmeros multiplicados por s mismos, no son
cuadrados. De donde, si yo dijere que todos los nmeros, incluyendo los cuadrados y los no
cuadrados, son ms que los cuadrados solos, habr enunciado una proposicin realmente
verdadera. No es as?
SIMPLICIO. No se puede decir lo contrario.
SALVIATI. Si despus yo preguntare, cuntos son los nmeros cuadrados, se podra con toda
verdad responder, que son tantos como son sus respectivas races, puesto que todo cuadrado
tiene su raz, y toda raz su cuadrado, sin que haya ningn cuadrado que tenga ms de una
raz, ni raz ninguna que tenga ms de un cuadrado
2
.
SIMPLICIO. As es.

2
El autor considera solamente la raz cuadrada positiva


SALVIATI. Mas si yo preguntare, cuntas son las races, no podr negarse que son tantas
como sean todos los nmeros, porque no hay ningn nmero que no sea raz de algn otro; y
sentado esto, habr que decir que los nmeros cuadrados son tantos como sean todos los
nmeros, ya que son tantos como sus races, y races son todos los nmeros. Y sin embargo
nosotros en un principio dijimos que los nmeros en conjunto son muchos ms que todos los
cuadrados, por ser no cuadrados la mayor parte. Todava ms, la multitud de cuadrados va
disminuyendo progresivamente, a medida que pasamos a nmeros ms grandes; porque hasta
ciento hay diez cuadrados, que es como decir que son cuadrados una dcima parte; en diez mil,
slo la centsima parte son cuadrados; en un milln slo la milsima. Y sin embargo, en un
nmero infinito, si pudiramos concebirlo, sera necesario decir que son tantos los cuadrados,
cuantos son todos los nmeros en conjunto.
SAGREDO.- Y qu se puede decidir en tal coyuntura?
SALVIATI No veo que se pueda llegar a otra decisin, sino a decir que es infinita la
totalidad de los nmeros, infinitos los cuadrados, infinitas sus races; y que la multitud de
cuadrados no es menor que la de la totalidad de los nmeros, ni sta mayor que aqulla, y en
ltima instancia, que los atributos de igual, mayor y menor, no tienen lugar en los
infinitos, sino slo en las cantidades limitadas.
4. Georg Cantor: Se han formado las parejas!
(Advertencia: Cantor debe leerse Cntor).
El ms importante logro de Cantor consisti en demostrar, con todo el rigor que la matemtica
exige, que la nocin de infinito no es una nocin indiferenciada. Al desarrollar su aritmtica de
los nmeros transfinitos determin matemticamente el concepto de infinito actual.
Durante casi todo el siglo XIX reinaba supremamente el concepto del matemtico alemn Carl
Friedrich Gauss, en el sentido de que la nica forma admisible del infinito en matemtica era la
del infinito potencial, es decir, el infinito concebido slo como posibilidad y no como
realizacin total. As, tratando los nmeros naturales 1, 2, 3,..., afirmar que son infinitos,
equivale para Gauss, a sobreentender que despus de cada nmero viene otro. Por otra parte, si
tomamos un segmento y realizamos la operacin de partirlo en dos, dicha operacin entraa un
proceso infinito potencial, porque despus de una particin es siempre posible concebir la
siguiente, y as sucesivamente. El infinito, slo como infinito potencial, es admitido por
Aristteles tanto en la sucesin numrica como en el conjunto de puntos de una lnea.
Aristteles propone: el infinito no es aquello ms all de lo cual hay nada, sino aquello ms all
de lo cual hay algo. Este punto de vista confirma la consideracin exclusiva del infinito
potencial. La sentencia de Gauss era el marco de referencia para la obra de Cantor. Gauss
enfatizaba: Yo protesto contra el uso de magnitudes infinitas como magnitudes concluyentes,
cosa nunca permitida, en matemtica. El infinito es slo una 'faon de parler' en tanto se
refiriere realmente a lmites con los que se tienen ciertas relaciones tan prximas como se desee,
mientras, en cambio otras pueden crecer sin limitacin.
El matemtico francs Augustin Louis Cauchy (1789-1857) introdujo una convencin de
escritura para caracterizar y dar vigencia a la misma idea de infinito que aparece en la cita de
Gauss. La convencin de Cauchy, hoy todava en uso, es la siguiente:


0
1

m
lm
m

En este ejemplo aparecen distintos smbolos como componentes de una expresin matemtica.
La abreviatura `lim de la palabra latina limes conserva aqu todo su peso histrico: el limes era
la fortificacin lmite del Imperio romano frente a los germanos. En matemtica, limes significa
valor lmite, es un smbolo para el infinito que no debe en ningn caso ser sustituido por
un signo numrico; no est representando a nmero alguno. La expresin matemtica puede
leerse as:
el lmite de la sucesin
m
1
, cuando m tiende hacia el infinito, es cero.
El infinito es aqu slo una manera de hablar, un cierto modo de expresarse que intenta
describir el comportamiento de la variable m. La sucesin cuyo trmino general es
m
1
, puede
aproximarse tanto como se desee a 0, con tal de hacer m suficientemente grande.
Este es uno de los infinitos de la matemtica, ciencia que al parecer convoca las formas ms
diversas de la infinitud y puede emitir expresiones plenas de sentido para cada una de ellas. Es
necesario poner el mayor de los cuidados cuando se trata con el concepto de infinito y
determinar claramente la zona de ideas comprometidas y el problema especfico que
consideramos.
Cantor expres claramente: Yo me encuentro lgicamente obligado a aceptar la idea de la
magnitud infinita, no meramente en forma creciente sin limitacin, sino en forma determinada
de infinito perfeccionado matemticamente por nmeros, y lo hago casi contra mi voluntad
dada su oposicin a mis tradiciones.
Reiteramos, Cantor dot de contenido matemtico al concepto de infinito actual. Es dable
suponer que l saba con Hlderling, que cualquier hombre es un Dios cuando suea y no es
ms que un mendigo cuando piensa. Y as, en un ejercicio de libertad total, Cantor pens un
sueo, para poder finalmente soar un pensamiento.
Las ideas de Cantor resultaron tan chocantes a la intuicin de sus contemporneos, que el
notable matemtico francs Henri Poincar conden la teora de los nmeros transfinitos como
una enfermedad de la matemtica, de la que algn da llegara a curarse la ciencia. Cantor
recibi y resisti el embate de notables. Leopold Kronecker, maestro de Cantor y eminente
matemtico alemn, lleg al ataque personal, calificndolo de charlatn cientfico,
renegado y obviamente corruptor de la juventud. Por todo esto, y con su caracterstica
profundidad de pensamiento, dice Borges: Esa verosmil contestacin de Friedrich Zarathustra
me hace recurrir a Georg Cantor y a su heroica teora de los conjuntos.
Para Georg Cantor, un conjunto M de elementos es matemticamente infinito, cuando puede
ponerse en correspondencia biunvoca con el conjunto de los nmeros naturales, es decir
cuando la correspondencia puede hacerse de forma tal que a cada nmero natural le
corresponda exactamente uno y slo un elemento de M y recprocamente.



Cantor logr emparejar, uno por uno, los nmeros naturales con los nmeros pares, sin que
ninguno de ambos conjuntos se agotase. Por lo tanto, aunque pueda parecer que son ms los
nmeros naturales que los nmeros pares, en realidad ambos conjuntos tienen el mismo nmero
de elementos. Hay muchos otros conjuntos, como el de los nmeros cuadrados de Galileo, que
pueden ser biunvocamente comparados con los nmeros naturales. Tales conjuntos se dicen
numerables.


Hay tantos nmeros pares como nmeros naturales!
La sorpresa contina
En el ao 1874, Cantor mostr de qu forma podan los nmeros racionales positivos ser
emparejados biunvocamente con los nmeros naturales. El conjunto de los nmeros racionales
positivos es un conjunto infinito; mejor dicho, el conjunto de todos los nmeros expresables
como cociente de dos nmeros naturales es numerable. Nos puede parecer que el conjunto de
las fracciones positivas es mucho mayor que el conjunto de los nmeros naturales, con slo
pensar como ejemplo que entre dos nmeros naturales consecutivos, por ejemplo 0 y 1, hay
infinitos nmeros fraccionarios positivos. Sin embargo no es as. Debemos cuidarnos de los
espejismos. Georg Cantor nos muestra que a cada nmero racional positivo puede asocirsele
un nmero natural conforme se va recorriendo la trayectoria sealada por las flechas.
El conjunto de los nmeros racionales positivos es numerable: hay tantas fracciones positivas
como nmeros naturales. De no creer!...
Ahora bien, de esta ordenacin de fracciones positivas, podemos separar fracciones; es decir,
separemos toda fraccin que sea equivalente a cualquier otra precedente. Por ejemplo, las
fracciones 2/2, 3/3, 4/4, 5/5,... son equivalentes a la fraccin 1/1. Tambin debemos separar 2/4,
3/6, 4/8, 5/10,... y as todas las fracciones equivalentes a . La nueva sucesin de fracciones
positivas sera: 1/1, 1/2, 2/1, 3/1, 1/3, 1/4, 2/3, 3/2, 4/1, 5/1, 1/5,... El conjunto de los nmeros
racionales positivos es numerable sin duda alguna.

N 1 2 3 4 5 6


2N 2 4 6 8 10 12