Fractales

y su aplicacin a la Ingeniera

Grupo de Investigacin:

Jefe del Proyecto: Ing. Manuel Arvalo Villanueva. Alumnos Investigadores: Darwin Padilla Gutirrez. Kene William Aguilar Zanabria.

UNIVERSIDAD NACIONAL DE INGENIERIA,

( LIMA - PERU )

http://fiee.uni.edu.pe

Julio 2001

FRACTALES: MAGIA, MITOS Y MENTIRAS

Desde hace mas de cien aos, los matemticos que se haban topado con los fractales los consideraban monstruos de una irregularidad insospechable. Pero no es hasta 1977-1982 que el profesor Benoit Mandelbrot explic que precisamente esta irregularidad insospechable es lo que conforma a la naturaleza, y que por lo tanto es nuestra esencia misma: los que nos constituye. La geometra fractal se dedica al estudio de las figuras con infinito detalle que describe n algunos fenmenos naturales. Es la ciencia inherente de lo impredecible. Los fractales cumplen en general con tres caractersticas importantes: 1. Se basan en una geometra compleja y de infinito detalle; es decir, podemos aumentar mil es de veces el lente de nuestra cmara, y seguiremos viendo tanto detalle aproximadamente como el que tena la figura original. 2. La informacin que los genera es relativamente poca, y en particular se basan en un principio de retroalimentacin de los resultados creando iteraciones que dependen de los parmetros de entrada. Normalmente se manejan nmeros complejos. (Un nmero complejo es aquel que se compone de una parte real y de una parte imaginaria). 3. La mayora de los fractales cumplen con el principio de "similitud a si mismos" (auto-similar). Un ejemplo de la naturaleza es un brcoli. Al mirar el brcoli, se observa que es una verdura con un tronco y con un grupo de "florecillas" en la parte superior. Pero curiosamente, al mirar con mas cuidado, se observan tallos ms delgados con sus respectivas "florecillas" que a su vez se constituyen por tallos an ms delgado y florecillas ms pequeas. Precisamente la caracterstica de realizar "zooms" en los fractales se le conoce con el nombre de similitud a s mismos. De la misma manera podemos observar un helecho compuesto de un tallo con su s respectivas hojas, una nube conformada de nubes mas pequeas, o bien una montaa constituida por montaitas. Existen varios fractales que son ya famosos por sus caractersticas. El mas famoso de todos ellos es el conjunto de Mandelbrot. La formula que describe al conjunto de Mandelbrot es: znuevo = z 2 viejo + c

Donde z es un nmero complejo (Ej. 9+3i) y c es una constante (Ej. -0.122 + 0.745i). En realidad, el conjunto de Mandelbrot se le considera una especie de diccionario que describe a otros fractales llamados los conjuntos de Julia. Siempre se comienza con z0=0. La pregunta a contestar es si despus de un cierto nmero de iteraciones dada la constante c, el resultado tender a infinito o no. Si el resultado es infinito, entonces en el plano complejo se colorea esta constante de algn color. En cambio, si el resultado tiende a un valor, se colorea de otro. Tambin, segn el nmero de iteraciones antes de llegar a un resultado no infinito se puede escoger un color. Al final, el plano complejo queda como la siguiente figura:

Otro fractal muy famoso es el tringulo de Sierpinsky. Este fractal se construye al utilizar un tringulo como parmetro inicial, y posteriormente iterando las siguientes reglas: 1) Se escala el objeto a la mitad 2) Se repite el objeto tres veces: una en la parte inferior izquierda, otra en la parte inferior derecha y la ltima en la parte central superior. Despus de una primera iteracin se obtiene como resultado una figura construida por tres tringulos. Despus de la segunda iteracin sern nueve. Despus de la tercera sern 27, etc.

Esta figura adems tiene varias caractersticas dignas de estudio. No importa con qu figura se comienza (un tringulo, un cuadrado, una cara, un barco, etc.) Si se siguen las reglas, despus de un cierto nmero de iteraciones siempre se obtendr la misma figura. El tringulo de Sierpinsky. -Es un objeto con dimensin fractal de 1.58. Esto quiere decir que es un objeto que tiene dimensin mayor a una lnea recta (dimensin 1) y una dimensin menor a la de un cuadrado (dimensin 2). Entonces en la naturaleza existen objetos con dimensin fraccionaria! Estn entre una lnea y el plano o bien entre el plano de dos ejes y el plano de tres ejes (entre un cuadrado y un cubo)! Y por lo tanto, existen fractales con dimensin 4.23, 5.02, etc. Existe an mucho material por ahondar en la geometra fractal, que adems est ntimamente relacionada con la teora del caos. El caos es un comportamiento que aparentemente es impredecible y que se surge dentro de un sistema determinstico por ser muy sensible a las condiciones iniciales. Lo importante es que ya comenzaron a aplicarse los conocimientos tericos, como por ejemplo para la comprensin fractal de imgenes. Y en especial para la comunidad de la computacin grfica, ahora ya se puede pensar que los fractales no solamente hacen texturas espectaculares de mrmoles o de nubes. Tambin hacen tringulos extraos, y copos de nieve con detalle infinito.

SISTEMAS DINMICOS COMPLEJOS. El origen de la teora de sistemas dinmicos complejos data de comienzos del siglo XX, con los trabajos de los matemticos franceses Gaston Julia (1893 - 1978) y Pierre Fatou (1878 - 1929). Los trabajos de Julia y Fatou, escritos en 1918 y 1926 respectivamente, no cobraron valor hasta las ltimas dcadas del siglo XX, en las que se ha podido observar la gran importancia y fuerte presencia de los sistemas dinmicos en el mundo real (prediccin del tiempo, dinmica de poblaciones,...).

QU ES UN SISTEMA DINMICO? Llamaremos sistema dinmico al par (X,f) formado por un conjunto no vaco X y una aplicacin f : X---> X. Dado un punto x X, llamaremos rbita de x a la sucesin: {x, f1(x), f2(x),...} X donde fn es la composicin de f consigo misma n veces. En un sistema dinmico (X,,f), un punto x0 X se llama punto fijo si f(x0) = x0, y se llama punto peridico de periodo n > 1 si fn(x0) = x0 y fi(x0) x0 para cualquier i [1,n). Las rbitas de los puntos peridicos se llaman rbitas peridicas del mismo periodo que el punto. El punto x0 se llama eventualmente peridico de periodo n si no es peridico y su rbita nos lleva a un punto que s lo es. Sea (X,d) un espacio mtrico, (X,f) un sistema dinmico diferenciable y x0 un punto peridico de periodo n. Entonces el punto peridico x0 y su rbita se llaman: Superatractivos si (fn)'(x0) = 0 Atractivos si 0 < |(fn)'(x0)| < 1 Indiferentes si |(fn)'(x0)| = 1 Repulsivos si |(fn)'(x0)| > 1

Intuitivamente, un punto peridico x0 se llama atractivo si la rbita de los puntos prximos a l converge a la rbita de x0, y se llama repulsivo si existen puntos infinitamente prximos a l cuya rbita se aleja de la rbita de x0. Los sistemas dinmicos complejos son los sistemas dinmicos de la forma: (C,f) / f : C ---> C.

CONJUNTOS DE JULIA. Estudiamos el sistema dinmico complejo cuadrtico: (C,f(C) / fC(z) = z2 + c, c C (c es un parmetro). Julia y Fatou se plantearon el problema de estudiar la rbita de los puntos z C en el sistema dinmico (C,f(C)). Observaron que para ciertos valores de c la rbita converga a un punto fijo de la aplicacin f(C), mientras que en otros la rbita diverga. Cada uno de estos dos tipos de puntos constituye una regin del plano complejo, y en medio queda una frontera infinitamente delgada que se conoce con el nombre de conjunto de Julia, y tiene estructura fractal.

Sucesiones, Lmites, ... An no nos vamos a desviar de las matemticas y entraremos en conceptos que si ya en la recta real, son difciles de manejar, en los nmeros complejos lo van a ser ms, pero con paciencia y buena letra terminar por entenderse perfectamente. Vamos a introducir los conceptos de distancia, lmite, sucesin e iteracin, los pilares bsicos para poder construir nuestros fractales. Cuando trabajamos en un espacio vectorial, es muy til poder encontrar una funcin que nos sirva para medir distancias, esta funcin que parte del producto directo del espacio consigo mismo y tiene su imagen en los nmeros reales, en nuestro caso, se traduce en que toma dos nmeros complejos (puntos) y nos da un nmero real (distancia). Como toda buena funcin distancia, debe cumplir tres propiedades : 1) La distancia entre dos puntos siempre es positiva, siendo nula si y solo si, los dos puntos son los mismos.

2) La distancia entre dos puntos A y B es la misma que la distancia entre los puntos B y A. 3)La distancia entre dos puntos A y B siempre es menor que la distancia entre A y un tercer punto C mas la distancia de C a B. Para trabajar con fractales, utilizaremos la funcin distancia d: C x C R definida por: d(a+ib,c+id)=sqrt((c-a)*(c-a)+(d-b)*(d-b)) ;donde sqrt significa: la raz cuadrada en su valor positivo. Visto as parece muy difcil, pero es mas sencillo de lo que parece, en realidad lo que estoy hallando es el mdulo del vector que una a+bi con c+di. Por el teorema de Pitgoras: El cuadrado de la hipotenusa es la suma de los cuadrados de los catetos. Gracias a la distancia definida, podemos hablar de los dems conceptos con la seguridad de que no vamos a tener problemas. Cuando hablamos de lmite, nos estamos preguntando que ocurre en el infinito, ya sea en el tiempo o en el espacio, intentar estudiarlo de una forma matemtica, no es fcil, pero gracias a que antes hemos definido una mtrica, las cosas se hacen bastantes ms sencillas, por eso solo estudiaremos este concepto en el caso que nos ocupa. Sea f una funcin de C en C y d la mtrica del apartado anterior, diremos que f tiende en el infinito a un punto A si : <Imagen> No nos asustemos que esto slo es un formalismo. A nosotros se nos va a plantear un problema, como vamos a utilizar el ordenador para calcular el lmite, no podemos estar infinito tiempo para saber si una funcin tiene lmite, as que tendremos que adoptar un criterio, el cual no es nico y en cada tipo de fractal se suele especificar, ya entraremos en mas detalles a su debido tiempo. Es muy fcil imaginar que es una sucesin (una fila de cosas), esta idea intuitiva no es del todo correcta, pero suficiente para entender lo que vamos a explicar, como siempre daremos la definicin para los nmeros complejos : Una sucesin de nmeros complejos es una funcin de los nmeros naturales en los nmeros complejos. As de sencillo, es una funcin f que toma un nmero natural n, y nos da un nmero complejo, pero generalmente, se le da un tratamiento distinto, lo que se hace es fijarnos en la imagen, f(n) y llamarla xn, y entonces diremos que tenemos una sucesin (xn)n, es decir, x7 es la imagen por f de 2, x7 es la imagen por f de 7, etc... Nosotros slo trabajaremos con un tipo muy concreto de sucesiones y que surgen de lo que se llama iteracin. Dada f, una funcin compleja, llamaremos iteracin a la sucesin xn=f n(x) donde por f n(x) entendemos la n-sima imagen de x, as f 3x es f(f(f(x))).

Existe una propiedad que no vamos a demostrar, y que dice que si x es el lmite de alguna sucesin, entonces f(x)=x, es lo que se llama un punto fijo de la funcin (obviamente).Y en eso consiste los fractales, en estudiar para que puntos del plano complejo, la sucesin iterada tiene lmite.

REPRESENTACIN GRFICA. Para representar grficamente el conjunto de Julia para un cierto c C dado, lo nico que hay que hacer es plantear el sistema dinmico (C,fC), y estudiar si la rbita de los z C diverge o no. Para saber si dicha rbita diverge, buscamos si algn punto de la rbita tiene mdulo mayor o igual que dos, ya que si esto ocurre, hay un teorema de clculo complejo que nos dice que la rbita diverge. Hay que acotar el nmero de puntos de la rbita que estudiamos para ver el carcter de la rbita. Una buena cota prctica puede ser considerar 100 puntos. Si se toma un nmero mayor de puntos, la representacin del conjunto de Julia ser ms exacta, aunque a costa de un mayor tiempo de clculo.

EL CONJUNTO DE MANDELBROT. Este conjunto est asociado a los sistemas dinmicos complejos cuadrticos (C,fC) / fC(z) = z2 + c, c C. A la vista de los diferentes conjuntos de Julia que se van obteniendo al elegir distintos valores del parmetro c C, surge la pregunta de si se pueden clasificar atendiendo a su forma o estructura. La idea de la clasificacin se basa en el hecho de que para cualquier valor del parmetro c C, el conjunto de Julia asociado, puede ser de los tipos siguientes: 1. Conexo. 2. Completamente disconexo. El conjunto de Mandelbrot es el conjunto de puntos c C para los que el conjunto de Julia asociado al sistema dinmico complejo (C,fC(z) = z2 + c) resulta ser conexo.

REPRESENTACIN GRFICA. Para representar el conjunto de Mandelbrot, hay que considerar lo siguiente: Julia prob que para decidir la conexin del conjunto de Julia asociado a un sistema dinmico complejo cuadrtico (C,fC), para cualquier c C, es suficiente estudiar la rbita de z = 0. Para decidir si la rbita diverge, basta aplicar el teorema de clculo complejo que nos dice que una rbita del sistema dinmico complejo (C,fC(z) = z2 + c) diverge si y slo si algn punto de la rbita tiene mdulo mayor o igual a dos. Se puede afirmar que si la rbita de un punto permanece en mdulo inferior a dos despus de 100 iteraciones, entonces la rbita ya no diverge. PROPIEDADES El conjunto de Mandelbrot no es un fractal auto semejante, pero tiene la propiedad de que es posible descubrir en su frontera infinidad de minsculas copias del propio conjunto. El conjunto de Mandelbrot es conexo (demostrado por J.H.Hubbord y A.Douady).

CONJUNTOS DE PICKOVER Estos conjuntos fueron desarrollados por Clifford A.Pickover en el Centro de Investigacin Thomas J.Watson de IBM en Worktown Heights, Nueva York (Mandelbrot tambin trabaj en este centro). La idea de estos conjuntos es la misma que la de los conjuntos de Julia, y lo nico que vara es el sistema dinmico complejo que se considera, que no es: (C,fC(z) = z2 + c), sino otro , como por ejemplo: (C,fC(z) = z3 + c), (C,fC(z) = z2 + sen(z) + c).

APLICACIONES DE LOS FRACTALES. A parte de la utilidad que tienen para explicar ciertos resultados de la teora del caos y en el estudio de los sistemas dinmicos (estudio de poblaciones), as como en el modelado de fenmenos naturales (por ejemplo un trabajo sobre el curso de ros presentado por B.Mandelbrot), una de las aplicaciones con ms futuro de los fractales es la utilizacin de tcnicas fractales para comprimir imgenes y secuencias de vdeo.

COMPRESIN FRACTAL DE IMGENES. La necesidad de comprimir imgenes proviene de la falta de capacidad de los dispositivos de almacenamiento para guardar a bajo precio la cantidad de informacin que genera una imagen. Adems, la compresin de datos cobra especial importancia en Internet, ya que cuanto ms pequeo sea el archivo a enviar, menos tiempo tardar en llegar y menos dinero costar el proceso.

METODOS DE COMPRESIN. En compresin de imgenes, se puede distinguir entre la compresin sin prdida (por ejemplo el formato GIF), que permite una compresin de 3 a 1 y los mtodos de compresin con prdida (por ejemplo el formato JPEG; Joint Photographic Expert Group), que permite una compresin de 25 a 1 sin una excesiva prdida de calidad. La compresin fractal de imgenes pertenece a este ltimo tipo de compresin.

APROXIMACIN DE IMGENES MEDIANTE FRACTALES. Con el mtodo de M.F.Barnsley, a partir de una imagen natural obtenemos una familia de contracciones que generan un fractal que se aproxima a la imagen natural tanto como queramos. As, en vez de comprimir la informacin de cada punto de la imagen nos basta con guardar la familia de contracciones que generan el fractal. Para la compresin de imgenes mediante el mtodo de M.F.Barnsley, necesitamos funciones contractivas de R4, ya que en cada punto de la imagen trabajamos con (largo, alto, color, contraste).

ALGORITMO DE COMPRESIN. Lo primero que hay que hacer es tomar una particin de la imagen en subconjuntos llamados "regiones dominio". Cada una de estas regiones se sustituir por la transformada afn que la genera. Cuanto mayor sea el tamao de los subconjuntos de la particin, mayor ser la compresin de la imagen, y peor su calidad. Ahora tenemos que conseguir las "regiones rango", que son subconjuntos de la imagen, de tamao mayor que las regiones dominio (dos o tres veces mayores), que no tienen porque cubrir todo el conjunto, y que pueden superponerse. La idea del algoritmo es buscar transformaciones contractivas que transformen a las regiones rango en regiones dominio. Para cada dominio buscamos entre todas las regiones rango la que mediante una transformacin contractiva ms se parezca al dominio y almacenamos dicha transformacin. Este proceso es muy lento, al tener que trabajar con un gran nmero de conjuntos.

ALGORITMO DE DESCOMPRESIN. Lo primero que hay que hacer es elegir dos zonas de memoria capaces de contener a la imagen una vez descomprimida. Se le aplican a la primera zona de memoria las transformaciones contractivas obtenidas en la compresin y se almacena el resultado en la segunda zona. Ahora se comparan las imgenes contenidas en las dos zonas de memoria y si son muy distintas se repite el proceso descrito anteriormente. Este algoritmo de descompresin es muy rpido y tras unas 20 iteraciones del proceso anterior, obtenemos la imagen descomprimida. El Caos es el elemento bsico que define una nueva ciencia en nacimiento, dira la ciencia que puede en un maana temprano revolucionar y convulsionar el mundo que conocemos. A lo contrario de lo que literalmente la palabra significa el caos implica orden. Por otro lado el trmino fractal es un trmino viejo pero su significado ha evolucionado a lo largo de la evolucin del lenguaje. En la actualidad se entiende por fractal unas imgenes obtenidas por el computador, pero realmente su significado es aplicable a todo tipo de conjunto de datos. El hombre siempre ha estado rondando alrededor de este elemento del caos para obtener resultados inexplicables, soluciones a problemas sin respuesta por parte de la ciencias matemticamente rigurosas. Por fractal entendemos el reflejo de

patrones dentro de s mismos, no estamos hablando de imgenes, de nmeros, estamos hablando en forma abstracta. Cuando hablamos de fractal hablamos del mundo... Hablar de fractal es hablar del mundo, pero visualizar algo fractal a veces es muy fcil a veces es sumamente difcil. Cuando paseamos entre los rboles de un bosque lo primero que tratamos de hacer es reconocer los rboles: este es un abeto, este otro es una acacia, etc. Como lo hacemos? Lo realizamos por comparacin: comparamos un rbol con los recuerdos grabados en nuestra mente y el que ms se parezca nos indicar la clase de rbol que estamos reconociendo. Pero los rboles no son iguales! solamente se parecen y tampoco tienen la misma cantidad de ramas u hojas. Es una analoga de elemento fractales. Veamos las hojas en el suelo en un bosque: la imagen fractal que obtenemos es a veces espectacular, y para muchas personas que habitan en lugares privilegiados es tan normal, que no lo aprecian.

Caos.

Caos es comportamiento aparentemente impredecible resultante en un sistema determinstico debido a una gran sensibilidad a las condiciones iniciales. El caos aparece en sistemas dinmicos si dos puntos de partida arbitrarios divergen exponencialmente, por lo que su comportamiento futuro es eventualmente impredecible. Lo que significa es que el comportamiento catico, aunque parece al azar, proviene de una causa bastante rgida. Tambin es altamente sensitivo a cualquier perturbacin, porque todos los cambios en el sistema se compondrn con el tiempo. Tambin, debido al extremo desorden, predecir el destino futuro del sistema es prcticamente imposible. El sistema al que esta definicin se refiere puede ser cualquier cosa. Un grupo de ecuaciones es un sistema, tanto como otras cosas ms tangibles, como los patrones del clima. Todos los sistemas exhiben tendencias caticas. El clima es un ejemplo preferido para mucha gente. Los pronsticos no son totalmente exactos, y pronsticos a largo plazo an para una semana pueden estar totalmente errados. Esto es debido a disturbios menores en el flujo de aire, calentamiento solar, etc. Cada disturbio puede ser menor, pero el cambio que crea se incrementar geomtricamente con el tiempo. Por lo tanto, el clima distar mucho de lo esperado. Estas mismas caractersticas caticas son validas para

las matemticas. Ciertos tipos de ecuaciones, por ejemplo, se pueden repetir muchas veces, creando las imgenes llamadas fractales. Frecuentemente, estas dos ecuaciones Consisten de slo un X e Y de variable y unas pocas constantes. Una vez que las ecuaciones se repiten, o se iteran, muchas veces, y los resultados se traman sobre una pantalla de computadora. Imgenes increblemente complejas pueden producirse. Estos fractales presentan todas las caractersticas caticas. Estos son muy sensibles a cambios pequeos, son caprichosos, y parecen caticos, aunque que se creen usando ecuaciones no caticas, muy directas. Los Fractales puede producirse de diversas maneras. La mayora de ellos mediante un sistema de ecuaciones en X e Y que son iteradas. Algn sistema en X, Y, y Z de ecuaciones. Otros fractales pueden Operar mediante un conjunto de reglas, y no tener ninguna ecuacin. El juego de la Vida, por ejemplo, no contiene ninguna ecuacin.

El comportamiento catico se modela mediante un conjunto de reglas. Debido a que la iteracin es tan comn en los fractales, un programador que quiera hacer su propio fractal deber comprender como iterar las ecuaciones. Una manera simple para hacer esto es estructurar las variables para el X-Y estndar colocando X0, X1, Y0, y Y1 de manera que sean fciles de recordar. X0 es igual al valor de la variable matemtica Xn-1. Esto simplemente representa el valor de X para la iteracin previa. Asimismo, X1 es igual que Xn. Esto es el valor de X actual. El que ser tramado sobre la pantalla.

Para representar una iteracin simple, el siguiente es el cdigo algortmico para el Atractor de Henon: /* BEGIN HENON ATTRACTOR ITERATION */ /* INITIALIZE VARIABLES */ X0 = 1 Y0 = 1 /* START UP A NEVER-ENDING LOOP */ WHILE (TRUE) DO BEGIN /* ITERATE THE X AND Y VARIABLES */ X1 = Y0 + 1 - (1.4 * X0 * X0) Y1 = 0.3 * X0 /* PLOT THE NEW X-Y POINT */ PLOT (X,Y) /* REASSIGN OLD X AND Y VARIABLES, IN PREPARATION FOR ANOTHER ITERATION */ X0 = X1 Y0 = Y1 END Ves cuan simple la iteracin es! Esta forma de algoritmo se puede convertir A cualquier lenguaje: Basic, Pascal, C, Java, etc. Lo nico que las ecuaciones necesitan Es cambiarse para crear un Fractal diferente. Usted podra sustituir fcilmente las frmulas del Atractor de Lorenz en el programa, y guardar el resto del cdigo inalterado. De hecho, despus que Yo cre el sueo del Rey (un Java applet), solamente alter las ecuaciones, y Obtuve un nuevo applet, el del Atractor de Henon! Un segmento de este algoritmo, sin embargo, debe alterarse fractal por fractal. La funcin PLOT debe escribirse para que El programa haga el zoom del fractal de tal manera que se adapte a la pantalla, y los Puntos se desplieguen correctamente. Por ejemplo, el Tringulo de Sierpinsky Da rendimientos de las variables X e Y con una gama entre 0 y 1. Entonces cuando ellos se traman en la pantalla el X y l Y deben ser multiplicados por Las dimensiones de pantalla antes de volverse un pixel sobre el monitor. Los fractales son tan simple como eso! Los programadores novatos no deber asustarse por la apariencia intimidante de los fractales. Los mtodos muy simples producen resultados muy complejos.

Casi cualquiera con un conocimiento decente de un lenguaje de programacin, an cuando es QBasic, puede hacer estos fractales. Para descargar ejemplos de programas y aprender como crear fractales especficos toma una mirada a la pagina fractal. CONCEPTOS DE COMPLEJIDAD. La complejidad revela que el fenmeno microscpico es el resultado de la emergencia de una dinmica colectiva espacio-temporal del conjunto de sus componentes interactuando por medio de leyes fundamentales.

EL CAOS. La nica promesa de la Ilustracin cumplida fue la secularizacin como dice Barbero (1994) y las dos nicas que no ha cumplido, en una visin totalmente opuesta son las que dice Pagels (1991): el control del clima y la simulacin del cerebro en la que de hecho ya est trabajando la Inteligencia Artificial (IA). Morin (1988), por su parte piensa que las ciencias todava no han podido resolver dos misterios: el del ser y la muerte. Cumplidas o no lo cierto es que las promesas de la Ilustracin de las que el marxismo fue su ms radical continuador descansaban sobre la persecucin de una sociedad reconciliada, igualitaria, libre, abundante, tecnolgica y feliz. Todos daban por descontado que tal da llegara. Hoy, al contrario, la preocupacin de los cientficos es saber el da que desaparecer la tierra y todo es estructuras disipativas por efectos de la "barrera entrpica". Hay tres revoluciones cientficas modernas ninguna de las cuales es reducible a las otras porque no nacieron ni se desarrollaron de un modo lineal: a) La mecnica newtoniana que fund la causalidad cientfica y el principio logicial del "todo como la suma exacta de las partes": Dios era matemtico. b) La relatividad einsteiniana vs la cuntica bohrniana, donde para aquellos actuaba el principio sinrgico del "todo como algo ms que la suma de las partes" y para estos el universo estaba regido por las probabilidades y las incertidumbres: Dios jugaba a los dados y c) La teora de los fractales (caos) mandelbrotiana cuya concepcin hologramatica (bucle recursivo) est llevando a creer que el "todo est en las partes que estn en el todo": Dios est en todos lados y en ninguno.

Esta ltima es la que puede brindar perspectivas nuevas a las ciencias sociales. Ya la estn explorando algunos antroplogos franceses como Balandier (1990) y otros estudiosos norteamericanos. La teora del caos es como una derivacin de la segunda ley de la termodinmica y la entropa pasiva descubierta por Boltzmann e intuida por Poincar. Hoy tiene distintas vertientes que sumariamente podemos resumir as: Verhulst con sus iteraciones de ecuaciones de crecimiento no lineales: (Xn+1 = nXn [1-Xn]). Lorenz (1976) con su "efecto mariposa" al variar infinitesimalmente las condiciones iniciales del clima; Mandelbrot (1982) con su geometra de fractales, Peano con su curvatura de las lneas, Thom (1990) y su teora de la catstrofe, Prigogine (1991) con sus estructuras disipativas alejadas de todo equilibrio, Cantor con sus polvaredas de series de nmeros infinitos, Godel con la "demostracin" de sus 52 teoremas matemticos "indemostrables", los nmeros aleatorios y la duplicacin de perodos de Feigenbaum (1978) a partir de la aplicacin iterativa del Pi a las ecuaciones no lineales; Margulis (1986) con su teora biolgica antidarwinista de la cooperacin; etc. Todas estas vertientes se estn aplicando en varias ciencias simultneamente (matemticas, fsica, astrofsica, estadstica, biologa, qumica, economa, antropologa, etc.) y pueden orientar a las ciencias sociales de una mltiple manera.

A MODO DE CONCLUSIONES. 1) La paradoja de la paradoja es que reafirma el dualismo que cuestiona. Ella misma es una binariedad pero que la hace estallar en direcciones caticas. 2) La tolerancia, como democracia, hay que defenderla no porque sea la nica ni siquiera la ms racional de las salidas sino porque es un nudo de flujos encontrados parecidos a las mltiples corrientes marinas que se han puesto de acuerdo consigo misma, se levanta y corre. 3) El presente es la nica dimensin donde coinciden el tiempo y el espacio y la paradoja no es ms que la inclusin del tiempo en la lgica. 3) Con las otras dimensiones no sucede as. Desde Aristteles el presente siempre ha sido expulsado o subordinado a los otros tiempos. El presente es rico en propiedades en diversidad, pluralidad, colores, que al realimentarse a s mismo estalla en nuevas diferencias totalmente espaciales y caticas.

No hay futuro que ilumine desde l mismo los anteriores momentos. El presente ha llegado a ser lo que es. Por eso la gran pregunta de la filosofa de hoy es: Qu es lo que es? Pero es una interrogante que la ha trabajado ms la filosofa hind. Krisnamurti, por ejemplo, dice que todo el problema occidental es la bsqueda por la bsqueda misma. No hay que buscar nada. Cmo los occidentales se pregunta con una terrible sencillez pueden "buscar" algo que no conocen y si ya lo conocen por qu lo "buscan". Lyotard (1984; 1991) dice algo parecido aunque con sus pesadas e insoportables claves occidentales. Expresa ms o menos que las ciencias "buscan" reglas, normas, leyes y que al hacerlo, paradjicamente, las emplean. !! Cmo puede ser? !! Buscar unas leyes que se usan para encontrarlas. Es que "abrir puertas", como dice George Steiner en su obra "El Castillo de Barba Azul", es la virtud que se convirti en vicio en Occidente hasta que termine por abrir la ltima: la de los cadveres. Ya que de confesiones sobre paradojas trata este bosque de ideas, para terminar por donde empec y aunque nadie quiera saberlo, confesar que la chica del caf es mi novia. Y si supieran lo perfecta que es, incluyendo su nico defecto... que soy yo.

Conjuntos.
Conjunto Abierto. Dado un conjunto A y dado un xo A. Con un radio >0 y con centro en xo tracemos una circunferencia. Si en ha circunferencia existe una infinidad de puntos xi que pertenezcan al conjunto A y si tambin esto ultimo se cumple para todo xj A se dice que A es un conjunto abierto. Conjuntos Densos. Definimos E como un espacio mtrico, sea A un espacio mtrico, entonces A es denso si = E . (: cerrado) Un ejemplo de conjunto denso es el conjunto de los nmeros racionales. Lema 1.- Decimos que el conjunto A del espacio mtrico (E,d) es fronterizo, si su complemento es denso. Lema 2.- Decimos que A es nada denso si el complemento de su clausura es denso.

Propiedades de los conjuntos fronterizos y nada densos.

1. 2. 3. 4. 5. 6. 7. 8. 9. A es fronterizo y nada denso. E no es fronterizo ni nada denso. A es nada denso si y solo si es fronterizo. A es cerrado y fronterizo entonces A es nada denso. A es nada denso entonces A es fronterizo A es fronterizo si y solo si es igual al conjunto vaco. A es abierto y fronterizo entonces A es igual a . A es nada denso entonces es igual a . Si A B y B es fronterizo o nada denso, entonces A es fronterizo o nada denso respectivamente.

Teorema.-Si A es un conjunto abierto o cerrado en un espacio (E,d) entonces (A) es nada denso. Teorema.- Para todo conjunto A en un espacio (E,d) , (A) es fronterizo. Teorema.- Si A1,A2,A3,.....,An son conjuntos nada densos en un espacio mtrico (E,d) entonces la sumatoria de todos estos espacios es nada denso. Lema.- A y B son conjuntos en un espacio mtrico (E,d) tales que B es nada denso y A-B es fronterizo entonces A es fronterizo. Teorema de Heine-Borel.- Todo conjunto cerrado y acotado en n es compacto. Teorema de Bolzano-Weirestrass.- Todo conjunto infinito y acotado en n admite algn punto de acumulacin. Teorema de Cantor.- Definiremos primero lo que es Propiedad de Cantor, y se define como sigue: Una familia contable de conjuntos {A1,A2,A3,...}, cada uno cerrado y no vaco para todo nmero n que pertenezca a los naturales: Tiene intercepcin no vaca. An+1 An e inf{(An)}=0.

Teorema de Cantor.- Un espacio es completo si y solo si posee la propiedad de Cantor. Conjunto Magro.- Se dice que un conjunto en un espacio mtrico (E,d) es magro ( o de primera categora ), si es la unin en una familia contable de conjuntos nada densos.

Nota: Un conjunto que no es magro suele llamarse de segunda categora. Teorema (Baire).- Todo conjunto magro en un espacio mtrico completo es fronterizo.

Conjuntos Conexos.
Sea un conjunto A no vaco en un espacio mtrico, dados los conjuntos S y T. S y T son una disconexin de A P(A = S U T) si son no vacos, abiertos y disjuntos. Si un conjunto admite disconexin se le llama Disconexo. Los conjuntos conexos al igual que los conjuntos abiertos y cerrados tienen varias propiedades y teoremas los cuales haremos mencin a continuacin. Se dice que un conjunto no vaco A, de un espacio normado U, es convexo s (x,y)A:[x,y]A Intuitivamente como lo interpretamos, un conjunto convexo debe ser de una sola pieza2 y adems abombado, es decir no tiene hundimientos. Obs.- Un conjunto constituido por un solo punto es obviamente convexo ya que [x,x]={x}. Teniendo en cuenta que un segmento es un arco, observamos de inmediato que todo conjunto convexo es arco-conexo y por lo tanto conexo.

Nota: Tenemos que la conectividad, arco conectividad y convexidad son propiedades equivalentes en la recta real y los nicos conjuntos que las poseen son los intervalos. Teorema de Cantor.- Sea E un espacio mtrico, se dice que E posee la propiedad de Cantor, si toda familia contable de conjuntos {E0,E1,......,En}, cada uno cerrado y no vaco, y adems para todo nmero n que pertenece a se cumple que: En+1En Inf{(En)}=0

Teorema.- Un espacio mtrico es completo si y solo si posee la propiedad de Cantor. Nota: Un conjunto A en un espacio mtrico es magro2 (tambin llamado de primera categora), si es la unin en una familia contable de conjuntos nada densos. Un conjunto que no es magro suele llamarse de segunda categora. Teorema(Baire).- Todo conjunto magro en un espacio mtrico completo es fronterizo. Corolario 1: Si el espacio (E,d) es completo, entonces E es de segunda categora (no es magro). Corolario 2: Todo conjunto abierto y no vaco, en un espacio completo es de segunda categora. Corolario 3: Si e es completo y E=UAn, entonces An0 para algn n. Corolario 4: Si {A1,A2,....} es una familia contable de conjuntos nada densos en un espacio completo e, entonces: E-UAn0. Corolario 5: Si {B1,B2,.....}es una familia contable de conjuntos abiertos y densos en un espacio completo e, entonces Bn es denso. Teorema.- Un conjunto perfecto A en un espacio E, tal que el sub-espacio A es completo, no es contable.

Conjuntos compactos y separables.

Una familia u de sub-conjuntos de S, decimos que es un cubrimiento de A, si y solo si A esta contenido en la unin de la familia U. Un cubrimiento consiste de un nmero contable de conjuntos ( llamamos a esto un cubrimiento contable) que cubren a un conjunto de A. Un espacio de un conjunto A se llama abierto si consiste solo de conjuntos abiertos para cubrirlo. Un espacio mtrico S se llama separable si y solo si cumple las siguientes propiedades: 1) Este es un conjunto contable y denso en S. 2) Cualquier cubrimiento de S y un sub-cubrimiento contable. 3) Este es una base contable para un conjunto abierto S. Un espacio mtrico S es llamado secuencialmente compacto si y solo si para cualquier secuencia en S esta tiende a un punto en S.

Observacin.- Un espacio mtrico secuencialmente compacto es separable. Un espacio mtrico S es llamado bicompacto si y solo si cualquier familia de conjunto cerrados ( con una intercepcin finita) tiene intercepcin no vaca. Daremos algunas otras definiciones y teoremas que se cumplen en dichos conjuntos ( de un espacio mtrico S ). a) Un sub-conjunto cerrado de un espacio compacto es compacto. b) Dada una funcin f:S-T continua y dada A S ( A es compacto) entonces F(A) es compacto. c) Dada f: S-T continua. Considerando un conjunto B T entonces: 1) SI B es abierto, entonces f-1(B) es abierto. 2) Si B es cerrado, entonces f-1(B) es cerrado. Conjunto de Cantor.- A veces tambin llamado polvo de Cantor, se genera de la siguiente manera: 1) Se toma un segmento de longitud 1. 2) Se divide en tres partes iguales y se elimina el segmento central. 3) Se repite el paso 2) con cada segmento restante un nmero n de veces. Estudiaremos con determinados este fractal, partimos de un segmento de magnitud 1, con la primera iteracin obtenemos 2 segmentos de longitud 1/3, con la segunda tenemos 4 segmentos de longitud (1/3)2, con la n-esima iteracin llegara a tener 2n segmentos de longitud (1/3)n.

D=log2/log3=0.630929 Lim (2/3)n=0 Observacin.- S=1>dimHF H(F)=0 Representacin en la recta L=1.Cada punto que pertenezca al conjunto de Cantor tendr la siguientes forma: 2k/3n : (1/9,2/9,1/3,2/3,7/9,8/9,....)

En el sistema de base 3 un tercio se escribe: 0.1 = 0.022222222.. ; dos tercios se escriben 0.2; podemos hacer una pequea tabla con dichos valores: Base 10 1/3 2/3 1/9 2/9 Base 3 0.02222222 0.2000000 0.00222 0.0200

Dado que constantemente encontramos puntos en la recta que pertenezcan al conjunto de Cantor que aumentan su denominador en un factor de 3, y los nmeros que resultan impares pueden separarse como la suma de dos nmeros ( fracciones) de la forma: (2k+1)/3k=1/3n+2/3m ;k=n+m.

Como consecuencia de esto solo encontrar representaciones que contengan 0 o 2 en el sistema de base 3 de todos los puntos que pertenezcan al conjunto de Cantor. Observacin.- El conjunto de Cantor en un conjunto Denso.

Dimensin Fractal.
El calculo de la dimensin fractal para diversas figuras puede hacerse si se tienen claras ciertas nociones e ideas de lo que es geometra y teora de conjuntos. Por ejemplo deduzcamos una sencilla pero til ecuacin, esta nos servir para calcular la dimensin de ciertas figuras. Dado un segmento de longitud L al que dividiremos en N partes iguales, entonces tomaremos una razn r= 1/N; ahora bien si tenemos una figura de rea A ( un cuadrado de lado l por ejemplo ) y deseamos dividirla en N partes de igual rea tomaremos una razn r= 1/ N1/2 , si es un cubo la razn ser r= 1/ N1/3 y as sucesivamente.

Generalizando:

r = 1/ N1/d ..........................(a) D= log N .......................(b) log(1 / r )

Cuando estudiamos figuras fractales observamos en ellas ciertas propiedades que las hacen diferentes a las figuras que estamos acostumbrados a ver o estudiar hasta ahora ( tringulos, cubos, cilindros, etc. ). Utilizando la ecuacin (b) y algunos ejemplos sumamente sencillos encontraremos las principales caractersticas de un fractal. Ejemplo: La Curva de Von Koch.Definidas por Von Koch en 1904, estas curvas se forman a partir de un segmento, por la sustitucin de su tercio central por dos segmentos de longitud tambin un tercio, pero formando ngulos de 60. Proceso que se repite recursivamente en

cada segmento de las figuras que progresivamente se van obteniendo. Por tanto la poligonal de nivel 1 es un segmento:

Para

NIVEL=1

Para

NIVEL=2

Para

NIVEL=3

Continuaremos repitiendo dicho proceso varias veces ms hasta que dicho proceso ya no pueda ser percibido por el ojo humano.

Cul es la longitud final de la Curva de Von Koch? Rpta: Al inicio del proceso la longitud inicial la llamaremos Lo luego de eliminar el segmento central tendremos que la longitud es 4/3 Lo si continuamos n veces ms la longitud en el n-simo paso ser: Lf = (4/3 )nLo , el lmite cuando n sea muy grande de dicha sumatoria ser . Dicha figura esta limitada por una cierta rea sin embargo posee un permetro infinito. Entonces En qu dimensin se encuentra dicha figura? De acuerdo a la formula antes mencionada: D=log 4/log 3=1.2618 1<D1.2618<2 (aproximadamente)

Superficies fractales.
No solo pueden construirse fractales a partir de segmentos sino tambin con superficies por ejemplo: Un triangulo equiltero de rea Ao, ahora con r = ubiquemos los puntos medios de cada lado y con un segmento de lado de longitud y con un segmento de lado de longitud igual a la mitad del lado del triangulo original construyamos 3 tringulos equilteros ms y ubiqumoslos de tal forma que formen un tetraedro. La nueva figura tendr 6 caras de tamao (rea) Ao/4 y r =1/2 . A2 = (6/4)A1=(6/4)2Ao An=(6/4)nAo Lim An =
n ->

D= log 6 /log 2= 2.58 ;2 < D < 3.

Observacin .- Existen algunas figuras fractales que poseen dimensin entera como por ejemplo: La curva de Peano.

Cmo se genera la curva de Peano ?

Rpta: Tomemos un segmento de magnitud L, luego con r = 1/3 construyamos 6 segmentos de longitud L/3 y disponiendo los 6 nuevos segmentos de la siguiente forma:

Para N=1

Para N=2

Y as sucesivamente.

Lf= lim 3n L0= D= log 9 =2 log 3

1<D=2 Si los ejemplos han sido bien comprendidos se podr estudiar los fractales con mayor detenimiento y con un anlisis mucho ms profundo.

Qu ocurrir si con un microscopio apreciamos hasta el mas pequeo detalle del copo de nieve de Van Koch? Qu observaramos? Rpta: La maravilla que se nos revelara seria el poder comprobar una de las ms importantes propiedades que tiene todo fractal, la propiedad de autosimilaridad.

Cada vez que tomemos una pequea porcin y le aumentamos observaremos la figura original.

Dimensin de Hausdorff.
Dado un conjunto F ! Rn y un numero s no negativo, para cualquier " se define:
s (F)=

inf { Ui s /{Ui} sea un - cubrimiento de F}

s

Y definimos

(F) como el lmite de

(F)

cuando tiende a cero.

Nota.- Para dicho limite se tiene que: 0< Ui . El calculo de la dimensin de un fractal puede ser sencillo usando la formula (b) pero es posible encontrar casos en los que no es tan sencillo calcular dicha dimensin. Para esto es que definimos lo que es Dimensin de Haussdorf, pero hay que tener en cuenta ciertas cosas como por ejemplo: Dimetro de un conjunto, conjuntos compactos y cubrimientos de un conjunto.

Cmo se define el dimetro de un conjunto? Rpta: Dado un conjunto U (no vaci) que pertenece al espacio Rn, el dimetro de U se define como: U ={ sup x-y / x,y U } En palabras sencillas es la mayor distancia entre dos puntos de un conjunto que estn contenidos en U.

Qu es un conjunto compacto? Rpta: Un conjunto de Rn se llama conjunto compacto en Rn si cumple que en un conjunto cerrado y acotado. Por ejemplo, el triangulo inicial de Sierpinski es acotado por sus lados y es cerrado pues la figura incluye sus lados (frontera).

Cubrimiento de un conjunto .- Esta idea se basa en el hecho de poder, mediante discos de radio ", cubrir una cierta curva C o usar esferas de radio " para abrir un plano P, etc. En general podemos decir que para un conjunto F podemos hallar un conjunto de discos abiertos o esferas abiertas A = {D1 , D2 , ...., Dn} ; Di : dimetros de manera que podamos abrir completamente a F. Como hemos visto en las figuras anteriores una curva es cubierta por pequeos discos, enfoquemos ahora nuestra atencin en el mximo numero de discos que pueden cubrir una curva C o una superficie plana, etc. teniendo en cuenta que tengan intercepciones no vacas. Dicho numero ser el orden del cubrimiento. Ejemplo: En el extremo A de el orden del cubrimiento es 2, en B es 3 y en C es 4.

Observacin.- Si U y V son dos cubrimientos de un Espacio Mtrico F , decimos que V es un refinamiento de U si y solo si para todo v V existe un u U con vi u i. Ejemplo: Un sub-cubrimiento de U es un refinamiento de U.

Con las ideas ya explicadas profundizaremos un poco mas. Llamamos D a la dimensin en la que se encuentra una figura fractal, ahora bien a este valor lo llamaremos dimensin de Hausdorf , el cual denotaremos como dimHF. Dicho valor dimHF nos da un valor en el cual se aprecia un salto ( de a 0 ), por esto lo llamaremos valor crtico. dimHF = { inf { s / s (F) = , si s < dimHF. s (F) = 0 , si s > dimHF.
s

(F) =0} = sup{ s /

(F) = } }

Explicaremos esto ltimo de forma sencilla. Con el Copo de Nieve de Von Koch ( es otro nombre de la Curva de Von Koch ), el segmento de recta original esta en D=1, calculamos que la D(copo nieve) = DimHF= 1.262 ( aproximadamente ).En lugar de escribir s. S=1< dimHF=1.262 s Entonces (F) = ; Lf en el lmite ser .

Qu ocurrira si s=dimHF ? Rpta: Tendramos que 0 < s(F) < y nada mas diremos por ahora.

Cubrimientos y Dimensin.
Dados los conjuntos E y F (EF): s(E) s(F). Dado un conjunto U no vaco, tenemos que : s(U) =0.

Si tenemos un conjunto F, podemos hacer: F= U Fi F=F1UF2UF3UF4=F*1UF*2 s (U Fi) = s(Fi) Dado un conjunto F ( n ) y un >0, entonces: s ( F)=s s( F) donde F = { x/ x F} Visualizacin:

Convergencia.
Definicin.- Una sucesin es una familia cuyo dominio es el conjunto de los nmeros naturales enteros positivos). Si denotamos la funcin por , su valor para n2 es (N). La sucesin es el conjunto {(n, (n)/ N=1,2,3,...} {1,1/2,1/3,1/4,1/5,.......}

Tambin se escribe {an} para representar la sucesin cuya ordenada correspondiente a la abcisa X=n es y=an.

Lmite de una Sucesin.- Una sucesin {(n,an)} puede tener distinto valor an para cada valor diferente de n; pero sucede a veces que los distintos valores an tienden a agruparse en torno a cierto nmero L, cuando existe un nmero L con la propiedad de que: L- an es arbitrariamente pequeo para todos los valores suficientemente grandes del ndice n, se dice que an converge hacia el lmite L. Si no existe dicho lmite se dice que la sucesin diverge.

Serie.- Una forma muy importante de originar una sucesin {Sn} es por adicin. Supongamos que tenemos los nmeros a1,a2,...an y hagamos que: S1=a1 S2=a1+a2 . . . Sn=a1+a2+..+an Cuando n crece infinitamente, surge la necesidad de considerar el smbolo Sn ,la expresin recibe el nombre de Serie, y la sucesin {Sn}, se denomina sucesin de sumas parciales de la serie. La n-esima suma parcial de la serie es Sn. Si Sn converge hacia un lmite S cuando n, diremos que la serie converge y que su suma es S. Teorema.- Una condicin necesaria para la convergencia de la serie a1+a2+..+an+. Lim nSn=0

Definicin.- Una serie de la forma Sn= a + ar + ar2 + ..................+ arn+..... recibe el nombre de serie geomtrica, debido a que el cociente de un trmino con el anterior al mismo tiene el valor de r. Es fcil ver que la suma Sn ( si r 1 ) resulta ser: a (1 r n ) Sn= 1 r

Daremos a continuacin otros teoremas y definiciones acerca de lo que es convergencia de series para poder con esta base pasar a estudiar el conjunto de Mandelbrot y el conjunto de Julia.

Teorema.- Sean S1, S2,...... una sucesin montona creciente de nmeros reales. En tal caso, solo pueden presentarse dos casos: 1) Existe una constante M tal que todos los trminos de la sucesin son menores o iguales a M, en este caso la sucesin tiene lmite finito L, menor o igual que M. 2) La sucesin diverge hacia ms infinito; es decir, existen trminos en la sucesin {Sn} mayores que cualquier nmero prefijado, por grande que este sea.

Teorema.- Si cada trmino de la serie de trminos positivos es menor que el correspondiente de una serie convergente entonces se dice que dicha serie es convergente.. Pero si cada trmino de la serie dada es mayor que el correspondiente de una serie divergente. Teorema de Taylor.- Sea una funcin que, junto con sus n+1 primeras derivadas, es continua en un intervalo que contiene los puntos a y x. En tales hiptesis, el valor de la funcin en x est dado por: (x)= (a)+ 1(a)(x-a)+......+ (n)(a)(x-a)n/n!+Rn(x-a) Rn/(x,a)=[(x-a)n/n!](n+1)(t)dt La serie converge hacia (x) siempre que: Lim Rn(x,a)=0 Convergencia de la Series de Potencias.Convergencia Absoluta.Definicin.- Una serie Uk se llama absolutamente convergente si converge la serie formada con los valores absolutos de los trminos. Uk= U1+U2+...........

Teorema.- Si una serie converge absolutamente, tambin converge la serie sin valores absolutos. Teorema.- Si la serie Uk converge entonces Lim Un=0 Teorema.- dada una serie Uk y un nmero >0 tal que: = Lim Un+1/Un Tenemos los siguientes casos: 1) <1, entonces la serie converge absolutamente. 2) >1, entonces la serie diverge. 3) =1, entonces la serie puede ser convergente o divergente.

Teorema.- Si una serie de potencias akxk es convergente para x=c (c0), converge absolutamente para todo x < c .Si la serie es divergente para x=d, diverge para todo x < d .

Serie de Trminos Complejos.- Sabemos que z=x+iy, es una representacin del complejo z en funcin de x (parte real) e y (parte imaginaria). Convergencia.- Diremos que una serie converge en el punto Z si la sucesin de sumas parciales akxk tiene limite cuando n tiende a infinito. Si separamos Sn en sus partes real e imaginaria, resulta que: u=un(x,y) Sn= u+iv, v=vn(x,y) La ecuacin converge absolutamente cuando sea convergente la correspondiente serie de los mdulos : akxk Teorema.- La serie Sn = un+ivn es convergente si un y vn son ambas convergentes. Existen muchos otros teoremas ms acerca de lo que es convergencia en series (reales y complejas), ahora estudiaremos la convergencia en espacios mtricos.

Convergencia uniforme en general.- Dados dos espacios mtricos A y B (ambas no vacos ) y dada la funcin tal que : AB, tenemos una secuencia n que va de A a B, la secuencia n converge uniformemente ( en A ) a la funcin si y solo si para algn >o, existe un nmero N para algn a A y para nN escribimos: (n(a),(a))< Podemos escribir ((a),g(a))<r para toda a a u(,g)<r u(,g)=sup{ ((),g()) / a} Teorema.- dado un espacio mtrico A y dado un espacio mtrico B, entonces u es un espacio mtrico en (A,B). Tambin es posible verificar lo siguiente: ((),h())<((a),g(a))+(g(a),h(a))<u(f,g)+ u(g,h)

Espacios Normados.
Un espacio normado completo (mtrico) se denomina de Banach y uno eucldeo completo espacio de Hilbert. Si el espacio normado ( o euclideo ) es el constituido nicamente por el vecdtor nulo decimos que es trivial. Lema.- Si xn,,yn son sucesiones en el espacio normado H de manera que xnx, yny y dados , R entonces xn+yn x+y. Teorema.- Si S es un sub espacio de H, entonces su clausura es tambin un sub espacio. Teorema.- Todo sub espacio que no sea igual a H es un conjunto fronterizo. A continuacin daremos algunos otros lemas ms que se demuestran con el lema anteriormente mencionado. Lema.- Si a es un conjunto convexo, en un espacio normado H, entonces su interior y su clausura son convexos.

Lema.- Toda esfera abierta o cerrada, de un espacio normado H, es un conjunto convexo. Teorema.- Todo espacio normado es conexo, arco conexo, localmente conexo y localmente arco conexo. Teorema.- H es un espacio normado y (E,d) es mtrico. Sea la funcin :AHE,donde A es conexo. Entonces es uniformemente continua en A si y solo si a cada >0 corresponde en >0 tal que: x,y A / d((x),(y))< x-y + .

Teorema.- En un espacio H, todo conjunto abierto y arco conexo es policonexo.

Transformaciones Lineales.
Definicin.- Se llama lgebra sobre un campo a un espacio vectorial al cual esta asociado una aplicacin bilineal: M=* (La cual se denomina producto)

Dados x e y que pertenecen al conjunto (no vaco), el vector m(x,y) que tambin pertenece a , llamamos producto de x por y y se representa por xy. Si encontramos que se cumple: x(yz)=(xy)z, x,y,z Se dice que es una lgebra asociativa. Elemento Unidad.- Si existe en un elemento, por ejemplo e, de manera que se satisface: xe=ex=x, para todo x que pertenezca a , entonces e es el elemento unidad.

Dados los espacios vectoriales U y V sobre un cierto campo , una aplicacin T:UV es una transformacin lineal u homomorfismo de U en V si se cumplen las siguientes condiciones: a) T(U1+U2)=T(U1)+T(U2); U1,U2 U b) T(U1)= T(U1); ,U1 U c) T(1U1+ 2U2)= 1T(U1)+ 2T(U2); 1, 2,U1,U2 U

Nota.- El conjunto de todas las transformaciones lineales de U en V es un espacio vectorial respecto de las operaciones de adicin y de producto por un escalar definidas por: a) (T1+T2)(x)=T1(x)+T2(x) b) (T)(x)=T(x)

,para todo x U y . (U,V) o bien Hom(U,V)

Este espacio se puede designar mediante

Nota.- Las transformaciones lineales inyectivas se llaman transformaciones regulares; las biyectivas se llaman isomorfismos. Si existe un isomorfismo de U sobre V se dice que dichos espacios son isomorfos. Las transformaciones lineales de un espacio U en s mismos se llaman endomorfismos, y el espacio vectorial de los endomorfismos de U se designa por (U). Las transformaciones lineales biyectivas sobre U se llaman automorfismos. Nota.- Las transformaciones lineales de U en se llaman funciones o formas lineales y el espacio de las funciones lineales definidas en U se designa por: (U).

Ncleo e Imagen de una Transformacin Lineal.

A continuacin daremos al lector solo una explicacin sencilla y directa, adems de algunos teoremas que mas adelante se necesitaran, pero esto es mas que suficiente ya que no se necesita profundizar demasiado en esta parte.

Se llama ncleo de una transformacin lineal T:UV y se designa por Ker T al subespacio de U: Ker T={u U/ T(u)=0} Teorema.- Una transformacin lineal es regular si y solo si Ker T={0}, es decir si su ncleo se reduce al vector nulo. Teorema.- Cada transformacin lineal regular T:UV aplica a los vectores de un sistema linealmente independiente en vectores de un sistema linealmente. Se llama imagen de la transformacin T:UV, y se designa mediante Im T al subespacio de V: Im V=T(u)={vV/ uU, T(u)=v} El cual constituye un subespacio como puede ser fcilmente comprobado. Nota.- Cuando Im T=V entonces es una transformacin lineal de U sobre V o sea una sobreyeccion, se dice tambin epiyeccion o suryeccion).

Composicin de Transformaciones Lineales. Transformaciones Lineales Inversas.

Si S :UV y T: VW son dos transformaciones lineales, se comprueba inmediatamente que la transformacin compuesta T S: UW, definida por : (T S)(u)=T[S(u)], u U En adelante la transformacin lineal T S se representar simplemente por TS. Obs.- Se podrn definir las potencias de una transformacin lineal T:

T2 =TT, T3 =TTT , etc. Nota.- La transformacin Iu:UU /T(u)=u; uU se llama transformacin idntica de U, y es evidentemente lineal. Transformacin Inversa.- Se dice que la transformacin lineal T-1 :VU es inversa de T si se cumplen las relaciones: TT-1 =Iv y T-1T=Iu

Segn vimos el conjunto (U,V) de las transformaciones lineales de U en V admite una estructura de espacio vectorial. En (V) es posible introducir una nueva ley de composicin interna, a saber el producto de endomorfismos. Sean U,V,W tres espacios vectoriales y T1 :UV, T2 :VW ambas transformaciones lineales, entonces T2T1 es la transformacin lineal de U en W/ (T2T1)x=T2(T1x), xU Obs.- Sean T1 :UV, T2 :VW , T3:WZ entonces: a) T3(T2T1)=(T3T2)T1 b) (T1+T2)T3=T1 T3 + T2 T3 Teorema.- Una transformacin lineal T: UV es continua en un punto de U, entonces es uniformemente continua. Teorema.- Una transformacin lineal T: U V es continua si y solo si existe un nmero real M>0 tal que para todo u U se cumple T(U) M U . Teorema.- Una transformacin lineal T: U V es continua si y solo si para todo conjunto acotado A de U, T(A) es acotado. Teorema.- Si T: U V es una transformacin lineal sobreyectiva ( no necesariamente continua ), entonces T es no singular y T-1 es continua si y solo si existe un nmero m>0 tal que para todo u U / m u T(U) . Ahora haremos una pequea introduccin a una nueva teora que explicaremos mas adelante. Consideremos dos espacios normados U y V y formemos el producto cartesiano U*V de ambos conjuntos. Definimos U*V como un espacio normado que depende de las estructuras de U y V.

Las funciones f1 : U*V U, f2: U*V V, que reciben nombre de proyecciones cannicas, se definen de la siguiente manera, para todo (x,y) U*V / f1 (x,y)= x, f2 (x,y)=y. Obs.- Ambas son transformaciones lineales sobreyectivas, aunque no inyectivas en general. Por otra parte: fi(x,y) (x,y) ; I=1,2 Lo cual implica la continuidad de las dos proyecciones cannicas en virtud de: u U / T u MU Teorema.- Dos espacios normados U y Vson istopos si y solo si existe una transformacin lineal sobreyectiva T:U V y nmeros reales m,M>0 tales que: u U / muT (x) MU Nota: Topologicamente isomorfos es equivalente a decir que son istopos. Lema.- Sean (E,d) un espacio mtrico y U normado. Si f: AE U es continua en A, entonces la funcin f: AE / aA: f (x)=f(x) Teorema.- Dos espacios normados de una misma dimensin finita son istopos. Teorema.- Todo espacio normado de dimensin finita es de Banach (completo). Teorema.- Si T: UV es una transformacin lineal y U es de dimensin finita, entonces T es continua. Teorema.- Todo conjunto acotado de un espacio normado de dimensin finita es precompacto.

Espacios Mtricos.
Se define un espacio mtrico con un conjunto S no vaco, con una funcin que va de 0 a . : S*S [0, >. Dicha funcin debe satisfacer las siguientes tres propiedades: 1) (x,y)=0 x=y. 2) (x,y)= (y,x). 3) (x,y)+ (y,z) (x,z)

Obs.- La 3ra propiedad es la llamada desigualdad triangular, en la geometra euclideana, un triangulo ( si dicho triangulo existe 9 la suma de dos de sus lados es mayor que el tercer lado. Si hablamos de vectores ( en Rn ) podemos escribir: x=(x1,x2,...,xn) y=(y1,y2,...,yn)

Sea a una constante positiva (a R ) tenemos las siguientes operaciones: a) b) c) d) ax=(ax1,ax2,.axn). x+y=(x1+y1,x2+y2,.......,xn+yn). x2=(x12+x22+........+xn2). x=0 si y solo si xi=0.

Dimensin fractal .
Segn la geometra clsica, los objetos pueden tener una dimensin (lneas), dos (superficies) o tres (cuerpos). A este tipo de medida se le llama dimensin euclidiana. Tal y como se trata de explicar en el cuadro adjunto, la medida de la dimensin de un objeto, utilizando una definicin de dimensin ms moderna (dimensin homottica o fractal), no es necesariamente un nmero entero. Benoit Mandelbrot, plantea, en uno de sus numerosos artculos sobre geometra fractal, una aparentemente sencilla pregunta: Cunto mide la costa de Gran Bretaa?. Todo depende de aquello que desechamos en la medicin, porque al ir contando cada vez con ms precisin, debemos aadir

el contorno de bahas, rocas, granos de arena, y as hasta niveles subatmicos. Esto nos va a ocurrir en toda medicin, y como no tenemos a mano la costa de Gran Bretaa, podramos experimentar con cualquier cosa. Conforme ms rugoso sea el objeto, ms rpidamente crece la estimacin de su longitud. Las lneas son objetos de dimensin euclidiana 1, pero, salvo que sean perfectas, tendrn una dimensin fractal mayor que 1, e incluso algunas pueden llegar 2. Se ha estimado la dimensin fractal de la costa de Gran Bretaa en 1,2. Es, por tanto, ms fractal que una circunferencia, pero menos fractal que otras curvas, como la definida por el propio Benoit Mandelbrot. Definicin de dimensin fractal. Entre el segmento (A) de dimensin 1 y el cuadrado (C) de dimensin 2, se encuentra la curva de Koch (B), con dimensin aproximada 1,26.

Auto-simetra y dimensin.

Podemos tener un fractal ( ej. La chinche de Maldelbrot ) y toma una parte de la misma y hacerle un zoom, veremos que la parte tomada se parecer mucho al original, podemos hacer este zoom n veces y se seguir presentando este fenmeno. Podemos decir que esta es un importante propiedad de las figuras fractales. Para comprender como se halla la dimensin de una figura fractal tenemos que explicar lo siguiente: Si deseamos dividir un segmento en N partes de igual longitud se toma una razn r=1/N. Ahora para dividir un rea en N partes de igual rea ( se toma un cuadrado por comodidad ), Esta vez tomaremos una razn de valor r=1/ N , si es un objeto tri-dimensional (por ejemplo un cubo) La razn ser ahora de r=1/ 3 N , podemos realizar el mismo procedimiento para objetos en dimensin D y hallar su respectiva razn r de esta manera hemos encontrado nuestra primera ecuacin ( que bonito no) : N N1/D *r=1 ..................(1)

Despejando de (1) el valor de D tenemos:

D=

log( N ) .................(2) log(1 / r )

Sistemas de funciones iterativas(I.F.S.). El desarrollo de los sistemas de funciones iterativas es una til herramienta para la produccin de imgenes tales como nubes, humos, hojas, etc. Contamos con dos modelos para aplicar esto en el modelado de imgenes. Tenemos dos herramientas para esto el Teorema de Collage y La iteracin algortmica al azar. El Teorema de Collage provee un significado para la iteracin en el modelado de una figura bi-dimensional por ejemplo una aproximacin poligonal al lmite de una hoja. El rendimiento de esta tcnica depende de la habilidad del usuario para resolver o simplificar un problema geomtrico por medio de esta tcnica. El segundo se basa en una extensin de la teora matemtica de I.F.S., lo cual nos permite realizar transformaciones por medio de una iteracin al azar para un determinado objeto geomtrico junto con los valores dados. A pesar de la iteracin aleatoria la nica imagen final es obtenida una vez en la ventana, con una muy buena resolucin y con los colores previamente ingresados como una informacin fija. Una ventaja importante es el hecho de que esta cuenta con una gran resolucin y nitidez, sin importar el tamao o color de las figuras fractales. Vamos a basarnos en el modelo de la frmula Parser, presente en los dos programas lderes de generacin de fractales, Fractint y Ultra-Fractal. Por el momento, el traductor de frmula de Fractint tiene ms limitaciones (tanto Cuantitativas como cualitativas) que el de Ultra Fractal, pero es de suponer que esta situacin cambie en posteriores versiones. Mientras tanto nos basaremos en el modelo de Fractint, pero tambin haremos alguna alusin a las ventajas de Ultra Fractal.

Iterando hasta el infinito.

Una sucesin se define algebraicamente mediante una expresin del tipo: x(n+1)= f(x(n)) es decir; se puede calcular el siguiente trmino de la sucesin, x(n+1), a partir del anterior x(n), mediante algn tipo de operacin matemtica f(x(n)). El hecho de calcular el siguiente nmero de una sucesin se conoce como "iteracin". Por ejemplo, fijmonos en la sucesin: x(n+1) = 2x(n) + 2 Si arrancamos del punto de partida x(0) = 0.20, obtenemos la siguiente sucesin de nmeros reales: 0.20, 2.40, 6.80, 15.60, 33.20, ..., ...Mientras que si arrancamos de un valor ligeramente diferente, como 0.21, obtenemos la sucesin parecida: 0.21, 2.42, 6.84, 15.68, 33.36, ...

Evidentemente es un sistema lineal!: puntos de arranque parecidos provocan una evolucin parecida, de igual forma que, al poner dos corchos juntos en el ro lineal, ambos evolucionaban juntos ro abajo, sin variar excesivamente sus distancias. Consideremos ahora, sin embargo, la siguiente sucesin que, a primera vista, es slo un poco ms complicada que la anterior: x(n+1) = 4x(n) - 4x(n)^2 = 4x(n) * (1-x(n)) A partir de 0.20 se genera la secuencia: 0.20, 0.64, 0.9216, 0.2890, 0.8219, 0.5854, 0.9708, 0.1133... mientras que, escogiendo como punto de partida 0.21, se genera la siguiente inesperada retahla: 0.21, 0.6636, 0.8929, 0.3824, 0.9447, 0.2091, 0.6614, 0.8958, ... Como puede verse, a partir de la tercera o la cuarta iteracin, las secuencias se van diferenciando cada vez ms, de modo que nadie dira, al ver los dos ltimos valores, que los puntos de partida que los han originado estaban tan prximos. Es claramente un sistema catico! Se puede argumentar que quizs la iteracin no se haya llevado lo suficientemente lejos, o puede que los nmeros escogidos sean casos especialmente divergentes. Sin embargo, un estudio ms exhaustivo de la ecuacin anterior nos lleva a concluir que es un sistema efectivamente catico. El lector puede probar con los dos puntos de partida cercanos que ms rabia le den, tan cercanos como se desee; basta con hacer unas cuantas iteraciones para convencerse de que, efectivamente estamos ante un sistema cuya evolucin es imprevisible (antes de efectuar los clculos, por supuesto). Se podra pensar que la ecuacin cuadrtica que presenta tan extrao comportamiento es rebuscada, que no tiene aplicacin real, o que es un caso poco frecuente entre las expresiones matemticas. Sin embargo, la ecuacin que he escrito no es sino una forma de la conocida "curva logstica", de formula general: x(n+1) = kx(n) * (1-x(n)) Es una frmula que viene usndose desde el siglo pasado en ecologa para representar la evolucin de poblaciones aisladas, no influidas por otras poblaciones, limitadas solamente por la escasez de alimento. La variable x(n) puede representar, por ejemplo, la poblacin de lagartos en una isla en un momento determinado, mientras que x(n+1) representara la poblacin de lagartos en la generacin inmediatamente posterior. El parmetro k puede ajustarse para que refleje una gran variedad de restricciones biolgicas. Una vez fijado el parmetro k y el nmero de individuos iniciales x(0), el destino de la poblacin est inexorablemente fijado. Algunos valores de x(0) conducen a una inevitable muerte de la poblacin, mientras que otros conducen a una poblacin estable u oscilante, pero que se mantiene en el tiempo. Qu valores iniciales conducen a uno u otro resultado? La respuesta es que no podemos predecirlo de un modo sencillo, ya que valores muy prximos podrn conducir a resultados muy diferentes: Si partimos de 420 lagartos quizs la poblacin se mantenga, mientras que si inicialmente tenemos 421 podra ocurrir un desastre ecolgico y extinguirse la especie!