Fractales

Fractales
Spinadel, Vera Martha Winitzky de
E-mail: vspinade@fibertel.com.ar
Laboratorio de Matemtica y Diseo
Universidad de Buenos Aires

RESUMEN
Los fractales aparecen en la investigacin de numerosas ramas de la ciencia. Desde un
punto de vista general, si uno se pregunta la razn de ello, la respuesta es su propiedad
caracterizante de auto-semejanza, esto es, la cantidad de estructuras invariantes ante cambios de
escala, que aparecen tanto en la Naturaleza como en el anlisis de sistemas dinmicos que
varan con el tiempo. Es por esto que hemos considerado imprescindible formular un enfoque
general e histrico de introduccin al tema, a fin de abrir puertas al estudio de la estabilidad de
sistemas micro- y macro-fsicos, que pueden variar desde la estructura interna del DNA hasta
las galaxias astronmicas.

Palabras claves:
Dimensin fractal; auto-semejanza; nmeros irracionales; descomposicin en fracciones
continuas; Nmero de Oro.

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

113

Fractales

1. INTRODUCCIN
Comencemos haciendo un poco de historia. La palabra fractal fue introducida
por el matemtico polaco Benoit B. Mandelbrot, que naci en 1924 en Varsovia,
Polonia, en el seno de una familia lituana juda. La palabra Fractal proviene del
adjetivo latn fractus, que significa interrumpido o irregular.
Sus padres previeron la tremenda realidad geopoltica que se avecinaba y en
1936 emigraron a Pars. Por qu Pars?

Porque su to, Szolem Mandelbrot era

miembro de un grupo lite de matemticos franceses conocidos como Nicols

Bourbaki [1]. Este era un pseudnimo que un grupo de jvenes adopt tomando el
nombre de un general francs de origen griego Charles-Denis Bourbaki (1816-1897),
que comand exitosamente el ejrcito a travs del Rin en la guerra de 1870.
La familia de Mandelbrot pas la Segunda Guerra Mundial en Tulle, una
pequea ciudad al Sur de Pars, donde Benoit no recibi una educacin formal. Por
ejemplo, nunca aprendi el alfabeto y an hoy en da le cuesta consultar una gua de
telfonos! Lo conoc personalmente en Qubec, Canad en 1992, donde participamos
ambos del ICME-7 (International Congress on Mathematical Education), que se realiza
con una periodicidad de 4 aos [2].
Sin embargo, Mandelbrot puso en evidencia una capacidad matemtica
extraordinaria, muy diferente de la de su famoso to! Posea una agudeza visual y
geomtrica que le permiti doctorarse en Matemtica usando su formidable intuicin y
de ah en ms, comenz su propia carrera, muy alejada de la bourbakiana de su to.
Decidi irse a USA y en 1958 entr a trabajar en el excelentemente equipado
laboratorio de Yorktown Heights de IBM, situado en las afueras de New York. Nunca le
gust manejar l mismo las computadoras: simplemente se sentaba al lado del operador
y le deca qu hacer. Pero tuvo la enorme ventaja que en este lugar, dejaron que el joven
genio francs siguiera sus investigaciones tal como l lo deseara! Sus resultados
probaron ser ms diversos, eclcticos y de avanzada que lo que cualquiera hubiera
podido imaginar... Se convirti en experto en ciertas reas de lingstica, teora de
juegos, aeronutica, ingeniera, economa, fisiologa, geografa, astronoma y, por
supuesto, fsica.
Este enfoque altamente multi-disciplinario constituy una verdadera revolucin
en todo el campo cientfico tradicional, donde en aquella poca, se tenda cada vez a una
114

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Fractales

mayor especializacin. Sin embargo, Mandelbrot era brillante y pudo, con el auxilio de
la Informtica, desalentar las crticas de algunos de sus detractores. Por ejemplo,
descubri que la variacin de los precios en el mercado, que hasta entonces se
consideraba como puramante al azar, segua una simetra en las fluctuaciones de los
precios a largo plazo, comparadas con las fluctuaciones a corto plazo. Y este asombroso
resultado lo logr considerando las variaciones en el precio del algodn, para el cual se
dispona de estadsticas que databan de varios cientos de aos! Mandelbrot descubri un
esquema en las impredecibles fluctuaciones diarias de los precios del algodn, que se
repetan en escalas de tiempo ms y ms largas. Slo ms tarde comprendi que haba
descubierto un fractal en los datos econmicos, que pona de manifiesto una autosemejanza recursiva a travs de diversas escalas.

2. CARACTERIZACION DE UNA ESTRUCTURA FRACTAL

Un fractal es un ente matemtico que no se define de la manera habitual como se
definen otros conceptos matemticos. Se caracteriza por una propiedad de invariancia
en presencia de cambios de escala. Esta propiedad se denomina auto-semejanza y
puede presentarse de maneras y formas muy distintas: en algunos casos, la autosemejanza es matemtica exacta y hablamos de fractales deterministas, mientras que
en otros casos, que se encuentran en el mundo real que nos rodea, la auto-semejanza es
aproximada.
Los fractales deterministas constituyen un nuevo tipo de Geometra: la
Geometra Fractal [3], que es, ante todo, un nuevo lenguaje. Mientras que los
elementos de nuestra bien conocida Geometra Euclidiana son lneas, crculos, esferas,
etc., los elementos de la Geometra Fractal escapan a la percepcin directa. Ello se debe
a que son algoritmos que solamente la computadora puede convertir en formas y
estructuras. El principio de auto-semejanza se presenta aproximadamente en la
naturaleza: en lneas costeras y en cuencas de ros, en la formacin de nubes y en el
crecimiento de rboles, en el flujo turbulento de fluidos y en la organizacin jerrquica
de sistemas vivos.

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

115

Fractales

2.1. Geometra Euclidiana y Geometra Fractal

EUCLIDIANA

FRACTAL

Tradicional. Ms de 2000 aos.

Moderna. Fractales: 1980

"Monstruos" a comienzos del siglo XX

Simetras simples. Rotaciones.

Simetras homeomtricas
Auto-semejanza (estadstica)

Objetos con magnitudes caractersticas

Irregularidad en todas las magnitudes

Adecuada para describir objetos

Adecuada para describir procesos no

fabricados por el hombre

lineales en la Naturaleza

Descripta por frmulas algebraicas

Descripta por algoritmos recursivos

ideales para una computadora

3. DIMENSION FRACTAL
La auto-semejanza est fuertemente conectada con nuestro concepto intuitivo de
"dimensin". Matemticamente, un punto tiene dimensin topolgica cero, una lnea
tiene dimensin 1, un cuadrado tiene dimensin 2 y un cubo tiene dimensin 3. A estas
dimensiones espaciales, se le suma una cuarta dimensin: el tiempo. Estas cuatro
dimensiones son nmeros enteros. La genialidad de Mandelbrot consisti en intuir que
podan existir configuraciones con dimensiones no enteras! Asi por ejemplo, un
segmento puede dividirse en N partes idnticas, cada una de las cuales estar en la
relacin r = 1/N con el segmento total. Anlogamente, un cuadrado en el plano puede
dividirse en cuadrados ms pequeos auto-semejantes que estarn en la relacin r =
1/N1/2 con la figura completa. Lo mismo suceder con un cubo dividido en cubos ms
pequeos. En ese caso, r = 1/N1/3. De esta manera un objeto auto-semejante Ddimensional puede dividirse en copias ms pequeas del mismo que estn en la relacin
r = 1/N1/D con el todo. O bien
N = 1/rD

de donde despejamos la "DIMENSION FRACTAL" D:

116

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Fractales

D = log N / log (1 / r).

Por supuesto, D no precisa ser un nmero entero y los logaritmos pueden

tomarse en cualquier base. Pero su valor numrico para una curva plana auto-semejante
representa cuantitativamente cuan irregular es la curva. Esto es, si la dimensin fractal
de la misma est ms cerca de 2 que de 1, la curva tender a llenar prcticamente todo el
plano.
Incluso, una estructura puede llegar a tener una dimensin fractal entera, como
lo muestra la curva llamada copo de nieve de William Gosper (un brillante
computador que trabajaba en el Laboratorio de Los Altos, California, USA) cuya
dimensin fractal es igual a 2 (Figura 1). Esta curva se construye partiendo de siete
hexgonos regulares y uniendo ocho vrtices, formando siete segmentos de igual
longitud. La segunda iteracin se obtiene reemplazando cada segmento por una lnea
quebrada de siete segmentos donde cada nuevo segmento es igual 1/ 7 del que le
precede [4].

D=

log 7
log 7

log 7
=2 .
1
log 7
2

Fig. 1 Motivo (a) y generacin

del fractal de Gosper, partiendo
de un hexgono regular (b). En (c)
se muestra la quinta iteracin.
b

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

117

Fractales

Cabe acotar que existen otros ejemplos previos de curvas que llenan el plano,
como la curva ideada por el matemtico italiano Giuseppe Peano (1858-1932), pero en
ese caso se tienen puntos de auto-interseccin.
Se han propuesto diversas definiciones de fractales pero no existe todava una
suficientemente general. En principio, se acuerda en no definir un fractal sino enumerar
sus propiedades caractersticas, a saber:

Un fractal tiene una estructura fina; esto es, mayor detalle en escalas
arbitrariamente pequeas;

Un fractal es demasiado irregular para ser descripto con la Geometra Euclidiana

tradicional, tanto local como globalmente;

Con frecuencia, un fractal tiene una cierta forma de auto-semejanza, quizs

aproximada o estadstica;

En general, la dimensin fractal es mayor que la dimensin topolgica;

En muchos casos interesantes, el fractal se define en forma muy simple, por lo

general, con un mtodo recursivo.

4. CONJUNTOS INFINITOS
Se llaman conjuntos infinitos numerables aquellos conjuntos que pueden
ponerse en correspondencia biunvoca con el conjunto de los nmeros naturales. P. ej. el
conjunto de los nmeros pares, el conjunto de los impares, el conjunto de los cuadrados
de los nmeros naturales (cubos, etc.).
12

22

32

42

52

62

72

82

92

...

...

Adems de estos casos sencillos, existen otros conjuntos que tambin son
infinitos numerables, pero no en forma evidente. P. ej., el conjunto de las fracciones
racionales de la forma p/q , donde tanto p como q son nmeros naturales y q es distinto
de cero, que supondremos son irreducibles. El matemtico alemn de ascendencia

118

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Fractales

danesa Georg Cantor (1845-1918) prob que las fracciones racionales forman una
sucesin infinita numerable. Para ello las orden en el llamado arreglo de Cantor [5]:

1 1 1 1 1
K
1 2 3 4 5
2 2 2 2 2
L
1 3 5 7 9
3 3 3 3 3
L
1 2 4 5 7
4
.............................
1

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

5. CONJUNTOS NUMERICOS
Las fracciones que hemos visto hasta ahora se llaman nmeros racionales o
conmensurables, porque pueden medirse como el cociente de dos nmeros naturales y el
resultado es una expresin decimal finita o bien infinita peridica. Pero existen otros
nmeros que son irracionales o inconmensurables. Dichos nmeros irracionales
fueron descubiertos por Pitgoras de Samos al notar la inconmensurabilidad de la
hipotenusa de un tringulo rectngulo. Matemticamente, el conjunto de los racionales
junto con el de los irracionales forma el conjunto de los nmeros reales, que posee la
propiedad de ser denso, esto es, representados en la recta real, no presentan ningn
agujero.
Los nmeros irracionales, tales como , 2 , e, admiten una expresin decimal
con infinitos dgitos que no se repiten en forma peridica. Obviamente, dicha expresin
no nos permite cuantificar el grado de irracionalidad, o sea el grado de aproximacin de
las aproximantes racionales al nmero irracional. Este grado de irracionalidad resulta
sumamente importante en las experiencias que se disean buscando fronteras entre el
sistema dinmico que se comporta peridicamente y su transicin a un sistema catico,
donde es imposible predecir el comportamiento ya que condiciones iniciales muy
semejantes originan resultados totalmente dispares. Este comportamiento indica la
aparicin del caos. Para detectar este grado de irracionalidad, usaremos la llamada
descomposicin en fracciones continuas.

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

119

Fractales

6. DESCOMPOSICION EN FRACCIONES CONTINUAS

Todo nmero real puede ser desarrollado en fracciones continuas. Dicha
descomposicin se remonta al libro Liber Abaci publicado en 1202 por Leonardo de
Pisa, cuyo seudnimo era Fibonacci. Qu es una fraccin continua? Es una expresin
del tipo
x = a0 +

1
a1 +

1
a2 +

1
O

que se escribe x = [a 0 , a1 ,...] . El primer coeficiente puede ser nulo (caso en que el
nmero real est comprendido entre 0 y 1) pero el resto de los coeficientes son enteros
positivos. La sucesin de coeficientes es finita si y solo si x es un nmero racional. Por
ejemplo, es fcil verificar la siguiente descomposicin en fracciones continuas de un
nmero racional

18
= 2+
7

1
1+

= [ 2 ,1,1,3].

1
1+

1
3

Si, en cambio, x es un nmero irracional, el desarrollo es infinito y si tomamos

un nmero finito de trminos tales como
k = a0 +

1
a1 +

1
L+

1
ak

obtenemos una sucesin de aproximantes racionales al nmero x que tienden a x

cuando k .
Algunos nmeros irracionales tales como y e (la base de los logaritmos
neperianos) tienen aproximantes que convergen muy rpidamente. En particular, el
nmero = [3,7, 15, 1, 292, ...] converge tan rpidamente que la tercer aproximacin
racional 3 =

335
= 3,1415929... tiene seis cifras decimales exactas! Asombrosamente,
113

este resultado ya era conocido por Tsu Chung Chi en la China del siglo V. En cambio,
120

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Fractales

e = 2,71828... = [2, 1, 2, 1, 1, 4, 1, 1, 6, 2, 2, 8, 1, ...] converge ms lentamente al

principio, debido a la existencia de muchos unos en el desarrollo. Comparativamente,
los irracionales cuadrticos son de convergencia ms lenta.
Al igual que con las expresiones decimales peridicas, las fracciones continuas
peridicas se denotan con una raya sobre el perodo y si la descomposicin es de la

forma x = a 0 , a 1 , L , decimos que la fraccin continua es peridica pura. Al

respecto, el matemtico francs Joseph Louis Lagrange (1736-1813) prob que un
nmero es irracional cuadrtico si y solo si su descomposicin en fracciones continuas
es peridica (no necesariamente peridica pura).

Ejemplo
Si tomamos la ecuacin cuadrtica
x2 x 1 = 0

y la resolvemos, comprobamos que su raz positiva es el conocido Nmero de Oro

=

1+ 5
Cmo hallamos su descomposicin en fracciones continuas? Simplemente,
2

tomamos la ecuacin cuadrtica y la dividimos miembro a miembro por x (valor no

nulo):

x = 1+

1
. Luego reemplazamos la x del segundo miembro iterativamente
x

por 1 + 1 / x . As obtenemos, despus de n iteraciones:

x = 1+

1
1+

1
1+

1
L+

1
1+

1
x

Si n resulta

= 1+

1
1
1+
1 +L

= [1]

que es una fraccin continua peridica pura.

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

121

Fractales

Este desarrollo, el ms simple de los correspondientes a todos los nmeros irracionales,

es el ms lentamente convergente pues sus denominadores son todos iguales a uno.
Coloquialmente podramos expresar este hecho afirmando:

EL NMERO DE ORO ES EL MS IRRACIONAL DE TODOS LOS

NMEROS IRRACIONALES!!

7. REFERENCIAS BIBLIOGRFICAS
[1]

N. BOURBAKI (1951). Thorie des Ensembles, Livre I, Hermann & Cie.

Editeurs.

[2]

Proceedings of the 7th International Congress on Mathematical Education ICME7 (1994), Les Presses de LUniversit Laval, Canad, ISBN 2-7637-7362-1.

[3]

JORGE G. PERERA, JORGE H. PERERA Y VERA W. DE SPINADEL,

(2007), Geometra Fractal, 3ra. Edicin, Editorial Nueva Librera, ISBN

[4]

VERA W. DE SPINADEL (2004), From the Golden Mean to Chaos, 2da.

Edicin, Editorial Nobuko S.A., ISBN 987-1135-48-3.

[5]

Briefwechsel Cantor-Dedekind (1937), editado por E. Noether y J. Cavailles,

Hermann & Co., Pars, Francia.

[6]

JOSEPH LOUIS LAGRANGE (1869, Nouvelle mthode pour rsoudre les

quations littrales par le moyen des sries, Oeuvres, Vol. 3, Gauthier-Villars,
Pars, Francia.

122

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura