Ir a la Revista

Inicio


Pgina 1 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Artculo de seccin
Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol. 12, N
o
1. Agosto Febrero 2012.
La Geometra de la Naturaleza: Benoit Mandelbrot
Vernor Arguedas T.
vernor.arguedas@ucr.ac.cr
Escuela de Matemtica
Universidad de Costa Rica
Las nubes no son esferas, las montaas no son conos, las costas no son crculos,
y las cortezas de los rboles no son lisas, ni los relmpagos viajan en una lnea
recta. Mandelbrot, de su libro Introduction to The Fractal Geometry of Nature
Este matemtico polaco francs norteamericano goz siempre de una gran reputacin, que se acrecent con el redes-
cubrimiento de conceptos que condujeron a la dimensin fractal y a los fractales. Existe una matemtica que modela
de manera acertada a ciertos procesos de la naturaleza? Es sencilla esta matemtica?
Ir a la Revista
Inicio


Pgina 2 de 20
Buscar
Pantalla grande
Guardar
Imprimir
La matemtica siempre ha servido de lenguaje de las ciencias, sobre todo
de las llamadas por algunos fcticas. A partir de ellas se han construido
modelos que simulan la realidad con mayor o menor xito y que frecuente-
mente estos modelos sustituyen a la misma realidad. En el caso de los
procesos rugosos roughness en el lenguaje de Mandelbrot tales como
pliegues, o bien fenmenos que se autoreplican como los proceso de repro-
duccin de clulas, las matemticas salvo modelos estadsticos y algunos
analticos han tenido un xito escaso. Volviendo a Mandelbrot hay muchsi-
mas referencias en lnea acerca de su biografa y su obra como por ejemplo:
http://es.wikipedia.org/wiki/Benot_Mandelbrot
El siglo XXI nos da la oportunidad de conocer a algunas de estas grandes guras, cmo eran fsicamente,
cmo explicaban sus teoras, en el caso de Mandelbrot podemos ver en un video de 17 minutos al maestro explicando
a una audiencia general sus conceptos, quienes lo vean pueden escoger subttulos en diversas lenguas, castellano
incluido (http://www.ted.com/talks/benoit_mandelbrot_fractals_the_art_of_roughness.html).
El video se lm en febrero del 2010, pocos meses antes de su deceso, y me parece muy educativo para los lectores
de este artculo que vean a quien fue una leyenda viviente en el mundo de las matemticas. Con simpata y sencillez
explica los diversos conceptos que l desarroll y cmo fue que empez a estudiar los conjuntos de Julia a instancias
de su to matemtico. l reconoce de manera simple que sin las computadoras no hubiera podido avanzar mucho. As
que los fractales tambin son un producto de los avances en tecnologa computacional.
Para quien desea aprender algunos detalles de los fractales, la referencia: http://es.wikipedia.org/wiki/
Fractal es til, se presentan algunos aspectos de la teora de fractales explicados de manera aceptable. Quienes
desean profundizar ms pueden consultar en: http://matap.dmae.upm.es/cursofractales/index.htm se trata
de un curso en lnea sobre fractales.
Ir a la Revista
Inicio


Pgina 3 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Hay muchos programas para dibujar fractales sencillos, en el sitio de Mathematica: http://demonstrations.
wolfram.com/JuliaSetsAndTheMandelbrotSet/ se puede ver una demostracin con Mathematica e incluso bajar
el cdigo fuente.
La teora de los fractales y el concepto de dimensin de Haussdorf no es sencilla, de ninguna manera va de acuerdo a
lo que predica la navaja de Ockham, que no es ms que una consecuencia del idealismo platnico y de la creencia de
que la naturaleza es sencilla.
El principio es atribuido al fraile franciscano ingls del siglo XIV Guillermo de Ockham que forma la base del reduc-
cionismo metodolgico. Este principio ya formaba parte de la losofa medieval aunque fue Ockham quien lo utiliz
de forma losca. Sin embargo, no solamente es un principio metodolgico sino que, adems, tiene caractersticas
gnoseolgicas y ontolgicas.
Pluralitas non est ponenda sine necessitate (la pluralidad no se debe postular sin necesidad.)
En su forma ms simple, el principio de Ockham indica que las explicaciones nunca deben multiplicar las causas sin
necesidad. El divulgador cientco Arthur Clark present un programa titulado: Fractals The Colors of Innity, el
cual se encuentra en youtube.com en seis partes cortas.
La primera parte se encuentra en http://www.youtube.com/watch?v=qB8m85p7GsU, est en idioma ingls. Una
versin con subttulos en castellano se encuentra en: http://www.youtube.com/watch?v=92l2HsKuoGk, ten-
emos que agradecerle al profesor Rafael Miranda Molina este esfuerzo de subtitular en 4 partes el programa de
Clark. Por cierto su canal Geometra Dinmica tiene materiales muy valiosos. Lo mismo se debe decir de su blog:
http://www.geometriadinamica.cl
Ir a la Revista
Inicio


Pgina 4 de 20
Buscar
Pantalla grande
Guardar
Imprimir
El concepto de dimensin tiene mltiples signicados en matemticas, por ejemplo en lgebra lineal signica el
nmero mximo de vectores linealmente independientes de un espacio vectorial. En teora de la medida, la dimensin
de Haussdorf tiene un sentido diferente, en el curso en lnea que citamos sobre fractales, http://matap.dmae.upm.
es/cursofractales/index.htm, de los profesores Bartolo Luque y Aida Agea, transcribimos una explicacin de
varias deniciones usadas en geometra fractal:
He aqu la cita textual del captulo 3 del curso en red:
Midiendo longitudes y volmenes
Una forma de medir la longitud de una curva es aproximarla a la longitud de una serie de pequeas rectas que la
recubren. Aese procedimiento los matemticos lo llaman recticacin. Cuanto ms pequeas sean las rectas escogidas
para el recubrimiento, ms exacta ser nuestra medida.
Pero...qu ocurre si intentamos medir la longitud total de un cuadrado? No su permetro, sino la longitud del
cuadrado mismo por este mtodo de recticacin.Tiene, siquiera, sentido tal pregunta?
Ir a la Revista
Inicio


Pgina 5 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Intentemos recticar el cuadrado de lado L = 1 de la gura. Para ello, probamos a recubrirlo con una lnea. No hay
duda de que es un recubrimiento inicial bastante burdo, pero as podremos hacer el procedimiento sistemtico. Nuestro
valor inicial de longitud de un cuadrado es L
1
= 1. Dividamos el cuadrado en cuatro cuadrados idnticos y tracemos
4 lneas que intenten recubrir cada uno de estos cuatro cuadrados. Cada una de estas lneas medir
1
2
. La nueva medida
L
2
ser L
2
= 4
1
2
= 2. Una vez hemos denido el procedimiento, iteremos: ahora tenemos 16 cuadrados y 16 lneas
de longitud 1/4, en total L
3
= 16
1
4
= 4. En el paso cuatro tendremos L
4
= 64
1
8
= 8. Y as sucesivamente. Cuando
hayamos repetido esta tediosa, pero expeditiva operacin innitas veces, podremos decir que hemos recubierto el
cuadrado con lneas. No existir ni un solo punto por el que no pase una lnea, ni por ninguno de ellos pasar a la vez
ms de una. Para hallar matemticamente el valor de la longitud de la lnea que recubre al cuadrado empleamos el
lmite:
L = lim
n
2
2n

1
2
n

= lim
n
2
n
=
La rara pregunta: "Cul es la longitud de un cuadrado?" puede entonces responderse. Su longitud es innita. Intentemos
responder ahora a:Cul es el volumen de un cuadrado? Para medir el volumen de un objeto geomtrico, normalmente,
hallamos el lmite de la suma de elementos de volumen innitesimal que lo rellenan. Apliquemos ese procedimiento
intuitivamente claro para guras con volumen, al caso de un cuadrado. Necesitamos recubrir el cuadrado con pequeos
volmenes que no dejen huecos, ni excedentes. Lo conseguiremos con un procedimiento exhaustivo semejante al
anterior.
Ir a la Revista
Inicio


Pgina 6 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Nuestra primera aproximacin ser de nuevo un recubrimiento burdo: una sola caja cbica que contiene al cuadrado
como seccin transversal. As, V
1
= 1 1 1 = 1. De nuevo, dividamos el cuadrado en cuatro pedazos idnticos y sobre
cada uno repitamos el proceso anterior: recubrmoslos con cubos de arista correspondiente. Ahora tenemos 4 cubos
de volumen
1
2

1
2

1
2
=
1
8
. La nueva aproximacin ser V
2
= 4

1
2

3
=
1
2
. Si volvemos a dividir cada cuadrado
en 4 trozos necesitaremos 16 cubos de tamao

1
4

3
, cada uno para recubrir totalmente al cuadrado inicial. As
V
3
= 16

1
4

3
=
1
4
. Repetimos y conseguimos: V
4
= 64

1
8

3
=
1
8
. Si iteramos el proceso innitamente, como
hicimos antes, conseguiremos el volumen del cuadrado:
Ir a la Revista
Inicio


Pgina 7 de 20
Buscar
Pantalla grande
Guardar
Imprimir
V

= lim
n
2
2n

1
2
n

3
= lim
n
1
2
n
= 0
De modo que la longitud de un cuadrado es innita y el volumen es cero. Intuitivamente vemos que el resultado tiene
sentido: nos hacen falta innitas lneas de longitud nita para recubrir un objeto plano, as que podemos decir que
su longitud, en cierto sentido, es innita. Adems, el espesor de un objeto plano es nulo, de modo que su volumen
tambin debera serlo. En realidad, este resultado obtenido es general: para cualquier objeto geomtrico, medidas
que usen dimensiones ms bajas que su propia dimensin resultan innitas y ms altas, cero. Pero,qu podemos
decir de medidas sobre objetos fractales?Seguir funcionando este resultado general? Intentemos medir la longitud
de un tringulo de Sierpinski. El recubrimiento a travs de lneas nos viene sugerido de forma natural por la propia
construccin del objeto geomtrico.
Si la longitud del lado del tringulo equiltero inicial es 1, una primera aproximacin de la longitud ser L
1
= 3 1 = 3
(en la gura aparecen en negrita los segmentos que usamos en nuestra suma). Si tomamos en cuenta adems el
tringulo central de lado
1
2
, aadimos a la longitud anterior 3
1
2
, y entonces: L
2
= 3+3
1
2
= 4, 5 . Si aadimos
Ir a la Revista
Inicio


Pgina 8 de 20
Buscar
Pantalla grande
Guardar
Imprimir
los siguientes nueve tringulos: L
3
= 3+3
1
2
+9
1
4
= 6, 75. El siguiente recubrimiento ana ms an, consiguiendo:
L
4
= 3+3
1
2
+9
1
4
+27
1
8
= 10, 125. Y en el lmite, cuando recubramos todo el tringulo de Sierpinski, tendremos:
L

= 3+

i=0

3
2

i
Calculemos el rea. Emplearemos cuadrados para recubrir al tringulo. Nuestra primera aproximacin emplea un
cuadrado de lado 1 como muestra la gura. De modo que tenemos S
1
= 1. El siguiente paso ana un poco ms el
clculo utilizando tres cuadrados de lado
1
2
. Eso nos da: S
2
= 3

1
2

2
= 0.75. Seguidamente utilizamos 9 cuadrados
de lado
1
4
, esto es, S
3
= 9

1
4

2
= 0, 5625 . Ahora 27 cuadrados de lado un 1/over8 con rea estimada de S
4
=
27

1
8

2
= 0, 421875... Al llevar el proceso al lmite conseguimos el rea del tringulo de Sierpinski:
Ir a la Revista
Inicio


Pgina 9 de 20
Buscar
Pantalla grande
Guardar
Imprimir
S

= lim
n

3
n

1
2
n

= lim
n

3
4

n
= 0
Sorprendid@ ? El tringulo de Sierpinski es un objeto geomtrico de innita longitud, aunque se encuentra en una
regin nita del plano, cosa que implica dimensin mayor que uno. Pero a la vez tiene rea nula, que indica dimensin
menor que 2. Pero entonces, qu dimensin tiene? Intentaremos responder a la pregunta de cul es la dimensin del
tringulo de Sierpinski. Para ello vamos a aplicar el siguiente mtodo a distintas guras geomtricas: las recubriremos
exactamente con N piezas de tamao caracterstico R e intentaremos encontrar la relacin funcional entre N y R. Sea
un segmento de longitud L=1. Podemos recubrirlo (Cuadro 1).
2 segmentos de tamao
1
2
N = 2, R =
1
2

1
2

1
= 2
4 segmentos de tamao
1
4
N = 4, R =
1
4

1
4

1
= 4
8 segmentos de tamao
1
8
N = 8, R =
1
8

1
8

1
= 8
... ... ...
2
r
segmentos de tamao

1
2

n
N = 2
n
, R =
1
2
n
R
1
= N
Observa que el exponente -1 cambiado de signo coincide con la dimensin 1 de una recta.
Ir a la Revista
Inicio


Pgina 10 de 20
Buscar
Pantalla grande
Guardar
Imprimir
4 cuadrados de tamao
1
2
N = 4, R =
1
2

1
2

2
= 4
16 cuadrados de tamao
1
4
N = 16, R =
1
4

1
4

2
= 16
64 cuadrados de tamao
1
8
N = 64, R =
1
8

1
8

2
= 64
... ... ...
2
2n
cuadrados de tamao
1
2
n
N = 2
2n
, R =
1
2
n
R
2
= N
Ahora el exponente es -2, de nuevo cambiando el signo conseguimos la dimensin conocida. En este caso 2.
Ir a la Revista
Inicio


Pgina 11 de 20
Buscar
Pantalla grande
Guardar
Imprimir
La cosa promete... Ahora tomemos un cubo. Sea un cubo de arista L=1. Podemos recubrirlo, por ejemplo, con:
8 cubos de arista
1
2
N = 8, R =
1
2

1
2

3
= 8
64 cubos de arista
1
4
N = 64, R =
1
4

1
4

3
= 64
512 cubos de arista
1
8
N = 512, R =
1
8

1
8

3
= 512
... ... ...
2
3n
cubos de arista
1
2
n
N = 2
3n
, R =
1
2
n
R
3
= N
Y efectivamente el procedimiento nos devuelve dimensin 3. As que parece que la siguiente regla nos determina la
dimensin de un objeto geomtrico: recubrimos exactamente con N piezas de tamao caracterstico R. La relacin
N = R
D
Ir a la Revista
Inicio


Pgina 12 de 20
Buscar
Pantalla grande
Guardar
Imprimir
nos determina la dimensin Ddel objeto geomtrico. Qu exponente Dencontramos al aplicar este mtodo al tringulo
de Sierpinski? Supongamos, sin prdida de generalidad, que el lado del tringulo de Sierpinski mide 1. Podemos
recubrir exactamente el tringulo de Sierpinski con copias reducidas. Por construccin sabemos que debemos emplear
tres copias idnticas reducidas a
1
3
del tringulo original. Cada uno de los tres tringulos idnticos debera tener lado
R =
1
2
. Cada uno de estos tringulos a su vez est formado por tres copias reducidas, lo que hace un total de 9 copias
con R =
1
4
. Ahora ya vemos el proceso, el siguiente paso son 27 tringulos de lado R =
1
8
. Recordemos nuestra ltima
conclusin sobre la dimensin: N = R
D
.
Recopilemos:
3 tringulos de lado
1
2
N = 3, R =
1
2

1
2

D
= 3
9 tringulos de lado
1
4
N = 9, R =
1
4

1
4

D
= 9
27 tringulos de lado
1
8
N = 27, R =
1
8

1
8

D
= 27
... ... ...
2
r
tringulos de lado
1
2
n
N = 3
n
, R =
1
2
n

1
2
n

D
= 3
n
Despejando D obtenemos:
Dln2
n
= ln3
n
D =
ln3
ln2
D = 1.58496...
Ir a la Revista
Inicio


Pgina 13 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Una dimensin no entera! As la dimensin de autosimilaridad D de un objeto, hecho de N copias exactas a l
mismo y reducidas en un factor R, es:
D =
lnN
lnR
Para la lnea:
D =
ln2
ln
1
2
D = 1
Para un cuadrado:
D =
ln4
ln
1
2
D = 2
Para un cubo:
D =
ln8
ln
1
2
D = 3
Ir a la Revista
Inicio


Pgina 14 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Y para el tringulo de Sierpinski:
D =
ln3
ln
1
2
D = 1.58496...
Esparcido por la literatura cientca, el concepto de dimensin fractal se utiliza indiscriminadamente para designar
dimensin de auto-similaridad (self-similarity dimension), dimensin de capacidad (capacity dimension), dimensin
de correlacin (correlation dimension), dimensn de informacin (information dimension ), dimensin de Lyapunov,
dimensin de Minkowski-Bouligand y un largo etc.
No vamos a detallar todas las deniciones y diferencias entre todos los conceptos de dimensin. Pero s creemos
necesario ocuparnos de los ms usados. Antes de abordar otras deniciones nos detendremos, en la siguiente seccin,
en algunas de implicaciones matemticas de la auto-similaridad.
En las primeras secciones de este captulo hemos visto como al medir la longitud, el rea o el volumen de objetos
geomtricos, el valor medido dependa de la resolucin utilizada, del objeto que emplebamos para recubrir nuestra
gura. Denominamos relacin de escala a la forma matemtica que describe esta relacin funcional entre lo medido
y la resolucin de medida. Veamos cmo la autosimilaridad determina la relacin de escala. La autosimilaridad se
expresa matemticamente de la siguiente manera. Si a cierta escala de resolucin r nuestra medida es P(r), entonces
a escala (ar) nuestra medida P(ar) ser proporcional a P(r). Es decir,
P(ar) = kP(r)
donde k es una constante de proporcionalidad. Cmo depender entonces P de r, la medida de la resolucin?Qu
relaciones matemticas son compatibles con la autosimilaridad?
La relacin de escala ms conocida es la ley de potencias (power law) que se expresa como:
Ir a la Revista
Inicio


Pgina 15 de 20
Buscar
Pantalla grande
Guardar
Imprimir
P(r) = c r

Demostrarlo es fcil:
P(ar) = c a

y haciendo k = c a

recuperamos la autosimilaridad:
P(r) = k r

Existe una condicin ms general denominada forma completa (full form), que incluye como caso particular la ley
de potencias:
P(r) = c r

ln r
ln b

con c, y b constantes y f (x) una funcin peridica, tal que f (x +1) = f (x).
Podemos, de hecho es un mtodo estndar, determinar la dimensin fractal a partir de las relaciones de escala. Es el
mtodo ms usado a partir de medidas experimentales. En general, el nmero de piezas N(r) para recubrir una gura
geomtrica es proporcional a r-D como vimos en la seccin anterior:
N(r) = r
D
Ir a la Revista
Inicio


Pgina 16 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Supongamos que sobre nuestra gura geomtrica hemos hecho medidas de longitud, rea, volumen u otra medida P(r),
que como hemos dicho depende de nuestra escala de medida r. Cada uno de los N(r) objetos que hemos empleado
para recubrir la gura contribuye a la medida nal con r
d
, donde d es igual a 1 si se trata de rectas, 2 si de supercies,
etc ... As la medida en funcin de r ser:
P(r) = N(r) r
d
= r
D
r
d
= r
dD
que claramente es una ley de potencias.
En los dos ltimos captulos del curso (Fractales en la Naturaleza y Criticalidad Auto-organizada) exploraremos con
mayor detalle las leyes de potencias.
Olvamos de nuevo al concepto de dimensin. Como comentamos, existe todo un repertorio de dimensiones. Concep-
tualemente cada una determina una propiedad distinta del objeto geomtrico sobre el que la medimos. Podemos hacer
tres grandes grupos:
1. Dimensin fractal (p.ej. dimensin de autosimilaridad, de capacidad o de Hausdorff): se reeren a como
el objeto geomtrico llena el espacio en el que est inmerso. Las dimensiones fractales pueden ser enteras o
fraccionarias.
2. Dimensin topolgica (p.ej.: dimensin de recubrimiento o iterativa): nos hablan de la conectividad de los
puntos del objeto de medida. Nos dice si nuestro objeto es una arista, un plano, un volumen, un hipervolumen,
etc. Su valor es siempre entero.
Ir a la Revista
Inicio


Pgina 17 de 20
Buscar
Pantalla grande
Guardar
Imprimir
3. Dimensin de inmersin (Embedding dimension)3. : se reere al espacio que contiene al objeto de estudio.
Puede ser de nuevo entera o fraccionaria.
Como vimos la dimensin fractal de autosimilaridad es consistente con nuestra idea intuitiva de dimensin, pues nos
proporcionaba 1, 2 y 3 para un segmento, un cuadrado y un cubo respectivamente.
Una denicin ms general de dimensin fractal que la de autosimilaridad nos la proporciona la llamada dimensin de
capacidad (capacity dimension). Para poder medir la dimensin de autosimilaridad necesitamos que nuestro objeto
sea perfectamente autosimilar. Podemos relajar esta condicin y utilizar el mismo mtodo de recubrimiento para
medir la dimensin de capacidad. Recubriremos, independientemente de la gura geomtrica a estudio, con bolas
de radio r. Determinamos el mnimo nmero N(r) de bolas de tamao r que necesitamos para recubrir completamente
al conjunto de puntos que forma nuestra gura. La dimensin de capacidad es:
D = lim
r0
lnN(r)
ln
1
r
es decir un cociente que nos resulta familiar, pero haciendo el radio cero. La dimensin de capacidad es as una
generalizacin de la dimensin de autosimilaridad y ambas coinciden para objetos totalmente autosimilares.
En esa cita textual se aprecian varias deniciones de dimensin. A veces los proceso no lineales generan ex-
traos fenmenos, como el principio de sincronizacin que explica magistralmente el profesor Steven Strogat en:
http://www.ted.com/talks/steven_strogatz_on_sync.html
A quienes quieran leer el famoso libro de Mandelbrot The Fractal Geometry of Nature puden bajarlo del sitio: http:
//www.4shared.com/document/j5qrCWFe/The_Fractal_Geometry_of_Nature.html La BBC edit una serie
en que mezcla los conceptos de fractales y caos, el documental se llama la vida secreta del caos, con subttulos en
espaol http://www.youtube.com/watch?v=hbW_kNp8Wos&feature=related
Ir a la Revista
Inicio


Pgina 18 de 20
Buscar
Pantalla grande
Guardar
Imprimir
El documental se divide para efectos de youtube en siete partes, En la parte 6 http://www.youtube.com/watch?
v=ZalffH3ZdOY&feature=related se estudia la funcin compleja , un nmero complejo, jando un e iterando esta
funcin consigo misma se obtienen los grcos de diversos conjuntos fractales. Para diversos valores de y diferente
nmero de iteraciones se obtienen los diversos grcos, incluyendo el clebre conjunto de Mandelbrot:
Pocas veces en la historia se tiene la posibilidad de conocer tan de cerca a uno de los actores principales, en el
caso de Benoit Mandelbrot tenemos la suerte de tener videos y libros. En campos magnticos en una escala cuntica
se han observado procesos fractales como se reporta en febrero del 2011 en: http://fractalfoundation.org/
category/natural-fractals/
Ir a la Revista
Inicio


Pgina 19 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Ir a la Revista
Inicio


Pgina 20 de 20
Buscar
Pantalla grande
Guardar
Imprimir
Si los fractales y la teora del caos nos acercan a una mejor comprensin de los seres vivos est por verse, los indicios
son muy esperanzadores, pero indudablemente es una corriente de aire fresco en el vetusto edicio universo de las
matemticas sobre todo en el piso de la geometra.