...

UN0, DOS,
TRES...INFINITO

La idea de infinito ha sido siempre uno de los temas de mayor discusin en el seno de las Matemticas... y no slo en ellas. La Filosofa ya desde los remotos tiempos de la Grecia clsica discuti
sobre el concepto de infinito, su significado y su existencia. Ya ZENN DE ELA, 400 aos antes de Cristo, sembr el pensamiento
con curiosas paradojas que tienen como eje central el infinito.
Hasta finales del siglo XIX, no se abord con rigor matemtico el anlisis de lo que significaba este concepto. Se encontraron sorpresas inimaginables que dividieron el mundo de las Matemticas.
Hablamos de la obra de George Cantor.

urante siglos los griegos exploraron el apeiron -lo ilimitado- y su presencia en el universo. Demcrito, Epicuro y
sobre todo Lucrecio, fueron defensores de la existencia
de lo infinito. Lucrecio lleg a hablar de un nmero ilimitado de mundos infinitos. Aristteles defini un infinito en potencia, que se piensa como algo finito en continua expansin, pero que no se puede alcanzar. En cambio, entiende que no puede existir realmente un infinito
en acto, que pueda ser pensado, ya que al ser inconcluso
-no acaba nunca- no puede definirse.

EL TODO
Y
LAS PARTES
La mxima que mejor recoge
la distincin aristotlica sobre
lo finito y lo infinito es aquella que afirma que EL TODO ES
MS GRANDE QUE LAS PARTES.
Semejante intuicin permaneci aceptada por todos los
hombres. Es un asunto de sentido comn. En efecto, un grano de arena es menor que el
montn en el que se encuentra, dos manzanas son menos
que el cesto de manzanas...
una mano es menor que todo
el cuerpo. Tras Cantor y Dedeking las cosas ya no iban a
ser iguales.
Sorprendentemente, observaron que en los conjuntos infinitos existen partes contenidas en ellos con tantos elementos como todo el
conjunto. Esta propiedad es
tan difcil de asumir que adoptaron esta propiedad como la
definicin de lo que significa
que un conjunto tenga cardinal infinito.
Raro? Mucho. En los diagramas que acompaan este texto puedes comprobar que, si el
todo es el conjunto de los nmeros de contar (1,2,3,4...) y
que es infinito, el subconjunto de los PARES o los IMPARES o los PRIMOS es tan numeroso como todo el conjunto.
Por supuesto, si un conjunto
es finito es vlida la mxima
aristotlica.
Sin embargo, sta era slo la
primera de las sorpresas que
deparaban estas ideas a Cantor. En la prxima lmina te
desvelaremos la continuacin
de su viaje por el infinito y
ms all...

por Lolita Brain

eorge Cantor (1845 San Petersburgo,

Rusia -1918 Halle, Alemania) es el padre de la Teora de Conjuntos, denominada intuitiva. Tras desarrollar los
conceptos que hoy usamos sobre los conjuntos, se interes por el nmero de elementos de stos, lo que se llama la CARDINALIDAD del conjunto. Y comenz a estudiar los conjuntos con infinitos
elementos hasta desarrollar la Teora de
los Nmeros Transfinitos, una de
las teoras ms desafiantes para
el pensamiento humano, comparable al desafo intelectual de
las Geometras no Eucldeas -en
relacin al espacio- o de la Relatividad -en relacin con el
tiempo y el espacio-. Su teora desafiaba el concepto de infinito.

RICHARD DEDEKING
1831 Alemania - 1916 Alemania

ichard Dedeking, un matemtico solitario

y tmido, pero muy riguroso, fue el padre de
los nmeros tal y como los conocemos hoy,
creando una teora que construye los nmeros
naturales, y con ellos todos los dems. Amigo
de Cantor, con el que se carte durante 27 aos,
es el primer autor -junto a ste- en pasar del infinito en potencia aristotlico al infinito en acto.
Ambos encontraron el modo de definir el infinito.

antor y Dedeking razonaron del modo siguiente: si para contar conjuntos finitos utilizo el emparejamiento,
por qu no utilizar este
mecanismo con los conjuntos infinitos? De este
modo, razona Cantor, si
me siento entre dos
montones de arena,
y tomo con cada
mano un grano de cada montn, por muchos
granos que haya, si acabo antes el montn de
la izquierda que el de la derecha, esto vendr a
decirnos que ese montn tena menos granos
que el otro. Pero si acabo los dos montones a
la vez, por fuerza no
podremos afirmar sino
que los dos montones
tenan igual nmero de
granos de arena. Cantor y Dedeking llamaran a este emparejamiento una CORRESPONDENCIA BIUNVOCA entre
los montones de arena. Hoy lo llamamos igual.

lo primero que
hizo Cantor fue fijarse en el CONJUNTO INFINITO del que se tiene la primera intuicin: el conjunto de
los nmeros naturales o enteros positivos, es decir, los nmeros
de contar 1, 2, 3, 4, ...
Todos entendemos que este conjunto es infinito. Cada nmero tiene su sucesor. Es su esencia. Cantor afirm que no existe ningn conjunto infinito con menos elementos que ste. Dicho de otro
modo, los nmeros de contar son el conjunto infinito ms pequeo. Al nmero de sus elementos le llam ALEF CERO (Alef es
la primera letra del alfabeto hebreo).

ALEF CERO

antor comenz entonces a estudiar

algunas partes subconjuntos- del
conjunto de los naturales. Por ejemplo,
los nmeros PARES (2, 4,
6, 8 ...) estn contenidos en
los NMEROS DE CONTAR
(1,2,3,4...). Todos estaramos
tentados a decir que los pares son
exactamente la mitad. Sin embargo no es as. Es facilsimo ver en el diagrama cmo cada nmero de contar se
puede emparejar con un nmero par, su doble. Y cada par tiene su pareja, su mitad.
Como en los granos de arena, ambos conjuntos -por extrao que nos parezca- tienen los mismos elementos. Cuntos? Alef-cero elementos.

>>>En un conjunto infinito, hay

partes tan numerosas como
el mismo.
>>> Los nmeros de
contar, los enteros (positivos y negativos), las
fracciones, los nmeros pares, los nmeros
cuadrados, los primos,
etc. tienen todos ellos
la misma cantidad de
elementos: el nmero
transfinito ALEF-CERO.
>>>Para saber si un conjunto

tiene ALEF-CERO elementos hay

que emparejar cada uno de
sus elementos con un
nmero natural de
modo que no quede
ninguno sin pareja.
>>> Cuando
un
conjunto tiene ALEFCERO elementos, se
dice que es NUMERABLE.
>>>Hay conjuntos infinitos con ms elementos
que ALEF-CERO.
lolitabrain@hotmail.com

55

AULA

DE EL

MUNDO

PI, UN CAPRICHO
DE LA NATURALEZA

La pasada semana presentamos un conjunto de nmeros muy especiales: los irracionales. De entre ellos, el conocido pi es uno de sus ms importantes representantes. Siendo irracional, pi es un nmero con infinitas cifras decimales que no
siguen ningn patrn peridico y que por tanto ser desconocido eternamente. Su
carcter mgico pero a la vez omnipresente en la Matemtica lo convierten en
excepcional. Son los caprichos de la Naturaleza los que ataron para siempre a
la perfecta, la circunferencia, con un perfecto desconocido, pi.

por Lolita Brain

QU ES PI?

MTODOS DE CLCULO DE PI

Para calcular el valor de pi se han utilizado mltiples mtodos, unos ms geomtricos y otros
sencillamente curiosos. Te exponemos algunos
de ellos.

i representa la constante universal que existe

entre la longitud de cualquier circunferencia y su
dimetro. Es por lo tanto el factor por el que hay
que multiplicar la longitud del dimetro de una circunferencia para calcular su longitud.

FRMULA DE WALLIS

ohn Wallis (1616 1703) encontr el valor

de pi a travs de un producto con infinitos factores que multiplica los
pares por un lado y por el
otro los impares.

FRMULA DE LEIBNIZ

eibniz (1646 - 1716) encontr una bonita expresin de pi como suma de infinitos nmeros -lo
que se denomina serie numrica-. En sta de
Leibniz se alternan sumando y restando, los inversos de los nmeros impares. No es una serie que
se acerque a pi deprisa, lo que quiere decir que se
han de sumar muchos trminos para que el valor
de pi obtenido contenga muchas cifras decimales
coincidentes con las de pi.

La famosa frmula para calcular el rea de un crculo, debida a Arqumedes (rea crculo = Pi x
Radio x Radio) nos dice que pi es tambin la
relacin que existe entre el rea del crculo -en
rojo en la imagen- y el cuadrado construido sobre
uno de sus radios -en verde en la figura-.

PI A LO LARGO DE LA HISTORIA

PI Y LOS PRIMOS

La necesidad de calcular la longitud de una circunferencia fue primordial para todas las civilizaciones, ya
que esta figura se ve envuelta en mltiples aplicaciones cotidianas . De ah que a lo largo de la historia los
distintos pueblos hayan encontrado distintos valores de pi que usaban para los clculos geomtricos
ms elementales.

Aunque aparentemente los nmeros primos y pi no

deberan tener nada en comn, un producto curioso
permite calcular pi utilizando la serie de los nmeros
sucesivos...

1650
a.C.

Egipto

s. III
a.C.

La Biblia

215
a.C.

Arqumedes

s. III
d.C.

Wang Fan

s. XV
d.C.

Al-Kashi

1949

ENIAC

En el Papiro Rhind, el escriba

Ahmes calcula el rea de un crculo de dimetro 9 usando
pi = 3,1405.

En el Libro de los Reyes se

citan las dimensiones de un cilindro de fundicin con un valor de
pi igual a 3.

CALCULANDO COMO ARQUMEDES

l mtodo que sigui Arqumedes para calcular

una excelente aproximacin de pi se basa en utilizar las reas de ciertos polgonos regulares inscritos en un crculo. Las reas de estos polgonos
se aproximan al rea del crculo y esto permite calcular, y por tanto conocer, con mayor precisin a
pi. Arqumedes utiliz la serie de polgonos de 6,
12, 24, 48 y... 96 lados.

En Sobre la medida el crculo,

el gigante de Siracusa, Arqumedes calcul pi con un valor
entre 3,1412 y 3,1428. Un xito
histrico.

Este matemtico chino acot el

valor de pi entre 3,1410 y 3,1427
que, aun siendo muy bueno, no lo
es tanto como el de Arqumedes.

ARQUMEDES DE
SIRACUSA
(287 - 212 a.C.)

Usando un polgono inscrito de

nada menos que 2.832! lados,
este matemtico que vivi en
Samarcanda obtuvo pi con 17
cifras decimales.
La moderna computadora
ENIAC, que ocupaba una habitacin, invirti 70 horas de procesamiento para calcular las primeras 2.000 cifras de pi.

GHIYATH AL-DIN
JAMSHID
MAS'UD AL-KASHI
(1380 - 1429)

Adems de estos polgonos inscritos se tienen que utilizar los

polgonos exteriores al crculo
con el mismo nmero de lados.
De este modo calculamos pi por
exceso.

lolitabrain@lolitabrain.com

UN RECTNGULO
MUY ESPECIAL I

De todos los rectngulos que es posible construir hay un grupo muy especial. Se trata del rectngulo ureo o de oro. Se denomina as porque la razn que existe entre
su lado mayor y el menor es un nmero muy especial denominado nmero de oro o
razn urea. Esta simple idea le proporciona propiedades especiales. Es el nico
con la posibilidad de hacerlo crecer sin necesidad de tomar medidas. Su diagonal
tiene asimismo una propiedad particular. Y adems se encuentra en innumerables
obras artsticas por el equilibrio que transmite. Es tan fantstico que todas las tarjetas de crdito son rectngulos de oro.

por Lolita Brain

EL NMERO DE ORO
el mismo modo que el nmero PI encierra una presencia ubicua en las
matemticas, hay otro nmero muy relacionado con la geometra que
est ntimamente ligado al arte.
Supn que tienes un segmento y que lo quieres dividir en dos partes de
tamaos distintos. Esto puedes hacerlo de muchas formas, por ejemplo
dividindolo de modo que la parte mayor sea triple que la menor, como en el
diagrama. En este caso se cumple que:

parte mayor
parte menor

3 unid.

segmento total

1 unid.

parte mayor

Ahora bien, slo existe una forma de dividir tal segmento, de modo que la relacin (razn o ratio) que haya entre el segmento total y la mayor de las partes
sea igual a la que mantienen las dos partes entre s. Decimos que ambas partes se hallan en proporcin urea (La Divina Proporcin desde el Renacimiento) y su valor es el denominado nmero de oro, FI=1,618... Un nmero, que
como PI, tiene infinitas cifras decimales no peridicas. Siempre que la razn
de dos magnitudes sea el nmero FI, decimos que estn en proporcin urea.

4 unid.

(AB)
parte menor (BC)

3 unid.

parte mayor

ara dibujar un rectngulo ureo no necesitamos ningn instrumento de medida. Si

conoces el ancho del rectngulo que quieres construir te bastar con seguir los
siguientes pasos para dibujarlo.

parte mayor

(AC)
(AB)

EL RECTNGULO DE LAS TARJETAS

El segmento AB
es el alto del rectngulo.

segmento total

= 1,61803...

AS SE CONSTRUYE UN RECTNGULO UREO

as tarjetas de crdito son todas iguales en forma y tamao. Si las mides

comprobars que sus lados miden 8,5
y 5,3 cm respectivamente. Si efectas la
divisin de esas dos medidas obtienes

8,5 cm.
1.- Primero dibuja dos cuadrados con el
ancho AB que queremos que tenga el rectngulo. Dibjalos uno junto al otro.

2.- Traza la diagonal del rectngulo que has

obtenido con los dos cuadrados.

5,3 cm.

3.- Por el extremo inferior derecho traza una

perpendicular a la diagonal anterior (en puntos) que proporciona el punto C.

4.- El rectngulo que pasa por C (en naranja)

es el rectngulo ureo que queramos dibujar. Fcil!

CMO SABER SI UN RECTNGULO ES UREO?

uedes averiguar muy fcilmente si un rectngulo es ureo. Para ello
basta con colocar dos copias del rectngulo en cuestin, tal como
indica la figura. Traza la diagonal AC y
prolngala. Si dicha
diagonal pasa por N,
tenemos un rectngulo ureo. Puedes probar tambin con un
documento nacional
de identidad y comprobars que tambin
es de oro.

1,6, que es casi el nmero FI. Cuando en

un rectngulo sus lados estn en esta
razn se dice que es un rectngulo ureo
o de oro. Veremos que sin necesidad de
medir los rectngulos podemos saber si
son o no ureos.

Esta propiedad no la tienen todos los rectngulos. Observa el de la figura. Cuando

unimos los vrtices de dos copias del
mismo rectngulo,
esta recta corta en
cuatro puntos a los
rectngulos, en lugar
de hacerlo en slo
tres.

Infografa y textos: Lolita Brain - www.lolitabrain.com