Laberinto Fractal 20

El laberinto fractal
PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor informacin.
PDF generated at: Fri, 21 Oct 2011 22:50:10 UTC
Contenidos
Artculos
Fractal
Benot Mandelbrot
Conjunto de Julia
12
Algoritmo recursivo
14
Conjunto de Mandelbrot
15
Conjunto conexo
20
Espacio topolgico
22
Topologa
24
Problema de los puentes de Knigsberg
34
Teora de grafos
38
Mquina de Turing
48
Toro (geometra)
58
Cuerno de Gabriel
63
Evangelista Torricelli
64
Topologa simplctica
66
Autosimilaridad
68
Invariancia de escala
71
Teora del caos
72
Atractor de Lorenz
75
Caos y fractales
77
Referencias
Fuentes y contribuyentes del artculo
82
Fuentes de imagen, Licencias y contribuyentes
83
Licencias de artculos
Licencia
86
Fractal
Fractal
Un fractal es un objeto semigeomtrico cuya estructura
bsica, fragmentada o irregular, se repite a diferentes
escalas.[1] El trmino fue propuesto por el matemtico
Benot Mandelbrot en 1975 y deriva del Latn fractus,
que significa quebrado o fracturado. Muchas
estructuras naturales son de tipo fractal.
A un objeto geomtrico fractal se le atribuyen las
siguientes caractersticas:[2]
Es demasiado irregular para ser descrito en trminos
geomtricos tradicionales.
Es autosimilar.- Su forma es hecha de copias ms
pequeas de la misma figura. Las copias son
similares al todo: misma forma pero diferente
tamao. Ejemplos de autosimilaridad:
En la naturaleza tambin aparece la geometra fractal, como en esta

romanescu.
Fractales naturalistas
Set de Mandelbrot.- Es una transformacin no-linear
Fractales de paisajes.- Este tipo de fractales pueden producir paisajes realsticos convincentes.
Fractales naturales.- Los fractales encontrados en la naturaleza se diferencan de los fractales matemticos
porque los naturales son aproximados o estadsticos y su autosimiliralidad se extiende slo a un rango de
escalas.
Fractales de pinturas.-Se utilizan para realizar el proceso de decalcomania.
Su dimensin de Hausdorff-Besicovitch es estrictamente mayor que su dimensin topolgica.
Se define mediante un simple algoritmo recursivo.
No basta con una sola de estas caractersticas para definir un fractal. Por ejemplo, la recta real no se considera un
fractal, pues a pesar de ser un objeto autosimilar carece del resto de caractersticas exigidas.
Un fractal natural es un elemento de la naturaleza que puede ser descrito mediante la geometra fractal. Las nubes,
las montaas, el sistema circulatorio, las lneas costeras[3] o los copos de nieve son fractales naturales. Esta
representacin es aproximada, pues las propiedades atribuidas a los objetos fractales ideales, como el detalle infinito,
tienen lmites en el mundo natural.
Introduccin
La definicin de fractal en los aos 1970, dio unidad a una serie de ejemplos, algunos de los cuales se remontaban a
un siglo atrs:
Los ejemplos clsicos

Para encontrar los primeros ejemplos de fractales debemos remontarnos a finales del siglo XIX: en 1872 apareci la
funcin de Weierstrass, cuyo grafo hoy en da consideraramos fractal, como ejemplo de funcin continua pero no
diferenciable en ningn punto.
Fractal
Posteriormente aparecieron ejemplos con propiedades

similares pero una definicin ms geomtrica. Dichos
ejemplos podan construirse partiendo de una figura
inicial (semilla), a la que se aplicaban una serie de
construcciones geomtricas sencillas. La serie de figuras
sucesivos pasos de la construccin de la curva de Koch
obtenidas se aproximaba a una figura lmite que
corresponda al que hoy llamamos conjunto fractal. As,
en 1904, Helge von Koch defini una curva con propiedades similares a la de Weierstrass: el copo de nieve de Koch.
En 1915, Waclaw Sierpinski construy su tringulo y, un ao despus, su alfombra.
Construccin de la alfombra de Sierpinski:
Paso 1 (semilla)
Paso 2
Paso 3
Paso 4
Paso 5
Estos conjuntos mostraban las limitaciones del anlisis clsico, pero eran vistos como objetos artificiales, una
"galera de monstruos", como los denomin Poincar. Pocos matemticos vieron la necesidad de estudiar estos
objetos en s mismos.[4]
En 1919 surge una herramienta bsica en la descripcin y medida de estos conjuntos: la dimensin de
Hausdorff-Besicovitch.
Los conjuntos de Julia

Estos conjuntos, fruto de los trabajos de Pierre Fatou y Gaston Julia en los aos 1920, surgen como resultado de la
aplicacin reiterada de funciones holomorfas
.
Analicemos el caso particular de funciones polinmicas de grado mayor que uno. Al aplicar sucesivas veces una
funcin polinmica es muy posible que el resultado tienda a
. Al conjunto de valores de
que no escapan
al infinito mediante esta operacin se le denomina conjunto de Julia relleno, y a su frontera, simplemente conjunto
de Julia.
Estos conjuntos se representan mediante un algoritmo de tiempo de escape, en que cada pixel se colorea segn el
nmero de iteraciones necesarias para escapar. Suele usarse un color especial, a menudo el negro, para representar
los puntos que no han escapado tras un nmero grande y prefijado de iteraciones.
Ejemplos de conjuntos de Julia para
En negro, conjunto de Julia

relleno asociado a fc, c=-2,
donde es el nmero ureo
Conjunto de Julia relleno

asociado a fc, c=(2)+(1)i
=-0.4+0.6i
Conjunto de Julia relleno asociado a fc,

c=-0.835-0.2321i
Fractal
Familias de fractales: el conjunto de Mandelbrot

La familia de conjuntos de Julia
, asociadas a la reiteracin
de funciones de la forma
presenta conjuntos de
una variedad sorprendente.
En negro, imagen del conjunto de Mandelbrot

superpuesto con los conjuntos de Julia rellenos
representados por algunos de sus puntos (en rojo los
conjuntos de Julia conexos y en azul los no conexos).
Dicha familia tendr especial relevancia al quedar parametrizada en un mapa de fractales, popularizado en los aos
1980. llamado conjunto de Mandelbrot. Este conjunto M representa un mapa en que cada pixel, correspondiente a un
valor del parmetro
, se colorea de modo que refleje una propiedad bsica del conjunto de Julia asociado a
. En concreto,
si el conjunto de Julia asociado a
es conexo.
Caractersticas de un fractal
Autosimilitud
Segn B. Mandelbrot, un objeto es autosimilar o autosemejante si sus partes tienen la misma forma o estructura
que el todo, aunque pueden presentarse a diferente escala y pueden estar ligeramente deformadas.[5]
Los fractales pueden presentar tres tipos de autosimilitud:
Autosimilitud exacta. este es el tipo ms restrictivo de autosimilitud: exige que el fractal parezca idntico a
diferentes escalas. A menudo la encontramos en fractales definidos por sistemas de funciones iteradas (IFS).
Cuasiautosimilitud: exige que el
fractal parezca aproximadamente
idntico a diferentes escalas. Los
fractales de este tipo contienen
copias menores y distorsionadas de
s mismos. Matemticamente
Cuasiautosimilitud en el conjunto de Mandelbrot: al variar la escala obtenemos copias del
conjunto con pequeas diferencias.
D.Sullivan defini el concepto de
conjunto cuasiauto-similar a partir
del concepto de cuasi-isometra. Los fractales definidos por relaciones de recurrencia son normalmente de este
tipo.
Autosimilitud estadstica. Es el tipo ms dbil de autosimilitud: se exige que el fractal tenga medidas numricas
o estadsticas que se preserven con el cambio de escala. Los fractales aleatorios son ejemplos de fractales de este
tipo.
Fractal
Dimensin fractal y dimensin de Hausdorff-Besicovitch

Entre los fractales podemos encontrar ejemplos como curvas que llenan todo el plano. En ese caso, la dimensin
topolgica de la curva, que es uno, no nos informa sobre la forma en que esta ocupa el espacio ambiente. De modo
general, podramos preguntarnos cmo densamente un conjunto ocupa el espacio mtrico que lo contiene. Los
nmeros que nos informan objetivamente de este tipo de cuestiones son:
La dimensin fractal. Las frmulas que la definen tienen que ver con el recuento de las bolas necesarias para
recubrir el conjunto o con el de cajas de una cuadrcula que contienen parte del conjunto, cuando las dimensiones
de unas y otras tienden a cero. Podemos medir la dimensin fractal de objetos reales: lneas de la costa (1.2),
nubes, rboles, etc, Con estas medidas podemos comparar objetos del mundo real con fractales generados por
algoritmos matemticos.
La dimensin de Hausdorff-Besicovitch. Tiene una definicin ms compleja que la de dimensin fractal. Su
definicin no suele usarse para comparar conjuntos del mundo real.
Definicin por algoritmos recursivos

Podemos destacar tres tcnicas comunes para generar fractales:
Sistemas de funciones iteradas (IFS). Unos conjuntos se
reemplazan recursivamente por su imagen bajo un sistema de
aplicaciones: el conjunto de Cantor, la alfombra de Sierpinski,
el tringulo de Sierpinski, la curva de Peano, la curva del
dragn, el copo de nieve de Koch o la Esponja de Menger, son
algunos ejemplos.
Fractales de algoritmos de Escape, definidos por una relacin
de recurrencia en cada punto del espacio (por ejemplo, el plano
complejo): el conjunto de Mandelbrot, conjunto de Julia, y el
fractal de Lyapunov.
Autosimilitud estadstica de un fractal generado por el
Fractales aleatorios, generados por procesos estocsticos, no

proceso de agregacin por difusin limitada.
deterministas: el movimiento browniano,el vuelo de Lvy, los
paisajes fractales o los rboles brownianos. stos ltimos son producidos por procesos de agregacin por difusin
limitada..
Aspectos matemticos
Intentos de definicin rigurosa
El concepto de fractal no dispone en el ao 2008 de una definicin matemtica precisa y de aceptacin general.
Intentos parciales de dar una definicin fueron realizados por:
B. Mandelbrot, que en 1982 defini fractal como un conjunto cuya dimensin de Hausdorff-Besicovitch es
estrictamente mayor que su dimensin topolgica. l mismo reconoci que su definicin no era lo
suficientemente general.
D. Sullivan, que defini matemticamente una de las categoras de fractales con su definicin de conjunto
cuasiautosimilar que haca uso del concepto de cuasi-isometra.
Fractal
Dimensin fractal
Puede definirse en trminos del mnimo nmero
de bolas de radio
necesarias para recubrir el conjunto,
como el lmite:
O en funcin del recuento del nmero de cajas
de una cuadrcula de anchura
que intersecan al conjunto:
Se demuestra que ambas definiciones son equivalentes, y que son invariantes bajo isometras.[6]
Dimensin de Hausdorff-Besicovitch
De una definicin ms compleja, la dimensin de Hausdorff-Besicovitch nos proporciona un nmero
tambin invariante bajo isometras, cuya relacin con la dimensin fractal
es la siguiente:
Esto permite distinguir en algunos casos entre conjuntos con la misma dimensin fractal.
Dimensin de fractales producidos por un IFS

En ese caso, cuando no haya solapamiento, se demuestra que
y que ambas pueden calcularse como
solucin de la ecuacin:
donde ci designa el factor de contraccin de cada aplicacin contractiva del IFS.
Aplicaciones
Se han utilizado tcnicas de fractales en la compresin de datos y en diversas disciplinas cientficas.
Compresin de imgenes
Comprimir la imagen de un objeto autosemejante como el helecho de la
figura no es difcil: haciendo uso del teorema del collage, debemos encontrar
un IFS, conjunto de transformaciones que lleva la figura completa (en negro)
en cada una de sus partes autosemejantes (rojo, azul celeste y azul marino).
La informacin sobre la imagen quedar codificada en el IFS, y la aplicacin
reiterada de dichas transformaciones permite obtener la imagen procesada en
cuestin.
Pero el enfoque anterior plantea problemas con muchas imgenes reales: no
esperamos, por ejemplo, que la imagen de un gato presente pequeos gatitos
distorsionados sobre s mismo. Para solventarlo, en 1989 Arnaud Jacquin cre
el esquema de sistemas de funciones iteradas particionadas: en l se
subdivide la imagen mediante una particin y para cada regin resultante se
busca otra regin similar a la primera bajo las transformaciones apropiadas.[7]
El esquema resultante es un sistema de compresin con prdidas, de tiempo
asimtrico. Lamentablemente an se tarda mucho en encontrar las transformaciones que definen la imagen. No
obstante, una vez encontradas, la descodificacin es muy rpida. La compresin, aunque dependa de muchos
factores, suele ser equiparable a la compresin JPEG, con lo cual el factor tiempo resulta determinante para
Fractal
decantarse por uno u otro sistema.
Modelado de formas naturales

Las formas fractales, las formas en la que las partes se asemejan al
todo, estn presentes en la materia biolgica, junto con las
simetras (las formas bsicas que solo necesitan la mitad de
informacin gentica) y las espirales (Las formas de crecimiento y
desarrollo de la forma bsica hacia la ocupacin de un mayor
espacio), como las formas ms sofisticadas en el desarrollo
evolutivo de la materia biolgica en cuanto que se presentan en
procesos en los que se producen saltos cualitativos en las formas
biolgicas, es decir posibilitan catstrofes (hechos extraordinarios)
que dan lugar a nuevas realidades ms complejas, como las hojas
Fraccin de un fractal Mandelbrot.
que presentan una morfologa similar a la pequea rama de la que
forman parte que, a su vez, presentan una forma similar a la rama,
que a su vez es similar a la forma del rbol, y sin embargo cualitativamente no es lo mismo una hoja (forma
biolgica simple), que una rama o un rbol (forma biolgica compleja).
Sistemas dinmicos
Pero adems las formas fractales no slo se presentan en las
formas espaciales de los objetos sino que se observan en la propia
dinmica evolutiva de los sistemas complejos (ver teora del caos).
Dinmica que consta de ciclos (en los que partiendo de una
realidad establecida simple acaban en la creacin de una nueva
realidad ms compleja) que a su vez forman parte de ciclos ms
complejos los cuales forman parte del desarrollo de la dinmica de
otro gran ciclo. Las evoluciones dinmicas de todos estos ciclos
presentan las similitudes propias de los sistemas caticos.
Un atractor extrao: el Atractor de Lorenz.
En manifestaciones artsticas
Se usan tanto en la composicin armnica y rtmica de una
meloda como en la sntesis de sonidos. Esto se debe al uso de lo
que en composicin se llaman "micromodos", o pequeos grupos
de 3 notas, a partir de los cuales uno puede trabajarlos de manera
horizontal (meldica), o vertical (armnica). A su vez, el ritmo
puede ser trabajado en sucesiones temporales especficas, que son
determinadas por sucesiones de fractales.
Con programas informticos como Apophysis o Ultra Fractal se
pueden hacer imgenes con tcnicas diversas; cambiando
parmetros, geometra de tringulos o con transformaciones
aleatorias (a veces llamadas "mutaciones").
Imagen generada con el programa Apophysis.
Fractal
Vase tambin
Anexo:Fractales por dimensin de Hausdorff

Caos y fractales
Cunto mide la costa de Gran Bretaa?
Dimensin
Paisaje fractal
Recursividad
Sistema de funciones iteradas
Sistema-L
Referencias
[1] Benot Mandelbrot, La Geometra Fractal de la Naturaleza, Tusquets, ISBN 84-8310-549-7
[2] Falconer, Kenneth (2003). Fractal Geometry: Mathematical Foundations and Applications. John Wiley & Sons, Ltd.. pp.XXV. ISBN
0-470-84862-6.
[3] Cunto mide la costa de Gran Bretaa?
[4] Stewart, Ian. De aqu al infinito. Crtica, Grijalbo Mondadori, S.A., 1998. ISBN 84-7423-853-6.
[5] B. Mandelbrot. Los objetos fractales. Forma, azar y dimensin. Tusquets Editores, S.A., 1993. ISBN 978-84-7223-458-1
[6] Barnsley, M. Fractals everywhere.Academic Press Inc, 1988. ISBN 0-12-079062-9. (Cap 5)
[7] Jacquin, A.E.;Image coding based on a fractal theory of iterated contractive image transformations. Image Processing, IEEE Transactions on
Volume 1, Issue 1, Jan. 1992 Page(s):18 - 30
Enlaces externos
Fractova (http://www.fractovia.org/art/es/what_es1.shtml) Informacin sobre fractales.
Armonia fractal de Doana y las marismas (http://www.armoniafractal.com) Bellas imgenes areas de
fractales naturales en las zonas hmedas del sur de Espaa, Casa de la Ciencia, CSIC.
Wikimedia Commons alberga contenido multimedia sobre fractalesCommons.
Arte fractal
Galeras de arte fractal en el Open directory Project (http://www.dmoz.org/Science/Math/
Chaos_and_Fractals/Fractal_Art/)
Msica fractal en el Open Directory Project (http://www.dmoz.org/Arts/Music/Styles/E/Experimental/
Fractal_Music/)
Museo de Arte Fractal de Argentina (http://www.fractalia.com.ar)
Libros con licencia CC
Msica fractal: el sonido del caos (http://www.dlsi.ua.es/~japerez/pub/pdf/mfsc2000.pdf) Introduccin
general sobre fractales y aplicacin a la composicin automtica de msica
Codificacin fractal de imgenes (http://www.dlsi.ua.es/~japerez/pub/pdf/mastertesi1998.pdf) Analiza la
aplicacin de tcnicas fractales a la compresin con prdidas de imgenes
Software
Explorador FF (http://www.fractfinder.es/explorador/index.php) Explorador interactivo de fractales freeware,
para Windows
Borlandia (http://www.borlandia.net/fractals) Applets en java que generan Fractales interactivos
Apophysis (http://www.apophysis.org/index.html) Programa de cdigo abierto para la creacin de fractales
(en ingls)
IFS Illusions (http://illusions.hu/index.php?task=16&lang=3&sort=3) generador IFS freeware, para Windows
FractInt (http://spanky.triumf.ca/www/fractint/fractint.html) generador fractal freeware, para DOS, Windows
y existe un porte a Linux (http://www.sdboyd56.com/xfractint/index.html) disponible. (en ingls)
Fractal
XaoS (http://xaos.sourceforge.net/) zoomer interactivo de fractales para linux.

Incendia (http://www.incendia.net/) programa de diseo de fractales 3D donationware.
WMANJUL v2 (http://www.ray.masmcode.com/complex.html) Fractal de Mandelbrot (en ingls).
Vdeos
Documental reportaje "Armona Fractal" del Programa Tesis, Canal Sur 2 Andaluca (http://www.cedecom.es/
cedecom-ext/noticia.asp?id=765)
Benot Mandelbrot
Benot Mandelbrot
Mandelbrot en 2007
Nacimiento
20 de noviembre de 1924
Varsovia, Polonia
Fallecimiento 14 de octubre de 2010 (85aos)

Cambridge, Massachusetts
Nacionalidad francesa - estadounidense
Campo
Matemticas
Instituciones
Universidad de Yale
IBM
Pacific Northwest National Laboratory
Alma mter
cole Polytechnique
California Institute of Technology
Universidad de Pars
Estudiantes
destacados
F. Kenton Musgrave
Eugene F. Fama
Conocidopor Conjunto de Mandelbrot

Premios
destacados
Premio Wolf (1993)

Premio Japn (2003)
Benot Mandelbrot
Benot Mandelbrot (Varsovia, Polonia, 20 de noviembre

de 1924 Cambridge, Estados Unidos, 14 de octubre de
2010[1] ) fue un matemtico conocido por sus trabajos sobre
los fractales. Es considerado el principal responsable del
auge de este dominio de las matemticas desde el inicio de
los aos setenta, y del inters creciente del pblico. En
efecto, supo utilizar la herramienta que se estaba
popularizando en sta poca - el ordenador - para trazar los
ms conocidos ejemplos de geometra fractal: el conjunto
de Mandelbrot por supuesto, as como los conjuntos de Julia
descubiertos por Gaston Julia quien invent las matemticas
de los fractales, desarrollados luego por Mandelbrot.
Benot Mandelbrot fue uno de los primeros cientficos en

utilizar los ordenadores para estudiar la fractalidad como en
este ejemplo de conjunto de Mandelbrot.
Biografa
Naci el 20 de noviembre de 1924 en Varsovia, Polonia
dentro de una familia juda culta de origen lituano. Fue
introducido al mundo de las matemticas desde pequeo
gracias a sus dos tos. Cuando su familia emigra a Francia
en 1936 su to Szolem Mandelbrot, profesor de matemticas
en el Collge de France y sucesor de Hadamar en este
puesto, toma responsabilidad de su educacin. Despus de
realizar sus estudios en la Universidad de Lyon ingres a la
cole polytechnique, a temprana edad, en 1944 bajo la
direccin de Paul Lvy quien tambin lo influy
fuertemente. Se doctor en matemticas por la Universidad
Benot Mandelbrot durante su nombramiento como miembro de
de Pars en el ao 1952. Posteriormente se fue al MIT y
la legin de Honor.
Luego al Instituto de Estudios Avanzados de Pricenton,
donde fue el ltimo estudiante de postdoctorado a cargo de
John von Neumann. Despus de diversas estancias en Ginebra y Pars acab trabajando en IBM Research.
En 1967 public en Science Cunto mide la costa de Gran Bretaa?, donde se exponen sus ideas tempranas sobre
los fractales.
Fue profesor de economa en la Universidad Harvard, ingeniera en Yale, fisiologa en el Colegio Albert Einstein de
Medicina, y matemticas en Pars y Ginebra. Desde 1958 trabaj en IBM en el Centro de Investigaciones Thomas B.
Watson en Nueva York.
Benot Mandelbrot
10
Logros cientficos
Principal creador de la Geometra Fractal, al referirse al impacto de esta disciplina en la concepcin e interpretacin
de los objetos que se encuentran en la naturaleza. En 1982 public su libro Fractal Geometry of Nature en el que
explicaba sus investigaciones en este campo. La geometra fractal se distingue por una aproximacin ms abstracta a
la dimensin de la que caracteriza a la geometra convencional.
El profesor Mandelbrot se interes por cuestiones que nunca antes haban preocupado a los cientficos, como los
patrones por los que se rigen la rugosidad o las grietas y fracturas en la naturaleza.
Mandelbrot sostuvo que los fractales, en muchos aspectos, son ms naturales, y por tanto mejor comprendidos
intuitivamente por el hombre, que los objetos basados en la geometra euclidiana, que han sido suavizados
artificialmente.
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
Controversias
Mandelbrot indic la sobrevaloracin de las matemticas basadas en anlisis algebraico desde el siglo XIX y otorg
igual importancia a la geometra y al anlisis matemtico visual, anlisis para el que l estaba especialmente dotado,
sobre la que mantuvo se han hecho logros igual o ms importantes como los de los antiguos griegos o Da Vinci. Esta
visin poco ortodoxa, le cost duras crticas por parte de los matemticos ms 'puros', especialmente al inicio de su
carrera.
Honores y premios
En 1985 recibi el premio "Barnard Medal for Meritorious Service to Science". En los aos siguientes recibi la
"Franklin Medal". En 1987 fue galardonado con el premio "Alexander von Humboldt"; tambin recibi la "Medalla
Steindal" en 1988 y muchos otros premios, incluyendo la "Medalla Nevada" en 1991.
El conjunto de Mandelbrot es un conjunto matemtico de puntos en el plano complejo, cuyo borde forma un fractal.
Este conjunto se define as, en el plano complejo:
Sea c un nmero complejo cualquiera. A partir de c, se construye una sucesin por induccin:
Si esta sucesin queda acotada, entonces se dice que c pertenece al conjunto de Mandelbrot, y si no, queda excluido
del mismo.
Benot Mandelbrot
Vistas del [[conjunto de Mandelbrot]]. Cada sucesiva imagen es una ampliacin de una seccin
de la imagen previa.
Referencias
[1] Jascha Hoffman (16 de octubre de 2010). Benoit Mandelbrot, Mathematician, Dies at 85 (http:/ / www. nytimes. com/ 2010/ 10/ 17/ us/
17mandelbrot. html?_r=1) (en ingls). The New York Times. Consultado el 16 de octubre de 2010.Benoit B. Mandelbrot, a maverick
mathematician who developed an innovative theory of roughness and applied it to physics, biology, finance and many other fields, died on
Thursday in Cambridge, Mass. He was 85..
Vase tambin
Fractal
Cunto mide la costa de Gran Bretaa?
La geometra fractal de la naturaleza
11
Benot Mandelbrot
12
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Benot MandelbrotCommons.
Wikiquote alberga frases clebres de o sobre Benot Mandelbrot. Wikiquote

Entrevista (http://www.eduardpunset.es/charlascon_detalle.php?id=22) de Eduard Punset a Benot
Mandelbrot.
Pgina web B.Mandelbrot en Yale. (http://www.math.yale.edu/mandelbrot/) (en ingls)
Ted talk: "Benoit Mandelbrot: Fractals and the art of roughness" (http://www.ted.com/talks/
benoit_mandelbrot_fractals_the_art_of_roughness.html)
Museo de Arte Fractal Argentina (http://www.fractalia.com.ar/)
Fractales en la naturaleza area de Doana. Armona fractal de Doana y las marismas (http://www.
armoniafractal.com/)
Obituario de Benot Mandelbrot (The Economist) (http://www.economist.com/node/17305197)
Conjunto de Julia
Los conjuntos de Julia, as llamados por el matemtico Gaston Julia,
son una familia de conjuntos fractales que se obtienen al estudiar el
comportamiento de los nmeros complejos al ser iterados por una
funcin holomorfa.
El conjunto de Julia de una funcin holomorfa
aquellos puntos que bajo la iteracin de
'catico'. El conjunto se denota
est constituido por
tienen un comportamiento
En el otro extremo se encuentra el conjunto de Fatou (en honor del

matemtico Pierre Fatou), que consiste de los puntos que tienen un
comportamiento 'estable' al ser iterados. El conjunto de Fatou de una
funcin holomorfa se denota
y es el complemento de
Conjunto de Julia, un fractal. C = [0.285, 0.01].
Polinomios cuadrticos
Una familia muy notable de conjuntos de Julia se obtienen a partir de funciones cuadrticas simples:
, donde es un nmero complejo. El conjunto de Julia que se obtiene a partir de esta funcin se
denota
Un algoritmo para obtener el conjunto de Julia de

Para todo complejo
es el siguiente:
se construye por la siguiente sucesin:
Si esta sucesin queda acotada, entonces se dice que

; de lo contrario, queda excluido de ste.
pertenece al conjunto de Julia de parmetro
, denotado por
En las imgenes anteriores, los puntos negros pertenecen al conjunto y los de color no. Los colores dan una
indicacin de la velocidad con la que diverge la sucesin (su mdulo tiende a infinito): en rojo oscuro, al cabo de
pocos clculos se sabe que el punto no est en el conjunto; y en blanco, se ha tardado mucho ms en comprobarlo.
Como no se pueden calcular infinitos valores, es preciso poner un lmite, y decidir que si los primeros trminos de
Conjunto de Julia
13
la sucesin estn acotados, el punto pertenece al conjunto. Al aumentar el valor de

imagen.
Se puede demostrar que si
punto
se mejora la precisin de la
entonces la sucesin diverge y el
no pertenece al conjunto de Julia. Por lo tanto, basta encontrar
un solo trmino de la sucesin que verifique
para tener la
certeza de que no est en el conjunto.

Existe una relacin muy fuerte entre los conjuntos de Julia y el
conjunto de Mandelbrot denotado por
, debido a la similitud de sus
definiciones:
Se dice que
pertenece a
si y slo si
es conexo.
Los resultados ms vistosos se obtienen al tomar el parmetro en la

frontera de
, pues si esta en el interior de
resulta que
Conjunto de Julia en 3D.
toma el aspecto de un objeto redondo, poco fractal, y slo el borde

tiene la apariencia de fractal. Por ejemplo si
resulta que el
conjunto de Julia es la circunferencia unitaria, con centro en el origen
de coordenadas.
En las imgenes, se han tomado como valores de c: -1,3 + 0,00525i; -0,72 0,196i; -0,1 + 0,87i y -0,51 0,601i,
por razones estticas.
Se pueden generalizar estos conjuntos tomando otras relaciones de induccin:
funcin compleja
. Se puede tambin generalizar a cualquier dimensin, y emplear varias funciones en lugar de
una sola.
Enlaces externos
con cualquier
Wikimedia Commons alberga contenido multimedia sobre Conjunto de JuliaCommons.
Algoritmo recursivo
Algoritmo recursivo
Un algoritmo recursivo es un algoritmo que expresa la solucin de un problema en trminos de una llamada a s
mismo. La llamada a s mismo se conoce como llamada recursiva o recurrente.
FUNCIN Factorial(n)
VAR resultado: Entero
SI (n<2) ENTONCES
resultado = 1;
SINO
resultado = n * Factorial(n-1);
FSI
RETORNA resultado;
FFUNCIN
Generalmente, si la primera llamada al subprograma se plantea sobre un problema de tamao u orden N, cada nueva
ejecucin recurrente del mismo se plantear sobre problemas, de igual naturaleza que el original, pero de un tamao
menor que N. De esta forma, al ir reduciendo progresivamente la complejidad del problema que resolver, llegar un
momento en que su resolucin sea ms o menos trivial (o, al menos, suficientemente manejable como para resolverlo
de forma no recursiva). En esa situacin diremos que estamos ante un caso base de la recursividad.
Las claves para construir un subprograma recurrente son:
Cada llamada recurrente se debera definir sobre un problema de menor complejidad (algo ms fcil de resolver).
Ha de existir al menos un caso base para evitar que la recurrencia sea infinita.
Es frecuente que los algoritmos recurrentes sean ms ineficientes en tiempo que los iterativos aunque suelen ser
mucho ms breves en espacio.
Recursividad indirecta
Cuando en una subrutina hay llamadas a ella misma se habla de recursividad directa, en contraposicin, cuando se
tienen varias subrutinas y stas se llaman unas a otras formando ciclos se dice que la recursin es indirecta.
Subrutina_A Subrutina_B Subrutina_A
Subrutina_A Subrutina_B Subrutina_C Subrutina_D Subrutina_A
Vase tambin
Recursin
Recursin (ciencias de computacin)
14
Algoritmo recursivo
15
Enlaces externos
Recursividad en programacin (C/C++) [1]
Programa de Recursividad de Java con cdigo fuente [2]
Referencias
[1] http:/ / picandocodigo. net/ 2008/ recursividad-en-programacion/
[2] http:/ / torturo. com/ programas-hechos-en-java/
El conjunto de Mandelbrot es el ms conocido de los
conjuntos fractales y el ms estudiado. Se conoce as en
honor al matemtico Benot Mandelbrot, que investig
sobre l en la dcada de los setenta del siglo XX.
Este conjunto se define as, en el plano complejo:
Sea c un nmero complejo cualquiera. A partir de c, se
construye una sucesin por induccin:
Representacin matemtica del conjunto de Mandelbrot como

subconjunto del plano complejo. Los puntos del conjunto se
muestran en negro. Obsrvese cmo -1 pertenece al conjunto
mientras que 1 no.
Representacin del conjunto de Mandelbrot mediante el algoritmo de

tiempo de escape.
16
Si esta sucesin queda acotada, entonces se dice que c pertenece al conjunto de Mandelbrot, y si no, queda excluido
del mismo.
Por ejemplo, si c = 1 obtenemos la sucesin 0, 1, 2, 5, 26 que diverge. Como no est acotada, 1 no es un elemento
del conjunto de Mandelbrot.
En cambio, si c = -1 obtenemos la sucesin 0, -1, 0, -1, que s es acotada, y por tanto, -1 s pertenece al conjunto
de Mandelbrot.
A menudo se representa el conjunto mediante el algoritmo de tiempo de escape. En ese caso, los colores de los
puntos que no pertenecen al conjunto indican la velocidad con la que diverge (tiende al infinito, en mdulo) la
sucesin correspondiente a dicho punto. En la imagen de ejemplo, observamos el rojo oscuro indica que al cabo de
pocos clculos se sabe que el punto no est en el conjunto mientras que el blanco informa de que se ha tardado
mucho ms en comprobarlo. Como no se puede calcular un sinfn de valores, es preciso poner un lmite y decidir que
si los p primeros trminos de la sucesin estn acotados entonces se considera que el punto pertenece al conjunto. Al
aumentar el valor de p se mejora la precisin de la imagen.
Por otra parte, se sabe que los puntos cuya distancia al origen es superior a 2, es decir,
no pertenecen
al conjunto. Por lo tanto basta encontrar un solo trmino de la sucesin que verifique |zn| > 2 para estar seguro que c
no est en el conjunto.
Introduccin: explorando la autosimilitud

Una propiedad fundamental de los fractales es la
autosimilitud o autosemejanza, que se refiere a una
cierta invariabilidad con relacin a la escala, o dicho de
otro modo, al acercarse a ciertas partes de la imagen
reaparece en miniatura la imagen total. Un mismo
motivo aparece a distintas escalas, a un nmero infinito
de escalas.
Vemoslo ms en detalle, a partir del plano siguiente
(derecha):
Plano sobre el que exploraremos la autosimilitud.
17
Al agrandar el cuadro verde, se obtiene la imagen de la izquierda,
donde:
Salta a la vista que la bola negra a es una reduccin exacta de la
bola A. La protuberancia a la izquierda de a tambin es una
reduccin exacta de a, y el proceso sigue indefinidamente.
Tambin se puede observar que la bola b es una reduccin de A
(una reduccin combinada con una rotacin, es decir que b se
obtiene de A mediante una semejanza). Mirando mejor, se nota
un sinfn de protuberencias semejantes a A.
Cuadro verde ampliado.
Volviendo al plano, escojamos esta vez el cuadro azul oscuro

situado en el extremo izquierdo del plano. Al agrandarlo,
obtenemos (derecha):
Su parecido a la imagen inicial es obvio. El proceso se puede
repetir un sinfn de veces, empezando por agrandar la pequea
mancha negra a la izquierda del cuadro.
Cuadro azul ampliado.
Ahora, ampliemos el cuadro violeta del plano (imagen izquierda):

En esta imagen aparece una mancha arriba a la izquierda que tiene
la misma forma que la imagen inicial. Al mirar ms de cerca, se
obtiene (derecha):
Y una vez ms, el parecido salta a la vista.
Cuadro violeta ampliado.
18
Ampliacin de la mancha que aparece en el cuadro

violeta.
Ahora, agrandemos el cuadro azul claro de la derecha del plano:
Cuadro azul claro ampliado.
Acerqumonos al cuadro blanco de la ltima imagen:

Aqu se nota una ligera deformacin de la figura inicial. Sin
embargo, esta imagen sigue siendo isomorfa a la inicial. Y claro,
alrededor de cada clon de la forma inicial existen otros clones
minsculos, en las mismas posiciones relativas que en la figura
global. El proceso no tiene fin.
Otra representacin
Ampliacin del detalle del cuadro blanco.
19
En esta imagen, el conjunto es, naturalmente, el mismo, pero las
lneas de nivel (que separan los colores, fuera del conjunto) no son
idnticas. Esto se debe a que no se ha empleado el mismo criterio
de divergencia: en esta imagen es realmente |zn| > 2, mientras que
en las anteriores era |zn| > 10, por razones estticas, ya que as se
obtiene una imagen inicial menos oscura.
Historia
La teora bsica sobre la iteracin de funciones complejas fue
desarrollada por Julia y Fatou en la dcada de los aos 1910. La
forma extraordinariamente intrincada de conjuntos relacionados
con estas iteraciones se revel en el momento en que los grficos
por ordenador fueron lo suficientemente avanzados. Las primeras imgenes del conjunto, algo burdas, de Robert
Brooks y Peter Matelski, datan de 1978.[1]
Mandelbrot estudi el espacio de parmetros de polinomios cuadrticos en un artculo aparecido en 1980 y despert
el inters global por el mismo.[2]
El estudio matemtico riguroso de este conjunto realmente comenz con el trabajo de los matemticos Adrien
Douady y John H. Hubbard,[3] quienes demostraron muchas de sus propiedades fundamentales y nombraron el
conjunto en honor de Mandelbrot. Entre otras propiedades, probaron que es un conjunto conexo y formularon la
conjetura MLC, que formula la creencia de que el conjunto de Mandelbrot es localmente conexo.
Relacin con los conjuntos de Julia

Existe otra manera de definir este conjunto: es el conjunto de los complejos c para los que el conjunto de Julia
asociado a fc(z) = z + c es conexo.
Propiedades
Propiedades topolgicas
El conjunto de Mandelbrot es compacto, conexo y su complemento tambin es conexo. Su interior consta de un
conjunto numerable de componentes.
Su frontera tiene dimensin topolgica 1 pero dimensin de Hausdorff 2, la mxima posible al ser subconjunto del
plano.
20
Referencias
[1] Robert Brooks and Peter Matelski, The dynamics of 2-generator subgroups of PSL(2,C), in "Riemann Surfaces and Related Topics", ed. Kra
and Maskit, Ann. Math. Stud. 97, 6571, ISBN 0-691-08264-2
[2] Benot Mandelbrot, Fractal aspects of the iteration of
for complex
, Annals NY Acad. Sci. 357, 249/259
[3] Adrien Douady and John H. Hubbard, Etude dynamique des polynmes complexes, Prpublications mathmathiques d'Orsay 2/4 (1984 /
1985)
Vase tambin
Benot Mandelbrot
Fractal
Conjunto de Julia
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Conjunto de MandelbrotCommons.
El contenido de este artculo incorpora material de una entrada de la Enciclopedia Libre Universal (http://
enciclopedia.us.es/index.php/Conjunto_de_Mandelbrot), publicada en espaol bajo la licencia Creative
Commons Compartir-Igual 3.0 (http://creativecommons.org/licenses/by-sa/3.0/deed.es).
Conjunto conexo
Un conjunto conexo es un subconjunto
de un espacio topolgico
(donde
es la coleccin de
conjuntos abiertos del espacio topolgico) que no puede ser descrito como unin disjunta de dos conjuntos abiertos
de la topologa.
Intuitivamente, un conjunto conexo es aquel formado por una sola 'pieza', que no se puede 'dividir'. Cuando un
conjunto no sea conexo, diremos que es inconexo.
Formalmente,
es un conjunto conexo si y slo si

implica
Notar
que
si
entonces
tendremos
implica
que
es
conexo
. En este caso,
si
slo
si
se llama espacio
topolgico conexo,
Bajo estas definiciones, se tiene que
es conexo si y solamente si es un espacio topolgico conexo para la
topologa traza.
Ejemplos
Conjuntos conexos
Las esferas
Un punto en
son conexas
es conexo
Un nudo es un conjunto conexo en

Un toro es un conjunto conexo en
En
, un conjunto es conexo si y solamente si es un intervalo (matemtica)
El complementario de un punto en
es conexo
Conjunto conexo
21
Conjuntos inconexos
El complementario de un punto en
El conjunto formado por la unin de dos esferas disjuntas en
Un enlace de componentes (nudos)
Propiedades de los conjuntos conexos

Se cumple que si
es un espacio topolgico conexo, cualquier espacio homeomorfo a l tambin lo ser.
Esta propiedad nos da una caracterizacin muy til de los conjuntos conexos:
solamente si para toda funcin
continua, se cumple que
es un conjunto conexo si y
es una funcin constante, donde a
se le dota de la topologa discreta.

Otra propiedad interesante de los conjuntos conexos es la siguiente: Si
toplogicos conexos (con
es una familia de espacios
un conjunto de ndices de cualquier cardinalidad), entonces
conexo, donde
es la topologa producto.
Por ltimo, si
no es conexo, es decir, si existen abiertos
tambin es
disjuntos no vacos tales que su unin es
, es
fcil ver que cada abierto ser el complemento del otro, luego sern complementos de un abierto, y por ende, sern
cerrados. Es decir, sern conjuntos clopen. Por esto, otra manera de caracterizar la conexidad es decir:
ser
conexo si y slo si los nicos clopen son
y el vaco (donde ambos conjuntos son siempre clopen).
Conexidad por caminos

Vase tambin: Espacio conexo por caminos
Diremos que un conjunto

continuo
es conexo por caminos o arco conexo si dados

tal que
existe un camino
La conexidad por caminos implica conexidad, pero el recproco no es cierto en general. Un contraejemplo muy tpico
es
el
llamado
peine
del
toplogo,
,
donde
y
.
es conexo, pero no conexo por caminos.
Ser conexo por caminos no es una propiedad hereditaria (esto es, si un conjunto es conexo por caminos, cualquier
subconjunto de ste no es necesariamente conexo por caminos). Sin embargo, ser conexo por caminos es una
propiedad topolgica (es decir, la imagen mediante una aplicacin continua de un conjunto conexo por caminos es
conexa por caminos).
Conjunto conexo
22
Componentes conexas
Dado un espacio topolgico
inconexo se llama componente conexa, a cada uno de los conjuntos
maximales conexos. Es decir un subconjunto

condiciones:
1.
es conexo.
2. Cualquier conjunto
es un componente conexa si se cumplen estas dos
que contiene propiamente a
Se cumple que las componentes conexas de
es inconexo.
forman una particin de
Espacio topolgico
Un espacio topolgico es una estructura
matemtica que permite la definicin formal
de
conceptos
como
convergencia,
conectividad, y continuidad. La rama de las
matemticas que estudia los espacios
topolgicos se llama topologa.
Definicin
Un espacio topolgico es un conjunto E de
elementos junto con T, una coleccin de
subconjuntos de E que satisfacen las
siguientes propiedades:
1. El conjunto vaco y E estn en T.
Cuatro ejemplos y dos anti-ejemplos de topologas en el conjunto de tres puntos

{1,2,3}.
El ejemplo inferior izquierdo no es una topologa porque la unin {2} y {3}, igual
a {2,3}, no es parte de la coleccin.
El ejemplo inferior derecho tampoco es una topologa porque la interseccin de
{1,2} y {2,3}, igual a {2}, no es parte de la coleccin.
2. La interseccin de cualquier coleccin finita de conjuntos de T est tambin en T.
3. La unin de toda coleccin de conjuntos de T est tambin en T.
Esta condicin tambin se puede escribir:
Los conjuntos en T son los conjuntos abiertos, y sus complementos en E son llamados conjuntos cerrados.
La coleccin T es llamada "topologa" en E. Los elementos de E suelen llamarse puntos, aunque pueden ser
cualquiera de los objetos matemticos. Un espacio topolgico en el cual los puntos son funciones es llamado un
espacio funcional.
Espacio topolgico
23
Al conjunto E se le llama substrato del espacio topolgico.
Ejemplos
Topologa trivial o indiscreta: es la formada por
y
.
Topologa discreta: es la formada por el conjunto de las partes de
.
Topologa de los complementos finitos: es la formada por
y los conjuntos de
son finitos.
Topologa de los complementos numerables: es la formada por
, cuyos complementarios
y los conjuntos de
, cuyos
complementarios son numerables.

R, conjunto de los reales, y T el conjunto de los intervalos abiertos en el sentido usual, y de las reuniones
(cualesquiera) de intervalos abiertos.
Recta de Sorgenfrey: la recta real junto con la topologa del lmite inferior
Espacios metrizables
Toda mtrica permite definir de manera natural en un espacio la topologa formada por las uniones arbitrarias de
bolas de centro y radio :
Esta topologa se aproxima a la nocin intuitiva de conjunto abierto, permitiendo una aproximacin de carcter local
a la topologa.
En vez de considerar todo el conjunto, el punto de vista local consiste en preguntarse: qu relacin tiene que haber
entre un punto a cualquiera de A, y A para que A sea un abierto?
Si se considera el ejemplo ms conocido, el de los intervalos, uno se da
cuenta de que los intervalos abiertos son los que no contienen puntos
en su frontera o borde, que son puntos en contacto al la vez con A y
con su complementario R - A.
En otras palabras, un punto de un abierto no est directamente en
contacto con el "exterior".
No estar en contacto significa intuitivamente que hay una cierta
distancia entre el punto y el exterior; llammosla d. Entonces la bola B
(a, d/2), de radio d/2 y de centro a est incluida en A y no toca el
complementario. En la figura, a est en el interior de A, mientras que b est en su frontera, porque cualquier
vecindad de b encuentra R - A.
Al hablar de distancia, utilizamos un concepto de los espacios mtricos, que son ms intuitivos pues corresponden al
mundo real (asimilable a R). En topologa, tenemos que cambiar el concepto de bola por el, ms general, de
vecindad o entorno. Una vecindad de un punto x es este punto con algo de su alrededor. Tenemos entera libertad para
definir el significado de "alrededor" y "vecindad" con tal de satisfacer los axiomas siguientes:
1.
2.
3.
4.
x pertenece a todas sus vecindades.

Un conjunto que contiene una vecindad de x es una vecindad de x.
La interseccin de dos vecindades de x es tambin una vecindad de x.
En toda vecindad V de x existe otra vecindad U de x tal que V es una vecindad de todos los puntos de U.
Llamamos abierto un conjunto que es una vecindad para todos sus puntos.
Los axiomas expuestos en el punto de vista global estn verificados:
1. E es obviamente una vecindad para todos sus puntos, y tambin porque no contiene punto. (Una propiedad
universal: para todo x ... es forzosamente cierta en el conjunto vaco.)
Espacio topolgico
24
2. Una unin de abiertos Oi es un superconjunto de cada Oi, y Oi es una vecindad de todos sus puntos, por lo tanto,
la unin es una vecindad de todos sus puntos, gracias a la propiedad (2).
3. Sea x un punto de la interseccin de los abiertos O1 y O2. O1 y O2 son abiertos que contienen x y por lo tanto
vecindades de l. Una interseccin de vecindades de x es una vecindad de x (propiedad 3), lo que implica que O1
O2 es una vecindad de todos sus puntos, y por lo tanto un abierto.
Propiedades de un espacio topolgico

Compacidad
Conectividad
Axiomas de separacin
Vase tambin
Glosario de topologa
Topologa
Bibliografa
Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
Topologa
La Topologa (del griego , lugar, y , estudio) es la
rama de las matemticas dedicada al estudio de aquellas
propiedades de los cuerpos geomtricos que permanecen
inalteradas por transformaciones continuas.[1] Es una disciplina
que estudia las propiedades de los espacios topolgicos y las
funciones continuas. La Topologa se interesa por conceptos como
proximidad, nmero de agujeros, el tipo de consistencia (o
textura) que presenta un objeto, comparar objetos y clasificar,
entre otros mltiples atributos donde destacan conectividad,
compacidad, metricidad o metrizabilidad, etctera.
Los matemticos usan la palabra topologa con dos sentidos:
informalmente es el sentido arriba especificado, y de manera
formal se refieren a una cierta familia de subconjuntos de un
conjunto dado, familia que cumple unas reglas sobre la unin y la
interseccin. Este segundo sentido puede verse desarrollado en el
artculo espacio topolgico.
Ilustracin del Teorema de los cuatro colores.
Idea intuitiva
Particularmente se presenta a la Topologa como la "Geometra de la pgina de goma (chicle)". Esto hace referencia
a que en la Geometra eucldea dos objetos sern equivalentes mientras podamos transformar uno en otro mediante
isometras (rotaciones, traslaciones, reflexiones, etc), es decir, mediante transformaciones que conservan las medidas
de ngulo, longitud, rea, volumen y otras.
Topologa
25
En topologa, dos objetos son equivalentes en un sentido mucho ms amplio. Han de tener el mismo nmero de
trozos, huecos, intersecciones, etc. En topologa est permitido doblar, estirar, encoger, retorcer, etc., los objetos,
pero siempre que se haga sin romper ni separar lo que estaba unido, ni pegar lo que estaba separado. Por ejemplo, un
tringulo es topolgicamente lo mismo que una circunferencia, ya que podemos transformar uno en otra de forma
continua, sin romper ni pegar. Pero una circunferencia no es lo mismo que un segmento, ya que habra que partirla (o
pegarla) por algn punto.
sta es la razn de que se la llame la "Geometra de la pgina de goma", porque es como si estuviramos estudiando
Geometra sobre un papel de goma que pudiera contraerse, estirarse, etc.
Un chiste habitual entre los toplogos (los matemticos que se dedican
a la topologa) es que un toplogo es una persona incapaz de
distinguir una taza de una rosquilla. Pero esta visin, aunque muy
intuitiva e ingeniosa, es sesgada y parcial. Por un lado, puede llevar a
pensar que la topologa trata slo de objetos y conceptos geomtricos,
siendo ms bien al contrario, es la geometra la que trata con un cierto
tipo de objetos topolgicos. Por otro lado, en muchos casos es
imposible dar una imagen o interpretacin intuitiva de problemas
topolgicos o incluso de algunos conceptos. El intentar visualizar los
conceptos es un error frecuente entre los principiantes en la topologa,
que les hace avanzar muy lentamente cuando no pueden encontrar un
ejemplo grfico, tener una visin parcial de algunos conceptos, e
Una taza transformndose en una rosquilla (toro).
incluso incurrir en errores. Es frecuente entre los estudiantes
primerizos escuchar que "no entienden la topologa" y que no les gusta esa rama; generalmente se debe a que se
mantienen en esta actitud grfica. Por ltimo, la topologa se nutre tambin en buena medida de conceptos cuya
inspiracin se encuentra en el Anlisis matemtico. Se puede decir que casi la totalidad de los conceptos e ideas de
esta rama son conceptos e ideas topolgicos.
Un ejemplo clarificador
Observemos un antiguo plano del metro de Madrid. En l estn
representadas las estaciones y las lneas de metro que las unen, pero no
es geomtricamente exacto. La curvatura de las lneas de metro no
coincide, ni su longitud a escala, ni la posicin relativa de las
estaciones... Pero an as es un plano perfectamente til. Sin embargo,
este plano es exacto en cierto sentido pues representa fielmente cierto
tipo de informacin, la nica que necesitamos para decidir nuestro
camino por la red de metro: informacin topolgica.
Historia de la Topologa
Histricamente, las primeras ideas topolgicas conciernen al concepto
de lmite y al de completitud de un espacio mtrico, y se manifestaron
principalmente en la crisis de los inconmesurables de los pitagricos,
ante la aparicin de nmeros reales no racionales. El primer
acercamiento concreto al concepto de lmite y tambin al de integral
aparece en el mtodo de exhaucin de Arqumedes. La aparicin del
Plano del metro de Madrid.
Topologa
26
Anlisis Matemtico en el siglo XVII puso en evidencia la necesidad de formalizar el concepto de proximidad y
continuidad, y la incapacidad de la Geometra para tratar este tema. Fue precisamente la fundamentacin del Clculo
Infinitesimal, as como los intentos de formalizar el concepto de variedad en Geometra lo que llev a la aparicin de
la Topologa, a finales del siglo XIX y principios del XX.
Se suele fechar el origen de la Topologa con la resolucin por parte de Euler del problema de los puentes de
Knigsberg, en 1735. Ciertamente, la resolucin de Euler del problema utiliza una forma de pensar totalmente
topolgica, y la solucin del problema nos lleva a la caracterstica de Euler, el primer invariante de la Topologa
Algebraica, pero sera muy arriesgado y arbitrario fechar en ese momento la aparicin de la Topologa. La situacin
es exactamente anloga a la del clculo del rea de la elipse por Arqumedes.
El trmino topologa fue usado por primera vez por J. B. Listing, en 1836 en una carta a su antiguo profesor de la
escuela primaria, Mller, y posteriormente en su libro Vorstudien zur Topologie (Estudios previos a la topologa),
publicado en 1847. Anteriormente se la denominaba analysis situs. Maurice Frchet introdujo el concepto de espacio
mtrico en 1906.
Cronologa[2]
Ao
Acontecimiento
300 a.C.
Euclides define las secciones cnicas y estudia los poliedros regulares, una de las formas ms bsicas estudiadas por los
toplogos.
250 a.C.
Arqumedes investiga las curvas espirales y los poliedros truncados.
1735 d.C.
Leonhard Euler resuelve el problema de los puentes de Knigsberg.
1858
Los alemanes August Mbius y Johann Benedict Listing descubren en forma independiente la hoy llamada banda de Mbius.
1890
Giuseppe Peano aplicando la definicin de Jordn,

demuestra que un cuadrado relleno tambin es una curva.
Dcada de
1920
Pvel Urysn y Karl Menger definen el concepto de curva a partir de la topologa.
Algo de desarrollo formal

En el artculo Glosario de topologa se encuentra una coleccin de trminos topolgicos con su significado. Aqu y
ahora nos limitaremos a dar algunas nociones bsicas.
Como hemos dicho, el concepto fundamental de la Topologa es la "relacin de proximidad", que puede parecer
ambigua y subjetiva. El gran logro de la Topologa es dar una formulacin precisa, objetiva y til de este concepto.
Para ello tomamos un conjunto de referencia
, que ser el ambiente en el que nos moveremos, y al que
llamaremos espacio. Tomaremos un elemento cualquiera
de
. A los elementos del espacio se les llama puntos,
as que ser llamado punto, independientemente de que sea una funcin, un vector, un conjunto, un ideal
maximal en un anillo conmutativo y unitario... Un subconjunto de
ser un entorno de si es elemento de
y existe un conjunto abierto
de manera que
Aqu est el quid de la cuestin: una coleccin

es uno de los elementos de esa coleccin, si
est incluido en
de subconjuntos de
. Qu entenderemos por conjunto abierto?

se dir que es una topologa sobre
si
es un elemento de la coleccin, si la unin de elementos de la
coleccin da como resultado un elemento de la coleccin y si la interseccin finita de elementos de la coleccin

tambin es un elemento de la coleccin. A los elementos de la coleccin se les denomina abiertos de la topologa
, y al par
se le denomina espacio topolgico.
Las condiciones para que
sea topologa sobre
son entonces estas:
Topologa
27
Puede parecer extrao que de una definicin tan altamente formal y conjuntista se obtenga una formulacin precisa
del concepto de proximidad. Lo primero que se observa es que sobre un mismo espacio
se pueden definir
distintas topologas, generando entonces distintos espacios topolgicos. Por otra parte, precisamente la manera en
que quede determinada una topologa sobre un conjunto (es decir, la eleccin del criterio que nos permita decidir si
un conjunto dado es o no abierto) es lo que va a dar carcter "visualizable" o no a ese espacio topolgico.
Una de las maneras ms sencillas de determinar una topologa es mediante una distancia o mtrica, mtodo que slo
es aplicable en algunos casos (si bien es cierto que muchos de los casos ms intersantes de topologas en la
Geometra y del Anlisis Matemtico pueden determinarse mediante alguna distancia). Una distancia sobre un
conjunto
es una aplicacin
que verifica las siguientes propiedades:
;
si y slo si
cualesquiera que sean
Si tenemos definida una distancia sobre
, diremos que la pareja
es un espacio mtrico. Dado un espacio mtrico

conjuntos abiertos son los subconjuntos
de
, queda determinada una topologa sobre

tales que cualquiera que sea el punto
de tal manera que el conjunto

se le denomina bola abierta de centro
de
est totalmente incluido en

y radio
en la que los
existe un nmero
. Al conjunto
, y ser precisamente un entorno del
punto .
Como se ha apuntado antes, por desgracia no toda topologa proviene de una distancia, es decir, existen espacios
topolgicos que no son espacios mtricos. Cuando un espacio topolgico es adems espacio mtrico (esto es, cuando
dada una topologa sobre un conjunto, puede definirse en ese conjunto una distancia de manera que la topologa
generada por la distancia coincida con la topologa dada) se dice que el espacio topolgico es metrizable. Un
problema clsico en Topologa es el de determinar qu condiciones debe satisfacer un espacio topolgico para que
sea metrizable.
Ramas de la Topologa
Se suelen considerar principalmente tres ramas:
la Topologa General o Conjuntista,
la Topologa Algebraica y
la Topologa Diferencial.
Adems de estas tres ramas, que podramos decir propiamente topolgicas, la implicacin en mayor o menor medida
en otras disciplinas matemticas hacen que muchos consideren parte de la Topologa al Anlisis Funcional, la Teora
de la Medida, la Teora de Nudos (parte de la Topologa de dimensiones baja), la Teora de Grupos Topolgicos, etc.
Es fundamental su contribucin a la Teora de Grafos, Anlisis Matemtico, Ecuaciones Diferenciales, Ecuaciones
Funcionales, Variable Compleja, Geometra Diferencial, Geometra Algebraica, lgebra Conmutativa, Estadstica,
Teora del Caos, Geometra Fractal... Incluso tiene aplicaciones directas en Biologa, Sociologa, etc.
Topologa
28
Topologa General o Conjuntista

Constituye la base de los estudios en Topologa. En ella se desarrollan tpicos como lo que es un espacio topolgico
o los entornos de un punto.
Conceptos fundamentales referidos a la topologa de un conjunto

Topologa, espacio topolgico, abiertos, cerrados, subespacios
Sea
un conjunto cualquiera y
que cumpla que
entonces
el conjunto de sus partes. Una topologa sobre

,
. A los elementos de
, si
entonces
es un conjunto
, y que si
se les denomina conjuntos abiertos. Al par
se le
denomina espacio topolgico. A los elementos de

se les suele denominar puntos.
Ntese que desde un primer momento hemos especificado que el conjunto
es cualquiera, no necesariamente un
conjunto de naturaleza geomtrica. La denominacin de espacio (topolgico) y de punto se mantiene an cuando
sea un conjunto de nmeros, de funciones, de ecuaciones diferenciales, de figuras geomtricas, de vectores, de
conjuntos...
Como puede observarse, la definicin es muy formal y general, y lo primero que se observa es que sobre un mismo
conjunto pueden darse multitud de topologas distintas. As es. Pero de momento, los conceptos de conjunto abierto
en
o en
o
cumplen las condiciones exigibles a una topologa. Es precisamente el comprobar que otras
familias de conjuntos en otros conjuntos de naturaleza no geomtrica que comparten estas mismas propiedades
(como en el conjunto de soluciones de una ecuacin diferencial, o el conjunto de los ceros de los polinomios con
coeficientes en los ideales en un anillo conmutativo, por ejemplo) lo que motiva esta definicin. As podremos
aplicar a estos conjuntos las mismas (o parecidas) tcnicas topolgicas que aplicamos a los abiertos del plano, por
ejemplo. La situacin es anloga a la que se da en lgebra Lineal cuando se pasa de trabajar en
o
a trabajar
en espacios vectoriales arbitrarios.
En lo que sigue,
representar siempre un espacio topolgico.
Ligado al concepto de conjunto abierto est el de conjunto cerrado. Un conjunto

su complementario
se dice que es cerrado si
es un conjunto abierto. Es importante observar que un conjunto que no es abierto no
necesariamente ha de ser cerrado, y un conjunto que no sea cerrado no necesariamente ha de ser abierto. As, existen
conjuntos que son abiertos y cerrados a la vez, como
, y pueden existir conjuntos que no sean ni abiertos ni
cerrados.
Es inmediato comprobar que la interseccin de cerrados es un conjunto cerrado, que la unin de una cantidad finita
de conjuntos cerrados es un conjunto cerrado, y que tanto
como
son conjuntos cerrados.
Si
, el conjunto
es una topologa para
. Se dir entonces que el espacio
es subespacio topolgico del

.
La nocin de subespacio topolgico se presenta de manera natural, y es el concepto anlogo al de subgrupo en
Teora de Grupos o al de subespacio vectorial en lgebra Lineal.
Una propiedad relativa a espacios topolgicos se dice que es hereditaria cuando si un espacio la tiene, entonces
tambin la tiene cualquiera de sus subespacios.
Topologa
29
Base de una topologa, entornos, bases locales, axiomas de numerabilidad

Una familia
se dice que es base (de la topologa
) si para cualquiera que sea el
existe un
conjunto
de manera que
.
No siempre es cmodo trabajar con una topologa. A veces resulta ms complicado establecer una topologa que una
base de topologa (como en espacios mtricos). En cualquier caso, una base es una manera muy cmoda de
establecer una topologa. An ms sencillo es establecer una subbase, que es una familia de conjuntos para la que el
conjunto de sus intersecciones finitas forma una base de topologa. Uno de los casos ms importantes de topologa,
la de los espacios mtricos, viene dado por una base, la del conjunto de bolas abiertas del espacio.
Un espacio topolgico se dice que cumple el Segundo Axioma de Numerabilidad (IIAN) si existe alguna base de su
topologa que tenga cardinalidad numerable.
Sea
un conjunto cualquiera y sea
un conjunto abierto
un punto arbitrario. Se dice que
de manera que
conjunto de todos los entornos de un punto
es entorno de
si existe
. Todo conjunto abierto es entorno de todos sus puntos. Al

se le denomina sistema de entornos de
Obsrvese que no se ha exigido que un entorno sea un conjunto abierto. Los entornos abiertos son un tipo de
entornos muy tiles (sobre todo en Geometra y Anlisis) y muy usados, tanto que en muchas ocasiones se omite el
calificativo abierto. Esto es un abuso de lenguaje y debe evitarse.
Una coleccin
de entornos de un mismo punto x se dice que es una base de entornos (o base local) de
si
dado cualquier entorno de existe un

de manera que
.
Se dice que un espacio topolgico cumple el Primer Axioma de Numerabilidad (IAN) si cada punto del espacio tiene
alguna base local de cardinal numerable.
Subconjuntos notables asociados a un conjunto
Ahora podemos establecer una serie de definiciones de gran importancia, pues sern las piezas bsicas del estudio de
la topologa y constituirn la materia prima de los conceptos posteriores.
Interior, exterior, frontera
Un punto
se dir que es un punto interior de
si
es entorno de
. As, el conjunto de los puntos
interiores a A es un conjunto abierto, denominado Interior de A, denotado por Int (A) o tambin como
. Es el
mayor conjunto abierto incluido en A.

Un punto
se dir que es un punto exterior a
los puntos exteriores a

Un punto
si
es entorno de
. As mismo, el conjunto de
es otro conjunto abierto, denominado Exterior de A y denotado por Ext (A).
se dice que es un punto frontera de
si todo entorno
. Al conjunto de los punto frontera de
de
es tal que
se le denomina Frontera de A y se denota por
Fr(A). En otras palabras, todo entorno con centro en z tendr elementos pertenecientes al conjunto
elementos fuera del conjunto
. La frontera de
es un conjunto cerrado.
y otros
Topologa
30
Adherencia, acumulacin, puntos aislados

Un punto
se dice que es un punto de adherencia de
si todo entorno
de
es tal que
. Se hace pues evidente que todo punto interior y todo punto frontera es punto de adherencia. Al conjunto de los
puntos de adherencia del conjunto
se le denomina adherencia o clausura de
, y se denota por
o por
. La clausura de un conjunto
es un conjunto cerrado, y es el menor conjunto cerrado que contiene al conjunto.
Un punto
se dice que es un punto de acumulacin de
si todo entorno
de
es tal que
. Al conjunto de los puntos de acumulacin de un conjunto se le denomina acumulacin
del conjunto, o conjunto derivado, y se le denota por
o por
.
Un punto
se dice que es un punto de -acumulacin de
es un conjunto infinito. Al conjunto de los puntos de
denomina
de
-acumulacin del conjunto, o conjunto
si todo entorno
de
es tal que
-acumulacin de un conjunto se le
-derivado, y se le denota por
o por
. Todo punto
-acumulacin es punto de acumulacin, y todo punto de acumulacin es punto de adherencia del mismo
conjunto.
Un punto
se dice que es un punto aislado de
conjunto
de manera que
los puntos aislados de
si existe algn entorno perforado
es un entorno de
) de manera que
se le denomina conjunto de los puntos aislados de
de
(es decir, un
. Al conjunto de
, y se le denota por
. Todo
punto aislado es punto frontera y tambin es punto de adherencia del mismo conjunto.
En Topologa son de una importancia capital los conjuntos interior y clausura de un conjunto. Su importancia radica
en ser, respectivamente, el mayor abierto contenido en el conjunto y el menor cerrado que contiene al conjunto. El
interior puede obtenerse tambin como la unin de todos los abiertos contenidos en el conjunto, y la clausura como
la interseccin de todos los cerrados que contienen al conjunto. Sin tanta importancia en Topologa pero de mucha en
otras reas de la Matemtica son los conjuntos de acumulacin, frontera y de los puntos aislados de un conjunto.
Conceptos fundamentales referidos a aplicaciones continuas y convergencia

Convergencia
La idea de la convergencia es la de "aproximar" un objeto por otro, es decir, sustituir un objeto por otro que est
prximo a l. Evidentemente, al hacerlo as se est cometiendo un error, error que en general depender de lo
prximo que se encuentre el objeto sustituido del objeto sustituto. Para hacer esta sustitucin de una manera
sistemtica, de forma que el error pueda ser elegido arbitrariamente pequeo, aparecen distintos tipos de conjuntos.
Se obtiene as un proceso de sucesivas aproximaciones que, si todo va bien, terminaran llevndonos al objeto,
aunque fuese despus de un nmero infinito de aproximaciones. El ms sencillo de estos conjuntos es una sucesin,
es decir, una coleccin infinita (numerable) y ordenada de objetos, aunque con el mismo carcter de orden hay otros
conjuntos que reflejan mejor el concepto de convergencia.
Es importante observar que la Topologa no trabaja con errores ni con aproximaciones. Eso entra en el mbito del
Anlisis Numrico e incluso del Anlisis Matemtico. La Topologa lo que hace en este problema es aportar las
herramientas bsicas y los conceptos tericos para afrontar correctamente el problema, siempre desde un punto de
vista conceptual y cualitativo. Estudia qu es lo que debe entenderse cuando decimos que un conjunto (como puede
ser una sucesin) se acerca a un objeto (que puede ser un punto, un conjunto, etctera).
Topologa
31
Convergencia de sucesiones
Una sucesin es una aplicacin en un conjunto cuyo dominio es el conjunto de los nmeros naturales. En particular,
una sucesin en un espacio topolgico
es una aplicacin
.
Una sucesin es el caso ms sencillo de aplicacin de dominio infinito.
Se dice que
es un punto lmite de la sucesin
cumple que, cualquiera que sea el entorno
de
, o bien que
converge al punto
existe un nmero natural
nmero natural mayor o igual que

(o sea,
Hay que hacer dos observaciones sobre esto:
de tal manera que si
) entonces se cumple que
, si se
es otro
En primer lugar, puede darse el caso de que la sucesin no tenga puntos lmites, o incluso que tenga ms de un
punto lmite. Al conjunto de puntos lmites de una sucesin
se le denomina lmite de
(y se le
denota por
, o tambin por
).
En segundo lugar, la interpretacin de este concepto es la siguiente: tan cerca como queramos de un punto lmite
podemos encontrar a todos los puntos de la sucesin, excepto a lo ms a una cantidad finita de ellos (que podr o
no ser muy grande, pero no deja de ser finita).
Un punto
es punto de aglomeracin de la sucesin
cumple que el conjunto
si cualquiera que sea el entorno
de
se
es infinito. Todo punto lmite es punto de aglomeracin, pero el
recproco no es cierto. Por ejemplo, los lmites de oscilacin de una sucesin no convergente de nmeros reales
(como por ejemplo la sucesin
) son puntos de aglomeracin, pero no son puntos lmites (no existe
lmite para dicha sucesin, mientras que 1 y -1 son puntos de acumulacin).

Continuidad de aplicaciones
Otro concepto totalmente fundamental estudiado en esta rama es el de aplicacin continua. Una aplicacin
entre dos espacios topolgicos se dice que es continua si dado cualquier conjunto
abierto en ,
el conjunto
es un conjunto abierto en
Con la misma notacin, si
, diremos que
es continua en
cuando se obtiene que
entorno de , cualquiera que sea el entorno de

.
Es inmediato entonces comprobar que es continua cuando y slo cuando es continua en
es un
, cualquiera que
sea ste, es decir, cuando y slo cuando sea continua en cada uno de los puntos de su dominio.
Informalmente hablando, una aplicacin es continua si transforma puntos que estn cerca en puntos que estn cerca,
es decir, si respeta la "relacin de cercana". Esto adems quiere decir que una funcin continua no "rompe" los que
est unido y no "pega" lo que est separado.
Conjuntos conexos, conexos por caminos y arco-conexos

Un conjunto se dice que es conexo si no puede expresarse como unin de dos abiertos disjuntos no vacos.
Un conjunto
se dice que es conexo por caminos si todo par de puntos puede unirse mediante un camino, esto es,
continua de tal manera que
. Todo conjunto conexo
por caminos es conexo, pero no todo conjunto conexo es conexo por caminos.
Estos conjuntos estn "hechos de una pieza" (los conexos) o "hechos de manera que no tienen piezas totalmente
sueltas" (los conexos por caminos). Naturalmente esto es slo una manera de interpretarlos. Las piezas de un
conjunto (los mayores subconjuntos conexos que contiene el conjunto) se denominan "componentes conexas". Por
ejemplo, un puado de arena sera un conjunto en el que las componentes conexas son cada granito de arena. Un
espejo roto sera un conjunto en el que cada trozo de espejo es una componente conexa. Una bola de hierro es un
conjunto con una sola componente conexa, es decir, un conjunto conexo. Una rejilla tambin es un conjunto conexo,
formado por una sola componente conexa.
Topologa
Existe otra nocin de conexin, la conexin por arcos o arco conexin ligeramente ms restrictiva que la conexin
por caminos. Se exige que el camino sea un homeomorfismo sobre su imagen. Aun as, la conexin por arcos y por
caminos coinciden sobre los espacios de Haudorff.
Compacidad
Los conjuntos compactos son un tipo de conjunto mucho ms difciles de definir. En el espacio euclidiano un
conjunto es compacto si cumple dos condiciones: es "cerrado", es decir contiene a todos sus puntos frontera; y es
"acotado", es decir es posible trazar una bola que lo contenga. La compacidad es una propiedad muy importante en
Topologa, as como en Geometra y en Anlisis Matemtico.
Metrizacin
Una topologa sobre un conjunto es metrizable si es posible encontrar una distancia de forma que los abiertos para
esa distancia sean exactamente los abiertos de la topologa de partida. La metrizabilidad es tambin una propiedad
muy deseable en un espacio topolgico, pues nos permite dar una caracterizacin muy sencilla de los abiertos de la
topologa, adems de implicar otras ciertas propiedades.
Separacin
Las propiedades de separacin son ciertas propiedades, cada una un grado ms restrictiva que la anterior, que nos
indican la "resolucin" o "finura del grano" de una topologa. Por ejemplo, la propiedad de separacin T2 significa
que para dos puntos distintos siempre pueden encontrarse entornos disjuntos (es decir que no se cortan).
Densidad
Un conjunto es denso en el espacio si est "cerca de todos los puntos" de ese espacio. De manera ms precisa, un
conjunto es denso si su clausura es todo el espacio. Un conjunto se dice que es separable si tiene algn subconjunto
denso y numerable.
Topologa producto y Topologa cociente

La topologa producto nos proporciona una manera de dotar de una topologa al producto cartesiano de varios
espacios topolgicos, de tal manera que se conserven buenas propiedades, en particular que las proyecciones sobre
cada factor sean aplicaciones continuas y abiertas. La topologa cociente nos proporciona una manera de dotar de una
topologa al cociente (espacio de clases) de un espacio por una relacin de equivalencia, de manera que tenga el
mayor nmero posible de conjuntos abiertos y sin embargo la proyeccin sea continua (es decir la imagen recproca
de cada abierto sea un abierto).
Topologa Algebraica
La Topologa Algebraica estudia ciertas propiedades relacionadas con la conexin de un espacio, propiedades que
podramos describir como la "porosidad" de un espacio, la cantidad de boquetes que presenta. Para ello se vale de
instrumentos algebraicos, fundamentalmente la Teora de Grupos y el lgebra Homolgica, hasta tal punto que su
desarrollo es totalmente algebraico.
En la Topologa Algebraica se consideran una gran diversidad de problemas incluidos en la Teora de nudos por
ejemplo, o en la Teora de Homotopas y la Teora de Homologa.
Para comprender sucintamente estas cuestiones, volvamos a los ejemplos de conjuntos conexos. Segn hemos dicho,
una rejilla, una bola de hierro o una esponja son conjuntos conexos. Sin embargo todos entendemos que parece que
no tienen el mismo "grado de conexin", por expresarlo de alguna manera. Mientras que una bola de hierro es
maciza, una esponja y una rejilla tienen agujeros, e incluso parece claro que entre estos hay tambin una cierta
32
Topologa
33
diferencia. La Homotopa y la Homologa tratan estas cuestiones.
Notas
[1] Stewart, Ian: Conceptos de matemtica moderna. Alianza Universidad, 1988. p. 171.
[2] Tony Crilly (2011). 50 cosas que hay que saber sobre matemticas. Ed. Ariel. ISBN 978-987-1496-09-9.
Vase tambin
Portal:Matemtica. Contenido relacionado con Matemtica.

Espacio topolgico
Banda de Mbius
Botella de Kaluza-Klein
Nudo borromeo
Topologa cociente
Topologa diferencial
Topologa geomtrica
Topologa cuntica
Glosario de topologa
Matemticas del origami
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre TopologaCommons.

Wikcionario tiene definiciones para topologa.Wikcionario
Wikiquote alberga frases clebres de o sobre los Toplogos. Wikiquote
Wikiversidad alberga proyectos de aprendizaje sobre Topologa.Wikiversidad

http://www.ehu.es/~mtwmastm/sigma20.pdf Macho Stadler, Marta: Qu es la topologa?
http://rinconmatematico.com/chamizo/APtopo.pdf La Topologa... no es tan difcil.
http://topologia.wordpress.com Juegos topolgicos.

Coordenadas: 544212N 203056E
El problema de los puentes de
Knigsberg,
tambin
llamado
ms
especficamente problema de los siete
puentes de Knigsberg, es un clebre
problema
matemtico,
resuelto
por
Leonhard Euler en 1736 y cuya resolucin
dio origen a la teora de grafos.[1] Su
nombre se debe a Knigsberg, el antiguo
nombre que reciba la ciudad rusa de
Kaliningrado, que durante el siglo XVIII
formaba parte de Prusia Oriental, como uno
de los ducados del Reino de Prusia.
Esta ciudad es atravesada por el ro
Pregolya, el cual se bifurca para rodear con
sus brazos a la isla Kneiphof,[2] dividiendo
Mapa de Knigsberg en la poca de Leonhard Euler, que muestra dnde se
encontraban
los siete puentes (en verde claro) y las ramas del ro (en celeste).
el terreno en cuatro regiones distintas, las
que entonces estaban unidas mediante siete
puentes llamados Puente del herrero, Puente conector, Puente verde, Puente del mercado, Puente de madera,
Puente alto y Puente de la miel.[3] El problema fue formulado en el siglo XVIII y consista en encontrar un recorrido
para cruzar a pie toda la ciudad, pasando slo una vez por cada uno de los puentes, y regresando al mismo punto de
inicio.[4]
Contextualizacin del problema

Leonhard Euler lleg a Prusia en 1741, a la edad de 34 aos, donde vivi hasta 1766 para luego regresar a San
Petersburgo. Durante esos aos trabaj en la Academia Prusiana de las Ciencias, donde desarroll una prolfica
carrera como investigador.[5] Euler fue contemporneo de varios otros famosos matemticos y pensadores
procedentes de aquella ciudad, tales como Immanuel Kant, Johann Georg Hamann y Christian Goldbach, por lo que
Knigsberg fue en ese tiempo un importante epicentro cientfico.
Es en este ambiente y por estos aos en que surge la formulacin del problema de los puentes de Knigsberg,
propagndose a modo de juego y de trivia matemtica entre los intelectuales de la poca.
34
35
Anlisis y solucin del problema

El problema, formulado originalmente de manera informal,
consista en responder a la siguiente pregunta:
Leonhard Euler (1707 - 1783), famoso matemtico que

resolvi el problema en 1736, dando origen a la teora
de grafos. Retrato de 1753.
Dado el mapa de Knigsberg, con el ro Pregolya dividiendo el plano en cuatro regiones distintas, que estn unidas a travs de los siete
puentes, es posible dar un paseo comenzando desde cualquiera de estas regiones, pasando por todos los puentes, recorriendo slo una vez
cada uno, y regresando al mismo punto de partida?
La respuesta es negativa, es decir, no existe una ruta con estas caractersticas. El problema puede resolverse
aplicando un mtodo de fuerza bruta, lo que implica probar todos los posibles recorridos existentes. Sin embargo,
Euler en 1736 en su publicacin Solutio problematis ad geometriam situs pertinentis[1] demuestra una solucin
generalizada del problema, que puede aplicarse a cualquier territorio en que ciertos accesos estn restringidos a
ciertas conexiones, tales como los puentes de Knigsberg.
Para dicha demostracin, Euler recurre a una abstraccin del mapa, enfocndose exclusivamente en las regiones
terrestres y las conexiones entre ellas. Cada puente lo represent mediante una lnea que una a dos puntos, cada uno
de los cuales representaba una regin diferente. As el problema se reduce a decidir si existe o no un camino que
comience por uno de los puntos azules, transite por todas las lneas una nica vez, y regrese al mismo punto de
partida.
36
Demostracin
Euler determin, en el contexto del problema, que los puntos intermedios de un recorrido posible necesariamente han
de estar conectados a un nmero par de lneas. En efecto, si llegamos a un punto desde alguna lnea, entonces el
nico modo de salir de ese punto es por una lnea diferente. Esto significa que tanto el punto inicial como el final
seran los nicos que podran estar conectados con un nmero impar de lneas. Sin embargo, el requisito adicional
del problema dice que el punto inicial debe ser igual al final, por lo que no podra existir ms de un nico punto
conectado con un nmero impar de lneas.[6]
En particular, como en este diagrama los cuatro puntos poseen un nmero impar de lneas incidentes (tres de ellos
inciden en tres lneas, y el restante incide en cinco), entonces se concluye que es imposible definir un camino con las
caractersticas buscadas.
Repercusiones
Esta abstraccin del problema ideada por Euler dio pie a la primera nocin de grafo, que es un tipo de estructura de
datos utilizada ampliamente en matemtica discreta y en ciencias de la computacin. A los puntos se les llaman
vrtices y a las lneas aristas. Al nmero de aristas incidentes a un vrtice se le llama el grado de dicho vrtice.
Especficamente, un diagrama como el de la abstraccin del mapa de Knigsberg representa un multigrafo no
dirigido sin bucles.
En la teora de grafos, existe un concepto llamado ciclo euleriano, llamado as justamente en honor a Leonhard
Euler, que representa cualquier camino dentro de un grafo particular, capaz de recorrer todas las aristas una nica
vez, regresando finalmente al mismo vrtice original. En coloracin de grafos, una subrea de la teora de grafos, la
resolucin de este problema constituye adems el primer teorema de los grafos planares.[7]
Por otra parte, la publicacin de Euler es la primera que hace alusin a una geometra en que slo interesan las
propiedades estructurales de los objetos, y no sus medidas, como tradicionalmente se hace. El matemtico llama a
esta nueva manera de ver los objetos geomtricos geometriam situs, trmino que hoy se traduce como topologa,[2]
rea actual de la matemtica cuyo origen directo puede situarse en la resolucin de este problema.[8]
El problema original en la actualidad

Dos de los siete puentes originales fueron destruidos
por el bombardeo de Knigsberg durante la Segunda
Guerra Mundial. Otros dos fueron posteriormente
demolidos y reemplazados por carreteras modernas.
Los tres puentes restantes an permanecen en pie,
aunque slo dos de ellos desde la poca de Euler, pues
uno fue reconstruido en 1935.[9]
Por lo tanto, en la actualidad slo existen cinco puentes
en Kaliningrado, distribuidos de tal manera que ahora
es posible definir un camino euleriano, es decir, una
ruta que comienza en una isla y terminar en otra; pero
no todava un ciclo euleriano, es decir, que la ruta
comience y termine en el mismo lugar, lo cual era
necesario para cumplir con las condiciones iniciales del
problema.[10]
Vase tambin
Puente de la Miel sobre el ro Pregolya en Kaliningrado.

Teora de grafos
Ciclo euleriano
Referencias
[1] Euler, Leonhard (1736). Solutio problematis ad geometriam situs pertinentis (http:/ / math. dartmouth. edu/ ~euler/ docs/ originals/ E053.
pdf) (en latn). Comment. Acad. Sci. U. Petrop 8, 128-40 (Reimpreso en Opera Omnia Series Prima, Vol. 7. pp. 1-10, 1766). . Consultado el
11 de abril de 2010.
[2] Astrocosmo (2001-2002). El Problema de los Puentes de Knigsberg (http:/ / www. astrocosmo. cl/ anexos/ p-p_konigsberg. htm) (en
espaol). Consultado el 28 de abril de 2010.
[3] MathDL. Leonard Euler's Solution to the Konigsberg Bridge Problem (http:/ / mathdl. maa. org/ mathDL/ 46/ ?pa=content&
sa=viewDocument& nodeId=1310& bodyId=1452) (en ingls). Consultado el 11 de abril de 2010.
[4] Weisstein, Eric W., Problema de los puentes de Knigsberg (http:/ / mathworld. wolfram. com/ KoenigsbergBridgeProblem. html) (en
ingls), MathWorld, Wolfram Research, .
[5] Dunham, William (1999). Euler: The Master of Us All. The Mathematical Association of America. pp.xxivxxv.
[6] En realidad, en estos recorridos, llamados ciclos eulerianos, no pueden existir puntos con un nmero impar de lneas incidentes. Solo en el
caso de los caminos eulerianos, donde se acepta que el punto inicial y el final sean distintos, puede darse que nicamente stos tengan un
nmero impar de lneas incidentes. Euler slo caracteriz formalmente los caminos eulerianos; la caracterizacin formal de ciclo euleriano la
hizo Carl Hierholzer ms tarde, en 1873, lo que no impide que la demostracin de Euler sea general y correcta.
Fuente: Biggs, N. L.; Lloyd, E. K.; Wilson, R. J. (1976) (en ingls). Graph Theory 1736-1936. Oxford: Clarendon Press. pp.239.
[7] Alexanderson, Gerald (July 2006). Euler and Knigsberg's bridges: a historical view. Bulletin of the American Mathematical Society.
[8] Pappas, T. "Knigsberg Bridge Problem & Topology." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp. 124-125, 1989.
[9] Taylor, Peter (diciembre de 2000). Australian Mathematics Trust (ed.): What Ever Happened to Those Bridges? (http:/ / www. amt.
canberra. edu. au/ koenigs. html). Consultado el 12 de abril de 2010.
[10] Stallmann, Matthias (julio de 2006). The 7/5 Bridges of Koenigsberg/Kaliningrad (http:/ / www. csc. ncsu. edu/ faculty/ stallmann/
SevenBridges/ ). Consultado el 12 de abril de 2010.
Notas
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Problema de los puentes de Knigsberg.
Commons
Sitio interactivo de los Puentes de Konigsberg (http://www.aulademate.com/contentid-200.html).
37
Teora de grafos
38
Teora de grafos
En matemticas y en ciencias de la computacin, la
teora de grafos (tambin llamada teora de las
grficas) estudia las propiedades de los grafos
(tambin llamadas grficas). Un grafo es un
conjunto, no vaco, de objetos llamados vrtices (o
nodos) y una seleccin de pares de vrtices,
llamados aristas (edges en ingls) que pueden ser
orientados o no. Tpicamente, un grafo se representa
mediante una serie de puntos (los vrtices)
conectados por lneas (las aristas).
Diagrama de un grafo con 6 vrtices y 7 aristas.
Historia
El trabajo de Leonhard Euler, en 1736, sobre el problema de los
puentes de Knigsberg es considerado el primer resultado de la teora
de grafos. Tambin se considera uno de los primeros resultados
topolgicos en geometra (que no depende de ninguna medida). Este
ejemplo ilustra la profunda relacin entre la teora de grafos y la
topologa.
En 1845 Gustav Kirchhoff public sus leyes de los circuitos para
calcular el voltaje y la corriente en los circuitos elctricos.
En 1852 Francis Guthrie plante el problema de los cuatro colores que
Puentes de Knigsberg.
plantea si es posible, utilizando solamente cuatro colores, colorear
cualquier mapa de pases de tal forma que dos pases vecinos nunca
tengan el mismo color. Este problema, que no fue resuelto hasta un siglo despus por Kenneth Appel y Wolfgang
Haken, puede ser considerado como el nacimiento de la teora de grafos. Al tratar de resolverlo, los matemticos
definieron trminos y conceptos tericos fundamentales de los grafos.
Estructuras de datos en la representacin de grafos

Existen diferentes formas de almacenar grafos en una computadora. La estructura de datos usada depende de las
caractersticas del grafo y el algoritmo usado para manipularlo. Entre las estructuras ms sencillas y usadas se
encuentran las listas y las matrices, aunque frecuentemente se usa una combinacin de ambas. Las listas son
preferidas en grafos dispersos porque tienen un eficiente uso de la memoria. Por otro lado, las matrices proveen
acceso rpido, pero pueden consumir grandes cantidades de memoria.
Teora de grafos
39
Estructura de lista
lista de incidencia - Las aristas son representadas con un vector de
pares (ordenados, si el grafo es dirigido), donde cada par representa
una de las aristas.[1]
lista de adyacencia - Cada vrtice tiene una lista de vrtices los
cuales son adyacentes a l. Esto causa redundancia en un grafo no
dirigido (ya que A existe en la lista de adyacencia de B y viceversa),
pero las bsquedas son ms rpidas, al costo de almacenamiento
extra.
En esta estructura de datos la idea es asociar a cada vrtice i del grafo
una lista que contenga todos aquellos vrtices j que sean adyacentes a
l. De esta forma slo reservar memoria para los arcos adyacentes a i
y no para todos los posibles arcos que pudieran tener como origen i. El
Grafo de lista de adyacencia.
grafo, por tanto, se representa por medio de un vector de n
componentes (si |V|=n) donde cada componente va a ser una lista de
adyacencia correspondiente a cada uno de los vrtices del grafo. Cada elemento de la lista consta de un campo
indicando el vrtice adyacente. En caso de que el grafo sea etiquetado, habr que aadir un segundo campo para
mostrar el valor de la etiqueta.
Estructuras matriciales
Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por V (vrtices), donde [arista,
vrtice] contiene la informacin de la arista (1 - conectado, 0 - no conectado)
Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao
nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento
, donde
es el
es 1, de lo
contrario, es 0.
Definiciones
Vrtice
Los vrtices constituyen uno de los dos elementos que forman un grafo. Como ocurre con el resto de las ramas de
las matemticas, a la Teora de Grafos no le interesa saber qu son los vrtices.
Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definicin de grafo
pueden verse como grafos y as aplicar la Teora de Grafos en ellos.
Grafo
Un grafo es una pareja de conjuntos
donde
es el conjunto de vrtices, y
,
es el
conjunto de aristas, este ltimo es un conjunto de

pares de la forma
tal que
. Para
simplificar, notaremos la arista
como
.
En teora de grafos, slo queda lo esencial del
En la figura, V = { a, b, c, d, e, f }, y A = { ab, ac, ae, bc, bd, df, ef }.
dibujo: la forma de las aristas no son relevantes, slo
importa a qu vrtices estn unidas. La posicin de
los vrtices tampoco importa, y se puede variar para obtener un dibujo ms claro.
Teora de grafos
40
Muchas redes de uso cotidiano pueden ser modeladas con un grafo: una red de carreteras que conecta ciudades, una
red elctrica o la red de drenaje de una ciudad.
Subgrafo
Un subgrafo de un grafo G es un grafo cuyos conjuntos de vrtices y aristas son subconjuntos de los de G. Se dice
que un grafo G contiene a otro grafo H si algn subgrafo de G es H o es isomorfo a H (dependiendo de las
necesidades de la situacin).
El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las aristas adyacentes al subconjunto de
vrtices de G.
Definicin:
Sea G=(V, A). G=(V,A) se dice subgrafo de G si:
1- V
2- A'
3- (V,A) es un grafo
Si G=(V,A) es subgrafo de G, para todo v
G se cumple gr (G,v) gr (G, v)
G2 es un subgrafo de G.
Aristas dirigidas y no dirigidas

En algunos casos es necesario asignar un sentido a
las aristas, por ejemplo, si se quiere representar la
red de las calles de una ciudad con sus direcciones
nicas. El conjunto de aristas ser ahora un
subconjunto de todos los posibles pares ordenados
de vrtices, con (a, b) (b, a). Los grafos que
contienen aristas dirigidas se denominan grafos
orientados, como el siguiente:
Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas
orientadas entre los nodos, cada una en un sentido).
En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idnticos: es un lazo (o bucle), y aparece
tambin una arista bidireccional, y corresponde a dos aristas orientadas.
Aqu V = { a, b, c, d, e }, y A = { (a, c), (d, a), (d, e), (a, e), (b, e), (c, a), (c, c), (d, b) }.
Se considera la caracterstica de "grado" (positivo o negativo) de un vrtice
(y se indica como
), como la
cantidad de aristas que llegan o salen de l; para el caso de grafos no orientados, el grado de un vrtice es
Teora de grafos
simplemente la cantidad de aristas incidentes a este vrtice. Por ejemplo, el grado positivo (salidas) de d es 3,
mientras que el grado negativo (llegadas) de d es 0.
Segn la terminologa seguida en algunos problemas clsicos de Investigacin Operativa (p.ej.: el Problema del flujo
mximo), a un vrtice del que slo salen aristas se le denomina fuente (en el ejemplo anterior, el vrtice d); tiene
grado negativo 0. Por el contrario, a aquellos en los que slo entran aristas se les denomina pozo o sumidero (en el
caso anterior, el vrtice e); tiene grado positivo 0. A continuacin se presentan las implementaciones en maude de
grafos no dirigidos y de grafos dirigidos.En los dos casos, las especificaciones incluyen, adems de las operaciones
generadoras, otras operaciones auxiliares.
Ciclos y caminos hamiltonianos

Un ciclo es una sucesin de aristas adyacentes,
donde no se recorre dos veces la misma arista, y
donde se regresa al punto inicial. Un ciclo
hamiltoniano tiene adems que recorrer todos los
vrtices exactamente una vez (excepto el vrtice del
que parte y al cual llega).
Por ejemplo, en un museo grande (al estilo del
Louvre), lo idneo sera recorrer todas las salas una
sola vez, esto es buscar un ciclo hamiltoniano en el
grafo que representa el museo (los vrtices son las
salas, y las aristas los corredores o puertas entre
ellas).
Se habla tambin de camino hamiltoniano si no se
impone regresar al punto de partida, como en un
museo con una nica puerta de entrada. Por ejemplo,
Ejemplo de un ciclo hamiltoniano.
un caballo puede recorrer todas las casillas de un
tablero de ajedrez sin pasar dos veces por la misma:
es un camino hamiltoniano. Ejemplo de un ciclo hamiltoniano en el grafo del dodecaedro.
Hoy en da, no se conocen mtodos generales para hallar un ciclo hamiltoniano en tiempo polinmico, siendo la
bsqueda por fuerza bruta de todos los posibles caminos u otros mtodos excesivamente costosos. Existen, sin
embargo, mtodos para descartar la existencia de ciclos o caminos hamiltonianos en grafos pequeos.
El problema de determinar la existencia de ciclos hamiltonianos, entra en el conjunto de los NP-completos.
Caracterizacin de grafos
Grafos simples
Un grafo es simple si hay slo 1 arista QUE une dos vrtices cualesquiera. Esto es equivalente a decir que una arista
cualquiera es la nica que une dos vrtices especficos.
Un grafo que no es simple se denomina Multigrfica o Grfo mltiple.
Grafos conexos
Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices
(a, b), existe al menos un camino posible desde a hacia b.
Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir,
es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo.
41
Teora de grafos
42
Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en
profundidad (DFS).
En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en l una
relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente)
conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados.
Esta
propiedad
es
importante
para
muchas
demostraciones
en
teora
de
grafos.
Grafos completos
Un grafo es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a,
b) debe tener una arista e que los une.
El conjunto de los grafos completos es denominado usualmente
Un
, es decir, grafo completo de
La representacin grfica de los
, siendo
vrtices tiene exactamente
el grafo completo de n vrtices.

aristas.
como los vrtices de un polgono regular da cuenta de su peculiar estructura.
Grafos bipartitos
Un grafo G es bipartito si puede expresarse como
(es decir, sus vrtices son la unin de dos
grupos de vrtices), bajo las siguientes condiciones:
y
son disjuntos y no vacos.
Cada arista de A une un vrtice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V1; anlogamente para V2.
Bajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo que une o
relaciona dos conjuntos de elementos diferentes, como aquellos resultantes de los ejercicios y puzzles en los que
debe unirse un elemento de la columna A con un elemento de la columna B.
Operaciones en Grafos
Subdivisin elemental de una arista
se convierte en
Se reemplaza la arista
por dos aristas
y un vrtice
Despus de realizar esta operacin, el grafo queda con un vrtice y una arista ms.
Eliminacin dbil de un vrtice
Si
(Sea
un vrtice del grafo y de grado dos) eliminarlo dbilmente significa reemplazarlo
por una arista que une los vrtices adyacentes a

se convierte en
Entonces
desaparecen y aparece
Teora de grafos
43
Homeomorfismo de grafos
Dos grafos
son homeomorfos si ambos pueden obtenerse a partir del mismo grafo con una sucesin de
subdivisiones elementales de aristas.
rboles
Un grafo que no tiene ciclos y que conecta a todos los puntos, se llama un
rbol. En un grafo con n vrtices, los rboles tienen exactamente n - 1 aristas, y
hay nn-2 rboles posibles. Su importancia radica en que los rboles son grafos
que conectan todos los vrtices utilizando el menor nmero posible de aristas.
Un importante campo de aplicacin de su estudio se encuentra en el anlisis
filogentico, el de la filiacin de entidades que derivan unas de otras en un
proceso evolutivo, que se aplica sobre todo a la averiguacin del parentesco
entre especies; aunque se ha usado tambin, por ejemplo, en el estudio del
parentesco entre lenguas.
Ejemplo de rbol.
Grafos ponderados o etiquetados

En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste
segn el contexto, y se obtiene as un grafo valuado.
Formalmente, es un grafo con una funcin v: A R+.
Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters
previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente
tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.
Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos
desde a hasta b, sin ms condicin.
Teorema de los cuatro colores

Otro problema famoso relativo a los grafos: Cuntos colores son
necesarios para dibujar un mapa poltico, con la condicin obvia que
dos pases adyacentes no puedan tener el mismo color? Se supone que
los pases son de un solo pedazo, y que el mundo es esfrico o plano.
En un mundo en forma de toroide; el teorema siguiente no es vlido:
Cuatro colores son siempre suficientes para colorear un mapa.
El mapa siguiente muestra que tres colores no bastan: Si se empieza
por el pas central a y se esfuerza uno en utilizar el menor nmero de
colores, entonces en la corona alrededor de a alternan dos colores.
Llegando al pas h se tiene que introducir un cuarto color. Lo mismo
sucede en i si se emplea el mismo mtodo.
En 1852 Francis Guthrie plante el problema de

los cuatro colores.
La forma precisa de cada pas no importa; lo nico relevante es saber

qu pas toca a qu otro. Estos datos estn incluidos en el grafo donde
los vrtices son los pases y las aristas conectan los que justamente son adyacentes. Entonces la cuestin equivale a
atribuir a cada vrtice un color distinto del de sus vecinos.
Hemos visto que tres colores no son suficientes, y demostrar que con cinco siempre se llega, es bastante fcil. Pero el
teorema de los cuatro colores no es nada obvio. Prueba de ello es que se han tenido que emplear ordenadores para
Teora de grafos
44
acabar la demostracin (se ha hecho un programa que permiti verificar una multitud de casos, lo que ahorr
muchsimo tiempo a los matemticos). Fue la primera vez que la comunidad matemtica acept una demostracin
asistida por ordenador, lo que ha creado una fuerte polmica dentro de la comunidad matemtica, llegando en
algunos casos a plantearse la cuestin de que esta demostracin y su aceptacin es uno de los momentos que han
generado una de las ms terribles crisis en el mundo matemtico.
Coloracin de grafos
Definicin: Si G=(V, E) es un grafo no dirigido, una
coloracin propia de G, ocurre cuando coloreamos
los vrtices de G de modo que si {a, b} es una arista
en G entonces a y b tienen diferentes colores. (Por lo
tanto, los vrtices adyacentes tienen colores
diferentes). El nmero mnimo de colores necesarios
para una coloracin propia de G es el nmero
cromtico de G y se escribe como C (G). Sea G un
grafo no dirigido sea el nmero de colores
disponibles para la coloracin propia de los vrtices
de G. Nuestro objetivo es encontrar una funcin
polinomial P (G,), en la variable , llamada
polinomio cromtico de G , que nos indique el
nmero de coloraciones propias diferentes de los
vrtices de G, usando un mximo de colores.
Colores en los vrtices.
Descomposicin de polinomios cromticos. Si

G=(V, E) es un grafo conexo y e pertenece a , entonces: P (G,)=P (G+e,)+P (G/e,), donde G/e es el grafo se
obtene por contraccin de aristas.
Para cualquier grafo G, el trmino constante en P (G,) es 0
Sea G=(V, E) con |E|>0 entonces, la suma de los coeficientes de P (G,) es 0.
Sea G=(V, E), con a, b pertenecientes al conjunto de vrtices V pero {a, b}=e, no perteneciente a al conjunto de
aristas E. Escribimos G+e para el grafo que se obtiene de G al aadir la arista e={a, b}. Al identificar los vrtices a y
b en G, obtenemos el subgrafo G++e de G.
Teora de grafos
45
Grafos planos
Cuando un grafo o multigrafo se puede dibujar en un
plano sin que dos segmentos se corten, se dice que
es plano.
Un juego muy conocido es el siguiente: Se dibujan
tres casas y tres pozos. Todos los vecinos de las
casas tienen el derecho de utilizar los tres pozos.
Como no se llevan bien en absoluto, no quieren
cruzarse jams. Es posible trazar los nueve caminos
que juntan las tres casas con los tres pozos sin que
haya cruces?
Cualquier disposicin de las casas, los pozos y los
caminos implica la presencia de al menos un cruce.
Sea Kn el grafo completo con n vrtices, Kn, p es el
grafo bipartito de n y p vrtices.
Un grafo es plano si se puede dibujar sin cruces de aristas. El problema

de las tres casas y los tres pozos tiene solucin sobre el toro, pero no en
el plano.
El juego anterior equivale a descubrir si el grafo

bipartito completo K3,3 es plano, es decir, si se
puede dibujar en un plano sin que haya cruces,
siendo la respuesta que no. En general, puede determinarse que un grafo no es plano, si en su diseo puede
encontrase una estructura anloga (conocida como menor) a K5 o a K3,3.
Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver con topologa.
Dimetro
En un grafo, la distancia entre dos vrtices es el
menor nmero de aristas de un recorrido entre ellos.
El dimetro, en una figura como en un grafo, es la
mayor distancia entre dos puntos de la misma.
El dimetro de los Kn es 1, y el de los Kn,p es 2. Un
dimetro infinito puede significar que el grafo tiene
una infinidad de vrtices o simplemente que no es
conexo. Tambin se puede considerar el dimetro
promedio, como el promedio de las distancias entre
dos vrtices.
En la figura se nota que K4 es plano (desviando la arista ab al exterior

del cuadrado), que K5 no lo es, y que K3,2 lo es tambin (desvos en
gris).
El mundo de Internet ha puesto de moda esa idea del dimetro: Si descartamos los sitios que no tienen enlaces, y
escogemos dos pginas web al azar: En cuntos clics se puede pasar de la primera a la segunda? El resultado es el
dimetro de la Red, vista como un grafo cuyos vrtices son los sitios, y cuyas aristas son lgicamente los enlaces.
En el mundo real hay una analoga: tomando al azar dos seres humanos del mundo, En cuntos saltos se puede
pasar de uno a otro, con la condicin de slo saltar de una persona a otra cuando ellas se conocen personalmente?
Con esta definicin, se estima que el dimetro de la humanidad es de... ocho solamente!
Este concepto refleja mejor la complejidad de una red que el nmero de sus elementos.
Vase tambin: Glosario en teora de grafos
Teora de grafos
Algoritmos importantes
Algoritmo de bsqueda en anchura (BFS)

Algoritmo de bsqueda en profundidad (DFS)
Algoritmo de bsqueda A*
Algoritmo del vecino ms cercano
Ordenacin topolgica de un grafo
Algoritmo de clculo de los componentes fuertemente conexos de un grafo
Algoritmo de Dijkstra
Algoritmo de Bellman-Ford
Algoritmo de Prim
Algoritmo de Ford-Fulkerson
Algoritmo de Kruskal
Algoritmo de Floyd-Warshall
Aplicaciones
Gracias a la teora de grafos se pueden resolver diversos problemas como por ejemplo la sntesis de circuitos
secuenciales, contadores o sistemas de apertura. Se utiliza para diferentes reas por ejemplo, Dibujo computacional,
en toda las reas de Ingeniera.
Los grafos se utilizan tambin para modelar trayectos como el de una lnea de autobs a travs de las calles de una
ciudad, en el que podemos obtener caminos ptimos para el trayecto aplicando diversos algoritmos como puede ser
el algoritmo de Floyd.
Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se modelan los mismos utilizando
grafos y optimizando los tiempos para concretar los mismos.
La teora de grafos tambin ha servido de inspiracin para las ciencias sociales, en especial para desarrollar un
concepto no metafrico de red social que sustituye los nodos por los actores sociales y verifica la posicin,
centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones
complejas, de manera que la estructura social puede representarse grficamente. Por ejemplo, una red social puede
representar la estructura de poder dentro de una sociedad al identificar los vnculos (aristas), su direccin e
intensidad y da idea de la manera en que el poder se transmite y a quines.
Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice representa un hbitat y las aristas (o
"edges" en ingls) representa los senderos de los animales o las migracines. Con esta informacin, los cientficos
pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat.
Investigadores relevantes en Teora de grafos
Leonhard Euler
Edsger Dijkstra
Paul Erds
Frank Harary
Dnes Knig
Kazimierz Kuratowski
Gerhard Ringel
W.T. Tutte
46
Teora de grafos
Vase tambin
Grafo
Modelo en grafo
Algoritmo de Floyd
Relacin social
Iconografa de las correlaciones
Referencias
[1] Ejemplo de una lista de incidencia (http:/ / upload. wikimedia. org/ wikipedia/ commons/ thumb/ 1/ 18/ Incidence_list_2. svg/
500px-Incidence_list_2. svg. png)
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de grafos. Commons

Pginas blancas de la Teora de grafos (http://www.math.gatech.edu/~sanders/graphtheory/) (para ms
investigadores y publicaciones).
"Teora de grafos" en la Enciclopedia Libre Universal en Espaol
Grafos (http://arodrigu.webs.upv.es/grafos): Es un software para la construccin, edicin y anlisis de grafos.
Forma parte de un proyecto (creative commons) de investigacin y desarrollo de aplicaciones informticas de
diseo modular orientadas hacia la docencia, investigacin y labores profesionales de Ingeniera de Organizacin
Industrial. Tambin tiene un libro y otros documentos para descargar sobre teora de grafos.
GraphThing (http://graph.seul.org/): Es un software para la construccin, edicin y anlisis de grafos, es
software libre bajo la licencia gnu.
aiSee (http://www.absint.com/aisee/index_es.htm): Es un software para la visualizacin automtica de grafos
especificados en formato GDL. No es libre, pero es gratuito para uso no comercial.
AbuGraph (http://sourceforge.net/projects/abugraph): Aplicacin Java para el trazado y la visualizacin de
grafos dirigidos. Soporta la creacin dinmica de grafos en tiempo real recibiendo comandos desde otras
aplicaciones a travs de una conexin TCP/IP.
El contenido de este artculo incorpora material de una entrada de la Enciclopedia Libre Universal (http://
enciclopedia.us.es/index.php/Teora_de_grafos), publicada en espaol bajo la licencia Creative Commons
Compartir-Igual 3.0 (http://creativecommons.org/licenses/by-sa/3.0/deed.es).
47
Mquina de Turing
Mquina de Turing
Una mquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automtica
sobre una entrada llamada cinta, generando una salida en esta misma.
Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco
(normalmente b,
o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Su
funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la
cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada. La mquina va leyendo una celda de la cinta en
cada paso, borrando el smbolo en el que se encuentra posicionado su cabezal y escribiendo un nuevo smbolo
perteneciente al alfabeto de salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la
vez). Esto se repite segn se indique en la funcin de transicin, para finalmente detenerse en un estado final o de
aceptacin, representando as la salida.
Historia
Alan Turing introdujo el concepto de
mquina de Turing en el trabajo On
computable numbers, with an application to
the Entscheidungsproblem, publicado por la
Sociedad Matemtica de Londres en 1936,
en el que se estudiaba la cuestin planteada
por David Hilbert sobre si las matemticas
son decidibles, es decir, si hay un mtodo
Representacin artstica de una mquina de Turing.
definido que pueda aplicarse a cualquier
sentencia matemtica y que nos diga si esa
sentencia es cierta o no. Turing ide un modelo formal de computador, la mquina de Turing, y demostr que
existan problemas que una mquina no poda resolver.
Con este aparato extremadamente sencillo es posible realizar cualquier cmputo que un computador digital sea capaz
de realizar.
Mediante este modelo terico y el anlisis de la complejidad de los algoritmos, fue posible la categorizacin de
problemas computacionales de acuerdo a su comportamiento, apareciendo as, el conjunto de problemas
denominados P y NP, cuyas soluciones pueden encontrarse en tiempo polinmico por mquinas de Turing
deterministas y no deterministas, respectivamente.
Precisamente, la tesis de Church-Turing formulada por Alan Turing y Alonzo Church, de forma independiente a
mediados del siglo XX caracteriza la nocin informal de computabilidad con la computacin mediante una mquina
de Turing.[1]
La idea subyacente es el concepto de que una mquina de Turing puede verse como un autmata ejecutando un
procedimiento efectivo definido formalmente, donde el espacio de memoria de trabajo es ilimitado, pero en un
momento determinado slo una parte finita es accesible.
48
Mquina de Turing
49
Definicin formal
Una mquina de Turing con una sola cinta puede definirse como una 7-tupla
donde:[2]
es un conjunto finito de estados.

es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina o de
entrada.
es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta (
).
es el estado inicial.
es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces.
es el conjunto de estados finales de aceptacin.
es una funcin parcial denominada funcin de transicin, donde
es un
movimiento a la izquierda y
es el movimiento a la derecha.
Existen en la literatura un abundante nmero de definiciones alternativas, pero todas ellas tienen el mismo poder
computacional, por ejemplo se puede aadir el smbolo
como smbolo de "no movimiento" en un paso de
cmputo.
Funcionamiento
La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido,
borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta mquina se
limitan a:
Avanzar el cabezal lector/escritor hacia la derecha.
Avanzar el cabezal lector/escritor hacia la izquierda.
El cmputo es determinado a partir de una tabla de
estados de la forma:
(estado, valor)
direccin)
(nuevo estado, nuevo valor,
Esta tabla toma como parmetros el estado actual de la

mquina y el carcter ledo de la cinta, dando la
direccin para mover el cabezal, el nuevo estado de la
mquina y el valor a escribir en la cinta.
Visualizacin de una mquina de Turing, en la que se ve el cabezal y

la cinta que se lee.
La memoria es la cinta de la mquina que se divide en espacios de trabajo denominados celdas, donde se pueden
escribir y leer smbolos. Inicialmente todas las celdas contienen un smbolo especial denominado "blanco". Las
instrucciones que determinan el funcionamiento de la mquina tienen la forma, "si estamos en el estado x leyendo la
posicin y, donde hay escrito el smbolo z, entonces este smbolo debe ser reemplazado por este otro smbolo, y
pasar a leer la celda siguiente, bien a la izquierda o bien a la derecha".
La mquina de Turing puede considerarse como un autmata capaz de reconocer lenguajes formales. En ese sentido,
es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia
es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o el autmata con pila, o igual a otros
modelos con la misma potencia computacional.
Mquina de Turing
50
Representacin como diagrama de estados

Las maquinas de Turing pueden representarse mediante grafos particulares, tambin llamados diagramas de estados
finitos, de la siguiente manera:
Los estados se representan como
vrtices, etiquetados con su nombre
en el interior.
Una transicin desde un estado a
otro, se representa mediante una
arista dirigida que une a estos
vrtices, y esta rotulada por smbolo
que lee el cabezal/smbolo que
escribir el cabezal, movimiento del
cabezal.
Esta mquina de Turing est definida sobre el alfabeto
, posee el
El estado inicial se caracteriza por
conjunto de estados
, con las transiciones
tener una arista que llega a l y que
que se pueden ver. Su estado inicial es
y el estado final es
, el lenguaje de salida
no proviene de ningn otro vrtice.
siendo
el smbolo denominado "blanco". Esta mquina
El o los estados finales se
reconoce la expresin regular de la forma
con
.
representan mediante vrtices que
estn encerrados a su vez por otra circunferencia.
Descripcin instantnea
Es una secuencia de la forma
contiene la cadena
donde
que escribe el estado de una MT. La cinta
seguida de infinitos blancos. El cabezal seala el primer smbolo de
Por ejemplo, para la mquina de Turing
con las transiciones
La descripcin instantnea para la cinta 1011 es:
Ejemplo
Definimos una mquina de Turing sobre el alfabeto
, donde 0 representa el smbolo blanco. La mquina
comenzar su proceso situada sobre un smbolo "1" de una serie. La mquina de Turing copiar el nmero de
smbolos "1" que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir, posicionad el cabezal
sobre el 1 situado en el extremo izquierdo, doblar el nmero de smbolos 1, con un 0 en medio. As, si tenemos la
entrada "111" devolver "1110111", con "1111" devolver "111101111", y sucesivamente.
Mquina de Turing
51
El conjunto de estados es
y el estado inicial es
. La tabla que describe la funcin de
transicin es la siguiente:
Estado Smbolo ledo Smbolo escrito Mov. Estado sig.
1
El funcionamiento de una computacin de esta mquina puede mostrarse con el siguiente ejemplo (en negrita se
resalta la posicin de la cabeza lectora/escritora):
Paso Estado Cinta
1
11
01
010
0100
0101
0101
0101
1101
1001
10
1001
11
10010
12
10011
13
10011
14
10011
15
11011
Parada
La mquina realiza su proceso por medio de un bucle, en el estado inicial

, reemplaza el primer 1 con un 0, y
pasa al estado , con el que avanza hacia la derecha, saltando los smbolos 1 hasta un 0 (que debe existir), cuando
lo encuentra pasa al estado , con este estado avanza saltando los 1 hasta encontrar otro 0 (la primera vez no habr
ningn 1). Una vez en el extremo derecho, aade un 1. Despus comienza el proceso de retorno; con vuelve a la
izquierda saltando los 1, cuando encuentra un 0 (en el medio de la secuencia), pasa a que contina a la izquierda
saltando los 1 hasta el 0 que se escribi al principio. Se reemplaza de nuevo este 0 por 1, y pasa al smbolo siguiente,
si es un 1, se pasa a otra iteracin del bucle, pasando al estado s1 de nuevo. Si es un smbolo 0, ser el smbolo
central, con lo que la mquina se detiene al haber finalizado el cmputo.
Mquina de Turing
52
Modificaciones equivalentes
Una razn para aceptar la mquina de Turing como un modelo general de cmputo es que el modelo que hemos
definido anteriormente es equivalente a muchas versiones modificadas que en principio pareciera incrementar el
poder computacional.
Mquina de Turing con movimiento stay o "esperar"

La funcin de transicin de la MT sencilla esta definida por
la cual puede ser modificada como
Donde
significa "permanecer" o "esperar", es decir no mover el cabezal de lectura/escritura. Por lo tanto,

significa que se pasa del estado q al p, se escribe
en la celda actual y la cabeza se queda
sobre la celda actual.
Mquina de Turing con cinta infinita a ambos lados
Mquina de Turing con cinta infinita a ambos lados
Esta modificacin se denota al igual que una MT sencilla, lo que la hace diferente es que la cinta es infinita tanto por
la derecha como por la izquierda, lo cual permite realizar transiciones iniciales como
.
Mquina de Turing con cinta multipista

Es aquella que mediante la cual cada celda de la cinta de una
mquina sencilla se divide en subceldas. Cada celda es as capaz
de contener varios smbolos de la cinta. Por ejemplo, la cinta de la
figura tiene cada celda subdividida en tres subceldas.
Se dice que esta cinta tiene mltiples pistas puesto que cada celda
de esta mquina de Turing contiene mltiples caracteres, el
contenido de las celdas de la cinta puede ser representado
Subdivisin de una celda de la cinta.
mediante n-tuplas ordenadas. Los movimientos que realice est
mquina dependern de su estado actual y de la n-tupla que
represente el contenido de la celda actual. Cabe mencionar que posee un solo cabezal al igual que una MT sencilla.
Mquina de Turing
53
Mquina de Turing multicinta

Una MT con ms de una cinta consiste de un control finito con k cabezales
lectores/escritores y k cintas. Cada cinta es infinita en ambos sentidos. La MT
define su movimiento dependiendo del smbolo que est leyendo cada uno de
sus cabezales, da reglas de sustitucin para cada uno de los smbolos y
direccin de movimiento para cada uno de los cabezales. Inicialmente la MT
empieza con la entrada en la primera cinta y el resto de las cintas en blanco.
Diagrama de una mquina de Turing

multicinta, las flechas indican los
cabezales de lectura/escritura.
Mquina de Turing multidimensional

Una MT multidimensional es aquella cuya cinta puede verse como
extendindose infinitamente en ms de una direccin, el ejemplo
ms bsico sera el de una mquina bidimensional cuya cinta se
extendera infinitamente hacia arriba, abajo, derecha e izquierda.
En la modificacin bidimensional de MT que se muestra en la
figura tambin se agregan dos nuevos movimientos del cabezal
{U,D} (es decir arriba y abajo). De esta forma la definicin de los
movimientos que realiza el cabezal ser {L,R,U,D}.
Mquina de Turing determinista y no

determinista
Vase tambin: Complejidad computacional
La entrada de una mquina de Turing viene determinada por el

estado actual y el smbolo ledo, un par (estado, smbolo), siendo
Diagrama de una mquina de Turing bidimensional.
el cambio de estado, la escritura de un nuevo smbolo y el
movimiento del cabezal, las acciones a tomar en funcin de una entrada. En el caso de que para cada par (estado,
smbolo) posible exista a lo sumo una posibilidad de ejecucin, se dir que es una mquina de Turing determinista,
mientras que en el caso de que exista al menos un par (estado, smbolo) con ms de una posible combinacin de
actuaciones se dir que se trata de una mquina de Turing no determinista.
La funcin de transicin
en el caso no determinista, queda definida como sigue:
Cmo sabe una mquina no determinista qu accin tomar de las varias posibles? Hay dos formas de verlo: una es
decir que la mquina es "el mejor adivino posible", esto es, que siempre elige la transicin que finalmente la llevar a
un estado final de aceptacin. La otra es imaginarse que la mquina se "clona", bifurcndose en varias copias, cada
una de las cuales sigue una de las posibles transiciones. Mientras que una mquina determinista sigue un nico
"camino computacional", una mquina no determinista tiene un "rbol computacional". Si cualquiera de las ramas
del rbol finaliza en un estado de aceptacin, se dice que la mquina acepta la entrada.
Mquina de Turing
54
La capacidad de cmputo de ambas versiones es equivalente; se puede demostrar que dada una mquina de Turing
no determinista existe otra mquina de Turing determinista equivalente, en el sentido de que reconoce el mismo
lenguaje, y viceversa. No obstante, la velocidad de ejecucin de ambos formalismos no es la misma, pues si una
mquina no determinista M reconoce una cierta palabra de tamao n en un tiempo
, la mquina
determinista equivalente reconocer la palabra en un tiempo
. Es decir, el no determinismo permitir
reducir la complejidad de la solucin de los problemas, permitiendo resolver, por ejemplo, problemas de
complejidad exponencial en un tiempo polinmico.
Problema de la parada (halting problem)

Vase tambin: Problema de la parada
El problema de la parada o problema de la detencin (halting problem en ingls) para mquinas de Turing consiste
en: dada una MT M y una palabra w, determinar si M terminar en un nmero finito de pasos cuando se ejecuta
usando w como entrada.
Alan Turing, en su famoso artculo "On computable numbers, with an application to the Entscheidungsproblem"
(1936), demostr que el problema de la parada de la mquina de Turing es indecidible, en el sentido de que ninguna
mquina de Turing lo puede resolver.
Codificacin de una mquina de Turing

Toda mquina de Turing puede codificarse como una secuencia binaria finita, es decir una secuencia finita de ceros y
unos. Para simplificar la codificacin, suponemos que toda MT tiene un nico estado inicial denotado por , y un
nico estado final denotado
. Tendremos que para una MT M de la forma
donde representa el smbolo blanco 0,

es alfabeto de entrada y
o b (segn se desee denotar),
son los smbolos auxiliares utilizados por M (cada MT utiliza su propia coleccin finito de
smbolos auxiliares).
Todos estos smbolos se codifican como secuencias de unos:
Smbolo Codificacin
1
11
111
.
.
.
Los estados de una MT
.
.
.
se codifican tambin con secuencias de unos:
Mquina de Turing
55
Smbolo
Codificacin
1
11
.
.
.
Las directrices de desplazamiento
.
.
.
se codifican con 1, 11, 111, respectivamente. Una transicin
se codifica usando ceros como separadores entre los estados, los smbolos del alfabeto de
cinta y la directriz de desplazamiento
. As, la transicin
En general, la codificacin de una transicin cualquiera
donde
, segn la direccin sea
se codifica como
es
Una MT se codifica escribiendo consecutivamente las secuencias de las modificaciones de todas sus transiciones.
Ms precisamente, la codificacin de una MT M es de la forma
, donde
es la codificacin de la
-sima transicin de M. Puesto que el orden en que se representen las transiciones de una MT no es relevante, una
misma MT tiene varias codificaciones diferentes. Esto no representa ninguna desventaja prctica o conceptual ya que
no se pretende que las codificaciones sean nicas.
Mquina universal de Turing

Una mquina de Turing computa una determinada funcin parcial de carcter definido y unvoca, definida sobre las
secuencias de posibles cadenas de smbolos de su alfabeto. En este sentido se puede considerar como equivalente a
un programa de ordenador, o a un algoritmo. Sin embargo es posible realizar una codificacin de la tabla que
representa a una mquina de Turing, a su vez, como una secuencia de smbolos en un determinado alfabeto; por ello,
podemos construir una mquina de Turing que acepte como entrada la tabla que representa a otra mquina de Turing,
y, de esta manera, simule su comportamiento.
En 1947, Turing indic:
Se puede demostrar que es posible construir una mquina especial de este tipo que pueda realizar el trabajo de todas
las dems. Esta mquina especial puede ser denominada mquina universal.
Esta fue, posiblemente, la idea germinal del concepto de sistema operativo, un programa que puede, a su vez,
ejecutar, en el sentido de controlar otros programas, demostrando su existencia, y abriendo camino para su
construccin real.[citarequerida]
Con esta codificacin de tablas como cadenas, se abre la posibilidad de que unas mquinas de Turing se comporten
como otras mquinas de Turing. Sin embargo, muchas de sus posibilidades son indecidibles, pues no admiten una
solucin algortmica. Por ejemplo, un problema interesante es determinar si una mquina de Turing cualquiera se
parar en un tiempo finito sobre una determinada entrada; problema conocido como problema de la parada, y que
Turing demostr que era indecidible. En general, se puede demostrar que cualquier cuestin no trivial sobre el
comportamiento o la salida de una mquina de Turing es un problema indecidible.
Mquina de Turing
56
Mquina de Turing cuntica

En 1985, Deutsch present el diseo de la
primera Mquina cuntica basada en una
mquina de Turing. Con este fin enunci
una nueva variante la tesis de
Church-Turing dando lugar al denominado
"principio de Church-Turing-Deutsch".
La estructura de una mquina de Turing
cuntica es muy similar a la de una mquina
de Turing clsica. Est compuesta por los
tres elementos clsicos:
Ilustracin de una mquina de Turing cuntica.
una cinta de memoria infinita en donde cada elemento es un qubit,

un procesador finito y
un cabezal.
El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta sealado por el cabezal.
El resultado depender del qubit de la cinta y del estado del procesador. El procesador ejecuta una instruccin por
unidad de tiempo.
La cinta de memoria es similar a la de una mquina de Turing tradicional. La nica diferencia es que cada elemento
de la cinta de la mquina cuntica es un qubit. El alfabeto de esta nueva mquina est formado por el espacio de
valores del qubit. La posicin del cabezal se representa con una variable entera.
Vase tambin
Problema de la parada
Jerarqua de Chomsky
Juego de la vida
Clculo lambda
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Mquina de TuringCommons.

JTV (Java Turing Visual) [3] permite construir y ejecutar MT
Sitio web de Stephen Wolfram [4]
Demuestran que la mquina de Turing (2,3) es universal [5]
Mquina de Turing construida sobre hardware [6]
Mquina de Turing
Referencias
Notas al pie
[1]
[2]
[3]
[4]
[5]
[6]
Gmez de Silva Garza, Gmez de Silva Garza (2008) (en espaol). Introduccin a la computacin. pp.522.
Prez, Ivn (2005) (en espaol). Lenguaje y Compiladores. pp.137.
http:/ / www. dcc. uchile. cl/ jtv/
http:/ / www. wolframscience. com
http:/ / neofronteras. com/ ?p=1008
http:/ / aturingmachine. com/
Bibliografa
Feynman, Richard (1996). Conferencias sobre computacin (http://books.google.cl/
books?id=nMhfwj9WGz4C&printsec=frontcover&dq=conferencias+sobre+computacion&hl=es&
ei=Ul85TOfaKtCQuAe17bWXBA&sa=X&oi=book_result&ct=book-thumbnail&resnum=1&
ved=0CC8Q6wEwAA#v=onepage&q&f=false). graficromo. ISBN 84-8432-444-3. Consultado el 11 de Julio del
2010.
Viso, Elisa (2008). Introduccin a la teora de la computacin (http://books.google.cl/
books?id=NXQE8NJw9d4C&pg=PA254&dq=maquina+de+turing&hl=es&
ei=J2A5TPXsD4SRuAfshLSkBA&sa=X&oi=book_result&ct=result&resnum=4&
ved=0CDsQ6AEwAw#v=onepage&q=maquina de turing&f=false). ISBN 978-970-32-5415-6. Consultado el 11 de
Julio del 2010.
De Castro, Rodrigo (2004). Teora de la computacin : lenguajes, autmatas, gramaticas (http://books.google.
cl/books?id=EAbc79tlWD4C&pg=PA201&dq=codificacion+de+una+maquina+de+turing&hl=es&
ei=QF8-TIeCCoWKlwf19-T4BQ&sa=X&oi=book_result&ct=result&resnum=1&
ved=0CCgQ6AEwAA#v=onepage&q&f=false). Consultado el 15 de Julio del 2010.
on computable numbers,with an application to the entscheidungsproblem (http://www.thocp.net/biographies/
papers/turing_oncomputablenumbers_1936.pdf) (en espaol). Consultado el 15 de Juliode 2010.
Variantes de una Mquina de Turing (http://sistemas.itlp.edu.mx/tutoriales/teoriadelacomputacion/t44.
htm) (en espaol). Consultado el 11 de Juliode 2010.
57
Toro (geometra)
58
Toro (geometra)
En geometra, un toro es una superficie de revolucin generada
por una circunferencia que gira alrededor de una recta exterior
coplanaria (en su plano y que no la corta). La palabra toro
proviene del vocablo en latn torus, el cual en castellano significa
bocel o murecillo, que es una moldura redondeada de la basa,
con forma de hogaza de pan.[1] [2]
Animacin mostrando un toro siendo cortado por un

plano, creando Crculos de Villarceau. Ver Vesica
Piscis.
Imagen de un toro generada en 3D.
Geometra
Toro (geometra)
59
El toro genera un hueco en su interior, apropiando la forma

semejante a un neumtico recargado, o a un dnut o rosquilla. Las
coordenadas cartesianas del toro son:
Representacin en sistema didrico del toro.
Interseccin de un toro y un plano.
donde R y r son constantes, y

Para generar un toro, comenzamos con
Sea
un conjunto de elementos:
con la coleccin de cuatro puntos

Las ecuaciones paramtricas del toro son:
x(u, v) = (R + r cos v) cos u
y(u, v) = (R + r cos v) sen u
z(u, v) = r sen v
donde u, v [0, 2], R es el trayecto entre el centro del conducto y el centro del toro, cuando r es el radio del
conducto.
Toro (geometra)
60
La ecuacin en coordenadas cartesianas de un toro cuyo eje es el eje z es
La superficie A y el volumen V del toro son definidos por ecuaciones procedentes de tcnicas avanzadas de
integracin:
Topologa
Topolgicamente, un toro es una superficie cerrada definida como el
producto cartesiano de dos circunferencias:
y con la
topologa producto.
En topologa, un volumen trico o toro slido (vollringe) es un objeto
tridimensional obtenido mediante el producto cartesiano de un disco y
una circunferencia:
La superficie descrita, dada la topologa relativa de R3, es homeomorfa
con el toro topolgico mientras ste no intercepte con su propio eje.
El toro puede tambin describirse como el cociente del Plano
euclidiano bajo las tipificaciones
Un toro es el resultado del producto cartesiano de

dos circunferencias,
(x, y) ~ (x+1,y) ~ (x, y+1)

Equivalentemente, como el cociente del cuadrado o unidad conectando los bordes opuestos, descrito como un
polgono fundamental
.
Esta superficie se considera como el espacio total de un fibrado (trivial), donde el espacio base es la circunferencia
.
El grupo fundamental del toro es precisamente el producto directo del grupo fundamental de la circunferencia por s
misma:
Intuitivamente, esto significa que un camino cerrado el cual rodea entre ambos, el "orificio" y el "cuerpo" del toro
(ambos de circunferencia con latitud concreta), se puede transformar en un camino que envuelva el cuerpo y el
orificio. Es decir, los caminos estrictamente meridionales y estrictamente longitudinales participan en operaciones
conmutativas.
El primer grupo homolgico del toro es isomorfo al grupo fundamental; puesto que el grupo fundamental es
abeliano).
Toro (geometra)
61
El toro en n dimensiones
Se puede generalizar fcilmente el toro a cualquier dimensin o potencia. Un toro n dimensional se define como el
producto de n circunferencias:
el toro a la 1 es precisamente la circunferencia:

el
es el toro a la 2,
el toro a la 3 puede considerarse como
, esto es como el producto cartesiano del dos-toro por la
circunferencia.
generalizando, el toro a la n potencia puede describirse como el cociente de Rn con desplazamientos enteros sobre
cualquier coordenada.
El toro a la n es Rn mdulo la accin del grupo enrejado Zn (con la accin considerada como suma de vectores).
Equivalentemente, el toro a la n se obtiene a partir del n-cubo pegando las caras opuestas.
Los grupos toroidales desempean un papel importante en la teora de grupos compactos de Lie. Esto se debe en
parte al hecho de que en cualquier grupo compacto de Lie, se puede encontrar un toro mximo; es decir, un subgrupo
cerrado, el cual es un determinado toro de la mayor dimensin posible.
El grupo fundamental de un toro a la n es un grupo abeliano libre de rango n. El k-simo grupo homolgico de un
toro a la n es un grupo abeliano libre de rango n sobre k. De esto se deduce que la caracterstica de Euler del toro a
la n es 0 para cualquier n. El anillo homolgico H(Tn,Z) puede identificarse con el lgebra exterior sobre Z-mdulo
Zn cuyos generadores son los nmeros duales enteros de los ciclos fundamentales a la potencia n.
Aplicaciones
Si se toma idealmente una superficie rectangular flexible y extensible y se unen su lado superior con su lado inferior,
y luego se unen los lados horizontales, resulta esta figura. Uno debe respetar en el pegado la orientacin de los
bordes como el indicado en la figura:
En magnetismo, se enrolla una bobina con cierta cantidad de vueltas
sobre el toro con un entrehierro (corte paralelo al eje que pasa por el
centro del toro) para generar un campo magntico dentro del mismo.
Esto se suele hacer para crear un imn; se coloca un material
ferromagntico en el entrehierro y se imprime una corriente elctrica
por la bobina. Una vez que se alcanza la saturacin del material, se lo
retira y ste queda magnetizado, formando un imn.
Toro representado mediante la identificacin de

los bordes de un rectngulo. El toro obtenido
tiene 7 colores en subrectnglos.
Uno de los sistemas ms promisorios para obtener electridad a partir de

la fusin nuclear controlada se basa en el confinamiento magntico del
plasma a elevadsimas temperaturas dentro de un espacio-circuito toroidal como el tokamak o el Thorus, tambin
muchos aceleradores de partculas recurren a una forma cuasi toroidal.
Toro (geometra)
Resultados
Algunos teoremas de geometra plana no son vlidos si consideramos el trazado de puntos y curvas sobre la
superficie del toro. Por ejemplo, el Teorema de los cuatro colores se convierte en Teorema de los siete colores y es
mucho ms fcil de probar. En la figura anterior se observa que son necesarios siete colores.
Curiosidades
En el mundo de los videojuegos de estrategia es fcil observar cmo los personajes que intervienen, cuando viajan
hacia el norte reaparecen en el sur, como si le hubiesen dado la vuelta al mundo. Asimismo, cuando llevan una
trayectoria hacia el fondo en el oriente, reaparecen en el occidente y viceversa. El sitio virtual donde este efecto
acaece lleva el nombre de mundo toroide por las caractersticas matemticas anteriormente descritas. El jugador
siente la pseudo impresin de un mundo esfrico.
Cientos de objetos cotidianos tienen forma de toro: un dnut, una rosquilla, la cmara de un neumtico, etc.
Vase tambin
valo de Cassini (Dado por intersecciones entre planos y el toro)
Toroide
toro algebraico
corona circular
curva elptica
perodo de enrejado
spira de Perseus
toro (fsica nuclear)
fibrado de Seifert
E8 (matemticas)
Referencias
[1] Real Academia Espaola de la Lengua (http:/ / www. rae. es/ )
[2] Voces arquitectnicas del renacimiento espaol,G. Herrez http:/ / dialnet. unirioja. es/ servlet/ autor?codigo=897517
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Toro. Commons

Creation of a torus (http://www.cut-the-knot.org/shortcut.shtml#torus) ( de Alexander Bogomolny Cut the
Knot (http://www.cut-the-knot.org/)) una animacin el formato AVI.
More Torus Images (http://www.mathsisfun.com/geometry/torus.html) (de Math is Fun (http://www.
mathsisfun.com/))
Weisstein, Eric W., Torus (http://mathworld.wolfram.com/Torus.html) (en ingls), MathWorld, Wolfram
Research.
Torus Games (http://www.geometrygames.org/TorusGames/index.html.es) Juegos de descarga gratuita para
Windows y MacOS sobre la topologa del toro (en espaol)
62
Cuerno de Gabriel
63
Cuerno de Gabriel
El Cuerno de Gabriel (tambin llamado Trompeta de Torricelli) es una figura geomtrica ideada por Evangelista
Torricelli que tiene la caracterstica de poseer una superficie infinita pero un volumen finito.
Historia
En el momento de su descubrimiento,
fue considerado una paradoja. Esta
paradoja aparente ha sido descrita de
modo informal sealando que sera
Imagen parcial del Cuerno de Gabriel (o Trompeta de Torricelli).
necesaria una cantidad infinita de
pintura para cubrir la superficie
interior, mientras que sera posible rellenar toda la figura con una cantidad finita de pintura y as cubrir esa
superficie.
La solucin de la paradoja es que un rea infinita requiere una cantidad infinita de pintura si la capa de pintura tiene
un grosor constante. Esto no se cumple en el interior del cuerno, ya que la mayor parte de la longitud de la figura no
es accesible a la pintura, especialmente cuando su dimetro es menor que el de una molcula de pintura. Si se
considera una pintura sin grosor, sera necesaria una cantidad infinita de tiempo para que sta llegase hasta el final
del cuerno.
En otras palabras, llegara un momento en el que el espesor de la trompeta sera ms pequeo que una molcula de
pintura con lo que, digamos, una gota de pintura cubrira el resto de la superficie de la trompeta (aunque fuera
infinito). As, que la superficie de la trompeta sea infinita no implicara que la cantidad de pintura tenga que ser
infinita.
Pero la paradoja tambin tiene solucin incluso si suponemos una materia divisible indefinidamente (o sea, si no
existen los tomos). Si el grosor de la capa de pintura es variable y disminuye indefinidamente (tendiendo a cero), la
cantidad de pintura se calculara por una integral impropia que podra ser convergente. En este caso, el espesor de la
capa de pintura forzosamente debera ser igual o menor al valor de y, lo que hace que la integral impropia, en este
caso, sea convergente, es decir, se necesita una cantidad finita de pintura.
Ecuacin matemtica
El cuerno de Gabriel se forma utilizando la grfica de
, con el rango
(para evitar la asntota en
), y rotndola en tres dimensiones alrededor del eje X. Su descubrimiento es anterior al clculo, pero es fcil
de verificar integrando que su rea superficial y su volumen estn dados, respectivamente por,
y
Si se considera la parte del cuerno entre

volumen es
, el rea de la superficie es ms que
Cuando a aumenta, el rea no est acotada, mientras que el volumen tiene una cota superior de .
y el
Cuerno de Gabriel
Vase tambin
Paradojas sobre el infinito
Enlaces externos
Weisstein, Eric W. Gabriel's Horn from MathWorld. [1] (en ingls)
Informacin y diagramas sobre el cuerno de Gabriel [2] (en ingls)
Referencias
[1] http:/ / mathworld. wolfram. com/ GabrielsHorn. html
[2] http:/ / curvebank. calstatela. edu/ torricelli/ torricelli. htm
Evangelista Torricelli (Faenza, Italia, 15 de octubre 1608 Florencia, Italia, 25 de octubre 1647) fue un fsico y
matemtico italiano.
Hurfano a temprana edad (por causas desconocidas), por lo
que fue educado bajo la tutela de su to, Jacob Torricelli, un
fraile camaldulense que le ense humanidades. En 1627 fue
enviado a Roma para que estudiara ciencias con el benedictino
Benedetto Castelli (1579-1645), llamado por Urbano VII para
ensear matemticas en el colegio de Sapienza y uno de los
primeros discpulos de Galileo.
Estudi una de las obras de Galileo Galilei Dialoghi delle
nuove scienze (Dilogo de la nueva ciencia, en espaol)
(1630), la cual le inspir a desarrollar algunos de los
principios mecnicos all establecidos que recogi en su obra
De motu. En 1632, Castelli se puso en contacto con Galileo
para mostrarle el trabajo de su pupilo y solicitarle que le
acogiera, propuesta que Galileo acept, por lo que Torricelli
se traslad a Arcetri, donde ejerci de amanuense de Galileo
Retrato de Evangelista Torricelli en la tapa de Lezioni
los ltimos tres meses de la vida del sabio italiano, quien
d'Evangelista Torricelli.
falleci a principios del ao siguiente. Tras la muerte de
Galileo, Torricelli, que deseaba volver a Roma, cedi a las
distinciones de Fernando II de Toscana y, nombrado filsofo y matemtico del gran duque y profesor de
matemticas en la Academia de Florencia, se estableci definitivamente en esta ciudad.
En 1643 realiz el descubrimiento que lo hara pasar a la posteridad: el principio del barmetro, que demostraba la
existencia de la presin atmosfrica, principio confirmado posteriormente por Pascal realizando mediciones a
distinta altura. Aunque el mencionado experimento ha pasado a la historia por la importancia del barmetro y de la
medida de la presin atmosfrica, la motivacin inicial tanto de Torricelli como de Pascal para realizar este
experimento fue refutar la teora aristotlica de que "la naturaleza tiene horror al vaco". La unidad de presin torr se
nombr en su memoria. Enunci, adems, el teorema de Torricelli, de importancia fundamental en hidrulica.
64
65
En 1644 public su trabajo sobre el movimiento bajo el ttulo Opera
geometrica. La publicacin, junto a esta obra, de varios trabajos sobre
las propiedades de las curvas cicloides le supuso una agria disputa con
Roberval, quien le acus de plagiar sus soluciones del problema de la
cuadratura de dichas curvas. Aunque no parece haber dudas de que
Torricelli lleg al mismo resultado de forma independiente, el debate
sobre la primicia de la solucin se prolong hasta su muerte.
Principio del barmetro.
Entre los descubrimientos que realiz, se encuentra el principio que

dice que si una serie de cuerpos estn conectados de modo tal que,
debido a su movimiento, su centro de gravedad no puede ascender o
descender, entonces dichos cuerpos estn en equilibrio. Descubri
adems que la envolvente de todas las trayectorias parablicas
descritas por los proyectiles lanzados desde un punto con igual
velocidad, pero en direcciones diferentes, es un paraboloide de
revolucin. As mismo, emple y perfeccion el mtodo de los
indivisibles de Cavalieri.
Tambin realiz importantes mejoras en el telescopio y el microscopio,

siendo numerosas las lentes por l fabricadas y grabadas con su nombre que an se conservan en Florencia.
Enlaces externos
Teorema de Torricelli (Universidad del Pas Vasco) [1]
Referencias
[1] http:/ / www. sc. ehu. es/ sbweb/ fisica/ fluidos/ dinamica/ vaciado/ vaciado. htm
Topologa simplctica
Topologa simplctica
La topologa simplctica es aquella parte de la matemtica referida al estudio de las variedades simplcticas. Estas
variedades se presentan naturalmente en la formulacin hamiltoniana de la mecnica clsica, que proporciona una de
las motivaciones principales para el tema. Hay un modelo local estndar, a saber R2n con i,n+i = 1; n+i,i = -1; j,k
= 0 para todo i = 0,...,n-1; j,k=0,...,2n-1 (k j+n o j k+n). Se llama a esto un espacio lineal simplctico.
Una variedad simplctica es un par (M, ) donde M es una variedad diferenciable y es una 2-forma cerrada, no
degenerada en M llamada la forma simplctica. Aqu, "no degenerada" significa que para cada vector distinto de
cero u en el espacio tangente en un punto, hay un vector v tal que
(u, v) 0
Los ejemplos fundamentales de variedades simplcticas vienen dados por los fibrados cotangentes de variedades;
stos se presentan en la mecnica clsica, donde el conjunto de todas las configuraciones posibles de un sistema se
modela como variedad, y el fibrado cotangente de esta variedad describe el espacio de fase del sistema. Las
variedades de Khler son tambin variedades simplcticas. Ya en los aos 70, los simplcticos expertos estaban
inseguros de si exista alguna variedad simplctica compacta no khleriana, pero muchos ejemplos se han construido
desde entonces; en particular, Robert Gompf ha demostrado que cada grupo finitamente presentado aparece como el
grupo fundamental de alguna 4-variedad simplctica, en contraste marcado con el caso khleriano.
Directamente de la definicin, se puede demostrar que M es de dimensin par 2n y que el n es una forma nula en
ninguna parte, la forma volumen. Se sigue que una variedad simplctica est cannicamente orientada y viene con
una medida cannica, la medida de Liouville.
Campos vectoriales hamiltonianos

En una variedad simplctica, cada funcin diferenciable, H, define un campo vectorial nico,XH, llamado el campo
vectorial hamiltoniano. Se define de tal modo que para cada campo vectorial Y en M la identidad
dH(Y) = (XH,Y)
valga. Los campos vectoriales hamiltonianos dan a las funciones en M la estructura de un lgebra de Lie con el
corchete de Poisson
{f,g} = (Xf,Xg) = Xg(f)
(Advertencia: otras convenciones de signo estn tambin en uso).
Simplectomorfismos
El flujo de un campo vectorial hamiltoniano es un simplectomorfismo es decir un difeomorfismo que preserva la
forma simplctica. Esto se sigue de la cerradura de la forma simplctica y de la expresin de la derivada de Lie en
trminos de la derivada exterior. Como una consecuencia directa tenemos el teorema de Liouville: el volumen
simplctico es invariante bajo un flujo hamiltoniano. como {H,H} =X(H)H = 0 el flujo de un campo vectorial
hamiltoniano tambin preserva H. En fsica esto se interpreta como la ley de conservacin de la energa. El teorema
de Liouville se interpreta como la conservacin del volumen de fase en sistemas hamiltonianos, que es la base para
la mecnica estadstica clsica. Acabamos de mostrar que hay una correspondencia uno a uno entre
simplectomorfismos infinitesimales y las funciones diferenciables sobre una variedad simplctica.
A diferencia de las variedades de Riemann, las variedades simplcticas son extremadamente no rgidos: tienen
muchos simplectomorfismos provenientes de campos vectoriales hamiltonianos. La diferencia fundamental entre la
geometras riemanniana y simplctica es que una variedad simplctica no tiene ningn invariante local: segn el
teorema de Darboux para cada punto x en un variedad simplctica hay un conjunto coordenado local llamado
variables ngulo con los coordenadas p1,...,pn,q1,...,qn, tales que: = dpi dqi
66
Topologa simplctica
Los subgrupos finito-dimensionales del grupo de simplectomorfismos son grupos de Lie. Representaciones de estos
grupos de Lie (despus de h-deformaciones, en general!) en los espacios de Hilbert se llaman "cuantizaciones".
Cuando el grupo de Lie es definido por un hamiltoniano, se llama una "cuantizacin por energa". El operador de Lie
correspondiente del lgebra de Lie al lgebra de Lie de operadores lineales continuos tambin es, a veces, llamada la
cuantizacin, y es una manera ms comn, entre fsicos, de considerarla.
Curvas seudoholomorfas
Aunque la mayora de los variedades simplcticas no son khlerianas y as que no tienen una estructura compleja
integrable compatible con la forma simplctica, Mikhail Gromov ha hecho la importante observacin que las
variedades simplcticas admiten una abundancia de estructuras casi complejas compatibles, de modo que satisfagan
todos los axiomas para una variedad compleja excepto el requisito de que las funciones de transicin sean
holomorfas. Una superficie de Riemann mapeada en una variedad simplctica compatible con la estructura casi
compleja se llama curva seudoholomorfa, y Gromov prob un teorema de compacidad para tales curvas; este
resultado ha conducido al desarrollo de la subdisciplina bastante grande de la topologa simplctica. Los resultados
que surgen de la teora de Gromov incluyen el teorema nonsqueezing de Gromov referente a inmersiones
simplcticas de esferas en cilindros, as como una conjetura de Vladimir Arnol'd referente al nmero de punto fijos
de los flujos hamiltonianos; esto fue probada con generalidad en aumento por varios investigadores que comenzaron
con Andreas Floer, que introdujo lo que ahora se conoce como homologa de Floer que usa los mtodos de Gromov.
Las curvas seudoholomorfas son tambin una fuente de invariantes simplcticos, conocidos como invariantes de
Gromov-Witten, por los cuales dos diversas variedades simplcticas podran en principio ser distinguidas.
Temas relacionados
Mecnica hamiltoniana
Geometra de Riemann
Grupo simplctico, Matriz simplctica
Teorema de Carathodory-Jacobi-Lie
Referencias
McDuff, D. y Salamon, D.: Introduction to Symplectic Topology (Oxford Mathematical Monographs)
67
Autosimilaridad
68
Autosimilaridad
En Matemtica, la autosimilaridad, a veces llamada
autosimilitud o autosemejanza, es la propiedad de un objeto
(llamado objeto autosimilar) en el que el todo es exacta o
aproximadamente similar a una parte de s mismo, por ejemplo
cuando el todo tiene la misma forma que una o varias de sus
partes. Muchos objetos del mundo real, como las costas
martimas, son estadsticamente autosimilares: partes de ella
muestran las mismas propiedades estadsticas en diversas
escalas.[1] La autosimilaridad es una propiedad de los fractales.
Una curva de Koch presenta una autosimilaridad exacta

infinitamente repitiente a medida que se aumenta su
tamao.
Autosimilaridad exacta
Se dice que hay autosimilaridad exacta cuando una o varias partes de
un todo repiten exactamente su similaridad con ese todo. La
autosimilaridad exacta permite la amplificacin sucesiva con repeticin
exacta nica, mltiple o infinita de las propiedades iniciales.
La autosimilaridad exacta aparece a veces en sistemas de funciones
iteradas (IFS).
La invariancia de escala es una forma exacta de autosimilaridad en la
que, al amplificar el tamao, aparece una pequea parte del objeto que
es similar a la totalidad. Por ejemplo, un lado del copo de nieve de
Koch es a la vez simtrico e invariante de escala; su tamao puede ser
continuamente multiplicado por tres sin que cambie su forma.
Los tringulos de Sierpiski permiten observar la

autosimilaridad exacta.
Autosimilaridad aproximada
La autosimilaridad aproximada o cuasiautosimilaridad se encuentra
frecuentemente en la naturaleza (autosimilaridad natural). Por ejemplo,
cuando la forma de la parte y la forma del todo presentan leves
diferencias en la similaridad. Generalmente slo se cumple dentro de
una porcin limitada de ese todo. Puede generarse artificialmente
incorporando un factor de ruido aleatorio a la expresin de una
autosimilaridad exacta.
El brcoli romanesco o coliflor romana es un
ejemplo de autosimilaridad aproximada natural.
Autosimilaridad
69
Autosimilaridad estadstica
La autosimilaridad estadstica es la menos exigente. Slo se conservan
algunas propiedades estadsticas durante el cambio de escala, como en
las montaas o en los crteres lunares.
Se observa autosimilaridad estadstica en las

montaas.
Definicin
Un espacio topolgico compacto X es autosimilar si existe un conjunto finito S que indexa (es decir, cuyos elementos
son nmeros naturales asignados biunvocamente a cada elemento del conjunto indexado) a un conjunto de
homeomorfismos no sobreyectivos
para el cual
.
Si
, decimos que X es autosimilar si es el nico subconjunto no vaco de Y tal que la ecuacin anterior es
vlida para
Decimos que
es una estructura autosimilar.

El homeomorfismo puede ser iterado, lo que resultar en un sistema de funcin iterada. La composicin de
funciones produce la estructura algebraica de un monoide. Cuando el conjunto S tiene slo dos elementos, el
monoide es llamado monoide didico. ste puede verse como un rbol binario infinito. En general, si el conjunto S
tiene p elementos, puede ser representado como un rbol p-dico.
Los automorfismos del monoide didico forman el grupo modular. Los automorfismos pueden representarse como
una rotacin hiperblica del rbol binario.
Ejemplos
El conjunto de Mandelbrot presenta autosimilaridad exacta al variar la
escala. Muestra autosimilaridad alrededor de los puntos de
Misiurewicz.
La autosimilaridad tiene importantes consecuencias en el diseo de
redes informticas: el trfico de una tpica red tiene propiedades
autosimilares. Por ejemplo, en Ingeniera de trfico, los patrones de
trfico de datos en la conmutacin de paquetes se muestran
estadsticamente autosimilares.[2] Esta propiedad significa que los
modelos simples que emplean una distribucin de Poisson son
inexactos, y es probable que las redes diseadas sin tomar en cuenta la
autosimilaridad muestren comportamientos inesperados.
El conjunto de Mandelbrot muestra
autosimilaridad exacta con el cambio de escala.
Autosimilaridad
De la misma manera, los movimientos de las Bolsas de valores pueden

describirse desde un aspecto de autoafinidad (en la autoafinidad la
invariancia de escala es afectada por un factor anisotrpico en x-y), por
ejemplo ellos se muestran autosimilares slo si sufren determinada
transformacin afn para el nivel de detalle que en ese momento se
muestra.[3]
Vase tambin
Efecto Droste
Autorreferencia
Ley de Zipf
Referencias
[1] Benoit Mandelbrot. Wikipedia en ingls (ed.): Cun larga es la costa de Bretaa?
Autosimilaridad estadstica y Dimensin Fraccional (http:/ / en. wikipedia. org/ wiki/
La imagen de un helecho muestra una
How_Long_Is_the_Coast_of_Britain?_Statistical_Self-Similarity_and_Fractional_Dimension). transformacin afn autosimilar.
(En ingls).
[2] Leland et al. Sobre la naturaleza autosimilar del trfico de Ethernet, IEEE/ACM
Transactions on Networking, Volumen 2, Nmero 1, febrero de 1994 (en ingls).
[3] Benoit Mandelbrot (Febrero de 1999). Scientific American (ed.): Cmo los fractales pueden explicar los errores de Wall Street (http:/ /
www. sciam. com/ article. cfm?id=multifractals-explain-wall-street). (En ingls).
Enlaces externos
"Copperplate Chevrons" (http://www.ericbigas.com/fractals/cc) Imagen animada (Chivos en una lmina de
cobre) que muestra la autosimilaridad de un fractal con el aumento de escala.
"Self-Similarity" (http://pi.314159.ru/longlist.htm) Nuevos artculos sobre autosimilaridad. Algoritmo de
Waltz (en ingls).
70
71
En Fsica y en Matemtica, la invariancia de escala es una propiedad de objetos o leyes en los que no hay cambios
si la escala de tamao (o la escala de energa) son multiplicadas por un factor comn.[1] El trmino tcnico para esta
transformacin es homotecia, tambin llamada dilatacin o amplificacin. Las dilataciones, adems, pueden ser
parte de una gran simetra conforme o invariancia de Weyl.
En Matemtica, la invariancia de escala se refiere a una invariancia de funciones o curvas. Un concepto
cercanamente relacionado es la autosimilaridad, en la que una funcin o curva es invariante dentro de un
subconjunto discreto de las dilataciones posibles. Esto tambin puede cumplirse para las distribuciones de
probabilidad de un proceso aleatorio, que puede mostrar esta clase de invariancia de escala o autosimilaridad.
En la teora clsica de campos, la invariancia de escala se
aplica casi siempre a la invariancia de toda la teora
cualesquiera sean las dilataciones. Algunas teoras describen
tpicamente los procesos fsicos clsicos con una inusual
escala de tamao.
En la teora cuntica de campos, la invariancia de escala se
interpreta en los trminos de la fsica de partculas.[2] En una
teora que presente invariancia de escala, la intensidad de las
interacciones entre partculas no depende de la energa de
las partculas involucradas.
Una curva de Koch posee invariancia de escala.
En mecnica estadstica la invariancia de escala es una caracterstica de las transiciones de fase.[3] La observacin
clave es que en la vecindad de una transicin de fase o punto crtico ocurren fluctuaciones para todas las escalas
de tamao, y entonces puede buscarse una teora de invariancia de escala que describa adecuadamente el
fenmeno. Algunas teoras son teoras estadsticas de campos con invariancia de escala, y son muy parecidas en
su forma a las teoras cunticas de campos con invariancia de escala, mencionadas en el prrafo anterior.
Se llama universalidad a la observacin de que sistemas microscpicos muy distintos pueden mostrar el mismo
comportamiento en una transicin de fase.[4] Por esto, las transiciones de fase en muchos sistemas diferentes
pueden describirse mediante la misma subyacente teora de invariancia de escala.
Generalmente las magnitudes adimensionales poseen invariancia de escala. El concepto anlogo en estadstica
corresponde a los momentos estandarizados, que son estadsticas de una variable con invariancia de escala.
Referencias
[1] Costa, J. M. (2005). Diccionario de qumica fsica (http:/ / books. google. es/ books?id=9_7xnVy4GzsC& pg=PA308& dq=invariancia+ de+
escala& lr=& cd=1#v=onepage& q=invariancia de escala& f=false). Ediciones Daz de Santos. p.308. ISBN 8479786914, 9788479786915. .
Consultado el 3 de marzo de 2010. Invariancia de escala [...] Cualidad por la que un objeto aparece idntico en una variedad de escalas.
[2] Pascual, Pedro (1987). Universitat de Valncia. ed. Partculas e interacciones "De rerum natura" (Titus Lucretius Carus) (http:/ / books.
google. es/ books?isbn=8437003121). p.68. ISBN 8437003121. . Consultado el 9 de marzo de 2010.
[3] Fuenzalida, Vctor. CEC, Universidad de Chile (ed.): Transiciones de fase (http:/ / www. cec. uchile. cl/ ~mpilleux/ fi22a/ 7. CambiosFase1.
PDF).
[4] Grupo de Fsica Computacional. INIFTA, Universidad Nacional de La Plata (ed.): Universalidad (http:/ / www. gfc. inifta. unlp. edu.
ar:8080/ GFC/ interno/ general-t-de-fase-ising-etc/ universalidad).
72
Vase tambin
Modelo de Ising
Simetra
Teora de campos
Teora del caos

Teora del caos es la denominacin popular
de la rama de las matemticas, la fsica y
otras ciencias que trata ciertos tipos de
sistemas dinmicos muy sensibles a las
variaciones en las condiciones iniciales.
Pequeas variaciones en dichas condiciones
iniciales
pueden
implicar
grandes
diferencias en el comportamiento futuro;
complicando la prediccin a largo plazo.
Esto sucede aunque estos sistemas son en
rigor determinsticos, es decir; su
comportamiento puede ser completamente
determinado conociendo sus condiciones
iniciales.
La forma que crecen los cristales de hielo es otra muestra de un

sistema catico.
Clasificacin
Los sistemas dinmicos se pueden clasificar
bsicamente en:
Estables
Inestables
Caticos
Un sistema estable tiende a lo largo del
tiempo a un punto, u rbita, segn su
dimensin (atractor o sumidero). Un sistema
inestable se escapa de los atractores. Y un
sistema catico manifiesta los dos
comportamientos. Por un lado, existe un
atractor por el que el sistema se ve atrado,
pero a la vez, hay "fuerzas" que lo alejan de
ste. De esa manera, el sistema permanece
confinado en una zona de su espacio de
estados, pero sin tender a un atractor fijo.
Diagrama de la trayectoria del sistema de Lorenz para los valores r=28, =10,
b=8/3.
Una de las mayores caractersticas de un sistema inestable es que tiene una gran dependencia de las condiciones
iniciales. De un sistema del que se conocen sus ecuaciones caractersticas, y con unas condiciones iniciales fijas, se
puede conocer exactamente su evolucin en el tiempo. Pero en el caso de los sistemas caticos, una mnima
Teora del caos

diferencia en esas condiciones hace que el sistema evolucione de manera totalmente distinta. Ejemplos de tales
sistemas incluyen el Sistema Solar, las placas tectnicas, los fluidos en rgimen turbulento y los crecimientos de
poblacin. [1]
Atractores
Una manera de visualizar el movimiento catico, o cualquier tipo de movimiento, es hacer un diagrama de fases del
movimiento. En tal diagrama el tiempo est implcito y cada eje representa una dimensin del estado. Por ejemplo,
un sistema en reposo ser dibujado como un punto, y un sistema en movimiento peridico ser dibujado como un
crculo.
Algunas veces el movimiento representado con estos diagramas de fases no muestra una trayectoria bien definida,
sino que sta es errabunda alrededor de algn movimiento bien definido. Cuando esto sucede se dice que el sistema
es atrado hacia un tipo de movimiento, es decir, que hay un atractor.
De acuerdo a la forma en que sus trayectorias evolucionen, los atractores pueden ser clasificados como peridicos,
cuasi-peridicos y extraos. Estos nombres se relacionan exactamente con el tipo de movimiento que provocan en
los sistemas. Un atractor peridico, por ejemplo, puede guiar el movimiento de un pndulo en oscilaciones
peridicas; sin embargo, el pndulo seguir trayectorias errticas alrededor de estas oscilaciones debidas a otros
factores menores no considerados.
Atractores extraos
La mayora de los tipos de movimientos mencionados en la teora anterior sucede alrededor de atractores muy
simples, tales como puntos y curvas circulares llamadas ciclos lmite. En cambio, el movimiento catico est ligado a
lo que se conoce como atractores extraos, ellos que pueden llegar a tener una enorme complejidad como, por
ejemplo, el modelo tridimensional del sistema climtico de Lorenz, que lleva al famoso atractor de Lorenz. El
atractor de Lorenz es, quiz, uno de los diagramas de sistemas caticos ms conocidos, no slo porque fue uno de los
primeros, sino tambin porque es uno de los ms complejos y peculiares, pues desenvuelve una forma muy peculiar
ms bien parecida a las alas de una mariposa.
Los atractores extraos estn presentes tanto en los sistemas continuos dinmicos (tales como el sistema de Lorenz)
como en algunos sistemas discretos (por ejemplo el mapa Hnon). Otros sistemas dinmicos discretos tienen una
estructura repelente, de tipo Conjunto de Julia, la cual se forma en el lmite entre las cuencas de dos puntos de
atraccin fijos. Julia puede ser sin embargo un atractor extrao. Ambos, atractores extraos y atractores tipo
Conjunto de Julia, tienen tpicamente una estructura de fractal.
El teorema de Poincar-Bendixson muestra que un atractor extrao slo puede presentarse como un sistema continuo
dinmico si tiene tres o ms dimensiones. Sin embargo, tal restriccin no se aplica a los sistemas discretos, los cuales
pueden exhibir atractores extraos en dos o incluso una dimensin.
Algo ms de atractores
Los atractores extraos son curvas del espacio de las fases que describen la trayectoria elptica de un sistema en
movimiento catico. Un sistema de estas caractersticas es plenamente impredecible, saber la configuracin del
sistema en un momento dado no permite predecir con veracidad su configuracin en un momento posterior. De todos
modos, el movimiento no es completamente aleatorio.
En la mayora de sistemas dinmicos se encuentran elementos que permiten un tipo de movimiento repetitivo y, a
veces, geomtricamente establecido. Los atractores son los encargados de que las variables que inician en un punto
de partida mantengan una trayectoria establecida, y lo que no se puede establecer de una manera precisa son las
oscilaciones que las variables puedan tener al recorrer las rbitas que lleguen a establecer los atractores. Por ejemplo,
es posible ver y de cierta manera prever la trayectoria de un satlite alrededor de la Tierra; lo que aparece, en este
73
Teora del caos

caso, como algo indeterminado son los movimientos e inconvenientes varios que se le pueden presentar al objeto
para efectuar este recorrido.
Aplicaciones
La Teora del Caos y la matemtica catica resultaron ser una herramienta con aplicaciones a muchos campos de la
ciencia y la tecnologa. Gracias a estas aplicaciones el nombre se torna paradjico, dado que muchas de las prcticas
que se realizan con la matemtica catica tienen resultados concretos porque los sistemas que se estudian estn
basados estrictamente con leyes deterministas aplicadas a sistemas dinmicos.
En Internet se desarrolla este concepto en Teora del Caos, el tercer paradigma, de cmo la estadstica inferencial
trabaja con modelos aleatorios para crear series caticas predictoras para el estudio de eventos presumiblemente
caticos en las Ciencias Sociales. Por esta razn la Teora del Caos ya no es en s una teora: tiene postulados,
frmulas y parmetros recientemente establecidos con aplicaciones, por ejemplo, en las reas de la meteorologa o la
fsica cuntica, y actualmente hay varios ejemplos de aplicacin en la arquitectura a travs de los fractales, por
ejemplo el Jardn Botnico de Barcelona de Carlos Ferrater.
En meteorologa
El tiempo atmosfrico (no confundir con el clima), adems de ser un sistema dinmico, es muy sensible a los
cambios en las variables iniciales, es un sistema transitivo y tambin sus rbitas peridicas son densas, lo que hace
del tiempo un sistema apropiado para trabajarlo con matemtica catica. La precisin de las predicciones
meteorolgicas es relativa, y los porcentajes anunciados tienen poco significado sin una descripcin detallada de los
criterios empleados para juzgar la exactitud de una prediccin.
Al final del siglo XX se ha vuelto comn atribuirles una precisin de entre 80 y 85% en plazos de un da. Los
modelos numricos estudiados en la teora del caos han introducido considerables mejoras en la exactitud de las
previsiones meteorolgicas en comparacin con las predicciones anteriores, realizadas por medio de mtodos
subjetivos, en especial para periodos superiores a un da. En estos das es posible demostrar la confiabilidad de las
predicciones especficas para periodos de hasta cinco das gracias a la densidad entre las orbitas peridicas del
sistema, y se han logrado algunos xitos en la prediccin de variaciones anormales de la temperatura y la pluviosidad
para periodos de hasta 30 das.
Artculos sobre teoras en la wikipedia [2]
Referencias
[1] Anlisis Computacional de Modelos Biolgicos para su Aplicacin a Modelos Econmicos (http:/ / www. scielo. cl/ scielo.
php?script=sci_abstract& pid=S0718-50062009000500003& lng=es& nrm=iso& tlng=es). CIT Internacional.
[2] http:/ / es. wikipedia. org/ w/ index. php?title=Especial%3APrefixIndex& from=Teor%C3%ADa& namespace=0
Bibliografa en ingls
Moon, Francis (1990). Chaotic and Fractal Dynamics. Springer-Verlag New York, LLC. ISBN 0-471-54571-6.
Ott, Edward (2002). Chaos in Dynamical Systems. Cambridge University Press New, York. ISBN 0-521-01084-5.
Gutzwiller, Martin (1990). Chaos in Classical and Quantum Mechanics. Springer-Verlag New York, LLC. ISBN
0-387-97173-4.
Hoover, William Graham (1999,2001). Time Reversibility, Computer Simulation, and Chaos. World Scientific.
ISBN 981-02-4073-2.
Gonzlez-Miranda, J. M. (2004). Synchronization and Control of Chaos. An introduction for scientists and
engineers. Imperial College Press. ISBN 1-86094-488-4.
74
Teora del caos
75
Enlaces externos
Teora del Caos (http://bolsasistemas.com/2009/11/14/teoria-del-caos-ondas-de-elliot-serie-de-fibonacci/)
Interesante artculo escrito por liver Guirado Martnez, un broker que aplica la teora del caos a los movimientos
en la bolsa de valores.
Artculo divulgativo sobre el creciente aporte de la Teora del Caos en Medicina (http://www.divulgauned.es/
spip.php?article168) Servicio de divulgacin cientfica DivulgaUNED (Universidad Nacional de Educacin a
Distancia de Espaa, Octubre 2009).
(https://groups.google.com/group/metodologia-de-investigacion-compleja/web/
teoria-del-caos-caologia?version=10&hl=es&pli=1) Grupoo Google sobre Teoria del Caos y Caologia, a cargo
del Profesor de Metodologia colombiano Juan Pablo Galeano Rey
Alcances y limitaciones de la Teora del Caos aplicada al anlisis del Comportamiento Organizacional, Cultural y
la necesidad del cambio (http://cybertesis.upc.edu.pe/upc/2003/tejada_dj/html/sdx/tejada_dj.html) De la
Universidad Peruana de Ciencias Aplicadas
Atractor de Lorenz
El atractor de Lorenz, concepto introducido por Edward Lorenz
en 1963, es un sistema dinmico determinstico tridimensional no
lineal derivado de las ecuaciones simplificadas de rollos de
conveccin que se producen en las ecuaciones dinmicas de la
atmsfera terrestre.
Para ciertos valores de los parmetros
el sistema exhibe un
comportamiento catico y muestra lo que actualmente se llama un

atractor extrao; esto fue probado por W. Tucker en 2001. El
atractor extrao en este caso es un fractal de dimensin de
Hausdorff entre 2 y 3. Grassberger (1983) ha estimado la
dimensin de Hausdorff en 2.06 0.01 y la dimensin de
correlacin en 2.05 0.01.
El sistema aparece en lseres, en generadores elctricos y en
determinadas ruedas de agua.[1]
El atractor de Lorenz, con valores r = 28, = 10, b =

8/3.
Proyeccin de un atractor de Lorenz tridimensional.
Atractor de Lorenz
76
donde a es llamado el Nmero de Prandtl y b se llama el nmero de Rayleigh.

, pero es usualmente
para
y b es variado. El sistema exhibe un comportamiento catico
pero muestra rbitas peridicas para otros valores de b; por ejemplo, con
se convierte en
un nudo trico llamado T(3,2).

La forma de mariposa del atractor de Lorenz puede haber inspirado el nombre del efecto mariposa en la Teora del
Caos.
Vase tambin
Lista de mapas caticos
Teora del caos
Referencias
[1] www.zeuscat.com: The Lorenzian Waterwheel (http:/ / www. zeuscat. com/ andrew/ chaos/ lorenz. html)
Referencias generales
Lorenz, E. N. (1963). Deterministic nonperiodic flow. J. Atmos. Sci. 20 p. 130-141.
Fryland, J., Alfsen, K. H. (1984). Lyapunov-exponent spectra for the Lorenz model. Phys. Rev. A 29 p.
29282931.
Strogatz, Steven H. (1994). Perseus publishing. ed. Nonlinear Systems and Chaos.
Jonas Bergman, Knots in the Lorentz system, Undergraduate thesis, Uppsala University 2004.
P. Grassberger and I. Procaccia (1983). Measuring the strangeness of strange attractors (http://adsabs.harvard.
edu/cgi-bin/nph-bib_query?bibcode=1983PhyD....9..189G&db_key=PHY). Physica D 9 p. 189-208.
10.1016/0167-2789(83)90298-1 (http:/ / dx. doi. org/ 10. 1016/ 0167-2789(83)90298-1).
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Atractor de LorenzCommons.

Lorenz Attractor (http://mathworld.wolfram.com/LorenzAttractor.html) (mathworld article)
Lorenz Equation (http://planetmath.org/encyclopedia/LorenzEquation.html) planetmath.org
Levitated.net: computational art and design (http://www.levitated.net/daily/levLorenzAttractor.html)
3D VRML Lorenz Attractor (http://ibiblio.org/e-notes/VRML/Lorenz/Lorenz.htm) (you need a VRML
viewer plugin)
Teora del Caos por Pedro Jos Morales Correas (http://ifisc.uib.es/~claudio/Sincro/lorenz.pdf)
Caos y fractales
77
Caos y fractales
La Teora del Caos surgi cuando Edward Lorenz dio a conocer en 1963 un modelo climtico que, por su
comportamiento, atrajo la atencin de muchos fsicos, aunque se basaba en trabajos anteriores, como los de Julia,
Poincar o Lyapunov. Junto a la mecnica cuntica y a la teora de la relatividad, se considera la tercera gran teora
del siglo XX. Algunos la consideran como la ciencia de la totalidad, ya que consideran determinismo e
indeterminismo como uno solo.
La Teora del Caos ha tenido gran relevancia en muchos campos cientficos actuales como la medicina, la biologa,
la ingeniera, la economa y otras.
En el campo de la medicina se pueden encontrar varias estructuras fractales: redes neuronales, disposicin espacial
de las glndulas, etctera.
Dentro de la Ingeniera la teora del Caos se entiende como un herramienta de anlisis, que ha permitido afrontar
problemas que hasta hace poco era imposible abordar como, por ejemplo, responder a las siguientes cuestiones:
Las leyes de propagacin de una fractura
Las averas de mquinas
Por qu las nubes de humo de dos cigarrillos, de la misma marca, encendidos a la vez, no se parecen en nada tras
un breve perodo
En la Teora del Caos un sistema dinmico puede referirse a la bolsa de valores para un economista o al corazn
humano para un mdico, y algunos cientficos consideran la teora fractal como una herramienta necesaria para
estudiar sistemas dinmicos como los mencionados anteriormente u otros que suceden en la naturaleza.
El atractor es uno de los conceptos fundamentales del Caos, que se utiliza para representar la evolucin en un
sistema dinmico. Este tipo de representacin ya haba sido usado por Henri Poincar. Dentro de los atractores
aparece un tipo denominado atractores extraos.
Vase tambin: Teora del caos
Introduccin al mundo fractal

Hausdorff plante la idea de que los objetos
tuviesen ms de dos dimensiones pero
menos que tres, lo cual dio origen al trmino
"dimensin fractal". A partir de ese
momento se intent demostrar que dichos
objetos puedan darse en la realidad. Otra
definicin de fractal es la que da Benot
Mandelbrot, quien considera fractal a
aquellos objetos con tamao y orientacin
variables y que en cada instante tiene un
aspecto similar al anterior.
La dimensin fractal se puede calcular de
diferentes formas. Una es el exponente de
Hurst: muchas estructuras en la naturaleza
poseen la caracterstica de partir de dos
dimensiones y acabar en una dimensin
Esfera cornuda de Alexander.
fraccional entre 2 y 3. Estos objetos se pueden representar mediante grficos, en los cuales es posible medir su
dimensin fractal. La relacin que existe entre los fractales y el caos es que aquellos son la manera de representarlo
Caos y fractales
grficamente.
Caractersticas de los fractales

Un objeto fractal debera tener al menos una de las siguientes caractersticas:
Existe similitud entre detalles a gran escala y a pequea escala

No se puede representar por medio de la geometra clsica
Su dimensin es fraccionaria, es decir, no es entera
Se puede definir recursivamente
Los fractales son figuras geomtricas que no se pueden definir a travs de la geometra clsica. Aunque el ser
humano tiende a abstraer las figuras de los objetos a esferas, cuadrados, cubos, etctera, la mayora de las figuras que
se encuentran en la naturaleza son de geometra fractal.
Una de las caractersticas ms significativa de los fractales es que surgen a partir de acciones muy bsicas, como el
Conjunto de Cantor, que inicialmente parte de una recta y a partir de reglas muy bsicas se convierte en una
estructura compleja.
Otra de las caractersticas de los fractales es la autosimilitud: cuando se cambia de escala en la representacin de
algn fractal la imagen que resulta es de gran similitud a la imagen de origen. Por tanto, se puede decir que los
fractales son autorecurrentes. Ejemplos de fractales con esta caractersticas son el Copo de nieve de Koch o los
Conjunto de Julia.
Una de las preguntas ms complejas sobre los fractales es cul es su tamao. Si se toma como ejemplo el copo de
nieve de Koch, es posible afirmar que su dimensin no es exacta y que, por tanto, no se puede usar la geometra
euclidiana para calcularla.
Clculo de dimensiones fractales

En la seccin anterior, hemos concluido como que la dimensin fractal es la que no se puede calcular a partir de la
geometra de Euclides.
La dimensin 0 es el punto
La dimensin 1 es la lnea
A continuacin se explicar como podemos cuantificar el espacio definido por un fractal, para demostrar as que no
se trata nicamente de un modelo terico.
Si nos basamos en un objeto fractal con una dimensin entre 1 y 2, su longitud va a depender de la longitud de la
regla con la que la calculemos. Cuanto ms pequea sea la unidad de medida ms exacto ser el resultado.
Si tenemos un espacio mtrico (X, d), donde A es un subconjunto compacto no vaco de X, tomamos B (x,), donde
que >0, como esferas de radio y centro en el punto x.
Queremos calcular el menor nmero de esferas cerradas de radio y necesarias para cubrir el conjunto A, denotado
por N (A,).
N (A,): es el menor nmero entero tal que:
donde xn es un conjunto de puntos distintos {xn; 1, 2, 3,,N}.

Para demostrar si existe este nmero, cubrimos el conjunto A mediante conjuntos abiertos, rodeando todos los
puntos x que pertenecen a A con una esfera abierta de radio . Como A es un conjunto compacto, esta cubierta tiene
una subcubierta finita M, y cerrando las esferas obtendramos una cubierta de esferas cerradas M.
Llamamos C al conjunto de todas las cubiertas de A que tienen como mximo M esferas cerradas de radio .
Por tanto definimos f (c) como el nmero de esferas de la cubierta de c que pertenece a C:
78
Caos y fractales
79
f: C -> {1,2,3,M}
Por tanto, f (c) es un conjunto de nmeros enteros positivos y este conjunto contiene un nmero menor, N (A,).
El conjunto A tendr dimensin fractal D N (A,)
donde f()
g() significa:
Despejando D, se obtiene:
Qu significa este "lnC"?, segn la definicin de ms arriba C el conjunto de todas las cubiertas de A que tienen
como mximo M esferas cerradas de radio . Cmo es el ln de un conjunto?
Cuando tiende a 0, el trmino ln C / ln(1/) tambin tiende a 0, esto nos conduce a la siguiente:
Definicin
Sea A un subconjunto de X donde (X, d) es un espacio mtrico. Y sea N (A,) el menor nmero de esfera cerradas
de radio >0 necesarias para cubrir el conjunto A.
Decimos que D es la dimensin fractal de A, si existe:
Tambin se escribe como D=D (A) y se lee A tiene dimensin fractal D
Ejemplos de clculo
En este apartado se pretende calcular las dimensiones de algunos de los fractales ms conocidos.
Dimensin fractal del conjunto de Cantor

K
1/3
1/9
Para construir el conjunto de Cantor se puede empezar por el objeto bsico de una lnea. A partir de sta y siguiendo
una serie de reglas bsicas obtenemos el conjunto del Cantor. Estas reglas bsicas son ir dividiendo la lnea en tres
partes iguales y una vez hecho esto se quita la parte central de la misma, Estas reglas se deberan aplicar en un
nmero infinito de iteraciones. De la tabla expuesta anteriormente tenemos que tener en cuenta que K es el nmero
de iteraciones necesarias, E el tamao del objeto de medida, y N el nmero de veces que usamos E.
Para el clculo de las dimensiones se realizaran los siguientes clculos:
La solucin sera por tanto d=0,6309, que, como se puede observar la dimensin obtenida para este fractal es mayor
que 0 y menor que 1.
Caos y fractales
80
Dimensin fractal del Copo de nieve de Koch

K
1/3
1/9
16
A partir de la siguiente frmula se deduce la dimensin para este fractal.
La solucin sera por tanto: d=1,2618
Dimensin fractal del Conjunto de Mandelbrot

Para la mayora de cientficos actuales el fractal ms conocido y ms importante es este y para todos ellos se trata sin
duda del objeto con mayor complejidad. Resulta asombroso observar su complejidad infinita, que es en cierta forma
indescriptible. Para este fractal no importa el nmero de veces que aumentemos la escala ni el nmero de veces que
hagamos zoom porque siempre seguir apareciendo figuras de complejidad infinita.
Adems de esta infinita complejidad existe otro aspecto de gran curiosidad y es que este fractal se puede obtener a
partir de un sencillo programa informtico, es decir que la infinita complejidad surge de algo bastante sencillo. Los
precedentes del conjunto de mandelbrot son las investigaciones realizadas durante la I Guerra Mundial por Pierre
Gatou y Gaston Julia, como resultado de estas investigaciones se obtuvo el Conjunto de Julia.
Posteriormente Mandelbrot a partir de un proceso bastante complicado consigui componer una figura constituida
por todos los conjuntos de Julia mediante una serie de funciones trigonomtricas. En conclusin, el conjunto de
Mandelbrot se obtiene a partir de nmeros complejos que cumplen una determinada propiedad. Para cada nmero
complejo se tiene que cumplir que sea igual a la raz de menos uno, de la forma siguiente: 2 + 3i. Y para comenzar se
toma un nmero aleatorio P y se calcula su cuadrado, a este nmero obtenido se suma P y entonces se vuelve a
elevar al cuadrado y as se continua infinitamente con dicho proceso: z = + P.
Atractores extraos
Un atractor extrao es una imagen en el espacio de fases de algn sistema catico concreto. El Atractor de Lorenz
fue el primer atractor extrao.
Edward Lorenz por el ao 1963 investigaba el hecho de que fuese
imposible predecir los fenmenos meteorolgicos a largo plazo.
Cre un modelo matemtico para poder simularlo por ordenador.
Este modelo se basaba inicialmente en la conveccin de fluidos y
la no linealidad.
As descubri una de las propiedades ms importantes de los
sistemas caticos, la dependencia de las condiciones iniciales. Si
Atractor de Lorenz.
partimos de dos puntos del espacio de fases, las trayectorias
correspondientes a estos dos puntos son diferentes aunque los
puntos estn muy prximos. Los puntos seran los conjuntos de condiciones iniciales, y las trayectorias la diferente
evolucin del sistema dependiendo del punto de partida.
Caos y fractales
Como no se pueden medir de forma precisa las condiciones iniciales de un sistema, es imposible predecir a largo
plazo el comportamiento del sistema, si ste depende de las condiciones iniciales.
Lorenz en su modelo meteorolgico comprob que mnimas variaciones en las entradas se convertan, en poco
tiempo, en grandes variaciones en la salida. A esto se lo denomina efecto mariposa. Este efecto se suele explicitar
con la siguiente frase: Si hoy, una mariposa agita sus alas en Pekn, puede cambiar el tiempo de Nueva York el mes
que viene.
Posteriormente al de Lorenz se han realizado importantes estudios matemticos sobre los atractores extraos y sus
propiedades, como la forma de estudiarlos o de medirlos.
Aplicaciones
Los sistemas fractales se pueden aplicar en diversos campos, a continuacin vamos a numerar las ms interesantes:
Si nos centramos en las matemticas, fsica..., se utilizan para estudiar los resultados de resolver ecuaciones de grado
superior a dos.
Los sistemas fractales tambin se aplican en la sismologa, pero donde ms se utilizan los sistemas fractales es el
tratamiento y manipulacin de imgenes. De hecho la aplicacin de estos sistemas provoc toda una revolucin en
este campo. El precursor en este campo fue Michael Barnsley con su transformada fractal, que podemos definir
como la inversa de la formacin fractal. En vez de crear la figura partiendo de las reglas, intenta determinar las reglas
a partir de la figura.
Los fractales se aplican actualmente por ejemplo como compresores de imgenes digitales. Tambin se utilizan en el
cine para crear efectos especiales, ya que a partir de los fractales se pueden crear fcilmente fondos y paisajes de
todo tipo. Por ejemplo, utilizando un determinado programa informtico se puede crear, partiendo de un esquema, un
complejo rbol.
En el campo de la msica tambin se utilizan los procedimientos fractales, como por ejemplo para crear el ritmo que
se utiliza como base de cualquier tipo de msica.
La biologa se ha visto muy influenciada por la revolucin de los fractales, ya que en el cuerpo humano se pueden
encontrar muchos ejemplos de sistemas fractales, como la red vascular o la red neuronal. De un cuerpo sanguneo
salen vasos menores y de stos, otros mucho menores hasta llegar a los capilares. As vemos que en el campo de la
gentica que actualmente tiene mucha importancia podemos encontrar muchsimas similitudes con los fractales, ya
que en ambos, a partir de informacin simple, surgen estructuras complejas.
Bibliografa
M. Barnsley. Fractals everywhere.Academic Press Inc, 1988. ISBN 0-12-079062-9. (Cap 5)
Vase tambin
Teora del Caos

Fractal
Caos determinista
Teora de las catstrofes
Wikimedia Commons alberga contenido multimedia sobre FractalesCommons.
81

Fractal Fuente: http://es.wikipedia.org/w/index.php?oldid=50320272 Contribuyentes: .Jos, 672, Adriana3d, Aeveraal, Airunp, Alejandrosanchez, Alexan, Alexav8, AlfonsoERomero, Alvaro
qc, Andreateletrabajo, Angel GN, Aqualung, Ascnder, Axxgreazz, Biasoli, Cal Jac02, Camilo, Carlos Quesada, Carmin, Cinabrium, Cobalttempest, CommonsDelinker, Cookie, Cordwainer,
Coren, Coroliano, Daunis, Davius, Deodato, Dermot, Diegusjaimes, Dodo, DokiDoki, Domaniom, Eduardosalg, Ejrrjs, Elkie, Factotum, Farisori, Fcueto, Fibonacci, Fullgigapower, Gato ocioso,
Gerwoman, Godelart, Gsrdzl, Homo logos, Hprmedina, Humberto, Igdfpro, Ignacio Icke, Jkbw, JoaquinFerrero, JorgeGG, Josepmbf61, Juan Mayordomo, Kairosart, KnightRider, Leoz,
Leugim1972, Llull, Lucianosoda, Magister Mathematicae, Marianov, Matdrodes, Matiasasb, McMalamute, Melijoan, Miguel.izquierdo.garcia, Milu, Montgomery, Moriel, Mortadelo2005,
N-Eber, Nicop, Numbo3, Orco70, Orgullomoore, Pabloallo, Paz.ar, Pilaf, PoLuX124, Qbit, Qoan, RafaelGV, Rambaut, Raysheaf, Roc21, Romero Schmidtke, Rondador, Santiperez, Savh,
Sebrev, Sergio Rodrgz. Labra, Sergspin, Sixthpoison, Smoken Flames, Srbanana, Taichi, Tano4595, Technopat, Tegin, Tony Rotondas, Tortillovsky, Unf, Wewe, Wricardoh, Youandme,
Youssefsan, Zuirdj, Zupez zeta, conversion script, 312 ediciones annimas
Benot Mandelbrot Fuente: http://es.wikipedia.org/w/index.php?oldid=49697087 Contribuyentes: -jem-, Alfredobi, Antn Francho, Banderas, Belerofontes13, Ceancata, David822, Ejonsd, El
Megaloco, Erodrigufer, Fadesga, Farabeuf, GermanX, Ignacio Icke, J.M.Domingo, Jackk08, Jespa, Jkbw, Juamax, Katadreuffe, Macarrones, Magister Mathematicae, Marinna, Mschlindwein,
Muro de Aguas, Pitxulin1, Porao, Roberto Fiadone, Super braulio, Srrell, Tolagorn, Unf, Vendeae, Vubo, Wricardoh, Xars2001, Yonderboy, 40 ediciones annimas
Conjunto de Julia Fuente: http://es.wikipedia.org/w/index.php?oldid=49902789 Contribuyentes: Conexxo, Echani, Emijrp, Fibonacci, Gato ocioso, Ismaelbej, Javierito92, Jerowiki, JorgeGG,
Moriel, Oblongo, Romero Schmidtke, Rsg, Sabbut, Sauron, 8 ediciones annimas
Algoritmo recursivo Fuente: http://es.wikipedia.org/w/index.php?oldid=48834719 Contribuyentes: Airunp, Alexav8, Bucho, Calsbert, Cosmonauta, Diegusjaimes, Goofys, Jesuja, Kurtan,
Moriel, Poco a poco, RGLago, Rflg 92, Riviera, Sabbut, SpeedyGonzalez, Tano4595, Torturo, Tuc negre, ZrzlKing, 39 ediciones annimas
Conjunto de Mandelbrot Fuente: http://es.wikipedia.org/w/index.php?oldid=50603190 Contribuyentes: Ascnder, Brobdingnag, Drake 81, Gato ocioso, GermanX, Hawking, Innv, JorgeGG,
Kadellar, Lmendo, Mar del Sur, Matdrodes, MatiasBellone, Moriel, Oblongo, Pablo.cl, Rjelves, Romero Schmidtke, Youssefsan, 21 ediciones annimas
Conjunto conexo Fuente: http://es.wikipedia.org/w/index.php?oldid=50333001 Contribuyentes: Albertocai, Cgb, Davius, Dirichlet, Egaida, Hergal79, Ricard Delgado Gonzalo, Sabbut,
Tano4595, Wewe, Xtquique, 23 ediciones annimas
Espacio topolgico Fuente: http://es.wikipedia.org/w/index.php?oldid=50519402 Contribuyentes: 6cR, Dodo, Dreitmen, Egaida, Elwikipedista, Farisori, Gato ocioso, GermanX, Ivn, Janus,
Jerowiki, Joseangelmadrid, Joseaperez, Juan Mayordomo, Karv, Kuartas, Lauranrg, LeCire, Magister Mathematicae, Moriel, Romero Schmidtke, Sabbut, Usuwiki, Vivero, Xidane, 23 ediciones
annimas
Topologa Fuente: http://es.wikipedia.org/w/index.php?oldid=50175147 Contribuyentes: .Jos, 217-125-87-113.uc.nombres.ttd.es, Adrruiz, AldanaN, Alexav8, AlfonsoERomero, Andre Engels,
Aracne, Arcibel, Brion VIBBER, Cookie, Daniarmo, Diegusjaimes, Digigalos, Dodo, Drake 81, Fermar, Fibonacci, Fmariluis, Fmercury1980, Furti, Garber, Gato ocioso, GermanX, HUB,
Halcn, HiTe, Ingenioso Hidalgo, Ivn, JMCC1, Jarisleif, Javierito92, Jerowiki, Jorge c2010, JorgeGG, Joseaperez, Josetomas2008, Juan Marquez, Kerny65, Kevineitor, Lugowii, Lumen,
Maldoror, Matdrodes, Maveric149, Moriel, NicolasAlejandro, Petruss, Proferichardperez, Quetzal02, Roberto Fiadone, Rovnet, RoyFocker, Sanbec, Seraphita, Smontero, Tano4595, Tony
Rotondas, Tostadora, Tzihue, Veronoa, Wadim, Wewe, Xavigivax, Xtquique, Yeza, conversion script, 154 ediciones annimas
Problema de los puentes de Knigsberg Fuente: http://es.wikipedia.org/w/index.php?oldid=50167875 Contribuyentes: .Jos, Alandres84, Alpertron, Ascnder, Biasoli, Chlewey, Damian cf,
Davidsevilla, Davius, Dodo, Erri4a, Fadesga, Farisori, Ingolll, JMCC1, Jaimesal, Joseaperez, Ketamino, KnightRider, Lucien leGrey, Magister Mathematicae, Maldoror, Meldor, Moriel, Nirei,
Pvieito, Riviera, Rmolina, Rovnet, Sabbut, Tequendamia, Unf, Wadim, 23 ediciones annimas
Teora de grafos Fuente: http://es.wikipedia.org/w/index.php?oldid=50651295 Contribuyentes: A.garridob, Aalvarez12, Adama, Alejozsz, Alexav8, AlfonsoERomero, Andrestand, Ascnder,
Baiji, Boku wa kage, Davidrodriguez, Diegusjaimes, Diogeneselcinico42, Eduardosalg, El Quinche, Elmermosher, Emijrp, Equi, Esteban fcr, Farisori, Feministo, Ferminmx, Foundling,
Galileicanarias, Gato ocioso, Gullo, Habilbakhat, Hawking, Humberto, Ilan.ag1, Ingenioso Hidalgo, Ingridchan, Inmortra, JMCC1, Jkbw, Jorge c2010, Juan Mayordomo, Julian Colina,
Khaos258, La Mantis, Leonpolanco, LordT, Ludoviko, Macarse, Marioxcc, Matdrodes, Mcetina, Mencey, Mundokeko, Nando.sm, Neodop, Nihilo, Numbo3, Otermin, Pablo Olmos, Pabloallo,
PeiT, Pino, PoLuX124, Raul.lara, Raulshc, Rdaneel, Ricardo Castelo, Rmolina, Roberpl, Rondador, Rovnet, Rumpelstiltskin, Schwallex, Seba.29.8, Tano4595, Taxman, Tessier, Tomatejc,
Tortillovsky, Vic Fede, Wsu-dm-jb, XinuXano, Zifra, 177 ediciones annimas
Mquina de Turing Fuente: http://es.wikipedia.org/w/index.php?oldid=50266571 Contribuyentes: (missing paren, Aldo.martinez.n, Alejandrosanchez, Alexav8, AlfonsoERomero, Ascnder,
Barcex, Belgrano, Casgar49, Cobalttempest, Dav7mx, Davius, DraXus, Elabra sanchez, Elmo23x, Emijrp, Espartera, Ezarate, Farisori, Fepi, Fer31416, Frapen, Gaeddal, Gebla, GermanX, Gtz,
Halfdrag, Head, Humberto, Jess Pardillo, Joelcuervo, Jstitch, Juan Mayordomo, Jugones55, Kn, LP, Lasneyx, Laura Fiorucci, Macar, Matdrodes, Moriel, Mtrias, Nickel Spider, Pan con queso,
Pequeniosaltamontes, Pinar, PoLuX124, Porao, Rbrena, Samuel abel, Sauron, Sms, Super braulio, Symonblade, Tano4595, Unai Fdz. de Betoo, Zeno Gantner, 110 ediciones annimas
Toro (geometra) Fuente: http://es.wikipedia.org/w/index.php?oldid=49065630 Contribuyentes: .Jos, 3coma14, ANONIMO02, Andrestand, CHV, Cpt.Miller, Dianai, Digigalos, Dodo,
Edmenb, Fibonacci, Gafotas, GermanX, Guille, Hari Seldon, Hprmedina, JMCC1, JMPerez, Joselarrucea, Juan Marquez, Juan Mayordomo, Llosa, Miguel303xm, Miguev, Negyek, Numbo3,
Ppfk, Ramjar, Robertoe, Sessho-akat, Tano4595, Unnio, Wricardoh, Xenoforme, Xtquique, Zifra, 32 ediciones annimas
Cuerno de Gabriel Fuente: http://es.wikipedia.org/w/index.php?oldid=48785449 Contribuyentes: Aracne, Deleatur, Dodo, Henrygb, Ignacio Icke, JMCC1, Jerowiki, Ketamino, Luis Felipe
Schenone, MiguelSR, Raulshc, 13 ediciones annimas
Evangelista Torricelli Fuente: http://es.wikipedia.org/w/index.php?oldid=50656369 Contribuyentes: Abajo estaba el pez, Alvaratas2, Aracne, Barteik, Bicho02, Camilo, Carmin, Cookie,
DEDB, Diegusjaimes, EL Willy, Eduardosalg, Especiales, FAR, Faelomx, Gohenegas, Gunboy, Holaketal, Humberto, Jaques Sabon, Jkbw, Jorge c2010, Joseaperez, Jyon, Karlos666,
KnightRider, Kurodesu, Leampala, Lecuona, Lobillo, Lokoresat, Matdrodes, Mmolina, Morytelov, Mpeinadopa, Mutari, NHK, Nioger, Numbo3, Opinador, Pececito, PoLuX124, Porao, RGLago,
Ramjar, Richy, Rosarinagazo, Rosarino, Rumpelstiltskin, Super braulio, Superzerocool, Tirithel, XalD, 178 ediciones annimas
Topologa simplctica Fuente: http://es.wikipedia.org/w/index.php?oldid=49623246 Contribuyentes: Alexav8, Davius, DefLog, Farisori, Ingenioso Hidalgo, Jsanchezes, Juan Antonio Cordero,
Juan Marquez, Keenan Pepper, ReiVaX, 3 ediciones annimas
Autosimilaridad Fuente: http://es.wikipedia.org/w/index.php?oldid=50433342 Contribuyentes: Eloy, Maleiva, Rambaut, Sabbut, 2 ediciones annimas
Invariancia de escala Fuente: http://es.wikipedia.org/w/index.php?oldid=46348376 Contribuyentes: Chanchicto, Dangelin5, Eloy, Rambaut, Sabbut
Teora del caos Fuente: http://es.wikipedia.org/w/index.php?oldid=49917062 Contribuyentes: .Jos, .Sergio, Aalku, Abajo estaba el pez, Airunp, AlGarcia, Alefisico, Alexav8, Alexlp182,
Alhen, Amadosanchez, Andreasmperu, Antur, Axxgreazz, Bachi 2805, Baldercm, Bedwyr, Carlab89, Carmin, Cfuentea, Chiwakaelketefocka, Cookie, DJ Nietzsche, Davius, Dhidalgo,
Diegusjaimes, Digigalos, Dodo, Drake 81, Echiner, Egaida, El Moska, Eli22, Estoeselcolmo, Ffahm, Fibonacci, Fiquei, Frutoseco, Gato ocioso, Guillem d'Occam, Gusarrgg, Gustronico, HUB,
Haku, Humberto, Ingenioso Hidalgo, Interwiki, Jabernal, Janumna, Jarke, Jcd, Jkbw, Jmonzo, JorgeGG, Joronstro, Joseaperez, Juan Mayordomo, Juancar24578, Juanrj, Julian Colina, Kikespn,
LeCire, Linus, Lucien leGrey, Lumen, Lycaon83, Macarrones, Magister Mathematicae, Maldoror, Maleiva, Masacroso, Matdrodes, Mescalier, Moriel, Murtasa, Mximo de Montemar, Nihilo,
Nioger, Oblongo, Orco70, PoLuX124, Proitsen, Rapomon, Renemoralesduarte, Roberpl, Sabbut, Savh, Seldon, SergioN, Sincro, Spirit-Black-Wikipedista, Taichi, Tano4595, Tapioca, Technopat,
Tico, Tirithel, Tomatejc, Txukiya, VMoreira, Wilfreddehelm, Xenoforme, Xgarciaf, Youssefsan, Yrithinnd, Zufs, conversion script, 274 ediciones annimas
Atractor de Lorenz Fuente: http://es.wikipedia.org/w/index.php?oldid=49388182 Contribuyentes: Changcho, Cyberdelic, Davius, Egaida, Gato ocioso, Grillitus, Jynus, Mallorkin, Maniuc,
Tano4595, 3 ediciones annimas
Caos y fractales Fuente: http://es.wikipedia.org/w/index.php?oldid=48980603 Contribuyentes: .Jos, Alexav8, Alfredobi, Claudio Elias, Davius, Echani, Emijrp, Gato ocioso, JMCC1,
Josepe2013, Lasneyx, Laura Fiorucci, Leo23, Nihilo, Orensbruli, Tano4595, Tortillovsky, Yorueda, Yrithinnd, Zupez zeta, 63 ediciones annimas
82

Archivo:Fractal Broccoli.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Fractal_Broccoli.jpg Licencia: Public Domain Contribuyentes: Jon Sullivan
Archivo:Koch anime.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Koch_anime.gif Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes:
Christophe Dang Ngoc Chan (cdang)
Archivo:Menger 0.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Menger_0.PNG Licencia: GNU Free Documentation License Contribuyentes: Archivo:Menger 1.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Menger_1.PNG Licencia: GNU Free Documentation License Contribuyentes: Archivo:Menger 2.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Menger_2.PNG Licencia: GNU Free Documentation License Contribuyentes: Archivo:Menger 3.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Menger_3.PNG Licencia: GNU Free Documentation License Contribuyentes: Archivo:Menger 4.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Menger_4.PNG Licencia: GNU Free Documentation License Contribuyentes: Imagen:Time escape Julia set from coordinate (phi-2, 0).jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Time_escape_Julia_set_from_coordinate_(phi-2,_0).jpg Licencia:
Public domain Contribuyentes: Imagen:Time escape Julia set from coordinate (phi-2, phi-1).jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Time_escape_Julia_set_from_coordinate_(phi-2,_phi-1).jpg
Licencia: Public domain Contribuyentes: Imagen:Julia_set_camp2.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Julia_set_camp2.jpg Licencia: Public Domain Contribuyentes: Antnio Miguel de Campos en:User:T campos
Archivo:Mandelbrot and Julia.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot_and_Julia.png Licencia: Public Domain Contribuyentes: Archivo:Mandelzoom.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelzoom.jpg Licencia: Public Domain Contribuyentes: Antnio Miguel de Campos
Archivo:Dlasim.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Dlasim.PNG Licencia: GNU Free Documentation License Contribuyentes: C. Hoberg
Archivo:Fractal fern explained.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Fractal_fern_explained.png Licencia: Public Domain Contribuyentes: Antnio Miguel de
Campos - en:User:T campos
Archivo:Fractal471763.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Fractal471763.jpg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Yo Mismo
Archivo:LorenzAttractor.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:LorenzAttractor.png Licencia: GNU Free Documentation License Contribuyentes: Archivo:Sandstorm.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Sandstorm.png Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: Esteban.barahona
Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and
cleaned up by 3247, based on the earlier PNG version, created by Reidab.
Archivo:Benoit Mandelbrot mg 1804-d.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Benoit_Mandelbrot_mg_1804-d.jpg Licencia: Creative Commons
Attribution-Sharealike 2.0 Contribuyentes: Rama
Archivo:Flag of Poland.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Flag_of_Poland.svg Licencia: Public Domain Contribuyentes: Mareklug, Wanted
Archivo:Flag of the United States.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Flag_of_the_United_States.svg Licencia: Public Domain Contribuyentes: Dbenbenn,
Zscout370, Jacobolus, Indolences, Technion.
Archivo:Mandelpart2.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelpart2.jpg Licencia: Public Domain Contribuyentes: Evercat
Archivo:Mandelbrot p1130861.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot_p1130861.jpg Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported
Contribuyentes: User:David.Monniaux
Image:mandel zoom 00 mandelbrot set.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_00_mandelbrot_set.jpg Licencia: Creative Commons
Attribution-ShareAlike 3.0 Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 01 head and shoulder.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_01_head_and_shoulder.jpg Licencia: Creative Commons
Image:mandel zoom 02 seehorse valley.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_02_seehorse_valley.jpg Licencia: Creative Commons
Image:mandel zoom 03 seehorse.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_03_seehorse.jpg Licencia: Creative Commons Attribution-ShareAlike 3.0
Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 04 seehorse tail.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_04_seehorse_tail.jpg Licencia: Creative Commons Attribution-ShareAlike
3.0 Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 05 tail part.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_05_tail_part.jpg Licencia: Creative Commons Attribution-ShareAlike 3.0
Image:mandel zoom 06 double hook.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_06_double_hook.jpg Licencia: Creative Commons Attribution-ShareAlike
3.0 Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 07 satellite.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_07_satellite.jpg Licencia: Creative Commons Attribution-ShareAlike 3.0
Image:mandel zoom 08 satellite antenna.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_08_satellite_antenna.jpg Licencia: Creative Commons
Image:mandel zoom 09 satellite head and shoulder.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_09_satellite_head_and_shoulder.jpg Licencia: Creative
Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 10 satellite seehorse valley.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_10_satellite_seehorse_valley.jpg Licencia: Creative Commons
Image:mandel zoom 11 satellite double spiral.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_11_satellite_double_spiral.jpg Licencia: Creative Commons
Image:mandel zoom 12 satellite spirally wheel with julia islands.jpg Fuente:
http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_12_satellite_spirally_wheel_with_julia_islands.jpg Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported
Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 13 satellite seehorse tail with julia island.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_13_satellite_seehorse_tail_with_julia_island.jpg
Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: User:Wolfgangbeyer
Image:mandel zoom 14 satellite julia island.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandel_zoom_14_satellite_julia_island.jpg Licencia: Creative Commons
Archivo:Spanish Wikiquote.SVG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Spanish_Wikiquote.SVG Licencia: logo Contribuyentes: James.mcd.nz
Archivo:Julia set (C = 0.285, 0.01).jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Julia_set_(C_=_0.285,_0.01).jpg Licencia: desconocido Contribuyentes: Archivo:Julia set (reversed formula 3D).jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Julia_set_(reversed_formula_3D).jpg Licencia: desconocido Contribuyentes: Archivo:Mandelset hires.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelset_hires.png Licencia: Public Domain Contribuyentes: User:Fibonacci
Archivo:mandelbrot0.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot0.jpg Licencia: GNU Free Documentation License Contribuyentes: Original uploader was
Romero Schmidtke at es.wikipedia
Archivo:Mandelbrot plano.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot_plano.jpg Licencia: GNU Free Documentation License Contribuyentes: Archivo:Mandelbrot1.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot1.jpg Licencia: GNU Free Documentation License Contribuyentes: Original uploader was
Archivo:Mandelbrot2.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot2.jpg Licencia: GNU Free Documentation License Contribuyentes: Original uploader was
83

Archivo:Mandelbrot3a.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot3a.jpg Licencia: GNU Free Documentation License Contribuyentes: Original uploader was
Archivo:Mandelbrot3b.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot3b.jpg Licencia: GNU Free Documentation License Contribuyentes: Original uploader was
Archivo:Mandelbrot4a.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot4a.jpg Licencia: GNU Free Documentation License Contribuyentes: Archivo:Mandelbrot4b.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot4b.jpg Licencia: GNU Free Documentation License Contribuyentes: Archivo:mandelbrot.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mandelbrot.png Licencia: GNU Free Documentation License Contribuyentes: File:Peine2.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Peine2.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: Abnormaal, Durova, Howcheng,
Kieff, Kri, Manco Capac, Maximaximax, Rovnet, SharkD, Takabeg, 12 ediciones annimas
Archivo:Topological space examples.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Topological_space_examples.svg Licencia: Public Domain Contribuyentes: Dcoetzee
Archivo:topologa abierto 1.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Topologa_abierto_1.png Licencia: GNU Free Documentation License Contribuyentes:
es:Usuario:Romero Schmidtke
Archivo:Four Colour Map Example.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Four_Colour_Map_Example.svg Licencia: GNU Free Documentation License
Contribuyentes: Inductiveload
Archivo:Mug and Torus morph.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mug_and_Torus_morph.gif Licencia: Public Domain Contribuyentes: Archivo:Madrid-metro-map.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Madrid-metro-map.png Licencia: Creative Commons Attribution-Sharealike 2.5 Contribuyentes:
User:Montrealais
Archivo:Nuvola apps edu mathematics-p.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Nuvola_apps_edu_mathematics-p.svg Licencia: GNU Lesser General Public License
Contribuyentes: David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo
Archivo:Wikiversity-logo-Snorky.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wikiversity-logo-Snorky.svg Licencia: desconocido Contribuyentes: Archivo:Konigsberg bridges.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Konigsberg_bridges.png Licencia: GNU Free Documentation License Contribuyentes: Bogdan
Giuc
Archivo:Leonhard Euler.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Leonhard_Euler.jpg Licencia: GNU Free Documentation License Contribuyentes: User:Wars
Archivo:7 bridges.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:7_bridges.svg Licencia: GNU Free Documentation License Contribuyentes: Archivo:konigsburg graph.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Konigsburg_graph.svg Licencia: GNU Free Documentation License Contribuyentes: Archivo:Kaliningrad most 7 sboku.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Kaliningrad_most_7_sboku.jpg Licencia: Public Domain Contribuyentes: Archivo:6n-graf.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:6n-graf.svg Licencia: Public Domain Contribuyentes: User:AzaToth
Archivo:6n-graph2.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:6n-graph2.svg Licencia: Public Domain Contribuyentes: Archivo:Grafo ejemplo 1isom.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafo_ejemplo_1isom.png Licencia: GNU Free Documentation License Contribuyentes:
Original uploader was Romero Schmidtke at es.wikipedia
Archivo:grafos1.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafos1.jpg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Habilbakhat
Archivo:Grafo ejemplo 2.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafo_ejemplo_2.png Licencia: GNU Free Documentation License Contribuyentes: Original uploader
was Romero Schmidtke at es.wikipedia
Archivo:Hamiltonian path.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Hamiltonian_path.svg Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported
Contribuyentes: Christoph Sommer
Archivo:grafoConexo.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:GrafoConexo.jpg Licencia: Public Domain Contribuyentes: Fran VH
Archivo:Grafo ejemplo 3 rbol.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafo_ejemplo_3_rbol.png Licencia: GNU Free Documentation License Contribuyentes:
Archivo:Grafo ejemplo 5 pases.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafo_ejemplo_5_pases.png Licencia: GNU Free Documentation License Contribuyentes:
Archivo:Grafo ejemplo 5 conecsi.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Grafo_ejemplo_5_conecsi.png Licencia: GNU Free Documentation License Contribuyentes:
Archivo:Turing Machine.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Turing_Machine.png Licencia: Public Domain Contribuyentes: Archivo:Mquina de Turing.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mquina_de_Turing.png Licencia: Public Domain Contribuyentes: Aldo.martinez.n
Archivo:Diagrama Mquina Turing.JPG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Diagrama_Mquina_Turing.JPG Licencia: Creative Commons Attribution-Sharealike 3.0
Contribuyentes: Aldo.martinez.n
Archivo:Cinta infinita.JPG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cinta_infinita.JPG Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes:
Aldo.martinez.n
Archivo:MT multipista.JPG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:MT_multipista.JPG Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes:
Aldo.martinez.n
Archivo:MT multicintas.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:MT_multicintas.PNG Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes:
Aldo.martinez.n
Archivo:MT_bidimensional.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:MT_bidimensional.PNG Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes:
Aldo.martinez.n
Archivo:maquina cuantica.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Maquina_cuantica.png Licencia: GNU Free Documentation License Contribuyentes: Archivo:Villarceau circles.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Villarceau_circles.gif Licencia: Public Domain Contribuyentes: Archivo:Torus.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Torus.png Licencia: Public Domain Contribuyentes: Archivo:Torus-construction.JPG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Torus-construction.JPG Licencia: Creative Commons Attribution-Sharealike 2.5 Contribuyentes: Archivo:Blue cut-torus.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Blue_cut-torus.gif Licencia: Public Domain Contribuyentes: Archivo:torus cycles.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Torus_cycles.png Licencia: GNU Free Documentation License Contribuyentes: User:Fropuff
Archivo:Torus-with-seven-colours.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Torus-with-seven-colours.png Licencia: Public Domain Contribuyentes: Archivo:GabrielsHorn.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:GabrielsHorn.png Licencia: GNU Free Documentation License Contribuyentes: Archivo:Libr0367.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Libr0367.jpg Licencia: Public Domain Contribuyentes: Archivo:Baro 1.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Baro_1.png Licencia: Public Domain Contribuyentes: Archivo:Kochsim.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Kochsim.gif Licencia: Public Domain Contribuyentes: en:User:Cuddlyable3
Archivo:Sierpinski-zoom4-ani.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Sierpinski-zoom4-ani.gif Licencia: Public Domain Contribuyentes: self Georg-Johann Lay
Archivo:Cauliflower Fractal AVM.JPG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cauliflower_Fractal_AVM.JPG Licencia: Creative Commons Attribution-Sharealike 3.0
Contribuyentes: AVM
Archivo:Animated fractal mountain.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Animated_fractal_mountain.gif Licencia: Public Domain Contribuyentes: Antnio Miguel
de Campos - en:User:T campos
Archivo:Feigenbaumzoom.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Feigenbaumzoom.gif Licencia: Public Domain Contribuyentes: Bewareircd
84

File:Water Crystals on Mercury 20Feb2010 CU1.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Water_Crystals_on_Mercury_20Feb2010_CU1.jpg Licencia: Public Domain
Contribuyentes: Photo by: Mark Charles Langdon
Archivo:Lorenz attractor yb.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Lorenz_attractor_yb.svg Licencia: Creative Commons Attribution-Sharealike 2.5 Contribuyentes:
User:Dschwen, User:Wikimol
Archivo:Alexander horned sphere.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Alexander_horned_sphere.png Licencia: Public Domain Contribuyentes: -
85
Licencia
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/
86

Laberinto Fractal 20

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Laberinto Fractal 20

Încărcat de

Drepturi de autor:

Formate disponibile

El laberinto fractal

Problema de los puentes de Knigsberg

Teora del caos

Fuentes de imagen, Licencias y contribuyentes

En la naturaleza tambin aparece la geometra fractal, como en esta

Los ejemplos clsicos

Posteriormente aparecieron ejemplos con propiedades

Los conjuntos de Julia

En negro, conjunto de Julia

Conjunto de Julia relleno

Conjunto de Julia relleno asociado a fc,

Familias de fractales: el conjunto de Mandelbrot

una variedad sorprendente.

En negro, imagen del conjunto de Mandelbrot

si el conjunto de Julia asociado a

Dimensin fractal y dimensin de Hausdorff-Besicovitch

Definicin por algoritmos recursivos

Fractales aleatorios, generados por procesos estocsticos, no

necesarias para recubrir el conjunto,

O en funcin del recuento del nmero de cajas

de una cuadrcula de anchura

que intersecan al conjunto:

Dimensin de fractales producidos por un IFS

y que ambas pueden calcularse como

decantarse por uno u otro sistema.

Modelado de formas naturales

Un atractor extrao: el Atractor de Lorenz.

Imagen generada con el programa Apophysis.

Anexo:Fractales por dimensin de Hausdorff

Wikimedia Commons alberga contenido multimedia sobre fractalesCommons.

XaoS (http://xaos.sourceforge.net/) zoomer interactivo de fractales para linux.

Fallecimiento 14 de octubre de 2010 (85aos)

Conocidopor Conjunto de Mandelbrot

Premio Wolf (1993)

Benot Mandelbrot (Varsovia, Polonia, 20 de noviembre

Benot Mandelbrot fue uno de los primeros cientficos en

Wikimedia Commons alberga contenido multimedia sobre Benot MandelbrotCommons.

Wikiquote alberga frases clebres de o sobre Benot Mandelbrot. Wikiquote

est constituido por

En el otro extremo se encuentra el conjunto de Fatou (en honor del

Un algoritmo para obtener el conjunto de Julia de

se construye por la siguiente sucesin:

Si esta sucesin queda acotada, entonces se dice que

pertenece al conjunto de Julia de parmetro

la sucesin estn acotados, el punto pertenece al conjunto. Al aumentar el valor de

entonces la sucesin diverge y el

no pertenece al conjunto de Julia. Por lo tanto, basta encontrar

un solo trmino de la sucesin que verifique

certeza de que no est en el conjunto.

Los resultados ms vistosos se obtienen al tomar el parmetro en la

toma el aspecto de un objeto redondo, poco fractal, y slo el borde

. Se puede tambin generalizar a cualquier dimensin, y emplear varias funciones en lugar de

Wikimedia Commons alberga contenido multimedia sobre Conjunto de JuliaCommons.

Representacin matemtica del conjunto de Mandelbrot como

Representacin del conjunto de Mandelbrot mediante el algoritmo de

Introduccin: explorando la autosimilitud

Plano sobre el que exploraremos la autosimilitud.

Cuadro verde ampliado.

Volviendo al plano, escojamos esta vez el cuadro azul oscuro

Cuadro azul ampliado.

Ahora, ampliemos el cuadro violeta del plano (imagen izquierda):

Cuadro violeta ampliado.

Ampliacin de la mancha que aparece en el cuadro

Ahora, agrandemos el cuadro azul claro de la derecha del plano: