¿QUÉ ES LA GEOMETRÍA FRACTAL?

La geometría fractal ofrece un modelo alternativo que busca una regularidad

en las relaciones entre un objeto y sus partes a diferentes escalas. Esta forma de
regularidad no precisa el encorsetamiento del objeto en otras formas geométricas
que, aunque elementales, no dejan de ser externas al mismo, sino que busca la
lógica interna del propio objeto mediante relaciones intrínsecas entre sus
elementos constitutivos cuando estos se examinan a diferentes escalas. De esta
forma no se pierden ni la perspectiva del objeto global, ni del aspecto del mismo
en cada escala de observación. La geometría fractal busca y estudia los aspectos
geométricos que son invariantes con el cambio de escala.

DESARROLLO DE LA GEOMETRÍA FRACTAL

Los orígenes de la geometría fractal se remontan a finales del siglo XIX y

principios del XX con la aparición en el campo de las matemáticas de conjuntos
geométricos de propiedades aparentemente paradójicas. En dichos conjuntos
(curvas de Peano, conjunto de Cantor...) parecía existir una discordancia entre su
tamaño real y su configuración espacial como conjunto de puntos.

Los ejemplos plantearon la necesidad de establecer una separación a la

hora de estudiar la medida del tamaño y el estudio de la forma o de las formas
geométricas. Con esto surgió lo que hoy se denomina teoría geométrica de la
medida.

La teoría geométrica de la medida, tuvo su punto de arranque con la

definición del concepto de dimensión de Hausdorff, el cual establecía la distinción
del tamaño de los conjuntos paradójicos y que sentó sus bases con los trabajos de
Besicovitch durante los años 20 y 30 en los que estudió las propiedades
geométricas de los conjuntos planos, esto sería el prototipo de lo que hoy se
llamamos fractales, siendo sus trabajos la base de la geometría fractal. A partir de
entonces muchos matemáticos continuarán el estudio de este tipo de conjuntos.
 En 1977, B. Mandelbrot, en su obra “The fractal Geometry of Nature”
defenderá la idea de que las formas de la naturaleza son fractales y múltiples
procesos de la misma, se rigen por comportamientos fractales.

En 1981, Hutchinson publica un trabajo en el que desarrolla el concepto de

conjunto autosemejante, el cual será básico en geometría fractal y ha tenido gran
importancia en el desarrollo posterior de la misma.

Un punto clave en el desarrollo de la geometría fractal o teoría de la medida

ha sido el descubrimiento del caos determinista y el desarrollo del ordenador. En
sistemas dinámicos, el valor x0 de un estado en el presente se va a transformar
con el tiempo, debido a una función fija F, e irá tomando valores sucesivos que
bajo ciertas condiciones se van acercando a un conjunto “A” del sistema, a veces
puede ocurrir que dicho conjunto tenga estructura fractal, que suele ir unido a la
circunstancia de que dos puntos próximos pueden dar lugar a futuros que se
acercan y se alejan con el tiempo aleatoriamente. Obteniéndose así una situación
que siendo determinista, va a ser impredicible, esto es lo que se denomina caos
determinista.

Por otra parte, la exploración de los futuros x0, x1, ...., xn mediante las
iteraciones de la función F, se ve facilitada enormemente por el ordenador que nos
va a permitir aproximarnos a la geometría de estos conjuntos extraños.

Geometría Fractal

Por contraposición a la Geometría clásica, que estudia las formas geométricas suaves y
regulares, como rectas, curvas, superficies o más en general, variedades diferenciables, la
geometría fractal proporciona modelos matemáticos adecuados para el estudio de formas
geométricas complejas e irregulares, tan abundantes en la Naturaleza [2,3].

Una familia básica de conjuntos fractales son los autosemejantes, como el triángulo de
Sierpinski, la curva de Koch o el conjunto de Cantor. Los conjuntos autosemejantes se
caracterizan por descomponerse completamente en partes que son semejantes al total.
Naturalmente, si esto es cierto, en cada una de estas partes se produce una descomposición
análoga que puede proseguir indefinidamente a escalas arbitrariamente pequeñas. Otras
familias de conjuntos importantes en geometría fractal son los de tipo Moran,
generalización de los autosemejantes, en los que a cualquier escala cada parte se
descompone en partes no necesariamente semejantes al total, los generados por sistemas
iterados de funciones, los conjuntos autoconformes, los autoafines, las construcciones
dirigidas por cadenas de Markov, o los movimientos brownianos. Usando estos y otros
modelos fractales, hoy el hombre puede recrear en un ordenador una gran variedad de
procesos físicos, químicos, biológicos, geológicos y astronómicos.

La geometría clásica clasifica los objetos que estudia según su dimensión y utiliza medidas
adaptadas a cada dimensión, como la longitud, la superficie o el volumen para, la medición
de esos objetos. La mayor complejidad de los objetos fractales exige una gran variedad de
instrumentos de medida. Para empezar las dimensiones no son aquí necesariamente enteras,
sino que pueden tomar valores reales arbitrarios, por ejemplo la dimensión del triángulo de
Sierpinski es log2/log3. Además, se hace necesarias una variedad de medidas en cada
dimensión para capturar las múltiples propiedades geométricas de los objetos fractales. Así,
la cantidad mínima de espacio ambiente en la que se puede encapsular un conjunto se
describe por su medida de Hausdorff, mientras la cantidad de máxima de espacio ambiente
que se puede abarcar desde un fractal se describe por su medida de empaquetamiento.

El estudio de la Geometría Fractal usa variadas ramas de las matemáticas y de la Física,

como la Teoría de la medida, Análisis Armónico, la Teoría de Potenciales y Energías, la
Termodinámica, Cadenas de Markov y otros tipos de procesos estocásticos, Sistemas
Dinámicos, Teoría Ergódica, Ecuaciones Diferenciales, Álgebra…A su vez la geometría
Fractal proporciona nuevos instrumentos de análisis útiles en esas áreas.

La comprensión de estos instrumentos de medida tanto como la de los propios conjuntos

fractales es sumamente incompleta. Por ejemplo, no se sabe cual es la medida exacta de
casi ningún conjunto fractal, incluidos el triángulo de Sierpinski o la curva de Koch. La
dimensión de estos conjuntos y otras muchas características se conoce si sus partes
constitutivas están convenientemente separadas. Pero si las partes solapan, prácticamente
nada se sabe de ellos, puesto que no somos aun capaces de entender las cuestiones
relacionadas con la posición relativa entre las distintas partes que componen el total. El área
de investigación teórica en modelos fractales se centra hoy en buena parte en este tipo de
problemas.