GEOMETRA FRACTAL.

NOCIONES BSICAS

INTRODUCCIN
El trmino fractal fue acuado en 1.977 por Benot Mandelbrot (Pan de almendra en alemn) para designar ciertas realidades matemticas con propiedades contrarias a la intuicin y antagnicas a las de las variedades regulares estudiadas por la Geometra Diferencial. No existe una definicin rigurosa que deliminte con precisin matemtica si un determinado conjunto es o no un FRACTAL. No obstante, la mayora de los autores coinciden en considerar que un fractal es el producto final que se origina a travs de la iteracin de un proceso geomtrico. ste suele ser de naturaleza muy simple y origina en las sucesivas iteraciones conjuntos de determinada dimensin, fija a lo largo del proceso que se modifica al convertir la iteracin en infinita. FRACTAL es un objeto geomtrico de estructura irregular aparentemente catica. Mandelbrot observ que estos objetos estaban presentes en muchos proceoss y formas de la naturaleza: Procesos de separacin de fronteras de dos medios Procesos de ramificacin Procesos de formacin de prosidad

ETIMOLOGA DE LA PALABRA FRACTAL

El matemtico francs BENOT MANDELBROT acu la palabra fractal en la dcada de los 70, derivndola del adjetivo latn fractus. El correspondiente verbo latino,fractus, significa romper, crear fragmentos irregulares.

BREVE RESEA HISTRICA

Los fractales fueron concebidos aproximadamente en 1.890 por el francs HENRI PONCAR. Sus ideas fueron extendiodas ms tarde fundamentalmente por dos matemticos tambin franceses, Gaston Julia y Pierre Fatou, hacia 1.918. Se trabaj mucho en este campo durante varios aos, pero el estudio qued congelado en los aos 20. El estudio fue renovado a partir de 1974 en IBM y fue fuertemente impulsado por el desarrollo dela computadora digital. El Doctor Mandelbrot, de la Universidad de Yale, con sus experimentos de computadora, es considerado como el padre de la GEOMETRA FRACTAL.En honor a l, uno de los conjuntos que l investig fue nombrado en su nombre.

GEOMETRA FRACTAL Y DIFERENCIAL

La Geometra Diferencial estudia las formas geomtricas llamadas variedades diferenciales. Estas variedades tienen la caracterstica de que miradas en pequeo son lisas, por ejemplo, una curva diferenciable, localmente se comporta como una recta. La expresin miradas en pequeo se determina por la precisin de lso instrumentos de medida y por el inters del observador. La Geometra Diferencial estudia las variedades de una forma local, pro lo que se pierde la visin gobal del conjunto. La Geoemtra Fractal busca una regularidad en larelacin de un objeto y sus partes a diferentes escalas, es decir, estudia aspectos geomtricos que son invariantes con el cambio deescala. Dicho de otra forma, la Geoemtra Fractal aborda el estudio de formas geomtricas no diferenciables o quebradas a vualqueir escala que se miran.

EJEMPLOS INTRODUCTORIOS

CURVA DE PEANO (1890)

Partimos de un intervalo de longiotud 1 ( 0,1 x0en R 2 al que llamamos P 0 y C 0 indistintamente, con un parmetro que lo recorra de iaquierda a derecha. P 0 lo transformamos en una lnea P 1 formada por 9 intervalos de longitud 1 . 3 El priemro de stos es el primer tercio de P 0 ; a continuacin se gira a la derecha 90 o y se avanza a la misma distancia, repitiendo el proceso 3 veces hacia la izquierda, otras 3 a la derecha y una ltima a la izquierda. El ltimo coincide con el ltimo tercio de P 0 .

La curva lmite de la sucesin C n es la CURVA DE PEANO. PROPIEDADES - Las curvas C n no pasan dos veces por el mismo punto. - La Curva de Peano es continua y converge uniformemente. - Tenemos un conjunto de dimesin 2 parametrizable utilizando - Las C n son inyectivas, entonces cada una de ellas, es homeomorfa embargo, su lmite es de una dimensin superior. Este aumento de dimenin Curva de Peano en el contexto de la Geoemtra Fractal.

un nico parmetro. a un intervalo y sin al pasar al lmite sita a la

CONJUNTO DE CANTOR
El proceso geomtrico que define el Conjunto de Cantor consiste en dividir un segmento en 3 partes iguales y suprimir la central, repitiendo indefinidamente la operacin con cada uno de los segmentos ms pequeos que vamos obteniendo. E 0 = 0,1 E 1 = 0, 1 W 2 ,1 3 3 E 2 = 0, 1 W 2 , 1 W 2 , 7 W 8 ,1 9 9 3 3 9 9 ................................................................. Estos conjuntos forman una sucesin decreciente E k?1 K E k -k 5 N cuyo conjunto lmite E = V Ek
k=0

se llama CONJUNTO TERNARIO DE CANTOR. PROPIEDADES - E d, contiene, entre otros puntos, a los extremos del intervalo. - Es cerrado y acotado, luego es CERRADO DE R.

- En E no hay puntos aislados, todo punto de E es lmite de las sucesiones formadas por los extremos de los intervalos de tamao 3 ?k que lo contienen.

CURVA DE KOCH (1.904)

Partiendo de un segmento rectilneo del plano porejemplo K 0 = 0,1x0 en R 2 se divide ste en tres partes iguales, sustituyendo la central por dos segmentos que, junto con el suprimido, formarn un tringulo equiltero situado por encima de K 0 . Se obtiene as una poligonal K 1 de longitud 4 . Para cada uno de los 4 segmentos de dicha poligonal se repite el 3 proceso y as sucesivamente.

PROPIEDADES - La pologonal K i tiene longitud 4 i y formaa por segmentos de tamao 1 i -i 5 N 3 3 - La Curva de Koch es continua y coverge unigformemente. - No es diferenciable en ningn punto. Otro ejemplo interesante es la CURVA DE HILBERT. En estos conjuntos existe una discordancia entre su tamao real y su congiguracin espacial, es decir, su disposicin en el espacio. Por ello se consider necesario establecer una medida adecuada a su tamao, por una parte y por otra estudiar su forma y propiedades geomtricas. As surge la TEORA GEOMTRICA DE LA MEDIDA. Gracias a la DIMENSIN DE HAUSSDROFF se puede distinguir el tamao de los conjuntos paradjicos.

MEDIDA DE CONJUNTOS GEOMTRICOS

El tamao de un conjunto finito viene dado por el nmero de elementos que lo componen, BIYECCIN con 1,...,n. Un conjunto infinito es aquel que puede ponerse en correspondencia uno a uno con una de sus partes, quitando las partes impropias. Dos conjuntos infinitos tienen el mismo cardinal si existe una aplicacin biyectiva entre sus elementos. Cuando un conjunto infinito tiene el mismo cardinal que los nmeros naturales N se dice que es numerable, R no es numerable y Q si lo es. DEFINICIN : a ? lgebra X conjunto, una a ? lgebra de X es una famiia A de subconjuntos de X verificando: a X A b La unin de una cantidad finita o numerable de elementos de A tambin pertenece a A. cLa diferencia conjuntista de elementos de A pertenece a A El complementario de un elemento de A o la interseccin finita o numerable tambin pertenecen a A (Leyes de De Morgan). DEFINICIN : Medida X conjunto, A a ? lgebra de X, m : A 0,K aplicacin, es una medida si: a md = 0 b Es completamente aditiva, es decir, para cualquier familia finita o numerable E k A disjuntos dos a dos m W E k => mE k
k k

Los elementos de A son CONJUNTOS MEDIBLES * A B ambos medibles entonces mA ) mB y mB = mA + mB ? A * Si m : A 0,K verifica lo anterior y md = 0 entonces m W E k ) > mE k y se llama MEDIDA EXTERIOR
k k

EJEMPLOS a) X = N,A =Todos sus subconjuntos La aplicacin descrita que a cada subconjunto acotado le hace corresponder su n{umero de elementos e infinito a los no acotados es una medida y se llama MEDIDA 0-DIMENSIONAL bX = R, A a ? lgebra de Lebesque en R

Para medir un conjunto de A se recubre por una cantidad numerable de interalos y se evala lasuma de sus longitudes. El nfimo de tales sumas entre todos los posibles recubrimientos se llama MEDIDA DE LEBESQUE 1-DIMENSIONAL del conjunto. A diferencia de la medida 0-dimensional, la medida de Lebesque no observa las cantidad de elementos del conjunto sino su ubicacin en R. En R n se determinan el volumen n-dimensional de una CAJA (producto cartesiano de n-intervalos) como el producto de las longitudes e los intervalos que la definen. De forma similar al caso unidimensional, en R n existe una a ? lgebra de Lebesque n-dimensional a cuyos elementos se asigna medida de Lebesque n-dimensional tomando el nfimo de las sumas de los volmenes para los recubrimientos con cantidades numerables de cajas. NOTA: a ? lgebra BOREL: La generada por los abiertos de R n a ? lgebra LEBESGUE es un poco ms que la de Borel

MEDIDA DEL CONJUNTO DE CANTOR

E 0 = 0,1 E 00 = 0, 1 E 01 = 1 , 2 E 02 = 2 ,1 3 3 3 3 E 1 = E 00 W E 02 E 2 = E 000 W E 002 W E 020 W E 022 ..............................................................

En general E n ser la unin de 2 n intervalos de longitud 3 ?n numerados con subndice 0a 1 a 2 ...a n con a i 5 0,1,2 -i 5 N RESULTADOS * E no es numerable * E 0,1biyeccin entonces tienen el mismo cardinal * E es de medida 1-dimensional cero Demostracin: E medible, por ser interseccin numerable e los E k y cada uno de stos unin finita de intervalos.mE k = 2 k entonces como E E k 0 mE 2 k y si k K 3 3 entonces mE = 0 Es un conjunto no numerable de medida 1-dimensional cero, demasiado grande para medir en dimensin cero y demasiado pequeo paratener medida positiva en dimensin uno.

MEDIDA DE LA CURVA DE KOCH

Los vrtices de K i permanecen fijos en las parametrizaciones posteriores -i 5 N RESULTADO La Curva de Koch es de medida de Lebesque 2-dimensional cero

La Curvade Koch es un conjunto demasiado pequeo para tener medida 2-dimensional positiva, pero demasiado grande para asignarle medida 1-diemnsional finita. Ejemplos como los que hemos visto llevaron a CARATHEODORY y HAUSSDORFF y otros a plantear en los aos 20 las limitaciones del concepto tradicional de dimensin, as como la necesidad de considerar dimensiones no enteras o FRACTALES

CONJUNTOS AUTOSEMEJANTES. DIMENSIN DE SEMEJANZA

DEFINICIN Copias semejantes de razn r Por copia semejante de razn r de un subconjunto de R n entendemos el conjunto imagen obtenido al aplicar una homotecia de razn r compuesta con un movimiento isomtrico (traslacin y/o giro). DEFINICIN Conjuntos autosemejantes Un conjunto acotado en R n diremos que es autosemejante de N copias y razn r si podemos expresarlo como unin disjunta de N copias semajantes de razn r. EJEMPLO: - 0,1 es autosemejante de 2 copias de razn 1 2 - Un intervalo semiabierto cualquiera NOTA Los parmetros nmero de copias y razn no son nicos. Un intervalo puede expresarse en general como unin de k copias de razn 1 -k 5 N k EJEMPLO: - El rectngulo semiabierto 0,1x0,1 es autosemejante de 4 copias y razn 1 . 2 - En general cualquier rectngulo semiabierto es autosemejante de k 2 copias y razn r = 1 con k 5 N. k

Anlogamente las cajas semiabeirtas de R n son autosemejantes a N copias y razn r con N = r ?n y r el inverso de cualquier nmero natural EJEMPLO * E es autosemejante de 2 copias y razn 1 E = E V 0, 1 W E V 2 ,1 3 3 3 * La Curva de Koch es autosemejante de 4 copias y razn 1 3 RESULTADOS a A R n medible y B copia semejante de razn r entonces mB = r n .mA b) A R n autosemejante de N copias y razn r, y con medida n-dimenisonal positiva, entonces N = r ?n luego log N n = ? log r DEFINICIN Dimensin de semejanza Se llama Dimensin de Semejanza de un conjunto de N copias y razn r al nmero n = ? log N log r EJEMPLOS - Caja de R n tiene D. de S. n igual ocurre para cualquier conjunto de medida positiva - E, n = log 2 = 0.6039... log 3 - Curva de Koch, n =
log 4 log 3

= 1.262...

MEDIDA Y DIMENSIN DE HAUSDORFF

DEFINICIN Medida s-dimensional s 0 ,E esfera n-dimensional de R n , s n diamE = dE, llamados TAMAO s-dimensional de E a dE s Dado A R n llamamos N-recubrimiento de A a toda sucesin E i de esferas de dimetro menor o igual que N que K recubran A: A W E i y dE i N
i=1

Llamamos TAMAO s-dimensional de un recubrimiento de A a la suma de los tamaos s-dimensionales de las K esferas que lo forman > dE k s y diamE k N Llamamos TAMAO s-dimensional a escala N de A ( H s A al nfimo de lostamaos s-dimensionales de los N N-recuibrimientos de A K H s A = Inf> dE i s tal que E i es N-recuibrimiento de A N lim H s A = H s A MEDIDA DE HAUSDORFF DE A N
N0 i=1 k=1

PROPIEDADES a) La medida s-dimensional es MEDIDA EXTERIOR b) Es medida si la restringimos a la a-lgebra de Borel c) La medida de Hausdorff n-dimensional en R n es igual a la de Lebesque multiplicada por un valor constante TEROEMA A R n entonces 0 1 s 5 R tal que t < s H t A = K t > s H t A = 0

DEFINICIN Dimensin de Haussdorff A R n se llama D. de H. de A a s = inft tal que H t A = 0 NOTA Este concepto amplia la dimensin de semejanza antes definida. El matemtico australiano J. HUTCHINSON desarroll en 1.981 una teora de autosemejanza con una definicin menos restrictiva que la vsita aqu, pues admite que las copias semejantes sean de razones distintas y adems se solapen en subconjuntos de medida cero en la dimensin del conjunto total. En los fundamentos de su teora, Hutchinson generaliza el concepto de dimensin de semejanza anteriormente expuesto y demustra su coincidencia con la D. de H.

GEOMETRA FRACTAL EN LA NATURALEZA

MANDELBROT The fractal geometry of the Nature La frontera entre dos medios no debe describirse en trminos de variedades diferentes, pues si la analizamos en profundidad notaremos incursiones de un medio en el otro que se observa a cualquier escala. COSTAS, FRONTERAS ENTRE PASES, la formacin es un proceso que se puede modelizar por una Curva de Koch. Es posible ajustar el modelo de formacin de la curva para conseguir que se adopte mejor al de formacin de una costa. Pero por fuerza, debe llamar la atencin que la D. de H. de la Curva de Kock sea igual a 1,26 y ladimensin fractal de la csota de Gran Bretaa, obtenida empracamente, sea 1,3. Es posible ajustar el proceso de formacin de la curva para conseguir que se adapte mejor al de formacin de lacosta. Basta con introducir una variable aleatoria: partimos de un segmento de longitud uno, sustituimos el tercio central del segmento por tringulos issceles con base en el segmento y con el tercer vrtice dirigido hacia abajo CABO o hacia arriba GOLFO. Podemos hacer que la profundidad de estos accidentes sea una variable aleatoria uniformemente distribuida, considerando los calores positivos como cabos y los negativos como golfos. Reiterando el proceso conseguimos un modelo de

osta del que se pueden obtener los algoritmos de formacin. RAMIFICACIN: Se debe considerar una figura polilnea y en cada una de los segmentos que la forman se traza una polilnea semejante a la inicial. FRONTERA EL CONJUNTO DE MANDRELBROT (Fractal ms popular y conocido) Inspirado en los trabajos de GASTON JULIA (Discpulo de Dirichlet) y PIERRE FATOU en los aos 20, dedidi estudiar el conjunto de lso puntos c 5 C para los que la sucesin definida por recurrencia x0 = 0 x n+1 = x n 2 + c permanece acotada.

Se observa que alguna de stas copias parecen diminutas islas separadas del cuerpo principal. Sin embargo, HUBBARD ha demostrado que el conjunto de Mandelbrot es CONEXO pero algunas partes se conectan a travs de filamentos tan finos que escpan a la definicin con que trabajan los programas informticos, que generan las ilustraciones. Incluso estos mismos filamentos presentan estructuras ESPIRALES, EN ZIG ZAG con forma de abanico,... con una ceirta autosimilitud a todas las escalas y enorme complejidad. COPOS DE NIEVE, RED CAPILAR para la circulacin sangunea TEORA DEL CAOS turbulencias POLMICA Existen fractales en la realidad? o slo en los ordenadores y en las teoras (bastante flojas en lo que a demostraciones se refiere) COMPRESIN DE IMGENES Es una de las ideas ms controversiales. El concepto bsico detrs de la compresin fractal de imgenes estomar una imagen y expresarla como un SISTEMA DE FUNCIONES ITERADAS (SFI). Un SFI es el conjunto de funciones que describen partes de un fractal que, una vez juntas recrean dicho fractal en su totalidad. Si un fractal puede ser descrito por un nmero pequeo de funciones, el SFI es una descripcin bastante compacta del fractal. La imagen puede ser rpidamente desplegada y a cualquier grado e magnificacin con infinitos niveles de detalle fractal. El mayor problema detrs de esta idea es encontrar el SFI que describa la imagen. EFECTOS VISUALES Una de las aplicaciones de los fractales son sus efectos visuales. No slo engaan la vista, sino que tambin de algn modo confunden a la mente. Los fractales han estado siendo usados comercialmetne en la industria cinematogrfica en pelculas como STAR WARS y STARTREK. Las imgenes fractales son usadas como una laternativa ante los costosos sets elaborados para producir paisajes fabulosos. STAR WARS EL RETORNO DEL JEDI Superficie de la Estrella de la Muerte Superficie de la Luna de Endor STARTREK II:LA IRA DE KHAN Superficie del planeta Gnesis

BIBLIOGRAFA

BOYER,C. Historia de las matemticas Alianza Editorial Madrid 1994 FEDER, J. Fractals Plenum New York 1988 GUZMN y otros Estructuras fractales y sus aplicaciones Labor 1993 MANDELBROT, B. The fractal geometry of nature Freeman and Co. 1977 STEWART, I. Juega Dios a los dados? Editotial Crtica Barcelona 1991

STEWART, I. De aqu al infinito Editorial Crtica Barcelona 1998

JUAN GUIRADO GRANADOS 2.000 juanguirao@latinmail.com