GEOMETRÍA FRACTAL Página 21

CAPÍTULO 2

NUMEROS Y PUNTOS

2.1 EL CONJUNTO DE CANTOR

El matemático Georg Cantor 5 es considerado como uno de los fundadores de la

teoría de conjuntos [8]. Pero en nuestro contexto, su contribución radica en el hecho de
haber introducido uno de los más antiguos fractales que se conocen, el llamado
“conjunto ternario de Cantor”. En este conjunto, tal como se muestra en la Fig. GF
Nro. 2.01, se parte de un segmento unitario que se divide en tres partes iguales,
eliminado el tercio central. Y así sucesivamente, hasta llegar a tener solamente puntos
discretos que constituyen el llamado “polvo de Cantor”.

1=1

1er. paso
2do. paso
3er. paso

Fig. GF Nro. 2.01 - Generación del conjunto ternario de Cantor.

Siendo la longitud inicial igual a la unidad, después de tres pasos tendremos 23 = 8

segmentos, cada uno de longitud 3 -3 = 1 / 27 . Tras n pasos tendremos 2 n segmentos,
cada uno de longitud 3– n . La longitud total de los restantes segmentos es igual a (2/3) n,
que obviamente tiende a cero cuando n   .

A primera vista, se diría que la dimensión del conjunto de Cantor es igual a cero.
Sin embargo, si se calcula su dimensión fractal con la expresión (1.2), se tiene:
ln n ln 2 n
D   0,6309 ,
ln (1 / r ) ln [ (1 / 3)  n ]

lo que indica que la dimensión fractal del conjunto de Cantor está más cerca del valor 1
que del 0, lo que da una idea de cuán irregular es dicho conjunto. Si se desea expresar
aritméticamente el conjunto de Cantor, lo más conveniente es usar el sistema ternario.
Como se está trabajando con números comprendidos entre 0 y 1, tendrán que expresarse
números tales como:
3 1 4
0,3   0, 0220 0,5   0,1 0,8   0, 2101 ; pues:
10 2 5
0 2 2 0 …
5
GEORG CANTOR (1845-1918) era un matemático alemán de ascendencia danesa, nacido en San
Petersburgo. Su nombre está ligado con la nueva, rigurosa y brillante teoría de los números irracionales
pero más que esto, con la teoría general de conjuntos, creada por él y considerada como la base de toda
la matemática moderna. Esta circunstancia le atrajo las críticas de muchos matemáticos conservadores
de su época y nunca llegó a ser Profesor de la Universidad de Berlín em Alemania, aun cuando fue
Profesor Titular de la Universidad de Halle de 1872 a 1905. Hoy en día, está considerado como uno de
los más importantes pioneros de la ciencia.
GEOMETRÍA FRACTAL Página 22

3 9 27
7 21
1 3 …  (3 / 10) 10 = (0,0220) 3

1 …
5 15
5 ...  (5 / 10) 10 = (0,1) 3

2 1 0 1 …
8 24
4 12
2 6 18
8 ...  (8 / 10) 10 = (0,2101) 3

Se parte del [0,1] como muestra la Fig. GF Nro. 2.02. En la primera iteración se
excluye el tercio central constituido por todos los números que tienen una fracción
ternaria que comienza con 1. En la próxima iteración se hace lo mismo con los números
que tienen un 1 en la segunda posición. Es fácil ver que finalmente se eliminan todos los
números que tienen un 1 en su desarrollo como fracción ternaria. Los puntos del conjunto
de Cantor pueden identificarse con todos los números comprendidos entre 0 y 1 que se
escriben en sistema ternario con 0 y 2 exclusivamente. El 0 está incluido y también el
1  0, 2 .

0 0,2

0,0 0,1 0,2

0,00 0,02 0,20 0,22

Fig. GF Nro. 2.02 - Los puntos del conjunto de Cantor, se escriben en sist. ternario, con 0 y 2.

2.2 EL PEINE DE CANTOR

El conjunto de Cantor es fácil de imaginar pero no de representar. Se puede obtener

una buena graficación tomando una variante llamada “peine de Cantor”, donde se
comienza con una barra de longitud 1 y altura h. El aspecto es el de la Fig. GF Nro. 2.03.

Fig. GF Nro. 2.03 - Peine de Cantor.

GEOMETRÍA FRACTAL Página 23

2.3 EL CONCEPTO DE INFINITO

Se llaman “conjuntos infinitos numerables” aquellos que pueden ponerse en

correspondencia biunívoca con el conjunto de los números naturales. Por ejemplo, el
conjunto de los números pares, el conjunto de los números impares, el conjunto de los
cuadrados (cubos; etc.) de los números naturales son todos conjuntos infinitos numerables:

0 1 2 3 4 5 6 7 8 9 ...
0 12 22 32 42 52 62 72 82 92 ...

Además de estos casos sencillos, existen otros conjuntos que también son
infinitos numerables pero no de manera tan evidente. Por ejemplo, el conjunto de las
fracciones racionales p/q donde p y q son números naturales y q  0 que supondremos
son irreducibles. Cantor probó que estas fracciones racionales forman una sucesión
infinita numerable. Para ello las ordenó en el llamado “arreglo de Cantor”:

1 1 1 1 1
     ...
1 2 3 4 5

2 2 2 2 2
     ...
1 2 3 4 5

3 3 3 3 3
     ...
1 2 3 4 5

4 4 4
   ... ... ...
1 2 3

1 2 3 4 5 6 7 8 9
1 2 1 1 2 3 4 3 2
        
1 1 2 3 2 1 1 2 3

2.4 LOS NUMEROS IRRACIONALES

Las fracciones que hemos visto hasta ahora se llaman números racionales o
conmensurables porque pueden “medirse” como el cociente de dos números naturales y
el resultado es una expresión decimal finita o bien infinita periódica. Pero existen otros
números irracionales o inconmensurables, tales como  o 2 . Estos números se
pueden expresar como decimales de infinitos dígitos que no se repiten en forma
periódica, independientemente del sistema numérico que se utilice para representarlos.
El conjunto de los números racionales, más el de los irracionales, constituye el conjunto
de los números reales R. Otra manera alternativa de representar los números reales es
mediante su descomposición en “fracciones continuas”, un concepto muy antiguo que
se generó aparentemente en la milenaria cultura china.
GEOMETRÍA FRACTAL Página 24

Se sabe que todo número real positivo no entero x puede escribirse en la forma:

1
x  a0  ,
x1

donde ao = |[ x ]| es la “parte entera” de x o sea, el menor entero que no supera a x ,

1
x1  > 1.
x  a0

Si x fuera racional, por ejemplo x = a / b, se tendría:

a 1 b b
 a0  , de donde x1   > 1 (si r 1 > 0) .
b x1 a  b a0 r1

Si x 1 no es un número entero, puede reiterarse el proceso y escribirse:

1
x1  a 1  1
x2 , donde a = |[ x ]| = x  a > 1 , resultando:
1 1 1

1
x  a0 
a 1  x 2 y así, siguiendo.

En general, se tendrá el número real x representado por la fracción continua:

1
x  a0 
1
(2.1) a1 
1
a2 
a3  

O bien: x  [a 0 , a 1 , a 2 , ] . La sucesión de enteros a 0 , a 1 , a 2 ,  se

conoce como la sucesión de “cocientes parciales” de x . Esta expresión termina si y
solo si x es un número racional como en el ejemplo siguiente:
8 1 8
 1 ;  [1, 1, 1, 2 ]
5 1 5
1
1
1
2

En caso contrario, el desarrollo en fracciones continuas es indefinido y el tomar

un número finito de téminos tales como
1
a0 
1
a1 
a2  ,
1

ak
GEOMETRÍA FRACTAL Página 25

equivale a tomar una sucesión de aproximantes racionales al número x que converge a

x si k   .
Algunos números irracionales como por ejemplo  y e tienen aproximantes
que convergen muy rápidamente. En efecto,
1
  3
1
7
1 ,
15 
1
1
292  
posee las siguientes aproximantes racionales, como es fácil comprobar:
22 333 355
1   3,1429...;  2   3,14151...;  3   3,1415929...
7 106 113

Con respecto a la regularidad del desarrollo en fracciones continuas, Lagrange 6

probó lo siguiente: “Las raíces reales de una ecuación cuadrática con coeficientes
enteros poseen desarrollos periódicos en fracciones continuas”. Así, por ejemplo, la
ecuación cuadrática:
(2.2) x 2  2x  1  0
tiene como raíz positiva el valor:
(2.3) x 2 1.

La ecuación (2.2) se puede dividir miembro a miembro por x (no nulo), con lo
que se tiene:
1
x .
2 x

Si en esta última ecuación se reempla la x del segundo miembro iterativamente

por su valor 1 / (2 + x) , tras n iteraciones se llega a la siguiente expresión:
1
x
1
2
1
2
2
1

2x

Haciendo n   y teniendo en cuenta (2.3) resulta la fracción continua:

6
JOSEPH LOUIS LAGRANGE (1736-1813) fue un famoso matemático francés, uno de cuyos libros
“Mécanique Analytique”, es un desarrollo matemático de la mecánica, usando los métodos del Cálculo
Diferencial e Integral. En este libro no hay diagramas, solamente fórmulas! Lagrange no había aun cumplido
los 20 años cuando fue designado Profesor de Matemática en la Escuela de Artillería de su ciudad natal.
Posteriormente sucedió al famoso Euler en la Academia de Berlín. Después de 1786, Lagrange se trasladó a
París y se convirtió en Profesor de la recientemente creada Ecole Normale y Ecole Polytechnique.
GEOMETRÍA FRACTAL Página 26

1
2  1 ; 2  [ 1 , 2 , 2 , 2 , ]
1
2
2 
Si la ecuación cuadrática es de la forma: x 2  x  1  0 , es bien sabido que su
raíz positiva es el famoso número irracional, conocido como “Número de Oro”,
1 5
   1,618... Obviamente, si se procede de manera análoga al caso anterior y
2
1
se escribe: x  1  , se tiene la siguiente expresión:
x
1
 1
1 ;   [ 1 , 1 , 1 , 1 , ] .
1
1

Este desarrollo, el más simple posible de todos los correspondientes a los

números irracionales, es el de convergencia más lenta puesto que todos los
denominadores son los más pequeños posibles. Esto implica que se puede afirmar:
“El Número de Oro  es el más irracional de todos los números irracionales”.

Fácil es comprobarlo calculando las aproximantes racionales sucesivas.

Nota: el Número de Oro ha mantenido a través de los siglos un interés creciente y una
constante actualidad, lo que constituye un hecho insólito; ¡casi se diría, mítico!
Se lo simboliza con la letra griega  , inicial de Fidias, escultor griego que
utilizó dicho número en sus obras.

2.5 EL INFINITO NO NUMERABLE

Cantor demostró la siguiente afirmación: “El conjunto de los números

irracionales es infinito no numerable”. Intuitivamente, esto parece un absurdo, pues
parece entonces, que hay “más” números iracionales que racionales. Sin embargo,
Cantor, de manera sumamente elegante, probó este resultado por el método de
reducción al absurdo. En efecto, si se supone que todos los números reales
comprendidos entre 0 y 1 forman un conjunto numerable, que puede denotarse
a 1 , a 2 , a 3 ,  , cada uno de ellos puede ser concebido como una fracción decimal
infinita. Si la fracción tuviera un número finito de dígitos, se continuaría el desarrollo
con ceros. Si se construye un nuevo número b, dígito por dígito, de manera tal que el
primer dígito de b difiera del primero de a 1 , el segundo dígito de b difiera del segundo
de a 2 y así siguiendo, el número b así construido tendría que aparecer en la lista como
un número a con índice n, por ejemplo. Pero, por construcción b y a difieren en el
n-ésimo dígito decimal. De ahí la contradicción pues al ser no numerable el conjunto de
los puntos reales en el intervalo [ 0 , 1 ] , tampoco puede ser numerable el conjunto de
los reales R. Obviamente, como el conjunto de los números reales está constituido por
los números racionales y los irracionales, siendo el conjunto de los racionales infinito
numerable, la única posibilidad es que el conjunto de los irracionales sea infinito no
numerable.