MS ALL DE LA GEOMETRA

EUCLIDEA
Dr. Alberto Gutirrez Borda
Universidad Nacional San Luis Gonzaga
Departamento de Matemticas
Facultad de Ciencias

LA EVOLUCIN DE LA GEOMETRIA:
MANDELBROT CONTRA EUCLIDES

Desde tiempos pretritos el hombre ha intentado dar una

explicacin al comportamiento y a la estructura del cosmos. Se han
Buscado:

Leyes del Universo

Frmulas para predecir la cada de objetos
Anatoma de seres vivos
Estructura de la mente humana

Por lo general, el cosmos se subdivide en dos aspectos: el macro y el micro:

MACROCOSMOS: Conjunto de todo aquello que forma parte del universo y
que supera la escala humana (sistema solar, galaxias, constelaciones).

MICROCOSMOS: Conjunto de todo aquello cuya escala es inferior a la

nuestra (rganos del cuerpo, virus, molculas).

Hay una relacin entre ellos?

Filsofos Helenos
Los filsofos helenos, luego de percatarse de que la
razn 1,6180 bautizada despus como proporcin
urea, estaba presente en toda clases de
fenmenos, naturales, dando paso un primer paso
hacia una teora de unificacin de lo macro y lo
micro.

TABLA DE ESMERALDA (ao 650), texto de procedencia helenstica

(Hermes, Trimegisto) est resumida la gran obra, objetivo principal de la
alquimia, cuyo objetivo era entender la misteriosa relacin entre
macrocosmo y microcosmo y alcanzar as la sabidura.
Esta ambicin griega por unificar lo macro y Micro ha adquirido en
tiempos recientes un sentido diferente, planteada desde la perspectiva de
una nueva rama de las matemticas. Nacida dentro la amplia familia de las
geometras

Geometra
Casi toda la ciencia se basa en las Matemticas, el grado de madurez de
una ciencia o civilizacin se mide por el grado de matematizacin al que
ha llegado.

La Geometra fue una herramienta bsica para evolucin tecnolgica y

cientfica de todas las civilizaciones. Ejemplos:
CHINA: Cruzaron los ocanos sin temor a perderse, gracias a sus
potentes proyecciones cartogrficas.
EGIPCIOS: Construccin de sus pirmides.
ARISTARCOS DE SAMOS (310 a.C.), Calcul la distancia de la Tierra a la
Luna.
ERATSTENES de Alejandra (276 a.C- 194 a.C.): midi con gran
aproximacin el dimetro de la tierra.

Geometra
Herodoto, sealaba que la geometra en Egipto estuvo muy desarrollada, y
los griegos reconocieron que aprendieron de ellos.
La esencia de la geometra est ntimamente arraigada en nuestra forma
de concebir la realidad. Todo lo que vemos, omos y tocamos, primero lo
procesamos en trminos geomtricos, y lo adaptamos a una retcula
cuadrada.
Hasta bien entrado el siglo XIX la ciencia no abri los ojos a otro tipo de
formas.
Platn: Planteaba las sustancias que deba componer todas las cosas
conocidas de manera que consider cinco elementos bsicos: El fuego, el
aire, la tierra, el agua y el ter.

Slidos Platnicos
Segn una serie de
razonamientos lgicos, a
cada uno de ellos le asoci
una figura geomtrica:
el tetraedro (al fuego);
el octaedro (al aire);
el hexaedro o cubo (a la
tierra);
el icosaedro (al agua);
y el dodecaedro (al ter),
y son los nicos que
existen.

Slidos Platnicos

Modelo Platnico del Sistema Solar, visto por Kepler

JOHANNES
KEPLER
(1571-1630)
Astrnomo alemn intent encajar el
sistema solar en una macla armoniosa
de esferas y poliedros regulares.

Propuso situar cada planeta

conocidos hasta entonces sobres
seis esferas separadas por un
poliedro inscrito: todas las rbitas
estaba as contenida en esferas
gigantes
Al no poder explicar la contradiccin referente al tiempo y observaciones
tambin en la tabla de Tycho Brahe (1546-1601) Kepler abandon el
crculo. Finalmente utiliz la frmula de la Elipse.

La terrible deidad
Desde siempre han existido fenmenos que no entendamos, que
generaban sorpresas o miedo en nosotros, se refera al mundo del caos,
para eso tiempos el caos era una deidad, la diosa Khaos, en cambio el
cosmos no se identifica con ninguna figura divina.
El cosmos y el caos se consideran elementos contrapuestos, se les
asocian con el orden y el desorden.

Explica la Teogona de Hesodo (escrita hace 2700 aos), los Dioses

surgieron para imponer orden dentro del caos y poner fin a la
inseguridad humana.
La historia de la ciencia consiste tambin en la bsqueda del orden dentro
del caos, y la matemtica conforma una herramienta indispensable en
esta bsqueda. Mas adelante aparece los sistema dinmicos.

Complejidad
La mayora de los cientficos est de acuerdo con el premio nobel de Fsica
Pal Dirac en que toda ley fsica ha de tener belleza matemtica. La
necesidad de explicar todo el universo con una teora lgica, sencilla y
bella es siempre lo fundamental.
Platn:

Materia
Cinco elementos

asoci

Geometra
Cinco poliedros

Despus, las teoras cientficas de:

Hendrik Lorenz
Henri Poincar
Hermann Wey
Minkowski
Albert Einstein

A las ideas globales a la

materia y geometra le
aadieron el espacio y el
tiempo.
Podramos firmar en algn sentido que la humanidad
tiende de manera natural hacia la sencillez?

Complejidad
Las figuras por excelencia
son (en ese orden)
Crculo
Cuadrado
Triangulo
Pentgono
Polgonos regulares
Cnicas
Espirales
Otras curvas notables

Son figuras arquetipos.

El crculo aparece en
Stonehenge, baslicas
romanas, los otras figuras en
diferentes motivos
decorativos importantes.

Complejidad
Hay otras configuraciones:
Ron Eglash, antroplogo (Nueva York), ha investigado, la arquitectura, la
escultura, los motivos textiles, los juegos y otras formas africanas y observ
que los patrones producidos en diferentes culturas se puede caracterizar
por diseos especficos.

El antroplogo Ron
Eglash descubri
diversos tipos de
poblados fractales

Complejidad
En asentamientos tradicionales
de frica se tiende a usar
estructuras abigarradas, muros
rectangulares cerrando
rectngulos cada vez ms
pequeas y calles con ramales
que se desvan hacia estrechos
caminos de intrincada geometra
de repeticin. Es decir, con el
objetivo de optimizar una serie
de acciones vitales.
Siempre intentamos aplicar las formas euclideas a la realidad, aunque estn
limitadas al campo de la ms pura abstraccin matemtica, y de nuestra
mente. Muchos aspectos ya pueden no ser entendidos desde la geometra
euclidea.

La Preeminencia de Euclides
Hacia el ao 323 a.C., con la muerte de Alejandro el Grande, la fama de
la ciencia griega haba llegado a todos los pases por l conquistado.
El primer filsofo que mencion a Euclides
fue Proclo, all por los aos 800; que seala
que naci alrededor del ao 300 a. C. (No
hay certeza).
Euclides puso orden en la obra de la
matemtica existente, dando
demostraciones irrefutables, rigor,
sistematizando los conocimientos
El matemtico griego segn
el pintor flamenco Justo de
Gante.

La Preeminencia de Euclides
Euclides escribi como 12 obras, tan slo nos ha llegado cinco:

Elementos de Geometra,
Datos,
Divisin de Figuras,
Fenmenos,
ptica.

Los elementos constituye una de las obras

cientficas ms bellas, antiguas y extensas.
Trece libros:
6 geometra,
3 aritmtica,
1 Mediciones,
3 Geometra del espacio.
Se tuvo que esperar hasta el siglo XIX para
superarlo.

La Preeminencia de Euclides
En 1899, el alemn David Hilbert escribi Fundamentos de la Geometra,
obra en la que a partir de 21 axiomas o postulados, demostr teoremas de
geometra mtrica elemental y corrigi algunos defectos de la obra de
Euclides.
El ms polmico ha sido la cuestin del quinto postulado o de las paralelas:
Por un punto exterior a una recta del plano slo pasa una paralela
Muchos matemticos buscaron la
demostracin, as se convirti en el
cuarto problema ms famoso de la
poca griega junto con:
Cuadratura del crculo,
Triseccin del ngulo,
Duplicacin del cubo.

La Preeminencia de Euclides
Hasta que en el siglo XIX Carl Friedrich
Gauss y Nicolai Lobachevski probaron
que era no demostrable, as la
geometra de Euclides se resquebraj,
y se abri la puerta a las denominadas
geometras no eucldeas.

Triangulo rectilneo y
ms tres geometras de
curvatura constante

Geometra de la naturaleza
Las figuras estudiadas por Euclides presentan muchas limitaciones a la
hora de explicar el universo. La Geometra de la naturaleza est muy lejos
de tener las figuras perfectas de Euclides.
Al inicio del siglo XIX, el botnico escocs Robert Brown descubri una
gota que qued atrapada en un fragmento de roca gnea durante su
solidificacin.

Al enfocar dicha gota en un

microscopio observ trazas de
partculas minsculas que
oscilaban sin cesar con un
movimiento absolutamente
irregular.

Geometra de la naturaleza
Este movimiento le era familiar lo
haba observado al estudiar grano de
polen suspendido en agua.
La agitacin se bautiz como
movimiento browniano, muchos
sealaban que se deba a un
fenmeno fsico que a uno biolgico.

Movimiento browniano de una

partcula en la que puede apreciarse
tanto la complejidad de la
trayectoria como la similitud de sta
a diferentes escalas

Geometra de la naturaleza
No fue hasta 1905 cuando Albert Einstein estableci las primeras
implicaciones del Teora Cintica de los gases elaborada por James Clerk
Maxwell y Ludwig Boltzmann, y las aplic al estudio del movimiento
browniano.
Hoy este fenmeno se explica as:
Un fluido de polen suspendido en un fluido se ve sometido al
bombardeo de las molculas del fluido, y sta al chocar, producen
una inflexin en su trayectoria.

En 1906 Perrin se haba dado cuenta de su comportamiento, sobre todo

de la dificultad del trazo de una tangente en un punto.
Nadie hizo caso a los comentarios de Perrin, y espero hasta finales de 1960,
cuanto el matemticos franco americano Benoit Maldebrot lo retom, hay cerca
de 6 dcada de retraso.

Geometra de la naturaleza

LA DIMENSIN DESCONOCIDA

Parece que la primera vez que se sugiri la recursividad y la

autosimilitud de forma explcita fue en el siglo XVII, de la mano del
polifactico pensador alemn Gottfried Wilhelm Leibniz.
El problema de empaquetamiento ms famoso quizs ha sido el de la
conjetura propuesta por Kepler, y proviene de la fsica y la biologa,
motivado por una gran variedad de aplicaciones en cristalografa,
estructura de materiales amorfos o agregados coloidales.
En una ocasin, Leibniz dijo que una gota
de agua contena todo un universo, que a
su vez contena gotas de agua ms
pequeas con igual caractersticas, as

El Infinito en un Crculo

Autosemejanza
parcial

Imagen recursiva
de este envase de
cacao dio origen a
la expresin
efecto Droste.

El Infinito en un Crculo
Tena razn Escher al decir que le
era imposible llenar el crculo
central debido a la precisin
infinita con la que se tendra que
trabajar.
La forma en que Escher manipula
el espacio, generalmente de
forma intuitiva y responde a
principios estticos, es poco usual
en el mundo del arte
Escher buscaba la presentacin del
infinito en un espacio finito, motivo
que empez a gestar piezas en las
que reticulaba crculos y cuadrados

litografa con magnificaciones sucesivas

del centro (grabados de Escher)

El Infinito en un Crculo
Con este dibujo se explica un modelo de
espacio mtrico no euclidiano llamado disco
de Poincar, un modelo de geometra
hiperblica.
ngeles y
demonios, de
Escher.

Una funcin triangular que aparece en un

trabajo de Poincar sobre funciones
elpticas, utiliza geometras no Eucldeas.

En sus Crculos lmites, Escher

intent, visualizar la mtrica y el
aspecto de las rectas en este
modelo de geometra hiperblica,
y dar su propia interpretacin del
infinito.

Longitud de las Fronteras

Dos aproximaciones al clculo de la extensin de las costa de la isla

Mallorca realizado con dos segmentos de diferentes longitud.

Longitud de las Fronteras

Joramir Korcak, en 1938 estudi numerosas islas grandes de ciertas
regiones del mundo:
Dada cierta extensin s
Calcular el nmero de islas N(s)
observ que estas grficas
tenan algo en comn, dependa
de una potencia inversa de s:
=

En el siglo pasado, muchos

estudiosos elaboraron leyes
parecidas a Korcak.

El ms destacado es de
Lewistry Richardson (18811953),
para su medicin
usaba compas a diferentes
escalas y obtenan mejores
aproximaciones,
pero
a
cambio de escalas estos
crecan sin lmites, lo cual
despus se conocen como
efecto Richardson

Todo depende de la escala con que se mida

Esta situacin empeor cuando empezaron
aparecer diferentes tipos de dimensiones:
Topolgica
Hausdorff
Fractal
Autosimilar
muchas otras.
Estn relacionados, y algunas de ellos tiene sentido
en ciertas situaciones, mientras que otros, no.
La idea inductiva de dimensin se remonta a los
elementos de Euclides, ya define explcitamente:
Unidimensional, si su frontera est compuesta de
puntos.
Bidimensional, si est compuesta de curvas.
Tridimensional, si est compuesta de superficies.

Poincar volvi a
plantear la cuestin
en trminos
parecidos
Un espacio tiene
dimensin n si puede
ser partido de alguna
manera por otro de
dimensin n 1

Muchos otros
intentos:
Brouwer,
Urysohn,
Lebesgue, etc.

Sobre cubrimientos
La dimensin de recubrimiento
de Lebesgue es muy adecuado
cuando el conjunto es irregular.

Un recubrimiento de un subconjunto
S de , es cualquier coleccin de
conjunto abierto

Dimensin 1

En general, diremos que un

conjunto tiene dimensin
topolgica (o de recubrimiento)
n si el menor recubrimiento
posible es de orden n + 1
Dimensin 2

La curva de Peano
El matemtico italiano Guiseppe Peano, en 1890, descubri una curva
continua que pasaba por todos los puntos de un cuadro unidad 0,1 0,1 .
Un objeto de dimensin 1 poda transformase en otro de dimensin 2.
El mtodo estndar para
construir una curva de
Peano es un proceso
repetitivo que parte de
una curva inicial de 9
segmentos, que se van
sustituyendo por la figura
en cada iteracin anterior
El artculo publicado por Peano en 1890, resulta la
primera descripcin de una curva que recupera el plano

La curva de Peano

La forma de la curva de Peano, tras un nmero infinito de iteraciones, no sera

otra que la de un cuadrado normal

Todo depende de la escala con que se mida

Ocurre en este caso, que la geometra eucldea, con sus dimensiones
enteras, no logra alcanzar la esencia de las formas irregulares (escalas
diferentes)
Una frmula parecida, donde L expresa longitud:

L=

La ley descubierta por Richardson (y otros), segn el cual la longitud es

una funcin potencial de la precisin con exponente D, tiene utilidad
para discutir un nuevo concepto: La dimensin.
A comienzos del siglo XX, uno de los mayores problemas matemticos
fue determinar que significa dimensin y que propiedades tiene.

La curva de Hilbert
David Hilbert, public un ejemplo de una curva capaz de recubrir un
plano. El principio es diferente a la de Peano, en lugar de un nico
motivo, se emplea varios y con diferentes reglas cada uno de ellos.

A este tipo de
construcciones se
llama no estndar.
En la figura vemos que
cada paso, las
componentes se unen
con tres segmentos, y
stas cada vez ms
pequea a medida que
alcanzamos niveles
ms altos

La curva de Hilbert

Existen variaciones
de la curva de
Hilbert, modificada
para recubrir un
espacio
volumtrico

Curva de Koch
Despus de Peano y Hilber, muchos otros
matemticos propusieron nuevo ejemplos.
Helge von Koch (Suizo) en 1904, public el
artculo Sobre una curva continua sin
tangentes, construible mediante geometra
elemental.

Construccin:
Un segmento de recta horizontal de
longitud 1.
Reemplazamos la recta por 4
segmentos de recta de longitud 1/3 de
cada uno.
Tiene una propiedad asombrosa: su longitud
es infinita, pero el rea que dibuja, no.

Copo de Nieve de
Von Koch

Dimensin Fractal autosemejante

Despus de definir el concepto de dimensin por recubrimiento para
cualquier tipo de objetos, y al observar las curvas de Peano y Hilbert donde
cada secuencia tiene dimensin 1 pero, sin embargo, recubre una razn de
dimensin 2.
Los matemticos se vieron obligados a definir otro tipo de dimensin que
tenga en cuenta estas observaciones.
Este nuevo concepto de dimensin, se denomina dimensin fractal
autosemejante.
Despus se hace una extensin a figuras no autosemejantes (pero si
autosimilares) y obtendremos lo que se llama dimensin fractal
autosemejante si puede ser dividida en pequeas rplicas de s mismas.

Dimensin Fractal autosemejante

Factor de reduccin (factor de escala) r,
Nmero de piezas: n

El exponente de r que es D coincide con la dimensin topolgica de la

figura original, se cumple:

De donde,
=

()

A este nmero se llama dimensin de

semejanza, denotada por .

Conjunto de Cantor
Georg Cantor es hoy conocido sobre todo por su trabajo sobre el infinito. El
conjunto de Cantor fue definido en un artculo en 1883.
Construccin:
Se inicia con un segmento unidad 0 = 0,1 .
Se divide en tres partes iguales y eliminamos el intervalos central,
Continuamos este proceso para cada segmento.

Polvo de Cantor

Conjunto de Cantor: dimensin

El conjunto de Cantor est constituido por dos trozos =
(proporcionales ms pequeas), en una tercera parte semejante del total

= .
Dimensin de semejanza:

= ,
El conjunto de Cantor no
presenta conexin alguna
entre puntos y, por tanto,
tiene dimensin topolgica
cero.
Vemos que: >

Curva de Koch: Dimensin

Para el copo de nieve se
tiene,
n = 4, r = 1/3:
=
De donde su dimensin
de semejanza es,

= ,

Curva de Peano: Dimensin

Su construccin
es de
n=9
segmentos
y un factor de reduccin

= .

Por tanto:

= =

Alfombra de Sierspinski
Fue descrita por Waclaw Sierpinski
en 1916. Se forma tomando
conjunto de Cantor, uno horizontal y
otro vertical,
Se forma por un proceso iterativo de
eliminar el cuadrado central de un
conjunto de 9.

Se repite 8 = n veces el mismo patrn

reducido a 1/3 = r. Dimensin:
=

Sierspinski lo llam curva universal.

Alfombra de Sierpinsky

Triangulo de Sierpinski
El ms fcil de generarlo es
comenzar con un tringulo (no
necesariamente equiltero). Se
une los puntos medios de cada
lado para formar 4 tringulos
separados, se elimina el central.
Se repite el proceso con cada
uno de los tres restantes, y se
continua indefinidamente.
Dimensin:

=
= ,

n=3, r = , =

Tringulo de Sierpinski en
sus primeras iteraciones

Esponja de Menger: en el espacio

Generalizando la construccin del
conjunto de Cantor sobre un cubo
aparece otro objeto
extraordinario llamada la
esponja de Menger.
Karl Menger lo propuso en 1926.
Dimensin:

=
,

n = 20 cubitos,
factor r = 1/3 reducido a la
tercera parte
Escultura basada en la idea de la
esponja de Menger

Tetraedro de Sierpinski
Se obtiene de un
tetraedro, de un
proceso iterativo,
eliminando el tetraedro
central de cinco.
Su dimensin:

= , =

Tetraedro de Sierpinsky

Dimensin de Minkowski- Boulingand

Calcular la dimensin fractal de un objeto puede ser una tarea complicada
Cmo calcular las dimensiones de objetos como una mancha, esponja
real, nube?
Aqu no sirve el escalamiento, lo cierto es que hay muchos fractales que
aun no se ha podido calcular su dimensin
La respuesta est en Minkowski-Bouligand, conocida como la
dimensin de Minkowski o de recuento por cajas. Tiene ms
aplicacin en la ciencia, ya que se puede programar en un ordenador.
Es parecido a la dimensin topolgica por recubrimiento y con la
definicin de autosimilitud.

Dimensin de Minkowski- Boulingand

Un objeto en el plano, un recubrimiento por crculos de preferencia radio
pequeo, si se est en el espacio sera recubrimiento por esferas (bolas)
de radio .
Nmero de bolas: ()
Definimos:
=

()

es la definicin de Minkowski.

Flix Hausdorff (1868-1942), se dedic a estudiar la teora de la medida

y propuso una nueva definicin de dimensin que, a pesar de no
llevarse a la prctica tiene gran importancia terica.

3 FRACTALES LINEALES
La madre naturaleza no asisti a clases de
geometra en el instituto ni ley los libros de
Euclides de Alejandra. Su geometra es
irregular, pero tiene una lgica propia y fcil
de comprender.
Nassim Nicholas Taleb, El cisne negro

La obra de Escher desafa nuestros sentidos, sobre todo la idea del

infinito. El concepto de autosimilitud y del principio de continuidad
(Leibniz), se fueron construyendo los pilares de una nueva geometra.
Es filosfico, an no se ha llegado a un acuerdo para aceptar el
concepto de continuidad (una de las ms estudiadas). Comunmente se
supone que espacio y el tiempo son continuas, y ciertos filsofos
sealan que los procesos naturales ocurren continuamente, se recuerda
ah el famoso aforismo de Leibniz: natura non facit saltus la
naturaleza no da saltos

Continuidad
En matemtica, la definicin de continuo ha vivido un accidentado, y
tortuoso camino con Leibniz en trminos de infinitesimales, hoy se
es ms preciso con el concepto de Lmite.

En la actualidad, los conceptos de funcin, continuidad y

derivabilidad estn definidas con precisin.
Sobre continuidad: veces no es suficiente que sean continuas, a veces
se precisan otras caractersticas adicionales que las hagan mas
agradable desde el punto de vista matemtico. Esta caracterstica es la
continuidad uniforme, pequeos cambios en el valor de entrada da
pequeos cambios en el valor de la funcin.
1

Ejemplo: la funcin = es continua, pero no uniformemente

continua.

Continuidad
Toda funcin uniformemente continua es continua, pero no a la
inversa. Tambin otras caractersticas como la continuidad absoluta que
es una propiedad de suavidad ms abstracta que la continuidad uniforme.
Al principio del siglo XIX,
la mayora de los
matemticos crean que
una funcin continua
tena derivada, es decir,
que la recta tangente
estaba bien definida en
casi todas sus puntos.

Funcin de Weierstrass
En 1872, Kar Weierstrass,
conmocion a la comunidad
matemtica mostrando una
funcin continua que no
era derivable en ningn
punto.

=
=0

Cuando < 0,1 > la serie es

continua. Sin embargo,
Weierstrass demostr que no es
derivable en ningn punto si
es un entero impar positivo y
3
. > 1 + 2

Representacin grfica de la
funcin de Weierstrass para
a = 0,7 y b = 9.

Funcin de Riemann
En el ao 1861, Riemann,
haba usado la
construccin:

=
=

Es una suma sinusoidales

pero sin parmetros.
Se puede ver como una
curva de este tipo ilustra
una situacin o fenmeno
real.

La funcin de Riemann junto a la

cotizacin en bolsa de un determinado
banco en el perodo de una ao.

Funcin de Bolzano
La funcin de Bolzano,
se define como lmite
de una secuencia de
funciones poligonales
1 , 2 , 2 ,

Despus aparecieron
muchas funciones
continuas no
derivables.

La funcin de Bolzano

Funcin de Takagi
En 1903, el Japons Teigi Takagi
(1875-1960), su ejemplo fue ms
sencillo de Weierstrass.
Sustituye coseno por una
funcin tienda de campaa

1
2,
0
2
=
1
2 + 2,
<1
2

Funcin de Takagi
Construccin:
Partiendo de la tienda de
campaa se hacen dos copias de
ellas. Desplazamos la punta de la
tienda
hacia
la
izquierda
1

dejndola en el punto
,1 ;
4
luego los extremos son (0,0) y el
1
,1
2

Hacemos lo mismo con la segunda copia, pero lo desplazamos el punto

3

medio sobre 4 , 1 y los extremos 2 , 1 (1,0). La poligonal resultante

constituye el segundo paso de la construccin. Continua as,

La escalera del diablo

Georg Cantor, en 1884,
describi una funcin
realmente extraa en el
cuadrado unidad.
Es una funcin continua,
creciente, con derivada
nula en casi todos sus
puntos.
No hay prdida de continuidad, siempre horizontalmente, su longitud es 2,
exhibe autosemejanza, por sus propiedades enigmticas se le ha llamado
escalera del diablo

La escalera del diablo

Construccin:
Sobre el tercio 1/3 central de la
abscisa elevamos un segmento a la
altura de , y seguidamente trazamos
las dos diagonales que unen los
extremos de este segmento con los
vrtices del cuadrado.

En una segunda etapa se procede igual. Si proseguimos hasta el infinito

obtendremos la escalera.

Qu tienen en comn?
Hay transformaciones de semejanza, no cambian de forma: puede
cambiar la posicin, tamao, orientacin. Son transformaciones de
semejanza: traslaciones, dilataciones o reducciones, rotaciones y
reflexiones. Hacer simetras.
Ahora si adems e girar y hacer simetras aadimos dos nuevas
transformaciones que permita deformar en diferentes proporcin la
anchura y la altura de una figura y otra que permita girar con diferentes
ngulos los ejes coordenados se tiene conjuntos con afinidades en el
plano.
1. Transformacin convierte cuadrado en rectngulos,
2. Sesgo, convierte cuadrado en rombo.
Estas estructuras fractales que se obtienen a partir de
transformaciones se llaman autoafines.

Helecho de Barnsley
El helecho de Michael Barnsley viene de transformacin afines.
Esta constituido por 4
afinidades:
Comprimir la anchura a 0, y
obtener el tallo,
Transformacin de sesgo
(recuadrar la imagen) y se
obtienen las ramas.

Esta transformacin se puede

usar para construir fractales
lineales o tambin de sistema
de funcin iterada (Iterated
Funtion Systemes) o IFS.

FRACTALES DEL SISTEMA IFS

Sistema creado por Barnsley en 1985,
los IFS son un sistema de funciones que
se van iterando, son de la forma:

El helecho de Barnsley y sus

distintas afinidades

EL ORDEN DIFRAZADO

Descubri Mandelbrot el Conjunto de Mandelbrot?

Se descubre gracias a los trabajos de Gastn Julia (1893-1978) y Pierre

Fatou (1878-1929).
Se escribe como funcin cuadrtica = 2 + . Mandebrot tena
problemas para visualizarlo, ya que deba programar el algoritmo,
utilizaba ordenadores del ao 1980 como si fuera un microscopio.
DIFERENCIAS FUNDAMENTALES ENTRE LA GEOMETRA EUCLDEA Y LA FRACTAL

EUCLIDEA

FRACTAL

Tradicional (ms de 2000 aos)

Moderna (50 aos aprox.)

Dimensin entero

Dimensin fractal

Trata de objetos hecho por el

hombre

Apropiada para formas naturales

Descrita por frmulas

Descrita por algoritmos recursivos

(iteracin)

Conjunto de Julia
Iteracin:

zn 1 z

2
n

Condicin inicial y rbita

z , ( z ) , ( z )
2

,... z

2 2

, z1 , z2 ,...

z0 r (cos i sin )

r (cos i sin ), (r (cos i sin )) , (r (cos i sin ))

2

r (cos i sin ), r

(cos 2 i sin 2 ), r 4

,...
(cos 4 i sin 4 ),...
2 2

Conjunto de Julia
En el paso ensimo tendremos:

zn r [cos(2n ) i sin(2n )]
2n

Si comenzamos con un nmero complejo de mdulo r < 1,

sucesivamente el mdulo ir disminuyendo hasta tomar valor
r = 0 para n infinito.
Al contrario, si r > 1 el mdulo aumentar exponencialmente,
tendiendo a infinito.

El caso frontera, r = 1, mantendr los valores de la iteracin

en un crculo de radio unidad sobre el plano complejo.

Conjunto de Julia
De modo que todos los puntos del plano complejo pertenecen a uno
de estos dos conjuntos:

De modo que todos los puntos del plano complejo pertenecen a

uno de estos dos conjuntos:
(a) Si escapan al infinito (r > 1): conjunto de escape E.
En este caso los puntos exteriores del crculo unidad.

(b) Si permanecen recluidos en una

regin finita (r 1):
conjunto prisionero P.
En este caso el crculo unidad cerrado.
La frontera de P (r = 1) es el conjunto de Julia de esta
iteracin: la circunferencia unidad.

Conjunto de Julia
Julia centr sus estudios en el conjunto de
iteraciones cuadrticas:
2

zn 1 zn c

Fijado el parmetro complejo c establecemos una iteracin cuadrtica en

concreto.

Al potenciar el mdulo, la
iteracin nos manda al origen o
al infinito, excepto para el
mdulo de valor 1 (con c = 0).

Elevar al cuadrado
implica multiplicar el
ngulo por dos.

Sumar c = a + ib,
consiste en una
traslacin.

Conjunto de Julia

c = 0.275

c = -1.312

c=(+0.285,+0.535)

c = 1/4

c = -1.375

c=0

c = -2

c = -3/4

c=i

c=(-0.500,+0.563
c=(-0.687,+0.312)
c=(-0.125,+0.750

Conjunto de Julia
Cmo discriminar si un punto del plano complejo pertenece o no al
conjunto de escape Ec?
Existe un sencillo criterio:
Si |z| |c| y |z| > 2, entonces z es un punto de escape de la iteracin

zn+1 = zn2 + c
Supongamos que definimos r(c) = max (|c|, 2), y que se cumplen las
condiciones del criterio. Entonces, existe un > 0 tal que
r(c) = 2 + y |z| r(c).

Conjunto de Julia
Observemos que:

|z2 + c| |z2| - |c| = |z|2 - |c| |z|2 - |z| = (|z| - 1)|z|

Recordemos que |z| r(c) = 2 + . Entonces:
(|z| - 1)|z| (1 + )|z|.
En conclusin, si z cumple las condiciones previas, entonces:
|z2 + c| (1 + )|z|.
De modo que en cada iteracin el mdulo del nuevo valor crece.

Conjunto de Mandelbrot

zn1 zn2 c
El valor de c determina si un conjunto de Julia es conexo o no.
Para determinar qu valores de c producen conjuntos de Julia
conexos parece que no quede ms remedio que determinar cada
conjunto iterando todos los puntos del plano complejo para cada
funcin z2 + c.

Afortunadamente, se puede demostrar que basta con iterar

z0 = (0, 0)
para cada c.

Conjunto de Mandelbrot
Si la rbita con semilla
z0 = (0, 0) no escapa al
infinito, entonces el conjunto
de Julia es conexo.
El conjunto de todos los
valores c tales que sus
correspondientes conjuntos
de Julia son conexos
forman en el plano complejo
el famoso conjunto de
Mandelbrot.

Este es el dibujo original que

Mandelbrot descubri a la comunidad
cientfica a finales de los 70 cuando
trabajaba en el centro de
investigacin Thomas J. Watson.

Conjunto de Mandelbrot
En la figura de la izquierda estn
representados algunos conjuntos
de Julia con distintos valores de c.
Para valores de c dentro del
conjunto de Mandelbrot la forma
de los conjuntos de Julia es
semejante a crculos.
Fuera del conjunto tenemos
nubes de puntos desconectados
(conjuntos de Julia no conexos).
Los conjuntos de Julia ms
interesantes estticamente se
observan en la frontera del
conjunto de Mandelbrot.

Conjunto de Mandelbrot

Conjunto de Mandelbrot

zn1 zn2 c

Conjunto de Mandelbrot

Conjunto de
Mandelbrot con
diversos
conjuntos de Julia
apuntando cerca
del valor de c que
los genera

REFERENCIAS
(1) Alfaro A. Manuel, Murillo T. Manuel, Soto A. Alberto. Fractales.
Instituto Tecnolgico de Costa Rica, 2010.
(2) Bell, E. T. Historia de las Matemticas. Fondo de Cultura Econmica,
Mxico, 1949.
(3) Benoit Mandelbrot. La Geometra Fractal de la Naturaleza. Tusquets
Editores, Espaa, 1997.
(4) Binimelis Mara I. Una nueva manera de ver el mundo. Edit. EDITEC,
Espaa, 2010.
(5) Garca Ruiz, J. Fractales, qu, porqu, para que, una introduccin al
mundo de los fractales. Grficas Alhambra, Andaluca, Granada, 2009.
(6) Sabogal S., Arenas G. Una Introduccin a geometra fractal. Escuela
de Matemticas, Universidad Industrial de Santander, Bucaramanga,
2011.

GRACIAS POR SU ATENCIN

GRACIAS

www.sabermatematica.blogdiario.com

alguborda@yahoo.es