1/18

TEMAS DE MATEMTICAS
(Oposiciones de Secundaria)
TEMA 55
LA GEOMETRA FRACTAL. NOCIONES BSICAS.
1. Introduccin a la Geometra Fractal.
1.1. Una Geometra para las Formas Irregulares.
1.2. Geometra Fractal Versus Geometra Diferenciable.
1.3. Geometra Fractal y Teora Geomtrica de la Medida.
2. Elementos Geomtricos Especiales.
2.1. El Conjunto de Cantor.
2.2. Curvas de Peano y de Hilbert.
2.3. Curva de Koch.
2.4. Funciones de Weierstrass.
3. La Dimensin en la Geometra Fractal.
3.1. Dimensiones Fraccionarias. Dimensin de Homotecia.
3.2. Dimensin por Recuento de Cajas.
4. Geometra Fractal en la Naturaleza y las Ciencias.
4.1. Fronteras.
4.2. rboles.
4.3. Movimiento Browniano.
Bibliografa Recomendada.



2/18
TEMA 55
LA GEOMETRA FRACTAL. NOCIONES BSICAS.
1. INTRODUCCIN A LA GEOMETRA FRACTAL.
1.1. Una Geometra para las Formas Irregulares.
Hasta ahora la matemtica y, ms concretamente, la geometra ha explorado el
mundo fsico casi siempre simplificando la realidad compleja que l mismo encierra en
sus leyes y en sus formas.
Las dos simplificaciones ms habituales se refieren por una parte a la linealizacin
de las leyes (aproximacin lineal de una ley que no lo es) y por otra, la regularizacin de
las formas geomtricas (se suponen suaves o lisas tanto lneas como superficies que en
rigor no lo son).
Muy recientemente se ha descubierto cmo procesos regidos por leyes estrictamente
deterministas (p.e., la temperatura en un punto de la Tierra) dan lugar a futuros inciertos
e impredecibles de los que lo nico que podemos saber es que vagan casi
aleatoriamente por regiones geomtricas de estructura muy irregular. Son los llamados
Procesos Caticos de tipo determinista. Si a esto unimos los caprichos del azar, es decir,
la existencia de procesos puramente aleatorios, el resultado es una naturaleza con
formas muy irregulares y caprichosas.
Pero la Matemtica, una vez ms, no se ha dejado vencer y asustar por este nuevo
reto y, aunque en primera instancia utiliza para stos nombres catastrofistas (irracional,
caos, etc.), del mismo modo que racionaliz por medio de Dedekind el concepto de
nmero irracional, ahora pretende explorar y encontrar orden y regularidades en formas
geomtricas aparentemente caticas. Podemos afirmar pues que acaba de nacer la
Geometra Fractal.
El trmino fractal fue acuado recientemente por Mandelbrot para designar ciertos
objetos geomtricos de estructura irregular que l constat por primera vez, y que
estaban presentes en muchos comportamientos y formas de la naturaleza, aunque ya
haban sido tratados desde finales del s. XIX desde el punto de vista matemtico dentro
de lo que se conoce como Teora Geomtrica de la Medida.
Ha sido, por una parte, el descubrimiento de Mandelbrot y, por otra, el
descubrimiento del caos determinista, lo que ha provocado el enorme desarrollo y la
importancia que en poco tiempo ha adquirido esta geometra.
Hay muchos procesos en la naturaleza que conducen a formas irregulares. Pero
podemos destacar tres sumamente importantes, en los que habitualmente est el origen
de la irregularidad. Pasamos a describirlos.



3/18
a) La Separacin de Fronteras.
La frontera de separacin de dos medios suele venir caracterizada por el hecho de
que miradas a cualquier escala, se observan incursiones de un medio en el otro. Y
cuando aumentamos el grado de resolucin de la medida de la longitud o del rea, stas
aumentan indefinidamente. As pues, la modelizacin de estas fronteras, cuando esto se
tiene en cuenta, ha de hacerse con un tipo especial de curvas (o superficies) con la
curiosa propiedad de que la longitud (o el rea) de las mismas es infinita, hechos que
nunca ocurren con curvas o superficies suaves (diferenciables en todos los puntos).
Como ejemplos de uso de este tipo de modelizacin tenemos que es utilizada para el
estudio de costas, accidentes geogrficos, accidentes geolgicos, superficies de fractura,
superficies de separacin de fluidos, etc.
b) Los Procesos de Ramificacin.
Un proceso de ramificacin se puede explicar esquemticamente a partir de la figura
siguiente:
Podemos ver que el segmento inicial se ve
reemplazado, por ejemplo, por otros tres tales
que la suma de sus longitudes resulta mayor
que la del original. Es conocido que la
naturaleza utiliza procesos similares en
muchas ocasiones y a todas las escalas,
resultando estructuras ramificadas de las que
anteriormente la geometra clsica no se haba
ocupado.
Como ejemplos de este tipo de estructuras tenemos los polmeros ramificados,
estructuras coralinas, etc.
c) La Formacin de la Porosidad.
Si queremos modelizar fielmente la presencia de islas (poros) de todos los
tamaos, de un medio en el seno de otro, esto ha de hacerse con objetos geomtricos
nuevos que, a todas las escalas, tengan islas que no pertenezcan a dicho objeto. Puede
resultar as un slido sin volumen, con otras propiedades que, en principio, choquen con
la intuicin.
Por ejemplo, puede pensarse en la geometra de una nube, una esponja ,etc.
El estudio de este nuevo tipo de objetos geomtricos tiene aspectos y enfoques
totalmente nuevos y diferenciados respecto a la geometra tradicional, que hacen de la
geometra fractal una nueva geometra.



4/18
1.2. Geometra Fractal versus Geometra Diferenciable.
La caracterstica ms peculiar de la geometra fractal consiste en abordar el estudio
de formas geomtricas no diferenciables o quebradas, a cualquier escala que se miren.
Este hecho, tal vez, queda oculto por la forma en que usualmente se contrapone
geometra fractal a geometra eucldea, cuando sera mucho ms preciso establecer la
divisin entre geometra fractal y geometra diferenciable.
La geometra diferenciable estudia las formas geomtricas que miradas en
pequeo son lisas. En el caso de una curva, por ejemplo, no diferenciabilidad significa
que, localmente, se comporta como una recta y, aunque las formas que estudia la
geometra eucldea pueden ser diferenciables, la clasificacin geometra eucldea/no
eucldea no coincide con la clasificacin geometra diferenciable/no diferenciable.
Cuando se estudia un fenmeno real, el mismo contexto establece habitualmente el
alcance del trmino en pequeo. El objeto estudiado tendr medidas de determinada
magnitud, y los intrumentos de medicin o nuestro propio inters limitarn los mnimos
relevantes de dichas medidas.
El modelo diferenciable es vlido siempre que al estudiar muestro objeto con cierto
grado de aproximacin mayor que ese mnimo, su comportamiento local a una escala de
tal orden sea liso. Debido a que observador dotado de una visin normal no puede
apreciar las rugosidades en la superficie lunar, tambin estar dispuesto a admitir que
una esfera es un modelo geomtrico adecuado para ella. Sin embargo, un selenita que
habitase en un crter de la Luna podra oponer serias objeciones a tal comparacin. Por
tanto, la utilidad de cualquier modelo est en relacin directa con la oscilacin entre los
valores mnimo y mximo considerados en las magnitudes que se estudian.
La evidencia experimental indica que la regularidad aceptada por la geometra
diferenciable es excesivamente fuerte para poderse adaptar satisfactoriamente a la
mayora de las formas reales.
La geometra 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 geomtricas que, aunque
elementales, no dejan de ser externas al mismo. Busca la lgica interna del propio
objeto mediante relaciones intrnsecas entre sus elementos constitutivos cuando stos se
examinan a diferentes escalas. De esta forma no se pierden la perspectiva ni del objeto
global ni del aspecto del mismo en cada escala de observacin. La geometra fractal
busca y estudia los aspectos geomtricos que son invariantes con el cambio de escala.
Cuando se explora la lgica interna a que nos referamos antes, puede construirse un
modelo matemtico del objeto expresable como el lmite de un proceso geomtrico
iterativo que, con mayor o menor facilidad, se repite indefinidamente.
Dicho proceso iterativo, que resume la organizacin del objeto a sus diferentes
escalas y lo caracteriza, puede provocar en cada iteracin una ruptura (fractura) de la
suavidad que conlleva la ausencia de diferenciabilidad del objeto lmite. De esta
forma, la geometra fractal, adems de no perder la perspectiva del objeto en cada escala



5/18
de observacin, realiza el anlisis local del objeto sin la necesidad de suavidad del
mismo, hecho que requera la geometra diferencial para aplicar sus tcnicas.
1.3. Geometra Fractal y Teora Geomtrica de la Medida.
Actualmente, lo que se entiende por geometra fractal es una parcela de las
matemticas cuyos lmites reales no estn todava del todo claros. Histricamente, sus
orgenes se remontan a finales del siglo XIX y principios del siglo XX, con la aparicin
en el campo de las matemticas de conjuntos geomtricos de propiedades
aparentemente paradjicas.
En dichos conjuntos (curvas de Peano y Koch, conjunto de Cantor, etc.) pareca
existir una discordancia entre su tamao real y su configuracin especial como conjunto
de puntos (curvas con rea o con longitud infinita entre dos de sus puntos, etc.)
Los ejemplos plantearon la necesidad de establecer una medida adecuada de su
tamao, por una parte, y por otra el estudio de su forma o propiedades geomtricas. De
esta forma, se inici una nueva parcela del anlisis matemtico denominada Teora
Geomtrica de la Medida, que tuvo como punto de partida la definicin del concepto de
Dimensin de Hausdorff. Este concepto estableca da distincin del tamao de los
conjuntos paradjicos y sent sus bases con los trabajos de Besicovitch,
aproximadamente sobre 1920 a 1930. En ellos, con singular ingenio, estudi las
propiedades geomtricas de los conjuntos planos que l llam Irregulares: eran el
arquetipo de lo que hoy llamamos fractales, y sus trabajos fueron los cimientos de la
geometra fractal.
A partir de entonces, matemticos como Federer, Marstrand, Davies Falconer, etc,
continan el estudio de este tipo de conjuntos. En 1981, Hutchinson publica un trabajo
donde desarrolla un concepto bsico de la geometra fractal: el de conjunto
autosemejante. En 1977, Mandelbrot, en su obra La Geometra Fractal de la
Naturaleza, adems de acuar el trmino fractal, definede una idea que se convertira
con el tiempo en la razn del crecimiento exponencial de las aplicaciones de sta y de la
actual popularizacin del trmino: las formas de la naturaleza son fractales y mltiples
procesos de la misma se rigen por comportamientos fractales.
El ltimo punto clave en el desarrollo de la geometra fractal ha sido el
descubrimiento del Caos Determinista y el impacto del ordenador.
En sistemas dinmicos, el valor x
0
de un estado presente se va transformando con el
tiempo, sometido a una ley fija F (funcin) y va tomando los valores sucesivos
x
0
x
1
=F(x
0
) x
2
=F(x
1
) ........ x
n
=F(x
n-1
) .........
que, bajo ciertas condiciones, se van acercando a un conjunto ha llamado Atractor del
sistema. A veces, puede suceder que dicho atractor tenga una estructura fractal (atractor
extrao), hecho que suele ir unido a la circunstancia de que dos presentes prximos, x
0
y
x
0
, pueden dar lugar a futuros que se acercan y se alejan con el tiempo de forma casi
aleatoria, de los cuales, lo nico que se sabe es que estn, o se acercan con el tiempo, al
atractor extrao. Se tiene as una situacin que aun siendo determinista es, de hecho,
impredecible: es el llamado caos determinista.



6/18
Por otra parte, la exploracin de los futuros x
1
, x
2
, ..., x
n
, ... mediante iteraciones de
la funcin F, hoy en da es una tarea realizada por el ordenador, que ha supuesto una
ayuda indispensable para aproximarse (slo) a la geometra de esos atractores extraos.
2. ELEMENTOS GEOMTRICOS ESPECIALES.
A principios del siglo pasado, a la teora de la medida le surgieron una serie de
problemas derivados de la aparicin de conjuntos con propiedades no concordantes con
su estructura geomtrica (topolgica).
Con dichos conjuntos aparecan los primeros ejemplos de lo que llamamos fractales.
Sus paradjicas y sorprendentes propiedades fueron uno de los sustos que la
matemtica, en toda su historia, ha padecido. Se llegaban a resultados capaces de
violentar el sentido comn y que obligaban a los matemticos a prestar atencin a los
fundamentos de la misma.
En lo que se refiere al problema de evaluacin del tamao de los conjuntos
geomtricos, tales ejemplos ponen de manifiesto la insuficiencia de la medida de
Lebesgue y levantan de nuevo, con ms fuerza, los problemas de la teora de la medida.
2.1. El Conjunto de Cantor.
Es un ejemplo clsico de conjunto no numerable con el mismo cardinal del continuo
pero, a pesar de ello, con medida de Lebesgue unidimensional nula (longitud).
Se construye de la siguiente forma:
Partiendo del intervalo unidad E
0
=[0,1], se divide dicho intervalo en tres partes
iguales. Consideramos los dos intervalos cerrados de los extremos:
]
]
]

]
]
]

1 ,
3
2
3
1
, 0
12 11
E E
ambos de longitud
3
1
.
Cada uno de estos intervalos se divide a su vez en tres intervalos iguales,
prescindiendo de los intervalos centrales. Tenemos, por tanto, cuatro nuevos intervalos:
]
]
]

]
]
]

]
]
]

]
]
]

1 ,
9
8
9
7
,
3
2
3
1
,
9
2
9
1
, 0
24 23 22 21
E E E E
siendo cada uno de longitud
9
1
.
Si continuamos indefinidamente este proceso, en el paso K-simo obtenemos 2
k
intervalos cerrados:
E
kj
j:1, 2, ..., 2
k



7/18
donde cada uno de ellos es de longitud 3
-k
.
Para cada valor de k definimos:
U
k
j
kj
E E
2
1

Observemos que con los conjuntos E

k
para k:1, 2, ... tenemos una sucesin
decreciente, es decir
E
k+1
E
k
k
DEF El conjunto lmite de este proceso
I

1 k
k
E C
recibe el nombre de Conjunto Ternario de Cantor.
PROP El conjunto C de Cantor es no vaco y cerrado.
Dem.
En primer lugar, destaquemos que el conjunto de Cantor es No Vaco, pues en cada
E
k
estn, por lo menos, los extremos de los 2
k
intervalos cuya interseccin buscamos.
Adems, es Cerrado, por ser interseccin de cerrados.
PROP El conjunto C de Cantor es No Numerable.
Dem.
Cada punto de C se representa de forma nica mediante
...
3
...
3 3 3
3
3
2
2 1
+ + + + +
n
n
a a a a
a
donde a
i
toma los valores 0 2 i.
Podemos, por tanto, escribirlo en base 3 de la forma:
... ... ' 0
3 2 1 n
a a a a a
Recprocamente, cada expresin de este tipo corresponde a un punto de C.
Supongamos que estn todos en el siguiente cuadro (es decir, supongamos que es
numerable):
... ... ' 0
... ... ' 0
... ... ' 0
3 3
3
3
2
3
1
3
2 2
3
2
2
2
1
2
1 1
3
1
2
1
1
1
n
n
n
a a a a a
a a a a a
a a a a a

8/18
Entonces, formemos otro, de la forma
... .. ' 0
3 2 1 n
b b b b b
con el criterio siguiente:
0 2
2 0


n
n
n
n
n
n
b a Si
b a Si
El nmero b construido de esta manera no est en el cuadro anterior, y sin embargo,
es de C.
Luego C no es numerable.
PROP El conjunto C tiene medida de Lebesgue unidimensional nula.
Dem.
Para cualquier etapa k, la familia de intervalos {E
kj
} con j:1, 2, ..., 2
k
es un
recubrimiento de C formado por intervalos disjuntos.
As tenemos:
( )
k
k k
j
kj kj
k k
E L E L C L

,
`

.
|

]
]
]

3
2
3 2 ' ' ) ( '
2
1
2
1
U
Puesto que la desigualdad es cierta k y

,
`

.
|
k cuando
k
0
3
2
, se obtiene
L(C)=0
El conjunto de Cantor, adems de las propiedades ya demostradas que le hacen
contradictorio, tiene otras propiedades interesantes que dan idea de su estructura.
PROP El conjunto C no contiene intervalos, es Infinitamente Poroso.
Dem.
En primer lugar, cada punto viene determinado por la sucesin de intervalos {E
kj
}
con j:1, 2, ..., 2
k
, formado en cada etapa k por el intervalo E
kj
(1j2
k
) que contiene al
punto.
El dimetro de dichos intervalos tiende a cero. De esta forma, cualquier intervalo de
la forma (a,b) que contenga al punto x, es tal que existe un intervalo E
kj
de la sucesin
{E
kj
} asociada al punto x tal que E
kj
(a,b).
Ahora bien, los puntos del intervalo abierto central resultante de dividir E
kj
en tres
partes no son del conjunto C.
Por tanto, el conjunto C no contiene intervalos, lo cual significa que es Infinitamente
Poroso.



9/18
PROP Todo punto de C es lmite de una sucesin de puntos de C.
Dem.
Cada punto xC es lmite de la sucesin formada por los extremos de los intervalos
E
kj
de la sucesin {E
kj
} asociada a dicho punto.
2.2. Curvas de Peano y Hilbert.
En 1890, Peano construye una curva continua que pasa por todos los puntos del
cuadrado unidad [0,1]x[0,1]. Era el primer ejemplo de una curva que llena un espacio.
Aos ms tarde Hilbert, interesado tambin por este tipo de problemas, construye otra
del mismo tipo, con una construccin geomtrica ms simple de descubrir.
La curva de Hilbert se construye como sigue:
Dividimos el cuadrado unidad en cuatro cuadrados y unimos los centros de dichos
cuadrados por segmentos, tal como se ve en la figura.
Cada uno de los nuevos cuadrados se divide nuevamente en otros cuatro cuadrados,
y conectamos sus centros comenzando siempre por el cuadrado inferior izquierdo y
terminando en el cuadrado inferior derecho.
Se contina as indefinidamente, uniendo los centros de los cuadrados que resultan
en cada etapa. La curva lmite de tales poligonales llena el cuadrado unidad.
En la figura siguiente tenemos las seis primeras iteraciones de este proceso infinito.



10/18
2.3. Curva de Koch.
En 1904, el matemtico sueco Koch construye la curva que hoy lleva su nombre, de
la forma siguiente: se parte del segmento unidad [0,1] y se divide en tres partes,
sustituyendo la parte central por los dos segmentos que junto con dicha parte formaran
un tringulo equiltero. Se obtiene as una poligonal P
1
de longitud
3
4
.
P1
P0



11/18
Cada uno de los cuatro segmentos que
as quedan determinados vuelven a
generar, mediante la misma operacin,
otra poligonal P
2
, de longitud
9
16
.
Se procede indefinidamente de esta
manera, obteniendo en cada etapa k una
poligonal P
k
de longitud
k

,
`

.
|
3
4
. En la
figura siguiente aparecen 5 iteraciones
de este proceso.
La curva de Koch se define como la curva lmite a que converge la sucesin P
k
cuando k. Se trata, por tanto, de una curva de longitud infinita, ya que
k

,
`

.
|
3
4
.
Pero podemos decir ms, la longitud de la parte de la curva comprendida entre dos
puntos cualesquiera de la misma, tambin es infinita.
2.4. Funciones de Weierstrass.
Weierstrass dio otro ejemplo de una curva con comportamiento anlogo a las
anteriores, pero definida de forma analtica, es decir, como grafo de una cierta funcin.
La funcin de Weierstrass se define como:
( ) 1 2 1 sen ) (
1
) 2 (
< < <

y s con x x f
i
i i s
Dicha funcin es continua pero no diferenciable en ningn punto.
3. LA DIMENSIN EN LA GEOMETRA FRACTAL.
3.1. Dimensiones Fraccionarias. Dimensin de Homoteca.
Vamos a construir un conjunto
semejante al conjunto de Cantor, pero
en este caso partiremos de un cuadrado
cerrado (borde incluido) de lado 1, que
llamaremos Q.



12/18
Tomemos en cada una de sus cuatro esquinas un cuadrado de lado r

,
`

.
|
< <
2
1
0 r , de
forma que los cuadrados no se solapen entre s. Llamemos Q
i
(1i4) a los cuatro
cuadrados y sea
U
4
1

i
i i
Q E el conjunto formado por la unin de ellos. Se repite ahora la
construccin a escala sobre cada uno de los cuadrados Q
i
, tomando en cada una de sus
cuatro esquinas un cuadrado de lado r
2
, a los que llamaremos Q
ij
(1i,j4).
Obtenemos as una coleccin de 16 cuadrados de lado r
2
, a cuya unin llamaremos
E
2
. Repitiendo este proceso, llegamos a la etapa n donde nos encontramos con 4
n
cuadrados
4 ,..., , 1
2 1
...
2
1

n
i i
i
i i i Q
n
cuya unin es el conjunto E
n
. Definimos entonces el conjunto E como interseccin de
todos los E
n
.
I

1 n
n
E E
Una vez definido el conjunto E, lo que nos interesa saber es cul ser su dimensin.
Puesto que en cada una de las etapas, el conjunto E
n
es unin de cuadrados, resulta
tentador suponer que la dimensin de E es 2. Sin embargo, como E
n
es unin de $
n
cuadrados disjuntos de lados r
n
, la superficie de E
n
es 4
n
r
n
y como se verifica que
4
1
<
n
r , la superficie de E
n
es tan pequea como deseemos, con tal de tomar n
suficientemente grande. Como E est incluido en E
n
(n) la superficie de E es nula, lo
cual nos sugiere que descartemos el valor 2 para la dimensin de E.
Otra forma de ver la construccin de E es pensar
en el primer paso, en el que quitamos al cuadrado
Q el conjunto en forma de cruz complementario
E
1
y nos quedamos con el resto, que es E
1
. as
continuamos en los sucesivos pasos del proceso.
Razonando de esta manera, cabe pensar que para
obtener E hemos vaciado el cuadrado inicial Q de
forma tan exhaustiva que lo que resta no es una
superficie. Pero entonces, qu es lo que queda en
E?
Para poder responder a la pregunta formulada, numeramos las cuatro esquinas de
cada uno de los cuadrados de cada E
n
con nmeros del 1 al 4 segn una regla fija (por
ejemplo comenzando en la esquina inferior izquierda y siguiendo el movimiento
contrario a las agujas del reloj).
Esta numeracin permite asignar de forma biunvoca a cada sucesin finita de k
nmeros naturales i
1
, i
2
, ..., i
k
comprendidos entre 1 y 4 uno de los cuadrados que
componen E
k
, el cual ser el que se obtiene eligiendo primero el cuadrado que ocupe la



13/18
esquina del cuadrado inicial Q, indicado por el nmero de la sucesin i
1
, eligiendo
despus dentro de ste el cuadrado que ocupa la esquina indicada por i
2
y as
sucesivamente.
Las sucesiones de nmeros naturales comprendidos entre 1 y 4 son, de esta forma,
una especie de escalera que permite descender a los interiores del conjunto cantoriano
E.
De hecho, si consideramos sucesiones infinitas, en lugar de sucesiones finitas, con
ayuda de ellas podremos llegar hasta los mismos puntos de E. Cada sucesin infinita va
definiendo una sucesin de cuadrados, cada uno de ellos encerrado en el anterior y
conteniendo al siguiente, y cuyos lados tienden a cero, de forma que la interseccin de
todos ellos define un nico punto, segn el principio de los intervalos encajados.
Es evidente que cada uno de los puntos as obtenidos est en el conjunto E pues lo
est en cada E
n
. Es fcil ver que cualquier punto de E se puede obtener de la misma
forma, debido a que dicho punto debe pertenecer a algn cuadrado E
n
en cada paso n, y
el proceso de seleccin de cuadrados es precisamente el que nos lleva a la construccin
de las escaleras infinitas.
Por otro lado, es claro que en el momento en que dos sucesiones difieren en un
smbolo, los correspondientes puntos de E son diferentes, Es por ello que podemos
afirmar que el conjunto E tendr tantos puntos diferentes como sucesiones distintas se
pueden formar con nmeros comprendidos entre el 1 y el 4, siendo el nmero de stas
infinito y con potencia del continuo. Por tanto en E hay tantos puntos como en todo el
cuadrado inicial Q. Es por ello que parece demasiado grande como para asignarle la
dimensin 0.
Veamos ahora, por ltimo, si la dimensin de E es 1. Ello sera posible si nos
fijamos que la construccin de E se hace vaciando cada uno de los cuadrados que
componen los conjuntos en toda su superficie, y nos fijamos en el permetro de esos
conjuntos y no en su superficie.
Podramos concebir E como conjunto lmite de las curvas formadas por los bordes
de los cuadrados de los E
n
. Sumando los permetros de los 4
n
cuadrados de lado r
n
que
componen E
n
, obtenemos una longitud total para dichas curvas de:
n n
n
r P
1
4
+

Si
4
1
> r entonces P
n
y E parece demasiado grande para considerarlo una
curva.
Si
4
1
< r entonces P
n
0 y la dimensin de E parece intermedia entre 0 y 1.
Si
4
1
r entonces P
n
=4 y slo en este caso parece adecuado que la dimensin de
E sea 1.



14/18
As pues, si queremos que el proceso de medida d como resultado un nmero
finito, nos vemos abocados a prescindir del prejuicio de que las nicas dimensiones
posibles son las enteras, lo que nos conduce a ensayar Dimensiones Fraccionarias.
Un procedimiento para asignar una dimensin fraccionaria a E consiste en
considerar tal conjunto como lmite de los conjuntos de E
n
y asignarle, en consecuencia,
una medida d-dimensional lmite de las medidas d-dimensionales de los conjuntos E
n
.
Si d=2 sabemos que la medida bidimensional que corresponde a E
n
es 4
n
r
2n
, o lo que
es lo mismo, 4
n
l
n
2
donde l
n
=r
n
es el lado de cada uno de los cuadrados que forman E
n
.
Si d=1 habamos estimado la medida unidimensional de E, que es 4x4
n
l
n
. Es la
longitud del permetro de los cuadrados que lo determinan.
Por tanto, resultara natural considerar la expresin 4
n
xl
n
3
como estimacin de la
medida tridimensional de E
n
. Siguiendo el mismo razonamiento, podemos estimar la
medida d-dimensional de E
n
como
k4
n
l
n
d
donde k es una constante que depende de la dimensin, pero que no vara, afectando
slo como factor de proporcionalidad en el lmite, sin alterar el hecho de que ste pueda
tomar los valores cero, finito o infinito, para una dimensin determinada.
Por el contrario, el parmetro que determina cual de estos resultados finales ser el
correcto es la dimensin d. Sabemos que salvo para
4
1
r , las dimensiones enteras
conducen siempre a lmite 0 o infinito.
Vamos a tratar de ampliar las dimensiones fraccionarias para poder ajustar el valor
de el parmetro d de tal forma que el lmite de la expresin , la cual ser nuestra
estimacin de la medida d-dimensional de E, no tome los valores 0 o infinito. Si
podemos encontrar dicho valor de d, ser la dimensin que asignaremos a E.
Basta tomar d de manera que:
n
d
n
l

,
`

.
|

4
1
ya que entonces
n k l k
d
n
n
4
y ste ser el valor que la expresin toma en el lmite, y equivale a:
n
nd
r

,
`

.
|

4
1
pues l
n
=r
n
y por tanto



15/18
r
r r r
d
1
log
4 log
log
4 log
log
4 log
log
4
1
log

Obtenemos que la dimensin es:
r
E
1
log
4 log
dim
Podemos comprobar ahora mediante la expresin obtenida que:
Si
2
1
4
1
< < r 1 < dimE < 2
Si
4
1
0 < < r 0 < dimE < 1
Si
4
1
r dimE = 1
Este procedimiento nos lleva a uno de los posibles conceptos de dimensin
fraccionaria, y es la llamada dimensin de homotecia. Su aplicacin exige que el
conjunto en cuestin pueda ser descompuesto en copias de s mismo a escala, propiedad
muy especfica de dichos conjuntos. Cuando las figuras no verifican la propiedad
anterior no podemos aplicar la dimensin de homotecia, teniendo entonces que recurrir
a la dimensin de Hausdorff.
3.2. Dimensin por Recuento de Cajas.
Aunque el concepto de dimensin con el que generalmente se trabaja en geometra
fractal es el de dimensin de Hausdorff, existen otras definiciones de dimensin ms
fciles de computar y coinciden con ella en los casos ms interesantes.
Quiz el ms extendido sea el de Dimensin por Recuento de Cajas. La idea central
es encontrar un proceso de medida a cierta escala que ignore las irregularidades de
tamao menor y estudiar como vara dicha medida cuando 0.
Supongamos una curva C no necesariamente rectificable (de la que no podemos
calcular su longitud). Si reticulamos el plano con cuadrados de lado , podemos definir
-longitud de C como la suma de las longitudes de los lados de los cuadrados del
retculado que cortan a la curva C, y as, el nmero de stos es N

(C) y la -longitud
sera:
L

(C)=N

(C)
Si la curva fuese rectificable, podramos esperar que, cuando 0, L

(C) tendiese a
la longitud de dicha curva, pero si al ser mirada a cualquier escala siguiese mostrando
irregularidades (es decir, una curva de dimensin mayor que 1) cuando hiciramos
tender 0, el valor L

(C) tendera a infinito.

16/18
Definimos la dimensin de recuento por cajas de un determinado conjunto E como

log
) ( log
dim
0

E N
Lim E
B
donde N

(E) es el nmero de cubos de la -malla (en 3

n
) que corta a E, siempre y
cuando dicho lmite exista.
Puede demostrarse que N

(E) se puede sustituir, entre otros, por los siguientes

nmeros:
El menor nmero de cubos de lado que cubre E (no necesariamente
pertenecientes a la -malla).
El menor nmero de conjuntos de dimetro a lo sumo que cubre E.
Adems, en los casos ms importantes, el lmite anterior suele existir, lo que permite
simplificar su clculo tomando:
k

,
`

.
|

2
1

Se tiene entonces
k
k
k
B
E N
Lim E
2 log
) ( log
dim
0

donde N
k
(E) es el nmero de cubos de la etapa k-sima que cortan a E.
Como ejemplo de aplicacin, si E fuese el conjunto de Cantor tenemos que:
3 log
2 log
dim E
B
4. GEOMETRA FRACTAL EN LA NATURALEZA Y LAS CIENCIAS.
Qu significado preciso tiene decir que un objeto real, tal como una costa o la red
capilar del sistema venoso, es un fractal? Lo que queremos decir con ello es que
podemos definir un modelo matemtico fractal que aproxime satisfactoriamente al
objeto real en toda una franja de escalas limitada por ciertos valores mximo y mnimo
que llamamos corte superior e inferior, segn Mandelbrot.
Segn lo expuesto en el prrafo anterior, en el mundo real no existen fractales, al
igual que tampoco existen rectas ni esferas. Hablar de dimensin fractal de una costa no
es ms absurdo que hablar del radio de la Tierra.
4.1. Fronteras.
Las fronteras de separacin entre diferentes medios fsicos, biolgicos o sociales
proporcionan a menudo excelentes ejemplos de sistemas que se pueden analizar



17/18
mediante fractales. Un ejemplo clsico es el de las costas, pero pueden ser los bordes de
una nube, una superficie montaosa, la frontera entre dos paises, etc.
Los clebres Conjuntos de Julia son tambin fronteras (matemticas) entre regiones
del plano e igual sucede con el Conjunto de Mandelbrot.
La determinacin histrica de una frontera es un proceso semejante a la formacin
de una curva fractal del tipo de la curva de Koch. Concretando, mediante simulacin , la
curva de Koch que simula la costa de Gran Bretaa tiene dimensin de Hausdorff igual
a 126128, mientras que empricamente, Richardson obtuvo el valor de 13.
4.2. rboles.
Desde el punto de vista matemtico, un rbol es un conjunto de puntos o vrtices
(que seran los nudos de ramificacin de los rboles botnicos), unidos entre s por arcos
(ramas) de forma que si caminamos desde un vrtice por una sucesin consecutiva de
arcos diferentes, nunca regresaremos al vrtice de partida.
Este modelo resulta aceptable de forma obvia y en primera aproximacin para
alguno de los objetos naturales. Una red fluvial es un modelo natural de curva
caracterstica de conjuntos fractales como la curva de Peano o de Hilbert
4.3. Movimiento Browniano.
En 1827, Brown descubri como minsculas partculas de polen en una suspensin
acuosa realizaban una complicada danza compuesta de una sucesin de longitud y
direccin aleatorias.
En 1905, Albert Einstein public un estudio del Movimiento Browniano basado en
la teora cintica de los gases, que posteriormente permiti a Prrin calcular el nmero de
Avogadro.
En 1923, Wiener construy un modelo matemtico de tipo aleatorio que describe el
movimiento browniano con precisin satisfactoria. El modelo de Wiener refleja el
comportamiento de variados fenmenos naturales en los que interviene el azar.
Un camino Browniano es continuo, pero sus cambios permanentes y bruscos de
direccin causan, como en las curvas de Koch o de Hilbert, su no diferenciabilidad.
Sin embargo, las caractersticas de regularidad internas del movimiento browniano
son de naturaleza esencialmente diferente a las que poseen las curvas anteriores. En este
caso existe una regularidad de tipo estadstico que permite clarificar el movimiento
browniano como un Fractal Aleatorio.
Utilizando grficos de movimientos fractales brownianos definidos como funciones
de dos varables, Mandelbrot y otros han conseguido paisajes fractales tan realistas que,
al verlos, resulta difcil de imaginar que no son fotos tomadas de paisajes reales. En la
figura siguiente aparece un esquema de paisaje fractal obtenido por ese procedimiento.



18/18
Si se corta el grfico por cualquier plano vertical se obtiene el grfico de un movimiento
browniano fraccionario unidimensional.
BIBLIOGRAFA RECOMENDADA.
Estructuras Fractales y sus Aplicaciones. Aut. M. de Guzman y Otros. Ed. Labor.
Los Objetos Fractales. Aut. B. Mandelbrot. Ed. Busquets.